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: a3bf3a4-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-3690909-1338018445.opb>
0.00/0.01 c original problem has 1963 variables (1963 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 o 1963
0.00/0.03 c feasible solution found by trivial heuristic, objective value 1.963000e+03
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 161 del vars, 161 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.04 c (round 2) 321 del vars, 730 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 3) 366 del vars, 838 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 4) 404 del vars, 954 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 5) 424 del vars, 1000 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 6) 435 del vars, 1032 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 7) 439 del vars, 1045 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.05/0.07 c (round 8) 439 del vars, 1046 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2954 upgd conss, 7998 impls, 0 clqs
0.05/0.08 c (0.1s) probing: 51/1524 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.05/0.08 c presolving (9 rounds):
0.05/0.08 c 439 deleted vars, 1046 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.08 c 7998 implications, 0 cliques
0.05/0.08 c presolved problem has 1524 variables (1524 bin, 0 int, 0 impl, 0 cont) and 2954 constraints
0.05/0.08 c 2954 constraints of type <setppc>
0.05/0.08 c transformed objective value is always integral (scale: 1)
0.05/0.08 c Presolving Time: 0.06
0.05/0.08 c - non default parameters ----------------------------------------------------------------------
0.05/0.08 c # SCIP version 2.1.1.4
0.05/0.08 c
0.05/0.08 c # maximal time in seconds to run
0.05/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.08 c limits/time = 1797
0.05/0.08 c
0.05/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.08 c limits/memory = 13950
0.05/0.08 c
0.05/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.08 c # [type: int, range: [1,2], default: 1]
0.05/0.08 c timing/clocktype = 2
0.05/0.08 c
0.05/0.08 c # belongs reading time to solving time?
0.05/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.08 c timing/reading = TRUE
0.05/0.08 c
0.05/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.08 c separating/rapidlearning/freq = 0
0.05/0.08 c
0.05/0.08 c -----------------------------------------------------------------------------------------------
0.05/0.08 c start solving
0.05/0.08 c
0.05/0.08 o 1741
0.05/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.08 c t 0.1s| 1 | 0 | 0 | - |7140k| 0 | - |1524 |2954 | 0 | 0 | 0 | 0 | 0 | -- | 1.741000e+03 | Inf
0.05/0.09 o 1169
0.05/0.09 c b 0.1s| 1 | 0 | 0 | - |9085k| 0 | - |1524 |2954 |1524 |2954 | 0 | 0 | 0 | -- | 1.169000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 1948 | - |9061k| 0 |1524 |1524 |2954 |1524 |2954 | 0 | 0 | 0 | 9.790000e+02 | 1.169000e+03 | 19.41%
0.39/0.46 c 0.5s| 1 | 0 | 2143 | - |9149k| 0 |1515 |1524 |2954 |1524 |2965 | 11 | 0 | 0 | 9.835000e+02 | 1.169000e+03 | 18.86%
0.69/0.72 c 0.7s| 1 | 0 | 2791 | - |9166k| 0 |1509 |1524 |2954 |1524 |2972 | 18 | 0 | 0 | 9.857500e+02 | 1.169000e+03 | 18.59%
0.89/0.92 c 0.9s| 1 | 0 | 2987 | - |9207k| 0 |1513 |1524 |2954 |1524 |2974 | 20 | 0 | 0 | 9.867500e+02 | 1.169000e+03 | 18.47%
1.10/1.13 c 1.1s| 1 | 0 | 3284 | - |9347k| 0 |1488 |1524 |2954 |1524 |2982 | 28 | 0 | 0 | 9.892500e+02 | 1.169000e+03 | 18.17%
1.29/1.30 c 1.3s| 1 | 0 | 3395 | - |9415k| 0 |1502 |1524 |2954 |1524 |2989 | 35 | 0 | 0 | 9.912500e+02 | 1.169000e+03 | 17.93%
1.48/1.50 c 1.5s| 1 | 0 | 3580 | - |9517k| 0 |1499 |1524 |2954 |1524 |2992 | 38 | 0 | 0 | 9.920000e+02 | 1.169000e+03 | 17.84%
1.68/1.71 c 1.7s| 1 | 0 | 3877 | - |9628k| 0 |1485 |1524 |2954 |1524 |2999 | 45 | 0 | 0 | 9.920000e+02 | 1.169000e+03 | 17.84%
1.89/1.95 c 2.0s| 1 | 0 | 4328 | - |9821k| 0 |1481 |1524 |2954 |1524 |3005 | 51 | 0 | 0 | 9.925000e+02 | 1.169000e+03 | 17.78%
2.10/2.17 c 2.2s| 1 | 0 | 4575 | - | 10M| 0 |1504 |1524 |2954 |1524 |3008 | 54 | 0 | 0 | 9.927500e+02 | 1.169000e+03 | 17.75%
2.49/2.58 c 2.6s| 1 | 0 | 5635 | - | 11M| 0 |1500 |1524 |2954 |1524 |3015 | 61 | 0 | 0 | 9.932500e+02 | 1.169000e+03 | 17.69%
2.79/2.83 c 2.8s| 1 | 0 | 5899 | - | 12M| 0 |1490 |1524 |2954 |1524 |3018 | 64 | 0 | 0 | 9.935000e+02 | 1.169000e+03 | 17.66%
2.99/3.05 c 3.1s| 1 | 0 | 6151 | - | 12M| 0 |1479 |1524 |2954 |1524 |3022 | 68 | 0 | 0 | 9.935000e+02 | 1.169000e+03 | 17.66%
3.29/3.38 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.38 c 3.4s| 1 | 0 | 6919 | - | 13M| 0 |1477 |1524 |2954 |1524 |3025 | 71 | 0 | 0 | 9.940000e+02 | 1.169000e+03 | 17.61%
3.58/3.67 c 3.7s| 1 | 0 | 7476 | - | 13M| 0 |1494 |1524 |2954 |1524 |3027 | 73 | 0 | 0 | 9.945000e+02 | 1.169000e+03 | 17.55%
4.19/4.22 c 4.2s| 1 | 0 | 9118 | - | 15M| 0 |1497 |1524 |2954 |1524 |3035 | 81 | 0 | 0 | 9.957500e+02 | 1.169000e+03 | 17.40%
4.59/4.61 c 4.6s| 1 | 0 | 10432 | - | 16M| 0 |1495 |1524 |2954 |1524 |3039 | 85 | 0 | 0 | 9.965000e+02 | 1.169000e+03 | 17.31%
4.99/5.00 c 5.0s| 1 | 0 | 11883 | - | 16M| 0 |1501 |1524 |2954 |1524 |3034 | 91 | 0 | 0 | 9.970000e+02 | 1.169000e+03 | 17.25%
5.19/5.21 c 5.2s| 1 | 0 | 12085 | - | 16M| 0 |1496 |1524 |2954 |1524 |3039 | 96 | 0 | 0 | 9.972500e+02 | 1.169000e+03 | 17.22%
5.50/5.55 c 5.5s| 1 | 0 | 12783 | - | 18M| 0 |1478 |1524 |2954 |1524 |3047 | 104 | 0 | 0 | 9.980000e+02 | 1.169000e+03 | 17.13%
6.19/6.29 c 6.3s| 1 | 0 | 15713 | - | 19M| 0 |1499 |1524 |2954 |1524 |3053 | 110 | 0 | 0 | 9.982500e+02 | 1.169000e+03 | 17.10%
6.39/6.41 c 6.4s| 1 | 0 | 15715 | - | 19M| 0 |1498 |1524 |2954 |1524 |3054 | 111 | 0 | 0 | 9.982500e+02 | 1.169000e+03 | 17.10%
13.20/13.22 c 13.2s| 1 | 2 | 15715 | - | 19M| 0 |1498 |1524 |2954 |1524 |3054 | 111 | 0 | 47 | 9.982500e+02 | 1.169000e+03 | 17.10%
35.19/35.29 o 1068
35.19/35.29 c c35.3s| 15 | 16 | 25919 | 728.9 | 21M| 14 | - |1524 |2954 |1524 |3016 | 111 | 0 | 235 | 9.987500e+02 | 1.068000e+03 | 6.93%
50.98/51.02 c 51.0s| 100 | 101 | 87744 | 727.6 | 22M| 19 |1416 |1524 |2954 |1524 |3016 | 111 | 0 | 280 | 9.987500e+02 | 1.068000e+03 | 6.93%
64.08/64.17 o 1065
64.08/64.17 c c64.2s| 168 | 169 |141889 | 755.5 | 22M| 22 | - |1524 |2954 |1524 |3016 | 111 | 0 | 340 | 9.990000e+02 | 1.065000e+03 | 6.61%
76.78/76.81 c 76.8s| 200 | 201 |204839 | 950.4 | 22M| 22 |1379 |1524 |2954 |1524 |3016 | 111 | 0 | 383 | 9.995000e+02 | 1.065000e+03 | 6.55%
83.27/83.30 o 1057
83.27/83.30 c c83.3s| 213 | 214 |234974 |1034.2 | 22M| 22 | - |1524 |2954 |1524 |3016 | 111 | 0 | 397 | 9.998333e+02 | 1.057000e+03 | 5.72%
104.48/104.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.48/104.58 c 105s| 300 | 301 |334612 |1066.5 | 22M| 22 |1293 |1524 |2954 |1524 |3016 | 111 | 0 | 453 | 1.000000e+03 | 1.057000e+03 | 5.70%
130.87/130.95 c 131s| 400 | 401 |446798 |1080.4 | 22M| 22 |1339 |1524 |2954 |1524 |3016 | 111 | 0 | 579 | 1.000500e+03 | 1.057000e+03 | 5.65%
132.67/132.76 o 1050
132.67/132.76 c C 133s| 413 | 414 |454592 |1065.2 | 22M| 22 |1362 |1524 |2954 |1524 |3016 | 111 | 0 | 593 | 1.000500e+03 | 1.050000e+03 | 4.95%
146.57/146.66 c 147s| 500 | 501 |515878 |1002.3 | 22M| 22 |1244 |1524 |2954 |1524 |3016 | 111 | 0 | 688 | 1.001000e+03 | 1.050000e+03 | 4.90%
161.07/161.12 c 161s| 600 | 601 |575008 | 933.7 | 23M| 22 |1337 |1524 |2954 |1524 |3016 | 111 | 0 | 805 | 1.001000e+03 | 1.050000e+03 | 4.90%
174.46/174.52 c 175s| 700 | 701 |629568 | 878.2 | 23M| 24 |1301 |1524 |2954 |1524 |3016 | 111 | 0 | 909 | 1.001250e+03 | 1.050000e+03 | 4.87%
190.17/190.27 c 190s| 800 | 801 |697565 | 853.4 | 23M| 25 |1305 |1524 |2954 |1524 |3016 | 111 | 0 |1012 | 1.001357e+03 | 1.050000e+03 | 4.86%
204.26/204.39 c 204s| 900 | 901 |757462 | 825.1 | 23M| 25 |1350 |1524 |2954 |1524 |3016 | 111 | 0 |1113 | 1.001375e+03 | 1.050000e+03 | 4.86%
223.96/224.01 c 224s| 1000 | 1001 |843076 | 828.2 | 23M| 25 |1416 |1524 |2954 |1524 |3016 | 111 | 0 |1269 | 1.001500e+03 | 1.050000e+03 | 4.84%
245.15/245.21 c 245s| 1100 | 1101 |936395 | 837.7 | 24M| 25 |1374 |1524 |2954 |1524 |3016 | 111 | 0 |1437 | 1.001500e+03 | 1.050000e+03 | 4.84%
263.85/263.95 c 264s| 1200 | 1201 | 1018k| 836.0 | 24M| 25 |1250 |1524 |2954 |1524 |3016 | 111 | 0 |1576 | 1.001500e+03 | 1.050000e+03 | 4.84%
277.44/277.53 c 278s| 1300 | 1301 | 1075k| 816.0 | 24M| 25 |1364 |1524 |2954 |1524 |3016 | 111 | 0 |1675 | 1.002000e+03 | 1.050000e+03 | 4.79%
287.55/287.67 c 288s| 1400 | 1401 | 1116k| 787.2 | 24M| 25 |1340 |1524 |2954 |1524 |3016 | 111 | 0 |1763 | 1.002000e+03 | 1.050000e+03 | 4.79%
300.44/300.53 c 301s| 1500 | 1501 | 1172k| 771.4 | 24M| 25 |1296 |1524 |2954 |1524 |3016 | 111 | 0 |1873 | 1.002000e+03 | 1.050000e+03 | 4.79%
314.44/314.53 c 315s| 1600 | 1601 | 1231k| 760.2 | 24M| 25 |1371 |1524 |2954 |1524 |3016 | 111 | 0 |1995 | 1.002000e+03 | 1.050000e+03 | 4.79%
330.33/330.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.33/330.44 c 330s| 1700 | 1701 | 1301k| 756.8 | 25M| 25 |1375 |1524 |2954 |1524 |3016 | 111 | 0 |2105 | 1.002400e+03 | 1.050000e+03 | 4.75%
345.53/345.66 c 346s| 1800 | 1801 | 1367k| 751.3 | 25M| 25 |1374 |1524 |2954 |1524 |3016 | 111 | 0 |2225 | 1.002500e+03 | 1.050000e+03 | 4.74%
360.82/360.92 c 361s| 1900 | 1901 | 1433k| 746.4 | 25M| 25 |1281 |1524 |2954 |1524 |3016 | 111 | 0 |2337 | 1.002500e+03 | 1.050000e+03 | 4.74%
373.83/373.94 c 374s| 2000 | 2001 | 1490k| 737.7 | 25M| 25 |1241 |1524 |2954 |1524 |3016 | 111 | 0 |2445 | 1.002500e+03 | 1.050000e+03 | 4.74%
388.42/388.55 c 389s| 2100 | 2101 | 1553k| 732.7 | 25M| 25 |1096 |1524 |2954 |1524 |3016 | 111 | 0 |2590 | 1.002750e+03 | 1.050000e+03 | 4.71%
402.62/402.71 c 403s| 2200 | 2201 | 1615k| 727.7 | 26M| 25 |1262 |1524 |2954 |1524 |3016 | 111 | 0 |2700 | 1.003000e+03 | 1.050000e+03 | 4.69%
411.51/411.69 c 412s| 2300 | 2301 | 1661k| 715.7 | 26M| 27 |1197 |1524 |2954 |1524 |3016 | 111 | 0 |2761 | 1.003000e+03 | 1.050000e+03 | 4.69%
419.92/420.09 c 420s| 2400 | 2401 | 1710k| 706.3 | 26M| 28 |1225 |1524 |2954 |1524 |3016 | 111 | 0 |2761 | 1.003000e+03 | 1.050000e+03 | 4.69%
429.02/429.13 c 429s| 2500 | 2501 | 1763k| 699.3 | 26M| 28 |1350 |1524 |2954 |1524 |3016 | 111 | 0 |2761 | 1.003000e+03 | 1.050000e+03 | 4.69%
438.72/438.83 c 439s| 2600 | 2601 | 1820k| 694.6 | 26M| 28 |1326 |1524 |2954 |1524 |3016 | 111 | 0 |2761 | 1.003000e+03 | 1.050000e+03 | 4.69%
445.71/445.85 c 446s| 2700 | 2699 | 1862k| 684.1 | 26M| 28 |1219 |1524 |2954 |1524 |3016 | 111 | 0 |2761 | 1.003000e+03 | 1.050000e+03 | 4.69%
455.32/455.41 c 455s| 2800 | 2799 | 1918k| 679.9 | 27M| 28 |1304 |1524 |2954 |1524 |3016 | 111 | 0 |2761 | 1.003167e+03 | 1.050000e+03 | 4.67%
465.41/465.58 c 466s| 2900 | 2899 | 1974k| 675.7 | 27M| 28 |1355 |1524 |2954 |1524 |3016 | 111 | 0 |2781 | 1.003250e+03 | 1.050000e+03 | 4.66%
474.41/474.50 c 475s| 3000 | 2999 | 2014k| 666.6 | 27M| 28 |1228 |1524 |2954 |1524 |3016 | 111 | 0 |2859 | 1.003500e+03 | 1.050000e+03 | 4.63%
484.91/485.09 c 485s| 3100 | 3099 | 2062k| 660.6 | 27M| 28 |1299 |1524 |2954 |1524 |3016 | 111 | 0 |2930 | 1.003500e+03 | 1.050000e+03 | 4.63%
495.31/495.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.31/495.45 c 495s| 3200 | 3197 | 2108k| 654.2 | 27M| 28 |1335 |1524 |2954 |1524 |3016 | 111 | 0 |3006 | 1.003500e+03 | 1.050000e+03 | 4.63%
505.91/506.03 c 506s| 3300 | 3297 | 2158k| 649.4 | 27M| 28 |1309 |1524 |2954 |1524 |3016 | 111 | 0 |3073 | 1.003500e+03 | 1.050000e+03 | 4.63%
516.31/516.47 c 516s| 3400 | 3397 | 2203k| 643.6 | 28M| 28 |1253 |1524 |2954 |1524 |3016 | 111 | 0 |3173 | 1.003500e+03 | 1.050000e+03 | 4.63%
526.90/527.06 c 527s| 3500 | 3497 | 2252k| 639.3 | 28M| 28 |1365 |1524 |2954 |1524 |3016 | 111 | 0 |3241 | 1.003500e+03 | 1.050000e+03 | 4.63%
536.30/536.48 c 536s| 3600 | 3597 | 2292k| 632.7 | 28M| 28 |1225 |1524 |2954 |1524 |3016 | 111 | 0 |3328 | 1.003500e+03 | 1.050000e+03 | 4.63%
552.90/553.05 c 553s| 3700 | 3697 | 2367k| 635.7 | 28M| 28 |1340 |1524 |2954 |1524 |3016 | 111 | 0 |3440 | 1.003500e+03 | 1.050000e+03 | 4.63%
562.89/563.04 c 563s| 3800 | 3797 | 2411k| 630.6 | 28M| 28 |1422 |1524 |2954 |1524 |3016 | 111 | 0 |3516 | 1.003625e+03 | 1.050000e+03 | 4.62%
570.99/571.13 c 571s| 3900 | 3897 | 2445k| 623.3 | 29M| 28 |1267 |1524 |2954 |1524 |3016 | 111 | 0 |3633 | 1.003750e+03 | 1.050000e+03 | 4.61%
580.99/581.18 c 581s| 4000 | 3997 | 2489k| 618.7 | 29M| 28 |1296 |1524 |2954 |1524 |3016 | 111 | 0 |3747 | 1.004000e+03 | 1.050000e+03 | 4.58%
591.69/591.84 c 592s| 4100 | 4097 | 2538k| 615.4 | 29M| 28 |1335 |1524 |2954 |1524 |3016 | 111 | 0 |3878 | 1.004000e+03 | 1.050000e+03 | 4.58%
602.89/603.03 c 603s| 4200 | 4197 | 2587k| 612.4 | 29M| 28 |1316 |1524 |2954 |1524 |3016 | 111 | 0 |3998 | 1.004000e+03 | 1.050000e+03 | 4.58%
613.29/613.44 c 613s| 4300 | 4297 | 2632k| 608.7 | 29M| 28 |1434 |1524 |2954 |1524 |3016 | 111 | 0 |4097 | 1.004000e+03 | 1.050000e+03 | 4.58%
622.68/622.83 c 623s| 4400 | 4397 | 2684k| 606.7 | 29M| 28 |1367 |1524 |2954 |1524 |3016 | 111 | 0 |4132 | 1.004000e+03 | 1.050000e+03 | 4.58%
633.68/633.85 c 634s| 4500 | 4497 | 2750k| 607.9 | 30M| 28 |1334 |1524 |2954 |1524 |3016 | 111 | 0 |4132 | 1.004000e+03 | 1.050000e+03 | 4.58%
641.48/641.67 c 642s| 4600 | 4597 | 2797k| 604.9 | 30M| 28 |1364 |1524 |2954 |1524 |3016 | 111 | 0 |4132 | 1.004000e+03 | 1.050000e+03 | 4.58%
650.18/650.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.18/650.30 c 650s| 4700 | 4697 | 2847k| 602.7 | 30M| 28 |1322 |1524 |2954 |1524 |3016 | 111 | 0 |4132 | 1.004000e+03 | 1.050000e+03 | 4.58%
659.89/660.01 c 660s| 4800 | 4797 | 2908k| 602.7 | 30M| 28 |1351 |1524 |2954 |1524 |3016 | 111 | 0 |4132 | 1.004000e+03 | 1.050000e+03 | 4.58%
670.98/671.14 c 671s| 4900 | 4897 | 2974k| 604.0 | 30M| 28 |1357 |1524 |2954 |1524 |3016 | 111 | 0 |4132 | 1.004000e+03 | 1.050000e+03 | 4.58%
682.98/683.19 c 683s| 5000 | 4997 | 3030k| 603.0 | 30M| 28 |1329 |1524 |2954 |1524 |3016 | 111 | 0 |4206 | 1.004000e+03 | 1.050000e+03 | 4.58%
691.68/691.86 c 692s| 5100 | 5097 | 3071k| 599.2 | 31M| 28 |1406 |1524 |2954 |1524 |3016 | 111 | 0 |4253 | 1.004000e+03 | 1.050000e+03 | 4.58%
701.68/701.85 c 702s| 5200 | 5197 | 3117k| 596.6 | 31M| 28 |1297 |1524 |2954 |1524 |3016 | 111 | 0 |4319 | 1.004000e+03 | 1.050000e+03 | 4.58%
712.58/712.80 c 713s| 5300 | 5297 | 3166k| 594.6 | 31M| 28 |1349 |1524 |2954 |1524 |3016 | 111 | 0 |4372 | 1.004250e+03 | 1.050000e+03 | 4.56%
721.57/721.77 c 722s| 5400 | 5397 | 3205k| 590.8 | 31M| 28 |1250 |1524 |2954 |1524 |3016 | 111 | 0 |4424 | 1.004250e+03 | 1.050000e+03 | 4.56%
728.07/728.25 c 728s| 5500 | 5497 | 3233k| 585.1 | 31M| 28 |1350 |1524 |2954 |1524 |3016 | 111 | 0 |4463 | 1.004500e+03 | 1.050000e+03 | 4.53%
736.36/736.56 c 737s| 5600 | 5597 | 3271k| 581.5 | 31M| 28 |1315 |1524 |2954 |1524 |3016 | 111 | 0 |4525 | 1.004500e+03 | 1.050000e+03 | 4.53%
744.37/744.59 c 745s| 5700 | 5697 | 3306k| 577.4 | 32M| 28 |1332 |1524 |2954 |1524 |3016 | 111 | 0 |4597 | 1.004500e+03 | 1.050000e+03 | 4.53%
751.07/751.23 c 751s| 5800 | 5797 | 3336k| 572.7 | 32M| 28 |1282 |1524 |2954 |1524 |3016 | 111 | 0 |4644 | 1.004500e+03 | 1.050000e+03 | 4.53%
757.67/757.85 c 758s| 5900 | 5897 | 3365k| 567.9 | 32M| 28 |1290 |1524 |2954 |1524 |3016 | 111 | 0 |4710 | 1.004500e+03 | 1.050000e+03 | 4.53%
764.06/764.20 c 764s| 6000 | 5997 | 3393k| 563.1 | 32M| 28 |1377 |1524 |2954 |1524 |3016 | 111 | 0 |4779 | 1.004500e+03 | 1.050000e+03 | 4.53%
773.76/773.95 c 774s| 6100 | 6097 | 3437k| 561.0 | 32M| 28 |1284 |1524 |2954 |1524 |3016 | 111 | 0 |4833 | 1.004500e+03 | 1.050000e+03 | 4.53%
783.07/783.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.07/783.22 c 783s| 6200 | 6197 | 3483k| 559.5 | 32M| 28 |1418 |1524 |2954 |1524 |3016 | 111 | 0 |4886 | 1.004500e+03 | 1.050000e+03 | 4.53%
790.56/790.77 c 791s| 6300 | 6297 | 3517k| 555.9 | 33M| 28 |1327 |1524 |2954 |1524 |3016 | 111 | 0 |4959 | 1.004500e+03 | 1.050000e+03 | 4.53%
802.76/802.96 c 803s| 6400 | 6397 | 3572k| 555.9 | 33M| 28 |1245 |1524 |2954 |1524 |3016 | 111 | 0 |5032 | 1.004500e+03 | 1.050000e+03 | 4.53%
811.36/811.50 c 812s| 6500 | 6497 | 3612k| 553.4 | 33M| 28 |1353 |1524 |2954 |1524 |3016 | 111 | 0 |5104 | 1.004500e+03 | 1.050000e+03 | 4.53%
821.06/821.23 c 821s| 6600 | 6597 | 3656k| 551.7 | 33M| 28 |1363 |1524 |2954 |1524 |3016 | 111 | 0 |5208 | 1.004500e+03 | 1.050000e+03 | 4.53%
831.96/832.15 c 832s| 6700 | 6697 | 3708k| 551.2 | 33M| 28 |1318 |1524 |2954 |1524 |3016 | 111 | 0 |5277 | 1.004500e+03 | 1.050000e+03 | 4.53%
843.25/843.49 c 843s| 6800 | 6797 | 3761k| 551.0 | 34M| 28 |1398 |1524 |2954 |1524 |3016 | 111 | 0 |5381 | 1.004500e+03 | 1.050000e+03 | 4.53%
853.45/853.64 c 854s| 6900 | 6897 | 3809k| 549.8 | 34M| 28 |1302 |1524 |2954 |1524 |3016 | 111 | 0 |5449 | 1.004500e+03 | 1.050000e+03 | 4.53%
862.44/862.61 c 863s| 7000 | 6997 | 3846k| 547.3 | 34M| 28 |1287 |1524 |2954 |1524 |3016 | 111 | 0 |5540 | 1.004500e+03 | 1.050000e+03 | 4.53%
871.05/871.28 c 871s| 7100 | 7097 | 3896k| 546.7 | 34M| 28 |1346 |1524 |2954 |1524 |3016 | 111 | 0 |5561 | 1.004500e+03 | 1.050000e+03 | 4.53%
880.45/880.65 c 881s| 7200 | 7197 | 3949k| 546.4 | 34M| 28 |1243 |1524 |2954 |1524 |3016 | 111 | 0 |5561 | 1.004500e+03 | 1.050000e+03 | 4.53%
888.55/888.75 c 889s| 7300 | 7297 | 3999k| 545.8 | 34M| 28 |1373 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.004500e+03 | 1.050000e+03 | 4.53%
898.14/898.33 c 898s| 7400 | 7397 | 4057k| 546.3 | 35M| 28 |1383 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.004500e+03 | 1.050000e+03 | 4.53%
910.64/910.81 c 911s| 7500 | 7497 | 4131k| 548.9 | 35M| 28 |1300 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.004500e+03 | 1.050000e+03 | 4.53%
920.74/920.98 c 921s| 7600 | 7595 | 4193k| 549.8 | 35M| 28 |1295 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.004625e+03 | 1.050000e+03 | 4.52%
932.43/932.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.43/932.61 c 933s| 7700 | 7695 | 4264k| 551.8 | 35M| 28 |1219 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.004750e+03 | 1.050000e+03 | 4.50%
937.14/937.39 c 937s| 7800 | 7795 | 4293k| 548.4 | 35M| 28 |1293 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.004750e+03 | 1.050000e+03 | 4.50%
946.33/946.54 c 947s| 7900 | 7895 | 4348k| 548.5 | 35M| 28 |1275 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.005000e+03 | 1.050000e+03 | 4.48%
952.83/953.03 c 953s| 8000 | 7995 | 4390k| 546.9 | 36M| 29 |1344 |1524 |2954 |1524 |3016 | 111 | 0 |5562 | 1.005000e+03 | 1.050000e+03 | 4.48%
966.53/966.77 c 967s| 8100 | 8093 | 4456k| 548.3 | 36M| 29 |1413 |1524 |2954 |1524 |3016 | 111 | 0 |5603 | 1.005000e+03 | 1.050000e+03 | 4.48%
977.83/978.03 c 978s| 8200 | 8193 | 4517k| 549.1 | 36M| 29 |1330 |1524 |2954 |1524 |3016 | 111 | 0 |5647 | 1.005000e+03 | 1.050000e+03 | 4.48%
991.83/992.08 c 992s| 8300 | 8293 | 4588k| 551.0 | 36M| 29 |1260 |1524 |2954 |1524 |3016 | 111 | 0 |5690 | 1.005000e+03 | 1.050000e+03 | 4.48%
996.73/996.97 o 1045
996.73/996.97 c C 997s| 8348 | 8252 | 4610k| 550.4 | 36M| 30 | - |1524 |2954 |1524 |3016 | 111 | 0 |5716 | 1.005000e+03 | 1.045000e+03 | 3.98%
999.52/999.70 c 1000s| 8400 | 8294 | 4623k| 548.6 | 36M| 30 |1323 |1524 |2954 |1524 |3016 | 111 | 0 |5739 | 1.005000e+03 | 1.045000e+03 | 3.98%
1006.12/1006.33 c 1006s| 8500 | 8386 | 4654k| 545.8 | 36M| 30 |1191 |1524 |2954 |1524 |3016 | 111 | 0 |5768 | 1.005000e+03 | 1.045000e+03 | 3.98%
1014.62/1014.85 c 1015s| 8600 | 8462 | 4695k| 544.2 | 36M| 31 |1194 |1524 |2954 |1524 |3016 | 111 | 0 |5817 | 1.005000e+03 | 1.045000e+03 | 3.98%
1020.92/1021.13 c 1021s| 8700 | 8548 | 4725k| 541.4 | 37M| 31 |1185 |1524 |2954 |1524 |3016 | 111 | 0 |5877 | 1.005000e+03 | 1.045000e+03 | 3.98%
1027.41/1027.65 c 1028s| 8800 | 8624 | 4757k| 538.9 | 37M| 31 |1322 |1524 |2954 |1524 |3016 | 111 | 0 |5901 | 1.005000e+03 | 1.045000e+03 | 3.98%
1032.72/1032.92 c 1033s| 8900 | 8708 | 4781k| 535.6 | 37M| 31 |1194 |1524 |2954 |1524 |3016 | 111 | 0 |5934 | 1.005000e+03 | 1.045000e+03 | 3.98%
1037.42/1037.60 c 1038s| 9000 | 8792 | 4802k| 531.9 | 37M| 31 |1313 |1524 |2954 |1524 |3016 | 111 | 0 |5970 | 1.005000e+03 | 1.045000e+03 | 3.98%
1045.41/1045.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.41/1045.66 c 1046s| 9100 | 8866 | 4841k| 530.3 | 37M| 31 |1191 |1524 |2954 |1524 |3016 | 111 | 0 |6016 | 1.005000e+03 | 1.045000e+03 | 3.98%
1053.52/1053.75 c 1054s| 9200 | 8952 | 4879k| 528.8 | 37M| 31 |1206 |1524 |2954 |1524 |3016 | 111 | 0 |6116 | 1.005000e+03 | 1.045000e+03 | 3.98%
1060.52/1060.78 c 1061s| 9300 | 9034 | 4913k| 526.7 | 38M| 31 |1390 |1524 |2954 |1524 |3016 | 111 | 0 |6192 | 1.005000e+03 | 1.045000e+03 | 3.98%
1068.71/1068.95 c 1069s| 9400 | 9104 | 4952k| 525.2 | 38M| 31 |1138 |1524 |2954 |1524 |3016 | 111 | 0 |6241 | 1.005000e+03 | 1.045000e+03 | 3.98%
1074.71/1074.99 c 1075s| 9500 | 9174 | 4981k| 522.7 | 38M| 31 |1363 |1524 |2954 |1524 |3016 | 111 | 0 |6302 | 1.005000e+03 | 1.045000e+03 | 3.98%
1082.21/1082.40 c 1082s| 9600 | 9228 | 5015k| 520.9 | 38M| 31 |1358 |1524 |2954 |1524 |3016 | 111 | 0 |6338 | 1.005000e+03 | 1.045000e+03 | 3.98%
1088.11/1088.32 c 1088s| 9700 | 9312 | 5044k| 518.5 | 38M| 31 |1194 |1524 |2954 |1524 |3016 | 111 | 0 |6391 | 1.005000e+03 | 1.045000e+03 | 3.98%
1099.21/1099.42 c 1099s| 9800 | 9392 | 5097k| 518.6 | 38M| 31 |1137 |1524 |2954 |1524 |3016 | 111 | 0 |6465 | 1.005000e+03 | 1.045000e+03 | 3.98%
1104.71/1104.91 c 1105s| 9900 | 9456 | 5121k| 515.8 | 38M| 31 |1150 |1524 |2954 |1524 |3016 | 111 | 0 |6516 | 1.005000e+03 | 1.045000e+03 | 3.98%
1114.20/1114.40 c 1114s| 10000 | 9526 | 5166k| 515.1 | 39M| 31 |1160 |1524 |2954 |1524 |3016 | 111 | 0 |6575 | 1.005000e+03 | 1.045000e+03 | 3.98%
1119.70/1119.99 c 1120s| 10100 | 9590 | 5198k| 513.2 | 39M| 31 |1201 |1524 |2954 |1524 |3016 | 111 | 0 |6592 | 1.005000e+03 | 1.045000e+03 | 3.98%
1124.91/1125.11 c 1125s| 10200 | 9642 | 5222k| 510.5 | 39M| 31 |1366 |1524 |2954 |1524 |3016 | 111 | 0 |6642 | 1.005000e+03 | 1.045000e+03 | 3.98%
1130.30/1130.50 c 1131s| 10300 | 9718 | 5246k| 507.9 | 39M| 31 |1194 |1524 |2954 |1524 |3016 | 111 | 0 |6694 | 1.005000e+03 | 1.045000e+03 | 3.98%
1136.11/1136.38 c 1136s| 10400 | 9782 | 5272k| 505.5 | 39M| 31 |1165 |1524 |2954 |1524 |3016 | 111 | 0 |6752 | 1.005000e+03 | 1.045000e+03 | 3.98%
1142.30/1142.54 c 1143s| 10500 | 9860 | 5302k| 503.6 | 39M| 31 | - |1524 |2954 |1524 |3016 | 111 | 0 |6811 | 1.005000e+03 | 1.045000e+03 | 3.98%
1146.60/1146.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.60/1146.89 c 1147s| 10600 | 9926 | 5324k| 500.9 | 39M| 31 |1186 |1524 |2954 |1524 |3016 | 111 | 0 |6843 | 1.005000e+03 | 1.045000e+03 | 3.98%
1152.51/1152.72 c 1153s| 10700 | 10000 | 5349k| 498.5 | 39M| 31 |1342 |1524 |2954 |1524 |3016 | 111 | 0 |6897 | 1.005000e+03 | 1.045000e+03 | 3.98%
1158.01/1158.26 c 1158s| 10800 | 10074 | 5377k| 496.6 | 40M| 31 |1192 |1524 |2954 |1524 |3016 | 111 | 0 |6936 | 1.005000e+03 | 1.045000e+03 | 3.98%
1162.10/1162.35 c 1162s| 10900 | 10146 | 5396k| 493.7 | 40M| 31 |1200 |1524 |2954 |1524 |3016 | 111 | 0 |7010 | 1.005000e+03 | 1.045000e+03 | 3.98%
1165.59/1165.85 c 1166s| 11000 | 10230 | 5416k| 491.0 | 40M| 31 |1109 |1524 |2954 |1524 |3016 | 111 | 0 |7014 | 1.005000e+03 | 1.045000e+03 | 3.98%
1171.60/1171.86 c 1172s| 11100 | 10308 | 5452k| 489.9 | 40M| 31 |1233 |1524 |2954 |1524 |3016 | 111 | 0 |7019 | 1.005000e+03 | 1.045000e+03 | 3.98%
1176.10/1176.36 c 1176s| 11200 | 10400 | 5478k| 487.8 | 40M| 31 |1184 |1524 |2954 |1524 |3016 | 111 | 0 |7019 | 1.005000e+03 | 1.045000e+03 | 3.98%
1181.30/1181.52 c 1182s| 11300 | 10484 | 5510k| 486.3 | 40M| 31 |1191 |1524 |2954 |1524 |3016 | 111 | 0 |7019 | 1.005000e+03 | 1.045000e+03 | 3.98%
1186.70/1186.99 c 1187s| 11400 | 10564 | 5542k| 484.9 | 41M| 31 |1371 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1192.69/1192.91 c 1193s| 11500 | 10646 | 5578k| 483.8 | 41M| 31 |1293 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1197.70/1197.95 c 1198s| 11600 | 10742 | 5609k| 482.3 | 41M| 31 |1174 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1203.49/1203.76 c 1204s| 11700 | 10818 | 5644k| 481.2 | 41M| 31 |1207 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1208.49/1208.78 c 1209s| 11800 | 10898 | 5675k| 479.7 | 41M| 31 |1251 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1213.79/1214.03 c 1214s| 11900 | 10978 | 5706k| 478.3 | 41M| 31 |1282 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1219.49/1219.76 c 1220s| 12000 | 11064 | 5743k| 477.3 | 41M| 31 |1364 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005000e+03 | 1.045000e+03 | 3.98%
1224.28/1224.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.28/1224.52 c 1225s| 12100 | 11142 | 5771k| 475.7 | 42M| 31 |1254 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005125e+03 | 1.045000e+03 | 3.97%
1228.19/1228.40 c 1228s| 12200 | 11228 | 5794k| 473.7 | 42M| 31 |1354 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005125e+03 | 1.045000e+03 | 3.97%
1233.99/1234.26 c 1234s| 12300 | 11324 | 5828k| 472.6 | 42M| 31 |1191 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005250e+03 | 1.045000e+03 | 3.95%
1238.68/1238.94 c 1239s| 12400 | 11412 | 5856k| 471.1 | 42M| 31 |1218 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005250e+03 | 1.045000e+03 | 3.95%
1243.79/1244.08 c 1244s| 12500 | 11506 | 5887k| 469.8 | 42M| 31 |1328 |1524 |2954 |1524 |3016 | 111 | 0 |7020 | 1.005250e+03 | 1.045000e+03 | 3.95%
1250.49/1250.71 c 1251s| 12600 | 11596 | 5923k| 468.9 | 42M| 31 |1372 |1524 |2954 |1524 |3016 | 111 | 0 |7031 | 1.005250e+03 | 1.045000e+03 | 3.95%
1257.28/1257.53 c 1258s| 12700 | 11682 | 5956k| 467.8 | 43M| 31 |1340 |1524 |2954 |1524 |3016 | 111 | 0 |7065 | 1.005250e+03 | 1.045000e+03 | 3.95%
1262.59/1262.84 c 1263s| 12800 | 11766 | 5981k| 466.1 | 43M| 31 |1259 |1524 |2954 |1524 |3016 | 111 | 0 |7096 | 1.005333e+03 | 1.045000e+03 | 3.95%
1267.89/1268.14 c 1268s| 12900 | 11862 | 6006k| 464.4 | 43M| 31 |1261 |1524 |2954 |1524 |3016 | 111 | 0 |7123 | 1.005333e+03 | 1.045000e+03 | 3.95%
1274.48/1274.75 c 1275s| 13000 | 11948 | 6036k| 463.2 | 43M| 31 |1269 |1524 |2954 |1524 |3016 | 111 | 0 |7153 | 1.005364e+03 | 1.045000e+03 | 3.94%
1281.68/1281.95 c 1282s| 13100 | 12034 | 6073k| 462.5 | 43M| 31 |1214 |1524 |2954 |1524 |3016 | 111 | 0 |7199 | 1.005500e+03 | 1.045000e+03 | 3.93%
1288.28/1288.50 c 1289s| 13200 | 12124 | 6105k| 461.4 | 43M| 31 |1268 |1524 |2954 |1524 |3016 | 111 | 0 |7257 | 1.005500e+03 | 1.045000e+03 | 3.93%
1293.38/1293.68 c 1294s| 13300 | 12214 | 6128k| 459.7 | 44M| 31 |1276 |1524 |2954 |1524 |3016 | 111 | 0 |7300 | 1.005500e+03 | 1.045000e+03 | 3.93%
1299.89/1300.12 c 1300s| 13400 | 12288 | 6160k| 458.6 | 44M| 31 |1183 |1524 |2954 |1524 |3016 | 111 | 0 |7340 | 1.005500e+03 | 1.045000e+03 | 3.93%
1303.98/1304.29 c 1304s| 13500 | 12376 | 6181k| 456.7 | 44M| 31 |1339 |1524 |2954 |1524 |3016 | 111 | 0 |7361 | 1.005500e+03 | 1.045000e+03 | 3.93%
1312.57/1312.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.57/1312.89 c 1313s| 13600 | 12472 | 6221k| 456.3 | 44M| 31 |1288 |1524 |2954 |1524 |3016 | 111 | 0 |7411 | 1.005500e+03 | 1.045000e+03 | 3.93%
1318.58/1318.85 c 1319s| 13700 | 12560 | 6251k| 455.2 | 44M| 31 |1301 |1524 |2954 |1524 |3016 | 111 | 0 |7445 | 1.005500e+03 | 1.045000e+03 | 3.93%
1325.97/1326.28 c 1326s| 13800 | 12652 | 6287k| 454.5 | 44M| 31 |1318 |1524 |2954 |1524 |3016 | 111 | 0 |7486 | 1.005500e+03 | 1.045000e+03 | 3.93%
1330.58/1330.87 c 1331s| 13900 | 12748 | 6309k| 452.8 | 45M| 31 |1293 |1524 |2954 |1524 |3016 | 111 | 0 |7533 | 1.005500e+03 | 1.045000e+03 | 3.93%
1336.07/1336.33 c 1336s| 14000 | 12842 | 6333k| 451.3 | 45M| 31 |1359 |1524 |2954 |1524 |3016 | 111 | 0 |7584 | 1.005500e+03 | 1.045000e+03 | 3.93%
1343.67/1343.98 c 1344s| 14100 | 12932 | 6374k| 451.0 | 45M| 31 |1220 |1524 |2954 |1524 |3016 | 111 | 0 |7627 | 1.005500e+03 | 1.045000e+03 | 3.93%
1352.07/1352.37 c 1352s| 14200 | 13012 | 6415k| 450.7 | 45M| 31 |1261 |1524 |2954 |1524 |3016 | 111 | 0 |7690 | 1.005500e+03 | 1.045000e+03 | 3.93%
1356.57/1356.83 c 1357s| 14300 | 13094 | 6435k| 449.0 | 45M| 31 |1141 |1524 |2954 |1524 |3016 | 111 | 0 |7745 | 1.005500e+03 | 1.045000e+03 | 3.93%
1363.37/1363.61 c 1364s| 14400 | 13176 | 6467k| 448.1 | 45M| 31 |1275 |1524 |2954 |1524 |3016 | 111 | 0 |7776 | 1.005500e+03 | 1.045000e+03 | 3.93%
1370.17/1370.46 c 1370s| 14500 | 13268 | 6502k| 447.4 | 45M| 31 |1260 |1524 |2954 |1524 |3016 | 111 | 0 |7822 | 1.005500e+03 | 1.045000e+03 | 3.93%
1377.56/1377.83 c 1378s| 14600 | 13358 | 6535k| 446.6 | 46M| 31 |1302 |1524 |2954 |1524 |3016 | 111 | 0 |7850 | 1.005500e+03 | 1.045000e+03 | 3.93%
1381.97/1382.25 c 1382s| 14700 | 13444 | 6556k| 445.0 | 46M| 31 |1336 |1524 |2954 |1524 |3016 | 111 | 0 |7931 | 1.005500e+03 | 1.045000e+03 | 3.93%
1389.16/1389.49 c 1389s| 14800 | 13532 | 6590k| 444.3 | 46M| 31 |1187 |1524 |2954 |1524 |3016 | 111 | 0 |7981 | 1.005500e+03 | 1.045000e+03 | 3.93%
1395.27/1395.54 c 1396s| 14900 | 13628 | 6620k| 443.3 | 46M| 31 |1262 |1524 |2954 |1524 |3016 | 111 | 0 |8036 | 1.005500e+03 | 1.045000e+03 | 3.93%
1402.46/1402.76 c 1403s| 15000 | 13722 | 6656k| 442.7 | 46M| 31 |1255 |1524 |2954 |1524 |3016 | 111 | 0 |8115 | 1.005500e+03 | 1.045000e+03 | 3.93%
1410.66/1410.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.66/1410.95 c 1411s| 15100 | 13812 | 6694k| 442.3 | 46M| 31 |1275 |1524 |2954 |1524 |3016 | 111 | 0 |8176 | 1.005500e+03 | 1.045000e+03 | 3.93%
1416.47/1416.76 c 1417s| 15200 | 13906 | 6720k| 441.1 | 47M| 31 |1398 |1524 |2954 |1524 |3016 | 111 | 0 |8215 | 1.005500e+03 | 1.045000e+03 | 3.93%
1423.26/1423.59 c 1424s| 15300 | 14006 | 6755k| 440.5 | 47M| 31 |1294 |1524 |2954 |1524 |3016 | 111 | 0 |8270 | 1.005500e+03 | 1.045000e+03 | 3.93%
1428.76/1429.01 c 1429s| 15400 | 14094 | 6780k| 439.3 | 47M| 31 |1259 |1524 |2954 |1524 |3016 | 111 | 0 |8312 | 1.005500e+03 | 1.045000e+03 | 3.93%
1436.86/1437.16 c 1437s| 15500 | 14178 | 6821k| 439.1 | 47M| 31 |1352 |1524 |2954 |1524 |3016 | 111 | 0 |8364 | 1.005500e+03 | 1.045000e+03 | 3.93%
1444.86/1445.16 c 1445s| 15600 | 14274 | 6861k| 438.9 | 47M| 31 |1241 |1524 |2954 |1524 |3016 | 111 | 0 |8416 | 1.005500e+03 | 1.045000e+03 | 3.93%
1451.35/1451.67 c 1452s| 15700 | 14370 | 6899k| 438.5 | 47M| 31 |1136 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1457.75/1458.06 c 1458s| 15800 | 14448 | 6936k| 438.1 | 48M| 31 |1322 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1463.55/1463.86 c 1464s| 15900 | 14538 | 6972k| 437.6 | 48M| 31 |1234 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1469.95/1470.27 c 1470s| 16000 | 14628 | 7010k| 437.2 | 48M| 31 |1243 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1475.15/1475.47 c 1475s| 16100 | 14726 | 7043k| 436.5 | 48M| 31 |1310 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1480.65/1480.94 c 1481s| 16200 | 14812 | 7075k| 435.8 | 48M| 31 |1278 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1486.44/1486.74 c 1487s| 16300 | 14896 | 7110k| 435.3 | 48M| 31 |1335 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1492.14/1492.49 c 1492s| 16400 | 14994 | 7145k| 434.8 | 49M| 31 |1276 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1499.44/1499.70 c 1500s| 16500 | 15084 | 7188k| 434.7 | 49M| 31 |1157 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1504.75/1505.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.75/1505.00 c 1505s| 16600 | 15176 | 7220k| 434.1 | 49M| 31 |1279 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1510.35/1510.67 c 1511s| 16700 | 15272 | 7255k| 433.6 | 49M| 31 |1359 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1516.74/1517.06 c 1517s| 16800 | 15366 | 7294k| 433.3 | 49M| 31 |1231 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1524.14/1524.49 c 1524s| 16900 | 15460 | 7338k| 433.3 | 50M| 31 |1244 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1529.44/1529.73 c 1530s| 17000 | 15558 | 7370k| 432.6 | 50M| 31 |1333 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1535.64/1535.99 c 1536s| 17100 | 15642 | 7406k| 432.3 | 50M| 31 |1373 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1544.15/1544.45 c 1544s| 17200 | 15730 | 7457k| 432.7 | 50M| 31 |1357 |1524 |2954 |1524 |3016 | 111 | 0 |8463 | 1.005500e+03 | 1.045000e+03 | 3.93%
1551.64/1551.94 c 1552s| 17300 | 15822 | 7500k| 432.7 | 50M| 31 |1338 |1524 |2954 |1524 |3016 | 111 | 0 |8488 | 1.005500e+03 | 1.045000e+03 | 3.93%
1559.24/1559.50 c 1560s| 17400 | 15912 | 7537k| 432.3 | 50M| 31 |1359 |1524 |2954 |1524 |3016 | 111 | 0 |8528 | 1.005500e+03 | 1.045000e+03 | 3.93%
1567.24/1567.55 c 1568s| 17500 | 15992 | 7578k| 432.2 | 51M| 31 | - |1524 |2954 |1524 |3016 | 111 | 0 |8571 | 1.005667e+03 | 1.045000e+03 | 3.91%
1576.04/1576.31 c 1576s| 17600 | 16084 | 7622k| 432.2 | 51M| 31 |1275 |1524 |2954 |1524 |3016 | 111 | 0 |8605 | 1.005750e+03 | 1.045000e+03 | 3.90%
1584.54/1584.85 c 1585s| 17700 | 16174 | 7664k| 432.2 | 51M| 31 |1269 |1524 |2954 |1524 |3016 | 111 | 0 |8651 | 1.005750e+03 | 1.045000e+03 | 3.90%
1591.83/1592.15 c 1592s| 17800 | 16262 | 7700k| 431.8 | 51M| 32 | - |1524 |2954 |1524 |3016 | 111 | 0 |8705 | 1.005750e+03 | 1.045000e+03 | 3.90%
1601.33/1601.67 c 1602s| 17900 | 16350 | 7750k| 432.2 | 51M| 32 |1361 |1524 |2954 |1524 |3016 | 111 | 0 |8737 | 1.005750e+03 | 1.045000e+03 | 3.90%
1609.23/1609.59 c 1610s| 18000 | 16442 | 7791k| 432.0 | 51M| 32 |1336 |1524 |2954 |1524 |3016 | 111 | 0 |8790 | 1.005750e+03 | 1.045000e+03 | 3.90%
1618.53/1618.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.53/1618.81 c 1619s| 18100 | 16532 | 7837k| 432.2 | 52M| 32 |1309 |1524 |2954 |1524 |3016 | 111 | 0 |8839 | 1.005864e+03 | 1.045000e+03 | 3.89%
1625.63/1625.91 c 1626s| 18200 | 16614 | 7871k| 431.6 | 52M| 32 |1322 |1524 |2954 |1524 |3016 | 111 | 0 |8879 | 1.006000e+03 | 1.045000e+03 | 3.88%
1634.63/1634.98 c 1635s| 18300 | 16704 | 7918k| 431.9 | 52M| 32 |1262 |1524 |2954 |1524 |3016 | 111 | 0 |8935 | 1.006000e+03 | 1.045000e+03 | 3.88%
1642.92/1643.24 c 1643s| 18400 | 16796 | 7959k| 431.8 | 52M| 32 |1273 |1524 |2954 |1524 |3016 | 111 | 0 |8982 | 1.006000e+03 | 1.045000e+03 | 3.88%
1650.22/1650.54 c 1651s| 18500 | 16878 | 7997k| 431.5 | 52M| 32 |1373 |1524 |2954 |1524 |3016 | 111 | 0 |9037 | 1.006000e+03 | 1.045000e+03 | 3.88%
1659.52/1659.83 c 1660s| 18600 | 16978 | 8044k| 431.7 | 52M| 32 |1182 |1524 |2954 |1524 |3016 | 111 | 0 |9122 | 1.006000e+03 | 1.045000e+03 | 3.88%
1670.32/1670.68 c 1671s| 18700 | 17074 | 8096k| 432.1 | 53M| 32 |1283 |1524 |2954 |1524 |3016 | 111 | 0 |9219 | 1.006000e+03 | 1.045000e+03 | 3.88%
1678.71/1679.04 c 1679s| 18800 | 17160 | 8139k| 432.2 | 53M| 32 |1347 |1524 |2954 |1524 |3016 | 111 | 0 |9267 | 1.006000e+03 | 1.045000e+03 | 3.88%
1687.02/1687.33 c 1687s| 18900 | 17240 | 8182k| 432.2 | 53M| 32 | - |1524 |2954 |1524 |3016 | 111 | 0 |9333 | 1.006000e+03 | 1.045000e+03 | 3.88%
1693.41/1693.71 c 1694s| 19000 | 17330 | 8216k| 431.6 | 53M| 32 |1163 |1524 |2954 |1524 |3016 | 111 | 0 |9401 | 1.006000e+03 | 1.045000e+03 | 3.88%
1700.51/1700.87 c 1701s| 19100 | 17406 | 8249k| 431.1 | 53M| 32 |1280 |1524 |2954 |1524 |3016 | 111 | 0 |9471 | 1.006000e+03 | 1.045000e+03 | 3.88%
1707.12/1707.47 c 1707s| 19200 | 17464 | 8284k| 430.7 | 53M| 32 |1122 |1524 |2954 |1524 |3016 | 111 | 0 |9518 | 1.006000e+03 | 1.045000e+03 | 3.88%
1714.52/1714.86 c 1715s| 19300 | 17536 | 8319k| 430.3 | 53M| 32 |1323 |1524 |2954 |1524 |3016 | 111 | 0 |9579 | 1.006000e+03 | 1.045000e+03 | 3.88%
1721.71/1722.08 c 1722s| 19400 | 17604 | 8357k| 430.0 | 54M| 32 |1348 |1524 |2954 |1524 |3016 | 111 | 0 |9630 | 1.006000e+03 | 1.045000e+03 | 3.88%
1729.61/1729.91 c 1730s| 19500 | 17674 | 8392k| 429.6 | 54M| 32 |1225 |1524 |2954 |1524 |3016 | 111 | 0 |9687 | 1.006000e+03 | 1.045000e+03 | 3.88%
1735.71/1736.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.71/1736.04 c 1736s| 19600 | 17756 | 8425k| 429.1 | 54M| 32 |1305 |1524 |2954 |1524 |3016 | 111 | 0 |9729 | 1.006000e+03 | 1.045000e+03 | 3.88%
1743.01/1743.34 c 1743s| 19700 | 17828 | 8460k| 428.7 | 54M| 32 |1319 |1524 |2954 |1524 |3016 | 111 | 0 |9830 | 1.006000e+03 | 1.045000e+03 | 3.88%
1749.01/1749.38 c 1749s| 19800 | 17904 | 8490k| 428.0 | 54M| 33 |1234 |1524 |2954 |1524 |3016 | 111 | 0 |9892 | 1.006000e+03 | 1.045000e+03 | 3.88%
1757.20/1757.56 c 1758s| 19900 | 17982 | 8537k| 428.3 | 54M| 33 |1352 |1524 |2954 |1524 |3016 | 111 | 0 |9929 | 1.006000e+03 | 1.045000e+03 | 3.88%
1762.01/1762.38 c 1762s| 20000 | 18050 | 8567k| 427.6 | 54M| 33 | - |1524 |2954 |1524 |3016 | 111 | 0 |9930 | 1.006000e+03 | 1.045000e+03 | 3.88%
1766.50/1766.85 c 1767s| 20100 | 18106 | 8593k| 426.8 | 55M| 33 |1305 |1524 |2954 |1524 |3016 | 111 | 0 |9930 | 1.006000e+03 | 1.045000e+03 | 3.88%
1772.01/1772.37 c 1772s| 20200 | 18170 | 8626k| 426.3 | 55M| 33 |1170 |1524 |2954 |1524 |3016 | 111 | 0 |9931 | 1.006000e+03 | 1.045000e+03 | 3.88%
1778.41/1778.73 c 1779s| 20300 | 18242 | 8665k| 426.1 | 55M| 33 |1255 |1524 |2954 |1524 |3016 | 111 | 0 |9931 | 1.006000e+03 | 1.045000e+03 | 3.88%
1784.00/1784.35 c 1784s| 20400 | 18316 | 8699k| 425.7 | 55M| 33 |1299 |1524 |2954 |1524 |3016 | 111 | 0 |9931 | 1.006000e+03 | 1.045000e+03 | 3.88%
1788.80/1789.12 c 1789s| 20500 | 18384 | 8727k| 425.0 | 55M| 33 |1380 |1524 |2954 |1524 |3016 | 111 | 0 |9931 | 1.006000e+03 | 1.045000e+03 | 3.88%
1793.30/1793.65 c 1794s| 20600 | 18440 | 8756k| 424.3 | 55M| 35 |1344 |1524 |2954 |1524 |3016 | 111 | 0 |9931 | 1.006000e+03 | 1.045000e+03 | 3.88%
1796.70/1797.06 c
1796.70/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.06 c Solving Time (sec) : 1797.06
1796.70/1797.06 c Solving Nodes : 20640
1796.70/1797.06 c Primal Bound : +1.04500000000000e+03 (841 solutions)
1796.70/1797.06 c Dual Bound : +1.00600000000000e+03
1796.70/1797.06 c Gap : 3.88 %
1796.70/1797.06 s SATISFIABLE
1796.70/1797.06 v x1963 x1962 x1961 -x1960 -x1959 x1958 -x1957 x1956 -x1955 x1954 x1953 x1952 x1951 x1950 x1949 x1948 x1947 x1946 x1945 x1944 -x1943
1796.70/1797.06 v x1942 x1941 x1940 x1939 -x1938 -x1937 x1936 -x1935 -x1934 x1933 -x1932 x1931 x1930 x1929 x1928 -x1927 x1926 x1925 x1924 -x1923
1796.70/1797.06 v -x1922 -x1921 x1920 -x1919 x1918 -x1917 x1916 -x1915 x1914 x1913 -x1912 x1911 -x1910 x1909 x1908 -x1907 -x1906 -x1905 -x1904
1796.70/1797.06 v x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 x1891 -x1890 -x1889 x1888 x1887 -x1886
1796.70/1797.06 v x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 x1877 x1876 x1875 x1874 x1873 x1872 x1871 x1870 -x1869 x1868 -x1867 x1866
1796.70/1797.06 v x1865 -x1864 -x1863 -x1862 x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 x1853 -x1852 x1851 -x1850 -x1849 -x1848 -x1847
1796.70/1797.06 v -x1846 -x1845 x1844 x1843 -x1842 -x1841 x1840 -x1839 -x1838 x1837 -x1836 x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829 x1828
1796.70/1797.06 v x1827 x1826 x1825 -x1824 x1823 -x1822 x1821 x1820 x1819 -x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 x1811 -x1810 x1809
1796.70/1797.06 v x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 -x1801 x1800 x1799 x1798 -x1797 x1796 -x1795 x1794 -x1793 x1792 x1791 -x1790 -x1789
1796.70/1797.06 v x1788 x1787 -x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 -x1778 x1777 x1776 -x1775 -x1774 x1773 x1772 x1771 x1770 x1769
1796.70/1797.06 v -x1768 x1767 x1766 x1765 -x1764 -x1763 x1762 -x1761 x1760 -x1759 x1758 x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750
1796.70/1797.06 v -x1749 -x1748 x1747 x1746 x1745 -x1744 -x1743 x1742 x1741 x1740 -x1739 x1738 x1737 x1736 x1735 -x1734 -x1733 -x1732 -x1731
1796.70/1797.06 v -x1730 -x1729 x1728 x1727 x1726 -x1725 -x1724 x1723 x1722 x1721 x1720 -x1719 -x1718 x1717 -x1716 x1715 -x1714 x1713 -x1712
1796.70/1797.06 v x1711 -x1710 x1709 -x1708 x1707 -x1706 x1705 -x1704 x1703 x1702 -x1701 x1700 x1699 x1698 -x1697 x1696 x1695 -x1694 -x1693 -x1692
1796.70/1797.06 v -x1691 x1690 -x1689 -x1688 x1687 -x1686 -x1685 -x1684 -x1683 x1682 x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 x1674
1796.70/1797.06 v x1673 -x1672 x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665 x1664 -x1663 -x1662 x1661 -x1660 x1659 x1658 -x1657 -x1656 -x1655
1796.70/1797.06 v -x1654 x1653 -x1652 -x1651 -x1650 x1649 -x1648 -x1647 -x1646 x1645 -x1644 x1643 -x1642 -x1641 x1640 x1639 x1638 x1637 -x1636
1796.70/1797.06 v -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626 x1625 -x1624 -x1623 -x1622 x1621 -x1620 -x1619 -x1618 x1617
1796.70/1797.06 v x1616 x1615 x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 x1605 -x1604 -x1603 x1602 x1601 x1600 x1599 -x1598 -x1597
1796.70/1797.06 v -x1596 x1595 x1594 -x1593 x1592 x1591 -x1590 -x1589 x1588 x1587 x1586 -x1585 x1584 -x1583 x1582 x1581 -x1580 x1579 x1578
1796.70/1797.06 v -x1577 x1576 x1575 -x1574 x1573 x1572 x1571 -x1570 x1569 x1568 -x1567 x1566 x1565 -x1564 x1563 x1562 x1561 -x1560 x1559 x1558
1796.70/1797.06 v -x1557 -x1556 x1555 -x1554 x1553 x1552 x1551 x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 x1543 x1542 -x1541 x1540 x1539 -x1538
1796.70/1797.06 v -x1537 x1536 x1535 -x1534 -x1533 -x1532 x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520
1796.70/1797.06 v -x1519 x1518 -x1517 x1516 x1515 x1514 -x1513 x1512 -x1511 x1510 -x1509 x1508 x1507 x1506 x1505 x1504 -x1503 -x1502 -x1501 -x1500
1796.70/1797.06 v -x1499 -x1498 x1497 -x1496 x1495 x1494 x1493 -x1492 x1491 x1490 -x1489 x1488 -x1487 -x1486 x1485 -x1484 x1483 -x1482 x1481
1796.70/1797.06 v -x1480 -x1479 -x1478 x1477 x1476 -x1475 x1474 x1473 x1472 x1471 x1470 -x1469 x1468 x1467 x1466 x1465 -x1464 x1463 x1462 -x1461
1796.70/1797.06 v -x1460 -x1459 -x1458 -x1457 -x1456 x1455 x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 x1447 -x1446 -x1445 -x1444 -x1443 x1442
1796.70/1797.06 v -x1441 x1440 -x1439 -x1438 -x1437 x1436 x1435 x1434 x1433 x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 -x1424 x1423
1796.70/1797.06 v x1422 x1421 -x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 x1403
1796.70/1797.06 v x1402 x1401 -x1400 -x1399 x1398 x1397 -x1396 -x1395 x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 x1386 x1385 -x1384
1796.70/1797.06 v -x1383 x1382 x1381 -x1380 -x1379 x1378 -x1377 x1376 x1375 x1374 x1373 x1372 -x1371 x1370 -x1369 -x1368 x1367 x1366 -x1365
1796.70/1797.06 v -x1364 x1363 x1362 x1361 -x1360 -x1359 x1358 x1357 x1356 -x1355 -x1354 -x1353 x1352 -x1351 x1350 x1349 x1348 x1347 -x1346 x1345
1796.70/1797.06 v -x1344 -x1343 -x1342 -x1341 x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 -x1333 x1332 x1331 -x1330 x1329 -x1328 -x1327 x1326
1796.70/1797.06 v x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 -x1318 x1317 x1316 x1315 -x1314 -x1313 -x1312 -x1311 x1310 x1309 -x1308 x1307
1796.70/1797.06 v -x1306 x1305 -x1304 x1303 -x1302 x1301 -x1300 x1299 x1298 x1297 x1296 x1295 x1294 x1293 -x1292 -x1291 x1290 x1289 -x1288
1796.70/1797.06 v x1287 x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 -x1276 -x1275 x1274 x1273 -x1272 -x1271 x1270 x1269 -x1268
1796.70/1797.06 v -x1267 x1266 -x1265 x1264 x1263 x1262 x1261 -x1260 x1259 x1258 x1257 x1256 x1255 -x1254 -x1253 x1252 x1251 x1250 x1249 -x1248
1796.70/1797.06 v -x1247 -x1246 x1245 -x1244 x1243 -x1242 x1241 -x1240 -x1239 x1238 x1237 -x1236 x1235 -x1234 -x1233 x1232 -x1231 x1230 -x1229
1796.70/1797.06 v x1228 x1227 x1226 x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 x1218 -x1217 -x1216 x1215 x1214 x1213 x1212 -x1211 -x1210
1796.70/1797.06 v x1209 x1208 -x1207 x1206 x1205 x1204 -x1203 x1202 -x1201 x1200 -x1199 x1198 x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191
1796.70/1797.06 v -x1190 x1189 x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 x1181 -x1180 x1179 x1178 x1177 x1176 -x1175 x1174 -x1173 x1172 -x1171
1796.70/1797.06 v -x1170 -x1169 x1168 x1167 x1166 x1165 x1164 -x1163 -x1162 x1161 x1160 -x1159 -x1158 x1157 x1156 -x1155 -x1154 x1153 -x1152
1796.70/1797.06 v -x1151 -x1150 -x1149 -x1148 x1147 -x1146 x1145 x1144 -x1143 x1142 -x1141 x1140 x1139 -x1138 -x1137 x1136 -x1135 x1134 x1133
1796.70/1797.06 v x1132 -x1131 -x1130 x1129 -x1128 x1127 x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 x1116 -x1115 -x1114 -x1113
1796.70/1797.06 v -x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 x1104 x1103 x1102 x1101 -x1100 x1099 x1098 x1097 x1096 x1095 x1094
1796.70/1797.06 v x1093 x1092 -x1091 x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 -x1078 x1077 x1076 x1075 x1074
1796.70/1797.06 v -x1073 x1072 x1071 x1070 x1069 -x1068 -x1067 x1066 x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055
1796.70/1797.06 v -x1054 x1053 x1052 -x1051 x1050 -x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 x1042 -x1041 -x1040 x1039 x1038 -x1037 -x1036
1796.70/1797.06 v x1035 -x1034 x1033 x1032 x1031 -x1030 x1029 x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 x1020 x1019 -x1018 x1017 x1016
1796.70/1797.06 v x1015 -x1014 x1013 -x1012 x1011 x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 x1002 x1001 -x1000 x999 -x998 -x997
1796.70/1797.06 v -x996 x995 -x994 x993 -x992 x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 x981 x980 -x979 -x978 x977 -x976 x975 x974
1796.70/1797.06 v x973 -x972 x971 -x970 x969 -x968 x967 -x966 -x965 -x964 x963 x962 x961 x960 -x959 -x958 x957 x956 x955 x954 x953 x952 -x951
1796.70/1797.06 v -x950 x949 -x948 x947 -x946 x945 x944 x943 x942 x941 x940 -x939 -x938 -x937 x936 x935 x934 x933 -x932 -x931 -x930 x929 x928
1796.70/1797.06 v x927 -x926 -x925 -x924 -x923 -x922 x921 x920 x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 x907 -x906
1796.70/1797.06 v -x905 x904 x903 x902 -x901 x900 -x899 -x898 x897 -x896 -x895 -x894 x893 x892 x891 x890 x889 -x888 -x887 x886 -x885 x884 -x883
1796.70/1797.06 v -x882 x881 -x880 -x879 x878 -x877 x876 -x875 x874 -x873 -x872 x871 -x870 x869 x868 x867 -x866 -x865 x864 x863 x862 x861 -x860
1796.70/1797.06 v x859 x858 x857 x856 x855 x854 -x853 -x852 x851 -x850 -x849 x848 -x847 x846 x845 -x844 -x843 x842 -x841 x840 -x839 x838 -x837
1796.70/1797.06 v x836 x835 -x834 x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 x822 x821 x820 -x819 -x818 x817 x816 x815
1796.70/1797.06 v x814 x813 -x812 -x811 -x810 x809 x808 -x807 -x806 -x805 -x804 -x803 x802 x801 x800 -x799 x798 x797 x796 x795 x794 -x793 x792
1796.70/1797.06 v x791 x790 -x789 x788 -x787 x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 x775 -x774 x773 x772 -x771 -x770 -x769
1796.70/1797.06 v -x768 x767 x766 x765 x764 x763 -x762 x761 x760 x759 -x758 -x757 -x756 x755 x754 -x753 x752 x751 -x750 x749 x748 x747 x746
1796.70/1797.06 v x745 x744 -x743 x742 -x741 -x740 x739 -x738 x737 x736 x735 x734 x733 x732 -x731 -x730 x729 x728 x727 x726 -x725 x724 x723 x722
1796.70/1797.06 v x721 -x720 x719 x718 -x717 x716 -x715 -x714 x713 -x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704 x703 x702 -x701 x700
1796.70/1797.06 v -x699 -x698 x697 -x696 x695 x694 x693 -x692 x691 -x690 x689 -x688 -x687 -x686 x685 -x684 x683 -x682 -x681 x680 x679 -x678 -x677
1796.70/1797.06 v -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 x663 x662 -x661 -x660 -x659 -x658 x657 -x656 x655
1796.70/1797.06 v -x654 x653 x652 -x651 x650 x649 -x648 -x647 -x646 x645 x644 -x643 x642 x641 -x640 -x639 x638 x637 -x636 -x635 x634 -x633
1796.70/1797.06 v x632 x631 x630 -x629 x628 x627 -x626 x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 x617 x616 x615 -x614 x613 -x612 x611 x610
1796.70/1797.06 v -x609 -x608 x607 -x606 -x605 -x604 x603 x602 -x601 -x600 -x599 -x598 -x597 x596 x595 x594 x593 x592 -x591 -x590 -x589 -x588 x587
1796.70/1797.06 v -x586 -x585 x584 -x583 x582 x581 x580 x579 x578 -x577 x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565
1796.70/1797.06 v -x564 -x563 x562 x561 -x560 x559 -x558 x557 -x556 -x555 x554 x553 x552 -x551 -x550 -x549 -x548 x547 x546 -x545 x544 -x543 -x542
1796.70/1797.06 v -x541 x540 x539 x538 -x537 x536 -x535 x534 -x533 x532 x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 x522 x521 x520 x519
1796.70/1797.06 v -x518 -x517 -x516 x515 x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 x505 x504 x503 -x502 x501 -x500 -x499 -x498 x497
1796.70/1797.06 v x496 -x495 x494 x493 -x492 x491 x490 -x489 x488 x487 x486 x485 x484 -x483 x482 x481 x480 x479 x478 -x477 x476 -x475 x474 -x473
1796.70/1797.06 v x472 x471 -x470 -x469 -x468 x467 x466 -x465 x464 x463 x462 x461 x460 x459 x458 -x457 x456 -x455 -x454 -x453 x452 x451 -x450
1796.70/1797.06 v x449 x448 -x447 x446 x445 x444 x443 -x442 -x441 x440 x439 -x438 -x437 -x436 x435 -x434 x433 -x432 x431 x430 x429 x428 -x427
1796.70/1797.06 v x426 -x425 -x424 x423 x422 -x421 -x420 -x419 x418 -x417 x416 x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405
1796.70/1797.06 v x404 x403 -x402 -x401 -x400 x399 x398 -x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389 x388 -x387 x386 x385 x384 -x383 -x382
1796.70/1797.06 v x381 x380 x379 -x378 -x377 -x376 -x375 x374 x373 x372 x371 -x370 x369 -x368 -x367 x366 x365 x364 -x363 x362 x361 -x360 -x359
1796.70/1797.06 v -x358 -x357 x356 x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 x341 x340 x339 -x338 x337 x336
1796.70/1797.06 v -x335 -x334 x333 -x332 x331 -x330 x329 -x328 -x327 x326 x325 x324 x323 x322 x321 -x320 -x319 x318 x317 x316 x315 -x314 -x313
1796.70/1797.06 v x312 -x311 x310 x309 x308 x307 -x306 x305 -x304 -x303 -x302 x301 -x300 x299 -x298 x297 -x296 -x295 x294 x293 x292 x291 -x290
1796.70/1797.06 v x289 x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 x279 -x278 -x277 x276 x275 x274 x273 x272 x271 -x270 -x269 -x268
1796.70/1797.06 v -x267 x266 x265 -x264 x263 -x262 x261 x260 -x259 x258 -x257 x256 x255 x254 -x253 x252 x251 -x250 -x249 -x248 -x247 -x246 -x245
1796.70/1797.06 v x244 x243 -x242 x241 x240 x239 -x238 x237 x236 x235 x234 -x233 x232 -x231 x230 x229 x228 x227 x226 -x225 -x224 x223 x222 x221
1796.70/1797.06 v -x220 x219 -x218 x217 x216 x215 -x214 -x213 x212 -x211 -x210 -x209 x208 -x207 -x206 x205 -x204 -x203 -x202 x201 x200 x199
1796.70/1797.06 v x198 x197 x196 -x195 x194 -x193 -x192 -x191 x190 x189 -x188 x187 -x186 x185 x184 x183 -x182 x181 -x180 -x179 x178 x177 x176 x175
1796.70/1797.06 v -x174 -x173 -x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164 x163 x162 x161 -x160 x159 x158 x157 x156 x155 -x154 -x153
1796.70/1797.06 v -x152 -x151 x150 -x149 -x148 x147 x146 -x145 x144 x143 x142 x141 x140 x139 -x138 x137 x136 -x135 x134 x133 x132 x131 x130 x129
1796.70/1797.06 v x128 x127 -x126 -x125 x124 -x123 -x122 -x121 x120 x119 x118 x117 x116 -x115 x114 x113 x112 -x111 x110 x109 x108 -x107 -x106
1796.70/1797.06 v -x105 x104 x103 -x102 x101 x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 x87 x86 -x85 x84 -x83 x82 x81 x80 -x79
1796.70/1797.06 v -x78 -x77 x76 x75 x74 x73 -x72 x71 x70 x69 -x68 x67 x66 x65 x64 -x63 x62 -x61 -x60 x59 x58 x57 x56 x55 x54 x53 -x52 -x51 -x50
1796.70/1797.06 v -x49 x48 x47 x46 x45 x44 x43 x42 x41 -x40 -x39 -x38 x37 x36 x35 x34 -x33 x32 -x31 -x30 x29 x28 x27 x26 x25 x24 -x23 x22 x21
1796.70/1797.06 v x20 -x19 -x18 -x17 -x16 -x15 x14 x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 x3 -x2 x1
1796.70/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.06 c Total Time : 1797.06
1796.70/1797.06 c solving : 1797.06
1796.70/1797.06 c presolving : 0.06 (included in solving)
1796.70/1797.06 c reading : 0.01 (included in solving)
1796.70/1797.06 c copying : 0.10 (9 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.06 c Original Problem :
1796.70/1797.06 c Problem name : HOME/instance-3690909-1338018445.opb
1796.70/1797.06 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.06 c Constraints : 4000 initial, 4000 maximal
1796.70/1797.06 c Objective sense : minimize
1796.70/1797.06 c Presolved Problem :
1796.70/1797.06 c Problem name : t_HOME/instance-3690909-1338018445.opb
1796.70/1797.06 c Variables : 1524 (1524 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.06 c Constraints : 2954 initial, 2954 maximal
1796.70/1797.06 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.06 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c dualfix : 0.00 0.00 207 0 0 0 0 0 0 0 0
1796.70/1797.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.06 c linear : 0.03 0.00 0 232 0 0 0 1046 0 0 0
1796.70/1797.06 c root node : - - 0 - - 0 - - - - -
1796.70/1797.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.06 c integral : 0 0 0 0 19609 0 846 0 5 31 0 0 39194
1796.70/1797.06 c setppc : 2954 2954 22 143848 0 0 841 0 0 115963 0 0 0
1796.70/1797.06 c countsols : 0 0 0 0 0 0 844 0 0 0 0 0 0
1796.70/1797.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.06 c integral : 305.60 0.00 0.00 0.00 305.59 0.00 0.01 0.00
1796.70/1797.06 c setppc : 6.57 0.00 0.00 6.54 0.00 0.00 0.03 0.00
1796.70/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.06 c rootredcost : 5 0 0 0
1796.70/1797.06 c pseudoobj : 163406 0 0 0
1796.70/1797.06 c vbounds : 0 0 0 0
1796.70/1797.06 c redcost : 19638 0 0 8
1796.70/1797.06 c probing : 0 0 0 0
1796.70/1797.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.06 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.06 c pseudoobj : 0.22 0.00 0.00 0.21 0.00
1796.70/1797.06 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.06 c redcost : 0.30 0.00 0.00 0.30 0.00
1796.70/1797.06 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.06 c applied globally : - - - 0 0.0 - - -
1796.70/1797.06 c applied locally : - - - 0 0.0 - - -
1796.70/1797.06 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.06 c cut pool : 0.02 21 - - 29 - (maximal pool size: 761)
1796.70/1797.06 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.06 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.70/1797.06 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.06 c gomory : 0.05 0.00 10 0 0 500 0
1796.70/1797.06 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.06 c strongcg : 0.99 0.00 20 0 0 10000 0
1796.70/1797.06 c cmir : 0.08 0.00 10 0 0 0 0
1796.70/1797.06 c flowcover : 0.07 0.00 10 0 0 0 0
1796.70/1797.06 c clique : 0.00 0.00 22 0 0 9 0
1796.70/1797.06 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.06 c mcf : 0.01 0.00 1 0 0 0 0
1796.70/1797.06 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.06 c rapidlearning : 0.12 0.00 1 0 0 0 0
1796.70/1797.06 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.06 c problem variables: 0.00 - 0 0
1796.70/1797.06 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.06 c relpscost : 305.56 0.00 19609 5 31 0 0 39194
1796.70/1797.06 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.06 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.06 c LP solutions : 0.00 - - 0
1796.70/1797.06 c pseudo solutions : 0.00 - - 0
1796.70/1797.06 c intshifting : 0.00 0.00 0 0
1796.70/1797.06 c feaspump : 0.00 0.00 0 0
1796.70/1797.06 c oneopt : 0.02 0.00 7 1
1796.70/1797.06 c crossover : 0.30 0.00 6 3
1796.70/1797.06 c smallcard : 0.00 0.00 0 0
1796.70/1797.06 c trivial : 0.00 0.00 2 2
1796.70/1797.06 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.06 c simplerounding : 2.21 0.00 19630 30
1796.70/1797.06 c zirounding : 4.52 0.00 5451 109
1796.70/1797.06 c rounding : 72.72 0.00 1932 0
1796.70/1797.06 c shifting : 22.46 0.00 576 0
1796.70/1797.06 c twoopt : 0.00 0.00 0 0
1796.70/1797.06 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.06 c indoneopt : 0.02 0.00 0 0
1796.70/1797.06 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.06 c clique : 0.00 0.00 0 0
1796.70/1797.06 c coefdiving : 129.67 0.00 272 296
1796.70/1797.06 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.06 c indrounding : 0.00 0.00 0 0
1796.70/1797.06 c pscostdiving : 63.76 0.00 156 0
1796.70/1797.06 c fracdiving : 49.94 0.00 134 0
1796.70/1797.06 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.06 c veclendiving : 58.13 0.00 142 0
1796.70/1797.06 c intdiving : 0.00 0.00 0 0
1796.70/1797.06 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.06 c objpscostdiving : 98.50 0.00 168 272
1796.70/1797.06 c rootsoldiving : 39.51 0.00 127 128
1796.70/1797.06 c linesearchdiving : 49.35 0.00 161 0
1796.70/1797.06 c guideddiving : 49.41 0.00 147 0
1796.70/1797.06 c octane : 0.00 0.00 0 0
1796.70/1797.06 c rens : 0.01 0.00 0 0
1796.70/1797.06 c rins : 0.00 0.00 0 0
1796.70/1797.06 c localbranching : 0.00 0.00 0 0
1796.70/1797.06 c mutation : 0.00 0.00 0 0
1796.70/1797.06 c dins : 0.00 0.00 0 0
1796.70/1797.06 c vbounds : 0.00 0.00 0 0
1796.70/1797.06 c undercover : 0.00 0.00 0 0
1796.70/1797.06 c subnlp : 0.01 0.00 0 0
1796.70/1797.06 c trysol : 0.01 0.00 0 0
1796.70/1797.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.06 c primal LP : 0.00 2 0 0.00 - 0.00 2
1796.70/1797.06 c dual LP : 833.85 20971 5749034 278.16 6894.57 0.40 303
1796.70/1797.06 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.06 c diving/probing LP: 489.86 89409 3026907 33.85 6179.18
1796.70/1797.06 c strong branching : 299.60 9931 1703420 171.53 5685.62
1796.70/1797.06 c (at root node) : - 47 36434 775.19 -
1796.70/1797.06 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.06 c B&B Tree :
1796.70/1797.06 c number of runs : 1
1796.70/1797.06 c nodes : 20640
1796.70/1797.06 c nodes (total) : 20640
1796.70/1797.06 c nodes left : 18468
1796.70/1797.06 c max depth : 35
1796.70/1797.06 c max depth (total): 35
1796.70/1797.06 c backtracks : 5789 (28.0%)
1796.70/1797.06 c delayed cutoffs : 0
1796.70/1797.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.06 c avg switch length: 8.82
1796.70/1797.06 c switching time : 2.65
1796.70/1797.06 c Solution :
1796.70/1797.06 c Solutions found : 841 (8 improvements)
1796.70/1797.06 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.70/1797.06 c Primal Bound : +1.04500000000000e+03 (in run 1, after 8348 nodes, 996.97 seconds, depth 30, found by <crossover>)
1796.70/1797.06 c Dual Bound : +1.00600000000000e+03
1796.70/1797.06 c Gap : 3.88 %
1796.70/1797.06 c Root Dual Bound : +9.98250000000000e+02
1796.70/1797.06 c Root Iterations : 15715
1796.80/1797.11 c Time complete: 1796.81.
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-3690909-1338018445/watcher-3690909-1338018445 -o /tmp/evaluation-result-3690909-1338018445/solver-3690909-1338018445 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690909-1338018445.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 1.99 1.58 3/176 21104
/proc/meminfo: memFree=24966096/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=11140 CPUtime=0 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 1532 0 0 0 0 0 0 0 20 0 1 0 267970568 11407360 1487 33554432000 4194304 10173063 140737232599664 140737232463208 8803840 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 2785 1487 408 1460 0 1316 0
[startup+0.0640449 s]
/proc/loadavg: 2.05 1.99 1.58 3/176 21104
/proc/meminfo: memFree=24966096/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=27020 CPUtime=0.05 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 5562 0 0 0 4 1 0 0 20 0 1 0 267970568 27668480 5260 33554432000 4194304 10173063 140737232599664 140737232463208 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 6755 5260 573 1460 0 5286 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27020
[startup+0.100333 s]
/proc/loadavg: 2.05 1.99 1.58 3/176 21104
/proc/meminfo: memFree=24966096/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=33312 CPUtime=0.09 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 7338 0 0 0 7 2 0 0 20 0 1 0 267970568 34111488 7036 33554432000 4194304 10173063 140737232599664 140737232463208 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 8328 7036 748 1460 0 6859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33312
[startup+0.300209 s]
/proc/loadavg: 2.05 1.99 1.58 3/176 21104
/proc/meminfo: memFree=24966096/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=34868 CPUtime=0.29 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 7913 0 0 0 27 2 0 0 20 0 1 0 267970568 35704832 7517 33554432000 4194304 10173063 140737232599664 140737232463208 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 8717 7517 775 1460 0 7248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34868
[startup+0.700208 s]
/proc/loadavg: 2.05 1.99 1.58 3/176 21104
/proc/meminfo: memFree=24966096/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=36140 CPUtime=0.69 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 12660 0 0 0 65 4 0 0 20 0 1 0 267970568 37007360 7868 33554432000 4194304 10173063 140737232599664 140737232463208 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 9035 7868 829 1460 0 7566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36140
[startup+1.50021 s]
/proc/loadavg: 2.04 1.99 1.58 3/177 21105
/proc/meminfo: memFree=24937468/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=38324 CPUtime=1.48 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 13160 0 0 0 144 4 0 0 20 0 1 0 267970568 39243776 8368 33554432000 4194304 10173063 140737232599664 140737232595592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 9581 8368 829 1460 0 8112 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38324
[startup+3.1003 s]
/proc/loadavg: 2.04 1.99 1.58 3/177 21105
/proc/meminfo: memFree=24932120/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=55652 CPUtime=3.09 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 17433 0 0 0 303 6 0 0 20 0 1 0 267970568 56987648 12627 33554432000 4194304 10173063 140737232599664 140737232592920 6799900 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 13913 12627 829 1460 0 12444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55652
[startup+6.30028 s]
/proc/loadavg: 2.04 1.99 1.58 3/177 21105
/proc/meminfo: memFree=24906832/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=74592 CPUtime=6.29 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 22345 0 0 0 619 10 0 0 20 0 1 0 267970568 76382208 16992 33554432000 4194304 10173063 140737232599664 140737232593016 5749644 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18648 16992 829 1460 0 17179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74592
[startup+12.7003 s]
/proc/loadavg: 2.04 1.99 1.59 3/177 21105
/proc/meminfo: memFree=24901880/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=71608 CPUtime=12.69 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 23397 0 0 0 1255 14 0 0 20 0 1 0 267970568 73326592 16660 33554432000 4194304 10173063 140737232599664 140737232593208 8016764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 17902 16660 834 1460 0 16433 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71608
[startup+25.5002 s]
/proc/loadavg: 2.03 1.99 1.59 3/177 21105
/proc/meminfo: memFree=24902144/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=72644 CPUtime=25.49 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 23625 0 0 0 2528 21 0 0 20 0 1 0 267970568 74387456 16701 33554432000 4194304 10173063 140737232599664 140737232593112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18161 16701 836 1460 0 16692 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72644
[startup+51.1003 s]
/proc/loadavg: 2.02 1.99 1.60 3/177 21105
/proc/meminfo: memFree=24901772/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=72644 CPUtime=51.08 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 23779 0 0 0 5071 37 0 0 20 0 1 0 267970568 74387456 16855 33554432000 4194304 10173063 140737232599664 140737232595704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18161 16855 839 1460 0 16692 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72644
[startup+102.307 s]
/proc/loadavg: 2.01 1.99 1.62 3/177 21105
/proc/meminfo: memFree=24897520/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=73264 CPUtime=102.28 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 23939 0 0 0 10162 66 0 0 20 0 1 0 267970568 75022336 17015 33554432000 4194304 10173063 140737232599664 140737232593496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18316 17015 839 1460 0 16847 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73264
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/178 21109
/proc/meminfo: memFree=24894108/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=73984 CPUtime=162.27 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 27238 0 0 0 16123 104 0 0 20 0 1 0 267970568 75759616 17200 33554432000 4194304 10173063 140737232599664 140737232595592 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18496 17200 841 1460 0 17027 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 73984
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/177 21109
/proc/meminfo: memFree=24897864/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=74724 CPUtime=222.26 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 27279 0 0 0 22087 139 0 0 20 0 1 0 267970568 76517376 17241 33554432000 4194304 10173063 140737232599664 140737232593160 7911697 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18681 17241 841 1460 0 17212 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 74724
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 21109
/proc/meminfo: memFree=24892588/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=75256 CPUtime=282.24 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 27550 0 0 0 28046 178 0 0 20 0 1 0 267970568 77062144 17512 33554432000 4194304 10173063 140737232599664 140737232592920 8007721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18814 17512 841 1460 0 17345 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 75256
[startup+342.3 s]
/proc/loadavg: 1.96 1.97 1.69 3/177 21338
/proc/meminfo: memFree=27427844/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=75860 CPUtime=342.23 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 27739 0 0 0 34006 217 0 0 20 0 1 0 267970568 77680640 17912 33554432000 4194304 10173063 140737232599664 140737232592968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 18965 17912 841 1460 0 17496 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 75860
[startup+402.3 s]
/proc/loadavg: 1.98 1.97 1.71 3/177 21338
/proc/meminfo: memFree=27423288/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=76956 CPUtime=402.22 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 27942 0 0 0 39959 263 0 0 20 0 1 0 267970568 78802944 18410 33554432000 4194304 10173063 140737232599664 140737232592920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 19239 18410 841 1460 0 17770 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 76956
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/177 21339
/proc/meminfo: memFree=27421288/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=79116 CPUtime=462.21 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 28500 0 0 0 45899 322 0 0 20 0 1 0 267970568 81014784 18968 33554432000 4194304 10173063 140737232599664 140737232592968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 19779 18968 841 1460 0 18310 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 79116
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.74 3/177 21339
/proc/meminfo: memFree=27417744/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=79928 CPUtime=522.2 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 28725 0 0 0 51856 364 0 0 20 0 1 0 267970568 81846272 19191 33554432000 4194304 10173063 140737232599664 140737232593304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 19982 19191 841 1460 0 18513 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 79928
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 21339
/proc/meminfo: memFree=27415264/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=80612 CPUtime=582.19 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 28869 0 0 0 57815 404 0 0 20 0 1 0 267970568 82546688 19335 33554432000 4194304 10173063 140737232599664 140737232593112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 20153 19335 841 1460 0 18684 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 80612
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27382192/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=90312 CPUtime=1062.12 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 40831 0 0 0 105477 735 0 0 20 0 1 0 267970568 92479488 21783 33554432000 4194304 10173063 140737232599664 140737232593016 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 22578 21783 842 1460 0 21109 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 90312
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/177 21366
/proc/meminfo: memFree=27377844/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=90592 CPUtime=1122.11 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 43990 0 0 0 111434 777 0 0 20 0 1 0 267970568 92766208 21875 33554432000 4194304 10173063 140737232599664 140737232592920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 22648 21875 842 1460 0 21179 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 90592
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/177 21366
/proc/meminfo: memFree=27374060/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=92060 CPUtime=1182.1 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 47560 0 0 0 117392 818 0 0 20 0 1 0 267970568 94269440 22235 33554432000 4194304 10173063 140737232599664 140737232593016 7510709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 23015 22235 857 1460 0 21546 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 92060
[startup+1242.3 s]
/proc/loadavg: 2.05 1.99 1.85 3/177 21366
/proc/meminfo: memFree=27368656/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=93892 CPUtime=1242.09 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 48043 0 0 0 123349 860 0 0 20 0 1 0 267970568 96145408 22718 33554432000 4194304 10173063 140737232599664 140737232592648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 23473 22718 857 1460 0 22004 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 93892
[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.86 3/177 21366
/proc/meminfo: memFree=27362700/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=96696 CPUtime=1302.08 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 48714 0 0 0 129308 900 0 0 20 0 1 0 267970568 99016704 23388 33554432000 4194304 10173063 140737232599664 140737232593112 5760605 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 24174 23388 857 1460 0 22705 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 96696
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 21369
/proc/meminfo: memFree=27357112/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=99720 CPUtime=1362.07 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 50654 0 0 0 135267 940 0 0 20 0 1 0 267970568 102113280 24150 33554432000 4194304 10173063 140737232599664 140737232592376 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 24930 24150 857 1460 0 23461 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 99720
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.87 3/177 21370
/proc/meminfo: memFree=27354632/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=100696 CPUtime=1422.06 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 50899 0 0 0 141228 978 0 0 20 0 1 0 267970568 103112704 24395 33554432000 4194304 10173063 140737232599664 140737232593240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 25174 24395 857 1460 0 23705 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 100696
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 21370
/proc/meminfo: memFree=27351588/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=102972 CPUtime=1482.04 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 51451 0 0 0 147183 1021 0 0 20 0 1 0 267970568 105443328 24945 33554432000 4194304 10173063 140737232599664 140737232592920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 25743 24945 857 1460 0 24274 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 102972
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 21370
/proc/meminfo: memFree=27347368/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=103968 CPUtime=1542.04 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 51717 0 0 0 153139 1065 0 0 20 0 1 0 267970568 106463232 25211 33554432000 4194304 10173063 140737232599664 140737232594936 7971268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 25992 25211 857 1460 0 24523 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 103968
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/177 21370
/proc/meminfo: memFree=27344268/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=103968 CPUtime=1602.03 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 51740 0 0 0 159095 1108 0 0 20 0 1 0 267970568 106463232 25234 33554432000 4194304 10173063 140737232599664 140737232593304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 25992 25234 857 1460 0 24523 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 103968
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/177 21370
/proc/meminfo: memFree=27341848/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=105368 CPUtime=1662.02 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52085 0 0 0 165051 1151 0 0 20 0 1 0 267970568 107896832 25579 33554432000 4194304 10173063 140737232599664 140737232592776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 26342 25579 857 1460 0 24873 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 105368
[startup+1722.3 s]
/proc/loadavg: 2.06 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27340852/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=105728 CPUtime=1722.01 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52143 0 0 0 171007 1194 0 0 20 0 1 0 267970568 108265472 25637 33554432000 4194304 10173063 140737232599664 140737232593304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 26432 25637 857 1460 0 24963 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 105728
[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335644/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1782 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52940 0 0 0 176961 1239 0 0 20 0 1 0 267970568 111620096 26434 33554432000 4194304 10173063 140737232599664 140737232592920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26434 857 1460 0 25782 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 109004
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335644/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1785.21 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52940 0 0 0 177279 1242 0 0 20 0 1 0 267970568 111620096 26434 33554432000 4194304 10173063 140737232599664 140737232592920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26434 857 1460 0 25782 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 109004
[startup+1791.91 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335644/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1791.61 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52942 0 0 0 177914 1247 0 0 20 0 1 0 267970568 111620096 26436 33554432000 4194304 10173063 140737232599664 140737232593176 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26436 857 1460 0 25782 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 109004
[startup+1795.1 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335640/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1794.81 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52946 0 0 0 178232 1249 0 0 20 0 1 0 267970568 111620096 26438 33554432000 4194304 10173063 140737232599664 140737232592968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26438 857 1460 0 25782 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 109004
[startup+1795.9 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335640/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1795.6 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52946 0 0 0 178310 1250 0 0 20 0 1 0 267970568 111620096 26438 33554432000 4194304 10173063 140737232599664 140737232592968 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26438 857 1460 0 25782 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 109004
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335640/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1796.4 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52946 0 0 0 178390 1250 0 0 20 0 1 0 267970568 111620096 26438 33554432000 4194304 10173063 140737232599664 140737232592312 8631890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26438 857 1460 0 25782 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 109004
[startup+1797.1 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 21371
/proc/meminfo: memFree=27335640/32873844 swapFree=7364/7364
[pid=21104] ppid=21102 vsize=109004 CPUtime=1796.8 cores=1,3,5,7
/proc/21104/stat : 21104 (scip-2.1.1.4fix) R 21102 21104 21011 0 -1 4202496 52948 0 0 0 178430 1250 0 0 20 0 1 0 267970568 111620096 26440 33554432000 4194304 10173063 140737232599664 140737232595704 8831461 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21104/statm: 27251 26440 859 1460 0 25782 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 109004
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.83
CPU user time (s): 1784.32
CPU system time (s): 12.5091
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 109004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.32
system time used= 12.5091
maximum resident set size= 105760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52950
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= 27
involuntary context switches= 1848
runsolver used 5.68214 second user time and 16.4795 second system time
The end