runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454709-1307186567/watcher-3454709-1307186567 -o /tmp/evaluation-result-3454709-1307186567/solver-3454709-1307186567 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454709-1307186567.opb
running on 4 cores: 0,2,4,6
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: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/20291/stat : 20291 (java) R 20289 20291 17058 0 -1 4202496 775 0 0 0 0 0 0 0 17 0 1 0 562847928 23580672 519 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268655699733 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20291/statm: 5757 533 399 9 0 124 0
[pid=20291/tid=20294] ppid=20289 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) D 20289 20291 17058 0 -1 4202560 209 0 0 0 0 0 0 0 18 0 2 0 562847929 36646912 1025 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268660659911 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0827229 s]
/proc/loadavg: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 11515 0 1 0 3 1 0 0 17 0 13 0 562847928 10718838784 11212 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2616904 11212 1685 9 0 2607652 0
[pid=20291/tid=20294] ppid=20289 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) R 20289 20291 17058 0 -1 4202560 10367 0 1 0 3 1 0 0 23 0 13 0 562847929 10718838784 11212 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672488907 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100753 s]
/proc/loadavg: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 11909 0 1 0 5 1 0 0 17 0 18 0 562847928 10724442112 11606 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2618272 11607 1754 9 0 2609006 0
[pid=20291/tid=20294] ppid=20289 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) R 20289 20291 17058 0 -1 4202560 10735 0 1 0 4 1 0 0 25 0 18 0 562847929 10724442112 11607 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 47939362433011 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.332667 s]
/proc/loadavg: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10544836 CPUtime=0.46 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 14392 0 1 0 44 2 0 0 17 0 22 0 562847928 10797912064 14089 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2636209 14089 2187 9 0 2626943 0
[pid=20291/tid=20294] ppid=20289 vsize=10544836 CPUtime=0.17 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) S 20289 20291 17058 0 -1 4202560 11827 0 1 0 16 1 0 0 19 0 22 0 562847929 10797912064 14089 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10544836
[startup+0.795599 s]
/proc/loadavg: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10558680 CPUtime=2.16 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 29634 0 1 0 212 4 0 0 17 0 19 0 562847928 10812088320 25715 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2639670 25715 2222 9 0 2630404 0
[pid=20291/tid=20294] ppid=20289 vsize=10558680 CPUtime=0.17 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) S 20289 20291 17058 0 -1 4202560 11827 0 1 0 16 1 0 0 15 0 19 0 562847929 10812088320 25715 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10558680
Solver just ended. Dumping a history of the last processes samples
[startup+0.900614 s]
/proc/loadavg: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10558680 CPUtime=2.27 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 29684 0 1 0 223 4 0 0 17 0 19 0 562847928 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2639670 25561 2223 9 0 2630404 0
[pid=20291/tid=20294] ppid=20289 vsize=10558680 CPUtime=0.17 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) S 20289 20291 17058 0 -1 4202560 11827 0 1 0 16 1 0 0 15 0 19 0 562847929 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10558680
[startup+1.10054 s]
/proc/loadavg: 1.02 1.27 1.63 3/484 20292
/proc/meminfo: memFree=21391008/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10558680 CPUtime=2.27 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 29684 0 1 0 223 4 0 0 17 0 19 0 562847928 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2639670 25561 2223 9 0 2630404 0
[pid=20291/tid=20294] ppid=20289 vsize=10558680 CPUtime=0.17 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) S 20289 20291 17058 0 -1 4202560 11827 0 1 0 16 1 0 0 15 0 19 0 562847929 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10558680
[startup+1.20052 s]
/proc/loadavg: 1.02 1.27 1.63 6/528 20344
/proc/meminfo: memFree=21089956/32951124 swapFree=46575304/67111528
[pid=20291] ppid=20289 vsize=10558680 CPUtime=2.27 cores=0,2,4,6
/proc/20291/stat : 20291 (java) S 20289 20291 17058 0 -1 4202496 29684 0 1 0 223 4 0 0 17 0 19 0 562847928 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20291/statm: 2639670 25561 2223 9 0 2630404 0
[pid=20291/tid=20294] ppid=20289 vsize=10558680 CPUtime=0.17 cores=0,2,4,6
/proc/20291/task/20294/stat : 20294 (java) S 20289 20291 17058 0 -1 4202560 11827 0 1 0 16 1 0 0 15 0 19 0 562847929 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20304] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20304/stat : 20304 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
[pid=20291/tid=20305] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20305/stat : 20305 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20306] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20306/stat : 20306 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20307] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20307/stat : 20307 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20308] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20308/stat : 20308 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20309] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20309/stat : 20309 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20310] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20310/stat : 20310 (java) S 20289 20291 17058 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20311] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20311/stat : 20311 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 562847932 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20312] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20312/stat : 20312 (java) S 20289 20291 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 562847933 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 0 0 16800975 18446604451805323392 0 0 -1 6 0 0 0
[pid=20291/tid=20314] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20314/stat : 20314 (java) S 20289 20291 17058 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 562847934 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
[pid=20291/tid=20315] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20315/stat : 20315 (java) S 20289 20291 17058 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 562847934 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
[pid=20291/tid=20327] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20327/stat : 20327 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562847937 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672485809 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
[pid=20291/tid=20328] ppid=20289 vsize=10558680 CPUtime=0.53 cores=0,2,4,6
/proc/20291/task/20328/stat : 20328 (java) S 20289 20291 17058 0 -1 4202560 5205 0 0 0 53 0 0 0 18 0 19 0 562847937 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 4 0 0 0
[pid=20291/tid=20329] ppid=20289 vsize=10558680 CPUtime=0.51 cores=0,2,4,6
/proc/20291/task/20329/stat : 20329 (java) S 20289 20291 17058 0 -1 4202560 6151 0 0 0 51 0 0 0 18 0 19 0 562847937 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
[pid=20291/tid=20330] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20330/stat : 20330 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562847937 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478105 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
[pid=20291/tid=20331] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20331/stat : 20331 (java) S 20289 20291 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 562847937 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 0 0 0 0
[pid=20291/tid=20340] ppid=20289 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20340/stat : 20340 (java) S 20289 20291 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 562847951 10812088320 25561 33554432000 1073741824 1073778376 140734456655520 18446744073709551615 268672478720 0 4 0 16800975 18446604451805323392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10558680
Child status: 10
Real time (s): 1.23399
CPU time (s): 2.28765
CPU user time (s): 2.23466
CPU system time (s): 0.052991
CPU usage (%): 185.386
Max. virtual memory (cumulated for all children) (KiB): 10558680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.23466
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29704
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 300
involuntary context switches= 66
runsolver used 0.012998 second user time and 0.024996 second system time
The end