0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692051-1338029687.opb>
0.00/0.00 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 476
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.760000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 63 del conss, 161 add conss, 0 chg bounds, 213 chg sides, 570 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.01/0.02 c (round 4) 0 del vars, 99 del conss, 179 add conss, 0 chg bounds, 277 chg sides, 680 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.01/0.02 c (round 5) 0 del vars, 102 del conss, 182 add conss, 0 chg bounds, 284 chg sides, 691 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.01/0.03 c (round 6) 0 del vars, 102 del conss, 182 add conss, 0 chg bounds, 286 chg sides, 696 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 51/476 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.01/0.03 c presolving (7 rounds):
0.01/0.03 c 0 deleted vars, 102 deleted constraints, 182 added constraints, 0 tightened bounds, 0 added holes, 286 changed sides, 696 changed coefficients
0.01/0.03 c 210 implications, 0 cliques
0.01/0.03 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 556 constraints
0.01/0.03 c 450 constraints of type <knapsack>
0.01/0.03 c 104 constraints of type <setppc>
0.01/0.03 c 2 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.1.1.4
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.89/0.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.94 c t 0.9s| 1 | 0 | 10680 | - |2775k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 4.760000e+02 | 216.22%
0.89/0.94 o 342
0.89/0.94 c r 0.9s| 1 | 0 | 10680 | - |2788k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.420000e+02 | 127.20%
0.89/0.94 o 341
0.89/0.94 c R 0.9s| 1 | 0 | 10680 | - |2802k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.410000e+02 | 126.54%
0.89/0.94 o 340
0.89/0.94 c s 0.9s| 1 | 0 | 10680 | - |2815k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.400000e+02 | 125.87%
1.29/1.38 o 226
1.29/1.38 c y 1.4s| 1 | 0 | 10680 | - |3193k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 2.260000e+02 | 50.14%
1.89/1.92 c 1.9s| 1 | 0 | 14782 | - |3119k| 0 | 385 | 476 | 556 | 476 | 771 | 215 | 0 | 0 | 1.568833e+02 | 2.260000e+02 | 44.06%
2.69/2.72 c 2.7s| 1 | 0 | 18664 | - |3356k| 0 | 427 | 476 | 556 | 476 | 949 | 393 | 0 | 0 | 1.600657e+02 | 2.260000e+02 | 41.19%
3.38/3.45 c 3.4s| 1 | 0 | 21191 | - |3563k| 0 | 429 | 476 | 556 | 476 |1093 | 537 | 0 | 0 | 1.619218e+02 | 2.260000e+02 | 39.57%
4.30/4.32 c 4.3s| 1 | 0 | 24503 | - |3700k| 0 | 427 | 476 | 556 | 476 |1193 | 637 | 0 | 0 | 1.627370e+02 | 2.260000e+02 | 38.87%
4.89/4.91 c 4.9s| 1 | 0 | 25552 | - |3769k| 0 | 436 | 476 | 556 | 476 |1264 | 708 | 0 | 0 | 1.631395e+02 | 2.260000e+02 | 38.53%
5.39/5.44 c 5.4s| 1 | 0 | 26104 | - |3805k| 0 | 440 | 476 | 556 | 476 |1301 | 745 | 0 | 0 | 1.633297e+02 | 2.260000e+02 | 38.37%
5.89/5.94 c 5.9s| 1 | 0 | 26432 | - |3826k| 0 | 445 | 476 | 556 | 476 |1324 | 768 | 0 | 0 | 1.634421e+02 | 2.260000e+02 | 38.28%
6.38/6.44 c 6.4s| 1 | 0 | 26860 | - |3848k| 0 | 445 | 476 | 556 | 476 |1341 | 785 | 0 | 0 | 1.635364e+02 | 2.260000e+02 | 38.20%
6.79/6.87 c 6.9s| 1 | 0 | 26965 | - |3859k| 0 | 449 | 476 | 556 | 476 |1348 | 792 | 0 | 0 | 1.635481e+02 | 2.260000e+02 | 38.19%
7.29/7.30 c 7.3s| 1 | 0 | 27010 | - |3868k| 0 | 444 | 476 | 556 | 476 |1351 | 795 | 0 | 0 | 1.635588e+02 | 2.260000e+02 | 38.18%
7.39/7.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.39/7.48 c 7.5s| 1 | 0 | 27024 | - |3875k| 0 | 445 | 476 | 556 | 476 |1301 | 796 | 0 | 0 | 1.635595e+02 | 2.260000e+02 | 38.18%
10.39/10.43 c 10.4s| 1 | 2 | 27024 | - |3896k| 0 | 445 | 476 | 556 | 476 |1301 | 796 | 0 | 17 | 1.635595e+02 | 2.260000e+02 | 38.18%
30.69/30.80 o 224
30.69/30.80 c c30.8s| 15 | 16 | 43920 |1206.9 |4635k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.240000e+02 | 36.81%
30.79/30.80 o 223
30.79/30.80 c c30.8s| 15 | 16 | 43950 |1209.0 |4640k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.230000e+02 | 36.20%
30.79/30.81 o 221
30.79/30.81 c c30.8s| 15 | 16 | 43973 |1210.6 |4649k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.210000e+02 | 34.98%
30.79/30.81 o 220
30.79/30.81 c c30.8s| 15 | 16 | 43988 |1211.7 |4652k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.200000e+02 | 34.37%
30.79/30.81 o 217
30.79/30.81 c c30.8s| 15 | 16 | 43992 |1212.0 |4653k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.170000e+02 | 32.54%
30.79/30.81 o 216
30.79/30.81 c c30.8s| 15 | 16 | 43995 |1212.2 |4655k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.160000e+02 | 31.93%
30.79/30.81 o 215
30.79/30.81 c c30.8s| 15 | 16 | 43998 |1212.4 |4657k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.150000e+02 | 31.32%
30.79/30.82 o 213
30.79/30.82 c b30.8s| 16 | 15 | 44026 |1133.5 |4557k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.637277e+02 | 2.130000e+02 | 30.09%
32.49/32.52 o 212
32.49/32.52 c p32.5s| 27 | 28 | 56264 |1124.6 |4773k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.640413e+02 | 2.120000e+02 | 29.24%
32.49/32.52 o 211
32.49/32.52 c p32.5s| 27 | 28 | 56269 |1124.8 |4774k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.640413e+02 | 2.110000e+02 | 28.63%
32.49/32.52 o 207
32.49/32.52 c p32.5s| 27 | 28 | 56286 |1125.5 |4777k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.640413e+02 | 2.070000e+02 | 26.19%
32.49/32.52 o 205
32.49/32.52 c p32.5s| 27 | 28 | 56318 |1126.7 |4782k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.640413e+02 | 2.050000e+02 | 24.97%
32.49/32.52 o 204
32.49/32.52 c p32.5s| 27 | 28 | 56340 |1127.5 |4790k| 14 | - | 476 | 556 | 476 | 972 | 796 | 0 | 217 | 1.640413e+02 | 2.040000e+02 | 24.36%
54.89/54.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.89/54.94 c 54.9s| 100 | 101 |252612 |2278.7 |4813k| 18 | 405 | 476 | 556 | 476 | 972 | 796 | 0 | 241 | 1.640413e+02 | 2.040000e+02 | 24.36%
58.28/58.32 o 204
58.28/58.32 c p58.3s| 124 | 125 |279636 |2053.8 |4985k| 21 | - | 476 | 556 | 476 | 972 | 796 | 0 | 241 | 1.640413e+02 | 2.040000e+02 | 24.36%
58.28/58.33 o 203
58.28/58.33 c p58.3s| 124 | 125 |279651 |2053.9 |4989k| 21 | - | 476 | 556 | 476 | 972 | 796 | 0 | 241 | 1.640413e+02 | 2.030000e+02 | 23.75%
67.88/67.90 o 202
67.88/67.90 c p67.9s| 183 | 184 |347988 |1763.5 |5060k| 27 | - | 476 | 556 | 476 | 972 | 796 | 0 | 264 | 1.641275e+02 | 2.020000e+02 | 23.08%
67.88/67.90 o 200
67.88/67.90 c p67.9s| 183 | 184 |347993 |1763.6 |5062k| 27 | - | 476 | 556 | 476 | 972 | 796 | 0 | 264 | 1.641275e+02 | 2.000000e+02 | 21.86%
67.88/67.97 o 199
67.88/67.97 c b68.0s| 184 | 185 |348470 |1756.5 |4901k| 27 | 348 | 476 | 556 | 476 | 972 | 796 | 0 | 264 | 1.641275e+02 | 1.990000e+02 | 21.25%
74.38/74.47 c 74.5s| 200 | 201 |399320 |1870.8 |4906k| 27 | 405 | 476 | 556 | 476 | 972 | 796 | 0 | 274 | 1.641275e+02 | 1.990000e+02 | 21.25%
112.17/112.23 c 112s| 300 | 301 |678116 |2177.6 |4972k| 27 | 396 | 476 | 556 | 476 | 972 | 796 | 0 | 332 | 1.641918e+02 | 1.990000e+02 | 21.20%
137.47/137.54 c 138s| 400 | 401 |862659 |2094.3 |5033k| 27 | 387 | 476 | 556 | 476 | 972 | 796 | 0 | 395 | 1.643629e+02 | 1.990000e+02 | 21.07%
138.47/138.57 o 198
138.47/138.57 c p 139s| 402 | 403 |870954 |2104.6 |5192k| 27 | - | 476 | 556 | 476 | 972 | 796 | 0 | 395 | 1.643629e+02 | 1.980000e+02 | 20.47%
164.06/164.16 c 164s| 500 | 501 | 1055k|2061.3 |5099k| 28 | 368 | 476 | 556 | 476 | 972 | 796 | 0 | 464 | 1.644057e+02 | 1.980000e+02 | 20.43%
181.26/181.37 c 181s| 600 | 601 | 1186k|1935.2 |5162k| 30 | 285 | 476 | 556 | 476 | 972 | 796 | 0 | 491 | 1.644709e+02 | 1.980000e+02 | 20.39%
185.46/185.55 o 198
185.46/185.55 c p 186s| 617 | 618 | 1220k|1936.7 |5325k| 31 | - | 476 | 556 | 476 | 972 | 796 | 0 | 491 | 1.644709e+02 | 1.980000e+02 | 20.39%
185.56/185.63 o 197
185.56/185.63 c b 186s| 618 | 619 | 1220k|1934.4 |5180k| 31 | 385 | 476 | 556 | 476 | 972 | 796 | 0 | 491 | 1.644709e+02 | 1.970000e+02 | 19.78%
194.75/194.83 o 196
194.75/194.83 c p 195s| 649 | 650 | 1294k|1955.7 |5335k| 31 | - | 476 | 556 | 476 | 972 | 796 | 0 | 491 | 1.644709e+02 | 1.960000e+02 | 19.17%
194.75/194.83 o 195
194.75/194.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.75/194.83 c p 195s| 649 | 650 | 1294k|1955.8 |5340k| 31 | - | 476 | 556 | 476 | 972 | 796 | 0 | 491 | 1.644709e+02 | 1.950000e+02 | 18.56%
198.45/198.53 c 199s| 700 | 701 | 1321k|1852.3 |5225k| 31 | 326 | 476 | 556 | 476 | 972 | 796 | 0 | 491 | 1.644709e+02 | 1.950000e+02 | 18.56%
217.46/217.59 c 218s| 800 | 801 | 1461k|1795.9 |5290k| 31 | 341 | 476 | 556 | 476 | 972 | 796 | 0 | 530 | 1.644709e+02 | 1.950000e+02 | 18.56%
221.75/221.82 o 189
221.75/221.82 c C 222s| 849 | 850 | 1483k|1717.8 |5323k| 31 | 352 | 476 | 556 | 476 | 972 | 796 | 0 | 558 | 1.644709e+02 | 1.890000e+02 | 14.91%
221.75/221.82 o 188
221.75/221.82 c b 222s| 849 | 850 | 1483k|1717.8 |5330k| 31 | 352 | 476 | 556 | 476 | 972 | 796 | 0 | 558 | 1.644709e+02 | 1.880000e+02 | 14.31%
226.85/226.98 c 227s| 900 | 901 | 1522k|1663.8 |5358k| 42 | 285 | 476 | 556 | 476 | 972 | 796 | 0 | 578 | 1.644709e+02 | 1.880000e+02 | 14.31%
230.26/230.32 c 230s| 1000 | 1001 | 1549k|1523.7 |5433k| 75 | 195 | 476 | 556 | 476 | 972 | 796 | 0 | 604 | 1.644709e+02 | 1.880000e+02 | 14.31%
233.25/233.39 c 233s| 1100 | 1081 | 1571k|1405.6 |5498k| 88 | 169 | 476 | 556 | 476 | 972 | 796 | 0 | 617 | 1.644735e+02 | 1.880000e+02 | 14.30%
245.75/245.88 c 246s| 1200 | 1163 | 1667k|1368.5 |5560k| 92 | 389 | 476 | 556 | 476 | 972 | 796 | 0 | 618 | 1.645720e+02 | 1.880000e+02 | 14.24%
261.05/261.19 c 261s| 1300 | 1263 | 1779k|1348.8 |5631k| 92 | 380 | 476 | 556 | 476 | 972 | 796 | 0 | 638 | 1.646791e+02 | 1.880000e+02 | 14.16%
276.54/276.68 c 277s| 1400 | 1363 | 1878k|1323.5 |5702k| 92 | 353 | 476 | 556 | 476 | 972 | 796 | 0 | 699 | 1.647282e+02 | 1.880000e+02 | 14.13%
289.34/289.45 c 289s| 1500 | 1463 | 1971k|1297.1 |5772k| 92 | 379 | 476 | 556 | 476 | 972 | 796 | 0 | 729 | 1.647597e+02 | 1.880000e+02 | 14.11%
302.54/302.65 c 303s| 1600 | 1563 | 2070k|1278.2 |5843k| 92 | 393 | 476 | 556 | 476 | 972 | 796 | 0 | 731 | 1.647969e+02 | 1.880000e+02 | 14.08%
315.84/315.96 c 316s| 1700 | 1663 | 2166k|1259.3 |5916k| 92 | 394 | 476 | 556 | 476 | 972 | 796 | 0 | 758 | 1.648304e+02 | 1.880000e+02 | 14.06%
327.34/327.44 c 327s| 1800 | 1763 | 2233k|1226.8 |5985k| 92 | 368 | 476 | 556 | 476 | 972 | 796 | 0 | 818 | 1.648661e+02 | 1.880000e+02 | 14.03%
340.84/340.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.84/340.94 c 341s| 1900 | 1863 | 2328k|1211.9 |6056k| 92 | 376 | 476 | 556 | 476 | 972 | 796 | 0 | 850 | 1.648890e+02 | 1.880000e+02 | 14.02%
354.24/354.34 c 354s| 2000 | 1963 | 2427k|1200.9 |6126k| 92 | 393 | 476 | 556 | 476 | 972 | 796 | 0 | 871 | 1.649225e+02 | 1.880000e+02 | 13.99%
364.43/364.51 c 365s| 2100 | 2063 | 2505k|1180.6 |6197k| 92 | 389 | 476 | 556 | 476 | 972 | 796 | 0 | 871 | 1.649734e+02 | 1.880000e+02 | 13.96%
374.32/374.46 c 374s| 2200 | 2163 | 2578k|1160.4 |6269k| 92 | 385 | 476 | 556 | 476 | 972 | 796 | 0 | 883 | 1.649934e+02 | 1.880000e+02 | 13.94%
388.03/388.10 c 388s| 2300 | 2263 | 2668k|1148.8 |6339k| 92 | 355 | 476 | 556 | 476 | 972 | 796 | 0 | 927 | 1.650195e+02 | 1.880000e+02 | 13.93%
401.43/401.59 c 402s| 2400 | 2363 | 2753k|1136.6 |6409k| 92 | 355 | 476 | 556 | 476 | 972 | 796 | 0 | 984 | 1.650360e+02 | 1.880000e+02 | 13.91%
410.42/410.54 c 411s| 2500 | 2463 | 2815k|1115.7 |6480k| 92 | 383 | 476 | 556 | 476 | 972 | 796 | 0 |1009 | 1.650454e+02 | 1.880000e+02 | 13.91%
420.62/420.70 c 421s| 2600 | 2563 | 2892k|1102.5 |6550k| 92 | 369 | 476 | 556 | 476 | 972 | 796 | 0 |1011 | 1.650594e+02 | 1.880000e+02 | 13.90%
431.42/431.56 c 432s| 2700 | 2663 | 2976k|1092.9 |6622k| 92 | 376 | 476 | 556 | 476 | 972 | 796 | 0 |1011 | 1.650867e+02 | 1.880000e+02 | 13.88%
442.82/442.91 c 443s| 2800 | 2763 | 3055k|1081.9 |6694k| 92 | 380 | 476 | 556 | 476 | 972 | 796 | 0 |1037 | 1.651042e+02 | 1.880000e+02 | 13.87%
455.02/455.16 c 455s| 2900 | 2863 | 3132k|1071.3 |6764k| 92 | 375 | 476 | 556 | 476 | 972 | 796 | 0 |1088 | 1.651172e+02 | 1.880000e+02 | 13.86%
465.61/465.78 c 466s| 3000 | 2963 | 3202k|1058.9 |6835k| 92 | 376 | 476 | 556 | 476 | 972 | 796 | 0 |1119 | 1.651352e+02 | 1.880000e+02 | 13.85%
479.21/479.35 c 479s| 3100 | 3063 | 3297k|1055.4 |6905k| 92 | 375 | 476 | 556 | 476 | 972 | 796 | 0 |1155 | 1.651495e+02 | 1.880000e+02 | 13.84%
487.12/487.21 c 487s| 3200 | 3163 | 3355k|1040.4 |6977k| 92 | 372 | 476 | 556 | 476 | 972 | 796 | 0 |1163 | 1.651586e+02 | 1.880000e+02 | 13.83%
496.11/496.22 c 496s| 3300 | 3263 | 3423k|1029.6 |7048k| 92 | 388 | 476 | 556 | 476 | 972 | 796 | 0 |1163 | 1.651725e+02 | 1.880000e+02 | 13.82%
505.71/505.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.71/505.82 c 506s| 3400 | 3363 | 3496k|1020.7 |7119k| 92 | 373 | 476 | 556 | 476 | 972 | 796 | 0 |1164 | 1.651851e+02 | 1.880000e+02 | 13.81%
516.21/516.32 c 516s| 3500 | 3463 | 3563k|1010.8 |7190k| 92 | 361 | 476 | 556 | 476 | 972 | 796 | 0 |1200 | 1.651991e+02 | 1.880000e+02 | 13.80%
536.11/536.25 c 536s| 3600 | 3563 | 3735k|1030.5 |7260k| 92 | 360 | 476 | 556 | 476 | 972 | 796 | 0 |1224 | 1.652086e+02 | 1.880000e+02 | 13.80%
546.51/546.65 c 547s| 3700 | 3663 | 3804k|1021.1 |7330k| 92 | 372 | 476 | 556 | 476 | 972 | 796 | 0 |1252 | 1.652186e+02 | 1.880000e+02 | 13.79%
557.40/557.54 c 558s| 3800 | 3763 | 3875k|1013.1 |7401k| 92 | 373 | 476 | 556 | 476 | 972 | 796 | 0 |1289 | 1.652365e+02 | 1.880000e+02 | 13.78%
569.10/569.25 c 569s| 3900 | 3863 | 3963k|1009.6 |7472k| 92 | 373 | 476 | 556 | 476 | 972 | 796 | 0 |1301 | 1.652517e+02 | 1.880000e+02 | 13.77%
577.90/578.07 c 578s| 4000 | 3963 | 4028k|1000.7 |7543k| 92 | 369 | 476 | 556 | 476 | 972 | 796 | 0 |1309 | 1.652603e+02 | 1.880000e+02 | 13.76%
588.99/589.17 c 589s| 4100 | 4063 | 4115k| 997.4 |7613k| 92 | 365 | 476 | 556 | 476 | 972 | 796 | 0 |1309 | 1.652700e+02 | 1.880000e+02 | 13.75%
596.20/596.38 c 596s| 4200 | 4163 | 4168k| 986.4 |7683k| 92 | 380 | 476 | 556 | 476 | 972 | 796 | 0 |1309 | 1.652838e+02 | 1.880000e+02 | 13.74%
605.29/605.43 c 605s| 4300 | 4263 | 4237k| 979.4 |7753k| 92 | 384 | 476 | 556 | 476 | 972 | 796 | 0 |1309 | 1.652956e+02 | 1.880000e+02 | 13.74%
615.39/615.57 c 616s| 4400 | 4363 | 4317k| 975.2 |7824k| 92 | 369 | 476 | 556 | 476 | 972 | 796 | 0 |1310 | 1.653026e+02 | 1.880000e+02 | 13.73%
624.80/624.97 c 625s| 4500 | 4463 | 4388k| 969.5 |7894k| 92 | 377 | 476 | 556 | 476 | 972 | 796 | 0 |1310 | 1.653067e+02 | 1.880000e+02 | 13.73%
633.99/634.13 c 634s| 4600 | 4563 | 4458k| 963.6 |7964k| 92 | 377 | 476 | 556 | 476 | 972 | 796 | 0 |1310 | 1.653122e+02 | 1.880000e+02 | 13.72%
641.99/642.18 c 642s| 4700 | 4663 | 4519k| 956.1 |8035k| 92 | 365 | 476 | 556 | 476 | 972 | 796 | 0 |1310 | 1.653189e+02 | 1.880000e+02 | 13.72%
649.99/650.10 c 650s| 4800 | 4763 | 4579k| 948.6 |8105k| 92 | 384 | 476 | 556 | 476 | 972 | 796 | 0 |1311 | 1.653272e+02 | 1.880000e+02 | 13.71%
658.89/659.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.89/659.01 c 659s| 4900 | 4863 | 4641k| 941.9 |8176k| 92 | 373 | 476 | 556 | 476 | 972 | 796 | 0 |1331 | 1.653344e+02 | 1.880000e+02 | 13.71%
671.08/671.21 c 671s| 5000 | 4963 | 4723k| 939.4 |8247k| 92 | 371 | 476 | 556 | 476 | 972 | 796 | 0 |1361 | 1.653436e+02 | 1.880000e+02 | 13.70%
679.69/679.85 c 680s| 5100 | 5063 | 4781k| 932.5 |8318k| 92 | 383 | 476 | 556 | 476 | 972 | 796 | 0 |1391 | 1.653501e+02 | 1.880000e+02 | 13.70%
688.58/688.72 c 689s| 5200 | 5163 | 4850k| 927.8 |8388k| 92 | 351 | 476 | 556 | 476 | 972 | 796 | 0 |1391 | 1.653588e+02 | 1.880000e+02 | 13.69%
695.48/695.67 c 696s| 5300 | 5263 | 4902k| 920.0 |8459k| 92 | 390 | 476 | 556 | 476 | 972 | 796 | 0 |1391 | 1.653631e+02 | 1.880000e+02 | 13.69%
705.98/706.14 c 706s| 5400 | 5363 | 4983k| 918.1 |8530k| 92 | 366 | 476 | 556 | 476 | 972 | 796 | 0 |1391 | 1.653709e+02 | 1.880000e+02 | 13.68%
712.38/712.53 c 713s| 5500 | 5463 | 5024k| 908.8 |8600k| 92 | 370 | 476 | 556 | 476 | 972 | 796 | 0 |1411 | 1.653770e+02 | 1.880000e+02 | 13.68%
722.88/723.05 c 723s| 5600 | 5563 | 5095k| 905.3 |8670k| 92 | 370 | 476 | 556 | 476 | 972 | 796 | 0 |1439 | 1.653831e+02 | 1.880000e+02 | 13.68%
734.08/734.22 c 734s| 5700 | 5663 | 5174k| 903.2 |8740k| 92 | 377 | 476 | 556 | 476 | 972 | 796 | 0 |1463 | 1.653905e+02 | 1.880000e+02 | 13.67%
742.07/742.29 c 742s| 5800 | 5763 | 5225k| 896.5 |8811k| 92 | 371 | 476 | 556 | 476 | 972 | 796 | 0 |1492 | 1.654002e+02 | 1.880000e+02 | 13.66%
751.97/752.16 c 752s| 5900 | 5863 | 5300k| 893.9 |8882k| 92 | 372 | 476 | 556 | 476 | 972 | 796 | 0 |1500 | 1.654064e+02 | 1.880000e+02 | 13.66%
758.78/759.00 c 759s| 6000 | 5963 | 5351k| 887.5 |8953k| 92 | 371 | 476 | 556 | 476 | 972 | 796 | 0 |1500 | 1.654116e+02 | 1.880000e+02 | 13.66%
767.27/767.42 c 767s| 6100 | 6063 | 5414k| 883.4 |9024k| 92 | 353 | 476 | 556 | 476 | 972 | 796 | 0 |1503 | 1.654217e+02 | 1.880000e+02 | 13.65%
775.47/775.67 c 776s| 6200 | 6163 | 5478k| 879.4 |9096k| 92 | 378 | 476 | 556 | 476 | 972 | 796 | 0 |1503 | 1.654304e+02 | 1.880000e+02 | 13.64%
785.37/785.52 c 786s| 6300 | 6263 | 5546k| 876.2 |9166k| 92 | 383 | 476 | 556 | 476 | 972 | 796 | 0 |1523 | 1.654375e+02 | 1.880000e+02 | 13.64%
795.67/795.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.67/795.80 c 796s| 6400 | 6363 | 5611k| 872.7 |9238k| 92 | 366 | 476 | 556 | 476 | 972 | 796 | 0 |1562 | 1.654411e+02 | 1.880000e+02 | 13.64%
804.07/804.25 c 804s| 6500 | 6463 | 5670k| 868.4 |9309k| 92 | 353 | 476 | 556 | 476 | 972 | 796 | 0 |1581 | 1.654489e+02 | 1.880000e+02 | 13.63%
813.46/813.61 c 814s| 6600 | 6563 | 5735k| 865.0 |9381k| 92 | 393 | 476 | 556 | 476 | 972 | 796 | 0 |1605 | 1.654528e+02 | 1.880000e+02 | 13.63%
822.96/823.11 c 823s| 6700 | 6663 | 5807k| 862.9 |9452k| 92 | 374 | 476 | 556 | 476 | 972 | 796 | 0 |1610 | 1.654578e+02 | 1.880000e+02 | 13.62%
830.96/831.16 c 831s| 6800 | 6763 | 5868k| 859.2 |9524k| 92 | 366 | 476 | 556 | 476 | 972 | 796 | 0 |1610 | 1.654621e+02 | 1.880000e+02 | 13.62%
839.26/839.44 c 839s| 6900 | 6863 | 5931k| 855.8 |9596k| 92 | 391 | 476 | 556 | 476 | 972 | 796 | 0 |1610 | 1.654662e+02 | 1.880000e+02 | 13.62%
849.96/850.18 c 850s| 7000 | 6963 | 6009k| 854.8 |9666k| 92 | 380 | 476 | 556 | 476 | 972 | 796 | 0 |1628 | 1.654703e+02 | 1.880000e+02 | 13.62%
857.76/857.91 c 858s| 7100 | 7063 | 6063k| 850.4 |9737k| 92 | 378 | 476 | 559 | 476 | 972 | 796 | 3 |1641 | 1.654755e+02 | 1.880000e+02 | 13.61%
868.76/868.94 c 869s| 7200 | 7163 | 6139k| 849.0 |9808k| 92 | 372 | 476 | 559 | 476 | 972 | 796 | 3 |1668 | 1.654805e+02 | 1.880000e+02 | 13.61%
877.75/877.95 c 878s| 7300 | 7263 | 6200k| 845.8 |9878k| 92 | 373 | 476 | 559 | 476 | 972 | 796 | 3 |1690 | 1.654849e+02 | 1.880000e+02 | 13.61%
886.55/886.75 c 887s| 7400 | 7363 | 6260k| 842.5 |9950k| 92 | 364 | 476 | 559 | 476 | 972 | 796 | 3 |1711 | 1.654877e+02 | 1.880000e+02 | 13.60%
896.15/896.31 c 896s| 7500 | 7463 | 6331k| 840.8 | 10M| 92 | 379 | 476 | 560 | 476 | 972 | 796 | 4 |1729 | 1.654931e+02 | 1.880000e+02 | 13.60%
903.65/903.84 c 904s| 7600 | 7563 | 6389k| 837.2 | 10M| 92 | 379 | 476 | 560 | 476 | 972 | 796 | 4 |1731 | 1.654973e+02 | 1.880000e+02 | 13.60%
912.55/912.72 c 913s| 7700 | 7663 | 6457k| 835.2 | 10M| 92 | 362 | 476 | 560 | 476 | 972 | 796 | 4 |1734 | 1.655024e+02 | 1.880000e+02 | 13.59%
920.34/920.53 c 921s| 7800 | 7763 | 6518k| 832.4 | 10M| 92 | 357 | 476 | 562 | 476 | 972 | 796 | 6 |1734 | 1.655067e+02 | 1.880000e+02 | 13.59%
928.74/928.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.74/928.97 c 929s| 7900 | 7863 | 6582k| 830.0 | 10M| 92 | 365 | 476 | 562 | 476 | 972 | 796 | 6 |1734 | 1.655100e+02 | 1.880000e+02 | 13.59%
937.95/938.13 c 938s| 8000 | 7963 | 6645k| 827.4 | 10M| 92 | 376 | 476 | 562 | 476 | 972 | 796 | 6 |1753 | 1.655141e+02 | 1.880000e+02 | 13.59%
946.54/946.71 c 947s| 8100 | 8063 | 6697k| 823.6 | 10M| 92 | 349 | 476 | 562 | 476 | 972 | 796 | 6 |1792 | 1.655198e+02 | 1.880000e+02 | 13.58%
964.93/965.15 c 965s| 8200 | 8163 | 6858k| 833.2 | 10M| 92 | 391 | 476 | 562 | 476 | 972 | 796 | 6 |1806 | 1.655245e+02 | 1.880000e+02 | 13.58%
972.54/972.75 c 973s| 8300 | 8263 | 6908k| 829.2 | 10M| 92 | 389 | 476 | 562 | 476 | 972 | 796 | 6 |1827 | 1.655288e+02 | 1.880000e+02 | 13.58%
982.64/982.82 c 983s| 8400 | 8363 | 6979k| 827.8 | 10M| 92 | 376 | 476 | 562 | 476 | 972 | 796 | 6 |1847 | 1.655327e+02 | 1.880000e+02 | 13.57%
989.43/989.61 c 990s| 8500 | 8463 | 7026k| 823.6 | 10M| 92 | 370 | 476 | 562 | 476 | 972 | 796 | 6 |1857 | 1.655378e+02 | 1.880000e+02 | 13.57%
997.13/997.34 c 997s| 8600 | 8563 | 7086k| 820.9 | 10M| 92 | 375 | 476 | 562 | 476 | 972 | 796 | 6 |1858 | 1.655437e+02 | 1.880000e+02 | 13.57%
1006.74/1006.94 c 1007s| 8700 | 8663 | 7158k| 819.8 | 10M| 92 | 360 | 476 | 562 | 476 | 972 | 796 | 6 |1865 | 1.655493e+02 | 1.880000e+02 | 13.56%
1012.93/1013.20 c 1013s| 8800 | 8763 | 7205k| 815.8 | 10M| 92 | 388 | 476 | 562 | 476 | 972 | 796 | 6 |1866 | 1.655543e+02 | 1.880000e+02 | 13.56%
1022.23/1022.45 c 1022s| 8900 | 8863 | 7275k| 814.6 | 11M| 92 | 364 | 476 | 562 | 476 | 972 | 796 | 6 |1866 | 1.655583e+02 | 1.880000e+02 | 13.56%
1031.22/1031.41 c 1031s| 9000 | 8963 | 7339k| 812.6 | 11M| 92 | 378 | 476 | 562 | 476 | 972 | 796 | 6 |1879 | 1.655615e+02 | 1.880000e+02 | 13.55%
1039.82/1040.07 c 1040s| 9100 | 9063 | 7393k| 809.5 | 11M| 92 | 382 | 476 | 562 | 476 | 972 | 796 | 6 |1906 | 1.655638e+02 | 1.880000e+02 | 13.55%
1051.03/1051.20 c 1051s| 9200 | 9163 | 7475k| 809.7 | 11M| 92 | 372 | 476 | 572 | 476 | 972 | 796 | 16 |1919 | 1.655686e+02 | 1.880000e+02 | 13.55%
1060.02/1060.25 c 1060s| 9300 | 9263 | 7532k| 807.1 | 11M| 92 | 346 | 476 | 572 | 476 | 972 | 796 | 16 |1950 | 1.655726e+02 | 1.880000e+02 | 13.55%
1068.42/1068.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.42/1068.67 c 1069s| 9400 | 9363 | 7591k| 804.8 | 11M| 92 | 368 | 476 | 572 | 476 | 972 | 796 | 16 |1965 | 1.655775e+02 | 1.880000e+02 | 13.54%
1076.22/1076.47 c 1076s| 9500 | 9463 | 7644k| 801.9 | 11M| 92 | 359 | 476 | 572 | 476 | 972 | 796 | 16 |1985 | 1.655835e+02 | 1.880000e+02 | 13.54%
1084.52/1084.77 c 1085s| 9600 | 9563 | 7706k| 800.0 | 11M| 92 | 363 | 476 | 572 | 476 | 972 | 796 | 16 |1993 | 1.655872e+02 | 1.880000e+02 | 13.54%
1092.32/1092.59 c 1093s| 9700 | 9663 | 7766k| 797.9 | 11M| 92 | 374 | 476 | 572 | 476 | 972 | 796 | 16 |1995 | 1.655890e+02 | 1.880000e+02 | 13.53%
1100.52/1100.73 c 1101s| 9800 | 9763 | 7828k| 796.1 | 11M| 92 | 368 | 476 | 572 | 476 | 972 | 796 | 16 |1995 | 1.655924e+02 | 1.880000e+02 | 13.53%
1110.51/1110.77 c 1111s| 9900 | 9863 | 7906k| 796.0 | 11M| 92 | 369 | 476 | 572 | 476 | 972 | 796 | 16 |1995 | 1.655963e+02 | 1.880000e+02 | 13.53%
1116.41/1116.64 c 1117s| 10000 | 9963 | 7950k| 792.4 | 11M| 92 | 361 | 476 | 572 | 476 | 972 | 796 | 16 |1995 | 1.656000e+02 | 1.880000e+02 | 13.53%
1126.01/1126.23 c 1126s| 10100 | 10063 | 8014k| 791.0 | 11M| 92 | 378 | 476 | 572 | 476 | 972 | 796 | 16 |2015 | 1.656046e+02 | 1.880000e+02 | 13.52%
1135.72/1135.96 c 1136s| 10200 | 10163 | 8081k| 789.7 | 11M| 92 | 368 | 476 | 572 | 476 | 972 | 796 | 16 |2036 | 1.656070e+02 | 1.880000e+02 | 13.52%
1142.41/1142.64 c 1143s| 10300 | 10263 | 8124k| 786.2 | 12M| 92 | 384 | 476 | 572 | 476 | 972 | 796 | 16 |2052 | 1.656100e+02 | 1.880000e+02 | 13.52%
1151.91/1152.13 c 1152s| 10400 | 10363 | 8192k| 785.2 | 12M| 92 | 367 | 476 | 572 | 476 | 972 | 796 | 16 |2069 | 1.656143e+02 | 1.880000e+02 | 13.52%
1160.01/1160.28 c 1160s| 10500 | 10463 | 8241k| 782.4 | 12M| 92 | 380 | 476 | 572 | 476 | 972 | 796 | 16 |2103 | 1.656171e+02 | 1.880000e+02 | 13.51%
1169.50/1169.70 c 1170s| 10600 | 10563 | 8311k| 781.7 | 12M| 92 | 366 | 476 | 572 | 476 | 972 | 796 | 16 |2113 | 1.656210e+02 | 1.880000e+02 | 13.51%
1177.31/1177.54 c 1178s| 10700 | 10663 | 8371k| 779.9 | 12M| 92 | 332 | 476 | 572 | 476 | 972 | 796 | 16 |2118 | 1.656250e+02 | 1.880000e+02 | 13.51%
1183.20/1183.49 c 1183s| 10800 | 10763 | 8414k| 776.7 | 12M| 92 | 381 | 476 | 572 | 476 | 972 | 796 | 16 |2120 | 1.656283e+02 | 1.880000e+02 | 13.51%
1194.60/1194.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.60/1194.86 c 1195s| 10900 | 10863 | 8505k| 777.9 | 12M| 92 | 371 | 476 | 579 | 476 | 972 | 796 | 23 |2121 | 1.656327e+02 | 1.880000e+02 | 13.50%
1200.41/1200.68 c 1201s| 11000 | 10963 | 8548k| 774.7 | 12M| 92 | 371 | 476 | 579 | 476 | 972 | 796 | 23 |2121 | 1.656362e+02 | 1.880000e+02 | 13.50%
1208.60/1208.87 c 1209s| 11100 | 11063 | 8610k| 773.4 | 12M| 92 | 366 | 476 | 579 | 476 | 972 | 796 | 23 |2121 | 1.656394e+02 | 1.880000e+02 | 13.50%
1218.00/1218.29 c 1218s| 11200 | 11163 | 8680k| 772.7 | 12M| 92 | 356 | 476 | 579 | 476 | 972 | 796 | 23 |2135 | 1.656417e+02 | 1.880000e+02 | 13.50%
1226.00/1226.22 c 1226s| 11300 | 11263 | 8728k| 770.1 | 12M| 92 | 343 | 476 | 579 | 476 | 972 | 796 | 23 |2164 | 1.656453e+02 | 1.880000e+02 | 13.50%
1233.60/1233.84 c 1234s| 11400 | 11363 | 8787k| 768.5 | 12M| 92 | 387 | 476 | 579 | 476 | 972 | 796 | 23 |2164 | 1.656480e+02 | 1.880000e+02 | 13.49%
1242.29/1242.58 c 1243s| 11500 | 11463 | 8847k| 767.0 | 12M| 92 | 363 | 476 | 579 | 476 | 972 | 796 | 23 |2183 | 1.656495e+02 | 1.880000e+02 | 13.49%
1250.79/1251.05 c 1251s| 11600 | 11563 | 8902k| 765.2 | 12M| 92 | 374 | 476 | 579 | 476 | 972 | 796 | 23 |2207 | 1.656513e+02 | 1.880000e+02 | 13.49%
1260.19/1260.49 c 1260s| 11700 | 11663 | 8971k| 764.5 | 13M| 92 | 378 | 476 | 579 | 476 | 972 | 796 | 23 |2225 | 1.656538e+02 | 1.880000e+02 | 13.49%
1267.79/1268.00 c 1268s| 11800 | 11763 | 9022k| 762.4 | 13M| 92 | 351 | 476 | 579 | 476 | 972 | 796 | 23 |2243 | 1.656558e+02 | 1.880000e+02 | 13.49%
1276.29/1276.57 c 1277s| 11900 | 11863 | 9087k| 761.5 | 13M| 92 | 362 | 476 | 579 | 476 | 972 | 796 | 23 |2248 | 1.656580e+02 | 1.880000e+02 | 13.49%
1282.89/1283.19 c 1283s| 12000 | 11963 | 9137k| 759.2 | 13M| 92 | 352 | 476 | 579 | 476 | 972 | 796 | 23 |2250 | 1.656607e+02 | 1.880000e+02 | 13.48%
1289.59/1289.89 c 1290s| 12100 | 12063 | 9188k| 757.2 | 13M| 92 | 364 | 476 | 579 | 476 | 972 | 796 | 23 |2250 | 1.656644e+02 | 1.880000e+02 | 13.48%
1297.39/1297.65 c 1298s| 12200 | 12163 | 9247k| 755.8 | 13M| 92 | 370 | 476 | 579 | 476 | 972 | 796 | 23 |2250 | 1.656663e+02 | 1.880000e+02 | 13.48%
1304.99/1305.26 c 1305s| 12300 | 12263 | 9305k| 754.4 | 13M| 92 | 383 | 476 | 579 | 476 | 972 | 796 | 23 |2250 | 1.656695e+02 | 1.880000e+02 | 13.48%
1312.69/1312.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.69/1312.95 c 1313s| 12400 | 12363 | 9364k| 753.1 | 13M| 92 | 379 | 476 | 579 | 476 | 972 | 796 | 23 |2250 | 1.656715e+02 | 1.880000e+02 | 13.48%
1321.79/1322.08 c 1322s| 12500 | 12463 | 9419k| 751.4 | 13M| 92 | 388 | 476 | 579 | 476 | 972 | 796 | 23 |2282 | 1.656742e+02 | 1.880000e+02 | 13.48%
1330.48/1330.76 c 1331s| 12600 | 12563 | 9481k| 750.4 | 13M| 92 | 391 | 476 | 579 | 476 | 972 | 796 | 23 |2293 | 1.656769e+02 | 1.880000e+02 | 13.47%
1337.39/1337.61 c 1338s| 12700 | 12663 | 9526k| 748.1 | 13M| 92 | 372 | 476 | 579 | 476 | 972 | 796 | 23 |2308 | 1.656795e+02 | 1.880000e+02 | 13.47%
1345.98/1346.22 c 1346s| 12800 | 12763 | 9589k| 747.1 | 13M| 92 | 388 | 476 | 579 | 476 | 972 | 796 | 23 |2317 | 1.656822e+02 | 1.880000e+02 | 13.47%
1354.88/1355.19 c 1355s| 12900 | 12863 | 9651k| 746.2 | 13M| 92 | 378 | 476 | 579 | 476 | 972 | 796 | 23 |2334 | 1.656847e+02 | 1.880000e+02 | 13.47%
1363.38/1363.60 c 1364s| 13000 | 12963 | 9709k| 744.8 | 13M| 92 | 365 | 476 | 579 | 476 | 972 | 796 | 23 |2356 | 1.656879e+02 | 1.880000e+02 | 13.47%
1370.28/1370.58 c 1371s| 13100 | 13063 | 9759k| 743.0 | 14M| 92 | 357 | 476 | 579 | 476 | 972 | 796 | 23 |2367 | 1.656896e+02 | 1.880000e+02 | 13.47%
1375.97/1376.20 c 1376s| 13200 | 13163 | 9800k| 740.5 | 14M| 92 | 360 | 476 | 579 | 476 | 972 | 796 | 23 |2370 | 1.656915e+02 | 1.880000e+02 | 13.46%
1383.97/1384.26 c 1384s| 13300 | 13263 | 9864k| 739.7 | 14M| 92 | 373 | 476 | 579 | 476 | 972 | 796 | 23 |2370 | 1.656948e+02 | 1.880000e+02 | 13.46%
1390.87/1391.18 c 1391s| 13400 | 13363 | 9916k| 738.1 | 14M| 92 | 360 | 476 | 579 | 476 | 972 | 796 | 23 |2370 | 1.656990e+02 | 1.880000e+02 | 13.46%
1398.17/1398.49 c 1398s| 13500 | 13463 | 9972k| 736.7 | 14M| 92 | 365 | 476 | 579 | 476 | 972 | 796 | 23 |2370 | 1.657007e+02 | 1.880000e+02 | 13.46%
1407.27/1407.51 c 1408s| 13600 | 13563 | 10043k| 736.6 | 14M| 92 | 354 | 476 | 579 | 476 | 972 | 796 | 23 |2370 | 1.657045e+02 | 1.880000e+02 | 13.45%
1414.28/1414.53 c 1415s| 13700 | 13663 | 10089k| 734.5 | 14M| 92 | 360 | 476 | 579 | 476 | 972 | 796 | 23 |2387 | 1.657078e+02 | 1.880000e+02 | 13.45%
1422.86/1423.15 c 1423s| 13800 | 13763 | 10151k| 733.7 | 14M| 92 | 385 | 476 | 579 | 476 | 972 | 796 | 23 |2397 | 1.657107e+02 | 1.880000e+02 | 13.45%
1429.26/1429.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.26/1429.53 c 1430s| 13900 | 13863 | 10192k| 731.4 | 14M| 92 | 379 | 476 | 579 | 476 | 972 | 796 | 23 |2416 | 1.657138e+02 | 1.880000e+02 | 13.45%
1438.57/1438.83 c 1439s| 14000 | 13963 | 10260k| 731.0 | 14M| 92 | 368 | 476 | 579 | 476 | 972 | 796 | 23 |2427 | 1.657153e+02 | 1.880000e+02 | 13.45%
1446.86/1447.13 c 1447s| 14100 | 14063 | 10312k| 729.5 | 14M| 92 | 347 | 476 | 579 | 476 | 972 | 796 | 23 |2459 | 1.657181e+02 | 1.880000e+02 | 13.45%
1453.97/1454.22 c 1454s| 14200 | 14163 | 10364k| 728.0 | 14M| 92 | 357 | 476 | 579 | 476 | 972 | 796 | 23 |2465 | 1.657211e+02 | 1.880000e+02 | 13.44%
1462.97/1463.23 c 1463s| 14300 | 14263 | 10430k| 727.6 | 14M| 92 | 355 | 476 | 579 | 476 | 972 | 796 | 23 |2478 | 1.657230e+02 | 1.880000e+02 | 13.44%
1469.76/1470.03 c 1470s| 14400 | 14363 | 10482k| 726.1 | 14M| 92 | 357 | 476 | 579 | 476 | 972 | 796 | 23 |2480 | 1.657249e+02 | 1.880000e+02 | 13.44%
1477.56/1477.84 c 1478s| 14500 | 14463 | 10542k| 725.2 | 15M| 92 | 374 | 476 | 579 | 476 | 972 | 796 | 23 |2481 | 1.657272e+02 | 1.880000e+02 | 13.44%
1493.15/1493.44 c 1493s| 14600 | 14563 | 10697k| 730.9 | 15M| 92 | 357 | 476 | 579 | 476 | 972 | 796 | 23 |2481 | 1.657302e+02 | 1.880000e+02 | 13.44%
1500.96/1501.21 c 1501s| 14700 | 14663 | 10757k| 730.0 | 15M| 92 | 377 | 476 | 579 | 476 | 972 | 796 | 23 |2482 | 1.657323e+02 | 1.880000e+02 | 13.44%
1507.55/1507.80 c 1508s| 14800 | 14763 | 10809k| 728.6 | 15M| 92 | 370 | 476 | 582 | 476 | 972 | 796 | 26 |2483 | 1.657334e+02 | 1.880000e+02 | 13.44%
1516.15/1516.48 c 1516s| 14900 | 14863 | 10876k| 728.2 | 15M| 92 | 384 | 476 | 582 | 476 | 972 | 796 | 26 |2483 | 1.657349e+02 | 1.880000e+02 | 13.43%
1524.95/1525.21 c 1525s| 15000 | 14963 | 10937k| 727.4 | 15M| 92 | 367 | 476 | 582 | 476 | 972 | 796 | 26 |2500 | 1.657377e+02 | 1.880000e+02 | 13.43%
1534.26/1534.55 c 1535s| 15100 | 15063 | 11006k| 727.1 | 15M| 92 | 364 | 476 | 585 | 476 | 972 | 796 | 29 |2518 | 1.657394e+02 | 1.880000e+02 | 13.43%
1541.45/1541.75 c 1542s| 15200 | 15163 | 11049k| 725.2 | 15M| 92 | 370 | 476 | 585 | 476 | 972 | 796 | 29 |2545 | 1.657427e+02 | 1.880000e+02 | 13.43%
1550.35/1550.68 c 1551s| 15300 | 15263 | 11120k| 725.1 | 15M| 92 | 375 | 476 | 585 | 476 | 972 | 796 | 29 |2545 | 1.657442e+02 | 1.880000e+02 | 13.43%
1556.75/1557.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.75/1557.03 c 1557s| 15400 | 15363 | 11158k| 722.9 | 15M| 92 | 333 | 476 | 585 | 476 | 972 | 796 | 29 |2570 | 1.657468e+02 | 1.880000e+02 | 13.43%
1565.15/1565.41 c 1565s| 15500 | 15463 | 11218k| 722.1 | 15M| 92 | 371 | 476 | 585 | 476 | 972 | 796 | 29 |2581 | 1.657487e+02 | 1.880000e+02 | 13.42%
1573.05/1573.32 c 1573s| 15600 | 15563 | 11274k| 721.1 | 15M| 92 | 343 | 476 | 585 | 476 | 972 | 796 | 29 |2595 | 1.657505e+02 | 1.880000e+02 | 13.42%
1580.15/1580.47 c 1580s| 15700 | 15663 | 11329k| 719.9 | 15M| 92 | 371 | 476 | 585 | 476 | 972 | 796 | 29 |2596 | 1.657527e+02 | 1.880000e+02 | 13.42%
1588.44/1588.78 c 1589s| 15800 | 15763 | 11393k| 719.5 | 15M| 92 | 369 | 476 | 585 | 476 | 972 | 796 | 29 |2596 | 1.657543e+02 | 1.880000e+02 | 13.42%
1597.64/1597.99 c 1598s| 15900 | 15863 | 11465k| 719.4 | 16M| 92 | 372 | 476 | 585 | 476 | 972 | 796 | 29 |2596 | 1.657565e+02 | 1.880000e+02 | 13.42%
1604.54/1604.85 c 1605s| 16000 | 15963 | 11516k| 718.2 | 16M| 92 | 372 | 476 | 585 | 476 | 972 | 796 | 29 |2597 | 1.657588e+02 | 1.880000e+02 | 13.42%
1610.54/1610.89 c 1611s| 16100 | 16063 | 11561k| 716.5 | 16M| 92 | 370 | 476 | 585 | 476 | 972 | 796 | 29 |2597 | 1.657607e+02 | 1.880000e+02 | 13.42%
1617.33/1617.63 c 1618s| 16200 | 16163 | 11613k| 715.3 | 16M| 92 | 374 | 476 | 585 | 476 | 972 | 796 | 29 |2597 | 1.657623e+02 | 1.880000e+02 | 13.42%
1624.35/1624.60 c 1625s| 16300 | 16263 | 11662k| 713.9 | 16M| 92 | 375 | 476 | 585 | 476 | 972 | 796 | 29 |2608 | 1.657647e+02 | 1.880000e+02 | 13.41%
1632.64/1632.97 c 1633s| 16400 | 16363 | 11721k| 713.1 | 16M| 92 | 363 | 476 | 585 | 476 | 972 | 796 | 29 |2622 | 1.657670e+02 | 1.880000e+02 | 13.41%
1640.63/1640.92 c 1641s| 16500 | 16463 | 11772k| 711.9 | 16M| 92 | 362 | 476 | 585 | 476 | 972 | 796 | 29 |2643 | 1.657685e+02 | 1.880000e+02 | 13.41%
1649.53/1649.87 c 1650s| 16600 | 16563 | 11835k| 711.4 | 16M| 92 | 361 | 476 | 585 | 476 | 972 | 796 | 29 |2662 | 1.657702e+02 | 1.880000e+02 | 13.41%
1657.53/1657.85 c 1658s| 16700 | 16663 | 11883k| 710.0 | 16M| 92 | 371 | 476 | 585 | 476 | 972 | 796 | 29 |2691 | 1.657716e+02 | 1.880000e+02 | 13.41%
1664.03/1664.39 c 1664s| 16800 | 16763 | 11934k| 708.8 | 16M| 92 | 362 | 476 | 585 | 476 | 972 | 796 | 29 |2691 | 1.657737e+02 | 1.880000e+02 | 13.41%
1673.03/1673.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.03/1673.30 c 1673s| 16900 | 16863 | 12001k| 708.6 | 16M| 92 | 377 | 476 | 585 | 476 | 972 | 796 | 29 |2696 | 1.657768e+02 | 1.880000e+02 | 13.41%
1680.93/1681.20 c 1681s| 17000 | 16963 | 12056k| 707.7 | 16M| 92 | 379 | 476 | 585 | 476 | 972 | 796 | 29 |2711 | 1.657782e+02 | 1.880000e+02 | 13.40%
1685.83/1686.14 c 1686s| 17100 | 17063 | 12090k| 705.5 | 16M| 92 | 373 | 476 | 585 | 476 | 972 | 796 | 29 |2715 | 1.657796e+02 | 1.880000e+02 | 13.40%
1694.12/1694.44 c 1694s| 17200 | 17163 | 12153k| 705.0 | 16M| 92 | 359 | 476 | 585 | 476 | 972 | 796 | 29 |2716 | 1.657817e+02 | 1.880000e+02 | 13.40%
1701.12/1701.42 c 1701s| 17300 | 17263 | 12206k| 704.1 | 17M| 92 | 377 | 476 | 585 | 476 | 972 | 796 | 29 |2716 | 1.657843e+02 | 1.880000e+02 | 13.40%
1711.53/1711.87 c 1712s| 17400 | 17363 | 12290k| 704.8 | 17M| 92 | 367 | 476 | 585 | 476 | 972 | 796 | 29 |2716 | 1.657861e+02 | 1.880000e+02 | 13.40%
1718.12/1718.49 c 1718s| 17500 | 17463 | 12339k| 703.6 | 17M| 92 | 362 | 476 | 585 | 476 | 972 | 796 | 29 |2718 | 1.657878e+02 | 1.880000e+02 | 13.40%
1725.22/1725.53 c 1726s| 17600 | 17563 | 12393k| 702.7 | 17M| 92 | 368 | 476 | 585 | 476 | 972 | 796 | 29 |2718 | 1.657898e+02 | 1.880000e+02 | 13.40%
1732.13/1732.46 c 1732s| 17700 | 17663 | 12441k| 701.4 | 17M| 92 | 363 | 476 | 585 | 476 | 972 | 796 | 29 |2729 | 1.657920e+02 | 1.880000e+02 | 13.40%
1741.41/1741.72 c 1742s| 17800 | 17763 | 12509k| 701.3 | 17M| 92 | 366 | 476 | 585 | 476 | 972 | 796 | 29 |2739 | 1.657943e+02 | 1.880000e+02 | 13.39%
1749.32/1749.64 c 1750s| 17900 | 17863 | 12567k| 700.6 | 17M| 92 | 382 | 476 | 585 | 476 | 972 | 796 | 29 |2748 | 1.657958e+02 | 1.880000e+02 | 13.39%
1757.32/1757.62 c 1758s| 18000 | 17963 | 12619k| 699.6 | 17M| 92 | 337 | 476 | 585 | 476 | 972 | 796 | 29 |2771 | 1.657974e+02 | 1.880000e+02 | 13.39%
1766.82/1767.12 c 1767s| 18100 | 18063 | 12685k| 699.4 | 17M| 92 | 375 | 476 | 585 | 476 | 972 | 796 | 29 |2795 | 1.657998e+02 | 1.880000e+02 | 13.39%
1772.31/1772.69 c 1773s| 18200 | 18163 | 12726k| 697.8 | 17M| 92 | 365 | 476 | 585 | 476 | 972 | 796 | 29 |2795 | 1.658016e+02 | 1.880000e+02 | 13.39%
1781.22/1781.59 c 1782s| 18300 | 18263 | 12788k| 697.4 | 17M| 92 | 355 | 476 | 585 | 476 | 972 | 796 | 29 |2813 | 1.658028e+02 | 1.880000e+02 | 13.39%
1790.51/1790.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.51/1790.83 c 1791s| 18400 | 18363 | 12859k| 697.5 | 17M| 92 | 349 | 476 | 585 | 476 | 972 | 796 | 29 |2817 | 1.658040e+02 | 1.880000e+02 | 13.39%
1796.41/1796.76 c 1797s| 18500 | 18463 | 12904k| 696.1 | 17M| 92 | 356 | 476 | 585 | 476 | 972 | 796 | 29 |2818 | 1.658065e+02 | 1.880000e+02 | 13.39%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 18505
1796.71/1797.00 c Primal Bound : +1.88000000000000e+02 (724 solutions)
1796.71/1797.00 c Dual Bound : +1.65806606356139e+02
1796.71/1797.00 c Gap : 13.39 %
1796.71/1797.00 s SATISFIABLE
1796.71/1797.00 v x476 x475 x474 -x473 -x472 x471 -x470 x469 x468 x467 -x466 x465 x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 x455 x454 x453
1796.71/1797.00 v x452 -x451 x450 -x449 x448 -x447 x446 x445 x444 x443 -x442 x441 x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431
1796.71/1797.00 v x430 -x429 -x428 -x427 x426 x425 -x424 x423 x422 x421 -x420 x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 x410 -x409 -x408
1796.71/1797.00 v x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1796.71/1797.00 v -x386 -x385 x384 x383 -x382 -x381 -x380 x379 -x378 -x377 x376 -x375 x374 -x373 x372 -x371 -x370 -x369 -x368 x367 -x366 -x365
1796.71/1797.00 v -x364 -x363 x362 -x361 x360 -x359 x358 x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 x344 x343 x342
1796.71/1797.00 v -x341 -x340 x339 -x338 x337 x336 -x335 -x334 x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 -x321 x320
1796.71/1797.00 v -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 x311 -x310 x309 x308 -x307 x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298
1796.71/1797.00 v -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 x277 x276
1796.71/1797.00 v x275 x274 -x273 x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 x263 x262 x261 -x260 -x259 -x258 -x257 x256 x255 -x254
1796.71/1797.00 v x253 -x252 -x251 x250 x249 -x248 x247 -x246 x245 x244 -x243 x242 -x241 x240 -x239 -x238 x237 x236 -x235 x234 x233 x232 x231
1796.71/1797.00 v x230 -x229 x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 x218 x217 x216 -x215 -x214 x213 -x212 -x211 -x210 -x209
1796.71/1797.00 v -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 x190 -x189 x188 x187 -x186
1796.71/1797.00 v -x185 x184 x183 -x182 x181 -x180 x179 x178 x177 x176 -x175 x174 x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165 -x164
1796.71/1797.00 v x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 -x145 -x144 x143 -x142
1796.71/1797.00 v x141 -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 x120
1796.71/1797.00 v -x119 x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 x109 -x108 x107 -x106 -x105 -x104 -x103 x102 x101 -x100 x99 -x98 x97
1796.71/1797.00 v x96 x95 x94 -x93 x92 -x91 -x90 x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 x70
1796.71/1797.00 v x69 -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 -x43
1796.71/1797.00 v 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 -x16 -x15
1796.71/1797.00 v -x14 x13 -x12 x11 -x10 -x9 x8 x7 -x6 x5 -x4 x3 -x2 -x1
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.02 (included in solving)
1796.71/1797.00 c reading : 0.00 (included in solving)
1796.71/1797.00 c copying : 0.03 (5 #copies) (minimal 0.00, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3692051-1338029687.opb
1796.71/1797.00 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 476 initial, 476 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3692051-1338029687.opb
1796.71/1797.00 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 556 initial, 585 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 24 182 286 669
1796.71/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 78 0 0 0
1796.71/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 27
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 18484 0 729 0 0 0 0 0 36968
1796.71/1797.00 c knapsack : 450 450 12 171581 0 2 724 0 1 6877 820 0 0
1796.71/1797.00 c setppc : 104 104 12 171580 0 2 723 0 0 3331 0 0 0
1796.71/1797.00 c logicor : 2+ 31 12 5309 0 2 723 0 0 0 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 2 727 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 136.66 0.00 0.00 0.00 136.66 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 1.21 0.00 0.04 1.17 0.00 0.00 0.01 0.00
1796.71/1797.00 c setppc : 0.20 0.00 0.00 0.20 0.00 0.00 0.00 0.00
1796.71/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 23 0 0 0
1796.71/1797.00 c pseudoobj : 190016 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 18512 0 0 447
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.71/1797.00 c pseudoobj : 0.18 0.00 0.00 0.18 0.00
1796.71/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.71/1797.01 c redcost : 0.16 0.00 0.00 0.16 0.00
1796.71/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 29 29 29 4.0 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 29 4.0 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 11 - - 280 - (maximal pool size: 1385)
1796.71/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.71/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 1.73 0.00 10 0 0 0 0
1796.71/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 1.61 0.00 12 0 0 0 0
1796.71/1797.01 c cmir : 0.27 0.00 10 0 0 854 0
1796.71/1797.01 c flowcover : 0.26 0.00 10 0 0 1020 0
1796.71/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.28 0.00 1 0 0 0 0
1796.71/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.01 c problem variables: 0.00 - 0 0
1796.71/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 136.64 0.00 18484 0 0 0 0 36968
1796.71/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.71/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.01 c LP solutions : 0.00 - - 0
1796.71/1797.01 c pseudo solutions : 0.00 - - 0
1796.71/1797.01 c oneopt : 0.01 0.00 13 4
1796.71/1797.01 c veclendiving : 67.96 0.00 74 84
1796.71/1797.01 c linesearchdiving : 70.02 0.00 89 47
1796.71/1797.01 c pscostdiving : 258.84 0.00 287 290
1796.71/1797.01 c smallcard : 0.00 0.00 0 0
1796.71/1797.01 c trivial : 0.00 0.00 2 1
1796.71/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.01 c simplerounding : 0.56 0.00 18495 26
1796.71/1797.01 c zirounding : 0.45 0.00 1301 26
1796.71/1797.01 c rounding : 14.18 0.00 6083 1
1796.71/1797.01 c shifting : 3.80 0.00 1518 1
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.01 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 0.00 0.00 0 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c coefdiving : 203.71 0.00 163 147
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c fracdiving : 48.58 0.00 42 0
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c objpscostdiving : 38.39 0.00 5 95
1796.71/1797.01 c rootsoldiving : 12.85 0.00 12 0
1796.71/1797.01 c guideddiving : 48.65 0.00 42 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 0.01 0.00 0 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c crossover : 0.37 0.00 1 1
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0.00 0 0
1796.71/1797.01 c subnlp : 0.00 0.00 0 0
1796.71/1797.01 c trysol : 0.01 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.71/1797.01 c dual LP : 883.85 18549 6535539 352.99 7394.37 0.06 34
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 729.88 103963 6370502 61.28 8728.09
1796.71/1797.01 c strong branching : 135.19 2818 871019 309.09 6443.11
1796.71/1797.01 c (at root node) : - 17 16417 965.71 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 18505
1796.71/1797.01 c nodes (total) : 18505
1796.71/1797.01 c nodes left : 18468
1796.71/1797.01 c max depth : 92
1796.71/1797.01 c max depth (total): 92
1796.71/1797.01 c backtracks : 1993 (10.8%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 3.76
1796.71/1797.01 c switching time : 0.53
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 724 (30 improvements)
1796.71/1797.01 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.01 c Primal Bound : +1.88000000000000e+02 (in run 1, after 849 nodes, 221.82 seconds, depth 17, found by <oneopt>)
1796.71/1797.01 c Dual Bound : +1.65806606356139e+02
1796.71/1797.01 c Gap : 13.39 %
1796.71/1797.01 c Root Dual Bound : +1.63559450265270e+02
1796.71/1797.01 c Root Iterations : 27024
1796.71/1797.03 c Time complete: 1796.74.
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-3692051-1338029687/watcher-3692051-1338029687 -o /tmp/evaluation-result-3692051-1338029687/solver-3692051-1338029687 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692051-1338029687.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.35 1.09 1.18 3/176 9679
/proc/meminfo: memFree=28674980/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=13120 CPUtime=0 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 2020 0 0 0 0 0 0 0 20 0 1 0 269093254 13434880 1975 33554432000 4194304 10219143 140735733125712 140737241765400 8844210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 3280 1975 421 1471 0 1800 0
[startup+0.0276671 s]
/proc/loadavg: 1.35 1.09 1.18 3/176 9679
/proc/meminfo: memFree=28674980/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=20800 CPUtime=0.01 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 4022 0 0 0 1 0 0 0 20 0 1 0 269093254 21299200 3720 33554432000 4194304 10219143 140735733125712 140737241765400 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 5200 3720 586 1471 0 3720 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20800
[startup+0.10027 s]
/proc/loadavg: 1.35 1.09 1.18 3/176 9679
/proc/meminfo: memFree=28674980/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=25736 CPUtime=0.09 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 5407 0 0 0 8 1 0 0 20 0 1 0 269093254 26353664 5105 33554432000 4194304 10219143 140735733125712 140737241765400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 6434 5105 757 1471 0 4954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25736
[startup+0.300223 s]
/proc/loadavg: 1.35 1.09 1.18 3/176 9679
/proc/meminfo: memFree=28674980/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=25736 CPUtime=0.29 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 5454 0 0 0 28 1 0 0 20 0 1 0 269093254 26353664 5152 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 6434 5152 758 1471 0 4954 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25736
[startup+0.70022 s]
/proc/loadavg: 1.35 1.09 1.18 3/176 9679
/proc/meminfo: memFree=28674980/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=26112 CPUtime=0.68 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 5535 0 0 0 67 1 0 0 20 0 1 0 269093254 26738688 5233 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 6528 5233 758 1471 0 5048 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26112
[startup+1.50026 s]
/proc/loadavg: 1.40 1.10 1.19 3/177 9680
/proc/meminfo: memFree=28655844/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36088 CPUtime=1.49 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 9783 0 0 0 145 4 0 0 20 0 1 0 269093254 36954112 7554 33554432000 4194304 10219143 140735733125712 140735733119752 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9022 7554 836 1471 0 7542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36088
[startup+3.10022 s]
/proc/loadavg: 1.40 1.10 1.19 3/177 9680
/proc/meminfo: memFree=28646156/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36336 CPUtime=3.08 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 9844 0 0 0 304 4 0 0 20 0 1 0 269093254 37208064 7615 33554432000 4194304 10219143 140735733125712 140735733121096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9084 7615 837 1471 0 7604 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36336
[startup+6.30022 s]
/proc/loadavg: 1.40 1.10 1.19 3/177 9680
/proc/meminfo: memFree=28646652/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36672 CPUtime=6.28 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 9908 0 0 0 623 5 0 0 20 0 1 0 269093254 37552128 7679 33554432000 4194304 10219143 140735733125712 140735733120632 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9168 7679 837 1471 0 7688 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36672
[startup+12.7002 s]
/proc/loadavg: 1.49 1.13 1.20 3/177 9680
/proc/meminfo: memFree=28644440/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36672 CPUtime=12.69 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 10251 0 0 0 1260 9 0 0 20 0 1 0 269093254 37552128 8022 33554432000 4194304 10219143 140735733125712 140735733119208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9168 8022 841 1471 0 7688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36672
[startup+25.5002 s]
/proc/loadavg: 1.57 1.16 1.20 3/177 9680
/proc/meminfo: memFree=28637980/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36672 CPUtime=25.48 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 10257 0 0 0 2530 18 0 0 20 0 1 0 269093254 37552128 8185 33554432000 4194304 10219143 140735733125712 140735733119160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9168 8185 843 1471 0 7688 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36672
[startup+51.1002 s]
/proc/loadavg: 1.72 1.22 1.22 3/177 9680
/proc/meminfo: memFree=28629228/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36672 CPUtime=51.08 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 10259 0 0 0 5069 39 0 0 20 0 1 0 269093254 37552128 8294 33554432000 4194304 10219143 140735733125712 140735733118872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9168 8294 844 1471 0 7688 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36672
[startup+102.306 s]
/proc/loadavg: 1.95 1.37 1.27 3/177 9680
/proc/meminfo: memFree=28605892/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36672 CPUtime=102.28 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 10259 0 0 0 10142 86 0 0 20 0 1 0 269093254 37552128 8294 33554432000 4194304 10219143 140735733125712 140735733119352 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9168 8294 844 1471 0 7688 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36672
[startup+162.3 s]
/proc/loadavg: 1.98 1.48 1.31 3/177 9681
/proc/meminfo: memFree=28582240/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=36672 CPUtime=162.26 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 10259 0 0 0 16087 139 0 0 20 0 1 0 269093254 37552128 8294 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 9168 8294 844 1471 0 7688 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36672
[startup+222.3 s]
/proc/loadavg: 1.99 1.57 1.35 3/177 9681
/proc/meminfo: memFree=28557564/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=34652 CPUtime=222.25 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 12944 0 0 0 22034 191 0 0 20 0 1 0 269093254 35483648 7797 33554432000 4194304 10219143 140735733125712 140735733119064 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8663 7797 851 1471 0 7183 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34652
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.39 3/177 9681
/proc/meminfo: memFree=28539544/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=34652 CPUtime=282.25 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 12948 0 0 0 27982 243 0 0 20 0 1 0 269093254 35483648 7801 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8663 7801 852 1471 0 7183 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 34652
[startup+342.3 s]
/proc/loadavg: 1.99 1.71 1.43 3/178 9684
/proc/meminfo: memFree=28516968/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=34652 CPUtime=342.23 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 12949 0 0 0 33934 289 0 0 20 0 1 0 269093254 35483648 7802 33554432000 4194304 10219143 140735733125712 140735733118632 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8663 7802 852 1471 0 7183 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 34652
[startup+402.3 s]
/proc/loadavg: 1.99 1.76 1.46 3/178 9707
/proc/meminfo: memFree=28499564/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=34652 CPUtime=402.23 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 12952 0 0 0 39881 342 0 0 20 0 1 0 269093254 35483648 7805 33554432000 4194304 10219143 140735733125712 140735733119016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8663 7805 852 1471 0 7183 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 34652
[startup+462.3 s]
/proc/loadavg: 1.99 1.80 1.49 3/176 9707
/proc/meminfo: memFree=28482096/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=34652 CPUtime=462.21 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 12953 0 0 0 45833 388 0 0 20 0 1 0 269093254 35483648 7806 33554432000 4194304 10219143 140735733125712 140735733118584 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8663 7806 852 1471 0 7183 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34652
[startup+522.3 s]
/proc/loadavg: 1.99 1.83 1.52 3/177 9708
/proc/meminfo: memFree=28466960/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=34652 CPUtime=522.21 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 12956 0 0 0 51784 437 0 0 20 0 1 0 269093254 35483648 7809 33554432000 4194304 10219143 140735733125712 140735733118888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8663 7809 852 1471 0 7183 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 34652
[startup+582.3 s]
/proc/loadavg: 2.07 1.88 1.55 3/177 9708
/proc/meminfo: memFree=28448380/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=35200 CPUtime=582.2 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 13059 0 0 0 57730 490 0 0 20 0 1 0 269093254 36044800 7912 33554432000 4194304 10219143 140735733125712 140735733118424 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 8800 7912 852 1471 0 7320 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 35200
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28353016/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=40240 CPUtime=1122.11 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 14347 0 0 0 111273 938 0 0 20 0 1 0 269093254 41205760 9199 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10060 9199 852 1471 0 8580 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 40240
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/176 9713
/proc/meminfo: memFree=28345928/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=40468 CPUtime=1182.1 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 14399 0 0 0 117220 990 0 0 20 0 1 0 269093254 41439232 9251 33554432000 4194304 10219143 140735733125712 140735733119016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10117 9251 852 1471 0 8637 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 40468
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 9714
/proc/meminfo: memFree=28338044/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=40468 CPUtime=1242.09 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 14402 0 0 0 123165 1044 0 0 20 0 1 0 269093254 41439232 9254 33554432000 4194304 10219143 140735733125712 140735733118680 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10117 9254 852 1471 0 8637 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 40468
[startup+1302.3 s]
/proc/loadavg: 2.06 1.99 1.78 3/177 9714
/proc/meminfo: memFree=28329984/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=40468 CPUtime=1302.09 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 14404 0 0 0 129116 1093 0 0 20 0 1 0 269093254 41439232 9256 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10117 9256 852 1471 0 8637 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 40468
[startup+1362.3 s]
/proc/loadavg: 2.02 1.99 1.79 3/177 9714
/proc/meminfo: memFree=28324280/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=40740 CPUtime=1362.08 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 14480 0 0 0 135067 1141 0 0 20 0 1 0 269093254 41717760 9332 33554432000 4194304 10219143 140735733125712 140735733119016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10185 9332 852 1471 0 8705 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 40740
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.80 3/177 9715
/proc/meminfo: memFree=28316996/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=42732 CPUtime=1422.07 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 14999 0 0 0 141016 1191 0 0 20 0 1 0 269093254 43757568 9850 33554432000 4194304 10219143 140735733125712 140735733118568 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10683 9850 852 1471 0 9203 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42732
[startup+1482.3 s]
/proc/loadavg: 2.08 2.00 1.82 3/177 9715
/proc/meminfo: memFree=28313896/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=42876 CPUtime=1482.06 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15011 0 0 0 146962 1244 0 0 20 0 1 0 269093254 43905024 9862 33554432000 4194304 10219143 140735733125712 140735733118696 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10719 9862 852 1471 0 9239 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 42876
[startup+1542.3 s]
/proc/loadavg: 2.03 2.00 1.82 3/178 9718
/proc/meminfo: memFree=28308184/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=43060 CPUtime=1542.05 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15055 0 0 0 152908 1297 0 0 20 0 1 0 269093254 44093440 9906 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10765 9906 852 1471 0 9285 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 43060
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/177 9718
/proc/meminfo: memFree=28308068/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=43060 CPUtime=1602.04 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15057 0 0 0 158859 1345 0 0 20 0 1 0 269093254 44093440 9908 33554432000 4194304 10219143 140735733125712 140735733120696 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10765 9908 852 1471 0 9285 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 43060
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 9718
/proc/meminfo: memFree=28306508/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=43524 CPUtime=1662.03 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15185 0 0 0 164813 1390 0 0 20 0 1 0 269093254 44568576 10036 33554432000 4194304 10219143 140735733125712 140735733119064 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10881 10036 852 1471 0 9401 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 43524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 9719
/proc/meminfo: memFree=28306012/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=43904 CPUtime=1722.02 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15283 0 0 0 170761 1441 0 0 20 0 1 0 269093254 44957696 10134 33554432000 4194304 10219143 140735733125712 140735733119016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 10976 10134 852 1471 0 9496 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 43904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28581724/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1782.01 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15823 0 0 0 176707 1494 0 0 20 0 1 0 269093254 47136768 10673 33554432000 4194304 10219143 140735733125712 140735733119352 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10673 852 1471 0 10028 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 46032
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582048/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1785.21 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15823 0 0 0 177024 1497 0 0 20 0 1 0 269093254 47136768 10673 33554432000 4194304 10219143 140735733125712 140735733118632 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10673 852 1471 0 10028 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 46032
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582048/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1791.62 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15823 0 0 0 177659 1503 0 0 20 0 1 0 269093254 47136768 10673 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10673 852 1471 0 10028 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 46032
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582048/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1794.82 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15825 0 0 0 177976 1506 0 0 20 0 1 0 269093254 47136768 10675 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10675 852 1471 0 10028 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 46032
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582048/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1795.61 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15825 0 0 0 178055 1506 0 0 20 0 1 0 269093254 47136768 10675 33554432000 4194304 10219143 140735733125712 140735733118968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10675 852 1471 0 10028 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 46032
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582296/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1796.41 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15825 0 0 0 178134 1507 0 0 20 0 1 0 269093254 47136768 10675 33554432000 4194304 10219143 140735733125712 140735733118520 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10675 852 1471 0 10028 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 46032
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582296/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1796.61 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15825 0 0 0 178154 1507 0 0 20 0 1 0 269093254 47136768 10675 33554432000 4194304 10219143 140735733125712 140735733118520 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10675 852 1471 0 10028 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 46032
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9757
/proc/meminfo: memFree=28582296/32873844 swapFree=6080/6080
[pid=9679] ppid=9677 vsize=46032 CPUtime=1796.71 cores=0,2,4,6
/proc/9679/stat : 9679 (scip-2.1.1.4exp) R 9677 9679 8502 0 -1 4202496 15825 0 0 0 178164 1507 0 0 20 0 1 0 269093254 47136768 10675 33554432000 4194304 10219143 140735733125712 140735733118520 8098512 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9679/statm: 11508 10675 852 1471 0 10028 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 46032
Child status: 0
Real time (s): 1797.03
CPU time (s): 1796.75
CPU user time (s): 1781.67
CPU system time (s): 15.0797
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 48996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.67
system time used= 15.0797
maximum resident set size= 43916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15829
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= 11
involuntary context switches= 1888
runsolver used 2.79857 second user time and 7.02793 second system time
The end