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-3712523-1338193061/watcher-3712523-1338193061 -o /tmp/evaluation-result-3712523-1338193061/solver-3712523-1338193061 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712523-1338193061.wbo
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: 3.68 3.93 3.60 4/178 20568
/proc/meminfo: memFree=29877168/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20568/stat : 20568 (runsolver) D 20566 20568 20320 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 285430201 12095488 50 33554432000 4194304 5436572 140734029766576 140734029762872 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/20568/statm: 2953 50 31 304 0 2645 0
[startup+0.0119119 s]
/proc/loadavg: 3.68 3.93 3.60 4/178 20568
/proc/meminfo: memFree=29877168/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=163088 CPUtime=0 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 1098 0 0 0 0 0 0 0 20 0 3 0 285430201 167002112 1044 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 40772 1047 204 433 0 40336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 163088
[startup+0.100215 s]
/proc/loadavg: 3.68 3.93 3.60 4/178 20568
/proc/meminfo: memFree=29877168/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=163820 CPUtime=0.18 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 1755 0 0 0 17 1 0 0 20 0 3 0 285430201 167751680 1701 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 40955 1701 206 433 0 40519 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163820
[startup+0.300181 s]
/proc/loadavg: 3.68 3.93 3.60 4/178 20568
/proc/meminfo: memFree=29877168/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=163820 CPUtime=0.57 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 2166 0 0 0 56 1 0 0 20 0 3 0 285430201 167751680 2112 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 40955 2112 206 433 0 40519 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163820
[startup+0.700176 s]
/proc/loadavg: 3.68 3.93 3.60 4/178 20568
/proc/meminfo: memFree=29877168/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=163820 CPUtime=1.37 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 2730 0 0 0 136 1 0 0 20 0 3 0 285430201 167751680 2676 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 40955 2676 206 433 0 40519 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163820
[startup+1.50024 s]
/proc/loadavg: 3.68 3.93 3.60 5/181 20571
/proc/meminfo: memFree=29849392/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=163964 CPUtime=2.98 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 3673 0 0 0 296 2 0 0 20 0 3 0 285430201 167899136 3619 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 40991 3619 206 433 0 40555 0
[pid=20568/tid=20570] ppid=20566 vsize=163964 CPUtime=1.48 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 1451 0 0 0 148 0 0 0 20 0 3 0 285430202 167899136 3619 33554432000 4194304 5964478 140733201141968 140714206476088 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=163964 CPUtime=1.48 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 1471 0 0 0 146 2 0 0 20 0 3 0 285430202 167899136 3619 33554432000 4194304 5964478 140733201141968 140714195986744 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163964
[startup+3.10019 s]
/proc/loadavg: 3.68 3.93 3.60 5/181 20571
/proc/meminfo: memFree=29833620/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=164108 CPUtime=6.17 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 4255 0 0 0 615 2 0 0 20 0 3 0 285430201 168046592 4201 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 41027 4201 206 433 0 40591 0
[pid=20568/tid=20570] ppid=20566 vsize=164108 CPUtime=3.07 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 1823 0 0 0 307 0 0 0 20 0 3 0 285430202 168046592 4201 33554432000 4194304 5964478 140733201141968 140714206476088 4400099 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=164108 CPUtime=3.08 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 1681 0 0 0 306 2 0 0 20 0 3 0 285430202 168046592 4201 33554432000 4194304 5964478 140733201141968 140714195986552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164108
[startup+6.30033 s]
/proc/loadavg: 3.71 3.93 3.60 5/181 20571
/proc/meminfo: memFree=29802904/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=164108 CPUtime=12.57 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 4933 0 0 0 1255 2 0 0 20 0 3 0 285430201 168046592 4879 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 41027 4879 206 433 0 40591 0
[pid=20568/tid=20570] ppid=20566 vsize=164108 CPUtime=6.27 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 2250 0 0 0 627 0 0 0 20 0 3 0 285430202 168046592 4879 33554432000 4194304 5964478 140733201141968 140714206476088 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=164108 CPUtime=6.28 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 1932 0 0 0 626 2 0 0 20 0 3 0 285430202 168046592 4879 33554432000 4194304 5964478 140733201141968 140714195986552 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164108
[startup+12.7003 s]
/proc/loadavg: 3.81 3.95 3.61 5/181 20571
/proc/meminfo: memFree=29755856/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=165112 CPUtime=25.37 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 6477 0 0 0 2534 3 0 0 20 0 3 0 285430201 169074688 6423 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 41278 6423 206 433 0 40842 0
[pid=20568/tid=20570] ppid=20566 vsize=165112 CPUtime=12.68 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 3235 0 0 0 1266 2 0 0 20 0 3 0 285430202 169074688 6423 33554432000 4194304 5964478 140733201141968 140714206476088 4400002 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=165112 CPUtime=12.68 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 2491 0 0 0 1266 2 0 0 20 0 3 0 285430202 169074688 6423 33554432000 4194304 5964478 140733201141968 140714195986552 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165112
[startup+25.5003 s]
/proc/loadavg: 3.85 3.95 3.61 5/181 20571
/proc/meminfo: memFree=29674520/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=167224 CPUtime=50.96 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 8804 0 0 0 5091 5 0 0 20 0 3 0 285430201 171237376 8750 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 41806 8750 206 433 0 41370 0
[pid=20568/tid=20570] ppid=20566 vsize=167224 CPUtime=25.48 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 4179 0 0 0 2545 3 0 0 20 0 3 0 285430202 171237376 8750 33554432000 4194304 5964478 140733201141968 140714206476088 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=167224 CPUtime=25.48 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 3874 0 0 0 2545 3 0 0 20 0 3 0 285430202 171237376 8750 33554432000 4194304 5964478 140733201141968 140714195986744 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 167224
[startup+51.1004 s]
/proc/loadavg: 3.90 3.96 3.62 5/181 20571
/proc/meminfo: memFree=29574160/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=171616 CPUtime=102.16 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 12080 0 0 0 10208 8 0 0 20 0 3 0 285430201 175734784 12026 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 42904 12026 206 433 0 42468 0
[pid=20568/tid=20570] ppid=20566 vsize=171616 CPUtime=51.07 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 6395 0 0 0 5102 5 0 0 20 0 3 0 285430202 175734784 12026 33554432000 4194304 5964478 140733201141968 140714206476088 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=171616 CPUtime=51.08 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 4934 0 0 0 5104 4 0 0 20 0 3 0 285430202 175734784 12026 33554432000 4194304 5964478 140733201141968 140714195986792 4400419 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 171616
[startup+102.306 s]
/proc/loadavg: 3.96 3.96 3.64 5/181 20572
/proc/meminfo: memFree=29424676/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=180476 CPUtime=204.55 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 16138 0 0 0 20442 13 0 0 20 0 3 0 285430201 184807424 16069 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 45119 16069 206 433 0 44683 0
[pid=20568/tid=20570] ppid=20566 vsize=180476 CPUtime=102.28 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9000 0 0 0 10218 10 0 0 20 0 3 0 285430202 184807424 16069 33554432000 4194304 5964478 140733201141968 140714206476280 4400815 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=180476 CPUtime=102.29 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 6387 0 0 0 10222 7 0 0 20 0 3 0 285430202 184807424 16069 33554432000 4194304 5964478 140733201141968 140714195986552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 180476
[startup+162.3 s]
/proc/loadavg: 3.98 3.97 3.66 5/182 20575
/proc/meminfo: memFree=29304372/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=187652 CPUtime=324.5 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 19819 0 0 0 32432 18 0 0 20 0 3 0 285430201 192155648 20188 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 46913 20188 206 433 0 46477 0
[pid=20568/tid=20570] ppid=20566 vsize=187652 CPUtime=162.26 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 11848 0 0 0 16211 15 0 0 20 0 3 0 285430202 192155648 20188 33554432000 4194304 5964478 140733201141968 140714206476280 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=187652 CPUtime=162.28 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 7220 0 0 0 16220 8 0 0 20 0 3 0 285430202 192155648 20188 33554432000 4194304 5964478 140733201141968 140714195986552 4388293 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 187652
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.68 5/181 20575
/proc/meminfo: memFree=29178240/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=193596 CPUtime=444.47 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 22581 0 0 0 44426 21 0 0 20 0 3 0 285430201 198242304 24150 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 48399 24150 206 433 0 47963 0
[pid=20568/tid=20570] ppid=20566 vsize=193596 CPUtime=222.27 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 13374 0 0 0 22209 18 0 0 20 0 3 0 285430202 198242304 24150 33554432000 4194304 5964478 140733201141968 140714206476280 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=193596 CPUtime=222.28 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 8456 0 0 0 22217 11 0 0 20 0 3 0 285430202 198242304 24150 33554432000 4194304 5964478 140733201141968 140714195986792 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 193596
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.69 5/181 20575
/proc/meminfo: memFree=29063568/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=199820 CPUtime=564.46 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 26234 0 0 0 56420 26 0 0 20 0 3 0 285430201 204615680 27771 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 49955 27771 206 433 0 49519 0
[pid=20568/tid=20570] ppid=20566 vsize=199820 CPUtime=282.27 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 16448 0 0 0 28205 22 0 0 20 0 3 0 285430202 204615680 27771 33554432000 4194304 5964478 140733201141968 140714206476328 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=199820 CPUtime=282.29 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9035 0 0 0 28217 12 0 0 20 0 3 0 285430202 204615680 27771 33554432000 4194304 5964478 140733201141968 140714195986792 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 199820
[startup+342.3 s]
/proc/loadavg: 4.10 4.00 3.72 5/181 20575
/proc/meminfo: memFree=28950636/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203016 CPUtime=684.43 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29062 0 0 0 68412 31 0 0 20 0 3 0 285430201 207888384 30599 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50754 30599 206 433 0 50318 0
[pid=20568/tid=20570] ppid=20566 vsize=203016 CPUtime=342.27 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18849 0 0 0 34198 29 0 0 20 0 3 0 285430202 207888384 30599 33554432000 4194304 5964478 140733201141968 140714206476088 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203016 CPUtime=342.29 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9462 0 0 0 34215 14 0 0 20 0 3 0 285430202 207888384 30599 33554432000 4194304 5964478 140733201141968 140714195986792 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 203016
Solver just ended. Dumping a history of the last processes samples
[startup+345.5 s]
/proc/loadavg: 4.09 4.00 3.72 5/181 20575
/proc/meminfo: memFree=28945180/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203016 CPUtime=690.83 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29074 0 0 0 69052 31 0 0 20 0 3 0 285430201 207888384 30611 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50754 30611 206 433 0 50318 0
[pid=20568/tid=20570] ppid=20566 vsize=203016 CPUtime=345.47 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18853 0 0 0 34518 29 0 0 20 0 3 0 285430202 207888384 30611 33554432000 4194304 5964478 140733201141968 140714206476088 4403327 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203016 CPUtime=345.49 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9470 0 0 0 34535 14 0 0 20 0 3 0 285430202 207888384 30611 33554432000 4194304 5964478 140733201141968 140714195986792 4399985 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 690.83
Current children cumulated vsize (KiB) 203016
[startup+351.9 s]
/proc/loadavg: 4.08 4.00 3.72 5/181 20575
/proc/meminfo: memFree=28937724/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203232 CPUtime=703.64 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29158 0 0 0 70333 31 0 0 20 0 3 0 285430201 208109568 30695 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50808 30695 206 433 0 50372 0
[pid=20568/tid=20570] ppid=20566 vsize=203232 CPUtime=351.88 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18902 0 0 0 35159 29 0 0 20 0 3 0 285430202 208109568 30695 33554432000 4194304 5964478 140733201141968 140714206476088 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203232 CPUtime=351.9 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9505 0 0 0 35176 14 0 0 20 0 3 0 285430202 208109568 30695 33554432000 4194304 5964478 140733201141968 140714195986744 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 703.64
Current children cumulated vsize (KiB) 203232
[startup+355.1 s]
/proc/loadavg: 4.07 4.00 3.73 5/181 20575
/proc/meminfo: memFree=28935492/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203520 CPUtime=710.03 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29225 0 0 0 70972 31 0 0 20 0 3 0 285430201 208404480 30762 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50880 30762 206 433 0 50444 0
[pid=20568/tid=20570] ppid=20566 vsize=203520 CPUtime=355.07 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18957 0 0 0 35478 29 0 0 20 0 3 0 285430202 208404480 30762 33554432000 4194304 5964478 140733201141968 140714206476328 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203520 CPUtime=355.09 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9517 0 0 0 35495 14 0 0 20 0 3 0 285430202 208404480 30762 33554432000 4194304 5964478 140733201141968 140714195986744 4379216 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 710.03
Current children cumulated vsize (KiB) 203520
[startup+356.7 s]
/proc/loadavg: 4.07 4.00 3.73 5/181 20575
/proc/meminfo: memFree=28932640/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203700 CPUtime=713.23 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29245 0 0 0 71292 31 0 0 20 0 3 0 285430201 208588800 30782 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50925 30782 206 433 0 50489 0
[pid=20568/tid=20570] ppid=20566 vsize=203700 CPUtime=356.67 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18977 0 0 0 35638 29 0 0 20 0 3 0 285430202 208588800 30782 33554432000 4194304 5964478 140733201141968 140714206476328 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203700 CPUtime=356.69 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9517 0 0 0 35655 14 0 0 20 0 3 0 285430202 208588800 30782 33554432000 4194304 5964478 140733201141968 140714195986744 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 713.23
Current children cumulated vsize (KiB) 203700
[startup+357.1 s]
/proc/loadavg: 4.07 4.00 3.73 5/181 20575
/proc/meminfo: memFree=28932640/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203700 CPUtime=714.03 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29253 0 0 0 71372 31 0 0 20 0 3 0 285430201 208588800 30790 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50925 30790 206 433 0 50489 0
[pid=20568/tid=20570] ppid=20566 vsize=203700 CPUtime=357.08 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18985 0 0 0 35679 29 0 0 20 0 3 0 285430202 208588800 30790 33554432000 4194304 5964478 140733201141968 140714206476328 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203700 CPUtime=357.09 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9517 0 0 0 35695 14 0 0 20 0 3 0 285430202 208588800 30790 33554432000 4194304 5964478 140733201141968 140714195986744 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 714.03
Current children cumulated vsize (KiB) 203700
[startup+357.507 s]
/proc/loadavg: 4.07 4.00 3.73 5/181 20575
/proc/meminfo: memFree=28932020/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203700 CPUtime=714.84 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29257 0 0 0 71453 31 0 0 20 0 3 0 285430201 208588800 30794 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50925 30794 206 433 0 50489 0
[pid=20568/tid=20570] ppid=20566 vsize=203700 CPUtime=357.48 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18989 0 0 0 35719 29 0 0 20 0 3 0 285430202 208588800 30794 33554432000 4194304 5964478 140733201141968 140714206476328 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203700 CPUtime=357.5 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9517 0 0 0 35736 14 0 0 20 0 3 0 285430202 208588800 30794 33554432000 4194304 5964478 140733201141968 140714195986744 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 714.84
Current children cumulated vsize (KiB) 203700
[startup+357.6 s]
/proc/loadavg: 4.07 4.00 3.73 5/181 20575
/proc/meminfo: memFree=28932020/32873648 swapFree=7368/7368
[pid=20568] ppid=20566 vsize=203700 CPUtime=715.03 cores=0,2,4,6
/proc/20568/stat : 20568 (pwbo2.01) S 20566 20568 20320 0 -1 4202496 29257 0 0 0 71472 31 0 0 20 0 3 0 285430201 208588800 30794 33554432000 4194304 5964478 140733201141968 140733201141488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20568/statm: 50925 30794 206 433 0 50489 0
[pid=20568/tid=20570] ppid=20566 vsize=203700 CPUtime=357.58 cores=0,2,4,6
/proc/20568/task/20570/stat : 20570 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 18989 0 0 0 35729 29 0 0 20 0 3 0 285430202 208588800 30794 33554432000 4194304 5964478 140733201141968 140714206476328 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20568/tid=20571] ppid=20566 vsize=203700 CPUtime=357.59 cores=0,2,4,6
/proc/20568/task/20571/stat : 20571 (pwbo2.01) R 20566 20568 20320 0 -1 4202560 9517 0 0 0 35745 14 0 0 20 0 3 0 285430202 208588800 30794 33554432000 4194304 5964478 140733201141968 140714195986744 4399994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 715.03
Current children cumulated vsize (KiB) 203700
Child status: 255
Real time (s): 357.637
CPU time (s): 715.269
CPU user time (s): 714.811
CPU system time (s): 0.45793
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 203700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 714.811
system time used= 0.45793
maximum resident set size= 123196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29262
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= 61
involuntary context switches= 760
runsolver used 1.10883 second user time and 4.04938 second system time
The end