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-3728060-1338651722/watcher-3728060-1338651722 -o /tmp/evaluation-result-3728060-1338651722/solver-3728060-1338651722 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728060-1338651722.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.29 1.40 1.72 3/177 21682
/proc/meminfo: memFree=28237800/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83672 CPUtime=0 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 2 0 331300823 85680128 766 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20918 766 195 433 0 20482 0
[pid=21682/tid=21683] ppid=21680 vsize=83672 CPUtime=0 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 2 0 331300823 85680128 766 33554432000 4194304 5964350 140733301778048 140734225854760 4387600 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.100474 s]
/proc/loadavg: 1.29 1.40 1.72 3/177 21682
/proc/meminfo: memFree=28237800/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83672 CPUtime=0.09 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 1054 0 0 0 9 0 0 0 20 0 2 0 331300823 85680128 1004 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20918 1004 197 433 0 20482 0
[pid=21682/tid=21683] ppid=21680 vsize=83672 CPUtime=0.08 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 325 0 0 0 8 0 0 0 20 0 2 0 331300823 85680128 1004 33554432000 4194304 5964350 140733301778048 140734225854760 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83672
[startup+0.200303 s]
/proc/loadavg: 1.29 1.40 1.72 3/177 21682
/proc/meminfo: memFree=28237800/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83672 CPUtime=0.19 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 1256 0 0 0 19 0 0 0 20 0 2 0 331300823 85680128 1206 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20918 1206 197 433 0 20482 0
[pid=21682/tid=21683] ppid=21680 vsize=83672 CPUtime=0.18 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 527 0 0 0 18 0 0 0 20 0 2 0 331300823 85680128 1206 33554432000 4194304 5964350 140733301778048 140734225854760 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83672
[startup+0.30029 s]
/proc/loadavg: 1.29 1.40 1.72 3/177 21682
/proc/meminfo: memFree=28237800/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83672 CPUtime=0.29 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 1411 0 0 0 29 0 0 0 20 0 2 0 331300823 85680128 1361 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20918 1361 197 433 0 20482 0
[pid=21682/tid=21683] ppid=21680 vsize=83672 CPUtime=0.28 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 682 0 0 0 28 0 0 0 20 0 2 0 331300823 85680128 1361 33554432000 4194304 5964350 140733301778048 140734225854760 4403591 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83672
[startup+0.700253 s]
/proc/loadavg: 1.29 1.40 1.72 3/177 21682
/proc/meminfo: memFree=28237800/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83672 CPUtime=0.69 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 2019 0 0 0 69 0 0 0 20 0 2 0 331300823 85680128 1969 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20918 1969 197 433 0 20482 0
[pid=21682/tid=21683] ppid=21680 vsize=83672 CPUtime=0.68 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 1290 0 0 0 68 0 0 0 20 0 2 0 331300823 85680128 1969 33554432000 4194304 5964350 140733301778048 139780453390136 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83672
[startup+1.50026 s]
/proc/loadavg: 1.29 1.40 1.72 3/179 21684
/proc/meminfo: memFree=28226052/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83816 CPUtime=1.49 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 2473 0 0 0 149 0 0 0 20 0 2 0 331300823 85827584 2423 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20954 2424 197 433 0 20518 0
[pid=21682/tid=21683] ppid=21680 vsize=83816 CPUtime=1.48 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 1745 0 0 0 148 0 0 0 20 0 2 0 331300823 85827584 2424 33554432000 4194304 5964350 140733301778048 139780453390136 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83816
[startup+3.10026 s]
/proc/loadavg: 1.29 1.40 1.72 3/179 21735
/proc/meminfo: memFree=28254672/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83888 CPUtime=3.09 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 3317 0 0 0 308 1 0 0 20 0 2 0 331300823 85901312 3267 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20972 3267 197 433 0 20536 0
[pid=21682/tid=21683] ppid=21680 vsize=83888 CPUtime=3.08 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 2588 0 0 0 307 1 0 0 20 0 2 0 331300823 85901312 3267 33554432000 4194304 5964350 140733301778048 139780453390328 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83888
[startup+6.30026 s]
/proc/loadavg: 1.34 1.41 1.72 3/174 21888
/proc/meminfo: memFree=28253144/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83996 CPUtime=6.29 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 5056 0 0 0 627 2 0 0 20 0 2 0 331300823 86011904 5006 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20999 5006 197 433 0 20563 0
[pid=21682/tid=21683] ppid=21680 vsize=83996 CPUtime=6.28 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 4327 0 0 0 626 2 0 0 20 0 2 0 331300823 86011904 5006 33554432000 4194304 5964350 140733301778048 139780453389848 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83996
Solver just ended. Dumping a history of the last processes samples
[startup+6.40031 s]
/proc/loadavg: 1.34 1.41 1.72 3/174 21888
/proc/meminfo: memFree=28253144/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83996 CPUtime=6.39 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 5117 0 0 0 637 2 0 0 20 0 2 0 331300823 86011904 5067 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20999 5067 197 433 0 20563 0
[pid=21682/tid=21683] ppid=21680 vsize=83996 CPUtime=6.38 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 4388 0 0 0 636 2 0 0 20 0 2 0 331300823 86011904 5067 33554432000 4194304 5964350 140733301778048 139780453389848 4410797 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 83996
[startup+8.00026 s]
/proc/loadavg: 1.34 1.41 1.72 3/179 21990
/proc/meminfo: memFree=28237000/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83996 CPUtime=7.98 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 5370 0 0 0 796 2 0 0 20 0 2 0 331300823 86011904 5346 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20999 5346 197 433 0 20563 0
[pid=21682/tid=21683] ppid=21680 vsize=83996 CPUtime=7.97 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 4641 0 0 0 795 2 0 0 20 0 2 0 331300823 86011904 5346 33554432000 4194304 5964350 140733301778048 139780453389848 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 83996
[startup+8.40026 s]
/proc/loadavg: 1.34 1.41 1.72 3/179 21990
/proc/meminfo: memFree=28237000/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83996 CPUtime=8.38 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 5387 0 0 0 836 2 0 0 20 0 2 0 331300823 86011904 5363 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20999 5363 197 433 0 20563 0
[pid=21682/tid=21683] ppid=21680 vsize=83996 CPUtime=8.37 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 4658 0 0 0 835 2 0 0 20 0 2 0 331300823 86011904 5363 33554432000 4194304 5964350 140733301778048 139780453389848 4867253 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 83996
[startup+8.80025 s]
/proc/loadavg: 1.34 1.41 1.72 3/179 21990
/proc/meminfo: memFree=28232164/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83996 CPUtime=8.79 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 5568 0 0 0 877 2 0 0 20 0 2 0 331300823 86011904 5544 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20999 5544 197 433 0 20563 0
[pid=21682/tid=21683] ppid=21680 vsize=83996 CPUtime=8.78 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 4839 0 0 0 876 2 0 0 20 0 2 0 331300823 86011904 5544 33554432000 4194304 5964350 140733301778048 139780453390136 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 83996
[startup+8.90651 s]
/proc/loadavg: 1.34 1.41 1.72 3/179 21990
/proc/meminfo: memFree=28232164/32873844 swapFree=7116/7116
[pid=21682] ppid=21680 vsize=83996 CPUtime=8.89 cores=0,2,4,6
/proc/21682/stat : 21682 (wbo1.72) S 21680 21682 19272 0 -1 4202496 5623 0 0 0 887 2 0 0 20 0 2 0 331300823 86011904 5599 33554432000 4194304 5964350 140733301778048 140733301777568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21682/statm: 20999 5599 197 433 0 20563 0
[pid=21682/tid=21683] ppid=21680 vsize=83996 CPUtime=8.88 cores=0,2,4,6
/proc/21682/task/21683/stat : 21683 (wbo1.72) R 21680 21682 19272 0 -1 4202560 4894 0 0 0 885 3 0 0 20 0 2 0 331300823 86011904 5599 33554432000 4194304 5964350 140733301778048 139780453390136 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 83996
Child status: 255
Real time (s): 8.97119
CPU time (s): 8.97063
CPU user time (s): 8.92964
CPU system time (s): 0.040993
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 83996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.92964
system time used= 0.040993
maximum resident set size= 22552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 11
runsolver used 0.014997 second user time and 0.058991 second system time
The end