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-3704757-1338084650/watcher-3704757-1338084650 -o /tmp/evaluation-result-3704757-1338084650/solver-3704757-1338084650 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704757-1338084650.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.01 2.00 2.00 2/178 30239
/proc/meminfo: memFree=28713796/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=11884 CPUtime=0 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) R 30237 30239 27916 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 274590887 12169216 326 33554432000 4194304 5963574 140735368404448 140733956028152 5178856 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 2971 326 171 432 0 424 0
[startup+0.018507 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 30239
/proc/meminfo: memFree=28713796/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=13008 CPUtime=0.01 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) R 30237 30239 27916 0 -1 4202496 699 0 0 0 1 0 0 0 20 0 1 0 274590887 13320192 651 33554432000 4194304 5963574 140735368404448 140733956028152 4394735 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 3289 661 214 432 0 742 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13008
[startup+0.100262 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 30239
/proc/meminfo: memFree=28713796/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=20592 CPUtime=0.09 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) R 30237 30239 27916 0 -1 4202496 2791 0 0 0 9 0 0 0 20 0 1 0 274590887 21086208 2710 33554432000 4194304 5963574 140735368404448 140733956028152 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 5148 2710 515 432 0 2601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20592
[startup+0.300232 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 30239
/proc/meminfo: memFree=28713796/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=38064 CPUtime=0.29 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) R 30237 30239 27916 0 -1 4202496 7753 0 0 0 28 1 0 0 20 0 1 0 274590887 38977536 7227 33554432000 4194304 5963574 140735368404448 140733956028152 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 9549 7228 1190 432 0 7002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38064
[startup+0.70018 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 30239
/proc/meminfo: memFree=28713796/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=142980 CPUtime=0.69 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 25273 0 0 0 65 4 0 0 20 0 2 0 274590887 146411520 22427 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 35745 22427 177 432 0 35310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142980
[startup+1.50033 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 30241
/proc/meminfo: memFree=28591748/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=142300 CPUtime=1.48 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 35638 0 0 0 143 5 0 0 20 0 2 0 274590887 145715200 30638 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 35575 30638 188 432 0 35140 0
[pid=30239/tid=30241] ppid=30237 vsize=142300 CPUtime=0.88 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 19960 0 0 0 84 4 0 0 20 0 2 0 274590948 145715200 30638 33554432000 4194304 5963574 140735368404448 140322391890712 4392504 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 142300
[startup+3.10034 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 30241
/proc/meminfo: memFree=28591252/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=142300 CPUtime=3.08 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 35761 0 0 0 303 5 0 0 20 0 2 0 274590887 145715200 30761 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 35575 30761 188 432 0 35140 0
[pid=30239/tid=30241] ppid=30237 vsize=142300 CPUtime=2.47 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 20083 0 0 0 243 4 0 0 20 0 2 0 274590948 145715200 30761 33554432000 4194304 5963574 140735368404448 140322391889848 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142300
[startup+6.30029 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 30241
/proc/meminfo: memFree=28588896/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=142300 CPUtime=6.29 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 36040 0 0 0 623 6 0 0 20 0 2 0 274590887 145715200 31040 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 35575 31040 188 432 0 35140 0
[pid=30239/tid=30241] ppid=30237 vsize=142300 CPUtime=5.66 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 20362 0 0 0 562 4 0 0 20 0 2 0 274590948 145715200 31040 33554432000 4194304 5963574 140735368404448 140322391889720 4392498 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142300
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 30241
/proc/meminfo: memFree=28586124/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=12.68 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 36605 0 0 0 1262 6 0 0 20 0 2 0 274590887 212824064 31605 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 31605 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=12.04 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 20927 0 0 0 1200 4 0 0 20 0 2 0 274590948 212824064 31605 33554432000 4194304 5963574 140735368404448 140322391889960 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 207836
[startup+25.5012 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30241
/proc/meminfo: memFree=28580052/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=25.49 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 37760 0 0 0 2541 8 0 0 20 0 2 0 274590887 212824064 32760 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 32760 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=24.8 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 22082 0 0 0 2475 5 0 0 20 0 2 0 274590948 212824064 32760 33554432000 4194304 5963574 140735368404448 140322391889912 4399488 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 207836
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30241
/proc/meminfo: memFree=28566416/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=51.08 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 40455 0 0 0 5098 10 0 0 20 0 2 0 274590887 212824064 35455 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 35455 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=50.34 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 24777 0 0 0 5027 7 0 0 20 0 2 0 274590948 212824064 35455 33554432000 4194304 5963574 140735368404448 140322391889960 4221120 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) 207836
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30241
/proc/meminfo: memFree=28545236/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=102.28 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 43887 0 0 0 10214 14 0 0 20 0 2 0 274590887 212824064 39061 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 39061 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=101.41 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 28209 0 0 0 10129 12 0 0 20 0 2 0 274590948 212824064 39061 33554432000 4194304 5963574 140735368404448 140322391889912 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 207836
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30241
/proc/meminfo: memFree=28527844/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=162.23 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 46084 0 0 0 16207 16 0 0 20 0 2 0 274590887 212824064 41792 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 41792 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=161.22 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 30406 0 0 0 16106 16 0 0 20 0 2 0 274590948 212824064 41792 33554432000 4194304 5963574 140735368404448 140322391889960 4399614 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 207836
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30241
/proc/meminfo: memFree=28510152/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=222.22 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 48721 0 0 0 22203 19 0 0 20 0 2 0 274590887 212824064 44467 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 44467 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=221.06 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 33043 0 0 0 22086 20 0 0 20 0 2 0 274590948 212824064 44467 33554432000 4194304 5963574 140735368404448 140322391889912 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 207836
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30242
/proc/meminfo: memFree=28495112/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=207836 CPUtime=282.21 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 50690 0 0 0 28200 21 0 0 20 0 2 0 274590887 212824064 46436 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 51959 46436 188 432 0 51524 0
[pid=30239/tid=30241] ppid=30237 vsize=207836 CPUtime=280.9 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 35012 0 0 0 28067 23 0 0 20 0 2 0 274590948 212824064 46436 33554432000 4194304 5963574 140735368404448 140322391889720 4399451 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 207836
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30242
/proc/meminfo: memFree=28477200/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=342.2 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 53180 0 0 0 34197 23 0 0 20 0 2 0 274590887 279932928 49437 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 49437 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=340.74 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 37502 0 0 0 34048 26 0 0 20 0 2 0 274590948 279932928 49437 33554432000 4194304 5963574 140735368404448 140322391889720 4399375 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 273372
[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28466412/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=402.19 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 54585 0 0 0 40195 24 0 0 20 0 2 0 274590887 279932928 50842 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 50842 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=400.58 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 38907 0 0 0 40030 28 0 0 20 0 2 0 274590948 279932928 50842 33554432000 4194304 5963574 140735368404448 140322391889720 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 273372
[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 30242
/proc/meminfo: memFree=28450568/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=462.17 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 57339 0 0 0 46190 27 0 0 20 0 2 0 274590887 279932928 53672 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 53672 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=460.41 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 41661 0 0 0 46011 30 0 0 20 0 2 0 274590948 279932928 53672 33554432000 4194304 5963574 140735368404448 140322391889720 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 273372
############
# WARNING:
# current cumulated CPU time (483.46 s) is less than in the last sample (484.56 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.10001 s) to the 'lost time'.
[startup+484.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443356/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=484.56 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 58126 0 0 0 48428 28 0 0 20 0 2 0 274590887 279932928 54806 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54806 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=482.74 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42448 0 0 0 48242 32 0 0 20 0 2 0 274590948 279932928 54806 33554432000 4194304 5963574 140735368404448 140322391889928 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 484.56
Current children cumulated vsize (KiB) 273372
[startup+484.8 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443356/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=0 CPUtime=483.46 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) R 30237 30239 27916 0 -1 4203524 58131 0 0 0 48311 35 0 0 20 0 1 0 274590887 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 483.46
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+473.5 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 30242
/proc/meminfo: memFree=28446708/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=473.36 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 57832 0 0 0 47309 27 0 0 20 0 2 0 274590887 279932928 54427 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54427 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=471.57 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42154 0 0 0 47125 32 0 0 20 0 2 0 274590948 279932928 54427 33554432000 4194304 5963574 140735368404448 140322391889912 4399409 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 473.36
Current children cumulated vsize (KiB) 273372
[startup+479.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28444348/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=479.76 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 58054 0 0 0 47948 28 0 0 20 0 2 0 274590887 279932928 54734 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54734 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=477.96 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42376 0 0 0 47764 32 0 0 20 0 2 0 274590948 279932928 54734 33554432000 4194304 5963574 140735368404448 140322391889912 4392454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 479.76
Current children cumulated vsize (KiB) 273372
[startup+483.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443604/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=482.96 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 58102 0 0 0 48268 28 0 0 20 0 2 0 274590887 279932928 54782 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54782 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=481.15 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42424 0 0 0 48083 32 0 0 20 0 2 0 274590948 279932928 54782 33554432000 4194304 5963574 140735368404448 140322391889928 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 482.96
Current children cumulated vsize (KiB) 273372
[startup+483.901 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443356/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=483.77 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 58114 0 0 0 48349 28 0 0 20 0 2 0 274590887 279932928 54794 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54794 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=481.95 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42436 0 0 0 48163 32 0 0 20 0 2 0 274590948 279932928 54794 33554432000 4194304 5963574 140735368404448 140322391889960 4402879 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 483.77
Current children cumulated vsize (KiB) 273372
[startup+484.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443356/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=484.16 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 58123 0 0 0 48388 28 0 0 20 0 2 0 274590887 279932928 54803 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54803 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=482.34 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42445 0 0 0 48202 32 0 0 20 0 2 0 274590948 279932928 54803 33554432000 4194304 5963574 140735368404448 140322391889960 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 484.16
Current children cumulated vsize (KiB) 273372
[startup+484.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443356/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=273372 CPUtime=484.56 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) S 30237 30239 27916 0 -1 4202496 58126 0 0 0 48428 28 0 0 20 0 2 0 274590887 279932928 54806 33554432000 4194304 5963574 140735368404448 140735368403968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 68343 54806 188 432 0 67908 0
[pid=30239/tid=30241] ppid=30237 vsize=273372 CPUtime=482.74 cores=1,3,5,7
/proc/30239/task/30241/stat : 30241 (wbo1.7) R 30237 30239 27916 0 -1 4202560 42448 0 0 0 48242 32 0 0 20 0 2 0 274590948 279932928 54806 33554432000 4194304 5963574 140735368404448 140322391889928 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 484.56
Current children cumulated vsize (KiB) 273372
[startup+484.8 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 30242
/proc/meminfo: memFree=28443356/32873648 swapFree=6844/6844
[pid=30239] ppid=30237 vsize=0 CPUtime=483.46 cores=1,3,5,7
/proc/30239/stat : 30239 (wbo1.7) R 30237 30239 27916 0 -1 4203524 58131 0 0 0 48311 35 0 0 20 0 1 0 274590887 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30239/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 483.46
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.10001
# lost CPU user time (s): 1.17001
# lost CPU system time (s): -0.07
Real time (s): 484.801
CPU time (s): 484.567
CPU user time (s): 484.284
CPU system time (s): 0.283946
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 273372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.114
system time used= 0.353946
maximum resident set size= 219244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58131
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= 65
involuntary context switches= 1287
runsolver used 0.705892 second user time and 2.00969 second system time
The end