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-3725793-1338653357/watcher-3725793-1338653357 -o /tmp/evaluation-result-3725793-1338653357/solver-3725793-1338653357 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725793-1338653357.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: 3.85 3.97 3.66 3/170 21893
/proc/meminfo: memFree=28456132/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=5216 CPUtime=0 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) R 21891 21893 19474 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 331461118 5341184 475 33554432000 4194304 5964478 140734527804128 140734167734728 4348790 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 1304 475 166 433 0 776 0

[startup+0.0766419 s]
/proc/loadavg: 3.85 3.97 3.66 3/170 21893
/proc/meminfo: memFree=28456132/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=175808 CPUtime=0.11 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 6205 0 0 0 9 2 0 0 20 0 3 0 331461118 180027392 6040 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 43952 6046 200 433 0 43516 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 175808

[startup+0.10026 s]
/proc/loadavg: 3.85 3.97 3.66 3/170 21893
/proc/meminfo: memFree=28456132/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=181612 CPUtime=0.16 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 8621 0 0 0 13 3 0 0 20 0 3 0 331461118 185970688 8455 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 45403 8467 200 433 0 44967 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 181612

[startup+0.300207 s]
/proc/loadavg: 3.85 3.97 3.66 3/170 21893
/proc/meminfo: memFree=28456132/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=191420 CPUtime=0.56 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 12300 0 0 0 52 4 0 0 20 0 3 0 331461118 196014080 12099 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 47855 12099 203 433 0 47419 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 191420

[startup+0.700192 s]
/proc/loadavg: 3.85 3.97 3.66 3/170 21893
/proc/meminfo: memFree=28456132/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=191420 CPUtime=1.35 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 13007 0 0 0 131 4 0 0 20 0 3 0 331461118 196014080 13086 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 47855 13086 203 433 0 47419 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 191420

[startup+1.50036 s]
/proc/loadavg: 3.85 3.97 3.66 4/173 21896
/proc/meminfo: memFree=28403152/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=191420 CPUtime=2.95 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 14172 0 0 0 288 7 0 0 20 0 3 0 331461118 196014080 14251 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 47855 14251 203 433 0 47419 0
[pid=21893/tid=21895] ppid=21891 vsize=191420 CPUtime=1.44 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 2601 0 0 0 142 2 0 0 20 0 3 0 331461121 196014080 14251 33554432000 4194304 5964478 140734527804128 140417227556856 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=191420 CPUtime=1.44 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 10380 0 0 0 140 4 0 0 20 0 3 0 331461121 196014080 14252 33554432000 4194304 5964478 140734527804128 140417217067240 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 191420

[startup+3.10039 s]
/proc/loadavg: 3.86 3.97 3.66 4/173 21896
/proc/meminfo: memFree=28396812/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=191804 CPUtime=6.14 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 15009 0 0 0 607 7 0 0 20 0 3 0 331461118 196407296 15088 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 47951 15088 203 433 0 47515 0
[pid=21893/tid=21895] ppid=21891 vsize=191804 CPUtime=3.03 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 3377 0 0 0 301 2 0 0 20 0 3 0 331461121 196407296 15088 33554432000 4194304 5964478 140734527804128 140417227557192 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=191804 CPUtime=3.04 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 10441 0 0 0 300 4 0 0 20 0 3 0 331461121 196407296 15088 33554432000 4194304 5964478 140734527804128 140417217067320 4392812 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 191804

[startup+6.30038 s]
/proc/loadavg: 3.86 3.97 3.66 5/179 21930
/proc/meminfo: memFree=28270016/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=191948 CPUtime=12.54 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 17514 0 0 0 1246 8 0 0 20 0 3 0 331461118 196554752 17593 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 47987 17593 203 433 0 47551 0
[pid=21893/tid=21895] ppid=21891 vsize=191948 CPUtime=6.23 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 5751 0 0 0 620 3 0 0 20 0 3 0 331461121 196554752 17593 33554432000 4194304 5964478 140734527804128 140417227556664 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=191948 CPUtime=6.23 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 10572 0 0 0 619 4 0 0 20 0 3 0 331461121 196554752 17593 33554432000 4194304 5964478 140734527804128 140417217067320 4388326 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 191948

[startup+12.7004 s]
/proc/loadavg: 3.89 3.97 3.67 5/179 21930
/proc/meminfo: memFree=28208556/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=192020 CPUtime=25.33 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 21713 0 0 0 2522 11 0 0 20 0 3 0 331461118 196628480 22113 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 48005 22113 203 433 0 47569 0
[pid=21893/tid=21895] ppid=21891 vsize=192020 CPUtime=12.61 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 9562 0 0 0 1255 6 0 0 20 0 3 0 331461121 196628480 22113 33554432000 4194304 5964478 140734527804128 140417227556856 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=192020 CPUtime=12.61 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 10960 0 0 0 1257 4 0 0 20 0 3 0 331461121 196628480 22113 33554432000 4194304 5964478 140734527804128 140417217067128 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 192020

