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-3727157-1339019550/watcher-3727157-1339019550 -o /tmp/evaluation-result-3727157-1339019550/solver-3727157-1339019550 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727157-1339019550.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 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=40416 CPUtime=0 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 368079666 41385984 276 33554432000 4194304 5964350 140736685676400 140734997829640 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 10104 276 174 433 0 350 0
[startup+0.0250821 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=41324 CPUtime=0.02 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 604 0 0 0 2 0 0 0 20 0 1 0 368079666 42315776 556 33554432000 4194304 5964350 140736685676400 140734997829640 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 10331 557 242 433 0 577 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 41324
[startup+0.100216 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=44864 CPUtime=0.09 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 1788 0 0 0 9 0 0 0 20 0 1 0 368079666 45940736 1707 33554432000 4194304 5964350 140736685676400 140736685674888 4342708 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 11216 1707 529 433 0 1462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44864
[startup+0.374483 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=57864 CPUtime=0.36 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 5962 0 0 0 36 0 0 0 20 0 1 0 368079666 59252736 5687 33554432000 4194304 5964350 140736685676400 140736685674888 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 14466 5688 1552 433 0 4712 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 57864
[startup+0.700247 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=71124 CPUtime=0.69 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 10689 0 0 0 68 1 0 0 20 0 1 0 368079666 72830976 10414 33554432000 4194304 5964350 140736685676400 140736685674888 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 17781 10414 2804 433 0 8027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71124
[startup+1.50026 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21608
/proc/meminfo: memFree=28697692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=107200 CPUtime=1.48 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 22457 0 0 0 146 2 0 0 20 0 1 0 368079666 109772800 21923 33554432000 4194304 5964350 140736685676400 140736685674872 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 26800 21924 5909 433 0 17046 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 107200
[startup+3.10017 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21608
/proc/meminfo: memFree=28609204/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=187620 CPUtime=3.09 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 47382 0 0 0 302 7 0 0 20 0 2 0 368079666 192122880 38039 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 46905 38039 179 433 0 46469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187620
[startup+6.30032 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21610
/proc/meminfo: memFree=28270972/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=6.28 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 62123 0 0 0 618 10 0 0 20 0 2 0 368079666 256434176 50896 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 50896 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=3.83 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 26822 0 0 0 377 6 0 0 20 0 2 0 368079911 256434176 50896 33554432000 4194304 5964350 140736685676400 140543377401784 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 250424
[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21610
/proc/meminfo: memFree=28259984/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=12.69 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 62642 0 0 0 1258 11 0 0 20 0 2 0 368079666 256434176 51415 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 51416 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=10.23 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 27342 0 0 0 1016 7 0 0 20 0 2 0 368079911 256434176 51416 33554432000 4194304 5964350 140736685676400 140543377401656 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 250424
[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 21610
/proc/meminfo: memFree=28245848/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=25.48 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 63062 0 0 0 2537 11 0 0 20 0 2 0 368079666 256434176 51843 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 51843 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=23.02 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 27761 0 0 0 2295 7 0 0 20 0 2 0 368079911 256434176 51843 33554432000 4194304 5964350 140736685676400 140543377401896 4399846 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 250424
[startup+51.1004 s]
/proc/loadavg: 2.00 1.97 1.69 3/180 21623
/proc/meminfo: memFree=28216404/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=51.08 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 63607 0 0 0 5096 12 0 0 20 0 2 0 368079666 256434176 52607 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 52607 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=48.62 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 28306 0 0 0 4854 8 0 0 20 0 2 0 368079911 256434176 52607 33554432000 4194304 5964350 140736685676400 140543377401656 4400462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 250424
[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 21623
/proc/meminfo: memFree=28150984/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=315960 CPUtime=102.25 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 70487 0 0 0 10209 16 0 0 20 0 2 0 368079666 323543040 60447 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 78990 60447 187 433 0 78554 0
[pid=21597/tid=21609] ppid=21595 vsize=315960 CPUtime=99.8 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 35186 0 0 0 9967 13 0 0 20 0 2 0 368079911 323543040 60447 33554432000 4194304 5964350 140736685676400 140543377401656 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 315960
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/179 21623
/proc/meminfo: memFree=28070484/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=315960 CPUtime=162.22 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 81338 0 0 0 16199 23 0 0 20 0 2 0 368079666 323543040 72038 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 78990 72038 187 433 0 78554 0
[pid=21597/tid=21609] ppid=21595 vsize=315960 CPUtime=159.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 46037 0 0 0 15955 21 0 0 20 0 2 0 368079911 323543040 72038 33554432000 4194304 5964350 140736685676400 140543377401656 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 315960
[startup+222.307 s]
/proc/loadavg: 2.06 1.99 1.74 3/179 21623
/proc/meminfo: memFree=27995676/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=381496 CPUtime=222.21 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 93057 0 0 0 22192 29 0 0 20 0 2 0 368079666 390651904 84268 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 95374 84268 187 433 0 94938 0
[pid=21597/tid=21609] ppid=21595 vsize=381496 CPUtime=219.77 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 57756 0 0 0 21949 28 0 0 20 0 2 0 368079911 390651904 84268 33554432000 4194304 5964350 140736685676400 140543377401656 4399987 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 381496
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.76 3/179 21623
/proc/meminfo: memFree=27920744/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=447032 CPUtime=282.19 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 104293 0 0 0 28182 37 0 0 20 0 2 0 368079666 457760768 96015 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 111758 96015 187 433 0 111322 0
[pid=21597/tid=21609] ppid=21595 vsize=447032 CPUtime=279.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 68992 0 0 0 27939 37 0 0 20 0 2 0 368079911 457760768 96015 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 447032
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 1.77 3/179 21623
/proc/meminfo: memFree=27861316/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=447032 CPUtime=342.18 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 111696 0 0 0 34175 43 0 0 20 0 2 0 368079666 457760768 103418 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 111758 103418 187 433 0 111322 0
[pid=21597/tid=21609] ppid=21595 vsize=447032 CPUtime=339.75 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 76395 0 0 0 33931 44 0 0 20 0 2 0 368079911 457760768 103418 33554432000 4194304 5964350 140736685676400 140543377401896 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 447032
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 21624
/proc/meminfo: memFree=27808396/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=512568 CPUtime=402.17 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 118888 0 0 0 40167 50 0 0 20 0 2 0 368079666 524869632 110610 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 128142 110610 187 433 0 127706 0
[pid=21597/tid=21609] ppid=21595 vsize=512568 CPUtime=399.75 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 83587 0 0 0 39923 52 0 0 20 0 2 0 368079911 524869632 110610 33554432000 4194304 5964350 140736685676400 140543377401896 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 512568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 21627
/proc/meminfo: memFree=27755444/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=512568 CPUtime=462.16 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 123907 0 0 0 46160 56 0 0 20 0 2 0 368079666 524869632 116651 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 128142 116651 187 433 0 127706 0
[pid=21597/tid=21609] ppid=21595 vsize=512568 CPUtime=459.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 88606 0 0 0 45918 58 0 0 20 0 2 0 368079911 524869632 116651 33554432000 4194304 5964350 140736685676400 140543377401848 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 133038 0 0 0 123842 127 0 0 20 0 2 0 368079911 726196224 163226 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 709176
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/179 21657
/proc/meminfo: memFree=27299604/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=709176 CPUtime=1301.92 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 171028 0 0 0 130076 116 0 0 20 0 2 0 368079666 726196224 166428 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 177294 166428 187 433 0 176858 0
[pid=21597/tid=21609] ppid=21595 vsize=709176 CPUtime=1299.68 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 135727 0 0 0 129837 131 0 0 20 0 2 0 368079911 726196224 166428 33554432000 4194304 5964350 140736685676400 140543377401656 4403287 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 709176
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27276184/32873844 swapFree=7896/7896
[pid=21597] ppid=21595 vsize=709176 CPUtime=1361.9 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 173901 0 0 0 136071 119 0 0 20 0 2 0 368079666 726196224 169832 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 177294 169832 187 433 0 176858 0
[pid=21597/tid=21609] ppid=21595 vsize=709176 CPUtime=1359.67 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 138600 0 0 0 135832 135 0 0 20 0 2 0 368079911 726196224 169832 33554432000 4194304 5964350 140736685676400 140543377401656 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 709176
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27252804/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=709176 CPUtime=1421.87 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 177063 0 0 0 142064 123 0 0 20 0 2 0 368079666 726196224 173144 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 177294 173144 187 433 0 176858 0
[pid=21597/tid=21609] ppid=21595 vsize=709176 CPUtime=1419.65 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 141762 0 0 0 141825 140 0 0 20 0 2 0 368079911 726196224 173144 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 709176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27229368/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1481.85 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 179054 0 0 0 148059 126 0 0 20 0 2 0 368079666 793305088 175135 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 175135 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1479.65 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 143753 0 0 0 147821 144 0 0 20 0 2 0 368079911 793305088 175135 33554432000 4194304 5964350 140736685676400 140543377401848 4392888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 774712
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27203700/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1541.85 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 181823 0 0 0 154056 129 0 0 20 0 2 0 368079666 793305088 177904 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 177904 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1539.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 146522 0 0 0 153818 148 0 0 20 0 2 0 368079911 793305088 177904 33554432000 4194304 5964350 140736685676400 140543377401896 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 774712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21658
/proc/meminfo: memFree=27183736/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1601.83 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 183650 0 0 0 160051 132 0 0 20 0 2 0 368079666 793305088 179731 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 179731 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1599.65 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 148349 0 0 0 159812 153 0 0 20 0 2 0 368079911 793305088 179731 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 774712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21661
/proc/meminfo: memFree=27160540/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1661.82 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 185453 0 0 0 166047 135 0 0 20 0 2 0 368079666 793305088 181534 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 181534 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1659.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 150152 0 0 0 165810 156 0 0 20 0 2 0 368079911 793305088 181534 33554432000 4194304 5964350 140736685676400 140543377401656 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 774712
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 21661
/proc/meminfo: memFree=27138064/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1721.82 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 187243 0 0 0 172045 137 0 0 20 0 2 0 368079666 793305088 183324 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 183324 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1719.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 151942 0 0 0 171807 159 0 0 20 0 2 0 368079911 793305088 183324 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 774712
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27106776/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1781.81 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188845 0 0 0 178042 139 0 0 20 0 2 0 368079666 805904384 187481 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187481 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1779.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153544 0 0 0 177804 162 0 0 20 0 2 0 368079911 805904384 187481 33554432000 4194304 5964350 140736685676400 140543377401784 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 787016
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27104032/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1791.51 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188850 0 0 0 179012 139 0 0 20 0 2 0 368079666 805904384 187486 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187486 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1789.37 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153549 0 0 0 178775 162 0 0 20 0 2 0 368079911 805904384 187486 33554432000 4194304 5964350 140736685676400 140543377401784 4403287 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 787016
[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27103288/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1794.71 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188851 0 0 0 179332 139 0 0 20 0 2 0 368079666 805904384 187487 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187487 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1792.57 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153550 0 0 0 179095 162 0 0 20 0 2 0 368079911 805904384 187487 33554432000 4194304 5964350 140736685676400 140543377401784 4399989 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 787016
[startup+1798.4 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27102792/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1797.91 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179652 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1795.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179414 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 787016
[startup+1799.2 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27102668/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1798.71 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179732 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1796.56 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179494 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 787016
[startup+1799.6 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27101676/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1799.11 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179772 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1796.97 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179535 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4399930 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 787016
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27101676/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1799.51 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179812 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1797.36 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179574 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4392888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 787016
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.86
CPU user time (s): 1798.17
CPU system time (s): 1.68674
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 787016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 1.68674
maximum resident set size= 749976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188858
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= 242
involuntary context switches= 2009
runsolver used 2.85257 second user time and 8.60669 second system time
The end