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-3712495-1338196489/watcher-3712495-1338196489 -o /tmp/evaluation-result-3712495-1338196489/solver-3712495-1338196489 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712495-1338196489.wbo
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.95 3.34 4/178 15154
/proc/meminfo: memFree=31228368/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 884 0 0 0 0 0 0 0 20 0 3 0 285774339 166387712 834 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40622 834 195 433 0 40186 0
[pid=15154/tid=15155] ppid=15152 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 3 0 285774340 166387712 835 33554432000 4194304 5964478 140734072469664 139919749585968 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 3 0 285774340 166387712 835 33554432000 4194304 5964478 140734072469664 139919739096112 4389144 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0612249 s]
/proc/loadavg: 3.99 3.95 3.34 4/178 15154
/proc/meminfo: memFree=31228368/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162488 CPUtime=0.11 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 1257 0 0 0 11 0 0 0 20 0 3 0 285774339 166387712 1207 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40622 1207 198 433 0 40186 0
[pid=15154/tid=15155] ppid=15152 vsize=162488 CPUtime=0.04 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 275 0 0 0 4 0 0 0 20 0 3 0 285774340 166387712 1207 33554432000 4194304 5964478 140734072469664 139919749584888 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162488 CPUtime=0.04 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 199 0 0 0 4 0 0 0 20 0 3 0 285774340 166387712 1207 33554432000 4194304 5964478 140734072469664 139919739095352 4388302 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 162488
[startup+0.100223 s]
/proc/loadavg: 3.99 3.95 3.34 4/178 15154
/proc/meminfo: memFree=31228368/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162488 CPUtime=0.18 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 1475 0 0 0 18 0 0 0 20 0 3 0 285774339 166387712 1425 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40622 1425 198 433 0 40186 0
[pid=15154/tid=15155] ppid=15152 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 400 0 0 0 8 0 0 0 20 0 3 0 285774340 166387712 1425 33554432000 4194304 5964478 140734072469664 139919749584936 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 292 0 0 0 8 0 0 0 20 0 3 0 285774340 166387712 1425 33554432000 4194304 5964478 140734072469664 139919739095352 4381980 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.300178 s]
/proc/loadavg: 3.99 3.95 3.34 4/178 15154
/proc/meminfo: memFree=31228368/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162488 CPUtime=0.58 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 2177 0 0 0 58 0 0 0 20 0 3 0 285774339 166387712 2127 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40622 2127 198 433 0 40186 0
[pid=15154/tid=15155] ppid=15152 vsize=162488 CPUtime=0.28 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 844 0 0 0 28 0 0 0 20 0 3 0 285774340 166387712 2127 33554432000 4194304 5964478 140734072469664 139919749584880 4399994 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162488 CPUtime=0.28 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 550 0 0 0 28 0 0 0 20 0 3 0 285774340 166387712 2127 33554432000 4194304 5964478 140734072469664 139919739095160 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162488
[startup+0.700242 s]
/proc/loadavg: 3.99 3.95 3.34 4/178 15154
/proc/meminfo: memFree=31228368/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162488 CPUtime=1.38 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 2911 0 0 0 138 0 0 0 20 0 3 0 285774339 166387712 2861 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40622 2861 198 433 0 40186 0
[pid=15154/tid=15155] ppid=15152 vsize=162488 CPUtime=0.68 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 1445 0 0 0 68 0 0 0 20 0 3 0 285774340 166387712 2861 33554432000 4194304 5964478 140734072469664 139919749584936 4389154 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162488 CPUtime=0.68 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 683 0 0 0 68 0 0 0 20 0 3 0 285774340 166387712 2861 33554432000 4194304 5964478 140734072469664 139919739095344 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50027 s]
/proc/loadavg: 3.99 3.95 3.34 5/181 15157
/proc/meminfo: memFree=31216084/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162848 CPUtime=2.98 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 3914 0 0 0 297 1 0 0 20 0 3 0 285774339 166756352 3864 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40712 3864 198 433 0 40276 0
[pid=15154/tid=15155] ppid=15152 vsize=162848 CPUtime=1.48 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 1948 0 0 0 148 0 0 0 20 0 3 0 285774340 166756352 3864 33554432000 4194304 5964478 140734072469664 139919749584936 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162848 CPUtime=1.47 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 1183 0 0 0 147 0 0 0 20 0 3 0 285774340 166756352 3865 33554432000 4194304 5964478 140734072469664 139919739095344 4400002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162848
[startup+3.1003 s]
/proc/loadavg: 3.99 3.95 3.34 5/181 15157
/proc/meminfo: memFree=31211248/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=162992 CPUtime=6.17 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 5222 0 0 0 615 2 0 0 20 0 3 0 285774339 166903808 5168 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40748 5168 198 433 0 40312 0
[pid=15154/tid=15155] ppid=15152 vsize=162992 CPUtime=3.07 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 2929 0 0 0 307 0 0 0 20 0 3 0 285774340 166903808 5168 33554432000 4194304 5964478 140734072469664 139919749584880 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=162992 CPUtime=3.06 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 1510 0 0 0 305 1 0 0 20 0 3 0 285774340 166903808 5168 33554432000 4194304 5964478 140734072469664 139919739095344 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 162992
[startup+6.3003 s]
/proc/loadavg: 3.99 3.95 3.35 5/181 15157
/proc/meminfo: memFree=31201956/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=163488 CPUtime=12.55 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 7565 0 0 0 1252 3 0 0 20 0 3 0 285774339 167411712 7511 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40872 7511 198 433 0 40436 0
[pid=15154/tid=15155] ppid=15152 vsize=163488 CPUtime=6.26 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 4708 0 0 0 624 2 0 0 20 0 3 0 285774340 167411712 7511 33554432000 4194304 5964478 140734072469664 139919749584696 4391664 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=163488 CPUtime=6.25 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 2074 0 0 0 624 1 0 0 20 0 3 0 285774340 167411712 7511 33554432000 4194304 5964478 140734072469664 139919739095352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 163488
[startup+12.7003 s]
/proc/loadavg: 3.99 3.95 3.35 5/181 15157
/proc/meminfo: memFree=31191176/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=163704 CPUtime=25.35 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 9823 0 0 0 2531 4 0 0 20 0 3 0 285774339 167632896 9661 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40926 9661 200 433 0 40490 0
[pid=15154/tid=15155] ppid=15152 vsize=163704 CPUtime=12.64 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5545 0 0 0 1262 2 0 0 20 0 3 0 285774340 167632896 9661 33554432000 4194304 5964478 140734072469664 139919749584696 4400416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=163704 CPUtime=12.63 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 3495 0 0 0 1262 1 0 0 20 0 3 0 285774340 167632896 9661 33554432000 4194304 5964478 140734072469664 139919739095344 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 163704
[startup+25.5004 s]
/proc/loadavg: 3.99 3.95 3.36 5/181 15157
/proc/meminfo: memFree=31166212/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=163876 CPUtime=50.95 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 12851 0 0 0 5089 6 0 0 20 0 3 0 285774339 167809024 12842 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 40969 12842 200 433 0 40533 0
[pid=15154/tid=15155] ppid=15152 vsize=163876 CPUtime=25.41 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 8071 0 0 0 2538 3 0 0 20 0 3 0 285774340 167809024 12842 33554432000 4194304 5964478 140734072469664 139919749584800 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=163876 CPUtime=25.39 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 3997 0 0 0 2538 1 0 0 20 0 3 0 285774340 167809024 12842 33554432000 4194304 5964478 140734072469664 139919739095344 4400480 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 163876
[startup+51.1003 s]
/proc/loadavg: 3.92 3.94 3.37 5/181 15198
/proc/meminfo: memFree=31310136/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=164992 CPUtime=102.12 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 21699 0 0 0 10200 12 0 0 20 0 3 0 285774339 168951808 21369 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 41248 21369 200 433 0 40812 0
[pid=15154/tid=15155] ppid=15152 vsize=164992 CPUtime=50.94 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 16904 0 0 0 5084 10 0 0 20 0 3 0 285774340 168951808 21369 33554432000 4194304 5964478 140734072469664 139919749584992 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=164992 CPUtime=50.91 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 4012 0 0 0 5089 2 0 0 20 0 3 0 285774340 168951808 21369 33554432000 4194304 5964478 140734072469664 139919739095264 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 164992
[startup+102.307 s]
/proc/loadavg: 3.82 3.91 3.39 5/181 15238
/proc/meminfo: memFree=31331468/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=229328 CPUtime=204.48 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 25254 0 0 0 20434 14 0 0 20 0 3 0 285774339 234831872 24580 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57332 24580 200 433 0 56896 0
[pid=15154/tid=15155] ppid=15152 vsize=229328 CPUtime=101.99 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 18820 0 0 0 10188 11 0 0 20 0 3 0 285774340 234831872 24580 33554432000 4194304 5964478 140734072469664 139919749584800 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=229328 CPUtime=101.97 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5651 0 0 0 10193 4 0 0 20 0 3 0 285774340 234831872 24580 33554432000 4194304 5964478 140734072469664 139919739095456 4403360 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 229328
[startup+162.3 s]
/proc/loadavg: 3.93 3.92 3.42 5/181 15278
/proc/meminfo: memFree=31145972/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=324.43 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33649 0 0 0 32428 15 0 0 20 0 3 0 285774339 237465600 33808 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33808 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=161.83 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26910 0 0 0 16170 13 0 0 20 0 3 0 285774340 237465600 33808 33554432000 4194304 5964478 140734072469664 139919749584800 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=161.79 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5956 0 0 0 16174 5 0 0 20 0 3 0 285774340 237465600 33808 33554432000 4194304 5964478 140734072469664 139919739095456 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 231900
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 3.94 3.93 3.43 5/181 15278
/proc/meminfo: memFree=31101192/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=332.43 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33671 0 0 0 33228 15 0 0 20 0 3 0 285774339 237465600 33830 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33830 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=165.82 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26920 0 0 0 16569 13 0 0 20 0 3 0 285774340 237465600 33830 33554432000 4194304 5964478 140734072469664 139919749584992 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=165.78 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5968 0 0 0 16573 5 0 0 20 0 3 0 285774340 237465600 33830 33554432000 4194304 5964478 140734072469664 139919739095456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 332.43
Current children cumulated vsize (KiB) 231900
[startup+179.1 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31051580/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=358.02 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33712 0 0 0 35787 15 0 0 20 0 3 0 285774339 237465600 33871 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33871 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=178.58 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26949 0 0 0 17845 13 0 0 20 0 3 0 285774340 237465600 33871 33554432000 4194304 5964478 140734072469664 139919749584800 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=178.54 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5980 0 0 0 17849 5 0 0 20 0 3 0 285774340 237465600 33871 33554432000 4194304 5964478 140734072469664 139919739095456 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 358.02
Current children cumulated vsize (KiB) 231900
[startup+182.3 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31051084/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=364.42 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33718 0 0 0 36427 15 0 0 20 0 3 0 285774339 237465600 33877 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33877 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=181.77 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26955 0 0 0 18164 13 0 0 20 0 3 0 285774340 237465600 33877 33554432000 4194304 5964478 140734072469664 139919749584800 4400400 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=181.74 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5980 0 0 0 18169 5 0 0 20 0 3 0 285774340 237465600 33877 33554432000 4194304 5964478 140734072469664 139919739095456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 364.42
Current children cumulated vsize (KiB) 231900
[startup+183.9 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31040596/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=367.62 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33720 0 0 0 36747 15 0 0 20 0 3 0 285774339 237465600 33879 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33879 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=183.37 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26957 0 0 0 18324 13 0 0 20 0 3 0 285774340 237465600 33879 33554432000 4194304 5964478 140734072469664 139919749584800 4400480 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=183.33 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5980 0 0 0 18328 5 0 0 20 0 3 0 285774340 237465600 33879 33554432000 4194304 5964478 140734072469664 139919739095344 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 367.62
Current children cumulated vsize (KiB) 231900
[startup+184.7 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31033900/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=369.23 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33721 0 0 0 36908 15 0 0 20 0 3 0 285774339 237465600 33880 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33880 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=184.18 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26958 0 0 0 18405 13 0 0 20 0 3 0 285774340 237465600 33880 33554432000 4194304 5964478 140734072469664 139919749584800 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=184.14 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5980 0 0 0 18409 5 0 0 20 0 3 0 285774340 237465600 33880 33554432000 4194304 5964478 140734072469664 139919739095456 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 369.23
Current children cumulated vsize (KiB) 231900
[startup+185.1 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31033900/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=370.02 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33740 0 0 0 36987 15 0 0 20 0 3 0 285774339 237465600 33899 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33899 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=184.57 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26959 0 0 0 18444 13 0 0 20 0 3 0 285774340 237465600 33899 33554432000 4194304 5964478 140734072469664 139919749584800 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=184.53 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5998 0 0 0 18448 5 0 0 20 0 3 0 285774340 237465600 33899 33554432000 4194304 5964478 140734072469664 139919739095456 4399936 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (KiB) 231900
[startup+185.3 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31033900/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=370.42 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33741 0 0 0 37027 15 0 0 20 0 3 0 285774339 237465600 33900 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33900 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=184.77 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26959 0 0 0 18464 13 0 0 20 0 3 0 285774340 237465600 33900 33554432000 4194304 5964478 140734072469664 139919749584800 4400081 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=184.73 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5999 0 0 0 18468 5 0 0 20 0 3 0 285774340 237465600 33900 33554432000 4194304 5964478 140734072469664 139919739095160 4399994 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 370.42
Current children cumulated vsize (KiB) 231900
[startup+185.4 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15278
/proc/meminfo: memFree=31033900/32873648 swapFree=7116/7116
[pid=15154] ppid=15152 vsize=231900 CPUtime=370.62 cores=1,3,5,7
/proc/15154/stat : 15154 (pwbo2.01) S 15152 15154 14514 0 -1 4202496 33741 0 0 0 37047 15 0 0 20 0 3 0 285774339 237465600 33900 33554432000 4194304 5964478 140734072469664 140734072469184 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15154/statm: 57975 33900 200 433 0 57539 0
[pid=15154/tid=15155] ppid=15152 vsize=231900 CPUtime=184.87 cores=1,3,5,7
/proc/15154/task/15155/stat : 15155 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 26959 0 0 0 18474 13 0 0 20 0 3 0 285774340 237465600 33900 33554432000 4194304 5964478 140734072469664 139919749584800 4399959 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15154/tid=15156] ppid=15152 vsize=231900 CPUtime=184.83 cores=1,3,5,7
/proc/15154/task/15156/stat : 15156 (pwbo2.01) R 15152 15154 14514 0 -1 4202560 5999 0 0 0 18478 5 0 0 20 0 3 0 285774340 237465600 33900 33554432000 4194304 5964478 140734072469664 139919739095160 4399922 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 370.62
Current children cumulated vsize (KiB) 231900
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15154 and gives
# childrusage.ru_utime.tv_sec=369
# childrusage.ru_utime.tv_usec=654803
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=211967
# CPU time returned by wait4() is 369.867
# while last known CPU time is 370.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 185.478
CPU time (s): 370.62
CPU user time (s): 370.47
CPU system time (s): 0.15
CPU usage (%): 199.819
Max. virtual memory (cumulated for all children) (KiB): 234332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.655
system time used= 0.211967
maximum resident set size= 136620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33747
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= 511
involuntary context switches= 525
runsolver used 0.329949 second user time and 0.929858 second system time
The end