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-3712430-1338188711/watcher-3712430-1338188711 -o /tmp/evaluation-result-3712430-1338188711/solver-3712430-1338188711 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712430-1338188711.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.68 3.93 3.91 3/172 27086
/proc/meminfo: memFree=31031100/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=162772 CPUtime=0 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 3 0 284997036 166678528 950 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 40693 953 204 433 0 40257 0
[pid=27086/tid=27088] ppid=27084 vsize=162772 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 3 0 284997037 166678528 953 33554432000 4194304 5964478 140736528354960 140574885132328 4388310 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=162772 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 3 0 284997037 166678528 953 33554432000 4194304 5964478 140736528354960 140574874642488 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.034381 s]
/proc/loadavg: 3.68 3.93 3.91 3/172 27086
/proc/meminfo: memFree=31031100/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=167904 CPUtime=0.05 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 3046 0 0 0 5 0 0 0 20 0 3 0 284997036 171933696 2980 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 41976 2981 207 433 0 41540 0
[pid=27086/tid=27088] ppid=27084 vsize=167904 CPUtime=0.01 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 127 0 0 0 1 0 0 0 20 0 3 0 284997037 171933696 2981 33554432000 4194304 5964478 140736528354960 140574885132216 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=167904 CPUtime=0.01 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 2158 0 0 0 1 0 0 0 20 0 3 0 284997037 171933696 2981 33554432000 4194304 5964478 140736528354960 140574874641832 4400578 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 167904
[startup+0.100294 s]
/proc/loadavg: 3.68 3.93 3.91 3/172 27086
/proc/meminfo: memFree=31031100/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=167904 CPUtime=0.18 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 3294 0 0 0 18 0 0 0 20 0 3 0 284997036 171933696 3228 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 41976 3229 207 433 0 41540 0
[pid=27086/tid=27088] ppid=27084 vsize=167904 CPUtime=0.08 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 232 0 0 0 8 0 0 0 20 0 3 0 284997037 171933696 3229 33554432000 4194304 5964478 140736528354960 140574885132216 4388808 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=167904 CPUtime=0.08 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 2301 0 0 0 8 0 0 0 20 0 3 0 284997037 171933696 3229 33554432000 4194304 5964478 140736528354960 140574874642744 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 167904
[startup+0.300273 s]
/proc/loadavg: 3.68 3.93 3.91 3/172 27086
/proc/meminfo: memFree=31031100/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=167904 CPUtime=0.58 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 3800 0 0 0 58 0 0 0 20 0 3 0 284997036 171933696 3734 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 41976 3734 207 433 0 41540 0
[pid=27086/tid=27088] ppid=27084 vsize=167904 CPUtime=0.28 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 516 0 0 0 28 0 0 0 20 0 3 0 284997037 171933696 3734 33554432000 4194304 5964478 140736528354960 140574885132088 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=167904 CPUtime=0.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 2522 0 0 0 28 0 0 0 20 0 3 0 284997037 171933696 3734 33554432000 4194304 5964478 140736528354960 140574874642552 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 167904
[startup+0.700209 s]
/proc/loadavg: 3.68 3.93 3.91 3/172 27086
/proc/meminfo: memFree=31031100/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=167904 CPUtime=1.39 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 4342 0 0 0 138 1 0 0 20 0 3 0 284997036 171933696 4276 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 41976 4276 207 433 0 41540 0
[pid=27086/tid=27088] ppid=27084 vsize=167904 CPUtime=0.68 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 768 0 0 0 68 0 0 0 20 0 3 0 284997037 171933696 4276 33554432000 4194304 5964478 140736528354960 140574885132280 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=167904 CPUtime=0.68 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 2812 0 0 0 68 0 0 0 20 0 3 0 284997037 171933696 4276 33554432000 4194304 5964478 140736528354960 140574874642552 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 167904
[startup+1.50022 s]
/proc/loadavg: 3.68 3.93 3.91 5/181 27106
/proc/meminfo: memFree=30982808/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=168044 CPUtime=2.98 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 4996 0 0 0 297 1 0 0 20 0 3 0 284997036 172077056 4930 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 42011 4930 207 433 0 41575 0
[pid=27086/tid=27088] ppid=27084 vsize=168044 CPUtime=1.48 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 1068 0 0 0 148 0 0 0 20 0 3 0 284997037 172077056 4930 33554432000 4194304 5964478 140736528354960 140574885132088 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=168044 CPUtime=1.48 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 3166 0 0 0 148 0 0 0 20 0 3 0 284997037 172077056 4930 33554432000 4194304 5964478 140736528354960 140574874642744 5179243 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 168044
[startup+3.10022 s]
/proc/loadavg: 3.68 3.93 3.91 5/181 27106
/proc/meminfo: memFree=30974352/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=168632 CPUtime=6.18 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 5852 0 0 0 617 1 0 0 20 0 3 0 284997036 172679168 5786 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 42158 5786 207 433 0 41722 0
[pid=27086/tid=27088] ppid=27084 vsize=168632 CPUtime=3.08 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 1464 0 0 0 308 0 0 0 20 0 3 0 284997037 172679168 5786 33554432000 4194304 5964478 140736528354960 140574885132088 4400419 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=168632 CPUtime=3.08 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 3626 0 0 0 307 1 0 0 20 0 3 0 284997037 172679168 5786 33554432000 4194304 5964478 140736528354960 140574874642552 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 168632
[startup+6.30021 s]
/proc/loadavg: 3.70 3.93 3.91 5/181 27106
/proc/meminfo: memFree=30963256/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=169036 CPUtime=12.58 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 7221 0 0 0 1256 2 0 0 20 0 3 0 284997036 173092864 7155 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 42259 7155 207 433 0 41823 0
[pid=27086/tid=27088] ppid=27084 vsize=169036 CPUtime=6.28 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 1925 0 0 0 628 0 0 0 20 0 3 0 284997037 173092864 7155 33554432000 4194304 5964478 140736528354960 140574885132088 4399953 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=169036 CPUtime=6.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 4534 0 0 0 626 2 0 0 20 0 3 0 284997037 173092864 7155 33554432000 4194304 5964478 140736528354960 140574874642552 4399910 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 169036
[startup+12.7003 s]
/proc/loadavg: 3.73 3.94 3.91 5/181 27106
/proc/meminfo: memFree=30946052/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=169712 CPUtime=25.37 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 9018 0 0 0 2534 3 0 0 20 0 3 0 284997036 173785088 9196 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 42428 9196 207 433 0 41992 0
[pid=27086/tid=27088] ppid=27084 vsize=169712 CPUtime=12.68 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 2784 0 0 0 1268 0 0 0 20 0 3 0 284997037 173785088 9196 33554432000 4194304 5964478 140736528354960 140574885132280 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=169712 CPUtime=12.68 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 5472 0 0 0 1265 3 0 0 20 0 3 0 284997037 173785088 9196 33554432000 4194304 5964478 140736528354960 140574874642552 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 169712
[startup+25.5004 s]
/proc/loadavg: 3.79 3.94 3.91 5/181 27106
/proc/meminfo: memFree=30925364/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=172776 CPUtime=50.96 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 11663 0 0 0 5092 4 0 0 20 0 3 0 284997036 176922624 11906 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 43194 11906 207 433 0 42758 0
[pid=27086/tid=27088] ppid=27084 vsize=172776 CPUtime=25.48 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 4046 0 0 0 2546 2 0 0 20 0 3 0 284997037 176922624 11906 33554432000 4194304 5964478 140736528354960 140574885132088 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=172776 CPUtime=25.47 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 6855 0 0 0 2544 3 0 0 20 0 3 0 284997037 176922624 11906 33554432000 4194304 5964478 140736528354960 140574874642552 4400492 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 172776
[startup+51.1004 s]
/proc/loadavg: 3.86 3.94 3.91 5/181 27106
/proc/meminfo: memFree=30894536/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=176748 CPUtime=102.15 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 14402 0 0 0 10208 7 0 0 20 0 3 0 284997036 180989952 15958 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 44187 15958 207 433 0 43751 0
[pid=27086/tid=27088] ppid=27084 vsize=176748 CPUtime=51.08 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 6223 0 0 0 5103 5 0 0 20 0 3 0 284997037 180989952 15958 33554432000 4194304 5964478 140736528354960 140574885132328 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=176748 CPUtime=51.07 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 7417 0 0 0 5103 4 0 0 20 0 3 0 284997037 180989952 15958 33554432000 4194304 5964478 140736528354960 140574874642744 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 176748
[startup+102.3 s]
/proc/loadavg: 3.94 3.95 3.91 5/181 27106
/proc/meminfo: memFree=30847788/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=182948 CPUtime=204.55 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 19285 0 0 0 20444 11 0 0 20 0 3 0 284997036 187338752 20796 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 45737 20796 207 433 0 45301 0
[pid=27086/tid=27088] ppid=27084 vsize=182948 CPUtime=102.28 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 8977 0 0 0 10220 8 0 0 20 0 3 0 284997037 187338752 20796 33554432000 4194304 5964478 140736528354960 140574885132088 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=182948 CPUtime=102.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 9546 0 0 0 10222 6 0 0 20 0 3 0 284997037 187338752 20796 33554432000 4194304 5964478 140736528354960 140574874642744 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 182948
[startup+162.3 s]
/proc/loadavg: 4.01 3.97 3.92 5/181 27106
/proc/meminfo: memFree=30815316/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=191328 CPUtime=324.5 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 23085 0 0 0 32434 16 0 0 20 0 3 0 284997036 195919872 24706 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 47832 24706 207 433 0 47396 0
[pid=27086/tid=27088] ppid=27084 vsize=191328 CPUtime=162.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 11564 0 0 0 16213 14 0 0 20 0 3 0 284997037 195919872 24706 33554432000 4194304 5964478 140736528354960 140574885132088 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=191328 CPUtime=162.27 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 10759 0 0 0 16219 8 0 0 20 0 3 0 284997037 195919872 24706 33554432000 4194304 5964478 140736528354960 140574874642744 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 191328
[startup+222.307 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27106
/proc/meminfo: memFree=30784648/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=202356 CPUtime=444.5 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 28284 0 0 0 44427 23 0 0 20 0 3 0 284997036 207212544 29905 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 50589 29905 207 433 0 50153 0
[pid=27086/tid=27088] ppid=27084 vsize=202356 CPUtime=222.28 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 15122 0 0 0 22207 21 0 0 20 0 3 0 284997037 207212544 29905 33554432000 4194304 5964478 140736528354960 140574885132280 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=202356 CPUtime=222.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 12400 0 0 0 22218 10 0 0 20 0 3 0 284997037 207212544 29905 33554432000 4194304 5964478 140736528354960 140574874642744 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 202356
################
# More data... #
################
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 16276 0 0 0 28205 23 0 0 20 0 3 0 284997037 213843968 33708 33554432000 4194304 5964478 140736528354960 140574885132328 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=208832 CPUtime=282.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 15070 0 0 0 28216 12 0 0 20 0 3 0 284997037 213843968 33708 33554432000 4194304 5964478 140736528354960 140574874642616 4393275 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 208832
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/182 27110
/proc/meminfo: memFree=30722916/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=213096 CPUtime=684.44 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 36995 0 0 0 68411 33 0 0 20 0 3 0 284997036 218210304 38648 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 53274 38648 207 433 0 52838 0
[pid=27086/tid=27088] ppid=27084 vsize=213096 CPUtime=342.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 18776 0 0 0 34200 27 0 0 20 0 3 0 284997037 218210304 38648 33554432000 4194304 5964478 140736528354960 140574885132328 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=213096 CPUtime=342.27 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 17457 0 0 0 34210 17 0 0 20 0 3 0 284997037 218210304 38648 33554432000 4194304 5964478 140736528354960 140574874642552 4400441 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.44
Current children cumulated vsize (KiB) 213096
[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27110
/proc/meminfo: memFree=30706668/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=215992 CPUtime=804.41 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 38872 0 0 0 80406 35 0 0 20 0 3 0 284997036 221175808 40520 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 53998 40520 207 433 0 53562 0
[pid=27086/tid=27088] ppid=27084 vsize=215992 CPUtime=402.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 20349 0 0 0 40196 31 0 0 20 0 3 0 284997037 221175808 40520 33554432000 4194304 5964478 140736528354960 140574885132328 4400053 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=215992 CPUtime=402.27 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 17761 0 0 0 40209 18 0 0 20 0 3 0 284997037 221175808 40520 33554432000 4194304 5964478 140736528354960 140574874642792 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (KiB) 215992
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27110
/proc/meminfo: memFree=30689052/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=286168 CPUtime=924.4 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 41913 0 0 0 92398 42 0 0 20 0 3 0 284997036 293036032 43565 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 71542 43565 207 433 0 71106 0
[pid=27086/tid=27088] ppid=27084 vsize=286168 CPUtime=462.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 21980 0 0 0 46191 36 0 0 20 0 3 0 284997037 293036032 43565 33554432000 4194304 5964478 140736528354960 140574885132328 4400516 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=286168 CPUtime=462.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 19171 0 0 0 46207 21 0 0 20 0 3 0 284997037 293036032 43565 33554432000 4194304 5964478 140736528354960 140574874642552 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.4
Current children cumulated vsize (KiB) 286168
[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27110
/proc/meminfo: memFree=30669944/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=289392 CPUtime=1044.37 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 44127 0 0 0 104393 44 0 0 20 0 3 0 284997036 296337408 45773 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 72348 45773 207 433 0 71912 0
[pid=27086/tid=27088] ppid=27084 vsize=289392 CPUtime=522.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 23688 0 0 0 52189 38 0 0 20 0 3 0 284997037 296337408 45773 33554432000 4194304 5964478 140736528354960 140574885132328 4400526 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=289392 CPUtime=522.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 19677 0 0 0 52207 21 0 0 20 0 3 0 284997037 296337408 45773 33554432000 4194304 5964478 140736528354960 140574874642792 4400474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (KiB) 289392
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30649096/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=292572 CPUtime=1164.36 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 45945 0 0 0 116388 48 0 0 20 0 3 0 284997036 299593728 47591 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 73143 47591 207 433 0 72707 0
[pid=27086/tid=27088] ppid=27084 vsize=292572 CPUtime=582.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 25305 0 0 0 58185 42 0 0 20 0 3 0 284997037 299593728 47591 33554432000 4194304 5964478 140736528354960 140574885132280 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=292572 CPUtime=582.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 19878 0 0 0 58205 23 0 0 20 0 3 0 284997037 299593728 47591 33554432000 4194304 5964478 140736528354960 140574874642552 4400093 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.36
Current children cumulated vsize (KiB) 292572
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30627140/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=297412 CPUtime=1284.34 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 50355 0 0 0 128380 54 0 0 20 0 3 0 284997036 304549888 52001 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 74353 52001 207 433 0 73917 0
[pid=27086/tid=27088] ppid=27084 vsize=297412 CPUtime=642.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 26746 0 0 0 64181 46 0 0 20 0 3 0 284997037 304549888 52001 33554432000 4194304 5964478 140736528354960 140574885132328 4399959 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=297412 CPUtime=642.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 22847 0 0 0 64201 27 0 0 20 0 3 0 284997037 304549888 52001 33554432000 4194304 5964478 140736528354960 140574874642792 4399970 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.34
Current children cumulated vsize (KiB) 297412
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30593748/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=299928 CPUtime=1404.31 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 54318 0 0 0 140370 61 0 0 20 0 3 0 284997036 307126272 55953 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 74982 55953 207 433 0 74546 0
[pid=27086/tid=27088] ppid=27084 vsize=299928 CPUtime=702.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 29976 0 0 0 70174 53 0 0 20 0 3 0 284997037 307126272 55953 33554432000 4194304 5964478 140736528354960 140574885132280 4400503 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=299928 CPUtime=702.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 23580 0 0 0 70199 29 0 0 20 0 3 0 284997037 307126272 55953 33554432000 4194304 5964478 140736528354960 140574874642792 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.31
Current children cumulated vsize (KiB) 299928
[startup+762.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30599192/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=273664 CPUtime=1524.29 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 54879 0 0 0 152368 61 0 0 20 0 3 0 284997036 280231936 50682 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 68416 50682 209 433 0 67980 0
[pid=27086/tid=27088] ppid=27084 vsize=273664 CPUtime=762.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 29987 0 0 0 76173 54 0 0 20 0 3 0 284997037 280231936 50682 33554432000 4194304 5964478 140736528354960 140574885133240 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=273664 CPUtime=762.29 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 24130 0 0 0 76198 31 0 0 20 0 3 0 284997037 280231936 50682 33554432000 4194304 5964478 140736528354960 140574874642792 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.29
Current children cumulated vsize (KiB) 273664
[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27111
/proc/meminfo: memFree=30580196/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=274728 CPUtime=1644.27 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 55334 0 0 0 164365 62 0 0 20 0 3 0 284997036 281321472 51137 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 68682 51137 209 433 0 68246 0
[pid=27086/tid=27088] ppid=27084 vsize=274728 CPUtime=822.27 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 29987 0 0 0 82172 55 0 0 20 0 3 0 284997037 281321472 51137 33554432000 4194304 5964478 140736528354960 140574885133240 4400022 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=274728 CPUtime=822.28 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 24585 0 0 0 82196 32 0 0 20 0 3 0 284997037 281321472 51137 33554432000 4194304 5964478 140736528354960 140574874642552 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.27
Current children cumulated vsize (KiB) 274728
[startup+882.307 s]
/proc/loadavg: 4.00 3.97 3.92 5/181 27112
/proc/meminfo: memFree=30515668/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=276456 CPUtime=1764.26 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 55891 0 0 0 176364 62 0 0 20 0 3 0 284997036 283090944 51693 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 69114 51693 209 433 0 68678 0
[pid=27086/tid=27088] ppid=27084 vsize=276456 CPUtime=882.28 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 29987 0 0 0 88172 56 0 0 20 0 3 0 284997037 283090944 51693 33554432000 4194304 5964478 140736528354960 140574885133240 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=276456 CPUtime=882.29 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 25142 0 0 0 88196 33 0 0 20 0 3 0 284997037 283090944 51693 33554432000 4194304 5964478 140736528354960 140574874642616 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.26
Current children cumulated vsize (KiB) 276456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 3.97 3.92 5/182 27115
/proc/meminfo: memFree=30510300/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=277108 CPUtime=1800.05 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 56046 0 0 0 179943 62 0 0 20 0 3 0 284997036 283758592 51848 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 69277 51848 209 433 0 68841 0
[pid=27086/tid=27088] ppid=27084 vsize=277108 CPUtime=900.18 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 29987 0 0 0 89962 56 0 0 20 0 3 0 284997037 283758592 51848 33554432000 4194304 5964478 140736528354960 140574885133240 4400060 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=277108 CPUtime=900.19 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 25297 0 0 0 89985 34 0 0 20 0 3 0 284997037 283758592 51848 33554432000 4194304 5964478 140736528354960 140574874642792 4399936 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 277108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.2 s]
/proc/loadavg: 4.00 3.97 3.92 5/182 27115
/proc/meminfo: memFree=30510300/32873648 swapFree=7112/7112
[pid=27086] ppid=27084 vsize=277108 CPUtime=1800.05 cores=0,2,4,6
/proc/27086/stat : 27086 (pwbo2.01) S 27084 27086 26380 0 -1 4202496 56046 0 0 0 179943 62 0 0 20 0 3 0 284997036 283758592 51848 33554432000 4194304 5964478 140736528354960 140736528354480 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27086/statm: 69277 51848 209 433 0 68841 0
[pid=27086/tid=27088] ppid=27084 vsize=277108 CPUtime=900.18 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 29987 0 0 0 89962 56 0 0 20 0 3 0 284997037 283758592 51848 33554432000 4194304 5964478 140736528354960 140574885133240 4400060 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27086/tid=27089] ppid=27084 vsize=277108 CPUtime=900.19 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (pwbo2.01) R 27084 27086 26380 0 -1 4202560 25297 0 0 0 89985 34 0 0 20 0 3 0 284997037 283758592 51848 33554432000 4194304 5964478 140736528354960 140574874642792 4399936 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 277108
Child status: 0
Real time (s): 900.216
CPU time (s): 1800.42
CPU user time (s): 1799.5
CPU system time (s): 0.92086
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 299928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.92086
maximum resident set size= 223856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56047
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= 130
involuntary context switches= 1922
runsolver used 1.61075 second user time and 5.47517 second system time
The end