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-3712535-1338193224/watcher-3712535-1338193224 -o /tmp/evaluation-result-3712535-1338193224/solver-3712535-1338193224 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712535-1338193224.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.74 3.95 3.94 4/179 27576
/proc/meminfo: memFree=31006660/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=5276 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) R 27574 27576 26380 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285448272 5402624 551 33554432000 4194304 5964478 140733970705984 140733970703768 4344768 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 1319 553 167 433 0 871 0
[startup+0.0898639 s]
/proc/loadavg: 3.74 3.95 3.94 4/179 27576
/proc/meminfo: memFree=31006660/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=181784 CPUtime=0.15 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 8784 0 0 0 9 6 0 0 20 0 3 0 285448272 186146816 8650 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45446 8650 206 433 0 45010 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 181784
[startup+0.100218 s]
/proc/loadavg: 3.74 3.95 3.94 4/179 27576
/proc/meminfo: memFree=31006660/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=181984 CPUtime=0.17 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 8857 0 0 0 11 6 0 0 20 0 3 0 285448272 186351616 8723 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45496 8724 206 433 0 45060 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 181984
[startup+0.300163 s]
/proc/loadavg: 3.74 3.95 3.94 4/179 27576
/proc/meminfo: memFree=31006660/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=182324 CPUtime=0.58 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 9571 0 0 0 51 7 0 0 20 0 3 0 285448272 186699776 9437 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45581 9437 206 433 0 45145 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 182324
[startup+0.700142 s]
/proc/loadavg: 3.74 3.95 3.94 4/179 27576
/proc/meminfo: memFree=31006660/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=182324 CPUtime=1.37 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 11104 0 0 0 130 7 0 0 20 0 3 0 285448272 186699776 10970 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45581 10971 206 433 0 45145 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 182324
[startup+1.50024 s]
/proc/loadavg: 3.74 3.95 3.94 5/182 27579
/proc/meminfo: memFree=30942612/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=182324 CPUtime=2.97 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 13939 0 0 0 288 9 0 0 20 0 3 0 285448272 186699776 13805 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45581 13805 206 433 0 45145 0
[pid=27576/tid=27578] ppid=27574 vsize=182324 CPUtime=1.47 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 3259 0 0 0 145 2 0 0 20 0 3 0 285448273 186699776 13805 33554432000 4194304 5964478 140733970705984 139970750154744 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=182324 CPUtime=1.48 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 9536 0 0 0 140 8 0 0 20 0 3 0 285448273 186699776 13805 33554432000 4194304 5964478 140733970705984 139970739665208 4382013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 182324
[startup+3.10022 s]
/proc/loadavg: 3.74 3.95 3.94 5/182 27579
/proc/meminfo: memFree=30916200/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=182612 CPUtime=6.17 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 18404 0 0 0 607 10 0 0 20 0 3 0 285448272 186994688 18270 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45653 18270 206 433 0 45217 0
[pid=27576/tid=27578] ppid=27574 vsize=182612 CPUtime=3.08 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 5227 0 0 0 305 3 0 0 20 0 3 0 285448273 186994688 18270 33554432000 4194304 5964478 140733970705984 139970750154744 4382015 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=182612 CPUtime=3.08 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 12033 0 0 0 299 9 0 0 20 0 3 0 285448273 186994688 18270 33554432000 4194304 5964478 140733970705984 139970739665208 5136404 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) 182612
[startup+6.30026 s]
/proc/loadavg: 3.76 3.95 3.94 5/182 27579
/proc/meminfo: memFree=30860580/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=182684 CPUtime=12.56 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 24205 0 0 0 1244 12 0 0 20 0 3 0 285448272 187068416 24071 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 45671 24071 206 433 0 45235 0
[pid=27576/tid=27578] ppid=27574 vsize=182684 CPUtime=6.27 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 6694 0 0 0 624 3 0 0 20 0 3 0 285448273 187068416 24071 33554432000 4194304 5964478 140733970705984 139970750154744 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=182684 CPUtime=6.28 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 16367 0 0 0 618 10 0 0 20 0 3 0 285448273 187068416 24071 33554432000 4194304 5964478 140733970705984 139970739665016 4388276 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 182684
[startup+12.7003 s]
/proc/loadavg: 3.78 3.95 3.94 5/181 27579
/proc/meminfo: memFree=30765860/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=248560 CPUtime=25.36 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 37067 0 0 0 2519 17 0 0 20 0 3 0 285448272 254525440 36933 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 62140 36933 206 433 0 61704 0
[pid=27576/tid=27578] ppid=27574 vsize=248560 CPUtime=12.66 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 12243 0 0 0 1261 5 0 0 20 0 3 0 285448273 254525440 36933 33554432000 4194304 5964478 140733970705984 139970750154744 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=248560 CPUtime=12.68 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 23680 0 0 0 1255 13 0 0 20 0 3 0 285448273 254525440 36933 33554432000 4194304 5964478 140733970705984 139970739665208 5179243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 248560
[startup+25.5003 s]
/proc/loadavg: 3.90 3.97 3.94 5/182 27580
/proc/meminfo: memFree=30622648/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=314720 CPUtime=50.95 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 56057 0 0 0 5070 25 0 0 20 0 3 0 285448272 322273280 55923 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 78680 55923 206 433 0 78244 0
[pid=27576/tid=27578] ppid=27574 vsize=314720 CPUtime=25.46 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 19623 0 0 0 2538 8 0 0 20 0 3 0 285448273 322273280 55923 33554432000 4194304 5964478 140733970705984 139970750154744 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=314720 CPUtime=25.48 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 35290 0 0 0 2530 18 0 0 20 0 3 0 285448273 322273280 55923 33554432000 4194304 5964478 140733970705984 139970739665016 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 314720
[startup+51.1002 s]
/proc/loadavg: 3.93 3.97 3.94 5/181 27580
/proc/meminfo: memFree=30420056/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=446584 CPUtime=102.14 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 87057 0 0 0 10175 39 0 0 20 0 3 0 285448272 457302016 86923 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 111646 86923 206 433 0 111210 0
[pid=27576/tid=27578] ppid=27574 vsize=446584 CPUtime=51.05 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 28791 0 0 0 5093 12 0 0 20 0 3 0 285448273 457302016 86923 33554432000 4194304 5964478 140733970705984 139970750154744 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=446584 CPUtime=51.08 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 57122 0 0 0 5080 28 0 0 20 0 3 0 285448273 457302016 86923 33554432000 4194304 5964478 140733970705984 139970739665208 4400022 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 446584
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.94 5/181 27580
/proc/meminfo: memFree=30193884/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=644836 CPUtime=204.54 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 129641 0 0 0 20397 57 0 0 20 0 3 0 285448272 660312064 129507 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 161209 129507 206 433 0 160773 0
[pid=27576/tid=27578] ppid=27574 vsize=644836 CPUtime=102.26 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 39937 0 0 0 10208 18 0 0 20 0 3 0 285448273 660312064 129507 33554432000 4194304 5964478 140733970705984 139970750154744 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=644836 CPUtime=102.29 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 88560 0 0 0 10187 42 0 0 20 0 3 0 285448273 660312064 129507 33554432000 4194304 5964478 140733970705984 139970739665208 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 644836
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/181 27580
/proc/meminfo: memFree=29958932/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=842972 CPUtime=324.5 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 176722 0 0 0 32370 80 0 0 20 0 3 0 285448272 863203328 176956 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 210743 176956 206 433 0 210307 0
[pid=27576/tid=27578] ppid=27574 vsize=842972 CPUtime=162.25 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 55318 0 0 0 16198 27 0 0 20 0 3 0 285448273 863203328 176956 33554432000 4194304 5964478 140733970705984 139970750154744 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=842972 CPUtime=162.28 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 120260 0 0 0 16169 59 0 0 20 0 3 0 285448273 863203328 176956 33554432000 4194304 5964478 140733970705984 139970739665208 4400385 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 842972
[startup+222.3 s]
/proc/loadavg: 4.03 3.99 3.95 5/181 27580
/proc/meminfo: memFree=29789456/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=909752 CPUtime=444.46 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 209154 0 0 0 44348 98 0 0 20 0 3 0 285448272 931586048 209784 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 227438 209784 206 433 0 227002 0
[pid=27576/tid=27578] ppid=27574 vsize=909752 CPUtime=222.23 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 64129 0 0 0 22191 32 0 0 20 0 3 0 285448273 931586048 209784 33554432000 4194304 5964478 140733970705984 139970750154744 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=909752 CPUtime=222.26 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 143881 0 0 0 22153 73 0 0 20 0 3 0 285448273 931586048 209784 33554432000 4194304 5964478 140733970705984 139970739665016 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 909752
[startup+282.3 s]
/proc/loadavg: 4.07 4.00 3.95 5/181 27580
/proc/meminfo: memFree=29588728/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1109316 CPUtime=564.42 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 253104 0 0 0 56317 125 0 0 20 0 3 0 285448272 1135939584 253934 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 277329 253934 206 433 0 276893 0
[pid=27576/tid=27578] ppid=27574 vsize=1109316 CPUtime=282.23 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 79830 0 0 0 28179 44 0 0 20 0 3 0 285448273 1135939584 253934 33554432000 4194304 5964478 140733970705984 139970750154744 4400051 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1109316 CPUtime=282.24 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 172130 0 0 0 28134 90 0 0 20 0 3 0 285448273 1135939584 253934 33554432000 4194304 5964478 140733970705984 139970739665208 4399994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 1109316
[startup+342.3 s]
/proc/loadavg: 4.02 4.00 3.95 5/181 27581
/proc/meminfo: memFree=29427928/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1242452 CPUtime=684.38 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 285567 0 0 0 68291 147 0 0 20 0 3 0 285448272 1272270848 286424 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 310613 286424 206 433 0 310177 0
[pid=27576/tid=27578] ppid=27574 vsize=1242452 CPUtime=342.22 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 79857 0 0 0 34177 45 0 0 20 0 3 0 285448273 1272270848 286424 33554432000 4194304 5964478 140733970705984 139970750154776 4382005 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1242452 CPUtime=342.23 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 204566 0 0 0 34110 113 0 0 20 0 3 0 285448273 1272270848 286424 33554432000 4194304 5964478 140733970705984 139970739665208 4390258 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 1242452
[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 27581
/proc/meminfo: memFree=29337996/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1307988 CPUtime=804.33 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 297411 0 0 0 80277 156 0 0 20 0 3 0 285448272 1339379712 298271 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 326997 298271 206 433 0 326561 0
[pid=27576/tid=27578] ppid=27574 vsize=1307988 CPUtime=402.2 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 83321 0 0 0 40172 48 0 0 20 0 3 0 285448273 1339379712 298271 33554432000 4194304 5964478 140733970705984 139970750154744 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1307988 CPUtime=402.22 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 212946 0 0 0 40101 121 0 0 20 0 3 0 285448273 1339379712 298271 33554432000 4194304 5964478 140733970705984 139970739665208 4388176 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 1307988
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27581
/proc/meminfo: memFree=29229280/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1374464 CPUtime=924.29 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 313114 0 0 0 92261 168 0 0 20 0 3 0 285448272 1407451136 314038 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 343616 314038 206 433 0 343180 0
[pid=27576/tid=27578] ppid=27574 vsize=1374464 CPUtime=462.19 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 98961 0 0 0 46158 61 0 0 20 0 3 0 285448273 1407451136 314038 33554432000 4194304 5964478 140733970705984 139970750154552 4399959 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1374464 CPUtime=462.2 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 213009 0 0 0 46098 122 0 0 20 0 3 0 285448273 1407451136 314038 33554432000 4194304 5964478 140733970705984 139970739664968 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 1374464
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27581
/proc/meminfo: memFree=29198556/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1374536 CPUtime=1044.25 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 313189 0 0 0 104257 168 0 0 20 0 3 0 285448272 1407524864 314140 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 343634 314140 206 433 0 343198 0
[pid=27576/tid=27578] ppid=27574 vsize=1374536 CPUtime=522.17 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 99009 0 0 0 52156 61 0 0 20 0 3 0 285448273 1407524864 314140 33554432000 4194304 5964478 140733970705984 139970750154792 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1374536 CPUtime=522.19 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 213036 0 0 0 52097 122 0 0 20 0 3 0 285448273 1407524864 314140 33554432000 4194304 5964478 140733970705984 139970739664968 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.25
Current children cumulated vsize (KiB) 1374536
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/182 27584
/proc/meminfo: memFree=29159120/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1374536 CPUtime=1164.2 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 313232 0 0 0 116252 168 0 0 20 0 3 0 285448272 1407524864 314333 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 343634 314333 206 433 0 343198 0
[pid=27576/tid=27578] ppid=27574 vsize=1374536 CPUtime=582.14 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 99043 0 0 0 58152 62 0 0 20 0 3 0 285448273 1407524864 314333 33554432000 4194304 5964478 140733970705984 139970750154792 4382013 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1374536 CPUtime=582.19 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 213045 0 0 0 58096 123 0 0 20 0 3 0 285448273 1407524864 314333 33554432000 4194304 5964478 140733970705984 139970739664968 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 1374536
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27585
/proc/meminfo: memFree=29130856/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1375428 CPUtime=1284.19 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 313492 0 0 0 128251 168 0 0 20 0 3 0 285448272 1408438272 316153 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 343857 316153 206 433 0 343421 0
[pid=27576/tid=27578] ppid=27574 vsize=1375428 CPUtime=642.14 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 99044 0 0 0 64151 63 0 0 20 0 3 0 285448273 1408438272 316153 33554432000 4194304 5964478 140733970705984 139970750154792 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1375428 CPUtime=642.18 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 213304 0 0 0 64094 124 0 0 20 0 3 0 285448273 1408438272 316153 33554432000 4194304 5964478 140733970705984 139970739665016 4382013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 1375428
[startup+702.3 s]
/proc/loadavg: 4.04 4.01 3.96 5/181 27585
/proc/meminfo: memFree=28987912/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1376368 CPUtime=1404.15 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 328209 0 0 0 140238 177 0 0 20 0 3 0 285448272 1409400832 330870 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 344092 330870 206 433 0 343656 0
[pid=27576/tid=27578] ppid=27574 vsize=1376368 CPUtime=702.13 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 113702 0 0 0 70140 73 0 0 20 0 3 0 285448273 1409400832 330870 33554432000 4194304 5964478 140733970705984 139970750154744 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1376368 CPUtime=702.18 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 213363 0 0 0 70093 125 0 0 20 0 3 0 285448273 1409400832 330870 33554432000 4194304 5964478 140733970705984 139970739664968 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1376368
[startup+762.307 s]
/proc/loadavg: 4.08 4.02 3.96 5/181 27585
/proc/meminfo: memFree=28982980/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1376368 CPUtime=1524.14 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 328933 0 0 0 152237 177 0 0 20 0 3 0 285448272 1409400832 331594 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 344092 331594 206 433 0 343656 0
[pid=27576/tid=27578] ppid=27574 vsize=1376368 CPUtime=762.13 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 113702 0 0 0 76139 74 0 0 20 0 3 0 285448273 1409400832 331594 33554432000 4194304 5964478 140733970705984 139970750154744 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1376368 CPUtime=762.19 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 214087 0 0 0 76093 126 0 0 20 0 3 0 285448273 1409400832 331594 33554432000 4194304 5964478 140733970705984 139970739665256 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 1376368
[startup+822.3 s]
/proc/loadavg: 4.03 4.02 3.96 5/182 27586
/proc/meminfo: memFree=28909344/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1442732 CPUtime=1644.11 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 341198 0 0 0 164222 189 0 0 20 0 3 0 285448272 1477357568 343859 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 360683 343859 206 433 0 360247 0
[pid=27576/tid=27578] ppid=27574 vsize=1442732 CPUtime=822.12 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 113705 0 0 0 82137 75 0 0 20 0 3 0 285448273 1477357568 343859 33554432000 4194304 5964478 140733970705984 139970750154744 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1442732 CPUtime=822.18 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 226349 0 0 0 82079 139 0 0 20 0 3 0 285448273 1477357568 343859 33554432000 4194304 5964478 140733970705984 139970739665016 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 1442732
[startup+882.3 s]
/proc/loadavg: 4.01 4.01 3.96 5/181 27586
/proc/meminfo: memFree=28792636/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1576276 CPUtime=1764.1 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 369928 0 0 0 176198 212 0 0 20 0 3 0 285448272 1614106624 372589 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 394069 372589 206 433 0 393633 0
[pid=27576/tid=27578] ppid=27574 vsize=1576276 CPUtime=882.12 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 126034 0 0 0 88126 86 0 0 20 0 3 0 285448273 1614106624 372589 33554432000 4194304 5964478 140733970705984 139970750154744 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1576276 CPUtime=882.18 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 242750 0 0 0 88066 152 0 0 20 0 3 0 285448273 1614106624 372589 33554432000 4194304 5964478 140733970705984 139970739665208 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 1576276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.01 3.96 3/177 27587
/proc/meminfo: memFree=29510456/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1576636 CPUtime=1800.1 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 375355 0 0 0 179795 215 0 0 20 0 3 0 285448272 1614475264 378016 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 394159 378016 206 433 0 393723 0
[pid=27576/tid=27578] ppid=27574 vsize=1576636 CPUtime=900.13 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 126034 0 0 0 89927 86 0 0 20 0 3 0 285448273 1614475264 378016 33554432000 4194304 5964478 140733970705984 139970750154744 4381992 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1576636 CPUtime=900.19 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 248177 0 0 0 89863 156 0 0 20 0 3 0 285448273 1614475264 378016 33554432000 4194304 5964478 140733970705984 139970739665208 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1576636
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.00 4.01 3.96 3/177 27587
/proc/meminfo: memFree=29510456/32873648 swapFree=7112/7112
[pid=27576] ppid=27574 vsize=1576636 CPUtime=1800.1 cores=0,2,4,6
/proc/27576/stat : 27576 (pwbo2.01) S 27574 27576 26380 0 -1 4202496 375355 0 0 0 179795 215 0 0 20 0 3 0 285448272 1614475264 378016 33554432000 4194304 5964478 140733970705984 140733970705504 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 394159 378016 206 433 0 393723 0
[pid=27576/tid=27578] ppid=27574 vsize=1576636 CPUtime=900.13 cores=0,2,4,6
/proc/27576/task/27578/stat : 27578 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 126034 0 0 0 89927 86 0 0 20 0 3 0 285448273 1614475264 378016 33554432000 4194304 5964478 140733970705984 139970750154744 4381992 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=27576/tid=27579] ppid=27574 vsize=1576636 CPUtime=900.19 cores=0,2,4,6
/proc/27576/task/27579/stat : 27579 (pwbo2.01) R 27574 27576 26380 0 -1 4202560 248177 0 0 0 89863 156 0 0 20 0 3 0 285448273 1614475264 378016 33554432000 4194304 5964478 140733970705984 139970739665208 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1576636
Child status: 0
Real time (s): 900.36
CPU time (s): 1800.41
CPU user time (s): 1797.92
CPU system time (s): 2.49162
CPU usage (%): 199.966
Max. virtual memory (cumulated for all children) (KiB): 1576636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.92
system time used= 2.49162
maximum resident set size= 1512068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375356
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= 1025
involuntary context switches= 2521
runsolver used 2.04169 second user time and 4.77327 second system time
The end