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-3500419-1307994997/watcher-3500419-1307994997 -o /tmp/evaluation-result-3500419-1307994997/solver-3500419-1307994997 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500419-1307994997.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.00 4.00 3.94 3/177 31155
/proc/meminfo: memFree=11830840/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=3000 CPUtime=0 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) R 31153 31155 29599 0 -1 4202496 426 0 0 0 0 0 0 0 19 0 1 0 911099352 3072000 378 33554432000 4194304 5714118 140737064071680 18446744073709551615 5013131 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/31155/statm: 750 380 168 372 0 287 0
[startup+0.0762849 s]
/proc/loadavg: 4.00 4.00 3.94 3/177 31155
/proc/meminfo: memFree=11830840/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=154504 CPUtime=0.11 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 7438 0 0 0 10 1 0 0 19 0 3 0 911099352 158212096 7227 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 38626 7231 180 372 0 38251 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 154504
[startup+0.100282 s]
/proc/loadavg: 4.00 4.00 3.94 3/177 31155
/proc/meminfo: memFree=11830840/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=155312 CPUtime=0.16 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 9108 0 0 0 15 1 0 0 19 0 3 0 911099352 159039488 8897 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 38828 8898 180 372 0 38453 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 155312
[startup+0.300246 s]
/proc/loadavg: 4.00 4.00 3.94 3/177 31155
/proc/meminfo: memFree=11830840/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=155856 CPUtime=0.56 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 9505 0 0 0 53 3 0 0 19 0 3 0 911099352 159596544 9254 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 38964 9254 181 372 0 38589 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 155856
[startup+0.70019 s]
/proc/loadavg: 4.00 4.00 3.94 3/177 31155
/proc/meminfo: memFree=11830840/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=155856 CPUtime=1.36 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 10004 0 0 0 128 8 0 0 19 0 3 0 911099352 159596544 9753 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 38964 9754 181 372 0 38589 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 155856
[startup+1.50105 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31158
/proc/meminfo: memFree=11790424/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=155856 CPUtime=2.96 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 11164 0 0 0 282 14 0 0 19 0 3 0 911099352 159596544 10913 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 38964 10913 181 372 0 38589 0
[pid=31155/tid=31157] ppid=31153 vsize=155856 CPUtime=1.46 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 2293 0 0 0 136 10 0 0 20 0 3 0 911099355 159596544 10913 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=155856 CPUtime=1.46 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 8103 0 0 0 143 3 0 0 25 0 3 0 911099355 159596544 10913 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 155856
[startup+3.10076 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31158
/proc/meminfo: memFree=11786468/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=156132 CPUtime=6.16 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 12484 0 0 0 594 22 0 0 19 0 3 0 911099352 159879168 12233 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 39033 12233 181 372 0 38658 0
[pid=31155/tid=31157] ppid=31153 vsize=156132 CPUtime=3.06 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 3437 0 0 0 290 16 0 0 25 0 3 0 911099355 159879168 12233 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=156132 CPUtime=3.05 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 8279 0 0 0 300 5 0 0 25 0 3 0 911099355 159879168 12233 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319896 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 156132
[startup+6.30021 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31158
/proc/meminfo: memFree=11777108/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=156660 CPUtime=12.55 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 14106 0 0 0 1218 37 0 0 19 0 3 0 911099352 160419840 13823 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 39165 13823 182 372 0 38790 0
[pid=31155/tid=31157] ppid=31153 vsize=156660 CPUtime=6.26 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 4435 0 0 0 600 26 0 0 25 0 3 0 911099355 160419840 13823 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=156660 CPUtime=6.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 8903 0 0 0 615 11 0 0 25 0 3 0 911099355 160419840 13823 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 156660
[startup+12.7011 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31158
/proc/meminfo: memFree=11762456/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=156876 CPUtime=25.36 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 17930 0 0 0 2464 72 0 0 19 0 3 0 911099352 160641024 17647 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 39219 17647 182 372 0 38844 0
[pid=31155/tid=31157] ppid=31153 vsize=156876 CPUtime=12.66 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 7930 0 0 0 1214 52 0 0 25 0 3 0 911099355 160641024 17647 33554432000 4194304 5714118 140737064071680 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=156876 CPUtime=12.66 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 9232 0 0 0 1247 19 0 0 25 0 3 0 911099355 160641024 17647 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 156876
[startup+25.5009 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31159
/proc/meminfo: memFree=11737544/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=157008 CPUtime=50.96 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 22813 0 0 0 4983 113 0 0 19 0 3 0 911099352 160776192 22530 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 39252 22530 182 372 0 38877 0
[pid=31155/tid=31157] ppid=31153 vsize=157008 CPUtime=25.46 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 11591 0 0 0 2471 75 0 0 25 0 3 0 911099355 160776192 22530 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=157008 CPUtime=25.46 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 10454 0 0 0 2509 37 0 0 25 0 3 0 911099355 160776192 22530 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 157008
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31160
/proc/meminfo: memFree=11704220/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=222808 CPUtime=102.15 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 30103 0 0 0 10011 204 0 0 19 0 3 0 911099352 228155392 29820 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 55702 29820 182 372 0 55327 0
[pid=31155/tid=31157] ppid=31153 vsize=222808 CPUtime=51.07 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 17223 0 0 0 4971 136 0 0 25 0 3 0 911099355 228155392 29820 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=222808 CPUtime=51.06 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 12112 0 0 0 5038 68 0 0 25 0 3 0 911099355 228155392 29820 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 222808
[startup+102.307 s]
/proc/loadavg: 4.04 4.01 3.94 5/180 31161
/proc/meminfo: memFree=11624700/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=223964 CPUtime=204.57 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 47868 0 0 0 20121 336 0 0 19 0 3 0 911099352 229339136 47585 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 55991 47585 182 372 0 55616 0
[pid=31155/tid=31157] ppid=31153 vsize=223964 CPUtime=102.27 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 27048 0 0 0 10012 215 0 0 25 0 3 0 911099355 229339136 47585 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=223964 CPUtime=102.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 20052 0 0 0 10105 121 0 0 25 0 3 0 911099355 229339136 47585 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 223964
[startup+162.301 s]
/proc/loadavg: 4.01 4.01 3.94 5/180 31162
/proc/meminfo: memFree=11515436/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=355436 CPUtime=324.55 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 73832 0 0 0 31984 471 0 0 19 0 3 0 911099352 363966464 73549 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 88859 73549 182 372 0 88484 0
[pid=31155/tid=31157] ppid=31153 vsize=355436 CPUtime=162.26 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 39529 0 0 0 15924 302 0 0 25 0 3 0 911099355 363966464 73549 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=355436 CPUtime=162.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 33535 0 0 0 16057 169 0 0 25 0 3 0 911099355 363966464 73549 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 355436
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31164
/proc/meminfo: memFree=11395504/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=422016 CPUtime=444.55 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 101154 0 0 0 43850 605 0 0 19 0 3 0 911099352 432144384 100871 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 105504 100871 182 372 0 105129 0
[pid=31155/tid=31157] ppid=31153 vsize=422016 CPUtime=222.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 47804 0 0 0 21837 388 0 0 25 0 3 0 911099355 432144384 100871 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=422016 CPUtime=222.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 52582 0 0 0 22009 217 0 0 25 0 3 0 911099355 432144384 100871 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (KiB) 422016
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31175
/proc/meminfo: memFree=11332552/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=488004 CPUtime=564.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 114573 0 0 0 55708 746 0 0 19 0 3 0 911099352 499716096 114290 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 122001 114290 182 372 0 121626 0
[pid=31155/tid=31157] ppid=31153 vsize=488004 CPUtime=282.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 61113 0 0 0 27726 499 0 0 25 0 3 0 911099355 499716096 114290 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=488004 CPUtime=282.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 52692 0 0 0 27979 247 0 0 25 0 3 0 911099355 499716096 114290 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.54
Current children cumulated vsize (KiB) 488004
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31218
/proc/meminfo: memFree=11403396/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=619792 CPUtime=684.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 126864 0 0 0 67589 865 0 0 19 0 3 0 911099352 634667008 126441 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 154948 126441 182 372 0 154573 0
[pid=31155/tid=31157] ppid=31153 vsize=619792 CPUtime=342.24 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 71610 0 0 0 33623 601 0 0 25 0 3 0 911099355 634667008 126441 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319439 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=619792 CPUtime=342.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 54486 0 0 0 33963 263 0 0 25 0 3 0 911099355 634667008 126441 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.54
Current children cumulated vsize (KiB) 619792
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31219
/proc/meminfo: memFree=11318180/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=620060 CPUtime=804.55 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 129465 0 0 0 79480 975 0 0 19 0 3 0 911099352 634941440 129042 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 155015 129042 182 372 0 154640 0
[pid=31155/tid=31157] ppid=31153 vsize=620060 CPUtime=402.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 71677 0 0 0 39544 681 0 0 25 0 3 0 911099355 634941440 129042 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=620060 CPUtime=402.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 57020 0 0 0 39933 293 0 0 25 0 3 0 911099355 634941440 129042 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.55
Current children cumulated vsize (KiB) 620060
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31220
/proc/meminfo: memFree=11253320/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=620496 CPUtime=924.55 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 129680 0 0 0 91377 1078 0 0 19 0 3 0 911099352 635387904 129257 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 155124 129257 182 372 0 154749 0
[pid=31155/tid=31157] ppid=31153 vsize=620496 CPUtime=462.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 71788 0 0 0 45457 768 0 0 25 0 3 0 911099355 635387904 129257 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=620496 CPUtime=462.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 57124 0 0 0 45917 309 0 0 25 0 3 0 911099355 635387904 129257 33554432000 4194304 5714118 140737064071680 18446744073709551615 4313447 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.55
Current children cumulated vsize (KiB) 620496
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31222
/proc/meminfo: memFree=11144184/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=621540 CPUtime=1044.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 141973 0 0 0 103272 1182 0 0 19 0 3 0 911099352 636456960 141550 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 155385 141550 182 372 0 155010 0
[pid=31155/tid=31157] ppid=31153 vsize=621540 CPUtime=522.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 71928 0 0 0 51385 840 0 0 25 0 3 0 911099355 636456960 141550 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=621540 CPUtime=522.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 69277 0 0 0 51884 342 0 0 25 0 3 0 911099355 636456960 141550 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.54
Current children cumulated vsize (KiB) 621540
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31227
/proc/meminfo: memFree=11007612/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=752744 CPUtime=1164.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 161128 0 0 0 115164 1290 0 0 19 0 3 0 911099352 770809856 160705 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 188186 160705 182 372 0 187811 0
[pid=31155/tid=31157] ppid=31153 vsize=752744 CPUtime=582.24 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 71953 0 0 0 57322 902 0 0 25 0 3 0 911099355 770809856 160705 33554432000 4194304 5714118 140737064071680 18446744073709551615 4322874 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=752744 CPUtime=582.27 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 88407 0 0 0 57839 388 0 0 25 0 3 0 911099355 770809856 160705 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (KiB) 752744
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31229
/proc/meminfo: memFree=10864976/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=819380 CPUtime=1284.56 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 181624 0 0 0 127035 1421 0 0 19 0 3 0 911099352 839045120 181201 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 204845 181201 182 372 0 204470 0
[pid=31155/tid=31157] ppid=31153 vsize=819380 CPUtime=642.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 71994 0 0 0 63240 985 0 0 25 0 3 0 911099355 839045120 181201 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=819380 CPUtime=642.27 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 108862 0 0 0 63792 435 0 0 25 0 3 0 911099355 839045120 181201 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.56
Current children cumulated vsize (KiB) 819380
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31230
/proc/meminfo: memFree=10737868/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=885404 CPUtime=1404.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 200526 0 0 0 138926 1528 0 0 19 0 3 0 911099352 906653696 200103 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 221351 200103 182 372 0 220976 0
[pid=31155/tid=31157] ppid=31153 vsize=885404 CPUtime=702.24 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 74436 0 0 0 69174 1050 0 0 25 0 3 0 911099355 906653696 200103 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=885404 CPUtime=702.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 125322 0 0 0 69749 477 0 0 25 0 3 0 911099355 906653696 200103 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.54
Current children cumulated vsize (KiB) 885404
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31231
/proc/meminfo: memFree=10593516/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=951308 CPUtime=1524.56 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 222962 0 0 0 150815 1641 0 0 19 0 3 0 911099352 974139392 222539 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 237827 222539 182 372 0 237452 0
[pid=31155/tid=31157] ppid=31153 vsize=951308 CPUtime=762.25 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 77385 0 0 0 75104 1121 0 0 25 0 3 0 911099355 974139392 222539 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=951308 CPUtime=762.27 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 144809 0 0 0 75708 519 0 0 25 0 3 0 911099355 974139392 222539 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.56
Current children cumulated vsize (KiB) 951308
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31233
/proc/meminfo: memFree=10451896/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=1084908 CPUtime=1644.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 244550 0 0 0 162710 1744 0 0 19 0 3 0 911099352 1110945792 244127 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 271227 244127 182 372 0 270852 0
[pid=31155/tid=31157] ppid=31153 vsize=1084908 CPUtime=822.24 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 86646 0 0 0 81028 1196 0 0 25 0 3 0 911099355 1110945792 244127 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=1084908 CPUtime=822.27 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 157136 0 0 0 81679 548 0 0 25 0 3 0 911099355 1110945792 244127 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.54
Current children cumulated vsize (KiB) 1084908
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31235
/proc/meminfo: memFree=10310288/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=1150660 CPUtime=1764.54 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 266894 0 0 0 174619 1835 0 0 19 0 3 0 911099352 1178275840 266471 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 287665 266471 182 372 0 287290 0
[pid=31155/tid=31157] ppid=31153 vsize=1150660 CPUtime=882.24 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 93264 0 0 0 86971 1253 0 0 25 0 3 0 911099355 1178275840 266471 33554432000 4194304 5714118 140737064071680 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=1150660 CPUtime=882.26 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 172862 0 0 0 87645 581 0 0 25 0 3 0 911099355 1178275840 266471 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.54
Current children cumulated vsize (KiB) 1150660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31235
/proc/meminfo: memFree=10272336/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=1150980 CPUtime=1800.16 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 272422 0 0 0 178150 1866 0 0 19 0 3 0 911099352 1178603520 271999 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 287745 271999 182 372 0 287370 0
[pid=31155/tid=31157] ppid=31153 vsize=1150980 CPUtime=900.05 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 95198 0 0 0 88730 1275 0 0 25 0 3 0 911099355 1178603520 271999 33554432000 4194304 5714118 140737064071680 18446744073709551615 4322808 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=1150980 CPUtime=900.07 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 176456 0 0 0 89417 590 0 0 25 0 3 0 911099355 1178603520 271999 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1150980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 4.00 4.00 3.94 5/180 31235
/proc/meminfo: memFree=10272336/32951132 swapFree=67054624/67111528
[pid=31155] ppid=31153 vsize=1150980 CPUtime=1800.16 cores=1,3,5,7
/proc/31155/stat : 31155 (pwbo1.1) S 31153 31155 29599 0 -1 4202496 272422 0 0 0 178150 1866 0 0 19 0 3 0 911099352 1178603520 271999 33554432000 4194304 5714118 140737064071680 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/31155/statm: 287745 271999 182 372 0 287370 0
[pid=31155/tid=31157] ppid=31153 vsize=1150980 CPUtime=900.05 cores=1,3,5,7
/proc/31155/task/31157/stat : 31157 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 95198 0 0 0 88730 1275 0 0 25 0 3 0 911099355 1178603520 271999 33554432000 4194304 5714118 140737064071680 18446744073709551615 4322808 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31155/tid=31158] ppid=31153 vsize=1150980 CPUtime=900.07 cores=1,3,5,7
/proc/31155/task/31158/stat : 31158 (pwbo1.1) R 31153 31155 29599 0 -1 4202560 176456 0 0 0 89417 590 0 0 25 0 3 0 911099355 1178603520 271999 33554432000 4194304 5714118 140737064071680 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1150980
Child status: 0
Real time (s): 900.15
CPU time (s): 1800.21
CPU user time (s): 1781.51
CPU system time (s): 18.7022
CPU usage (%): 199.99
Max. virtual memory (cumulated for all children) (KiB): 1150980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.51
system time used= 18.7022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272428
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= 356
involuntary context switches= 12711
runsolver used 1.2938 second user time and 3.03454 second system time
The end