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-3705698-1338087762/watcher-3705698-1338087762 -o /tmp/evaluation-result-3705698-1338087762/solver-3705698-1338087762 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705698-1338087762.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.07 1.81 1.73 3/177 18421
/proc/meminfo: memFree=27029568/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=7616 CPUtime=0 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) R 18419 18421 16852 0 -1 4202496 664 0 0 0 0 0 0 0 20 0 1 0 274904846 7798784 616 33554432000 4194304 5963574 140736052086624 140733802932568 4395065 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 1904 617 169 432 0 760 0
[startup+0.0309651 s]
/proc/loadavg: 2.07 1.81 1.73 3/177 18421
/proc/meminfo: memFree=27029568/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=14560 CPUtime=0.02 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) R 18419 18421 16852 0 -1 4202496 2283 0 0 0 2 0 0 0 20 0 1 0 274904846 14909440 2186 33554432000 4194304 5963574 140736052086624 140733802932568 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 3769 2201 233 432 0 2625 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14560
[startup+0.100332 s]
/proc/loadavg: 2.07 1.81 1.73 3/177 18421
/proc/meminfo: memFree=27029568/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=19684 CPUtime=0.09 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) R 18419 18421 16852 0 -1 4202496 3934 0 0 0 9 0 0 0 20 0 1 0 274904846 20156416 3772 33554432000 4194304 5963574 140736052086624 140733802932568 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 4921 3772 460 432 0 3777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19684
[startup+0.300203 s]
/proc/loadavg: 2.07 1.81 1.73 3/177 18421
/proc/meminfo: memFree=27029568/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=113908 CPUtime=0.29 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 12079 0 0 0 27 2 0 0 20 0 2 0 274904846 116641792 10915 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 28477 10915 183 432 0 28042 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 113908
[startup+0.700189 s]
/proc/loadavg: 2.07 1.81 1.73 3/177 18421
/proc/meminfo: memFree=27029568/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=105388 CPUtime=0.68 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 19324 0 0 0 65 3 0 0 20 0 2 0 274904846 107917312 16373 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 26347 16373 193 432 0 25912 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105388
[startup+1.50034 s]
/proc/loadavg: 2.07 1.81 1.73 3/179 18423
/proc/meminfo: memFree=26962004/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=105388 CPUtime=1.48 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 20078 0 0 0 145 3 0 0 20 0 2 0 274904846 107917312 17127 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 26347 17127 194 432 0 25912 0
[pid=18421/tid=18423] ppid=18419 vsize=105388 CPUtime=1.25 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 13134 0 0 0 122 3 0 0 20 0 2 0 274904869 107917312 17127 33554432000 4194304 5963574 140736052086624 140475056818520 4387487 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) 105388
[startup+3.10036 s]
/proc/loadavg: 2.06 1.82 1.73 3/179 18423
/proc/meminfo: memFree=26961136/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=105388 CPUtime=3.08 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 20109 0 0 0 305 3 0 0 20 0 2 0 274904846 107917312 17158 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 26347 17158 194 432 0 25912 0
[pid=18421/tid=18423] ppid=18419 vsize=105388 CPUtime=2.85 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 13165 0 0 0 282 3 0 0 20 0 2 0 274904869 107917312 17158 33554432000 4194304 5963574 140736052086624 140475056818520 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105388
[startup+6.30036 s]
/proc/loadavg: 2.06 1.82 1.73 3/179 18423
/proc/meminfo: memFree=26959376/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=105388 CPUtime=6.28 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 20399 0 0 0 625 3 0 0 20 0 2 0 274904846 107917312 17448 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 26347 17448 194 432 0 25912 0
[pid=18421/tid=18423] ppid=18419 vsize=105388 CPUtime=6.05 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 13455 0 0 0 602 3 0 0 20 0 2 0 274904869 107917312 17448 33554432000 4194304 5963574 140736052086624 140475056818168 4222330 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) 105388
[startup+12.7004 s]
/proc/loadavg: 2.05 1.82 1.73 3/179 18423
/proc/meminfo: memFree=26944668/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=105388 CPUtime=12.68 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 22021 0 0 0 1264 4 0 0 20 0 2 0 274904846 107917312 19070 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 26347 19070 194 432 0 25912 0
[pid=18421/tid=18423] ppid=18419 vsize=105388 CPUtime=12.46 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 15077 0 0 0 1242 4 0 0 20 0 2 0 274904869 107917312 19070 33554432000 4194304 5963574 140736052086624 140475056818168 4402906 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) 105388
[startup+25.5004 s]
/proc/loadavg: 2.04 1.83 1.73 3/179 18423
/proc/meminfo: memFree=26916376/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=170924 CPUtime=25.48 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 26392 0 0 0 2541 7 0 0 20 0 2 0 274904846 175026176 23441 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 42731 23441 194 432 0 42296 0
[pid=18421/tid=18423] ppid=18419 vsize=170924 CPUtime=25.26 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 19448 0 0 0 2519 7 0 0 20 0 2 0 274904869 175026176 23441 33554432000 4194304 5963574 140736052086624 140475056818168 4400130 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) 170924
[startup+51.1004 s]
/proc/loadavg: 2.15 1.87 1.75 3/179 18423
/proc/meminfo: memFree=26872232/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=170924 CPUtime=51.07 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 33791 0 0 0 5096 11 0 0 20 0 2 0 274904846 175026176 30840 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 42731 30840 194 432 0 42296 0
[pid=18421/tid=18423] ppid=18419 vsize=170924 CPUtime=50.86 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 26847 0 0 0 5075 11 0 0 20 0 2 0 274904869 175026176 30840 33554432000 4194304 5963574 140736052086624 140475056818168 4221120 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) 170924
[startup+102.307 s]
/proc/loadavg: 2.12 1.91 1.77 3/179 18423
/proc/meminfo: memFree=26790092/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=236460 CPUtime=102.26 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 47124 0 0 0 10208 18 0 0 20 0 2 0 274904846 242135040 44562 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 59115 44565 194 432 0 58680 0
[pid=18421/tid=18423] ppid=18419 vsize=236460 CPUtime=102.05 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 40183 0 0 0 10186 19 0 0 20 0 2 0 274904869 242135040 44565 33554432000 4194304 5963574 140736052086624 140475056818168 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 236460
[startup+162.3 s]
/proc/loadavg: 2.04 1.92 1.78 3/179 18424
/proc/meminfo: memFree=26685216/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=301996 CPUtime=162.22 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 68697 0 0 0 16191 31 0 0 20 0 2 0 274904846 309243904 66154 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 75499 66154 194 432 0 75064 0
[pid=18421/tid=18423] ppid=18419 vsize=301996 CPUtime=162.03 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 61753 0 0 0 16170 33 0 0 20 0 2 0 274904869 309243904 66154 33554432000 4194304 5963574 140736052086624 140475056818168 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 301996
[startup+222.3 s]
/proc/loadavg: 2.01 1.93 1.79 3/179 18424
/proc/meminfo: memFree=26554328/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=433068 CPUtime=222.18 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 92271 0 0 0 22177 41 0 0 20 0 2 0 274904846 443461632 90482 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 108267 90482 194 432 0 107832 0
[pid=18421/tid=18423] ppid=18419 vsize=433068 CPUtime=222.01 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 85327 0 0 0 22157 44 0 0 20 0 2 0 274904869 443461632 90482 33554432000 4194304 5963574 140736052086624 140475056818168 4402912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 433068
[startup+282.3 s]
/proc/loadavg: 2.00 1.94 1.80 3/179 18424
/proc/meminfo: memFree=26443400/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=498604 CPUtime=282.18 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 113536 0 0 0 28168 50 0 0 20 0 2 0 274904846 510570496 111745 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 124651 111745 194 432 0 124216 0
[pid=18421/tid=18423] ppid=18419 vsize=498604 CPUtime=282.01 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 106592 0 0 0 28148 53 0 0 20 0 2 0 274904869 510570496 111745 33554432000 4194304 5963574 140736052086624 140475056818504 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 498604
[startup+342.3 s]
/proc/loadavg: 2.00 1.95 1.81 3/179 18424
/proc/meminfo: memFree=26434380/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=498604 CPUtime=342.17 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 113590 0 0 0 34167 50 0 0 20 0 2 0 274904846 510570496 111799 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 124651 111799 194 432 0 124216 0
[pid=18421/tid=18423] ppid=18419 vsize=498604 CPUtime=342.01 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 106646 0 0 0 34146 55 0 0 20 0 2 0 274904869 510570496 111799 33554432000 4194304 5963574 140736052086624 140475056818504 4392454 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 498604
[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.82 3/179 18424
/proc/meminfo: memFree=26420616/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=498604 CPUtime=402.16 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 113627 0 0 0 40166 50 0 0 20 0 2 0 274904846 510570496 111836 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 124651 111836 194 432 0 124216 0
[pid=18421/tid=18423] ppid=18419 vsize=498604 CPUtime=402.01 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 106683 0 0 0 40145 56 0 0 20 0 2 0 274904869 510570496 111836 33554432000 4194304 5963574 140736052086624 140475056818504 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 498604
[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.83 3/180 18428
/proc/meminfo: memFree=26389880/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=498604 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 341298 0 0 0 130025 166 0 0 20 0 2 0 274904869 1451757568 346839 33554432000 4194304 5963574 140736052086624 140475056818168 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1417732
[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 18485
/proc/meminfo: memFree=25607452/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1361.84 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 371073 0 0 0 136027 157 0 0 20 0 2 0 274904846 1585975296 369710 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 369710 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1361.89 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 364129 0 0 0 136012 177 0 0 20 0 2 0 274904869 1585975296 369710 33554432000 4194304 5963574 140736052086624 140475056818168 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1548804
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 18485
/proc/meminfo: memFree=25570152/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1421.83 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 375682 0 0 0 142024 159 0 0 20 0 2 0 274904846 1585975296 374401 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 374401 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1421.9 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 368738 0 0 0 142010 180 0 0 20 0 2 0 274904869 1585975296 374401 33554432000 4194304 5963574 140736052086624 140475056818168 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1548804
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 18485
/proc/meminfo: memFree=25541872/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1481.82 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 375684 0 0 0 148023 159 0 0 20 0 2 0 274904846 1585975296 374402 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 374402 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1481.89 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 368740 0 0 0 148008 181 0 0 20 0 2 0 274904869 1585975296 374402 33554432000 4194304 5963574 140736052086624 140475056818168 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1548804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18485
/proc/meminfo: memFree=25521412/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1541.81 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 375684 0 0 0 154022 159 0 0 20 0 2 0 274904846 1585975296 374402 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 374402 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1541.89 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 368740 0 0 0 154007 182 0 0 20 0 2 0 274904869 1585975296 374402 33554432000 4194304 5963574 140736052086624 140475056818168 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1548804
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18485
/proc/meminfo: memFree=25520916/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1601.8 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 375686 0 0 0 160021 159 0 0 20 0 2 0 274904846 1585975296 374404 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 374404 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1601.9 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 368742 0 0 0 160007 183 0 0 20 0 2 0 274904869 1585975296 374404 33554432000 4194304 5963574 140736052086624 140475056818168 4402879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1548804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 18489
/proc/meminfo: memFree=25519292/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1661.79 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 375688 0 0 0 166020 159 0 0 20 0 2 0 274904846 1585975296 374406 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 374406 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1661.9 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 368744 0 0 0 166006 184 0 0 20 0 2 0 274904869 1585975296 374406 33554432000 4194304 5963574 140736052086624 140475056818168 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1548804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25516104/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1721.78 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 375690 0 0 0 172019 159 0 0 20 0 2 0 274904846 1585975296 374408 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 374408 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1721.9 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 368746 0 0 0 172005 185 0 0 20 0 2 0 274904869 1585975296 374408 33554432000 4194304 5963574 140736052086624 140475056818168 4399569 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1548804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25432172/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1781.78 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 379350 0 0 0 178017 161 0 0 20 0 2 0 274904846 1585975296 378068 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 378068 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1781.9 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 372406 0 0 0 178003 187 0 0 20 0 2 0 274904869 1585975296 378068 33554432000 4194304 5963574 140736052086624 140475056818168 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1548804
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25411264/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1548804 CPUtime=1791.38 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 384479 0 0 0 178976 162 0 0 20 0 2 0 274904846 1585975296 383215 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 387201 383215 194 432 0 386766 0
[pid=18421/tid=18423] ppid=18419 vsize=1548804 CPUtime=1791.51 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 377535 0 0 0 178962 189 0 0 20 0 2 0 274904869 1585975296 383215 33554432000 4194304 5963574 140736052086624 140475056818168 4402912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 1548804
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25403188/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1614340 CPUtime=1794.57 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 386441 0 0 0 179294 163 0 0 20 0 2 0 274904846 1653084160 385206 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 403585 385206 194 432 0 403150 0
[pid=18421/tid=18423] ppid=18419 vsize=1614340 CPUtime=1794.71 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 379497 0 0 0 179281 190 0 0 20 0 2 0 274904869 1653084160 385206 33554432000 4194304 5963574 140736052086624 140475056818168 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 1614340
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25398724/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1614340 CPUtime=1797.77 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 387862 0 0 0 179613 164 0 0 20 0 2 0 274904846 1653084160 386627 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 403585 386627 194 432 0 403150 0
[pid=18421/tid=18423] ppid=18419 vsize=1614340 CPUtime=1797.9 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 380918 0 0 0 179599 191 0 0 20 0 2 0 274904869 1653084160 386627 33554432000 4194304 5963574 140736052086624 140475056818168 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 1614340
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25397484/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1614340 CPUtime=1798.57 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 388044 0 0 0 179693 164 0 0 20 0 2 0 274904846 1653084160 386809 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 403585 386809 194 432 0 403150 0
[pid=18421/tid=18423] ppid=18419 vsize=1614340 CPUtime=1798.7 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 381100 0 0 0 179679 191 0 0 20 0 2 0 274904869 1653084160 386809 33554432000 4194304 5963574 140736052086624 140475056818168 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 1614340
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25396244/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1614340 CPUtime=1798.97 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 388174 0 0 0 179733 164 0 0 20 0 2 0 274904846 1653084160 386939 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 403585 386939 194 432 0 403150 0
[pid=18421/tid=18423] ppid=18419 vsize=1614340 CPUtime=1799.11 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 381230 0 0 0 179720 191 0 0 20 0 2 0 274904869 1653084160 386939 33554432000 4194304 5963574 140736052086624 140475056817976 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 1614340
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25396244/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1614340 CPUtime=1799.36 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 388414 0 0 0 179772 164 0 0 20 0 2 0 274904846 1653084160 387179 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 403585 387179 194 432 0 403150 0
[pid=18421/tid=18423] ppid=18419 vsize=1614340 CPUtime=1799.5 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 381470 0 0 0 179759 191 0 0 20 0 2 0 274904869 1653084160 387179 33554432000 4194304 5963574 140736052086624 140475056817976 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 1614340
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 18489
/proc/meminfo: memFree=25396244/32873844 swapFree=6088/6088
[pid=18421] ppid=18419 vsize=1614340 CPUtime=1799.46 cores=1,3,5,7
/proc/18421/stat : 18421 (wbo1.7) S 18419 18421 16852 0 -1 4202496 388468 0 0 0 179782 164 0 0 20 0 2 0 274904846 1653084160 387233 33554432000 4194304 5963574 140736052086624 140736052086144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18421/statm: 403585 387233 194 432 0 403150 0
[pid=18421/tid=18423] ppid=18419 vsize=1614340 CPUtime=1799.6 cores=1,3,5,7
/proc/18421/task/18423/stat : 18423 (wbo1.7) R 18419 18421 16852 0 -1 4202560 381524 0 0 0 179769 191 0 0 20 0 2 0 274904869 1653084160 387233 33554432000 4194304 5963574 140736052086624 140475056817976 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 1614340
Child status: 255
Real time (s): 1800.07
CPU time (s): 1799.92
CPU user time (s): 1797.94
CPU system time (s): 1.9727
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 1614340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.94
system time used= 1.9727
maximum resident set size= 1548952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388473
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= 303
involuntary context switches= 2121
runsolver used 3.82042 second user time and 10.2744 second system time
The end