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-3727703-1338664927/watcher-3727703-1338664927 -o /tmp/evaluation-result-3727703-1338664927/solver-3727703-1338664927 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727703-1338664927.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: 1.97 2.00 2.00 3/179 5266
/proc/meminfo: memFree=28957216/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=4244 CPUtime=0 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) R 5264 5266 2201 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 332617515 4345856 280 33554432000 4194304 5964350 140735993909328 140736294830120 4395186 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 1061 280 162 433 0 385 0
[startup+0.0722591 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 5266
/proc/meminfo: memFree=28957216/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86588 CPUtime=0.06 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 1816 0 0 0 6 0 0 0 20 0 2 0 332617515 88666112 1528 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21647 1528 174 433 0 21211 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 86588
[startup+0.10036 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 5266
/proc/meminfo: memFree=28957216/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=0.08 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 2900 0 0 0 8 0 0 0 20 0 2 0 332617515 88334336 2494 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 2494 192 433 0 21130 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 86264
[startup+0.300185 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 5266
/proc/meminfo: memFree=28957216/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=0.28 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 3307 0 0 0 28 0 0 0 20 0 2 0 332617515 88334336 2577 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 2577 192 433 0 21130 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 86264
[startup+0.70023 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 5266
/proc/meminfo: memFree=28957216/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=0.68 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 4214 0 0 0 68 0 0 0 20 0 2 0 332617515 88334336 2738 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 2739 192 433 0 21130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86264
[startup+1.50027 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28946768/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=1.49 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 6049 0 0 0 148 1 0 0 20 0 2 0 332617515 88334336 3064 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 3064 196 433 0 21130 0
[pid=5266/tid=5268] ppid=5264 vsize=86264 CPUtime=1.41 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 4388 0 0 0 141 0 0 0 20 0 2 0 332617522 88334336 3064 33554432000 4194304 5964350 140735993909328 140244420725272 5139038 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) 86264
[startup+3.10027 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28945520/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=3.09 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 8166 0 0 0 308 1 0 0 20 0 2 0 332617515 88334336 4841 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 4841 197 433 0 21130 0
[pid=5266/tid=5268] ppid=5264 vsize=86264 CPUtime=3.01 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 6505 0 0 0 300 1 0 0 20 0 2 0 332617522 88334336 4841 33554432000 4194304 5964350 140735993909328 140244420724728 4392838 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) 86264
[startup+6.30029 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28938204/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=6.29 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 8214 0 0 0 628 1 0 0 20 0 2 0 332617515 88334336 4889 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 4889 197 433 0 21130 0
[pid=5266/tid=5268] ppid=5264 vsize=86264 CPUtime=6.2 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 6553 0 0 0 619 1 0 0 20 0 2 0 332617522 88334336 4889 33554432000 4194304 5964350 140735993909328 140244420725272 4400729 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) 86264
[startup+12.7003 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28928604/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=12.69 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 10553 0 0 0 1267 2 0 0 20 0 2 0 332617515 88334336 7228 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 7228 197 433 0 21130 0
[pid=5266/tid=5268] ppid=5264 vsize=86264 CPUtime=12.58 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 8892 0 0 0 1256 2 0 0 20 0 2 0 332617522 88334336 7228 33554432000 4194304 5964350 140735993909328 140244420724536 4400035 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) 86264
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28903800/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=25.48 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 16514 0 0 0 2544 4 0 0 20 0 2 0 332617515 88334336 13099 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 13099 197 433 0 21130 0
[pid=5266/tid=5268] ppid=5264 vsize=86264 CPUtime=25.35 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 14853 0 0 0 2531 4 0 0 20 0 2 0 332617522 88334336 13099 33554432000 4194304 5964350 140735993909328 140244420725272 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) 86264
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28863996/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=86264 CPUtime=51.08 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 16631 0 0 0 5104 4 0 0 20 0 2 0 332617515 88334336 13216 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 21566 13216 197 433 0 21130 0
[pid=5266/tid=5268] ppid=5264 vsize=86264 CPUtime=50.88 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 14970 0 0 0 5084 4 0 0 20 0 2 0 332617522 88334336 13216 33554432000 4194304 5964350 140735993909328 140244420725272 4400380 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) 86264
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28835040/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=152524 CPUtime=102.27 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 23709 0 0 0 10221 6 0 0 20 0 2 0 332617515 156184576 20292 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 38131 20292 197 433 0 37695 0
[pid=5266/tid=5268] ppid=5264 vsize=152524 CPUtime=101.96 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 22048 0 0 0 10189 7 0 0 20 0 2 0 332617522 156184576 20292 33554432000 4194304 5964350 140735993909328 140244420724776 5136340 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) 152524
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5268
/proc/meminfo: memFree=28679048/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=152884 CPUtime=162.26 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 34187 0 0 0 16214 12 0 0 20 0 2 0 332617515 156553216 30768 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 38221 30768 197 433 0 37785 0
[pid=5266/tid=5268] ppid=5264 vsize=152884 CPUtime=161.8 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 32526 0 0 0 16166 14 0 0 20 0 2 0 332617522 156553216 30768 33554432000 4194304 5964350 140735993909328 140244420724728 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 152884
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5269
/proc/meminfo: memFree=28651544/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=218960 CPUtime=222.24 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 40410 0 0 0 22207 17 0 0 20 0 2 0 332617515 224215040 37466 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 54740 37466 197 433 0 54304 0
[pid=5266/tid=5268] ppid=5264 vsize=218960 CPUtime=221.63 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 38749 0 0 0 22143 20 0 0 20 0 2 0 332617522 224215040 37466 33554432000 4194304 5964350 140735993909328 140244420724536 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 218960
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5269
/proc/meminfo: memFree=28620696/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=218960 CPUtime=282.19 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 47662 0 0 0 28196 23 0 0 20 0 2 0 332617515 224215040 45056 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 54740 45056 197 433 0 54304 0
[pid=5266/tid=5268] ppid=5264 vsize=218960 CPUtime=281.44 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 46001 0 0 0 28117 27 0 0 20 0 2 0 332617522 224215040 45056 33554432000 4194304 5964350 140735993909328 140244420724776 4399840 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) 218960
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5269
/proc/meminfo: memFree=28522800/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=286028 CPUtime=342.17 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 56593 0 0 0 34186 31 0 0 20 0 2 0 332617515 292892672 54530 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 71507 54530 197 433 0 71071 0
[pid=5266/tid=5268] ppid=5264 vsize=286028 CPUtime=341.28 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 54932 0 0 0 34092 36 0 0 20 0 2 0 332617522 292892672 54530 33554432000 4194304 5964350 140735993909328 140244420724536 4399840 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) 286028
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5269
/proc/meminfo: memFree=28449188/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=286752 CPUtime=402.16 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 57669 0 0 0 40185 31 0 0 20 0 2 0 332617515 293634048 55604 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 71688 55604 197 433 0 71252 0
[pid=5266/tid=5268] ppid=5264 vsize=286752 CPUtime=401.13 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 56008 0 0 0 40076 37 0 0 20 0 2 0 332617522 293634048 55604 33554432000 4194304 5964350 140735993909328 140244420724536 4399840 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) 286752
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5269
/proc/meminfo: memFree=28358396/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=286752 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5669
/proc/meminfo: memFree=28495876/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=513320 CPUtime=1421.95 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 121578 0 0 0 142100 95 0 0 20 0 2 0 332617515 525639680 120900 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 128330 120900 197 433 0 127894 0
[pid=5266/tid=5268] ppid=5264 vsize=513320 CPUtime=1418.44 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 119917 0 0 0 141729 115 0 0 20 0 2 0 332617522 525639680 120900 33554432000 4194304 5964350 140735993909328 140244420724776 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 513320
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5669
/proc/meminfo: memFree=28447220/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=581380 CPUtime=1481.92 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125052 0 0 0 148093 99 0 0 20 0 2 0 332617515 595333120 124536 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 145345 124536 197 433 0 144909 0
[pid=5266/tid=5268] ppid=5264 vsize=581380 CPUtime=1478.26 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123391 0 0 0 147706 120 0 0 20 0 2 0 332617522 595333120 124536 33554432000 4194304 5964350 140735993909328 140244420724728 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 581380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5669
/proc/meminfo: memFree=28433732/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=581380 CPUtime=1541.91 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125396 0 0 0 154092 99 0 0 20 0 2 0 332617515 595333120 124987 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 145345 124987 197 433 0 144909 0
[pid=5266/tid=5268] ppid=5264 vsize=581380 CPUtime=1538.1 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123735 0 0 0 153688 122 0 0 20 0 2 0 332617522 595333120 124987 33554432000 4194304 5964350 140735993909328 140244420724600 4481060 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 581380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5669
/proc/meminfo: memFree=28453076/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1601.9 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 160091 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1597.95 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 159672 123 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 545016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5669
/proc/meminfo: memFree=28417116/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1661.89 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 166090 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1657.8 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 165656 124 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 545016
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5673
/proc/meminfo: memFree=28379908/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1721.88 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 172089 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1717.64 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 171639 125 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 545016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28347524/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1781.87 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 178088 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1777.49 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 177623 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 545016
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28342920/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1791.47 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179048 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1787.07 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 178581 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 545016
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28341680/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1794.67 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179368 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1790.26 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 178900 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4400029 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 545016
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28340440/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1797.87 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179688 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1793.45 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 179219 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 545016
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28339804/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1798.67 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179768 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1794.25 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 179299 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 545016
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28339432/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1799.07 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179808 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1794.65 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 179339 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4399895 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 545016
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28339432/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1799.47 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179848 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1795.05 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 179379 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 545016
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28339432/32873844 swapFree=7620/7620
[pid=5266] ppid=5264 vsize=545016 CPUtime=1799.57 cores=1,3,5,7
/proc/5266/stat : 5266 (wbo1.72) S 5264 5266 2201 0 -1 4202496 125541 0 0 0 179858 99 0 0 20 0 2 0 332617515 558096384 117767 33554432000 4194304 5964350 140735993909328 140735993908848 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5266/statm: 136254 117767 197 433 0 135818 0
[pid=5266/tid=5268] ppid=5264 vsize=545016 CPUtime=1795.14 cores=1,3,5,7
/proc/5266/task/5268/stat : 5268 (wbo1.72) R 5264 5266 2201 0 -1 4202560 123880 0 0 0 179388 126 0 0 20 0 2 0 332617522 558096384 117767 33554432000 4194304 5964350 140735993909328 140244420725688 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 545016
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5266 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=960276
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=275806
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.57
#
# 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.57
CPU user time (s): 1798.58
CPU system time (s): 0.99
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 581380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 1.27581
maximum resident set size= 500524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125543
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= 214
involuntary context switches= 1969
runsolver used 6.89695 second user time and 12.3021 second system time
The end