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-3690900-1338018716.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.01/0.02 o 1968
0.01/0.03 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.01/0.03 c presolving:
0.01/0.04 c (round 1) 178 del vars, 178 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 2) 358 del vars, 818 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 3) 414 del vars, 938 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 4) 450 del vars, 1029 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 5) 470 del vars, 1071 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 6) 480 del vars, 1111 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.07 c (round 7) 485 del vars, 1117 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.07 c (round 8) 489 del vars, 1130 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.01/0.09 c (round 9) 489 del vars, 1132 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2868 upgd conss, 7996 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 51/1479 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.10 c presolving (10 rounds):
0.09/0.10 c 489 deleted vars, 1132 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 7996 implications, 0 cliques
0.09/0.10 c presolved problem has 1479 variables (1479 bin, 0 int, 0 impl, 0 cont) and 2868 constraints
0.09/0.10 c 2868 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.08
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.1.1.4
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 o 1719
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 0 | 0 | - |7078k| 0 | - |1479 |2868 | 0 | 0 | 0 | 0 | 0 | -- | 1.719000e+03 | Inf
0.09/0.11 o 1163
0.09/0.11 c b 0.1s| 1 | 0 | 0 | - |8967k| 0 | - |1479 |2868 |1479 |2868 | 0 | 0 | 0 | -- | 1.163000e+03 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 1936 | - |8942k| 0 |1479 |1479 |2868 |1479 |2868 | 0 | 0 | 0 | 9.795000e+02 | 1.163000e+03 | 18.73%
0.49/0.51 c 0.5s| 1 | 0 | 2093 | - |9031k| 0 |1468 |1479 |2868 |1479 |2881 | 13 | 0 | 0 | 9.840000e+02 | 1.163000e+03 | 18.19%
0.69/0.71 c 0.7s| 1 | 0 | 2375 | - |9123k| 0 |1464 |1479 |2868 |1479 |2888 | 20 | 0 | 0 | 9.860000e+02 | 1.163000e+03 | 17.95%
0.79/0.88 c 0.9s| 1 | 0 | 2409 | - |9168k| 0 |1459 |1479 |2868 |1479 |2891 | 23 | 0 | 0 | 9.865000e+02 | 1.163000e+03 | 17.89%
1.10/1.12 c 1.1s| 1 | 0 | 2933 | - |9290k| 0 |1451 |1479 |2868 |1479 |2896 | 28 | 0 | 0 | 9.875000e+02 | 1.163000e+03 | 17.77%
1.29/1.31 c 1.3s| 1 | 0 | 3080 | - |9462k| 0 |1456 |1479 |2868 |1479 |2903 | 35 | 0 | 0 | 9.880000e+02 | 1.163000e+03 | 17.71%
1.59/1.67 c 1.7s| 1 | 0 | 4049 | - | 10M| 0 |1450 |1479 |2868 |1479 |2910 | 42 | 0 | 0 | 9.895000e+02 | 1.163000e+03 | 17.53%
1.89/1.90 c 1.9s| 1 | 0 | 4227 | - | 10M| 0 |1447 |1479 |2868 |1479 |2913 | 45 | 0 | 0 | 9.910000e+02 | 1.163000e+03 | 17.36%
2.09/2.16 c 2.2s| 1 | 0 | 4625 | - | 10M| 0 |1452 |1479 |2868 |1479 |2917 | 49 | 0 | 0 | 9.910000e+02 | 1.163000e+03 | 17.36%
2.49/2.54 c 2.5s| 1 | 0 | 5464 | - | 10M| 0 |1445 |1479 |2868 |1479 |2920 | 52 | 0 | 0 | 9.910000e+02 | 1.163000e+03 | 17.36%
2.79/2.80 c 2.8s| 1 | 0 | 5842 | - | 10M| 0 |1451 |1479 |2868 |1479 |2925 | 57 | 0 | 0 | 9.915000e+02 | 1.163000e+03 | 17.30%
2.99/3.04 c 3.0s| 1 | 0 | 6084 | - | 10M| 0 |1465 |1479 |2868 |1479 |2928 | 60 | 0 | 0 | 9.920000e+02 | 1.163000e+03 | 17.24%
3.49/3.55 c 3.5s| 1 | 0 | 7553 | - | 11M| 0 |1445 |1479 |2868 |1479 |2932 | 64 | 0 | 0 | 9.930000e+02 | 1.163000e+03 | 17.12%
3.69/3.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.78 c 3.8s| 1 | 0 | 7808 | - | 11M| 0 |1443 |1479 |2868 |1479 |2936 | 68 | 0 | 0 | 9.930000e+02 | 1.163000e+03 | 17.12%
4.09/4.15 c 4.2s| 1 | 0 | 8436 | - | 11M| 0 |1422 |1479 |2868 |1479 |2938 | 70 | 0 | 0 | 9.932500e+02 | 1.163000e+03 | 17.09%
4.30/4.34 c 4.3s| 1 | 0 | 8581 | - | 11M| 0 |1425 |1479 |2868 |1479 |2941 | 73 | 0 | 0 | 9.940000e+02 | 1.163000e+03 | 17.00%
4.59/4.62 c 4.6s| 1 | 0 | 8886 | - | 12M| 0 |1437 |1479 |2868 |1479 |2946 | 78 | 0 | 0 | 9.940000e+02 | 1.163000e+03 | 17.00%
6.19/6.29 c 6.3s| 1 | 0 | 17403 | - | 12M| 0 |1444 |1479 |2868 |1479 |2940 | 84 | 0 | 0 | 9.945000e+02 | 1.163000e+03 | 16.94%
6.50/6.55 c 6.6s| 1 | 0 | 17636 | - | 12M| 0 |1448 |1479 |2868 |1479 |2942 | 86 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
6.88/6.93 c 6.9s| 1 | 0 | 18203 | - | 12M| 0 |1417 |1479 |2868 |1479 |2946 | 90 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
7.38/7.43 c 7.4s| 1 | 0 | 19095 | - | 14M| 0 |1441 |1479 |2868 |1479 |2950 | 94 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
7.60/7.61 c 7.6s| 1 | 0 | 19394 | - | 14M| 0 |1452 |1479 |2868 |1479 |2952 | 96 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
13.89/13.97 c 14.0s| 1 | 2 | 19394 | - | 14M| 0 |1452 |1479 |2868 |1479 |2952 | 96 | 0 | 29 | 9.950000e+02 | 1.163000e+03 | 16.88%
34.19/34.20 o 1064
34.19/34.20 c c34.2s| 15 | 16 | 29377 | 713.1 | 17M| 13 | - |1479 |2868 |1479 |2927 | 96 | 0 | 342 | 9.950000e+02 | 1.064000e+03 | 6.93%
48.67/48.75 c 48.7s| 100 | 101 | 75579 | 567.5 | 17M| 18 |1348 |1479 |2868 |1479 |2927 | 96 | 0 | 402 | 9.955000e+02 | 1.064000e+03 | 6.88%
58.18/58.24 c 58.2s| 200 | 201 |109038 | 450.5 | 17M| 26 |1150 |1479 |2868 |1479 |2927 | 96 | 0 | 462 | 9.955000e+02 | 1.064000e+03 | 6.88%
66.57/66.66 o 1061
66.57/66.66 c c66.7s| 233 | 234 |147936 | 554.1 | 18M| 26 | - |1479 |2868 |1479 |2927 | 96 | 0 | 506 | 9.957500e+02 | 1.061000e+03 | 6.55%
85.87/85.99 c 86.0s| 300 | 301 |244370 | 752.4 | 18M| 26 |1293 |1479 |2868 |1479 |2927 | 96 | 0 | 562 | 9.962500e+02 | 1.061000e+03 | 6.50%
104.47/104.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.47/104.59 c 105s| 400 | 401 |326991 | 770.9 | 18M| 26 |1314 |1479 |2868 |1479 |2927 | 96 | 0 | 632 | 9.975000e+02 | 1.061000e+03 | 6.37%
121.07/121.19 c 121s| 500 | 501 |399199 | 761.1 | 18M| 26 |1327 |1479 |2868 |1479 |2927 | 96 | 0 | 758 | 9.982500e+02 | 1.061000e+03 | 6.29%
132.06/132.14 o 1059
132.06/132.14 c c 132s| 563 | 564 |447694 | 762.1 | 18M| 26 | - |1479 |2868 |1479 |2927 | 96 | 0 | 837 | 9.985000e+02 | 1.059000e+03 | 6.06%
135.16/135.26 c 135s| 600 | 601 |457673 | 731.7 | 18M| 26 |1392 |1479 |2868 |1479 |2927 | 96 | 0 | 889 | 9.987500e+02 | 1.059000e+03 | 6.03%
144.36/144.40 c 144s| 700 | 701 |495419 | 681.0 | 18M| 26 |1230 |1479 |2868 |1479 |2927 | 96 | 0 | 980 | 9.987500e+02 | 1.059000e+03 | 6.03%
152.25/152.31 c 152s| 800 | 801 |524741 | 632.5 | 18M| 26 |1218 |1479 |2868 |1479 |2927 | 96 | 0 |1070 | 9.990000e+02 | 1.059000e+03 | 6.01%
165.16/165.26 c 165s| 900 | 901 |581520 | 625.3 | 19M| 26 |1218 |1479 |2868 |1479 |2927 | 96 | 0 |1180 | 9.992500e+02 | 1.059000e+03 | 5.98%
172.15/172.29 c 172s| 1000 | 1001 |610922 | 592.1 | 19M| 28 |1101 |1479 |2868 |1479 |2927 | 96 | 0 |1252 | 9.995000e+02 | 1.059000e+03 | 5.95%
179.55/179.68 o 1058
179.55/179.68 c c 180s| 1074 | 1062 |641738 | 580.0 | 19M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |1348 | 9.996667e+02 | 1.058000e+03 | 5.84%
183.85/183.94 c 184s| 1100 | 1088 |659687 | 582.6 | 19M| 29 |1335 |1479 |2868 |1479 |2927 | 96 | 0 |1372 | 9.997500e+02 | 1.058000e+03 | 5.83%
199.15/199.27 c 199s| 1200 | 1188 |726977 | 590.1 | 19M| 29 |1279 |1479 |2868 |1479 |2927 | 96 | 0 |1468 | 9.997500e+02 | 1.058000e+03 | 5.83%
211.06/211.16 c 211s| 1300 | 1288 |773613 | 580.6 | 19M| 29 |1316 |1479 |2868 |1479 |2927 | 96 | 0 |1588 | 1.000000e+03 | 1.058000e+03 | 5.80%
224.75/224.89 c 225s| 1400 | 1388 |830896 | 580.1 | 19M| 29 |1330 |1479 |2868 |1479 |2927 | 96 | 0 |1712 | 1.000000e+03 | 1.058000e+03 | 5.80%
235.95/236.03 c 236s| 1500 | 1488 |879135 | 573.5 | 20M| 29 |1314 |1479 |2868 |1479 |2927 | 96 | 0 |1822 | 1.000000e+03 | 1.058000e+03 | 5.80%
245.04/245.14 c 245s| 1600 | 1588 |917003 | 561.4 | 20M| 29 |1303 |1479 |2868 |1479 |2927 | 96 | 0 |1910 | 1.000250e+03 | 1.058000e+03 | 5.77%
253.44/253.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.44/253.50 c 254s| 1700 | 1688 |949925 | 547.7 | 20M| 29 |1298 |1479 |2868 |1479 |2927 | 96 | 0 |2007 | 1.000250e+03 | 1.058000e+03 | 5.77%
264.74/264.81 c 265s| 1800 | 1788 |996637 | 543.2 | 20M| 29 |1316 |1479 |2868 |1479 |2927 | 96 | 0 |2107 | 1.000500e+03 | 1.058000e+03 | 5.75%
274.14/274.21 c 274s| 1900 | 1888 | 1032k| 533.6 | 20M| 29 |1312 |1479 |2868 |1479 |2927 | 96 | 0 |2197 | 1.000500e+03 | 1.058000e+03 | 5.75%
284.04/284.13 c 284s| 2000 | 1988 | 1072k| 527.0 | 21M| 29 |1305 |1479 |2868 |1479 |2927 | 96 | 0 |2277 | 1.000556e+03 | 1.058000e+03 | 5.74%
294.43/294.53 c 295s| 2100 | 2088 | 1116k| 522.7 | 21M| 29 |1254 |1479 |2868 |1479 |2927 | 96 | 0 |2381 | 1.000750e+03 | 1.058000e+03 | 5.72%
304.44/304.57 c 305s| 2200 | 2188 | 1158k| 517.9 | 21M| 29 |1301 |1479 |2868 |1479 |2927 | 96 | 0 |2471 | 1.001000e+03 | 1.058000e+03 | 5.69%
310.64/310.79 c 311s| 2300 | 2288 | 1180k| 505.2 | 21M| 29 |1254 |1479 |2868 |1479 |2927 | 96 | 0 |2579 | 1.001000e+03 | 1.058000e+03 | 5.69%
318.84/318.91 c 319s| 2400 | 2388 | 1211k| 496.9 | 21M| 29 |1303 |1479 |2868 |1479 |2927 | 96 | 0 |2704 | 1.001056e+03 | 1.058000e+03 | 5.69%
327.14/327.26 c 327s| 2500 | 2488 | 1247k| 491.2 | 21M| 29 |1328 |1479 |2868 |1479 |2927 | 96 | 0 |2798 | 1.001250e+03 | 1.058000e+03 | 5.67%
333.43/333.56 c 334s| 2600 | 2588 | 1279k| 485.0 | 22M| 29 |1244 |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001250e+03 | 1.058000e+03 | 5.67%
338.93/339.06 c 339s| 2700 | 2688 | 1309k| 478.1 | 22M| 29 |1264 |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001500e+03 | 1.058000e+03 | 5.64%
345.42/345.54 c 346s| 2800 | 2788 | 1344k| 473.5 | 22M| 29 |1317 |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001500e+03 | 1.058000e+03 | 5.64%
349.93/350.09 c 350s| 2900 | 2888 | 1369k| 465.6 | 22M| 29 |1273 |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001500e+03 | 1.058000e+03 | 5.64%
355.14/355.23 c 355s| 3000 | 2988 | 1395k| 458.9 | 22M| 29 |1228 |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001583e+03 | 1.058000e+03 | 5.63%
357.92/358.04 o 1055
357.92/358.04 c p 358s| 3033 | 3007 | 1409k| 458.5 | 23M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001667e+03 | 1.055000e+03 | 5.32%
362.93/363.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.93/363.07 c 363s| 3100 | 3074 | 1435k| 457.1 | 22M| 29 |1233 |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001750e+03 | 1.055000e+03 | 5.32%
365.03/365.14 o 1053
365.03/365.14 c p 365s| 3123 | 3080 | 1446k| 457.1 | 23M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |2799 | 1.001750e+03 | 1.053000e+03 | 5.12%
372.33/372.43 c 372s| 3200 | 3155 | 1479k| 456.4 | 23M| 29 |1245 |1479 |2868 |1479 |2927 | 96 | 0 |2848 | 1.001938e+03 | 1.053000e+03 | 5.10%
383.73/383.85 c 384s| 3300 | 3253 | 1533k| 458.9 | 23M| 29 |1235 |1479 |2868 |1479 |2927 | 96 | 0 |2913 | 1.002000e+03 | 1.053000e+03 | 5.09%
396.22/396.35 c 396s| 3400 | 3349 | 1588k| 461.7 | 23M| 29 |1252 |1479 |2868 |1479 |2927 | 96 | 0 |2995 | 1.002000e+03 | 1.053000e+03 | 5.09%
405.73/405.86 o 1052
405.73/405.86 c o 406s| 3483 | 3432 | 1632k| 463.3 | 23M| 29 | 7 |1479 |2868 |1479 |2927 | 96 | 0 |3049 | 1.002000e+03 | 1.052000e+03 | 4.99%
405.73/405.86 o 1049
405.73/405.86 c o 406s| 3483 | 3432 | 1632k| 463.3 | 23M| 29 | 0 |1479 |2868 |1479 |2927 | 96 | 0 |3049 | 1.002000e+03 | 1.049000e+03 | 4.69%
407.62/407.71 o 1048
407.62/407.71 c p 408s| 3493 | 3267 | 1640k| 464.1 | 23M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |3060 | 1.002000e+03 | 1.048000e+03 | 4.59%
407.62/407.71 o 1045
407.62/407.71 c p 408s| 3493 | 3108 | 1640k| 464.2 | 23M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |3060 | 1.002000e+03 | 1.045000e+03 | 4.29%
407.92/408.03 c 408s| 3500 | 3115 | 1641k| 463.7 | 23M| 29 |1384 |1479 |2868 |1479 |2927 | 96 | 0 |3060 | 1.002000e+03 | 1.045000e+03 | 4.29%
417.32/417.44 c 417s| 3600 | 3193 | 1682k| 462.2 | 23M| 29 |1253 |1479 |2868 |1479 |2927 | 96 | 0 |3151 | 1.002000e+03 | 1.045000e+03 | 4.29%
427.32/427.48 c 427s| 3700 | 3249 | 1729k| 462.4 | 23M| 29 |1214 |1479 |2868 |1479 |2927 | 96 | 0 |3206 | 1.002000e+03 | 1.045000e+03 | 4.29%
439.21/439.35 c 439s| 3800 | 3305 | 1788k| 465.6 | 23M| 29 |1191 |1479 |2868 |1479 |2927 | 96 | 0 |3291 | 1.002083e+03 | 1.045000e+03 | 4.28%
453.12/453.24 c 453s| 3900 | 3355 | 1854k| 470.8 | 23M| 29 |1220 |1479 |2868 |1479 |2927 | 96 | 0 |3363 | 1.002250e+03 | 1.045000e+03 | 4.27%
468.31/468.48 c 468s| 4000 | 3403 | 1931k| 478.0 | 23M| 29 |1322 |1479 |2868 |1479 |2927 | 96 | 0 |3428 | 1.002500e+03 | 1.045000e+03 | 4.24%
485.40/485.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.40/485.54 c 486s| 4100 | 3499 | 2003k| 484.1 | 23M| 29 |1279 |1479 |2868 |1479 |2927 | 96 | 0 |3566 | 1.002500e+03 | 1.045000e+03 | 4.24%
500.80/500.90 c 501s| 4200 | 3597 | 2071k| 488.7 | 23M| 29 |1293 |1479 |2868 |1479 |2927 | 96 | 0 |3671 | 1.002500e+03 | 1.045000e+03 | 4.24%
512.21/512.39 c 512s| 4300 | 3697 | 2121k| 488.9 | 24M| 29 |1286 |1479 |2868 |1479 |2927 | 96 | 0 |3775 | 1.002500e+03 | 1.045000e+03 | 4.24%
519.90/520.09 c 520s| 4400 | 3797 | 2153k| 485.1 | 24M| 29 |1317 |1479 |2868 |1479 |2927 | 96 | 0 |3881 | 1.002500e+03 | 1.045000e+03 | 4.24%
529.30/529.47 c 529s| 4500 | 3897 | 2193k| 483.1 | 24M| 29 |1302 |1479 |2868 |1479 |2927 | 96 | 0 |3981 | 1.002500e+03 | 1.045000e+03 | 4.24%
537.29/537.42 c 537s| 4600 | 3997 | 2225k| 479.7 | 24M| 29 |1345 |1479 |2868 |1479 |2927 | 96 | 0 |4104 | 1.002500e+03 | 1.045000e+03 | 4.24%
546.20/546.32 c 546s| 4700 | 4097 | 2273k| 479.7 | 24M| 29 |1340 |1479 |2868 |1479 |2927 | 96 | 0 |4127 | 1.002500e+03 | 1.045000e+03 | 4.24%
553.59/553.79 c 554s| 4800 | 4197 | 2314k| 478.3 | 25M| 29 |1240 |1479 |2868 |1479 |2927 | 96 | 0 |4127 | 1.002667e+03 | 1.045000e+03 | 4.22%
559.40/559.53 c 560s| 4900 | 4297 | 2346k| 474.9 | 25M| 29 |1327 |1479 |2868 |1479 |2927 | 96 | 0 |4127 | 1.002750e+03 | 1.045000e+03 | 4.21%
565.59/565.73 c 566s| 5000 | 4397 | 2379k| 472.2 | 25M| 29 |1297 |1479 |2868 |1479 |2927 | 96 | 0 |4127 | 1.002750e+03 | 1.045000e+03 | 4.21%
572.10/572.23 c 572s| 5100 | 4497 | 2416k| 470.1 | 25M| 29 |1264 |1479 |2868 |1479 |2927 | 96 | 0 |4127 | 1.002750e+03 | 1.045000e+03 | 4.21%
579.19/579.38 c 579s| 5200 | 4595 | 2457k| 468.9 | 25M| 29 |1314 |1479 |2868 |1479 |2927 | 96 | 0 |4127 | 1.002750e+03 | 1.045000e+03 | 4.21%
589.59/589.75 c 590s| 5300 | 4695 | 2511k| 470.3 | 25M| 29 |1340 |1479 |2868 |1479 |2927 | 96 | 0 |4157 | 1.002750e+03 | 1.045000e+03 | 4.21%
598.99/599.10 c 599s| 5400 | 4795 | 2550k| 468.8 | 26M| 29 |1274 |1479 |2868 |1479 |2927 | 96 | 0 |4246 | 1.002833e+03 | 1.045000e+03 | 4.20%
606.00/606.17 c 606s| 5500 | 4895 | 2585k| 466.6 | 26M| 29 |1308 |1479 |2868 |1479 |2927 | 96 | 0 |4280 | 1.003000e+03 | 1.045000e+03 | 4.19%
614.19/614.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.19/614.38 c 614s| 5600 | 4995 | 2623k| 465.0 | 26M| 29 |1250 |1479 |2868 |1479 |2927 | 96 | 0 |4349 | 1.003000e+03 | 1.045000e+03 | 4.19%
622.50/622.64 c 623s| 5700 | 5095 | 2659k| 463.2 | 26M| 29 |1319 |1479 |2868 |1479 |2927 | 96 | 0 |4441 | 1.003000e+03 | 1.045000e+03 | 4.19%
634.49/634.67 c 635s| 5800 | 5195 | 2716k| 465.2 | 26M| 29 |1250 |1479 |2868 |1479 |2927 | 96 | 0 |4521 | 1.003000e+03 | 1.045000e+03 | 4.19%
644.39/644.55 c 645s| 5900 | 5295 | 2760k| 464.6 | 26M| 29 |1322 |1479 |2868 |1479 |2927 | 96 | 0 |4603 | 1.003000e+03 | 1.045000e+03 | 4.19%
653.29/653.44 c 653s| 6000 | 5391 | 2799k| 463.5 | 27M| 29 |1251 |1479 |2868 |1479 |2927 | 96 | 0 |4698 | 1.003000e+03 | 1.045000e+03 | 4.19%
661.48/661.67 c 662s| 6100 | 5487 | 2836k| 461.8 | 27M| 29 |1208 |1479 |2868 |1479 |2927 | 96 | 0 |4798 | 1.003000e+03 | 1.045000e+03 | 4.19%
669.98/670.15 c 670s| 6200 | 5577 | 2874k| 460.6 | 27M| 29 |1294 |1479 |2868 |1479 |2927 | 96 | 0 |4931 | 1.003000e+03 | 1.045000e+03 | 4.19%
678.59/678.74 c 679s| 6300 | 5675 | 2913k| 459.4 | 27M| 29 |1304 |1479 |2868 |1479 |2927 | 96 | 0 |5059 | 1.003000e+03 | 1.045000e+03 | 4.19%
687.29/687.46 c 687s| 6400 | 5773 | 2952k| 458.3 | 27M| 29 |1307 |1479 |2868 |1479 |2927 | 96 | 0 |5174 | 1.003000e+03 | 1.045000e+03 | 4.19%
699.17/699.32 c 699s| 6500 | 5873 | 3008k| 460.0 | 28M| 29 |1314 |1479 |2868 |1479 |2927 | 96 | 0 |5289 | 1.003000e+03 | 1.045000e+03 | 4.19%
707.78/707.96 c 708s| 6600 | 5973 | 3045k| 458.5 | 28M| 29 |1247 |1479 |2868 |1479 |2927 | 96 | 0 |5414 | 1.003000e+03 | 1.045000e+03 | 4.19%
718.77/718.93 c 719s| 6700 | 6073 | 3098k| 459.7 | 28M| 29 |1293 |1479 |2868 |1479 |2927 | 96 | 0 |5511 | 1.003125e+03 | 1.045000e+03 | 4.17%
726.37/726.56 c 727s| 6800 | 6173 | 3142k| 459.3 | 28M| 29 |1300 |1479 |2868 |1479 |2927 | 96 | 0 |5511 | 1.003250e+03 | 1.045000e+03 | 4.16%
732.87/733.06 c 733s| 6900 | 6273 | 3178k| 458.0 | 28M| 29 |1289 |1479 |2868 |1479 |2927 | 96 | 0 |5513 | 1.003250e+03 | 1.045000e+03 | 4.16%
739.67/739.86 c 740s| 7000 | 6373 | 3217k| 457.0 | 28M| 29 |1264 |1479 |2868 |1479 |2927 | 96 | 0 |5513 | 1.003250e+03 | 1.045000e+03 | 4.16%
747.17/747.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.17/747.35 c 747s| 7100 | 6471 | 3259k| 456.4 | 29M| 29 |1329 |1479 |2868 |1479 |2927 | 96 | 0 |5513 | 1.003250e+03 | 1.045000e+03 | 4.16%
754.67/754.82 c 755s| 7200 | 6571 | 3302k| 456.1 | 29M| 29 |1260 |1479 |2868 |1479 |2927 | 96 | 0 |5513 | 1.003250e+03 | 1.045000e+03 | 4.16%
760.66/760.83 c 761s| 7300 | 6671 | 3338k| 454.7 | 29M| 29 |1313 |1479 |2868 |1479 |2927 | 96 | 0 |5513 | 1.003250e+03 | 1.045000e+03 | 4.16%
768.46/768.65 c 769s| 7400 | 6769 | 3380k| 454.3 | 29M| 29 |1297 |1479 |2868 |1479 |2927 | 96 | 0 |5513 | 1.003444e+03 | 1.045000e+03 | 4.14%
776.26/776.42 c 776s| 7500 | 6865 | 3422k| 453.8 | 29M| 29 |1286 |1479 |2868 |1479 |2927 | 96 | 0 |5525 | 1.003500e+03 | 1.045000e+03 | 4.14%
785.17/785.36 c 785s| 7600 | 6961 | 3463k| 453.2 | 29M| 29 |1252 |1479 |2868 |1479 |2927 | 96 | 0 |5592 | 1.003500e+03 | 1.045000e+03 | 4.14%
793.55/793.74 c 794s| 7700 | 7053 | 3501k| 452.3 | 30M| 29 |1290 |1479 |2868 |1479 |2927 | 96 | 0 |5655 | 1.003500e+03 | 1.045000e+03 | 4.14%
801.96/802.11 c 802s| 7800 | 7153 | 3539k| 451.4 | 30M| 29 |1335 |1479 |2868 |1479 |2927 | 96 | 0 |5711 | 1.003500e+03 | 1.045000e+03 | 4.14%
811.66/811.85 c 812s| 7900 | 7251 | 3584k| 451.4 | 30M| 29 |1305 |1479 |2868 |1479 |2927 | 96 | 0 |5781 | 1.003500e+03 | 1.045000e+03 | 4.14%
818.76/818.95 c 819s| 8000 | 7345 | 3618k| 449.9 | 30M| 29 |1280 |1479 |2868 |1479 |2927 | 96 | 0 |5852 | 1.003500e+03 | 1.045000e+03 | 4.14%
827.95/828.12 c 828s| 8100 | 7443 | 3660k| 449.6 | 30M| 29 |1213 |1479 |2868 |1479 |2927 | 96 | 0 |5937 | 1.003500e+03 | 1.045000e+03 | 4.14%
837.85/838.06 c 838s| 8200 | 7537 | 3706k| 449.8 | 30M| 29 |1331 |1479 |2868 |1479 |2927 | 96 | 0 |6020 | 1.003500e+03 | 1.045000e+03 | 4.14%
846.25/846.45 c 846s| 8300 | 7627 | 3744k| 448.9 | 31M| 29 |1322 |1479 |2868 |1479 |2927 | 96 | 0 |6094 | 1.003500e+03 | 1.045000e+03 | 4.14%
855.66/855.89 c 856s| 8400 | 7727 | 3787k| 448.7 | 31M| 29 |1248 |1479 |2868 |1479 |2927 | 96 | 0 |6209 | 1.003500e+03 | 1.045000e+03 | 4.14%
863.65/863.87 c 864s| 8500 | 7827 | 3825k| 447.8 | 31M| 29 |1289 |1479 |2868 |1479 |2927 | 96 | 0 |6324 | 1.003500e+03 | 1.045000e+03 | 4.14%
870.34/870.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.34/870.52 c 871s| 8600 | 7915 | 3854k| 446.0 | 31M| 29 |1217 |1479 |2868 |1479 |2927 | 96 | 0 |6401 | 1.003500e+03 | 1.045000e+03 | 4.14%
878.65/878.86 c 879s| 8700 | 8009 | 3893k| 445.3 | 31M| 29 |1285 |1479 |2868 |1479 |2927 | 96 | 0 |6455 | 1.003500e+03 | 1.045000e+03 | 4.14%
886.65/886.83 c 887s| 8800 | 8107 | 3925k| 444.0 | 31M| 29 |1258 |1479 |2868 |1479 |2927 | 96 | 0 |6558 | 1.003500e+03 | 1.045000e+03 | 4.14%
894.44/894.65 c 895s| 8900 | 8201 | 3963k| 443.2 | 32M| 29 |1262 |1479 |2868 |1479 |2927 | 96 | 0 |6601 | 1.003625e+03 | 1.045000e+03 | 4.12%
901.35/901.54 c 902s| 9000 | 8297 | 3993k| 441.7 | 32M| 29 |1250 |1479 |2868 |1479 |2927 | 96 | 0 |6672 | 1.003667e+03 | 1.045000e+03 | 4.12%
908.54/908.71 c 909s| 9100 | 8395 | 4025k| 440.3 | 32M| 29 |1288 |1479 |2868 |1479 |2927 | 96 | 0 |6779 | 1.003667e+03 | 1.045000e+03 | 4.12%
916.34/916.59 c 917s| 9200 | 8493 | 4062k| 439.6 | 32M| 29 |1255 |1479 |2868 |1479 |2927 | 96 | 0 |6852 | 1.003750e+03 | 1.045000e+03 | 4.11%
924.34/924.56 c 925s| 9300 | 8587 | 4102k| 439.1 | 32M| 29 |1301 |1479 |2868 |1479 |2927 | 96 | 0 |6915 | 1.003750e+03 | 1.045000e+03 | 4.11%
930.13/930.34 c 930s| 9400 | 8683 | 4136k| 438.0 | 32M| 29 |1264 |1479 |2868 |1479 |2927 | 96 | 0 |6915 | 1.003750e+03 | 1.045000e+03 | 4.11%
938.04/938.25 c 938s| 9500 | 8781 | 4180k| 438.1 | 33M| 29 |1305 |1479 |2868 |1479 |2927 | 96 | 0 |6915 | 1.003750e+03 | 1.045000e+03 | 4.11%
943.13/943.33 c 943s| 9600 | 8879 | 4209k| 436.5 | 33M| 29 |1341 |1479 |2868 |1479 |2927 | 96 | 0 |6915 | 1.003750e+03 | 1.045000e+03 | 4.11%
949.34/949.54 c 950s| 9700 | 8971 | 4245k| 435.7 | 33M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |6915 | 1.003750e+03 | 1.045000e+03 | 4.11%
955.74/955.97 c 956s| 9800 | 9057 | 4280k| 434.9 | 33M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |6915 | 1.003750e+03 | 1.045000e+03 | 4.11%
962.23/962.47 c 962s| 9900 | 9131 | 4316k| 434.1 | 33M| 29 |1199 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.003750e+03 | 1.045000e+03 | 4.11%
968.03/968.29 c 968s| 10000 | 9211 | 4348k| 433.0 | 33M| 29 |1229 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.003750e+03 | 1.045000e+03 | 4.11%
975.23/975.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.23/975.40 c 975s| 10100 | 9283 | 4389k| 432.7 | 34M| 29 |1314 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.003833e+03 | 1.045000e+03 | 4.10%
981.63/981.82 c 982s| 10200 | 9367 | 4425k| 432.0 | 34M| 29 |1190 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.004000e+03 | 1.045000e+03 | 4.08%
987.83/988.02 c 988s| 10300 | 9455 | 4460k| 431.2 | 34M| 29 |1341 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.004000e+03 | 1.045000e+03 | 4.08%
992.43/992.67 c 993s| 10400 | 9527 | 4486k| 429.6 | 34M| 29 |1206 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.004000e+03 | 1.045000e+03 | 4.08%
997.44/997.62 c 998s| 10500 | 9605 | 4513k| 428.1 | 34M| 29 |1226 |1479 |2868 |1479 |2927 | 96 | 0 |6918 | 1.004000e+03 | 1.045000e+03 | 4.08%
1001.43/1001.62 c 1002s| 10600 | 9671 | 4535k| 426.1 | 34M| 29 |1314 |1479 |2868 |1479 |2927 | 96 | 0 |6931 | 1.004000e+03 | 1.045000e+03 | 4.08%
1008.82/1009.04 c 1009s| 10700 | 9745 | 4570k| 425.4 | 34M| 29 |1252 |1479 |2868 |1479 |2927 | 96 | 0 |6972 | 1.004000e+03 | 1.045000e+03 | 4.08%
1013.03/1013.26 c 1013s| 10800 | 9809 | 4590k| 423.3 | 35M| 29 |1239 |1479 |2868 |1479 |2927 | 96 | 0 |6997 | 1.004000e+03 | 1.045000e+03 | 4.08%
1019.22/1019.47 c 1019s| 10900 | 9877 | 4620k| 422.2 | 35M| 29 |1237 |1479 |2868 |1479 |2927 | 96 | 0 |7038 | 1.004000e+03 | 1.045000e+03 | 4.08%
1024.32/1024.52 c 1025s| 11000 | 9941 | 4644k| 420.5 | 35M| 29 |1223 |1479 |2868 |1479 |2927 | 96 | 0 |7073 | 1.004000e+03 | 1.045000e+03 | 4.08%
1030.93/1031.10 c 1031s| 11100 | 10011 | 4675k| 419.5 | 35M| 29 |1242 |1479 |2868 |1479 |2927 | 96 | 0 |7132 | 1.004000e+03 | 1.045000e+03 | 4.08%
1036.72/1036.90 c 1037s| 11200 | 10079 | 4704k| 418.4 | 35M| 29 |1198 |1479 |2868 |1479 |2927 | 96 | 0 |7174 | 1.004000e+03 | 1.045000e+03 | 4.08%
1043.42/1043.66 c 1044s| 11300 | 10155 | 4737k| 417.6 | 35M| 29 |1336 |1479 |2868 |1479 |2927 | 96 | 0 |7225 | 1.004000e+03 | 1.045000e+03 | 4.08%
1048.62/1048.83 c 1049s| 11400 | 10229 | 4763k| 416.1 | 35M| 29 |1265 |1479 |2868 |1479 |2927 | 96 | 0 |7259 | 1.004000e+03 | 1.045000e+03 | 4.08%
1054.12/1054.38 c 1054s| 11500 | 10295 | 4788k| 414.7 | 35M| 29 |1249 |1479 |2868 |1479 |2927 | 96 | 0 |7284 | 1.004000e+03 | 1.045000e+03 | 4.08%
1062.92/1063.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.92/1063.13 c 1063s| 11600 | 10355 | 4831k| 414.9 | 35M| 29 |1230 |1479 |2868 |1479 |2927 | 96 | 0 |7342 | 1.004000e+03 | 1.045000e+03 | 4.08%
1069.82/1070.05 c 1070s| 11700 | 10429 | 4866k| 414.3 | 36M| 29 |1284 |1479 |2868 |1479 |2927 | 96 | 0 |7387 | 1.004000e+03 | 1.045000e+03 | 4.08%
1075.91/1076.12 c 1076s| 11800 | 10509 | 4896k| 413.3 | 36M| 29 |1273 |1479 |2868 |1479 |2927 | 96 | 0 |7429 | 1.004000e+03 | 1.045000e+03 | 4.08%
1084.32/1084.57 c 1085s| 11900 | 10577 | 4939k| 413.4 | 36M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |7476 | 1.004000e+03 | 1.045000e+03 | 4.08%
1091.11/1091.39 c 1091s| 12000 | 10661 | 4971k| 412.7 | 36M| 29 |1206 |1479 |2868 |1479 |2927 | 96 | 0 |7533 | 1.004000e+03 | 1.045000e+03 | 4.08%
1098.62/1098.85 c 1099s| 12100 | 10727 | 5009k| 412.5 | 36M| 29 |1288 |1479 |2868 |1479 |2927 | 96 | 0 |7555 | 1.004000e+03 | 1.045000e+03 | 4.08%
1105.11/1105.30 c 1105s| 12200 | 10801 | 5041k| 411.7 | 36M| 29 |1378 |1479 |2868 |1479 |2927 | 96 | 0 |7624 | 1.004125e+03 | 1.045000e+03 | 4.07%
1110.40/1110.66 c 1111s| 12300 | 10859 | 5065k| 410.3 | 36M| 29 | - |1479 |2868 |1479 |2927 | 96 | 0 |7694 | 1.004167e+03 | 1.045000e+03 | 4.07%
1116.10/1116.30 c 1116s| 12400 | 10925 | 5092k| 409.2 | 36M| 29 |1299 |1479 |2868 |1479 |2927 | 96 | 0 |7731 | 1.004250e+03 | 1.045000e+03 | 4.06%
1123.40/1123.67 c 1124s| 12500 | 10993 | 5126k| 408.6 | 37M| 29 |1270 |1479 |2868 |1479 |2927 | 96 | 0 |7798 | 1.004250e+03 | 1.045000e+03 | 4.06%
1127.51/1127.79 c 1128s| 12600 | 11047 | 5146k| 407.0 | 37M| 29 |1163 |1479 |2868 |1479 |2927 | 96 | 0 |7825 | 1.004250e+03 | 1.045000e+03 | 4.06%
1133.20/1133.49 c 1133s| 12700 | 11101 | 5174k| 405.9 | 37M| 29 |1108 |1479 |2868 |1479 |2927 | 96 | 0 |7896 | 1.004250e+03 | 1.045000e+03 | 4.06%
1137.01/1137.22 c 1137s| 12800 | 11157 | 5191k| 404.1 | 37M| 29 |1210 |1479 |2868 |1479 |2927 | 96 | 0 |7929 | 1.004250e+03 | 1.045000e+03 | 4.06%
1141.10/1141.38 c 1141s| 12900 | 11207 | 5212k| 402.6 | 37M| 29 |1307 |1479 |2868 |1479 |2927 | 96 | 0 |7983 | 1.004250e+03 | 1.045000e+03 | 4.06%
1144.10/1144.35 c 1144s| 13000 | 11245 | 5224k| 400.4 | 37M| 34 |1242 |1479 |2868 |1479 |2927 | 96 | 0 |8052 | 1.004250e+03 | 1.045000e+03 | 4.06%
1149.80/1150.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.80/1150.08 c 1150s| 13100 | 11289 | 5251k| 399.4 | 37M| 34 |1066 |1479 |2868 |1479 |2927 | 96 | 0 |8095 | 1.004250e+03 | 1.045000e+03 | 4.06%
1153.61/1153.84 c 1154s| 13200 | 11305 | 5269k| 397.7 | 37M| 34 |1216 |1479 |2868 |1479 |2927 | 96 | 0 |8127 | 1.004250e+03 | 1.045000e+03 | 4.06%
1157.10/1157.36 c 1157s| 13300 | 11357 | 5285k| 396.0 | 37M| 34 | - |1479 |2868 |1479 |2927 | 96 | 0 |8162 | 1.004250e+03 | 1.045000e+03 | 4.06%
1161.19/1161.42 c 1161s| 13400 | 11409 | 5303k| 394.4 | 37M| 34 |1245 |1479 |2868 |1479 |2927 | 96 | 0 |8214 | 1.004250e+03 | 1.045000e+03 | 4.06%
1165.90/1166.17 c 1166s| 13500 | 11443 | 5328k| 393.3 | 37M| 34 |1200 |1479 |2868 |1479 |2927 | 96 | 0 |8257 | 1.004250e+03 | 1.045000e+03 | 4.06%
1170.11/1170.36 c 1170s| 13600 | 11487 | 5347k| 391.8 | 38M| 34 |1298 |1479 |2868 |1479 |2927 | 96 | 0 |8291 | 1.004375e+03 | 1.045000e+03 | 4.04%
1172.80/1173.04 c 1173s| 13700 | 11511 | 5360k| 389.9 | 38M| 34 | - |1479 |2868 |1479 |2927 | 96 | 0 |8317 | 1.004444e+03 | 1.045000e+03 | 4.04%
1175.29/1175.54 c 1176s| 13800 | 11547 | 5371k| 387.9 | 38M| 34 |1141 |1479 |2868 |1479 |2927 | 96 | 0 |8361 | 1.004500e+03 | 1.045000e+03 | 4.03%
1178.90/1179.15 c 1179s| 13900 | 11589 | 5391k| 386.5 | 38M| 34 |1221 |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1183.30/1183.53 c 1184s| 14000 | 11619 | 5417k| 385.6 | 38M| 34 |1214 |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1185.89/1186.13 c 1186s| 14100 | 11657 | 5432k| 383.9 | 38M| 34 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1189.49/1189.74 c 1190s| 14200 | 11673 | 5451k| 382.5 | 38M| 34 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1192.20/1192.46 c 1192s| 14300 | 11699 | 5466k| 380.9 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1193.69/1193.93 c 1194s| 14400 | 11709 | 5475k| 378.9 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1197.19/1197.46 c 1197s| 14500 | 11729 | 5495k| 377.7 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1198.80/1199.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.80/1199.06 c 1199s| 14600 | 11743 | 5504k| 375.7 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1201.69/1201.90 c 1202s| 14700 | 11785 | 5520k| 374.3 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1203.89/1204.13 c 1204s| 14800 | 11791 | 5533k| 372.6 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1206.80/1207.05 c 1207s| 14900 | 11803 | 5550k| 371.2 | 38M| 38 |1148 |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1210.99/1211.21 c 1211s| 15000 | 11811 | 5574k| 370.3 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1214.69/1214.90 c 1215s| 15100 | 11839 | 5592k| 369.1 | 38M| 38 |1225 |1479 |2868 |1479 |2927 | 96 | 0 |8364 | 1.004500e+03 | 1.045000e+03 | 4.03%
1219.60/1219.86 c 1220s| 15200 | 11871 | 5620k| 368.5 | 38M| 38 |1316 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1222.09/1222.30 c 1222s| 15300 | 11917 | 5635k| 367.1 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1225.49/1225.76 c 1226s| 15400 | 11941 | 5655k| 366.0 | 38M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1228.69/1228.96 c 1229s| 15500 | 11963 | 5673k| 364.8 | 39M| 38 | - |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1231.59/1231.90 c 1232s| 15600 | 11983 | 5690k| 363.5 | 39M| 38 |1090 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1233.69/1233.91 c 1234s| 15700 | 11999 | 5701k| 361.9 | 39M| 38 |1104 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1235.79/1236.00 c 1236s| 15800 | 12003 | 5712k| 360.3 | 39M| 38 |1124 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1237.58/1237.83 c 1238s| 15900 | 12013 | 5722k| 358.7 | 39M| 40 |1081 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1240.69/1240.99 c 1241s| 16000 | 12049 | 5740k| 357.6 | 39M| 40 |1128 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1243.49/1243.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.49/1243.73 c 1244s| 16100 | 12065 | 5758k| 356.5 | 39M| 40 |1109 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1244.59/1244.85 c 1245s| 16200 | 12067 | 5764k| 354.6 | 39M| 40 |1124 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1247.68/1247.90 c 1248s| 16300 | 12077 | 5781k| 353.5 | 39M| 40 |1126 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1248.88/1249.15 c 1249s| 16400 | 12077 | 5788k| 351.8 | 39M| 40 |1177 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1249.89/1250.10 c 1250s| 16500 | 12075 | 5794k| 350.0 | 39M| 41 | - |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1250.98/1251.23 c 1251s| 16600 | 12075 | 5800k| 348.3 | 39M| 43 |1131 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1254.58/1254.89 c 1255s| 16700 | 12091 | 5821k| 347.4 | 39M| 43 |1090 |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1257.09/1257.39 c 1257s| 16800 | 12103 | 5835k| 346.2 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8365 | 1.004500e+03 | 1.045000e+03 | 4.03%
1262.08/1262.33 c 1262s| 16900 | 12123 | 5858k| 345.5 | 39M| 43 |1145 |1479 |2868 |1479 |2927 | 96 | 0 |8387 | 1.004500e+03 | 1.045000e+03 | 4.03%
1266.58/1266.86 c 1267s| 17000 | 12139 | 5880k| 344.8 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8413 | 1.004500e+03 | 1.045000e+03 | 4.03%
1268.09/1268.34 c 1268s| 17100 | 12133 | 5887k| 343.2 | 39M| 43 |1131 |1479 |2868 |1479 |2927 | 96 | 0 |8423 | 1.004500e+03 | 1.045000e+03 | 4.03%
1270.19/1270.44 c 1270s| 17200 | 12135 | 5896k| 341.7 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8448 | 1.004500e+03 | 1.045000e+03 | 4.03%
1273.49/1273.72 c 1274s| 17300 | 12143 | 5911k| 340.6 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8469 | 1.004500e+03 | 1.045000e+03 | 4.03%
1276.68/1276.90 c 1277s| 17400 | 12153 | 5928k| 339.6 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8488 | 1.004500e+03 | 1.045000e+03 | 4.03%
1280.29/1280.58 c 1281s| 17500 | 12165 | 5947k| 338.8 | 39M| 43 |1130 |1479 |2868 |1479 |2927 | 96 | 0 |8508 | 1.004500e+03 | 1.045000e+03 | 4.03%
1283.18/1283.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.18/1283.41 c 1283s| 17600 | 12171 | 5958k| 337.5 | 39M| 43 |1076 |1479 |2868 |1479 |2927 | 96 | 0 |8534 | 1.004500e+03 | 1.045000e+03 | 4.03%
1287.18/1287.46 c 1287s| 17700 | 12187 | 5978k| 336.7 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8554 | 1.004500e+03 | 1.045000e+03 | 4.03%
1290.58/1290.84 c 1291s| 17800 | 12199 | 5996k| 335.8 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8563 | 1.004500e+03 | 1.045000e+03 | 4.03%
1292.98/1293.25 c 1293s| 17900 | 12209 | 6007k| 334.6 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8573 | 1.004500e+03 | 1.045000e+03 | 4.03%
1295.37/1295.65 c 1296s| 18000 | 12217 | 6018k| 333.3 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8593 | 1.004500e+03 | 1.045000e+03 | 4.03%
1297.88/1298.19 c 1298s| 18100 | 12223 | 6029k| 332.1 | 39M| 43 | - |1479 |2868 |1479 |2927 | 96 | 0 |8610 | 1.004500e+03 | 1.045000e+03 | 4.03%
1300.18/1300.44 c 1300s| 18200 | 12223 | 6040k| 330.8 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8631 | 1.004500e+03 | 1.045000e+03 | 4.03%
1302.08/1302.34 c 1302s| 18300 | 12229 | 6050k| 329.6 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8643 | 1.004500e+03 | 1.045000e+03 | 4.03%
1305.78/1306.00 c 1306s| 18400 | 12239 | 6068k| 328.8 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8664 | 1.004500e+03 | 1.045000e+03 | 4.03%
1310.78/1311.02 c 1311s| 18500 | 12257 | 6092k| 328.3 | 39M| 48 |1144 |1479 |2868 |1479 |2927 | 96 | 0 |8688 | 1.004500e+03 | 1.045000e+03 | 4.03%
1314.48/1314.72 c 1315s| 18600 | 12267 | 6110k| 327.5 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8709 | 1.004500e+03 | 1.045000e+03 | 4.03%
1316.58/1316.89 c 1317s| 18700 | 12269 | 6120k| 326.3 | 39M| 48 |1084 |1479 |2868 |1479 |2927 | 96 | 0 |8725 | 1.004500e+03 | 1.045000e+03 | 4.03%
1320.17/1320.43 c 1320s| 18800 | 12285 | 6137k| 325.4 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8754 | 1.004500e+03 | 1.045000e+03 | 4.03%
1323.77/1324.03 c 1324s| 18900 | 12303 | 6152k| 324.5 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8778 | 1.004500e+03 | 1.045000e+03 | 4.03%
1325.48/1325.70 c 1326s| 19000 | 12307 | 6162k| 323.3 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8778 | 1.004500e+03 | 1.045000e+03 | 4.03%
1329.27/1329.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.27/1329.53 c 1330s| 19100 | 12321 | 6181k| 322.6 | 39M| 48 |1077 |1479 |2868 |1479 |2927 | 96 | 0 |8797 | 1.004500e+03 | 1.045000e+03 | 4.03%
1331.17/1331.48 c 1331s| 19200 | 12325 | 6190k| 321.5 | 39M| 48 |1107 |1479 |2868 |1479 |2927 | 96 | 0 |8816 | 1.004500e+03 | 1.045000e+03 | 4.03%
1333.67/1333.99 c 1334s| 19300 | 12329 | 6201k| 320.4 | 39M| 48 |1143 |1479 |2868 |1479 |2927 | 96 | 0 |8831 | 1.004583e+03 | 1.045000e+03 | 4.02%
1337.58/1337.83 c 1338s| 19400 | 12337 | 6220k| 319.7 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8860 | 1.004583e+03 | 1.045000e+03 | 4.02%
1340.37/1340.67 c 1341s| 19500 | 12345 | 6234k| 318.7 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8879 | 1.004625e+03 | 1.045000e+03 | 4.02%
1342.47/1342.74 c 1343s| 19600 | 12345 | 6242k| 317.5 | 39M| 48 |1045 |1479 |2868 |1479 |2927 | 96 | 0 |8899 | 1.004625e+03 | 1.045000e+03 | 4.02%
1344.37/1344.64 c 1345s| 19700 | 12347 | 6252k| 316.4 | 39M| 48 |1114 |1479 |2868 |1479 |2927 | 96 | 0 |8915 | 1.004625e+03 | 1.045000e+03 | 4.02%
1345.98/1346.20 c 1346s| 19800 | 12347 | 6259k| 315.2 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8933 | 1.004625e+03 | 1.045000e+03 | 4.02%
1350.67/1350.95 c 1351s| 19900 | 12365 | 6282k| 314.7 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |8959 | 1.004667e+03 | 1.045000e+03 | 4.01%
1353.37/1353.60 c 1354s| 20000 | 12373 | 6295k| 313.8 | 39M| 48 |1050 |1479 |2868 |1479 |2927 | 96 | 0 |8984 | 1.004667e+03 | 1.045000e+03 | 4.01%
1355.37/1355.64 c 1356s| 20100 | 12371 | 6305k| 312.8 | 39M| 48 |1136 |1479 |2868 |1479 |2927 | 96 | 0 |9000 | 1.004708e+03 | 1.045000e+03 | 4.01%
1359.57/1359.89 c 1360s| 20200 | 12385 | 6326k| 312.3 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9029 | 1.004750e+03 | 1.045000e+03 | 4.01%
1361.76/1362.06 c 1362s| 20300 | 12389 | 6335k| 311.1 | 39M| 48 |1130 |1479 |2868 |1479 |2927 | 96 | 0 |9054 | 1.004750e+03 | 1.045000e+03 | 4.01%
1365.36/1365.69 c 1366s| 20400 | 12405 | 6355k| 310.6 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9076 | 1.004750e+03 | 1.045000e+03 | 4.01%
1367.27/1367.50 c 1368s| 20500 | 12411 | 6363k| 309.5 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9085 | 1.004750e+03 | 1.045000e+03 | 4.01%
1370.16/1370.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.16/1370.41 c 1370s| 20600 | 12423 | 6376k| 308.6 | 39M| 48 |1105 |1479 |2868 |1479 |2927 | 96 | 0 |9113 | 1.004750e+03 | 1.045000e+03 | 4.01%
1372.17/1372.46 c 1372s| 20700 | 12427 | 6386k| 307.6 | 39M| 48 |1121 |1479 |2868 |1479 |2927 | 96 | 0 |9125 | 1.004750e+03 | 1.045000e+03 | 4.01%
1374.67/1374.97 c 1375s| 20800 | 12437 | 6398k| 306.7 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9141 | 1.004750e+03 | 1.045000e+03 | 4.01%
1378.36/1378.61 c 1379s| 20900 | 12449 | 6414k| 306.0 | 39M| 48 |1146 |1479 |2868 |1479 |2927 | 96 | 0 |9167 | 1.004750e+03 | 1.045000e+03 | 4.01%
1381.76/1382.03 c 1382s| 21000 | 12469 | 6431k| 305.3 | 39M| 48 |1213 |1479 |2868 |1479 |2927 | 96 | 0 |9198 | 1.004750e+03 | 1.045000e+03 | 4.01%
1384.76/1385.09 c 1385s| 21100 | 12491 | 6445k| 304.6 | 39M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9218 | 1.004750e+03 | 1.045000e+03 | 4.01%
1388.07/1388.36 c 1388s| 21200 | 12499 | 6458k| 303.8 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9261 | 1.004750e+03 | 1.045000e+03 | 4.01%
1391.97/1392.29 c 1392s| 21300 | 12525 | 6477k| 303.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9273 | 1.004750e+03 | 1.045000e+03 | 4.01%
1393.86/1394.13 c 1394s| 21400 | 12533 | 6486k| 302.2 | 40M| 48 |1121 |1479 |2868 |1479 |2927 | 96 | 0 |9286 | 1.004750e+03 | 1.045000e+03 | 4.01%
1397.16/1397.43 c 1397s| 21500 | 12549 | 6501k| 301.5 | 40M| 48 |1100 |1479 |2868 |1479 |2927 | 96 | 0 |9301 | 1.004750e+03 | 1.045000e+03 | 4.01%
1399.66/1399.93 c 1400s| 21600 | 12555 | 6512k| 300.6 | 40M| 48 |1086 |1479 |2868 |1479 |2927 | 96 | 0 |9325 | 1.004750e+03 | 1.045000e+03 | 4.01%
1402.47/1402.75 c 1403s| 21700 | 12563 | 6524k| 299.8 | 40M| 48 |1100 |1479 |2868 |1479 |2927 | 96 | 0 |9342 | 1.004750e+03 | 1.045000e+03 | 4.01%
1405.06/1405.30 c 1405s| 21800 | 12573 | 6538k| 299.1 | 40M| 48 |1138 |1479 |2868 |1479 |2927 | 96 | 0 |9370 | 1.004750e+03 | 1.045000e+03 | 4.01%
1408.36/1408.68 c 1409s| 21900 | 12583 | 6553k| 298.4 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9407 | 1.004750e+03 | 1.045000e+03 | 4.01%
1411.66/1411.94 c 1412s| 22000 | 12599 | 6569k| 297.8 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9428 | 1.004944e+03 | 1.045000e+03 | 3.99%
1415.16/1415.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.16/1415.45 c 1415s| 22100 | 12613 | 6584k| 297.1 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9455 | 1.005000e+03 | 1.045000e+03 | 3.98%
1416.46/1416.80 c 1417s| 22200 | 12613 | 6590k| 296.0 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9471 | 1.005000e+03 | 1.045000e+03 | 3.98%
1418.67/1418.98 c 1419s| 22300 | 12617 | 6600k| 295.1 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9496 | 1.005000e+03 | 1.045000e+03 | 3.98%
1420.76/1421.04 c 1421s| 22400 | 12621 | 6609k| 294.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9509 | 1.005000e+03 | 1.045000e+03 | 3.98%
1424.17/1424.48 c 1424s| 22500 | 12639 | 6625k| 293.6 | 40M| 48 |1095 |1479 |2868 |1479 |2927 | 96 | 0 |9533 | 1.005000e+03 | 1.045000e+03 | 3.98%
1426.86/1427.17 c 1427s| 22600 | 12649 | 6636k| 292.8 | 40M| 48 |1108 |1479 |2868 |1479 |2927 | 96 | 0 |9570 | 1.005000e+03 | 1.045000e+03 | 3.98%
1428.26/1428.55 c 1429s| 22700 | 12653 | 6644k| 291.9 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9570 | 1.005000e+03 | 1.045000e+03 | 3.98%
1430.36/1430.63 c 1431s| 22800 | 12655 | 6653k| 291.0 | 40M| 48 |1116 |1479 |2868 |1479 |2927 | 96 | 0 |9619 | 1.005000e+03 | 1.045000e+03 | 3.98%
1431.55/1431.82 c 1432s| 22900 | 12653 | 6658k| 289.9 | 40M| 48 |1130 |1479 |2868 |1479 |2927 | 96 | 0 |9637 | 1.005000e+03 | 1.045000e+03 | 3.98%
1433.96/1434.29 c 1434s| 23000 | 12661 | 6670k| 289.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9648 | 1.005000e+03 | 1.045000e+03 | 3.98%
1436.06/1436.37 c 1436s| 23100 | 12667 | 6681k| 288.4 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9658 | 1.005000e+03 | 1.045000e+03 | 3.98%
1438.47/1438.76 c 1439s| 23200 | 12671 | 6690k| 287.6 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9700 | 1.005000e+03 | 1.045000e+03 | 3.98%
1441.46/1441.75 c 1442s| 23300 | 12679 | 6704k| 286.9 | 40M| 48 |1140 |1479 |2868 |1479 |2927 | 96 | 0 |9719 | 1.005000e+03 | 1.045000e+03 | 3.98%
1444.07/1444.33 c 1444s| 23400 | 12685 | 6717k| 286.3 | 40M| 48 |1132 |1479 |2868 |1479 |2927 | 96 | 0 |9735 | 1.005000e+03 | 1.045000e+03 | 3.98%
1447.45/1447.75 c 1448s| 23500 | 12703 | 6733k| 285.7 | 40M| 48 |1101 |1479 |2868 |1479 |2927 | 96 | 0 |9764 | 1.005000e+03 | 1.045000e+03 | 3.98%
1449.25/1449.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.25/1449.56 c 1450s| 23600 | 12707 | 6741k| 284.9 | 40M| 48 |1115 |1479 |2868 |1479 |2927 | 96 | 0 |9780 | 1.005000e+03 | 1.045000e+03 | 3.98%
1450.45/1450.76 c 1451s| 23700 | 12707 | 6746k| 283.9 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9793 | 1.005000e+03 | 1.045000e+03 | 3.98%
1451.96/1452.21 c 1452s| 23800 | 12707 | 6751k| 282.9 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9834 | 1.005000e+03 | 1.045000e+03 | 3.98%
1454.36/1454.63 c 1455s| 23900 | 12719 | 6766k| 282.3 | 40M| 48 |1137 |1479 |2868 |1479 |2927 | 96 | 0 |9834 | 1.005000e+03 | 1.045000e+03 | 3.98%
1455.65/1455.99 c 1456s| 24000 | 12719 | 6771k| 281.4 | 40M| 48 |1122 |1479 |2868 |1479 |2927 | 96 | 0 |9859 | 1.005000e+03 | 1.045000e+03 | 3.98%
1456.56/1456.85 c 1457s| 24100 | 12721 | 6777k| 280.4 | 40M| 48 |1101 |1479 |2868 |1479 |2927 | 96 | 0 |9859 | 1.005000e+03 | 1.045000e+03 | 3.98%
1458.65/1458.99 c 1459s| 24200 | 12725 | 6787k| 279.7 | 40M| 48 |1128 |1479 |2868 |1479 |2927 | 96 | 0 |9884 | 1.005000e+03 | 1.045000e+03 | 3.98%
1460.66/1460.91 c 1461s| 24300 | 12731 | 6795k| 278.9 | 40M| 48 |1129 |1479 |2868 |1479 |2927 | 96 | 0 |9911 | 1.005000e+03 | 1.045000e+03 | 3.98%
1462.26/1462.53 c 1463s| 24400 | 12735 | 6804k| 278.1 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9923 | 1.005000e+03 | 1.045000e+03 | 3.98%
1464.36/1464.69 c 1465s| 24500 | 12737 | 6813k| 277.3 | 40M| 48 |1105 |1479 |2868 |1479 |2927 | 96 | 0 |9957 | 1.005000e+03 | 1.045000e+03 | 3.98%
1465.55/1465.80 c 1466s| 24600 | 12739 | 6819k| 276.4 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9960 | 1.005000e+03 | 1.045000e+03 | 3.98%
1466.35/1466.65 c 1467s| 24700 | 12741 | 6824k| 275.5 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9960 | 1.005000e+03 | 1.045000e+03 | 3.98%
1467.85/1468.14 c 1468s| 24800 | 12747 | 6831k| 274.7 | 40M| 48 |1075 |1479 |2868 |1479 |2927 | 96 | 0 |9971 | 1.005000e+03 | 1.045000e+03 | 3.98%
1469.55/1469.82 c 1470s| 24900 | 12749 | 6841k| 274.0 | 40M| 48 |1084 |1479 |2868 |1479 |2927 | 96 | 0 |9971 | 1.005000e+03 | 1.045000e+03 | 3.98%
1470.55/1470.82 c 1471s| 25000 | 12749 | 6847k| 273.1 | 40M| 48 |1152 |1479 |2868 |1479 |2927 | 96 | 0 |9971 | 1.005000e+03 | 1.045000e+03 | 3.98%
1472.75/1473.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.75/1473.05 c 1473s| 25100 | 12753 | 6860k| 272.6 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9971 | 1.005000e+03 | 1.045000e+03 | 3.98%
1474.65/1474.94 c 1475s| 25200 | 12759 | 6870k| 271.9 | 40M| 48 |1128 |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1477.35/1477.63 c 1478s| 25300 | 12769 | 6887k| 271.5 | 40M| 48 |1107 |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1478.35/1478.62 c 1479s| 25400 | 12769 | 6893k| 270.6 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1479.65/1479.96 c 1480s| 25500 | 12773 | 6901k| 269.9 | 40M| 48 |1169 |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1481.45/1481.73 c 1482s| 25600 | 12779 | 6911k| 269.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1482.35/1482.62 c 1483s| 25700 | 12779 | 6916k| 268.4 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1483.75/1484.04 c 1484s| 25800 | 12785 | 6924k| 267.7 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1485.45/1485.77 c 1486s| 25900 | 12791 | 6933k| 267.0 | 40M| 48 |1131 |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1487.05/1487.37 c 1487s| 26000 | 12793 | 6942k| 266.3 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9972 | 1.005000e+03 | 1.045000e+03 | 3.98%
1491.44/1491.76 c 1492s| 26100 | 12815 | 6968k| 266.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1496.35/1496.65 c 1497s| 26200 | 12843 | 6994k| 266.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1499.55/1499.80 c 1500s| 26300 | 12859 | 7011k| 265.9 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1502.35/1502.66 c 1503s| 26400 | 12875 | 7028k| 265.5 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1504.45/1504.72 c 1505s| 26500 | 12885 | 7040k| 265.0 | 40M| 48 |1189 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1505.74/1506.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.74/1506.02 c 1506s| 26600 | 12891 | 7047k| 264.2 | 40M| 48 |1230 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1507.95/1508.22 c 1508s| 26700 | 12903 | 7060k| 263.7 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1511.45/1511.75 c 1512s| 26800 | 12921 | 7078k| 263.4 | 40M| 48 |1154 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1513.65/1513.99 c 1514s| 26900 | 12927 | 7091k| 262.9 | 40M| 48 |1324 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1517.54/1517.87 c 1518s| 27000 | 12963 | 7112k| 262.7 | 40M| 48 |1148 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1519.64/1519.97 c 1520s| 27100 | 12971 | 7124k| 262.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1521.14/1521.48 c 1521s| 27200 | 12975 | 7133k| 261.5 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1522.24/1522.52 c 1523s| 27300 | 12981 | 7139k| 260.8 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1523.84/1524.10 c 1524s| 27400 | 12981 | 7147k| 260.2 | 40M| 48 |1051 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1528.24/1528.57 c 1529s| 27500 | 13011 | 7173k| 260.2 | 40M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1530.54/1530.84 c 1531s| 27600 | 13023 | 7186k| 259.7 | 40M| 48 |1172 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1532.04/1532.35 c 1532s| 27700 | 13025 | 7194k| 259.0 | 40M| 48 |1145 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1535.35/1535.62 c 1536s| 27800 | 13039 | 7214k| 258.8 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1537.24/1537.52 c 1538s| 27900 | 13045 | 7224k| 258.3 | 41M| 48 |1143 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1539.14/1539.40 c 1539s| 28000 | 13051 | 7234k| 257.7 | 41M| 48 |1124 |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1540.75/1541.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1540.75/1541.02 c 1541s| 28100 | 13053 | 7243k| 257.1 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9973 | 1.005000e+03 | 1.045000e+03 | 3.98%
1546.54/1546.81 c 1547s| 28200 | 13099 | 7278k| 257.4 | 41M| 48 |1230 |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1549.84/1550.11 c 1550s| 28300 | 13129 | 7296k| 257.2 | 41M| 48 |1312 |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1551.64/1551.99 c 1552s| 28400 | 13143 | 7307k| 256.6 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1554.14/1554.46 c 1554s| 28500 | 13157 | 7321k| 256.2 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1556.24/1556.52 c 1557s| 28600 | 13165 | 7332k| 255.7 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1558.53/1558.87 c 1559s| 28700 | 13177 | 7346k| 255.3 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1560.34/1560.64 c 1561s| 28800 | 13189 | 7356k| 254.8 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1561.54/1561.87 c 1562s| 28900 | 13195 | 7363k| 254.1 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1563.44/1563.76 c 1564s| 29000 | 13203 | 7373k| 253.6 | 41M| 48 |1140 |1479 |2868 |1479 |2927 | 96 | 0 |9974 | 1.005000e+03 | 1.045000e+03 | 3.98%
1568.64/1568.93 c 1569s| 29100 | 13219 | 7399k| 253.6 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 |9992 | 1.005000e+03 | 1.045000e+03 | 3.98%
1571.83/1572.17 c 1572s| 29200 | 13233 | 7415k| 253.3 | 41M| 48 |1069 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1574.44/1574.72 c 1575s| 29300 | 13237 | 7427k| 252.9 | 41M| 48 |1083 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1577.34/1577.64 c 1578s| 29400 | 13245 | 7441k| 252.5 | 41M| 48 |1132 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1581.84/1582.13 c 1582s| 29500 | 13269 | 7464k| 252.4 | 41M| 48 |1139 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1588.33/1588.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.33/1588.63 c 1589s| 29600 | 13299 | 7496k| 252.6 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1591.23/1591.55 c 1592s| 29700 | 13311 | 7511k| 252.3 | 41M| 48 |1115 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1594.54/1594.87 c 1595s| 29800 | 13327 | 7528k| 252.0 | 41M| 48 |1071 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1596.53/1596.83 c 1597s| 29900 | 13331 | 7536k| 251.4 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1598.54/1598.83 c 1599s| 30000 | 13331 | 7544k| 250.8 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1599.83/1600.18 c 1600s| 30100 | 13333 | 7552k| 250.3 | 41M| 48 |1137 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1601.83/1602.19 c 1602s| 30200 | 13337 | 7562k| 249.8 | 41M| 48 |1115 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1603.54/1603.82 c 1604s| 30300 | 13335 | 7570k| 249.2 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1605.74/1606.01 c 1606s| 30400 | 13337 | 7579k| 248.7 | 41M| 48 |1074 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1607.83/1608.19 c 1608s| 30500 | 13341 | 7589k| 248.2 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1609.93/1610.22 c 1610s| 30600 | 13347 | 7600k| 247.8 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1611.83/1612.15 c 1612s| 30700 | 13351 | 7608k| 247.2 | 41M| 48 |1104 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1614.63/1614.96 c 1615s| 30800 | 13359 | 7623k| 246.9 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1616.33/1616.64 c 1617s| 30900 | 13359 | 7631k| 246.3 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1620.04/1620.39 c 1620s| 31000 | 13369 | 7647k| 246.1 | 41M| 48 |1140 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1621.53/1621.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.53/1621.84 c 1622s| 31100 | 13373 | 7655k| 245.5 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1624.92/1625.27 c 1625s| 31200 | 13385 | 7673k| 245.3 | 41M| 48 |1060 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1628.33/1628.66 c 1629s| 31300 | 13391 | 7689k| 245.1 | 41M| 48 |1073 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1631.72/1632.01 c 1632s| 31400 | 13403 | 7706k| 244.8 | 41M| 48 |1123 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1634.02/1634.34 c 1634s| 31500 | 13407 | 7717k| 244.4 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1635.33/1635.66 c 1636s| 31600 | 13411 | 7724k| 243.8 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1637.03/1637.38 c 1637s| 31700 | 13411 | 7732k| 243.3 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1642.83/1643.18 c 1643s| 31800 | 13439 | 7760k| 243.4 | 41M| 48 |1083 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1644.23/1644.52 c 1645s| 31900 | 13435 | 7766k| 242.9 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1648.22/1648.57 c 1649s| 32000 | 13447 | 7786k| 242.7 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1650.62/1650.94 c 1651s| 32100 | 13453 | 7798k| 242.3 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1653.32/1653.63 c 1654s| 32200 | 13459 | 7810k| 242.0 | 41M| 48 |1139 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1655.02/1655.33 c 1655s| 32300 | 13459 | 7817k| 241.4 | 41M| 48 |1036 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1656.93/1657.26 c 1657s| 32400 | 13461 | 7826k| 241.0 | 41M| 48 |1057 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1660.53/1660.84 c 1661s| 32500 | 13469 | 7844k| 240.8 | 41M| 48 |1144 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1663.73/1664.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.73/1664.07 c 1664s| 32600 | 13479 | 7862k| 240.6 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1667.33/1667.66 c 1668s| 32700 | 13483 | 7879k| 240.4 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1670.82/1671.13 c 1671s| 32800 | 13491 | 7896k| 240.2 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1673.72/1674.06 c 1674s| 32900 | 13501 | 7910k| 239.8 | 41M| 48 |1053 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1676.32/1676.64 c 1677s| 33000 | 13507 | 7921k| 239.5 | 41M| 48 |1160 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1678.72/1679.05 c 1679s| 33100 | 13513 | 7933k| 239.1 | 41M| 48 |1113 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1681.63/1681.97 c 1682s| 33200 | 13521 | 7948k| 238.8 | 41M| 48 |1154 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1684.42/1684.75 c 1685s| 33300 | 13523 | 7960k| 238.5 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1685.62/1685.94 c 1686s| 33400 | 13521 | 7967k| 238.0 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1689.12/1689.43 c 1689s| 33500 | 13531 | 7984k| 237.8 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1691.43/1691.74 c 1692s| 33600 | 13535 | 7995k| 237.4 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1693.41/1693.78 c 1694s| 33700 | 13539 | 8005k| 237.0 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1696.62/1696.92 c 1697s| 33800 | 13553 | 8020k| 236.7 | 41M| 48 |1139 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1697.71/1698.01 c 1698s| 33900 | 13549 | 8025k| 236.2 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005000e+03 | 1.045000e+03 | 3.98%
1701.32/1701.63 c 1702s| 34000 | 13563 | 8044k| 236.0 | 41M| 48 |1121 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005125e+03 | 1.045000e+03 | 3.97%
1703.41/1703.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.41/1703.72 c 1704s| 34100 | 13565 | 8053k| 235.6 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005200e+03 | 1.045000e+03 | 3.96%
1705.21/1705.52 c 1706s| 34200 | 13565 | 8061k| 235.2 | 41M| 48 |1111 |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005200e+03 | 1.045000e+03 | 3.96%
1708.11/1708.46 c 1708s| 34300 | 13569 | 8074k| 234.9 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 10k| 1.005250e+03 | 1.045000e+03 | 3.95%
1710.81/1711.13 c 1711s| 34400 | 13575 | 8088k| 234.6 | 41M| 48 |1145 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1713.81/1714.18 c 1714s| 34500 | 13583 | 8104k| 234.4 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1716.02/1716.39 c 1716s| 34600 | 13587 | 8114k| 234.0 | 41M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1719.62/1719.97 c 1720s| 34700 | 13597 | 8132k| 233.8 | 42M| 48 |1167 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1721.22/1721.54 c 1722s| 34800 | 13599 | 8139k| 233.3 | 42M| 48 |1093 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1723.32/1723.66 c 1724s| 34900 | 13605 | 8150k| 233.0 | 42M| 48 |1061 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1726.72/1727.07 c 1727s| 35000 | 13613 | 8166k| 232.8 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1729.22/1729.56 c 1730s| 35100 | 13617 | 8176k| 232.4 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1731.12/1731.48 c 1731s| 35200 | 13623 | 8186k| 232.0 | 42M| 48 |1140 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1732.31/1732.60 c 1733s| 35300 | 13625 | 8191k| 231.5 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1734.81/1735.18 c 1735s| 35400 | 13631 | 8203k| 231.2 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1738.31/1738.67 c 1739s| 35500 | 13647 | 8219k| 231.0 | 42M| 48 |1125 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1740.21/1740.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.21/1740.51 c 1741s| 35600 | 13653 | 8228k| 230.6 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1744.81/1745.11 c 1745s| 35700 | 13675 | 8251k| 230.6 | 42M| 48 |1151 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1745.71/1746.01 c 1746s| 35800 | 13673 | 8256k| 230.1 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1749.11/1749.48 c 1749s| 35900 | 13687 | 8273k| 229.9 | 42M| 48 |1128 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1751.01/1751.35 c 1751s| 36000 | 13685 | 8282k| 229.5 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1754.30/1754.64 c 1755s| 36100 | 13699 | 8298k| 229.4 | 42M| 48 |1139 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1760.01/1760.32 c 1760s| 36200 | 13741 | 8325k| 229.4 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1762.61/1762.95 c 1763s| 36300 | 13749 | 8336k| 229.1 | 42M| 48 | - |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005250e+03 | 1.045000e+03 | 3.95%
1769.62/1769.96 c 1770s| 36400 | 13799 | 8372k| 229.5 | 42M| 48 |1268 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005333e+03 | 1.045000e+03 | 3.95%
1772.70/1773.07 c 1773s| 36500 | 13811 | 8387k| 229.3 | 42M| 48 |1152 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005333e+03 | 1.045000e+03 | 3.95%
1773.80/1774.15 c 1774s| 36600 | 13811 | 8392k| 228.8 | 42M| 48 |1177 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005333e+03 | 1.045000e+03 | 3.95%
1775.71/1776.08 c 1776s| 36700 | 13823 | 8402k| 228.4 | 42M| 48 |1172 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005333e+03 | 1.045000e+03 | 3.95%
1780.01/1780.35 c 1780s| 36800 | 13847 | 8421k| 228.3 | 42M| 48 |1166 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005375e+03 | 1.045000e+03 | 3.94%
1781.10/1781.45 c 1781s| 36900 | 13847 | 8427k| 227.9 | 42M| 48 |1148 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005375e+03 | 1.045000e+03 | 3.94%
1785.81/1786.17 c 1786s| 37000 | 13871 | 8451k| 227.9 | 42M| 48 |1118 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005500e+03 | 1.045000e+03 | 3.93%
1789.31/1789.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.31/1789.61 c 1790s| 37100 | 13881 | 8468k| 227.7 | 42M| 48 |1179 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005500e+03 | 1.045000e+03 | 3.93%
1793.00/1793.33 c 1793s| 37200 | 13913 | 8487k| 227.6 | 42M| 48 |1142 |1479 |2868 |1479 |2927 | 96 | 0 | 11k| 1.005500e+03 | 1.045000e+03 | 3.93%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 37264
1796.70/1797.00 c Primal Bound : +1.04500000000000e+03 (915 solutions)
1796.70/1797.00 c Dual Bound : +1.00550000000000e+03
1796.70/1797.00 c Gap : 3.93 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v x1968 -x1967 x1966 x1965 x1964 x1963 x1962 x1961 -x1960 -x1959 -x1958 -x1957 x1956 -x1955 x1954 x1953 x1952 x1951 -x1950 -x1949
1796.70/1797.00 v x1948 x1947 -x1946 -x1945 -x1944 -x1943 x1942 x1941 x1940 x1939 x1938 -x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 -x1930
1796.70/1797.00 v x1929 -x1928 x1927 -x1926 x1925 x1924 x1923 -x1922 -x1921 -x1920 x1919 -x1918 -x1917 x1916 -x1915 x1914 x1913 x1912 x1911 -x1910
1796.70/1797.00 v x1909 -x1908 -x1907 x1906 x1905 -x1904 x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 -x1894 x1893 x1892 -x1891
1796.70/1797.00 v -x1890 -x1889 x1888 x1887 -x1886 -x1885 x1884 -x1883 x1882 x1881 x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872
1796.70/1797.00 v -x1871 x1870 -x1869 -x1868 x1867 x1866 x1865 x1864 -x1863 -x1862 x1861 x1860 x1859 x1858 x1857 x1856 -x1855 x1854 x1853 -x1852
1796.70/1797.00 v x1851 -x1850 -x1849 x1848 x1847 x1846 -x1845 x1844 x1843 -x1842 -x1841 -x1840 x1839 x1838 -x1837 x1836 x1835 -x1834 x1833
1796.70/1797.00 v -x1832 -x1831 x1830 x1829 x1828 x1827 x1826 -x1825 -x1824 x1823 x1822 x1821 -x1820 x1819 x1818 x1817 -x1816 x1815 x1814 -x1813
1796.70/1797.00 v -x1812 x1811 -x1810 x1809 -x1808 -x1807 x1806 -x1805 x1804 x1803 x1802 x1801 -x1800 -x1799 x1798 x1797 -x1796 x1795 x1794
1796.70/1797.00 v x1793 -x1792 -x1791 x1790 -x1789 -x1788 x1787 -x1786 x1785 -x1784 x1783 x1782 x1781 x1780 -x1779 -x1778 x1777 -x1776 -x1775
1796.70/1797.00 v -x1774 x1773 x1772 -x1771 x1770 -x1769 x1768 -x1767 -x1766 x1765 x1764 -x1763 -x1762 x1761 -x1760 -x1759 -x1758 -x1757 x1756
1796.70/1797.00 v -x1755 -x1754 x1753 -x1752 x1751 -x1750 x1749 x1748 x1747 -x1746 -x1745 x1744 -x1743 x1742 x1741 -x1740 x1739 x1738 x1737 -x1736
1796.70/1797.00 v -x1735 -x1734 -x1733 x1732 -x1731 x1730 -x1729 x1728 x1727 x1726 x1725 -x1724 x1723 x1722 x1721 x1720 -x1719 x1718 -x1717
1796.70/1797.00 v -x1716 x1715 x1714 x1713 -x1712 -x1711 x1710 x1709 x1708 -x1707 -x1706 x1705 x1704 -x1703 x1702 x1701 x1700 x1699 x1698 -x1697
1796.70/1797.00 v x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 x1683 x1682 x1681 x1680 -x1679 x1678
1796.70/1797.00 v -x1677 -x1676 -x1675 -x1674 x1673 x1672 -x1671 -x1670 x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 -x1660 x1659 x1658
1796.70/1797.00 v x1657 -x1656 x1655 -x1654 x1653 x1652 x1651 x1650 x1649 x1648 x1647 -x1646 x1645 -x1644 -x1643 x1642 x1641 x1640 -x1639 x1638
1796.70/1797.00 v -x1637 -x1636 -x1635 x1634 x1633 x1632 x1631 x1630 x1629 -x1628 x1627 x1626 -x1625 x1624 -x1623 -x1622 x1621 x1620 x1619
1796.70/1797.00 v -x1618 -x1617 x1616 x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 x1605 -x1604 x1603 -x1602 -x1601 x1600 -x1599
1796.70/1797.00 v -x1598 -x1597 x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 x1585 x1584 x1583 -x1582 x1581
1796.70/1797.00 v -x1580 x1579 -x1578 -x1577 -x1576 x1575 x1574 x1573 -x1572 -x1571 x1570 -x1569 -x1568 x1567 x1566 x1565 x1564 -x1563 x1562 x1561
1796.70/1797.00 v -x1560 x1559 x1558 x1557 x1556 -x1555 x1554 x1553 -x1552 x1551 x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543 -x1542
1796.70/1797.00 v -x1541 -x1540 -x1539 -x1538 x1537 -x1536 x1535 -x1534 x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 x1526 x1525 -x1524 -x1523
1796.70/1797.00 v x1522 -x1521 x1520 -x1519 x1518 -x1517 -x1516 x1515 x1514 x1513 x1512 x1511 -x1510 -x1509 -x1508 -x1507 x1506 x1505 -x1504
1796.70/1797.00 v x1503 -x1502 -x1501 x1500 x1499 -x1498 -x1497 x1496 x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485
1796.70/1797.00 v -x1484 -x1483 x1482 x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 -x1474 -x1473 -x1472 x1471 -x1470 x1469 x1468 -x1467 x1466
1796.70/1797.00 v x1465 x1464 -x1463 -x1462 x1461 x1460 -x1459 x1458 -x1457 -x1456 -x1455 x1454 x1453 x1452 x1451 -x1450 x1449 x1448 x1447 x1446
1796.70/1797.00 v x1445 x1444 -x1443 x1442 x1441 x1440 -x1439 -x1438 x1437 x1436 -x1435 -x1434 x1433 x1432 x1431 -x1430 -x1429 x1428 -x1427 x1426
1796.70/1797.00 v x1425 x1424 x1423 x1422 -x1421 -x1420 x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 x1412 x1411 x1410 -x1409 -x1408 x1407
1796.70/1797.00 v -x1406 -x1405 x1404 x1403 x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396 x1395 x1394 -x1393 x1392 -x1391 -x1390 x1389 x1388
1796.70/1797.00 v x1387 x1386 -x1385 -x1384 x1383 x1382 x1381 -x1380 x1379 -x1378 -x1377 x1376 x1375 x1374 -x1373 x1372 -x1371 -x1370 -x1369
1796.70/1797.00 v -x1368 -x1367 -x1366 x1365 x1364 x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 x1356 x1355 x1354 x1353 x1352 -x1351 -x1350 x1349
1796.70/1797.00 v -x1348 x1347 x1346 -x1345 -x1344 x1343 x1342 x1341 -x1340 -x1339 x1338 x1337 -x1336 -x1335 x1334 -x1333 x1332 x1331 -x1330
1796.70/1797.00 v x1329 -x1328 x1327 x1326 -x1325 -x1324 x1323 -x1322 x1321 -x1320 x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 x1311
1796.70/1797.00 v -x1310 x1309 x1308 -x1307 -x1306 -x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297 -x1296 -x1295 -x1294 x1293 x1292 -x1291
1796.70/1797.00 v -x1290 -x1289 x1288 x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 x1280 -x1279 x1278 x1277 x1276 x1275 x1274 -x1273 x1272
1796.70/1797.00 v -x1271 -x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 x1259 x1258 x1257 x1256 x1255 -x1254 -x1253
1796.70/1797.00 v x1252 x1251 -x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 -x1241 x1240 x1239 -x1238 x1237 -x1236 -x1235 x1234 x1233
1796.70/1797.00 v -x1232 -x1231 x1230 -x1229 x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 x1218 x1217 -x1216 x1215 -x1214
1796.70/1797.00 v x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196 -x1195
1796.70/1797.00 v -x1194 x1193 x1192 x1191 x1190 x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 x1182 x1181 x1180 -x1179 -x1178 -x1177 -x1176
1796.70/1797.00 v -x1175 x1174 x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158 x1157
1796.70/1797.00 v x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 x1149 x1148 x1147 -x1146 x1145 -x1144 x1143 -x1142 x1141 x1140 x1139 -x1138
1796.70/1797.00 v -x1137 x1136 x1135 x1134 x1133 -x1132 -x1131 -x1130 x1129 x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 -x1120 -x1119 -x1118
1796.70/1797.00 v x1117 -x1116 x1115 -x1114 -x1113 -x1112 x1111 x1110 -x1109 x1108 x1107 x1106 -x1105 x1104 x1103 -x1102 -x1101 -x1100 x1099
1796.70/1797.00 v -x1098 x1097 -x1096 -x1095 x1094 x1093 x1092 -x1091 x1090 -x1089 -x1088 x1087 x1086 x1085 x1084 -x1083 -x1082 x1081 x1080
1796.70/1797.00 v x1079 x1078 x1077 x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 x1065 -x1064 -x1063 -x1062 -x1061
1796.70/1797.00 v x1060 -x1059 x1058 x1057 x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 x1049 x1048 x1047 x1046 x1045 x1044 x1043 x1042 x1041 -x1040
1796.70/1797.00 v x1039 x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 x1027 -x1026 -x1025 x1024 x1023 -x1022 -x1021
1796.70/1797.00 v -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003
1796.70/1797.00 v -x1002 x1001 x1000 x999 -x998 -x997 -x996 x995 -x994 x993 x992 x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 x983 x982 -x981
1796.70/1797.00 v x980 -x979 x978 -x977 x976 x975 -x974 -x973 x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 x964 -x963 -x962 x961 x960 -x959 -x958
1796.70/1797.00 v -x957 -x956 x955 x954 -x953 x952 x951 -x950 -x949 -x948 x947 -x946 -x945 x944 -x943 -x942 x941 -x940 -x939 x938 -x937 x936
1796.70/1797.00 v x935 x934 x933 x932 x931 x930 -x929 x928 x927 x926 -x925 x924 x923 x922 -x921 x920 -x919 x918 x917 x916 x915 x914 -x913 x912
1796.70/1797.00 v x911 x910 x909 x908 -x907 -x906 -x905 -x904 -x903 x902 x901 x900 x899 -x898 x897 x896 -x895 x894 x893 x892 -x891 -x890 x889
1796.70/1797.00 v -x888 -x887 x886 -x885 -x884 x883 x882 -x881 x880 -x879 -x878 x877 -x876 -x875 x874 -x873 x872 -x871 x870 x869 x868 -x867 -x866
1796.70/1797.00 v -x865 -x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 -x853 -x852 x851 x850 -x849 x848 x847 x846 -x845 x844 -x843
1796.70/1797.00 v x842 -x841 x840 -x839 -x838 -x837 -x836 x835 -x834 x833 x832 x831 -x830 -x829 x828 -x827 x826 x825 -x824 -x823 -x822 x821 x820
1796.70/1797.00 v x819 -x818 x817 -x816 -x815 -x814 x813 x812 -x811 -x810 x809 x808 -x807 x806 x805 x804 -x803 x802 -x801 x800 -x799 -x798
1796.70/1797.00 v -x797 -x796 x795 x794 -x793 -x792 x791 x790 x789 x788 -x787 x786 x785 x784 -x783 -x782 -x781 x780 -x779 x778 x777 -x776 x775
1796.70/1797.00 v x774 -x773 -x772 -x771 x770 -x769 x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 x760 x759 -x758 x757 x756 -x755 x754 x753 -x752
1796.70/1797.00 v -x751 x750 -x749 -x748 x747 x746 x745 -x744 -x743 -x742 x741 x740 x739 x738 x737 x736 -x735 x734 x733 -x732 x731 x730 -x729
1796.70/1797.00 v x728 -x727 -x726 x725 x724 -x723 -x722 -x721 x720 x719 -x718 x717 -x716 -x715 x714 x713 -x712 x711 -x710 x709 -x708 -x707 x706
1796.70/1797.00 v x705 -x704 -x703 x702 x701 -x700 -x699 -x698 x697 x696 -x695 x694 x693 x692 x691 -x690 -x689 -x688 -x687 x686 x685 x684 x683
1796.70/1797.00 v -x682 x681 x680 x679 x678 x677 x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665 x664 -x663 -x662 -x661
1796.70/1797.00 v -x660 -x659 x658 x657 x656 -x655 -x654 x653 -x652 x651 -x650 x649 x648 -x647 x646 -x645 x644 x643 x642 -x641 -x640 x639 -x638
1796.70/1797.00 v -x637 x636 -x635 x634 -x633 x632 -x631 -x630 -x629 -x628 x627 x626 x625 -x624 -x623 x622 -x621 -x620 x619 -x618 x617 x616 -x615
1796.70/1797.00 v x614 -x613 -x612 x611 x610 x609 -x608 x607 x606 x605 x604 x603 -x602 -x601 -x600 -x599 x598 -x597 x596 -x595 -x594 x593
1796.70/1797.00 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.70/1797.00 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.70/1797.00 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.70/1797.00 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.70/1797.00 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.70/1797.00 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.70/1797.00 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.70/1797.00 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.70/1797.00 v x408 x407 x406 -x405 x404 x403 x402 -x401 x400 -x399 x398 x397 -x396 x395 -x394 x393 -x392 -x391 x390 -x389 x388 x387 x386 -x385
1796.70/1797.00 v -x384 -x383 x382 -x381 x380 -x379 -x378 -x377 x376 -x375 x374 -x373 x372 x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363
1796.70/1797.00 v x362 -x361 x360 x359 x358 -x357 x356 -x355 -x354 -x353 -x352 x351 x350 -x349 x348 -x347 x346 -x345 -x344 x343 -x342 -x341
1796.70/1797.00 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.70/1797.00 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.70/1797.00 v x294 x293 x292 x291 -x290 x289 x288 x287 x286 x285 -x284 x283 x282 x281 -x280 x279 x278 x277 x276 -x275 x274 x273 x272 -x271
1796.70/1797.00 v x270 -x269 x268 x267 x266 -x265 x264 -x263 -x262 x261 x260 -x259 x258 x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249
1796.70/1797.00 v -x248 x247 -x246 -x245 x244 x243 -x242 -x241 x240 x239 -x238 x237 x236 x235 x234 -x233 x232 x231 x230 x229 x228 x227 x226 -x225
1796.70/1797.00 v x224 x223 -x222 -x221 -x220 x219 x218 x217 -x216 x215 x214 -x213 -x212 x211 -x210 -x209 x208 -x207 x206 x205 -x204 x203
1796.70/1797.00 v x202 x201 x200 -x199 x198 x197 x196 x195 -x194 x193 -x192 x191 x190 -x189 -x188 -x187 x186 x185 x184 x183 -x182 -x181 -x180 x179
1796.70/1797.00 v x178 x177 -x176 x175 -x174 -x173 x172 x171 x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 x158 -x157
1796.70/1797.00 v x156 x155 x154 x153 x152 x151 -x150 x149 -x148 x147 x146 -x145 -x144 x143 -x142 x141 -x140 -x139 x138 -x137 -x136 x135 x134
1796.70/1797.00 v -x133 x132 -x131 x130 -x129 -x128 -x127 x126 -x125 -x124 x123 x122 -x121 x120 -x119 x118 -x117 x116 x115 x114 x113 x112 x111
1796.70/1797.00 v x110 x109 x108 x107 x106 x105 -x104 x103 x102 x101 -x100 x99 x98 x97 -x96 x95 -x94 -x93 -x92 -x91 x90 x89 -x88 -x87 -x86 -x85
1796.70/1797.00 v -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 -x57
1796.70/1797.00 v 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 x29
1796.70/1797.00 v -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.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.08 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c copying : 0.10 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3690900-1338018716.opb
1796.70/1797.00 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 4000 initial, 4000 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3690900-1338018716.opb
1796.70/1797.00 c Variables : 1479 (1479 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 2868 initial, 2868 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 226 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.06 0.00 0 263 0 0 0 1132 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 25948 0 920 0 51 403 0 0 51568
1796.70/1797.00 c setppc : 2868 2868 22 210534 0 1 915 0 0 158818 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 918 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 265.74 0.00 0.00 0.00 265.72 0.00 0.01 0.00
1796.70/1797.00 c setppc : 7.62 0.00 0.00 7.59 0.00 0.00 0.03 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 9 0 0 0
1796.70/1797.00 c pseudoobj : 236432 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 26102 0 0 136
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.20 0.00 0.00 0.20 0.00
1796.70/1797.00 c pseudoobj : 0.43 0.00 0.00 0.42 0.00
1796.70/1797.00 c vbounds : 0.18 0.00 0.00 0.18 0.00
1796.70/1797.00 c redcost : 0.50 0.00 0.00 0.50 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 0 0.0 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.01 21 - - 12 - (maximal pool size: 397)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.08 0.00 10 0 0 500 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.40 0.00 20 0 0 10000 0
1796.70/1797.00 c cmir : 0.08 0.00 10 0 0 0 0
1796.70/1797.00 c flowcover : 0.07 0.00 10 0 0 0 0
1796.70/1797.00 c clique : 0.01 0.00 22 0 0 7 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.02 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.14 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 265.64 0.00 25948 51 403 0 0 51568
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.05 0.00 10 1
1796.70/1797.00 c crossover : 0.25 0.00 4 1
1796.70/1797.00 c veclendiving : 52.70 0.00 120 0
1796.70/1797.00 c rootsoldiving : 26.99 0.00 73 66
1796.70/1797.00 c guideddiving : 44.94 0.00 146 0
1796.70/1797.00 c linesearchdiving : 45.38 0.00 149 0
1796.70/1797.00 c objpscostdiving : 104.66 0.00 137 337
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 2
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 2.67 0.00 25969 32
1796.70/1797.00 c zirounding : 7.69 0.00 9651 193
1796.70/1797.00 c rounding : 76.81 0.00 2230 0
1796.70/1797.00 c shifting : 24.42 0.00 686 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.08 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 133.85 0.00 315 262
1796.70/1797.00 c pscostdiving : 130.20 0.00 352 21
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 45.48 0.00 133 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.03 0.00 0 0
1796.70/1797.00 c trysol : 0.05 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.00 2 0 0.00 - 0.00 2
1796.70/1797.00 c dual LP : 812.92 37741 5322404 142.32 6547.24 0.37 343
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 526.27 106289 3183816 29.95 6049.77
1796.70/1797.00 c strong branching : 258.59 11602 1496545 128.99 5787.39
1796.70/1797.00 c (at root node) : - 29 27729 956.17 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 37264
1796.70/1797.00 c nodes (total) : 37264
1796.70/1797.00 c nodes left : 13943
1796.70/1797.00 c max depth : 48
1796.70/1797.00 c max depth (total): 48
1796.70/1797.00 c backtracks : 7926 (21.3%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 5.83
1796.70/1797.00 c switching time : 2.72
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 915 (13 improvements)
1796.70/1797.00 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.04500000000000e+03 (in run 1, after 3493 nodes, 407.71 seconds, depth 186, found by <pscostdiving>)
1796.70/1797.00 c Dual Bound : +1.00550000000000e+03
1796.70/1797.00 c Gap : 3.93 %
1796.70/1797.00 c Root Dual Bound : +9.95000000000000e+02
1796.70/1797.00 c Root Iterations : 19394
1796.70/1797.04 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-3690900-1338018716/watcher-3690900-1338018716 -o /tmp/evaluation-result-3690900-1338018716/solver-3690900-1338018716 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690900-1338018716.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.04 2.06 1.84 3/178 30072
/proc/meminfo: memFree=28560544/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=11648 CPUtime=0 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 1684 0 0 0 0 0 0 0 20 0 1 0 267996916 11927552 1638 33554432000 4194304 10173063 140737441265120 140734892215592 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 2912 1638 416 1460 0 1443 0
[startup+0.0142031 s]
/proc/loadavg: 2.04 2.06 1.84 3/178 30072
/proc/meminfo: memFree=28560544/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=13120 CPUtime=0.01 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 2034 0 0 0 1 0 0 0 20 0 1 0 267996916 13434880 1988 33554432000 4194304 10173063 140737441265120 140734892215592 4658848 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 3280 1988 424 1460 0 1811 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13120
[startup+0.100251 s]
/proc/loadavg: 2.04 2.06 1.84 3/178 30072
/proc/meminfo: memFree=28560544/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=28552 CPUtime=0.09 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 5955 0 0 0 6 3 0 0 20 0 1 0 267996916 29237248 5652 33554432000 4194304 10173063 140737441265120 140734892215592 5580144 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 7138 5654 580 1460 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28552
[startup+0.300247 s]
/proc/loadavg: 2.04 2.06 1.84 3/178 30072
/proc/meminfo: memFree=28560544/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=34732 CPUtime=0.29 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 7847 0 0 0 25 4 0 0 20 0 1 0 267996916 35565568 7460 33554432000 4194304 10173063 140737441265120 140734892215592 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 8683 7460 767 1460 0 7214 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34732
[startup+0.70022 s]
/proc/loadavg: 2.04 2.06 1.84 3/178 30072
/proc/meminfo: memFree=28560544/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=36196 CPUtime=0.69 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 12573 0 0 0 62 7 0 0 20 0 1 0 267996916 37064704 7840 33554432000 4194304 10173063 140737441265120 140737441261160 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 9049 7840 826 1460 0 7580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36196
[startup+1.50029 s]
/proc/loadavg: 2.04 2.06 1.84 3/179 30073
/proc/meminfo: memFree=28531404/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=44908 CPUtime=1.49 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 14744 0 0 0 140 9 0 0 20 0 1 0 267996916 45985792 10011 33554432000 4194304 10173063 140737441265120 140737441261160 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 11227 10011 829 1460 0 9758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44908
[startup+3.10024 s]
/proc/loadavg: 2.11 2.07 1.85 3/179 30073
/proc/meminfo: memFree=28519004/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=53168 CPUtime=3.09 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 16874 0 0 0 298 11 0 0 20 0 1 0 267996916 54444032 12106 33554432000 4194304 10173063 140737441265120 140737441258424 5749880 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 13292 12106 829 1460 0 11823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53168
[startup+6.30022 s]
/proc/loadavg: 2.11 2.07 1.85 3/179 30073
/proc/meminfo: memFree=28502760/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=64408 CPUtime=6.29 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 20231 0 0 0 615 14 0 0 20 0 1 0 267996916 65953792 14966 33554432000 4194304 10173063 140737441265120 140737441258472 8631920 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 16102 14966 829 1460 0 14633 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64408
[startup+12.7002 s]
/proc/loadavg: 2.10 2.07 1.85 3/179 30073
/proc/meminfo: memFree=28488036/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=78708 CPUtime=12.69 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 25301 0 0 0 1251 18 0 0 20 0 1 0 267996916 80596992 18431 33554432000 4194304 10173063 140737441265120 140737441258568 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 19677 18431 834 1460 0 18208 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78708
[startup+25.5002 s]
/proc/loadavg: 2.08 2.07 1.85 3/179 30073
/proc/meminfo: memFree=28485060/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=78708 CPUtime=25.49 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 25303 0 0 0 2522 27 0 0 20 0 1 0 267996916 80596992 18433 33554432000 4194304 10173063 140737441265120 140737441258616 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 19677 18433 836 1460 0 18208 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78708
[startup+51.1002 s]
/proc/loadavg: 2.05 2.06 1.85 3/179 30111
/proc/meminfo: memFree=28732284/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=80188 CPUtime=51.07 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 25615 0 0 0 5065 42 0 0 20 0 1 0 267996916 82112512 18748 33554432000 4194304 10173063 140737441265120 140737441258376 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 20047 18748 839 1460 0 18578 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80188
[startup+102.306 s]
/proc/loadavg: 2.18 2.09 1.88 3/179 30111
/proc/meminfo: memFree=28729848/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=80744 CPUtime=102.27 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 27202 0 0 0 10146 81 0 0 20 0 1 0 267996916 82681856 19277 33554432000 4194304 10173063 140737441265120 140737441258056 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 20186 19277 840 1460 0 18717 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 80744
[startup+162.3 s]
/proc/loadavg: 2.25 2.14 1.90 3/179 30150
/proc/meminfo: memFree=28565568/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=80744 CPUtime=162.26 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 27236 0 0 0 16096 130 0 0 20 0 1 0 267996916 82681856 19311 33554432000 4194304 10173063 140737441265120 140737441258136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 20186 19311 840 1460 0 18717 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 80744
[startup+222.3 s]
/proc/loadavg: 2.08 2.11 1.91 3/179 30150
/proc/meminfo: memFree=28562752/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=82820 CPUtime=222.24 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 27733 0 0 0 22046 178 0 0 20 0 1 0 267996916 84807680 19808 33554432000 4194304 10173063 140737441265120 140737441258952 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 20705 19808 840 1460 0 19236 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 82820
[startup+282.3 s]
/proc/loadavg: 2.08 2.10 1.91 3/179 30150
/proc/meminfo: memFree=28560616/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=83460 CPUtime=282.24 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 27879 0 0 0 28000 224 0 0 20 0 1 0 267996916 85463040 19954 33554432000 4194304 10173063 140737441265120 140737441258760 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 20865 19954 840 1460 0 19396 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 83460
[startup+342.3 s]
/proc/loadavg: 2.03 2.08 1.91 3/179 30150
/proc/meminfo: memFree=28557944/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=85948 CPUtime=342.23 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 28536 0 0 0 33950 273 0 0 20 0 1 0 267996916 88010752 20611 33554432000 4194304 10173063 140737441265120 140737441258424 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 21487 20611 840 1460 0 20018 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 85948
[startup+402.3 s]
/proc/loadavg: 2.17 2.11 1.93 3/179 30150
/proc/meminfo: memFree=28555960/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=86672 CPUtime=402.22 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 28597 0 0 0 39894 328 0 0 20 0 1 0 267996916 88752128 20672 33554432000 4194304 10173063 140737441265120 140737441258600 5749890 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 21668 20672 840 1460 0 20199 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 86672
[startup+462.3 s]
/proc/loadavg: 2.27 2.15 1.95 3/179 30151
/proc/meminfo: memFree=28555148/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=86832 CPUtime=462.21 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 28755 0 0 0 45845 376 0 0 20 0 1 0 267996916 88915968 20829 33554432000 4194304 10173063 140737441265120 140737441261368 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 21708 20829 840 1460 0 20239 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 86832
[startup+522.3 s]
/proc/loadavg: 2.11 2.12 1.95 3/180 30154
/proc/meminfo: memFree=28555388/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=87300 CPUtime=522.21 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 28820 0 0 0 51793 428 0 0 20 0 1 0 267996916 89395200 20894 33554432000 4194304 10173063 140737441265120 140737441258760 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 21825 20894 840 1460 0 20356 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 87300
[startup+582.3 s]
/proc/loadavg: 2.04 2.09 1.95 3/180 30177
/proc/meminfo: memFree=28554272/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=88444 CPUtime=582.2 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 29118 0 0 0 57745 475 0 0 20 0 1 0 267996916 90566656 21192 33554432000 4194304 10173063 140737441265120 140737441258376 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 22111 21192 840 1460 0 20642 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 88444
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28442768/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=100488 CPUtime=1122.1 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 32177 0 0 0 111283 927 0 0 20 0 1 0 267996916 102899712 24248 33554432000 4194304 10173063 140737441265120 140737441258424 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 25122 24248 840 1460 0 23653 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 100488
[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 30182
/proc/meminfo: memFree=28435584/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=100440 CPUtime=1182.1 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 36614 0 0 0 117224 986 0 0 20 0 1 0 267996916 102850560 24193 33554432000 4194304 10173063 140737441265120 140737441258216 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 25110 24193 841 1460 0 23641 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 100440
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 30182
/proc/meminfo: memFree=28421380/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=103036 CPUtime=1242.09 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 43145 0 0 0 123163 1046 0 0 20 0 1 0 267996916 105508864 24887 33554432000 4194304 10173063 140737441265120 140737441258056 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 25759 24887 842 1460 0 24290 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 103036
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 30182
/proc/meminfo: memFree=28414152/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=103328 CPUtime=1302.08 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 43181 0 0 0 129107 1101 0 0 20 0 1 0 267996916 105807872 24923 33554432000 4194304 10173063 140737441265120 140737441258360 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 25832 24923 842 1460 0 24363 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 103328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30183
/proc/meminfo: memFree=28400696/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=103328 CPUtime=1362.07 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 43188 0 0 0 135050 1157 0 0 20 0 1 0 267996916 105807872 24929 33554432000 4194304 10173063 140737441265120 140737441257928 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 25832 24929 842 1460 0 24363 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 103328
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30183
/proc/meminfo: memFree=28390776/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=103904 CPUtime=1422.07 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 46586 0 0 0 140988 1219 0 0 20 0 1 0 267996916 106397696 25099 33554432000 4194304 10173063 140737441265120 140737441258952 8012210 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 25976 25099 842 1460 0 24507 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 103904
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30183
/proc/meminfo: memFree=28379368/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=104224 CPUtime=1482.05 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 46638 0 0 0 146927 1278 0 0 20 0 1 0 267996916 106725376 25151 33554432000 4194304 10173063 140737441265120 140737441258472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26056 25151 842 1460 0 24587 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 104224
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30183
/proc/meminfo: memFree=28368192/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=104224 CPUtime=1542.04 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 46668 0 0 0 152863 1341 0 0 20 0 1 0 267996916 106725376 25181 33554432000 4194304 10173063 140737441265120 140737441258296 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26056 25181 842 1460 0 24587 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 104224
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30183
/proc/meminfo: memFree=28355952/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=104768 CPUtime=1602.03 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 46806 0 0 0 158805 1398 0 0 20 0 1 0 267996916 107282432 25319 33554432000 4194304 10173063 140737441265120 140737441258376 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26192 25319 842 1460 0 24723 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 104768
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 30183
/proc/meminfo: memFree=28341636/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=104932 CPUtime=1662.02 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 46827 0 0 0 164754 1448 0 0 20 0 1 0 267996916 107450368 25340 33554432000 4194304 10173063 140737441265120 140737441258280 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26233 25340 842 1460 0 24764 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 104932
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 30187
/proc/meminfo: memFree=28330956/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107188 CPUtime=1722.02 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 47331 0 0 0 170695 1507 0 0 20 0 1 0 267996916 109760512 25844 33554432000 4194304 10173063 140737441265120 140737441258472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26797 25844 842 1460 0 25328 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 107188
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 30187
/proc/meminfo: memFree=28317820/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107060 CPUtime=1782 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50590 0 0 0 176630 1570 0 0 20 0 1 0 267996916 109629440 25875 33554432000 4194304 10173063 140737441265120 140737441258472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26765 25875 842 1460 0 25296 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 107060
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 30187
/proc/meminfo: memFree=28317076/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107060 CPUtime=1785.2 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50590 0 0 0 176948 1572 0 0 20 0 1 0 267996916 109629440 25875 33554432000 4194304 10173063 140737441265120 140737441258136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26765 25875 842 1460 0 25296 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 107060
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 30187
/proc/meminfo: memFree=28314968/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107060 CPUtime=1791.61 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50590 0 0 0 177582 1579 0 0 20 0 1 0 267996916 109629440 25875 33554432000 4194304 10173063 140737441265120 140737441258376 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26765 25875 842 1460 0 25296 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 107060
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30187
/proc/meminfo: memFree=28314224/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107276 CPUtime=1794.81 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50637 0 0 0 177898 1583 0 0 20 0 1 0 267996916 109850624 25922 33554432000 4194304 10173063 140737441265120 140737441258472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26819 25922 842 1460 0 25350 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 107276
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30187
/proc/meminfo: memFree=28314224/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107276 CPUtime=1795.61 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50637 0 0 0 177977 1584 0 0 20 0 1 0 267996916 109850624 25922 33554432000 4194304 10173063 140737441265120 140737441258408 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26819 25922 842 1460 0 25350 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 107276
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30187
/proc/meminfo: memFree=28313976/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107276 CPUtime=1796.4 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50637 0 0 0 178055 1585 0 0 20 0 1 0 267996916 109850624 25922 33554432000 4194304 10173063 140737441265120 140737441258456 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26819 25922 842 1460 0 25350 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 107276
[startup+1796.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30187
/proc/meminfo: memFree=28313976/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107276 CPUtime=1796.6 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50637 0 0 0 178075 1585 0 0 20 0 1 0 267996916 109850624 25922 33554432000 4194304 10173063 140737441265120 140737441258456 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26819 25922 842 1460 0 25350 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 107276
[startup+1797 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30187
/proc/meminfo: memFree=28313976/32873844 swapFree=7096/7096
[pid=30072] ppid=30070 vsize=107276 CPUtime=1796.7 cores=0,2,4,6
/proc/30072/stat : 30072 (scip-2.1.1.4fix) R 30070 30072 29822 0 -1 4202496 50637 0 0 0 178085 1585 0 0 20 0 1 0 267996916 109850624 25922 33554432000 4194304 10173063 140737441265120 140737441258456 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30072/statm: 26819 25922 842 1460 0 25350 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 107276
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.75
CPU user time (s): 1780.9
CPU system time (s): 15.8566
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 116980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.9
system time used= 15.8566
maximum resident set size= 115868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50642
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= 19
involuntary context switches= 1848
runsolver used 2.99055 second user time and 7.69083 second system time
The end