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-3705592-1338165148/watcher-3705592-1338165148 -o /tmp/evaluation-result-3705592-1338165148/solver-3705592-1338165148 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705592-1338165148.opb
running on 4 cores: 0,2,4,6
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.92 1.98 1.99 3/176 18122
/proc/meminfo: memFree=27409008/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=31820 CPUtime=0 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) R 18120 18122 17655 0 -1 4202496 587 0 0 0 0 0 0 0 20 0 1 0 282641717 32583680 540 33554432000 4194304 5963574 140737110491264 140735672886728 4342349 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18122/statm: 7955 540 175 432 0 627 0
[startup+0.0720061 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 18122
/proc/meminfo: memFree=27409008/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=39544 CPUtime=0.06 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) R 18120 18122 17655 0 -1 4202496 2649 0 0 0 6 0 0 0 20 0 1 0 282641717 40493056 2553 33554432000 4194304 5963574 140737110491264 140735672886728 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18122/statm: 9886 2555 379 432 0 2558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 39544
[startup+0.100264 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 18122
/proc/meminfo: memFree=27409008/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=42096 CPUtime=0.09 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) R 18120 18122 17655 0 -1 4202496 3248 0 0 0 9 0 0 0 20 0 1 0 282641717 43106304 3087 33554432000 4194304 5963574 140737110491264 140735672886728 4394465 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18122/statm: 10524 3087 469 432 0 3196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42096
[startup+0.300226 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 18122
/proc/meminfo: memFree=27409008/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=53276 CPUtime=0.29 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) R 18120 18122 17655 0 -1 4202496 6865 0 0 0 29 0 0 0 20 0 1 0 282641717 54554624 6567 33554432000 4194304 5963574 140737110491264 140737110489864 4348215 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18122/statm: 13319 6567 1054 432 0 5991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53276
[startup+0.700232 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 18122
/proc/meminfo: memFree=27409008/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=85748 CPUtime=0.69 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) R 18120 18122 17655 0 -1 4202496 15874 0 0 0 67 2 0 0 20 0 1 0 282641717 87805952 14918 33554432000 4194304 5963574 140737110491264 140737110489752 4343674 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18122/statm: 21437 14918 2210 432 0 14109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85748
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 18123
/proc/meminfo: memFree=27263100/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=145320 CPUtime=1.48 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) R 18120 18122 17655 0 -1 4202496 30686 0 0 0 144 4 0 0 20 0 1 0 282641717 148807680 30208 33554432000 4194304 5963574 140737110491264 140737110489736 5109234 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18122/statm: 36330 30208 4127 432 0 29002 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 145320
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 18123
/proc/meminfo: memFree=27146572/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=293132 CPUtime=3.08 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 65034 0 0 0 298 10 0 0 20 0 2 0 282641717 300167168 64246 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 73283 64246 177 432 0 72848 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293132
[startup+6.30037 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 18125
/proc/meminfo: memFree=26472200/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=565652 CPUtime=6.29 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 116310 0 0 0 608 21 0 0 20 0 2 0 282641717 579227648 126002 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 141413 126002 194 432 0 140978 0
[pid=18122/tid=18125] ppid=18120 vsize=565652 CPUtime=3.36 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 69223 0 0 0 323 13 0 0 20 0 2 0 282642009 579227648 126002 33554432000 4194304 5963574 140737110491264 140078507854360 5121401 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565652
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 18125
/proc/meminfo: memFree=26412564/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=565652 CPUtime=12.68 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 122182 0 0 0 1246 22 0 0 20 0 2 0 282641717 579227648 129189 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 141413 129189 197 432 0 140978 0
[pid=18122/tid=18125] ppid=18120 vsize=565652 CPUtime=9.74 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 75095 0 0 0 959 15 0 0 20 0 2 0 282642009 579227648 129189 33554432000 4194304 5963574 140737110491264 140078507854168 4388646 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 565652
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 18125
/proc/meminfo: memFree=26284968/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=631188 CPUtime=25.49 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 125854 0 0 0 2525 24 0 0 20 0 2 0 282641717 646336512 134666 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 157797 134666 197 432 0 157362 0
[pid=18122/tid=18125] ppid=18120 vsize=631188 CPUtime=22.51 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 78767 0 0 0 2235 16 0 0 20 0 2 0 282642009 646336512 134666 33554432000 4194304 5963574 140737110491264 140078507854664 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 631188
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 18125
/proc/meminfo: memFree=26166424/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=631304 CPUtime=51.08 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 132071 0 0 0 5081 27 0 0 20 0 2 0 282641717 646455296 141139 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 157826 141139 197 432 0 157391 0
[pid=18122/tid=18125] ppid=18120 vsize=631304 CPUtime=48.04 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 84984 0 0 0 4784 20 0 0 20 0 2 0 282642009 646455296 141139 33554432000 4194304 5963574 140737110491264 140078507854152 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 631304
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 18125
/proc/meminfo: memFree=25966992/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=631304 CPUtime=102.28 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 135271 0 0 0 10199 29 0 0 20 0 2 0 282641717 646455296 147643 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 157826 147643 197 432 0 157391 0
[pid=18122/tid=18125] ppid=18120 vsize=631304 CPUtime=99.11 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 88184 0 0 0 9888 23 0 0 20 0 2 0 282642009 646455296 147643 33554432000 4194304 5963574 140737110491264 140078507854360 4388646 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 631304
[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/180 18127
/proc/meminfo: memFree=25735840/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=631304 CPUtime=162.27 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 135271 0 0 0 16198 29 0 0 20 0 2 0 282641717 646455296 147643 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 157826 147643 197 432 0 157391 0
[pid=18122/tid=18125] ppid=18120 vsize=631304 CPUtime=158.95 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 88184 0 0 0 15871 24 0 0 20 0 2 0 282642009 646455296 147643 33554432000 4194304 5963574 140737110491264 140078507854360 4403111 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 631304
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 18127
/proc/meminfo: memFree=25533536/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=696840 CPUtime=222.25 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 138607 0 0 0 22194 31 0 0 20 0 2 0 282641717 713564160 161981 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 174210 161981 197 432 0 173775 0
[pid=18122/tid=18125] ppid=18120 vsize=696840 CPUtime=218.79 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 91520 0 0 0 21852 27 0 0 20 0 2 0 282642009 713564160 161981 33554432000 4194304 5963574 140737110491264 140078507854360 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 696840
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18127
/proc/meminfo: memFree=25375196/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=696840 CPUtime=282.24 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 138607 0 0 0 28193 31 0 0 20 0 2 0 282641717 713564160 161981 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 174210 161981 197 432 0 173775 0
[pid=18122/tid=18125] ppid=18120 vsize=696840 CPUtime=278.63 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 91520 0 0 0 27835 28 0 0 20 0 2 0 282642009 713564160 161981 33554432000 4194304 5963574 140737110491264 140078507854360 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 696840
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18127
/proc/meminfo: memFree=25220864/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=696840 CPUtime=342.23 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 138607 0 0 0 34192 31 0 0 20 0 2 0 282641717 713564160 161981 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 174210 161981 197 432 0 173775 0
[pid=18122/tid=18125] ppid=18120 vsize=696840 CPUtime=338.48 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 91520 0 0 0 33819 29 0 0 20 0 2 0 282642009 713564160 161981 33554432000 4194304 5963574 140737110491264 140078507854360 4392399 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 696840
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18127
/proc/meminfo: memFree=25028944/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=762376 CPUtime=402.23 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 142488 0 0 0 40190 33 0 0 20 0 2 0 282641717 780673024 176082 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 190594 176082 197 432 0 190159 0
[pid=18122/tid=18125] ppid=18120 vsize=762376 CPUtime=398.32 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 95401 0 0 0 39801 31 0 0 20 0 2 0 282642009 780673024 176082 33554432000 4194304 5963574 140737110491264 140078507854168 4403160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 762376
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18131
/proc/meminfo: memFree=24863700/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=762376 CPUtime=462.22 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 142488 0 0 0 46189 33 0 0 20 0 2 0 282641717 780673024 176082 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 190594 176082 197 432 0 190159 0
[pid=18122/tid=18125] ppid=18120 vsize=762376 CPUtime=458.16 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 95401 0 0 0 45784 32 0 0 20 0 2 0 282642009 780673024 176082 33554432000 4194304 5963574 140737110491264 140078507854168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18137
/proc/meminfo: memFree=23092872/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1422.04 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 142164 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1415.62 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 141508 54 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4387487 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 893448
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 18137
/proc/meminfo: memFree=22974788/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1482.03 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 148163 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1475.46 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 147491 55 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4392243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 893448
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18137
/proc/meminfo: memFree=22854824/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1542.02 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 154162 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1535.3 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 153474 56 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 893448
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18137
/proc/meminfo: memFree=22789772/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1602.01 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 160161 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1595.14 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 159457 57 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4222474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 893448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18140
/proc/meminfo: memFree=22718640/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1662 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 166160 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1654.99 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 165441 58 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 893448
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 18164
/proc/meminfo: memFree=22597400/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1721.99 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 172159 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1714.83 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 171424 59 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4392533 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 893448
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 18164
/proc/meminfo: memFree=22555948/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1781.98 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 178158 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1774.67 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 177408 59 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 893448
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22492344/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1791.58 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179118 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1784.25 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 178365 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 893448
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22428856/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1794.78 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179438 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1787.45 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 178685 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 893448
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22484524/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1797.97 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179757 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1790.63 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 179003 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4399542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 893448
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22426808/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1798.77 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179837 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1791.43 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 179083 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4392418 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 893448
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22492776/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1799.18 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179878 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1791.83 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 179123 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 893448
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22492776/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1799.57 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179917 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1792.23 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 179163 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4403126 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 893448
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18164
/proc/meminfo: memFree=22492776/32873648 swapFree=6848/6848
[pid=18122] ppid=18120 vsize=893448 CPUtime=1799.67 cores=0,2,4,6
/proc/18122/stat : 18122 (wbo1.7) S 18120 18122 17655 0 -1 4202496 154186 0 0 0 179927 40 0 0 20 0 2 0 282641717 914890752 195374 33554432000 4194304 5963574 140737110491264 140737110490784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18122/statm: 223362 195374 197 432 0 222927 0
[pid=18122/tid=18125] ppid=18120 vsize=893448 CPUtime=1792.33 cores=0,2,4,6
/proc/18122/task/18125/stat : 18125 (wbo1.7) R 18120 18122 17655 0 -1 4202560 107099 0 0 0 179173 60 0 0 20 0 2 0 282642009 914890752 195374 33554432000 4194304 5963574 140737110491264 140078507854152 4403036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 893448
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18122 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=583181
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=687895
# CPU time returned by wait4() is 1795.27
# while last known CPU time is 1799.67
#
# 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.67
CPU user time (s): 1799.27
CPU system time (s): 0.4
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 893448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 0.687895
maximum resident set size= 781496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154186
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= 62
involuntary context switches= 2084
runsolver used 4.87426 second user time and 20.9958 second system time
The end