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-3712433-1338184199/watcher-3712433-1338184199 -o /tmp/evaluation-result-3712433-1338184199/solver-3712433-1338184199 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712433-1338184199.wbo
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: 4.07 4.02 3.65 4/178 26606
/proc/meminfo: memFree=31000052/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=162520 CPUtime=0 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 922 0 0 0 0 0 0 0 20 0 3 0 284545809 166420480 873 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 40630 873 195 433 0 40194 0
[pid=26606/tid=26607] ppid=26604 vsize=162520 CPUtime=0 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 3 0 284545809 166420480 873 33554432000 4194304 5964478 140734722557808 140468183563352 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=162520 CPUtime=0 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 3 0 284545809 166420480 873 33554432000 4194304 5964478 140734722557808 140468173073496 4392691 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.060012 s]
/proc/loadavg: 4.07 4.02 3.65 4/178 26606
/proc/meminfo: memFree=31000052/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=162520 CPUtime=0.11 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 1173 0 0 0 11 0 0 0 20 0 3 0 284545809 166420480 1124 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 40630 1124 197 433 0 40194 0
[pid=26606/tid=26607] ppid=26604 vsize=162520 CPUtime=0.04 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 213 0 0 0 4 0 0 0 20 0 3 0 284545809 166420480 1124 33554432000 4194304 5964478 140734722557808 140468183562280 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=162520 CPUtime=0.04 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 171 0 0 0 4 0 0 0 20 0 3 0 284545809 166420480 1124 33554432000 4194304 5964478 140734722557808 140468173072504 4399922 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 162520
[startup+0.100278 s]
/proc/loadavg: 4.07 4.02 3.65 4/178 26606
/proc/meminfo: memFree=31000052/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=162520 CPUtime=0.19 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 1256 0 0 0 19 0 0 0 20 0 3 0 284545809 166420480 1207 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 40630 1207 197 433 0 40194 0
[pid=26606/tid=26607] ppid=26604 vsize=162520 CPUtime=0.08 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 271 0 0 0 8 0 0 0 20 0 3 0 284545809 166420480 1208 33554432000 4194304 5964478 140734722557808 140468183562280 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=162520 CPUtime=0.08 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 197 0 0 0 8 0 0 0 20 0 3 0 284545809 166420480 1208 33554432000 4194304 5964478 140734722557808 140468173072504 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162520
[startup+0.30023 s]
/proc/loadavg: 4.07 4.02 3.65 4/178 26606
/proc/meminfo: memFree=31000052/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=162520 CPUtime=0.58 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 1629 0 0 0 58 0 0 0 20 0 3 0 284545809 166420480 1580 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 40630 1580 197 433 0 40194 0
[pid=26606/tid=26607] ppid=26604 vsize=162520 CPUtime=0.28 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 508 0 0 0 28 0 0 0 20 0 3 0 284545809 166420480 1580 33554432000 4194304 5964478 140734722557808 140468183562280 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=162520 CPUtime=0.28 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 332 0 0 0 28 0 0 0 20 0 3 0 284545809 166420480 1580 33554432000 4194304 5964478 140734722557808 140468173072504 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162520
[startup+0.700234 s]
/proc/loadavg: 4.07 4.02 3.65 4/178 26606
/proc/meminfo: memFree=31000052/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=168480 CPUtime=1.38 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 4878 0 0 0 137 1 0 0 20 0 3 0 284545809 172523520 4790 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 42120 4790 206 433 0 41684 0
[pid=26606/tid=26607] ppid=26604 vsize=168480 CPUtime=0.68 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 783 0 0 0 68 0 0 0 20 0 3 0 284545809 172523520 4790 33554432000 4194304 5964478 140734722557808 140468183562280 4400512 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=168480 CPUtime=0.68 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 3306 0 0 0 67 1 0 0 20 0 3 0 284545809 172523520 4790 33554432000 4194304 5964478 140734722557808 140468173072504 4400416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 168480
[startup+1.50019 s]
/proc/loadavg: 4.06 4.02 3.65 5/181 26609
/proc/meminfo: memFree=30969988/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=168624 CPUtime=2.98 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 5518 0 0 0 297 1 0 0 20 0 3 0 284545809 172670976 5430 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 42156 5430 206 433 0 41720 0
[pid=26606/tid=26607] ppid=26604 vsize=168624 CPUtime=1.48 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 1124 0 0 0 148 0 0 0 20 0 3 0 284545809 172670976 5430 33554432000 4194304 5964478 140734722557808 140468183562232 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=168624 CPUtime=1.48 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 3605 0 0 0 147 1 0 0 20 0 3 0 284545809 172670976 5430 33554432000 4194304 5964478 140734722557808 140468173072632 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 168624
[startup+3.10019 s]
/proc/loadavg: 4.06 4.02 3.65 5/182 26612
/proc/meminfo: memFree=30961004/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=168768 CPUtime=6.19 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 6232 0 0 0 617 2 0 0 20 0 3 0 284545809 172818432 6144 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 42192 6144 206 433 0 41756 0
[pid=26606/tid=26607] ppid=26604 vsize=168768 CPUtime=3.08 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 1532 0 0 0 308 0 0 0 20 0 3 0 284545809 172818432 6144 33554432000 4194304 5964478 140734722557808 140468183562040 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=168768 CPUtime=3.08 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 3911 0 0 0 307 1 0 0 20 0 3 0 284545809 172818432 6144 33554432000 4194304 5964478 140734722557808 140468173072504 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 168768
[startup+6.30026 s]
/proc/loadavg: 4.06 4.02 3.65 5/182 26612
/proc/meminfo: memFree=30946004/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=168840 CPUtime=12.59 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 7207 0 0 0 1257 2 0 0 20 0 3 0 284545809 172892160 7119 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 42210 7119 206 433 0 41774 0
[pid=26606/tid=26607] ppid=26604 vsize=168840 CPUtime=6.28 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 2004 0 0 0 628 0 0 0 20 0 3 0 284545809 172892160 7119 33554432000 4194304 5964478 140734722557808 140468183562280 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=168840 CPUtime=6.28 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 4414 0 0 0 627 1 0 0 20 0 3 0 284545809 172892160 7119 33554432000 4194304 5964478 140734722557808 140468173072504 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 168840
[startup+12.7003 s]
/proc/loadavg: 4.05 4.01 3.65 5/182 26612
/proc/meminfo: memFree=30911500/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=171468 CPUtime=25.38 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 9350 0 0 0 2536 2 0 0 20 0 3 0 284545809 175583232 9234 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 42867 9234 206 433 0 42431 0
[pid=26606/tid=26607] ppid=26604 vsize=171468 CPUtime=12.68 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 2801 0 0 0 1268 0 0 0 20 0 3 0 284545809 175583232 9234 33554432000 4194304 5964478 140734722557808 140468183562040 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=171468 CPUtime=12.68 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 5760 0 0 0 1266 2 0 0 20 0 3 0 284545809 175583232 9234 33554432000 4194304 5964478 140734722557808 140468173072568 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 171468
[startup+25.5003 s]
/proc/loadavg: 4.04 4.01 3.65 5/182 26612
/proc/meminfo: memFree=30854124/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=173188 CPUtime=50.98 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 11377 0 0 0 5094 4 0 0 20 0 3 0 284545809 177344512 11240 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 43297 11240 206 433 0 42861 0
[pid=26606/tid=26607] ppid=26604 vsize=173188 CPUtime=25.48 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 4115 0 0 0 2546 2 0 0 20 0 3 0 284545809 177344512 11240 33554432000 4194304 5964478 140734722557808 140468183562040 4399953 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=173188 CPUtime=25.48 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 6473 0 0 0 2545 3 0 0 20 0 3 0 284545809 177344512 11240 33554432000 4194304 5964478 140734722557808 140468173072744 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 173188
[startup+51.1003 s]
/proc/loadavg: 4.03 4.01 3.66 5/182 26612
/proc/meminfo: memFree=30790348/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=174772 CPUtime=102.15 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 13693 0 0 0 10209 6 0 0 20 0 3 0 284545809 178966528 14072 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 43693 14072 206 433 0 43257 0
[pid=26606/tid=26607] ppid=26604 vsize=174772 CPUtime=51.07 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 5596 0 0 0 5103 4 0 0 20 0 3 0 284545809 178966528 14072 33554432000 4194304 5964478 140734722557808 140468183562040 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=174772 CPUtime=51.08 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 7308 0 0 0 5104 4 0 0 20 0 3 0 284545809 178966528 14072 33554432000 4194304 5964478 140734722557808 140468173072504 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 174772
[startup+102.307 s]
/proc/loadavg: 4.05 4.02 3.68 5/181 26612
/proc/meminfo: memFree=30731296/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=180428 CPUtime=204.56 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 17417 0 0 0 20445 11 0 0 20 0 3 0 284545809 184758272 18980 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 45107 18980 206 433 0 44671 0
[pid=26606/tid=26607] ppid=26604 vsize=180428 CPUtime=102.28 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 8028 0 0 0 10220 8 0 0 20 0 3 0 284545809 184758272 18980 33554432000 4194304 5964478 140734722557808 140468183562280 4400022 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=180428 CPUtime=102.28 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 8600 0 0 0 10222 6 0 0 20 0 3 0 284545809 184758272 18980 33554432000 4194304 5964478 140734722557808 140468173072744 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 180428
[startup+162.3 s]
/proc/loadavg: 4.02 4.02 3.70 5/181 26612
/proc/meminfo: memFree=30662072/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=187820 CPUtime=324.52 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 21456 0 0 0 32437 15 0 0 20 0 3 0 284545809 192327680 22967 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 46955 22967 206 433 0 46519 0
[pid=26606/tid=26607] ppid=26604 vsize=187820 CPUtime=162.27 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 10627 0 0 0 16215 12 0 0 20 0 3 0 284545809 192327680 22967 33554432000 4194304 5964478 140734722557808 140468183562232 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=187820 CPUtime=162.27 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 10040 0 0 0 16218 9 0 0 20 0 3 0 284545809 192327680 22967 33554432000 4194304 5964478 140734722557808 140468173072696 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 187820
[startup+222.3 s]
/proc/loadavg: 4.00 4.01 3.72 5/181 26613
/proc/meminfo: memFree=30610008/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=194720 CPUtime=444.5 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 26630 0 0 0 44429 21 0 0 20 0 3 0 284545809 199393280 28113 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 48680 28113 206 433 0 48244 0
[pid=26606/tid=26607] ppid=26604 vsize=194720 CPUtime=222.27 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 13835 0 0 0 22211 16 0 0 20 0 3 0 284545809 199393280 28113 33554432000 4194304 5964478 140734722557808 140468183562232 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=194720 CPUtime=222.27 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 12006 0 0 0 22215 12 0 0 20 0 3 0 284545809 199393280 28113 33554432000 4194304 5964478 140734722557808 140468173072696 4379104 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 194720
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.73 5/181 26613
/proc/meminfo: memFree=30545736/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=200948 CPUtime=564.48 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 29344 0 0 0 56424 24 0 0 20 0 3 0 284545809 205770752 30876 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 50237 30876 206 433 0 49801 0
[pid=26606/tid=26607] ppid=26604 vsize=200948 CPUtime=282.25 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 15891 0 0 0 28205 20 0 0 20 0 3 0 284545809 205770752 30876 33554432000 4194304 5964478 140734722557808 140468183562280 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=200948 CPUtime=282.26 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 12664 0 0 0 28213 13 0 0 20 0 3 0 284545809 205770752 30876 33554432000 4194304 5964478 140734722557808 140468173072744 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 200948
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.74 5/181 26613
/proc/meminfo: memFree=30506812/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=204628 CPUtime=684.45 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 34310 0 0 0 68413 32 0 0 20 0 3 0 284545809 209539072 35839 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 51157 35839 206 433 0 50721 0
[pid=26606/tid=26607] ppid=26604 vsize=204628 CPUtime=342.25 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 18462 0 0 0 34199 26 0 0 20 0 3 0 284545809 209539072 35839 33554432000 4194304 5964478 140734722557808 140468183562040 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=204628 CPUtime=342.26 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 15059 0 0 0 34208 18 0 0 20 0 3 0 284545809 209539072 35839 33554432000 4194304 5964478 140734722557808 140468173072696 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 204628
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.76 5/181 26613
/proc/meminfo: memFree=30474584/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=207956 CPUtime=804.44 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 37891 0 0 0 80406 38 0 0 20 0 3 0 284545809 212946944 39416 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 51989 39416 206 433 0 51553 0
[pid=26606/tid=26607] ppid=26604 vsize=207956 CPUtime=402.25 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 19363 0 0 0 40197 28 0 0 20 0 3 0 284545809 212946944 39416 33554432000 4194304 5964478 140734722557808 140468183562232 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=207956 CPUtime=402.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 17739 0 0 0 40202 23 0 0 20 0 3 0 284545809 212946944 39416 33554432000 4194304 5964478 140734722557808 140468173072456 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.44
Current children cumulated vsize (KiB) 207956
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.77 5/181 26613
/proc/meminfo: memFree=30420584/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=281628 CPUtime=924.42 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 43233 0 0 0 92397 45 0 0 20 0 3 0 284545809 288387072 44758 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 70407 44758 206 433 0 69971 0
[pid=26606/tid=26607] ppid=26604 vsize=281628 CPUtime=462.25 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 22467 0 0 0 46191 34 0 0 20 0 3 0 284545809 288387072 44758 33554432000 4194304 5964478 140734722557808 140468183562280 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=281628 CPUtime=462.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 19977 0 0 0 46198 27 0 0 20 0 3 0 284545809 288387072 44758 33554432000 4194304 5964478 140734722557808 140468173072744 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.42
Current children cumulated vsize (KiB) 281628
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.78 5/181 26614
/proc/meminfo: memFree=30383568/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=287912 CPUtime=1044.4 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 46961 0 0 0 104391 49 0 0 20 0 3 0 284545809 294821888 48481 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 71978 48481 206 433 0 71542 0
[pid=26606/tid=26607] ppid=26604 vsize=287912 CPUtime=522.25 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 24153 0 0 0 52189 36 0 0 20 0 3 0 284545809 294821888 48481 33554432000 4194304 5964478 140734722557808 140468183562232 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=287912 CPUtime=522.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 22019 0 0 0 52196 29 0 0 20 0 3 0 284545809 294821888 48481 33554432000 4194304 5964478 140734722557808 140468173072696 4400500 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.4
Current children cumulated vsize (KiB) 287912
[startup+582.3 s]
/proc/loadavg: 4.10 4.03 3.80 5/181 26614
/proc/meminfo: memFree=30349500/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=291688 CPUtime=1164.37 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 49641 0 0 0 116384 53 0 0 20 0 3 0 284545809 298688512 51153 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 72922 51153 206 433 0 72486 0
[pid=26606/tid=26607] ppid=26604 vsize=291688 CPUtime=582.23 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 24987 0 0 0 58185 38 0 0 20 0 3 0 284545809 298688512 51153 33554432000 4194304 5964478 140734722557808 140468183562280 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=291688 CPUtime=582.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 23865 0 0 0 58193 32 0 0 20 0 3 0 284545809 298688512 51153 33554432000 4194304 5964478 140734722557808 140468173072696 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.37
Current children cumulated vsize (KiB) 291688
[startup+642.3 s]
/proc/loadavg: 4.03 4.02 3.81 5/182 26617
/proc/meminfo: memFree=30317416/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=362768 CPUtime=1284.36 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 53366 0 0 0 128378 58 0 0 20 0 3 0 284545809 371474432 54909 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 90692 54909 206 433 0 90256 0
[pid=26606/tid=26607] ppid=26604 vsize=362768 CPUtime=642.24 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 26049 0 0 0 64183 41 0 0 20 0 3 0 284545809 371474432 54909 33554432000 4194304 5964478 140734722557808 140468183562232 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=362768 CPUtime=642.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 26528 0 0 0 64189 36 0 0 20 0 3 0 284545809 371474432 54909 33554432000 4194304 5964478 140734722557808 140468173072696 4379280 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.36
Current children cumulated vsize (KiB) 362768
[startup+702.3 s]
/proc/loadavg: 4.01 4.02 3.82 5/182 26640
/proc/meminfo: memFree=30301128/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=365848 CPUtime=1404.32 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 55430 0 0 0 140371 61 0 0 20 0 3 0 284545809 374628352 56973 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 91462 56973 206 433 0 91026 0
[pid=26606/tid=26607] ppid=26604 vsize=365848 CPUtime=702.23 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 27675 0 0 0 70179 44 0 0 20 0 3 0 284545809 374628352 56973 33554432000 4194304 5964478 140734722557808 140468183562280 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=365848 CPUtime=702.24 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 26966 0 0 0 70186 38 0 0 20 0 3 0 284545809 374628352 56973 33554432000 4194304 5964478 140734722557808 140468173072744 4399994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.32
Current children cumulated vsize (KiB) 365848
[startup+762.307 s]
/proc/loadavg: 4.00 4.01 3.83 5/180 26640
/proc/meminfo: memFree=30287424/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=367896 CPUtime=1524.32 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 56771 0 0 0 152369 63 0 0 20 0 3 0 284545809 376725504 58314 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 91974 58314 206 433 0 91538 0
[pid=26606/tid=26607] ppid=26604 vsize=367896 CPUtime=762.23 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 28809 0 0 0 76176 47 0 0 20 0 3 0 284545809 376725504 58314 33554432000 4194304 5964478 140734722557808 140468183562280 4400090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=367896 CPUtime=762.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 27173 0 0 0 76186 39 0 0 20 0 3 0 284545809 376725504 58314 33554432000 4194304 5964478 140734722557808 140468173072744 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.32
Current children cumulated vsize (KiB) 367896
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 26642
/proc/meminfo: memFree=30253948/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=372136 CPUtime=1644.28 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 60926 0 0 0 164360 68 0 0 20 0 3 0 284545809 381067264 62469 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 93034 62469 206 433 0 92598 0
[pid=26606/tid=26607] ppid=26604 vsize=372136 CPUtime=822.22 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 31095 0 0 0 82171 51 0 0 20 0 3 0 284545809 381067264 62469 33554432000 4194304 5964478 140734722557808 140468183562232 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=372136 CPUtime=822.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 29042 0 0 0 82182 43 0 0 20 0 3 0 284545809 381067264 62469 33554432000 4194304 5964478 140734722557808 140468173072696 4399994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.28
Current children cumulated vsize (KiB) 372136
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.84 5/181 26642
/proc/meminfo: memFree=30234356/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=376676 CPUtime=1764.27 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 63547 0 0 0 176354 73 0 0 20 0 3 0 284545809 385716224 65090 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 94169 65090 206 433 0 93733 0
[pid=26606/tid=26607] ppid=26604 vsize=376676 CPUtime=882.22 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 32072 0 0 0 88168 54 0 0 20 0 3 0 284545809 385716224 65090 33554432000 4194304 5964478 140734722557808 140468183562280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=376676 CPUtime=882.25 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 30686 0 0 0 88179 46 0 0 20 0 3 0 284545809 385716224 65090 33554432000 4194304 5964478 140734722557808 140468173072744 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.27
Current children cumulated vsize (KiB) 376676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.84 5/181 26642
/proc/meminfo: memFree=30225428/32873648 swapFree=7112/7112
[pid=26606] ppid=26604 vsize=377476 CPUtime=1800.08 cores=1,3,5,7
/proc/26606/stat : 26606 (pwbo2.01) S 26604 26606 26380 0 -1 4202496 64820 0 0 0 179932 76 0 0 20 0 3 0 284545809 386535424 66363 33554432000 4194304 5964478 140734722557808 140734722557328 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26606/statm: 94369 66363 206 433 0 93933 0
[pid=26606/tid=26607] ppid=26604 vsize=377476 CPUtime=900.13 cores=1,3,5,7
/proc/26606/task/26607/stat : 26607 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 33065 0 0 0 89957 56 0 0 20 0 3 0 284545809 386535424 66363 33554432000 4194304 5964478 140734722557808 140468183562232 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26606/tid=26608] ppid=26604 vsize=377476 CPUtime=900.16 cores=1,3,5,7
/proc/26606/task/26608/stat : 26608 (pwbo2.01) R 26604 26606 26380 0 -1 4202560 30966 0 0 0 89969 47 0 0 20 0 3 0 284545809 386535424 66363 33554432000 4194304 5964478 140734722557808 140468173072744 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 377476
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.221
CPU time (s): 1800.33
CPU user time (s): 1799.27
CPU system time (s): 1.06084
CPU usage (%): 199.987
Max. virtual memory (cumulated for all children) (KiB): 377476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 1.06084
maximum resident set size= 265460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64823
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= 117
involuntary context switches= 2312
runsolver used 1.83172 second user time and 5.56415 second system time
The end