4.09/4.12 c SCIP version 1.1.0.7
4.09/4.12 c LP-Solver SoPlex 1.4.1
4.09/4.12 c user parameter file <scip.set> not found - using default parameters
4.09/4.12 c read problem <HOME/instance-3743300-1338804248.opb>
4.09/4.12 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.49/5.56 c start presolving problem
5.49/5.56 c presolving:
8.39/8.45 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.38/11.41 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81778 impls, 1978 clqs
11.89/11.96 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81786 impls, 1978 clqs
65.38/65.46 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12227162 impls, 1978 clqs
65.58/65.67 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231168 impls, 1978 clqs
66.58/66.60 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256858 impls, 1978 clqs
66.78/66.81 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256866 impls, 1978 clqs
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-3743300-1338804248/watcher-3743300-1338804248 -o /tmp/evaluation-result-3743300-1338804248/solver-3743300-1338804248 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743300-1338804248.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.00 1.99 1.93 3/176 7169
/proc/meminfo: memFree=29800872/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=8948 CPUtime=0 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 346550761 9162752 1513 33554432000 4194304 7823515 140734586768416 140735285164504 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 2237 1525 349 887 0 1347 0
[startup+0.0607961 s]
/proc/loadavg: 2.00 1.99 1.93 3/176 7169
/proc/meminfo: memFree=29800872/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=23256 CPUtime=0.05 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 5189 0 0 0 5 0 0 0 20 0 1 0 346550761 23814144 5141 33554432000 4194304 7823515 140734586768416 140734586633016 5879248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 5814 5141 354 887 0 4924 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23256
[startup+0.100275 s]
/proc/loadavg: 2.00 1.99 1.93 3/176 7169
/proc/meminfo: memFree=29800872/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=29136 CPUtime=0.08 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 6659 0 0 0 8 0 0 0 20 0 1 0 346550761 29835264 6611 33554432000 4194304 7823515 140734586768416 140734586633016 4512305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 7284 6611 354 887 0 6394 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29136
[startup+0.300229 s]
/proc/loadavg: 2.00 1.99 1.93 3/176 7169
/proc/meminfo: memFree=29800872/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=54052 CPUtime=0.29 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 12851 0 0 0 28 1 0 0 20 0 1 0 346550761 55349248 12803 33554432000 4194304 7823515 140734586768416 140734586633016 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 13513 12803 354 887 0 12623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54052
[startup+0.700235 s]
/proc/loadavg: 2.00 1.99 1.93 3/176 7169
/proc/meminfo: memFree=29800872/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=92272 CPUtime=0.69 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 22420 0 0 0 67 2 0 0 20 0 1 0 346550761 94486528 22372 33554432000 4194304 7823515 140734586768416 140734586633016 4212700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 23068 22372 354 887 0 22178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92272
[startup+1.50024 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7170
/proc/meminfo: memFree=29560404/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=196396 CPUtime=1.49 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 48393 0 0 0 143 6 0 0 20 0 1 0 346550761 201109504 48345 33554432000 4194304 7823515 140734586768416 140734586634440 6830357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 49099 48345 354 887 0 48209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196396
[startup+3.10107 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7170
/proc/meminfo: memFree=29276444/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=395536 CPUtime=3.09 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 98122 0 0 0 296 13 0 0 20 0 1 0 346550761 405028864 98074 33554432000 4194304 7823515 140734586768416 140734586634520 5537988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 98884 98074 354 887 0 97994 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 395536
[startup+6.3011 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7170
/proc/meminfo: memFree=27713532/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=1072016 CPUtime=6.29 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 266683 0 0 0 580 49 0 0 20 0 1 0 346550761 1097744384 266754 33554432000 4194304 7823515 140734586768416 140734586765352 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 268004 266754 419 887 0 267114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1072016
[startup+12.7011 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=26875336/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=1482688 CPUtime=12.68 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 370756 0 0 0 1168 100 0 0 20 0 1 0 346550761 1518272512 369176 33554432000 4194304 7823515 140734586768416 140734586765720 5422857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 370672 369176 461 887 0 369782 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1482688
[startup+25.5069 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=26804408/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=1524824 CPUtime=25.49 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 380798 0 0 0 2446 103 0 0 20 0 1 0 346550761 1561419776 379218 33554432000 4194304 7823515 140734586768416 140734586765112 4243059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 381206 379218 461 887 0 380316 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1524824
[startup+51.1011 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=26327980/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=1764860 CPUtime=51.09 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 439945 0 0 0 4994 115 0 0 20 0 1 0 346550761 1807216640 438365 33554432000 4194304 7823515 140734586768416 140734586764280 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 441215 438365 462 887 0 440325 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1764860
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=25693392/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=2043672 CPUtime=102.27 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 509387 0 0 0 10074 153 0 0 20 0 1 0 346550761 2092720128 506003 33554432000 4194304 7823515 140734586768416 140734586765656 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 510918 506003 462 887 0 510028 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2043672
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=25344956/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=2238620 CPUtime=162.26 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 538119 0 0 0 16068 158 0 0 20 0 1 0 346550761 2292346880 553642 33554432000 4194304 7823515 140734586768416 140734586764472 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 559655 553642 462 887 0 558765 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2238620
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=24873284/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=2404220 CPUtime=222.26 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 576897 0 0 0 22062 164 0 0 20 0 1 0 346550761 2461921280 592931 33554432000 4194304 7823515 140734586768416 140734586764280 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 601055 592931 462 887 0 600165 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2404220
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7171
/proc/meminfo: memFree=24266332/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=2695316 CPUtime=282.24 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 647537 0 0 0 28047 177 0 0 20 0 1 0 346550761 2760003584 663571 33554432000 4194304 7823515 140734586768416 140734586764280 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 673829 663571 462 887 0 672939 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2695316
[startup+342.308 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7172
/proc/meminfo: memFree=23907504/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=2903996 CPUtime=342.25 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 699920 0 0 0 34036 189 0 0 20 0 1 0 346550761 2973691904 715954 33554432000 4194304 7823515 140734586768416 140734586764280 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 725999 715954 462 887 0 725109 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 2903996
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 7175
/proc/meminfo: memFree=23486676/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=3177548 CPUtime=402.22 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 765094 0 0 0 40019 203 0 0 20 0 1 0 346550761 3253809152 781128 33554432000 4194304 7823515 140734586768416 140734586764280 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 794387 781128 462 887 0 793497 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3177548
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/177 7175
/proc/meminfo: memFree=23285584/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=3204172 CPUtime=462.22 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 775798 0 0 0 46014 208 0 0 20 0 1 0 346550761 3281072128 791832 33554432000 4194304 7823515 140734586768416 140734586764280 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 801043 791832 462 887 0 800153 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3204172
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 7175
/proc/meminfo: memFree=23072456/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=3390680 CPUtime=522.21 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 822176 0 0 0 52002 219 0 0 20 0 1 0 346550761 3472056320 838210 33554432000 4194304 7823515 140734586768416 140734586764280 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 847670 838210 462 887 0 846780 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3390680
[startup+582.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/177 7175
/proc/meminfo: memFree=22692548/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=3595668 CPUtime=582.19 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 869949 0 0 0 57991 228 0 0 20 0 1 0 346550761 3681964032 885983 33554432000 4194304 7823515 140734586768416 140734586764280 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 898917 885983 462 887 0 898027 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3595668
[startup+642.301 s]
################
# More data... #
################
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1017950 0 0 0 105947 266 0 0 20 0 1 0 346550761 4287803392 1033984 33554432000 4194304 7823515 140734586768416 140734586764280 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1046827 1033984 462 887 0 1045937 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 4187308
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 7180
/proc/meminfo: memFree=21460260/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4199596 CPUtime=1122.12 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1023035 0 0 0 111944 268 0 0 20 0 1 0 346550761 4300386304 1039069 33554432000 4194304 7823515 140734586768416 140734586764280 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1049899 1039069 462 887 0 1049009 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4199596
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7180
/proc/meminfo: memFree=21431272/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4205740 CPUtime=1182.11 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1025736 0 0 0 117941 270 0 0 20 0 1 0 346550761 4306677760 1041770 33554432000 4194304 7823515 140734586768416 140734586764280 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1051435 1041770 462 887 0 1050545 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4205740
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 7181
/proc/meminfo: memFree=21127748/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4533720 CPUtime=1242.1 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1096519 0 0 0 123929 281 0 0 20 0 1 0 346550761 4642529280 1112553 33554432000 4194304 7823515 140734586768416 140734586764280 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1133430 1112553 462 887 0 1132540 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4533720
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 7181
/proc/meminfo: memFree=20829060/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4542932 CPUtime=1302.09 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1100520 0 0 0 129927 282 0 0 20 0 1 0 346550761 4651962368 1116554 33554432000 4194304 7823515 140734586768416 140734586764280 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1135733 1116554 462 887 0 1134843 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4542932
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 7182
/proc/meminfo: memFree=20790516/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4553172 CPUtime=1362.08 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1105099 0 0 0 135923 285 0 0 20 0 1 0 346550761 4662448128 1121133 33554432000 4194304 7823515 140734586768416 140734586764280 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1138293 1121133 462 887 0 1137403 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4553172
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7182
/proc/meminfo: memFree=20746780/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4564436 CPUtime=1422.08 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1109826 0 0 0 141920 288 0 0 20 0 1 0 346550761 4673982464 1125860 33554432000 4194304 7823515 140734586768416 140734586764280 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1141109 1125860 462 887 0 1140219 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4564436
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7182
/proc/meminfo: memFree=20707624/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4574672 CPUtime=1482.06 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1114151 0 0 0 147917 289 0 0 20 0 1 0 346550761 4684464128 1130185 33554432000 4194304 7823515 140734586768416 140734586764280 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1143668 1130185 462 887 0 1142778 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4574672
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7183
/proc/meminfo: memFree=20671324/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4583888 CPUtime=1542.06 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1118077 0 0 0 153914 292 0 0 20 0 1 0 346550761 4693901312 1134111 33554432000 4194304 7823515 140734586768416 140734586764280 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1145972 1134111 462 887 0 1145082 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4583888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 7186
/proc/meminfo: memFree=20626704/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4593100 CPUtime=1602.04 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1122041 0 0 0 159910 294 0 0 20 0 1 0 346550761 4703334400 1138075 33554432000 4194304 7823515 140734586768416 140734586764280 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1148275 1138075 462 887 0 1147385 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4593100
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7186
/proc/meminfo: memFree=19951064/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4982380 CPUtime=1662.04 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1205141 0 0 0 165898 306 0 0 20 0 1 0 346550761 5101957120 1221175 33554432000 4194304 7823515 140734586768416 140734586764280 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1245595 1221175 462 887 0 1244705 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4982380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7186
/proc/meminfo: memFree=19926912/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4991596 CPUtime=1722.03 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1209304 0 0 0 171895 308 0 0 20 0 1 0 346550761 5111394304 1225338 33554432000 4194304 7823515 140734586768416 140734586764280 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1247899 1225338 462 887 0 1247009 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4991596
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7186
/proc/meminfo: memFree=19869032/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=4998764 CPUtime=1782.01 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1211885 0 0 0 177893 308 0 0 20 0 1 0 346550761 5118734336 1227919 33554432000 4194304 7823515 140734586768416 140734586764280 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1249691 1227919 462 887 0 1248801 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4998764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 7187
/proc/meminfo: memFree=19861560/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=5001832 CPUtime=1800.02 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1213167 0 0 0 179693 309 0 0 20 0 1 0 346550761 5121875968 1229201 33554432000 4194304 7823515 140734586768416 140734586764280 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1250458 1229201 462 887 0 1249568 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 5001832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7169
Solver just ended. Dumping a history of the last processes samples
[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 7188
/proc/meminfo: memFree=19861188/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=5001832 CPUtime=1801.31 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1213222 0 0 0 179822 309 0 0 20 0 1 0 346550761 5121875968 1229256 33554432000 4194304 7823515 140734586768416 140734586763712 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1250458 1229256 462 887 0 1249568 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 5001832
[startup+1802.01 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 7188
/proc/meminfo: memFree=19859684/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=5001832 CPUtime=1801.72 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4202496 1213234 0 0 0 179863 309 0 0 20 0 1 0 346550761 5121875968 1229268 33554432000 4194304 7823515 140734586768416 140734586763712 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 1250458 1229268 462 887 0 1249568 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 5001832
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 7188
/proc/meminfo: memFree=19859684/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4203524 1213243 0 0 0 179893 319 0 0 20 0 1 0 346550761 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 7188
/proc/meminfo: memFree=19859684/32873648 swapFree=6860/6860
[pid=7169] ppid=7167 vsize=0 CPUtime=1802.22 cores=1,3,5,7
/proc/7169/stat : 7169 (pbscip.linux.x8) R 7167 7169 7010 0 -1 4203524 1213243 0 0 0 179893 329 0 0 20 0 1 0 346550761 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7169/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.59
CPU time (s): 1802.31
CPU user time (s): 1798.93
CPU system time (s): 3.37649
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 5001832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 3.37649
maximum resident set size= 4917108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213243
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= 3
involuntary context switches= 1869
runsolver used 2.92256 second user time and 8.48171 second system time
The end