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-3727838-1338667808/watcher-3727838-1338667808 -o /tmp/evaluation-result-3727838-1338667808/solver-3727838-1338667808 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727838-1338667808.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.11 2.03 2.01 3/178 17518
/proc/meminfo: memFree=31597484/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=8040 CPUtime=0 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) R 17516 17518 17352 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 332909357 8232960 576 33554432000 4194304 5964350 140734467299136 140734705131064 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 2010 576 168 433 0 697 0
[startup+0.10616 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 17518
/proc/meminfo: memFree=31597484/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=16416 CPUtime=0.1 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) R 17516 17518 17352 0 -1 4202496 3069 0 0 0 10 0 0 0 20 0 1 0 332909357 16809984 3021 33554432000 4194304 5964350 140734467299136 140734705131064 5116812 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 4104 3022 502 433 0 2791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16416
[startup+0.200356 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 17518
/proc/meminfo: memFree=31597484/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=23280 CPUtime=0.19 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) R 17516 17518 17352 0 -1 4202496 5095 0 0 0 19 0 0 0 20 0 1 0 332909357 23838720 5047 33554432000 4194304 5964350 140734467299136 140734467297736 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 5820 5047 806 433 0 4507 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23280
[startup+0.300241 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 17518
/proc/meminfo: memFree=31597484/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=105720 CPUtime=0.28 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 8696 0 0 0 28 0 0 0 20 0 2 0 332909357 108257280 7737 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 26430 7737 185 433 0 25994 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 105720
[startup+0.70021 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 17518
/proc/meminfo: memFree=31597484/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=104568 CPUtime=0.68 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 18599 0 0 0 66 2 0 0 20 0 2 0 332909357 107077632 17372 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 26142 17372 195 433 0 25706 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 104568
[startup+1.50034 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 17520
/proc/meminfo: memFree=31527672/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=104568 CPUtime=1.48 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 19653 0 0 0 146 2 0 0 20 0 2 0 332909357 107077632 18411 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 26142 18411 197 433 0 25706 0
[pid=17518/tid=17520] ppid=17516 vsize=104568 CPUtime=1.21 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 12705 0 0 0 119 2 0 0 20 0 2 0 332909384 107077632 18411 33554432000 4194304 5964350 140734467299136 139749096151416 4400023 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) 104568
[startup+3.10029 s]
/proc/loadavg: 2.10 2.03 2.01 3/180 17520
/proc/meminfo: memFree=31522604/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=104568 CPUtime=3.09 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 21485 0 0 0 306 3 0 0 20 0 2 0 332909357 107077632 20166 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 26142 20166 197 433 0 25706 0
[pid=17518/tid=17520] ppid=17516 vsize=104568 CPUtime=2.81 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 14537 0 0 0 278 3 0 0 20 0 2 0 332909384 107077632 20166 33554432000 4194304 5964350 140734467299136 139749096151592 4221984 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) 104568
[startup+6.30026 s]
/proc/loadavg: 2.10 2.03 2.01 3/180 17520
/proc/meminfo: memFree=31509096/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=104568 CPUtime=6.28 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 23538 0 0 0 625 3 0 0 20 0 2 0 332909357 107077632 22158 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 26142 22158 197 433 0 25706 0
[pid=17518/tid=17520] ppid=17516 vsize=104568 CPUtime=6.01 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 16590 0 0 0 598 3 0 0 20 0 2 0 332909384 107077632 22158 33554432000 4194304 5964350 140734467299136 139749096151496 4400007 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) 104568
[startup+12.7003 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 17520
/proc/meminfo: memFree=31492488/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=170104 CPUtime=12.68 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 26296 0 0 0 1264 4 0 0 20 0 2 0 332909357 174186496 24870 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 42526 24870 197 433 0 42090 0
[pid=17518/tid=17520] ppid=17516 vsize=170104 CPUtime=12.38 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 19348 0 0 0 1235 3 0 0 20 0 2 0 332909384 174186496 24870 33554432000 4194304 5964350 140734467299136 139749096151384 4221120 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) 170104
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/180 17521
/proc/meminfo: memFree=31475756/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=170104 CPUtime=25.48 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 28341 0 0 0 2544 4 0 0 20 0 2 0 332909357 174186496 26899 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 42526 26899 197 433 0 42090 0
[pid=17518/tid=17520] ppid=17516 vsize=170104 CPUtime=25.15 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 21393 0 0 0 2512 3 0 0 20 0 2 0 332909384 174186496 26899 33554432000 4194304 5964350 140734467299136 139749096151384 4221984 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) 170104
[startup+51.1004 s]
/proc/loadavg: 2.11 2.04 2.01 3/180 17521
/proc/meminfo: memFree=31444924/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=170960 CPUtime=51.08 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 33116 0 0 0 5103 5 0 0 20 0 2 0 332909357 175063040 31635 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 42740 31635 197 433 0 42304 0
[pid=17518/tid=17520] ppid=17516 vsize=170960 CPUtime=50.68 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 26168 0 0 0 5064 4 0 0 20 0 2 0 332909384 175063040 31635 33554432000 4194304 5964350 140734467299136 139749096151384 4373358 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 170960
[startup+102.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/179 17521
/proc/meminfo: memFree=31375180/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=235640 CPUtime=102.27 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 42993 0 0 0 10221 6 0 0 20 0 2 0 332909357 241295360 41223 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 58910 41223 197 433 0 58474 0
[pid=17518/tid=17520] ppid=17516 vsize=235640 CPUtime=101.75 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 36045 0 0 0 10168 7 0 0 20 0 2 0 332909384 241295360 41223 33554432000 4194304 5964350 140734467299136 139749096151384 4222336 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 235640
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 17521
/proc/meminfo: memFree=31339448/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=235640 CPUtime=162.25 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 43055 0 0 0 16219 6 0 0 20 0 2 0 332909357 241295360 41289 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 58910 41289 197 433 0 58474 0
[pid=17518/tid=17520] ppid=17516 vsize=235640 CPUtime=161.59 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 36107 0 0 0 16151 8 0 0 20 0 2 0 332909384 241295360 41289 33554432000 4194304 5964350 140734467299136 139749096151576 4382177 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 235640
[startup+222.307 s]
/proc/loadavg: 2.10 2.08 2.02 3/179 17521
/proc/meminfo: memFree=31303144/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=235640 CPUtime=222.23 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 47435 0 0 0 22216 7 0 0 20 0 2 0 332909357 241295360 45706 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 58910 45706 197 433 0 58474 0
[pid=17518/tid=17520] ppid=17516 vsize=235640 CPUtime=221.42 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 40487 0 0 0 22133 9 0 0 20 0 2 0 332909384 241295360 45706 33554432000 4194304 5964350 140734467299136 139749096151384 4381913 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 235640
[startup+282.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 17521
/proc/meminfo: memFree=31264820/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=235640 CPUtime=282.2 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 48059 0 0 0 28213 7 0 0 20 0 2 0 332909357 241295360 46495 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 58910 46495 197 433 0 58474 0
[pid=17518/tid=17520] ppid=17516 vsize=235640 CPUtime=281.24 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 41111 0 0 0 28114 10 0 0 20 0 2 0 332909384 241295360 46495 33554432000 4194304 5964350 140734467299136 139749096151272 4403647 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 235640
[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/179 17522
/proc/meminfo: memFree=31072656/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=366712 CPUtime=342.19 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 86803 0 0 0 34201 18 0 0 20 0 2 0 332909357 375513088 85239 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 91678 85239 197 433 0 91242 0
[pid=17518/tid=17520] ppid=17516 vsize=366712 CPUtime=341.08 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 79855 0 0 0 34086 22 0 0 20 0 2 0 332909384 375513088 85239 33554432000 4194304 5964350 140734467299136 139749096151032 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 366712
[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 17522
/proc/meminfo: memFree=30957872/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=497784 CPUtime=402.17 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 109673 0 0 0 40192 25 0 0 20 0 2 0 332909357 509730816 108109 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 124446 108109 197 433 0 124010 0
[pid=17518/tid=17520] ppid=17516 vsize=497784 CPUtime=400.92 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 102725 0 0 0 40061 31 0 0 20 0 2 0 332909384 509730816 108109 33554432000 4194304 5964350 140734467299136 139749096151032 4220672 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) 497784
[startup+462.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 17522
/proc/meminfo: memFree=30840940/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=563804 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17531
/proc/meminfo: memFree=30462460/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1361.96 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211741 0 0 0 136143 53 0 0 20 0 2 0 332909357 912384000 210047 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210047 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1358.35 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204793 0 0 0 135763 72 0 0 20 0 2 0 332909384 912384000 210047 33554432000 4194304 5964350 140734467299136 139749096151992 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 891000
[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 17531
/proc/meminfo: memFree=30434936/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1421.96 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211741 0 0 0 142143 53 0 0 20 0 2 0 332909357 912384000 210047 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210047 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1418.2 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204793 0 0 0 141747 73 0 0 20 0 2 0 332909384 912384000 210047 33554432000 4194304 5964350 140734467299136 139749096151576 4400007 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) 891000
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17532
/proc/meminfo: memFree=30424264/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1481.94 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 148141 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1478.04 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 147730 74 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 891000
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17533
/proc/meminfo: memFree=30401508/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1541.94 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 154141 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1537.89 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 153714 75 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 891000
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17533
/proc/meminfo: memFree=30384952/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1601.93 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 160140 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1597.72 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 159696 76 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4399987 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) 891000
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=30845964/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1661.92 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 166139 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1657.57 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 165680 77 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4399976 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) 891000
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=30804844/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1721.91 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 172138 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1717.41 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 171663 78 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 891000
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=30759752/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1781.9 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 178137 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1777.25 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 177646 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4403633 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 891000
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17572
/proc/meminfo: memFree=30759628/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1791.6 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 179107 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1786.94 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 178615 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 891000
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17575
/proc/meminfo: memFree=30759340/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1794.8 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 179427 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1790.13 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 178934 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 891000
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17575
/proc/meminfo: memFree=30759340/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1798 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 179747 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1793.31 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 179252 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 891000
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17575
/proc/meminfo: memFree=30759340/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1798.8 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 179827 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1794.11 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 179332 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4390172 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 891000
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17575
/proc/meminfo: memFree=30759340/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1799.2 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 179867 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1794.52 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 179373 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4403597 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 891000
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17575
/proc/meminfo: memFree=30759340/32873844 swapFree=8656/8656
[pid=17518] ppid=17516 vsize=891000 CPUtime=1799.6 cores=1,3,5,7
/proc/17518/stat : 17518 (wbo1.72) S 17516 17518 17352 0 -1 4202496 211748 0 0 0 179907 53 0 0 20 0 2 0 332909357 912384000 210054 33554432000 4194304 5964350 140734467299136 140734467298656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 222750 210054 197 433 0 222314 0
[pid=17518/tid=17520] ppid=17516 vsize=891000 CPUtime=1794.91 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (wbo1.72) R 17516 17518 17352 0 -1 4202560 204800 0 0 0 179412 79 0 0 20 0 2 0 332909384 912384000 210054 33554432000 4194304 5964350 140734467299136 139749096151576 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 891000
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17518 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=388211
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=810876
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.6
#
# 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.6
CPU user time (s): 1799.07
CPU system time (s): 0.53
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 891724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 0.810876
maximum resident set size= 840224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211750
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= 190
involuntary context switches= 1971
runsolver used 2.75358 second user time and 7.62284 second system time
The end