[startup+25.5004 s]
/proc/loadavg: 3.90 3.97 3.67 5/179 21930
/proc/meminfo: memFree=28169080/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=192164 CPUtime=50.92 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 27691 0 0 0 5077 15 0 0 20 0 3 0 331461118 196775936 28085 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 48041 28085 203 433 0 47605 0
[pid=21893/tid=21895] ppid=21891 vsize=192164 CPUtime=25.36 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 14555 0 0 0 2527 9 0 0 20 0 3 0 331461121 196775936 28085 33554432000 4194304 5964478 140734527804128 140417227556664 5142958 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=192164 CPUtime=25.38 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 11945 0 0 0 2533 5 0 0 20 0 3 0 331461121 196775936 28085 33554432000 4194304 5964478 140734527804128 140417217067368 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 192164

[startup+51.1005 s]
/proc/loadavg: 3.93 3.97 3.68 5/180 21933
/proc/meminfo: memFree=28093132/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=257692 CPUtime=102.1 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 41039 0 0 0 10187 23 0 0 20 0 3 0 331461118 263876608 41193 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 64423 41193 203 433 0 63987 0
[pid=21893/tid=21895] ppid=21891 vsize=257692 CPUtime=50.88 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 26141 0 0 0 5073 15 0 0 20 0 3 0 331461121 263876608 41193 33554432000 4194304 5964478 140734527804128 140417227557816 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=257692 CPUtime=50.91 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 13707 0 0 0 5083 8 0 0 20 0 3 0 331461121 263876608 41193 33554432000 4194304 5964478 140734527804128 140417217067368 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 257692

[startup+102.3 s]
/proc/loadavg: 3.97 3.97 3.69 5/180 21933
/proc/meminfo: memFree=27943360/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=258360 CPUtime=204.5 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 48480 0 0 0 20416 34 0 0 20 0 3 0 331461118 264560640 49952 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 64590 49952 203 433 0 64154 0
[pid=21893/tid=21895] ppid=21891 vsize=258360 CPUtime=101.95 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 28885 0 0 0 10178 17 0 0 20 0 3 0 331461121 264560640 49952 33554432000 4194304 5964478 140734527804128 140417227556856 4400109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=258360 CPUtime=101.99 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 18404 0 0 0 10181 18 0 0 20 0 3 0 331461121 264560640 49952 33554432000 4194304 5964478 140734527804128 140417217067320 4400754 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 258360

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.71 5/179 21933
/proc/meminfo: memFree=27805572/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=390116 CPUtime=324.46 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 64680 0 0 0 32397 49 0 0 20 0 3 0 331461118 399478784 66152 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 97529 66152 203 433 0 97093 0
[pid=21893/tid=21895] ppid=21891 vsize=390116 CPUtime=161.79 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 39183 0 0 0 16154 25 0 0 20 0 3 0 331461121 399478784 66152 33554432000 4194304 5964478 140734527804128 140417227556856 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=390116 CPUtime=161.83 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 24306 0 0 0 16156 27 0 0 20 0 3 0 331461121 399478784 66152 33554432000 4194304 5964478 140734527804128 140417217067320 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 390116

