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-3500065-1307989901/watcher-3500065-1307989901 -o /var/tmp/evaluation-result-3500065-1307989901/solver-3500065-1307989901 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500065-1307989901.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: 1.00 1.00 1.00 2/172 5345
/proc/meminfo: memFree=12920988/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=0 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 481 0 0 0 0 0 0 0 21 0 3 0 989220625 138006528 431 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 431 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=0 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 123 0 0 0 0 0 0 0 22 0 3 0 989220625 138006528 438 33554432000 4194304 5714118 140734520411680 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=0 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 3 0 989220625 138006528 438 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.0384319 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 5345
/proc/meminfo: memFree=12920988/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=0.07 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 885 0 0 0 7 0 0 0 21 0 3 0 989220625 138006528 830 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 831 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=0.03 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 428 0 0 0 3 0 0 0 23 0 3 0 989220625 138006528 831 33554432000 4194304 5714118 140734520411680 18446744073709551615 4301761 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=0.03 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 134 0 0 0 3 0 0 0 18 0 3 0 989220625 138006528 831 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 134772
[startup+0.100388 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 5345
/proc/meminfo: memFree=12920988/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=0.19 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 1311 0 0 0 18 1 0 0 21 0 3 0 989220625 138006528 1159 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 1159 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=0.09 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 722 0 0 0 8 1 0 0 23 0 3 0 989220625 138006528 1159 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=0.09 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 265 0 0 0 9 0 0 0 18 0 3 0 989220625 138006528 1159 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134772
[startup+0.300351 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 5345
/proc/meminfo: memFree=12920988/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=0.59 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 2405 0 0 0 52 7 0 0 21 0 3 0 989220625 138006528 1817 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 1817 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=0.29 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 1632 0 0 0 24 5 0 0 24 0 3 0 989220625 138006528 1817 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=0.29 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 449 0 0 0 28 1 0 0 18 0 3 0 989220625 138006528 1817 33554432000 4194304 5714118 140734520411680 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134772
[startup+0.700279 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 5345
/proc/meminfo: memFree=12920988/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=1.39 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 3723 0 0 0 126 13 0 0 21 0 3 0 989220625 138006528 2512 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 2512 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=0.69 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2777 0 0 0 58 11 0 0 25 0 3 0 989220625 138006528 2512 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=0.69 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 622 0 0 0 67 2 0 0 18 0 3 0 989220625 138006528 2512 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134772
[startup+1.50113 s]
/proc/loadavg: 1.00 1.00 1.00 6/179 5384
/proc/meminfo: memFree=12859396/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=3 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 5916 0 0 0 274 26 0 0 21 0 3 0 989220625 138006528 3541 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 3541 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=1.49 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 4849 0 0 0 129 20 0 0 25 0 3 0 989220625 138006528 3541 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=1.49 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 743 0 0 0 144 5 0 0 20 0 3 0 989220625 138006528 3541 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 134772
[startup+3.10083 s]
/proc/loadavg: 1.24 1.05 1.02 6/179 5384
/proc/meminfo: memFree=12816244/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=6.19 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 7731 0 0 0 581 38 0 0 21 0 3 0 989220625 138006528 4664 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 4664 179 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=3.09 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 6612 0 0 0 282 27 0 0 25 0 3 0 989220625 138006528 4664 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=3.09 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 795 0 0 0 299 10 0 0 25 0 3 0 989220625 138006528 4664 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 134772
[startup+6.30024 s]
/proc/loadavg: 1.24 1.05 1.02 5/179 5384
/proc/meminfo: memFree=12703820/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=12.59 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 8831 0 0 0 1204 55 0 0 21 0 3 0 989220625 138006528 5764 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 5764 180 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=6.29 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 7271 0 0 0 594 35 0 0 25 0 3 0 989220625 138006528 5764 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=6.29 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 1236 0 0 0 610 19 0 0 25 0 3 0 989220625 138006528 5764 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 134772
[startup+12.701 s]
/proc/loadavg: 1.66 1.15 1.05 5/179 5384
/proc/meminfo: memFree=12517232/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=134772 CPUtime=25.4 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 10589 0 0 0 2455 85 0 0 21 0 3 0 989220625 138006528 7521 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 33693 7521 180 372 0 33318 0
[pid=5345/tid=5346] ppid=5343 vsize=134772 CPUtime=12.69 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 8553 0 0 0 1223 46 0 0 25 0 3 0 989220625 138006528 7521 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=134772 CPUtime=12.69 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 1712 0 0 0 1231 38 0 0 25 0 3 0 989220625 138006528 7521 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 134772
[startup+25.5007 s]
/proc/loadavg: 2.02 1.24 1.08 5/179 5384
/proc/meminfo: memFree=12193584/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=136700 CPUtime=51 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 15255 0 0 0 4967 133 0 0 21 0 3 0 989220625 139980800 12058 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 34175 12058 180 372 0 33800 0
[pid=5345/tid=5346] ppid=5343 vsize=136700 CPUtime=25.49 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 12830 0 0 0 2483 66 0 0 25 0 3 0 989220625 139980800 12058 33554432000 4194304 5714118 140734520411680 18446744073709551615 4322874 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=136700 CPUtime=25.49 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2101 0 0 0 2483 66 0 0 25 0 3 0 989220625 139980800 12058 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 136700
Solver just ended. Dumping a history of the last processes samples
[startup+31.9065 s]
/proc/loadavg: 2.33 1.33 1.11 5/179 5384
/proc/meminfo: memFree=12056808/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=136700 CPUtime=63.8 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 15332 0 0 0 6230 150 0 0 21 0 3 0 989220625 139980800 12135 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 34175 12135 180 372 0 33800 0
[pid=5345/tid=5346] ppid=5343 vsize=136700 CPUtime=31.9 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 12830 0 0 0 3119 71 0 0 25 0 3 0 989220625 139980800 12135 33554432000 4194304 5714118 140734520411680 18446744073709551615 4322635 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=136700 CPUtime=31.9 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2178 0 0 0 3111 79 0 0 25 0 3 0 989220625 139980800 12135 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 63.8
Current children cumulated vsize (KiB) 136700
[startup+33.5012 s]
/proc/loadavg: 2.33 1.33 1.11 5/179 5385
/proc/meminfo: memFree=12034848/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=136700 CPUtime=67 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 15414 0 0 0 6546 154 0 0 21 0 3 0 989220625 139980800 12217 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 34175 12217 180 372 0 33800 0
[pid=5345/tid=5346] ppid=5343 vsize=136700 CPUtime=33.5 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 12830 0 0 0 3278 72 0 0 25 0 3 0 989220625 139980800 12217 33554432000 4194304 5714118 140734520411680 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=136700 CPUtime=33.5 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2260 0 0 0 3268 82 0 0 25 0 3 0 989220625 139980800 12217 33554432000 4194304 5714118 140734520411680 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 67
Current children cumulated vsize (KiB) 136700
[startup+35.1009 s]
/proc/loadavg: 2.33 1.33 1.11 5/179 5385
/proc/meminfo: memFree=11984876/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=136700 CPUtime=70.2 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 15455 0 0 0 6862 158 0 0 21 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 34175 12258 180 372 0 33800 0
[pid=5345/tid=5346] ppid=5343 vsize=136700 CPUtime=35.09 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 12830 0 0 0 3437 72 0 0 25 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=136700 CPUtime=35.09 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2301 0 0 0 3424 85 0 0 25 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 70.2
Current children cumulated vsize (KiB) 136700
[startup+35.5008 s]
/proc/loadavg: 2.33 1.33 1.11 5/179 5385
/proc/meminfo: memFree=11984876/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=136700 CPUtime=70.99 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 15455 0 0 0 6940 159 0 0 21 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 34175 12258 180 372 0 33800 0
[pid=5345/tid=5346] ppid=5343 vsize=136700 CPUtime=35.49 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 12830 0 0 0 3477 72 0 0 25 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=136700 CPUtime=35.49 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2301 0 0 0 3463 86 0 0 25 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 70.99
Current children cumulated vsize (KiB) 136700
[startup+35.7008 s]
/proc/loadavg: 2.33 1.33 1.11 5/179 5385
/proc/meminfo: memFree=11984876/32951124 swapFree=67062556/67111528
[pid=5345] ppid=5343 vsize=136700 CPUtime=71.4 cores=1,3,5,7
/proc/5345/stat : 5345 (pwbo1.1) S 5343 5345 4694 0 -1 4202496 15455 0 0 0 6980 160 0 0 21 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/5345/statm: 34175 12258 180 372 0 33800 0
[pid=5345/tid=5346] ppid=5343 vsize=136700 CPUtime=35.7 cores=1,3,5,7
/proc/5345/task/5346/stat : 5346 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 12830 0 0 0 3497 73 0 0 25 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 4323251 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=5345/tid=5347] ppid=5343 vsize=136700 CPUtime=35.69 cores=1,3,5,7
/proc/5345/task/5347/stat : 5347 (pwbo1.1) R 5343 5345 4694 0 -1 4202560 2301 0 0 0 3482 87 0 0 25 0 3 0 989220625 139980800 12258 33554432000 4194304 5714118 140734520411680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 71.4
Current children cumulated vsize (KiB) 136700
Child status: 0
Real time (s): 35.7185
CPU time (s): 71.4361
CPU user time (s): 69.8304
CPU system time (s): 1.60576
CPU usage (%): 199.997
Max. virtual memory (cumulated for all children) (KiB): 136700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.8304
system time used= 1.60575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15460
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= 23
involuntary context switches= 74
runsolver used 0.05999 second user time and 0.120981 second system time
The end