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-3726348-1338659521/watcher-3726348-1338659521 -o /tmp/evaluation-result-3726348-1338659521/solver-3726348-1338659521 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726348-1338659521.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.92 3.97 3.95 4/180 5249
/proc/meminfo: memFree=28439408/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=8548 CPUtime=0 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) R 5247 5249 2131 0 -1 4202496 751 0 0 0 0 0 0 0 20 0 1 0 332076908 8753152 704 33554432000 4194304 5964478 140734304426400 140734093190072 4395406 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 2137 704 159 433 0 1026 0
[startup+0.0987589 s]
/proc/loadavg: 3.92 3.97 3.95 4/180 5249
/proc/meminfo: memFree=28439408/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=26900 CPUtime=0.09 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) R 5247 5249 2131 0 -1 4202496 5430 0 0 0 8 1 0 0 20 0 1 0 332076908 27545600 5138 33554432000 4194304 5964478 140734304426400 140734093190072 5136490 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 6725 5138 380 433 0 5614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26900
[startup+0.100336 s]
/proc/loadavg: 3.92 3.97 3.95 4/180 5249
/proc/meminfo: memFree=28439408/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=27164 CPUtime=0.09 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) R 5247 5249 2131 0 -1 4202496 5492 0 0 0 8 1 0 0 20 0 1 0 332076908 27815936 5200 33554432000 4194304 5964478 140734304426400 140734093190072 5136490 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 6791 5202 383 433 0 5680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27164
[startup+0.300237 s]
/proc/loadavg: 3.92 3.97 3.95 4/180 5249
/proc/meminfo: memFree=28439408/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=203520 CPUtime=0.3 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 14566 0 0 0 27 3 0 0 20 0 3 0 332076908 208404480 13480 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 50880 13480 176 433 0 50444 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 203520
[startup+0.700168 s]
/proc/loadavg: 3.92 3.97 3.95 4/180 5249
/proc/meminfo: memFree=28439408/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=204080 CPUtime=1.09 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 24866 0 0 0 104 5 0 0 20 0 3 0 332076908 208977920 21299 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 51020 21299 197 433 0 50584 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 204080
[startup+1.50039 s]
/proc/loadavg: 3.92 3.97 3.95 5/183 5252
/proc/meminfo: memFree=28351204/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=204080 CPUtime=2.68 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 31847 0 0 0 262 6 0 0 20 0 3 0 332076908 208977920 22640 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 51020 22640 198 433 0 50584 0
[pid=5249/tid=5251] ppid=5247 vsize=204080 CPUtime=1.2 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 19448 0 0 0 117 3 0 0 20 0 3 0 332076936 208977920 22640 33554432000 4194304 5964478 140734304426400 140264236943704 5142822 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=204080 CPUtime=1.19 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 2566 0 0 0 119 0 0 0 20 0 3 0 332076936 208977920 22640 33554432000 4194304 5964478 140734304426400 140264226453336 4399881 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 204080
[startup+3.10035 s]
/proc/loadavg: 3.92 3.97 3.95 5/183 5252
/proc/meminfo: memFree=28343764/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=204080 CPUtime=5.89 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 41211 0 0 0 581 8 0 0 20 0 3 0 332076908 208977920 25629 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 51020 25629 198 433 0 50584 0
[pid=5249/tid=5251] ppid=5247 vsize=204080 CPUtime=2.8 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 28779 0 0 0 275 5 0 0 20 0 3 0 332076936 208977920 25629 33554432000 4194304 5964478 140734304426400 140264236943704 4445054 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=204080 CPUtime=2.79 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 2599 0 0 0 279 0 0 0 20 0 3 0 332076936 208977920 25629 33554432000 4194304 5964478 140734304426400 140264226453624 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 204080
[startup+6.30034 s]
/proc/loadavg: 3.93 3.97 3.95 5/183 5252
/proc/meminfo: memFree=28321072/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=269616 CPUtime=12.29 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 58359 0 0 0 1217 12 0 0 20 0 3 0 332076908 276086784 30934 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 67404 30939 198 433 0 66968 0
[pid=5249/tid=5251] ppid=5247 vsize=269616 CPUtime=6 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 45872 0 0 0 591 9 0 0 20 0 3 0 332076936 276086784 30941 33554432000 4194304 5964478 140734304426400 140264236943896 4395406 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=269616 CPUtime=5.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 2661 0 0 0 599 0 0 0 20 0 3 0 332076936 276086784 30943 33554432000 4194304 5964478 140734304426400 140264226453864 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 269616
[startup+12.7003 s]
/proc/loadavg: 3.93 3.97 3.95 5/183 5252
/proc/meminfo: memFree=28283932/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=269616 CPUtime=25.09 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 89029 0 0 0 2490 19 0 0 20 0 3 0 332076908 276086784 39407 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 67404 39407 198 433 0 66968 0
[pid=5249/tid=5251] ppid=5247 vsize=269616 CPUtime=12.4 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 76414 0 0 0 1224 16 0 0 20 0 3 0 332076936 276086784 39407 33554432000 4194304 5964478 140734304426400 140264236943704 5133745 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=269616 CPUtime=12.39 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 2782 0 0 0 1237 2 0 0 20 0 3 0 332076936 276086784 39407 33554432000 4194304 5964478 140734304426400 140264226453864 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 269616
[startup+25.5004 s]
/proc/loadavg: 3.95 3.97 3.95 5/183 5252
/proc/meminfo: memFree=28208396/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=337424 CPUtime=50.68 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 145478 0 0 0 5037 31 0 0 20 0 3 0 332076908 345522176 56627 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 84356 56627 198 433 0 83920 0
[pid=5249/tid=5251] ppid=5247 vsize=337424 CPUtime=25.2 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 132569 0 0 0 2492 28 0 0 20 0 3 0 332076936 345522176 56627 33554432000 4194304 5964478 140734304426400 140264236944200 5139118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=337424 CPUtime=25.19 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 3076 0 0 0 2517 2 0 0 20 0 3 0 332076936 345522176 56627 33554432000 4194304 5964478 140734304426400 140264226453752 4389072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 337424
[startup+51.1004 s]
/proc/loadavg: 3.96 3.97 3.95 5/183 5252
/proc/meminfo: memFree=28104728/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=468496 CPUtime=101.87 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 226457 0 0 0 10140 47 0 0 20 0 3 0 332076908 479739904 81393 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 117124 81393 198 433 0 116688 0
[pid=5249/tid=5251] ppid=5247 vsize=468496 CPUtime=50.81 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 213044 0 0 0 5038 43 0 0 20 0 3 0 332076936 479739904 81393 33554432000 4194304 5964478 140734304426400 140264236943704 5179673 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=468496 CPUtime=50.79 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 3580 0 0 0 5076 3 0 0 20 0 3 0 332076936 479739904 81393 33554432000 4194304 5964478 140734304426400 140264226453816 4389164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 468496
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.95 5/183 5252
/proc/meminfo: memFree=27939196/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=600648 CPUtime=204.27 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 344497 0 0 0 20353 74 0 0 20 0 3 0 332076908 615063552 115533 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 150162 115533 198 433 0 149726 0
[pid=5249/tid=5251] ppid=5247 vsize=600648 CPUtime=102.01 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 330097 0 0 0 10132 69 0 0 20 0 3 0 332076936 615063552 115533 33554432000 4194304 5964478 140734304426400 140264236943896 5130869 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=600648 CPUtime=102 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 4567 0 0 0 10194 6 0 0 20 0 3 0 332076936 615063552 115533 33554432000 4194304 5964478 140734304426400 140264226453816 4403500 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 600648
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/182 5252
/proc/meminfo: memFree=27780492/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=728480 CPUtime=324.24 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 468095 0 0 0 32319 105 0 0 20 0 3 0 332076908 745963520 155223 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 182120 155223 198 433 0 181684 0
[pid=5249/tid=5251] ppid=5247 vsize=728480 CPUtime=162.01 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 452687 0 0 0 16102 99 0 0 20 0 3 0 332076936 745963520 155223 33554432000 4194304 5964478 140734304426400 140264236943896 5130994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=728480 CPUtime=161.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 5575 0 0 0 16190 9 0 0 20 0 3 0 332076936 745963520 155223 33554432000 4194304 5964478 140734304426400 140264226453816 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.24
Current children cumulated vsize (KiB) 728480
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/183 5253
/proc/meminfo: memFree=27626400/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=859552 CPUtime=444.18 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 541218 0 0 0 44292 126 0 0 20 0 3 0 332076908 880181248 189281 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 214888 189281 198 433 0 214452 0
[pid=5249/tid=5251] ppid=5247 vsize=859552 CPUtime=221.99 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 525805 0 0 0 22078 121 0 0 20 0 3 0 332076936 880181248 189281 33554432000 4194304 5964478 140734304426400 140264236943896 5134325 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=859552 CPUtime=221.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 5580 0 0 0 22189 10 0 0 20 0 3 0 332076936 880181248 189281 33554432000 4194304 5964478 140734304426400 140264226453816 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.18
Current children cumulated vsize (KiB) 859552
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/183 5254
/proc/meminfo: memFree=27532856/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=925088 CPUtime=564.13 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 554696 0 0 0 56280 133 0 0 20 0 3 0 332076908 947290112 200750 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 231272 200750 198 433 0 230836 0
[pid=5249/tid=5251] ppid=5247 vsize=925088 CPUtime=281.95 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 538152 0 0 0 28068 127 0 0 20 0 3 0 332076936 947290112 200750 33554432000 4194304 5964478 140734304426400 140264236943704 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=925088 CPUtime=281.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 6711 0 0 0 28186 13 0 0 20 0 3 0 332076936 947290112 200750 33554432000 4194304 5964478 140734304426400 140264226453752 4387951 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.13
Current children cumulated vsize (KiB) 925088
[startup+342.3 s]
/proc/loadavg: 4.03 3.99 3.96 5/183 5254
/proc/meminfo: memFree=27478192/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=925088 CPUtime=684.07 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 584505 0 0 0 68265 142 0 0 20 0 3 0 332076908 947290112 208396 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 231272 208396 198 433 0 230836 0
[pid=5249/tid=5251] ppid=5247 vsize=925088 CPUtime=341.92 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 567088 0 0 0 34058 134 0 0 20 0 3 0 332076936 947290112 208396 33554432000 4194304 5964478 140734304426400 140264236943896 4400446 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=925088 CPUtime=342 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 7584 0 0 0 34183 17 0 0 20 0 3 0 332076936 947290112 208396 33554432000 4194304 5964478 140734304426400 140264226453336 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.07
Current children cumulated vsize (KiB) 925088
[startup+402.3 s]
/proc/loadavg: 4.01 3.99 3.96 5/183 5254
/proc/meminfo: memFree=27385304/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=990624 CPUtime=804 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 610181 0 0 0 80249 151 0 0 20 0 3 0 332076908 1014398976 223207 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 247656 223207 198 433 0 247220 0
[pid=5249/tid=5251] ppid=5247 vsize=990624 CPUtime=401.88 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 592764 0 0 0 40044 144 0 0 20 0 3 0 332076936 1014398976 223207 33554432000 4194304 5964478 140734304426400 140264236943672 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=990624 CPUtime=401.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 7584 0 0 0 40181 18 0 0 20 0 3 0 332076936 1014398976 223207 33554432000 4194304 5964478 140734304426400 140264226453920 4403708 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804
Current children cumulated vsize (KiB) 990624
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/183 5254
/proc/meminfo: memFree=27384216/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=990624 CPUtime=923.96 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 610240 0 0 0 92245 151 0 0 20 0 3 0 332076908 1014398976 223232 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 247656 223232 198 433 0 247220 0
[pid=5249/tid=5251] ppid=5247 vsize=990624 CPUtime=461.86 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 592823 0 0 0 46042 144 0 0 20 0 3 0 332076936 1014398976 223232 33554432000 4194304 5964478 140734304426400 140264236943896 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=990624 CPUtime=461.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 7584 0 0 0 46180 19 0 0 20 0 3 0 332076936 1014398976 223232 33554432000 4194304 5964478 140734304426400 140264226453920 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 923.96
Current children cumulated vsize (KiB) 990624
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/184 5257
/proc/meminfo: memFree=27372828/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=990624 CPUtime=1043.91 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 611125 0 0 0 104240 151 0 0 20 0 3 0 332076908 1014398976 224135 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 247656 224135 198 433 0 247220 0
[pid=5249/tid=5251] ppid=5247 vsize=990624 CPUtime=521.85 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 593447 0 0 0 52040 145 0 0 20 0 3 0 332076936 1014398976 224135 33554432000 4194304 5964478 140734304426400 140264236943160 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=990624 CPUtime=521.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 7845 0 0 0 52179 20 0 0 20 0 3 0 332076936 1014398976 224135 33554432000 4194304 5964478 140734304426400 140264226453816 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1043.91
Current children cumulated vsize (KiB) 990624
[startup+582.3 s]
/proc/loadavg: 3.96 3.97 3.95 5/184 5322
/proc/meminfo: memFree=26967488/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=990624 CPUtime=1163.9 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 613048 0 0 0 116236 154 0 0 20 0 3 0 332076908 1014398976 226666 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 247656 226666 198 433 0 247220 0
[pid=5249/tid=5251] ppid=5247 vsize=990624 CPUtime=581.85 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 595183 0 0 0 58037 148 0 0 20 0 3 0 332076936 1014398976 226666 33554432000 4194304 5964478 140734304426400 140264236943224 4399964 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=990624 CPUtime=581.99 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 8032 0 0 0 58178 21 0 0 20 0 3 0 332076936 1014398976 226666 33554432000 4194304 5964478 140734304426400 140264226453816 4388824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.9
Current children cumulated vsize (KiB) 990624
[startup+642.3 s]
/proc/loadavg: 3.98 3.97 3.95 5/183 5322
/proc/meminfo: memFree=26590108/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=1056160 CPUtime=1283.89 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 617201 0 0 0 128234 155 0 0 20 0 3 0 332076908 1081507840 231314 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 264040 231314 198 433 0 263604 0
[pid=5249/tid=5251] ppid=5247 vsize=1056160 CPUtime=641.86 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 599336 0 0 0 64036 150 0 0 20 0 3 0 332076936 1081507840 231314 33554432000 4194304 5964478 140734304426400 140264236944200 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=1056160 CPUtime=642 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 8032 0 0 0 64178 22 0 0 20 0 3 0 332076936 1081507840 231314 33554432000 4194304 5964478 140734304426400 140264226453816 4403575 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.89
Current children cumulated vsize (KiB) 1056160
[startup+702.3 s]
/proc/loadavg: 3.99 3.97 3.95 5/183 5322
/proc/meminfo: memFree=26259968/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=1056160 CPUtime=1403.86 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 617206 0 0 0 140231 155 0 0 20 0 3 0 332076908 1081507840 231319 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 264040 231319 198 433 0 263604 0
[pid=5249/tid=5251] ppid=5247 vsize=1056160 CPUtime=701.86 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 599341 0 0 0 70035 151 0 0 20 0 3 0 332076936 1081507840 231319 33554432000 4194304 5964478 140734304426400 140264236944200 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=1056160 CPUtime=702 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 8032 0 0 0 70177 23 0 0 20 0 3 0 332076936 1081507840 231319 33554432000 4194304 5964478 140734304426400 140264226453816 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.86
Current children cumulated vsize (KiB) 1056160
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.95 5/183 5322
/proc/meminfo: memFree=25896172/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=1056160 CPUtime=1523.85 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 617757 0 0 0 152230 155 0 0 20 0 3 0 332076908 1081507840 232381 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 264040 232381 198 433 0 263604 0
[pid=5249/tid=5251] ppid=5247 vsize=1056160 CPUtime=761.87 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 599889 0 0 0 76035 152 0 0 20 0 3 0 332076936 1081507840 232381 33554432000 4194304 5964478 140734304426400 140264236943896 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=1056160 CPUtime=762 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 8035 0 0 0 76176 24 0 0 20 0 3 0 332076936 1081507840 232381 33554432000 4194304 5964478 140734304426400 140264226453816 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.85
Current children cumulated vsize (KiB) 1056160
[startup+822.3 s]
/proc/loadavg: 4.06 3.99 3.96 5/183 5322
/proc/meminfo: memFree=25562388/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=1056160 CPUtime=1643.82 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 618724 0 0 0 164224 158 0 0 20 0 3 0 332076908 1081507840 233348 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 264040 233348 198 433 0 263604 0
[pid=5249/tid=5251] ppid=5247 vsize=1056160 CPUtime=821.86 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 599889 0 0 0 82033 153 0 0 20 0 3 0 332076936 1081507840 233348 33554432000 4194304 5964478 140734304426400 140264236943896 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=1056160 CPUtime=822 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 9002 0 0 0 82172 28 0 0 20 0 3 0 332076936 1081507840 233348 33554432000 4194304 5964478 140734304426400 140264226453816 4392738 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.82
Current children cumulated vsize (KiB) 1056160
[startup+882.3 s]
/proc/loadavg: 4.05 4.00 3.96 5/183 5323
/proc/meminfo: memFree=25190120/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=1056292 CPUtime=1763.8 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 619613 0 0 0 176221 159 0 0 20 0 3 0 332076908 1081643008 234237 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 264073 234237 198 433 0 263637 0
[pid=5249/tid=5251] ppid=5247 vsize=1056292 CPUtime=881.86 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 599990 0 0 0 88032 154 0 0 20 0 3 0 332076936 1081643008 234237 33554432000 4194304 5964478 140734304426400 140264236943896 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=1056292 CPUtime=882 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 9790 0 0 0 88170 30 0 0 20 0 3 0 332076936 1081643008 234237 33554432000 4194304 5964478 140734304426400 140264226453576 4392797 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.8
Current children cumulated vsize (KiB) 1056292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.04 4.00 3.96 5/183 5323
/proc/meminfo: memFree=25135816/32873844 swapFree=7380/7380
[pid=5249] ppid=5247 vsize=1056292 CPUtime=1800.01 cores=1,3,5,7
/proc/5249/stat : 5249 (pwbo2.02) S 5247 5249 2131 0 -1 4202496 619616 0 0 0 179842 159 0 0 20 0 3 0 332076908 1081643008 234240 33554432000 4194304 5964478 140734304426400 140734304425920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5249/statm: 264073 234240 198 433 0 263637 0
[pid=5249/tid=5251] ppid=5247 vsize=1056292 CPUtime=899.97 cores=1,3,5,7
/proc/5249/task/5251/stat : 5251 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 599991 0 0 0 89843 154 0 0 20 0 3 0 332076936 1081643008 234240 33554432000 4194304 5964478 140734304426400 140264236943896 4400542 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=5249/tid=5252] ppid=5247 vsize=1056292 CPUtime=900.11 cores=1,3,5,7
/proc/5249/task/5252/stat : 5252 (pwbo2.02) R 5247 5249 2131 0 -1 4202560 9792 0 0 0 89981 30 0 0 20 0 3 0 332076936 1081643008 234240 33554432000 4194304 5964478 140734304426400 140264226453576 4392882 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1056292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.432
CPU time (s): 1800.42
CPU user time (s): 1798.52
CPU system time (s): 1.90371
CPU usage (%): 199.951
Max. virtual memory (cumulated for all children) (KiB): 1056292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.90371
maximum resident set size= 936964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619617
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= 1290
involuntary context switches= 1857
runsolver used 2.04069 second user time and 5.42518 second system time
The end