[startup+222.307 s]
/proc/loadavg: 3.99 3.97 3.73 5/179 21933
/proc/meminfo: memFree=27718376/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=391644 CPUtime=444.46 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 78470 0 0 0 44383 63 0 0 20 0 3 0 331461118 401043456 79942 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 97911 79942 203 433 0 97475 0
[pid=21893/tid=21895] ppid=21891 vsize=391644 CPUtime=221.64 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 46576 0 0 0 22132 32 0 0 20 0 3 0 331461121 401043456 79942 33554432000 4194304 5964478 140734527804128 140417227556904 4389147 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=391644 CPUtime=221.68 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 30703 0 0 0 22132 36 0 0 20 0 3 0 331461121 401043456 79942 33554432000 4194304 5964478 140734527804128 140417217067320 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 391644

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.74 5/179 21933
/proc/meminfo: memFree=27575140/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=457952 CPUtime=564.42 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 101470 0 0 0 56356 86 0 0 20 0 3 0 331461118 468942848 102991 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 114488 102991 203 433 0 114052 0
[pid=21893/tid=21895] ppid=21891 vsize=457952 CPUtime=281.47 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 63149 0 0 0 28102 45 0 0 20 0 3 0 331461121 468942848 102991 33554432000 4194304 5964478 140734527804128 140417227556856 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=457952 CPUtime=281.5 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 37130 0 0 0 28102 48 0 0 20 0 3 0 331461121 468942848 102991 33554432000 4194304 5964478 140734527804128 140417217067320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 457952

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.75 5/179 21934
/proc/meminfo: memFree=27342180/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=590044 CPUtime=684.37 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 111716 0 0 0 68338 99 0 0 20 0 3 0 331461118 604205056 113322 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 147511 113322 203 433 0 147075 0
[pid=21893/tid=21895] ppid=21891 vsize=590044 CPUtime=341.29 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 66742 0 0 0 34080 49 0 0 20 0 3 0 331461121 604205056 113322 33554432000 4194304 5964478 140734527804128 140417227556856 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=590044 CPUtime=341.34 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 43783 0 0 0 34074 60 0 0 20 0 3 0 331461121 604205056 113322 33554432000 4194304 5964478 140734527804128 140417217067128 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 590044

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.76 5/179 21934
/proc/meminfo: memFree=27256152/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=590312 CPUtime=804.3 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 122211 0 0 0 80321 109 0 0 20 0 3 0 331461118 604479488 123958 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 147578 123958 203 433 0 147142 0
[pid=21893/tid=21895] ppid=21891 vsize=590312 CPUtime=401.09 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 72822 0 0 0 40055 54 0 0 20 0 3 0 331461121 604479488 123958 33554432000 4194304 5964478 140734527804128 140417227556856 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=590312 CPUtime=401.18 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 48198 0 0 0 40051 67 0 0 20 0 3 0 331461121 604479488 123958 33554432000 4194304 5964478 140734527804128 140417217067320 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 590312

[startup+462.3 s]
/proc/loadavg: 4.05 3.99 3.78 5/179 21934
/proc/meminfo: memFree=27131332/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=591280 CPUtime=924.24 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 136042 0 0 0 92300 124 0 0 20 0 3 0 331461118 605470720 137917 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 147820 137917 203 433 0 147384 0
[pid=21893/tid=21895] ppid=21891 vsize=591280 CPUtime=460.91 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 81027 0 0 0 46031 60 0 0 20 0 3 0 331461121 605470720 137917 33554432000 4194304 5964478 140734527804128 140417227556856 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=591280 CPUtime=461.01 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 53824 0 0 0 46025 76 0 0 20 0 3 0 331461121 605470720 137917 33554432000 4194304 5964478 140734527804128 140417217067320 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 591280

[startup+522.3 s]
/proc/loadavg: 4.02 3.99 3.79 5/179 21934
/proc/meminfo: memFree=27037828/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=722860 CPUtime=1044.22 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 154344 0 0 0 104278 144 0 0 20 0 3 0 331461118 740208640 156214 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 180715 156214 203 433 0 180279 0
[pid=21893/tid=21895] ppid=21891 vsize=722860 CPUtime=520.75 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 92955 0 0 0 52005 70 0 0 20 0 3 0 331461121 740208640 156214 33554432000 4194304 5964478 140734527804128 140417227556664 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=722860 CPUtime=520.86 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 60198 0 0 0 51999 87 0 0 20 0 3 0 331461121 740208640 156214 33554432000 4194304 5964478 140734527804128 140417217067368 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.22
Current children cumulated vsize (KiB) 722860

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/179 21934
/proc/meminfo: memFree=26909604/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=723616 CPUtime=1164.21 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 161011 0 0 0 116266 155 0 0 20 0 3 0 331461118 740982784 162880 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 180904 162880 203 433 0 180468 0
[pid=21893/tid=21895] ppid=21891 vsize=723616 CPUtime=580.6 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 93236 0 0 0 57989 71 0 0 20 0 3 0 331461121 740982784 162880 33554432000 4194304 5964478 140734527804128 140417227556664 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=723616 CPUtime=580.7 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 66584 0 0 0 57972 98 0 0 20 0 3 0 331461121 740982784 162880 33554432000 4194304 5964478 140734527804128 140417217067320 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 723616

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/179 21935
/proc/meminfo: memFree=26824320/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=789468 CPUtime=1284.19 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 169366 0 0 0 128253 166 0 0 20 0 3 0 331461118 808415232 171234 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 197367 171234 203 433 0 196931 0
[pid=21893/tid=21895] ppid=21891 vsize=789468 CPUtime=640.44 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 93951 0 0 0 63971 73 0 0 20 0 3 0 331461121 808415232 171234 33554432000 4194304 5964478 140734527804128 140417227556664 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=789468 CPUtime=640.55 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 74224 0 0 0 63945 110 0 0 20 0 3 0 331461121 808415232 171234 33554432000 4194304 5964478 140734527804128 140417217067368 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 789468

