runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688782-1337879780/watcher-3688782-1337879780 -o /tmp/evaluation-result-3688782-1337879780/solver-3688782-1337879780 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688782-1337879780.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.70 3.81 3.85 4/197 466
/proc/meminfo: memFree=28143660/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/466/stat : 466 (java) R 464 466 30487 0 -1 4202496 101 0 0 0 0 0 0 0 20 0 1 0 254103480 5767168 55 33554432000 1073741824 1073778376 140735538424928 140735538422056 214528257319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/466/statm: 1408 58 46 9 0 30 0
[startup+0.102387 s]
/proc/loadavg: 3.70 3.81 3.85 4/197 466
/proc/meminfo: memFree=28143660/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 4387 0 1 0 9 0 0 0 20 0 18 0 254103480 9787813888 6093 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2389603 6093 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200265 s]
/proc/loadavg: 3.70 3.81 3.85 4/197 466
/proc/meminfo: memFree=28143660/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 4580 0 1 0 22 0 0 0 20 0 18 0 254103480 9787813888 6738 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2389603 6738 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558412
[startup+0.300277 s]
/proc/loadavg: 3.70 3.81 3.85 4/197 466
/proc/meminfo: memFree=28143660/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 5896 0 1 0 46 0 0 0 20 0 18 0 254103480 9787813888 8982 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2389603 8982 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700184 s]
/proc/loadavg: 3.70 3.81 3.85 4/197 466
/proc/meminfo: memFree=28143660/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 19365 0 1 0 200 3 0 0 20 0 22 0 254103480 10060460032 22478 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2456167 22478 2248 9 0 2446860 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+0.800231 s]
/proc/loadavg: 3.70 3.81 3.85 4/197 466
/proc/meminfo: memFree=28143660/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9824668 CPUtime=2.43 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 21303 0 1 0 239 4 0 0 20 0 22 0 254103480 10060460032 24397 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2456167 24397 2248 9 0 2446860 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9824668
[startup+1.20698 s]
/proc/loadavg: 3.70 3.81 3.85 3/216 488
/proc/meminfo: memFree=28002748/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 21391 0 1 0 312 5 0 0 20 0 19 0 254103480 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2456167 36016 2258 9 0 2446860 0
[pid=466/tid=468] ppid=464 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/466/task/468/stat : 468 (java) S 464 466 30487 0 -1 4202560 2456 0 1 0 28 0 0 0 20 0 19 0 254103481 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718842770424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=469] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/469/stat : 469 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718686288680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=470] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/470/stat : 470 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718685235880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=466/tid=471] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/471/stat : 471 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718684183592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=466/tid=472] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/472/stat : 472 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718683130792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=473] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/473/stat : 473 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718682077480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=474] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/474/stat : 474 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718681024680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=475] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/475/stat : 475 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718679972392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=476] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/476/stat : 476 (java) S 464 466 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718678919592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=477] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/477/stat : 477 (java) S 464 466 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254103483 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718666722024 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=478] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/478/stat : 478 (java) S 464 466 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254103483 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718665668088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=479] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/479/stat : 479 (java) S 464 466 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254103483 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718664615688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=480] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/480/stat : 480 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103485 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718663564176 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=481] ppid=464 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/466/task/481/stat : 481 (java) S 464 466 30487 0 -1 4202560 8545 0 0 0 76 1 0 0 20 0 19 0 254103485 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718662510776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=482] ppid=464 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/466/task/482/stat : 482 (java) S 464 466 30487 0 -1 4202560 9059 0 0 0 73 1 0 0 20 0 19 0 254103485 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718661457976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=466/tid=483] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/483/stat : 483 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103486 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718660405880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=466/tid=484] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/484/stat : 484 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103486 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718659353288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=488] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/488/stat : 488 (java) S 464 466 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254103512 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718655141416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 9824668
[startup+1.30064 s]
/proc/loadavg: 3.70 3.81 3.85 3/216 488
/proc/meminfo: memFree=28002748/32873648 swapFree=7104/7104
[pid=466] ppid=464 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/466/stat : 466 (java) S 464 466 30487 0 -1 4202496 21391 0 1 0 312 5 0 0 20 0 19 0 254103480 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140734979250752 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/466/statm: 2456167 36016 2258 9 0 2446860 0
[pid=466/tid=468] ppid=464 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/466/task/468/stat : 468 (java) S 464 466 30487 0 -1 4202560 2456 0 1 0 28 0 0 0 20 0 19 0 254103481 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718842770424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=469] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/469/stat : 469 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718686288680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=470] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/470/stat : 470 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718685235880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=466/tid=471] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/471/stat : 471 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718684183592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=466/tid=472] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/472/stat : 472 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718683130792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=473] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/473/stat : 473 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718682077480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=474] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/474/stat : 474 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718681024680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=475] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/475/stat : 475 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718679972392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=476] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/476/stat : 476 (java) S 464 466 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254103482 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718678919592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=477] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/477/stat : 477 (java) S 464 466 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254103483 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718666722024 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=478] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/478/stat : 478 (java) S 464 466 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254103483 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718665668088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=479] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/479/stat : 479 (java) S 464 466 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254103483 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718664615688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=480] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/480/stat : 480 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103485 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718663564176 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=481] ppid=464 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/466/task/481/stat : 481 (java) S 464 466 30487 0 -1 4202560 8545 0 0 0 76 1 0 0 20 0 19 0 254103485 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718662510776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=466/tid=482] ppid=464 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/466/task/482/stat : 482 (java) S 464 466 30487 0 -1 4202560 9059 0 0 0 73 1 0 0 20 0 19 0 254103485 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718661457976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=466/tid=483] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/483/stat : 483 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103486 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718660405880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=466/tid=484] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/484/stat : 484 (java) S 464 466 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254103486 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718659353288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=466/tid=488] ppid=464 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/466/task/488/stat : 488 (java) S 464 466 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254103512 10060460032 36016 33554432000 1073741824 1073778376 140734979259616 140718655141416 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 1.32216
CPU time (s): 3.19751
CPU user time (s): 3.12152
CPU system time (s): 0.075988
CPU usage (%): 241.841
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.12153
system time used= 0.075988
maximum resident set size= 146144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21405
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339
involuntary context switches= 48
runsolver used 0.001999 second user time and 0.013997 second system time
The end