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-3726180-1338657750/watcher-3726180-1338657750 -o /tmp/evaluation-result-3726180-1338657750/solver-3726180-1338657750 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726180-1338657750.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.77 3.95 3.95 4/178 12909
/proc/meminfo: memFree=28631948/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=7012 CPUtime=0 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) R 12907 12909 10378 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 331899850 7180288 500 33554432000 4194304 5964478 140737364846016 140733283667912 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 1753 500 166 433 0 809 0
[startup+0.03377 s]
/proc/loadavg: 3.77 3.95 3.95 4/178 12909
/proc/meminfo: memFree=28631948/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=8932 CPUtime=0.03 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) R 12907 12909 10378 0 -1 4202496 1106 0 0 0 3 0 0 0 20 0 1 0 331899850 9146368 1058 33554432000 4194304 5964478 140737364846016 140733283667912 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 2233 1058 259 433 0 1289 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8932
[startup+0.100281 s]
/proc/loadavg: 3.77 3.95 3.95 4/178 12909
/proc/meminfo: memFree=28631948/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) R 12907 12909 10378 0 -1 4202496 2471 0 0 0 9 0 0 0 20 0 1 0 331899850 13697024 2357 33554432000 4194304 5964478 140737364846016 140733283667912 4344643 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 3344 2357 484 433 0 2400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300207 s]
/proc/loadavg: 3.77 3.95 3.95 4/178 12909
/proc/meminfo: memFree=28631948/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=175524 CPUtime=0.43 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 7938 0 0 0 42 1 0 0 20 0 3 0 331899850 179736576 6788 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 43881 6788 205 433 0 43445 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 175524
[startup+0.7002 s]
/proc/loadavg: 3.77 3.95 3.95 4/178 12909
/proc/meminfo: memFree=28631948/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=175524 CPUtime=1.23 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 9289 0 0 0 122 1 0 0 20 0 3 0 331899850 179736576 6983 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 43881 6983 206 433 0 43445 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 175524
[startup+1.50034 s]
/proc/loadavg: 3.79 3.95 3.95 5/181 12912
/proc/meminfo: memFree=28604248/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=175524 CPUtime=2.83 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 11570 0 0 0 280 3 0 0 20 0 3 0 331899850 179736576 7666 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 43881 7666 206 433 0 43445 0
[pid=12909/tid=12911] ppid=12907 vsize=175524 CPUtime=1.32 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 5795 0 0 0 131 1 0 0 20 0 3 0 331899866 179736576 7666 33554432000 4194304 5964478 140737364846016 140051383491096 5133791 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=175524 CPUtime=1.32 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 1772 0 0 0 131 1 0 0 20 0 3 0 331899866 179736576 7666 33554432000 4194304 5964478 140737364846016 140051373001016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 175524
[startup+3.10031 s]
/proc/loadavg: 3.79 3.95 3.95 5/181 12912
/proc/meminfo: memFree=28601644/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=175524 CPUtime=6.03 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 15235 0 0 0 598 5 0 0 20 0 3 0 331899850 179736576 9079 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 43881 9079 206 433 0 43445 0
[pid=12909/tid=12911] ppid=12907 vsize=175524 CPUtime=2.92 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 8351 0 0 0 291 1 0 0 20 0 3 0 331899866 179736576 9079 33554432000 4194304 5964478 140737364846016 140051383491096 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=175524 CPUtime=2.92 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 2881 0 0 0 289 3 0 0 20 0 3 0 331899866 179736576 9079 33554432000 4194304 5964478 140737364846016 140051373001016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 175524
[startup+6.30034 s]
/proc/loadavg: 3.81 3.95 3.95 5/181 12912
/proc/meminfo: memFree=28577968/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=175524 CPUtime=12.42 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 20814 0 0 0 1233 9 0 0 20 0 3 0 331899850 179736576 14488 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 43881 14488 206 433 0 43445 0
[pid=12909/tid=12911] ppid=12907 vsize=175524 CPUtime=6.11 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 10752 0 0 0 609 2 0 0 20 0 3 0 331899866 179736576 14488 33554432000 4194304 5964478 140737364846016 140051383491400 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=175524 CPUtime=6.11 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 6059 0 0 0 605 6 0 0 20 0 3 0 331899866 179736576 14488 33554432000 4194304 5964478 140737364846016 140051373001016 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 175524
[startup+12.7003 s]
/proc/loadavg: 3.82 3.95 3.95 5/181 12912
/proc/meminfo: memFree=28544316/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=175712 CPUtime=25.22 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 27559 0 0 0 2503 19 0 0 20 0 3 0 331899850 179929088 21233 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 43928 21233 206 433 0 43492 0
[pid=12909/tid=12911] ppid=12907 vsize=175712 CPUtime=12.49 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 12421 0 0 0 1246 3 0 0 20 0 3 0 331899866 179929088 21233 33554432000 4194304 5964478 140737364846016 140051383490904 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=175712 CPUtime=12.49 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 11135 0 0 0 1234 15 0 0 20 0 3 0 331899866 179929088 21233 33554432000 4194304 5964478 140737364846016 140051373001016 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 175712
[startup+25.5003 s]
/proc/loadavg: 3.86 3.95 3.95 5/181 12912
/proc/meminfo: memFree=28497808/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=241716 CPUtime=50.82 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 38770 0 0 0 5049 33 0 0 20 0 3 0 331899850 247517184 32444 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 60429 32444 206 433 0 59993 0
[pid=12909/tid=12911] ppid=12907 vsize=241716 CPUtime=25.26 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 16384 0 0 0 2520 6 0 0 20 0 3 0 331899866 247517184 32444 33554432000 4194304 5964478 140737364846016 140051383490600 4400508 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=241716 CPUtime=25.26 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 18383 0 0 0 2500 26 0 0 20 0 3 0 331899866 247517184 32444 33554432000 4194304 5964478 140737364846016 140051373001016 4399986 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 241716
[startup+51.1004 s]
/proc/loadavg: 3.91 3.96 3.95 5/181 12912
/proc/meminfo: memFree=28432180/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=242364 CPUtime=102.01 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 54667 0 0 0 10146 55 0 0 20 0 3 0 331899850 248180736 48341 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 60591 48341 206 433 0 60155 0
[pid=12909/tid=12911] ppid=12907 vsize=242364 CPUtime=50.79 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 19200 0 0 0 5071 8 0 0 20 0 3 0 331899866 248180736 48341 33554432000 4194304 5964478 140737364846016 140051383490600 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=242364 CPUtime=50.8 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 31464 0 0 0 5033 47 0 0 20 0 3 0 331899866 248180736 48341 33554432000 4194304 5964478 140737364846016 140051373001016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 242364
[startup+102.307 s]
/proc/loadavg: 3.96 3.96 3.95 5/181 12912
/proc/meminfo: memFree=28332540/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=376292 CPUtime=204.41 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 77321 0 0 0 20348 93 0 0 20 0 3 0 331899850 385323008 70993 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 94073 70993 206 433 0 93637 0
[pid=12909/tid=12911] ppid=12907 vsize=376292 CPUtime=101.86 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 26070 0 0 0 10170 16 0 0 20 0 3 0 331899866 385323008 70993 33554432000 4194304 5964478 140737364846016 140051383490360 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=376292 CPUtime=101.87 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 47248 0 0 0 10109 78 0 0 20 0 3 0 331899866 385323008 70993 33554432000 4194304 5964478 140737364846016 140051373001016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.41
Current children cumulated vsize (KiB) 376292
[startup+162.3 s]
/proc/loadavg: 4.03 3.98 3.95 5/181 12913
/proc/meminfo: memFree=28274288/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=375548 CPUtime=324.37 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 79308 0 0 0 32343 94 0 0 20 0 3 0 331899850 384561152 72762 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 93887 72762 206 433 0 93451 0
[pid=12909/tid=12911] ppid=12907 vsize=375548 CPUtime=161.7 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 27989 0 0 0 16151 19 0 0 20 0 3 0 331899866 384561152 72762 33554432000 4194304 5964478 140737364846016 140051383491512 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=375548 CPUtime=161.71 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 47316 0 0 0 16092 79 0 0 20 0 3 0 331899866 384561152 72762 33554432000 4194304 5964478 140737364846016 140051373000776 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.37
Current children cumulated vsize (KiB) 375548
[startup+222.3 s]
/proc/loadavg: 4.06 4.00 3.96 5/181 12913
/proc/meminfo: memFree=28261052/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=376900 CPUtime=444.36 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 81688 0 0 0 44338 98 0 0 20 0 3 0 331899850 385945600 75142 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 94225 75142 206 433 0 93789 0
[pid=12909/tid=12911] ppid=12907 vsize=376900 CPUtime=221.54 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 30011 0 0 0 22131 23 0 0 20 0 3 0 331899866 385945600 75142 33554432000 4194304 5964478 140737364846016 140051383490600 4400010 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=376900 CPUtime=221.56 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 47674 0 0 0 22076 80 0 0 20 0 3 0 331899866 385945600 75142 33554432000 4194304 5964478 140737364846016 140051373001064 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.36
Current children cumulated vsize (KiB) 376900
[startup+282.3 s]
/proc/loadavg: 4.02 4.00 3.96 5/181 12913
/proc/meminfo: memFree=28232068/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=376900 CPUtime=564.34 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 87881 0 0 0 56318 116 0 0 20 0 3 0 331899850 385945600 81333 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 94225 81333 206 433 0 93789 0
[pid=12909/tid=12911] ppid=12907 vsize=376900 CPUtime=281.38 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 36125 0 0 0 28096 42 0 0 20 0 3 0 331899866 385945600 81333 33554432000 4194304 5964478 140737364846016 140051383490360 4400056 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=376900 CPUtime=281.4 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 47753 0 0 0 28059 81 0 0 20 0 3 0 331899866 385945600 81333 33554432000 4194304 5964478 140737364846016 140051373001064 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 376900
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 12913
/proc/meminfo: memFree=28188844/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=510084 CPUtime=684.29 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 96780 0 0 0 68298 131 0 0 20 0 3 0 331899850 522326016 90678 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 127521 90678 206 433 0 127085 0
[pid=12909/tid=12911] ppid=12907 vsize=510084 CPUtime=341.21 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 39596 0 0 0 34070 51 0 0 20 0 3 0 331899866 522326016 90678 33554432000 4194304 5964478 140737364846016 140051383490360 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=510084 CPUtime=341.24 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 53181 0 0 0 34036 88 0 0 20 0 3 0 331899866 522326016 90678 33554432000 4194304 5964478 140737364846016 140051373001016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.29
Current children cumulated vsize (KiB) 510084
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/180 12913
/proc/meminfo: memFree=28104932/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=511828 CPUtime=804.21 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 116239 0 0 0 80260 161 0 0 20 0 3 0 331899850 524111872 110306 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 127957 110306 206 433 0 127521 0
[pid=12909/tid=12911] ppid=12907 vsize=511828 CPUtime=401.03 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 46442 0 0 0 40035 68 0 0 20 0 3 0 331899866 524111872 110306 33554432000 4194304 5964478 140737364846016 140051383490552 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=511828 CPUtime=401.05 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 65795 0 0 0 40000 105 0 0 20 0 3 0 331899866 524111872 110307 33554432000 4194304 5964478 140737364846016 140051373001016 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.21
Current children cumulated vsize (KiB) 511828
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/182 12918
/proc/meminfo: memFree=28029272/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=578172 CPUtime=924.15 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 134070 0 0 0 92223 192 0 0 20 0 3 0 331899850 592048128 128092 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 144543 128092 206 433 0 144107 0
[pid=12909/tid=12911] ppid=12907 vsize=578172 CPUtime=460.87 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 52699 0 0 0 46004 83 0 0 20 0 3 0 331899866 592048128 128092 33554432000 4194304 5964478 140737364846016 140051383490360 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=578172 CPUtime=460.84 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 77368 0 0 0 45965 119 0 0 20 0 3 0 331899866 592048128 128092 33554432000 4194304 5964478 140737364846016 140051373001016 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.15
Current children cumulated vsize (KiB) 578172
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 12918
/proc/meminfo: memFree=27975664/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=645816 CPUtime=1044.07 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 146570 0 0 0 104200 207 0 0 20 0 3 0 331899850 661315584 140893 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 161454 140893 206 433 0 161018 0
[pid=12909/tid=12911] ppid=12907 vsize=645816 CPUtime=520.69 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 53376 0 0 0 51984 85 0 0 20 0 3 0 331899866 661315584 140893 33554432000 4194304 5964478 140737364846016 140051383490424 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=645816 CPUtime=520.67 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 89191 0 0 0 51931 136 0 0 20 0 3 0 331899866 661315584 140893 33554432000 4194304 5964478 140737364846016 140051373001016 4388268 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.07
Current children cumulated vsize (KiB) 645816
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 12918
/proc/meminfo: memFree=27905464/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=711352 CPUtime=1164.02 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 159707 0 0 0 116172 230 0 0 20 0 3 0 331899850 728424448 154875 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 177838 154875 206 433 0 177402 0
[pid=12909/tid=12911] ppid=12907 vsize=711352 CPUtime=580.5 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 59268 0 0 0 57952 98 0 0 20 0 3 0 331899866 728424448 154875 33554432000 4194304 5964478 140737364846016 140051383490552 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=711352 CPUtime=580.51 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96436 0 0 0 57904 147 0 0 20 0 3 0 331899866 728424448 154875 33554432000 4194304 5964478 140737364846016 140051373001016 4388840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.02
Current children cumulated vsize (KiB) 711352
[startup+642.3 s]
/proc/loadavg: 4.05 4.01 3.96 5/182 12919
/proc/meminfo: memFree=27874084/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=711352 CPUtime=1284.02 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 166777 0 0 0 128159 243 0 0 20 0 3 0 331899850 728424448 161943 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 177838 161943 206 433 0 177402 0
[pid=12909/tid=12911] ppid=12907 vsize=711352 CPUtime=640.35 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 66106 0 0 0 63924 111 0 0 20 0 3 0 331899866 728424448 161943 33554432000 4194304 5964478 140737364846016 140051383490552 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=711352 CPUtime=640.36 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96668 0 0 0 63887 149 0 0 20 0 3 0 331899866 728424448 161943 33554432000 4194304 5964478 140737364846016 140051373001016 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.02
Current children cumulated vsize (KiB) 711352
[startup+702.3 s]
/proc/loadavg: 4.07 4.02 3.97 5/181 12919
/proc/meminfo: memFree=27757756/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=776888 CPUtime=1403.98 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 173026 0 0 0 140139 259 0 0 20 0 3 0 331899850 795533312 168192 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 194222 168192 206 433 0 193786 0
[pid=12909/tid=12911] ppid=12907 vsize=776888 CPUtime=700.19 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 72354 0 0 0 69890 129 0 0 20 0 3 0 331899866 795533312 168192 33554432000 4194304 5964478 140737364846016 140051383490600 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=776888 CPUtime=700.2 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96669 0 0 0 69870 150 0 0 20 0 3 0 331899866 795533312 168192 33554432000 4194304 5964478 140737364846016 140051373001016 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.98
Current children cumulated vsize (KiB) 776888
[startup+762.307 s]
/proc/loadavg: 4.02 4.02 3.97 5/181 12920
/proc/meminfo: memFree=27728492/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=777092 CPUtime=1523.98 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 179550 0 0 0 152123 275 0 0 20 0 3 0 331899850 795742208 174716 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 194273 174716 206 433 0 193837 0
[pid=12909/tid=12911] ppid=12907 vsize=777092 CPUtime=760.04 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 78816 0 0 0 75859 145 0 0 20 0 3 0 331899866 795742208 174716 33554432000 4194304 5964478 140737364846016 140051383490552 4400490 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=777092 CPUtime=760.05 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96731 0 0 0 75854 151 0 0 20 0 3 0 331899866 795742208 174716 33554432000 4194304 5964478 140737364846016 140051373000776 4409250 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.98
Current children cumulated vsize (KiB) 777092
[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/181 12920
/proc/meminfo: memFree=27702204/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=778520 CPUtime=1643.94 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 183612 0 0 0 164113 281 0 0 20 0 3 0 331899850 797204480 178778 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 194630 178778 206 433 0 194194 0
[pid=12909/tid=12911] ppid=12907 vsize=778520 CPUtime=819.88 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 82818 0 0 0 81835 153 0 0 20 0 3 0 331899866 797204480 178778 33554432000 4194304 5964478 140737364846016 140051383490360 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=778520 CPUtime=819.89 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96791 0 0 0 81837 152 0 0 20 0 3 0 331899866 797204480 178778 33554432000 4194304 5964478 140737364846016 140051373000776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.94
Current children cumulated vsize (KiB) 778520
[startup+882.3 s]
/proc/loadavg: 4.00 4.01 3.97 5/181 12920
/proc/meminfo: memFree=27694044/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=779284 CPUtime=1763.93 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 184448 0 0 0 176111 282 0 0 20 0 3 0 331899850 797986816 179612 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 194821 179612 206 433 0 194385 0
[pid=12909/tid=12911] ppid=12907 vsize=779284 CPUtime=879.73 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 83519 0 0 0 87819 154 0 0 20 0 3 0 331899866 797986816 179612 33554432000 4194304 5964478 140737364846016 140051383490360 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=779284 CPUtime=879.74 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96926 0 0 0 87821 153 0 0 20 0 3 0 331899866 797986816 179612 33554432000 4194304 5964478 140737364846016 140051373000776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.93
Current children cumulated vsize (KiB) 779284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 3.92 3.99 3.96 4/176 12928
/proc/meminfo: memFree=28391912/32873844 swapFree=7120/7120
[pid=12909] ppid=12907 vsize=779500 CPUtime=1800.14 cores=1,3,5,7
/proc/12909/stat : 12909 (pwbo2.02) S 12907 12909 10378 0 -1 4202496 184568 0 0 0 179732 282 0 0 20 0 3 0 331899850 798208000 179732 33554432000 4194304 5964478 140737364846016 140737364845536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12909/statm: 194875 179732 206 433 0 194439 0
[pid=12909/tid=12911] ppid=12907 vsize=779500 CPUtime=897.79 cores=1,3,5,7
/proc/12909/task/12911/stat : 12911 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 83587 0 0 0 89625 154 0 0 20 0 3 0 331899866 798208000 179732 33554432000 4194304 5964478 140737364846016 140051383490360 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12909/tid=12912] ppid=12907 vsize=779500 CPUtime=897.8 cores=1,3,5,7
/proc/12909/task/12912/stat : 12912 (pwbo2.02) R 12907 12909 10378 0 -1 4202560 96978 0 0 0 89627 153 0 0 20 0 3 0 331899866 798208000 179732 33554432000 4194304 5964478 140737364846016 140051373000776 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 779500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12909 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=685470
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=114526
# CPU time returned by wait4() is 1795.8
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.439
CPU time (s): 1800.14
CPU user time (s): 1797.32
CPU system time (s): 2.82
CPU usage (%): 199.918
Max. virtual memory (cumulated for all children) (KiB): 779500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.69
system time used= 3.11453
maximum resident set size= 718940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184571
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= 726
involuntary context switches= 2868
runsolver used 1.73074 second user time and 5.78512 second system time
The end