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-3461011-1307066253/watcher-3461011-1307066253 -o /tmp/evaluation-result-3461011-1307066253/solver-3461011-1307066253 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461011-1307066253.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.49 1.12 1.25 2/386 24351
/proc/meminfo: memFree=23773868/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=2368 CPUtime=0.01 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 418 0 0 0 1 0 0 0 25 0 1 0 818228042 2424832 361 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 592 361 180 372 0 217 0
[startup+0.0268561 s]
/proc/loadavg: 1.49 1.12 1.25 2/386 24351
/proc/meminfo: memFree=23773868/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=2500 CPUtime=0.02 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 439 0 0 0 2 0 0 0 25 0 1 0 818228042 2560000 382 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 625 382 180 372 0 250 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2500
[startup+0.100868 s]
/proc/loadavg: 1.49 1.12 1.25 2/386 24351
/proc/meminfo: memFree=23773868/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=3272 CPUtime=0.09 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 641 0 0 0 9 0 0 0 25 0 1 0 818228042 3350528 584 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 818 584 180 372 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3272
[startup+0.300841 s]
/proc/loadavg: 1.49 1.12 1.25 2/386 24351
/proc/meminfo: memFree=23773868/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=5128 CPUtime=0.29 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 1072 0 0 0 29 0 0 0 25 0 1 0 818228042 5251072 1015 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 1282 1015 180 372 0 907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5128
[startup+0.700762 s]
/proc/loadavg: 1.49 1.12 1.25 2/386 24351
/proc/meminfo: memFree=23773868/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=7124 CPUtime=0.69 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 1585 0 0 0 69 0 0 0 25 0 1 0 818228042 7294976 1528 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 1781 1528 180 372 0 1406 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7124
[startup+1.50063 s]
/proc/loadavg: 1.49 1.12 1.25 3/387 24352
/proc/meminfo: memFree=23764924/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=10092 CPUtime=1.49 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 2296 0 0 0 149 0 0 0 25 0 1 0 818228042 10334208 2239 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 2523 2239 180 372 0 2148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10092
[startup+3.10031 s]
/proc/loadavg: 1.49 1.12 1.25 3/387 24352
/proc/meminfo: memFree=23762080/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=11980 CPUtime=3.09 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 2768 0 0 0 308 1 0 0 25 0 1 0 818228042 12267520 2711 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 2995 2711 180 372 0 2620 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11980
[startup+6.30077 s]
/proc/loadavg: 1.53 1.14 1.26 3/387 24352
/proc/meminfo: memFree=23758224/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=15216 CPUtime=6.29 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 3536 0 0 0 627 2 0 0 25 0 1 0 818228042 15581184 3479 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 3804 3479 180 372 0 3429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15216
[startup+12.7007 s]
/proc/loadavg: 1.57 1.15 1.26 3/387 24353
/proc/meminfo: memFree=23730020/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=21424 CPUtime=12.69 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 5049 0 0 0 1265 4 0 0 25 0 1 0 818228042 21938176 4992 33554432000 4194304 5714214 140734104838144 18446744073709551615 4300368 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 5356 4992 180 372 0 4981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21424
[startup+25.5004 s]
/proc/loadavg: 1.66 1.19 1.27 3/387 24353
/proc/meminfo: memFree=23678932/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=28656 CPUtime=25.49 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 6842 0 0 0 2541 8 0 0 25 0 1 0 818228042 29343744 6785 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 7164 6785 180 372 0 6789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28656
[startup+51.1008 s]
/proc/loadavg: 1.78 1.26 1.29 3/387 24354
/proc/meminfo: memFree=23672400/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=42552 CPUtime=51.09 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 10276 0 0 0 5093 16 0 0 25 0 1 0 818228042 43573248 10219 33554432000 4194304 5714214 140734104838144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 10638 10219 180 372 0 10263 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42552
[startup+102.315 s]
/proc/loadavg: 1.90 1.37 1.33 3/387 24355
/proc/meminfo: memFree=23640008/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=61620 CPUtime=102.3 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 14916 0 0 0 10199 31 0 0 25 0 1 0 818228042 63098880 14859 33554432000 4194304 5714214 140734104838144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 15405 14859 180 372 0 15030 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 61620
[startup+162.301 s]
/proc/loadavg: 2.00 1.50 1.37 3/387 24357
/proc/meminfo: memFree=23603392/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=79664 CPUtime=162.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 19398 0 0 0 16177 45 0 0 25 0 1 0 818228042 81575936 19341 33554432000 4194304 5714214 140734104838144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 19916 19341 180 372 0 19541 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 79664
[startup+222.3 s]
/proc/loadavg: 2.00 1.59 1.41 3/387 24367
/proc/meminfo: memFree=23562972/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=100236 CPUtime=222.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 24515 0 0 0 22160 62 0 0 25 0 1 0 818228042 102641664 24458 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 25059 24458 180 372 0 24684 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 100236
[startup+282.301 s]
/proc/loadavg: 2.07 1.67 1.45 3/387 24835
/proc/meminfo: memFree=23523696/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=117556 CPUtime=282.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 28759 0 0 0 28144 78 0 0 25 0 1 0 818228042 120377344 28702 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 29389 28702 180 372 0 29014 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 117556
[startup+342.3 s]
/proc/loadavg: 2.10 1.75 1.48 3/387 24836
/proc/meminfo: memFree=23452672/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=135220 CPUtime=342.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 33172 0 0 0 34132 91 0 0 25 0 1 0 818228042 138465280 33115 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 33805 33115 180 372 0 33430 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 135220
[startup+402.301 s]
/proc/loadavg: 2.08 1.81 1.52 3/387 24841
/proc/meminfo: memFree=23412968/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=150988 CPUtime=402.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 37083 0 0 0 40119 103 0 0 25 0 1 0 818228042 154611712 37026 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 37747 37026 180 372 0 37372 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 150988
[startup+462.301 s]
/proc/loadavg: 2.03 1.84 1.55 3/387 24843
/proc/meminfo: memFree=23396136/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=167436 CPUtime=462.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 41238 0 0 0 46108 115 0 0 25 0 1 0 818228042 171454464 41181 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 41859 41181 180 372 0 41484 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 167436
[startup+522.3 s]
/proc/loadavg: 2.01 1.86 1.57 3/387 24844
/proc/meminfo: memFree=23375732/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=185692 CPUtime=522.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 45759 0 0 0 52095 128 0 0 25 0 1 0 818228042 190148608 45702 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 46423 45702 180 372 0 46048 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 185692
[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.59 3/387 24846
/proc/meminfo: memFree=23359436/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=201700 CPUtime=582.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 49721 0 0 0 58080 142 0 0 25 0 1 0 818228042 206540800 49664 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 50425 49664 180 372 0 50050 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 201700
[startup+642.301 s]
/proc/loadavg: 2.00 1.90 1.62 3/387 24847
/proc/meminfo: memFree=23288440/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=217552 CPUtime=642.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 53633 0 0 0 64067 156 0 0 25 0 1 0 818228042 222773248 53576 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 54388 53576 180 372 0 54013 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 217552
[startup+702.3 s]
/proc/loadavg: 2.06 1.94 1.64 3/387 24849
/proc/meminfo: memFree=23265856/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=232760 CPUtime=702.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 57443 0 0 0 70051 171 0 0 25 0 1 0 818228042 238346240 57386 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 58190 57386 180 372 0 57815 0
Current children cumulated CPU time (s) 702.22
Current children cumulated vsize (KiB) 232760
[startup+762.315 s]
/proc/loadavg: 2.02 1.94 1.66 3/387 24851
/proc/meminfo: memFree=23248444/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=249728 CPUtime=762.24 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 61600 0 0 0 76039 185 0 0 25 0 1 0 818228042 255721472 61543 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 62432 61543 180 372 0 62057 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 249728
[startup+822.301 s]
/proc/loadavg: 2.00 1.95 1.68 4/387 24852
/proc/meminfo: memFree=23236356/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=262864 CPUtime=822.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 64867 0 0 0 82027 196 0 0 25 0 1 0 818228042 269172736 64810 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 65716 64810 180 372 0 65341 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 262864
[startup+882.3 s]
/proc/loadavg: 2.00 1.96 1.70 3/387 24854
/proc/meminfo: memFree=23157948/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=279152 CPUtime=882.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 68931 0 0 0 88013 209 0 0 25 0 1 0 818228042 285851648 68874 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 69788 68874 180 372 0 69413 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 279152
[startup+942.301 s]
/proc/loadavg: 2.04 1.97 1.72 3/387 24855
/proc/meminfo: memFree=23138056/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=295336 CPUtime=942.22 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 72940 0 0 0 94000 222 0 0 25 0 1 0 818228042 302424064 72883 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319887 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 73834 72883 180 372 0 73459 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 295336
[startup+1002.3 s]
/proc/loadavg: 2.01 1.97 1.73 3/387 24857
/proc/meminfo: memFree=23123996/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=309384 CPUtime=1002.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 76450 0 0 0 99989 234 0 0 25 0 1 0 818228042 316809216 76393 33554432000 4194304 5714214 140734104838144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 77346 76393 180 372 0 76971 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 309384
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23108196/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=324968 CPUtime=1062.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 80333 0 0 0 105975 248 0 0 25 0 1 0 818228042 332767232 80276 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 81242 80276 180 372 0 80867 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 324968
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23105320/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=328000 CPUtime=1075.03 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 81096 0 0 0 107251 252 0 0 25 0 1 0 818228042 335872000 81039 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 82000 81039 180 372 0 81625 0
Current children cumulated CPU time (s) 1075.03
Current children cumulated vsize (KiB) 328000
[startup+1078.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23105320/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=328000 CPUtime=1078.23 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 81096 0 0 0 107571 252 0 0 25 0 1 0 818228042 335872000 81039 33554432000 4194304 5714214 140734104838144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 82000 81039 180 372 0 81625 0
Current children cumulated CPU time (s) 1078.23
Current children cumulated vsize (KiB) 328000
[startup+1081.5 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23105320/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=328000 CPUtime=1081.42 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 81096 0 0 0 107890 252 0 0 25 0 1 0 818228042 335872000 81039 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 82000 81039 180 372 0 81625 0
Current children cumulated CPU time (s) 1081.42
Current children cumulated vsize (KiB) 328000
[startup+1082.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23105444/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=328000 CPUtime=1082.24 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 81096 0 0 0 107971 253 0 0 25 0 1 0 818228042 335872000 81039 33554432000 4194304 5714214 140734104838144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 82000 81039 180 372 0 81625 0
Current children cumulated CPU time (s) 1082.24
Current children cumulated vsize (KiB) 328000
[startup+1082.7 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23105444/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=328384 CPUtime=1082.63 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 81195 0 0 0 108010 253 0 0 25 0 1 0 818228042 336265216 81138 33554432000 4194304 5714214 140734104838144 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 82096 81138 180 372 0 81721 0
Current children cumulated CPU time (s) 1082.63
Current children cumulated vsize (KiB) 328384
[startup+1082.9 s]
/proc/loadavg: 2.00 1.97 1.75 3/387 24859
/proc/meminfo: memFree=23105444/32951124 swapFree=49244120/67111528
[pid=24351] ppid=24349 vsize=328768 CPUtime=1082.83 cores=0,2,4,6
/proc/24351/stat : 24351 (wbo1.6) R 24349 24351 23490 0 -1 4202496 81268 0 0 0 108030 253 0 0 25 0 1 0 818228042 336658432 81211 33554432000 4194304 5714214 140734104838144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24351/statm: 82192 81211 180 372 0 81817 0
Current children cumulated CPU time (s) 1082.83
Current children cumulated vsize (KiB) 328768
Child status: 0
Real time (s): 1082.94
CPU time (s): 1082.88
CPU user time (s): 1080.33
CPU system time (s): 2.54661
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 328768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1080.33
system time used= 2.54661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81279
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= 5
involuntary context switches= 1572
runsolver used 4.29735 second user time and 8.87665 second system time
The end