0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486345-1307794404.opb>
0.89/0.96 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176188 constraints
0.89/0.96 c problem read
0.89/0.96 c presolving settings loaded
1.49/1.58 c presolving:
7.48/7.59 c (round 1) 3034 del vars, 8695 del conss, 0 add conss, 2005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12158818 impls, 0 clqs
10.09/10.18 c (round 2) 7711 del vars, 24986 del conss, 0 add conss, 6550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12179514 impls, 0 clqs
10.90/11.00 c (round 3) 9576 del vars, 33555 del conss, 0 add conss, 7630 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 12188337 impls, 0 clqs
11.29/11.34 c (round 4) 10274 del vars, 36518 del conss, 0 add conss, 8051 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12191308 impls, 0 clqs
11.49/11.55 c (round 5) 10598 del vars, 37832 del conss, 0 add conss, 8271 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12193199 impls, 0 clqs
11.59/11.67 c (round 6) 10798 del vars, 38628 del conss, 0 add conss, 8370 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194347 impls, 0 clqs
11.69/11.75 c (round 7) 10862 del vars, 38926 del conss, 0 add conss, 8408 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194817 impls, 0 clqs
11.79/11.81 c (round 8) 10890 del vars, 39063 del conss, 0 add conss, 8427 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194993 impls, 0 clqs
11.79/11.87 c (round 9) 10906 del vars, 39139 del conss, 0 add conss, 8436 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195161 impls, 0 clqs
11.89/11.92 c (round 10) 10920 del vars, 39190 del conss, 0 add conss, 8443 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195499 impls, 0 clqs
11.89/11.97 c (round 11) 10932 del vars, 39240 del conss, 0 add conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195501 impls, 0 clqs
12.49/12.56 c (round 12) 10932 del vars, 39253 del conss, 0 add conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
13.39/13.40 c (round 13) 10932 del vars, 39274 del conss, 65 add conss, 8454 chg bounds, 160 chg sides, 370 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
13.59/13.62 c (round 14) 10932 del vars, 39285 del conss, 69 add conss, 8454 chg bounds, 168 chg sides, 400 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
595.30/595.34 c (595.3s) probing: 1000/43850 (2.3%) - 0 fixings, 0 aggregations, 8296690 implications, 0 bound changes
970.60/970.61 c (970.6s) probing: 2000/43850 (4.6%) - 0 fixings, 0 aggregations, 12923313 implications, 0 bound changes
970.80/970.87 c (970.9s) probing: 2001/43850 (4.6%) - 0 fixings, 0 aggregations, 12925821 implications, 0 bound changes
970.80/970.87 c (970.9s) probing aborted: 2000/2000 successive useless probings
970.80/970.87 c presolving (15 rounds):
970.80/970.87 c 10932 deleted vars, 39287 deleted constraints, 71 added constraints, 8454 tightened bounds, 0 added holes, 170 changed sides, 412 changed coefficients
970.80/970.87 c 56485389 implications, 0 cliques
970.80/970.87 c presolved problem has 43850 variables (43850 bin, 0 int, 0 impl, 0 cont) and 136972 constraints
970.80/970.87 c 1145 constraints of type <knapsack>
970.80/970.87 c 114138 constraints of type <setppc>
970.80/970.87 c 21689 constraints of type <logicor>
970.80/970.87 c transformed objective value is always integral (scale: 1)
970.80/970.87 c Presolving Time: 969.74
970.80/970.87 c - non default parameters ----------------------------------------------------------------------
970.80/970.87 c # SCIP version 2.0.1.4
970.80/970.87 c
970.80/970.87 c # frequency for displaying node information lines
970.80/970.87 c # [type: int, range: [-1,2147483647], default: 100]
970.80/970.87 c display/freq = 10000
970.80/970.87 c
970.80/970.87 c # maximal time in seconds to run
970.80/970.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
970.80/970.87 c limits/time = 1797
970.80/970.87 c
970.80/970.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
970.80/970.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
970.80/970.87 c limits/memory = 13950
970.80/970.87 c
970.80/970.87 c # default clock type (1: CPU user seconds, 2: wall clock time)
970.80/970.87 c # [type: int, range: [1,2], default: 1]
970.80/970.87 c timing/clocktype = 2
970.80/970.87 c
970.80/970.87 c # belongs reading time to solving time?
970.80/970.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
970.80/970.87 c timing/reading = TRUE
970.80/970.87 c
970.80/970.87 c # should presolving try to simplify inequalities
970.80/970.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
970.80/970.87 c constraints/linear/simplifyinequalities = TRUE
970.80/970.87 c
970.80/970.87 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
970.80/970.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
970.80/970.87 c constraints/indicator/addCouplingCons = TRUE
970.80/970.87 c
970.80/970.87 c # should presolving try to simplify knapsacks
970.80/970.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
970.80/970.87 c constraints/knapsack/simplifyinequalities = TRUE
970.80/970.87 c
970.80/970.87 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
970.80/970.87 c # [type: int, range: [-1,2147483647], default: -1]
970.80/970.87 c separating/rapidlearning/freq = 0
970.80/970.87 c
970.80/970.87 c -----------------------------------------------------------------------------------------------
970.80/970.87 c start solving
970.90/970.90 c
1090.31/1090.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.31/1090.32 c 1090s| 1 | 0 | 38115 | - |1732M| 0 | 447 | 43k| 137k| 43k| 136k| 0 | 50 | 0 | 7.900000e+01 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486345-1307794404/watcher-3486345-1307794404 -o /tmp/evaluation-result-3486345-1307794404/solver-3486345-1307794404 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486345-1307794404.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 1.08 1.21 1.59 4/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=10516 CPUtime=0 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 1623 0 0 0 0 0 0 0 18 0 1 0 891038172 10768384 1577 33554432000 4194304 8979876 140733312128544 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27016/statm: 2629 1577 366 1169 0 1456 0
[startup+0.016234 s]
/proc/loadavg: 1.08 1.21 1.59 4/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=13208 CPUtime=0.01 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 2309 0 0 0 1 0 0 0 18 0 1 0 891038172 13524992 2263 33554432000 4194304 8979876 140733312128544 18446744073709551615 6782522 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27016/statm: 3302 2263 366 1169 0 2129 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13208
[startup+0.100246 s]
/proc/loadavg: 1.08 1.21 1.59 4/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=27548 CPUtime=0.09 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 5904 0 0 0 9 0 0 0 18 0 1 0 891038172 28209152 5858 33554432000 4194304 8979876 140733312128544 18446744073709551615 6177534 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27016/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.30021 s]
/proc/loadavg: 1.08 1.21 1.59 4/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=46332 CPUtime=0.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 10578 0 0 0 28 1 0 0 18 0 1 0 891038172 47443968 10532 33554432000 4194304 8979876 140733312128544 18446744073709551615 4446992 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27016/statm: 11583 10532 366 1169 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46332
[startup+0.701151 s]
/proc/loadavg: 1.08 1.21 1.59 4/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=78604 CPUtime=0.69 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 18613 0 0 0 67 2 0 0 18 0 1 0 891038172 80490496 18567 33554432000 4194304 8979876 140733312128544 18446744073709551615 6440729 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27016/statm: 19651 18567 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604
[startup+1.50099 s]
/proc/loadavg: 1.08 1.21 1.59 4/178 27020
/proc/meminfo: memFree=31293296/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=315620 CPUtime=1.49 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 77103 0 0 0 141 8 0 0 20 0 1 0 891038172 323194880 77000 33554432000 4194304 8979876 140733312128544 18446744073709551615 4330747 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27016/statm: 78905 77000 450 1169 0 77732 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 315620
[startup+3.10068 s]
/proc/loadavg: 1.08 1.21 1.59 4/178 27020
/proc/meminfo: memFree=30898356/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=440232 CPUtime=3.09 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 115790 0 0 0 297 12 0 0 25 0 1 0 891038172 450797568 107565 33554432000 4194304 8979876 140733312128544 18446744073709551615 6492496 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27016/statm: 110058 107565 494 1169 0 108885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 440232
[startup+6.30115 s]
/proc/loadavg: 1.15 1.23 1.59 4/178 27020
/proc/meminfo: memFree=30435164/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=630268 CPUtime=6.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 161409 0 0 0 611 18 0 0 25 0 1 0 891038172 645394432 153184 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503570 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 157567 153184 501 1169 0 156394 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 630268
[startup+12.701 s]
/proc/loadavg: 1.22 1.24 1.60 4/178 27021
/proc/meminfo: memFree=30236572/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=710456 CPUtime=12.69 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 191937 0 0 0 1247 22 0 0 25 0 1 0 891038172 727506944 172299 33554432000 4194304 8979876 140733312128544 18446744073709551615 4460275 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 177614 172299 651 1169 0 176441 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 710456
[startup+25.5007 s]
/proc/loadavg: 1.39 1.28 1.60 4/178 27021
/proc/meminfo: memFree=30063696/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=786484 CPUtime=25.49 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 210540 0 0 0 2524 25 0 0 25 0 1 0 891038172 805359616 190655 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503310 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 196621 190655 606 1169 0 195448 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 786484
[startup+51.1011 s]
/proc/loadavg: 1.60 1.33 1.61 4/178 27022
/proc/meminfo: memFree=29999208/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=818140 CPUtime=51.09 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 218266 0 0 0 5083 26 0 0 25 0 1 0 891038172 837775360 198381 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 204535 198381 606 1169 0 203362 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 818140
[startup+102.307 s]
/proc/loadavg: 1.82 1.43 1.63 4/178 27023
/proc/meminfo: memFree=29779624/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=925120 CPUtime=102.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 245013 0 0 0 10199 30 0 0 25 0 1 0 891038172 947322880 225128 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 231280 225128 606 1169 0 230107 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 925120
[startup+162.301 s]
/proc/loadavg: 1.93 1.53 1.65 4/178 27025
/proc/meminfo: memFree=29558480/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1042968 CPUtime=162.28 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 273792 0 0 0 16194 34 0 0 25 0 1 0 891038172 1067999232 253643 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 260742 253643 606 1169 0 259569 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1042968
[startup+222.301 s]
/proc/loadavg: 1.97 1.62 1.67 4/178 27026
/proc/meminfo: memFree=29282788/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1189608 CPUtime=222.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 309761 0 0 0 22190 39 0 0 25 0 1 0 891038172 1218158592 289513 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 297402 289513 606 1169 0 296229 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1189608
[startup+282.3 s]
/proc/loadavg: 1.99 1.68 1.68 4/178 27028
/proc/meminfo: memFree=28959344/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1329444 CPUtime=282.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 345134 0 0 0 28186 43 0 0 25 0 1 0 891038172 1361350656 324655 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 332361 324655 606 1169 0 331188 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1329444
[startup+342.3 s]
/proc/loadavg: 1.99 1.74 1.70 4/178 27029
/proc/meminfo: memFree=28740680/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1442328 CPUtime=342.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 373586 0 0 0 34182 47 0 0 25 0 1 0 891038172 1476943872 353107 33554432000 4194304 8979876 140733312128544 18446744073709551615 4347916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 360582 353107 606 1169 0 359409 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1442328
[startup+402.301 s]
/proc/loadavg: 1.99 1.78 1.72 4/178 27031
/proc/meminfo: memFree=28509872/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1550272 CPUtime=402.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 400340 0 0 0 40178 51 0 0 25 0 1 0 891038172 1587478528 379861 33554432000 4194304 8979876 140733312128544 18446744073709551615 5537780 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 387568 379861 606 1169 0 386395 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1550272
[startup+462.301 s]
/proc/loadavg: 2.11 1.85 1.75 4/178 27033
/proc/meminfo: memFree=28319616/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1621056 CPUtime=462.3 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 417998 0 0 0 46176 54 0 0 25 0 1 0 891038172 1659961344 397519 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 405264 397519 606 1169 0 404091 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1621056
[startup+522.301 s]
/proc/loadavg: 2.04 1.87 1.76 4/178 27034
/proc/meminfo: memFree=28084348/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1808732 CPUtime=522.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 464166 0 0 0 52169 60 0 0 25 0 1 0 891038172 1852141568 443687 33554432000 4194304 8979876 140733312128544 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27016/statm: 452183 443687 606 1169 0 451010 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1808732
[startup+582.301 s]
/proc/loadavg: 2.01 1.89 1.77 4/178 27036
/proc/meminfo: memFree=27987204/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=1843352 CPUtime=582.29 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 473046 0 0 0 58167 62 0 0 25 0 1 0 891038172 1887592448 452567 33554432000 4194304 8979876 140733312128544 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 460838 452567 606 1169 0 459665 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1843352
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.94 1.82 4/178 27042
/proc/meminfo: memFree=27594584/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2029048 CPUtime=822.3 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 519372 0 0 0 82163 67 0 0 25 0 1 0 891038172 2077745152 498893 33554432000 4194304 8979876 140733312128544 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 507262 498893 611 1169 0 506089 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 2029048
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.82 4/178 27044
/proc/meminfo: memFree=27499420/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2073476 CPUtime=882.31 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 529986 0 0 0 88162 69 0 0 25 0 1 0 891038172 2123239424 509507 33554432000 4194304 8979876 140733312128544 18446744073709551615 4222938 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 518369 509507 611 1169 0 517196 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2073476
[startup+942.301 s]
/proc/loadavg: 2.00 1.96 1.83 4/178 27045
/proc/meminfo: memFree=27416420/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2113008 CPUtime=942.31 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 540250 0 0 0 94161 70 0 0 25 0 1 0 891038172 2163720192 519771 33554432000 4194304 8979876 140733312128544 18446744073709551615 5537797 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 528252 519771 611 1169 0 527079 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2113008
[startup+1002.3 s]
/proc/loadavg: 2.16 2.00 1.85 4/178 27047
/proc/meminfo: memFree=26920740/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2395120 CPUtime=1002.3 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 607556 0 0 0 100151 79 0 0 25 0 1 0 891038172 2452602880 583048 33554432000 4194304 8979876 140733312128544 18446744073709551615 7147111 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 598780 583048 785 1169 0 597607 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2395120
[startup+1062.3 s]
/proc/loadavg: 2.06 2.00 1.85 4/178 27049
/proc/meminfo: memFree=26910632/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2413676 CPUtime=1062.31 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 612608 0 0 0 106146 85 0 0 25 0 1 0 891038172 2471604224 587564 33554432000 4194304 8979876 140733312128544 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 603419 587564 891 1169 0 602246 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2413676
[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.86 4/178 27050
/proc/meminfo: memFree=26871408/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1122.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 623815 0 0 0 112141 91 0 0 25 0 1 0 891038172 2478661632 596012 33554432000 4194304 8979876 140733312128544 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596012 1001 1169 0 603969 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2420568
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/178 27052
/proc/meminfo: memFree=26889596/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1182.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 623898 0 0 0 118135 97 0 0 25 0 1 0 891038172 2478661632 596091 33554432000 4194304 8979876 140733312128544 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596091 1008 1169 0 603969 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2420568
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 27053
/proc/meminfo: memFree=26886436/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1242.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 124133 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2420568
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 27055
/proc/meminfo: memFree=26886388/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1302.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 130133 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2420568
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 27057
/proc/meminfo: memFree=26886460/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1362.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 136133 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2420568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.89 4/178 27058
/proc/meminfo: memFree=26886168/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1422.33 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 142134 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2420568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/178 27060
/proc/meminfo: memFree=26886244/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1482.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 148133 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254697 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2420568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/178 27061
/proc/meminfo: memFree=26886200/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1542.32 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 154133 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2420568
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.91 4/178 27063
/proc/meminfo: memFree=26886044/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1602.33 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 160134 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254733 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2420568
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.91 4/178 27065
/proc/meminfo: memFree=26848664/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1662.33 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 166134 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254356 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2420568
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 4/178 27066
/proc/meminfo: memFree=26766404/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2420568 CPUtime=1722.33 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 624815 0 0 0 172134 99 0 0 25 0 1 0 891038172 2478661632 596995 33554432000 4194304 8979876 140733312128544 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 605142 596995 1134 1169 0 603969 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2420568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/178 27068
/proc/meminfo: memFree=26592004/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2455540 CPUtime=1782.33 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 632536 0 0 0 178133 100 0 0 25 0 1 0 891038172 2514472960 604698 33554432000 4194304 8979876 140733312128544 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 613885 604698 1116 1169 0 612712 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2455540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 27106
/proc/meminfo: memFree=28906788/32951124 swapFree=67053176/67111528
[pid=27016] ppid=27013 vsize=2493088 CPUtime=1800.04 cores=0,2,4,6
/proc/27016/stat : 27016 (scip-2.0.1.4_2.) R 27013 27016 19126 0 -1 4202496 640011 0 0 0 179903 101 0 0 25 0 1 0 891038172 2552922112 612173 33554432000 4194304 8979876 140733312128544 18446744073709551615 6255417 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27016/statm: 623272 612173 1116 1169 0 622099 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2493088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.14
CPU user time (s): 1799.03
CPU system time (s): 1.11083
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2493088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.11083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640011
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= 4
involuntary context switches= 9431
runsolver used 3.03154 second user time and 6.71298 second system time
The end