runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500058-1307989672/watcher-3500058-1307989672 -o /var/tmp/evaluation-result-3500058-1307989672/solver-3500058-1307989672 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500058-1307989672.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: 2.01 2.00 1.96 3/179 16006
/proc/meminfo: memFree=30139320/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=0 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 525 0 0 0 0 0 0 0 25 0 3 0 910565975 138219520 472 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 476 181 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 97 0 0 0 0 0 0 0 25 0 3 0 910565975 138219520 480 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=0 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 50 0 0 0 0 0 0 0 25 0 3 0 910565975 138219520 480 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.049479 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 16006
/proc/meminfo: memFree=30139320/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=0.08 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 944 0 0 0 8 0 0 0 25 0 3 0 910565975 138219520 891 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 891 181 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=0.04 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 408 0 0 0 4 0 0 0 25 0 3 0 910565975 138219520 891 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=0.04 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 150 0 0 0 4 0 0 0 25 0 3 0 910565975 138219520 891 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 134980
[startup+0.10047 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 16006
/proc/meminfo: memFree=30139320/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=0.18 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 1259 0 0 0 17 1 0 0 25 0 3 0 910565975 138219520 1179 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 1179 181 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=0.09 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 642 0 0 0 8 1 0 0 25 0 3 0 910565975 138219520 1179 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=0.09 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 231 0 0 0 9 0 0 0 25 0 3 0 910565975 138219520 1179 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134980
[startup+0.300435 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 16006
/proc/meminfo: memFree=30139320/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=0.58 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 2039 0 0 0 54 4 0 0 25 0 3 0 910565975 138219520 1799 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 1799 181 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=0.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 1133 0 0 0 26 3 0 0 25 0 3 0 910565975 138219520 1799 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=0.29 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 520 0 0 0 28 1 0 0 25 0 3 0 910565975 138219520 1799 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134980
[startup+0.700363 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 16006
/proc/meminfo: memFree=30139320/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=135268 CPUtime=1.39 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 3193 0 0 0 129 10 0 0 25 0 3 0 910565975 138514432 2390 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33817 2390 181 372 0 33442 0
[pid=16006/tid=16007] ppid=16004 vsize=135268 CPUtime=0.69 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 1980 0 0 0 62 7 0 0 25 0 3 0 910565975 138514432 2390 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=135268 CPUtime=0.69 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 827 0 0 0 67 2 0 0 25 0 3 0 910565975 138514432 2390 33554432000 4194304 5714118 140735749441936 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) 135268
[startup+1.50022 s]
/proc/loadavg: 2.16 2.04 1.97 5/182 16009
/proc/meminfo: memFree=30119300/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=2.98 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 4164 0 0 0 283 15 0 0 25 0 3 0 910565975 138219520 3307 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 3307 181 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=1.49 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 2764 0 0 0 138 11 0 0 25 0 3 0 910565975 138219520 3307 33554432000 4194304 5714118 140735749441936 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=1.49 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 1014 0 0 0 145 4 0 0 25 0 3 0 910565975 138219520 3307 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 134980
[startup+3.10094 s]
/proc/loadavg: 2.16 2.04 1.97 5/182 16009
/proc/meminfo: memFree=30111860/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=135836 CPUtime=6.19 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 4980 0 0 0 598 21 0 0 25 0 3 0 910565975 139096064 3932 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33959 3932 182 372 0 33584 0
[pid=16006/tid=16007] ppid=16004 vsize=135836 CPUtime=3.09 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 3266 0 0 0 295 14 0 0 25 0 3 0 910565975 139096064 3932 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=135836 CPUtime=3.09 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 1328 0 0 0 303 6 0 0 25 0 3 0 910565975 139096064 3932 33554432000 4194304 5714118 140735749441936 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) 135836
[startup+6.30036 s]
/proc/loadavg: 2.16 2.04 1.97 5/182 16009
/proc/meminfo: memFree=30100224/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=12.59 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 6503 0 0 0 1228 31 0 0 25 0 3 0 910565975 138219520 5290 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 5290 182 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=6.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 4684 0 0 0 611 18 0 0 25 0 3 0 910565975 138219520 5290 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319167 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=6.28 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 1433 0 0 0 616 12 0 0 25 0 3 0 910565975 138219520 5290 33554432000 4194304 5714118 140735749441936 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) 134980
[startup+12.7002 s]
/proc/loadavg: 2.45 2.10 1.99 5/182 16009
/proc/meminfo: memFree=30094096/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=25.39 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 6857 0 0 0 2493 46 0 0 25 0 3 0 910565975 138219520 5644 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 5644 182 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=12.69 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 4685 0 0 0 1246 23 0 0 25 0 3 0 910565975 138219520 5644 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=12.69 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 1786 0 0 0 1246 23 0 0 25 0 3 0 910565975 138219520 5644 33554432000 4194304 5714118 140735749441936 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) 134980
[startup+25.5009 s]
/proc/loadavg: 2.68 2.16 2.01 5/182 16010
/proc/meminfo: memFree=30064096/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=134980 CPUtime=50.99 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 10411 0 0 0 5020 79 0 0 25 0 3 0 910565975 138219520 9198 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33745 9198 182 372 0 33370 0
[pid=16006/tid=16007] ppid=16004 vsize=134980 CPUtime=25.49 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 7932 0 0 0 2514 35 0 0 25 0 3 0 910565975 138219520 9198 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=134980 CPUtime=25.49 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 2093 0 0 0 2506 43 0 0 25 0 3 0 910565975 138219520 9198 33554432000 4194304 5714118 140735749441936 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 134980
[startup+51.1004 s]
/proc/loadavg: 3.13 2.31 2.06 5/182 16010
/proc/meminfo: memFree=30035128/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=135120 CPUtime=102.19 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 14726 0 0 0 10085 134 0 0 25 0 3 0 910565975 138362880 13513 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 33780 13513 182 372 0 33405 0
[pid=16006/tid=16007] ppid=16004 vsize=135120 CPUtime=51.08 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 11869 0 0 0 5055 53 0 0 25 0 3 0 910565975 138362880 13513 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=135120 CPUtime=51.09 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 2471 0 0 0 5029 80 0 0 25 0 3 0 910565975 138362880 13513 33554432000 4194304 5714118 140735749441936 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) 135120
[startup+102.306 s]
/proc/loadavg: 3.65 2.59 2.17 5/182 16172
/proc/meminfo: memFree=30008720/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=200796 CPUtime=204.6 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 23175 0 0 0 20210 250 0 0 25 0 3 0 910565975 205615104 21962 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 50199 21962 182 372 0 49824 0
[pid=16006/tid=16007] ppid=16004 vsize=200796 CPUtime=102.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 19410 0 0 0 10136 93 0 0 25 0 3 0 910565975 205615104 21962 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=200796 CPUtime=102.29 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 3379 0 0 0 10073 156 0 0 25 0 3 0 910565975 205615104 21962 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 200796
[startup+162.301 s]
/proc/loadavg: 3.87 2.84 2.28 5/182 16213
/proc/meminfo: memFree=29963944/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=200796 CPUtime=324.59 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 32815 0 0 0 32066 393 0 0 25 0 3 0 910565975 205615104 31602 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 50199 31602 182 372 0 49824 0
[pid=16006/tid=16007] ppid=16004 vsize=200796 CPUtime=162.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 28747 0 0 0 16086 143 0 0 25 0 3 0 910565975 205615104 31602 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319359 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=200796 CPUtime=162.3 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 3682 0 0 0 15980 250 0 0 25 0 3 0 910565975 205615104 31602 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 200796
[startup+222.301 s]
/proc/loadavg: 3.95 3.05 2.39 5/182 16215
/proc/meminfo: memFree=29907608/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=266976 CPUtime=444.59 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 38743 0 0 0 43970 489 0 0 25 0 3 0 910565975 273383424 37428 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66744 37428 182 372 0 66369 0
[pid=16006/tid=16007] ppid=16004 vsize=266976 CPUtime=222.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 34455 0 0 0 22059 170 0 0 25 0 3 0 910565975 273383424 37428 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=266976 CPUtime=222.29 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 3902 0 0 0 21911 318 0 0 25 0 3 0 910565975 273383424 37428 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 266976
[startup+282.301 s]
/proc/loadavg: 3.98 3.22 2.49 5/182 16216
/proc/meminfo: memFree=29891820/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267112 CPUtime=564.6 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 39528 0 0 0 55866 594 0 0 25 0 3 0 910565975 273522688 38191 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66778 38191 182 372 0 66403 0
[pid=16006/tid=16007] ppid=16004 vsize=267112 CPUtime=282.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 34496 0 0 0 28035 194 0 0 25 0 3 0 910565975 273522688 38191 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267112 CPUtime=282.3 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 4646 0 0 0 27830 400 0 0 25 0 3 0 910565975 273522688 38191 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 267112
[startup+342.3 s]
/proc/loadavg: 3.99 3.36 2.58 5/182 16218
/proc/meminfo: memFree=29886064/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267112 CPUtime=684.6 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 40209 0 0 0 67758 702 0 0 25 0 3 0 910565975 273522688 38872 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66778 38872 182 372 0 66403 0
[pid=16006/tid=16007] ppid=16004 vsize=267112 CPUtime=342.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 34556 0 0 0 34013 216 0 0 25 0 3 0 910565975 273522688 38872 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267112 CPUtime=342.3 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5267 0 0 0 33744 486 0 0 25 0 3 0 910565975 273522688 38872 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 267112
[startup+402.301 s]
/proc/loadavg: 3.99 3.47 2.66 5/182 16220
/proc/meminfo: memFree=29880684/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267112 CPUtime=804.6 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 40326 0 0 0 79647 813 0 0 25 0 3 0 910565975 273522688 38989 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66778 38989 182 372 0 66403 0
[pid=16006/tid=16007] ppid=16004 vsize=267112 CPUtime=402.29 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 34584 0 0 0 39989 240 0 0 25 0 3 0 910565975 273522688 38989 33554432000 4194304 5714118 140735749441936 18446744073709551615 4310588 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267112 CPUtime=402.29 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5356 0 0 0 39657 572 0 0 25 0 3 0 910565975 273522688 38989 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 267112
[startup+462.301 s]
/proc/loadavg: 3.99 3.57 2.74 5/182 16221
/proc/meminfo: memFree=29874420/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267740 CPUtime=924.61 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 40689 0 0 0 91525 936 0 0 25 0 3 0 910565975 274165760 39351 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66935 39351 182 372 0 66560 0
[pid=16006/tid=16007] ppid=16004 vsize=267740 CPUtime=462.3 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 34626 0 0 0 45961 269 0 0 25 0 3 0 910565975 274165760 39351 33554432000 4194304 5714118 140735749441936 18446744073709551615 4322713 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267740 CPUtime=462.3 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5677 0 0 0 45563 667 0 0 25 0 3 0 910565975 274165760 39351 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 267740
[startup+522.3 s]
/proc/loadavg: 3.99 3.64 2.82 5/182 16223
/proc/meminfo: memFree=29864836/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267740 CPUtime=1044.61 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 42664 0 0 0 103383 1078 0 0 25 0 3 0 910565975 274165760 41326 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66935 41326 182 372 0 66560 0
[pid=16006/tid=16007] ppid=16004 vsize=267740 CPUtime=522.3 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 36599 0 0 0 51926 304 0 0 25 0 3 0 910565975 274165760 41326 33554432000 4194304 5714118 140735749441936 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267740 CPUtime=522.3 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5679 0 0 0 51456 774 0 0 25 0 3 0 910565975 274165760 41326 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 267740
[startup+582.301 s]
/proc/loadavg: 4.04 3.72 2.90 5/182 16224
/proc/meminfo: memFree=29822748/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267740 CPUtime=1164.62 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 48107 0 0 0 115251 1211 0 0 25 0 3 0 910565975 274165760 46768 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66935 46768 182 372 0 66560 0
[pid=16006/tid=16007] ppid=16004 vsize=267740 CPUtime=582.3 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 42039 0 0 0 57888 342 0 0 25 0 3 0 910565975 274165760 46768 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319088 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267740 CPUtime=582.3 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5682 0 0 0 57362 868 0 0 25 0 3 0 910565975 274165760 46768 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 267740
[startup+642.301 s]
/proc/loadavg: 4.01 3.77 2.96 5/182 16226
/proc/meminfo: memFree=29781528/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=267740 CPUtime=1284.63 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 53602 0 0 0 127127 1336 0 0 25 0 3 0 910565975 274165760 52263 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 66935 52263 182 372 0 66560 0
[pid=16006/tid=16007] ppid=16004 vsize=267740 CPUtime=642.3 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 47523 0 0 0 63856 374 0 0 25 0 3 0 910565975 274165760 52263 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=267740 CPUtime=642.31 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5693 0 0 0 63270 961 0 0 25 0 3 0 910565975 274165760 52263 33554432000 4194304 5714118 140735749441936 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 267740
[startup+702.3 s]
/proc/loadavg: 4.08 3.82 3.03 5/182 16228
/proc/meminfo: memFree=29753820/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=333276 CPUtime=1404.62 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 58201 0 0 0 139006 1456 0 0 25 0 3 0 910565975 341274624 56862 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 83319 56862 182 372 0 82944 0
[pid=16006/tid=16007] ppid=16004 vsize=333276 CPUtime=702.31 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 52119 0 0 0 69827 404 0 0 25 0 3 0 910565975 341274624 56862 33554432000 4194304 5714118 140735749441936 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=333276 CPUtime=702.31 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 5696 0 0 0 69179 1052 0 0 25 0 3 0 910565975 341274624 56862 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 333276
[startup+762.307 s]
/proc/loadavg: 4.03 3.85 3.09 5/182 16229
/proc/meminfo: memFree=29740512/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=333276 CPUtime=1524.63 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 61173 0 0 0 150904 1559 0 0 25 0 3 0 910565975 341274624 59833 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 83319 59833 182 372 0 82944 0
[pid=16006/tid=16007] ppid=16004 vsize=333276 CPUtime=762.31 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 54784 0 0 0 75807 424 0 0 25 0 3 0 910565975 341274624 59833 33554432000 4194304 5714118 140735749441936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=333276 CPUtime=762.31 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 6003 0 0 0 75097 1134 0 0 25 0 3 0 910565975 341274624 59833 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 333276
[startup+822.301 s]
/proc/loadavg: 4.01 3.88 3.14 5/182 16231
/proc/meminfo: memFree=29722728/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=333276 CPUtime=1644.63 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 65710 0 0 0 162783 1680 0 0 25 0 3 0 910565975 341274624 64370 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 83319 64370 182 372 0 82944 0
[pid=16006/tid=16007] ppid=16004 vsize=333276 CPUtime=822.31 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 58943 0 0 0 81771 460 0 0 25 0 3 0 910565975 341274624 64370 33554432000 4194304 5714118 140735749441936 18446744073709551615 4319088 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=333276 CPUtime=822.31 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 6381 0 0 0 81011 1220 0 0 25 0 3 0 910565975 341274624 64370 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 333276
[startup+882.301 s]
/proc/loadavg: 4.00 3.90 3.19 5/182 16232
/proc/meminfo: memFree=29697384/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=333932 CPUtime=1764.63 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 71691 0 0 0 174667 1796 0 0 25 0 3 0 910565975 341946368 70351 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 83483 70351 182 372 0 83108 0
[pid=16006/tid=16007] ppid=16004 vsize=333932 CPUtime=882.31 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 64806 0 0 0 87730 501 0 0 25 0 3 0 910565975 341946368 70351 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=333932 CPUtime=882.31 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 6499 0 0 0 86936 1295 0 0 25 0 3 0 910565975 341946368 70351 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 333932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.90 3.21 5/182 16233
/proc/meminfo: memFree=29687944/32950928 swapFree=67048888/67111528
[pid=16006] ppid=16004 vsize=399468 CPUtime=1800.04 cores=1,3,5,7
/proc/16006/stat : 16006 (pwbo1.1) S 16004 16006 15608 0 -1 4202496 74038 0 0 0 178174 1830 0 0 25 0 3 0 910565975 409055232 72698 33554432000 4194304 5714118 140735749441936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/16006/statm: 99867 72698 182 372 0 99492 0
[pid=16006/tid=16007] ppid=16004 vsize=399468 CPUtime=900.01 cores=1,3,5,7
/proc/16006/task/16007/stat : 16007 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 67046 0 0 0 89489 512 0 0 25 0 3 0 910565975 409055232 72698 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16006/tid=16008] ppid=16004 vsize=399468 CPUtime=900.02 cores=1,3,5,7
/proc/16006/task/16008/stat : 16008 (pwbo1.1) R 16004 16006 15608 0 -1 4202560 6606 0 0 0 88685 1317 0 0 25 0 3 0 910565975 409055232 72698 33554432000 4194304 5714118 140735749441936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 399468
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.026
CPU time (s): 1800.07
CPU user time (s): 1781.76
CPU system time (s): 18.3172
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 399468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.76
system time used= 18.3172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74046
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= 50
involuntary context switches= 13189
runsolver used 1.37679 second user time and 3.21351 second system time
The end