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-3712434-1338182394/watcher-3712434-1338182394 -o /tmp/evaluation-result-3712434-1338182394/solver-3712434-1338182394 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712434-1338182394.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: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=163424 CPUtime=0 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 3 0 284365313 167346176 1231 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 40856 1233 205 433 0 40420 0
[pid=26422/tid=26424] ppid=26419 vsize=163424 CPUtime=0 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 3 0 284365313 167346176 1242 33554432000 4194304 5964478 140735423064736 140326081013752 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=163424 CPUtime=0 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 410 0 0 0 0 0 0 0 20 0 3 0 284365313 167346176 1245 33554432000 4194304 5964478 140735423064736 140326070523592 4395323 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[startup+0.100356 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171488 CPUtime=0.18 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 5163 0 0 0 18 0 0 0 20 0 3 0 284365313 175603712 5063 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42872 5063 207 433 0 42436 0
[pid=26422/tid=26424] ppid=26419 vsize=171488 CPUtime=0.08 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 354 0 0 0 8 0 0 0 20 0 3 0 284365313 175603712 5064 33554432000 4194304 5964478 140735423064736 140326081013560 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171488 CPUtime=0.08 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 4006 0 0 0 8 0 0 0 20 0 3 0 284365313 175603712 5064 33554432000 4194304 5964478 140735423064736 140326070524024 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 171488
[startup+0.200341 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171488 CPUtime=0.39 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 5535 0 0 0 38 1 0 0 20 0 3 0 284365313 175603712 5435 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42872 5435 207 433 0 42436 0
[pid=26422/tid=26424] ppid=26419 vsize=171488 CPUtime=0.18 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 586 0 0 0 18 0 0 0 20 0 3 0 284365313 175603712 5435 33554432000 4194304 5964478 140735423064736 140326081013560 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171488 CPUtime=0.18 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 4145 0 0 0 18 0 0 0 20 0 3 0 284365313 175603712 5436 33554432000 4194304 5964478 140735423064736 140326070524024 4373478 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 171488
[startup+0.300359 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171488 CPUtime=0.59 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 5781 0 0 0 58 1 0 0 20 0 3 0 284365313 175603712 5681 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42872 5681 207 433 0 42436 0
[pid=26422/tid=26424] ppid=26419 vsize=171488 CPUtime=0.28 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 696 0 0 0 28 0 0 0 20 0 3 0 284365313 175603712 5681 33554432000 4194304 5964478 140735423064736 140326081013560 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171488 CPUtime=0.28 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 4281 0 0 0 28 0 0 0 20 0 3 0 284365313 175603712 5681 33554432000 4194304 5964478 140735423064736 140326070524024 5136474 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 171488
[startup+0.700205 s]
/proc/loadavg: 1.00 1.25 1.63 3/175 26423
/proc/meminfo: memFree=31030988/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171488 CPUtime=1.38 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 6743 0 0 0 137 1 0 0 20 0 3 0 284365313 175603712 6643 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42872 6643 207 433 0 42436 0
[pid=26422/tid=26424] ppid=26419 vsize=171488 CPUtime=0.68 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 1003 0 0 0 68 0 0 0 20 0 3 0 284365313 175603712 6643 33554432000 4194304 5964478 140735423064736 140326081013752 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171488 CPUtime=0.68 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 4936 0 0 0 67 1 0 0 20 0 3 0 284365313 175603712 6643 33554432000 4194304 5964478 140735423064736 140326070524216 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 171488
[startup+1.5003 s]
/proc/loadavg: 1.24 1.29 1.64 6/181 26429
/proc/meminfo: memFree=30937684/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171632 CPUtime=2.99 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 8084 0 0 0 297 2 0 0 20 0 3 0 284365313 175751168 7984 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42908 7984 207 433 0 42472 0
[pid=26422/tid=26424] ppid=26419 vsize=171632 CPUtime=1.48 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 1400 0 0 0 148 0 0 0 20 0 3 0 284365313 175751168 7984 33554432000 4194304 5964478 140735423064736 140326081013560 4400073 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171632 CPUtime=1.49 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 5880 0 0 0 147 2 0 0 20 0 3 0 284365313 175751168 7984 33554432000 4194304 5964478 140735423064736 140326070524216 4409686 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 171632
[startup+3.10031 s]
/proc/loadavg: 1.24 1.29 1.64 6/181 26429
/proc/meminfo: memFree=30920920/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171848 CPUtime=6.18 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 10021 0 0 0 616 2 0 0 20 0 3 0 284365313 175972352 9921 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42962 9921 207 433 0 42526 0
[pid=26422/tid=26424] ppid=26419 vsize=171848 CPUtime=3.08 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 2212 0 0 0 308 0 0 0 20 0 3 0 284365313 175972352 9921 33554432000 4194304 5964478 140735423064736 140326081013800 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171848 CPUtime=3.08 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 7005 0 0 0 306 2 0 0 20 0 3 0 284365313 175972352 9921 33554432000 4194304 5964478 140735423064736 140326070524216 4400062 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) 171848
[startup+6.30029 s]
/proc/loadavg: 1.46 1.34 1.65 6/181 26429
/proc/meminfo: memFree=30889792/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=171956 CPUtime=12.58 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 12636 0 0 0 1254 4 0 0 20 0 3 0 284365313 176082944 12535 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 42989 12535 207 433 0 42553 0
[pid=26422/tid=26424] ppid=26419 vsize=171956 CPUtime=6.28 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 3266 0 0 0 627 1 0 0 20 0 3 0 284365313 176082944 12535 33554432000 4194304 5964478 140735423064736 140326081013560 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=171956 CPUtime=6.28 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 8566 0 0 0 625 3 0 0 20 0 3 0 284365313 176082944 12535 33554432000 4194304 5964478 140735423064736 140326070524264 4400075 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) 171956
[startup+12.7003 s]
/proc/loadavg: 1.66 1.38 1.66 6/182 26432
/proc/meminfo: memFree=30859220/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=172640 CPUtime=25.37 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 14731 0 0 0 2532 5 0 0 20 0 3 0 284365313 176783360 14630 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 43160 14630 207 433 0 42724 0
[pid=26422/tid=26424] ppid=26419 vsize=172640 CPUtime=12.68 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 4093 0 0 0 1266 2 0 0 20 0 3 0 284365313 176783360 14630 33554432000 4194304 5964478 140735423064736 140326081013560 4400416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=172640 CPUtime=12.68 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 9834 0 0 0 1264 4 0 0 20 0 3 0 284365313 176783360 14630 33554432000 4194304 5964478 140735423064736 140326070524216 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 172640
[startup+25.5004 s]
/proc/loadavg: 2.02 1.47 1.69 6/182 26432
/proc/meminfo: memFree=30833852/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=172788 CPUtime=50.96 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 17736 0 0 0 5089 7 0 0 20 0 3 0 284365313 176934912 17693 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 43197 17693 207 433 0 42761 0
[pid=26422/tid=26424] ppid=26419 vsize=172788 CPUtime=25.48 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 5354 0 0 0 2545 3 0 0 20 0 3 0 284365313 176934912 17693 33554432000 4194304 5964478 140735423064736 140326081013752 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=172788 CPUtime=25.47 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 11578 0 0 0 2541 6 0 0 20 0 3 0 284365313 176934912 17693 33554432000 4194304 5964478 140735423064736 140326070524024 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 172788
[startup+51.1004 s]
/proc/loadavg: 2.80 1.71 1.76 6/182 26432
/proc/meminfo: memFree=30774500/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=174360 CPUtime=102.15 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 21439 0 0 0 10206 9 0 0 20 0 3 0 284365313 178544640 22179 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 43590 22179 207 433 0 43154 0
[pid=26422/tid=26424] ppid=26419 vsize=174360 CPUtime=51.08 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 6988 0 0 0 5105 3 0 0 20 0 3 0 284365313 178544640 22179 33554432000 4194304 5964478 140735423064736 140326081013752 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=174360 CPUtime=51.06 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 13647 0 0 0 5099 7 0 0 20 0 3 0 284365313 178544640 22179 33554432000 4194304 5964478 140735423064736 140326070524024 4400454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 174360
[startup+102.3 s]
/proc/loadavg: 3.56 2.09 1.89 6/181 26432
/proc/meminfo: memFree=30676560/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=178788 CPUtime=204.54 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 25625 0 0 0 20441 13 0 0 20 0 3 0 284365313 183078912 26345 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 44697 26345 207 433 0 44261 0
[pid=26422/tid=26424] ppid=26419 vsize=178788 CPUtime=102.28 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 8813 0 0 0 10222 6 0 0 20 0 3 0 284365313 183078912 26345 33554432000 4194304 5964478 140735423064736 140326081013560 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=178788 CPUtime=102.27 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 16008 0 0 0 10216 11 0 0 20 0 3 0 284365313 183078912 26345 33554432000 4194304 5964478 140735423064736 140326070524024 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 178788
[startup+162.3 s]
/proc/loadavg: 3.84 2.43 2.02 6/181 26433
/proc/meminfo: memFree=30580752/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=183448 CPUtime=324.52 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 30072 0 0 0 32433 19 0 0 20 0 3 0 284365313 187850752 30792 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 45862 30792 207 433 0 45426 0
[pid=26422/tid=26424] ppid=26419 vsize=183448 CPUtime=162.27 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 11275 0 0 0 16216 11 0 0 20 0 3 0 284365313 187850752 30792 33554432000 4194304 5964478 140735423064736 140326081013800 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=183448 CPUtime=162.26 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 17993 0 0 0 16212 14 0 0 20 0 3 0 284365313 187850752 30792 33554432000 4194304 5964478 140735423064736 140326070524264 4220672 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) 183448
[startup+222.307 s]
/proc/loadavg: 3.94 2.71 2.14 6/181 26433
/proc/meminfo: memFree=30503016/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=187192 CPUtime=444.49 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 33279 0 0 0 44427 22 0 0 20 0 3 0 284365313 191684608 34180 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 46798 34180 207 433 0 46362 0
[pid=26422/tid=26424] ppid=26419 vsize=187192 CPUtime=222.27 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 12976 0 0 0 22214 13 0 0 20 0 3 0 284365313 191684608 34180 33554432000 4194304 5964478 140735423064736 140326081013752 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=187192 CPUtime=222.26 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 19499 0 0 0 22210 16 0 0 20 0 3 0 284365313 191684608 34180 33554432000 4194304 5964478 140735423064736 140326070524216 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 187192
################
# More data... #
################
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 13272 0 0 0 28212 14 0 0 20 0 3 0 284365313 260820992 36127 33554432000 4194304 5964478 140735423064736 140326081013560 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=254708 CPUtime=282.25 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 20618 0 0 0 28207 18 0 0 20 0 3 0 284365313 260820992 36127 33554432000 4194304 5964478 140735423064736 140326070524216 4400992 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 254708
[startup+342.3 s]
/proc/loadavg: 3.99 3.13 2.36 6/181 26433
/proc/meminfo: memFree=30444028/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=257720 CPUtime=684.43 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 38584 0 0 0 68414 29 0 0 20 0 3 0 284365313 263905280 40017 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 64430 40017 207 433 0 63994 0
[pid=26422/tid=26424] ppid=26419 vsize=257720 CPUtime=342.25 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 16007 0 0 0 34205 20 0 0 20 0 3 0 284365313 263905280 40017 33554432000 4194304 5964478 140735423064736 140326081013752 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=257720 CPUtime=342.25 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 21773 0 0 0 34204 21 0 0 20 0 3 0 284365313 263905280 40017 33554432000 4194304 5964478 140735423064736 140326070524216 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 257720
[startup+402.3 s]
/proc/loadavg: 3.99 3.29 2.46 6/181 26433
/proc/meminfo: memFree=30422792/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=259860 CPUtime=804.42 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 40640 0 0 0 80410 32 0 0 20 0 3 0 284365313 266096640 42069 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 64965 42069 207 433 0 64529 0
[pid=26422/tid=26424] ppid=26419 vsize=259860 CPUtime=402.25 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 17028 0 0 0 40203 22 0 0 20 0 3 0 284365313 266096640 42069 33554432000 4194304 5964478 140735423064736 140326081013560 4399922 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=259860 CPUtime=402.24 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 22808 0 0 0 40201 23 0 0 20 0 3 0 284365313 266096640 42069 33554432000 4194304 5964478 140735423064736 140326070524024 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 259860
[startup+462.3 s]
/proc/loadavg: 4.05 3.43 2.56 6/181 26433
/proc/meminfo: memFree=30385844/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=341956 CPUtime=924.4 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 46629 0 0 0 92403 37 0 0 20 0 3 0 284365313 350162944 47991 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 85489 47991 207 433 0 85053 0
[pid=26422/tid=26424] ppid=26419 vsize=341956 CPUtime=462.25 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 18812 0 0 0 46200 25 0 0 20 0 3 0 284365313 350162944 47991 33554432000 4194304 5964478 140735423064736 140326081013752 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=341956 CPUtime=462.24 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 27013 0 0 0 46196 28 0 0 20 0 3 0 284365313 350162944 47991 33554432000 4194304 5964478 140735423064736 140326070524024 4400051 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.4
Current children cumulated vsize (KiB) 341956
[startup+522.3 s]
/proc/loadavg: 4.02 3.53 2.64 6/181 26434
/proc/meminfo: memFree=30343836/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=347348 CPUtime=1044.36 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 51828 0 0 0 104393 43 0 0 20 0 3 0 284365313 355684352 53226 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 86837 53226 207 433 0 86401 0
[pid=26422/tid=26424] ppid=26419 vsize=347348 CPUtime=522.24 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 20858 0 0 0 52196 28 0 0 20 0 3 0 284365313 355684352 53226 33554432000 4194304 5964478 140735423064736 140326081013752 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=347348 CPUtime=522.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 30166 0 0 0 52192 31 0 0 20 0 3 0 284365313 355684352 53226 33554432000 4194304 5964478 140735423064736 140326070524024 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (KiB) 347348
[startup+582.3 s]
/proc/loadavg: 4.09 3.64 2.74 6/181 26434
/proc/meminfo: memFree=30301612/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=349644 CPUtime=1164.34 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 54379 0 0 0 116388 46 0 0 20 0 3 0 284365313 358035456 55792 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 87411 55792 207 433 0 86975 0
[pid=26422/tid=26424] ppid=26419 vsize=349644 CPUtime=582.24 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 21678 0 0 0 58193 31 0 0 20 0 3 0 284365313 358035456 55792 33554432000 4194304 5964478 140735423064736 140326081013560 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=349644 CPUtime=582.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 31897 0 0 0 58191 32 0 0 20 0 3 0 284365313 358035456 55792 33554432000 4194304 5964478 140735423064736 140326070524040 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.34
Current children cumulated vsize (KiB) 349644
[startup+642.3 s]
/proc/loadavg: 4.03 3.71 2.81 6/182 26437
/proc/meminfo: memFree=30287260/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=350864 CPUtime=1284.32 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 56253 0 0 0 128384 48 0 0 20 0 3 0 284365313 359284736 57666 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 87716 57666 207 433 0 87280 0
[pid=26422/tid=26424] ppid=26419 vsize=350864 CPUtime=642.23 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 23461 0 0 0 64189 34 0 0 20 0 3 0 284365313 359284736 57666 33554432000 4194304 5964478 140735423064736 140326081013800 4400492 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=350864 CPUtime=642.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 31988 0 0 0 64190 33 0 0 20 0 3 0 284365313 359284736 57666 33554432000 4194304 5964478 140735423064736 140326070524264 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.32
Current children cumulated vsize (KiB) 350864
[startup+702.3 s]
/proc/loadavg: 4.01 3.76 2.88 6/181 26437
/proc/meminfo: memFree=30257372/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=353780 CPUtime=1404.3 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 58296 0 0 0 140378 52 0 0 20 0 3 0 284365313 362270720 59709 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 88445 59709 207 433 0 88009 0
[pid=26422/tid=26424] ppid=26419 vsize=353780 CPUtime=702.23 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 25469 0 0 0 70184 39 0 0 20 0 3 0 284365313 362270720 59709 33554432000 4194304 5964478 140735423064736 140326081013752 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=353780 CPUtime=702.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 32023 0 0 0 70189 34 0 0 20 0 3 0 284365313 362270720 59709 33554432000 4194304 5964478 140735423064736 140326070524264 4400053 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.3
Current children cumulated vsize (KiB) 353780
[startup+762.3 s]
/proc/loadavg: 4.00 3.80 2.95 6/181 26437
/proc/meminfo: memFree=30219924/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=358316 CPUtime=1524.29 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 62502 0 0 0 152371 58 0 0 20 0 3 0 284365313 366915584 63915 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 89579 63915 207 433 0 89143 0
[pid=26422/tid=26424] ppid=26419 vsize=358316 CPUtime=762.24 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 26845 0 0 0 76181 43 0 0 20 0 3 0 284365313 366915584 63915 33554432000 4194304 5964478 140735423064736 140326081013752 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=358316 CPUtime=762.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 34853 0 0 0 76185 38 0 0 20 0 3 0 284365313 366915584 63915 33554432000 4194304 5964478 140735423064736 140326070524264 4400612 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.29
Current children cumulated vsize (KiB) 358316
[startup+822.3 s]
/proc/loadavg: 4.00 3.83 3.01 6/182 26439
/proc/meminfo: memFree=30192020/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=363488 CPUtime=1644.27 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 66477 0 0 0 164364 63 0 0 20 0 3 0 284365313 372211712 67835 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 90872 67835 207 433 0 90436 0
[pid=26422/tid=26424] ppid=26419 vsize=363488 CPUtime=822.23 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 26854 0 0 0 82179 44 0 0 20 0 3 0 284365313 372211712 67835 33554432000 4194304 5964478 140735423064736 140326081013800 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=363488 CPUtime=822.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 38819 0 0 0 82179 44 0 0 20 0 3 0 284365313 372211712 67835 33554432000 4194304 5964478 140735423064736 140326070524216 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.27
Current children cumulated vsize (KiB) 363488
[startup+882.307 s]
/proc/loadavg: 4.00 3.86 3.07 6/181 26439
/proc/meminfo: memFree=30149356/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=432560 CPUtime=1764.25 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 74489 0 0 0 176353 72 0 0 20 0 3 0 284365313 442941440 75840 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 108140 75840 207 433 0 107704 0
[pid=26422/tid=26424] ppid=26419 vsize=432560 CPUtime=882.23 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 27496 0 0 0 88177 46 0 0 20 0 3 0 284365313 442941440 75840 33554432000 4194304 5964478 140735423064736 140326081013752 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=432560 CPUtime=882.23 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 46189 0 0 0 88169 54 0 0 20 0 3 0 284365313 442941440 75840 33554432000 4194304 5964478 140735423064736 140326070524216 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.25
Current children cumulated vsize (KiB) 432560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 3.87 3.09 5/181 26439
/proc/meminfo: memFree=30144316/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=432980 CPUtime=1800.03 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 75055 0 0 0 179930 73 0 0 20 0 3 0 284365313 443371520 76466 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 108245 76466 207 433 0 107809 0
[pid=26422/tid=26424] ppid=26419 vsize=432980 CPUtime=900.12 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 28049 0 0 0 89965 47 0 0 20 0 3 0 284365313 443371520 76466 33554432000 4194304 5964478 140735423064736 140326081013752 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=432980 CPUtime=900.13 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 46202 0 0 0 89959 54 0 0 20 0 3 0 284365313 443371520 76466 33554432000 4194304 5964478 140735423064736 140326070523976 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 432980
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.87 3.09 5/181 26439
/proc/meminfo: memFree=30144316/32873648 swapFree=7112/7112
[pid=26422] ppid=26419 vsize=432980 CPUtime=1800.03 cores=1,3,5,7
/proc/26422/stat : 26422 (pwbo2.01) S 26419 26422 26380 0 -1 4202496 75055 0 0 0 179930 73 0 0 20 0 3 0 284365313 443371520 76466 33554432000 4194304 5964478 140735423064736 140735423064256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26422/statm: 108245 76466 207 433 0 107809 0
[pid=26422/tid=26424] ppid=26419 vsize=432980 CPUtime=900.12 cores=1,3,5,7
/proc/26422/task/26424/stat : 26424 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 28049 0 0 0 89965 47 0 0 20 0 3 0 284365313 443371520 76466 33554432000 4194304 5964478 140735423064736 140326081013752 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26422/tid=26425] ppid=26419 vsize=432980 CPUtime=900.13 cores=1,3,5,7
/proc/26422/task/26425/stat : 26425 (pwbo2.01) R 26419 26422 26380 0 -1 4202560 46202 0 0 0 89959 54 0 0 20 0 3 0 284365313 443371520 76466 33554432000 4194304 5964478 140735423064736 140326070523976 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 432980
Child status: 0
Real time (s): 900.22
CPU time (s): 1800.3
CPU user time (s): 1799.26
CPU system time (s): 1.04084
CPU usage (%): 199.984
Max. virtual memory (cumulated for all children) (KiB): 432980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 1.04084
maximum resident set size= 305868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75056
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= 201
involuntary context switches= 3139
runsolver used 1.81172 second user time and 5.47417 second system time
The end