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-3727977-1338652009/watcher-3727977-1338652009 -o /tmp/evaluation-result-3727977-1338652009/solver-3727977-1338652009 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727977-1338652009.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.77 1.78 3/177 22295
/proc/meminfo: memFree=28101964/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=10552 CPUtime=0 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) R 22293 22295 19272 0 -1 4202496 666 0 0 0 0 0 0 0 20 0 1 0 331329642 10805248 618 33554432000 4194304 5964350 140733587052400 140735853656808 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 2638 618 167 433 0 756 0
[startup+0.0991249 s]
/proc/loadavg: 2.00 1.77 1.78 3/177 22295
/proc/meminfo: memFree=28101964/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=30888 CPUtime=0.09 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) R 22293 22295 19272 0 -1 4202496 5731 0 0 0 8 1 0 0 20 0 1 0 331329642 31629312 5303 33554432000 4194304 5964350 140733587052400 140735853656808 4339276 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 7722 5304 425 433 0 5840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30888
[startup+0.100336 s]
/proc/loadavg: 2.00 1.77 1.78 3/177 22295
/proc/meminfo: memFree=28101964/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=31020 CPUtime=0.09 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) R 22293 22295 19272 0 -1 4202496 5753 0 0 0 8 1 0 0 20 0 1 0 331329642 31764480 5326 33554432000 4194304 5964350 140733587052400 140735853656808 5136340 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 7755 5327 429 433 0 5873 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31020
[startup+0.300284 s]
/proc/loadavg: 2.00 1.77 1.78 3/177 22295
/proc/meminfo: memFree=28101964/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=43836 CPUtime=0.29 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) R 22293 22295 19272 0 -1 4202496 9531 0 0 0 28 1 0 0 20 0 1 0 331329642 44888064 9103 33554432000 4194304 5964350 140733587052400 140733587050872 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 10959 9104 1042 433 0 9077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43836
[startup+0.700192 s]
/proc/loadavg: 2.00 1.77 1.78 3/177 22295
/proc/meminfo: memFree=28101964/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=137340 CPUtime=0.69 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 26338 0 0 0 64 5 0 0 20 0 2 0 331329642 140636160 22119 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 34335 22119 189 433 0 33899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 137340
[startup+1.50033 s]
/proc/loadavg: 2.00 1.77 1.78 3/179 22297
/proc/meminfo: memFree=27977356/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=1.49 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 38755 0 0 0 142 7 0 0 20 0 2 0 331329642 197955584 33472 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 33472 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=1 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 25292 0 0 0 95 5 0 0 20 0 2 0 331329691 197955584 33472 33554432000 4194304 5964350 140733587052400 140107108305256 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193316
[startup+3.10035 s]
/proc/loadavg: 2.00 1.78 1.79 3/179 22297
/proc/meminfo: memFree=27969024/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=3.08 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 40366 0 0 0 301 7 0 0 20 0 2 0 331329642 197955584 35083 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 35083 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=2.6 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 26903 0 0 0 255 5 0 0 20 0 2 0 331329691 197955584 35083 33554432000 4194304 5964350 140733587052400 140107108305256 4392838 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 193316
[startup+6.30035 s]
/proc/loadavg: 2.00 1.78 1.79 3/179 22297
/proc/meminfo: memFree=27961964/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=6.28 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 40366 0 0 0 621 7 0 0 20 0 2 0 331329642 197955584 35083 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 35083 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=5.81 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 26903 0 0 0 575 6 0 0 20 0 2 0 331329691 197955584 35083 33554432000 4194304 5964350 140733587052400 140107108305256 4403296 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 193316
[startup+12.7004 s]
/proc/loadavg: 2.00 1.78 1.79 3/179 22297
/proc/meminfo: memFree=27960664/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=12.68 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 40366 0 0 0 1261 7 0 0 20 0 2 0 331329642 197955584 35083 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 35083 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=12.2 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 26903 0 0 0 1214 6 0 0 20 0 2 0 331329691 197955584 35083 33554432000 4194304 5964350 140733587052400 140107108305256 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 193316
[startup+25.5004 s]
/proc/loadavg: 2.00 1.79 1.79 3/179 22297
/proc/meminfo: memFree=27956936/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=25.48 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 40367 0 0 0 2541 7 0 0 20 0 2 0 331329642 197955584 35084 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 35084 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=25 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 26904 0 0 0 2494 6 0 0 20 0 2 0 331329691 197955584 35084 33554432000 4194304 5964350 140733587052400 140107108305256 4392888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193316
[startup+51.1004 s]
/proc/loadavg: 2.00 1.80 1.79 3/179 22297
/proc/meminfo: memFree=27937420/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=51.07 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 40369 0 0 0 5100 7 0 0 20 0 2 0 331329642 197955584 35086 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 35086 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=50.6 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 26906 0 0 0 5054 6 0 0 20 0 2 0 331329691 197955584 35086 33554432000 4194304 5964350 140733587052400 140107108305256 4403296 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 193316
[startup+102.307 s]
/proc/loadavg: 2.05 1.85 1.81 3/179 22298
/proc/meminfo: memFree=27915400/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=102.27 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 40474 0 0 0 10220 7 0 0 20 0 2 0 331329642 197955584 35191 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 35191 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=101.81 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 27011 0 0 0 10174 7 0 0 20 0 2 0 331329691 197955584 35191 33554432000 4194304 5964350 140733587052400 140107108305256 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 193316
[startup+162.3 s]
/proc/loadavg: 2.02 1.87 1.82 3/179 22298
/proc/meminfo: memFree=27858920/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=162.25 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 43728 0 0 0 16214 11 0 0 20 0 2 0 331329642 197955584 38767 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 38767 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=161.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 30265 0 0 0 16168 12 0 0 20 0 2 0 331329691 197955584 38767 33554432000 4194304 5964350 140733587052400 140107108304888 4399774 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 193316
[startup+222.3 s]
/proc/loadavg: 2.00 1.89 1.83 3/180 22301
/proc/meminfo: memFree=27814064/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=193316 CPUtime=222.21 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 48626 0 0 0 22204 17 0 0 20 0 2 0 331329642 197955584 43886 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 48329 43886 194 433 0 47893 0
[pid=22295/tid=22297] ppid=22293 vsize=193316 CPUtime=221.78 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 35163 0 0 0 22159 19 0 0 20 0 2 0 331329691 197955584 43886 33554432000 4194304 5964350 140733587052400 140107108304888 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 193316
[startup+282.3 s]
/proc/loadavg: 2.00 1.91 1.83 3/179 22301
/proc/meminfo: memFree=27780412/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=258852 CPUtime=282.21 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 53522 0 0 0 28198 23 0 0 20 0 2 0 331329642 265064448 48782 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 64713 48782 194 433 0 64277 0
[pid=22295/tid=22297] ppid=22293 vsize=258852 CPUtime=281.78 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 40059 0 0 0 28153 25 0 0 20 0 2 0 331329691 265064448 48782 33554432000 4194304 5964350 140733587052400 140107108304888 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 258852
[startup+342.3 s]
/proc/loadavg: 2.00 1.92 1.84 3/179 22301
/proc/meminfo: memFree=27720348/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=258852 CPUtime=342.2 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 59449 0 0 0 34192 28 0 0 20 0 2 0 331329642 265064448 54709 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 64713 54709 194 433 0 64277 0
[pid=22295/tid=22297] ppid=22293 vsize=258852 CPUtime=341.78 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 45986 0 0 0 34146 32 0 0 20 0 2 0 331329691 265064448 54709 33554432000 4194304 5964350 140733587052400 140107108304888 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 258852
[startup+402.3 s]
/proc/loadavg: 2.00 1.94 1.84 3/178 22301
/proc/meminfo: memFree=27670940/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=258852 CPUtime=402.19 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 64722 0 0 0 40187 32 0 0 20 0 2 0 331329642 265064448 59982 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 64713 59982 194 433 0 64277 0
[pid=22295/tid=22297] ppid=22293 vsize=258852 CPUtime=401.78 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 51259 0 0 0 40142 36 0 0 20 0 2 0 331329691 265064448 59982 33554432000 4194304 5964350 140733587052400 140107108304888 4389090 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 258852
[startup+462.3 s]
/proc/loadavg: 2.00 1.94 1.85 3/179 22302
/proc/meminfo: memFree=27640596/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=324388 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 82014 0 0 0 130105 75 0 0 20 0 2 0 331329691 399282176 91420 33554432000 4194304 5964350 140733587052400 140107108304888 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 389924
[startup+1362.3 s]
/proc/loadavg: 1.94 1.98 1.91 3/179 22382
/proc/meminfo: memFree=27792900/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=455460 CPUtime=1362.02 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 99843 0 0 0 136139 63 0 0 20 0 2 0 331329642 466391040 95786 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 113865 95786 194 433 0 113429 0
[pid=22295/tid=22297] ppid=22293 vsize=455460 CPUtime=1361.79 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 86380 0 0 0 136098 81 0 0 20 0 2 0 331329691 466391040 95786 33554432000 4194304 5964350 140733587052400 140107108304888 4403296 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 455460
[startup+1422.31 s]
/proc/loadavg: 1.98 1.98 1.91 3/180 22385
/proc/meminfo: memFree=27695412/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=455460 CPUtime=1422 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 103264 0 0 0 142134 66 0 0 20 0 2 0 331329642 466391040 99241 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 113865 99241 194 433 0 113429 0
[pid=22295/tid=22297] ppid=22293 vsize=455460 CPUtime=1421.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 89801 0 0 0 142094 86 0 0 20 0 2 0 331329691 466391040 99241 33554432000 4194304 5964350 140733587052400 140107108304888 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 455460
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/179 22385
/proc/meminfo: memFree=27608464/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=455460 CPUtime=1481.99 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 105804 0 0 0 148130 69 0 0 20 0 2 0 331329642 466391040 101915 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 113865 101915 194 433 0 113429 0
[pid=22295/tid=22297] ppid=22293 vsize=455460 CPUtime=1481.79 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 92341 0 0 0 148089 90 0 0 20 0 2 0 331329691 466391040 101915 33554432000 4194304 5964350 140733587052400 140107108304936 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 455460
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/179 22385
/proc/meminfo: memFree=27501328/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=455460 CPUtime=1541.98 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 110554 0 0 0 154124 74 0 0 20 0 2 0 331329642 466391040 106665 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 113865 106665 194 433 0 113429 0
[pid=22295/tid=22297] ppid=22293 vsize=455460 CPUtime=1541.79 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 97091 0 0 0 154083 96 0 0 20 0 2 0 331329691 466391040 106665 33554432000 4194304 5964350 140733587052400 140107108304888 4387856 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 455460
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 22385
/proc/meminfo: memFree=27422208/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1601.97 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 114218 0 0 0 160118 79 0 0 20 0 2 0 331329642 533499904 110329 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 110329 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1601.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 100755 0 0 0 160078 102 0 0 20 0 2 0 331329691 533499904 110329 33554432000 4194304 5964350 140733587052400 140107108304888 4222304 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 520996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27405124/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1661.96 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 117633 0 0 0 166112 84 0 0 20 0 2 0 331329642 533499904 113744 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 113744 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1661.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 104170 0 0 0 166073 107 0 0 20 0 2 0 331329691 533499904 113744 33554432000 4194304 5964350 140733587052400 140107108304888 4392882 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 520996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27386740/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1721.95 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 122007 0 0 0 172106 89 0 0 20 0 2 0 331329642 533499904 118118 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 118118 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1721.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 108544 0 0 0 172066 114 0 0 20 0 2 0 331329691 533499904 118118 33554432000 4194304 5964350 140733587052400 140107108304936 4392888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 520996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27365132/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1781.94 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 127250 0 0 0 178100 94 0 0 20 0 2 0 331329642 533499904 123361 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 123361 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1781.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 113787 0 0 0 178060 120 0 0 20 0 2 0 331329691 533499904 123361 33554432000 4194304 5964350 140733587052400 140107108304936 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 520996
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 22386
/proc/meminfo: memFree=27362636/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1791.55 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 127864 0 0 0 179060 95 0 0 20 0 2 0 331329642 533499904 123975 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 123975 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1791.41 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 114401 0 0 0 179021 120 0 0 20 0 2 0 331329691 533499904 123975 33554432000 4194304 5964350 140733587052400 140107108304888 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 520996
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27360776/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1794.75 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 128318 0 0 0 179380 95 0 0 20 0 2 0 331329642 533499904 124429 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 124429 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1794.61 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 114855 0 0 0 179341 120 0 0 20 0 2 0 331329691 533499904 124429 33554432000 4194304 5964350 140733587052400 140107108304888 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 520996
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27359908/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1797.94 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 128507 0 0 0 179699 95 0 0 20 0 2 0 331329642 533499904 124618 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 124618 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1797.8 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 115044 0 0 0 179659 121 0 0 20 0 2 0 331329691 533499904 124618 33554432000 4194304 5964350 140733587052400 140107108304888 4399926 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 520996
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27359784/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1798.74 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 128548 0 0 0 179779 95 0 0 20 0 2 0 331329642 533499904 124659 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 124659 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1798.6 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 115085 0 0 0 179739 121 0 0 20 0 2 0 331329691 533499904 124659 33554432000 4194304 5964350 140733587052400 140107108304888 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 520996
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27359536/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1799.14 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 128564 0 0 0 179819 95 0 0 20 0 2 0 331329642 533499904 124675 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 124675 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1799.01 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 115101 0 0 0 179780 121 0 0 20 0 2 0 331329691 533499904 124675 33554432000 4194304 5964350 140733587052400 140107108304888 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 520996
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27359536/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1799.54 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 128579 0 0 0 179859 95 0 0 20 0 2 0 331329642 533499904 124690 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 124690 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1799.4 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 115116 0 0 0 179819 121 0 0 20 0 2 0 331329691 533499904 124690 33554432000 4194304 5964350 140733587052400 140107108304888 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 520996
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22386
/proc/meminfo: memFree=27359536/32873844 swapFree=7116/7116
[pid=22295] ppid=22293 vsize=520996 CPUtime=1799.64 cores=1,3,5,7
/proc/22295/stat : 22295 (wbo1.72) S 22293 22295 19272 0 -1 4202496 128580 0 0 0 179869 95 0 0 20 0 2 0 331329642 533499904 124691 33554432000 4194304 5964350 140733587052400 140733587051920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22295/statm: 130249 124691 194 433 0 129813 0
[pid=22295/tid=22297] ppid=22293 vsize=520996 CPUtime=1799.5 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (wbo1.72) R 22293 22295 19272 0 -1 4202560 115117 0 0 0 179829 121 0 0 20 0 2 0 331329691 533499904 124691 33554432000 4194304 5964350 140733587052400 140107108304888 4222320 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 520996
Child status: 255
Real time (s): 1800.01
CPU time (s): 1800.02
CPU user time (s): 1798.76
CPU system time (s): 1.25381
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 520996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.25381
maximum resident set size= 498776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128583
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= 86
involuntary context switches= 1877
runsolver used 3.14152 second user time and 7.46786 second system time
The end