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-3727203-1338671107/watcher-3727203-1338671107 -o /tmp/evaluation-result-3727203-1338671107/solver-3727203-1338671107 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727203-1338671107.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: 2.00 2.00 2.00 3/176 16346
/proc/meminfo: memFree=29854064/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=5524 CPUtime=0 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) R 16344 16346 16130 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 333235274 5656576 559 33554432000 4194304 5964350 140736463729568 140736463727448 4395569 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 1381 559 164 433 0 671 0
[startup+0.0119981 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16346
/proc/meminfo: memFree=29854064/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=6888 CPUtime=0 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) R 16344 16346 16130 0 -1 4202496 944 0 0 0 0 0 0 0 20 0 1 0 333235274 7053312 897 33554432000 4194304 5964350 140736463729568 140736463727544 4336996 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 1722 899 178 433 0 1012 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6888
[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16346
/proc/meminfo: memFree=29854064/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=94160 CPUtime=0.08 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 4284 0 0 0 8 0 0 0 20 0 2 0 333235274 96419840 3935 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23540 3935 178 433 0 23104 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 94160
[startup+0.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16346
/proc/meminfo: memFree=29854064/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=0.29 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 5256 0 0 0 28 1 0 0 20 0 2 0 333235274 94638080 4517 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 4517 186 433 0 22669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92420
[startup+0.700076 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16346
/proc/meminfo: memFree=29854064/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=0.69 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 5563 0 0 0 68 1 0 0 20 0 2 0 333235274 94638080 4824 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 4824 186 433 0 22669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92420
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16387
/proc/meminfo: memFree=31043896/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=1.48 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 6194 0 0 0 147 1 0 0 20 0 2 0 333235274 94638080 5455 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 5455 186 433 0 22669 0
[pid=16346/tid=16348] ppid=16344 vsize=92420 CPUtime=1.4 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 3507 0 0 0 138 2 0 0 20 0 2 0 333235283 94638080 5455 33554432000 4194304 5964350 140736463729568 140272305039352 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 92420
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16387
/proc/meminfo: memFree=31036432/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=3.08 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 7495 0 0 0 306 2 0 0 20 0 2 0 333235274 94638080 6756 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 6756 186 433 0 22669 0
[pid=16346/tid=16348] ppid=16344 vsize=92420 CPUtime=3 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 4809 0 0 0 297 3 0 0 20 0 2 0 333235283 94638080 6757 33554432000 4194304 5964350 140736463729568 140272305039352 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 92420
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16387
/proc/meminfo: memFree=31020436/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=6.28 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 8573 0 0 0 625 3 0 0 20 0 2 0 333235274 94638080 7834 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 7834 186 433 0 22669 0
[pid=16346/tid=16348] ppid=16344 vsize=92420 CPUtime=6.2 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 5886 0 0 0 616 4 0 0 20 0 2 0 333235283 94638080 7834 33554432000 4194304 5964350 140736463729568 140272305039160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92420
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16387
/proc/meminfo: memFree=31002700/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=12.68 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 10203 0 0 0 1264 4 0 0 20 0 2 0 333235274 94638080 9464 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 9464 186 433 0 22669 0
[pid=16346/tid=16348] ppid=16344 vsize=92420 CPUtime=12.6 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 7516 0 0 0 1256 4 0 0 20 0 2 0 333235283 94638080 9464 33554432000 4194304 5964350 140736463729568 140272305039288 4392600 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92420
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16387
/proc/meminfo: memFree=30964424/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=92420 CPUtime=25.47 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 16702 0 0 0 2542 5 0 0 20 0 2 0 333235274 94638080 15956 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 23105 15956 186 433 0 22669 0
[pid=16346/tid=16348] ppid=16344 vsize=92420 CPUtime=25.39 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 14015 0 0 0 2533 6 0 0 20 0 2 0 333235283 94638080 15956 33554432000 4194304 5964350 140736463729568 140272305039352 4379103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92420
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16387
/proc/meminfo: memFree=30907724/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=157956 CPUtime=51.06 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 20279 0 0 0 5099 7 0 0 20 0 2 0 333235274 161746944 19544 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 39489 19544 186 433 0 39053 0
[pid=16346/tid=16348] ppid=16344 vsize=157956 CPUtime=50.97 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 17592 0 0 0 5090 7 0 0 20 0 2 0 333235283 161746944 19544 33554432000 4194304 5964350 140736463729568 140272305039352 4393648 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 157956
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16387
/proc/meminfo: memFree=30810888/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=158680 CPUtime=102.26 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 35547 0 0 0 10213 13 0 0 20 0 2 0 333235274 162488320 34810 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 39670 34810 186 433 0 39234 0
[pid=16346/tid=16348] ppid=16344 vsize=158680 CPUtime=102.18 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 32860 0 0 0 10204 14 0 0 20 0 2 0 333235283 162488320 34810 33554432000 4194304 5964350 140736463729568 140272305039352 4400026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158680
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16387
/proc/meminfo: memFree=30740876/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=224576 CPUtime=162.24 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 42348 0 0 0 16209 15 0 0 20 0 2 0 333235274 229965824 41611 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 56144 41611 186 433 0 55708 0
[pid=16346/tid=16348] ppid=16344 vsize=224576 CPUtime=162.18 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 39661 0 0 0 16200 18 0 0 20 0 2 0 333235283 229965824 41611 33554432000 4194304 5964350 140736463729568 140272305039352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 224576
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16388
/proc/meminfo: memFree=30668808/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=224576 CPUtime=222.2 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 50599 0 0 0 22202 18 0 0 20 0 2 0 333235274 229965824 49831 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 56144 49831 186 433 0 55708 0
[pid=16346/tid=16348] ppid=16344 vsize=224576 CPUtime=222.15 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 47912 0 0 0 22193 22 0 0 20 0 2 0 333235283 229965824 49831 33554432000 4194304 5964350 140736463729568 140272305039352 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 224576
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16388
/proc/meminfo: memFree=30613400/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=290112 CPUtime=282.18 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 60313 0 0 0 28196 22 0 0 20 0 2 0 333235274 297074688 59538 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 72528 59538 186 433 0 72092 0
[pid=16346/tid=16348] ppid=16344 vsize=290112 CPUtime=282.14 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 57626 0 0 0 28187 27 0 0 20 0 2 0 333235283 297074688 59538 33554432000 4194304 5964350 140736463729568 140272305039352 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 290112
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16391
/proc/meminfo: memFree=30482464/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=355648 CPUtime=342.17 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 74358 0 0 0 34189 28 0 0 20 0 2 0 333235274 364183552 73583 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 88912 73583 186 433 0 88476 0
[pid=16346/tid=16348] ppid=16344 vsize=355648 CPUtime=342.14 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 71671 0 0 0 34180 34 0 0 20 0 2 0 333235283 364183552 73583 33554432000 4194304 5964350 140736463729568 140272305039352 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 355648
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16392
/proc/meminfo: memFree=30445404/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=355648 CPUtime=402.16 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 82482 0 0 0 40181 35 0 0 20 0 2 0 333235274 364183552 81707 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 88912 81707 186 433 0 88476 0
[pid=16346/tid=16348] ppid=16344 vsize=355648 CPUtime=402.14 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 79795 0 0 0 40172 42 0 0 20 0 2 0 333235283 364183552 81707 33554432000 4194304 5964350 140736463729568 140272305039352 4221072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 355648
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16392
/proc/meminfo: memFree=30440564/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=355648 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 106070 0 0 0 130147 69 0 0 20 0 2 0 333235283 498954240 108857 33554432000 4194304 5964350 140736463729568 140272305039352 4380101 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 487260
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16398
/proc/meminfo: memFree=30123976/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=487260 CPUtime=1361.98 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 113590 0 0 0 136147 51 0 0 20 0 2 0 333235274 498954240 113690 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 121815 113690 186 433 0 121379 0
[pid=16346/tid=16348] ppid=16344 vsize=487260 CPUtime=1362.15 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 110903 0 0 0 136144 71 0 0 20 0 2 0 333235283 498954240 113690 33554432000 4194304 5964350 140736463729568 140272305039352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 487260
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16398
/proc/meminfo: memFree=30070912/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1421.98 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126510 0 0 0 142141 57 0 0 20 0 2 0 333235274 566063104 126610 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126610 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1422.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123823 0 0 0 142138 78 0 0 20 0 2 0 333235283 566063104 126610 33554432000 4194304 5964350 140736463729568 140272305039160 4392875 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 552796
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16399
/proc/meminfo: memFree=30070780/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1481.97 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126511 0 0 0 148140 57 0 0 20 0 2 0 333235274 566063104 126611 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126611 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1482.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123824 0 0 0 148137 79 0 0 20 0 2 0 333235283 566063104 126611 33554432000 4194304 5964350 140736463729568 140272305039160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 552796
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 16402
/proc/meminfo: memFree=30070648/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1541.96 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126511 0 0 0 154139 57 0 0 20 0 2 0 333235274 566063104 126611 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126611 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1542.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123824 0 0 0 154136 80 0 0 20 0 2 0 333235283 566063104 126611 33554432000 4194304 5964350 140736463729568 140272305039160 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 552796
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16402
/proc/meminfo: memFree=30057636/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1601.95 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126511 0 0 0 160138 57 0 0 20 0 2 0 333235274 566063104 126611 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126611 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1602.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123824 0 0 0 160135 81 0 0 20 0 2 0 333235283 566063104 126611 33554432000 4194304 5964350 140736463729568 140272305039160 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 552796
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16402
/proc/meminfo: memFree=30034240/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1661.93 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126530 0 0 0 166136 57 0 0 20 0 2 0 333235274 566063104 126627 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126627 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1662.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123843 0 0 0 166134 82 0 0 20 0 2 0 333235283 566063104 126627 33554432000 4194304 5964350 140736463729568 140272305039160 4400424 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 552796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16402
/proc/meminfo: memFree=30033992/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1721.92 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 172135 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1722.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 172133 83 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4399747 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 552796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30033992/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1781.91 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 178134 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1782.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 178132 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4381928 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 552796
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30033992/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1791.51 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179094 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1791.77 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179093 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 552796
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30034116/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1794.71 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179414 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1794.97 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179413 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 552796
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30034116/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1797.91 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179734 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1798.16 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179732 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4381622 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 552796
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30034116/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1798.71 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179814 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1798.96 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179812 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4381658 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 552796
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30034116/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1799.11 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179854 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1799.37 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179853 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 552796
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30034116/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1799.51 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179894 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1799.76 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179892 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 552796
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16403
/proc/meminfo: memFree=30034116/32873844 swapFree=7900/7900
[pid=16346] ppid=16344 vsize=552796 CPUtime=1799.61 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.72) S 16344 16346 16130 0 -1 4202496 126566 0 0 0 179904 57 0 0 20 0 2 0 333235274 566063104 126663 33554432000 4194304 5964350 140736463729568 140736463729088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 138199 126663 186 433 0 137763 0
[pid=16346/tid=16348] ppid=16344 vsize=552796 CPUtime=1799.86 cores=1,3,5,7
/proc/16346/task/16348/stat : 16348 (wbo1.72) R 16344 16346 16130 0 -1 4202560 123879 0 0 0 179902 84 0 0 20 0 2 0 333235283 566063104 126663 33554432000 4194304 5964350 140736463729568 140272305039160 4381951 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 552796
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.97
CPU user time (s): 1799.12
CPU system time (s): 0.856869
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 552796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.856869
maximum resident set size= 506664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126569
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= 178
involuntary context switches= 1858
runsolver used 3.54246 second user time and 8.98363 second system time
The end