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-3692073-1338031220.opb>
0.00/0.01 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 1968
0.01/0.02 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.01/0.02 c presolving:
0.01/0.04 c (round 1) 156 del vars, 156 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.04 c (round 2) 321 del vars, 736 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.04 c (round 3) 376 del vars, 852 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.04 c (round 4) 409 del vars, 942 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.04 c (round 5) 419 del vars, 965 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.04 c (round 6) 428 del vars, 983 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.05 c (round 7) 433 del vars, 1002 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.05 c (round 8) 435 del vars, 1004 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.05 c (round 9) 437 del vars, 1011 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.06 c (round 10) 437 del vars, 1013 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2987 upgd conss, 7996 impls, 0 clqs
0.01/0.07 c (0.1s) probing: 51/1531 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.01/0.07 c presolving (11 rounds):
0.01/0.07 c 437 deleted vars, 1013 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.07 c 7996 implications, 0 cliques
0.01/0.07 c presolved problem has 1531 variables (1531 bin, 0 int, 0 impl, 0 cont) and 2987 constraints
0.01/0.07 c 2987 constraints of type <setppc>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.05
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 2.1.1.4
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1797
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 13950
0.01/0.07 c
0.01/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.07 c # [type: int, range: [1,2], default: 1]
0.01/0.07 c timing/clocktype = 2
0.01/0.07 c
0.01/0.07 c # belongs reading time to solving time?
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c timing/reading = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.07 o 1745
0.01/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.07 c t 0.1s| 1 | 0 | 0 | - |7717k| 0 | - |1531 |2987 | 0 | 0 | 0 | 0 | 0 | -- | 1.745000e+03 | Inf
0.01/0.08 o 1163
0.01/0.08 c b 0.1s| 1 | 0 | 0 | - |9658k| 0 | - |1531 |2987 |1531 |2987 | 0 | 0 | 0 | -- | 1.163000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 2000 | - |9633k| 0 |1531 |1531 |2987 |1531 |2987 | 0 | 0 | 0 | 9.795000e+02 | 1.163000e+03 | 18.73%
0.49/0.51 c 0.5s| 1 | 0 | 2314 | - |9719k| 0 |1512 |1531 |2987 |1531 |2998 | 11 | 0 | 0 | 9.840000e+02 | 1.163000e+03 | 18.19%
0.69/0.70 c 0.7s| 1 | 0 | 2517 | - |9753k| 0 |1505 |1531 |2987 |1531 |3006 | 19 | 0 | 0 | 9.875000e+02 | 1.163000e+03 | 17.77%
0.79/0.88 c 0.9s| 1 | 0 | 2583 | - |9769k| 0 |1493 |1531 |2987 |1531 |3012 | 25 | 0 | 0 | 9.895000e+02 | 1.163000e+03 | 17.53%
0.99/1.08 c 1.1s| 1 | 0 | 2753 | - |9827k| 0 |1488 |1531 |2987 |1531 |3016 | 29 | 0 | 0 | 9.900000e+02 | 1.163000e+03 | 17.47%
1.29/1.33 c 1.3s| 1 | 0 | 2928 | - | 10M| 0 |1495 |1531 |2987 |1531 |3019 | 32 | 0 | 0 | 9.910000e+02 | 1.163000e+03 | 17.36%
1.49/1.56 c 1.6s| 1 | 0 | 3188 | - | 10M| 0 |1485 |1531 |2987 |1531 |3025 | 38 | 0 | 0 | 9.920000e+02 | 1.163000e+03 | 17.24%
1.79/1.84 c 1.8s| 1 | 0 | 3377 | - | 11M| 0 |1484 |1531 |2987 |1531 |3026 | 39 | 0 | 0 | 9.920000e+02 | 1.163000e+03 | 17.24%
2.10/2.12 c 2.1s| 1 | 0 | 3609 | - | 12M| 0 |1470 |1531 |2987 |1531 |3031 | 44 | 0 | 0 | 9.920000e+02 | 1.163000e+03 | 17.24%
2.39/2.43 c 2.4s| 1 | 0 | 4460 | - | 12M| 0 |1467 |1531 |2987 |1531 |3036 | 49 | 0 | 0 | 9.920000e+02 | 1.163000e+03 | 17.24%
2.59/2.65 c 2.7s| 1 | 0 | 4748 | - | 12M| 0 |1497 |1531 |2987 |1531 |3038 | 51 | 0 | 0 | 9.921667e+02 | 1.163000e+03 | 17.22%
2.79/2.86 c 2.9s| 1 | 0 | 4986 | - | 13M| 0 |1495 |1531 |2987 |1531 |3042 | 56 | 0 | 0 | 9.930833e+02 | 1.163000e+03 | 17.11%
3.08/3.16 c 3.2s| 1 | 0 | 5730 | - | 13M| 0 |1437 |1531 |2987 |1531 |3048 | 62 | 0 | 0 | 9.945000e+02 | 1.163000e+03 | 16.94%
3.29/3.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.29/3.33 c 3.3s| 1 | 0 | 5845 | - | 13M| 0 |1440 |1531 |2987 |1531 |3051 | 65 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
3.59/3.62 c 3.6s| 1 | 0 | 6192 | - | 14M| 0 |1454 |1531 |2987 |1531 |3057 | 71 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
3.99/4.03 c 4.0s| 1 | 0 | 7810 | - | 14M| 0 |1509 |1531 |2987 |1531 |3062 | 76 | 0 | 0 | 9.957969e+02 | 1.163000e+03 | 16.79%
4.29/4.34 c 4.3s| 1 | 0 | 8053 | - | 16M| 0 |1497 |1531 |2987 |1531 |3066 | 80 | 0 | 0 | 9.961667e+02 | 1.163000e+03 | 16.75%
4.69/4.72 c 4.7s| 1 | 0 | 9119 | - | 16M| 0 |1493 |1531 |2987 |1531 |3065 | 86 | 0 | 0 | 9.971667e+02 | 1.163000e+03 | 16.63%
4.88/4.98 c 5.0s| 1 | 0 | 9514 | - | 16M| 0 |1492 |1531 |2987 |1531 |3068 | 89 | 0 | 0 | 9.976667e+02 | 1.163000e+03 | 16.57%
5.29/5.37 c 5.4s| 1 | 0 | 10063 | - | 18M| 0 |1489 |1531 |2987 |1531 |3071 | 92 | 0 | 0 | 9.982500e+02 | 1.163000e+03 | 16.50%
5.69/5.70 c 5.7s| 1 | 0 | 10811 | - | 19M| 0 |1498 |1531 |2987 |1531 |3075 | 96 | 0 | 0 | 9.986667e+02 | 1.163000e+03 | 16.46%
5.79/5.88 c 5.9s| 1 | 0 | 11086 | - | 19M| 0 |1480 |1531 |2987 |1531 |3077 | 98 | 0 | 0 | 9.990000e+02 | 1.163000e+03 | 16.42%
9.89/9.94 c 9.9s| 1 | 2 | 11086 | - | 19M| 0 |1480 |1531 |2987 |1531 |3077 | 98 | 0 | 21 | 9.990000e+02 | 1.163000e+03 | 16.42%
32.77/32.81 o 1108
32.77/32.81 c c32.8s| 15 | 16 | 27325 |1159.9 | 21M| 14 | - |1531 |2987 |1531 |3051 | 98 | 0 | 231 | 9.990000e+02 | 1.108000e+03 | 10.91%
32.77/32.82 o 1094
32.77/32.82 c c32.8s| 15 | 16 | 27328 |1160.1 | 21M| 14 | - |1531 |2987 |1531 |3051 | 98 | 0 | 231 | 9.990000e+02 | 1.094000e+03 | 9.51%
32.77/32.82 o 1085
32.77/32.82 c c32.8s| 15 | 16 | 27330 |1160.3 | 21M| 14 | - |1531 |2987 |1531 |3051 | 98 | 0 | 231 | 9.990000e+02 | 1.085000e+03 | 8.61%
32.77/32.82 o 1084
32.77/32.82 c c32.8s| 15 | 16 | 27332 |1160.4 | 21M| 14 | - |1531 |2987 |1531 |3051 | 98 | 0 | 231 | 9.990000e+02 | 1.084000e+03 | 8.51%
32.77/32.82 o 1077
32.77/32.82 c c32.8s| 15 | 16 | 27335 |1160.6 | 21M| 14 | - |1531 |2987 |1531 |3051 | 98 | 0 | 231 | 9.990000e+02 | 1.077000e+03 | 7.81%
32.77/32.82 o 1062
32.77/32.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.77/32.82 c c32.8s| 15 | 16 | 27336 |1160.7 | 21M| 14 | - |1531 |2987 |1531 |3051 | 98 | 0 | 231 | 9.990000e+02 | 1.062000e+03 | 6.31%
49.57/49.61 c 49.6s| 100 | 101 | 91355 | 810.8 | 21M| 18 |1354 |1531 |2987 |1531 |3051 | 98 | 0 | 291 | 9.990000e+02 | 1.062000e+03 | 6.31%
60.47/60.55 o 1058
60.47/60.55 c c60.5s| 144 | 145 |140818 | 907.2 | 22M| 21 | - |1531 |2987 |1531 |3051 | 98 | 0 | 321 | 9.990000e+02 | 1.058000e+03 | 5.91%
86.26/86.34 c 86.3s| 200 | 201 |266295 |1282.5 | 22M| 21 |1430 |1531 |2987 |1531 |3051 | 98 | 0 | 379 | 9.991667e+02 | 1.058000e+03 | 5.89%
102.06/102.16 o 1057
102.06/102.16 c c 102s| 246 | 247 |340632 |1345.1 | 22M| 21 | - |1531 |2987 |1531 |3051 | 98 | 0 | 435 | 1.000167e+03 | 1.057000e+03 | 5.68%
102.06/102.16 o 1054
102.06/102.16 c c 102s| 246 | 247 |340633 |1345.1 | 22M| 21 | - |1531 |2987 |1531 |3051 | 98 | 0 | 435 | 1.000167e+03 | 1.054000e+03 | 5.38%
118.95/119.00 c 119s| 300 | 301 |417593 |1359.6 | 22M| 21 |1276 |1531 |2987 |1531 |3051 | 98 | 0 | 491 | 1.000333e+03 | 1.054000e+03 | 5.36%
148.25/148.34 c 148s| 400 | 401 |554955 |1363.1 | 22M| 21 |1393 |1531 |2987 |1531 |3051 | 98 | 0 | 617 | 1.001100e+03 | 1.054000e+03 | 5.28%
154.25/154.31 o 1045
154.25/154.31 c C 154s| 446 | 447 |578940 |1276.1 | 22M| 21 |1305 |1531 |2987 |1531 |3051 | 98 | 0 | 686 | 1.001100e+03 | 1.045000e+03 | 4.39%
162.55/162.69 c 163s| 500 | 501 |613745 |1207.7 | 22M| 21 |1267 |1531 |2987 |1531 |3051 | 98 | 0 | 738 | 1.001500e+03 | 1.045000e+03 | 4.34%
175.65/175.72 c 176s| 600 | 601 |666227 |1093.7 | 22M| 22 |1242 |1531 |2987 |1531 |3051 | 98 | 0 | 829 | 1.001500e+03 | 1.045000e+03 | 4.34%
197.55/197.64 c 198s| 700 | 697 |762873 |1075.5 | 23M| 24 |1307 |1531 |2987 |1531 |3051 | 98 | 0 | 959 | 1.002000e+03 | 1.045000e+03 | 4.29%
218.44/218.58 c 219s| 800 | 797 |853171 |1053.9 | 23M| 24 |1396 |1531 |2987 |1531 |3051 | 98 | 0 |1076 | 1.002250e+03 | 1.045000e+03 | 4.27%
242.83/242.92 c 243s| 900 | 897 |960669 |1056.3 | 23M| 24 |1371 |1531 |2987 |1531 |3051 | 98 | 0 |1167 | 1.002250e+03 | 1.045000e+03 | 4.27%
273.43/273.53 c 274s| 1000 | 997 | 1102k|1092.8 | 23M| 24 |1312 |1531 |2987 |1531 |3051 | 98 | 0 |1277 | 1.002500e+03 | 1.045000e+03 | 4.24%
287.82/287.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.82/287.99 c 288s| 1100 | 1097 | 1164k|1049.7 | 23M| 24 |1432 |1531 |2987 |1531 |3051 | 98 | 0 |1361 | 1.002500e+03 | 1.045000e+03 | 4.24%
299.42/299.59 c 300s| 1200 | 1197 | 1212k|1002.2 | 23M| 24 |1340 |1531 |2987 |1531 |3051 | 98 | 0 |1421 | 1.003000e+03 | 1.045000e+03 | 4.19%
310.33/310.43 c 310s| 1300 | 1295 | 1258k| 960.1 | 24M| 24 |1359 |1531 |2987 |1531 |3051 | 98 | 0 |1481 | 1.003000e+03 | 1.045000e+03 | 4.19%
324.92/325.04 c 325s| 1400 | 1395 | 1319k| 935.1 | 24M| 24 |1303 |1531 |2987 |1531 |3051 | 98 | 0 |1576 | 1.003000e+03 | 1.045000e+03 | 4.19%
338.12/338.24 c 338s| 1500 | 1495 | 1375k| 910.0 | 24M| 24 |1359 |1531 |2987 |1531 |3051 | 98 | 0 |1653 | 1.003000e+03 | 1.045000e+03 | 4.19%
352.81/352.93 c 353s| 1600 | 1595 | 1436k| 891.3 | 24M| 24 |1212 |1531 |2987 |1531 |3051 | 98 | 0 |1763 | 1.003167e+03 | 1.045000e+03 | 4.17%
366.31/366.48 c 366s| 1700 | 1695 | 1492k| 872.0 | 24M| 24 |1291 |1531 |2987 |1531 |3051 | 98 | 0 |1840 | 1.003500e+03 | 1.045000e+03 | 4.14%
378.01/378.10 c 378s| 1800 | 1795 | 1541k| 850.5 | 25M| 24 |1375 |1531 |2987 |1531 |3051 | 98 | 0 |1906 | 1.003500e+03 | 1.045000e+03 | 4.14%
392.21/392.39 c 392s| 1900 | 1895 | 1603k| 838.8 | 25M| 24 |1293 |1531 |2987 |1531 |3051 | 98 | 0 |2000 | 1.003500e+03 | 1.045000e+03 | 4.14%
402.71/402.88 c 403s| 2000 | 1995 | 1643k| 816.7 | 25M| 24 |1340 |1531 |2987 |1531 |3051 | 98 | 0 |2080 | 1.003667e+03 | 1.045000e+03 | 4.12%
415.01/415.18 c 415s| 2100 | 2095 | 1693k| 801.6 | 25M| 24 |1321 |1531 |2987 |1531 |3051 | 98 | 0 |2170 | 1.003917e+03 | 1.045000e+03 | 4.09%
426.00/426.18 c 426s| 2200 | 2195 | 1738k| 785.7 | 25M| 24 |1257 |1531 |2987 |1531 |3051 | 98 | 0 |2240 | 1.004000e+03 | 1.045000e+03 | 4.08%
435.71/435.89 c 436s| 2300 | 2295 | 1778k| 768.7 | 25M| 24 |1347 |1531 |2987 |1531 |3051 | 98 | 0 |2310 | 1.004000e+03 | 1.045000e+03 | 4.08%
448.80/448.95 c 449s| 2400 | 2391 | 1833k| 759.7 | 26M| 24 |1336 |1531 |2987 |1531 |3051 | 98 | 0 |2374 | 1.004000e+03 | 1.045000e+03 | 4.08%
460.00/460.15 c 460s| 2500 | 2489 | 1876k| 746.6 | 26M| 24 |1248 |1531 |2987 |1531 |3051 | 98 | 0 |2464 | 1.004000e+03 | 1.045000e+03 | 4.08%
469.90/470.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.90/470.02 c 470s| 2600 | 2585 | 1918k| 734.1 | 26M| 25 |1245 |1531 |2987 |1531 |3051 | 98 | 0 |2545 | 1.004250e+03 | 1.045000e+03 | 4.06%
483.30/483.45 c 483s| 2700 | 2671 | 1981k| 730.1 | 26M| 27 |1234 |1531 |2987 |1531 |3051 | 98 | 0 |2608 | 1.004500e+03 | 1.045000e+03 | 4.03%
496.49/496.64 c 497s| 2800 | 2753 | 2039k| 724.9 | 26M| 27 |1367 |1531 |2987 |1531 |3051 | 98 | 0 |2671 | 1.004500e+03 | 1.045000e+03 | 4.03%
510.19/510.31 c 510s| 2900 | 2819 | 2100k| 720.9 | 26M| 27 |1367 |1531 |2987 |1531 |3051 | 98 | 0 |2756 | 1.004500e+03 | 1.045000e+03 | 4.03%
521.09/521.28 c 521s| 3000 | 2889 | 2150k| 713.5 | 26M| 27 |1416 |1531 |2987 |1531 |3051 | 98 | 0 |2803 | 1.004500e+03 | 1.045000e+03 | 4.03%
531.59/531.73 c 532s| 3100 | 2987 | 2210k| 709.7 | 27M| 27 |1392 |1531 |2987 |1531 |3051 | 98 | 0 |2807 | 1.004500e+03 | 1.045000e+03 | 4.03%
542.49/542.60 c 543s| 3200 | 3087 | 2270k| 706.2 | 27M| 27 |1304 |1531 |2987 |1531 |3051 | 98 | 0 |2807 | 1.004500e+03 | 1.045000e+03 | 4.03%
551.79/551.94 c 552s| 3300 | 3187 | 2322k| 700.6 | 27M| 27 |1411 |1531 |2987 |1531 |3051 | 98 | 0 |2807 | 1.004750e+03 | 1.045000e+03 | 4.01%
558.88/559.01 c 559s| 3400 | 3287 | 2360k| 691.3 | 27M| 27 |1335 |1531 |2987 |1531 |3051 | 98 | 0 |2807 | 1.004750e+03 | 1.045000e+03 | 4.01%
571.69/571.86 c 572s| 3500 | 3387 | 2427k| 690.7 | 27M| 27 |1369 |1531 |2987 |1531 |3051 | 98 | 0 |2827 | 1.004750e+03 | 1.045000e+03 | 4.01%
586.78/586.92 c 587s| 3600 | 3487 | 2497k| 691.0 | 27M| 27 |1351 |1531 |2987 |1531 |3051 | 98 | 0 |2888 | 1.005000e+03 | 1.045000e+03 | 3.98%
598.08/598.25 c 598s| 3700 | 3587 | 2544k| 684.9 | 28M| 27 |1332 |1531 |2987 |1531 |3051 | 98 | 0 |2964 | 1.005000e+03 | 1.045000e+03 | 3.98%
611.87/612.02 c 612s| 3800 | 3687 | 2606k| 683.1 | 28M| 27 |1378 |1531 |2987 |1531 |3051 | 98 | 0 |3034 | 1.005000e+03 | 1.045000e+03 | 3.98%
626.88/627.02 c 627s| 3900 | 3787 | 2672k| 682.5 | 28M| 27 |1323 |1531 |2987 |1531 |3051 | 98 | 0 |3118 | 1.005000e+03 | 1.045000e+03 | 3.98%
644.07/644.21 c 644s| 4000 | 3887 | 2747k| 684.4 | 28M| 27 |1293 |1531 |2987 |1531 |3051 | 98 | 0 |3217 | 1.005000e+03 | 1.045000e+03 | 3.98%
656.37/656.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.37/656.56 c 657s| 4100 | 3987 | 2801k| 680.7 | 28M| 27 |1353 |1531 |2987 |1531 |3051 | 98 | 0 |3299 | 1.005000e+03 | 1.045000e+03 | 3.98%
671.06/671.28 c 671s| 4200 | 4085 | 2866k| 680.1 | 28M| 27 |1396 |1531 |2987 |1531 |3051 | 98 | 0 |3419 | 1.005000e+03 | 1.045000e+03 | 3.98%
684.67/684.80 c 685s| 4300 | 4185 | 2930k| 679.1 | 29M| 27 |1282 |1531 |2987 |1531 |3051 | 98 | 0 |3496 | 1.005000e+03 | 1.045000e+03 | 3.98%
701.16/701.36 c 701s| 4400 | 4285 | 3002k| 679.9 | 29M| 27 |1351 |1531 |2987 |1531 |3051 | 98 | 0 |3609 | 1.005000e+03 | 1.045000e+03 | 3.98%
712.57/712.78 c 713s| 4500 | 4385 | 3056k| 676.9 | 29M| 27 |1339 |1531 |2987 |1531 |3051 | 98 | 0 |3684 | 1.005250e+03 | 1.045000e+03 | 3.95%
728.46/728.69 c 729s| 4600 | 4485 | 3127k| 677.7 | 29M| 27 |1334 |1531 |2987 |1531 |3051 | 98 | 0 |3788 | 1.005250e+03 | 1.045000e+03 | 3.95%
741.16/741.37 c 741s| 4700 | 4585 | 3183k| 675.1 | 29M| 27 |1291 |1531 |2987 |1531 |3051 | 98 | 0 |3882 | 1.005250e+03 | 1.045000e+03 | 3.95%
755.05/755.29 c 755s| 4800 | 4685 | 3246k| 674.2 | 30M| 27 |1313 |1531 |2987 |1531 |3051 | 98 | 0 |3993 | 1.005500e+03 | 1.045000e+03 | 3.93%
769.65/769.89 c 770s| 4900 | 4785 | 3311k| 673.8 | 30M| 27 |1423 |1531 |2987 |1531 |3051 | 98 | 0 |4084 | 1.005500e+03 | 1.045000e+03 | 3.93%
780.25/780.46 c 780s| 5000 | 4885 | 3357k| 669.4 | 30M| 27 |1277 |1531 |2987 |1531 |3051 | 98 | 0 |4168 | 1.005500e+03 | 1.045000e+03 | 3.93%
791.75/791.90 c 792s| 5100 | 4981 | 3418k| 668.2 | 30M| 27 |1384 |1531 |2987 |1531 |3051 | 98 | 0 |4196 | 1.005500e+03 | 1.045000e+03 | 3.93%
798.94/799.16 c 799s| 5200 | 5073 | 3460k| 663.4 | 30M| 27 |1182 |1531 |2987 |1531 |3051 | 98 | 0 |4196 | 1.005500e+03 | 1.045000e+03 | 3.93%
806.25/806.47 c 806s| 5300 | 5161 | 3502k| 658.8 | 30M| 27 |1341 |1531 |2987 |1531 |3051 | 98 | 0 |4197 | 1.005500e+03 | 1.045000e+03 | 3.93%
814.85/815.08 c 815s| 5400 | 5259 | 3550k| 655.6 | 30M| 27 |1322 |1531 |2987 |1531 |3051 | 98 | 0 |4197 | 1.005500e+03 | 1.045000e+03 | 3.93%
822.34/822.51 c 823s| 5500 | 5355 | 3592k| 651.3 | 31M| 27 |1353 |1531 |2987 |1531 |3051 | 98 | 0 |4197 | 1.005500e+03 | 1.045000e+03 | 3.93%
830.25/830.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.25/830.47 c 830s| 5600 | 5447 | 3640k| 648.2 | 31M| 27 |1303 |1531 |2987 |1531 |3051 | 98 | 0 |4197 | 1.005500e+03 | 1.045000e+03 | 3.93%
837.74/837.92 c 838s| 5700 | 5529 | 3682k| 644.3 | 31M| 27 |1265 |1531 |2987 |1531 |3051 | 98 | 0 |4197 | 1.005500e+03 | 1.045000e+03 | 3.93%
847.13/847.34 c 847s| 5800 | 5629 | 3740k| 643.0 | 31M| 27 |1354 |1531 |2987 |1531 |3051 | 98 | 0 |4197 | 1.005500e+03 | 1.045000e+03 | 3.93%
861.63/861.87 c 862s| 5900 | 5729 | 3809k| 643.9 | 31M| 27 |1363 |1531 |2987 |1531 |3051 | 98 | 0 |4252 | 1.005500e+03 | 1.045000e+03 | 3.93%
874.73/874.97 c 875s| 6000 | 5829 | 3870k| 643.4 | 31M| 27 |1298 |1531 |2987 |1531 |3051 | 98 | 0 |4316 | 1.005500e+03 | 1.045000e+03 | 3.93%
887.83/888.03 c 888s| 6100 | 5929 | 3928k| 642.3 | 32M| 27 |1250 |1531 |2987 |1531 |3051 | 98 | 0 |4371 | 1.005500e+03 | 1.045000e+03 | 3.93%
897.63/897.89 c 898s| 6200 | 6027 | 3971k| 638.9 | 32M| 27 |1341 |1531 |2987 |1531 |3051 | 98 | 0 |4431 | 1.005500e+03 | 1.045000e+03 | 3.93%
906.02/906.25 c 906s| 6300 | 6127 | 4008k| 634.6 | 32M| 27 |1310 |1531 |2987 |1531 |3051 | 98 | 0 |4472 | 1.005500e+03 | 1.045000e+03 | 3.93%
916.73/916.93 c 917s| 6400 | 6227 | 4057k| 632.3 | 32M| 27 |1242 |1531 |2987 |1531 |3051 | 98 | 0 |4535 | 1.005500e+03 | 1.045000e+03 | 3.93%
928.72/928.99 c 929s| 6500 | 6327 | 4111k| 630.9 | 32M| 27 |1358 |1531 |2987 |1531 |3051 | 98 | 0 |4594 | 1.005500e+03 | 1.045000e+03 | 3.93%
940.42/940.69 c 941s| 6600 | 6427 | 4162k| 629.1 | 32M| 27 |1285 |1531 |2987 |1531 |3051 | 98 | 0 |4667 | 1.005750e+03 | 1.045000e+03 | 3.90%
950.13/950.32 c 950s| 6700 | 6527 | 4206k| 626.3 | 33M| 27 |1288 |1531 |2987 |1531 |3051 | 98 | 0 |4728 | 1.005750e+03 | 1.045000e+03 | 3.90%
960.91/961.15 c 961s| 6800 | 6627 | 4256k| 624.4 | 33M| 27 |1269 |1531 |2987 |1531 |3051 | 98 | 0 |4786 | 1.005750e+03 | 1.045000e+03 | 3.90%
972.72/972.96 c 973s| 6900 | 6725 | 4306k| 622.6 | 33M| 27 |1363 |1531 |2987 |1531 |3051 | 98 | 0 |4866 | 1.005750e+03 | 1.045000e+03 | 3.90%
982.52/982.70 c 983s| 7000 | 6825 | 4350k| 620.0 | 33M| 27 |1333 |1531 |2987 |1531 |3051 | 98 | 0 |4921 | 1.005750e+03 | 1.045000e+03 | 3.90%
991.92/992.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.92/992.20 c 992s| 7100 | 6925 | 4391k| 617.0 | 33M| 27 |1232 |1531 |2987 |1531 |3051 | 98 | 0 |4998 | 1.006000e+03 | 1.045000e+03 | 3.88%
1001.11/1001.37 c 1001s| 7200 | 7025 | 4430k| 614.0 | 33M| 27 |1418 |1531 |2987 |1531 |3051 | 98 | 0 |5054 | 1.006000e+03 | 1.045000e+03 | 3.88%
1010.41/1010.69 c 1011s| 7300 | 7123 | 4472k| 611.3 | 34M| 27 |1229 |1531 |2987 |1531 |3051 | 98 | 0 |5140 | 1.006000e+03 | 1.045000e+03 | 3.88%
1019.31/1019.60 c 1020s| 7400 | 7223 | 4510k| 608.1 | 34M| 27 |1255 |1531 |2987 |1531 |3051 | 98 | 0 |5190 | 1.006000e+03 | 1.045000e+03 | 3.88%
1028.60/1028.83 c 1029s| 7500 | 7319 | 4553k| 605.7 | 34M| 27 |1269 |1531 |2987 |1531 |3051 | 98 | 0 |5246 | 1.006000e+03 | 1.045000e+03 | 3.88%
1039.31/1039.54 c 1040s| 7600 | 7419 | 4600k| 604.0 | 34M| 27 |1381 |1531 |2987 |1531 |3051 | 98 | 0 |5296 | 1.006000e+03 | 1.045000e+03 | 3.88%
1049.21/1049.48 c 1049s| 7700 | 7519 | 4643k| 601.6 | 34M| 27 |1263 |1531 |2987 |1531 |3051 | 98 | 0 |5359 | 1.006000e+03 | 1.045000e+03 | 3.88%
1057.60/1057.84 c 1058s| 7800 | 7619 | 4675k| 598.1 | 34M| 27 |1363 |1531 |2987 |1531 |3051 | 98 | 0 |5432 | 1.006000e+03 | 1.045000e+03 | 3.88%
1065.71/1065.92 c 1066s| 7900 | 7719 | 4713k| 595.4 | 35M| 27 |1271 |1531 |2987 |1531 |3051 | 98 | 0 |5464 | 1.006000e+03 | 1.045000e+03 | 3.88%
1075.40/1075.67 c 1076s| 8000 | 7819 | 4754k| 593.0 | 35M| 27 |1295 |1531 |2987 |1531 |3051 | 98 | 0 |5530 | 1.006000e+03 | 1.045000e+03 | 3.88%
1084.00/1084.21 c 1084s| 8100 | 7917 | 4792k| 590.4 | 35M| 27 |1292 |1531 |2987 |1531 |3051 | 98 | 0 |5576 | 1.006000e+03 | 1.045000e+03 | 3.88%
1092.89/1093.11 c 1093s| 8200 | 8017 | 4836k| 588.5 | 35M| 27 |1253 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1101.29/1101.54 c 1102s| 8300 | 8115 | 4883k| 587.1 | 35M| 27 |1224 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1112.09/1112.33 c 1112s| 8400 | 8207 | 4943k| 587.2 | 35M| 27 |1219 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1119.89/1120.15 c 1120s| 8500 | 8301 | 4987k| 585.5 | 36M| 27 |1235 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1127.89/1128.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.89/1128.12 c 1128s| 8600 | 8399 | 5032k| 584.0 | 36M| 27 |1377 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1138.20/1138.45 c 1138s| 8700 | 8495 | 5087k| 583.6 | 36M| 27 |1368 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1148.59/1148.87 c 1149s| 8800 | 8587 | 5147k| 583.8 | 36M| 27 |1363 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1160.59/1160.86 c 1161s| 8900 | 8681 | 5215k| 584.9 | 36M| 27 |1352 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1170.28/1170.57 c 1171s| 9000 | 8775 | 5271k| 584.6 | 36M| 27 |1292 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1178.58/1178.85 c 1179s| 9100 | 8863 | 5318k| 583.3 | 37M| 27 |1244 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1185.18/1185.41 c 1185s| 9200 | 8953 | 5355k| 581.0 | 37M| 27 |1247 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006250e+03 | 1.045000e+03 | 3.85%
1193.88/1194.16 c 1194s| 9300 | 9045 | 5403k| 579.9 | 37M| 27 |1233 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006250e+03 | 1.045000e+03 | 3.85%
1204.29/1204.51 c 1205s| 9400 | 9131 | 5461k| 579.9 | 37M| 27 |1283 |1531 |2987 |1531 |3051 | 98 | 0 |5630 | 1.006250e+03 | 1.045000e+03 | 3.85%
1214.08/1214.34 c 1214s| 9500 | 9227 | 5512k| 579.2 | 37M| 27 |1277 |1531 |2987 |1531 |3051 | 98 | 0 |5645 | 1.006250e+03 | 1.045000e+03 | 3.85%
1221.88/1222.19 c 1222s| 9600 | 9319 | 5549k| 577.0 | 37M| 27 |1380 |1531 |2987 |1531 |3051 | 98 | 0 |5668 | 1.006357e+03 | 1.045000e+03 | 3.84%
1229.98/1230.26 c 1230s| 9700 | 9413 | 5587k| 575.0 | 37M| 27 |1240 |1531 |2987 |1531 |3051 | 98 | 0 |5703 | 1.006500e+03 | 1.045000e+03 | 3.83%
1239.37/1239.68 c 1240s| 9800 | 9503 | 5627k| 573.2 | 38M| 27 |1272 |1531 |2987 |1531 |3051 | 98 | 0 |5756 | 1.006500e+03 | 1.045000e+03 | 3.83%
1249.47/1249.73 c 1250s| 9900 | 9575 | 5676k| 572.4 | 38M| 27 |1272 |1531 |2987 |1531 |3051 | 98 | 0 |5785 | 1.006500e+03 | 1.045000e+03 | 3.83%
1260.77/1261.07 c 1261s| 10000 | 9667 | 5731k| 572.1 | 38M| 27 |1267 |1531 |2987 |1531 |3051 | 98 | 0 |5824 | 1.006500e+03 | 1.045000e+03 | 3.83%
1272.07/1272.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.07/1272.38 c 1272s| 10100 | 9721 | 5788k| 572.1 | 38M| 27 |1290 |1531 |2987 |1531 |3051 | 98 | 0 |5850 | 1.006500e+03 | 1.045000e+03 | 3.83%
1282.46/1282.79 c 1283s| 10200 | 9777 | 5839k| 571.5 | 38M| 27 |1240 |1531 |2987 |1531 |3051 | 98 | 0 |5883 | 1.006500e+03 | 1.045000e+03 | 3.83%
1291.57/1291.89 c 1292s| 10300 | 9829 | 5882k| 570.1 | 38M| 27 |1392 |1531 |2987 |1531 |3051 | 98 | 0 |5925 | 1.006500e+03 | 1.045000e+03 | 3.83%
1305.26/1305.57 c 1306s| 10400 | 9887 | 5953k| 571.5 | 38M| 27 |1209 |1531 |2987 |1531 |3051 | 98 | 0 |5946 | 1.006500e+03 | 1.045000e+03 | 3.83%
1313.07/1313.34 c 1313s| 10500 | 9953 | 5992k| 569.7 | 38M| 27 |1306 |1531 |2987 |1531 |3051 | 98 | 0 |5966 | 1.006500e+03 | 1.045000e+03 | 3.83%
1322.06/1322.34 c 1322s| 10600 | 10039 | 6036k| 568.5 | 39M| 27 |1235 |1531 |2987 |1531 |3051 | 98 | 0 |6011 | 1.006500e+03 | 1.045000e+03 | 3.83%
1331.36/1331.66 c 1332s| 10700 | 10113 | 6084k| 567.7 | 39M| 28 |1310 |1531 |2987 |1531 |3051 | 98 | 0 |6055 | 1.006500e+03 | 1.045000e+03 | 3.83%
1336.95/1337.26 c 1337s| 10800 | 10193 | 6111k| 564.9 | 39M| 28 |1312 |1531 |2987 |1531 |3051 | 98 | 0 |6085 | 1.006500e+03 | 1.045000e+03 | 3.83%
1345.06/1345.33 c 1345s| 10900 | 10271 | 6146k| 562.9 | 39M| 28 |1358 |1531 |2987 |1531 |3051 | 98 | 0 |6145 | 1.006500e+03 | 1.045000e+03 | 3.83%
1354.15/1354.48 c 1354s| 11000 | 10363 | 6188k| 561.7 | 39M| 28 |1355 |1531 |2987 |1531 |3051 | 98 | 0 |6183 | 1.006500e+03 | 1.045000e+03 | 3.83%
1361.25/1361.51 c 1362s| 11100 | 10443 | 6222k| 559.6 | 39M| 28 |1257 |1531 |2987 |1531 |3051 | 98 | 0 |6239 | 1.006500e+03 | 1.045000e+03 | 3.83%
1368.05/1368.31 c 1368s| 11200 | 10507 | 6254k| 557.5 | 39M| 28 | - |1531 |2987 |1531 |3051 | 98 | 0 |6271 | 1.006500e+03 | 1.045000e+03 | 3.83%
1374.95/1375.29 c 1375s| 11300 | 10579 | 6288k| 555.6 | 39M| 28 |1245 |1531 |2987 |1531 |3051 | 98 | 0 |6307 | 1.006500e+03 | 1.045000e+03 | 3.83%
1382.45/1382.77 c 1383s| 11400 | 10651 | 6323k| 553.8 | 40M| 28 |1196 |1531 |2987 |1531 |3051 | 98 | 0 |6356 | 1.006500e+03 | 1.045000e+03 | 3.83%
1390.55/1390.82 c 1391s| 11500 | 10729 | 6360k| 552.2 | 40M| 28 | - |1531 |2987 |1531 |3051 | 98 | 0 |6397 | 1.006500e+03 | 1.045000e+03 | 3.83%
1398.25/1398.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.25/1398.51 c 1399s| 11600 | 10807 | 6397k| 550.6 | 40M| 28 |1255 |1531 |2987 |1531 |3051 | 98 | 0 |6439 | 1.006500e+03 | 1.045000e+03 | 3.83%
1404.94/1405.20 c 1405s| 11700 | 10889 | 6428k| 548.5 | 40M| 28 |1229 |1531 |2987 |1531 |3051 | 98 | 0 |6488 | 1.006500e+03 | 1.045000e+03 | 3.83%
1414.95/1415.25 c 1415s| 11800 | 10973 | 6473k| 547.7 | 40M| 28 |1277 |1531 |2987 |1531 |3051 | 98 | 0 |6546 | 1.006500e+03 | 1.045000e+03 | 3.83%
1422.44/1422.75 c 1423s| 11900 | 11039 | 6510k| 546.2 | 40M| 28 |1384 |1531 |2987 |1531 |3051 | 98 | 0 |6582 | 1.006500e+03 | 1.045000e+03 | 3.83%
1430.14/1430.40 c 1430s| 12000 | 11111 | 6545k| 544.6 | 40M| 28 |1241 |1531 |2987 |1531 |3051 | 98 | 0 |6631 | 1.006500e+03 | 1.045000e+03 | 3.83%
1439.44/1439.71 c 1440s| 12100 | 11199 | 6588k| 543.6 | 41M| 28 |1297 |1531 |2987 |1531 |3051 | 98 | 0 |6695 | 1.006500e+03 | 1.045000e+03 | 3.83%
1448.73/1449.00 c 1449s| 12200 | 11299 | 6631k| 542.7 | 41M| 28 |1232 |1531 |2987 |1531 |3051 | 98 | 0 |6754 | 1.006500e+03 | 1.045000e+03 | 3.83%
1459.44/1459.78 c 1460s| 12300 | 11385 | 6682k| 542.4 | 41M| 28 |1393 |1531 |2987 |1531 |3051 | 98 | 0 |6818 | 1.006500e+03 | 1.045000e+03 | 3.83%
1468.34/1468.65 c 1469s| 12400 | 11473 | 6722k| 541.3 | 41M| 28 | - |1531 |2987 |1531 |3051 | 98 | 0 |6876 | 1.006750e+03 | 1.045000e+03 | 3.80%
1476.54/1476.85 c 1477s| 12500 | 11557 | 6758k| 539.8 | 41M| 28 |1247 |1531 |2987 |1531 |3051 | 98 | 0 |6930 | 1.006750e+03 | 1.045000e+03 | 3.80%
1487.13/1487.48 c 1487s| 12600 | 11651 | 6803k| 539.2 | 41M| 28 |1311 |1531 |2987 |1531 |3051 | 98 | 0 |7005 | 1.006750e+03 | 1.045000e+03 | 3.80%
1495.64/1495.92 c 1496s| 12700 | 11749 | 6844k| 538.1 | 41M| 28 |1277 |1531 |2987 |1531 |3051 | 98 | 0 |7034 | 1.006750e+03 | 1.045000e+03 | 3.80%
1504.33/1504.63 c 1505s| 12800 | 11847 | 6886k| 537.2 | 42M| 28 |1303 |1531 |2987 |1531 |3051 | 98 | 0 |7077 | 1.006750e+03 | 1.045000e+03 | 3.80%
1510.93/1511.30 c 1511s| 12900 | 11947 | 6922k| 535.8 | 42M| 28 |1286 |1531 |2987 |1531 |3051 | 98 | 0 |7096 | 1.006793e+03 | 1.045000e+03 | 3.79%
1518.53/1518.80 c 1519s| 13000 | 12043 | 6966k| 535.1 | 42M| 28 |1323 |1531 |2987 |1531 |3051 | 98 | 0 |7096 | 1.007000e+03 | 1.045000e+03 | 3.77%
1525.93/1526.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.93/1526.21 c 1526s| 13100 | 12141 | 7009k| 534.3 | 42M| 28 |1362 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1533.03/1533.33 c 1533s| 13200 | 12241 | 7051k| 533.4 | 42M| 28 |1374 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1541.12/1541.49 c 1541s| 13300 | 12341 | 7098k| 532.9 | 42M| 28 |1272 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1548.33/1548.64 c 1549s| 13400 | 12431 | 7139k| 532.0 | 43M| 28 |1207 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1556.52/1556.84 c 1557s| 13500 | 12529 | 7185k| 531.5 | 43M| 28 |1324 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1562.72/1563.00 c 1563s| 13600 | 12629 | 7220k| 530.1 | 43M| 28 |1320 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1570.91/1571.20 c 1571s| 13700 | 12727 | 7267k| 529.7 | 43M| 28 |1257 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1577.92/1578.29 c 1578s| 13800 | 12823 | 7309k| 528.9 | 43M| 28 |1382 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1584.62/1584.98 c 1585s| 13900 | 12915 | 7347k| 527.8 | 43M| 28 | - |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1592.52/1592.87 c 1593s| 14000 | 13013 | 7392k| 527.3 | 44M| 28 |1249 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1598.91/1599.27 c 1599s| 14100 | 13111 | 7429k| 526.2 | 44M| 28 |1308 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1606.62/1606.96 c 1607s| 14200 | 13207 | 7473k| 525.6 | 44M| 28 |1365 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1613.31/1613.66 c 1614s| 14300 | 13307 | 7511k| 524.5 | 44M| 28 |1300 |1531 |2987 |1531 |3051 | 98 | 0 |7097 | 1.007000e+03 | 1.045000e+03 | 3.77%
1621.51/1621.88 c 1622s| 14400 | 13405 | 7552k| 523.7 | 44M| 28 |1293 |1531 |2987 |1531 |3051 | 98 | 0 |7128 | 1.007000e+03 | 1.045000e+03 | 3.77%
1629.41/1629.72 c 1630s| 14500 | 13503 | 7590k| 522.7 | 44M| 28 |1355 |1531 |2987 |1531 |3051 | 98 | 0 |7154 | 1.007000e+03 | 1.045000e+03 | 3.77%
1638.72/1639.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.72/1639.04 c 1639s| 14600 | 13603 | 7633k| 522.1 | 45M| 28 |1294 |1531 |2987 |1531 |3051 | 98 | 0 |7206 | 1.007000e+03 | 1.045000e+03 | 3.77%
1647.41/1647.78 c 1648s| 14700 | 13699 | 7674k| 521.3 | 45M| 28 |1361 |1531 |2987 |1531 |3051 | 98 | 0 |7249 | 1.007000e+03 | 1.045000e+03 | 3.77%
1656.60/1656.99 c 1657s| 14800 | 13789 | 7719k| 520.9 | 45M| 28 |1271 |1531 |2987 |1531 |3051 | 98 | 0 |7286 | 1.007000e+03 | 1.045000e+03 | 3.77%
1667.31/1667.66 c 1668s| 14900 | 13889 | 7768k| 520.7 | 45M| 28 |1377 |1531 |2987 |1531 |3051 | 98 | 0 |7339 | 1.007000e+03 | 1.045000e+03 | 3.77%
1678.41/1678.73 c 1679s| 15000 | 13989 | 7821k| 520.8 | 45M| 28 |1378 |1531 |2987 |1531 |3051 | 98 | 0 |7388 | 1.007000e+03 | 1.045000e+03 | 3.77%
1686.20/1686.51 c 1687s| 15100 | 14089 | 7860k| 519.9 | 45M| 28 |1299 |1531 |2987 |1531 |3051 | 98 | 0 |7431 | 1.007000e+03 | 1.045000e+03 | 3.77%
1696.50/1696.87 c 1697s| 15200 | 14189 | 7909k| 519.7 | 46M| 28 |1265 |1531 |2987 |1531 |3051 | 98 | 0 |7482 | 1.007000e+03 | 1.045000e+03 | 3.77%
1707.60/1707.91 c 1708s| 15300 | 14287 | 7962k| 519.7 | 46M| 28 |1380 |1531 |2987 |1531 |3051 | 98 | 0 |7539 | 1.007000e+03 | 1.045000e+03 | 3.77%
1717.70/1718.02 c 1718s| 15400 | 14383 | 8009k| 519.4 | 46M| 28 |1382 |1531 |2987 |1531 |3051 | 98 | 0 |7601 | 1.007000e+03 | 1.045000e+03 | 3.77%
1726.60/1726.93 c 1727s| 15500 | 14473 | 8053k| 518.9 | 46M| 28 |1284 |1531 |2987 |1531 |3051 | 98 | 0 |7630 | 1.007000e+03 | 1.045000e+03 | 3.77%
1735.60/1735.99 c 1736s| 15600 | 14573 | 8097k| 518.4 | 46M| 28 |1303 |1531 |2987 |1531 |3051 | 98 | 0 |7674 | 1.007000e+03 | 1.045000e+03 | 3.77%
1736.99/1737.34 o 1042
1736.99/1737.34 c C1737s| 15634 | 13741 | 8103k| 517.7 | 45M| 30 | - |1531 |2987 |1531 |3051 | 98 | 0 |7690 | 1.007000e+03 | 1.042000e+03 | 3.48%
1744.09/1744.41 c 1744s| 15700 | 13799 | 8138k| 517.7 | 45M| 30 |1343 |1531 |2987 |1531 |3051 | 98 | 0 |7744 | 1.007000e+03 | 1.042000e+03 | 3.48%
1753.29/1753.63 c 1754s| 15800 | 13871 | 8180k| 517.1 | 45M| 30 | - |1531 |2987 |1531 |3051 | 98 | 0 |7825 | 1.007000e+03 | 1.042000e+03 | 3.48%
1764.29/1764.63 c 1765s| 15900 | 13965 | 8235k| 517.3 | 45M| 30 |1276 |1531 |2987 |1531 |3051 | 98 | 0 |7872 | 1.007000e+03 | 1.042000e+03 | 3.48%
1773.90/1774.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.90/1774.22 c 1774s| 16000 | 14063 | 8280k| 516.8 | 46M| 30 |1264 |1531 |2987 |1531 |3051 | 98 | 0 |7954 | 1.007000e+03 | 1.042000e+03 | 3.48%
1783.19/1783.55 c 1784s| 16100 | 14159 | 8324k| 516.4 | 46M| 30 |1188 |1531 |2987 |1531 |3051 | 98 | 0 |8027 | 1.007000e+03 | 1.042000e+03 | 3.48%
1794.99/1795.31 c 1795s| 16200 | 14251 | 8381k| 516.7 | 46M| 30 |1373 |1531 |2987 |1531 |3051 | 98 | 0 |8103 | 1.007000e+03 | 1.042000e+03 | 3.48%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 16219
1796.68/1797.01 c Primal Bound : +1.04200000000000e+03 (701 solutions)
1796.68/1797.01 c Dual Bound : +1.00700000000000e+03
1796.68/1797.01 c Gap : 3.48 %
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 v x1968 -x1967 -x1966 -x1965 -x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 x1956 x1955 -x1954 x1953 x1952 -x1951 -x1950 -x1949
1796.68/1797.01 v -x1948 x1947 -x1946 -x1945 x1944 -x1943 -x1942 -x1941 -x1940 -x1939 x1938 x1937 x1936 x1935 x1934 x1933 -x1932 x1931 -x1930
1796.68/1797.01 v x1929 x1928 -x1927 x1926 x1925 -x1924 x1923 -x1922 x1921 -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911
1796.68/1797.01 v -x1910 x1909 x1908 x1907 -x1906 x1905 x1904 x1903 x1902 -x1901 x1900 -x1899 -x1898 -x1897 x1896 x1895 -x1894 x1893 x1892 x1891
1796.68/1797.01 v x1890 -x1889 x1888 x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 x1880 -x1879 x1878 x1877 x1876 -x1875 -x1874 -x1873 x1872
1796.68/1797.01 v x1871 -x1870 -x1869 -x1868 x1867 x1866 -x1865 x1864 x1863 x1862 x1861 x1860 -x1859 -x1858 -x1857 -x1856 x1855 -x1854 x1853
1796.68/1797.01 v x1852 x1851 x1850 -x1849 -x1848 -x1847 x1846 -x1845 x1844 x1843 -x1842 x1841 x1840 x1839 x1838 -x1837 -x1836 -x1835 -x1834 x1833
1796.68/1797.01 v x1832 -x1831 x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 x1820 -x1819 -x1818 -x1817 x1816 -x1815 x1814
1796.68/1797.01 v x1813 -x1812 x1811 x1810 -x1809 x1808 x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 x1800 x1799 x1798 x1797 -x1796 -x1795
1796.68/1797.01 v -x1794 x1793 x1792 -x1791 -x1790 x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 x1782 -x1781 x1780 x1779 -x1778 -x1777 -x1776
1796.68/1797.01 v -x1775 -x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 -x1765 x1764 x1763 -x1762 x1761 -x1760 x1759 x1758 x1757
1796.68/1797.01 v -x1756 x1755 -x1754 -x1753 x1752 x1751 x1750 x1749 x1748 -x1747 -x1746 x1745 x1744 x1743 -x1742 -x1741 x1740 x1739 -x1738 x1737
1796.68/1797.01 v x1736 x1735 -x1734 x1733 x1732 x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722 -x1721 x1720 x1719 -x1718
1796.68/1797.01 v -x1717 -x1716 -x1715 x1714 -x1713 -x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 x1701 -x1700 -x1699
1796.68/1797.01 v -x1698 x1697 x1696 x1695 -x1694 x1693 -x1692 -x1691 x1690 x1689 x1688 x1687 x1686 x1685 x1684 -x1683 -x1682 x1681 x1680 x1679
1796.68/1797.01 v x1678 -x1677 x1676 x1675 -x1674 x1673 -x1672 -x1671 x1670 x1669 x1668 -x1667 -x1666 x1665 x1664 x1663 x1662 x1661 -x1660
1796.68/1797.01 v -x1659 -x1658 -x1657 x1656 x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 x1646 x1645 x1644 x1643 x1642 x1641
1796.68/1797.01 v x1640 x1639 -x1638 x1637 x1636 x1635 x1634 x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 -x1626 x1625 -x1624 -x1623 x1622 x1621
1796.68/1797.01 v x1620 -x1619 -x1618 -x1617 x1616 -x1615 x1614 x1613 -x1612 x1611 -x1610 x1609 x1608 x1607 x1606 -x1605 x1604 x1603 x1602
1796.68/1797.01 v x1601 -x1600 x1599 x1598 x1597 -x1596 -x1595 -x1594 -x1593 x1592 x1591 x1590 x1589 -x1588 x1587 x1586 x1585 x1584 x1583 x1582
1796.68/1797.01 v x1581 -x1580 x1579 x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570 x1569 x1568 x1567 x1566 -x1565 -x1564 -x1563 x1562
1796.68/1797.01 v x1561 x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 x1553 x1552 x1551 x1550 x1549 -x1548 -x1547 x1546 x1545 x1544 x1543
1796.68/1797.01 v -x1542 x1541 x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 x1533 -x1532 x1531 x1530 -x1529 -x1528 -x1527 x1526 x1525 x1524 -x1523
1796.68/1797.01 v -x1522 -x1521 -x1520 x1519 x1518 x1517 x1516 x1515 x1514 -x1513 x1512 x1511 x1510 x1509 x1508 -x1507 x1506 x1505 x1504
1796.68/1797.01 v -x1503 -x1502 x1501 x1500 -x1499 -x1498 x1497 x1496 -x1495 x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 x1487 x1486 x1485 x1484
1796.68/1797.01 v -x1483 x1482 x1481 x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 x1473 x1472 x1471 x1470 x1469 -x1468 -x1467 x1466 x1465
1796.68/1797.01 v -x1464 -x1463 x1462 x1461 x1460 x1459 -x1458 x1457 -x1456 x1455 -x1454 x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446
1796.68/1797.01 v -x1445 -x1444 x1443 x1442 x1441 -x1440 x1439 -x1438 -x1437 -x1436 x1435 x1434 -x1433 x1432 x1431 x1430 -x1429 -x1428 -x1427
1796.68/1797.01 v -x1426 -x1425 x1424 -x1423 x1422 x1421 x1420 -x1419 -x1418 -x1417 x1416 -x1415 x1414 x1413 -x1412 x1411 -x1410 x1409 x1408 -x1407
1796.68/1797.01 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395 x1394 x1393 x1392 -x1391 -x1390 x1389
1796.68/1797.01 v -x1388 x1387 -x1386 x1385 -x1384 -x1383 x1382 x1381 -x1380 x1379 x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 x1370
1796.68/1797.01 v x1369 x1368 x1367 -x1366 x1365 -x1364 -x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 x1355 -x1354 x1353 -x1352 x1351
1796.68/1797.01 v x1350 -x1349 x1348 -x1347 x1346 -x1345 x1344 x1343 -x1342 x1341 x1340 x1339 -x1338 -x1337 -x1336 -x1335 x1334 x1333 -x1332 -x1331
1796.68/1797.01 v x1330 -x1329 -x1328 x1327 -x1326 x1325 -x1324 x1323 x1322 -x1321 x1320 x1319 x1318 -x1317 -x1316 x1315 -x1314 -x1313 x1312
1796.68/1797.01 v x1311 x1310 x1309 x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 x1295 x1294 x1293
1796.68/1797.01 v -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 x1285 -x1284 x1283 -x1282 -x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 -x1274
1796.68/1797.01 v x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258 -x1257 x1256 x1255 x1254
1796.68/1797.01 v x1253 x1252 -x1251 x1250 -x1249 x1248 -x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 -x1238 x1237 x1236 -x1235 -x1234
1796.68/1797.01 v x1233 x1232 -x1231 -x1230 x1229 x1228 x1227 -x1226 x1225 x1224 -x1223 -x1222 x1221 x1220 -x1219 x1218 x1217 -x1216 x1215
1796.68/1797.01 v -x1214 x1213 x1212 x1211 -x1210 x1209 -x1208 x1207 -x1206 -x1205 x1204 -x1203 x1202 x1201 -x1200 -x1199 -x1198 x1197 -x1196
1796.68/1797.01 v x1195 x1194 x1193 x1192 x1191 -x1190 x1189 -x1188 -x1187 x1186 x1185 -x1184 x1183 -x1182 -x1181 x1180 x1179 x1178 -x1177 x1176
1796.68/1797.01 v -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 x1166 x1165 x1164 -x1163 -x1162 -x1161 x1160 x1159 x1158 x1157
1796.68/1797.01 v x1156 x1155 -x1154 x1153 -x1152 -x1151 x1150 x1149 -x1148 -x1147 x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139 -x1138
1796.68/1797.01 v x1137 -x1136 x1135 x1134 -x1133 -x1132 -x1131 x1130 -x1129 x1128 -x1127 x1126 -x1125 x1124 -x1123 -x1122 x1121 x1120 -x1119
1796.68/1797.01 v x1118 -x1117 x1116 x1115 x1114 x1113 x1112 -x1111 x1110 x1109 -x1108 x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 x1100 -x1099
1796.68/1797.01 v -x1098 -x1097 x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 x1088 x1087 x1086 x1085 -x1084 x1083 -x1082 -x1081 -x1080
1796.68/1797.01 v -x1079 -x1078 -x1077 -x1076 x1075 -x1074 x1073 -x1072 -x1071 -x1070 x1069 x1068 x1067 x1066 x1065 x1064 -x1063 -x1062 -x1061
1796.68/1797.01 v -x1060 x1059 x1058 -x1057 x1056 x1055 x1054 -x1053 -x1052 x1051 x1050 x1049 x1048 -x1047 -x1046 x1045 x1044 x1043 x1042 x1041
1796.68/1797.01 v x1040 x1039 -x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 x1031 x1030 x1029 -x1028 x1027 x1026 -x1025 -x1024 x1023 x1022
1796.68/1797.01 v -x1021 -x1020 -x1019 x1018 -x1017 -x1016 x1015 -x1014 x1013 x1012 x1011 -x1010 x1009 x1008 -x1007 x1006 x1005 x1004 x1003 -x1002
1796.68/1797.01 v x1001 x1000 -x999 -x998 -x997 -x996 x995 x994 -x993 x992 x991 -x990 -x989 x988 x987 x986 x985 -x984 -x983 -x982 x981 x980
1796.68/1797.01 v -x979 x978 -x977 -x976 -x975 -x974 x973 x972 x971 x970 x969 x968 x967 x966 x965 -x964 x963 x962 x961 x960 x959 x958 x957 -x956
1796.68/1797.01 v -x955 x954 -x953 x952 x951 -x950 -x949 -x948 x947 -x946 -x945 x944 x943 -x942 -x941 x940 x939 -x938 x937 x936 -x935 -x934
1796.68/1797.01 v -x933 x932 -x931 -x930 x929 -x928 -x927 -x926 x925 x924 -x923 x922 -x921 -x920 -x919 x918 -x917 x916 -x915 -x914 x913 x912
1796.68/1797.01 v x911 -x910 -x909 x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 x892 -x891 -x890
1796.68/1797.01 v -x889 x888 -x887 -x886 x885 -x884 x883 x882 -x881 -x880 -x879 -x878 x877 x876 -x875 x874 -x873 x872 -x871 -x870 -x869 x868 -x867
1796.68/1797.01 v x866 x865 -x864 -x863 x862 x861 -x860 x859 -x858 -x857 x856 -x855 -x854 x853 x852 x851 -x850 -x849 -x848 x847 -x846 x845
1796.68/1797.01 v x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 x834 -x833 x832 x831 -x830 x829 x828 x827 -x826 x825 -x824 -x823 -x822
1796.68/1797.01 v x821 x820 -x819 x818 x817 x816 -x815 -x814 x813 x812 x811 x810 x809 x808 x807 x806 -x805 x804 -x803 x802 -x801 -x800 -x799
1796.68/1797.01 v -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 x787 -x786 x785 -x784 -x783 x782 -x781 -x780 x779 x778 -x777
1796.68/1797.01 v -x776 x775 x774 x773 -x772 -x771 x770 -x769 x768 -x767 -x766 -x765 -x764 x763 x762 x761 x760 -x759 x758 -x757 x756 x755 -x754
1796.68/1797.01 v x753 -x752 -x751 -x750 x749 x748 x747 -x746 x745 -x744 -x743 -x742 x741 x740 x739 -x738 -x737 x736 -x735 x734 x733 -x732
1796.68/1797.01 v -x731 x730 -x729 x728 x727 x726 x725 x724 x723 -x722 x721 x720 x719 x718 x717 -x716 x715 -x714 x713 -x712 -x711 x710 -x709 -x708
1796.68/1797.01 v -x707 x706 x705 x704 -x703 -x702 -x701 x700 x699 x698 x697 -x696 -x695 -x694 -x693 x692 x691 x690 x689 -x688 x687 x686 x685
1796.68/1797.01 v x684 x683 x682 -x681 x680 x679 x678 x677 -x676 -x675 x674 -x673 -x672 -x671 x670 x669 -x668 x667 -x666 x665 x664 -x663 x662
1796.68/1797.01 v x661 x660 -x659 x658 -x657 x656 x655 -x654 x653 x652 x651 x650 x649 x648 x647 x646 -x645 x644 x643 x642 -x641 x640 x639 -x638
1796.68/1797.01 v x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 x627 x626 -x625 -x624 -x623 -x622 x621 x620 -x619 x618 x617 -x616
1796.68/1797.01 v x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 x606 x605 x604 x603 -x602 x601 -x600 -x599 -x598 -x597 x596 x595 x594 x593
1796.68/1797.01 v -x592 x591 -x590 x589 x588 x587 -x586 x585 -x584 x583 x582 -x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 x572 -x571 x570
1796.68/1797.01 v x569 x568 -x567 -x566 x565 -x564 x563 x562 -x561 x560 -x559 -x558 -x557 x556 x555 x554 -x553 x552 x551 x550 -x549 x548 -x547
1796.68/1797.01 v x546 -x545 x544 -x543 x542 -x541 -x540 -x539 x538 -x537 x536 -x535 x534 x533 x532 x531 x530 -x529 -x528 -x527 x526 x525 -x524
1796.68/1797.01 v -x523 -x522 x521 -x520 x519 x518 -x517 x516 -x515 x514 x513 x512 -x511 -x510 x509 -x508 x507 x506 x505 -x504 x503 x502 x501
1796.68/1797.01 v -x500 x499 x498 -x497 -x496 x495 -x494 x493 x492 x491 -x490 x489 x488 x487 x486 x485 -x484 -x483 x482 x481 x480 x479 -x478
1796.68/1797.01 v -x477 -x476 x475 -x474 x473 -x472 x471 x470 x469 -x468 -x467 x466 x465 -x464 x463 x462 -x461 x460 x459 x458 x457 x456 x455
1796.68/1797.01 v -x454 -x453 x452 x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 x438 -x437 -x436 -x435 -x434 x433 -x432
1796.68/1797.01 v x431 -x430 -x429 x428 -x427 x426 x425 -x424 -x423 -x422 -x421 x420 x419 x418 x417 x416 x415 -x414 -x413 x412 -x411 x410 -x409
1796.68/1797.01 v x408 -x407 x406 -x405 x404 -x403 x402 x401 x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389 x388 -x387
1796.68/1797.01 v x386 -x385 -x384 x383 x382 x381 x380 -x379 x378 x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 x368 x367 x366 -x365 -x364
1796.68/1797.01 v x363 -x362 x361 x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 x352 x351 -x350 x349 x348 -x347 x346 -x345 x344 x343 -x342 x341
1796.68/1797.01 v x340 x339 x338 x337 x336 -x335 -x334 -x333 x332 x331 x330 -x329 -x328 -x327 -x326 x325 -x324 x323 -x322 x321 -x320 -x319 x318
1796.68/1797.01 v x317 x316 -x315 x314 -x313 x312 x311 -x310 x309 x308 -x307 -x306 x305 -x304 -x303 x302 -x301 -x300 x299 x298 -x297 x296 -x295
1796.68/1797.01 v -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 x278 -x277 x276 x275 x274 -x273
1796.68/1797.01 v -x272 x271 x270 -x269 x268 -x267 x266 -x265 -x264 -x263 x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 x251
1796.68/1797.01 v x250 -x249 -x248 -x247 x246 x245 -x244 x243 -x242 x241 x240 x239 -x238 -x237 -x236 x235 -x234 x233 -x232 x231 x230 -x229 -x228
1796.68/1797.01 v x227 -x226 x225 x224 x223 -x222 x221 x220 -x219 x218 x217 x216 x215 x214 x213 -x212 x211 x210 x209 x208 -x207 x206 x205 -x204
1796.68/1797.01 v -x203 x202 -x201 -x200 x199 -x198 x197 x196 -x195 x194 x193 -x192 x191 -x190 x189 x188 x187 x186 x185 x184 x183 x182 -x181
1796.68/1797.01 v -x180 -x179 x178 x177 x176 x175 x174 x173 -x172 x171 x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 x161 -x160 -x159 -x158
1796.68/1797.01 v x157 x156 -x155 x154 x153 x152 -x151 x150 -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 x139 -x138 x137 x136 x135
1796.68/1797.01 v -x134 -x133 x132 x131 x130 -x129 x128 -x127 -x126 x125 x124 -x123 x122 -x121 x120 x119 -x118 x117 x116 x115 -x114 -x113 -x112
1796.68/1797.01 v -x111 x110 x109 -x108 x107 -x106 -x105 -x104 x103 x102 x101 -x100 x99 x98 -x97 x96 x95 -x94 x93 -x92 -x91 x90 x89 -x88 -x87
1796.68/1797.01 v -x86 x85 x84 x83 x82 x81 -x80 x79 -x78 -x77 x76 -x75 -x74 x73 x72 x71 -x70 -x69 x68 x67 x66 x65 -x64 x63 x62 x61 x60 x59 x58
1796.68/1797.01 v -x57 x56 -x55 x54 x53 x52 -x51 -x50 x49 x48 -x47 x46 -x45 -x44 x43 x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 x34 -x33 x32 x31 x30
1796.68/1797.01 v x29 -x28 x27 -x26 x25 -x24 -x23 x22 x21 x20 -x19 -x18 x17 -x16 x15 -x14 -x13 -x12 x11 x10 -x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.05 (included in solving)
1796.68/1797.01 c reading : 0.01 (included in solving)
1796.68/1797.01 c copying : 0.04 (4 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3692073-1338031220.opb
1796.68/1797.01 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 4000 initial, 4000 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3692073-1338031220.opb
1796.68/1797.01 c Variables : 1531 (1531 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 2987 initial, 2987 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 205 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.03 0.00 0 232 0 0 0 1013 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 15673 0 706 0 0 16 0 0 31334
1796.68/1797.01 c setppc : 2987 2987 22 121552 0 1 701 0 0 85039 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 704 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 318.27 0.00 0.00 0.00 318.26 0.00 0.01 0.00
1796.68/1797.01 c setppc : 5.25 0.00 0.00 5.23 0.00 0.00 0.02 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 11 0 0 0
1796.68/1797.01 c pseudoobj : 137175 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 15698 0 0 4
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.01 c pseudoobj : 0.16 0.00 0.00 0.15 0.00
1796.68/1797.01 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.68/1797.01 c redcost : 0.24 0.00 0.00 0.24 0.00
1796.68/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 0 0.0 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.01 21 - - 5 - (maximal pool size: 659)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.06 0.00 10 0 0 500 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 1.28 0.00 20 0 0 10000 0
1796.68/1797.01 c cmir : 0.09 0.00 10 0 0 0 0
1796.68/1797.01 c flowcover : 0.08 0.00 10 0 0 0 0
1796.68/1797.01 c clique : 0.00 0.00 22 0 0 11 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.15 0.00 1 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 318.24 0.00 15673 0 16 0 0 31334
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c oneopt : 0.02 0.00 7 1
1796.68/1797.01 c veclendiving : 56.51 0.00 113 1
1796.68/1797.01 c pscostdiving : 58.82 0.00 116 0
1796.68/1797.01 c coefdiving : 189.49 0.00 347 225
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 2 2
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 1.77 0.00 15694 31
1796.68/1797.01 c zirounding : 5.39 0.00 6251 125
1796.68/1797.01 c rounding : 65.16 0.00 1721 0
1796.68/1797.01 c shifting : 20.09 0.00 517 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.01 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 46.69 0.00 107 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 98.41 0.00 115 228
1796.68/1797.01 c rootsoldiving : 30.07 0.00 88 86
1796.68/1797.01 c linesearchdiving : 46.59 0.00 123 0
1796.68/1797.01 c guideddiving : 46.48 0.00 121 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.01 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c crossover : 0.09 0.00 2 2
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.01 0.00 0 0
1796.68/1797.01 c trysol : 0.01 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.01 3 0 0.00 - 0.01 3
1796.68/1797.01 c dual LP : 798.90 16453 5230509 321.96 6547.12 0.29 207
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 534.56 70639 3161163 44.75 5913.62
1796.68/1797.01 c strong branching : 313.18 8103 1740961 214.85 5559.04
1796.68/1797.01 c (at root node) : - 21 19384 923.05 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 16219
1796.68/1797.01 c nodes (total) : 16219
1796.68/1797.01 c nodes left : 14270
1796.68/1797.01 c max depth : 30
1796.68/1797.01 c max depth (total): 30
1796.68/1797.01 c backtracks : 5307 (32.7%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 9.39
1796.68/1797.01 c switching time : 2.12
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 701 (14 improvements)
1796.68/1797.01 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : +1.04200000000000e+03 (in run 1, after 15634 nodes, 1737.33 seconds, depth 30, found by <crossover>)
1796.68/1797.01 c Dual Bound : +1.00700000000000e+03
1796.68/1797.01 c Gap : 3.48 %
1796.68/1797.01 c Root Dual Bound : +9.99000000000000e+02
1796.68/1797.01 c Root Iterations : 11086
1796.68/1797.06 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-3692073-1338031220/watcher-3692073-1338031220 -o /tmp/evaluation-result-3692073-1338031220/solver-3692073-1338031220 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692073-1338031220.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.88 2/177 3022
/proc/meminfo: memFree=27215080/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 1930 0 0 0 0 0 0 0 20 0 1 0 269248001 12996608 1884 33554432000 4194304 10219143 140737160134144 140733730892920 8907099 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 3173 1884 413 1471 0 1693 0
[startup+0.0295951 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 3022
/proc/meminfo: memFree=27215080/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=25076 CPUtime=0.01 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 4794 0 0 0 1 0 0 0 20 0 1 0 269248001 25677824 4748 33554432000 4194304 10219143 140737160134144 140733730892920 4432520 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 6269 4748 528 1471 0 4789 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25076
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 3022
/proc/meminfo: memFree=27215080/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=34520 CPUtime=0.09 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 7613 0 0 0 7 2 0 0 20 0 1 0 269248001 35348480 7295 33554432000 4194304 10219143 140737160134144 140733730892920 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 8630 7295 744 1471 0 7150 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34520
[startup+0.300189 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 3022
/proc/meminfo: memFree=27215080/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=36132 CPUtime=0.29 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 8249 0 0 0 27 2 0 0 20 0 1 0 269248001 36999168 7853 33554432000 4194304 10219143 140737160134144 140733730892920 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 9033 7853 774 1471 0 7553 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36132
[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 3022
/proc/meminfo: memFree=27215080/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=50688 CPUtime=0.69 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 13578 0 0 0 65 4 0 0 20 0 1 0 269248001 51904512 11227 33554432000 4194304 10219143 140737160134144 140737160127784 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 12672 11227 821 1471 0 11192 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50688
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3061
/proc/meminfo: memFree=28341800/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=50756 CPUtime=1.49 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 13676 0 0 0 145 4 0 0 20 0 1 0 269248001 51974144 11325 33554432000 4194304 10219143 140737160134144 140737160129064 7396405 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 12689 11325 821 1471 0 11209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50756
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3061
/proc/meminfo: memFree=28325292/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=58584 CPUtime=3.08 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 15768 0 0 0 303 5 0 0 20 0 1 0 269248001 59990016 13329 33554432000 4194304 10219143 140737160134144 140737160130184 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 14646 13329 821 1471 0 13166 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58584
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3061
/proc/meminfo: memFree=28263228/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=86296 CPUtime=6.28 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 24231 0 0 0 620 8 0 0 20 0 1 0 269248001 88367104 20386 33554432000 4194304 10219143 140737160134144 140737160130072 8056628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 21574 20386 825 1471 0 20094 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86296
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3061
/proc/meminfo: memFree=28242924/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=86296 CPUtime=12.68 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 24249 0 0 0 1256 12 0 0 20 0 1 0 269248001 88367104 20404 33554432000 4194304 10219143 140737160134144 140737160126856 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 21574 20404 826 1471 0 20094 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86296
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3061
/proc/meminfo: memFree=28244252/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=86296 CPUtime=25.47 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 24280 0 0 0 2528 19 0 0 20 0 1 0 269248001 88367104 20438 33554432000 4194304 10219143 140737160134144 140737160127400 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3022/statm: 21574 20438 826 1471 0 20094 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 86296
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 3061
/proc/meminfo: memFree=28243248/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=87264 CPUtime=51.07 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 24478 0 0 0 5074 33 0 0 20 0 1 0 269248001 89358336 20752 33554432000 4194304 10219143 140737160134144 140737160127688 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 21816 20752 828 1471 0 20336 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87264
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 1.90 3/177 3061
/proc/meminfo: memFree=28241180/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=87264 CPUtime=102.27 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 24497 0 0 0 10160 67 0 0 20 0 1 0 269248001 89358336 20771 33554432000 4194304 10219143 140737160134144 140737160126856 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 21816 20771 828 1471 0 20336 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87264
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/177 3061
/proc/meminfo: memFree=28241232/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=87252 CPUtime=162.24 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 28361 0 0 0 16119 105 0 0 20 0 1 0 269248001 89346048 20732 33554432000 4194304 10219143 140737160134144 140737160127448 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 21813 20732 830 1471 0 20333 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 87252
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 3062
/proc/meminfo: memFree=28239492/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=87828 CPUtime=222.24 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 28549 0 0 0 22081 143 0 0 20 0 1 0 269248001 89935872 20952 33554432000 4194304 10219143 140737160134144 140737160127448 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 21957 20952 830 1471 0 20477 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 87828
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3062
/proc/meminfo: memFree=28238064/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=88452 CPUtime=282.23 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 28678 0 0 0 28044 179 0 0 20 0 1 0 269248001 90574848 21081 33554432000 4194304 10219143 140737160134144 140737160127592 5355609 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 22113 21081 830 1471 0 20633 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 88452
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3062
/proc/meminfo: memFree=28234720/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=90256 CPUtime=342.22 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 29143 0 0 0 34004 218 0 0 20 0 1 0 269248001 92422144 21546 33554432000 4194304 10219143 140737160134144 140737160127400 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 22564 21546 830 1471 0 21084 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 90256
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3063
/proc/meminfo: memFree=28234648/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=90468 CPUtime=402.21 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 29186 0 0 0 39966 255 0 0 20 0 1 0 269248001 92639232 21589 33554432000 4194304 10219143 140737160134144 140737160127496 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 22617 21589 830 1471 0 21137 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 90468
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3063
/proc/meminfo: memFree=28232304/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=91816 CPUtime=462.2 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 29557 0 0 0 45928 292 0 0 20 0 1 0 269248001 94019584 21959 33554432000 4194304 10219143 140737160134144 140737160127592 6849969 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 22954 21959 830 1471 0 21474 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 91816
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3064
/proc/meminfo: memFree=28229264/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=93076 CPUtime=522.19 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 29884 0 0 0 51885 334 0 0 20 0 1 0 269248001 95309824 22286 33554432000 4194304 10219143 140737160134144 140737160130184 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 23269 22286 830 1471 0 21789 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 93076
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/178 3067
/proc/meminfo: memFree=28226712/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=93860 CPUtime=582.18 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 30038 0 0 0 57845 373 0 0 20 0 1 0 269248001 96112640 22439 33554432000 4194304 10219143 140737160134144 140737160130632 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 23465 22439 830 1471 0 21985 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 93860
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28208024/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=103392 CPUtime=1122.09 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 32460 0 0 0 111466 743 0 0 20 0 1 0 269248001 105873408 24865 33554432000 4194304 10219143 140737160134144 140737160127400 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 25848 24865 830 1471 0 24368 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 103392
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3072
/proc/meminfo: memFree=28205380/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=103856 CPUtime=1182.08 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 32543 0 0 0 117424 784 0 0 20 0 1 0 269248001 106348544 24948 33554432000 4194304 10219143 140737160134144 140737160127032 8077662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 25964 24948 830 1471 0 24484 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 103856
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 3072
/proc/meminfo: memFree=28202744/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=104284 CPUtime=1242.07 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 32673 0 0 0 123383 824 0 0 20 0 1 0 269248001 106786816 25078 33554432000 4194304 10219143 140737160134144 140737160126968 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 26071 25078 830 1471 0 24591 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 104284
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 3072
/proc/meminfo: memFree=28201444/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=104528 CPUtime=1302.07 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 32713 0 0 0 129345 862 0 0 20 0 1 0 269248001 107036672 25118 33554432000 4194304 10219143 140737160134144 140737160127688 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 26132 25118 830 1471 0 24652 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 104528
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 3072
/proc/meminfo: memFree=28199084/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=106976 CPUtime=1362.05 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 33318 0 0 0 135299 906 0 0 20 0 1 0 269248001 109543424 25723 33554432000 4194304 10219143 140737160134144 140737160127784 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 26744 25723 830 1471 0 25264 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 106976
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 3073
/proc/meminfo: memFree=28198592/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=107276 CPUtime=1422.05 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 33401 0 0 0 141262 943 0 0 20 0 1 0 269248001 109850624 25806 33554432000 4194304 10219143 140737160134144 140737160130184 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 26819 25806 830 1471 0 25339 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 107276
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 3073
/proc/meminfo: memFree=28196856/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=109152 CPUtime=1482.03 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 33868 0 0 0 147221 982 0 0 20 0 1 0 269248001 111771648 26273 33554432000 4194304 10219143 140737160134144 140737160126952 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 27288 26273 830 1471 0 25808 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 109152
[startup+1542.3 s]
/proc/loadavg: 2.14 2.04 1.94 3/176 3073
/proc/meminfo: memFree=28196184/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=110388 CPUtime=1542.02 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 34180 0 0 0 153176 1026 0 0 20 0 1 0 269248001 113037312 26585 33554432000 4194304 10219143 140737160134144 140737160127400 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 27597 26585 830 1471 0 26117 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 110388
[startup+1602.3 s]
/proc/loadavg: 2.20 2.08 1.96 3/177 3074
/proc/meminfo: memFree=28193900/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=111468 CPUtime=1602.02 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 34464 0 0 0 159133 1069 0 0 20 0 1 0 269248001 114143232 26869 33554432000 4194304 10219143 140737160134144 140737160127784 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 27867 26869 830 1471 0 26387 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 111468
[startup+1662.3 s]
/proc/loadavg: 2.25 2.12 1.98 3/177 3074
/proc/meminfo: memFree=28191236/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113164 CPUtime=1662.01 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 34893 0 0 0 165089 1112 0 0 20 0 1 0 269248001 115879936 27298 33554432000 4194304 10219143 140737160134144 140737160127496 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28291 27298 830 1471 0 26811 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 113164
[startup+1722.3 s]
/proc/loadavg: 2.14 2.11 1.98 3/177 3075
/proc/meminfo: memFree=28189128/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113808 CPUtime=1722 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 35065 0 0 0 171050 1150 0 0 20 0 1 0 269248001 116539392 27470 33554432000 4194304 10219143 140737160134144 140737160127688 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28452 27470 830 1471 0 26972 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 113808
[startup+1782.3 s]
/proc/loadavg: 2.21 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28186820/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1781.98 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 177004 1194 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127784 8087628 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 113664
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.19 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187440/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1785.19 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 177323 1196 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127496 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 113664
[startup+1791.91 s]
/proc/loadavg: 2.17 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187836/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1791.59 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 177958 1201 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127400 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 113664
[startup+1795.1 s]
/proc/loadavg: 2.16 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187928/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1794.79 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 178276 1203 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127384 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 113664
[startup+1795.9 s]
/proc/loadavg: 2.16 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187928/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1795.58 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 178355 1203 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127400 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 113664
[startup+1796.7 s]
/proc/loadavg: 2.16 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187928/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1796.39 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 178435 1204 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127784 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 113664
[startup+1796.9 s]
/proc/loadavg: 2.16 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187928/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1796.58 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 178454 1204 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127784 8077277 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 113664
[startup+1797 s]
/proc/loadavg: 2.16 2.13 2.00 3/178 3078
/proc/meminfo: memFree=28187928/32873648 swapFree=6864/6864
[pid=3022] ppid=3020 vsize=113664 CPUtime=1796.68 cores=0,2,4,6
/proc/3022/stat : 3022 (scip-2.1.1.4exp) R 3020 3022 1798 0 -1 4202496 38996 0 0 0 178464 1204 0 0 20 0 1 0 269248001 116391936 27431 33554432000 4194304 10219143 140737160134144 140737160127784 8067973 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3022/statm: 28416 27431 845 1471 0 26936 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 113664
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.75
CPU user time (s): 1784.71
CPU system time (s): 12.0482
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 114124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.71
system time used= 12.0482
maximum resident set size= 124912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39001
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= 26
involuntary context switches= 1998
runsolver used 4.40233 second user time and 10.1415 second system time
The end