0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4446435-1721333296.opb>
0.22/0.32 c original problem has 7085 variables (7085 bin, 0 int, 0 impl, 0 cont) and 151483 constraints
0.22/0.32 c problem read in 0.32
0.32/0.32 c No objective function, only one solution is needed.
0.52/0.55 c presolving:
0.68/0.74 c (round 1, fast) 425 del vars, 8745 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26788 clqs
0.68/0.75 c (round 2, fast) 425 del vars, 13057 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26788 clqs
0.88/0.98 c (1.0s) running MILP presolver
1.38/1.42 c (1.4s) MILP presolver found nothing
1.68/1.78 c (round 3, exhaustive) 425 del vars, 13074 del conss, 0 add conss, 425 chg bounds, 17 chg sides, 0 chg coeffs, 138407 upgd conss, 0 impls, 26788 clqs
2.10/2.14 c (round 4, exhaustive) 425 del vars, 15212 del conss, 0 add conss, 425 chg bounds, 17 chg sides, 3221 chg coeffs, 138407 upgd conss, 0 impls, 26788 clqs
3.00/3.07 c (3.1s) probing: 51/6660 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.00/3.07 c (3.1s) probing aborted: 50/50 successive totally useless probings
3.99/4.06 c (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.27/4.37 c (4.4s) no symmetry present (symcode time: 0.04)
4.37/4.49 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
4.37/4.49 c 425 deleted vars, 15212 deleted constraints, 0 added constraints, 425 tightened bounds, 0 added holes, 17 changed sides, 3303 changed coefficients
4.37/4.49 c 0 implications, 26788 cliques
4.37/4.49 c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 136271 constraints
4.37/4.49 c 15582 constraints of type <knapsack>
4.37/4.49 c 26788 constraints of type <setppc>
4.37/4.49 c 2 constraints of type <linear>
4.37/4.49 c 93899 constraints of type <logicor>
4.37/4.49 c transformed objective value is always integral (scale: 1)
4.37/4.49 c Presolving Time: 3.95
4.37/4.49 c - non default parameters ----------------------------------------------------------------------
4.37/4.49 c # SCIP version 10.0.0
4.37/4.49 c
4.37/4.49 c # maximal time in seconds to run
4.37/4.49 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.37/4.49 c limits/time = 3596.997022
4.37/4.49 c
4.37/4.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.37/4.49 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.37/4.49 c limits/memory = 27900
4.37/4.49 c
4.37/4.49 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.37/4.49 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.37/4.49 c limits/solutions = 1
4.37/4.49 c
4.37/4.49 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
4.37/4.49 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.37/4.49 c misc/usesymmetry = 3
4.37/4.49 c
4.37/4.49 c # belongs reading time to solving time?
4.37/4.49 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.37/4.49 c timing/reading = TRUE
4.37/4.49 c
4.37/4.49 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.37/4.49 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.49 c propagating/symmetry/detectdoublelex = FALSE
4.37/4.49 c
4.37/4.49 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.37/4.49 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.49 c propagating/symmetry/detectsubgroups = FALSE
4.37/4.49 c
4.37/4.49 c # Type of symmetries that shall be computed?
4.37/4.49 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.37/4.49 c propagating/symmetry/symtype = 1
4.37/4.49 c
4.37/4.49 c # Should components consisting of a single full reflection be handled?
4.37/4.49 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.49 c propagating/symmetry/usesimplesgncomp = FALSE
4.37/4.49 c
4.37/4.49 c -----------------------------------------------------------------------------------------------
4.37/4.49 c start solving
4.47/4.50 c
5.17/5.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.17/5.29 c 5.3s| 1 | 0 | 632 | - | 727M | 0 |6660 | 136k| 136k| 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
17.52/17.63 c 17.6s| 1 | 0 | 2219 | - | 744M | 0 |6660 | 136k| 136k| 5 | 1 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
30.07/30.21 c 30.2s| 1 | 0 | 2245 | - | 759M | 0 |6660 | 136k| 136k| 10 | 2 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
46.13/46.35 c 46.3s| 1 | 0 | 2293 | - | 773M | 0 |6660 | 136k| 136k| 15 | 3 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
76.41/76.79 c 76.8s| 1 | 0 | 2390 | - | 791M | 0 |6660 | 136k| 136k| 25 | 4 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
92.16/92.58 c 92.6s| 1 | 0 | 2451 | - | 806M | 0 |6660 | 136k| 136k| 35 | 5 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
111.39/111.85 c 112s| 1 | 0 | 2505 | - | 823M | 0 |6660 | 136k| 136k| 48 | 6 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
138.99/139.53 c 140s| 1 | 0 | 2561 | - | 844M | 0 |6660 | 136k| 136k| 68 | 7 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
156.63/157.21 c 157s| 1 | 0 | 2657 | - | 859M | 0 |6660 | 136k| 136k| 82 | 8 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
176.95/177.68 c 178s| 1 | 0 | 2715 | - | 888M | 0 |6660 | 136k| 136k| 93 | 9 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
193.42/194.16 c 194s| 1 | 0 | 2750 | - | 908M | 0 |6660 | 136k| 136k| 104 | 10 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
193.60/194.30 c 194s| 1 | 0 | 2775 | - | 923M | 0 |6660 | 136k| 136k| 111 | 11 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
197.40/198.13 c 198s| 1 | 2 | 5248 | - | 925M | 0 |6660 | 136k| 136k| 111 | 11 | 116 | 19 | 0.000000e+00 | -- | Inf | unknown
277.31/278.33 c 278s| 100 | 87 | 80592 | 786.0 | 1063M | 36 |6660 | 136k| 136k| 509 | 1 | 575 | 19 | 0.000000e+00 | -- | Inf | unknown
296.15/297.29 c 297s| 200 | 165 | 94957 | 463.2 | 1109M | 62 |6660 | 137k| 0 | 656 | 0 | 788 | 19 | 0.000000e+00 | -- | Inf | unknown
299.43/300.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
299.43/300.57 c 301s| 300 | 219 | 97755 | 317.7 | 1111M | 67 |6660 | 137k| 136k| 656 | 1 | 975 | 19 | 0.000000e+00 | -- | Inf | unknown
305.31/306.47 c 306s| 400 | 257 |105226 | 256.8 | 1113M | 67 |6660 | 137k| 0 | 656 | 0 |1123 | 19 | 0.000000e+00 | -- | Inf | unknown
307.71/308.80 c 309s| 500 | 268 |106693 | 208.3 | 1113M | 67 |6660 | 137k| 0 | 656 | 0 |1430 | 19 | 0.000000e+00 | -- | Inf | unknown
309.91/311.06 c 311s| 600 | 272 |107812 | 175.4 | 1113M | 67 |6660 | 137k| 0 | 656 | 0 |1667 | 19 | 0.000000e+00 | -- | Inf | unknown
312.59/313.71 c 314s| 700 | 272 |109384 | 152.5 | 1114M | 67 |6660 | 137k| 136k| 656 | 1 |1968 | 19 | 0.000000e+00 | -- | Inf | unknown
315.57/316.77 c 317s| 800 | 286 |110434 | 134.7 | 1115M | 67 |6660 | 137k| 136k| 685 | 1 |2153 | 19 | 0.000000e+00 | -- | Inf | unknown
318.66/319.85 c 320s| 900 | 287 |111648 | 121.1 | 1114M | 67 |6660 | 137k| 0 | 733 | 0 |2388 | 19 | 0.000000e+00 | -- | Inf | unknown
322.15/323.37 c 323s| 1000 | 302 |113130 | 110.5 | 1114M | 67 |6660 | 138k| 0 | 789 | 0 |2593 | 19 | 0.000000e+00 | -- | Inf | unknown
325.03/326.27 c 326s| 1100 | 310 |114652 | 101.8 | 1114M | 67 |6660 | 138k| 136k| 825 | 1 |2780 | 19 | 0.000000e+00 | -- | Inf | unknown
328.02/329.21 c 329s| 1200 | 288 |115707 | 94.2 | 1114M | 67 |6660 | 138k| 136k| 885 | 1 |3012 | 19 | 0.000000e+00 | -- | Inf | unknown
331.41/332.69 c 333s| 1300 | 270 |117042 | 88.0 | 1114M | 67 |6660 | 138k| 0 | 927 | 0 |3229 | 19 | 0.000000e+00 | -- | Inf | unknown
334.91/336.16 c 336s| 1400 | 239 |118313 | 82.6 | 1114M | 67 |6660 | 138k| 0 |1003 | 0 |3413 | 19 | 0.000000e+00 | -- | Inf | unknown
348.65/349.94 c 350s| 1500 | 255 |122031 | 79.6 | 1180M | 67 |6660 | 138k| 136k|1204 | 1 |3748 | 19 | 0.000000e+00 | -- | Inf | unknown
357.12/358.42 c 358s| 1600 | 269 |124251 | 76.0 | 1197M | 67 |6660 | 138k| 0 |1368 | 0 |3901 | 19 | 0.000000e+00 | -- | Inf | unknown
363.20/364.58 c 365s| 1700 | 267 |125926 | 72.5 | 1197M | 67 |6660 | 138k| 136k|1432 | 2 |4032 | 19 | 0.000000e+00 | -- | Inf | unknown
370.69/372.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
370.69/372.05 c 372s| 1800 | 270 |130014 | 70.7 | 1211M | 67 |6660 | 138k| 0 |1565 | 0 |4173 | 19 | 0.000000e+00 | -- | Inf | unknown
374.56/375.99 c 376s| 1900 | 230 |133004 | 68.6 | 1217M | 67 |6660 | 138k| 0 |1565 | 0 |4327 | 19 | 0.000000e+00 | -- | Inf | unknown
377.85/379.29 c 379s| 2000 | 233 |136536 | 66.9 | 1217M | 67 |6660 | 138k| 0 |1710 | 0 |4482 | 19 | 0.000000e+00 | -- | Inf | unknown
381.75/383.14 c 383s| 2100 | 232 |141703 | 66.2 | 1231M | 67 |6660 | 138k| 136k|1861 | 1 |4644 | 19 | 0.000000e+00 | -- | Inf | unknown
385.73/387.18 c 387s| 2200 | 244 |146945 | 65.6 | 1284M | 67 |6660 | 138k| 0 |1938 | 0 |4791 | 19 | 0.000000e+00 | -- | Inf | unknown
388.41/389.86 c 390s| 2300 | 245 |148760 | 63.5 | 1285M | 67 |6660 | 138k| 0 |1973 | 0 |4974 | 19 | 0.000000e+00 | -- | Inf | unknown
396.18/397.63 c 398s| 2400 | 285 |153374 | 62.8 | 1285M | 67 |6660 | 138k| 136k|2068 | 1 |5110 | 19 | 0.000000e+00 | -- | Inf | unknown
403.86/405.39 c 405s| 2500 | 283 |162819 | 64.0 | 1300M | 67 |6660 | 138k| 136k|2150 | 1 |5484 | 19 | 0.000000e+00 | -- | Inf | unknown
410.94/412.44 c 412s| 2600 | 293 |164167 | 62.1 | 1301M | 67 |6660 | 139k| 136k|2205 | 1 |5815 | 19 | 0.000000e+00 | -- | Inf | unknown
415.12/416.64 c 417s| 2700 | 272 |165526 | 60.3 | 1314M | 67 |6660 | 139k| 0 |2332 | 0 |6201 | 19 | 0.000000e+00 | -- | Inf | unknown
419.11/420.65 c 421s| 2800 | 275 |166681 | 58.6 | 1327M | 67 |6660 | 139k| 136k|2410 | 1 |6505 | 19 | 0.000000e+00 | -- | Inf | unknown
421.80/423.35 c 423s| 2900 | 263 |168463 | 57.2 | 1327M | 67 |6660 | 139k| 136k|2459 | 1 |6903 | 19 | 0.000000e+00 | -- | Inf | unknown
428.08/429.66 c 430s| 3000 | 290 |173047 | 56.8 | 1342M | 67 |6660 | 139k| 136k|2556 | 1 |7141 | 19 | 0.000000e+00 | -- | Inf | unknown
437.14/438.79 c 439s| 3100 | 301 |174940 | 55.6 | 1369M | 67 |6660 | 139k| 136k|2751 | 2 |7317 | 19 | 0.000000e+00 | -- | Inf | unknown
443.22/444.86 c 445s| 3200 | 304 |177215 | 54.5 | 1421M | 67 |6660 | 139k| 136k|2902 | 1 |7496 | 19 | 0.000000e+00 | -- | Inf | unknown
448.21/449.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.21/449.83 c 450s| 3300 | 322 |180306 | 53.8 | 1460M | 67 |6660 | 139k| 136k|3177 | 1 |7666 | 19 | 0.000000e+00 | -- | Inf | unknown
451.89/453.55 c 454s| 3400 | 331 |182482 | 52.9 | 1462M | 67 |6660 | 140k| 136k|3384 | 1 |7865 | 19 | 0.000000e+00 | -- | Inf | unknown
457.17/458.89 c 459s| 3500 | 365 |190109 | 53.5 | 1478M | 67 |6660 | 140k| 136k|3724 | 1 |8077 | 19 | 0.000000e+00 | -- | Inf | unknown
461.47/463.14 c 463s| 3600 | 392 |196034 | 53.7 | 1480M | 67 |6660 | 140k| 136k|3936 | 1 |8293 | 19 | 0.000000e+00 | -- | Inf | unknown
465.74/467.41 c 467s| 3700 | 359 |199273 | 53.1 | 1482M | 67 |6660 | 140k| 136k|4119 | 1 |8623 | 19 | 0.000000e+00 | -- | Inf | unknown
472.22/473.99 c 474s| 3800 | 394 |213651 | 55.5 | 1485M | 67 |6660 | 139k| 136k|4342 | 1 |8774 | 19 | 0.000000e+00 | -- | Inf | unknown
479.20/480.90 c 481s| 3900 | 443 |223341 | 56.6 | 1486M | 67 |6660 | 139k| 0 |4587 | 0 |9003 | 19 | 0.000000e+00 | -- | Inf | unknown
485.77/487.53 c 488s| 4000 | 463 |229097 | 56.6 | 1528M | 67 |6660 | 139k| 136k|4788 | 2 |9203 | 19 | 0.000000e+00 | -- | Inf | unknown
489.86/491.60 c 492s| 4100 | 470 |234267 | 56.5 | 1528M | 67 |6660 | 139k| 0 |5088 | 0 |9385 | 19 | 0.000000e+00 | -- | Inf | unknown
497.73/499.57 c 500s| 4200 | 489 |237036 | 55.8 | 1542M | 67 |6660 | 139k| 136k|5261 | 1 |9591 | 19 | 0.000000e+00 | -- | Inf | unknown
513.58/515.44 c 515s| 4300 | 495 |240762 | 55.4 | 1556M | 67 |6660 | 140k| 136k|5555 | 1 |9920 | 19 | 0.000000e+00 | -- | Inf | unknown
518.57/520.49 c 520s| 4400 | 495 |244028 | 54.8 | 1556M | 67 |6660 | 140k| 136k|5626 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
522.55/524.47 c 524s| 4500 | 504 |250245 | 55.0 | 1565M | 67 |6660 | 140k| 136k|5742 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
527.25/529.15 c 529s| 4600 | 561 |259584 | 55.8 | 1566M | 67 |6660 | 140k| 136k|6149 | 2 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
531.42/533.32 c 533s| 4700 | 595 |266386 | 56.1 | 1570M | 67 |6660 | 140k| 136k|6496 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
536.60/538.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
536.60/538.59 c 539s| 4800 | 634 |273264 | 56.4 | 1597M | 67 |6660 | 140k| 136k|6697 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
542.19/544.19 c 544s| 4900 | 653 |277339 | 56.0 | 1611M | 67 |6660 | 140k| 136k|6947 | 1 | 11k| 19 | 0.000000e+00 | -- | Inf | unknown
545.18/547.13 c 547s| 5000 | 666 |282080 | 55.9 | 1611M | 67 |6660 | 140k| 0 |7033 | 0 | 11k| 19 | 0.000000e+00 | -- | Inf | unknown
548.07/550.03 c 550s| 5100 | 662 |284664 | 55.3 | 1612M | 67 |6660 | 140k| 0 |7235 | 0 | 11k| 19 | 0.000000e+00 | -- | Inf | unknown
551.06/553.07 c 553s| 5200 | 672 |287988 | 54.9 | 1612M | 67 |6660 | 140k| 0 |7394 | 0 | 11k| 19 | 0.000000e+00 | -- | Inf | unknown
554.64/556.61 c 557s| 5300 | 679 |292286 | 54.6 | 1625M | 67 |6660 | 140k| 136k|7639 | 2 | 11k| 19 | 0.000000e+00 | -- | Inf | unknown
558.82/560.82 c 561s| 5400 | 721 |301323 | 55.3 | 1626M | 67 |6660 | 140k| 0 |7862 | 0 | 12k| 19 | 0.000000e+00 | -- | Inf | unknown
562.02/564.04 c 564s| 5500 | 746 |305731 | 55.1 | 1627M | 67 |6660 | 140k| 0 |8010 | 0 | 12k| 19 | 0.000000e+00 | -- | Inf | unknown
565.50/567.56 c 568s| 5600 | 746 |310994 | 55.0 | 1627M | 67 |6660 | 140k| 136k|8172 | 1 | 12k| 19 | 0.000000e+00 | -- | Inf | unknown
570.78/572.89 c 573s| 5700 | 775 |324750 | 56.5 | 1628M | 67 |6660 | 140k| 136k|8617 | 1 | 12k| 19 | 0.000000e+00 | -- | Inf | unknown
574.56/576.68 c 577s| 5800 | 781 |330062 | 56.4 | 1629M | 67 |6660 | 140k| 136k|8985 | 1 | 12k| 19 | 0.000000e+00 | -- | Inf | unknown
578.55/580.68 c 581s| 5900 | 792 |336666 | 56.6 | 1630M | 67 |6660 | 140k| 0 |9228 | 0 | 13k| 19 | 0.000000e+00 | -- | Inf | unknown
591.92/594.06 c 594s| 6000 | 837 |362211 | 59.9 | 1630M | 67 |6660 | 140k| 136k|9427 | 1 | 13k| 19 | 0.000000e+00 | -- | Inf | unknown
598.89/601.02 c 601s| 6100 | 884 |375819 | 61.2 | 1631M | 67 |6660 | 140k| 0 |9800 | 0 | 13k| 19 | 0.000000e+00 | -- | Inf | unknown
606.47/608.62 c 609s| 6200 | 892 |390171 | 62.5 | 1633M | 67 |6660 | 140k| 136k| 10k| 1 | 13k| 19 | 0.000000e+00 | -- | Inf | unknown
610.05/612.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
610.05/612.25 c 612s| 6300 | 894 |393914 | 62.1 | 1633M | 67 |6660 | 140k| 136k| 10k| 2 | 13k| 19 | 0.000000e+00 | -- | Inf | unknown
612.54/614.77 c 615s| 6400 | 908 |394813 | 61.3 | 1633M | 67 |6660 | 140k| 0 | 10k| 0 | 14k| 19 | 0.000000e+00 | -- | Inf | unknown
615.53/617.78 c 618s| 6500 | 906 |396321 | 60.6 | 1634M | 67 |6660 | 140k| 136k| 10k| 1 | 14k| 19 | 0.000000e+00 | -- | Inf | unknown
618.02/620.20 c 620s| 6600 | 907 |397196 | 59.8 | 1634M | 67 |6660 | 140k| 136k| 10k| 1 | 14k| 19 | 0.000000e+00 | -- | Inf | unknown
621.31/623.53 c 624s| 6700 | 898 |402012 | 59.6 | 1635M | 67 |6660 | 140k| 136k| 10k| 1 | 14k| 19 | 0.000000e+00 | -- | Inf | unknown
624.50/626.79 c 627s| 6800 | 888 |405796 | 59.3 | 1635M | 67 |6660 | 140k| 0 | 10k| 0 | 15k| 19 | 0.000000e+00 | -- | Inf | unknown
627.90/630.14 c 630s| 6900 | 876 |409625 | 59.0 | 1635M | 67 |6660 | 140k| 0 | 11k| 0 | 15k| 19 | 0.000000e+00 | -- | Inf | unknown
632.57/634.88 c 635s| 7000 | 891 |418589 | 59.4 | 1635M | 67 |6660 | 140k| 136k| 11k| 1 | 15k| 19 | 0.000000e+00 | -- | Inf | unknown
635.66/637.99 c 638s| 7100 | 884 |423480 | 59.3 | 1635M | 67 |6660 | 140k| 0 | 11k| 0 | 15k| 19 | 0.000000e+00 | -- | Inf | unknown
639.05/641.32 c 641s| 7200 | 875 |427664 | 59.0 | 1635M | 67 |6660 | 140k| 0 | 11k| 0 | 16k| 19 | 0.000000e+00 | -- | Inf | unknown
642.43/644.78 c 645s| 7300 | 873 |431084 | 58.7 | 1635M | 67 |6660 | 140k| 136k| 11k| 1 | 16k| 19 | 0.000000e+00 | -- | Inf | unknown
646.42/648.77 c 649s| 7400 | 899 |435897 | 58.5 | 1635M | 67 |6660 | 140k| 136k| 12k| 1 | 16k| 19 | 0.000000e+00 | -- | Inf | unknown
652.50/654.87 c 655s| 7500 | 952 |451994 | 59.9 | 1636M | 67 |6660 | 140k| 136k| 12k| 1 | 16k| 19 | 0.000000e+00 | -- | Inf | unknown
658.79/661.19 c 661s| 7600 | 1011 |457940 | 59.9 | 1638M | 67 |6660 | 140k| 136k| 12k| 1 | 17k| 19 | 0.000000e+00 | -- | Inf | unknown
665.25/667.69 c 668s| 7700 | 1053 |472844 | 61.1 | 1640M | 67 |6660 | 140k| 0 | 12k| 0 | 17k| 19 | 0.000000e+00 | -- | Inf | unknown
670.93/673.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
670.93/673.32 c 673s| 7800 | 1102 |484651 | 61.8 | 1641M | 67 |6660 | 140k| 0 | 12k| 0 | 17k| 19 | 0.000000e+00 | -- | Inf | unknown
687.38/689.88 c 690s| 7900 | 1150 |497726 | 62.7 | 1646M | 67 |6660 | 140k| 136k| 13k| 1 | 17k| 19 | 0.000000e+00 | -- | Inf | unknown
693.36/695.89 c 696s| 8000 | 1188 |500866 | 62.3 | 1650M | 67 |6660 | 140k| 136k| 13k| 1 | 17k| 19 | 0.000000e+00 | -- | Inf | unknown
697.04/699.54 c 700s| 8100 | 1225 |505545 | 62.1 | 1653M | 67 |6660 | 140k| 136k| 13k| 1 | 18k| 19 | 0.000000e+00 | -- | Inf | unknown
702.43/704.92 c 705s| 8200 | 1241 |508797 | 61.7 | 1655M | 67 |6660 | 140k| 0 | 13k| 0 | 18k| 19 | 0.000000e+00 | -- | Inf | unknown
705.41/707.94 c 708s| 8300 | 1263 |512385 | 61.4 | 1655M | 67 |6660 | 140k| 136k| 13k| 1 | 18k| 19 | 0.000000e+00 | -- | Inf | unknown
709.20/711.76 c 712s| 8400 | 1266 |517380 | 61.3 | 1655M | 67 |6660 | 140k| 136k| 13k| 1 | 18k| 19 | 0.000000e+00 | -- | Inf | unknown
712.39/714.91 c 715s| 8500 | 1252 |519487 | 60.8 | 1657M | 67 |6660 | 141k| 0 | 13k| 0 | 18k| 19 | 0.000000e+00 | -- | Inf | unknown
716.77/719.37 c 719s| 8600 | 1258 |522374 | 60.4 | 1672M | 67 |6660 | 141k| 136k| 13k| 1 | 19k| 19 | 0.000000e+00 | -- | Inf | unknown
721.57/724.15 c 724s| 8700 | 1290 |526903 | 60.3 | 1674M | 67 |6660 | 141k| 136k| 13k| 1 | 19k| 19 | 0.000000e+00 | -- | Inf | unknown
727.04/729.61 c 730s| 8800 | 1321 |529760 | 59.9 | 1676M | 67 |6660 | 141k| 136k| 14k| 1 | 19k| 19 | 0.000000e+00 | -- | Inf | unknown
731.12/733.75 c 734s| 8900 | 1328 |533757 | 59.7 | 1691M | 67 |6660 | 141k| 136k| 14k| 1 | 19k| 19 | 0.000000e+00 | -- | Inf | unknown
735.31/737.99 c 738s| 9000 | 1357 |542968 | 60.0 | 1693M | 67 |6660 | 141k| 136k| 14k| 1 | 20k| 19 | 0.000000e+00 | -- | Inf | unknown
743.58/746.26 c 746s| 9100 | 1407 |560183 | 61.3 | 1697M | 74 |6660 | 141k| 136k| 14k| 1 | 20k| 19 | 0.000000e+00 | -- | Inf | unknown
746.77/749.40 c 749s| 9200 | 1421 |564092 | 61.0 | 1697M | 79 |6660 | 142k| 0 | 14k| 0 | 20k| 19 | 0.000000e+00 | -- | Inf | unknown
750.06/752.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
750.06/752.70 c 753s| 9300 | 1444 |569001 | 60.9 | 1698M | 79 |6660 | 142k| 136k| 14k| 2 | 20k| 19 | 0.000000e+00 | -- | Inf | unknown
752.36/755.07 c 755s| 9400 | 1455 |572012 | 60.6 | 1699M | 79 |6660 | 142k| 136k| 14k| 1 | 20k| 19 | 0.000000e+00 | -- | Inf | unknown
754.54/757.28 c 757s| 9500 | 1462 |572831 | 60.0 | 1700M | 84 |6660 | 142k| 136k| 14k| 2 | 20k| 19 | 0.000000e+00 | -- | Inf | unknown
757.03/759.70 c 760s| 9600 | 1482 |573726 | 59.5 | 1700M | 84 |6660 | 142k| 136k| 14k| 1 | 21k| 19 | 0.000000e+00 | -- | Inf | unknown
759.03/761.78 c 762s| 9700 | 1488 |574551 | 59.0 | 1701M | 84 |6660 | 142k| 136k| 14k| 1 | 21k| 19 | 0.000000e+00 | -- | Inf | unknown
761.12/763.81 c 764s| 9800 | 1494 |575252 | 58.4 | 1701M | 85 |6660 | 142k| 0 | 14k| 0 | 21k| 19 | 0.000000e+00 | -- | Inf | unknown
765.00/767.72 c 768s| 9900 | 1506 |581256 | 58.4 | 1701M | 85 |6660 | 142k| 136k| 14k| 1 | 21k| 19 | 0.000000e+00 | -- | Inf | unknown
767.20/769.91 c 770s| 10000 | 1501 |582101 | 57.9 | 1701M | 85 |6660 | 142k| 136k| 14k| 1 | 21k| 19 | 0.000000e+00 | -- | Inf | unknown
769.79/772.54 c 773s| 10100 | 1512 |583365 | 57.5 | 1701M | 85 |6660 | 142k| 136k| 14k| 1 | 21k| 19 | 0.000000e+00 | -- | Inf | unknown
772.29/775.04 c 775s| 10200 | 1520 |584224 | 57.0 | 1702M | 85 |6660 | 142k| 0 | 14k| 0 | 22k| 19 | 0.000000e+00 | -- | Inf | unknown
774.57/777.38 c 777s| 10300 | 1520 |585297 | 56.6 | 1702M | 85 |6660 | 142k| 0 | 14k| 0 | 22k| 19 | 0.000000e+00 | -- | Inf | unknown
776.66/779.43 c 779s| 10400 | 1492 |586224 | 56.1 | 1702M | 85 |6660 | 142k| 0 | 14k| 0 | 22k| 19 | 0.000000e+00 | -- | Inf | unknown
778.75/781.54 c 782s| 10500 | 1447 |587189 | 55.7 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 22k| 19 | 0.000000e+00 | -- | Inf | unknown
781.14/783.98 c 784s| 10600 | 1456 |588629 | 55.3 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 23k| 19 | 0.000000e+00 | -- | Inf | unknown
783.43/786.29 c 786s| 10700 | 1473 |590274 | 54.9 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 23k| 19 | 0.000000e+00 | -- | Inf | unknown
785.63/788.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
785.63/788.45 c 788s| 10800 | 1488 |591382 | 54.5 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 23k| 19 | 0.000000e+00 | -- | Inf | unknown
787.82/790.65 c 791s| 10900 | 1492 |592440 | 54.1 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 23k| 19 | 0.000000e+00 | -- | Inf | unknown
789.91/792.77 c 793s| 11000 | 1495 |593460 | 53.7 | 1702M | 85 |6660 | 143k| 136k| 14k| 1 | 24k| 19 | 0.000000e+00 | -- | Inf | unknown
791.90/794.74 c 795s| 11100 | 1488 |594514 | 53.3 | 1702M | 85 |6660 | 143k| 0 | 14k| 0 | 24k| 19 | 0.000000e+00 | -- | Inf | unknown
794.10/796.97 c 797s| 11200 | 1497 |595716 | 52.9 | 1702M | 85 |6660 | 142k| 0 | 14k| 0 | 24k| 19 | 0.000000e+00 | -- | Inf | unknown
796.30/799.18 c 799s| 11300 | 1514 |597183 | 52.6 | 1702M | 85 |6660 | 142k| 0 | 14k| 0 | 24k| 19 | 0.000000e+00 | -- | Inf | unknown
798.38/801.26 c 801s| 11400 | 1513 |598529 | 52.3 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 25k| 19 | 0.000000e+00 | -- | Inf | unknown
800.47/803.37 c 803s| 11500 | 1503 |599828 | 51.9 | 1702M | 85 |6660 | 143k| 0 | 14k| 0 | 25k| 19 | 0.000000e+00 | -- | Inf | unknown
802.66/805.51 c 806s| 11600 | 1484 |600776 | 51.6 | 1702M | 85 |6660 | 143k| 136k| 14k| 1 | 25k| 19 | 0.000000e+00 | -- | Inf | unknown
804.86/807.70 c 808s| 11700 | 1490 |602145 | 51.2 | 1702M | 85 |6660 | 142k| 136k| 14k| 1 | 25k| 19 | 0.000000e+00 | -- | Inf | unknown
806.95/809.82 c 810s| 11800 | 1481 |603264 | 50.9 | 1702M | 85 |6660 | 143k| 136k| 14k| 1 | 26k| 19 | 0.000000e+00 | -- | Inf | unknown
808.94/811.85 c 812s| 11900 | 1456 |604329 | 50.6 | 1702M | 86 |6660 | 142k| 0 | 14k| 0 | 26k| 19 | 0.000000e+00 | -- | Inf | unknown
810.93/813.89 c 814s| 12000 | 1451 |605485 | 50.2 | 1702M | 86 |6660 | 142k| 0 | 14k| 0 | 26k| 19 | 0.000000e+00 | -- | Inf | unknown
813.03/816.01 c 816s| 12100 | 1450 |606941 | 49.9 | 1702M | 86 |6660 | 142k| 136k| 14k| 1 | 26k| 19 | 0.000000e+00 | -- | Inf | unknown
815.02/817.93 c 818s| 12200 | 1428 |608246 | 49.6 | 1702M | 86 |6660 | 142k| 0 | 14k| 0 | 26k| 19 | 0.000000e+00 | -- | Inf | unknown
817.51/820.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
817.51/820.41 c 820s| 12300 | 1382 |609907 | 49.4 | 1702M | 86 |6660 | 142k| 0 | 14k| 0 | 26k| 19 | 0.000000e+00 | -- | Inf | unknown
822.99/825.91 c 826s| 12400 | 1381 |611185 | 49.1 | 1715M | 86 |6660 | 142k| 0 | 14k| 0 | 27k| 19 | 0.000000e+00 | -- | Inf | unknown
831.86/834.82 c 835s| 12500 | 1400 |612664 | 48.8 | 1729M | 86 |6660 | 142k| 136k| 14k| 0 | 27k| 19 | 0.000000e+00 | -- | Inf | unknown
833.95/836.97 c 837s| 12600 | 1391 |613957 | 48.5 | 1729M | 86 |6660 | 142k| 0 | 14k| 0 | 27k| 19 | 0.000000e+00 | -- | Inf | unknown
839.33/842.36 c 842s| 12700 | 1403 |615865 | 48.3 | 1729M | 86 |6660 | 142k| 136k| 14k| 1 | 27k| 19 | 0.000000e+00 | -- | Inf | unknown
842.52/845.51 c 846s| 12800 | 1431 |619969 | 48.2 | 1731M | 86 |6660 | 142k| 0 | 14k| 0 | 28k| 19 | 0.000000e+00 | -- | Inf | unknown
844.91/848.01 c 848s| 12900 | 1446 |621388 | 48.0 | 1731M | 86 |6660 | 142k| 0 | 14k| 0 | 28k| 19 | 0.000000e+00 | -- | Inf | unknown
847.40/850.41 c 850s| 13000 | 1448 |622707 | 47.7 | 1731M | 86 |6660 | 143k| 0 | 14k| 0 | 28k| 19 | 0.000000e+00 | -- | Inf | unknown
849.79/852.83 c 853s| 13100 | 1450 |624068 | 47.4 | 1732M | 86 |6660 | 143k| 0 | 14k| 0 | 28k| 19 | 0.000000e+00 | -- | Inf | unknown
852.28/855.32 c 855s| 13200 | 1450 |625375 | 47.2 | 1733M | 86 |6660 | 143k| 136k| 14k| 1 | 29k| 19 | 0.000000e+00 | -- | Inf | unknown
854.68/857.79 c 858s| 13300 | 1441 |626739 | 46.9 | 1733M | 86 |6660 | 143k| 0 | 14k| 0 | 29k| 19 | 0.000000e+00 | -- | Inf | unknown
857.08/860.15 c 860s| 13400 | 1405 |628008 | 46.7 | 1733M | 86 |6660 | 143k| 136k| 14k| 1 | 29k| 19 | 0.000000e+00 | -- | Inf | unknown
859.86/862.91 c 863s| 13500 | 1402 |629740 | 46.4 | 1733M | 86 |6660 | 143k| 136k| 14k| 1 | 30k| 19 | 0.000000e+00 | -- | Inf | unknown
866.33/869.42 c 869s| 13600 | 1416 |631749 | 46.3 | 1733M | 86 |6660 | 143k| 136k| 14k| 1 | 30k| 19 | 0.000000e+00 | -- | Inf | unknown
868.63/871.70 c 872s| 13700 | 1418 |633180 | 46.0 | 1733M | 86 |6660 | 143k| 136k| 14k| 1 | 30k| 19 | 0.000000e+00 | -- | Inf | unknown
876.60/879.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
876.60/879.71 c 880s| 13800 | 1416 |634979 | 45.8 | 1733M | 86 |6660 | 143k| 136k| 14k| 1 | 31k| 19 | 0.000000e+00 | -- | Inf | unknown
880.09/883.20 c 883s| 13900 | 1424 |636860 | 45.6 | 1733M | 86 |6660 | 143k| 0 | 14k| 0 | 31k| 19 | 0.000000e+00 | -- | Inf | unknown
893.14/896.35 c 896s| 14000 | 1422 |638770 | 45.4 | 1733M | 86 |6660 | 143k| 0 | 15k| 0 | 31k| 19 | 0.000000e+00 | -- | Inf | unknown
898.03/901.29 c 901s| 14100 | 1436 |641052 | 45.3 | 1733M | 86 |6660 | 142k| 136k| 15k| 1 | 31k| 19 | 0.000000e+00 | -- | Inf | unknown
901.61/904.82 c 905s| 14200 | 1449 |643952 | 45.2 | 1733M | 86 |6660 | 142k| 136k| 15k| 1 | 32k| 19 | 0.000000e+00 | -- | Inf | unknown
906.70/909.93 c 910s| 14300 | 1449 |646566 | 45.0 | 1733M | 86 |6660 | 142k| 0 | 15k| 0 | 32k| 19 | 0.000000e+00 | -- | Inf | unknown
910.28/913.54 c 914s| 14400 | 1436 |649530 | 44.9 | 1733M | 86 |6660 | 142k| 0 | 16k| 0 | 32k| 19 | 0.000000e+00 | -- | Inf | unknown
918.35/921.62 c 922s| 14500 | 1430 |652351 | 44.8 | 1746M | 86 |6660 | 142k| 136k| 16k| 1 | 32k| 19 | 0.000000e+00 | -- | Inf | unknown
930.83/934.15 c 934s| 14600 | 1446 |655622 | 44.7 | 1746M | 86 |6660 | 142k| 136k| 16k| 1 | 32k| 19 | 0.000000e+00 | -- | Inf | unknown
935.10/938.46 c 938s| 14700 | 1414 |658813 | 44.6 | 1759M | 86 |6660 | 142k| 0 | 16k| 0 | 33k| 19 | 0.000000e+00 | -- | Inf | unknown
938.58/941.98 c 942s| 14800 | 1410 |661278 | 44.5 | 1759M | 86 |6660 | 142k| 0 | 17k| 0 | 33k| 19 | 0.000000e+00 | -- | Inf | unknown
941.47/944.82 c 945s| 14900 | 1407 |663511 | 44.3 | 1759M | 86 |6660 | 143k| 136k| 17k| 1 | 33k| 19 | 0.000000e+00 | -- | Inf | unknown
944.86/948.21 c 948s| 15000 | 1377 |666306 | 44.2 | 1759M | 86 |6660 | 143k| 136k| 17k| 1 | 33k| 19 | 0.000000e+00 | -- | Inf | unknown
948.95/952.31 c 952s| 15100 | 1382 |668537 | 44.1 | 1759M | 86 |6660 | 143k| 0 | 17k| 0 | 34k| 19 | 0.000000e+00 | -- | Inf | unknown
952.43/955.82 c 956s| 15200 | 1377 |671146 | 44.0 | 1759M | 86 |6660 | 143k| 136k| 17k| 2 | 34k| 19 | 0.000000e+00 | -- | Inf | unknown
955.12/958.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
955.12/958.57 c 959s| 15300 | 1382 |673127 | 43.8 | 1760M | 86 |6660 | 143k| 0 | 18k| 0 | 34k| 19 | 0.000000e+00 | -- | Inf | unknown
957.73/961.18 c 961s| 15400 | 1370 |674709 | 43.6 | 1760M | 86 |6660 | 143k| 136k| 18k| 2 | 35k| 19 | 0.000000e+00 | -- | Inf | unknown
961.40/964.84 c 965s| 15500 | 1355 |677656 | 43.5 | 1760M | 86 |6660 | 143k| 136k| 18k| 1 | 35k| 19 | 0.000000e+00 | -- | Inf | unknown
966.98/970.45 c 970s| 15600 | 1355 |683946 | 43.7 | 1774M | 86 |6660 | 142k| 136k| 18k| 1 | 35k| 19 | 0.000000e+00 | -- | Inf | unknown
972.26/975.75 c 976s| 15700 | 1197 |688536 | 43.7 | 1775M | 86 |6660 | 141k| 0 | 18k| 0 | 35k| 19 | 0.000000e+00 | -- | Inf | unknown
978.44/981.99 c 982s| 15800 | 1200 |693704 | 43.7 | 1775M | 86 |6660 | 141k| 0 | 19k| 0 | 35k| 19 | 0.000000e+00 | -- | Inf | unknown
982.92/986.40 c 986s| 15900 | 1215 |700114 | 43.9 | 1775M | 86 |6660 | 141k| 0 | 19k| 0 | 36k| 19 | 0.000000e+00 | -- | Inf | unknown
987.52/991.04 c 991s| 16000 | 1265 |713651 | 44.4 | 1777M | 86 |6660 | 141k| 136k| 19k| 1 | 36k| 19 | 0.000000e+00 | -- | Inf | unknown
991.90/995.45 c 995s| 16100 | 1308 |720995 | 44.6 | 1789M | 86 |6660 | 141k| 136k| 20k| 1 | 36k| 19 | 0.000000e+00 | -- | Inf | unknown
995.89/999.41 c 999s| 16200 | 1335 |726479 | 44.7 | 1791M | 86 |6660 | 141k| 136k| 20k| 1 | 36k| 19 | 0.000000e+00 | -- | Inf | unknown
1000.48/1004.03 c 1004s| 16300 | 1369 |735085 | 44.9 | 1792M | 86 |6660 | 141k| 136k| 20k| 2 | 36k| 19 | 0.000000e+00 | -- | Inf | unknown
1004.47/1008.06 c 1008s| 16400 | 1369 |740092 | 45.0 | 1793M | 86 |6660 | 141k| 136k| 20k| 0 | 37k| 19 | 0.000000e+00 | -- | Inf | unknown
1007.84/1011.41 c 1011s| 16500 | 1368 |743561 | 44.9 | 1793M | 86 |6660 | 141k| 136k| 21k| 1 | 37k| 19 | 0.000000e+00 | -- | Inf | unknown
1014.11/1017.77 c 1018s| 16600 | 1384 |745920 | 44.8 | 1806M | 86 |6660 | 141k| 136k| 21k| 2 | 37k| 19 | 0.000000e+00 | -- | Inf | unknown
1016.60/1020.26 c 1020s| 16700 | 1330 |748641 | 44.7 | 1806M | 86 |6660 | 141k| 136k| 21k| 1 | 37k| 19 | 0.000000e+00 | -- | Inf | unknown
1021.09/1024.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1021.09/1024.74 c 1025s| 16800 | 1327 |751446 | 44.6 | 1806M | 86 |6660 | 142k| 136k| 21k| 1 | 38k| 19 | 0.000000e+00 | -- | Inf | unknown
1024.97/1028.69 c 1029s| 16900 | 1342 |757016 | 44.6 | 1806M | 86 |6660 | 142k| 136k| 21k| 1 | 38k| 19 | 0.000000e+00 | -- | Inf | unknown
1028.56/1032.26 c 1032s| 17000 | 1353 |760590 | 44.6 | 1806M | 86 |6660 | 142k| 136k| 22k| 1 | 38k| 19 | 0.000000e+00 | -- | Inf | unknown
1031.55/1035.28 c 1035s| 17100 | 1346 |765362 | 44.6 | 1806M | 86 |6660 | 142k| 136k| 22k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | unknown
1035.24/1038.94 c 1039s| 17200 | 1364 |770781 | 44.7 | 1806M | 86 |6660 | 141k| 136k| 22k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | unknown
1038.72/1042.46 c 1042s| 17300 | 1377 |775912 | 44.7 | 1806M | 86 |6660 | 141k| 136k| 22k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | unknown
1042.51/1046.20 c 1046s| 17400 | 1372 |780892 | 44.7 | 1806M | 86 |6660 | 141k| 136k| 23k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | unknown
1045.50/1049.29 c 1049s| 17500 | 1363 |783807 | 44.6 | 1806M | 86 |6660 | 141k| 0 | 23k| 0 | 39k| 19 | 0.000000e+00 | -- | Inf | unknown
1049.40/1053.12 c 1053s| 17600 | 1346 |791089 | 44.8 | 1806M | 86 |6660 | 141k| 136k| 23k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1055.76/1059.52 c 1060s| 17700 | 1268 |801911 | 45.2 | 1807M | 86 |6660 | 140k| 136k| 23k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1073.22/1077.09 c 1077s| 17800 | 1260 |820894 | 46.0 | 1849M | 86 |6660 | 140k| 136k| 24k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1092.26/1096.13 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1092.26/1096.19 c (run 1, node 17816) performing user restart
1092.26/1096.19 c
1092.34/1096.20 c (restart) converted 35 cuts from the global cut pool into linear constraints
1092.34/1096.20 c
1092.44/1096.34 c presolving:
1092.44/1096.38 c (round 1, fast) 0 del vars, 1494 del conss, 0 add conss, 0 chg bounds, 24 chg sides, 105 chg coeffs, 0 upgd conss, 0 impls, 27000 clqs
1092.54/1096.47 c (round 2, medium) 56 del vars, 1494 del conss, 0 add conss, 0 chg bounds, 130 chg sides, 211 chg coeffs, 0 upgd conss, 0 impls, 26791 clqs
1092.64/1096.51 c (round 3, fast) 56 del vars, 1705 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 221 chg coeffs, 0 upgd conss, 0 impls, 26791 clqs
1092.74/1096.69 c (round 4, exhaustive) 56 del vars, 1873 del conss, 49 add conss, 0 chg bounds, 133 chg sides, 222 chg coeffs, 0 upgd conss, 0 impls, 26791 clqs
1092.94/1096.84 c (round 5, exhaustive) 56 del vars, 2005 del conss, 79 add conss, 0 chg bounds, 133 chg sides, 253 chg coeffs, 0 upgd conss, 0 impls, 26802 clqs
1093.25/1097.11 c (round 6, exhaustive) 56 del vars, 2469 del conss, 79 add conss, 0 chg bounds, 133 chg sides, 1134 chg coeffs, 38 upgd conss, 0 impls, 26832 clqs
1093.74/1097.63 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
1093.74/1097.63 c 56 deleted vars, 2513 deleted constraints, 79 added constraints, 0 tightened bounds, 0 added holes, 133 changed sides, 1227 changed coefficients
1093.74/1097.63 c 0 implications, 26836 cliques
1093.74/1097.63 c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 138199 constraints
1093.74/1097.63 c 15605 constraints of type <knapsack>
1093.74/1097.63 c 26610 constraints of type <setppc>
1093.74/1097.63 c 7 constraints of type <and>
1093.74/1097.63 c 31 constraints of type <linear>
1093.74/1097.63 c 95946 constraints of type <logicor>
1093.74/1097.63 c transformed objective value is always integral (scale: 1)
1093.74/1097.63 c Presolving Time: 5.27
1093.74/1097.63 c
1094.44/1098.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1094.44/1098.37 c 1098s| 1 | 0 |834892 | - | 1839M | 0 |6604 | 138k| 135k| 0 | 0 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1098.63/1102.53 c 1103s| 1 | 0 |835721 | - | 1857M | 0 |6604 | 138k| 136k| 38 | 1 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1102.91/1106.83 c 1107s| 1 | 0 |837145 | - | 1872M | 0 |6604 | 138k| 136k| 69 | 2 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1107.61/1111.59 c 1112s| 1 | 0 |839054 | - | 1886M | 0 |6604 | 138k| 136k| 101 | 3 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1117.38/1121.36 c 1121s| 1 | 0 |841401 | - | 1903M | 0 |6604 | 138k| 136k| 128 | 4 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1128.26/1132.25 c 1132s| 1 | 0 |843380 | - | 1918M | 0 |6604 | 138k| 136k| 165 | 5 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1138.73/1142.73 c 1143s| 1 | 0 |846304 | - | 1932M | 0 |6604 | 138k| 136k| 199 | 6 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1151.49/1155.55 c 1156s| 1 | 0 |849611 | - | 1949M | 0 |6604 | 138k| 136k| 245 | 7 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1165.07/1169.14 c 1169s| 1 | 0 |852439 | - | 1965M | 0 |6604 | 138k| 136k| 300 | 8 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1178.52/1182.62 c 1183s| 1 | 0 |855380 | - | 1980M | 0 |6604 | 138k| 136k| 350 | 9 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1193.38/1197.52 c 1198s| 1 | 0 |859118 | - | 1997M | 0 |6604 | 138k| 136k| 397 | 10 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1195.99/1200.13 c 1200s| 1 | 0 |861589 | - | 1997M | 0 |6604 | 138k| 136k| 446 | 11 | 40k| 19 | 0.000000e+00 | -- | Inf | unknown
1254.48/1258.86 c 1259s| 1 | 2 |873632 | - | 1998M | 0 |6604 | 138k| 136k| 446 | 11 | 40k| 38 | 0.000000e+00 | -- | Inf | unknown
1844.93/1851.16 c 1851s| 100 | 101 | 1144k| 62.1 | 2082M | 23 |6604 | 138k| 136k|1291 | 1 | 41k| 38 | 0.000000e+00 | -- | Inf | unknown
2849.71/2858.96 c 2859s| 200 | 198 | 1493k| 81.1 | 2091M | 27 |6604 | 139k| 136k|1976 | 1 | 42k| 38 | 0.000000e+00 | -- | Inf | unknown
3206.61/3217.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3206.61/3217.00 c 3217s| 300 | 291 | 1715k| 92.9 | 2110M | 27 |6604 | 139k| 136k|2285 | 1 | 42k| 38 | 0.000000e+00 | -- | Inf | unknown
3585.48/3597.00 c
3585.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.48/3597.00 c Solving Time (sec) : 3597.00
3585.48/3597.00 c Solving Nodes : 387 (total of 18203 nodes in 2 runs)
3585.48/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.48/3597.00 c Dual Bound : +0.00000000000000e+00
3585.48/3597.00 c Gap : infinite
3585.48/3597.00 s UNKNOWN
3585.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.48/3597.00 c Total Time : 3597.00
3585.48/3597.00 c solving : 3597.00
3585.48/3597.00 c presolving : 5.27 (included in solving)
3585.48/3597.00 c reading : 0.32 (included in solving)
3585.48/3597.00 c copying : 1.67 (9 #copies) (minimal 0.18, maximal 0.19, average 0.19)
3585.48/3597.00 c Original Problem :
3585.48/3597.00 c Problem name : HOME/instance-4446435-1721333296.opb
3585.48/3597.00 c Variables : 7085 (7085 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.48/3597.00 c Constraints : 151483 initial, 151483 maximal
3585.48/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.48/3597.00 c Presolved Problem :
3585.48/3597.00 c Problem name : t_HOME/instance-4446435-1721333296.opb
3585.48/3597.00 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.48/3597.00 c Constraints : 138199 initial, 139605 maximal
3585.48/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.48/3597.00 c Nonzeros : 559504 constraint, 56073 clique table
3585.48/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.48/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c domcol : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c dualsparsify : 0.98 0.00 1 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c gateextraction : 0.39 0.00 6 0 0 0 0 0 168 49 0 0
3585.48/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c milp : 0.66 0.00 1 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c sparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c trivial : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c probing : 0.39 0.00 1 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c symmetry : 0.32 0.00 1 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c vbounds : 0.01 0.00 2 0 56 0 0 0 0 0 0 0
3585.48/3597.00 c knapsack : 0.11 0.00 21 0 0 0 0 0 0 0 107 147
3585.48/3597.00 c setppc : 0.18 0.00 21 0 0 0 0 0 1643 0 0 0
3585.48/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 30 30 0 0
3585.48/3597.00 c linear : 0.49 0.06 17 425 0 0 425 0 13075 0 43 115
3585.48/3597.00 c logicor : 1.12 0.21 20 0 0 0 0 0 2809 0 0 4268
3585.48/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c components : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.48/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.48/3597.00 c benderslp : 0 0 0 0 12075 0 0 1449 0 0 0 0 0 0 0
3585.48/3597.00 c integral : 0 0 0 0 12075 0 0 1449 0 0 0 0 0 0 24150
3585.48/3597.00 c knapsack : 15605 15605 22 149968 0 0 0 1444 64119 1322 42441 1108 121 0 0
3585.48/3597.00 c setppc : 26610+ 26726 22 148646 0 0 0 8 315784 2038 198902 20 0 0 0
3585.48/3597.00 c and : 7 7 437 41692 0 0 0 0 46 1 4 11 11 0 0
3585.48/3597.00 c linear : 31+ 33 22 146607 0 0 0 3 647 647 3935 0 0 0 0
3585.48/3597.00 c logicor : 95946+ 97242 22 101407 0 0 0 0 396492 7431 121950 65 20 0 0
3585.48/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.48/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c integral : 59.96 0.00 0.00 0.00 59.96 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c knapsack : 2.51 0.00 0.33 1.79 0.00 0.00 0.00 0.35 0.04 0.00
3585.48/3597.00 c setppc : 1.60 0.00 0.04 1.46 0.00 0.00 0.00 0.00 0.08 0.01
3585.48/3597.00 c and : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c linear : 0.27 0.06 0.00 0.21 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c logicor : 7.00 0.21 0.28 6.24 0.00 0.00 0.00 0.00 0.26 0.02
3585.48/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.48/3597.00 c dualfix : 2 0 0 0
3585.48/3597.00 c genvbounds : 0 0 0 0
3585.48/3597.00 c nlobbt : 0 0 0 0
3585.48/3597.00 c obbt : 0 0 0 0
3585.48/3597.00 c probing : 0 0 0 0
3585.48/3597.00 c pseudoobj : 0 0 0 0
3585.48/3597.00 c redcost : 0 0 0 0
3585.48/3597.00 c rootredcost : 0 0 0 0
3585.48/3597.00 c symmetry : 0 0 0 0
3585.48/3597.00 c vbounds : 80458 0 0 0
3585.48/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.48/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3585.48/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.48/3597.00 c probing : 0.39 0.00 0.39 0.00 0.00 0.00
3585.48/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3585.48/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.48/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.48/3597.00 c symmetry : 0.34 0.00 0.32 0.03 0.00 0.00
3585.48/3597.00 c vbounds : 2.25 0.00 0.01 2.24 0.00 0.00
3585.48/3597.00 c Symmetry :
3585.48/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.48/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.48/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.48/3597.00 c shadow tree time : 0.00 s
3585.48/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.48/3597.00 c propagation : 0.83 11000 10895 - 77633 40.9 3501 19.1 - - -
3585.48/3597.00 c infeasible LP : 0.23 164 162 - 1875 52.3 26 2.4 162 62.8 0
3585.48/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.48/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.48/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.48/3597.00 c applied globally : 0.74 - - 0 42443 28.6 - - 147 - -
3585.48/3597.00 c applied locally : - - - 0 633 57.5 - - 15 - -
3585.48/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.48/3597.00 c cut pool : 1.48 - 2835 42 - - 12712 560746 - - - - - (maximal pool size: 2829)
3585.48/3597.00 c aggregation : 2.34 0.00 275 22 0 0 32 1276 18 144 142 2 0
3585.48/3597.00 c > cmir : - - - - - - - 1236 0 127 127 0 -
3585.48/3597.00 c > flowcover : - - - - - - - 34 0 14 14 0 -
3585.48/3597.00 c > knapsackcover : - - - - - - - 6 18 3 1 2 -
3585.48/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c clique : 0.55 0.00 22 22 0 0 126 1100 0 445 445 0 0
3585.48/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c gomory : 421.72 0.00 296 20 0 0 16777 537549 5314 16065 15870 195 0
3585.48/3597.00 c > gomorymi : - - - - - - - 205141 2657 1769 1683 86 -
3585.48/3597.00 c > strongcg : - - - - - - - 332408 2657 14296 14187 109 -
3585.48/3597.00 c impliedbounds : 0.21 0.00 298 22 0 0 198 2960 0 2785 2785 0 0
3585.48/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c mcf : 0.12 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c multilinear : 0.00 0.00 166 22 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c rlt : 174.55 0.00 200 20 0 0 0 0 0 0 0 0 0
3585.48/3597.00 c zerohalf : 4.55 0.00 275 22 0 0 1744 17861 833 7310 6743 567 0
3585.48/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.48/3597.00 c hybrid : 0.90 0.00 2283 22 26892 11 541223 557 0 4696
3585.48/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.48/3597.00 c problem variables: 0.00 - 0 0
3585.48/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.48/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c relpscost : 59.94 0.00 12075 0 0 0 0 0 0 24150
3585.48/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.48/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.48/3597.00 c LP solutions : 0.00 - - 0 0
3585.48/3597.00 c relax solutions : 0.00 - - 0 0
3585.48/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.48/3597.00 c strong branching : 0.00 - - 0 0
3585.59/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.59/3597.01 c adaptivediving : 25.45 0.00 8 0 0
3585.59/3597.01 c alns : 7.49 0.00 7 0 0
3585.59/3597.01 c bound : 0.00 0.00 0 0 0
3585.59/3597.01 c clique : 0.26 0.00 1 0 0
3585.59/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.59/3597.01 c completesol : 0.00 0.00 0 0 0
3585.59/3597.01 c conflictdiving : 371.56 0.00 137 0 0
3585.59/3597.01 c crossover : 0.00 0.00 0 0 0
3585.59/3597.01 c dins : 0.00 0.00 0 0 0
3585.59/3597.01 c distributiondivin: 160.45 0.00 76 0 0
3585.59/3597.01 c dps : 0.00 0.00 0 0 0
3585.59/3597.01 c dualval : 0.00 0.00 0 0 0
3585.59/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.59/3597.01 c feasjump : 0.26 0.00 2 0 0
3585.59/3597.01 c feaspump : 39.69 0.00 7 0 0
3585.59/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.59/3597.01 c fracdiving : 175.93 0.00 96 0 0
3585.59/3597.01 c gins : 0.00 0.00 0 0 0
3585.59/3597.01 c guideddiving : 0.00 0.00 0 0 0
3585.59/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.59/3597.01 c indicator : 0.01 0.00 0 0 0
3585.59/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.59/3597.01 c indoneopt : 0.01 0.00 0 0 0
3585.59/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.59/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.59/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.59/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.59/3597.01 c linesearchdiving : 144.19 0.00 97 0 0
3585.59/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.59/3597.01 c locks : 0.07 0.00 1 0 0
3585.59/3597.01 c lpface : 0.28 0.00 0 0 0
3585.59/3597.01 c mpec : 0.00 0.00 0 0 0
3585.59/3597.01 c multistart : 0.00 0.00 0 0 0
3585.59/3597.01 c mutation : 0.00 0.00 0 0 0
3585.59/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.59/3597.01 c objpscostdiving : 525.84 0.00 4 0 0
3585.59/3597.01 c octane : 0.00 0.00 0 0 0
3585.59/3597.01 c ofins : 0.00 0.00 0 0 0
3585.59/3597.01 c oneopt : 0.01 0.00 0 0 0
3585.59/3597.01 c padm : 0.00 0.00 0 0 0
3585.59/3597.01 c proximity : 0.00 0.00 0 0 0
3585.59/3597.01 c pscostdiving : 216.51 0.00 46 0 0
3585.59/3597.01 c randrounding : 1.01 0.00 1458 0 0
3585.59/3597.01 c rens : 1.13 0.00 2 0 0
3585.59/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.59/3597.01 c repair : 0.00 0.00 0 0 0
3585.59/3597.01 c rins : 0.00 0.00 0 0 0
3585.59/3597.01 c rootsoldiving : 23.83 0.00 4 0 0
3585.59/3597.01 c rounding : 6.15 0.00 1621 0 0
3585.59/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.59/3597.01 c shiftandpropagate: 0.27 0.00 2 0 0
3585.59/3597.01 c shifting : 17.01 0.00 781 0 0
3585.59/3597.01 c simplerounding : 0.01 0.00 0 0 0
3585.59/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.59/3597.01 c subnlp : 0.01 0.00 0 0 0
3585.59/3597.01 c trivial : 0.02 0.00 4 0 0
3585.59/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.59/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.59/3597.01 c trysol : 0.01 0.00 0 0 0
3585.59/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.59/3597.01 c undercover : 0.00 0.00 1 0 0
3585.59/3597.01 c vbounds : 0.19 0.00 2 0 0
3585.59/3597.01 c veclendiving : 121.03 0.00 108 0 0
3585.59/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.59/3597.01 c zirounding : 1.54 0.00 1000 0 0
3585.59/3597.01 c other solutions : - - - 0 -
3585.59/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.59/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.59/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.59/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.59/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.59/3597.01 c primal LP : 14.61 1036 0 0.00 0.00 14.61 1036
3585.59/3597.01 c dual LP : 875.46 14513 1156817 79.72 1321.38 0.01 2
3585.59/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.59/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.59/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.59/3597.01 c diving/probing LP: 1778.49 1693 774044 457.20 435.23
3585.59/3597.01 c strong branching : 22.48 38 23134 608.79 1029.07 - - 33
3585.59/3597.01 c (at root node) : - 38 23134 608.79 -
3585.59/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3585.59/3597.01 c B&B Tree :
3585.59/3597.01 c number of runs : 2
3585.59/3597.01 c nodes : 387 (383 internal, 4 leaves)
3585.59/3597.01 c feasible leaves : 0
3585.59/3597.01 c infeas. leaves : 3
3585.59/3597.01 c objective leaves : 0
3585.59/3597.01 c nodes (total) : 18203 (12075 internal, 6128 leaves)
3585.59/3597.01 c nodes left : 377
3585.59/3597.01 c max depth : 27
3585.59/3597.01 c max depth (total): 86
3585.59/3597.01 c backtracks : 122 (31.5%)
3585.59/3597.01 c early backtracks : 0 (0.0%)
3585.59/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.59/3597.01 c delayed cutoffs : 4
3585.59/3597.01 c repropagations : 149 (409 domain reductions, 1 cutoffs)
3585.59/3597.01 c avg switch length: 4.43
3585.59/3597.01 c switching time : 30.78
3585.59/3597.01 c Root Node :
3585.59/3597.01 c First LP value : +0.00000000000000e+00
3585.59/3597.01 c First LP Iters : 632 (7112.47 Iter/sec)
3585.59/3597.01 c First LP Time : 0.09
3585.59/3597.01 c Final Dual Bound : +0.00000000000000e+00
3585.59/3597.01 c Final Root Iters : 31983
3585.59/3597.01 c Root LP Estimate : +1.26824249798398e-01
3585.59/3597.01 c Solution :
3585.59/3597.01 c Solutions found : 0 (0 improvements)
3585.59/3597.01 c Primal Bound : -
3585.59/3597.01 c Dual Bound : +0.00000000000000e+00
3585.59/3597.01 c Gap : infinite
3585.59/3597.01 c Integrals : Total Avg%
3585.59/3597.01 c primal-dual : 359700.00 100.00
3585.59/3597.01 c primal-ref : - - (not evaluated)
3585.59/3597.01 c dual-ref : - - (not evaluated)
3585.89/3597.30 c Time complete: 3585.89.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61767 MiB free)
memory of node 1: 64510 MiB (57163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446435-1721333296/watcher-4446435-1721333296 -o /tmp/evaluation-result-4446435-1721333296/solver-4446435-1721333296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966734 --watchdog 3760 pbscip -f HOME/instance-4446435-1721333296.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=968698, runsolver pid=968695
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.16 4.16 4.18 5/235 968705
/proc/meminfo: memFree=121758088/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=87444 memory=46912 CPUtime=0.11 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 8798 0 0 0 10 1 0 0 20 0 1 0 185488783 89542656 11728 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 21861 11728 3285 3540 0 10118 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 87444 KiB
Current children cumulated memory: 46912 KiB
[startup+0.212796 s]*
/proc/loadavg: 4.16 4.16 4.18 5/238 968709
/proc/meminfo: memFree=121723656/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=118036 memory=77020 CPUtime=0.22 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 16314 0 0 0 20 2 0 0 20 0 1 0 185488783 120868864 19255 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 29509 19255 3285 3540 0 17766 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 118036 KiB
Current children cumulated memory: 77020 KiB
[startup+0.312656 s]*
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121677400/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=138704 memory=98960 CPUtime=0.32 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 22436 0 0 0 29 3 0 0 20 0 1 0 185488783 142032896 24740 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 34676 24740 3300 3540 0 22933 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 138704 KiB
Current children cumulated memory: 98960 KiB
[startup+0.700336 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121524688/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=281144 memory=238920 CPUtime=0.68 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 57166 0 0 0 60 8 0 0 20 0 1 0 185488783 287891456 59730 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 70286 59730 3636 3540 0 58543 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 281144 KiB
Current children cumulated memory: 238920 KiB
[startup+1.50034 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121379928/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=315396 memory=271264 CPUtime=1.48 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 73001 0 0 0 135 13 0 0 20 0 1 0 185488783 322965504 67816 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 78849 67816 3763 3540 0 67106 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 315396 KiB
Current children cumulated memory: 271264 KiB
[startup+3.11302 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121328304/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=387828 memory=342116 CPUtime=3.1 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 90709 0 0 0 294 16 0 0 20 0 1 0 185488783 397135872 85529 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 96957 85529 3795 3540 0 85214 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 387828 KiB
Current children cumulated memory: 342116 KiB
[startup+6.30031 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123740292/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=867428 memory=790312 CPUtime=6.27 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 137227 0 0 0 598 29 0 0 20 0 1 0 185488783 888246272 197578 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 216857 197578 4003 3540 0 205114 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 867428 KiB
Current children cumulated memory: 790312 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123684792/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=867428 memory=790516 CPUtime=12.64 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 137260 0 0 0 1235 29 0 0 20 0 1 0 185488783 888246272 197629 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 216857 197629 4003 3540 0 205114 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 867428 KiB
Current children cumulated memory: 790516 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 968811
/proc/meminfo: memFree=123593368/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=893564 memory=816376 CPUtime=25.39 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 140752 0 0 0 2509 30 0 0 20 0 1 0 185488783 915009536 204094 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 223391 204094 4003 3540 0 211648 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 893564 KiB
Current children cumulated memory: 816376 KiB
[startup+51.1129 s]
/proc/loadavg: 4.13 4.15 4.18 5/242 968817
/proc/meminfo: memFree=123518012/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=923380 memory=822720 CPUtime=50.92 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 141934 0 0 0 5061 31 0 0 20 0 1 0 185488783 945541120 205680 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 230845 205680 4003 3540 0 219102 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 923380 KiB
Current children cumulated memory: 822720 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/242 968826
/proc/meminfo: memFree=123402324/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=967392 memory=845192 CPUtime=101.92 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 143721 0 0 0 10160 32 0 0 20 0 1 0 185488783 990609408 211298 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 241848 211298 4003 3540 0 230105 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 967392 KiB
Current children cumulated memory: 845192 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 968841
/proc/meminfo: memFree=123322280/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1016184 memory=860100 CPUtime=161.71 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 146610 0 0 0 16139 32 0 0 20 0 1 0 185488783 1040572416 215025 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 254046 215025 4003 3540 0 242303 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1016184 KiB
Current children cumulated memory: 860100 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/245 968851
/proc/meminfo: memFree=123069488/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1239420 memory=1044316 CPUtime=221.5 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 190642 0 0 0 22111 39 0 0 20 0 1 0 185488783 1269166080 261079 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 309855 261079 4034 3540 0 298112 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1239420 KiB
Current children cumulated memory: 1044316 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/245 968862
/proc/meminfo: memFree=122903592/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1410380 memory=1177172 CPUtime=281.3 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 234074 0 0 0 28084 46 0 0 20 0 1 0 185488783 1444229120 294293 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 352595 294293 4034 3540 0 340852 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 1410380 KiB
Current children cumulated memory: 1177172 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/245 968872
/proc/meminfo: memFree=122769860/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1441076 memory=1212312 CPUtime=341.07 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 242488 0 0 0 34059 48 0 0 20 0 1 0 185488783 1475661824 303078 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 360269 303078 4034 3540 0 348526 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 1441076 KiB
Current children cumulated memory: 1212312 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.15 5/244 968883
/proc/meminfo: memFree=122660104/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1610380 memory=1298260 CPUtime=400.86 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 259186 0 0 0 40036 50 0 0 20 0 1 0 185488783 1649029120 324565 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 402595 324565 4034 3540 0 390852 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1610380 KiB
Current children cumulated memory: 1298260 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/241 968895
/proc/meminfo: memFree=122632564/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1776600 memory=1316404 CPUtime=460.66 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 259998 0 0 0 46015 51 0 0 20 0 1 0 185488783 1819238400 329101 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 444150 329101 4034 3540 0 432407 0
################
# More data... #
################
/proc/loadavg: 4.18 4.27 4.20 5/246 970572
/proc/meminfo: memFree=121934140/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2315928 memory=1664128 CPUtime=3211.99 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352012 0 0 0 321132 67 0 0 20 0 1 0 185488783 2371510272 416032 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 578982 416032 4050 3540 0 567239 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 2315928 KiB
Current children cumulated memory: 1664128 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.24 4.19 5/246 970583
/proc/meminfo: memFree=121933700/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2315928 memory=1664128 CPUtime=3271.81 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352332 0 0 0 327114 67 0 0 20 0 1 0 185488783 2371510272 416032 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 578982 416032 4050 3540 0 567239 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 2315928 KiB
Current children cumulated memory: 1664128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.21 4.18 5/244 970593
/proc/meminfo: memFree=121933584/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2315928 memory=1664128 CPUtime=3331.63 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352720 0 0 0 333096 67 0 0 20 0 1 0 185488783 2371510272 416032 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 578982 416032 4050 3540 0 567239 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 2315928 KiB
Current children cumulated memory: 1664128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.19 5/244 970604
/proc/meminfo: memFree=121931280/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2328696 memory=1666176 CPUtime=3391.46 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352958 0 0 0 339079 67 0 0 20 0 1 0 185488783 2384584704 416544 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 582174 416544 4050 3540 0 570431 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 2328696 KiB
Current children cumulated memory: 1666176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/241 970616
/proc/meminfo: memFree=121931080/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2341468 memory=1666180 CPUtime=3451.28 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 353356 0 0 0 345061 67 0 0 20 0 1 0 185488783 2397663232 416545 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 585367 416545 4050 3540 0 573624 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 2341468 KiB
Current children cumulated memory: 1666180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/241 970626
/proc/meminfo: memFree=121924668/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1672316 CPUtime=3511.11 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 353705 0 0 0 351044 67 0 0 20 0 1 0 185488783 2410737664 418079 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 418079 4050 3540 0 576816 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1672316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 970636
/proc/meminfo: memFree=121912504/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1683936 CPUtime=3570.93 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354064 0 0 0 357026 67 0 0 20 0 1 0 185488783 2410737664 420984 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 420984 4050 3540 0 576816 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1683936 KiB
[startup+3597.31 s]
# the end of solver process 968698 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.21 s, system=0.686626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912448/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1683936 CPUtime=3572.63 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354065 0 0 0 357196 67 0 0 20 0 1 0 185488783 2410737664 420984 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 420984 4050 3540 0 576816 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1683936 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912460/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1683936 CPUtime=3579 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354086 0 0 0 357833 67 0 0 20 0 1 0 185488783 2410737664 420984 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 420984 4050 3540 0 576816 0
Current children cumulated CPU time: 3579 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1683936 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121910420/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3582.19 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354113 0 0 0 358152 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3582.19 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910328/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3583.79 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354167 0 0 0 358312 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3584.6 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354167 0 0 0 358393 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3585.38 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354167 0 0 0 358471 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910340/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3585.78 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354199 0 0 0 358511 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB
[startup+3597.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910340/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2098432 memory=1451036 CPUtime=3585.89 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354264 0 0 0 358521 68 0 0 20 0 1 0 185488783 2148794368 363272 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 524095 363234 4050 3540 0 512352 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 2098432 KiB
Current children cumulated memory: 1451036 KiB
Child status: 0
Real time (s): 3597.31
CPU time (s): 3585.9
CPU user time (s): 3585.21
CPU system time (s): 0.686626
CPU usage (%): 99.6829
Max. virtual memory (cumulated for all children) (KiB): 2354236
Max. memory (cumulated for all children) (KiB): 1716756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.21
system time used= 0.686626
maximum resident set size= 1716756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354321
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= 103
involuntary context switches= 25092
# summary of solver processes directly reported to runsolver:
# pid: 968698
# total CPU time (s): 3585.9
# total CPU user time (s): 3585.21
# total CPU system time (s): 0.686626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1076 second user time and 33.501 second system time
The end