runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460881-1307072003/watcher-3460881-1307072003 -o /tmp/evaluation-result-3460881-1307072003/solver-3460881-1307072003 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460881-1307072003.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: 2.11 2.05 2.01 2/558 29827
/proc/meminfo: memFree=28462164/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=5464 CPUtime=0.01 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 720 0 0 0 1 0 0 0 25 0 1 0 897430971 5595136 673 33554432000 4194304 5714214 140735022170848 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 1366 673 217 372 0 513 0
[startup+0.114512 s]
/proc/loadavg: 2.11 2.05 2.01 2/558 29827
/proc/meminfo: memFree=28462164/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=13284 CPUtime=0.11 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 2935 0 0 0 11 0 0 0 25 0 1 0 897430971 13602816 2822 33554432000 4194304 5714214 140735022170848 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 3321 2822 540 372 0 2468 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13284
[startup+0.200488 s]
/proc/loadavg: 2.11 2.05 2.01 2/558 29827
/proc/meminfo: memFree=28462164/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=31324 CPUtime=0.19 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 7748 0 0 0 19 0 0 0 25 0 1 0 897430971 32075776 7120 33554432000 4194304 5714214 140735022170848 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 7831 7124 174 372 0 7456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31324
[startup+0.300484 s]
/proc/loadavg: 2.11 2.05 2.01 2/558 29827
/proc/meminfo: memFree=28462164/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=31244 CPUtime=0.29 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 8552 0 0 0 29 0 0 0 25 0 1 0 897430971 31993856 7300 33554432000 4194304 5714214 140735022170848 18446744073709551615 4311723 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 7811 7300 179 372 0 7436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31244
[startup+0.700432 s]
/proc/loadavg: 2.11 2.05 2.01 2/558 29827
/proc/meminfo: memFree=28462164/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=31244 CPUtime=0.69 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 8553 0 0 0 68 1 0 0 25 0 1 0 897430971 31993856 7301 33554432000 4194304 5714214 140735022170848 18446744073709551615 4322915 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 7811 7301 180 372 0 7436 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31244
[startup+1.50028 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 29828
/proc/meminfo: memFree=28433016/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=31244 CPUtime=1.49 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 8553 0 0 0 148 1 0 0 25 0 1 0 897430971 31993856 7301 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 7811 7301 180 372 0 7436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31244
[startup+3.101 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 29828
/proc/meminfo: memFree=28431772/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=31376 CPUtime=3.09 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 8637 0 0 0 306 3 0 0 25 0 1 0 897430971 32129024 7385 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 7844 7385 180 372 0 7469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31376
[startup+6.30049 s]
/proc/loadavg: 2.10 2.05 2.01 3/559 29828
/proc/meminfo: memFree=28427068/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=36704 CPUtime=6.29 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 9923 0 0 0 624 5 0 0 25 0 1 0 897430971 37584896 8671 33554432000 4194304 5714214 140735022170848 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 9176 8671 180 372 0 8801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36704
[startup+12.7004 s]
/proc/loadavg: 2.09 2.05 2.01 3/559 29828
/proc/meminfo: memFree=28416948/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=45728 CPUtime=12.69 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 12161 0 0 0 1262 7 0 0 25 0 1 0 897430971 46825472 10909 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 11432 10909 180 372 0 11057 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45728
[startup+25.5013 s]
/proc/loadavg: 2.07 2.05 2.01 3/559 29828
/proc/meminfo: memFree=28402196/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=58976 CPUtime=25.49 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 15426 0 0 0 2537 12 0 0 25 0 1 0 897430971 60391424 14174 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29827/statm: 14744 14174 180 372 0 14369 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58976
[startup+51.101 s]
/proc/loadavg: 2.10 2.06 2.01 3/559 29828
/proc/meminfo: memFree=28384544/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=76488 CPUtime=51.03 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 19748 0 0 0 5079 24 0 0 25 0 1 0 897430971 78323712 18496 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 19122 18496 180 372 0 18747 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 76488
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/559 29830
/proc/meminfo: memFree=28363636/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=91184 CPUtime=102.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 23407 0 0 0 10179 45 0 0 25 0 1 0 897430971 93372416 22155 33554432000 4194304 5714214 140735022170848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 22796 22155 180 372 0 22421 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 91184
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 29832
/proc/meminfo: memFree=28317248/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=128496 CPUtime=162.22 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 32520 0 0 0 16161 61 0 0 25 0 1 0 897430971 131579904 31268 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 32124 31268 180 372 0 31749 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 128496
[startup+222.322 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 29834
/proc/meminfo: memFree=28287704/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=138996 CPUtime=222.25 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 35115 0 0 0 22152 73 0 0 25 0 1 0 897430971 142331904 33863 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 34749 33863 180 372 0 34374 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 138996
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 29834
/proc/meminfo: memFree=28240160/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=160076 CPUtime=282.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 40176 0 0 0 28133 90 0 0 25 0 1 0 897430971 163917824 38924 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 40019 38924 180 372 0 39644 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 160076
[startup+342.301 s]
/proc/loadavg: 2.23 2.06 2.02 3/559 29839
/proc/meminfo: memFree=28207876/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=170896 CPUtime=342.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 42835 0 0 0 34108 115 0 0 25 0 1 0 897430971 174997504 41583 33554432000 4194304 5714214 140735022170848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 42724 41583 180 372 0 42349 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 170896
[startup+402.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/559 29841
/proc/meminfo: memFree=28185692/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=194780 CPUtime=402.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 48748 0 0 0 40086 137 0 0 25 0 1 0 897430971 199454720 47496 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 48695 47496 180 372 0 48320 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 194780
[startup+462.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/559 29843
/proc/meminfo: memFree=28160348/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=215244 CPUtime=462.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 53883 0 0 0 46062 161 0 0 25 0 1 0 897430971 220409856 52631 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 53811 52631 180 372 0 53436 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 215244
[startup+522.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/559 29845
/proc/meminfo: memFree=28146420/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=229844 CPUtime=522.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 57478 0 0 0 52040 183 0 0 25 0 1 0 897430971 235360256 56226 33554432000 4194304 5714214 140735022170848 18446744073709551615 4311125 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 57461 56226 180 372 0 57086 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 229844
[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 29845
/proc/meminfo: memFree=28114128/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=261296 CPUtime=582.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 65350 0 0 0 58015 208 0 0 25 0 1 0 897430971 267567104 64098 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 65324 64098 180 372 0 64949 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 261296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28087060/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=278940 CPUtime=642.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 69748 0 0 0 63994 229 0 0 25 0 1 0 897430971 285634560 68496 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 69735 68496 180 372 0 69360 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 278940
[startup+702.301 s]
/proc/loadavg: 2.06 2.07 2.01 3/559 29849
/proc/meminfo: memFree=28065824/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=295760 CPUtime=702.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 73966 0 0 0 69971 253 0 0 25 0 1 0 897430971 302858240 72714 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 73940 72714 180 372 0 73565 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 295760
[startup+762.301 s]
/proc/loadavg: 1.99 2.04 2.00 3/559 29879
/proc/meminfo: memFree=28277652/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=320472 CPUtime=762.25 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 80153 0 0 0 75950 275 0 0 25 0 1 0 897430971 328163328 78901 33554432000 4194304 5714214 140735022170848 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 80118 78901 180 372 0 79743 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 320472
[startup+822.301 s]
/proc/loadavg: 1.99 2.03 2.00 3/559 29881
/proc/meminfo: memFree=28207132/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=342988 CPUtime=822.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 85715 0 0 0 81930 294 0 0 25 0 1 0 897430971 351219712 84463 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 85747 84463 180 372 0 85372 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 342988
[startup+882.322 s]
/proc/loadavg: 1.99 2.02 2.00 3/559 29881
/proc/meminfo: memFree=28136756/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=354052 CPUtime=882.26 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 88464 0 0 0 87918 308 0 0 25 0 1 0 897430971 362549248 87212 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 88513 87212 180 372 0 88138 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 354052
[startup+942.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/559 29883
/proc/meminfo: memFree=28039720/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=375224 CPUtime=942.23 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 93651 0 0 0 93902 321 0 0 25 0 1 0 897430971 384229376 92399 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 93806 92399 180 372 0 93431 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 375224
[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/559 29885
/proc/meminfo: memFree=27898688/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=390072 CPUtime=1002.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 97327 0 0 0 99890 334 0 0 25 0 1 0 897430971 399433728 96075 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 97518 96075 180 372 0 97143 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 390072
[startup+1062.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/559 29887
/proc/meminfo: memFree=27881648/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=392824 CPUtime=1062.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 97970 0 0 0 105877 347 0 0 25 0 1 0 897430971 402251776 96718 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 98206 96718 180 372 0 97831 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 392824
[startup+1122.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/559 29889
/proc/meminfo: memFree=27707612/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=406308 CPUtime=1122.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 101220 0 0 0 111863 361 0 0 25 0 1 0 897430971 416059392 99968 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 101577 99968 180 372 0 101202 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 406308
[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/559 29889
/proc/meminfo: memFree=27568560/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=418472 CPUtime=1182.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 104282 0 0 0 117845 379 0 0 25 0 1 0 897430971 428515328 103030 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 104618 103030 180 372 0 104243 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 418472
Solver just ended. Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 29891
/proc/meminfo: memFree=27522796/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=418472 CPUtime=1203.14 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 104293 0 0 0 119929 385 0 0 25 0 1 0 897430971 428515328 103041 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 104618 103041 180 372 0 104243 0
Current children cumulated CPU time (s) 1203.14
Current children cumulated vsize (KiB) 418472
[startup+1216 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 29891
/proc/meminfo: memFree=27490428/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=425072 CPUtime=1215.94 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 105938 0 0 0 121205 389 0 0 25 0 1 0 897430971 435273728 104686 33554432000 4194304 5714214 140735022170848 18446744073709551615 4320115 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 106268 104686 180 372 0 105893 0
Current children cumulated CPU time (s) 1215.94
Current children cumulated vsize (KiB) 425072
[startup+1222.4 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 29891
/proc/meminfo: memFree=27473312/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=428636 CPUtime=1222.34 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 106837 0 0 0 121842 392 0 0 25 0 1 0 897430971 438923264 105585 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107159 105585 180 372 0 106784 0
Current children cumulated CPU time (s) 1222.34
Current children cumulated vsize (KiB) 428636
[startup+1225.6 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 29891
/proc/meminfo: memFree=27466368/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=430088 CPUtime=1225.54 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 107215 0 0 0 122161 393 0 0 25 0 1 0 897430971 440410112 105963 33554432000 4194304 5714214 140735022170848 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107522 105963 180 372 0 107147 0
Current children cumulated CPU time (s) 1225.54
Current children cumulated vsize (KiB) 430088
[startup+1228.82 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 29891
/proc/meminfo: memFree=27459672/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=430088 CPUtime=1228.76 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 107215 0 0 0 122482 394 0 0 25 0 1 0 897430971 440410112 105963 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107522 105963 180 372 0 107147 0
Current children cumulated CPU time (s) 1228.76
Current children cumulated vsize (KiB) 430088
[startup+1229.6 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 29891
/proc/meminfo: memFree=27459672/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=430088 CPUtime=1229.55 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 107215 0 0 0 122560 395 0 0 25 0 1 0 897430971 440410112 105963 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107522 105963 180 372 0 107147 0
Current children cumulated CPU time (s) 1229.55
Current children cumulated vsize (KiB) 430088
[startup+1230 s]
/proc/loadavg: 2.01 2.05 2.00 3/559 29891
/proc/meminfo: memFree=27457564/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=430088 CPUtime=1229.94 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 107215 0 0 0 122599 395 0 0 25 0 1 0 897430971 440410112 105963 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107522 105963 180 372 0 107147 0
Current children cumulated CPU time (s) 1229.94
Current children cumulated vsize (KiB) 430088
[startup+1230.2 s]
/proc/loadavg: 2.01 2.05 2.00 3/559 29891
/proc/meminfo: memFree=27457564/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=430088 CPUtime=1230.14 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 107215 0 0 0 122619 395 0 0 25 0 1 0 897430971 440410112 105963 33554432000 4194304 5714214 140735022170848 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107522 105963 180 372 0 107147 0
Current children cumulated CPU time (s) 1230.14
Current children cumulated vsize (KiB) 430088
[startup+1230.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/559 29891
/proc/meminfo: memFree=27457564/32951124 swapFree=34426104/67111528
[pid=29827] ppid=29825 vsize=430088 CPUtime=1230.24 cores=0,2,4,6
/proc/29827/stat : 29827 (wbo1.6) R 29825 29827 27313 0 -1 4202496 107215 0 0 0 122629 395 0 0 25 0 1 0 897430971 440410112 105963 33554432000 4194304 5714214 140735022170848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29827/statm: 107522 105963 180 372 0 107147 0
Current children cumulated CPU time (s) 1230.24
Current children cumulated vsize (KiB) 430088
Child status: 0
Real time (s): 1230.34
CPU time (s): 1230.29
CPU user time (s): 1226.31
CPU system time (s): 3.9754
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 430088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1226.31
system time used= 3.97539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107216
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= 6
involuntary context switches= 2831
runsolver used 7.37188 second user time and 15.6976 second system time
The end