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-3726390-1338660034/watcher-3726390-1338660034 -o /tmp/evaluation-result-3726390-1338660034/solver-3726390-1338660034 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726390-1338660034.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.92 3.98 3.91 4/179 19110
/proc/meminfo: memFree=26255276/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=32828 CPUtime=0 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 621 0 0 0 0 0 0 0 20 0 1 0 332131980 33615872 573 33554432000 4194304 5964478 140733895746880 140735152041656 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 8207 574 168 433 0 879 0
[startup+0.0981599 s]
/proc/loadavg: 3.92 3.98 3.91 4/179 19110
/proc/meminfo: memFree=26255276/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=48172 CPUtime=0.08 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 4609 0 0 0 8 0 0 0 20 0 1 0 332131980 49328128 4479 33554432000 4194304 5964478 140733895746880 140735152041656 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 12043 4484 426 433 0 4715 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 48172
[startup+0.100365 s]
/proc/loadavg: 3.92 3.98 3.91 4/179 19110
/proc/meminfo: memFree=26255276/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=50596 CPUtime=0.08 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 4700 0 0 0 8 0 0 0 20 0 1 0 332131980 51810304 4570 33554432000 4194304 5964478 140733895746880 140735152041656 5248554 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 12649 4571 431 433 0 5321 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50596
[startup+0.300315 s]
/proc/loadavg: 3.92 3.98 3.91 4/179 19110
/proc/meminfo: memFree=26255276/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=69468 CPUtime=0.29 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 10501 0 0 0 28 1 0 0 20 0 1 0 332131980 71135232 10104 33554432000 4194304 5964478 140733895746880 140735152041656 5136420 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 17367 10104 959 433 0 10039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69468
[startup+0.700305 s]
/proc/loadavg: 3.92 3.98 3.91 4/179 19110
/proc/meminfo: memFree=26255276/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=114744 CPUtime=0.68 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 22310 0 0 0 66 2 0 0 20 0 1 0 332131980 117497856 21383 33554432000 4194304 5964478 140733895746880 140735152041656 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 28686 21387 1934 433 0 21358 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114744
[startup+1.50031 s]
/proc/loadavg: 3.92 3.98 3.91 4/180 19111
/proc/meminfo: memFree=26151716/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=208076 CPUtime=1.49 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 43074 0 0 0 142 7 0 0 20 0 1 0 332131980 213069824 44153 33554432000 4194304 5964478 140733895746880 140733895745224 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 52019 44153 3570 433 0 44691 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208076
[startup+3.10032 s]
/proc/loadavg: 3.92 3.98 3.91 4/180 19111
/proc/meminfo: memFree=26057088/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=322848 CPUtime=3.09 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) R 19108 19110 15996 0 -1 4202496 70562 0 0 0 295 14 0 0 20 0 1 0 332131980 330596352 74136 33554432000 4194304 5964478 140733895746880 140733895745288 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 80712 74140 6398 433 0 73384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 322848
[startup+6.30041 s]
/proc/loadavg: 3.93 3.98 3.91 5/182 19113
/proc/meminfo: memFree=25543908/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=885568 CPUtime=8.91 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 161380 0 0 0 840 51 0 0 20 0 3 0 332131980 906821632 180631 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 221392 180631 196 433 0 220956 0
[pid=19110/tid=19112] ppid=19108 vsize=885568 CPUtime=2.76 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 64770 0 0 0 251 25 0 0 20 0 3 0 332132328 906821632 180631 33554432000 4194304 5964478 140733895746880 140397845084456 5122467 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=885568 CPUtime=2.71 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 20273 0 0 0 260 11 0 0 20 0 3 0 332132328 906821632 180631 33554432000 4194304 5964478 140733895746880 140397834594536 4403656 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 885568
[startup+12.7004 s]
/proc/loadavg: 3.93 3.98 3.91 5/182 19114
/proc/meminfo: memFree=25478784/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=885568 CPUtime=21.7 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 168851 0 0 0 2116 54 0 0 20 0 3 0 332131980 906821632 190708 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 221392 190708 197 433 0 220956 0
[pid=19110/tid=19112] ppid=19108 vsize=885568 CPUtime=9.14 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 69772 0 0 0 887 27 0 0 20 0 3 0 332132328 906821632 190708 33554432000 4194304 5964478 140733895746880 140397845084504 5142509 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=885568 CPUtime=9.09 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 22742 0 0 0 897 12 0 0 20 0 3 0 332132328 906821632 190708 33554432000 4194304 5964478 140733895746880 140397834594616 4392882 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 21.7
Current children cumulated vsize (KiB) 885568
[startup+25.5005 s]
/proc/loadavg: 3.95 3.98 3.91 5/182 19114
/proc/meminfo: memFree=25405036/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=1016640 CPUtime=47.3 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 180803 0 0 0 4667 63 0 0 20 0 3 0 332131980 1041039360 205456 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 254160 205456 197 433 0 253724 0
[pid=19110/tid=19112] ppid=19108 vsize=1016640 CPUtime=21.91 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 81559 0 0 0 2156 35 0 0 20 0 3 0 332132328 1041039360 205456 33554432000 4194304 5964478 140733895746880 140397845084456 5130842 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1016640 CPUtime=21.86 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 22907 0 0 0 2173 13 0 0 20 0 3 0 332132328 1041039360 205456 33554432000 4194304 5964478 140733895746880 140397834594664 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 47.3
Current children cumulated vsize (KiB) 1016640
[startup+51.1005 s]
/proc/loadavg: 3.96 3.98 3.91 5/182 19137
/proc/meminfo: memFree=25247788/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=1082300 CPUtime=98.48 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 205917 0 0 0 9770 78 0 0 20 0 3 0 332131980 1108275200 231902 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 270575 231902 197 433 0 270139 0
[pid=19110/tid=19112] ppid=19108 vsize=1082300 CPUtime=47.44 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 106321 0 0 0 4695 49 0 0 20 0 3 0 332132328 1108275200 231902 33554432000 4194304 5964478 140733895746880 140397845084696 4419587 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1082300 CPUtime=47.39 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 23259 0 0 0 4725 14 0 0 20 0 3 0 332132328 1108275200 231902 33554432000 4194304 5964478 140733895746880 140397834594664 4392918 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 98.48
Current children cumulated vsize (KiB) 1082300
[startup+102.3 s]
/proc/loadavg: 3.98 3.98 3.91 5/181 19137
/proc/meminfo: memFree=24923892/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=1360848 CPUtime=200.86 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 258136 0 0 0 19974 112 0 0 20 0 3 0 332131980 1393508352 292947 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 340212 292947 197 433 0 339776 0
[pid=19110/tid=19112] ppid=19108 vsize=1360848 CPUtime=98.52 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 157878 0 0 0 9769 83 0 0 20 0 3 0 332132328 1393508352 292947 33554432000 4194304 5964478 140733895746880 140397845084696 5142822 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1360848 CPUtime=98.45 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 23921 0 0 0 9830 15 0 0 20 0 3 0 332132328 1393508352 292947 33554432000 4194304 5964478 140733895746880 140397834594616 4399873 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 200.86
Current children cumulated vsize (KiB) 1360848
[startup+162.301 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 19137
/proc/meminfo: memFree=24652140/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=1590264 CPUtime=320.83 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 274390 0 0 0 31948 135 0 0 20 0 3 0 332131980 1628430336 340861 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 397566 340861 197 433 0 397130 0
[pid=19110/tid=19112] ppid=19108 vsize=1590264 CPUtime=158.36 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 173631 0 0 0 15732 104 0 0 20 0 3 0 332132328 1628430336 340861 33554432000 4194304 5964478 140733895746880 140397845084424 5130901 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1590264 CPUtime=158.28 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 24422 0 0 0 15809 19 0 0 20 0 3 0 332132328 1628430336 340861 33554432000 4194304 5964478 140733895746880 140397834594552 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 320.83
Current children cumulated vsize (KiB) 1590264
[startup+222.308 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 19137
/proc/meminfo: memFree=24222016/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=1958876 CPUtime=440.83 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 300299 0 0 0 43920 163 0 0 20 0 3 0 332131980 2005889024 414455 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 489719 414455 197 433 0 489283 0
[pid=19110/tid=19112] ppid=19108 vsize=1958876 CPUtime=218.21 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 199061 0 0 0 21689 132 0 0 20 0 3 0 332132328 2005889024 414455 33554432000 4194304 5964478 140733895746880 140397845084456 5135617 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1958876 CPUtime=218.13 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 24901 0 0 0 21792 21 0 0 20 0 3 0 332132328 2005889024 414455 33554432000 4194304 5964478 140733895746880 140397834594616 4392805 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 440.83
Current children cumulated vsize (KiB) 1958876
[startup+282.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 19137
/proc/meminfo: memFree=23945116/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=2196412 CPUtime=560.79 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 339486 0 0 0 55882 197 0 0 20 0 3 0 332131980 2249125888 460439 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 549103 460439 197 433 0 548667 0
[pid=19110/tid=19112] ppid=19108 vsize=2196412 CPUtime=278.05 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 237674 0 0 0 27639 166 0 0 20 0 3 0 332132328 2249125888 460439 33554432000 4194304 5964478 140733895746880 140397845084696 5133791 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=2196412 CPUtime=277.97 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 25475 0 0 0 27774 23 0 0 20 0 3 0 332132328 2249125888 460439 33554432000 4194304 5964478 140733895746880 140397834594616 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 560.79
Current children cumulated vsize (KiB) 2196412
[startup+342.301 s]
/proc/loadavg: 4.07 4.00 3.92 5/181 19138
/proc/meminfo: memFree=23633940/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=2458556 CPUtime=680.77 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 355015 0 0 0 67864 213 0 0 20 0 3 0 332131980 2517561344 511962 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 614639 511962 197 433 0 614203 0
[pid=19110/tid=19112] ppid=19108 vsize=2458556 CPUtime=337.89 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 252780 0 0 0 33606 183 0 0 20 0 3 0 332132328 2517561344 511962 33554432000 4194304 5964478 140733895746880 140397845084504 4399900 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=2458556 CPUtime=337.82 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 25898 0 0 0 33757 25 0 0 20 0 3 0 332132328 2517561344 511962 33554432000 4194304 5964478 140733895746880 140397834594616 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 680.77
Current children cumulated vsize (KiB) 2458556
[startup+402.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 19138
/proc/meminfo: memFree=23478864/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=2524092 CPUtime=800.75 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 367783 0 0 0 79846 229 0 0 20 0 3 0 332131980 2584670208 531599 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 631023 531599 197 433 0 630587 0
[pid=19110/tid=19112] ppid=19108 vsize=2524092 CPUtime=397.74 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 264995 0 0 0 39575 199 0 0 20 0 3 0 332132328 2584670208 531599 33554432000 4194304 5964478 140733895746880 140397845084504 4390878 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=2524092 CPUtime=397.66 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 26451 0 0 0 39739 27 0 0 20 0 3 0 332132328 2584670208 531599 33554432000 4194304 5964478 140733895746880 140397834594616 4389132 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 800.75
Current children cumulated vsize (KiB) 2524092
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 19138
/proc/meminfo: memFree=23289872/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=2655164 CPUtime=920.72 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 384795 0 0 0 91828 244 0 0 20 0 3 0 332131980 2718887936 559095 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 663791 559095 197 433 0 663355 0
[pid=19110/tid=19112] ppid=19108 vsize=2655164 CPUtime=457.59 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 281620 0 0 0 45546 213 0 0 20 0 3 0 332132328 2718887936 559095 33554432000 4194304 5964478 140733895746880 140397845084504 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=2655164 CPUtime=457.49 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 26838 0 0 0 45722 27 0 0 20 0 3 0 332132328 2718887936 559095 33554432000 4194304 5964478 140733895746880 140397834594616 4389147 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 920.72
Current children cumulated vsize (KiB) 2655164
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 19138
/proc/meminfo: memFree=23058036/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=2851772 CPUtime=1040.69 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 395530 0 0 0 103813 256 0 0 20 0 3 0 332131980 2920214528 593802 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 712943 593802 197 433 0 712507 0
[pid=19110/tid=19112] ppid=19108 vsize=2851772 CPUtime=517.43 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 291855 0 0 0 51517 226 0 0 20 0 3 0 332132328 2920214528 593802 33554432000 4194304 5964478 140733895746880 140397845084568 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=2851772 CPUtime=517.33 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 27338 0 0 0 51704 29 0 0 20 0 3 0 332132328 2920214528 593802 33554432000 4194304 5964478 140733895746880 140397834594616 4399912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1040.69
Current children cumulated vsize (KiB) 2851772
[startup+582.3 s]
/proc/loadavg: 3.43 3.87 3.88 3/174 19166
/proc/meminfo: memFree=24641304/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=2982844 CPUtime=1160.68 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 400972 0 0 0 115801 267 0 0 20 0 3 0 332131980 3054432256 619021 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 745711 619021 197 433 0 745275 0
[pid=19110/tid=19112] ppid=19108 vsize=2982844 CPUtime=577.28 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 296647 0 0 0 57492 236 0 0 20 0 3 0 332132328 3054432256 619021 33554432000 4194304 5964478 140733895746880 140397845084696 5142496 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=2982844 CPUtime=577.18 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 27988 0 0 0 57687 31 0 0 20 0 3 0 332132328 3054432256 619021 33554432000 4194304 5964478 140733895746880 140397834594616 4392882 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1160.68
Current children cumulated vsize (KiB) 2982844
[startup+642.3 s]
/proc/loadavg: 2.52 3.53 3.76 3/173 19167
/proc/meminfo: memFree=24495820/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3048380 CPUtime=1280.65 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 413576 0 0 0 127782 283 0 0 20 0 3 0 332131980 3121541120 643334 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 762095 643334 197 433 0 761659 0
[pid=19110/tid=19112] ppid=19108 vsize=3048380 CPUtime=637.12 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 308677 0 0 0 63460 252 0 0 20 0 3 0 332132328 3121541120 643334 33554432000 4194304 5964478 140733895746880 140397845084696 4389164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3048380 CPUtime=637.02 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 28562 0 0 0 63669 33 0 0 20 0 3 0 332132328 3121541120 643334 33554432000 4194304 5964478 140733895746880 140397834594616 4389164 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1280.65
Current children cumulated vsize (KiB) 3048380
[startup+702.3 s]
/proc/loadavg: 2.19 3.25 3.64 3/173 19167
/proc/meminfo: memFree=24423004/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3261564 CPUtime=1400.63 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 423245 0 0 0 139737 326 0 0 20 0 3 0 332131980 3339841536 682905 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 815391 682905 197 433 0 814955 0
[pid=19110/tid=19112] ppid=19108 vsize=3261564 CPUtime=696.97 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 317763 0 0 0 69402 295 0 0 20 0 3 0 332132328 3339841536 682905 33554432000 4194304 5964478 140733895746880 140397845084504 5139166 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3261564 CPUtime=696.87 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 29145 0 0 0 69651 36 0 0 20 0 3 0 332132328 3339841536 682905 33554432000 4194304 5964478 140733895746880 140397834594664 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1400.63
Current children cumulated vsize (KiB) 3261564
[startup+762.3 s]
/proc/loadavg: 2.07 3.02 3.54 3/173 19167
/proc/meminfo: memFree=24297872/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3322912 CPUtime=1520.61 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 491765 0 0 0 151658 403 0 0 20 0 3 0 332131980 3402661888 705000 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 830728 705000 197 433 0 830292 0
[pid=19110/tid=19112] ppid=19108 vsize=3322912 CPUtime=756.81 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 385691 0 0 0 75309 372 0 0 20 0 3 0 332132328 3402661888 705000 33554432000 4194304 5964478 140733895746880 140397845084504 4409255 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3322912 CPUtime=756.72 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 29737 0 0 0 75634 38 0 0 20 0 3 0 332132328 3402661888 705000 33554432000 4194304 5964478 140733895746880 140397834594616 4403708 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1520.61
Current children cumulated vsize (KiB) 3322912
[startup+822.3 s]
/proc/loadavg: 2.10 2.85 3.44 3/173 19167
/proc/meminfo: memFree=24107904/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3474492 CPUtime=1640.54 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 533742 0 0 0 163590 464 0 0 20 0 3 0 332131980 3557879808 738986 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 868623 738986 197 433 0 868187 0
[pid=19110/tid=19112] ppid=19108 vsize=3474492 CPUtime=816.65 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 427156 0 0 0 81233 432 0 0 20 0 3 0 332132328 3557879808 738986 33554432000 4194304 5964478 140733895746880 140397845084568 5122424 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3474492 CPUtime=816.51 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 30249 0 0 0 81611 40 0 0 20 0 3 0 332132328 3557879808 738986 33554432000 4194304 5964478 140733895746880 140397834594616 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.54
Current children cumulated vsize (KiB) 3474492
[startup+882.307 s]
/proc/loadavg: 2.04 2.69 3.35 3/173 19167
/proc/meminfo: memFree=23963660/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3658960 CPUtime=1760.38 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 578299 0 0 0 175513 525 0 0 20 0 3 0 332131980 3746775040 788435 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 914740 788435 197 433 0 914304 0
[pid=19110/tid=19112] ppid=19108 vsize=3658960 CPUtime=876.5 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 471179 0 0 0 87158 492 0 0 20 0 3 0 332132328 3746775040 788435 33554432000 4194304 5964478 140733895746880 140397845084504 5142509 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3658960 CPUtime=876.21 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 30783 0 0 0 87579 42 0 0 20 0 3 0 332132328 3746775040 788435 33554432000 4194304 5964478 140733895746880 140397834594616 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (KiB) 3658960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.2 s]
/proc/loadavg: 2.02 2.64 3.32 3/173 19167
/proc/meminfo: memFree=23991704/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3673832 CPUtime=1800.13 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 599097 0 0 0 179463 550 0 0 20 0 3 0 332131980 3762003968 781373 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 918458 781373 197 433 0 918022 0
[pid=19110/tid=19112] ppid=19108 vsize=3673832 CPUtime=896.35 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 491794 0 0 0 89119 516 0 0 20 0 3 0 332132328 3762003968 781373 33554432000 4194304 5964478 140733895746880 140397845084568 5122378 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3673832 CPUtime=896.02 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 30966 0 0 0 89559 43 0 0 20 0 3 0 332132328 3762003968 781373 33554432000 4194304 5964478 140733895746880 140397834594616 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 3673832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902.2 s]
/proc/loadavg: 2.02 2.64 3.32 3/173 19167
/proc/meminfo: memFree=23991704/32873844 swapFree=7628/7628
[pid=19110] ppid=19108 vsize=3673832 CPUtime=1800.13 cores=1,3,5,7
/proc/19110/stat : 19110 (pwbo2.02) S 19108 19110 15996 0 -1 4202496 599097 0 0 0 179463 550 0 0 20 0 3 0 332131980 3762003968 781373 33554432000 4194304 5964478 140733895746880 140733895746400 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19110/statm: 918458 781373 197 433 0 918022 0
[pid=19110/tid=19112] ppid=19108 vsize=3673832 CPUtime=896.35 cores=1,3,5,7
/proc/19110/task/19112/stat : 19112 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 491794 0 0 0 89119 516 0 0 20 0 3 0 332132328 3762003968 781373 33554432000 4194304 5964478 140733895746880 140397845084568 5122378 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=3673832 CPUtime=896.02 cores=1,3,5,7
/proc/19110/task/19113/stat : 19113 (pwbo2.02) R 19108 19110 15996 0 -1 4202560 30966 0 0 0 89559 43 0 0 20 0 3 0 332132328 3762003968 781373 33554432000 4194304 5964478 140733895746880 140397834594616 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 3673832
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19110 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=132858
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=820115
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.276
CPU time (s): 1800.13
CPU user time (s): 1794.63
CPU system time (s): 5.5
CPU usage (%): 199.51
Max. virtual memory (cumulated for all children) (KiB): 3764060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.13
system time used= 5.82011
maximum resident set size= 3229048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599099
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= 7716
involuntary context switches= 2269
runsolver used 2.15267 second user time and 5.49216 second system time
The end