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-3705764-1338115096/watcher-3705764-1338115096 -o /tmp/evaluation-result-3705764-1338115096/solver-3705764-1338115096 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705764-1338115096.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/177 13597
/proc/meminfo: memFree=28737840/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=4504 CPUtime=0 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) R 13595 13597 11506 0 -1 4202496 584 0 0 0 0 0 0 0 20 0 1 0 277634691 4612096 536 33554432000 4194304 5963574 140733349519056 140734568085432 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 1126 536 175 432 0 616 0
[startup+0.0692211 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13597
/proc/meminfo: memFree=28737840/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=85996 CPUtime=0.06 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 2463 0 0 0 6 0 0 0 20 0 2 0 277634691 88059904 2340 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21499 2340 195 432 0 21064 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85996
[startup+0.100208 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13597
/proc/meminfo: memFree=28737840/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=85996 CPUtime=0.09 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 2463 0 0 0 9 0 0 0 20 0 2 0 277634691 88059904 2340 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21499 2340 195 432 0 21064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85996
[startup+0.300116 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13597
/proc/meminfo: memFree=28737840/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=85996 CPUtime=0.29 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 2608 0 0 0 29 0 0 0 20 0 2 0 277634691 88059904 2485 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21499 2485 195 432 0 21064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85996
[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13597
/proc/meminfo: memFree=28737840/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=85996 CPUtime=0.69 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 2836 0 0 0 69 0 0 0 20 0 2 0 277634691 88059904 2713 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21499 2713 195 432 0 21064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85996
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13599
/proc/meminfo: memFree=28728036/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=86140 CPUtime=1.49 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 3226 0 0 0 149 0 0 0 20 0 2 0 277634691 88207360 3103 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21535 3103 195 432 0 21100 0
[pid=13597/tid=13599] ppid=13595 vsize=86140 CPUtime=1.45 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 1876 0 0 0 145 0 0 0 20 0 2 0 277634694 88207360 3103 33554432000 4194304 5963574 140733349519056 140277771339576 5132911 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86140
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13599
/proc/meminfo: memFree=28724936/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=86212 CPUtime=3.09 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 4087 0 0 0 309 0 0 0 20 0 2 0 277634691 88281088 3964 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21553 3964 195 432 0 21118 0
[pid=13597/tid=13599] ppid=13595 vsize=86212 CPUtime=3.05 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 2737 0 0 0 305 0 0 0 20 0 2 0 277634694 88281088 3964 33554432000 4194304 5963574 140733349519056 140277771339816 4221120 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) 86212
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13599
/proc/meminfo: memFree=28720164/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=86320 CPUtime=6.29 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 5581 0 0 0 628 1 0 0 20 0 2 0 277634691 88391680 5458 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21580 5458 195 432 0 21145 0
[pid=13597/tid=13599] ppid=13595 vsize=86320 CPUtime=6.24 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 4231 0 0 0 623 1 0 0 20 0 2 0 277634694 88391680 5458 33554432000 4194304 5963574 140733349519056 140277771339576 4399639 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) 86320
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13599
/proc/meminfo: memFree=28712996/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=86480 CPUtime=12.69 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 7202 0 0 0 1268 1 0 0 20 0 2 0 277634691 88555520 7079 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21620 7079 195 432 0 21185 0
[pid=13597/tid=13599] ppid=13595 vsize=86480 CPUtime=12.62 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 5852 0 0 0 1261 1 0 0 20 0 2 0 277634694 88555520 7079 33554432000 4194304 5963574 140733349519056 140277771339288 4388374 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) 86480
[startup+25.5003 s]
/proc/loadavg: 1.85 1.97 1.99 2/172 13677
/proc/meminfo: memFree=29450888/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=86480 CPUtime=25.48 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 9119 0 0 0 2546 2 0 0 20 0 2 0 277634691 88555520 9250 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21620 9250 195 432 0 21185 0
[pid=13597/tid=13599] ppid=13595 vsize=86480 CPUtime=25.39 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 7769 0 0 0 2537 2 0 0 20 0 2 0 277634694 88555520 9250 33554432000 4194304 5963574 140733349519056 140277771339816 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86480
[startup+51.1003 s]
/proc/loadavg: 1.56 1.89 1.96 2/172 13677
/proc/meminfo: memFree=29429444/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=87152 CPUtime=51.07 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 13866 0 0 0 5102 5 0 0 20 0 2 0 277634691 89243648 14548 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 21788 14548 195 432 0 21353 0
[pid=13597/tid=13599] ppid=13595 vsize=87152 CPUtime=50.91 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 12516 0 0 0 5086 5 0 0 20 0 2 0 277634694 89243648 14548 33554432000 4194304 5963574 140733349519056 140277771339816 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87152
[startup+102.307 s]
/proc/loadavg: 1.24 1.75 1.91 2/172 13678
/proc/meminfo: memFree=29403124/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=154848 CPUtime=102.25 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 20389 0 0 0 10215 10 0 0 20 0 2 0 277634691 158564352 21143 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 38712 21143 195 432 0 38277 0
[pid=13597/tid=13599] ppid=13595 vsize=154848 CPUtime=101.97 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 19039 0 0 0 10186 11 0 0 20 0 2 0 277634694 158564352 21143 33554432000 4194304 5963574 140733349519056 140277771339288 4399456 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) 154848
[startup+162.3 s]
/proc/loadavg: 1.09 1.61 1.85 2/173 13681
/proc/meminfo: memFree=29375128/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=156288 CPUtime=162.23 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 26815 0 0 0 16206 17 0 0 20 0 2 0 277634691 160038912 28080 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 39072 28080 195 432 0 38637 0
[pid=13597/tid=13599] ppid=13595 vsize=156288 CPUtime=161.8 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 25465 0 0 0 16161 19 0 0 20 0 2 0 277634694 160038912 28080 33554432000 4194304 5963574 140733349519056 140277771339816 4410413 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156288
[startup+222.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/172 13681
/proc/meminfo: memFree=29357588/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=157656 CPUtime=222.22 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 31269 0 0 0 22199 23 0 0 20 0 2 0 277634691 161439744 32533 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 39414 32533 195 432 0 38979 0
[pid=13597/tid=13599] ppid=13595 vsize=157656 CPUtime=221.65 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 29919 0 0 0 22139 26 0 0 20 0 2 0 277634694 161439744 32533 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 157656
[startup+282.3 s]
/proc/loadavg: 1.08 1.42 1.75 2/172 13681
/proc/meminfo: memFree=29337724/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=224344 CPUtime=282.19 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 36212 0 0 0 28189 30 0 0 20 0 2 0 277634691 229728256 37478 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 56086 37478 195 432 0 55651 0
[pid=13597/tid=13599] ppid=13595 vsize=224344 CPUtime=281.48 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 34862 0 0 0 28114 34 0 0 20 0 2 0 277634694 229728256 37478 33554432000 4194304 5963574 140733349519056 140277771339768 4403263 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) 224344
[startup+342.3 s]
/proc/loadavg: 1.03 1.34 1.70 2/172 13681
/proc/meminfo: memFree=29320776/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=225296 CPUtime=342.18 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 40514 0 0 0 34182 36 0 0 20 0 2 0 277634691 230703104 41776 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 56324 41776 195 432 0 55889 0
[pid=13597/tid=13599] ppid=13595 vsize=225296 CPUtime=341.32 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 39164 0 0 0 34091 41 0 0 20 0 2 0 277634694 230703104 41776 33554432000 4194304 5963574 140733349519056 140277771339816 4402912 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) 225296
[startup+402.3 s]
/proc/loadavg: 1.01 1.28 1.65 2/172 13682
/proc/meminfo: memFree=29306884/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=225728 CPUtime=402.17 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 44090 0 0 0 40176 41 0 0 20 0 2 0 277634691 231145472 45350 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 56432 45350 195 432 0 55997 0
[pid=13597/tid=13599] ppid=13595 vsize=225728 CPUtime=401.17 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 42740 0 0 0 40070 47 0 0 20 0 2 0 277634694 231145472 45350 33554432000 4194304 5963574 140733349519056 140277771339288 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 225728
[startup+462.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/172 13682
/proc/meminfo: memFree=29287944/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=226880 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.19 2/173 13713
/proc/meminfo: memFree=29139996/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=368100 CPUtime=1421.97 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 85445 0 0 0 142082 115 0 0 20 0 2 0 277634691 376934400 86777 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 92025 86777 195 432 0 91590 0
[pid=13597/tid=13599] ppid=13595 vsize=368100 CPUtime=1418.5 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 84095 0 0 0 141714 136 0 0 20 0 2 0 277634694 376934400 86777 33554432000 4194304 5963574 140733349519056 140277771339816 4378768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 368100
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/172 13713
/proc/meminfo: memFree=29140252/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=368608 CPUtime=1481.95 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 85575 0 0 0 148080 115 0 0 20 0 2 0 277634691 377454592 86907 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 92152 86907 195 432 0 91717 0
[pid=13597/tid=13599] ppid=13595 vsize=368608 CPUtime=1478.34 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 84225 0 0 0 147697 137 0 0 20 0 2 0 277634694 377454592 86907 33554432000 4194304 5963574 140733349519056 140277771339816 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 368608
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/172 13713
/proc/meminfo: memFree=29124628/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=434324 CPUtime=1541.95 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 89452 0 0 0 154074 121 0 0 20 0 2 0 277634691 444747776 90784 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108581 90784 195 432 0 108146 0
[pid=13597/tid=13599] ppid=13595 vsize=434324 CPUtime=1538.19 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 88102 0 0 0 153675 144 0 0 20 0 2 0 277634694 444747776 90784 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 434324
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/172 13713
/proc/meminfo: memFree=29116616/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=434432 CPUtime=1601.93 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 91503 0 0 0 160067 126 0 0 20 0 2 0 277634691 444858368 92828 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108608 92828 195 432 0 108173 0
[pid=13597/tid=13599] ppid=13595 vsize=434432 CPUtime=1598.03 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 90153 0 0 0 159653 150 0 0 20 0 2 0 277634694 444858368 92828 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 434432
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 13714
/proc/meminfo: memFree=29101860/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=434880 CPUtime=1661.92 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 95130 0 0 0 166061 131 0 0 20 0 2 0 277634691 445317120 96455 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108720 96455 195 432 0 108285 0
[pid=13597/tid=13599] ppid=13595 vsize=434880 CPUtime=1657.87 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 93780 0 0 0 165631 156 0 0 20 0 2 0 277634694 445317120 96455 33554432000 4194304 5963574 140733349519056 140277771339288 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 434880
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/172 13714
/proc/meminfo: memFree=29092584/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435112 CPUtime=1721.9 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 97505 0 0 0 172054 136 0 0 20 0 2 0 277634691 445554688 98818 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108778 98818 195 432 0 108343 0
[pid=13597/tid=13599] ppid=13595 vsize=435112 CPUtime=1717.7 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 96155 0 0 0 171608 162 0 0 20 0 2 0 277634694 445554688 98818 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 435112
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 13714
/proc/meminfo: memFree=29079316/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435432 CPUtime=1781.89 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 100732 0 0 0 178048 141 0 0 20 0 2 0 277634691 445882368 102045 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108858 102045 195 432 0 108423 0
[pid=13597/tid=13599] ppid=13595 vsize=435432 CPUtime=1777.55 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 99382 0 0 0 177588 167 0 0 20 0 2 0 277634694 445882368 102045 33554432000 4194304 5963574 140733349519056 140277771339768 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 435432
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29077952/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435432 CPUtime=1791.49 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101092 0 0 0 179007 142 0 0 20 0 2 0 277634691 445882368 102405 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108858 102405 195 432 0 108423 0
[pid=13597/tid=13599] ppid=13595 vsize=435432 CPUtime=1787.13 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 99742 0 0 0 178544 169 0 0 20 0 2 0 277634694 445882368 102405 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 435432
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29077456/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435432 CPUtime=1794.69 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101215 0 0 0 179327 142 0 0 20 0 2 0 277634691 445882368 102528 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108858 102528 195 432 0 108423 0
[pid=13597/tid=13599] ppid=13595 vsize=435432 CPUtime=1790.32 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 99865 0 0 0 178863 169 0 0 20 0 2 0 277634694 445882368 102528 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 435432
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29077084/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435432 CPUtime=1797.89 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101343 0 0 0 179646 143 0 0 20 0 2 0 277634691 445882368 102656 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108858 102656 195 432 0 108423 0
[pid=13597/tid=13599] ppid=13595 vsize=435432 CPUtime=1793.51 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 99993 0 0 0 179181 170 0 0 20 0 2 0 277634694 445882368 102656 33554432000 4194304 5963574 140733349519056 140277771339816 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 435432
[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29076960/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435504 CPUtime=1798.69 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101380 0 0 0 179726 143 0 0 20 0 2 0 277634691 445956096 102693 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108876 102693 195 432 0 108441 0
[pid=13597/tid=13599] ppid=13595 vsize=435504 CPUtime=1794.31 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 100030 0 0 0 179261 170 0 0 20 0 2 0 277634694 445956096 102693 33554432000 4194304 5963574 140733349519056 140277771339768 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 435504
[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29076836/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435504 CPUtime=1799.09 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101393 0 0 0 179766 143 0 0 20 0 2 0 277634691 445956096 102706 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108876 102706 195 432 0 108441 0
[pid=13597/tid=13599] ppid=13595 vsize=435504 CPUtime=1794.71 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 100043 0 0 0 179301 170 0 0 20 0 2 0 277634694 445956096 102706 33554432000 4194304 5963574 140733349519056 140277771339768 4399456 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) 435504
[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29076836/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435504 CPUtime=1799.49 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101407 0 0 0 179806 143 0 0 20 0 2 0 277634691 445956096 102720 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108876 102720 195 432 0 108441 0
[pid=13597/tid=13599] ppid=13595 vsize=435504 CPUtime=1795.1 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 100057 0 0 0 179340 170 0 0 20 0 2 0 277634694 445956096 102720 33554432000 4194304 5963574 140733349519056 140277771339816 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 435504
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 13714
/proc/meminfo: memFree=29076836/32873844 swapFree=7116/7116
[pid=13597] ppid=13595 vsize=435504 CPUtime=1799.59 cores=1,3,5,7
/proc/13597/stat : 13597 (wbo1.7) S 13595 13597 11506 0 -1 4202496 101410 0 0 0 179816 143 0 0 20 0 2 0 277634691 445956096 102723 33554432000 4194304 5963574 140733349519056 140733349518576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13597/statm: 108876 102723 195 432 0 108441 0
[pid=13597/tid=13599] ppid=13595 vsize=435504 CPUtime=1795.2 cores=1,3,5,7
/proc/13597/task/13599/stat : 13599 (wbo1.7) R 13595 13597 11506 0 -1 4202560 100060 0 0 0 179350 170 0 0 20 0 2 0 277634694 445956096 102723 33554432000 4194304 5963574 140733349519056 140277771339816 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 435504
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13597 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=541340
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=715739
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.59
CPU user time (s): 1798.16
CPU system time (s): 1.43
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 435504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 1.71574
maximum resident set size= 410892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101410
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= 177
involuntary context switches= 1856
runsolver used 4.37833 second user time and 10.1865 second system time
The end