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-3460773-1307071112/watcher-3460773-1307071112 -o /tmp/evaluation-result-3460773-1307071112/solver-3460773-1307071112 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460773-1307071112.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.03 2.03 2.00 3/386 25889
/proc/meminfo: memFree=23678624/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=10524 CPUtime=0.01 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 576 0 0 0 1 0 0 0 25 0 1 0 818714026 10776576 529 33554432000 4194304 5714214 140737253183168 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 2631 529 204 372 0 391 0
[startup+0.0613069 s]
/proc/loadavg: 2.03 2.03 2.00 3/386 25889
/proc/meminfo: memFree=23678624/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=14916 CPUtime=0.05 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 1799 0 0 0 5 0 0 0 25 0 1 0 818714026 15273984 1752 33554432000 4194304 5714214 140737253183168 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 3729 1753 381 372 0 1489 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14916
[startup+0.100311 s]
/proc/loadavg: 2.03 2.03 2.00 3/386 25889
/proc/meminfo: memFree=23678624/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=18752 CPUtime=0.09 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 2812 0 0 0 9 0 0 0 25 0 1 0 818714026 19202048 2765 33554432000 4194304 5714214 140737253183168 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 4688 2765 527 372 0 2448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18752
[startup+0.300266 s]
/proc/loadavg: 2.03 2.03 2.00 3/386 25889
/proc/meminfo: memFree=23678624/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=36232 CPUtime=0.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 7737 0 0 0 28 1 0 0 25 0 1 0 818714026 37101568 7245 33554432000 4194304 5714214 140737253183168 18446744073709551615 4315476 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 9058 7246 1210 372 0 6818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36232
[startup+0.701206 s]
/proc/loadavg: 2.03 2.03 2.00 3/386 25889
/proc/meminfo: memFree=23678624/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=107848 CPUtime=0.69 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 27938 0 0 0 66 3 0 0 18 0 1 0 818714026 110436352 25373 33554432000 4194304 5714214 140737253183168 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 26962 25379 174 372 0 26587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107848
[startup+1.50107 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 25890
/proc/meminfo: memFree=23572720/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=109820 CPUtime=1.49 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 31377 0 0 0 145 4 0 0 19 0 1 0 818714026 112455680 26426 33554432000 4194304 5714214 140737253183168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 27455 26426 180 372 0 27080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109820
[startup+3.10077 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 25890
/proc/meminfo: memFree=23572020/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=109820 CPUtime=3.09 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 31377 0 0 0 305 4 0 0 22 0 1 0 818714026 112455680 26426 33554432000 4194304 5714214 140737253183168 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25889/statm: 27455 26426 180 372 0 27080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109820
[startup+6.30022 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 25890
/proc/meminfo: memFree=23571276/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=109820 CPUtime=6.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 31377 0 0 0 624 5 0 0 25 0 1 0 818714026 112455680 26426 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 27455 26426 180 372 0 27080 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109820
[startup+12.7011 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 25890
/proc/meminfo: memFree=23570672/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=109820 CPUtime=12.68 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 31377 0 0 0 1263 5 0 0 25 0 1 0 818714026 112455680 26426 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 27455 26426 180 372 0 27080 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 109820
[startup+25.5008 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 25891
/proc/meminfo: memFree=23571224/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=109820 CPUtime=25.48 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 31377 0 0 0 2542 6 0 0 25 0 1 0 818714026 112455680 26426 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 27455 26426 180 372 0 27080 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 109820
[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 25891
/proc/meminfo: memFree=23571220/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=109820 CPUtime=51.08 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 31385 0 0 0 5100 8 0 0 25 0 1 0 818714026 112455680 26434 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 27455 26434 180 372 0 27080 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109820
[startup+102.314 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 25893
/proc/meminfo: memFree=23568216/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=112872 CPUtime=102.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 32075 0 0 0 10217 12 0 0 25 0 1 0 818714026 115580928 27124 33554432000 4194304 5714214 140737253183168 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 28218 27124 180 372 0 27843 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 112872
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25894
/proc/meminfo: memFree=23548096/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=127276 CPUtime=162.28 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 35656 0 0 0 16207 21 0 0 25 0 1 0 818714026 130330624 30705 33554432000 4194304 5714214 140737253183168 18446744073709551615 4200640 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 31819 30705 180 372 0 31444 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 127276
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25896
/proc/meminfo: memFree=23508496/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=139748 CPUtime=222.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 38622 0 0 0 22200 29 0 0 25 0 1 0 818714026 143101952 33671 33554432000 4194304 5714214 140737253183168 18446744073709551615 4322653 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 34937 33671 180 372 0 34562 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 139748
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25897
/proc/meminfo: memFree=23493564/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=149476 CPUtime=282.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 41053 0 0 0 28194 35 0 0 25 0 1 0 818714026 153063424 36102 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 37369 36102 180 372 0 36994 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 149476
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/387 25899
/proc/meminfo: memFree=23476276/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=158984 CPUtime=342.28 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 43385 0 0 0 34188 40 0 0 25 0 1 0 818714026 162799616 38434 33554432000 4194304 5714214 140737253183168 18446744073709551615 4329487 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 39746 38434 180 372 0 39371 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 158984
[startup+402.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/387 25901
/proc/meminfo: memFree=23458604/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=171024 CPUtime=402.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 46219 0 0 0 40184 45 0 0 25 0 1 0 818714026 175128576 41268 33554432000 4194304 5714214 140737253183168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 42756 41268 180 372 0 42381 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 171024
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 25902
/proc/meminfo: memFree=23448880/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=180396 CPUtime=462.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 48583 0 0 0 46178 51 0 0 25 0 1 0 818714026 184725504 43632 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 45099 43632 180 372 0 44724 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 180396
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25904
/proc/meminfo: memFree=23438652/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=188832 CPUtime=522.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 50642 0 0 0 52173 56 0 0 25 0 1 0 818714026 193363968 45691 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 47208 45691 180 372 0 46833 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 188832
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25905
/proc/meminfo: memFree=23430168/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=196804 CPUtime=582.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 52689 0 0 0 58169 60 0 0 25 0 1 0 818714026 201527296 47738 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 49201 47738 180 372 0 48826 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 196804
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25907
/proc/meminfo: memFree=23419080/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=205728 CPUtime=642.3 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 54610 0 0 0 64165 65 0 0 25 0 1 0 818714026 210665472 49659 33554432000 4194304 5714214 140737253183168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 51432 49659 180 372 0 51057 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 205728
[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25909
/proc/meminfo: memFree=23411452/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=212436 CPUtime=702.29 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 56287 0 0 0 70158 71 0 0 25 0 1 0 818714026 217534464 51336 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 53109 51336 180 372 0 52734 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 212436
[startup+762.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25910
/proc/meminfo: memFree=23393544/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=221340 CPUtime=762.31 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 58535 0 0 0 76154 77 0 0 25 0 1 0 818714026 226652160 53584 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 55335 53584 180 372 0 54960 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 221340
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25912
/proc/meminfo: memFree=23386924/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=228896 CPUtime=822.3 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 60379 0 0 0 82147 83 0 0 25 0 1 0 818714026 234389504 55428 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 57224 55428 180 372 0 56849 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 228896
[startup+882.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/387 25913
/proc/meminfo: memFree=23381052/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=234572 CPUtime=882.3 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 61771 0 0 0 88142 88 0 0 25 0 1 0 818714026 240201728 56820 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 58643 56820 180 372 0 58268 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 234572
[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 25915
/proc/meminfo: memFree=23371212/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=241252 CPUtime=942.3 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 63212 0 0 0 94137 93 0 0 25 0 1 0 818714026 247042048 58261 33554432000 4194304 5714214 140737253183168 18446744073709551615 4310835 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 60313 58261 180 372 0 59938 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 241252
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 25917
/proc/meminfo: memFree=23365200/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=246864 CPUtime=1002.3 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 64540 0 0 0 100132 98 0 0 25 0 1 0 818714026 252788736 59589 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 61716 59589 180 372 0 61341 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 246864
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 25918
/proc/meminfo: memFree=23360680/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=250336 CPUtime=1062.31 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 65522 0 0 0 106129 102 0 0 25 0 1 0 818714026 256344064 60571 33554432000 4194304 5714214 140737253183168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 62584 60571 180 372 0 62209 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 250336
Solver just ended. Dumping a history of the last processes samples
[startup+1068.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 25918
/proc/meminfo: memFree=23360048/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=250600 CPUtime=1068.7 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 65610 0 0 0 106768 102 0 0 25 0 1 0 818714026 256614400 60659 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 62650 60659 180 372 0 62275 0
Current children cumulated CPU time (s) 1068.7
Current children cumulated vsize (KiB) 250600
[startup+1071.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25918
/proc/meminfo: memFree=23359796/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=250864 CPUtime=1071.9 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 65653 0 0 0 107088 102 0 0 25 0 1 0 818714026 256884736 60702 33554432000 4194304 5714214 140737253183168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 62716 60702 180 372 0 62341 0
Current children cumulated CPU time (s) 1071.9
Current children cumulated vsize (KiB) 250864
[startup+1072.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25919
/proc/meminfo: memFree=23359796/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=250864 CPUtime=1072.7 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 65663 0 0 0 107168 102 0 0 25 0 1 0 818714026 256884736 60712 33554432000 4194304 5714214 140737253183168 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 62716 60712 180 372 0 62341 0
Current children cumulated CPU time (s) 1072.7
Current children cumulated vsize (KiB) 250864
[startup+1073.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25919
/proc/meminfo: memFree=23359796/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=250864 CPUtime=1073.1 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 65666 0 0 0 107208 102 0 0 25 0 1 0 818714026 256884736 60715 33554432000 4194304 5714214 140737253183168 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 62716 60715 180 372 0 62341 0
Current children cumulated CPU time (s) 1073.1
Current children cumulated vsize (KiB) 250864
[startup+1073.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25919
/proc/meminfo: memFree=23359796/32951124 swapFree=49244120/67111528
[pid=25889] ppid=25887 vsize=250864 CPUtime=1073.51 cores=0,2,4,6
/proc/25889/stat : 25889 (wbo1.6) R 25887 25889 23490 0 -1 4202496 65673 0 0 0 107249 102 0 0 25 0 1 0 818714026 256884736 60722 33554432000 4194304 5714214 140737253183168 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25889/statm: 62716 60722 180 372 0 62341 0
Current children cumulated CPU time (s) 1073.51
Current children cumulated vsize (KiB) 250864
Child status: 0
Real time (s): 1073.57
CPU time (s): 1073.59
CPU user time (s): 1072.55
CPU system time (s): 1.03884
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 250864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1072.55
system time used= 1.03884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65678
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= 1752
runsolver used 4.50131 second user time and 9.15161 second system time
The end