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-3726377-1338667510/watcher-3726377-1338667510 -o /tmp/evaluation-result-3726377-1338667510/solver-3726377-1338667510 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726377-1338667510.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=32824 CPUtime=0 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 614 0 0 0 0 0 0 0 20 0 1 0 332876498 33611776 566 33554432000 4194304 5964478 140737148989744 140735989827672 4344768 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 8206 566 167 433 0 879 0
[startup+0.0332791 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=38072 CPUtime=0.02 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 1949 0 0 0 2 0 0 0 20 0 1 0 332876498 38985728 1901 33554432000 4194304 5964478 140737148989744 140735989827672 4195024 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 9518 1901 233 433 0 2191 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 38072
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=47904 CPUtime=0.08 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 4457 0 0 0 8 0 0 0 20 0 1 0 332876498 49053696 4327 33554432000 4194304 5964478 140737148989744 140735989827672 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 11976 4328 415 433 0 4649 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47904
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=68804 CPUtime=0.29 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 10348 0 0 0 27 2 0 0 20 0 1 0 332876498 70455296 9952 33554432000 4194304 5964478 140737148989744 140735989827672 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 17234 9958 940 433 0 9907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68804
[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=114344 CPUtime=0.68 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 22100 0 0 0 65 3 0 0 20 0 1 0 332876498 117088256 21173 33554432000 4194304 5964478 140737148989744 140737148988088 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 28586 21175 1916 433 0 21259 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114344
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3513
/proc/meminfo: memFree=25794052/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=208996 CPUtime=1.49 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 44888 0 0 0 142 7 0 0 20 0 1 0 332876498 214011904 44434 33554432000 4194304 5964478 140737148989744 140737148988344 4344407 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 52249 44435 3664 433 0 44922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208996
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3513
/proc/meminfo: memFree=25560456/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=328916 CPUtime=3.09 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 73854 0 0 0 296 13 0 0 20 0 1 0 332876498 336809984 75895 33554432000 4194304 5964478 140737148989744 140737148988120 4339204 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 82229 75896 6615 433 0 74902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328916
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 5/178 3517
/proc/meminfo: memFree=24647832/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=820164 CPUtime=9.07 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 163065 0 0 0 870 37 0 0 20 0 3 0 332876498 839847936 172563 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 205041 172563 197 433 0 204605 0
[pid=3512/tid=3514] ppid=3510 vsize=820164 CPUtime=2.9 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 63301 0 0 0 273 17 0 0 20 0 3 0 332876834 839847936 172563 33554432000 4194304 5964478 140737148989744 140488865261928 4406391 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=820164 CPUtime=2.83 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 21871 0 0 0 276 7 0 0 20 0 3 0 332876834 839847936 172563 33554432000 4194304 5964478 140737148989744 140488854772024 4382029 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 820164
[startup+12.7004 s]
/proc/loadavg: 2.31 2.07 2.02 5/178 3517
/proc/meminfo: memFree=24572560/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=21.88 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 164991 0 0 0 2147 41 0 0 20 0 3 0 332876498 906956800 182154 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 182154 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=9.28 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 63978 0 0 0 911 17 0 0 20 0 3 0 332876834 906956800 182154 33554432000 4194304 5964478 140737148989744 140488865261912 4388824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=9.21 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 23120 0 0 0 911 10 0 0 20 0 3 0 332876834 906956800 182154 33554432000 4194304 5964478 140737148989744 140488854772024 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.88
Current children cumulated vsize (KiB) 885700
[startup+25.5065 s]
/proc/loadavg: 2.57 2.13 2.04 5/178 3517
/proc/meminfo: memFree=24480604/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=47.49 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 165920 0 0 0 4707 42 0 0 20 0 3 0 332876498 906956800 187171 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 187171 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=22.06 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 64503 0 0 0 2188 18 0 0 20 0 3 0 332876834 906956800 187171 33554432000 4194304 5964478 140737148989744 140488865261912 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=22 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 23524 0 0 0 2190 10 0 0 20 0 3 0 332876834 906956800 187171 33554432000 4194304 5964478 140737148989744 140488854772024 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.49
Current children cumulated vsize (KiB) 885700
[startup+51.1004 s]
/proc/loadavg: 3.13 2.31 2.10 5/178 3517
/proc/meminfo: memFree=24411804/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=98.67 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 167579 0 0 0 9823 44 0 0 20 0 3 0 332876498 974065664 191931 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 191931 197 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=47.59 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65283 0 0 0 4741 18 0 0 20 0 3 0 332876834 974065664 191931 33554432000 4194304 5964478 140737148989744 140488865261864 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=47.52 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 24403 0 0 0 4741 11 0 0 20 0 3 0 332876834 974065664 191931 33554432000 4194304 5964478 140737148989744 140488854772024 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 98.67
Current children cumulated vsize (KiB) 951236
[startup+102.3 s]
/proc/loadavg: 3.62 2.56 2.20 5/179 3518
/proc/meminfo: memFree=24275712/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=201.05 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 169371 0 0 0 20059 46 0 0 20 0 3 0 332876498 906956800 185778 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 185778 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=98.65 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 9845 20 0 0 20 0 3 0 332876834 906956800 185778 33554432000 4194304 5964478 140737148989744 140488865262408 4403575 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=98.58 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 25697 0 0 0 9844 14 0 0 20 0 3 0 332876834 906956800 185778 33554432000 4194304 5964478 140737148989744 140488854772072 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.05
Current children cumulated vsize (KiB) 885700
[startup+162.3 s]
/proc/loadavg: 3.86 2.82 2.31 5/179 3518
/proc/meminfo: memFree=24197976/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=321.03 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 170351 0 0 0 32055 48 0 0 20 0 3 0 332876498 906956800 186758 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 186758 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=158.5 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 15829 21 0 0 20 0 3 0 332876834 906956800 186758 33554432000 4194304 5964478 140737148989744 140488865262408 4388283 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=158.43 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 26677 0 0 0 15827 16 0 0 20 0 3 0 332876834 906956800 186758 33554432000 4194304 5964478 140737148989744 140488854772024 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 321.03
Current children cumulated vsize (KiB) 885700
[startup+222.3 s]
/proc/loadavg: 3.95 3.04 2.41 5/179 3518
/proc/meminfo: memFree=24143664/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=441.03 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 171798 0 0 0 44053 50 0 0 20 0 3 0 332876498 906956800 188205 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 188205 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=218.35 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 21813 22 0 0 20 0 3 0 332876834 906956800 188205 33554432000 4194304 5964478 140737148989744 140488865262408 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=218.28 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 28124 0 0 0 21809 19 0 0 20 0 3 0 332876834 906956800 188205 33554432000 4194304 5964478 140737148989744 140488854772024 4403575 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 441.03
Current children cumulated vsize (KiB) 885700
[startup+282.3 s]
/proc/loadavg: 3.98 3.21 2.51 5/179 3519
/proc/meminfo: memFree=24120304/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=560.99 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 172973 0 0 0 56046 53 0 0 20 0 3 0 332876498 906956800 189380 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 189380 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=278.19 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 27796 23 0 0 20 0 3 0 332876834 906956800 189380 33554432000 4194304 5964478 140737148989744 140488865262408 4403560 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=278.12 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 29299 0 0 0 27788 24 0 0 20 0 3 0 332876834 906956800 189380 33554432000 4194304 5964478 140737148989744 140488854772024 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 560.99
Current children cumulated vsize (KiB) 885700
[startup+342.307 s]
/proc/loadavg: 4.05 3.37 2.60 5/180 3522
/proc/meminfo: memFree=24031168/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=680.99 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 174201 0 0 0 68043 56 0 0 20 0 3 0 332876498 906956800 190608 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 190608 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=338.05 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65782 0 0 0 33781 24 0 0 20 0 3 0 332876834 906956800 190608 33554432000 4194304 5964478 140737148989744 140488865262408 4392680 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=337.98 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 30526 0 0 0 33771 27 0 0 20 0 3 0 332876834 906956800 190608 33554432000 4194304 5964478 140737148989744 140488854772024 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 680.99
Current children cumulated vsize (KiB) 885700
[startup+402.3 s]
/proc/loadavg: 4.02 3.48 2.69 5/179 3522
/proc/meminfo: memFree=23962784/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=800.96 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 174925 0 0 0 80039 57 0 0 20 0 3 0 332876498 906956800 191332 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 191332 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=397.88 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 39763 25 0 0 20 0 3 0 332876834 906956800 191332 33554432000 4194304 5964478 140737148989744 140488865262408 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=397.81 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 31248 0 0 0 39751 30 0 0 20 0 3 0 332876834 906956800 191332 33554432000 4194304 5964478 140737148989744 140488854771544 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 800.96
Current children cumulated vsize (KiB) 885700
[startup+462.3 s]
/proc/loadavg: 4.00 3.57 2.77 5/179 3522
/proc/meminfo: memFree=23936844/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=920.94 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 176008 0 0 0 92035 59 0 0 20 0 3 0 332876498 906956800 192415 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 192415 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=457.73 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 45748 25 0 0 20 0 3 0 332876834 906956800 192415 33554432000 4194304 5964478 140737148989744 140488865262408 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=457.66 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 32331 0 0 0 45735 31 0 0 20 0 3 0 332876834 906956800 192415 33554432000 4194304 5964478 140737148989744 140488854771960 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 920.94
Current children cumulated vsize (KiB) 885700
[startup+522.3 s]
/proc/loadavg: 4.00 3.65 2.84 5/179 3522
/proc/meminfo: memFree=23925480/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=1040.92 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 177311 0 0 0 104031 61 0 0 20 0 3 0 332876498 906956800 193718 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 193718 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=517.58 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 51732 26 0 0 20 0 3 0 332876834 906956800 193718 33554432000 4194304 5964478 140737148989744 140488865262408 4389129 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=517.51 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 33634 0 0 0 51717 34 0 0 20 0 3 0 332876834 906956800 193718 33554432000 4194304 5964478 140737148989744 140488854772024 4403698 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1040.92
Current children cumulated vsize (KiB) 885700
[startup+582.3 s]
/proc/loadavg: 4.00 3.71 2.91 5/179 3523
/proc/meminfo: memFree=23910276/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=1160.9 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 178973 0 0 0 116025 65 0 0 20 0 3 0 332876498 906956800 195380 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 195380 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=577.42 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 57715 27 0 0 20 0 3 0 332876834 906956800 195380 33554432000 4194304 5964478 140737148989744 140488865262408 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=577.35 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 35296 0 0 0 57696 39 0 0 20 0 3 0 332876834 906956800 195380 33554432000 4194304 5964478 140737148989744 140488854772024 4392680 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1160.9
Current children cumulated vsize (KiB) 885700
[startup+642.3 s]
/proc/loadavg: 4.00 3.76 2.98 5/179 3523
/proc/meminfo: memFree=23895276/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=1280.87 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 180835 0 0 0 128019 68 0 0 20 0 3 0 332876498 906956800 197232 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 197232 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=637.27 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 63699 28 0 0 20 0 3 0 332876834 906956800 197232 33554432000 4194304 5964478 140737148989744 140488865262408 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=637.19 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 37158 0 0 0 63675 44 0 0 20 0 3 0 332876834 906956800 197232 33554432000 4194304 5964478 140737148989744 140488854772024 4389135 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1280.87
Current children cumulated vsize (KiB) 885700
[startup+702.3 s]
/proc/loadavg: 4.00 3.80 3.04 5/179 3523
/proc/meminfo: memFree=23882408/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1400.85 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 181892 0 0 0 140014 71 0 0 20 0 3 0 332876498 974065664 198744 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 198744 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=697.11 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 69682 29 0 0 20 0 3 0 332876834 974065664 198744 33554432000 4194304 5964478 140737148989744 140488865262408 4403575 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=697.02 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 38215 0 0 0 69655 47 0 0 20 0 3 0 332876834 974065664 198744 33554432000 4194304 5964478 140737148989744 140488854772024 4389110 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1400.85
Current children cumulated vsize (KiB) 951236
[startup+762.3 s]
/proc/loadavg: 4.00 3.83 3.10 5/179 3523
/proc/meminfo: memFree=23819192/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1520.83 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 182793 0 0 0 152011 72 0 0 20 0 3 0 332876498 974065664 200396 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 200396 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=756.96 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65787 0 0 0 75666 30 0 0 20 0 3 0 332876834 974065664 200396 33554432000 4194304 5964478 140737148989744 140488865262408 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=756.87 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 39113 0 0 0 75638 49 0 0 20 0 3 0 332876834 974065664 200396 33554432000 4194304 5964478 140737148989744 140488854772024 4389160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1520.83
Current children cumulated vsize (KiB) 951236
[startup+822.3 s]
/proc/loadavg: 4.07 3.88 3.15 5/179 3523
/proc/meminfo: memFree=23808068/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1640.8 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 183442 0 0 0 164006 74 0 0 20 0 3 0 332876498 974065664 201340 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 201340 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=816.8 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65792 0 0 0 81649 31 0 0 20 0 3 0 332876834 974065664 201340 33554432000 4194304 5964478 140737148989744 140488865262408 4392829 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=816.72 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 39757 0 0 0 81620 52 0 0 20 0 3 0 332876834 974065664 201340 33554432000 4194304 5964478 140737148989744 140488854771544 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.8
Current children cumulated vsize (KiB) 951236
[startup+882.3 s]
/proc/loadavg: 4.06 3.91 3.21 5/179 3524
/proc/meminfo: memFree=23800292/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1760.78 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 184414 0 0 0 176002 76 0 0 20 0 3 0 332876498 974065664 202298 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 202298 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=876.64 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65801 0 0 0 87632 32 0 0 20 0 3 0 332876834 974065664 202298 33554432000 4194304 5964478 140737148989744 140488865262408 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=876.56 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 40720 0 0 0 87600 56 0 0 20 0 3 0 332876834 974065664 202298 33554432000 4194304 5964478 140737148989744 140488854772024 4389160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.78
Current children cumulated vsize (KiB) 951236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902 s]
/proc/loadavg: 4.04 3.92 3.22 5/180 3527
/proc/meminfo: memFree=23771472/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1800.18 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 184803 0 0 0 179940 78 0 0 20 0 3 0 332876498 974065664 202685 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 202685 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=896.29 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65802 0 0 0 89597 32 0 0 20 0 3 0 332876834 974065664 202685 33554432000 4194304 5964478 140737148989744 140488865262408 4389072 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=896.21 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 41108 0 0 0 89564 57 0 0 20 0 3 0 332876834 974065664 202685 33554432000 4194304 5964478 140737148989744 140488854772024 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 951236
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 3512 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=842142
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=78835
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.038
CPU time (s): 1800.18
CPU user time (s): 1799.4
CPU system time (s): 0.78
CPU usage (%): 199.568
Max. virtual memory (cumulated for all children) (KiB): 951236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 1.07883
maximum resident set size= 810744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184804
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= 6143
involuntary context switches= 1902
runsolver used 1.87971 second user time and 5.06623 second system time
The end