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-3500444-1307995515/watcher-3500444-1307995515 -o /tmp/evaluation-result-3500444-1307995515/solver-3500444-1307995515 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500444-1307995515.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.56 3.90 3.91 3/180 1737
/proc/meminfo: memFree=10710164/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=134816 CPUtime=0 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 388 0 0 0 0 0 0 0 25 0 3 0 911149691 138051584 338 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33704 338 180 372 0 33329 0
[pid=1737/tid=1738] ppid=1735 vsize=134816 CPUtime=0 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 39 0 0 0 0 0 0 0 18 0 3 0 911149691 138051584 350 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=134816 CPUtime=0 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 19 0 0 0 0 0 0 0 25 0 3 0 911149691 138051584 350 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.030603 s]
/proc/loadavg: 3.56 3.90 3.91 3/180 1737
/proc/meminfo: memFree=10710164/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=134816 CPUtime=0.05 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 503 0 0 0 5 0 0 0 25 0 3 0 911149691 138051584 453 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33704 453 181 372 0 33329 0
[pid=1737/tid=1738] ppid=1735 vsize=134816 CPUtime=0.02 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 99 0 0 0 2 0 0 0 18 0 3 0 911149691 138051584 453 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=134816 CPUtime=0.02 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 62 0 0 0 2 0 0 0 25 0 3 0 911149691 138051584 453 33554432000 4194304 5714118 140733231561056 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) 134816
[startup+0.100588 s]
/proc/loadavg: 3.56 3.90 3.91 3/180 1737
/proc/meminfo: memFree=10710164/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=134816 CPUtime=0.19 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 769 0 0 0 19 0 0 0 25 0 3 0 911149691 138051584 719 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33704 719 181 372 0 33329 0
[pid=1737/tid=1738] ppid=1735 vsize=134816 CPUtime=0.09 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 256 0 0 0 9 0 0 0 18 0 3 0 911149691 138051584 719 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=134816 CPUtime=0.09 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 171 0 0 0 9 0 0 0 25 0 3 0 911149691 138051584 719 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134816
[startup+0.300555 s]
/proc/loadavg: 3.56 3.90 3.91 3/180 1737
/proc/meminfo: memFree=10710164/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=134816 CPUtime=0.59 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 1424 0 0 0 58 1 0 0 25 0 3 0 911149691 138051584 1374 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33704 1374 181 372 0 33329 0
[pid=1737/tid=1738] ppid=1735 vsize=134816 CPUtime=0.29 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 642 0 0 0 28 1 0 0 18 0 3 0 911149691 138051584 1374 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=134816 CPUtime=0.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 440 0 0 0 29 0 0 0 25 0 3 0 911149691 138051584 1375 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134816
[startup+0.700485 s]
/proc/loadavg: 3.56 3.90 3.91 3/180 1737
/proc/meminfo: memFree=10710164/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=135104 CPUtime=1.39 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 1971 0 0 0 135 4 0 0 25 0 3 0 911149691 138346496 1921 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33776 1921 181 372 0 33401 0
[pid=1737/tid=1738] ppid=1735 vsize=135104 CPUtime=0.69 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 976 0 0 0 67 2 0 0 18 0 3 0 911149691 138346496 1921 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=135104 CPUtime=0.69 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 653 0 0 0 68 1 0 0 25 0 3 0 911149691 138346496 1921 33554432000 4194304 5714118 140733231561056 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) 135104
[startup+1.50034 s]
/proc/loadavg: 3.56 3.90 3.91 5/183 1740
/proc/meminfo: memFree=10701736/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=135104 CPUtime=2.99 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 2699 0 0 0 292 7 0 0 25 0 3 0 911149691 138346496 2649 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33776 2649 181 372 0 33401 0
[pid=1737/tid=1738] ppid=1735 vsize=135104 CPUtime=1.49 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 1537 0 0 0 145 4 0 0 20 0 3 0 911149691 138346496 2649 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=135104 CPUtime=1.49 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 820 0 0 0 146 3 0 0 25 0 3 0 911149691 138346496 2649 33554432000 4194304 5714118 140733231561056 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) 135104
[startup+3.10107 s]
/proc/loadavg: 3.59 3.91 3.91 5/183 1740
/proc/meminfo: memFree=10698636/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=135104 CPUtime=6.19 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 3684 0 0 0 607 12 0 0 25 0 3 0 911149691 138346496 3634 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33776 3634 182 372 0 33401 0
[pid=1737/tid=1738] ppid=1735 vsize=135104 CPUtime=3.09 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 2340 0 0 0 303 6 0 0 25 0 3 0 911149691 138346496 3634 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=135104 CPUtime=3.09 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 1002 0 0 0 304 5 0 0 25 0 3 0 911149691 138346496 3634 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 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) 135104
[startup+6.3005 s]
/proc/loadavg: 3.59 3.91 3.91 5/183 1740
/proc/meminfo: memFree=10690192/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=135248 CPUtime=12.59 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 5422 0 0 0 1237 22 0 0 25 0 3 0 911149691 138493952 5372 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33812 5372 182 372 0 33437 0
[pid=1737/tid=1738] ppid=1735 vsize=135248 CPUtime=6.29 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 3820 0 0 0 618 11 0 0 25 0 3 0 911149691 138493952 5372 33554432000 4194304 5714118 140733231561056 18446744073709551615 4301182 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=135248 CPUtime=6.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 1260 0 0 0 618 11 0 0 25 0 3 0 911149691 138493952 5372 33554432000 4194304 5714118 140733231561056 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) 135248
[startup+12.7003 s]
/proc/loadavg: 3.65 3.91 3.91 5/183 1740
/proc/meminfo: memFree=10677884/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=135968 CPUtime=25.39 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 8444 0 0 0 2494 45 0 0 25 0 3 0 911149691 139231232 8394 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 33992 8394 182 372 0 33617 0
[pid=1737/tid=1738] ppid=1735 vsize=135968 CPUtime=12.69 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 6500 0 0 0 1248 21 0 0 25 0 3 0 911149691 139231232 8394 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=135968 CPUtime=12.68 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 1602 0 0 0 1245 23 0 0 25 0 3 0 911149691 139231232 8394 33554432000 4194304 5714118 140733231561056 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) 135968
[startup+25.5011 s]
/proc/loadavg: 3.71 3.91 3.91 5/183 1741
/proc/meminfo: memFree=10657176/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=137192 CPUtime=51 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 13170 0 0 0 5013 87 0 0 25 0 3 0 911149691 140484608 13118 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 34298 13118 182 372 0 33923 0
[pid=1737/tid=1738] ppid=1735 vsize=137192 CPUtime=25.49 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 10956 0 0 0 2507 42 0 0 25 0 3 0 911149691 140484608 13118 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=137192 CPUtime=25.49 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 1872 0 0 0 2505 44 0 0 25 0 3 0 911149691 140484608 13118 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 137192
[startup+51.1005 s]
/proc/loadavg: 3.81 3.92 3.91 3/179 1743
/proc/meminfo: memFree=11120564/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=204024 CPUtime=102.19 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 22386 0 0 0 10049 170 0 0 25 0 3 0 911149691 208920576 22296 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 51006 22296 182 372 0 50631 0
[pid=1737/tid=1738] ppid=1735 vsize=204024 CPUtime=51.09 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 19607 0 0 0 5022 87 0 0 25 0 3 0 911149691 208920576 22296 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=204024 CPUtime=51.09 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 2437 0 0 0 5027 82 0 0 25 0 3 0 911149691 208920576 22296 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 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) 204024
[startup+102.306 s]
/proc/loadavg: 3.73 3.86 3.89 5/183 1784
/proc/meminfo: memFree=11005456/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=271072 CPUtime=204.61 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 38493 0 0 0 20113 348 0 0 25 0 3 0 911149691 277577728 38317 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 67768 38317 182 372 0 67393 0
[pid=1737/tid=1738] ppid=1735 vsize=271072 CPUtime=102.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 35221 0 0 0 10049 181 0 0 25 0 3 0 911149691 277577728 38317 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=271072 CPUtime=102.3 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 2930 0 0 0 10063 167 0 0 25 0 3 0 911149691 277577728 38317 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 271072
[startup+162.301 s]
/proc/loadavg: 3.90 3.88 3.89 5/183 1785
/proc/meminfo: memFree=10889356/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=338588 CPUtime=324.59 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 56082 0 0 0 31945 514 0 0 25 0 3 0 911149691 346714112 55870 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 84647 55870 182 372 0 84272 0
[pid=1737/tid=1738] ppid=1735 vsize=338588 CPUtime=162.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 52302 0 0 0 15965 265 0 0 25 0 3 0 911149691 346714112 55870 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=338588 CPUtime=162.28 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 3438 0 0 0 15980 248 0 0 25 0 3 0 911149691 346714112 55870 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 338588
[startup+222.301 s]
/proc/loadavg: 3.99 3.91 3.90 5/183 1787
/proc/meminfo: memFree=10779808/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=408764 CPUtime=444.59 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 72727 0 0 0 43786 673 0 0 25 0 3 0 911149691 418574336 72404 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 102191 72404 182 372 0 101816 0
[pid=1737/tid=1738] ppid=1735 vsize=408764 CPUtime=222.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 68428 0 0 0 21880 350 0 0 25 0 3 0 911149691 418574336 72404 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=408764 CPUtime=222.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 3957 0 0 0 21906 323 0 0 25 0 3 0 911149691 418574336 72404 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 408764
[startup+282.3 s]
/proc/loadavg: 3.99 3.93 3.91 5/183 1789
/proc/meminfo: memFree=10678340/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=475308 CPUtime=564.6 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 89217 0 0 0 55618 842 0 0 25 0 3 0 911149691 486715392 88497 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 118827 88497 182 372 0 118452 0
[pid=1737/tid=1738] ppid=1735 vsize=475308 CPUtime=282.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 84103 0 0 0 27791 439 0 0 25 0 3 0 911149691 486715392 88497 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=475308 CPUtime=282.28 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 4772 0 0 0 27826 402 0 0 25 0 3 0 911149691 486715392 88497 33554432000 4194304 5714118 140733231561056 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) 475308
[startup+342.301 s]
/proc/loadavg: 3.99 3.94 3.91 5/183 1790
/proc/meminfo: memFree=10578244/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=476424 CPUtime=684.6 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 104690 0 0 0 67467 993 0 0 25 0 3 0 911149691 487858176 103679 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 119106 103679 182 372 0 118731 0
[pid=1737/tid=1738] ppid=1735 vsize=476424 CPUtime=342.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 99143 0 0 0 33714 516 0 0 25 0 3 0 911149691 487858176 103679 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=476424 CPUtime=342.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 5205 0 0 0 33753 476 0 0 25 0 3 0 911149691 487858176 103679 33554432000 4194304 5714118 140733231561056 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) 476424
[startup+402.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/183 1792
/proc/meminfo: memFree=10486192/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=542680 CPUtime=804.6 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 119858 0 0 0 79316 1144 0 0 25 0 3 0 911149691 555704320 118635 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 135670 118635 182 372 0 135295 0
[pid=1737/tid=1738] ppid=1735 vsize=542680 CPUtime=402.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 113971 0 0 0 39636 594 0 0 25 0 3 0 911149691 555704320 118635 33554432000 4194304 5714118 140733231561056 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=542680 CPUtime=402.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 5545 0 0 0 39680 549 0 0 25 0 3 0 911149691 555704320 118635 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 542680
[startup+462.3 s]
/proc/loadavg: 4.06 3.97 3.91 5/183 1793
/proc/meminfo: memFree=10392300/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=609044 CPUtime=924.61 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 134698 0 0 0 91166 1295 0 0 25 0 3 0 911149691 623661056 133402 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 152261 133402 182 372 0 151886 0
[pid=1737/tid=1738] ppid=1735 vsize=609044 CPUtime=462.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 128368 0 0 0 45559 671 0 0 25 0 3 0 911149691 623661056 133402 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=609044 CPUtime=462.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 5988 0 0 0 45606 623 0 0 25 0 3 0 911149691 623661056 133402 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 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) 609044
[startup+522.301 s]
/proc/loadavg: 4.08 3.99 3.92 5/183 1795
/proc/meminfo: memFree=10311040/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=675084 CPUtime=1044.61 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 147456 0 0 0 103029 1432 0 0 25 0 3 0 911149691 691286016 145905 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 168771 145905 182 372 0 168396 0
[pid=1737/tid=1738] ppid=1735 vsize=675084 CPUtime=522.3 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 140918 0 0 0 51488 742 0 0 25 0 3 0 911149691 691286016 145905 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=675084 CPUtime=522.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 6196 0 0 0 51540 689 0 0 25 0 3 0 911149691 691286016 145905 33554432000 4194304 5714118 140733231561056 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 675084
[startup+582.301 s]
/proc/loadavg: 4.06 4.00 3.93 5/183 1797
/proc/meminfo: memFree=10231656/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=741320 CPUtime=1164.61 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 159801 0 0 0 114888 1573 0 0 25 0 3 0 911149691 759111680 158065 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 185330 158065 182 372 0 184955 0
[pid=1737/tid=1738] ppid=1735 vsize=741320 CPUtime=582.31 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 152974 0 0 0 57416 815 0 0 25 0 3 0 911149691 759111680 158065 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=741320 CPUtime=582.29 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 6485 0 0 0 57472 757 0 0 25 0 3 0 911149691 759111680 158065 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 741320
[startup+642.3 s]
/proc/loadavg: 4.10 4.03 3.94 5/183 1798
/proc/meminfo: memFree=10149892/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=742236 CPUtime=1284.62 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 172389 0 0 0 126746 1716 0 0 25 0 3 0 911149691 760049664 170470 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 185559 170470 182 372 0 185184 0
[pid=1737/tid=1738] ppid=1735 vsize=742236 CPUtime=642.31 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 165272 0 0 0 63343 888 0 0 25 0 3 0 911149691 760049664 170472 33554432000 4194304 5714118 140733231561056 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=742236 CPUtime=642.3 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 6777 0 0 0 63402 828 0 0 25 0 3 0 911149691 760049664 170472 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 742236
[startup+702.301 s]
/proc/loadavg: 4.09 4.04 3.94 5/183 1800
/proc/meminfo: memFree=10067160/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=808528 CPUtime=1404.61 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 185603 0 0 0 138607 1854 0 0 25 0 3 0 911149691 827932672 183634 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 202132 183634 182 372 0 201757 0
[pid=1737/tid=1738] ppid=1735 vsize=808528 CPUtime=702.31 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 178109 0 0 0 69273 958 0 0 25 0 3 0 911149691 827932672 183634 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=808528 CPUtime=702.3 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 7152 0 0 0 69334 896 0 0 25 0 3 0 911149691 827932672 183634 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 808528
[startup+762.307 s]
/proc/loadavg: 4.03 4.03 3.94 5/183 1801
/proc/meminfo: memFree=9988376/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=874908 CPUtime=1524.64 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 198287 0 0 0 150476 1988 0 0 25 0 3 0 911149691 895905792 196088 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 218727 196088 182 372 0 218352 0
[pid=1737/tid=1738] ppid=1735 vsize=874908 CPUtime=762.32 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 190507 0 0 0 75204 1028 0 0 25 0 3 0 911149691 895905792 196088 33554432000 4194304 5714118 140733231561056 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=874908 CPUtime=762.3 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 7438 0 0 0 75271 959 0 0 25 0 3 0 911149691 895905792 196088 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 874908
[startup+822.3 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 1803
/proc/meminfo: memFree=9911836/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=941144 CPUtime=1644.63 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 210034 0 0 0 162337 2126 0 0 25 0 3 0 911149691 963731456 207737 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 235286 207737 182 372 0 234911 0
[pid=1737/tid=1738] ppid=1735 vsize=941144 CPUtime=822.31 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 202055 0 0 0 81131 1100 0 0 25 0 3 0 911149691 963731456 207737 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=941144 CPUtime=822.3 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 7637 0 0 0 81205 1025 0 0 25 0 3 0 911149691 963731456 207737 33554432000 4194304 5714118 140733231561056 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) 941144
[startup+882.301 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 1805
/proc/meminfo: memFree=9834420/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=942312 CPUtime=1764.63 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 222000 0 0 0 174195 2268 0 0 25 0 3 0 911149691 964927488 219475 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 235578 219475 182 372 0 235203 0
[pid=1737/tid=1738] ppid=1735 vsize=942312 CPUtime=882.31 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 213746 0 0 0 87057 1174 0 0 25 0 3 0 911149691 964927488 219475 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=942312 CPUtime=882.3 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 7912 0 0 0 87137 1093 0 0 25 0 3 0 911149691 964927488 219475 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 942312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 1805
/proc/meminfo: memFree=9809856/32951124 swapFree=67063272/67111528
[pid=1737] ppid=1735 vsize=1008172 CPUtime=1800.03 cores=1,3,5,7
/proc/1737/stat : 1737 (pwbo1.1) S 1735 1737 768 0 -1 4202496 225999 0 0 0 177688 2315 0 0 25 0 3 0 911149691 1032368128 223474 33554432000 4194304 5714118 140733231561056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1737/statm: 252043 223474 182 372 0 251668 0
[pid=1737/tid=1738] ppid=1735 vsize=1008172 CPUtime=900.02 cores=1,3,5,7
/proc/1737/task/1738/stat : 1738 (pwbo1.1) R 1735 1737 768 0 -1 4202560 217637 0 0 0 88805 1197 0 0 25 0 3 0 911149691 1032368128 223474 33554432000 4194304 5714118 140733231561056 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1737/tid=1739] ppid=1735 vsize=1008172 CPUtime=900 cores=1,3,5,7
/proc/1737/task/1739/stat : 1739 (pwbo1.1) R 1735 1737 768 0 -1 4202560 8020 0 0 0 88883 1117 0 0 25 0 3 0 911149691 1032368128 223474 33554432000 4194304 5714118 140733231561056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1008172
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.049
CPU time (s): 1800.09
CPU user time (s): 1776.9
CPU system time (s): 23.1925
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 1008172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.9
system time used= 23.1925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226004
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= 62
involuntary context switches= 3279
runsolver used 1.50177 second user time and 3.41848 second system time
The end