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-3500764-1307998066/watcher-3500764-1307998066 -o /var/tmp/evaluation-result-3500764-1307998066/solver-3500764-1307998066 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500764-1307998066.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.06 3.97 3.85 3/179 1209
/proc/meminfo: memFree=3889956/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=2280 CPUtime=0 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) R 1207 1209 30934 0 -1 4202496 340 0 0 0 0 0 0 0 25 0 1 0 911407539 2334720 292 33554432000 4194304 5714118 140737149658560 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1209/statm: 570 293 160 372 0 184 0
[pid=1209/tid=1210] ppid=1207 vsize=69824 CPUtime=0 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 36 0 0 0 0 0 0 0 25 0 3 0 911407540 71499776 464 33554432000 4194304 5714118 140737149658560 18446744073709551615 4444337 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=69824 CPUtime=0 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 911407540 71499776 466 33554432000 4194304 5714118 140737149658560 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0261441 s]
/proc/loadavg: 4.06 3.97 3.85 3/179 1209
/proc/meminfo: memFree=3889956/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=135360 CPUtime=0.04 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 896 0 0 0 4 0 0 0 25 0 3 0 911407539 138608640 837 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 33840 838 181 372 0 33465 0
[pid=1209/tid=1210] ppid=1207 vsize=135360 CPUtime=0.01 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 293 0 0 0 1 0 0 0 18 0 3 0 911407540 138608640 838 33554432000 4194304 5714118 140737149658560 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=135360 CPUtime=0.01 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 117 0 0 0 1 0 0 0 18 0 3 0 911407540 138608640 838 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 135360
[startup+0.101107 s]
/proc/loadavg: 4.06 3.97 3.85 3/179 1209
/proc/meminfo: memFree=3889956/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=135360 CPUtime=0.19 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 1358 0 0 0 18 1 0 0 25 0 3 0 911407539 138608640 1299 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 33840 1299 181 372 0 33465 0
[pid=1209/tid=1210] ppid=1207 vsize=135360 CPUtime=0.08 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 603 0 0 0 8 0 0 0 18 0 3 0 911407540 138608640 1299 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=135360 CPUtime=0.08 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 268 0 0 0 8 0 0 0 18 0 3 0 911407540 138608640 1299 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135360
[startup+0.301069 s]
/proc/loadavg: 4.06 3.97 3.85 3/179 1209
/proc/meminfo: memFree=3889956/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=135360 CPUtime=0.58 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 2065 0 0 0 56 2 0 0 25 0 3 0 911407539 138608640 2006 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 33840 2006 181 372 0 33465 0
[pid=1209/tid=1210] ppid=1207 vsize=135360 CPUtime=0.28 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 845 0 0 0 27 1 0 0 18 0 3 0 911407540 138608640 2006 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=135360 CPUtime=0.28 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 733 0 0 0 27 1 0 0 18 0 3 0 911407540 138608640 2006 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135360
[startup+0.700997 s]
/proc/loadavg: 4.06 3.97 3.85 3/179 1209
/proc/meminfo: memFree=3889956/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=135636 CPUtime=1.38 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 2957 0 0 0 132 6 0 0 25 0 3 0 911407539 138891264 2898 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 33909 2898 181 372 0 33534 0
[pid=1209/tid=1210] ppid=1207 vsize=135636 CPUtime=0.68 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 1348 0 0 0 65 3 0 0 18 0 3 0 911407540 138891264 2898 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=135636 CPUtime=0.68 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 1122 0 0 0 66 2 0 0 18 0 3 0 911407540 138891264 2898 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135636
[startup+1.50087 s]
/proc/loadavg: 4.05 3.97 3.85 5/182 1212
/proc/meminfo: memFree=3877680/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=135920 CPUtime=2.98 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 3885 0 0 0 288 10 0 0 25 0 3 0 911407539 139182080 3826 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 33980 3826 181 372 0 33605 0
[pid=1209/tid=1210] ppid=1207 vsize=135920 CPUtime=1.48 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 1860 0 0 0 144 4 0 0 20 0 3 0 911407540 139182080 3826 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=135920 CPUtime=1.48 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 1538 0 0 0 143 5 0 0 20 0 3 0 911407540 139182080 3826 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135920
[startup+3.10057 s]
/proc/loadavg: 4.05 3.97 3.85 5/182 1212
/proc/meminfo: memFree=3873340/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=135912 CPUtime=6.19 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 4765 0 0 0 601 18 0 0 25 0 3 0 911407539 139173888 4680 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 33978 4680 182 372 0 33603 0
[pid=1209/tid=1210] ppid=1207 vsize=135912 CPUtime=3.08 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 1957 0 0 0 301 7 0 0 25 0 3 0 911407540 139173888 4680 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=135912 CPUtime=3.08 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 2321 0 0 0 298 10 0 0 25 0 3 0 911407540 139173888 4680 33554432000 4194304 5714118 140737149658560 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135912
[startup+6.30101 s]
/proc/loadavg: 4.05 3.97 3.85 5/182 1213
/proc/meminfo: memFree=3870052/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=136504 CPUtime=12.59 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 5444 0 0 0 1234 25 0 0 25 0 3 0 911407539 139780096 5359 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 34126 5359 182 372 0 33751 0
[pid=1209/tid=1210] ppid=1207 vsize=136504 CPUtime=6.28 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 2405 0 0 0 617 11 0 0 25 0 3 0 911407540 139780096 5359 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=136504 CPUtime=6.28 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 2552 0 0 0 616 12 0 0 25 0 3 0 911407540 139780096 5359 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 136504
[startup+12.7009 s]
/proc/loadavg: 4.04 3.97 3.85 5/182 1213
/proc/meminfo: memFree=3860388/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=137088 CPUtime=25.39 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 7293 0 0 0 2502 37 0 0 25 0 3 0 911407539 140378112 7208 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 34272 7208 182 372 0 33897 0
[pid=1209/tid=1210] ppid=1207 vsize=137088 CPUtime=12.69 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 3440 0 0 0 1252 17 0 0 25 0 3 0 911407540 140378112 7208 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319804 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=137088 CPUtime=12.69 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 3366 0 0 0 1249 20 0 0 25 0 3 0 911407540 140378112 7208 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137088
[startup+25.5006 s]
/proc/loadavg: 4.03 3.97 3.85 5/182 1213
/proc/meminfo: memFree=3818952/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=138180 CPUtime=50.98 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 11025 0 0 0 5033 65 0 0 25 0 3 0 911407539 141496320 10933 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 34545 10933 182 372 0 34170 0
[pid=1209/tid=1210] ppid=1207 vsize=138180 CPUtime=25.49 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 5302 0 0 0 2520 29 0 0 25 0 3 0 911407540 141496320 10933 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=138180 CPUtime=25.49 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 5236 0 0 0 2513 36 0 0 25 0 3 0 911407540 141496320 10933 33554432000 4194304 5714118 140737149658560 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 138180
[startup+51.1011 s]
/proc/loadavg: 4.02 3.97 3.85 5/182 1214
/proc/meminfo: memFree=3806312/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=139344 CPUtime=102.18 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 13911 0 0 0 10103 115 0 0 25 0 3 0 911407539 142688256 13773 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 34836 13773 182 372 0 34461 0
[pid=1209/tid=1210] ppid=1207 vsize=139344 CPUtime=51.09 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 6526 0 0 0 5053 56 0 0 25 0 3 0 911407540 142688256 13773 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=139344 CPUtime=51.08 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 6898 0 0 0 5049 59 0 0 25 0 3 0 911407540 142688256 13773 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 139344
[startup+102.306 s]
/proc/loadavg: 4.01 3.97 3.86 5/182 1215
/proc/meminfo: memFree=3783836/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=141440 CPUtime=204.6 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 19066 0 0 0 20218 242 0 0 25 0 3 0 911407539 144834560 18928 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 35360 18928 182 372 0 34985 0
[pid=1209/tid=1210] ppid=1207 vsize=141440 CPUtime=102.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 10140 0 0 0 10103 127 0 0 25 0 3 0 911407540 144834560 18928 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=141440 CPUtime=102.28 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 8439 0 0 0 10114 114 0 0 25 0 3 0 911407540 144834560 18928 33554432000 4194304 5714118 140737149658560 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 141440
[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.86 5/182 1217
/proc/meminfo: memFree=3732936/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=208272 CPUtime=324.58 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 31253 0 0 0 32109 349 0 0 25 0 3 0 911407539 213270528 31107 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 52068 31107 182 372 0 51693 0
[pid=1209/tid=1210] ppid=1207 vsize=208272 CPUtime=162.29 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 19814 0 0 0 16038 191 0 0 25 0 3 0 911407540 213270528 31107 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=208272 CPUtime=162.28 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 10952 0 0 0 16071 157 0 0 25 0 3 0 911407540 213270528 31107 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 208272
[startup+222.301 s]
/proc/loadavg: 4.00 3.97 3.87 5/182 1218
/proc/meminfo: memFree=3698672/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=208820 CPUtime=444.59 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 37189 0 0 0 44032 427 0 0 25 0 3 0 911407539 213831680 37042 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 52205 37042 182 372 0 51830 0
[pid=1209/tid=1210] ppid=1207 vsize=208820 CPUtime=222.29 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 24835 0 0 0 21992 237 0 0 25 0 3 0 911407540 213831680 37042 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=208820 CPUtime=222.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 11867 0 0 0 22040 189 0 0 25 0 3 0 911407540 213831680 37042 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 208820
[startup+282.301 s]
/proc/loadavg: 3.26 3.80 3.81 3/174 1245
/proc/meminfo: memFree=4300616/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=209476 CPUtime=564.6 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 45433 0 0 0 55912 548 0 0 25 0 3 0 911407539 214503424 45265 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 52369 45265 182 372 0 51994 0
[pid=1209/tid=1210] ppid=1207 vsize=209476 CPUtime=282.29 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 32429 0 0 0 27923 306 0 0 25 0 3 0 911407540 214503424 45265 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=209476 CPUtime=282.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 12517 0 0 0 27988 241 0 0 25 0 3 0 911407540 214503424 45265 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 209476
[startup+342.301 s]
/proc/loadavg: 2.46 3.46 3.70 3/174 1247
/proc/meminfo: memFree=4266220/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=277280 CPUtime=684.6 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 54183 0 0 0 67784 676 0 0 25 0 3 0 911407539 283934720 53951 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 69320 53951 182 372 0 68945 0
[pid=1209/tid=1210] ppid=1207 vsize=277280 CPUtime=342.29 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 39775 0 0 0 33856 373 0 0 25 0 3 0 911407540 283934720 53951 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=277280 CPUtime=342.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 13921 0 0 0 33927 302 0 0 25 0 3 0 911407540 283934720 53951 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 277280
[startup+402.301 s]
/proc/loadavg: 2.17 3.20 3.59 3/174 1248
/proc/meminfo: memFree=4233680/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=283080 CPUtime=804.6 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 62692 0 0 0 79656 804 0 0 25 0 3 0 911407539 289873920 62026 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 70770 62026 182 372 0 70395 0
[pid=1209/tid=1210] ppid=1207 vsize=283080 CPUtime=402.29 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 47351 0 0 0 39791 438 0 0 25 0 3 0 911407540 289873920 62026 33554432000 4194304 5714118 140737149658560 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=283080 CPUtime=402.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 14854 0 0 0 39864 365 0 0 25 0 3 0 911407540 289873920 62026 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 283080
[startup+462.3 s]
/proc/loadavg: 2.06 2.98 3.49 3/174 1250
/proc/meminfo: memFree=4216044/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=349016 CPUtime=924.6 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 67137 0 0 0 91546 914 0 0 25 0 3 0 911407539 357392384 66470 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 87254 66470 182 372 0 86879 0
[pid=1209/tid=1210] ppid=1207 vsize=349016 CPUtime=462.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 51610 0 0 0 45738 492 0 0 25 0 3 0 911407540 357392384 66470 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=349016 CPUtime=462.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 15040 0 0 0 45807 422 0 0 25 0 3 0 911407540 357392384 66470 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 349016
[startup+522.301 s]
/proc/loadavg: 2.02 2.80 3.39 3/174 1251
/proc/meminfo: memFree=4194684/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=350132 CPUtime=1044.6 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 72416 0 0 0 103444 1016 0 0 25 0 3 0 911407539 358535168 71745 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 87533 71745 182 372 0 87158 0
[pid=1209/tid=1210] ppid=1207 vsize=350132 CPUtime=522.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 56790 0 0 0 51688 542 0 0 25 0 3 0 911407540 358535168 71745 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=350132 CPUtime=522.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 15139 0 0 0 51755 474 0 0 25 0 3 0 911407540 358535168 71745 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 350132
[startup+582.301 s]
/proc/loadavg: 2.01 2.65 3.30 3/174 1253
/proc/meminfo: memFree=4168232/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=351476 CPUtime=1164.61 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 79171 0 0 0 115337 1124 0 0 25 0 3 0 911407539 359911424 78478 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 87869 78478 182 372 0 87494 0
[pid=1209/tid=1210] ppid=1207 vsize=351476 CPUtime=582.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 63266 0 0 0 57633 597 0 0 25 0 3 0 911407540 359911424 78478 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=351476 CPUtime=582.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 15418 0 0 0 57703 526 0 0 25 0 3 0 911407540 359911424 78478 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 351476
[startup+642.3 s]
/proc/loadavg: 2.00 2.53 3.22 3/174 1255
/proc/meminfo: memFree=4148460/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=417228 CPUtime=1284.62 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 84034 0 0 0 127225 1237 0 0 25 0 3 0 911407539 427241472 83341 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 104307 83341 182 372 0 103932 0
[pid=1209/tid=1210] ppid=1207 vsize=417228 CPUtime=642.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 68060 0 0 0 63573 657 0 0 25 0 3 0 911407540 427241472 83341 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=417228 CPUtime=642.3 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 15487 0 0 0 63651 579 0 0 25 0 3 0 911407540 427241472 83341 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 417228
[startup+702.301 s]
/proc/loadavg: 2.00 2.43 3.14 3/174 1256
/proc/meminfo: memFree=4117060/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=417228 CPUtime=1404.62 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 91871 0 0 0 139129 1333 0 0 25 0 3 0 911407539 427241472 91178 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 104307 91178 182 372 0 103932 0
[pid=1209/tid=1210] ppid=1207 vsize=417228 CPUtime=702.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 75839 0 0 0 69522 708 0 0 25 0 3 0 911407540 427241472 91178 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=417228 CPUtime=702.3 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 15545 0 0 0 69606 624 0 0 25 0 3 0 911407540 427241472 91178 33554432000 4194304 5714118 140737149658560 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 417228
[startup+762.306 s]
/proc/loadavg: 2.00 2.35 3.06 3/174 1258
/proc/meminfo: memFree=4099288/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=417228 CPUtime=1524.63 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 96276 0 0 0 151054 1409 0 0 25 0 3 0 911407539 427241472 95583 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 104307 95583 182 372 0 103932 0
[pid=1209/tid=1210] ppid=1207 vsize=417228 CPUtime=762.31 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 80044 0 0 0 75479 752 0 0 25 0 3 0 911407540 427241472 95583 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=417228 CPUtime=762.3 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 15745 0 0 0 75574 656 0 0 25 0 3 0 911407540 427241472 95583 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 417228
[startup+822.301 s]
/proc/loadavg: 2.00 2.28 2.99 3/174 1268
/proc/meminfo: memFree=4086856/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=482764 CPUtime=1644.61 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 99785 0 0 0 162973 1488 0 0 25 0 3 0 911407539 494350336 98635 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 120691 98635 182 372 0 120316 0
[pid=1209/tid=1210] ppid=1207 vsize=482764 CPUtime=822.3 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 83088 0 0 0 81433 797 0 0 25 0 3 0 911407540 494350336 98635 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=482764 CPUtime=822.29 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 16210 0 0 0 81539 690 0 0 25 0 3 0 911407540 494350336 98635 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 482764
[startup+882.301 s]
/proc/loadavg: 2.00 2.23 2.93 3/174 1270
/proc/meminfo: memFree=4066740/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=483324 CPUtime=1764.62 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 104821 0 0 0 174879 1583 0 0 25 0 3 0 911407539 494923776 103671 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 120831 103671 182 372 0 120456 0
[pid=1209/tid=1210] ppid=1207 vsize=483324 CPUtime=882.31 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 87939 0 0 0 87377 854 0 0 25 0 3 0 911407540 494923776 103671 33554432000 4194304 5714118 140737149658560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=483324 CPUtime=882.3 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 16395 0 0 0 87502 728 0 0 25 0 3 0 911407540 494923776 103671 33554432000 4194304 5714118 140737149658560 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 483324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 2.00 2.22 2.91 3/174 1270
/proc/meminfo: memFree=4065228/32951124 swapFree=67052292/67111528
[pid=1209] ppid=1207 vsize=483324 CPUtime=1800.03 cores=1,3,5,7
/proc/1209/stat : 1209 (pwbo1.1) S 1207 1209 30934 0 -1 4202496 105208 0 0 0 178391 1612 0 0 25 0 3 0 911407539 494923776 104058 33554432000 4194304 5714118 140737149658560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1209/statm: 120831 104058 182 372 0 120456 0
[pid=1209/tid=1210] ppid=1207 vsize=483324 CPUtime=900.01 cores=1,3,5,7
/proc/1209/task/1210/stat : 1210 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 88318 0 0 0 89129 872 0 0 25 0 3 0 911407540 494923776 104058 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1209/tid=1211] ppid=1207 vsize=483324 CPUtime=900 cores=1,3,5,7
/proc/1209/task/1211/stat : 1211 (pwbo1.1) R 1207 1209 30934 0 -1 4202560 16403 0 0 0 89261 739 0 0 25 0 3 0 911407540 494923776 104058 33554432000 4194304 5714118 140737149658560 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 483324
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.03
CPU time (s): 1800.07
CPU user time (s): 1783.93
CPU system time (s): 16.1415
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 483324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.93
system time used= 16.1415
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105213
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= 60
involuntary context switches= 10982
runsolver used 1.25981 second user time and 3.15252 second system time
The end