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-3712793-1338202144/watcher-3712793-1338202144 -o /tmp/evaluation-result-3712793-1338202144/solver-3712793-1338202144 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712793-1338202144.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.84 3.97 3.95 5/178 15956
/proc/meminfo: memFree=30328700/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=5084 CPUtime=0 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) R 15954 15956 14514 0 -1 4202496 587 0 0 0 0 0 0 0 20 0 1 0 286339830 5206016 535 33554432000 4194304 5964478 140737164069120 140735832244952 4297148 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 1271 547 170 433 0 835 0
[startup+0.0680179 s]
/proc/loadavg: 3.84 3.97 3.95 5/178 15956
/proc/meminfo: memFree=30328700/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=162836 CPUtime=0.11 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 1531 0 0 0 11 0 0 0 20 0 3 0 286339830 166744064 1479 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40709 1479 198 433 0 40273 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 162836
[startup+0.100163 s]
/proc/loadavg: 3.84 3.97 3.95 5/178 15956
/proc/meminfo: memFree=30328700/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=162836 CPUtime=0.18 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 1703 0 0 0 18 0 0 0 20 0 3 0 286339830 166744064 1651 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40709 1651 198 433 0 40273 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162836
[startup+0.300119 s]
/proc/loadavg: 3.84 3.97 3.95 5/178 15956
/proc/meminfo: memFree=30328700/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=162836 CPUtime=0.57 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 2673 0 0 0 57 0 0 0 20 0 3 0 286339830 166744064 2621 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40709 2621 198 433 0 40273 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 162836
[startup+0.700121 s]
/proc/loadavg: 3.84 3.97 3.95 5/178 15956
/proc/meminfo: memFree=30328700/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=162836 CPUtime=1.38 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 4375 0 0 0 137 1 0 0 20 0 3 0 286339830 166744064 4323 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40709 4323 198 433 0 40273 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162836
[startup+1.50024 s]
/proc/loadavg: 3.84 3.97 3.95 6/181 15959
/proc/meminfo: memFree=30307068/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=162836 CPUtime=2.98 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 7162 0 0 0 295 3 0 0 20 0 3 0 286339830 166744064 7110 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40709 7110 198 433 0 40273 0
[pid=15956/tid=15958] ppid=15954 vsize=162836 CPUtime=1.47 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 3305 0 0 0 146 1 0 0 20 0 3 0 286339831 166744064 7110 33554432000 4194304 5964478 140737164069120 139668123539448 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=162836 CPUtime=1.47 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 2963 0 0 0 146 1 0 0 20 0 3 0 286339831 166744064 7110 33554432000 4194304 5964478 140737164069120 139668113049912 5136404 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) 162836
[startup+3.10023 s]
/proc/loadavg: 3.84 3.97 3.95 5/181 15959
/proc/meminfo: memFree=30295288/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=163256 CPUtime=6.17 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 9279 0 0 0 614 3 0 0 20 0 3 0 286339830 167174144 9227 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40814 9228 198 433 0 40378 0
[pid=15956/tid=15958] ppid=15954 vsize=163256 CPUtime=3.07 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 4400 0 0 0 306 1 0 0 20 0 3 0 286339831 167174144 9228 33554432000 4194304 5964478 140737164069120 139668123539448 4409686 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=163256 CPUtime=3.08 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 3986 0 0 0 306 2 0 0 20 0 3 0 286339831 167174144 9228 33554432000 4194304 5964478 140737164069120 139668113049960 4400099 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) 163256
[startup+6.30026 s]
/proc/loadavg: 3.85 3.97 3.95 5/181 15959
/proc/meminfo: memFree=30280284/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=163400 CPUtime=12.57 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 12853 0 0 0 1253 4 0 0 20 0 3 0 286339830 167321600 12801 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40850 12801 198 433 0 40414 0
[pid=15956/tid=15958] ppid=15954 vsize=163400 CPUtime=6.26 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 6586 0 0 0 624 2 0 0 20 0 3 0 286339831 167321600 12801 33554432000 4194304 5964478 140737164069120 139668123539448 4382015 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=163400 CPUtime=6.27 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 5373 0 0 0 625 2 0 0 20 0 3 0 286339831 167321600 12801 33554432000 4194304 5964478 140737164069120 139668113049720 4221984 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) 163400
[startup+12.7002 s]
/proc/loadavg: 3.86 3.97 3.95 5/181 15959
/proc/meminfo: memFree=30252484/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=163668 CPUtime=25.37 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 18930 0 0 0 2530 7 0 0 20 0 3 0 286339830 167596032 18878 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 40917 18878 198 433 0 40481 0
[pid=15956/tid=15958] ppid=15954 vsize=163668 CPUtime=12.64 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 9958 0 0 0 1261 3 0 0 20 0 3 0 286339831 167596032 18878 33554432000 4194304 5964478 140737164069120 139668123539448 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=163668 CPUtime=12.64 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 8078 0 0 0 1261 3 0 0 20 0 3 0 286339831 167596032 18878 33554432000 4194304 5964478 140737164069120 139668113049736 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) 163668
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.95 5/181 15959
/proc/meminfo: memFree=30211440/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=164024 CPUtime=50.96 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 29455 0 0 0 5085 11 0 0 20 0 3 0 286339830 167960576 29403 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 41006 29403 198 433 0 40570 0
[pid=15956/tid=15958] ppid=15954 vsize=164024 CPUtime=25.41 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 14950 0 0 0 2536 5 0 0 20 0 3 0 286339831 167960576 29403 33554432000 4194304 5964478 140737164069120 139668123539256 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=164024 CPUtime=25.41 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 13611 0 0 0 2535 6 0 0 20 0 3 0 286339831 167960576 29403 33554432000 4194304 5964478 140737164069120 139668113049960 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) 164024
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.95 5/181 15959
/proc/meminfo: memFree=30160708/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=295688 CPUtime=102.15 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 42734 0 0 0 10197 18 0 0 20 0 3 0 286339830 302784512 42682 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 73922 42682 198 433 0 73486 0
[pid=15956/tid=15958] ppid=15954 vsize=295688 CPUtime=50.94 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 21880 0 0 0 5086 8 0 0 20 0 3 0 286339831 302784512 42682 33554432000 4194304 5964478 140737164069120 139668123539448 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=295688 CPUtime=50.94 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 19960 0 0 0 5084 10 0 0 20 0 3 0 286339831 302784512 42682 33554432000 4194304 5964478 140737164069120 139668113049720 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 295688
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.95 5/182 15962
/proc/meminfo: memFree=30097236/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=296744 CPUtime=204.55 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 57632 0 0 0 20425 30 0 0 20 0 3 0 286339830 303865856 57580 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 74186 57580 198 433 0 73750 0
[pid=15956/tid=15958] ppid=15954 vsize=296744 CPUtime=102.02 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 30401 0 0 0 10187 15 0 0 20 0 3 0 286339831 303865856 57580 33554432000 4194304 5964478 140737164069120 139668123539448 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=296744 CPUtime=102.01 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 26337 0 0 0 10184 17 0 0 20 0 3 0 286339831 303865856 57580 33554432000 4194304 5964478 140737164069120 139668113049912 4400071 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) 296744
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/181 15962
/proc/meminfo: memFree=30067360/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=362744 CPUtime=324.52 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 65338 0 0 0 32417 35 0 0 20 0 3 0 286339830 371449856 65279 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 90686 65279 198 433 0 90250 0
[pid=15956/tid=15958] ppid=15954 vsize=362744 CPUtime=161.86 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 37998 0 0 0 16166 20 0 0 20 0 3 0 286339831 371449856 65279 33554432000 4194304 5964478 140737164069120 139668123539496 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=362744 CPUtime=161.84 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 26446 0 0 0 16166 18 0 0 20 0 3 0 286339831 371449856 65279 33554432000 4194304 5964478 140737164069120 139668113049672 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 362744
[startup+222.3 s]
/proc/loadavg: 4.03 3.99 3.95 5/181 15963
/proc/meminfo: memFree=29953676/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=366164 CPUtime=444.5 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 79909 0 0 0 44402 48 0 0 20 0 3 0 286339830 374951936 79847 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 91541 79847 198 433 0 91105 0
[pid=15956/tid=15958] ppid=15954 vsize=366164 CPUtime=221.7 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 45552 0 0 0 22144 26 0 0 20 0 3 0 286339831 374951936 79847 33554432000 4194304 5964478 140737164069120 139668123539448 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=366164 CPUtime=221.68 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 33463 0 0 0 22141 27 0 0 20 0 3 0 286339831 374951936 79847 33554432000 4194304 5964478 140737164069120 139668113049720 4400002 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 366164
[startup+282.3 s]
/proc/loadavg: 3.91 3.96 3.94 5/181 16004
/proc/meminfo: memFree=30994492/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=432008 CPUtime=564.46 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 81033 0 0 0 56397 49 0 0 20 0 3 0 286339830 442376192 81410 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 108002 81410 198 433 0 107566 0
[pid=15956/tid=15958] ppid=15954 vsize=432008 CPUtime=281.53 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 45826 0 0 0 28125 28 0 0 20 0 3 0 286339831 442376192 81410 33554432000 4194304 5964478 140737164069120 139668123539448 4382005 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=432008 CPUtime=281.52 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 34313 0 0 0 28124 28 0 0 20 0 3 0 286339831 442376192 81410 33554432000 4194304 5964478 140737164069120 139668113049672 4400071 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) 432008
[startup+342.3 s]
/proc/loadavg: 3.97 3.96 3.94 5/181 16004
/proc/meminfo: memFree=30829848/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=499920 CPUtime=684.41 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 100236 0 0 0 68376 65 0 0 20 0 3 0 286339830 511918080 100691 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 124980 100691 198 433 0 124544 0
################
# More data... #
################
[pid=15956/tid=15959] ppid=15954 vsize=499920 CPUtime=341.33 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 43309 0 0 0 34095 38 0 0 20 0 3 0 286339831 511918080 100691 33554432000 4194304 5964478 140737164069120 139668113049912 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 499920
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 16004
/proc/meminfo: memFree=30791312/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=501020 CPUtime=804.35 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 102003 0 0 0 80369 66 0 0 20 0 3 0 286339830 513044480 102580 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 125255 102580 198 433 0 124819 0
[pid=15956/tid=15958] ppid=15954 vsize=501020 CPUtime=401.2 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 57715 0 0 0 40082 38 0 0 20 0 3 0 286339831 513044480 102580 33554432000 4194304 5964478 140737164069120 139668123539256 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=501020 CPUtime=401.16 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 43394 0 0 0 40077 39 0 0 20 0 3 0 286339831 513044480 102580 33554432000 4194304 5964478 140737164069120 139668113049736 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 501020
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 16004
/proc/meminfo: memFree=30726012/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=501916 CPUtime=924.3 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 103627 0 0 0 92363 67 0 0 20 0 3 0 286339830 513961984 105382 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 125479 105382 198 433 0 125043 0
[pid=15956/tid=15958] ppid=15954 vsize=501916 CPUtime=461.02 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 59219 0 0 0 46062 40 0 0 20 0 3 0 286339831 513961984 105382 33554432000 4194304 5964478 140737164069120 139668123539256 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=501916 CPUtime=461 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 43514 0 0 0 46059 41 0 0 20 0 3 0 286339831 513961984 105382 33554432000 4194304 5964478 140737164069120 139668113049672 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 501916
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 16005
/proc/meminfo: memFree=30614692/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=571088 CPUtime=1044.28 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 117421 0 0 0 104349 79 0 0 20 0 3 0 286339830 584794112 119176 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 142772 119176 198 433 0 142336 0
[pid=15956/tid=15958] ppid=15954 vsize=571088 CPUtime=520.87 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 67955 0 0 0 52039 48 0 0 20 0 3 0 286339831 584794112 119176 33554432000 4194304 5964478 140737164069120 139668123539448 4400612 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=571088 CPUtime=520.85 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 48572 0 0 0 52041 44 0 0 20 0 3 0 286339831 584794112 119176 33554432000 4194304 5964478 140737164069120 139668113049912 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 571088
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 16005
/proc/meminfo: memFree=30580868/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=573264 CPUtime=1164.26 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 117840 0 0 0 116347 79 0 0 20 0 3 0 286339830 587022336 119595 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 143316 119595 198 433 0 142880 0
[pid=15956/tid=15958] ppid=15954 vsize=573264 CPUtime=580.71 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 68284 0 0 0 58022 49 0 0 20 0 3 0 286339831 587022336 119595 33554432000 4194304 5964478 140737164069120 139668123539496 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=573264 CPUtime=580.69 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 48662 0 0 0 58024 45 0 0 20 0 3 0 286339831 587022336 119595 33554432000 4194304 5964478 140737164069120 139668113049720 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 573264
[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 16005
/proc/meminfo: memFree=30524740/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=643452 CPUtime=1284.25 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 126444 0 0 0 128338 87 0 0 20 0 3 0 286339830 658894848 128199 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 160863 128199 198 433 0 160427 0
[pid=15956/tid=15958] ppid=15954 vsize=643452 CPUtime=640.56 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 73702 0 0 0 64001 55 0 0 20 0 3 0 286339831 658894848 128199 33554432000 4194304 5964478 140737164069120 139668123539448 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=643452 CPUtime=640.55 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 51848 0 0 0 64005 50 0 0 20 0 3 0 286339831 658894848 128199 33554432000 4194304 5964478 140737164069120 139668113049912 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 643452
[startup+702.3 s]
/proc/loadavg: 4.08 4.00 3.95 5/182 16008
/proc/meminfo: memFree=30492276/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=579068 CPUtime=1404.22 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 132059 0 0 0 140330 92 0 0 20 0 3 0 286339830 592965632 133081 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 144767 133081 198 433 0 144331 0
[pid=15956/tid=15958] ppid=15954 vsize=579068 CPUtime=700.4 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 79316 0 0 0 69980 60 0 0 20 0 3 0 286339831 592965632 133081 33554432000 4194304 5964478 140737164069120 139668123539448 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=579068 CPUtime=700.38 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 51849 0 0 0 69987 51 0 0 20 0 3 0 286339831 592965632 133081 33554432000 4194304 5964478 140737164069120 139668113049944 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 579068
[startup+762.307 s]
/proc/loadavg: 4.03 4.00 3.95 5/182 16031
/proc/meminfo: memFree=30455996/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=710572 CPUtime=1524.18 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 137880 0 0 0 152323 95 0 0 20 0 3 0 286339830 727625728 138982 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 177643 138982 198 433 0 177207 0
[pid=15956/tid=15958] ppid=15954 vsize=710572 CPUtime=760.24 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 84544 0 0 0 75960 64 0 0 20 0 3 0 286339831 727625728 138982 33554432000 4194304 5964478 140737164069120 139668123539448 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=710572 CPUtime=760.21 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 52442 0 0 0 75969 52 0 0 20 0 3 0 286339831 727625728 138982 33554432000 4194304 5964478 140737164069120 139668113049720 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.18
Current children cumulated vsize (KiB) 710572
[startup+822.3 s]
/proc/loadavg: 4.05 4.01 3.96 5/181 16032
/proc/meminfo: memFree=30361516/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=715684 CPUtime=1644.12 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 157912 0 0 0 164303 109 0 0 20 0 3 0 286339830 732860416 159153 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 178921 159153 198 433 0 178485 0
[pid=15956/tid=15958] ppid=15954 vsize=715684 CPUtime=820.05 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 90139 0 0 0 81936 69 0 0 20 0 3 0 286339831 732860416 159153 33554432000 4194304 5964478 140737164069120 139668123539448 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=715684 CPUtime=820.05 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 66879 0 0 0 81941 64 0 0 20 0 3 0 286339831 732860416 159153 33554432000 4194304 5964478 140737164069120 139668113049912 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 715684
[startup+882.3 s]
/proc/loadavg: 4.02 4.01 3.96 5/181 16032
/proc/meminfo: memFree=30328580/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=719212 CPUtime=1764.1 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 161458 0 0 0 176297 113 0 0 20 0 3 0 286339830 736473088 162698 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 179803 162698 198 433 0 179367 0
[pid=15956/tid=15958] ppid=15954 vsize=719212 CPUtime=879.9 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 92341 0 0 0 87918 72 0 0 20 0 3 0 286339831 736473088 162698 33554432000 4194304 5964478 140737164069120 139668123539448 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=719212 CPUtime=879.9 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 68223 0 0 0 87924 66 0 0 20 0 3 0 286339831 736473088 162698 33554432000 4194304 5964478 140737164069120 139668113049912 4400051 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 719212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.01 4.01 3.96 5/181 16032
/proc/meminfo: memFree=30323496/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=719212 CPUtime=1800.11 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 161473 0 0 0 179898 113 0 0 20 0 3 0 286339830 736473088 162713 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 179803 162713 198 433 0 179367 0
[pid=15956/tid=15958] ppid=15954 vsize=719212 CPUtime=897.86 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 92355 0 0 0 89714 72 0 0 20 0 3 0 286339831 736473088 162713 33554432000 4194304 5964478 140737164069120 139668123539448 4381686 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=719212 CPUtime=897.86 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 68224 0 0 0 89720 66 0 0 20 0 3 0 286339831 736473088 162713 33554432000 4194304 5964478 140737164069120 139668113049912 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 719212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.01 4.01 3.96 5/181 16032
/proc/meminfo: memFree=30323496/32873648 swapFree=7116/7116
[pid=15956] ppid=15954 vsize=719212 CPUtime=1800.11 cores=0,2,4,6
/proc/15956/stat : 15956 (pwbo2.01) S 15954 15956 14514 0 -1 4202496 161473 0 0 0 179898 113 0 0 20 0 3 0 286339830 736473088 162713 33554432000 4194304 5964478 140737164069120 140737164068640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15956/statm: 179803 162713 198 433 0 179367 0
[pid=15956/tid=15958] ppid=15954 vsize=719212 CPUtime=897.86 cores=0,2,4,6
/proc/15956/task/15958/stat : 15958 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 92355 0 0 0 89714 72 0 0 20 0 3 0 286339831 736473088 162713 33554432000 4194304 5964478 140737164069120 139668123539448 4381686 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=15956/tid=15959] ppid=15954 vsize=719212 CPUtime=897.86 cores=0,2,4,6
/proc/15956/task/15959/stat : 15959 (pwbo2.01) R 15954 15956 14514 0 -1 4202560 68224 0 0 0 89720 66 0 0 20 0 3 0 286339831 736473088 162713 33554432000 4194304 5964478 140737164069120 139668113049912 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 719212
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15956 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=350217
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=409785
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.323
CPU time (s): 1800.11
CPU user time (s): 1798.98
CPU system time (s): 1.13
CPU usage (%): 199.941
Max. virtual memory (cumulated for all children) (KiB): 719212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 1.40978
maximum resident set size= 650860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161475
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= 532
involuntary context switches= 2062
runsolver used 1.85272 second user time and 4.98424 second system time
The end