0.00/0.00 c SCIP version 2.0.1.5 [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-3488518-1307779425.opb>
0.00/0.01 c original problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2928 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.00/0.07 c (round 1) 0 del vars, 2928 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73808 impls, 0 clqs
0.00/0.08 c (round 2) 2528 del vars, 2928 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73808 impls, 0 clqs
0.00/0.08 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (3 rounds):
0.00/0.08 c 2528 deleted vars, 2928 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 73808 implications, 0 cliques
0.00/0.08 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.08 c 200 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.06
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 2.0.1.5
0.00/0.08 c
0.00/0.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c conflict/interconss = 0
0.00/0.08 c
0.00/0.08 c # should binary conflicts be preferred?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c conflict/preferbinary = TRUE
0.00/0.08 c
0.00/0.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c constraints/agelimit = 1
0.00/0.08 c
0.00/0.08 c # should enforcement of pseudo solution be disabled?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/disableenfops = TRUE
0.00/0.08 c
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = 10000
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1797
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 13950
0.00/0.08 c
0.00/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.08 c # [type: int, range: [1,2], default: 1]
0.00/0.08 c timing/clocktype = 2
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify inequalities
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/linear/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/indicator/addCouplingCons = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify knapsacks
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 0 | 1999 | - |6475k| 0 | 129 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.426308e+01 | 2.000000e+02 |1302.22%
0.19/0.21 o 129
0.19/0.21 c r 0.2s| 1 | 0 | 1999 | - |6481k| 0 | 129 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.426308e+01 | 1.290000e+02 | 804.43%
0.19/0.21 o 128
0.19/0.21 c R 0.2s| 1 | 0 | 1999 | - |6486k| 0 | 129 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.426308e+01 | 1.280000e+02 | 797.42%
0.19/0.21 o 127
0.19/0.21 c s 0.2s| 1 | 0 | 1999 | - |6491k| 0 | 129 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.426308e+01 | 1.270000e+02 | 790.41%
0.19/0.26 c 0.3s| 1 | 0 | 2094 | - |7319k| 0 | 126 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.429884e+01 | 1.270000e+02 | 788.18%
0.19/0.26 o 35
0.19/0.26 c b 0.3s| 1 | 0 | 2094 | - |7324k| 0 | 126 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.429884e+01 | 3.500000e+01 | 144.78%
0.29/0.30 c 0.3s| 1 | 0 | 2183 | - |7960k| 0 | 128 | 200 | 200 | 200 | 202 | 2 | 0 | 0 | 1.431907e+01 | 3.500000e+01 | 144.43%
0.29/0.34 c 0.3s| 1 | 0 | 2233 | - |8227k| 0 | 126 | 200 | 200 | 200 | 203 | 3 | 0 | 0 | 1.432672e+01 | 3.500000e+01 | 144.30%
0.29/0.37 c 0.4s| 1 | 0 | 2284 | - |8281k| 0 | 123 | 200 | 200 | 200 | 204 | 4 | 0 | 0 | 1.433595e+01 | 3.500000e+01 | 144.14%
0.39/0.41 c 0.4s| 1 | 0 | 2342 | - |8294k| 0 | 123 | 200 | 200 | 200 | 205 | 5 | 0 | 0 | 1.433792e+01 | 3.500000e+01 | 144.11%
1.19/1.29 c 1.3s| 1 | 2 | 2342 | - |8305k| 0 | 123 | 200 | 200 | 200 | 205 | 5 | 0 | 17 | 1.433792e+01 | 3.500000e+01 | 144.11%
3.39/3.48 o 32
3.39/3.48 c z 3.5s| 10 | 11 | 3968 | 180.7 |8362k| 9 | 54 | 200 | 200 | 200 | 205 | 5 | 0 | 158 | 1.450090e+01 | 3.200000e+01 | 120.68%
3.39/3.48 o 27
3.39/3.48 c b 3.5s| 11 | 10 | 3968 | 162.6 |8368k| 10 | - | 200 | 200 | 200 | 205 | 5 | 0 | 158 | 1.450090e+01 | 2.700000e+01 | 86.20%
3.69/3.73 o 23
3.69/3.73 c c 3.7s| 15 | 16 | 4752 | 172.1 |8545k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 221 | 1.450090e+01 | 2.300000e+01 | 58.61%
7.69/7.74 o 22
7.69/7.74 c v 7.7s| 53 | 54 | 10607 | 158.9 |8554k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 592 | 1.450090e+01 | 2.200000e+01 | 51.71%
10.39/10.48 o 21
10.39/10.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.39/10.48 c C10.5s| 253 | 191 | 44137 | 165.9 |8641k| 23 | - | 200 | 200 | 200 | 205 | 5 | 0 | 670 | 1.511721e+01 | 2.100000e+01 | 38.91%
140.19/140.25 c 140s| 10000 | 9886 | 1992k| 199.0 | 12M| 38 | 91 | 200 | 200 | 200 | 205 | 5 | 0 |1830 | 1.702384e+01 | 2.100000e+01 | 23.36%
239.70/239.80 c 240s| 20000 | 19852 | 3578k| 178.8 | 17M| 43 | 95 | 200 | 200 | 200 | 205 | 5 | 0 |2611 | 1.719963e+01 | 2.100000e+01 | 22.10%
329.09/329.13 c 329s| 30000 | 29594 | 5067k| 168.9 | 24M| 43 | 81 | 200 | 200 | 200 | 205 | 5 | 0 |3207 | 1.729924e+01 | 2.100000e+01 | 21.39%
413.09/413.19 c 413s| 40000 | 39162 | 6480k| 162.0 | 31M| 48 | 70 | 200 | 200 | 200 | 205 | 5 | 0 |3701 | 1.735276e+01 | 2.100000e+01 | 21.02%
492.99/493.03 c 493s| 50000 | 48496 | 7857k| 157.1 | 39M| 48 | 83 | 200 | 200 | 200 | 205 | 5 | 0 |4078 | 1.740683e+01 | 2.100000e+01 | 20.64%
572.10/572.10 c 572s| 60000 | 57790 | 9201k| 153.3 | 46M| 48 | 86 | 200 | 200 | 200 | 205 | 5 | 0 |4467 | 1.744440e+01 | 2.100000e+01 | 20.38%
649.49/649.52 c 650s| 70000 | 66866 | 10550k| 150.7 | 54M| 48 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |4826 | 1.747600e+01 | 2.100000e+01 | 20.16%
725.19/725.26 c 725s| 80000 | 75888 | 11856k| 148.2 | 62M| 48 | 83 | 200 | 200 | 200 | 205 | 5 | 0 |5163 | 1.750919e+01 | 2.100000e+01 | 19.94%
798.90/798.99 c 799s| 90000 | 84830 | 13138k| 146.0 | 70M| 48 | 65 | 200 | 200 | 200 | 205 | 5 | 0 |5428 | 1.753898e+01 | 2.100000e+01 | 19.73%
870.29/870.34 c 870s|100000 | 93594 | 14377k| 143.8 | 78M| 48 | 79 | 200 | 200 | 200 | 205 | 5 | 0 |5689 | 1.757220e+01 | 2.100000e+01 | 19.51%
941.80/941.81 c 942s|110000 |102076 | 15637k| 142.1 | 87M| 48 | 87 | 200 | 200 | 200 | 205 | 5 | 0 |5969 | 1.760041e+01 | 2.100000e+01 | 19.32%
960.10/960.18 o 20
960.10/960.18 c v 960s|112682 | 54961 | 15951k| 141.5 | 34M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |6029 | 1.760564e+01 | 2.000000e+01 | 13.60%
993.30/993.34 c 993s|120000 | 57067 | 16504k| 137.5 | 38M| 48 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |6216 | 1.762859e+01 | 2.000000e+01 | 13.45%
1034.70/1034.70 c 1035s|130000 | 58857 | 17200k| 132.3 | 43M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |6429 | 1.765593e+01 | 2.000000e+01 | 13.28%
1075.91/1075.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.91/1075.93 c 1076s|140000 | 60197 | 17895k| 127.8 | 47M| 48 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |6648 | 1.767750e+01 | 2.000000e+01 | 13.14%
1116.00/1116.02 c 1116s|150000 | 61261 | 18575k| 123.8 | 51M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |6893 | 1.770289e+01 | 2.000000e+01 | 12.98%
1155.00/1155.08 c 1155s|160000 | 62269 | 19236k| 120.2 | 55M| 48 | 78 | 200 | 200 | 200 | 205 | 5 | 0 |7101 | 1.772763e+01 | 2.000000e+01 | 12.82%
1194.20/1194.25 c 1194s|170000 | 62869 | 19876k| 116.9 | 58M| 48 | 77 | 200 | 200 | 200 | 205 | 5 | 0 |7362 | 1.774889e+01 | 2.000000e+01 | 12.68%
1233.00/1233.07 c 1233s|180000 | 63409 | 20522k| 114.0 | 61M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |7646 | 1.777522e+01 | 2.000000e+01 | 12.52%
1271.51/1271.52 c 1272s|190000 | 63891 | 21155k| 111.3 | 64M| 48 | 77 | 200 | 200 | 200 | 205 | 5 | 0 |7915 | 1.779518e+01 | 2.000000e+01 | 12.39%
1308.20/1308.24 c 1308s|200000 | 64219 | 21765k| 108.8 | 67M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |8083 | 1.781513e+01 | 2.000000e+01 | 12.26%
1344.61/1344.64 c 1345s|210000 | 64449 | 22365k| 106.5 | 70M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |8310 | 1.783335e+01 | 2.000000e+01 | 12.15%
1380.71/1380.71 c 1381s|220000 | 64567 | 22949k| 104.3 | 73M| 48 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |8623 | 1.785159e+01 | 2.000000e+01 | 12.03%
1417.92/1417.92 c 1418s|230000 | 64719 | 23568k| 102.5 | 76M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |8799 | 1.786969e+01 | 2.000000e+01 | 11.92%
1454.21/1454.28 c 1454s|240000 | 64767 | 24181k| 100.7 | 78M| 48 | 68 | 200 | 200 | 200 | 205 | 5 | 0 |8981 | 1.788713e+01 | 2.000000e+01 | 11.81%
1492.21/1492.22 c 1492s|250000 | 64799 | 24806k| 99.2 | 81M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |9283 | 1.790447e+01 | 2.000000e+01 | 11.70%
1528.21/1528.21 c 1528s|260000 | 64701 | 25416k| 97.7 | 83M| 48 | 83 | 200 | 200 | 200 | 205 | 5 | 0 |9423 | 1.791850e+01 | 2.000000e+01 | 11.62%
1564.51/1564.59 c 1565s|270000 | 64633 | 26023k| 96.4 | 85M| 48 | 80 | 200 | 200 | 200 | 205 | 5 | 0 |9662 | 1.793485e+01 | 2.000000e+01 | 11.51%
1599.92/1599.91 c 1600s|280000 | 64453 | 26609k| 95.0 | 88M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |9850 | 1.795043e+01 | 2.000000e+01 | 11.42%
1634.12/1634.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.12/1634.15 c 1634s|290000 | 64307 | 27177k| 93.7 | 90M| 48 | 86 | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.796427e+01 | 2.000000e+01 | 11.33%
1669.12/1669.10 c 1669s|300000 | 64025 | 27756k| 92.5 | 92M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.798102e+01 | 2.000000e+01 | 11.23%
1702.52/1702.55 c 1703s|310000 | 63681 | 28317k| 91.3 | 93M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.799477e+01 | 2.000000e+01 | 11.14%
1737.32/1737.38 c 1737s|320000 | 63253 | 28892k| 90.3 | 95M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.801077e+01 | 2.000000e+01 | 11.04%
1770.52/1770.58 c 1771s|330000 | 62813 | 29445k| 89.2 | 96M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.802716e+01 | 2.000000e+01 | 10.94%
1797.01/1797.01 c
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Solving Time (sec) : 1797.01
1797.01/1797.01 c Solving Nodes : 337822
1797.01/1797.01 c Primal Bound : +2.00000000000000e+01 (541 solutions)
1797.01/1797.01 c Dual Bound : +1.80390598398823e+01
1797.01/1797.01 c Gap : 10.87 %
1797.01/1797.01 s SATISFIABLE
1797.01/1797.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1797.01/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158
1797.01/1797.01 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1797.01/1797.01 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1797.01/1797.01 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1797.01/1797.01 v -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69
1797.01/1797.01 v -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44
1797.01/1797.01 v x43 -x42 -x41 x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 x19 -x18 -x17
1797.01/1797.01 v x16 x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Total Time : 1797.01
1797.01/1797.01 c solving : 1797.01
1797.01/1797.01 c presolving : 0.06 (included in solving)
1797.01/1797.01 c reading : 0.01 (included in solving)
1797.01/1797.01 c Original Problem :
1797.01/1797.01 c Problem name : HOME/instance-3488518-1307779425.opb
1797.01/1797.01 c Variables : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 2928 initial, 2928 maximal
1797.01/1797.01 c Presolved Problem :
1797.01/1797.01 c Problem name : t_HOME/instance-3488518-1307779425.opb
1797.01/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 200 initial, 200 maximal
1797.01/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c dualfix : 0.01 2528 0 0 0 0 0 0 0 0
1797.01/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 2928 200 0 0
1797.01/1797.01 c root node : - 0 - - 0 - - - - -
1797.01/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c integral : 0 0 0 225944 0 546 0 237 2772 0 0 449618
1797.01/1797.01 c logicor : 200 6 345618 0 0 541 0 0 47 0 0 0
1797.01/1797.01 c countsols : 0 0 0 0 0 544 0 0 0 0 0 0
1797.01/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.01 c integral : 75.45 0.00 0.00 75.45 0.00 0.00 0.00
1797.01/1797.01 c logicor : 3.06 0.00 3.05 0.00 0.00 0.00 0.00
1797.01/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.01 c vbounds : 0 0 0 0
1797.01/1797.01 c rootredcost : 5 0 0 0
1797.01/1797.01 c pseudoobj : 766938 0 0 0
1797.01/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.01 c vbounds : 0.17 0.17 0.00
1797.01/1797.01 c rootredcost : 0.17 0.17 0.00
1797.01/1797.01 c pseudoobj : 3.62 3.62 0.00
1797.01/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c applied globally : - - - 0 0.0 - - -
1797.01/1797.01 c applied locally : - - - 0 0.0 - - -
1797.01/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 325)
1797.01/1797.01 c redcost : 5.01 372060 0 3619035 0 0
1797.01/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1797.01/1797.01 c intobj : 0.00 0 0 0 0 0
1797.01/1797.01 c gomory : 0.07 6 0 0 0 0
1797.01/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.01 c strongcg : 0.07 6 0 0 325 0
1797.01/1797.01 c cmir : 0.01 6 0 0 0 0
1797.01/1797.01 c flowcover : 0.02 6 0 0 0 0
1797.01/1797.01 c clique : 0.00 1 0 0 0 0
1797.01/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.01 c mcf : 0.00 1 0 0 0 0
1797.01/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.01/1797.01 c Pricers : Time Calls Vars
1797.01/1797.01 c problem variables: 0.00 0 0
1797.01/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c relpscost : 75.32 225944 237 2772 0 0 449618
1797.01/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.01/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c random : 0.00 0 0 0 0 0 0
1797.01/1797.01 c Primal Heuristics : Time Calls Found
1797.01/1797.01 c LP solutions : 0.00 - 0
1797.01/1797.01 c pseudo solutions : 0.00 - 0
1797.01/1797.01 c feaspump : 0.01 0 0
1797.01/1797.01 c oneopt : 0.08 8 2
1797.01/1797.01 c crossover : 0.67 18 4
1797.01/1797.01 c objpscostdiving : 55.41 259 233
1797.01/1797.01 c rootsoldiving : 9.58 269 0
1797.01/1797.01 c coefdiving : 39.05 1502 62
1797.01/1797.01 c pscostdiving : 41.37 1502 57
1797.01/1797.01 c linesearchdiving : 38.82 1545 0
1797.01/1797.01 c fracdiving : 36.46 2171 0
1797.01/1797.01 c guideddiving : 36.62 2171 0
1797.01/1797.01 c veclendiving : 30.32 2380 9
1797.01/1797.01 c trivial : 0.00 2 2
1797.01/1797.01 c shiftandpropagate: 0.00 0 0
1797.01/1797.01 c simplerounding : 2.06 225949 33
1797.01/1797.01 c zirounding : 0.82 6701 134
1797.01/1797.01 c rounding : 1.78 22653 1
1797.01/1797.01 c shifting : 0.71 7578 4
1797.01/1797.01 c intshifting : 0.01 0 0
1797.01/1797.01 c twoopt : 0.00 0 0
1797.01/1797.01 c fixandinfer : 0.00 0 0
1797.01/1797.01 c clique : 0.00 0 0
1797.01/1797.01 c intdiving : 0.00 0 0
1797.01/1797.01 c actconsdiving : 0.00 0 0
1797.01/1797.01 c octane : 0.00 0 0
1797.01/1797.01 c rens : 0.01 0 0
1797.01/1797.01 c rins : 0.00 0 0
1797.01/1797.01 c localbranching : 0.00 0 0
1797.01/1797.01 c mutation : 0.00 0 0
1797.01/1797.01 c dins : 0.00 0 0
1797.01/1797.01 c vbounds : 0.00 0 0
1797.01/1797.01 c undercover : 0.00 0 0
1797.01/1797.01 c subnlp : 0.05 0 0
1797.01/1797.01 c trysol : 0.09 0 0
1797.01/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.01/1797.01 c dual LP : 1384.56 338724 24466510 72.23 17670.99
1797.01/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.01 c diving/probing LP: 267.07 293743 5415429 18.44 20277.38
1797.01/1797.01 c strong branching : 70.31 11035 1173223 106.32 16685.59
1797.01/1797.01 c (at root node) : - 17 9589 564.06 -
1797.01/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.01 c B&B Tree :
1797.01/1797.01 c number of runs : 1
1797.01/1797.01 c nodes : 337822
1797.01/1797.01 c nodes (total) : 337822
1797.01/1797.01 c nodes left : 62347
1797.01/1797.01 c max depth : 48
1797.01/1797.01 c max depth (total): 48
1797.01/1797.01 c backtracks : 59867 (17.7%)
1797.01/1797.01 c delayed cutoffs : 0
1797.01/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.01/1797.01 c avg switch length: 5.69
1797.01/1797.01 c switching time : 6.01
1797.01/1797.01 c Solution :
1797.01/1797.01 c Solutions found : 541 (11 improvements)
1797.01/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.01/1797.01 c Primal Bound : +2.00000000000000e+01 (in run 1, after 112682 nodes, 960.13 seconds, depth 20, found by <veclendiving>)
1797.01/1797.01 c Dual Bound : +1.80390598398823e+01
1797.01/1797.01 c Gap : 10.87 %
1797.01/1797.01 c Root Dual Bound : +1.43379242216134e+01
1797.01/1797.01 c Root Iterations : 2342
1797.11/1797.16 c Time complete: 1797.18.
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-3488518-1307779425/watcher-3488518-1307779425 -o /tmp/evaluation-result-3488518-1307779425/solver-3488518-1307779425 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488518-1307779425.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: 2.00 2.00 1.68 2/177 25729
/proc/meminfo: memFree=31502688/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=9580 CPUtime=0 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 1520 0 0 0 0 0 0 0 25 0 1 0 889540240 9809920 1474 33554432000 4194304 9016284 140733534061584 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25729/statm: 2395 1475 311 1178 0 1213 0
[startup+0.0950601 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 25729
/proc/meminfo: memFree=31502688/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=31704 CPUtime=0.08 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 7034 0 0 0 8 0 0 0 25 0 1 0 889540240 32464896 6729 33554432000 4194304 9016284 140733534061584 18446744073709551615 6920337 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 7926 6729 619 1178 0 6744 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31704
[startup+0.101082 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 25729
/proc/meminfo: memFree=31502688/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=31704 CPUtime=0.08 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 7062 0 0 0 8 0 0 0 25 0 1 0 889540240 32464896 6757 33554432000 4194304 9016284 140733534061584 18446744073709551615 7081868 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 7926 6757 619 1178 0 6744 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31704
[startup+0.301045 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 25729
/proc/meminfo: memFree=31502688/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=35272 CPUtime=0.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 7971 0 0 0 28 1 0 0 25 0 1 0 889540240 36118528 7666 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 8818 7666 657 1178 0 7636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35272
[startup+0.701007 s]
/proc/loadavg: 2.00 2.00 1.68 2/177 25729
/proc/meminfo: memFree=31502688/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=36504 CPUtime=0.69 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 9951 0 0 0 68 1 0 0 25 0 1 0 889540240 37380096 8008 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9126 8008 671 1178 0 7944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36504
[startup+1.50087 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 25730
/proc/meminfo: memFree=31473060/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=36504 CPUtime=1.49 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 9991 0 0 0 147 2 0 0 25 0 1 0 889540240 37380096 8048 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9126 8048 678 1178 0 7944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36504
[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 25730
/proc/meminfo: memFree=31472688/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=36504 CPUtime=3.09 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 9991 0 0 0 304 5 0 0 25 0 1 0 889540240 37380096 8048 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9126 8048 678 1178 0 7944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36504
[startup+6.301 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 25730
/proc/meminfo: memFree=31472312/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=36640 CPUtime=6.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 10004 0 0 0 617 12 0 0 25 0 1 0 889540240 37519360 8061 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9160 8061 679 1178 0 7978 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36640
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.69 3/178 25730
/proc/meminfo: memFree=31471860/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=37024 CPUtime=12.69 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 12725 0 0 0 1248 21 0 0 25 0 1 0 889540240 37912576 8180 33554432000 4194304 9016284 140733534061584 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9256 8180 693 1178 0 8074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37024
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.69 3/178 25730
/proc/meminfo: memFree=31471848/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=37316 CPUtime=25.49 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 12780 0 0 0 2508 41 0 0 25 0 1 0 889540240 38211584 8235 33554432000 4194304 9016284 140733534061584 18446744073709551615 7219694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9329 8235 693 1178 0 8147 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37316
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.70 3/178 25734
/proc/meminfo: memFree=31471532/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=37316 CPUtime=51.09 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 12802 0 0 0 5025 84 0 0 25 0 1 0 889540240 38211584 8257 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9329 8257 693 1178 0 8147 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37316
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.71 3/178 25736
/proc/meminfo: memFree=31466608/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=39256 CPUtime=102.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 21128 0 0 0 10062 167 0 0 25 0 1 0 889540240 40198144 8780 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 9814 8780 693 1178 0 8632 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 39256
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 25737
/proc/meminfo: memFree=31464300/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=41692 CPUtime=162.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 26892 0 0 0 15955 274 0 0 25 0 1 0 889540240 42692608 9368 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 10423 9368 693 1178 0 9241 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41692
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.74 3/178 25739
/proc/meminfo: memFree=31461388/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=44224 CPUtime=222.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 30228 0 0 0 21845 384 0 0 25 0 1 0 889540240 45285376 10049 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 11056 10049 693 1178 0 9874 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 44224
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/178 25740
/proc/meminfo: memFree=31456004/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=49844 CPUtime=282.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 31648 0 0 0 27735 494 0 0 25 0 1 0 889540240 51040256 11469 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 12461 11469 693 1178 0 11279 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 49844
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/178 25742
/proc/meminfo: memFree=31449748/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=55176 CPUtime=342.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 35557 0 0 0 33624 605 0 0 25 0 1 0 889540240 56500224 12824 33554432000 4194304 9016284 140733534061584 18446744073709551615 7219744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 13794 12824 693 1178 0 12612 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 55176
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/178 25743
/proc/meminfo: memFree=31442856/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=61620 CPUtime=402.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 37193 0 0 0 39513 716 0 0 25 0 1 0 889540240 63098880 14458 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 15405 14458 693 1178 0 14223 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 61620
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 25745
/proc/meminfo: memFree=31435616/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=67544 CPUtime=462.3 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 38708 0 0 0 45406 824 0 0 25 0 1 0 889540240 69165056 15973 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 16886 15973 693 1178 0 15704 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 67544
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 25747
/proc/meminfo: memFree=31427504/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=75236 CPUtime=522.3 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 40650 0 0 0 51294 936 0 0 25 0 1 0 889540240 77041664 17915 33554432000 4194304 9016284 140733534061584 18446744073709551615 7821888 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 18809 17915 693 1178 0 17627 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 75236
[startup+582.301 s]
/proc/loadavg: 2.07 2.02 1.82 3/178 25748
/proc/meminfo: memFree=31419644/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=82180 CPUtime=582.29 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 45158 0 0 0 57180 1049 0 0 25 0 1 0 889540240 84152320 19642 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 20545 19642 693 1178 0 19363 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 82180
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31454480/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=132412 CPUtime=1062.3 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 73318 0 0 0 104269 1961 0 0 25 0 1 0 889540240 135589888 31877 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 33103 31877 693 1178 0 31921 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 132412
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 25801
/proc/meminfo: memFree=31454052/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=132416 CPUtime=1122.3 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 75930 0 0 0 110156 2074 0 0 25 0 1 0 889540240 135593984 31875 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 33104 31875 693 1178 0 31922 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 132416
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.88 3/178 25802
/proc/meminfo: memFree=31454644/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=132408 CPUtime=1182.3 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 78558 0 0 0 116048 2182 0 0 25 0 1 0 889540240 135585792 31862 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 33102 31862 693 1178 0 31920 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 132408
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/178 25804
/proc/meminfo: memFree=31452732/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=134304 CPUtime=1242.31 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 79001 0 0 0 121938 2293 0 0 25 0 1 0 889540240 137527296 32305 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 33576 32305 693 1178 0 32394 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 134304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 25806
/proc/meminfo: memFree=31449228/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=138408 CPUtime=1302.31 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 80039 0 0 0 127829 2402 0 0 25 0 1 0 889540240 141729792 33343 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 34602 33343 693 1178 0 33420 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 138408
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 1.90 3/178 25807
/proc/meminfo: memFree=31444948/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=141484 CPUtime=1362.3 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 80803 0 0 0 133720 2510 0 0 25 0 1 0 889540240 144879616 34107 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 35371 34107 693 1178 0 34189 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 141484
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 25809
/proc/meminfo: memFree=31441916/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=144252 CPUtime=1422.32 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 84167 0 0 0 139610 2622 0 0 25 0 1 0 889540240 147714048 34802 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 36063 34802 693 1178 0 34881 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 144252
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25810
/proc/meminfo: memFree=31437400/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=148496 CPUtime=1482.31 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 85214 0 0 0 145501 2730 0 0 25 0 1 0 889540240 152059904 35849 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 37124 35849 693 1178 0 35942 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 148496
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25812
/proc/meminfo: memFree=31430908/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=154704 CPUtime=1542.31 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 86768 0 0 0 151389 2842 0 0 25 0 1 0 889540240 158416896 37403 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 38676 37403 693 1178 0 37494 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 154704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25813
/proc/meminfo: memFree=31426036/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=159600 CPUtime=1602.32 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 87995 0 0 0 157284 2948 0 0 25 0 1 0 889540240 163430400 38630 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 39900 38630 693 1178 0 38718 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 159600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25815
/proc/meminfo: memFree=31422640/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=162980 CPUtime=1662.31 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 88837 0 0 0 163179 3052 0 0 25 0 1 0 889540240 166891520 39472 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 40745 39472 693 1178 0 39563 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 162980
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 25817
/proc/meminfo: memFree=31420964/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=164532 CPUtime=1722.32 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 89224 0 0 0 169073 3159 0 0 25 0 1 0 889540240 168480768 39859 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 41133 39859 693 1178 0 39951 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 164532
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 25818
/proc/meminfo: memFree=31416580/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1782.32 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92907 0 0 0 174962 3270 0 0 25 0 1 0 889540240 173117440 40980 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40980 693 1178 0 41083 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 169060
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 25818
/proc/meminfo: memFree=31416580/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1785.51 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92907 0 0 0 175276 3275 0 0 25 0 1 0 889540240 173117440 40980 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40980 693 1178 0 41083 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 169060
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 25819
/proc/meminfo: memFree=31416564/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1791.93 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92913 0 0 0 175906 3287 0 0 25 0 1 0 889540240 173117440 40986 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40986 693 1178 0 41083 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 169060
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 25819
/proc/meminfo: memFree=31416564/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1795.12 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92913 0 0 0 176219 3293 0 0 25 0 1 0 889540240 173117440 40986 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40986 693 1178 0 41083 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 169060
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 25819
/proc/meminfo: memFree=31416564/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1795.91 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92914 0 0 0 176297 3294 0 0 25 0 1 0 889540240 173117440 40987 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40987 693 1178 0 41083 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 169060
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 25819
/proc/meminfo: memFree=31416564/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1796.72 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92914 0 0 0 176376 3296 0 0 25 0 1 0 889540240 173117440 40987 33554432000 4194304 9016284 140733534061584 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40987 693 1178 0 41083 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 169060
[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 25819
/proc/meminfo: memFree=31416564/32951124 swapFree=67053176/67111528
[pid=25729] ppid=25727 vsize=169060 CPUtime=1797.11 cores=0,2,4,6
/proc/25729/stat : 25729 (scip-2.0.1.4b_2) R 25727 25729 19126 0 -1 4202496 92918 0 0 0 176415 3296 0 0 18 0 1 0 889540240 173117440 40991 33554432000 4194304 9016284 140733534061584 18446744073709551615 4841537 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25729/statm: 42265 40991 695 1178 0 41083 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 169060
Child status: 0
Real time (s): 1797.16
CPU time (s): 1797.19
CPU user time (s): 1764.21
CPU system time (s): 32.977
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 172176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.21
system time used= 32.977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92923
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= 7
involuntary context switches= 25152
runsolver used 2.81057 second user time and 5.36318 second system time
The end