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-3500285-1307992986/watcher-3500285-1307992986 -o /var/tmp/evaluation-result-3500285-1307992986/solver-3500285-1307992986 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500285-1307992986.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.99 3.97 3.84 3/179 12760
/proc/meminfo: memFree=11168604/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=2360 CPUtime=0 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) R 12758 12760 12151 0 -1 4202496 347 0 0 0 0 0 0 0 25 0 1 0 910899324 2416640 300 33554432000 4194304 5714118 140737411885504 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12760/statm: 590 301 168 372 0 184 0
[startup+0.092747 s]
/proc/loadavg: 3.99 3.97 3.84 3/179 12760
/proc/meminfo: memFree=11168604/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=157768 CPUtime=0.17 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 10079 0 0 0 15 2 0 0 25 0 3 0 910899324 161554432 9890 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 39442 9894 179 372 0 39067 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 157768
[startup+0.100701 s]
/proc/loadavg: 3.99 3.97 3.84 3/179 12760
/proc/meminfo: memFree=11168604/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=158032 CPUtime=0.18 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 10866 0 0 0 16 2 0 0 25 0 3 0 910899324 161824768 10676 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 39508 10679 179 372 0 39133 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 158032
[startup+0.300681 s]
/proc/loadavg: 3.99 3.97 3.84 3/179 12760
/proc/meminfo: memFree=11168604/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=158576 CPUtime=0.58 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 11724 0 0 0 55 3 0 0 25 0 3 0 910899324 162381824 11519 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 39644 11519 179 372 0 39269 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 158576
[startup+0.700606 s]
/proc/loadavg: 3.99 3.97 3.84 3/179 12760
/proc/meminfo: memFree=11168604/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=158576 CPUtime=1.38 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 11961 0 0 0 133 5 0 0 25 0 3 0 910899324 162381824 11746 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 39644 11746 179 372 0 39269 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 158576
[startup+1.50045 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 12763
/proc/meminfo: memFree=11120616/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=159000 CPUtime=2.97 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 12449 0 0 0 287 10 0 0 25 0 3 0 910899324 162816000 12234 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 39750 12234 179 372 0 39375 0
[pid=12760/tid=12762] ppid=12758 vsize=159000 CPUtime=1.48 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 1105 0 0 0 142 6 0 0 25 0 3 0 910899325 162816000 12234 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=159000 CPUtime=1.48 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 10802 0 0 0 144 4 0 0 20 0 3 0 910899325 162816000 12234 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 159000
[startup+3.10116 s]
/proc/loadavg: 3.99 3.97 3.84 3/178 12764
/proc/meminfo: memFree=12783984/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=159532 CPUtime=6.17 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 16960 0 0 0 594 23 0 0 25 0 3 0 910899324 163360768 16719 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 39883 16720 179 372 0 39508 0
[pid=12760/tid=12762] ppid=12758 vsize=159532 CPUtime=3.07 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 1944 0 0 0 292 15 0 0 25 0 3 0 910899325 163360768 16720 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=159532 CPUtime=3.07 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 14475 0 0 0 300 7 0 0 25 0 3 0 910899325 163360768 16720 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 159532
[startup+6.30058 s]
/proc/loadavg: 3.83 3.94 3.83 5/182 12884
/proc/meminfo: memFree=12722616/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=160420 CPUtime=12.58 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 22035 0 0 0 1221 37 0 0 25 0 3 0 910899324 164270080 21784 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 40105 21784 180 372 0 39730 0
[pid=12760/tid=12762] ppid=12758 vsize=160420 CPUtime=6.28 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 3317 0 0 0 604 24 0 0 25 0 3 0 910899325 164270080 21784 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=160420 CPUtime=6.27 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 18176 0 0 0 615 12 0 0 25 0 3 0 910899325 164270080 21784 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 160420
[startup+12.7004 s]
/proc/loadavg: 3.85 3.94 3.83 5/182 12884
/proc/meminfo: memFree=12678584/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=227652 CPUtime=25.38 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 32239 0 0 0 2477 61 0 0 25 0 3 0 910899324 233115648 31988 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 56913 31988 180 372 0 56538 0
[pid=12760/tid=12762] ppid=12758 vsize=227652 CPUtime=12.68 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 6210 0 0 0 1231 37 0 0 25 0 3 0 910899325 233115648 31988 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=227652 CPUtime=12.68 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 25487 0 0 0 1245 23 0 0 25 0 3 0 910899325 233115648 31988 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 227652
[startup+25.5011 s]
/proc/loadavg: 3.88 3.94 3.83 5/182 12924
/proc/meminfo: memFree=12612760/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=229356 CPUtime=50.98 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 40901 0 0 0 5014 84 0 0 25 0 3 0 910899324 234860544 40650 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 57339 40650 180 372 0 56964 0
[pid=12760/tid=12762] ppid=12758 vsize=229356 CPUtime=25.48 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 9600 0 0 0 2493 55 0 0 25 0 3 0 910899325 234860544 40650 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=229356 CPUtime=25.48 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30759 0 0 0 2519 29 0 0 25 0 3 0 910899325 234860544 40650 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 229356
[startup+51.1004 s]
/proc/loadavg: 3.92 3.94 3.83 5/182 12925
/proc/meminfo: memFree=12563464/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=232140 CPUtime=102.18 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 49961 0 0 0 10086 132 0 0 25 0 3 0 910899324 237711360 49660 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 58035 49660 180 372 0 57660 0
[pid=12760/tid=12762] ppid=12758 vsize=232140 CPUtime=51.08 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 11414 0 0 0 5015 93 0 0 25 0 3 0 910899325 237711360 49660 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=232140 CPUtime=51.08 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 38005 0 0 0 5070 38 0 0 25 0 3 0 910899325 237711360 49660 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 232140
[startup+102.307 s]
/proc/loadavg: 3.96 3.95 3.84 5/182 12926
/proc/meminfo: memFree=12372052/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=364800 CPUtime=204.59 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 69972 0 0 0 20262 197 0 0 25 0 3 0 910899324 373555200 69671 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 91200 69671 180 372 0 90825 0
[pid=12760/tid=12762] ppid=12758 vsize=364800 CPUtime=102.29 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 22515 0 0 0 10082 147 0 0 25 0 3 0 910899325 373555200 69671 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=364800 CPUtime=102.29 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 46915 0 0 0 10179 50 0 0 25 0 3 0 910899325 373555200 69671 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 364800
[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.84 5/182 12928
/proc/meminfo: memFree=12288932/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=365672 CPUtime=324.58 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 83186 0 0 0 32193 265 0 0 25 0 3 0 910899324 374448128 82818 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 91418 82818 180 372 0 91043 0
[pid=12760/tid=12762] ppid=12758 vsize=365672 CPUtime=162.28 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30351 0 0 0 16022 206 0 0 25 0 3 0 910899325 374448128 82818 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=365672 CPUtime=162.28 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 52293 0 0 0 16169 59 0 0 25 0 3 0 910899325 374448128 82818 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 365672
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.85 5/182 12930
/proc/meminfo: memFree=12223904/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=432620 CPUtime=444.59 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 94159 0 0 0 44112 347 0 0 25 0 3 0 910899324 443002880 93791 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 108155 93791 180 372 0 107780 0
[pid=12760/tid=12762] ppid=12758 vsize=432620 CPUtime=222.29 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30474 0 0 0 21957 272 0 0 25 0 3 0 910899325 443002880 93791 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=432620 CPUtime=222.28 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 63143 0 0 0 22154 74 0 0 25 0 3 0 910899325 443002880 93791 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 432620
[startup+282.301 s]
/proc/loadavg: 4.03 3.98 3.86 5/182 12931
/proc/meminfo: memFree=12148344/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=499972 CPUtime=564.59 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 105897 0 0 0 56031 428 0 0 25 0 3 0 910899324 511971328 105529 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 124993 105529 180 372 0 124618 0
[pid=12760/tid=12762] ppid=12758 vsize=499972 CPUtime=282.29 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 27895 334 0 0 25 0 3 0 910899325 511971328 105529 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=499972 CPUtime=282.28 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 74804 0 0 0 28135 93 0 0 25 0 3 0 910899325 511971328 105529 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 499972
Solver just ended. Dumping a history of the last processes samples
[startup+294.301 s]
/proc/loadavg: 4.03 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12137296/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500344 CPUtime=588.59 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 108657 0 0 0 58419 440 0 0 25 0 3 0 910899324 512352256 108289 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125086 108289 180 372 0 124711 0
[pid=12760/tid=12762] ppid=12758 vsize=500344 CPUtime=294.29 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29086 343 0 0 25 0 3 0 910899325 512352256 108289 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=500344 CPUtime=294.29 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 77564 0 0 0 29332 97 0 0 25 0 3 0 910899325 512352256 108289 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 588.59
Current children cumulated vsize (KiB) 500344
[startup+297.5 s]
/proc/loadavg: 4.03 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12133576/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500500 CPUtime=594.99 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 109541 0 0 0 59056 443 0 0 25 0 3 0 910899324 512512000 109173 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125125 109173 180 372 0 124750 0
[pid=12760/tid=12762] ppid=12758 vsize=500500 CPUtime=297.49 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29404 345 0 0 25 0 3 0 910899325 512512000 109173 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=500500 CPUtime=297.49 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 78448 0 0 0 29651 98 0 0 25 0 3 0 910899325 512512000 109173 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 594.99
Current children cumulated vsize (KiB) 500500
[startup+300.701 s]
/proc/loadavg: 4.02 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12129964/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500500 CPUtime=601.4 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 110385 0 0 0 59693 447 0 0 25 0 3 0 910899324 512512000 110017 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125125 110017 180 372 0 124750 0
[pid=12760/tid=12762] ppid=12758 vsize=500500 CPUtime=300.69 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29721 348 0 0 25 0 3 0 910899325 512512000 110017 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=500500 CPUtime=300.68 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 79292 0 0 0 29970 98 0 0 25 0 3 0 910899325 512512000 110017 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 601.4
Current children cumulated vsize (KiB) 500500
[startup+301.5 s]
/proc/loadavg: 4.02 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12128972/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500500 CPUtime=602.99 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 110564 0 0 0 59852 447 0 0 25 0 3 0 910899324 512512000 110196 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125125 110196 180 372 0 124750 0
[pid=12760/tid=12762] ppid=12758 vsize=500500 CPUtime=301.48 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29800 348 0 0 25 0 3 0 910899325 512512000 110196 33554432000 4194304 5714118 140737411885504 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=500500 CPUtime=301.49 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 79471 0 0 0 30050 99 0 0 25 0 3 0 910899325 512512000 110196 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 602.99
Current children cumulated vsize (KiB) 500500
[startup+302.3 s]
/proc/loadavg: 4.02 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12128972/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500676 CPUtime=604.59 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 110866 0 0 0 60011 448 0 0 25 0 3 0 910899324 512692224 110498 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125169 110498 180 372 0 124794 0
[pid=12760/tid=12762] ppid=12758 vsize=500676 CPUtime=302.29 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29880 349 0 0 25 0 3 0 910899325 512692224 110498 33554432000 4194304 5714118 140737411885504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=500676 CPUtime=302.29 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 79773 0 0 0 30130 99 0 0 25 0 3 0 910899325 512692224 110498 33554432000 4194304 5714118 140737411885504 18446744073709551615 4322635 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 604.59
Current children cumulated vsize (KiB) 500676
[startup+302.506 s]
/proc/loadavg: 4.02 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12127360/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500676 CPUtime=605 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 110905 0 0 0 60052 448 0 0 25 0 3 0 910899324 512692224 110537 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125169 110537 180 372 0 124794 0
[pid=12760/tid=12762] ppid=12758 vsize=500676 CPUtime=302.5 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29901 349 0 0 25 0 3 0 910899325 512692224 110537 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=12760/tid=12763] ppid=12758 vsize=500676 CPUtime=302.49 cores=1,3,5,7
/proc/12760/task/12763/stat : 12763 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 79812 0 0 0 30150 99 0 0 25 0 3 0 910899325 512692224 110537 33554432000 4194304 5714118 140737411885504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 605
Current children cumulated vsize (KiB) 500676
[startup+302.6 s]
/proc/loadavg: 4.02 3.98 3.86 5/182 12932
/proc/meminfo: memFree=12127360/32951124 swapFree=67056684/67111528
[pid=12760] ppid=12758 vsize=500676 CPUtime=605.13 cores=1,3,5,7
/proc/12760/stat : 12760 (pwbo1.1) S 12758 12760 12151 0 -1 4202496 110909 0 0 0 60065 448 0 0 25 0 2 0 910899324 512692224 110541 33554432000 4194304 5714118 140737411885504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/12760/statm: 125169 110541 181 372 0 124794 0
[pid=12760/tid=12762] ppid=12758 vsize=500676 CPUtime=302.59 cores=1,3,5,7
/proc/12760/task/12762/stat : 12762 (pwbo1.1) R 12758 12760 12151 0 -1 4202560 30551 0 0 0 29910 349 0 0 25 0 2 0 910899325 512692224 110541 33554432000 4194304 5714118 140737411885504 18446744073709551615 4324858 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 605.13
Current children cumulated vsize (KiB) 500676
Child status: 0
Real time (s): 302.652
CPU time (s): 605.192
CPU user time (s): 600.687
CPU system time (s): 4.50531
CPU usage (%): 199.963
Max. virtual memory (cumulated for all children) (KiB): 500676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 600.687
system time used= 4.50531
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110913
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= 227
involuntary context switches= 839
runsolver used 0.500923 second user time and 1.10883 second system time
The end