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-3453873-1307194361/watcher-3453873-1307194361 -o /tmp/evaluation-result-3453873-1307194361/solver-3453873-1307194361 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453873-1307194361.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.77 3.69 3.64 2/502 15125
/proc/meminfo: memFree=30312172/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15125/stat : 15125 (java) S 15121 15125 9506 0 -1 4202496 3707 0 1 0 0 0 0 0 23 0 2 0 831038726 10694979584 3409 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 2611079 3422 917 9 0 2602235 0
[pid=15125/tid=15127] ppid=15121 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15127/stat : 15127 (java) R 15121 15125 9506 0 -1 4202560 5280 0 1 0 0 0 0 0 18 0 2 0 831038726 10694979584 6096 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.025214 s]
/proc/loadavg: 3.77 3.69 3.64 2/502 15125
/proc/meminfo: memFree=30312172/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/15125/stat : 15125 (java) S 15121 15125 9506 0 -1 4202496 9991 0 1 0 0 1 0 0 23 0 10 0 831038726 10703900672 9693 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 2613257 9695 980 9 0 2604413 0
[pid=15125/tid=15127] ppid=15121 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15127/stat : 15127 (java) R 15121 15125 9506 0 -1 4202560 8870 0 1 0 0 0 0 0 20 0 10 0 831038726 10703900672 9695 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 47531101942952 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100191 s]
/proc/loadavg: 3.77 3.69 3.64 2/502 15125
/proc/meminfo: memFree=30312172/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=10540180 CPUtime=0.1 cores=1,3,5,7
/proc/15125/stat : 15125 (java) S 15121 15125 9506 0 -1 4202496 13035 0 1 0 9 1 0 0 23 0 18 0 831038726 10793144320 12732 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 2635045 12733 2092 9 0 2625779 0
[pid=15125/tid=15127] ppid=15121 vsize=10540180 CPUtime=0.08 cores=1,3,5,7
/proc/15125/task/15127/stat : 15127 (java) R 15121 15125 9506 0 -1 4202560 11119 0 1 0 7 1 0 0 18 0 18 0 831038726 10793144320 12733 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540180
[startup+0.301133 s]
/proc/loadavg: 3.77 3.69 3.64 2/502 15125
/proc/meminfo: memFree=30312172/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=10548364 CPUtime=0.7 cores=1,3,5,7
/proc/15125/stat : 15125 (java) S 15121 15125 9506 0 -1 4202496 18664 0 1 0 67 3 0 0 23 0 22 0 831038726 10801524736 16730 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 2637091 16730 2193 9 0 2627825 0
[pid=15125/tid=15127] ppid=15121 vsize=10548364 CPUtime=0.14 cores=1,3,5,7
/proc/15125/task/15127/stat : 15127 (java) S 15121 15125 9506 0 -1 4202560 11717 0 1 0 13 1 0 0 19 0 22 0 831038726 10801524736 16730 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 4 0 16800975 18446604469923733760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10548364
[startup+0.701049 s]
/proc/loadavg: 3.77 3.69 3.64 2/502 15125
/proc/meminfo: memFree=30312172/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=10548340 CPUtime=0.96 cores=1,3,5,7
/proc/15125/stat : 15125 (java) S 15121 15125 9506 0 -1 4202496 19954 0 1 0 93 3 0 0 23 0 22 0 831038726 10801500160 17778 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 2637085 17778 2201 9 0 2627819 0
[pid=15125/tid=15127] ppid=15121 vsize=10548340 CPUtime=0.14 cores=1,3,5,7
/proc/15125/task/15127/stat : 15127 (java) S 15121 15125 9506 0 -1 4202560 11719 0 1 0 13 1 0 0 16 0 22 0 831038726 10801500160 17778 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 4 0 16800975 18446604469923733760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10548340
[startup+1.50091 s]
/proc/loadavg: 3.87 3.71 3.64 9/548 15183
/proc/meminfo: memFree=30003096/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=10564012 CPUtime=4.02 cores=1,3,5,7
/proc/15125/stat : 15125 (java) S 15121 15125 9506 0 -1 4202496 77648 0 1 0 392 10 0 0 23 0 22 0 831038726 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 2641003 70203 2249 9 0 2631737 0
[pid=15125/tid=15127] ppid=15121 vsize=10564012 CPUtime=0.14 cores=1,3,5,7
/proc/15125/task/15127/stat : 15127 (java) S 15121 15125 9506 0 -1 4202560 11719 0 1 0 13 1 0 0 15 0 22 0 831038726 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 4 0 16800975 18446604469923733760 0 0 -1 5 0 0 0
[pid=15125/tid=15130] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15130/stat : 15130 (java) S 15121 15125 9506 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15131] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15131/stat : 15131 (java) S 15121 15125 9506 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 1 0 0 0
[pid=15125/tid=15132] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15132/stat : 15132 (java) S 15121 15125 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15133] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15133/stat : 15133 (java) S 15121 15125 9506 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15134] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15134/stat : 15134 (java) S 15121 15125 9506 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15135] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15135/stat : 15135 (java) S 15121 15125 9506 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15136] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15136/stat : 15136 (java) S 15121 15125 9506 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15137/stat : 15137 (java) S 15121 15125 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831038728 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15138] ppid=15121 vsize=10564012 CPUtime=0.03 cores=1,3,5,7
/proc/15125/task/15138/stat : 15138 (java) S 15121 15125 9506 0 -1 4202560 974 0 0 0 3 0 0 0 16 0 22 0 831038729 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 0 0 16800975 18446604469923733760 0 0 -1 1 0 0 0
[pid=15125/tid=15139] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15139/stat : 15139 (java) S 15121 15125 9506 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 831038730 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 1 0 0 0
[pid=15125/tid=15140] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15140/stat : 15140 (java) S 15121 15125 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831038730 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 5 0 0 0
[pid=15125/tid=15141] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15141/stat : 15141 (java) S 15121 15125 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831038732 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646338993 0 4 0 16800975 18446604469923733760 0 0 -1 3 0 0 0
[pid=15125/tid=15142] ppid=15121 vsize=10564012 CPUtime=0.94 cores=1,3,5,7
/proc/15125/task/15142/stat : 15142 (java) S 15121 15125 9506 0 -1 4202560 9507 0 0 0 93 1 0 0 17 0 22 0 831038732 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 5 0 0 0
[pid=15125/tid=15143] ppid=15121 vsize=10564012 CPUtime=1.02 cores=1,3,5,7
/proc/15125/task/15143/stat : 15143 (java) S 15121 15125 9506 0 -1 4202560 8186 0 0 0 102 0 0 0 16 0 22 0 831038732 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 3 0 0 0
[pid=15125/tid=15144] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15144/stat : 15144 (java) S 15121 15125 9506 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831038732 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331289 0 4 0 16800975 18446604469923733760 0 0 -1 3 0 0 0
[pid=15125/tid=15145] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15145/stat : 15145 (java) S 15121 15125 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831038732 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15168] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15168/stat : 15168 (java) S 15121 15125 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831038743 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 4 0 16800975 18446604469923733760 0 0 -1 7 0 0 0
[pid=15125/tid=15181] ppid=15121 vsize=10564012 CPUtime=0.78 cores=1,3,5,7
/proc/15125/task/15181/stat : 15181 (java) R 15121 15125 9506 0 -1 4202560 623 0 0 0 78 0 0 0 17 0 22 0 831038793 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 46912505595663 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15125/tid=15182] ppid=15121 vsize=10564012 CPUtime=0.76 cores=1,3,5,7
/proc/15125/task/15182/stat : 15182 (java) R 15121 15125 9506 0 -1 4202560 43501 0 0 0 71 5 0 0 18 0 22 0 831038793 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 46912505601934 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15125/tid=15183] ppid=15121 vsize=10564012 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15183/stat : 15183 (java) S 15121 15125 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831038793 10817548288 70203 33554432000 1073741824 1073778376 140736685401936 18446744073709551615 216646331904 0 4 0 16800975 18446604469923733760 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 10564012
Solver just ended. Dumping a history of the last processes samples
[startup+1.70103 s]
/proc/loadavg: 3.87 3.71 3.64 9/548 15183
/proc/meminfo: memFree=30003096/32951124 swapFree=51712236/67111528
[pid=15125] ppid=15121 vsize=0 CPUtime=4.56 cores=1,3,5,7
/proc/15125/stat : 15125 (java) Z 15121 15125 9506 0 -1 4203548 79169 0 1 0 445 11 0 0 18 0 2 0 831038726 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 0 0 0 0 0 0 0
[pid=15125/tid=15168] ppid=15121 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/15125/task/15168/stat : 15168 (java) R 15121 15125 9506 0 -1 4203588 7 0 0 0 0 0 0 0 18 0 2 0 831038743 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 1.70711
CPU time (s): 4.5773
CPU user time (s): 4.45532
CPU system time (s): 0.121981
CPU usage (%): 268.131
Max. virtual memory (cumulated for all children) (KiB): 10564012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.45532
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79169
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= 370
involuntary context switches= 129
runsolver used 0.006998 second user time and 0.032994 second system time
The end