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 /var/tmp/evaluation-result-3500137-1307991749/watcher-3500137-1307991749 -o /var/tmp/evaluation-result-3500137-1307991749/solver-3500137-1307991749 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500137-1307991749.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.79 3.94 3.54 3/176 5726
/proc/meminfo: memFree=12863504/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=134792 CPUtime=0 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 437 0 0 0 0 0 0 0 25 0 3 0 989405424 138027008 387 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33698 387 181 372 0 33323 0
[pid=5726/tid=5727] ppid=5724 vsize=134792 CPUtime=0 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 62 0 0 0 0 0 0 0 25 0 3 0 989405425 138027008 394 33554432000 4194304 5714118 140735872356144 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=134792 CPUtime=0 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 3 0 989405425 138027008 395 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0323481 s]
/proc/loadavg: 3.79 3.94 3.54 3/176 5726
/proc/meminfo: memFree=12863504/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=134792 CPUtime=0.05 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 707 0 0 0 5 0 0 0 25 0 3 0 989405424 138027008 657 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33698 658 181 372 0 33323 0
[pid=5726/tid=5727] ppid=5724 vsize=134792 CPUtime=0.02 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 202 0 0 0 2 0 0 0 25 0 3 0 989405425 138027008 658 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=134792 CPUtime=0.02 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 171 0 0 0 2 0 0 0 18 0 3 0 989405425 138027008 658 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 134792
[startup+0.100337 s]
/proc/loadavg: 3.79 3.94 3.54 3/176 5726
/proc/meminfo: memFree=12863504/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=134792 CPUtime=0.18 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 1123 0 0 0 17 1 0 0 25 0 3 0 989405424 138027008 1070 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33698 1070 181 372 0 33323 0
[pid=5726/tid=5727] ppid=5724 vsize=134792 CPUtime=0.08 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 366 0 0 0 8 0 0 0 25 0 3 0 989405425 138027008 1070 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=134792 CPUtime=0.08 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 422 0 0 0 8 0 0 0 18 0 3 0 989405425 138027008 1070 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134792
[startup+0.300299 s]
/proc/loadavg: 3.79 3.94 3.54 3/176 5726
/proc/meminfo: memFree=12863504/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=134792 CPUtime=0.58 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 1724 0 0 0 55 3 0 0 25 0 3 0 989405424 138027008 1671 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33698 1671 181 372 0 33323 0
[pid=5726/tid=5727] ppid=5724 vsize=134792 CPUtime=0.29 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 647 0 0 0 28 1 0 0 25 0 3 0 989405425 138027008 1671 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=134792 CPUtime=0.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 742 0 0 0 27 2 0 0 18 0 3 0 989405425 138027008 1671 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134792
[startup+0.700226 s]
/proc/loadavg: 3.79 3.94 3.54 3/176 5726
/proc/meminfo: memFree=12863504/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=135072 CPUtime=1.39 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 2430 0 0 0 132 7 0 0 25 0 3 0 989405424 138313728 2377 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33768 2377 181 372 0 33393 0
[pid=5726/tid=5727] ppid=5724 vsize=135072 CPUtime=0.69 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 1160 0 0 0 66 3 0 0 25 0 3 0 989405425 138313728 2377 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=135072 CPUtime=0.68 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 935 0 0 0 65 3 0 0 18 0 3 0 989405425 138313728 2377 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135072
[startup+1.50108 s]
/proc/loadavg: 3.79 3.94 3.54 5/179 5729
/proc/meminfo: memFree=12852964/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=135216 CPUtime=2.99 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 2704 0 0 0 288 11 0 0 25 0 3 0 989405424 138461184 2651 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33804 2651 181 372 0 33429 0
[pid=5726/tid=5727] ppid=5724 vsize=135216 CPUtime=1.49 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 1405 0 0 0 145 4 0 0 25 0 3 0 989405425 138461184 2651 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=135216 CPUtime=1.49 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 964 0 0 0 142 7 0 0 20 0 3 0 989405425 138461184 2651 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135216
[startup+3.10079 s]
/proc/loadavg: 3.79 3.94 3.54 5/179 5729
/proc/meminfo: memFree=12849656/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=135348 CPUtime=6.19 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 3826 0 0 0 600 19 0 0 25 0 3 0 989405424 138596352 3773 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33837 3773 182 372 0 33462 0
[pid=5726/tid=5727] ppid=5724 vsize=135348 CPUtime=3.09 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 2139 0 0 0 303 6 0 0 25 0 3 0 989405425 138596352 3773 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=135348 CPUtime=3.09 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 1352 0 0 0 297 12 0 0 25 0 3 0 989405425 138596352 3773 33554432000 4194304 5714118 140735872356144 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135348
[startup+6.30018 s]
/proc/loadavg: 3.80 3.94 3.54 5/179 5729
/proc/meminfo: memFree=12837744/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=135724 CPUtime=12.59 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 5551 0 0 0 1226 33 0 0 25 0 3 0 989405424 138981376 5453 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33931 5453 182 372 0 33556 0
[pid=5726/tid=5727] ppid=5724 vsize=135724 CPUtime=6.29 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 3530 0 0 0 620 9 0 0 25 0 3 0 989405425 138981376 5453 33554432000 4194304 5714118 140735872356144 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=135724 CPUtime=6.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 1686 0 0 0 606 23 0 0 25 0 3 0 989405425 138981376 5453 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135724
[startup+12.701 s]
/proc/loadavg: 3.82 3.94 3.54 5/179 5729
/proc/meminfo: memFree=12819292/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=135868 CPUtime=25.39 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 8384 0 0 0 2482 57 0 0 25 0 3 0 989405424 139128832 8247 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 33967 8247 182 372 0 33592 0
[pid=5726/tid=5727] ppid=5724 vsize=135868 CPUtime=12.69 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 5878 0 0 0 1251 18 0 0 25 0 3 0 989405425 139128832 8247 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=135868 CPUtime=12.69 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 2171 0 0 0 1231 38 0 0 25 0 3 0 989405425 139128832 8247 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135868
[startup+25.5006 s]
/proc/loadavg: 3.86 3.94 3.55 5/179 5730
/proc/meminfo: memFree=12808016/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=136288 CPUtime=50.99 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 8943 0 0 0 4993 106 0 0 25 0 3 0 989405424 139558912 8708 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 34072 8708 182 372 0 33697 0
[pid=5726/tid=5727] ppid=5724 vsize=136288 CPUtime=25.49 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 6150 0 0 0 2519 30 0 0 25 0 3 0 989405425 139558912 8708 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=136288 CPUtime=25.48 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 2458 0 0 0 2473 75 0 0 25 0 3 0 989405425 139558912 8708 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136288
[startup+51.1008 s]
/proc/loadavg: 3.91 3.94 3.56 5/179 5730
/proc/meminfo: memFree=12763412/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=137092 CPUtime=102.19 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 16666 0 0 0 10030 189 0 0 25 0 3 0 989405424 140382208 16431 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 34273 16431 182 372 0 33898 0
[pid=5726/tid=5727] ppid=5724 vsize=137092 CPUtime=51.09 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 13100 0 0 0 5054 55 0 0 25 0 3 0 989405425 140382208 16431 33554432000 4194304 5714118 140735872356144 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=137092 CPUtime=51.09 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 3231 0 0 0 4975 134 0 0 25 0 3 0 989405425 140382208 16431 33554432000 4194304 5714118 140735872356144 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 137092
[startup+102.306 s]
/proc/loadavg: 3.96 3.95 3.58 5/179 5732
/proc/meminfo: memFree=12691584/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=203776 CPUtime=204.6 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 25832 0 0 0 20133 327 0 0 25 0 3 0 989405424 208666624 25565 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 50944 25565 182 372 0 50569 0
[pid=5726/tid=5727] ppid=5724 vsize=203776 CPUtime=102.3 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 21458 0 0 0 10138 92 0 0 25 0 3 0 989405425 208666624 25565 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=203776 CPUtime=102.3 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 4039 0 0 0 9995 235 0 0 25 0 3 0 989405425 208666624 25565 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 203776
[startup+162.301 s]
/proc/loadavg: 3.98 3.96 3.60 5/179 5733
/proc/meminfo: memFree=12619516/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=205248 CPUtime=324.6 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 34647 0 0 0 31984 476 0 0 25 0 3 0 989405424 210173952 34237 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 51312 34237 182 372 0 50937 0
[pid=5726/tid=5727] ppid=5724 vsize=205248 CPUtime=162.3 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 29373 0 0 0 16102 128 0 0 25 0 3 0 989405425 210173952 34237 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=205248 CPUtime=162.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 4939 0 0 0 15881 348 0 0 25 0 3 0 989405425 210173952 34237 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 205248
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.63 5/179 5735
/proc/meminfo: memFree=12549052/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=271176 CPUtime=444.6 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 42461 0 0 0 43832 628 0 0 25 0 3 0 989405424 277684224 42015 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 67794 42015 182 372 0 67419 0
[pid=5726/tid=5727] ppid=5724 vsize=271176 CPUtime=222.3 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 36798 0 0 0 22068 162 0 0 25 0 3 0 989405425 277684224 42015 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=271176 CPUtime=222.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 5328 0 0 0 21764 465 0 0 25 0 3 0 989405425 277684224 42015 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 271176
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.65 5/179 5736
/proc/meminfo: memFree=12488736/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=271888 CPUtime=564.6 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 50649 0 0 0 55681 779 0 0 25 0 3 0 989405424 278413312 50003 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 67972 50003 182 372 0 67597 0
[pid=5726/tid=5727] ppid=5724 vsize=271888 CPUtime=282.29 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 44075 0 0 0 28032 197 0 0 25 0 3 0 989405425 278413312 50003 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=271888 CPUtime=282.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 6239 0 0 0 27648 581 0 0 25 0 3 0 989405425 278413312 50003 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 271888
[startup+342.301 s]
/proc/loadavg: 4.08 4.00 3.68 5/179 5738
/proc/meminfo: memFree=12408716/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=338348 CPUtime=684.6 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 58434 0 0 0 67535 925 0 0 25 0 3 0 989405424 346468352 57717 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 84587 57717 182 372 0 84212 0
[pid=5726/tid=5727] ppid=5724 vsize=338348 CPUtime=342.3 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 51179 0 0 0 33996 234 0 0 25 0 3 0 989405425 346468352 57717 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=338348 CPUtime=342.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 6920 0 0 0 33539 690 0 0 25 0 3 0 989405425 346468352 57717 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 338348
[startup+402.3 s]
/proc/loadavg: 4.03 4.00 3.69 5/179 5740
/proc/meminfo: memFree=12383744/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=339480 CPUtime=804.61 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 64908 0 0 0 79411 1050 0 0 25 0 3 0 989405424 347627520 63734 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 84870 63734 182 372 0 84495 0
[pid=5726/tid=5727] ppid=5724 vsize=339480 CPUtime=402.3 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 56928 0 0 0 39959 271 0 0 25 0 3 0 989405425 347627520 63734 33554432000 4194304 5714118 140735872356144 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=339480 CPUtime=402.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 7645 0 0 0 39451 778 0 0 25 0 3 0 989405425 347627520 63734 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 339480
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.71 5/179 5741
/proc/meminfo: memFree=12351064/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=339480 CPUtime=924.61 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 73221 0 0 0 91284 1177 0 0 25 0 3 0 989405424 347627520 71679 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 84870 71679 182 372 0 84495 0
[pid=5726/tid=5727] ppid=5724 vsize=339480 CPUtime=462.31 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 64813 0 0 0 45927 304 0 0 25 0 3 0 989405425 347627520 71679 33554432000 4194304 5714118 140735872356144 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=339480 CPUtime=462.29 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 8073 0 0 0 45357 872 0 0 25 0 3 0 989405425 347627520 71679 33554432000 4194304 5714118 140735872356144 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 339480
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.73 5/179 5743
/proc/meminfo: memFree=12328824/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=405556 CPUtime=1044.62 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 79048 0 0 0 103151 1311 0 0 25 0 3 0 989405424 415289344 76866 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 101389 76866 182 372 0 101014 0
[pid=5726/tid=5727] ppid=5724 vsize=405556 CPUtime=522.31 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 69823 0 0 0 51895 336 0 0 25 0 3 0 989405425 415289344 76866 33554432000 4194304 5714118 140735872356144 18446744073709551615 4319316 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=405556 CPUtime=522.3 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 8890 0 0 0 51256 974 0 0 25 0 3 0 989405425 415289344 76866 33554432000 4194304 5714118 140735872356144 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 405556
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.74 5/179 5744
/proc/meminfo: memFree=12294672/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=405768 CPUtime=1164.62 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 87741 0 0 0 115004 1458 0 0 25 0 3 0 989405424 415506432 85103 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 101442 85103 182 372 0 101067 0
[pid=5726/tid=5727] ppid=5724 vsize=405768 CPUtime=582.31 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 77945 0 0 0 57860 371 0 0 25 0 3 0 989405425 415506432 85103 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=405768 CPUtime=582.3 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 9461 0 0 0 57144 1086 0 0 25 0 3 0 989405425 415506432 85103 33554432000 4194304 5714118 140735872356144 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 405768
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.75 5/179 5746
/proc/meminfo: memFree=12268208/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=471304 CPUtime=1284.64 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 94276 0 0 0 126837 1627 0 0 25 0 3 0 989405424 482615296 91384 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 117826 91384 182 372 0 117451 0
[pid=5726/tid=5727] ppid=5724 vsize=471304 CPUtime=642.31 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 84469 0 0 0 63820 411 0 0 25 0 3 0 989405425 482615296 91384 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=471304 CPUtime=642.31 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 9472 0 0 0 63016 1215 0 0 25 0 3 0 989405425 482615296 91384 33554432000 4194304 5714118 140735872356144 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 471304
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.76 5/179 5748
/proc/meminfo: memFree=12236680/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=471304 CPUtime=1404.63 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 102152 0 0 0 138684 1779 0 0 25 0 3 0 989405424 482615296 99258 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 117826 99258 182 372 0 117451 0
[pid=5726/tid=5727] ppid=5724 vsize=471304 CPUtime=702.31 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 92334 0 0 0 69781 450 0 0 25 0 3 0 989405425 482615296 99258 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=471304 CPUtime=702.3 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 9483 0 0 0 68902 1328 0 0 25 0 3 0 989405425 482615296 99258 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 471304
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.78 5/179 5749
/proc/meminfo: memFree=12108284/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=602912 CPUtime=1524.65 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 133881 0 0 0 150530 1935 0 0 25 0 3 0 989405424 617381888 130987 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 150728 130987 182 372 0 150353 0
[pid=5726/tid=5727] ppid=5724 vsize=602912 CPUtime=762.32 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 123803 0 0 0 75744 488 0 0 25 0 3 0 989405425 617381888 130987 33554432000 4194304 5714118 140735872356144 18446744073709551615 4976397 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=602912 CPUtime=762.31 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 9743 0 0 0 74785 1446 0 0 25 0 3 0 989405425 617381888 130987 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 602912
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.79 5/179 5751
/proc/meminfo: memFree=12107240/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=602104 CPUtime=1644.63 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 134118 0 0 0 162375 2088 0 0 25 0 3 0 989405424 616554496 130998 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 150526 130998 182 372 0 150151 0
[pid=5726/tid=5727] ppid=5724 vsize=602104 CPUtime=822.32 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 123893 0 0 0 81701 531 0 0 25 0 3 0 989405425 616554496 130998 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=602104 CPUtime=822.31 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 9890 0 0 0 80674 1557 0 0 25 0 3 0 989405425 616554496 130998 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 602104
[startup+882.301 s]
/proc/loadavg: 3.88 3.97 3.79 5/179 5793
/proc/meminfo: memFree=12288776/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=602532 CPUtime=1764.64 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 134709 0 0 0 174225 2239 0 0 25 0 3 0 989405424 616992768 131479 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 150633 131479 182 372 0 150258 0
[pid=5726/tid=5727] ppid=5724 vsize=602532 CPUtime=882.32 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 123998 0 0 0 87654 578 0 0 25 0 3 0 989405425 616992768 131479 33554432000 4194304 5714118 140735872356144 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=602532 CPUtime=882.31 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 10376 0 0 0 86571 1660 0 0 25 0 3 0 989405425 616992768 131479 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 602532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.92 3.97 3.79 5/179 5794
/proc/meminfo: memFree=12252024/32951124 swapFree=67062556/67111528
[pid=5726] ppid=5724 vsize=602532 CPUtime=1800.05 cores=1,3,5,7
/proc/5726/stat : 5726 (pwbo1.1) S 5724 5726 4694 0 -1 4202496 134752 0 0 0 177727 2278 0 0 25 0 3 0 989405424 616992768 131522 33554432000 4194304 5714118 140735872356144 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5726/statm: 150633 131522 182 372 0 150258 0
[pid=5726/tid=5727] ppid=5724 vsize=602532 CPUtime=900.03 cores=1,3,5,7
/proc/5726/task/5727/stat : 5727 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 123998 0 0 0 89414 589 0 0 25 0 3 0 989405425 616992768 131522 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5726/tid=5728] ppid=5724 vsize=602532 CPUtime=900.01 cores=1,3,5,7
/proc/5726/task/5728/stat : 5728 (pwbo1.1) R 5724 5726 4694 0 -1 4202560 10419 0 0 0 88312 1689 0 0 25 0 3 0 989405425 616992768 131522 33554432000 4194304 5714118 140735872356144 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 602532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.034
CPU time (s): 1800.09
CPU user time (s): 1777.28
CPU system time (s): 22.8095
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 602912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.28
system time used= 22.8095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134757
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= 39
involuntary context switches= 2384
runsolver used 1.3298 second user time and 2.94555 second system time
The end