[startup+702.3 s]
/proc/loadavg: 4.05 4.00 3.83 5/180 21938
/proc/meminfo: memFree=26663140/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=791680 CPUtime=1404.16 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 176943 0 0 0 140240 176 0 0 20 0 3 0 331461118 810680320 178810 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 197920 178810 203 433 0 197484 0
[pid=21893/tid=21895] ppid=21891 vsize=791680 CPUtime=700.28 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 94634 0 0 0 69954 74 0 0 20 0 3 0 331461121 810680320 178810 33554432000 4194304 5964478 140734527804128 140417227556664 4389072 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=791680 CPUtime=700.39 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 81118 0 0 0 69918 121 0 0 20 0 3 0 331461121 810680320 178810 33554432000 4194304 5964478 140734527804128 140417217067320 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 791680

[startup+762.3 s]
/proc/loadavg: 4.02 4.00 3.83 5/179 21938
/proc/meminfo: memFree=26519212/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=924684 CPUtime=1524.17 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 198701 0 0 0 152217 200 0 0 20 0 3 0 331461118 946876416 200566 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 231171 200566 203 433 0 230735 0
[pid=21893/tid=21895] ppid=21891 vsize=924684 CPUtime=760.13 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 107656 0 0 0 75929 84 0 0 20 0 3 0 331461121 946876416 200566 33554432000 4194304 5964478 140734527804128 140417227556664 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=924684 CPUtime=760.24 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 89854 0 0 0 75887 137 0 0 20 0 3 0 331461121 946876416 200566 33554432000 4194304 5964478 140734527804128 140417217067320 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 924684

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.84 5/179 21938
/proc/meminfo: memFree=26450916/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=925168 CPUtime=1644.14 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 208098 0 0 0 164201 213 0 0 20 0 3 0 331461118 947372032 209960 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 231292 209960 203 433 0 230856 0
[pid=21893/tid=21895] ppid=21891 vsize=925168 CPUtime=819.96 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 112602 0 0 0 81906 90 0 0 20 0 3 0 331461121 947372032 209960 33554432000 4194304 5964478 140734527804128 140417227556856 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=925168 CPUtime=820.08 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 94305 0 0 0 81862 146 0 0 20 0 3 0 331461121 947372032 209960 33554432000 4194304 5964478 140734527804128 140417217067320 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.14
Current children cumulated vsize (KiB) 925168

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.85 5/179 21938
/proc/meminfo: memFree=26325364/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=991492 CPUtime=1764.12 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 228045 0 0 0 176180 232 0 0 20 0 3 0 331461118 1015287808 229906 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 247873 229906 203 433 0 247437 0
[pid=21893/tid=21895] ppid=21891 vsize=991492 CPUtime=879.81 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 127635 0 0 0 87878 103 0 0 20 0 3 0 331461121 1015287808 229906 33554432000 4194304 5964478 140734527804128 140417227556856 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=991492 CPUtime=879.94 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 99219 0 0 0 87840 154 0 0 20 0 3 0 331461121 1015287808 229906 33554432000 4194304 5964478 140734527804128 140417217067320 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 991492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/179 21938
/proc/meminfo: memFree=26309604/32873852 swapFree=7624/7624
[pid=21893] ppid=21891 vsize=991492 CPUtime=1800.12 cores=1,3,5,7
/proc/21893/stat : 21893 (pwbo2.02) S 21891 21893 19474 0 -1 4202496 229378 0 0 0 179777 235 0 0 20 0 3 0 331461118 1015287808 231239 33554432000 4194304 5964478 140734527804128 140734527803648 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21893/statm: 247873 231239 203 433 0 247437 0
[pid=21893/tid=21895] ppid=21891 vsize=991492 CPUtime=897.77 cores=1,3,5,7
/proc/21893/task/21895/stat : 21895 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 127638 0 0 0 89674 103 0 0 20 0 3 0 331461121 1015287808 231239 33554432000 4194304 5964478 140734527804128 140417227556856 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21893/tid=21896] ppid=21891 vsize=991492 CPUtime=897.89 cores=1,3,5,7
/proc/21893/task/21896/stat : 21896 (pwbo2.02) R 21891 21893 19474 0 -1 4202560 100549 0 0 0 89633 156 0 0 20 0 3 0 331461121 1015287808 231239 33554432000 4194304 5964478 140734527804128 140417217067320 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 991492

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21893 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=114405
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=652596
# CPU time returned by wait4() is 1795.77
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.351
CPU time (s): 1800.12
CPU user time (s): 1797.77
CPU system time (s): 2.35
CPU usage (%): 199.935
Max. virtual memory (cumulated for all children) (KiB): 991492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.11
system time used= 2.6526
maximum resident set size= 924968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229381
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= 647
involuntary context switches= 1927

runsolver used 1.89071 second user time and 5.47517 second system time

The end