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 /var/tmp/evaluation-result-3500436-1307995346/watcher-3500436-1307995346 -o /var/tmp/evaluation-result-3500436-1307995346/solver-3500436-1307995346 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500436-1307995346.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: 4.00 3.99 3.91 3/176 6441
/proc/meminfo: memFree=12267516/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=134732 CPUtime=0 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 370 0 0 0 0 0 0 0 25 0 3 0 989765052 137965568 321 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33683 321 181 372 0 33308 0
[pid=6441/tid=6442] ppid=6439 vsize=134732 CPUtime=0 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 3 0 989765052 137965568 322 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=134732 CPUtime=0 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 3 0 989765052 137965568 322 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.105006 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6441
/proc/meminfo: memFree=12267516/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=134732 CPUtime=0.2 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 797 0 0 0 20 0 0 0 25 0 3 0 989765052 137965568 748 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33683 748 181 372 0 33308 0
[pid=6441/tid=6442] ppid=6439 vsize=134732 CPUtime=0.1 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 302 0 0 0 10 0 0 0 25 0 3 0 989765052 137965568 748 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=134732 CPUtime=0.09 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 179 0 0 0 9 0 0 0 18 0 3 0 989765052 137965568 748 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 134732
[startup+0.200999 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6441
/proc/meminfo: memFree=12267516/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=134732 CPUtime=0.39 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 1063 0 0 0 38 1 0 0 25 0 3 0 989765052 137965568 1014 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33683 1014 181 372 0 33308 0
[pid=6441/tid=6442] ppid=6439 vsize=134732 CPUtime=0.19 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 452 0 0 0 19 0 0 0 25 0 3 0 989765052 137965568 1014 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=134732 CPUtime=0.18 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 295 0 0 0 18 0 0 0 18 0 3 0 989765052 137965568 1014 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 134732
[startup+0.300958 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6441
/proc/meminfo: memFree=12267516/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=134732 CPUtime=0.58 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 1261 0 0 0 57 1 0 0 25 0 3 0 989765052 137965568 1212 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33683 1212 181 372 0 33308 0
[pid=6441/tid=6442] ppid=6439 vsize=134732 CPUtime=0.29 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 581 0 0 0 29 0 0 0 25 0 3 0 989765052 137965568 1212 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=134732 CPUtime=0.29 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 364 0 0 0 28 1 0 0 18 0 3 0 989765052 137965568 1212 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134732
[startup+0.70089 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6441
/proc/meminfo: memFree=12267516/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=135020 CPUtime=1.39 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 1668 0 0 0 137 2 0 0 25 0 3 0 989765052 138260480 1619 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33755 1619 181 372 0 33380 0
[pid=6441/tid=6442] ppid=6439 vsize=135020 CPUtime=0.69 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 838 0 0 0 69 0 0 0 25 0 3 0 989765052 138260480 1619 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=135020 CPUtime=0.69 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 514 0 0 0 68 1 0 0 18 0 3 0 989765052 138260480 1619 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135020
[startup+1.50074 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6444
/proc/meminfo: memFree=12260448/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=135020 CPUtime=2.99 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 2296 0 0 0 295 4 0 0 25 0 3 0 989765052 138260480 2247 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33755 2247 181 372 0 33380 0
[pid=6441/tid=6442] ppid=6439 vsize=135020 CPUtime=1.49 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1352 0 0 0 148 1 0 0 25 0 3 0 989765052 138260480 2247 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=135020 CPUtime=1.49 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 628 0 0 0 147 2 0 0 19 0 3 0 989765052 138260480 2247 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135020
[startup+3.10044 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6444
/proc/meminfo: memFree=12256852/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=135596 CPUtime=6.19 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 3232 0 0 0 611 8 0 0 25 0 3 0 989765052 138850304 3183 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 33899 3183 182 372 0 33524 0
[pid=6441/tid=6442] ppid=6439 vsize=135596 CPUtime=3.09 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 2118 0 0 0 306 3 0 0 25 0 3 0 989765052 138850304 3183 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=135596 CPUtime=3.08 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 798 0 0 0 304 4 0 0 19 0 3 0 989765052 138850304 3183 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135596
[startup+6.30084 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6444
/proc/meminfo: memFree=12247120/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=136172 CPUtime=12.59 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 4549 0 0 0 1245 14 0 0 25 0 3 0 989765052 139440128 4500 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34043 4500 182 372 0 33668 0
[pid=6441/tid=6442] ppid=6439 vsize=136172 CPUtime=6.29 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 3301 0 0 0 623 6 0 0 25 0 3 0 989765052 139440128 4500 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=136172 CPUtime=6.28 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 932 0 0 0 621 7 0 0 25 0 3 0 989765052 139440128 4500 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 136172
[startup+12.7007 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6444
/proc/meminfo: memFree=12233868/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=137108 CPUtime=25.39 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 6957 0 0 0 2513 26 0 0 25 0 3 0 989765052 140398592 6908 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34277 6908 182 372 0 33902 0
[pid=6441/tid=6442] ppid=6439 vsize=137108 CPUtime=12.69 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 5499 0 0 0 1257 12 0 0 25 0 3 0 989765052 140398592 6908 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=137108 CPUtime=12.69 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1142 0 0 0 1255 14 0 0 20 0 3 0 989765052 140398592 6908 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137108
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6444
/proc/meminfo: memFree=12216484/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=138764 CPUtime=50.99 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 11038 0 0 0 5051 48 0 0 25 0 3 0 989765052 142094336 10989 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34691 10989 182 372 0 34316 0
[pid=6441/tid=6442] ppid=6439 vsize=138764 CPUtime=25.49 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 9400 0 0 0 2526 23 0 0 25 0 3 0 989765052 142094336 10989 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=138764 CPUtime=25.49 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1322 0 0 0 2524 25 0 0 25 0 3 0 989765052 142094336 10989 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138764
Solver just ended. Dumping a history of the last processes samples
[startup+25.6013 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6444
/proc/meminfo: memFree=12216484/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=138764 CPUtime=51.19 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 11038 0 0 0 5071 48 0 0 25 0 3 0 989765052 142094336 10989 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34691 10989 182 372 0 34316 0
[pid=6441/tid=6442] ppid=6439 vsize=138764 CPUtime=25.59 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 9400 0 0 0 2536 23 0 0 25 0 3 0 989765052 142094336 10989 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=138764 CPUtime=25.59 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1322 0 0 0 2534 25 0 0 25 0 3 0 989765052 142094336 10989 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 138764
[startup+32.0061 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12201972/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=139340 CPUtime=64 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 12824 0 0 0 6340 60 0 0 25 0 3 0 989765052 142684160 12775 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34835 12775 182 372 0 34460 0
[pid=6441/tid=6442] ppid=6439 vsize=139340 CPUtime=31.99 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 11119 0 0 0 3169 30 0 0 25 0 3 0 989765052 142684160 12775 33554432000 4194304 5714118 140737131178176 18446744073709551615 4347147 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=139340 CPUtime=32 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1389 0 0 0 3171 29 0 0 25 0 3 0 989765052 142684160 12775 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 64
Current children cumulated vsize (KiB) 139340
[startup+33.6008 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12201340/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=139484 CPUtime=67.19 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 13253 0 0 0 6657 62 0 0 25 0 3 0 989765052 142831616 13204 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34871 13204 182 372 0 34496 0
[pid=6441/tid=6442] ppid=6439 vsize=139484 CPUtime=33.59 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 11509 0 0 0 3328 31 0 0 25 0 3 0 989765052 142831616 13204 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=139484 CPUtime=33.58 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1428 0 0 0 3328 30 0 0 25 0 3 0 989765052 142831616 13204 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 67.19
Current children cumulated vsize (KiB) 139484
[startup+35.2005 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12198736/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=139628 CPUtime=70.4 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 13630 0 0 0 6976 64 0 0 25 0 3 0 989765052 142979072 13581 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34907 13581 182 372 0 34532 0
[pid=6441/tid=6442] ppid=6439 vsize=139628 CPUtime=35.2 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 11883 0 0 0 3487 33 0 0 25 0 3 0 989765052 142979072 13581 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=139628 CPUtime=35.19 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1431 0 0 0 3488 31 0 0 25 0 3 0 989765052 142979072 13581 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 70.4
Current children cumulated vsize (KiB) 139628
[startup+35.6004 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12198736/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=139628 CPUtime=71.19 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 13745 0 0 0 7054 65 0 0 25 0 3 0 989765052 142979072 13696 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34907 13696 182 372 0 34532 0
[pid=6441/tid=6442] ppid=6439 vsize=139628 CPUtime=35.59 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 11998 0 0 0 3526 33 0 0 25 0 3 0 989765052 142979072 13696 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=139628 CPUtime=35.58 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1431 0 0 0 3527 31 0 0 25 0 3 0 989765052 142979072 13696 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 71.19
Current children cumulated vsize (KiB) 139628
[startup+36.0003 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12198736/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=139628 CPUtime=71.99 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 13745 0 0 0 7133 66 0 0 25 0 3 0 989765052 142979072 13696 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34907 13696 182 372 0 34532 0
[pid=6441/tid=6442] ppid=6439 vsize=139628 CPUtime=35.99 cores=0,2,4,6
/proc/6441/task/6442/stat : 6442 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 11998 0 0 0 3566 33 0 0 25 0 3 0 989765052 142979072 13696 33554432000 4194304 5714118 140737131178176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6441/tid=6443] ppid=6439 vsize=139628 CPUtime=35.98 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1431 0 0 0 3567 31 0 0 25 0 3 0 989765052 142979072 13696 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 71.99
Current children cumulated vsize (KiB) 139628
[startup+36.1003 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6445
/proc/meminfo: memFree=12198736/32951124 swapFree=67062556/67111528
[pid=6441] ppid=6439 vsize=139628 CPUtime=72.19 cores=0,2,4,6
/proc/6441/stat : 6441 (pwbo1.1) S 6439 6441 4694 0 -1 4202496 13749 0 0 0 7153 66 0 0 18 0 2 0 989765052 142979072 13700 33554432000 4194304 5714118 140737131178176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/6441/statm: 34907 13700 182 372 0 34532 0
[pid=6441/tid=6443] ppid=6439 vsize=139628 CPUtime=36.08 cores=0,2,4,6
/proc/6441/task/6443/stat : 6443 (pwbo1.1) R 6439 6441 4694 0 -1 4202560 1431 0 0 0 3577 31 0 0 25 0 2 0 989765052 142979072 13700 33554432000 4194304 5714118 140737131178176 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 72.19
Current children cumulated vsize (KiB) 139628
Child status: 0
Real time (s): 36.152
CPU time (s): 72.249
CPU user time (s): 71.5851
CPU system time (s): 0.663899
CPU usage (%): 199.848
Max. virtual memory (cumulated for all children) (KiB): 139628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.5851
system time used= 0.663899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13753
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= 16
involuntary context switches= 133
runsolver used 0.045993 second user time and 0.124981 second system time
The end