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-3500442-1307995475/watcher-3500442-1307995475 -o /var/tmp/evaluation-result-3500442-1307995475/solver-3500442-1307995475 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500442-1307995475.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: 3.64 3.92 3.90 4/179 17157
/proc/meminfo: memFree=30068868/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=134732 CPUtime=0 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 377 0 0 0 0 0 0 0 24 0 3 0 911146270 137965568 328 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33683 328 181 372 0 33308 0
[pid=17157/tid=17158] ppid=17155 vsize=134732 CPUtime=0 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 3 0 911146270 137965568 329 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=134732 CPUtime=0 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 3 0 911146270 137965568 329 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.100323 s]
/proc/loadavg: 3.64 3.92 3.90 4/179 17157
/proc/meminfo: memFree=30068868/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=134732 CPUtime=0.19 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 837 0 0 0 18 1 0 0 24 0 3 0 911146270 137965568 788 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33683 788 181 372 0 33308 0
[pid=17157/tid=17158] ppid=17155 vsize=134732 CPUtime=0.09 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 325 0 0 0 9 0 0 0 25 0 3 0 911146270 137965568 788 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=134732 CPUtime=0.09 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 196 0 0 0 9 0 0 0 25 0 3 0 911146270 137965568 788 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134732
[startup+0.200305 s]
/proc/loadavg: 3.64 3.92 3.90 4/179 17157
/proc/meminfo: memFree=30068868/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=134732 CPUtime=0.39 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 1122 0 0 0 38 1 0 0 24 0 3 0 911146270 137965568 1073 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33683 1073 181 372 0 33308 0
[pid=17157/tid=17158] ppid=17155 vsize=134732 CPUtime=0.19 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 508 0 0 0 19 0 0 0 25 0 3 0 911146270 137965568 1073 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=134732 CPUtime=0.19 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 298 0 0 0 19 0 0 0 25 0 3 0 911146270 137965568 1073 33554432000 4194304 5714118 140736471070240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 134732
[startup+0.300348 s]
/proc/loadavg: 3.64 3.92 3.90 4/179 17157
/proc/meminfo: memFree=30068868/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=134732 CPUtime=0.59 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 1429 0 0 0 57 2 0 0 24 0 3 0 911146270 137965568 1380 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33683 1380 181 372 0 33308 0
[pid=17157/tid=17158] ppid=17155 vsize=134732 CPUtime=0.29 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 695 0 0 0 28 1 0 0 25 0 3 0 911146270 137965568 1380 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=134732 CPUtime=0.28 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 418 0 0 0 28 0 0 0 25 0 3 0 911146270 137965568 1380 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134732
[startup+0.700215 s]
/proc/loadavg: 3.64 3.92 3.90 4/179 17157
/proc/meminfo: memFree=30068868/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=135020 CPUtime=1.39 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 1830 0 0 0 135 4 0 0 24 0 3 0 911146270 138260480 1781 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33755 1781 181 372 0 33380 0
[pid=17157/tid=17158] ppid=17155 vsize=135020 CPUtime=0.69 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1004 0 0 0 67 2 0 0 25 0 3 0 911146270 138260480 1781 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=135020 CPUtime=0.69 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 510 0 0 0 67 2 0 0 25 0 3 0 911146270 138260480 1781 33554432000 4194304 5714118 140736471070240 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135020
[startup+1.50107 s]
/proc/loadavg: 3.64 3.92 3.90 5/182 17160
/proc/meminfo: memFree=30060312/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=135308 CPUtime=2.99 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 2392 0 0 0 289 10 0 0 24 0 3 0 911146270 138555392 2343 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33827 2343 182 372 0 33452 0
[pid=17157/tid=17158] ppid=17155 vsize=135308 CPUtime=1.49 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1415 0 0 0 144 5 0 0 25 0 3 0 911146270 138555392 2343 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=135308 CPUtime=1.48 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 661 0 0 0 144 4 0 0 25 0 3 0 911146270 138555392 2343 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135308
[startup+3.10085 s]
/proc/loadavg: 3.67 3.92 3.90 5/182 17160
/proc/meminfo: memFree=30055352/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=135452 CPUtime=6.19 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 3257 0 0 0 602 17 0 0 24 0 3 0 911146270 138702848 3208 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33863 3208 182 372 0 33488 0
[pid=17157/tid=17158] ppid=17155 vsize=135452 CPUtime=3.09 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 2159 0 0 0 299 10 0 0 25 0 3 0 911146270 138702848 3208 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=135452 CPUtime=3.09 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 782 0 0 0 302 7 0 0 25 0 3 0 911146270 138702848 3208 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135452
[startup+6.30022 s]
/proc/loadavg: 3.67 3.92 3.90 5/182 17160
/proc/meminfo: memFree=30045572/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=135596 CPUtime=12.58 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 4634 0 0 0 1226 32 0 0 24 0 3 0 911146270 138850304 4585 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 33899 4585 182 372 0 33524 0
[pid=17157/tid=17158] ppid=17155 vsize=135596 CPUtime=6.29 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 3365 0 0 0 613 16 0 0 25 0 3 0 911146270 138850304 4585 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=135596 CPUtime=6.29 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 953 0 0 0 613 16 0 0 25 0 3 0 911146270 138850304 4585 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 135596
[startup+12.7011 s]
/proc/loadavg: 3.72 3.92 3.90 5/182 17160
/proc/meminfo: memFree=30027704/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=136892 CPUtime=25.39 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 7273 0 0 0 2477 62 0 0 24 0 3 0 911146270 140177408 7224 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 34223 7224 182 372 0 33848 0
[pid=17157/tid=17158] ppid=17155 vsize=136892 CPUtime=12.69 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 5757 0 0 0 1238 31 0 0 25 0 3 0 911146270 140177408 7224 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=136892 CPUtime=12.69 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1200 0 0 0 1239 30 0 0 25 0 3 0 911146270 140177408 7224 33554432000 4194304 5714118 140736471070240 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136892
[startup+25.5008 s]
/proc/loadavg: 3.76 3.93 3.90 5/182 17160
/proc/meminfo: memFree=29996548/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=138692 CPUtime=50.99 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 11471 0 0 0 4981 118 0 0 24 0 3 0 911146270 142020608 11422 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 34673 11422 182 372 0 34298 0
[pid=17157/tid=17158] ppid=17155 vsize=138692 CPUtime=25.49 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 9780 0 0 0 2491 58 0 0 25 0 3 0 911146270 142020608 11422 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=138692 CPUtime=25.49 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1375 0 0 0 2489 60 0 0 25 0 3 0 911146270 142020608 11422 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138692
[startup+51.1003 s]
/proc/loadavg: 3.53 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30032736/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=205956 CPUtime=102.19 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 18955 0 0 0 9996 223 0 0 24 0 3 0 911146270 210898944 18906 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51489 18906 182 372 0 51114 0
[pid=17157/tid=17158] ppid=17155 vsize=205956 CPUtime=51.09 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 17003 0 0 0 5000 109 0 0 25 0 3 0 911146270 210898944 18906 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=205956 CPUtime=51.09 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1636 0 0 0 4996 113 0 0 25 0 3 0 911146270 210898944 18906 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 205956
Solver just ended. Dumping a history of the last processes samples
[startup+51.2013 s]
/proc/loadavg: 3.53 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30032736/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=205956 CPUtime=102.39 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 18955 0 0 0 10015 224 0 0 24 0 3 0 911146270 210898944 18906 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51489 18906 182 372 0 51114 0
[pid=17157/tid=17158] ppid=17155 vsize=205956 CPUtime=51.19 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 17003 0 0 0 5010 109 0 0 25 0 3 0 911146270 210898944 18906 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=205956 CPUtime=51.19 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1636 0 0 0 5005 114 0 0 25 0 3 0 911146270 210898944 18906 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 205956
[startup+54.4007 s]
/proc/loadavg: 3.56 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30025924/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=205956 CPUtime=108.79 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 19775 0 0 0 10647 232 0 0 24 0 3 0 911146270 210898944 19726 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51489 19726 182 372 0 51114 0
[pid=17157/tid=17158] ppid=17155 vsize=205956 CPUtime=54.39 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 17809 0 0 0 5325 114 0 0 25 0 3 0 911146270 210898944 19726 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=205956 CPUtime=54.39 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1650 0 0 0 5322 117 0 0 25 0 3 0 911146270 210898944 19726 33554432000 4194304 5714118 140736471070240 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 108.79
Current children cumulated vsize (KiB) 205956
[startup+56.0004 s]
/proc/loadavg: 3.56 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30022820/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=206244 CPUtime=111.99 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 20131 0 0 0 10964 235 0 0 24 0 3 0 911146270 211193856 20082 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51561 20082 182 372 0 51186 0
[pid=17157/tid=17158] ppid=17155 vsize=206244 CPUtime=55.99 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 18165 0 0 0 5483 116 0 0 25 0 3 0 911146270 211193856 20082 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=206244 CPUtime=55.99 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1650 0 0 0 5481 118 0 0 25 0 3 0 911146270 211193856 20082 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 111.99
Current children cumulated vsize (KiB) 206244
[startup+56.8003 s]
/proc/loadavg: 3.56 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30020712/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=206244 CPUtime=113.59 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 20454 0 0 0 11122 237 0 0 24 0 3 0 911146270 211193856 20405 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51561 20405 182 372 0 51186 0
[pid=17157/tid=17158] ppid=17155 vsize=206244 CPUtime=56.79 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 18486 0 0 0 5562 117 0 0 25 0 3 0 911146270 211193856 20405 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=206244 CPUtime=56.79 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1652 0 0 0 5560 119 0 0 25 0 3 0 911146270 211193856 20405 33554432000 4194304 5714118 140736471070240 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 113.59
Current children cumulated vsize (KiB) 206244
[startup+57.6011 s]
/proc/loadavg: 3.60 3.86 3.88 5/182 17201
/proc/meminfo: memFree=30018356/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=206244 CPUtime=115.2 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 20632 0 0 0 11281 239 0 0 24 0 3 0 911146270 211193856 20583 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51561 20583 182 372 0 51186 0
[pid=17157/tid=17158] ppid=17155 vsize=206244 CPUtime=57.59 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 18663 0 0 0 5641 118 0 0 25 0 3 0 911146270 211193856 20583 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=206244 CPUtime=57.59 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1653 0 0 0 5639 120 0 0 25 0 3 0 911146270 211193856 20583 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 115.2
Current children cumulated vsize (KiB) 206244
[startup+57.8011 s]
/proc/loadavg: 3.60 3.86 3.88 5/182 17201
/proc/meminfo: memFree=30018356/32950928 swapFree=67048888/67111528
[pid=17157] ppid=17155 vsize=206244 CPUtime=115.59 cores=1,3,5,7
/proc/17157/stat : 17157 (pwbo1.1) S 17155 17157 15608 0 -1 4202496 20637 0 0 0 11320 239 0 0 24 0 3 0 911146270 211193856 20588 33554432000 4194304 5714118 140736471070240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17157/statm: 51561 20588 182 372 0 51186 0
[pid=17157/tid=17158] ppid=17155 vsize=206244 CPUtime=57.79 cores=1,3,5,7
/proc/17157/task/17158/stat : 17158 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 18668 0 0 0 5661 118 0 0 25 0 3 0 911146270 211193856 20588 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17157/tid=17159] ppid=17155 vsize=206244 CPUtime=57.79 cores=1,3,5,7
/proc/17157/task/17159/stat : 17159 (pwbo1.1) R 17155 17157 15608 0 -1 4202560 1653 0 0 0 5659 120 0 0 25 0 3 0 911146270 211193856 20588 33554432000 4194304 5714118 140736471070240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 115.59
Current children cumulated vsize (KiB) 206244
Child status: 0
Real time (s): 57.8747
CPU time (s): 115.743
CPU user time (s): 113.343
CPU system time (s): 2.40064
CPU usage (%): 199.99
Max. virtual memory (cumulated for all children) (KiB): 206244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.343
system time used= 2.40063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20643
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= 11
involuntary context switches= 277
runsolver used 0.094985 second user time and 0.183972 second system time
The end