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 /tmp/evaluation-result-3704257-1338093156/watcher-3704257-1338093156 -o /tmp/evaluation-result-3704257-1338093156/solver-3704257-1338093156 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704257-1338093156.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.00 2.02 1.99 3/177 6433
/proc/meminfo: memFree=28329140/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83576 CPUtime=0 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 2 0 275442337 85581824 705 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20894 705 189 433 0 20458 0
[pid=6433/tid=6434] ppid=6431 vsize=83576 CPUtime=0 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 275442337 85581824 705 33554432000 4194304 5965102 140736464743888 140737327849432 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.104729 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 6433
/proc/meminfo: memFree=28329140/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83576 CPUtime=0.1 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 985 0 0 0 10 0 0 0 20 0 2 0 275442337 85581824 936 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20894 936 190 433 0 20458 0
[pid=6433/tid=6434] ppid=6431 vsize=83576 CPUtime=0.09 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 283 0 0 0 9 0 0 0 20 0 2 0 275442337 85581824 936 33554432000 4194304 5965102 140736464743888 140737327849432 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 83576
[startup+0.200306 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 6433
/proc/meminfo: memFree=28329140/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83576 CPUtime=0.19 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 1168 0 0 0 19 0 0 0 20 0 2 0 275442337 85581824 1119 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20894 1119 190 433 0 20458 0
[pid=6433/tid=6434] ppid=6431 vsize=83576 CPUtime=0.18 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 466 0 0 0 18 0 0 0 20 0 2 0 275442337 85581824 1119 33554432000 4194304 5965102 140736464743888 140737327849432 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83576
[startup+0.300298 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 6433
/proc/meminfo: memFree=28329140/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83576 CPUtime=0.29 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 1259 0 0 0 29 0 0 0 20 0 2 0 275442337 85581824 1210 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20894 1210 190 433 0 20458 0
[pid=6433/tid=6434] ppid=6431 vsize=83576 CPUtime=0.28 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 557 0 0 0 28 0 0 0 20 0 2 0 275442337 85581824 1210 33554432000 4194304 5965102 140736464743888 140737327849432 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83576
[startup+0.700243 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 6433
/proc/meminfo: memFree=28329140/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83576 CPUtime=0.69 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 1511 0 0 0 69 0 0 0 20 0 2 0 275442337 85581824 1462 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20894 1462 190 433 0 20458 0
[pid=6433/tid=6434] ppid=6431 vsize=83576 CPUtime=0.68 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 809 0 0 0 68 0 0 0 20 0 2 0 275442337 85581824 1462 33554432000 4194304 5965102 140736464743888 140436764751672 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83576
[startup+1.50026 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 6435
/proc/meminfo: memFree=28320156/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83576 CPUtime=1.49 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 1895 0 0 0 149 0 0 0 20 0 2 0 275442337 85581824 1846 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20894 1846 190 433 0 20458 0
[pid=6433/tid=6434] ppid=6431 vsize=83576 CPUtime=1.48 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 1193 0 0 0 148 0 0 0 20 0 2 0 275442337 85581824 1846 33554432000 4194304 5965102 140736464743888 140436764751672 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83576
[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 6435
/proc/meminfo: memFree=28314452/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83720 CPUtime=3.09 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 2301 0 0 0 309 0 0 0 20 0 2 0 275442337 85729280 2252 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20930 2252 190 433 0 20494 0
[pid=6433/tid=6434] ppid=6431 vsize=83720 CPUtime=3.08 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 1599 0 0 0 308 0 0 0 20 0 2 0 275442337 85729280 2252 33554432000 4194304 5965102 140736464743888 140436764751672 4401064 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83720
[startup+6.30026 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 6435
/proc/meminfo: memFree=28301092/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=83720 CPUtime=6.29 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 2904 0 0 0 629 0 0 0 20 0 2 0 275442337 85729280 2855 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 20930 2855 190 433 0 20494 0
[pid=6433/tid=6434] ppid=6431 vsize=83720 CPUtime=6.28 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 2202 0 0 0 628 0 0 0 20 0 2 0 275442337 85729280 2855 33554432000 4194304 5965102 140736464743888 140436764751672 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83720
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 6435
/proc/meminfo: memFree=28278924/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=84080 CPUtime=12.69 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 3997 0 0 0 1269 0 0 0 20 0 2 0 275442337 86097920 3948 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 21020 3948 190 433 0 20584 0
[pid=6433/tid=6434] ppid=6431 vsize=84080 CPUtime=12.68 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 3295 0 0 0 1268 0 0 0 20 0 2 0 275442337 86097920 3948 33554432000 4194304 5965102 140736464743888 140436764751912 4380443 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84080
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/180 6436
/proc/meminfo: memFree=28261556/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=84620 CPUtime=25.49 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 5838 0 0 0 2548 1 0 0 20 0 2 0 275442337 86650880 5774 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 21155 5774 190 433 0 20719 0
[pid=6433/tid=6434] ppid=6431 vsize=84620 CPUtime=25.48 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 5136 0 0 0 2548 0 0 0 20 0 2 0 275442337 86650880 5774 33554432000 4194304 5965102 140736464743888 140436764751672 4401009 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84620
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/180 6436
/proc/meminfo: memFree=28252952/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=87156 CPUtime=51.08 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 7991 0 0 0 5106 2 0 0 20 0 2 0 275442337 89247744 7927 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 21789 7927 190 433 0 21353 0
[pid=6433/tid=6434] ppid=6431 vsize=87156 CPUtime=51.08 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 7289 0 0 0 5106 2 0 0 20 0 2 0 275442337 89247744 7927 33554432000 4194304 5965102 140736464743888 140436764751912 4401441 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87156
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 6436
/proc/meminfo: memFree=28239984/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=93996 CPUtime=102.28 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 11120 0 0 0 10225 3 0 0 20 0 2 0 275442337 96251904 11047 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 23499 11047 190 433 0 23063 0
[pid=6433/tid=6434] ppid=6431 vsize=93996 CPUtime=102.29 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 10418 0 0 0 10224 5 0 0 20 0 2 0 275442337 96251904 11047 33554432000 4194304 5965102 140736464743888 140436764751864 4400952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93996
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 6436
/proc/meminfo: memFree=28183096/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=95784 CPUtime=162.27 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 13706 0 0 0 16222 5 0 0 20 0 2 0 275442337 98082816 13633 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 23946 13633 190 433 0 23510 0
[pid=6433/tid=6434] ppid=6431 vsize=95784 CPUtime=162.29 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 13004 0 0 0 16222 7 0 0 20 0 2 0 275442337 98082816 13633 33554432000 4194304 5965102 140736464743888 140436764751864 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 95784
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6437
/proc/meminfo: memFree=28172832/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=99024 CPUtime=222.26 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 16269 0 0 0 22218 8 0 0 20 0 2 0 275442337 101400576 16196 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 24756 16196 190 433 0 24320 0
[pid=6433/tid=6434] ppid=6431 vsize=99024 CPUtime=222.3 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 15567 0 0 0 22219 11 0 0 20 0 2 0 275442337 101400576 16196 33554432000 4194304 5965102 140736464743888 140436764751864 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 99024
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28158756/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=101848 CPUtime=282.23 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 19048 0 0 0 28213 10 0 0 20 0 2 0 275442337 104292352 18992 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25462 18992 190 433 0 25026 0
[pid=6433/tid=6434] ppid=6431 vsize=101848 CPUtime=282.28 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 18346 0 0 0 28213 15 0 0 20 0 2 0 275442337 104292352 18992 33554432000 4194304 5965102 140736464743888 140436764751912 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 101848
Solver just ended. Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28154604/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=102356 CPUtime=294.32 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 19995 0 0 0 29421 11 0 0 20 0 2 0 275442337 104812544 19936 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25589 19936 190 433 0 25153 0
[pid=6433/tid=6434] ppid=6431 vsize=102356 CPUtime=294.37 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 19293 0 0 0 29421 16 0 0 20 0 2 0 275442337 104812544 19936 33554432000 4194304 5965102 140736464743888 140436764751672 4400952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 294.32
Current children cumulated vsize (KiB) 102356
[startup+300.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28150568/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=102608 CPUtime=300.72 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 20063 0 0 0 30061 11 0 0 20 0 2 0 275442337 105070592 20962 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25652 20962 190 433 0 25216 0
[pid=6433/tid=6434] ppid=6431 vsize=102608 CPUtime=300.77 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 19361 0 0 0 30061 16 0 0 20 0 2 0 275442337 105070592 20962 33554432000 4194304 5965102 140736464743888 140436764751672 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 300.72
Current children cumulated vsize (KiB) 102608
[startup+302.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28150568/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=102896 CPUtime=302.32 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 20107 0 0 0 30221 11 0 0 20 0 2 0 275442337 105365504 21006 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25724 21006 190 433 0 25288 0
[pid=6433/tid=6434] ppid=6431 vsize=102896 CPUtime=302.37 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 19405 0 0 0 30221 16 0 0 20 0 2 0 275442337 105365504 21006 33554432000 4194304 5965102 140736464743888 140436764751912 4400992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 302.32
Current children cumulated vsize (KiB) 102896
[startup+304 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28150196/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=103076 CPUtime=303.92 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 20152 0 0 0 30381 11 0 0 20 0 2 0 275442337 105549824 21051 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25769 21051 190 433 0 25333 0
[pid=6433/tid=6434] ppid=6431 vsize=103076 CPUtime=303.97 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 19450 0 0 0 30381 16 0 0 20 0 2 0 275442337 105549824 21051 33554432000 4194304 5965102 140736464743888 140436764751912 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 303.92
Current children cumulated vsize (KiB) 103076
[startup+304.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28150196/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=103184 CPUtime=304.32 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 20165 0 0 0 30421 11 0 0 20 0 2 0 275442337 105660416 21064 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25796 21064 190 433 0 25360 0
[pid=6433/tid=6434] ppid=6431 vsize=103184 CPUtime=304.37 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 19463 0 0 0 30421 16 0 0 20 0 2 0 275442337 105660416 21064 33554432000 4194304 5965102 140736464743888 140436764751912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 304.32
Current children cumulated vsize (KiB) 103184
[startup+304.806 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6437
/proc/meminfo: memFree=28150196/32873648 swapFree=6844/6844
[pid=6433] ppid=6431 vsize=103184 CPUtime=304.72 cores=0,2,4,6
/proc/6433/stat : 6433 (pwbo2.0) S 6431 6433 5668 0 -1 4202496 20169 0 0 0 30461 11 0 0 20 0 2 0 275442337 105660416 21068 33554432000 4194304 5965102 140736464743888 140736464743408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6433/statm: 25796 21068 190 433 0 25360 0
[pid=6433/tid=6434] ppid=6431 vsize=103184 CPUtime=304.78 cores=0,2,4,6
/proc/6433/task/6434/stat : 6434 (pwbo2.0) R 6431 6433 5668 0 -1 4202560 19467 0 0 0 30462 16 0 0 20 0 2 0 275442337 105660416 21068 33554432000 4194304 5965102 140736464743888 140436764751912 4401123 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 304.72
Current children cumulated vsize (KiB) 103184
Child status: 255
Real time (s): 304.815
CPU time (s): 304.807
CPU user time (s): 304.634
CPU system time (s): 0.172973
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 103184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.634
system time used= 0.172973
maximum resident set size= 84284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20172
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= 35
involuntary context switches= 321
runsolver used 0.484926 second user time and 1.19182 second system time
The end