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-3725880-1338651714/watcher-3725880-1338651714 -o /tmp/evaluation-result-3725880-1338651714/solver-3725880-1338651714 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725880-1338651714.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.04 1.20 3/175 22324
/proc/meminfo: memFree=28031400/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=5608 CPUtime=0 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) R 22320 22323 20635 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 331298231 5742592 575 33554432000 4194304 5964478 140736677546496 140736755426728 5244234 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 1402 586 165 433 0 966 0
[startup+0.042802 s]
/proc/loadavg: 1.07 1.04 1.20 3/175 22324
/proc/meminfo: memFree=28031400/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=165924 CPUtime=0.06 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 2712 0 0 0 6 0 0 0 20 0 3 0 331298231 169906176 2926 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41481 2926 203 433 0 41045 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 165924
[startup+0.100198 s]
/proc/loadavg: 1.07 1.04 1.20 3/175 22324
/proc/meminfo: memFree=28031400/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=165924 CPUtime=0.18 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 3154 0 0 0 18 0 0 0 20 0 3 0 331298231 169906176 3368 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41481 3368 204 433 0 41045 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 165924
[startup+0.300111 s]
/proc/loadavg: 1.07 1.04 1.20 3/175 22324
/proc/meminfo: memFree=28031400/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=165924 CPUtime=0.57 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 3719 0 0 0 57 0 0 0 20 0 3 0 331298231 169906176 3933 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41481 3933 204 433 0 41045 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165924
[startup+0.700111 s]
/proc/loadavg: 1.07 1.04 1.20 3/175 22324
/proc/meminfo: memFree=28031400/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=165924 CPUtime=1.38 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 4405 0 0 0 137 1 0 0 20 0 3 0 331298231 169906176 4619 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41481 4619 204 433 0 41045 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 165924
[startup+1.50033 s]
/proc/loadavg: 1.30 1.09 1.21 6/181 22330
/proc/meminfo: memFree=27991064/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=166068 CPUtime=2.97 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 5601 0 0 0 296 1 0 0 20 0 3 0 331298231 170053632 5815 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41517 5815 204 433 0 41081 0
[pid=22323/tid=22329] ppid=22320 vsize=166068 CPUtime=1.47 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 2532 0 0 0 146 1 0 0 20 0 3 0 331298231 170053632 5815 33554432000 4194304 5964478 140736677546496 140421424453672 4389147 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=166068 CPUtime=1.48 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 2161 0 0 0 148 0 0 0 20 0 3 0 331298231 170053632 5815 33554432000 4194304 5964478 140736677546496 140421413964088 4399915 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 166068
[startup+3.10031 s]
/proc/loadavg: 1.30 1.09 1.21 6/181 22330
/proc/meminfo: memFree=27980592/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=166068 CPUtime=6.18 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 7515 0 0 0 615 3 0 0 20 0 3 0 331298231 170053632 7701 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41517 7701 204 433 0 41081 0
[pid=22323/tid=22329] ppid=22320 vsize=166068 CPUtime=3.07 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 3466 0 0 0 305 2 0 0 20 0 3 0 331298231 170053632 7701 33554432000 4194304 5964478 140736677546496 140421424454024 4389164 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=166068 CPUtime=3.08 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 3141 0 0 0 306 2 0 0 20 0 3 0 331298231 170053632 7701 33554432000 4194304 5964478 140736677546496 140421413964136 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 166068
[startup+6.30034 s]
/proc/loadavg: 1.52 1.13 1.23 6/181 22330
/proc/meminfo: memFree=27952604/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=166464 CPUtime=12.58 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 10327 0 0 0 1252 6 0 0 20 0 3 0 331298231 170459136 10513 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41616 10513 204 433 0 41180 0
[pid=22323/tid=22329] ppid=22320 vsize=166464 CPUtime=6.27 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 4366 0 0 0 624 3 0 0 20 0 3 0 331298231 170459136 10513 33554432000 4194304 5964478 140736677546496 140421424453432 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=166464 CPUtime=6.28 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 5053 0 0 0 625 3 0 0 20 0 3 0 331298231 170459136 10513 33554432000 4194304 5964478 140736677546496 140421413964088 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 166464
[startup+12.7004 s]
/proc/loadavg: 1.72 1.18 1.24 6/181 22330
/proc/meminfo: memFree=27903144/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=166572 CPUtime=25.38 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 14252 0 0 0 2523 15 0 0 20 0 3 0 331298231 170569728 14438 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41643 14438 204 433 0 41207 0
[pid=22323/tid=22329] ppid=22320 vsize=166572 CPUtime=12.68 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 8119 0 0 0 1255 13 0 0 20 0 3 0 331298231 170569728 14438 33554432000 4194304 5964478 140736677546496 140421424453432 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=166572 CPUtime=12.68 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 5225 0 0 0 1265 3 0 0 20 0 3 0 331298231 170569728 14438 33554432000 4194304 5964478 140736677546496 140421413964136 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 166572
[startup+25.5004 s]
/proc/loadavg: 2.22 1.32 1.29 6/181 22330
/proc/meminfo: memFree=27868080/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=166248 CPUtime=50.97 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 18473 0 0 0 5077 20 0 0 20 0 3 0 331298231 170237952 18585 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41562 18585 204 433 0 41126 0
[pid=22323/tid=22329] ppid=22320 vsize=166248 CPUtime=25.47 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 9731 0 0 0 2531 16 0 0 20 0 3 0 331298231 170237952 18585 33554432000 4194304 5964478 140736677546496 140421424453432 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=166248 CPUtime=25.47 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 7834 0 0 0 2543 4 0 0 20 0 3 0 331298231 170237952 18585 33554432000 4194304 5964478 140736677546496 140421413964088 4400628 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166248
[startup+51.1004 s]
/proc/loadavg: 2.83 1.53 1.36 6/181 22330
/proc/meminfo: memFree=27756304/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=166892 CPUtime=102.16 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 30534 0 0 0 10184 32 0 0 20 0 3 0 331298231 170897408 30646 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 41723 30646 204 433 0 41287 0
[pid=22323/tid=22329] ppid=22320 vsize=166892 CPUtime=51.08 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 16278 0 0 0 5085 23 0 0 20 0 3 0 331298231 170897408 30646 33554432000 4194304 5964478 140736677546496 140421424453432 4400470 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=166892 CPUtime=51.07 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 13348 0 0 0 5097 10 0 0 20 0 3 0 331298231 170897408 30646 33554432000 4194304 5964478 140736677546496 140421413964136 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 166892
[startup+102.307 s]
/proc/loadavg: 3.49 1.91 1.49 6/181 22330
/proc/meminfo: memFree=27581836/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=298804 CPUtime=204.55 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 51002 0 0 0 20381 74 0 0 20 0 3 0 331298231 305975296 51405 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 74701 51405 204 433 0 74265 0
[pid=22323/tid=22329] ppid=22320 vsize=298804 CPUtime=102.29 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 24472 0 0 0 10199 30 0 0 20 0 3 0 331298231 305975296 51405 33554432000 4194304 5964478 140736677546496 140421424453624 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=298804 CPUtime=102.27 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 25622 0 0 0 10180 47 0 0 20 0 3 0 331298231 305975296 51405 33554432000 4194304 5964478 140736677546496 140421413964088 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 298804
[startup+162.3 s]
/proc/loadavg: 3.81 2.29 1.65 6/181 22330
/proc/meminfo: memFree=27434544/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=429876 CPUtime=324.47 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 74488 0 0 0 32327 120 0 0 20 0 3 0 331298231 440193024 74884 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 107469 74884 204 433 0 107033 0
[pid=22323/tid=22329] ppid=22320 vsize=429876 CPUtime=162.26 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 34032 0 0 0 16187 39 0 0 20 0 3 0 331298231 440193024 74884 33554432000 4194304 5964478 140736677546496 140421424453624 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=429876 CPUtime=162.24 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 39548 0 0 0 16138 86 0 0 20 0 3 0 331298231 440193024 74884 33554432000 4194304 5964478 140736677546496 140421413964088 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 429876
[startup+222.3 s]
/proc/loadavg: 3.93 2.60 1.79 6/181 22331
/proc/meminfo: memFree=27293212/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=431260 CPUtime=444.42 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 91069 0 0 0 44299 143 0 0 20 0 3 0 331298231 441610240 91785 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 107815 91785 204 433 0 107379 0
[pid=22323/tid=22329] ppid=22320 vsize=431260 CPUtime=222.23 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 43444 0 0 0 22174 49 0 0 20 0 3 0 331298231 441610240 91785 33554432000 4194304 5964478 140736677546496 140421424453432 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=431260 CPUtime=222.22 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 46717 0 0 0 22121 101 0 0 20 0 3 0 331298231 441610240 91785 33554432000 4194304 5964478 140736677546496 140421413964088 4400056 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 431260
[startup+282.3 s]
/proc/loadavg: 3.97 2.85 1.93 6/181 22331
/proc/meminfo: memFree=27195484/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=562332 CPUtime=564.38 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 105776 0 0 0 56274 164 0 0 20 0 3 0 331298231 575827968 107911 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 140583 107911 204 433 0 140147 0
[pid=22323/tid=22329] ppid=22320 vsize=562332 CPUtime=282.24 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 48800 0 0 0 28168 56 0 0 20 0 3 0 331298231 575827968 107911 33554432000 4194304 5964478 140736677546496 140421424453624 4399952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=562332 CPUtime=282.2 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 56068 0 0 0 28102 118 0 0 20 0 3 0 331298231 575827968 107911 33554432000 4194304 5964478 140736677546496 140421413964088 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 562332
[startup+342.3 s]
/proc/loadavg: 3.99 3.06 2.05 6/181 22331
/proc/meminfo: memFree=27066056/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=565236 CPUtime=684.36 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 116835 0 0 0 68261 175 0 0 20 0 3 0 331298231 578801664 118967 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 141309 118967 204 433 0 140873 0
[pid=22323/tid=22329] ppid=22320 vsize=565236 CPUtime=342.24 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 59859 0 0 0 34156 68 0 0 20 0 3 0 331298231 578801664 118967 33554432000 4194304 5964478 140736677546496 140421424453432 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=565236 CPUtime=342.2 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 56068 0 0 0 34101 119 0 0 20 0 3 0 331298231 578801664 118967 33554432000 4194304 5964478 140736677546496 140421413964088 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 565236
[startup+402.3 s]
/proc/loadavg: 4.03 3.24 2.18 6/181 22331
/proc/meminfo: memFree=27007688/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=565236 CPUtime=804.34 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 128621 0 0 0 80243 191 0 0 20 0 3 0 331298231 578801664 130749 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 141309 130749 204 433 0 140873 0
[pid=22323/tid=22329] ppid=22320 vsize=565236 CPUtime=402.24 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 62224 0 0 0 40154 70 0 0 20 0 3 0 331298231 578801664 130749 33554432000 4194304 5964478 140736677546496 140421424453624 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=565236 CPUtime=402.2 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 65489 0 0 0 40085 135 0 0 20 0 3 0 331298231 578801664 130749 33554432000 4194304 5964478 140736677546496 140421413964088 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 565236
[startup+462.3 s]
/proc/loadavg: 4.01 3.38 2.29 6/181 22331
/proc/meminfo: memFree=26864708/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=699536 CPUtime=924.32 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 149926 0 0 0 92213 219 0 0 20 0 3 0 331298231 716324864 152052 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 174884 152052 204 433 0 174448 0
[pid=22323/tid=22329] ppid=22320 vsize=699536 CPUtime=462.25 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 68691 0 0 0 46149 76 0 0 20 0 3 0 331298231 716324864 152052 33554432000 4194304 5964478 140736677546496 140421424453624 4399941 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=699536 CPUtime=462.2 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 80327 0 0 0 46061 159 0 0 20 0 3 0 331298231 716324864 152052 33554432000 4194304 5964478 140736677546496 140421413964088 4399828 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 699536
[startup+522.3 s]
/proc/loadavg: 4.00 3.49 2.39 6/181 22334
/proc/meminfo: memFree=26742580/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=692644 CPUtime=1044.3 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 160260 0 0 0 104208 222 0 0 20 0 3 0 331298231 709267456 160685 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 173161 160685 204 433 0 172725 0
[pid=22323/tid=22329] ppid=22320 vsize=692644 CPUtime=522.25 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79025 0 0 0 52146 79 0 0 20 0 3 0 331298231 709267456 160685 33554432000 4194304 5964478 140736677546496 140421424454584 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=692644 CPUtime=522.2 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 80327 0 0 0 52061 159 0 0 20 0 3 0 331298231 709267456 160685 33554432000 4194304 5964478 140736677546496 140421413964120 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 692644
[startup+582.3 s]
/proc/loadavg: 4.00 3.58 2.49 6/181 22335
/proc/meminfo: memFree=26721804/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=692644 CPUtime=1164.27 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 160294 0 0 0 116205 222 0 0 20 0 3 0 331298231 709267456 160818 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 173161 160818 204 433 0 172725 0
[pid=22323/tid=22329] ppid=22320 vsize=692644 CPUtime=582.23 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79059 0 0 0 58143 80 0 0 20 0 3 0 331298231 709267456 160818 33554432000 4194304 5964478 140736677546496 140421424454584 4400416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=692644 CPUtime=582.2 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 80327 0 0 0 58060 160 0 0 20 0 3 0 331298231 709267456 160818 33554432000 4194304 5964478 140736677546496 140421413964120 4400621 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 692644
[startup+642.3 s]
/proc/loadavg: 4.00 3.65 2.58 6/181 22335
/proc/meminfo: memFree=26702428/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=692644 CPUtime=1284.24 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 160327 0 0 0 128202 222 0 0 20 0 3 0 331298231 709267456 161353 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 173161 161353 204 433 0 172725 0
[pid=22323/tid=22329] ppid=22320 vsize=692644 CPUtime=642.24 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79059 0 0 0 64143 81 0 0 20 0 3 0 331298231 709267456 161353 33554432000 4194304 5964478 140736677546496 140421424454584 4400106 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=692644 CPUtime=642.18 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 80360 0 0 0 64057 161 0 0 20 0 3 0 331298231 709267456 161353 33554432000 4194304 5964478 140736677546496 140421413964120 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 692644
[startup+702.3 s]
/proc/loadavg: 4.00 3.71 2.67 6/181 22335
/proc/meminfo: memFree=26671084/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=758180 CPUtime=1404.17 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 165303 0 0 0 140188 229 0 0 20 0 3 0 331298231 776376320 166298 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 189545 166298 204 433 0 189109 0
[pid=22323/tid=22329] ppid=22320 vsize=758180 CPUtime=702.24 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79088 0 0 0 70142 82 0 0 20 0 3 0 331298231 776376320 166298 33554432000 4194304 5964478 140736677546496 140421424454584 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=758180 CPUtime=702.13 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 85307 0 0 0 70044 169 0 0 20 0 3 0 331298231 776376320 166298 33554432000 4194304 5964478 140736677546496 140421413964136 4388729 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 758180
[startup+762.307 s]
/proc/loadavg: 4.00 3.76 2.75 6/181 22335
/proc/meminfo: memFree=26623296/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=758180 CPUtime=1524.15 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 165327 0 0 0 152186 229 0 0 20 0 3 0 331298231 776376320 166316 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 189545 166316 204 433 0 189109 0
[pid=22323/tid=22329] ppid=22320 vsize=758180 CPUtime=762.25 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79088 0 0 0 76142 83 0 0 20 0 3 0 331298231 776376320 166316 33554432000 4194304 5964478 140736677546496 140421424454584 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=758180 CPUtime=762.12 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 85331 0 0 0 76042 170 0 0 20 0 3 0 331298231 776376320 166316 33554432000 4194304 5964478 140736677546496 140421413964136 4391357 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 758180
[startup+822.3 s]
/proc/loadavg: 4.00 3.80 2.83 6/181 22335
/proc/meminfo: memFree=26602964/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=758180 CPUtime=1644.12 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 165327 0 0 0 164183 229 0 0 20 0 3 0 331298231 776376320 166601 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 189545 166601 204 433 0 189109 0
[pid=22323/tid=22329] ppid=22320 vsize=758180 CPUtime=822.25 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79088 0 0 0 82141 84 0 0 20 0 3 0 331298231 776376320 166601 33554432000 4194304 5964478 140736677546496 140421424454584 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=758180 CPUtime=822.11 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 85331 0 0 0 82040 171 0 0 20 0 3 0 331298231 776376320 166601 33554432000 4194304 5964478 140736677546496 140421413964136 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 758180
[startup+882.3 s]
/proc/loadavg: 4.00 3.84 2.90 6/181 22336
/proc/meminfo: memFree=26567624/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=758180 CPUtime=1764.11 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 166739 0 0 0 176178 233 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 189545 168013 204 433 0 189109 0
[pid=22323/tid=22329] ppid=22320 vsize=758180 CPUtime=882.25 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79088 0 0 0 88140 85 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140421424454584 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=758180 CPUtime=882.11 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 86743 0 0 0 88036 175 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140421413964088 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 758180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.84 2.91 6/181 22336
/proc/meminfo: memFree=26567376/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=758180 CPUtime=1800.11 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 166739 0 0 0 179778 233 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 189545 168013 204 433 0 189109 0
[pid=22323/tid=22329] ppid=22320 vsize=758180 CPUtime=900.26 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79088 0 0 0 89941 85 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140421424454584 4400018 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=758180 CPUtime=900.12 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 86743 0 0 0 89837 175 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140421413964088 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 758180
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 3.84 2.91 6/181 22336
/proc/meminfo: memFree=26567376/32873648 swapFree=6852/6852
[pid=22323] ppid=22320 vsize=758180 CPUtime=1800.11 cores=1,3,5,7
/proc/22323/stat : 22323 (pwbo2.02) S 22320 22323 20635 0 -1 4202496 166739 0 0 0 179778 233 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140736677546016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22323/statm: 189545 168013 204 433 0 189109 0
[pid=22323/tid=22329] ppid=22320 vsize=758180 CPUtime=900.26 cores=1,3,5,7
/proc/22323/task/22329/stat : 22329 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 79088 0 0 0 89941 85 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140421424454584 4400018 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22323/tid=22330] ppid=22320 vsize=758180 CPUtime=900.12 cores=1,3,5,7
/proc/22323/task/22330/stat : 22330 (pwbo2.02) R 22320 22323 20635 0 -1 4202560 86743 0 0 0 89837 175 0 0 20 0 3 0 331298231 776376320 168013 33554432000 4194304 5964478 140736677546496 140421413964088 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 758180
Child status: 0
Real time (s): 900.317
CPU time (s): 1800.42
CPU user time (s): 1797.79
CPU system time (s): 2.6306
CPU usage (%): 199.977
Max. virtual memory (cumulated for all children) (KiB): 758180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.6306
maximum resident set size= 672056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166740
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= 549
involuntary context switches= 2383
runsolver used 1.89271 second user time and 5.30419 second system time
The end