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-3728597-1338672293/watcher-3728597-1338672293 -o /tmp/evaluation-result-3728597-1338672293/solver-3728597-1338672293 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728597-1338672293.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.77 3.83 3.12 4/178 29030
/proc/meminfo: memFree=27717788/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29030/stat : 29030 (runsolver) D 29028 29030 28397 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 333355171 12095488 51 33554432000 4194304 5436572 140736051203360 140736051199656 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/29030/statm: 2953 51 31 304 0 2645 0
[startup+0.0861061 s]
/proc/loadavg: 3.77 3.83 3.12 4/178 29030
/proc/meminfo: memFree=27717788/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=180596 CPUtime=0.15 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 9183 0 0 0 14 1 0 0 20 0 3 0 333355171 184930304 8989 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 45149 8994 206 433 0 44713 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 180596
[startup+0.100221 s]
/proc/loadavg: 3.77 3.83 3.12 4/178 29030
/proc/meminfo: memFree=27717788/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=189560 CPUtime=0.17 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 10738 0 0 0 16 1 0 0 20 0 3 0 333355171 194109440 10544 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47390 10549 206 433 0 46954 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 189560
[startup+0.300178 s]
/proc/loadavg: 3.77 3.83 3.12 4/178 29030
/proc/meminfo: memFree=27717788/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=190600 CPUtime=0.57 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 14241 0 0 0 55 2 0 0 20 0 3 0 333355171 195174400 14047 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47650 14048 206 433 0 47214 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 190600
[startup+0.700172 s]
/proc/loadavg: 3.77 3.83 3.12 4/178 29030
/proc/meminfo: memFree=27717788/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=190600 CPUtime=1.36 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 14961 0 0 0 134 2 0 0 20 0 3 0 333355171 195174400 14767 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47650 14767 206 433 0 47214 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 190600
[startup+1.5003 s]
/proc/loadavg: 3.77 3.83 3.12 5/181 29033
/proc/meminfo: memFree=27656276/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=190744 CPUtime=2.96 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 15626 0 0 0 294 2 0 0 20 0 3 0 333355171 195321856 15432 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47686 15432 206 433 0 47250 0
[pid=29030/tid=29032] ppid=29028 vsize=190744 CPUtime=1.47 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 1654 0 0 0 147 0 0 0 20 0 3 0 333355172 195321856 15432 33554432000 4194304 5964478 140733578914144 140207764338672 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=190744 CPUtime=1.47 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 13190 0 0 0 145 2 0 0 20 0 3 0 333355172 195321856 15432 33554432000 4194304 5964478 140733578914144 140207753849136 4403343 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 190744
[startup+3.10031 s]
/proc/loadavg: 3.77 3.83 3.12 5/181 29033
/proc/meminfo: memFree=27647588/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=190888 CPUtime=6.16 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 16889 0 0 0 613 3 0 0 20 0 3 0 333355171 195469312 16695 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47722 16695 206 433 0 47286 0
[pid=29030/tid=29032] ppid=29028 vsize=190888 CPUtime=3.07 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 2504 0 0 0 305 2 0 0 20 0 3 0 333355172 195469312 16695 33554432000 4194304 5964478 140733578914144 140207764338680 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=190888 CPUtime=3.07 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 13603 0 0 0 305 2 0 0 20 0 3 0 333355172 195469312 16695 33554432000 4194304 5964478 140733578914144 140207753849144 4403717 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 190888
[startup+6.3003 s]
/proc/loadavg: 3.79 3.84 3.13 5/181 29033
/proc/meminfo: memFree=27633372/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=190924 CPUtime=12.56 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 18699 0 0 0 1252 4 0 0 20 0 3 0 333355171 195506176 18469 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47731 18469 208 433 0 47295 0
[pid=29030/tid=29032] ppid=29028 vsize=190924 CPUtime=6.27 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 2902 0 0 0 625 2 0 0 20 0 3 0 333355172 195506176 18469 33554432000 4194304 5964478 140733578914144 140207764338672 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=190924 CPUtime=6.27 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 15015 0 0 0 624 3 0 0 20 0 3 0 333355172 195506176 18469 33554432000 4194304 5964478 140733578914144 140207753848952 4400740 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 190924
[startup+12.7003 s]
/proc/loadavg: 3.80 3.84 3.13 5/181 29033
/proc/meminfo: memFree=27610332/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=191772 CPUtime=25.34 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 22440 0 0 0 2529 5 0 0 20 0 3 0 333355171 196374528 22210 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 47943 22210 208 433 0 47507 0
[pid=29030/tid=29032] ppid=29028 vsize=191772 CPUtime=12.66 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 4481 0 0 0 1264 2 0 0 20 0 3 0 333355172 196374528 22210 33554432000 4194304 5964478 140733578914144 140207764338672 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=191772 CPUtime=12.67 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 17177 0 0 0 1263 4 0 0 20 0 3 0 333355172 196374528 22210 33554432000 4194304 5964478 140733578914144 140207753848952 4400628 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 191772
[startup+25.5003 s]
/proc/loadavg: 3.85 3.85 3.15 5/181 29033
/proc/meminfo: memFree=27576420/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=192656 CPUtime=50.94 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 26542 0 0 0 5086 8 0 0 20 0 3 0 333355171 197279744 26312 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 48164 26312 208 433 0 47728 0
[pid=29030/tid=29032] ppid=29028 vsize=192656 CPUtime=25.46 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 5127 0 0 0 2544 2 0 0 20 0 3 0 333355172 197279744 26312 33554432000 4194304 5964478 140733578914144 140207764338784 4399946 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=192656 CPUtime=25.47 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 20633 0 0 0 2541 6 0 0 20 0 3 0 333355172 197279744 26312 33554432000 4194304 5964478 140733578914144 140207753848952 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 192656
[startup+51.1003 s]
/proc/loadavg: 3.90 3.86 3.17 5/181 29033
/proc/meminfo: memFree=27512284/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=259252 CPUtime=102.11 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 33816 0 0 0 10199 12 0 0 20 0 3 0 333355171 265474048 33586 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 64813 33586 208 433 0 64377 0
[pid=29030/tid=29032] ppid=29028 vsize=259252 CPUtime=51.04 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 6767 0 0 0 5101 3 0 0 20 0 3 0 333355172 265474048 33586 33554432000 4194304 5964478 140733578914144 140207764338784 4399969 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=259252 CPUtime=51.07 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 26267 0 0 0 5096 11 0 0 20 0 3 0 333355172 265474048 33586 33554432000 4194304 5964478 140733578914144 140207753849144 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 259252
[startup+102.307 s]
/proc/loadavg: 3.95 3.88 3.21 5/181 29033
/proc/meminfo: memFree=27438592/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=263180 CPUtime=204.47 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 43735 0 0 0 20428 19 0 0 20 0 3 0 333355171 269496320 44201 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 65795 44201 208 433 0 65359 0
[pid=29030/tid=29032] ppid=29028 vsize=263180 CPUtime=102.22 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 9187 0 0 0 10218 4 0 0 20 0 3 0 333355172 269496320 44201 33554432000 4194304 5964478 140733578914144 140207764338592 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=263180 CPUtime=102.25 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 33766 0 0 0 10207 18 0 0 20 0 3 0 333355172 269496320 44201 33554432000 4194304 5964478 140733578914144 140207753849248 4400837 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 263180
[startup+162.3 s]
/proc/loadavg: 3.98 3.90 3.26 5/181 29073
/proc/meminfo: memFree=27370160/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=330448 CPUtime=324.41 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 57982 0 0 0 32408 33 0 0 20 0 3 0 333355171 338378752 58517 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 82612 58517 208 433 0 82176 0
[pid=29030/tid=29032] ppid=29028 vsize=330448 CPUtime=162.21 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 18043 0 0 0 16207 14 0 0 20 0 3 0 333355172 338378752 58517 33554432000 4194304 5964478 140733578914144 140207764338488 4400476 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=330448 CPUtime=162.22 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 39158 0 0 0 16198 24 0 0 20 0 3 0 333355172 338378752 58518 33554432000 4194304 5964478 140733578914144 140207753849144 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 330448
[startup+222.3 s]
/proc/loadavg: 4.02 3.92 3.30 5/181 29073
/proc/meminfo: memFree=27118908/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=402432 CPUtime=444.39 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 70918 0 0 0 44394 45 0 0 20 0 3 0 333355171 412090368 72946 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 100608 72946 208 433 0 100172 0
[pid=29030/tid=29032] ppid=29028 vsize=402432 CPUtime=222.21 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 22860 0 0 0 22202 19 0 0 20 0 3 0 333355172 412090368 72946 33554432000 4194304 5964478 140733578914144 140207764338488 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=402432 CPUtime=222.23 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 47276 0 0 0 22190 33 0 0 20 0 3 0 333355172 412090368 72946 33554432000 4194304 5964478 140733578914144 140207753849248 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 402432
[startup+282.3 s]
/proc/loadavg: 4.01 3.94 3.35 5/181 29074
/proc/meminfo: memFree=27005864/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=404052 CPUtime=564.38 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 75781 0 0 0 56387 51 0 0 20 0 3 0 333355171 413749248 77806 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 101013 77806 208 433 0 100577 0
[pid=29030/tid=29032] ppid=29028 vsize=404052 CPUtime=282.21 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 24409 0 0 0 28199 22 0 0 20 0 3 0 333355172 413749248 77806 33554432000 4194304 5964478 140733578914144 140207764338552 4400812 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=404052 CPUtime=282.23 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 50590 0 0 0 28185 38 0 0 20 0 3 0 333355172 413749248 77806 33554432000 4194304 5964478 140733578914144 140207753849192 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 404052
[startup+342.3 s]
/proc/loadavg: 4.00 3.94 3.38 5/182 29077
/proc/meminfo: memFree=26809732/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=471708 CPUtime=684.36 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 85524 0 0 0 68374 62 0 0 20 0 3 0 333355171 483028992 87549 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 117927 87549 208 433 0 117491 0
[pid=29030/tid=29032] ppid=29028 vsize=471708 CPUtime=342.21 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 25820 0 0 0 34197 24 0 0 20 0 3 0 333355172 483028992 87549 33554432000 4194304 5964478 140733578914144 140207764338680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=471708 CPUtime=342.23 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 58922 0 0 0 34174 49 0 0 20 0 3 0 333355172 483028992 87549 33554432000 4194304 5964478 140733578914144 140207753849016 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 471708
Solver just ended. Dumping a history of the last processes samples
[startup+345.5 s]
/proc/loadavg: 4.00 3.95 3.39 5/182 29077
/proc/meminfo: memFree=26802912/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=471708 CPUtime=690.76 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 85631 0 0 0 69014 62 0 0 20 0 3 0 333355171 483028992 87656 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 117927 87656 208 433 0 117491 0
[pid=29030/tid=29032] ppid=29028 vsize=471708 CPUtime=345.41 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 25927 0 0 0 34517 24 0 0 20 0 3 0 333355172 483028992 87656 33554432000 4194304 5964478 140733578914144 140207764338488 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=471708 CPUtime=345.43 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 58922 0 0 0 34494 49 0 0 20 0 3 0 333355172 483028992 87656 33554432000 4194304 5964478 140733578914144 140207753849016 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 690.76
Current children cumulated vsize (KiB) 471708
[startup+347.1 s]
/proc/loadavg: 4.00 3.95 3.39 5/182 29077
/proc/meminfo: memFree=26798928/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=471708 CPUtime=693.96 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 85654 0 0 0 69334 62 0 0 20 0 3 0 333355171 483028992 87679 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 117927 87679 208 433 0 117491 0
[pid=29030/tid=29032] ppid=29028 vsize=471708 CPUtime=347.01 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 25950 0 0 0 34677 24 0 0 20 0 3 0 333355172 483028992 87679 33554432000 4194304 5964478 140733578914144 140207764338728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=471708 CPUtime=347.03 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 58922 0 0 0 34654 49 0 0 20 0 3 0 333355172 483028992 87679 33554432000 4194304 5964478 140733578914144 140207753849016 4391379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 693.96
Current children cumulated vsize (KiB) 471708
[startup+348.707 s]
/proc/loadavg: 4.00 3.95 3.39 5/182 29077
/proc/meminfo: memFree=26796076/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=472032 CPUtime=697.17 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 85736 0 0 0 69655 62 0 0 20 0 3 0 333355171 483360768 87761 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 118008 87761 208 433 0 117572 0
[pid=29030/tid=29032] ppid=29028 vsize=472032 CPUtime=348.62 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 26032 0 0 0 34837 25 0 0 20 0 3 0 333355172 483360768 87761 33554432000 4194304 5964478 140733578914144 140207764338728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=472032 CPUtime=348.64 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 58922 0 0 0 34815 49 0 0 20 0 3 0 333355172 483360768 87761 33554432000 4194304 5964478 140733578914144 140207753849016 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 697.17
Current children cumulated vsize (KiB) 472032
[startup+349.1 s]
/proc/loadavg: 4.00 3.95 3.39 5/182 29077
/proc/meminfo: memFree=26796076/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=472032 CPUtime=697.95 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 85739 0 0 0 69733 62 0 0 20 0 3 0 333355171 483360768 87764 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 118008 87764 208 433 0 117572 0
[pid=29030/tid=29032] ppid=29028 vsize=472032 CPUtime=349.01 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 26035 0 0 0 34876 25 0 0 20 0 3 0 333355172 483360768 87764 33554432000 4194304 5964478 140733578914144 140207764338488 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=472032 CPUtime=349.03 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 58922 0 0 0 34854 49 0 0 20 0 3 0 333355172 483360768 87764 33554432000 4194304 5964478 140733578914144 140207753849016 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 697.95
Current children cumulated vsize (KiB) 472032
[startup+349.5 s]
/proc/loadavg: 4.00 3.95 3.39 5/182 29077
/proc/meminfo: memFree=26796076/32873648 swapFree=7112/7112
[pid=29030] ppid=29028 vsize=472032 CPUtime=698.75 cores=0,2,4,6
/proc/29030/stat : 29030 (pwbo2.02) S 29028 29030 28397 0 -1 4202496 85739 0 0 0 69813 62 0 0 20 0 3 0 333355171 483360768 87764 33554432000 4194304 5964478 140733578914144 140733578913664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29030/statm: 118008 87764 208 433 0 117572 0
[pid=29030/tid=29032] ppid=29028 vsize=472032 CPUtime=349.41 cores=0,2,4,6
/proc/29030/task/29032/stat : 29032 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 26035 0 0 0 34916 25 0 0 20 0 3 0 333355172 483360768 87764 33554432000 4194304 5964478 140733578914144 140207764338488 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=29030/tid=29033] ppid=29028 vsize=472032 CPUtime=349.43 cores=0,2,4,6
/proc/29030/task/29033/stat : 29033 (pwbo2.02) R 29028 29030 28397 0 -1 4202560 58922 0 0 0 34894 49 0 0 20 0 3 0 333355172 483360768 87764 33554432000 4194304 5964478 140733578914144 140207753849016 4399926 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 698.75
Current children cumulated vsize (KiB) 472032
Child status: 255
Real time (s): 349.514
CPU time (s): 698.896
CPU user time (s): 698.125
CPU system time (s): 0.770882
CPU usage (%): 199.962
Max. virtual memory (cumulated for all children) (KiB): 472032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 698.125
system time used= 0.770882
maximum resident set size= 351076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85744
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= 498
involuntary context switches= 831
runsolver used 1.91571 second user time and 2.50862 second system time
The end