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-3725894-1338652741/watcher-3725894-1338652741 -o /tmp/evaluation-result-3725894-1338652741/solver-3725894-1338652741 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725894-1338652741.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.67 3.78 3.04 4/175 27600
/proc/meminfo: memFree=26826936/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=4820 CPUtime=0 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) R 27598 27600 25747 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 1 0 331398472 4935680 439 33554432000 4194304 5964478 140735378068256 140737383896680 5179243 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 1205 439 163 433 0 741 0
[startup+0.0903629 s]
/proc/loadavg: 3.67 3.78 3.04 4/175 27600
/proc/meminfo: memFree=26826936/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=181604 CPUtime=0.15 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 8929 0 0 0 12 3 0 0 20 0 3 0 331398472 185962496 8766 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45401 8766 200 433 0 44965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 181604
[startup+0.100253 s]
/proc/loadavg: 3.67 3.78 3.04 4/175 27600
/proc/meminfo: memFree=26826936/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=181848 CPUtime=0.17 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 8990 0 0 0 14 3 0 0 20 0 3 0 331398472 186212352 8827 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45462 8827 200 433 0 45026 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 181848
[startup+0.300177 s]
/proc/loadavg: 3.67 3.78 3.04 4/175 27600
/proc/meminfo: memFree=26826936/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=182148 CPUtime=0.57 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 9583 0 0 0 54 3 0 0 20 0 3 0 331398472 186519552 9107 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45537 9107 201 433 0 45101 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 182148
[startup+0.700191 s]
/proc/loadavg: 3.67 3.78 3.04 4/175 27600
/proc/meminfo: memFree=26826936/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=182148 CPUtime=1.37 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 10775 0 0 0 134 3 0 0 20 0 3 0 331398472 186519552 9703 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45537 9703 201 433 0 45101 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 182148
[startup+1.50034 s]
/proc/loadavg: 3.67 3.78 3.04 6/181 27606
/proc/meminfo: memFree=26746684/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=182148 CPUtime=2.97 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 13255 0 0 0 293 4 0 0 20 0 3 0 331398472 186519552 10846 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45537 10846 202 433 0 45101 0
[pid=27600/tid=27605] ppid=27598 vsize=182148 CPUtime=1.46 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 4442 0 0 0 146 0 0 0 20 0 3 0 331398474 186519552 10846 33554432000 4194304 5964478 140735378068256 140336629770776 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=182148 CPUtime=1.47 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 7688 0 0 0 144 3 0 0 20 0 3 0 331398474 186519552 10846 33554432000 4194304 5964478 140735378068256 140336619280696 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 182148
[startup+3.10031 s]
/proc/loadavg: 3.67 3.78 3.04 6/181 27606
/proc/meminfo: memFree=26732508/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=182316 CPUtime=6.17 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 18679 0 0 0 611 6 0 0 20 0 3 0 331398472 186691584 13543 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45579 13543 203 433 0 45143 0
[pid=27600/tid=27605] ppid=27598 vsize=182316 CPUtime=3.06 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 9682 0 0 0 304 2 0 0 20 0 3 0 331398474 186691584 13543 33554432000 4194304 5964478 140735378068256 140336629770776 4419048 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=182316 CPUtime=3.07 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 7872 0 0 0 303 4 0 0 20 0 3 0 331398474 186691584 13543 33554432000 4194304 5964478 140735378068256 140336619280744 4409255 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) 182316
[startup+6.30032 s]
/proc/loadavg: 3.70 3.79 3.04 6/181 27606
/proc/meminfo: memFree=26701864/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=182316 CPUtime=12.56 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 21164 0 0 0 1248 8 0 0 20 0 3 0 331398472 186691584 15705 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45579 15705 203 433 0 45143 0
[pid=27600/tid=27605] ppid=27598 vsize=182316 CPUtime=6.25 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 11422 0 0 0 623 2 0 0 20 0 3 0 331398474 186691584 15705 33554432000 4194304 5964478 140735378068256 140336629770600 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=182316 CPUtime=6.25 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 8617 0 0 0 620 5 0 0 20 0 3 0 331398474 186691584 15705 33554432000 4194304 5964478 140735378068256 140336619280696 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 182316
[startup+12.7003 s]
/proc/loadavg: 3.72 3.79 3.05 6/181 27606
/proc/meminfo: memFree=26665868/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=182316 CPUtime=25.36 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 25232 0 0 0 2523 13 0 0 20 0 3 0 331398472 186691584 19773 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45579 19773 203 433 0 45143 0
[pid=27600/tid=27605] ppid=27598 vsize=182316 CPUtime=12.63 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 13974 0 0 0 1260 3 0 0 20 0 3 0 331398474 186691584 19773 33554432000 4194304 5964478 140735378068256 140336629770280 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=182316 CPUtime=12.64 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 10133 0 0 0 1255 9 0 0 20 0 3 0 331398474 186691584 19773 33554432000 4194304 5964478 140735378068256 140336619280696 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 182316
[startup+25.5004 s]
/proc/loadavg: 3.78 3.80 3.06 6/181 27606
/proc/meminfo: memFree=26596272/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=183124 CPUtime=50.96 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 34088 0 0 0 5073 23 0 0 20 0 3 0 331398472 187518976 28629 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 45781 28629 203 433 0 45345 0
[pid=27600/tid=27605] ppid=27598 vsize=183124 CPUtime=25.4 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 19653 0 0 0 2534 6 0 0 20 0 3 0 331398474 187518976 28629 33554432000 4194304 5964478 140735378068256 140336629770040 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=183124 CPUtime=25.4 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 13310 0 0 0 2524 16 0 0 20 0 3 0 331398474 187518976 28629 33554432000 4194304 5964478 140735378068256 140336619280696 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 183124
[startup+51.1004 s]
/proc/loadavg: 3.86 3.81 3.09 6/181 27606
/proc/meminfo: memFree=26518556/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=248336 CPUtime=102.14 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 44967 0 0 0 10183 31 0 0 20 0 3 0 331398472 254296064 39392 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 62084 39392 203 433 0 61648 0
[pid=27600/tid=27605] ppid=27598 vsize=248336 CPUtime=50.92 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 25421 0 0 0 5083 9 0 0 20 0 3 0 331398474 254296064 39392 33554432000 4194304 5964478 140735378068256 140336629771192 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=248336 CPUtime=50.94 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 18421 0 0 0 5072 22 0 0 20 0 3 0 331398474 254296064 39392 33554432000 4194304 5964478 140735378068256 140336619280696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 248336
[startup+102.307 s]
/proc/loadavg: 3.94 3.84 3.13 6/182 27609
/proc/meminfo: memFree=26375388/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=314836 CPUtime=204.51 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 59183 0 0 0 20409 42 0 0 20 0 3 0 331398472 322392064 53712 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 78709 53712 203 433 0 78273 0
[pid=27600/tid=27605] ppid=27598 vsize=314836 CPUtime=101.97 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 36615 0 0 0 10180 17 0 0 20 0 3 0 331398474 322392064 53712 33554432000 4194304 5964478 140735378068256 140336629770040 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=314836 CPUtime=102.01 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 21443 0 0 0 10175 26 0 0 20 0 3 0 331398474 322392064 53712 33554432000 4194304 5964478 140735378068256 140336619280840 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 314836
[startup+162.3 s]
/proc/loadavg: 4.01 3.88 3.19 6/182 27632
/proc/meminfo: memFree=26179868/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=381092 CPUtime=324.42 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 85467 0 0 0 32378 64 0 0 20 0 3 0 331398472 390238208 79985 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 95273 79985 203 433 0 94837 0
[pid=27600/tid=27605] ppid=27598 vsize=381092 CPUtime=161.78 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 50666 0 0 0 16149 29 0 0 20 0 3 0 331398474 390238208 79985 33554432000 4194304 5964478 140735378068256 140336629770040 4388326 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=381092 CPUtime=161.82 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 33676 0 0 0 16143 39 0 0 20 0 3 0 331398474 390238208 79985 33554432000 4194304 5964478 140735378068256 140336619280696 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 381092
[startup+222.3 s]
/proc/loadavg: 4.04 3.91 3.24 6/181 27633
/proc/meminfo: memFree=25963524/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=512704 CPUtime=444.35 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 104352 0 0 0 44348 87 0 0 20 0 3 0 331398472 525008896 98993 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 128176 98993 203 433 0 127740 0
[pid=27600/tid=27605] ppid=27598 vsize=512704 CPUtime=221.57 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 55309 0 0 0 22121 36 0 0 20 0 3 0 331398474 525008896 98993 33554432000 4194304 5964478 140735378068256 140336629770232 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=512704 CPUtime=221.66 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 47918 0 0 0 22110 56 0 0 20 0 3 0 331398474 525008896 98993 33554432000 4194304 5964478 140735378068256 140336619280696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.35
Current children cumulated vsize (KiB) 512704
[startup+282.3 s]
/proc/loadavg: 4.05 3.94 3.29 6/181 27633
/proc/meminfo: memFree=25737952/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=579048 CPUtime=564.32 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 129437 0 0 0 56314 118 0 0 20 0 3 0 331398472 592945152 125386 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 144762 125386 203 433 0 144326 0
[pid=27600/tid=27605] ppid=27598 vsize=579048 CPUtime=281.41 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 66571 0 0 0 28086 55 0 0 20 0 3 0 331398474 592945152 125386 33554432000 4194304 5964478 140735378068256 140336629770040 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=579048 CPUtime=281.5 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 61741 0 0 0 28080 70 0 0 20 0 3 0 331398474 592945152 125386 33554432000 4194304 5964478 140735378068256 140336619280696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 579048
[startup+342.3 s]
/proc/loadavg: 4.09 3.98 3.34 6/181 27633
/proc/meminfo: memFree=25567108/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=710660 CPUtime=684.29 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 158830 0 0 0 68287 142 0 0 20 0 3 0 331398472 727715840 154778 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 177665 154778 203 433 0 177229 0
[pid=27600/tid=27605] ppid=27598 vsize=710660 CPUtime=341.25 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 78579 0 0 0 34059 66 0 0 20 0 3 0 331398474 727715840 154778 33554432000 4194304 5964478 140735378068256 140336629770040 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=710660 CPUtime=341.35 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 79126 0 0 0 34050 85 0 0 20 0 3 0 331398474 727715840 154778 33554432000 4194304 5964478 140735378068256 140336619280696 4399920 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) 710660
[startup+402.3 s]
/proc/loadavg: 4.07 3.99 3.39 6/181 27633
/proc/meminfo: memFree=25516916/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=776196 CPUtime=804.27 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 170969 0 0 0 80272 155 0 0 20 0 3 0 331398472 794824704 166917 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 194049 166917 203 433 0 193613 0
[pid=27600/tid=27605] ppid=27598 vsize=776196 CPUtime=401.09 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 89894 0 0 0 40029 80 0 0 20 0 3 0 331398474 794824704 166917 33554432000 4194304 5964478 140735378068256 140336629770232 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=776196 CPUtime=401.2 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 79950 0 0 0 40033 87 0 0 20 0 3 0 331398474 794824704 166917 33554432000 4194304 5964478 140735378068256 140336619280696 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (KiB) 776196
[startup+462.3 s]
/proc/loadavg: 4.02 3.99 3.42 6/181 27633
/proc/meminfo: memFree=25516552/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=776196 CPUtime=924.25 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 171402 0 0 0 92269 156 0 0 20 0 3 0 331398472 794824704 167314 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 194049 167314 203 433 0 193613 0
[pid=27600/tid=27605] ppid=27598 vsize=776196 CPUtime=460.93 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 90327 0 0 0 46013 80 0 0 20 0 3 0 331398474 794824704 167314 33554432000 4194304 5964478 140735378068256 140336629770280 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=776196 CPUtime=461.04 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 79950 0 0 0 46017 87 0 0 20 0 3 0 331398474 794824704 167314 33554432000 4194304 5964478 140735378068256 140336619280696 4387951 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.25
Current children cumulated vsize (KiB) 776196
[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.46 6/181 27634
/proc/meminfo: memFree=25447536/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=776196 CPUtime=1044.22 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 183110 0 0 0 104255 167 0 0 20 0 3 0 331398472 794824704 179022 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 194049 179022 203 433 0 193613 0
[pid=27600/tid=27605] ppid=27598 vsize=776196 CPUtime=520.77 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 102035 0 0 0 51985 92 0 0 20 0 3 0 331398474 794824704 179022 33554432000 4194304 5964478 140735378068256 140336629770232 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=776196 CPUtime=520.89 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 79950 0 0 0 52001 88 0 0 20 0 3 0 331398474 794824704 179022 33554432000 4194304 5964478 140735378068256 140336619280696 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.22
Current children cumulated vsize (KiB) 776196
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.48 6/181 27634
/proc/meminfo: memFree=25279564/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=907268 CPUtime=1164.19 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 207542 0 0 0 116230 189 0 0 20 0 3 0 331398472 929042432 203475 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 226817 203475 203 433 0 226381 0
[pid=27600/tid=27605] ppid=27598 vsize=907268 CPUtime=580.61 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 114020 0 0 0 57957 104 0 0 20 0 3 0 331398474 929042432 203475 33554432000 4194304 5964478 140735378068256 140336629770232 4399969 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=907268 CPUtime=580.74 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 92397 0 0 0 57973 101 0 0 20 0 3 0 331398474 929042432 203475 33554432000 4194304 5964478 140735378068256 140336619280696 4392863 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.19
Current children cumulated vsize (KiB) 907268
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.51 6/181 27634
/proc/meminfo: memFree=25069040/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=1038340 CPUtime=1284.13 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 236945 0 0 0 128183 230 0 0 20 0 3 0 331398472 1063260160 232904 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 259585 232904 203 433 0 259149 0
[pid=27600/tid=27605] ppid=27598 vsize=1038340 CPUtime=640.44 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 127894 0 0 0 63912 132 0 0 20 0 3 0 331398474 1063260160 232904 33554432000 4194304 5964478 140735378068256 140336629770232 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=1038340 CPUtime=640.56 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 107926 0 0 0 63941 115 0 0 20 0 3 0 331398474 1063260160 232904 33554432000 4194304 5964478 140735378068256 140336619280744 4392863 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.13
Current children cumulated vsize (KiB) 1038340
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.54 6/182 27637
/proc/meminfo: memFree=24915920/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=1103876 CPUtime=1404.06 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 259810 0 0 0 140141 265 0 0 20 0 3 0 331398472 1130369024 255765 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 275969 255765 203 433 0 275533 0
[pid=27600/tid=27605] ppid=27598 vsize=1103876 CPUtime=700.25 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 134262 0 0 0 69874 151 0 0 20 0 3 0 331398474 1130369024 255765 33554432000 4194304 5964478 140735378068256 140336629770232 4400044 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=1103876 CPUtime=700.38 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 124423 0 0 0 69905 133 0 0 20 0 3 0 331398474 1130369024 255765 33554432000 4194304 5964478 140735378068256 140336619280696 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.06
Current children cumulated vsize (KiB) 1103876
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.57 6/181 27637
/proc/meminfo: memFree=24841620/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=1169412 CPUtime=1523.99 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 277732 0 0 0 152113 286 0 0 20 0 3 0 331398472 1197477888 273944 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 292353 273944 203 433 0 291917 0
[pid=27600/tid=27605] ppid=27598 vsize=1169412 CPUtime=760.05 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 134416 0 0 0 75853 152 0 0 20 0 3 0 331398474 1197477888 273944 33554432000 4194304 5964478 140735378068256 140336629770040 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=1169412 CPUtime=760.23 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 142191 0 0 0 75868 155 0 0 20 0 3 0 331398474 1197477888 273944 33554432000 4194304 5964478 140735378068256 140336619280696 4388624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 1169412
[startup+822.3 s]
/proc/loadavg: 4.04 4.01 3.60 6/181 27638
/proc/meminfo: memFree=24734760/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=1236164 CPUtime=1643.92 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 297378 0 0 0 164075 317 0 0 20 0 3 0 331398472 1265831936 293550 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 309041 293550 203 433 0 308605 0
[pid=27600/tid=27605] ppid=27598 vsize=1236164 CPUtime=819.89 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 134770 0 0 0 81835 154 0 0 20 0 3 0 331398474 1265831936 293550 33554432000 4194304 5964478 140735378068256 140336629770040 4400470 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=1236164 CPUtime=820.03 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 161483 0 0 0 81817 186 0 0 20 0 3 0 331398474 1265831936 293550 33554432000 4194304 5964478 140735378068256 140336619280696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.92
Current children cumulated vsize (KiB) 1236164
[startup+882.3 s]
/proc/loadavg: 4.09 4.02 3.62 6/181 27638
/proc/meminfo: memFree=24657292/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=1367236 CPUtime=1763.85 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 309688 0 0 0 176053 332 0 0 20 0 3 0 331398472 1400049664 305919 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 341809 305919 203 433 0 341373 0
[pid=27600/tid=27605] ppid=27598 vsize=1367236 CPUtime=879.7 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 136296 0 0 0 87815 155 0 0 20 0 3 0 331398474 1400049664 305919 33554432000 4194304 5964478 140735378068256 140336629770040 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=1367236 CPUtime=879.86 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 172267 0 0 0 87784 202 0 0 20 0 3 0 331398474 1400049664 305919 33554432000 4194304 5964478 140735378068256 140336619280696 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.85
Current children cumulated vsize (KiB) 1367236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.06 4.02 3.63 3/178 27639
/proc/meminfo: memFree=25589580/32873844 swapFree=7628/7628
[pid=27600] ppid=27598 vsize=1367236 CPUtime=1800.05 cores=1,3,5,7
/proc/27600/stat : 27600 (pwbo2.02) S 27598 27600 25747 0 -1 4202496 312367 0 0 0 179670 335 0 0 20 0 3 0 331398472 1400049664 308582 33554432000 4194304 5964478 140735378068256 140735378067776 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27600/statm: 341809 308582 203 433 0 341373 0
[pid=27600/tid=27605] ppid=27598 vsize=1367236 CPUtime=897.76 cores=1,3,5,7
/proc/27600/task/27605/stat : 27605 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 138960 0 0 0 89618 158 0 0 20 0 3 0 331398474 1400049664 308582 33554432000 4194304 5964478 140735378068256 140336629770232 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27600/tid=27606] ppid=27598 vsize=1367236 CPUtime=897.9 cores=1,3,5,7
/proc/27600/task/27606/stat : 27606 (pwbo2.02) R 27598 27600 25747 0 -1 4202560 172282 0 0 0 89588 202 0 0 20 0 3 0 331398474 1400049664 308582 33554432000 4194304 5964478 140735378068256 140336619280696 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1367236
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 27600 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=87561
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=661443
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.453
CPU time (s): 1800.05
CPU user time (s): 1796.7
CPU system time (s): 3.35
CPU usage (%): 199.905
Max. virtual memory (cumulated for all children) (KiB): 1367236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.09
system time used= 3.66144
maximum resident set size= 1234336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312369
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= 978
involuntary context switches= 3085
runsolver used 1.91071 second user time and 5.53416 second system time
The end