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-3726869-1338666940/watcher-3726869-1338666940 -o /tmp/evaluation-result-3726869-1338666940/solver-3726869-1338666940 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726869-1338666940.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: 4.01 3.99 3.91 4/180 26068
/proc/meminfo: memFree=27541372/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=6232 CPUtime=0 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) R 26066 26068 25363 0 -1 4202496 780 0 0 0 0 0 0 0 20 0 1 0 332819417 6381568 732 33554432000 4194304 5964478 140736945122496 140737375357448 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 1558 734 169 433 0 1047 0
[startup+0.0411089 s]
/proc/loadavg: 4.01 3.99 3.91 4/180 26068
/proc/meminfo: memFree=27541372/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=166752 CPUtime=0.04 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 2607 0 0 0 4 0 0 0 20 0 3 0 332819417 170754048 2482 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 41688 2482 187 433 0 41252 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 166752
[startup+0.100253 s]
/proc/loadavg: 4.01 3.99 3.91 4/180 26068
/proc/meminfo: memFree=27541372/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=166752 CPUtime=0.16 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 3259 0 0 0 16 0 0 0 20 0 3 0 332819417 170754048 3134 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 41688 3134 196 433 0 41252 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 166752
[startup+0.300155 s]
/proc/loadavg: 4.01 3.99 3.91 4/180 26068
/proc/meminfo: memFree=27541372/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=166752 CPUtime=0.56 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 3567 0 0 0 56 0 0 0 20 0 3 0 332819417 170754048 3442 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 41688 3442 196 433 0 41252 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 166752
[startup+0.700145 s]
/proc/loadavg: 4.01 3.99 3.91 4/180 26068
/proc/meminfo: memFree=27541372/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=166752 CPUtime=1.35 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 4103 0 0 0 135 0 0 0 20 0 3 0 332819417 170754048 3978 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 41688 3978 196 433 0 41252 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 166752
[startup+1.50027 s]
/proc/loadavg: 4.01 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27525088/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=167040 CPUtime=2.95 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 4809 0 0 0 294 1 0 0 20 0 3 0 332819417 171048960 4684 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 41760 4684 196 433 0 41324 0
[pid=26068/tid=26070] ppid=26066 vsize=167040 CPUtime=1.44 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 2103 0 0 0 144 0 0 0 20 0 3 0 332819420 171048960 4684 33554432000 4194304 5964478 140736945122496 140563368773616 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=167040 CPUtime=1.44 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 799 0 0 0 144 0 0 0 20 0 3 0 332819420 171048960 4684 33554432000 4194304 5964478 140736945122496 140563358284080 4403727 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 167040
[startup+3.10029 s]
/proc/loadavg: 4.01 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27521740/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=167184 CPUtime=6.14 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 5922 0 0 0 613 1 0 0 20 0 3 0 332819417 171196416 5797 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 41796 5797 196 433 0 41360 0
[pid=26068/tid=26070] ppid=26066 vsize=167184 CPUtime=3.04 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 2792 0 0 0 303 1 0 0 20 0 3 0 332819420 171196416 5797 33554432000 4194304 5964478 140736945122496 140563368773432 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=167184 CPUtime=3.04 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 1223 0 0 0 304 0 0 0 20 0 3 0 332819420 171196416 5797 33554432000 4194304 5964478 140736945122496 140563358284080 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 167184
[startup+6.30032 s]
/proc/loadavg: 4.01 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27512696/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=168500 CPUtime=12.54 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 7547 0 0 0 1252 2 0 0 20 0 3 0 332819417 172544000 7422 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 42125 7422 205 433 0 41689 0
[pid=26068/tid=26070] ppid=26066 vsize=168500 CPUtime=6.23 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 3790 0 0 0 622 1 0 0 20 0 3 0 332819420 172544000 7422 33554432000 4194304 5964478 140736945122496 140563368773536 4222317 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=168500 CPUtime=6.22 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 1850 0 0 0 622 0 0 0 20 0 3 0 332819420 172544000 7422 33554432000 4194304 5964478 140736945122496 140563358284080 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 168500
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27506080/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=168824 CPUtime=25.32 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 10003 0 0 0 2528 4 0 0 20 0 3 0 332819417 172875776 9878 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 42206 9878 205 433 0 41770 0
[pid=26068/tid=26070] ppid=26066 vsize=168824 CPUtime=12.62 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 5563 0 0 0 1259 3 0 0 20 0 3 0 332819420 172875776 9878 33554432000 4194304 5964478 140736945122496 140563368773624 4403727 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=168824 CPUtime=12.58 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 2533 0 0 0 1258 0 0 0 20 0 3 0 332819420 172875776 9878 33554432000 4194304 5964478 140736945122496 140563358284136 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 168824
[startup+25.5004 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27485356/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=171344 CPUtime=50.88 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 14488 0 0 0 5080 8 0 0 20 0 3 0 332819417 175456256 14363 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 42836 14363 205 433 0 42400 0
[pid=26068/tid=26070] ppid=26066 vsize=171344 CPUtime=25.38 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 8648 0 0 0 2533 5 0 0 20 0 3 0 332819420 175456256 14363 33554432000 4194304 5964478 140736945122496 140563368773672 4389170 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=171344 CPUtime=25.32 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 3933 0 0 0 2531 1 0 0 20 0 3 0 332819420 175456256 14363 33554432000 4194304 5964478 140736945122496 140563358284080 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 171344
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27465360/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=174832 CPUtime=102.04 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 19192 0 0 0 10191 13 0 0 20 0 3 0 332819417 179027968 19067 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 43708 19067 205 433 0 43272 0
[pid=26068/tid=26070] ppid=26066 vsize=174832 CPUtime=50.92 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 11984 0 0 0 5083 9 0 0 20 0 3 0 332819420 179027968 19067 33554432000 4194304 5964478 140736945122496 140563368773432 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=174832 CPUtime=50.82 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 5301 0 0 0 5078 4 0 0 20 0 3 0 332819420 179027968 19067 33554432000 4194304 5964478 140736945122496 140563358284192 4388850 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 174832
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27425972/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=183720 CPUtime=204.33 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 26093 0 0 0 20412 21 0 0 20 0 3 0 332819417 188129280 25968 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 45930 25968 205 433 0 45494 0
[pid=26068/tid=26070] ppid=26066 vsize=183720 CPUtime=101.99 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 17553 0 0 0 10184 15 0 0 20 0 3 0 332819420 188129280 25968 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=183720 CPUtime=101.78 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 6633 0 0 0 10171 7 0 0 20 0 3 0 332819420 188129280 25968 33554432000 4194304 5964478 140736945122496 140563358284080 4403309 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.33
Current children cumulated vsize (KiB) 183720
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27370140/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=256412 CPUtime=324.27 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 30697 0 0 0 32401 26 0 0 20 0 3 0 332819417 262565888 30568 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 64103 30568 205 433 0 63667 0
[pid=26068/tid=26070] ppid=26066 vsize=256412 CPUtime=161.83 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 20726 0 0 0 16164 19 0 0 20 0 3 0 332819420 262565888 30568 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=256412 CPUtime=161.59 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 8064 0 0 0 16150 9 0 0 20 0 3 0 332819420 262565888 30568 33554432000 4194304 5964478 140736945122496 140563358283896 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.27
Current children cumulated vsize (KiB) 256412
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 26071
/proc/meminfo: memFree=27226948/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=262380 CPUtime=444.12 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 35564 0 0 0 44383 29 0 0 20 0 3 0 332819417 268677120 35407 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 65595 35407 205 433 0 65159 0
[pid=26068/tid=26070] ppid=26066 vsize=262380 CPUtime=221.67 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 25461 0 0 0 22143 24 0 0 20 0 3 0 332819420 268677120 35407 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=262380 CPUtime=221.31 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 8196 0 0 0 22120 11 0 0 20 0 3 0 332819420 268677120 35407 33554432000 4194304 5964478 140736945122496 140563358284080 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.12
Current children cumulated vsize (KiB) 262380
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/184 26074
/proc/meminfo: memFree=27068992/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=268236 CPUtime=564 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 41781 0 0 0 56366 34 0 0 20 0 3 0 332819417 274673664 41624 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 67059 41624 205 433 0 66623 0
[pid=26068/tid=26070] ppid=26066 vsize=268236 CPUtime=281.52 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 29156 0 0 0 28125 27 0 0 20 0 3 0 332819420 274673664 41624 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=268236 CPUtime=281.05 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 10718 0 0 0 28090 15 0 0 20 0 3 0 332819420 274673664 41624 33554432000 4194304 5964478 140736945122496 140563358284192 4403719 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564
Current children cumulated vsize (KiB) 268236
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/184 26098
/proc/meminfo: memFree=26938388/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=275796 CPUtime=683.93 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 45220 0 0 0 68355 38 0 0 20 0 3 0 332819417 282415104 45063 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 68949 45063 205 433 0 68513 0
[pid=26068/tid=26070] ppid=26066 vsize=275796 CPUtime=341.36 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 32575 0 0 0 34105 31 0 0 20 0 3 0 332819420 282415104 45063 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=275796 CPUtime=340.84 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 10738 0 0 0 34068 16 0 0 20 0 3 0 332819420 282415104 45063 33554432000 4194304 5964478 140736945122496 140563358284192 4392968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 683.93
Current children cumulated vsize (KiB) 275796
[startup+402.3 s]
/proc/loadavg: 4.04 4.00 3.92 5/183 26098
/proc/meminfo: memFree=26824964/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=278116 CPUtime=803.83 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 48682 0 0 0 80342 41 0 0 20 0 3 0 332819417 284790784 48525 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 69529 48525 205 433 0 69093 0
[pid=26068/tid=26070] ppid=26066 vsize=278116 CPUtime=401.21 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 36005 0 0 0 40085 36 0 0 20 0 3 0 332819420 284790784 48525 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=278116 CPUtime=400.6 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 10770 0 0 0 40043 17 0 0 20 0 3 0 332819420 284790784 48525 33554432000 4194304 5964478 140736945122496 140563358284080 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 803.83
Current children cumulated vsize (KiB) 278116
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/183 26098
/proc/meminfo: memFree=26691464/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=280780 CPUtime=923.71 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 51981 0 0 0 92329 42 0 0 20 0 3 0 332819417 287518720 52034 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 70195 52034 205 433 0 69759 0
[pid=26068/tid=26070] ppid=26066 vsize=280780 CPUtime=461.04 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 39233 0 0 0 46066 38 0 0 20 0 3 0 332819420 287518720 52034 33554432000 4194304 5964478 140736945122496 140563368773432 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=280780 CPUtime=460.35 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 10841 0 0 0 46018 17 0 0 20 0 3 0 332819420 287518720 52034 33554432000 4194304 5964478 140736945122496 140563358283896 4400628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 923.71
Current children cumulated vsize (KiB) 280780
[startup+522.3 s]
/proc/loadavg: 3.44 3.87 3.88 3/175 26126
/proc/meminfo: memFree=28023720/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=282672 CPUtime=1043.65 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 54662 0 0 0 104319 46 0 0 20 0 3 0 332819417 289456128 54702 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 70668 54702 205 433 0 70232 0
[pid=26068/tid=26070] ppid=26066 vsize=282672 CPUtime=520.86 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 40047 0 0 0 52047 39 0 0 20 0 3 0 332819420 289456128 54702 33554432000 4194304 5964478 140736945122496 140563368773432 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=282672 CPUtime=520.17 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 12708 0 0 0 51996 21 0 0 20 0 3 0 332819420 289456128 54702 33554432000 4194304 5964478 140736945122496 140563358284080 5139118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1043.65
Current children cumulated vsize (KiB) 282672
[startup+582.3 s]
/proc/loadavg: 2.48 3.50 3.75 3/175 26126
/proc/meminfo: memFree=28009248/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=350424 CPUtime=1163.58 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 56857 0 0 0 116310 48 0 0 20 0 3 0 332819417 358834176 58045 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 87606 58045 205 433 0 87170 0
[pid=26068/tid=26070] ppid=26066 vsize=350424 CPUtime=580.7 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 42185 0 0 0 58028 42 0 0 20 0 3 0 332819420 358834176 58045 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=350424 CPUtime=579.97 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 12765 0 0 0 57975 22 0 0 20 0 3 0 332819420 358834176 58045 33554432000 4194304 5964478 140736945122496 140563358284192 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.58
Current children cumulated vsize (KiB) 350424
[startup+642.3 s]
/proc/loadavg: 2.18 3.23 3.64 3/175 26127
/proc/meminfo: memFree=27997208/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=354768 CPUtime=1283.48 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 59822 0 0 0 128298 50 0 0 20 0 3 0 332819417 363282432 61037 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 88692 61037 205 433 0 88256 0
[pid=26068/tid=26070] ppid=26066 vsize=354768 CPUtime=640.55 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 45121 0 0 0 64011 44 0 0 20 0 3 0 332819420 363282432 61037 33554432000 4194304 5964478 140736945122496 140563368773672 4400432 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=354768 CPUtime=639.72 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 12794 0 0 0 63949 23 0 0 20 0 3 0 332819420 363282432 61037 33554432000 4194304 5964478 140736945122496 140563358284080 4403727 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.48
Current children cumulated vsize (KiB) 354768
[startup+702.3 s]
/proc/loadavg: 2.06 3.00 3.53 3/175 26127
/proc/meminfo: memFree=27983072/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=357660 CPUtime=1403.36 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 63387 0 0 0 140285 51 0 0 20 0 3 0 332819417 366243840 64602 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 89415 64602 205 433 0 88979 0
[pid=26068/tid=26070] ppid=26066 vsize=357660 CPUtime=700.39 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 48579 0 0 0 69992 47 0 0 20 0 3 0 332819420 366243840 64602 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=357660 CPUtime=699.47 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 12901 0 0 0 69923 24 0 0 20 0 3 0 332819420 366243840 64602 33554432000 4194304 5964478 140736945122496 140563358284000 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.36
Current children cumulated vsize (KiB) 357660
[startup+762.307 s]
/proc/loadavg: 2.02 2.82 3.43 3/175 26127
/proc/meminfo: memFree=27972560/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=359800 CPUtime=1523.31 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 65789 0 0 0 152276 55 0 0 20 0 3 0 332819417 368435200 67239 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 89950 67239 205 433 0 89514 0
[pid=26068/tid=26070] ppid=26066 vsize=359800 CPUtime=760.24 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 49693 0 0 0 75976 48 0 0 20 0 3 0 332819420 368435200 67239 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=359800 CPUtime=759.27 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 14189 0 0 0 75899 28 0 0 20 0 3 0 332819420 368435200 67239 33554432000 4194304 5964478 140736945122496 140563358284192 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.31
Current children cumulated vsize (KiB) 359800
[startup+822.3 s]
/proc/loadavg: 2.01 2.66 3.34 3/175 26127
/proc/meminfo: memFree=27958548/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=363120 CPUtime=1643.18 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 69219 0 0 0 164260 58 0 0 20 0 3 0 332819417 371834880 70669 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 90780 70669 205 433 0 90344 0
[pid=26068/tid=26070] ppid=26066 vsize=363120 CPUtime=820.08 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 52930 0 0 0 81956 52 0 0 20 0 3 0 332819420 371834880 70669 33554432000 4194304 5964478 140736945122496 140563368773672 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=363120 CPUtime=819 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 14382 0 0 0 81871 29 0 0 20 0 3 0 332819420 371834880 70669 33554432000 4194304 5964478 140736945122496 140563358284192 4399862 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.18
Current children cumulated vsize (KiB) 363120
[startup+882.3 s]
/proc/loadavg: 2.04 2.55 3.26 3/176 26130
/proc/meminfo: memFree=27937572/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=366412 CPUtime=1763.15 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 74512 0 0 0 176246 69 0 0 20 0 3 0 332819417 375205888 75969 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 91603 75969 205 433 0 91167 0
[pid=26068/tid=26070] ppid=26066 vsize=366412 CPUtime=879.92 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 53602 0 0 0 87938 54 0 0 20 0 3 0 332819420 375205888 75969 33554432000 4194304 5964478 140736945122496 140563368773672 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=366412 CPUtime=878.85 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 19003 0 0 0 87844 41 0 0 20 0 3 0 332819420 375205888 75969 33554432000 4194304 5964478 140736945122496 140563358284088 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.15
Current children cumulated vsize (KiB) 366412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.8 s]
/proc/loadavg: 2.03 2.53 3.24 3/175 26130
/proc/meminfo: memFree=27933672/32873844 swapFree=7124/7124
[pid=26068] ppid=26066 vsize=432092 CPUtime=1800.17 cores=1,3,5,7
/proc/26068/stat : 26068 (pwbo2.02) S 26066 26068 25363 0 -1 4202496 75483 0 0 0 179946 71 0 0 20 0 3 0 332819417 442462208 76940 33554432000 4194304 5964478 140736945122496 140736945122016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26068/statm: 108023 76940 205 433 0 107587 0
[pid=26068/tid=26070] ppid=26066 vsize=432092 CPUtime=898.39 cores=1,3,5,7
/proc/26068/task/26070/stat : 26070 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 53727 0 0 0 89785 54 0 0 20 0 3 0 332819420 442462208 76940 33554432000 4194304 5964478 140736945122496 140563368773672 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26068/tid=26071] ppid=26066 vsize=432092 CPUtime=897.31 cores=1,3,5,7
/proc/26068/task/26071/stat : 26071 (pwbo2.02) R 26066 26068 25363 0 -1 4202560 19849 0 0 0 89689 42 0 0 20 0 3 0 332819420 442462208 76940 33554432000 4194304 5964478 140736945122496 140563358284088 4379412 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 432092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26068 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=787150
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=991849
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.828
CPU time (s): 1800.17
CPU user time (s): 1799.46
CPU system time (s): 0.71
CPU usage (%): 199.835
Max. virtual memory (cumulated for all children) (KiB): 432092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 0.991849
maximum resident set size= 307764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75484
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= 577
involuntary context switches= 2636
runsolver used 2.11168 second user time and 5.63514 second system time
The end