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-3704726-1338072388/watcher-3704726-1338072388 -o /tmp/evaluation-result-3704726-1338072388/solver-3704726-1338072388 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704726-1338072388.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.90 1.97 1.99 3/177 28079
/proc/meminfo: memFree=28925652/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=6092 CPUtime=0 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) R 28077 28079 27916 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 273364640 6238208 465 33554432000 4194304 5963574 140733488178960 140736152746040 4394735 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 1523 465 170 432 0 540 0
[startup+0.0566261 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 28079
/proc/meminfo: memFree=28925652/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=13400 CPUtime=0.05 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) R 28077 28079 27916 0 -1 4202496 2282 0 0 0 5 0 0 0 20 0 1 0 273364640 13721600 2234 33554432000 4194304 5963574 140733488178960 140736152746040 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 3350 2235 318 432 0 2367 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13400
[startup+0.100255 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 28079
/proc/meminfo: memFree=28925652/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=14852 CPUtime=0.09 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) R 28077 28079 27916 0 -1 4202496 2780 0 0 0 9 0 0 0 20 0 1 0 273364640 15208448 2732 33554432000 4194304 5963574 140733488178960 140736152746040 5367788 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 3713 2733 452 432 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14852
[startup+0.300215 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 28079
/proc/meminfo: memFree=28925652/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=99380 CPUtime=0.29 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 8896 0 0 0 28 1 0 0 20 0 2 0 273364640 101765120 7698 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 24845 7698 184 432 0 24410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99380
[startup+0.70018 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 28079
/proc/meminfo: memFree=28925652/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=99380 CPUtime=0.69 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 9407 0 0 0 68 1 0 0 20 0 2 0 273364640 101765120 8209 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 24845 8209 185 432 0 24410 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99380
[startup+1.50022 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28884080/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=99380 CPUtime=1.49 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 10286 0 0 0 147 2 0 0 20 0 2 0 273364640 101765120 9088 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 24845 9088 185 432 0 24410 0
[pid=28079/tid=28081] ppid=28077 vsize=99380 CPUtime=1.3 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 5762 0 0 0 129 1 0 0 20 0 2 0 273364659 101765120 9088 33554432000 4194304 5963574 140733488178960 139866557277720 4221984 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) 99380
[startup+3.10021 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28876020/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=99380 CPUtime=3.09 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 12041 0 0 0 307 2 0 0 20 0 2 0 273364640 101765120 10843 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 24845 10843 185 432 0 24410 0
[pid=28079/tid=28081] ppid=28077 vsize=99380 CPUtime=2.89 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 7517 0 0 0 288 1 0 0 20 0 2 0 273364659 101765120 10843 33554432000 4194304 5963574 140733488178960 139866557278200 4381565 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) 99380
[startup+6.30021 s]
/proc/loadavg: 1.91 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28860384/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=99380 CPUtime=6.28 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 15360 0 0 0 626 2 0 0 20 0 2 0 273364640 101765120 14162 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 24845 14162 185 432 0 24410 0
[pid=28079/tid=28081] ppid=28077 vsize=99380 CPUtime=6.08 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 10836 0 0 0 606 2 0 0 20 0 2 0 273364659 101765120 14162 33554432000 4194304 5963574 140733488178960 139866557278200 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 99380
[startup+12.7002 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28816520/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=164916 CPUtime=12.69 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 22891 0 0 0 1265 4 0 0 20 0 2 0 273364640 168873984 21693 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 41229 21693 185 432 0 40794 0
[pid=28079/tid=28081] ppid=28077 vsize=164916 CPUtime=12.47 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 18367 0 0 0 1244 3 0 0 20 0 2 0 273364659 168873984 21693 33554432000 4194304 5963574 140733488178960 139866557278200 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 164916
[startup+25.501 s]
/proc/loadavg: 1.93 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28765160/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=164916 CPUtime=25.49 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 26014 0 0 0 2545 4 0 0 20 0 2 0 273364640 168873984 24816 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 41229 24816 185 432 0 40794 0
[pid=28079/tid=28081] ppid=28077 vsize=164916 CPUtime=25.23 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 21490 0 0 0 2520 3 0 0 20 0 2 0 273364659 168873984 24816 33554432000 4194304 5963574 140733488178960 139866557278200 4381595 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 164916
[startup+51.1002 s]
/proc/loadavg: 1.96 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28653528/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=164916 CPUtime=51.08 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 37854 0 0 0 5101 7 0 0 20 0 2 0 273364640 168873984 36656 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 41229 36656 185 432 0 40794 0
[pid=28079/tid=28081] ppid=28077 vsize=164916 CPUtime=50.77 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 33330 0 0 0 5071 6 0 0 20 0 2 0 273364659 168873984 36656 33554432000 4194304 5963574 140733488178960 139866557278200 4381557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 164916
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28417624/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=295988 CPUtime=102.28 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 68601 0 0 0 10215 13 0 0 20 0 2 0 273364640 303091712 67403 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 73997 67403 185 432 0 73562 0
[pid=28079/tid=28081] ppid=28077 vsize=295988 CPUtime=101.84 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 64077 0 0 0 10170 14 0 0 20 0 2 0 273364659 303091712 67403 33554432000 4194304 5963574 140733488178960 139866557278200 4381544 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 295988
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 28081
/proc/meminfo: memFree=28252652/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=427060 CPUtime=162.27 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 90748 0 0 0 16210 17 0 0 20 0 2 0 273364640 437309440 89566 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 106765 89566 185 432 0 106330 0
[pid=28079/tid=28081] ppid=28077 vsize=427060 CPUtime=161.67 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 86224 0 0 0 16149 18 0 0 20 0 2 0 273364659 437309440 89566 33554432000 4194304 5963574 140733488178960 139866557278200 4381238 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 427060
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/180 28084
/proc/meminfo: memFree=27920544/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=623668 CPUtime=222.25 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 139065 0 0 0 22199 26 0 0 20 0 2 0 273364640 638636032 137885 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 155917 137885 185 432 0 155482 0
[pid=28079/tid=28081] ppid=28077 vsize=623668 CPUtime=221.51 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 134541 0 0 0 22123 28 0 0 20 0 2 0 273364659 638636032 137885 33554432000 4194304 5963574 140733488178960 139866557278200 4381529 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 623668
[startup+282.301 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 28084
/proc/meminfo: memFree=27905784/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=623668 CPUtime=282.22 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 142688 0 0 0 28196 26 0 0 20 0 2 0 273364640 638636032 141472 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 155917 141472 185 432 0 155482 0
[pid=28079/tid=28081] ppid=28077 vsize=623668 CPUtime=281.33 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 138164 0 0 0 28104 29 0 0 20 0 2 0 273364659 638636032 141472 33554432000 4194304 5963574 140733488178960 139866557278200 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 623668
[startup+342.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/179 28085
/proc/meminfo: memFree=27746172/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=754740 CPUtime=342.2 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 171181 0 0 0 34189 31 0 0 20 0 2 0 273364640 772853760 169964 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 188685 169964 185 432 0 188250 0
[pid=28079/tid=28081] ppid=28077 vsize=754740 CPUtime=341.15 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 166657 0 0 0 34080 35 0 0 20 0 2 0 273364659 772853760 169964 33554432000 4194304 5963574 140733488178960 139866557278200 4381565 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 754740
[startup+402.301 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 28085
/proc/meminfo: memFree=27712448/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=754740 CPUtime=402.19 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 178996 0 0 0 40186 33 0 0 20 0 2 0 273364640 772853760 177975 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 188685 177975 185 432 0 188250 0
[pid=28079/tid=28081] ppid=28077 vsize=754740 CPUtime=401 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 174472 0 0 0 40062 38 0 0 20 0 2 0 273364659 772853760 177975 33554432000 4194304 5963574 140733488178960 139866557278200 4381510 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 754740
[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 28085
/proc/meminfo: memFree=27641672/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=754740 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28117
/proc/meminfo: memFree=26583520/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1476720 CPUtime=1421.95 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 351695 0 0 0 142129 66 0 0 20 0 2 0 273364640 1512161280 350551 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 369180 350551 185 432 0 368745 0
[pid=28079/tid=28081] ppid=28077 vsize=1476720 CPUtime=1418.25 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 347171 0 0 0 141739 86 0 0 20 0 2 0 273364659 1512161280 350551 33554432000 4194304 5963574 140733488178960 139866557278200 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1476720
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28117
/proc/meminfo: memFree=26465800/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1476720 CPUtime=1481.94 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 351695 0 0 0 148128 66 0 0 20 0 2 0 273364640 1512161280 350551 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 369180 350551 185 432 0 368745 0
[pid=28079/tid=28081] ppid=28077 vsize=1476720 CPUtime=1478.09 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 347171 0 0 0 147722 87 0 0 20 0 2 0 273364659 1512161280 350551 33554432000 4194304 5963574 140733488178960 139866557278200 4387781 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1476720
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28118
/proc/meminfo: memFree=26399420/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1476720 CPUtime=1541.93 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 351695 0 0 0 154127 66 0 0 20 0 2 0 273364640 1512161280 350551 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 369180 350551 185 432 0 368745 0
[pid=28079/tid=28081] ppid=28077 vsize=1476720 CPUtime=1537.93 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 347171 0 0 0 153705 88 0 0 20 0 2 0 273364659 1512161280 350551 33554432000 4194304 5963574 140733488178960 139866557278200 4381496 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1476720
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28118
/proc/meminfo: memFree=26391140/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1476720 CPUtime=1601.92 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 353656 0 0 0 160125 67 0 0 20 0 2 0 273364640 1512161280 352512 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 369180 352512 185 432 0 368745 0
[pid=28079/tid=28081] ppid=28077 vsize=1476720 CPUtime=1597.78 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 349132 0 0 0 159688 90 0 0 20 0 2 0 273364659 1512161280 352512 33554432000 4194304 5963574 140733488178960 139866557278200 4381238 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1476720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28118
/proc/meminfo: memFree=26345184/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1476720 CPUtime=1661.91 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 365431 0 0 0 166122 69 0 0 20 0 2 0 273364640 1512161280 364287 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 369180 364287 185 432 0 368745 0
[pid=28079/tid=28081] ppid=28077 vsize=1476720 CPUtime=1657.62 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 360907 0 0 0 165669 93 0 0 20 0 2 0 273364659 1512161280 364287 33554432000 4194304 5963574 140733488178960 139866557278200 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1476720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28118
/proc/meminfo: memFree=26287676/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1542256 CPUtime=1721.9 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 379694 0 0 0 172118 72 0 0 20 0 2 0 273364640 1579270144 378550 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 385564 378550 185 432 0 385129 0
[pid=28079/tid=28081] ppid=28077 vsize=1542256 CPUtime=1717.46 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 375170 0 0 0 171649 97 0 0 20 0 2 0 273364659 1579270144 378550 33554432000 4194304 5963574 140733488178960 139866557278200 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1542256
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28157
/proc/meminfo: memFree=27317804/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1781.89 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 418085 0 0 0 178111 78 0 0 20 0 2 0 273364640 1780596736 416941 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 416941 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1777.31 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 413561 0 0 0 177627 104 0 0 20 0 2 0 273364659 1780596736 416941 33554432000 4194304 5963574 140733488178960 139866557278200 4381544 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1738864
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27273016/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1791.5 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 423497 0 0 0 179070 80 0 0 20 0 2 0 273364640 1780596736 422353 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 422353 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1786.89 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 418973 0 0 0 178583 106 0 0 20 0 2 0 273364659 1780596736 422353 33554432000 4194304 5963574 140733488178960 139866557278200 4381565 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 1738864
[startup+1795.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27253480/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1794.69 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 425297 0 0 0 179389 80 0 0 20 0 2 0 273364640 1780596736 424153 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 424153 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1790.08 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 420773 0 0 0 178902 106 0 0 20 0 2 0 273364659 1780596736 424153 33554432000 4194304 5963574 140733488178960 139866557278200 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 1738864
[startup+1798.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27244072/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1797.88 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 427313 0 0 0 179708 80 0 0 20 0 2 0 273364640 1780596736 426169 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 426169 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1793.26 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 422789 0 0 0 179219 107 0 0 20 0 2 0 273364659 1780596736 426169 33554432000 4194304 5963574 140733488178960 139866557278200 4381532 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1738864
[startup+1799.1 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27241964/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1798.68 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 427782 0 0 0 179788 80 0 0 20 0 2 0 273364640 1780596736 426638 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 426638 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1794.06 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 423258 0 0 0 179299 107 0 0 20 0 2 0 273364659 1780596736 426638 33554432000 4194304 5963574 140733488178960 139866557278200 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 1738864
[startup+1799.5 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27239344/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1799.09 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 428015 0 0 0 179829 80 0 0 20 0 2 0 273364640 1780596736 426871 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 426871 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1794.47 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 423491 0 0 0 179340 107 0 0 20 0 2 0 273364659 1780596736 426871 33554432000 4194304 5963574 140733488178960 139866557278200 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 1738864
[startup+1799.9 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27239344/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1799.48 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 428196 0 0 0 179868 80 0 0 20 0 2 0 273364640 1780596736 427052 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 427052 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1794.86 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 423672 0 0 0 179379 107 0 0 20 0 2 0 273364659 1780596736 427052 33554432000 4194304 5963574 140733488178960 139866557278200 5135642 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 1738864
[startup+1800 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 28157
/proc/meminfo: memFree=27239344/32873648 swapFree=6844/6844
[pid=28079] ppid=28077 vsize=1738864 CPUtime=1799.58 cores=0,2,4,6
/proc/28079/stat : 28079 (wbo1.7) S 28077 28079 27916 0 -1 4202496 428257 0 0 0 179878 80 0 0 20 0 2 0 273364640 1780596736 427113 33554432000 4194304 5963574 140733488178960 140733488178480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28079/statm: 434716 427113 185 432 0 434281 0
[pid=28079/tid=28081] ppid=28077 vsize=1738864 CPUtime=1794.96 cores=0,2,4,6
/proc/28079/task/28081/stat : 28081 (wbo1.7) R 28077 28079 27916 0 -1 4202560 423733 0 0 0 179389 107 0 0 20 0 2 0 273364659 1780596736 427113 33554432000 4194304 5963574 140733488178960 139866557278200 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 1738864
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28079 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=82258
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=121829
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.05
CPU time (s): 1799.58
CPU user time (s): 1798.78
CPU system time (s): 0.8
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1738864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.08
system time used= 1.12183
maximum resident set size= 1708508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428271
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= 206
involuntary context switches= 1925
runsolver used 2.74058 second user time and 7.10492 second system time
The end