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-3727286-1338652288/watcher-3727286-1338652288 -o /tmp/evaluation-result-3727286-1338652288/solver-3727286-1338652288 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727286-1338652288.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 1.93 3/177 18570
/proc/meminfo: memFree=29344608/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=0 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 840 0 0 0 0 0 0 0 20 0 2 0 331354827 85737472 789 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 792 191 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=0 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 2 0 331354827 85737472 795 33554432000 4194304 5964350 140736288281632 140733733684104 5142878 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0165101 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18570
/proc/meminfo: memFree=29344608/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=0.01 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 987 0 0 0 1 0 0 0 20 0 2 0 331354827 85737472 936 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 936 191 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=0 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 268 0 0 0 0 0 0 0 20 0 2 0 331354827 85737472 936 33554432000 4194304 5964350 140736288281632 140733733684104 4395326 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83728
[startup+0.100287 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18570
/proc/meminfo: memFree=29344608/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=0.09 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 1630 0 0 0 9 0 0 0 20 0 2 0 331354827 85737472 1471 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 1471 193 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=0.08 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 911 0 0 0 8 0 0 0 20 0 2 0 331354827 85737472 1471 33554432000 4194304 5964350 140736288281632 140733733684104 5139038 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83728
[startup+0.300157 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18570
/proc/meminfo: memFree=29344608/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=0.29 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 2553 0 0 0 29 0 0 0 20 0 2 0 331354827 85737472 2005 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 2005 195 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=0.28 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 1834 0 0 0 28 0 0 0 20 0 2 0 331354827 85737472 2005 33554432000 4194304 5964350 140736288281632 140733733684104 5122387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83728
[startup+0.700269 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 18570
/proc/meminfo: memFree=29344608/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=0.69 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 3993 0 0 0 69 0 0 0 20 0 2 0 331354827 85737472 2578 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 2578 195 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=0.68 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 3274 0 0 0 68 0 0 0 20 0 2 0 331354827 85737472 2578 33554432000 4194304 5964350 140736288281632 139718949480792 4445198 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83728
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18572
/proc/meminfo: memFree=29332868/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=1.48 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 5641 0 0 0 148 0 0 0 20 0 2 0 331354827 85737472 3215 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 3215 195 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=1.48 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 4922 0 0 0 148 0 0 0 20 0 2 0 331354827 85737472 3215 33554432000 4194304 5964350 140736288281632 139718949480856 4388212 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) 83728
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18572
/proc/meminfo: memFree=29329008/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=3.09 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 6612 0 0 0 308 1 0 0 20 0 2 0 331354827 85737472 4186 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 4186 195 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=3.08 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 5893 0 0 0 307 1 0 0 20 0 2 0 331354827 85737472 4186 33554432000 4194304 5964350 140736288281632 139718949480248 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83728
[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18572
/proc/meminfo: memFree=29317408/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=6.29 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 6732 0 0 0 628 1 0 0 20 0 2 0 331354827 85737472 4306 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 4306 195 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=6.28 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 6013 0 0 0 627 1 0 0 20 0 2 0 331354827 85737472 4306 33554432000 4194304 5964350 140736288281632 139718949480984 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83728
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 1.94 3/179 18572
/proc/meminfo: memFree=29292400/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=83728 CPUtime=12.69 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 9300 0 0 0 1267 2 0 0 20 0 2 0 331354827 85737472 6874 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 20932 6874 195 433 0 20496 0
[pid=18570/tid=18571] ppid=18568 vsize=83728 CPUtime=12.68 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 8581 0 0 0 1266 2 0 0 20 0 2 0 331354827 85737472 6874 33554432000 4194304 5964350 140736288281632 139718949480248 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83728
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 18650
/proc/meminfo: memFree=30963204/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=84212 CPUtime=25.49 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 12721 0 0 0 2546 3 0 0 20 0 2 0 331354827 86233088 10295 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 21053 10295 195 433 0 20617 0
[pid=18570/tid=18571] ppid=18568 vsize=84212 CPUtime=25.48 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 12002 0 0 0 2544 4 0 0 20 0 2 0 331354827 86233088 10295 33554432000 4194304 5964350 140736288281632 139718949480248 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84212
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 18650
/proc/meminfo: memFree=30917612/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=84212 CPUtime=51.06 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 17078 0 0 0 5101 5 0 0 20 0 2 0 331354827 86233088 14782 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 21053 14782 195 433 0 20617 0
[pid=18570/tid=18571] ppid=18568 vsize=84212 CPUtime=51.06 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 16359 0 0 0 5100 6 0 0 20 0 2 0 331354827 86233088 14782 33554432000 4194304 5964350 140736288281632 139718949480440 4399840 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) 84212
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 18650
/proc/meminfo: memFree=30838872/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=149988 CPUtime=102.25 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 24424 0 0 0 10216 9 0 0 20 0 2 0 331354827 153587712 22620 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 37497 22620 195 433 0 37061 0
[pid=18570/tid=18571] ppid=18568 vsize=149988 CPUtime=102.27 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 23705 0 0 0 10216 11 0 0 20 0 2 0 331354827 153587712 22620 33554432000 4194304 5964350 140736288281632 139718949480248 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149988
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18651
/proc/meminfo: memFree=30759880/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=151800 CPUtime=162.21 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 32132 0 0 0 16204 17 0 0 20 0 2 0 331354827 155443200 30505 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 37950 30505 195 433 0 37514 0
[pid=18570/tid=18571] ppid=18568 vsize=151800 CPUtime=162.24 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 31413 0 0 0 16204 20 0 0 20 0 2 0 331354827 155443200 30505 33554432000 4194304 5964350 140736288281632 139718949480248 4400366 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 151800
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18651
/proc/meminfo: memFree=30711868/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=217820 CPUtime=222.2 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 36310 0 0 0 22199 21 0 0 20 0 2 0 331354827 223047680 34691 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 54455 34691 195 433 0 54019 0
[pid=18570/tid=18571] ppid=18568 vsize=217820 CPUtime=222.25 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 35591 0 0 0 22200 25 0 0 20 0 2 0 331354827 223047680 34691 33554432000 4194304 5964350 140736288281632 139718949480440 4399840 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) 217820
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18651
/proc/meminfo: memFree=30672800/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=214800 CPUtime=282.19 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 46326 0 0 0 28193 26 0 0 20 0 2 0 331354827 219955200 44085 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 53700 44085 195 433 0 53264 0
[pid=18570/tid=18571] ppid=18568 vsize=214800 CPUtime=282.25 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 45607 0 0 0 28194 31 0 0 20 0 2 0 331354827 219955200 44085 33554432000 4194304 5964350 140736288281632 139718949480984 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 214800
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18651
/proc/meminfo: memFree=30669696/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=214800 CPUtime=342.18 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 46368 0 0 0 34192 26 0 0 20 0 2 0 331354827 219955200 44147 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 53700 44147 195 433 0 53264 0
[pid=18570/tid=18571] ppid=18568 vsize=214800 CPUtime=342.25 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 45649 0 0 0 34193 32 0 0 20 0 2 0 331354827 219955200 44147 33554432000 4194304 5964350 140736288281632 139718949480984 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 214800
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 18651
/proc/meminfo: memFree=30657784/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=214800 CPUtime=402.15 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 46402 0 0 0 40189 26 0 0 20 0 2 0 331354827 219955200 44247 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 77836 0 0 0 130148 78 0 0 20 0 2 0 331354827 355835904 77089 33554432000 4194304 5964350 140736288281632 139718949480440 4400745 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 347496
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18684
/proc/meminfo: memFree=30148944/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=347496 CPUtime=1361.99 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 82174 0 0 0 136137 62 0 0 20 0 2 0 331354827 355835904 80708 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 86874 80708 195 433 0 86438 0
[pid=18570/tid=18571] ppid=18568 vsize=347496 CPUtime=1362.26 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 81455 0 0 0 136143 83 0 0 20 0 2 0 331354827 355835904 80708 33554432000 4194304 5964350 140736288281632 139718949480248 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 347496
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18684
/proc/meminfo: memFree=30121664/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=413032 CPUtime=1421.96 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 87145 0 0 0 142129 67 0 0 20 0 2 0 331354827 422944768 86209 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 103258 86209 195 433 0 102822 0
[pid=18570/tid=18571] ppid=18568 vsize=413032 CPUtime=1422.24 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 86426 0 0 0 142135 89 0 0 20 0 2 0 331354827 422944768 86209 33554432000 4194304 5964350 140736288281632 139718949480440 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 413032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18684
/proc/meminfo: memFree=30083244/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=413032 CPUtime=1481.92 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 90133 0 0 0 148122 70 0 0 20 0 2 0 331354827 422944768 89463 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 103258 89463 195 433 0 102822 0
[pid=18570/tid=18571] ppid=18568 vsize=413032 CPUtime=1482.23 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 89414 0 0 0 148130 93 0 0 20 0 2 0 331354827 422944768 89463 33554432000 4194304 5964350 140736288281632 139718949480312 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 413032
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 18684
/proc/meminfo: memFree=30068056/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=413032 CPUtime=1541.92 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 90498 0 0 0 154121 71 0 0 20 0 2 0 331354827 422944768 89823 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 103258 89823 195 433 0 102822 0
[pid=18570/tid=18571] ppid=18568 vsize=413032 CPUtime=1542.23 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 89779 0 0 0 154128 95 0 0 20 0 2 0 331354827 422944768 89823 33554432000 4194304 5964350 140736288281632 139718949480312 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 413032
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 18684
/proc/meminfo: memFree=30026696/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=413032 CPUtime=1601.91 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 94324 0 0 0 160116 75 0 0 20 0 2 0 331354827 422944768 93649 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 103258 93649 195 433 0 102822 0
[pid=18570/tid=18571] ppid=18568 vsize=413032 CPUtime=1602.23 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 93605 0 0 0 160123 100 0 0 20 0 2 0 331354827 422944768 93649 33554432000 4194304 5964350 140736288281632 139718949480248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 413032
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18685
/proc/meminfo: memFree=29983572/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=413032 CPUtime=1661.9 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 99107 0 0 0 166110 80 0 0 20 0 2 0 331354827 422944768 98431 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 103258 98431 195 433 0 102822 0
[pid=18570/tid=18571] ppid=18568 vsize=413032 CPUtime=1662.23 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 98388 0 0 0 166117 106 0 0 20 0 2 0 331354827 422944768 98431 33554432000 4194304 5964350 140736288281632 139718949480488 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 413032
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 18688
/proc/meminfo: memFree=29969272/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1721.89 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 101655 0 0 0 172106 83 0 0 20 0 2 0 331354827 490053632 100978 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 100978 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1722.24 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 100936 0 0 0 172114 110 0 0 20 0 2 0 331354827 490053632 100978 33554432000 4194304 5964350 140736288281632 139718949480312 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 478568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29937508/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1781.88 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 109614 0 0 0 178093 95 0 0 20 0 2 0 331354827 490053632 108937 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 108937 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1782.24 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 108895 0 0 0 178101 123 0 0 20 0 2 0 331354827 490053632 108937 33554432000 4194304 5964350 140736288281632 139718949480440 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 478568
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29929944/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1791.48 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 110927 0 0 0 179052 96 0 0 20 0 2 0 331354827 490053632 110250 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 110250 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1791.85 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 110208 0 0 0 179061 124 0 0 20 0 2 0 331354827 490053632 110250 33554432000 4194304 5964350 140736288281632 139718949480440 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 478568
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29926596/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1794.68 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 111363 0 0 0 179371 97 0 0 20 0 2 0 331354827 490053632 110686 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 110686 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1795.05 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 110644 0 0 0 179380 125 0 0 20 0 2 0 331354827 490053632 110686 33554432000 4194304 5964350 140736288281632 139718949480440 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 478568
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29925232/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1797.88 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 111827 0 0 0 179690 98 0 0 20 0 2 0 331354827 490053632 111150 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 111150 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1798.24 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 111108 0 0 0 179698 126 0 0 20 0 2 0 331354827 490053632 111150 33554432000 4194304 5964350 140736288281632 139718949480440 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 478568
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29924116/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1798.68 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 111953 0 0 0 179770 98 0 0 20 0 2 0 331354827 490053632 111276 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 111276 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1799.04 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 111234 0 0 0 179778 126 0 0 20 0 2 0 331354827 490053632 111276 33554432000 4194304 5964350 140736288281632 139718949480488 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 478568
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29923000/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1799.09 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 111992 0 0 0 179811 98 0 0 20 0 2 0 331354827 490053632 111315 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 111315 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1799.45 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 111273 0 0 0 179819 126 0 0 20 0 2 0 331354827 490053632 111315 33554432000 4194304 5964350 140736288281632 139718949480248 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 478568
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29923000/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1799.48 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 112012 0 0 0 179850 98 0 0 20 0 2 0 331354827 490053632 111335 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 111335 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1799.84 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 111293 0 0 0 179858 126 0 0 20 0 2 0 331354827 490053632 111335 33554432000 4194304 5964350 140736288281632 139718949480248 4400342 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 478568
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18688
/proc/meminfo: memFree=29923000/32873648 swapFree=7628/7628
[pid=18570] ppid=18568 vsize=478568 CPUtime=1799.58 cores=1,3,5,7
/proc/18570/stat : 18570 (wbo1.72) S 18568 18570 16985 0 -1 4202496 112019 0 0 0 179860 98 0 0 20 0 2 0 331354827 490053632 111342 33554432000 4194304 5964350 140736288281632 140736288281152 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18570/statm: 119642 111342 195 433 0 119206 0
[pid=18570/tid=18571] ppid=18568 vsize=478568 CPUtime=1799.94 cores=1,3,5,7
/proc/18570/task/18571/stat : 18571 (wbo1.72) R 18568 18570 16985 0 -1 4202560 111300 0 0 0 179868 126 0 0 20 0 2 0 331354827 490053632 111342 33554432000 4194304 5964350 140736288281632 139718949480248 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 478568
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.97
CPU user time (s): 1798.69
CPU system time (s): 1.27881
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 478568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.2788
maximum resident set size= 445376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112021
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= 146
involuntary context switches= 1842
runsolver used 5.08123 second user time and 16.0406 second system time
The end