Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.24 | 1800.2 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo |
| MD5SUM | 2c7bc414eea5148dc6372ccd38f2fe74 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 61.0867 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1863 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 94064 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94063 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2692813-1277904978.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.03/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.11 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.10
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90811
0.09/0.19 c y 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 96 | - | 14M| 0 | 44 |3825 |4418 |3825 | 872 | 48 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 49 |3825 |4418 |3825 | 883 | 59 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 162 | - | 15M| 0 | 51 |3825 |4418 |3825 | 886 | 62 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 186 | - | 15M| 0 | 54 |3825 |4418 |3825 | 896 | 72 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.53 c 0.5s| 1 | 0 | 221 | - | 15M| 0 | 53 |3825 |4418 |3825 | 898 | 74 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
1.09/1.13 c 1.0s| 1 | 2 | 221 | - | 15M| 0 | 53 |3825 |4418 |3825 | 898 | 74 | 0 | 33 | 0.000000e+00 | 9.081100e+04 | Inf
22.68/22.76 c 21.9s| 10000 | 9993 | 20167 | 2.0 | 38M| 215 | 0 |3825 |4443 |3825 | 941 |2699 | 25 |1627 | 0.000000e+00 | 9.081100e+04 | Inf
37.59/37.65 c 36.3s| 20000 | 19989 | 35132 | 1.7 | 56M| 215 | 0 |3825 |4443 |3825 | 924 |5348 | 32 |1734 | 0.000000e+00 | 9.081100e+04 | Inf
52.39/52.41 c 50.5s| 30000 | 29977 | 49923 | 1.7 | 73M| 215 | 0 |3825 |4444 |3825 | 935 |8307 | 52 |1767 | 0.000000e+00 | 9.081100e+04 | Inf
66.59/66.69 c 64.3s| 40000 | 39965 | 62370 | 1.6 | 91M| 215 | 0 |3825 |4470 |3825 | 924 | 10k| 83 |1782 | 0.000000e+00 | 9.081100e+04 | Inf
80.59/80.63 c 77.8s| 50000 | 49935 | 71447 | 1.4 | 108M| 215 | 0 |3825 |4494 |3825 | 931 | 13k| 124 |1783 | 0.000000e+00 | 9.081100e+04 | Inf
94.19/94.27 c 91.1s| 60000 | 59907 | 78236 | 1.3 | 125M| 215 | 0 |3825 |4505 |3825 | 912 | 15k| 165 |1783 | 0.000000e+00 | 9.081100e+04 | Inf
108.29/108.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.29/108.31 c 105s| 70000 | 69907 | 87836 | 1.3 | 142M| 215 | 0 |3825 |4455 |3825 | 958 | 17k| 165 |1784 | 0.000000e+00 | 9.081100e+04 | Inf
122.10/122.18 c 118s| 80000 | 79907 | 95253 | 1.2 | 159M| 215 | 0 |3825 |4444 |3825 | 942 | 18k| 165 |1784 | 0.000000e+00 | 9.081100e+04 | Inf
135.89/135.92 c 131s| 90000 | 89901 |101670 | 1.1 | 176M| 215 | 0 |3825 |4449 |3825 | 945 | 20k| 172 |1786 | 0.000000e+00 | 9.081100e+04 | Inf
150.09/150.14 c 145s|100000 | 99901 |113124 | 1.1 | 193M| 219 | 0 |3825 |4437 |3825 | 907 | 22k| 172 |1786 | 0.000000e+00 | 9.081100e+04 | Inf
164.19/164.25 c 159s|110000 |109901 |123014 | 1.1 | 210M| 219 | 0 |3825 |4435 |3825 | 924 | 25k| 172 |1790 | 0.000000e+00 | 9.081100e+04 | Inf
178.49/178.58 c 173s|120000 |119899 |132907 | 1.1 | 227M| 219 | 0 |3825 |4433 |3825 | 950 | 27k| 173 |1808 | 0.000000e+00 | 9.081100e+04 | Inf
193.39/193.42 c 187s|130000 |129895 |149307 | 1.1 | 244M| 219 | 0 |3825 |4434 |3825 | 938 | 30k| 175 |1809 | 0.000000e+00 | 9.081100e+04 | Inf
207.49/207.54 c 201s|140000 |139895 |159927 | 1.1 | 261M| 219 | 0 |3825 |4433 |3825 | 940 | 33k| 175 |1809 | 0.000000e+00 | 9.081100e+04 | Inf
221.80/221.83 c 215s|150000 |149893 |171868 | 1.1 | 278M| 219 | 0 |3825 |4431 |3825 | 942 | 36k| 176 |1809 | 0.000000e+00 | 9.081100e+04 | Inf
236.10/236.11 c 228s|160000 |159893 |183815 | 1.1 | 295M| 219 | 0 |3825 |4430 |3825 | 935 | 39k| 176 |1809 | 0.000000e+00 | 9.081100e+04 | Inf
251.19/251.25 c 243s|170000 |169891 |201915 | 1.2 | 312M| 221 | 4 |3825 |4429 |3825 | 893 | 42k| 177 |1820 | 0.000000e+00 | 9.081100e+04 | Inf
265.69/265.74 c 257s|180000 |179891 |214115 | 1.2 | 329M| 221 | 0 |3825 |4428 |3825 | 952 | 45k| 177 |1820 | 0.000000e+00 | 9.081100e+04 | Inf
279.90/279.97 c 271s|190000 |189887 |223947 | 1.2 | 346M| 227 | 0 |3825 |4429 |3825 | 915 | 47k| 179 |1820 | 0.000000e+00 | 9.081100e+04 | Inf
294.10/294.18 c 285s|200000 |199887 |234177 | 1.2 | 363M| 227 | 0 |3825 |4429 |3825 | 988 | 50k| 179 |1820 | 0.000000e+00 | 9.081100e+04 | Inf
308.30/308.31 c 298s|210000 |209885 |244148 | 1.2 | 380M| 227 | 0 |3825 |4430 |3825 | 911 | 52k| 181 |1847 | 0.000000e+00 | 9.081100e+04 | Inf
322.30/322.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.30/322.32 c 312s|220000 |219885 |252240 | 1.1 | 397M| 227 | 0 |3825 |4430 |3825 | 929 | 54k| 181 |1870 | 0.000000e+00 | 9.081100e+04 | Inf
336.40/336.42 c 326s|230000 |229885 |260993 | 1.1 | 414M| 243 | 0 |3825 |4429 |3825 | 908 | 56k| 181 |1873 | 0.000000e+00 | 9.081100e+04 | Inf
350.70/350.72 c 339s|240000 |239885 |271256 | 1.1 | 431M| 243 | 0 |3825 |4428 |3825 | 928 | 59k| 181 |1935 | 0.000000e+00 | 9.081100e+04 | Inf
364.70/364.76 c 353s|250000 |249885 |279666 | 1.1 | 448M| 243 | 0 |3825 |4428 |3825 | 954 | 61k| 181 |1943 | 0.000000e+00 | 9.081100e+04 | Inf
378.80/378.87 c 367s|260000 |259883 |286766 | 1.1 | 465M| 243 | 0 |3825 |4429 |3825 | 945 | 64k| 182 |1975 | 0.000000e+00 | 9.081100e+04 | Inf
393.00/393.06 c 380s|270000 |269877 |296322 | 1.1 | 482M| 243 | 0 |3825 |4439 |3825 | 929 | 66k| 192 |2022 | 0.000000e+00 | 9.081100e+04 | Inf
406.90/407.00 c 394s|280000 |279871 |303998 | 1.1 | 499M| 243 | 0 |3825 |4439 |3825 | 930 | 68k| 195 |2028 | 0.000000e+00 | 9.081100e+04 | Inf
421.00/421.06 c 408s|290000 |289871 |311118 | 1.1 | 516M| 243 | 0 |3825 |4437 |3825 | 937 | 70k| 195 |2117 | 0.000000e+00 | 9.081100e+04 | Inf
435.10/435.16 c 421s|300000 |299871 |320876 | 1.1 | 533M| 243 | 0 |3825 |4436 |3825 | 931 | 72k| 195 |2123 | 0.000000e+00 | 9.081100e+04 | Inf
449.40/449.44 c 435s|310000 |309867 |330888 | 1.1 | 550M| 243 | 0 |3825 |4437 |3825 | 909 | 75k| 198 |2182 | 0.000000e+00 | 9.081100e+04 | Inf
463.50/463.52 c 449s|320000 |319861 |339682 | 1.1 | 567M| 243 | 0 |3825 |4439 |3825 | 931 | 77k| 202 |2212 | 0.000000e+00 | 9.081100e+04 | Inf
477.20/477.23 c 462s|330000 |329861 |346196 | 1.0 | 584M| 243 | 0 |3825 |4439 |3825 | 940 | 79k| 202 |2213 | 0.000000e+00 | 9.081100e+04 | Inf
491.30/491.31 c 476s|340000 |339861 |354605 | 1.0 | 601M| 243 | 0 |3825 |4438 |3825 | 915 | 81k| 202 |2264 | 0.000000e+00 | 9.081100e+04 | Inf
505.80/505.81 c 490s|350000 |349853 |366581 | 1.0 | 618M| 243 | 0 |3825 |4441 |3825 | 953 | 84k| 206 |2309 | 0.000000e+00 | 9.081100e+04 | Inf
519.60/519.62 c 503s|360000 |359853 |373517 | 1.0 | 635M| 243 | 0 |3825 |4441 |3825 | 957 | 87k| 206 |2309 | 0.000000e+00 | 9.081100e+04 | Inf
533.70/533.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.70/533.76 c 517s|370000 |369847 |382148 | 1.0 | 652M| 243 | 0 |3825 |4441 |3825 | 932 | 89k| 210 |2382 | 0.000000e+00 | 9.081100e+04 | Inf
547.81/547.84 c 530s|380000 |379845 |391232 | 1.0 | 669M| 243 | 0 |3825 |4442 |3825 | 951 | 92k| 211 |2398 | 0.000000e+00 | 9.081100e+04 | Inf
562.01/562.09 c 544s|390000 |389845 |402217 | 1.0 | 686M| 243 | 0 |3825 |4439 |3825 | 940 | 95k| 211 |2428 | 0.000000e+00 | 9.081100e+04 | Inf
576.10/576.19 c 558s|400000 |399845 |410051 | 1.0 | 703M| 243 | 0 |3825 |4439 |3825 | 920 | 97k| 211 |2477 | 0.000000e+00 | 9.081100e+04 | Inf
590.01/590.09 c 571s|410000 |409845 |416941 | 1.0 | 719M| 243 | 0 |3825 |4437 |3825 | 931 | 100k| 211 |2490 | 0.000000e+00 | 9.081100e+04 | Inf
604.11/604.12 c 585s|420000 |419843 |425097 | 1.0 | 736M| 243 | 0 |3825 |4437 |3825 | 930 | 102k| 212 |2520 | 0.000000e+00 | 9.081100e+04 | Inf
618.21/618.26 c 598s|430000 |429843 |433844 | 1.0 | 753M| 243 | 0 |3825 |4437 |3825 | 949 | 105k| 212 |2584 | 0.000000e+00 | 9.081100e+04 | Inf
632.30/632.33 c 612s|440000 |439843 |442463 | 1.0 | 770M| 243 | 0 |3825 |4437 |3825 | 930 | 108k| 212 |2595 | 0.000000e+00 | 9.081100e+04 | Inf
646.41/646.45 c 626s|450000 |449843 |451585 | 1.0 | 787M| 243 | 0 |3825 |4436 |3825 | 941 | 110k| 212 |2659 | 0.000000e+00 | 9.081100e+04 | Inf
660.41/660.44 c 639s|460000 |459843 |459086 | 1.0 | 804M| 243 | 0 |3825 |4436 |3825 | 931 | 112k| 212 |2694 | 0.000000e+00 | 9.081100e+04 | Inf
674.41/674.40 c 653s|470000 |469843 |467031 | 1.0 | 821M| 243 | 0 |3825 |4436 |3825 | 920 | 115k| 212 |2700 | 0.000000e+00 | 9.081100e+04 | Inf
688.21/688.20 c 666s|480000 |479843 |473296 | 1.0 | 837M| 243 | 0 |3825 |4436 |3825 | 919 | 117k| 212 |2718 | 0.000000e+00 | 9.081100e+04 | Inf
702.10/702.17 c 680s|490000 |489843 |479735 | 1.0 | 854M| 243 | 0 |3825 |4435 |3825 | 938 | 119k| 212 |2759 | 0.000000e+00 | 9.081100e+04 | Inf
716.21/716.20 c 693s|500000 |499843 |487305 | 1.0 | 871M| 243 | 0 |3825 |4433 |3825 | 924 | 121k| 212 |2794 | 0.000000e+00 | 9.081100e+04 | Inf
730.10/730.12 c 707s|510000 |509841 |494731 | 1.0 | 888M| 243 | 9 |3825 |4434 |3825 | 913 | 124k| 213 |2802 | 0.000000e+00 | 9.081100e+04 | Inf
744.00/744.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.00/744.03 c 720s|520000 |519841 |501246 | 1.0 | 905M| 243 | 0 |3825 |4434 |3825 | 917 | 126k| 213 |2835 | 0.000000e+00 | 9.081100e+04 | Inf
758.01/758.04 c 734s|530000 |529837 |508523 | 1.0 | 922M| 243 | 0 |3825 |4436 |3825 | 937 | 127k| 215 |2885 | 0.000000e+00 | 9.081100e+04 | Inf
771.91/771.98 c 747s|540000 |539837 |515852 | 1.0 | 938M| 243 | 0 |3825 |4435 |3825 | 938 | 130k| 215 |2895 | 0.000000e+00 | 9.081100e+04 | Inf
785.91/785.90 c 761s|550000 |549837 |522592 | 0.9 | 955M| 243 | 0 |3825 |4433 |3825 | 922 | 132k| 215 |2895 | 0.000000e+00 | 9.081100e+04 | Inf
799.81/799.85 c 774s|560000 |559835 |529722 | 0.9 | 972M| 243 | 0 |3825 |4434 |3825 | 923 | 134k| 216 |2948 | 0.000000e+00 | 9.081100e+04 | Inf
813.71/813.72 c 788s|570000 |569835 |536236 | 0.9 | 989M| 243 | 0 |3825 |4434 |3825 | 909 | 136k| 216 |2974 | 0.000000e+00 | 9.081100e+04 | Inf
827.51/827.57 c 801s|580000 |579833 |543106 | 0.9 |1005M| 243 | 0 |3825 |4434 |3825 | 925 | 138k| 217 |2975 | 0.000000e+00 | 9.081100e+04 | Inf
841.41/841.47 c 815s|590000 |589833 |550733 | 0.9 |1022M| 243 | 0 |3825 |4434 |3825 | 919 | 140k| 217 |2983 | 0.000000e+00 | 9.081100e+04 | Inf
855.12/855.14 c 828s|600000 |599833 |556196 | 0.9 |1039M| 243 | 0 |3825 |4434 |3825 | 937 | 142k| 217 |3028 | 0.000000e+00 | 9.081100e+04 | Inf
869.11/869.15 c 841s|610000 |609833 |564414 | 0.9 |1056M| 243 | 0 |3825 |4434 |3825 | 928 | 144k| 217 |3058 | 0.000000e+00 | 9.081100e+04 | Inf
883.11/883.13 c 855s|620000 |619833 |572634 | 0.9 |1073M| 243 | 0 |3825 |4434 |3825 | 970 | 146k| 217 |3062 | 0.000000e+00 | 9.081100e+04 | Inf
897.21/897.29 c 869s|630000 |629833 |581380 | 0.9 |1090M| 243 | 0 |3825 |4434 |3825 | 932 | 149k| 217 |3102 | 0.000000e+00 | 9.081100e+04 | Inf
911.21/911.22 c 882s|640000 |639833 |587968 | 0.9 |1106M| 243 | 0 |3825 |4433 |3825 | 940 | 151k| 217 |3134 | 0.000000e+00 | 9.081100e+04 | Inf
924.91/924.91 c 895s|650000 |649831 |593520 | 0.9 |1123M| 243 | 0 |3825 |4434 |3825 | 941 | 152k| 218 |3137 | 0.000000e+00 | 9.081100e+04 | Inf
938.61/938.65 c 909s|660000 |659827 |599275 | 0.9 |1140M| 243 | 0 |3825 |4437 |3825 | 914 | 154k| 221 |3138 | 0.000000e+00 | 9.081100e+04 | Inf
952.72/952.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.72/952.73 c 922s|670000 |669825 |608823 | 0.9 |1157M| 243 | 0 |3825 |4436 |3825 | 929 | 155k| 222 |3181 | 0.000000e+00 | 9.081100e+04 | Inf
966.52/966.52 c 936s|680000 |679825 |615506 | 0.9 |1173M| 243 | 0 |3825 |4434 |3825 | 922 | 158k| 222 |3206 | 0.000000e+00 | 9.081100e+04 | Inf
980.42/980.48 c 949s|690000 |689821 |623309 | 0.9 |1190M| 243 | 0 |3825 |4434 |3825 | 952 | 160k| 224 |3218 | 0.000000e+00 | 9.081100e+04 | Inf
994.43/994.48 c 963s|700000 |699821 |629475 | 0.9 |1207M| 243 | 0 |3825 |4434 |3825 | 915 | 162k| 224 |3223 | 0.000000e+00 | 9.081100e+04 | Inf
1008.42/1008.42 c 976s|710000 |709821 |636281 | 0.9 |1224M| 243 | 0 |3825 |4433 |3825 | 928 | 163k| 224 |3261 | 0.000000e+00 | 9.081100e+04 | Inf
1022.21/1022.26 c 990s|720000 |719821 |643459 | 0.9 |1240M| 243 | 0 |3825 |4432 |3825 | 937 | 166k| 224 |3293 | 0.000000e+00 | 9.081100e+04 | Inf
1036.13/1036.18 c 1003s|730000 |729821 |650764 | 0.9 |1257M| 243 | 0 |3825 |4432 |3825 | 925 | 167k| 224 |3306 | 0.000000e+00 | 9.081100e+04 | Inf
1049.82/1049.81 c 1016s|740000 |739817 |656101 | 0.9 |1274M| 243 | 0 |3825 |4434 |3825 | 909 | 169k| 226 |3307 | 0.000000e+00 | 9.081100e+04 | Inf
1063.72/1063.74 c 1030s|750000 |749815 |662665 | 0.9 |1291M| 243 | 0 |3825 |4434 |3825 | 979 | 171k| 227 |3319 | 0.000000e+00 | 9.081100e+04 | Inf
1077.62/1077.64 c 1043s|760000 |759815 |668919 | 0.9 |1307M| 243 | 0 |3825 |4433 |3825 | 927 | 173k| 227 |3375 | 0.000000e+00 | 9.081100e+04 | Inf
1091.52/1091.54 c 1057s|770000 |769815 |676539 | 0.9 |1324M| 243 | 0 |3825 |4433 |3825 | 928 | 175k| 227 |3391 | 0.000000e+00 | 9.081100e+04 | Inf
1105.32/1105.36 c 1070s|780000 |779815 |682878 | 0.9 |1341M| 243 | 0 |3825 |4432 |3825 | 925 | 178k| 227 |3391 | 0.000000e+00 | 9.081100e+04 | Inf
1119.22/1119.20 c 1083s|790000 |789813 |688597 | 0.9 |1358M| 243 | 0 |3825 |4433 |3825 | 940 | 180k| 228 |3391 | 0.000000e+00 | 9.081100e+04 | Inf
1133.22/1133.23 c 1097s|800000 |799811 |696249 | 0.9 |1374M| 243 | 0 |3825 |4432 |3825 | 926 | 181k| 229 |3432 | 0.000000e+00 | 9.081100e+04 | Inf
1147.12/1147.11 c 1110s|810000 |809811 |702666 | 0.9 |1391M| 243 | 0 |3825 |4431 |3825 | 910 | 183k| 229 |3466 | 0.000000e+00 | 9.081100e+04 | Inf
1161.02/1161.02 o 642
1161.02/1161.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.02/1161.02 c *1124s|819482 |493872 |711457 | 0.9 | 881M| 243 | - |3825 |4431 |3825 | 903 | 184k| 230 |3473 | 0.000000e+00 | 6.420000e+02 | Inf
1161.82/1161.88 c 1125s|820000 |494382 |712476 | 0.9 | 882M| 243 | 0 |3825 |4446 |3825 | 903 | 184k| 245 |3473 | 0.000000e+00 | 6.420000e+02 | Inf
1162.32/1162.35 o 633
1162.32/1162.35 c *1125s|820237 |486220 |712928 | 0.9 | 868M| 243 | - |3825 |4447 |3825 | 945 | 184k| 246 |3473 | 0.000000e+00 | 6.330000e+02 | Inf
1166.13/1166.14 o 632
1166.13/1166.14 c *1129s|822147 |487067 |718208 | 0.9 | 871M| 243 | - |3825 |4619 |3825 | 940 | 186k| 429 |3474 | 0.000000e+00 | 6.320000e+02 | Inf
1166.22/1166.21 o 616
1166.22/1166.21 c *1129s|822155 |471948 |718227 | 0.9 | 845M| 243 | - |3825 |4629 |3825 | 941 | 186k| 439 |3474 | 0.000000e+00 | 6.160000e+02 | Inf
1166.92/1166.96 o 609
1166.92/1166.96 c *1130s|822494 |465540 |719231 | 0.9 | 835M| 243 | - |3825 |4703 |3825 | 938 | 186k| 515 |3474 | 0.000000e+00 | 6.090000e+02 | Inf
1169.23/1169.24 o 597
1169.23/1169.24 c *1132s|823604 |454873 |722780 | 0.9 | 818M| 243 | - |3825 |4774 |3825 | 937 | 187k| 634 |3474 | 0.000000e+00 | 5.970000e+02 | Inf
1170.73/1170.76 o 581
1170.73/1170.76 c *1133s|824374 |440042 |724241 | 0.9 | 794M| 243 | - |3825 |4749 |3825 | 928 | 188k| 651 |3487 | 0.000000e+00 | 5.810000e+02 | Inf
1171.63/1171.69 o 578
1171.63/1171.69 c *1134s|824803 |437451 |725857 | 0.9 | 789M| 243 | - |3825 |4799 |3825 | 906 | 188k| 725 |3490 | 0.000000e+00 | 5.780000e+02 | Inf
1178.62/1178.69 o 574
1178.62/1178.69 c *1141s|828046 |436438 |737609 | 0.9 | 791M| 243 | - |3825 |5145 |3825 | 933 | 192k|1380 |3539 | 0.000000e+00 | 5.740000e+02 | Inf
1180.12/1180.18 o 572
1180.12/1180.18 c *1142s|828658 |434791 |741275 | 0.9 | 789M| 243 | - |3825 |5178 |3825 | 930 | 193k|1525 |3539 | 0.000000e+00 | 5.720000e+02 | Inf
1181.43/1181.46 o 564
1181.43/1181.46 c *1144s|829195 |427310 |743624 | 0.9 | 777M| 243 | - |3825 |5203 |3825 | 958 | 193k|1609 |3539 | 0.000000e+00 | 5.640000e+02 | Inf
1183.12/1183.18 c 1145s|830000 |428091 |746678 | 0.9 | 778M| 243 | 0 |3825 |5194 |3825 | 917 | 194k|1663 |3539 | 0.000000e+00 | 5.640000e+02 | Inf
1185.22/1185.29 o 560
1185.22/1185.29 c *1147s|830910 |424935 |751374 | 0.9 | 774M| 243 | - |3825 |5297 |3825 | 928 | 196k|1936 |3541 | 0.000000e+00 | 5.600000e+02 | Inf
1187.13/1187.14 o 554
1187.13/1187.14 c *1149s|831767 |419882 |753943 | 0.9 | 765M| 243 | - |3825 |5289 |3825 | 914 | 196k|2051 |3552 | 0.000000e+00 | 5.540000e+02 | Inf
1187.92/1187.91 o 552
1187.92/1187.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.92/1187.91 c *1150s|832119 |418108 |754667 | 0.9 | 763M| 243 | - |3825 |5295 |3825 | 939 | 196k|2100 |3552 | 0.000000e+00 | 5.520000e+02 | Inf
1191.12/1191.11 o 549
1191.12/1191.11 c *1153s|833575 |416685 |760130 | 0.9 | 761M| 243 | - |3825 |5298 |3825 | 893 | 198k|2312 |3584 | 0.000000e+00 | 5.490000e+02 | Inf
1191.12/1191.14 o 544
1191.12/1191.14 c *1153s|833580 |411638 |760135 | 0.9 | 752M| 243 | - |3825 |5298 |3825 | 893 | 198k|2312 |3584 | 0.000000e+00 | 5.440000e+02 | Inf
1191.23/1191.29 o 543
1191.23/1191.29 c *1153s|833636 |410724 |760512 | 0.9 | 751M| 243 | - |3825 |5307 |3825 | 935 | 198k|2345 |3586 | 0.000000e+00 | 5.430000e+02 | Inf
1194.02/1194.02 o 537
1194.02/1194.02 c *1156s|834783 |405814 |768119 | 0.9 | 743M| 243 | - |3825 |5477 |3825 | 925 | 200k|2723 |3597 | 0.000000e+00 | 5.370000e+02 | Inf
1194.02/1194.08 o 534
1194.02/1194.08 c *1156s|834794 |402810 |768375 | 0.9 | 737M| 243 | - |3825 |5473 |3825 | 914 | 200k|2723 |3597 | 0.000000e+00 | 5.340000e+02 | Inf
1195.32/1195.31 o 531
1195.32/1195.31 c *1157s|835307 |400201 |771043 | 0.9 | 733M| 243 | - |3825 |5495 |3825 | 932 | 201k|2866 |3598 | 0.000000e+00 | 5.310000e+02 | Inf
1195.32/1195.33 o 526
1195.32/1195.33 c *1157s|835308 |395084 |771043 | 0.9 | 725M| 243 | - |3825 |5495 |3825 | 932 | 201k|2866 |3598 | 0.000000e+00 | 5.260000e+02 | Inf
1198.52/1198.53 o 521
1198.52/1198.53 c *1160s|836842 |391181 |775496 | 0.9 | 719M| 243 | - |3825 |5516 |3825 | 914 | 202k|3157 |3599 | 0.000000e+00 | 5.210000e+02 | Inf
1199.42/1199.46 o 518
1199.42/1199.46 c *1161s|837227 |388361 |777423 | 0.9 | 715M| 243 | - |3825 |5524 |3825 | 934 | 202k|3311 |3599 | 0.000000e+00 | 5.180000e+02 | Inf
1205.13/1205.17 c 1167s|840000 |390987 |787690 | 0.9 | 720M| 243 | 0 |3825 |5569 |3825 | 915 | 206k|3679 |3630 | 0.000000e+00 | 5.180000e+02 | Inf
1206.52/1206.54 o 516
1206.52/1206.54 c *1168s|840526 |389188 |791911 | 0.9 | 718M| 243 | - |3825 |5801 |3825 | 935 | 206k|4099 |3649 | 0.000000e+00 | 5.160000e+02 | Inf
1207.73/1207.72 o 515
1207.73/1207.72 c *1169s|840985 |388429 |795415 | 0.9 | 717M| 243 | - |3825 |5834 |3825 | 918 | 207k|4313 |3658 | 0.000000e+00 | 5.150000e+02 | Inf
1207.83/1207.88 o 506
1207.83/1207.88 c *1169s|841048 |378868 |795666 | 0.9 | 701M| 243 | - |3825 |5816 |3825 | 942 | 207k|4313 |3658 | 0.000000e+00 | 5.060000e+02 | Inf
1208.12/1208.12 o 489
1208.12/1208.12 c *1169s|841131 |361182 |796142 | 0.9 | 670M| 243 | - |3825 |5816 |3825 | 926 | 207k|4325 |3658 | 0.000000e+00 | 4.890000e+02 | Inf
1208.63/1208.61 o 475
1208.63/1208.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.63/1208.61 c *1170s|841300 |346252 |797427 | 0.9 | 644M| 243 | - |3825 |5855 |3825 | 921 | 207k|4427 |3658 | 0.000000e+00 | 4.750000e+02 | Inf
1208.63/1208.65 o 460
1208.63/1208.65 c *1170s|841301 |330067 |797427 | 0.9 | 617M| 243 | - |3825 |5855 |3825 | 921 | 207k|4427 |3658 | 0.000000e+00 | 4.600000e+02 | Inf
1208.73/1208.77 o 457
1208.73/1208.77 c *1170s|841337 |326946 |797702 | 0.9 | 611M| 243 | - |3825 |5854 |3825 | 931 | 207k|4435 |3658 | 0.000000e+00 | 4.570000e+02 | Inf
1209.53/1209.57 o 454
1209.53/1209.57 c *1171s|841572 |323949 |800757 | 1.0 | 607M| 243 | - |3825 |5889 |3825 | 931 | 208k|4593 |3659 | 0.000000e+00 | 4.540000e+02 | Inf
1209.72/1209.78 o 444
1209.72/1209.78 c *1171s|841641 |313480 |801229 | 1.0 | 589M| 243 | - |3825 |5883 |3825 | 937 | 208k|4597 |3659 | 0.000000e+00 | 4.440000e+02 | Inf
1209.72/1209.80 o 439
1209.72/1209.80 c *1171s|841642 |308430 |801229 | 1.0 | 580M| 243 | - |3825 |5883 |3825 | 937 | 208k|4597 |3659 | 0.000000e+00 | 4.390000e+02 | Inf
1218.83/1218.84 o 434
1218.83/1218.84 c *1180s|845086 |305301 |827338 | 1.0 | 579M| 243 | - |3825 |6494 |3825 | 931 | 212k|6545 |3713 | 0.000000e+00 | 4.340000e+02 | Inf
1218.83/1218.85 o 432
1218.83/1218.85 c *1180s|845087 |303312 |827338 | 1.0 | 576M| 243 | - |3825 |6494 |3825 | 931 | 212k|6545 |3713 | 0.000000e+00 | 4.320000e+02 | Inf
1220.72/1220.72 o 430
1220.72/1220.72 c *1182s|845820 |301717 |831776 | 1.0 | 574M| 243 | - |3825 |6598 |3825 | 923 | 213k|6986 |3713 | 0.000000e+00 | 4.300000e+02 | Inf
1220.93/1220.94 o 428
1220.93/1220.94 c *1182s|845884 |299547 |832319 | 1.0 | 571M| 243 | - |3825 |6574 |3825 | 917 | 213k|7039 |3713 | 0.000000e+00 | 4.280000e+02 | Inf
1221.22/1221.20 o 427
1221.22/1221.20 c *1182s|845987 |298535 |832795 | 1.0 | 569M| 243 | - |3825 |6546 |3825 | 929 | 213k|7059 |3713 | 0.000000e+00 | 4.270000e+02 | Inf
1221.22/1221.21 o 425
1221.22/1221.21 c *1182s|845988 |296390 |832795 | 1.0 | 565M| 243 | - |3825 |6546 |3825 | 929 | 213k|7059 |3713 | 0.000000e+00 | 4.250000e+02 | Inf
1221.93/1221.91 o 423
1221.93/1221.91 c *1183s|846267 |294625 |834441 | 1.0 | 563M| 243 | - |3825 |6501 |3825 | 910 | 213k|7145 |3713 | 0.000000e+00 | 4.230000e+02 | Inf
1222.22/1222.27 o 421
1222.22/1222.27 c *1183s|846409 |292649 |835269 | 1.0 | 559M| 243 | - |3825 |6522 |3825 | 898 | 214k|7223 |3713 | 0.000000e+00 | 4.210000e+02 | Inf
1222.22/1222.28 o 419
1222.22/1222.28 c *1183s|846410 |290433 |835269 | 1.0 | 555M| 243 | - |3825 |6522 |3825 | 898 | 214k|7223 |3713 | 0.000000e+00 | 4.190000e+02 | Inf
1226.43/1226.46 o 417
1226.43/1226.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.43/1226.46 c *1187s|848203 |289890 |843320 | 1.0 | 557M| 243 | - |3825 |6932 |3825 | 924 | 216k|8159 |3730 | 0.000000e+00 | 4.170000e+02 | Inf
1226.53/1226.52 o 413
1226.53/1226.52 c *1187s|848220 |285667 |843406 | 1.0 | 549M| 243 | - |3825 |6941 |3825 | 926 | 216k|8172 |3730 | 0.000000e+00 | 4.130000e+02 | Inf
1226.53/1226.54 o 411
1226.53/1226.54 c *1187s|848221 |283456 |843406 | 1.0 | 545M| 243 | - |3825 |6941 |3825 | 926 | 216k|8172 |3730 | 0.000000e+00 | 4.110000e+02 | Inf
1226.82/1226.82 o 408
1226.82/1226.82 c *1187s|848319 |280347 |843995 | 1.0 | 540M| 243 | - |3825 |6930 |3825 | 915 | 216k|8257 |3734 | 0.000000e+00 | 4.080000e+02 | Inf
1230.42/1230.41 o 406
1230.42/1230.41 c *1191s|849571 |279075 |856216 | 1.0 | 539M| 243 | - |3825 |6230 |3825 | 918 | 217k|9203 |3746 | 0.000000e+00 | 4.060000e+02 | Inf
1231.62/1231.69 c 1192s|850000 |279322 |860738 | 1.0 | 541M| 243 | 11 |3825 |6295 |3825 | 898 | 218k|9519 |3747 | 0.000000e+00 | 4.060000e+02 | Inf
1232.23/1232.23 o 404
1232.23/1232.23 c *1193s|850217 |277394 |862189 | 1.0 | 538M| 243 | - |3825 |6327 |3825 | 921 | 218k|9633 |3747 | 0.000000e+00 | 4.040000e+02 | Inf
1233.22/1233.20 o 398
1233.22/1233.20 c *1194s|850595 |271243 |864199 | 1.0 | 527M| 243 | - |3825 |6536 |3825 | 908 | 218k|9963 |3748 | 0.000000e+00 | 3.980000e+02 | Inf
1233.72/1233.77 o 394
1233.72/1233.77 c *1194s|850802 |267256 |864996 | 1.0 | 520M| 243 | - |3825 |6556 |3825 | 923 | 218k| 10k|3748 | 0.000000e+00 | 3.940000e+02 | Inf
1234.32/1234.38 o 392
1234.32/1234.38 c *1195s|851061 |265193 |866122 | 1.0 | 517M| 243 | - |3825 |6635 |3825 | 933 | 219k| 10k|3748 | 0.000000e+00 | 3.920000e+02 | Inf
1234.52/1234.56 o 388
1234.52/1234.56 c *1195s|851116 |261121 |866457 | 1.0 | 509M| 243 | - |3825 |6639 |3825 | 928 | 219k| 10k|3748 | 0.000000e+00 | 3.880000e+02 | Inf
1237.03/1237.05 o 387
1237.03/1237.05 c *1197s|852141 |260821 |871403 | 1.0 | 510M| 243 | - |3825 |6602 |3825 | 923 | 220k| 10k|3766 | 0.000000e+00 | 3.870000e+02 | Inf
1237.32/1237.36 o 384
1237.32/1237.36 c *1198s|852238 |257776 |872158 | 1.0 | 505M| 243 | - |3825 |6588 |3825 | 935 | 221k| 10k|3771 | 0.000000e+00 | 3.840000e+02 | Inf
1237.72/1237.78 o 383
1237.72/1237.78 c *1198s|852426 |256882 |873087 | 1.0 | 503M| 243 | - |3825 |6605 |3825 | 925 | 221k| 10k|3771 | 0.000000e+00 | 3.830000e+02 | Inf
1239.52/1239.58 o 380
1239.52/1239.58 c *1200s|852993 |254067 |879550 | 1.0 | 499M| 243 | - |3825 |6529 |3825 | 905 | 221k| 11k|3775 | 0.000000e+00 | 3.800000e+02 | Inf
1240.92/1240.97 o 377
1240.92/1240.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.92/1240.97 c *1201s|853492 |251661 |883766 | 1.0 | 495M| 243 | - |3825 |6488 |3825 | 931 | 222k| 11k|3778 | 0.000000e+00 | 3.770000e+02 | Inf
1240.92/1240.99 o 373
1240.92/1240.99 c *1201s|853493 |247626 |883766 | 1.0 | 487M| 243 | - |3825 |6488 |3825 | 931 | 222k| 11k|3778 | 0.000000e+00 | 3.730000e+02 | Inf
1249.13/1249.17 o 348
1249.13/1249.17 c *1209s|856471 |224567 |908459 | 1.1 | 448M| 243 | - |3825 |6693 |3825 | 914 | 226k| 13k|3814 | 0.000000e+00 | 3.480000e+02 | Inf
1250.13/1250.13 o 346
1250.13/1250.13 c *1210s|856882 |222682 |909581 | 1.1 | 445M| 243 | - |3825 |6834 |3825 | 923 | 226k| 13k|3814 | 0.000000e+00 | 3.460000e+02 | Inf
1250.22/1250.22 o 340
1250.22/1250.22 c *1210s|856912 |217088 |909729 | 1.1 | 434M| 243 | - |3825 |6829 |3825 | 910 | 226k| 13k|3814 | 0.000000e+00 | 3.400000e+02 | Inf
1250.73/1250.71 o 335
1250.73/1250.71 c *1210s|857113 |212674 |910566 | 1.1 | 426M| 243 | - |3825 |6823 |3825 | 899 | 226k| 13k|3814 | 0.000000e+00 | 3.350000e+02 | Inf
1250.73/1250.73 o 333
1250.73/1250.73 c *1210s|857114 |210689 |910570 | 1.1 | 422M| 243 | - |3825 |6823 |3825 | 899 | 226k| 13k|3814 | 0.000000e+00 | 3.330000e+02 | Inf
1251.92/1251.91 o 316
1251.92/1251.91 c *1212s|857537 |195308 |913203 | 1.1 | 393M| 243 | - |3825 |6893 |3825 | 904 | 227k| 14k|3814 | 0.000000e+00 | 3.160000e+02 | Inf
1252.72/1252.75 o 309
1252.72/1252.75 c *1212s|857885 |189381 |914369 | 1.1 | 382M| 243 | - |3825 |7037 |3825 | 926 | 227k| 14k|3814 | 0.000000e+00 | 3.090000e+02 | Inf
1252.72/1252.76 o 307
1252.72/1252.76 c *1212s|857886 |187495 |914369 | 1.1 | 379M| 243 | - |3825 |7037 |3825 | 926 | 227k| 14k|3814 | 0.000000e+00 | 3.070000e+02 | Inf
1252.83/1252.83 o 297
1252.83/1252.83 c *1212s|857901 |178689 |914433 | 1.1 | 362M| 243 | - |3825 |7033 |3825 | 927 | 227k| 14k|3814 | 0.000000e+00 | 2.970000e+02 | Inf
1252.93/1252.99 o 285
1252.93/1252.99 c *1213s|857956 |168392 |914579 | 1.1 | 343M| 243 | - |3825 |7038 |3825 | 927 | 227k| 14k|3814 | 0.000000e+00 | 2.850000e+02 | Inf
1253.03/1253.05 o 277
1253.03/1253.05 c *1213s|857968 |161682 |914649 | 1.1 | 331M| 243 | - |3825 |7037 |3825 | 927 | 227k| 14k|3814 | 0.000000e+00 | 2.770000e+02 | Inf
1253.13/1253.13 o 263
1253.13/1253.13 c *1213s|857986 |150429 |914717 | 1.1 | 309M| 243 | - |3825 |7039 |3825 | 924 | 227k| 14k|3814 | 0.000000e+00 | 2.630000e+02 | Inf
1253.23/1253.23 o 236
1253.23/1253.23 c *1213s|858007 |129581 |914784 | 1.1 | 271M| 243 | - |3825 |7038 |3825 | 922 | 227k| 14k|3814 | 0.000000e+00 | 2.360000e+02 | Inf
1253.23/1253.24 o 234
1253.23/1253.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.23/1253.24 c *1213s|858008 |128126 |914784 | 1.1 | 268M| 243 | - |3825 |7038 |3825 | 922 | 227k| 14k|3814 | 0.000000e+00 | 2.340000e+02 | Inf
1253.32/1253.38 o 197
1253.32/1253.38 c *1213s|858029 |101120 |914870 | 1.1 | 218M| 243 | - |3825 |7052 |3825 | 920 | 227k| 14k|3814 | 0.000000e+00 | 1.970000e+02 | Inf
1253.32/1253.39 o 195
1253.32/1253.39 c *1213s|858030 | 99780 |914870 | 1.1 | 216M| 243 | - |3825 |7052 |3825 | 920 | 227k| 14k|3814 | 0.000000e+00 | 1.950000e+02 | Inf
1253.72/1253.70 o 193
1253.72/1253.70 c *1213s|858148 | 98696 |915421 | 1.1 | 214M| 243 | - |3825 |6967 |3825 | 922 | 227k| 14k|3814 | 0.000000e+00 | 1.930000e+02 | Inf
1254.12/1254.17 o 190
1254.12/1254.17 c *1214s|858307 | 96448 |916173 | 1.1 | 210M| 243 | - |3825 |6918 |3825 | 914 | 228k| 14k|3815 | 0.000000e+00 | 1.900000e+02 | Inf
1254.92/1254.96 o 181
1254.92/1254.96 c *1215s|858583 | 90276 |917513 | 1.1 | 200M| 243 | - |3825 |6989 |3825 | 927 | 228k| 15k|3815 | 0.000000e+00 | 1.810000e+02 | Inf
1254.92/1254.97 o 177
1254.92/1254.97 c *1215s|858584 | 88127 |917513 | 1.1 | 196M| 243 | - |3825 |6989 |3825 | 927 | 228k| 15k|3815 | 0.000000e+00 | 1.770000e+02 | Inf
1255.03/1255.04 o 163
1255.03/1255.04 c *1215s|858599 | 80155 |917609 | 1.1 | 180M| 243 | - |3825 |6993 |3825 | 909 | 228k| 15k|3815 | 0.000000e+00 | 1.630000e+02 | Inf
1255.23/1255.25 o 159
1255.23/1255.25 c *1215s|858693 | 78198 |917969 | 1.1 | 177M| 243 | - |3825 |7033 |3825 | 917 | 228k| 15k|3815 | 0.000000e+00 | 1.590000e+02 | Inf
1255.23/1255.26 o 155
1255.23/1255.26 c *1215s|858694 | 75896 |917969 | 1.1 | 173M| 243 | - |3825 |7033 |3825 | 917 | 228k| 15k|3815 | 0.000000e+00 | 1.550000e+02 | Inf
1256.13/1256.14 o 148
1256.13/1256.14 c *1216s|859010 | 72616 |919531 | 1.1 | 167M| 243 | - |3825 |7156 |3825 | 926 | 228k| 15k|3815 | 0.000000e+00 | 1.480000e+02 | Inf
1256.13/1256.15 o 146
1256.13/1256.15 c *1216s|859011 | 71550 |919531 | 1.1 | 165M| 243 | - |3825 |7156 |3825 | 926 | 228k| 15k|3815 | 0.000000e+00 | 1.460000e+02 | Inf
1256.42/1256.40 o 138
1256.42/1256.40 c *1216s|859100 | 64404 |919941 | 1.1 | 152M| 243 | - |3825 |7197 |3825 | 899 | 228k| 15k|3815 | 0.000000e+00 | 1.380000e+02 | Inf
1256.42/1256.41 o 136
1256.42/1256.41 c *1216s|859101 | 63337 |919941 | 1.1 | 150M| 243 | - |3825 |7197 |3825 | 899 | 228k| 15k|3815 | 0.000000e+00 | 1.360000e+02 | Inf
1256.93/1256.93 o 133
1256.93/1256.93 c *1216s|859291 | 60794 |920693 | 1.1 | 145M| 243 | - |3825 |7322 |3825 | 899 | 229k| 15k|3815 | 0.000000e+00 | 1.330000e+02 | Inf
1256.93/1256.94 o 131
1256.93/1256.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.93/1256.94 c *1216s|859292 | 59698 |920693 | 1.1 | 143M| 243 | - |3825 |7322 |3825 | 899 | 229k| 15k|3815 | 0.000000e+00 | 1.310000e+02 | Inf
1256.93/1256.97 o 129
1256.93/1256.97 c *1216s|859298 | 57983 |920718 | 1.1 | 140M| 243 | - |3825 |7322 |3825 | 901 | 229k| 15k|3815 | 0.000000e+00 | 1.290000e+02 | Inf
1256.93/1256.98 o 127
1256.93/1256.98 c *1217s|859299 | 56900 |920718 | 1.1 | 138M| 243 | - |3825 |7322 |3825 | 901 | 229k| 15k|3815 | 0.000000e+00 | 1.270000e+02 | Inf
1257.03/1257.06 o 120
1257.03/1257.06 c *1217s|859321 | 52209 |920772 | 1.1 | 129M| 243 | - |3825 |7343 |3825 | 918 | 229k| 15k|3815 | 0.000000e+00 | 1.200000e+02 | Inf
1257.03/1257.06 o 118
1257.03/1257.06 c *1217s|859322 | 51517 |920772 | 1.1 | 128M| 243 | - |3825 |7343 |3825 | 918 | 229k| 15k|3815 | 0.000000e+00 | 1.180000e+02 | Inf
1257.23/1257.30 o 116
1257.23/1257.30 c *1217s|859414 | 51040 |921065 | 1.1 | 127M| 243 | - |3825 |7345 |3825 | 922 | 229k| 15k|3815 | 0.000000e+00 | 1.160000e+02 | Inf
1257.33/1257.36 o 75
1257.33/1257.36 c *1217s|859417 | 32017 |921071 | 1.1 | 89M| 243 | - |3825 |7344 |3825 | 922 | 229k| 15k|3815 | 0.000000e+00 | 7.500000e+01 | Inf
1257.42/1257.41 o 72
1257.42/1257.41 c *1217s|859423 | 31490 |921110 | 1.1 | 89M| 243 | - |3825 |6750 |3825 | 910 | 229k| 15k|3815 | 0.000000e+00 | 7.200000e+01 | Inf
1257.42/1257.42 o 70
1257.42/1257.42 c *1217s|859424 | 30101 |921110 | 1.1 | 86M| 243 | - |3825 |6750 |3825 | 910 | 229k| 15k|3815 | 0.000000e+00 | 7.000000e+01 | Inf
1257.42/1257.47 o 60
1257.42/1257.47 c *1217s|859434 | 26696 |921179 | 1.1 | 79M| 243 | - |3825 |6577 |3825 | 903 | 229k| 15k|3815 | 0.000000e+00 | 6.000000e+01 | Inf
1258.72/1258.74 o 48
1258.72/1258.74 c *1218s|859774 | 9639 |923901 | 1.1 | 48M| 243 | - |3825 |5622 |3825 | 911 | 229k| 16k|3822 | 0.000000e+00 | 4.800000e+01 | Inf
1259.33/1259.34 c 1219s|860000 | 9640 |925388 | 1.1 | 48M| 243 | - |3825 |5002 | 0 | 0 | 229k| 16k|3829 | 0.000000e+00 | 4.800000e+01 | Inf
1262.12/1262.17 o 40
1262.12/1262.17 c *1221s|861325 | 8887 |931689 | 1.1 | 48M| 243 | - |3825 |5073 |3825 | 898 | 229k| 18k|3841 | 0.000000e+00 | 4.000000e+01 | Inf
1264.63/1264.66 o 36
1264.63/1264.66 c *1224s|862326 | 8471 |938061 | 1.1 | 48M| 243 | - |3825 |4804 |3825 | 893 | 230k| 20k|3855 | 0.000000e+00 | 3.600000e+01 | Inf
1269.53/1269.59 o 32
1269.53/1269.59 c *1229s|864644 | 7883 |951140 | 1.1 | 49M| 243 | - |3825 |5413 |3825 | 893 | 230k| 23k|3855 | 0.000000e+00 | 3.200000e+01 | Inf
1274.83/1274.88 o 25
1274.83/1274.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.83/1274.88 c *1234s|867369 | 7621 |963706 | 1.1 | 51M| 243 | - |3825 |5633 |3825 | 898 | 231k| 26k|3885 | 0.000000e+00 | 2.500000e+01 | Inf
1275.72/1275.79 o 21
1275.72/1275.79 c *1234s|867790 | 7078 |966309 | 1.1 | 49M| 243 | - |3825 |5091 |3825 | 898 | 231k| 27k|3885 | 0.000000e+00 | 2.100000e+01 | Inf
1279.62/1279.62 c 1238s|870000 | 7160 |974068 | 1.1 | 50M| 243 | - |3825 |6075 | 0 | 0 | 231k| 29k|3885 | 0.000000e+00 | 2.100000e+01 | Inf
1288.82/1288.85 o 19
1288.82/1288.85 c *1247s|875388 | 6705 |994298 | 1.1 | 51M| 243 | - |3825 |5846 |3825 | 894 | 232k| 38k|3912 | 0.000000e+00 | 1.900000e+01 | Inf
1288.82/1288.85 o 17
1288.82/1288.85 c *1247s|875389 | 6378 |994305 | 1.1 | 50M| 243 | - |3825 |5846 |3825 | 894 | 232k| 38k|3912 | 0.000000e+00 | 1.700000e+01 | Inf
1296.53/1296.58 c 1254s|880000 | 6410 | 1014k| 1.2 | 52M| 243 | - |3825 |6778 | 0 | 0 | 233k| 44k|3937 | 0.000000e+00 | 1.700000e+01 | Inf
1313.02/1313.01 c 1270s|890000 | 6542 | 1051k| 1.2 | 55M| 243 | 12 |3825 |8980 |3825 | 915 | 234k| 58k|3971 | 0.000000e+00 | 1.700000e+01 | Inf
1317.42/1317.46 o 15
1317.42/1317.46 c *1274s|892721 | 6350 | 1060k| 1.2 | 55M| 243 | - |3825 |9295 |3825 | 898 | 235k| 62k|3971 | 0.000000e+00 | 1.500000e+01 | Inf
1330.02/1330.05 c 1286s|900000 | 6399 | 1090k| 1.2 | 57M| 243 | 7 |3825 |8503 |3825 | 900 | 236k| 72k|4000 | 0.000000e+00 | 1.500000e+01 | Inf
1344.62/1344.64 o 13
1344.62/1344.64 c *1300s|908758 | 6422 | 1124k| 1.2 | 59M| 243 | - |3825 | 11k|3825 | 897 | 238k| 85k|4049 | 0.000000e+00 | 1.300000e+01 | Inf
1346.73/1346.71 c 1302s|910000 | 6458 | 1128k| 1.2 | 60M| 243 | 16 |3825 | 11k|3825 | 893 | 238k| 86k|4059 | 0.000000e+00 | 1.300000e+01 | Inf
1363.13/1363.18 c 1317s|920000 | 6459 | 1163k| 1.3 | 62M| 243 | 6 |3825 | 10k|3825 | 893 | 239k| 100k|4095 | 0.000000e+00 | 1.300000e+01 | Inf
1379.63/1379.60 c 1333s|930000 | 6304 | 1197k| 1.3 | 62M| 243 | 21 |3825 |9887 |3825 | 897 | 241k| 114k|4134 | 0.000000e+00 | 1.300000e+01 | Inf
1384.03/1384.04 o 7
1384.03/1384.04 c *1337s|932707 | 6097 | 1206k| 1.3 | 60M| 243 | - |3825 | 10k|3825 | 910 | 241k| 118k|4136 | 0.000000e+00 | 7.000000e+00 | Inf
1396.83/1396.82 c 1349s|940000 | 6064 | 1235k| 1.3 | 61M| 243 | 16 |3825 | 10k|3825 | 910 | 242k| 127k|4161 | 0.000000e+00 | 7.000000e+00 | Inf
1412.83/1412.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.83/1412.87 c 1365s|950000 | 6035 | 1268k| 1.3 | 63M| 243 | 1 |3825 | 12k|3825 | 893 | 243k| 141k|4191 | 0.000000e+00 | 7.000000e+00 | Inf
1430.73/1430.72 c 1382s|960000 | 6067 | 1303k| 1.4 | 65M| 243 | 17 |3825 | 15k|3825 | 893 | 245k| 155k|4243 | 0.000000e+00 | 7.000000e+00 | Inf
1449.33/1449.30 c 1400s|970000 | 6143 | 1337k| 1.4 | 66M| 243 | 21 |3825 | 16k|3825 | 893 | 246k| 168k|4288 | 0.000000e+00 | 7.000000e+00 | Inf
1467.63/1467.61 c 1417s|980000 | 6170 | 1372k| 1.4 | 68M| 243 | 1 |3825 | 16k|3825 | 893 | 247k| 184k|4322 | 0.000000e+00 | 7.000000e+00 | Inf
1486.04/1486.06 c 1435s|990000 | 6082 | 1407k| 1.4 | 68M| 243 | 22 |3825 | 17k|3825 | 898 | 248k| 200k|4354 | 0.000000e+00 | 7.000000e+00 | Inf
1504.53/1504.55 c 1453s| 1000k| 6009 | 1443k| 1.4 | 67M| 243 | - |3825 | 16k|3825 | 893 | 249k| 215k|4393 | 0.000000e+00 | 7.000000e+00 | Inf
1522.83/1522.82 c 1470s| 1010k| 5761 | 1478k| 1.5 | 66M| 243 | - |3825 | 14k| 0 | 0 | 250k| 228k|4448 | 0.000000e+00 | 7.000000e+00 | Inf
1540.34/1540.33 c 1487s| 1020k| 5686 | 1515k| 1.5 | 67M| 243 | 20 |3825 | 14k|3825 | 893 | 252k| 242k|4490 | 0.000000e+00 | 7.000000e+00 | Inf
1557.73/1557.72 c 1504s| 1030k| 5816 | 1552k| 1.5 | 69M| 243 | - |3825 | 15k| 0 | 0 | 253k| 256k|4532 | 0.000000e+00 | 7.000000e+00 | Inf
1575.43/1575.43 c 1521s| 1040k| 5824 | 1589k| 1.5 | 70M| 243 | - |3825 | 17k| 0 | 0 | 255k| 271k|4576 | 0.000000e+00 | 7.000000e+00 | Inf
1593.43/1593.47 c 1538s| 1050k| 5747 | 1623k| 1.5 | 71M| 243 | - |3825 | 17k| 0 | 0 | 256k| 286k|4623 | 0.000000e+00 | 7.000000e+00 | Inf
1611.54/1611.53 c 1555s| 1060k| 5725 | 1661k| 1.6 | 70M| 243 | - |3825 | 16k| 0 | 0 | 258k| 300k|4668 | 0.000000e+00 | 7.000000e+00 | Inf
1629.33/1629.30 c 1572s| 1070k| 5762 | 1695k| 1.6 | 72M| 243 | 14 |3825 | 18k|3825 | 893 | 259k| 313k|4709 | 0.000000e+00 | 7.000000e+00 | Inf
1648.04/1648.08 c 1591s| 1080k| 5764 | 1727k| 1.6 | 73M| 243 | - |3825 | 21k| 0 | 0 | 260k| 327k|4753 | 0.000000e+00 | 7.000000e+00 | Inf
1667.44/1667.47 c 1609s| 1090k| 5853 | 1764k| 1.6 | 75M| 243 | 4 |3825 | 20k|3825 | 893 | 261k| 341k|4807 | 0.000000e+00 | 7.000000e+00 | Inf
1686.54/1686.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.54/1686.53 c 1627s| 1100k| 5942 | 1799k| 1.6 | 77M| 243 | 17 |3825 | 21k|3825 | 893 | 262k| 356k|4850 | 0.000000e+00 | 7.000000e+00 | Inf
1706.05/1706.00 c 1646s| 1110k| 5970 | 1833k| 1.7 | 78M| 243 | - |3825 | 20k| 0 | 0 | 264k| 370k|4899 | 0.000000e+00 | 7.000000e+00 | Inf
1724.54/1724.56 c 1664s| 1120k| 5805 | 1870k| 1.7 | 75M| 243 | 1 |3825 | 16k|3825 | 893 | 265k| 385k|4947 | 0.000000e+00 | 7.000000e+00 | Inf
1742.64/1742.62 c 1681s| 1130k| 5769 | 1908k| 1.7 | 75M| 243 | 12 |3825 | 15k|3825 | 893 | 266k| 399k|4994 | 0.000000e+00 | 7.000000e+00 | Inf
1761.05/1761.06 c 1699s| 1140k| 5722 | 1946k| 1.7 | 76M| 243 | - |3825 | 17k| 0 | 0 | 268k| 414k|5044 | 0.000000e+00 | 7.000000e+00 | Inf
1779.04/1779.00 c 1716s| 1150k| 5769 | 1979k| 1.7 | 78M| 243 | - |3825 | 20k| 0 | 0 | 269k| 427k|5088 | 0.000000e+00 | 7.000000e+00 | Inf
1798.14/1798.19 c 1735s| 1160k| 5773 | 2011k| 1.7 | 80M| 243 | 1 |3825 | 24k|3825 | 893 | 270k| 440k|5125 | 0.000000e+00 | 7.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1736.47
1800.05/1800.00 c Solving Nodes : 1160997
1800.05/1800.00 c Primal Bound : +7.00000000000000e+00 (216 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/1800.04 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210
1800.05/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.04 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.04 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.04 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.05/1800.04 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.04 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.04 v x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.04 v -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
1800.05/1800.04 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
1800.05/1800.04 v -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1736.47
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2692813-1277904978.wbo
1800.05/1800.04 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.05/1800.04 c Constraints : 4571 initial, 4571 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2692813-1277904978.wbo
1800.05/1800.04 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.05/1800.04 c Constraints : 4418 initial, 24904 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.06 0 0 0 1878 0 87 72 0
1800.05/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1701 - - 3402 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 1061957 0 5 111 0 0 413686
1800.05/1800.04 c indicator : 1797 0 2807903 854966 0 204 3576629 0 0 0
1800.05/1800.04 c setppc : 5 6 2141826 341766 0 1331 311169 0 0 0
1800.05/1800.04 c linear : 1797 6 2782169 824052 0 94208 8067052 270737 0 0
1800.05/1800.04 c logicor : 819+ 6 950076 815472 0 63563 1742229 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 49785 0 0 0 10 0 0 0
1800.05/1800.04 c countsols : 0 0 0 815472 0 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 14.35 0.00 0.00 14.35 0.00
1800.05/1800.04 c indicator : 146.64 0.00 29.76 116.88 0.00
1800.05/1800.04 c setppc : 1.49 0.00 1.49 0.00 0.00
1800.05/1800.04 c linear : 76.57 0.00 58.47 18.10 0.00
1800.05/1800.04 c logicor : 76.88 0.00 70.86 6.02 0.00
1800.05/1800.04 c bounddisjunction : 0.12 0.00 0.12 0.00 0.00
1800.05/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 0.02 2 0 0
1800.05/1800.04 c rootredcost : 0.02 108 0 1701
1800.05/1800.04 c pseudoobj : 97.01 2822063 4628 1805625
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 8.29 163730 163638 1042264 29.4 8682 19.7 -
1800.05/1800.04 c infeasible LP : 1.00 3964 3964 35716 42.2 57 14.3 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.03 229 229 1150 13.9 147 4.8 -
1800.05/1800.04 c applied globally : - - - 442417 23.1 - - -
1800.05/1800.04 c applied locally : - - - 0 0.0 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 4 - - 104 - (maximal pool size: 236)
1800.05/1800.04 c redcost : 75.69 1067566 0 1070073 0 0
1800.05/1800.04 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.14 5 0 0 1171 0
1800.05/1800.04 c strongcg : 0.05 5 0 0 0 0
1800.05/1800.04 c cmir : 0.04 5 0 0 1 0
1800.05/1800.04 c flowcover : 0.06 5 0 0 0 0
1800.05/1800.04 c clique : 0.01 5 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 1 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 14.31 206945 5 111 0 0 413686
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 126.54 815365 0 0 0 0 1630730
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 2.00 - 107
1800.05/1800.04 c pseudo solutions : 0.00 - 0
1800.05/1800.04 c feaspump : 0.00 0 0
1800.05/1800.04 c intshifting : 0.00 3 0
1800.05/1800.04 c oneopt : 0.56 87 0
1800.05/1800.04 c crossover : 1.95 101 0
1800.05/1800.04 c fracdiving : 7.22 7764 0
1800.05/1800.04 c veclendiving : 7.39 7764 0
1800.05/1800.04 c linesearchdiving : 7.44 7764 0
1800.05/1800.04 c coefdiving : 7.83 7765 0
1800.05/1800.04 c pscostdiving : 8.09 7765 0
1800.05/1800.04 c guideddiving : 7.56 7765 0
1800.05/1800.04 c rootsoldiving : 8.64 7762 0
1800.05/1800.04 c objpscostdiving : 8.25 7762 0
1800.05/1800.04 c trivial : 0.00 2 0
1800.05/1800.04 c simplerounding : 0.11 208190 0
1800.05/1800.04 c zirounding : 0.08 1000 0
1800.05/1800.04 c rounding : 1.27 6442 0
1800.05/1800.04 c shifting : 1.31 2000 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.02 1 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.00 0 0
1800.05/1800.04 c trysol : 0.68 12158 109
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 617.04 268779 2011497 7.48 3259.91
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.33 154 2851 18.51 8639.39
1800.05/1800.04 c strong branching : 12.99 5126 95836 18.70 7377.68
1800.05/1800.04 c (at root node) : - 33 4903 148.58 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 1160997
1800.05/1800.04 c nodes (total) : 1160997
1800.05/1800.04 c nodes left : 5775
1800.05/1800.04 c max depth : 243
1800.05/1800.04 c max depth (total): 243
1800.05/1800.04 c backtracks : 40591 (3.5%)
1800.05/1800.04 c delayed cutoffs : 32694
1800.05/1800.04 c repropagations : 714062 (2719684 domain reductions, 29412 cutoffs)
1800.05/1800.04 c avg switch length: 3.28
1800.05/1800.04 c switching time : 129.43
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 216 (108 improvements)
1800.05/1800.04 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.05/1800.04 c Primal Bound : +7.00000000000000e+00 (in run 1, after 932707 nodes, 1337.27 seconds, depth 38, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 221
1800.15/1800.19 c Time complete: 1800.24.
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692813-1277904978/watcher-2692813-1277904978 -o /tmp/evaluation-result-2692813-1277904978/solver-2692813-1277904978 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692813-1277904978.wbo -t 1800 -m 3800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 2.01 4/182 12488 /proc/meminfo: memFree=30450652/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=9420 CPUtime=0 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1650 0 0 0 0 0 0 0 21 0 1 0 131793408 9646080 1570 4089446400 4194304 8223781 140736257140304 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/12488/statm: 2355 1570 369 984 0 1368 0 [startup+0.039001 s] /proc/loadavg: 2.01 2.00 2.01 4/182 12488 /proc/meminfo: memFree=30450652/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=23036 CPUtime=0.03 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 5230 0 0 0 3 0 0 0 21 0 1 0 131793408 23588864 4786 4089446400 4194304 8223781 140736257140304 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12488/statm: 5759 4786 387 984 0 4772 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 23036 [startup+0.100986 s] /proc/loadavg: 2.01 2.00 2.01 4/182 12488 /proc/meminfo: memFree=30450652/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=29784 CPUtime=0.09 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 7591 0 0 0 8 1 0 0 21 0 1 0 131793408 30498816 6376 4089446400 4194304 8223781 140736257140304 18446744073709551615 4936581 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12488/statm: 7446 6376 452 984 0 6459 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29784 [startup+0.300949 s] /proc/loadavg: 2.01 2.00 2.01 4/182 12488 /proc/meminfo: memFree=30450652/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=37408 CPUtime=0.29 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 12509 0 0 0 26 3 0 0 21 0 1 0 131793408 38305792 8436 4089446400 4194304 8223781 140736257140304 18446744073709551615 6032712 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12488/statm: 9352 8436 570 984 0 8365 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37408 [startup+0.700874 s] /proc/loadavg: 2.01 2.00 2.01 4/182 12488 /proc/meminfo: memFree=30450652/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=40072 CPUtime=0.69 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 18177 0 0 0 64 5 0 0 22 0 1 0 131793408 41033728 9025 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12488/statm: 10018 9025 585 984 0 9031 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40072 [startup+1.50079 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12489 /proc/meminfo: memFree=30416440/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=40292 CPUtime=1.49 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 18760 0 0 0 141 8 0 0 25 0 1 0 131793408 41259008 9049 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12488/statm: 10073 9049 585 984 0 9086 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40292 [startup+3.10047 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12489 /proc/meminfo: memFree=30416316/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=40316 CPUtime=3.09 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 19002 0 0 0 295 14 0 0 25 0 1 0 131793408 41283584 9088 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12488/statm: 10079 9088 587 984 0 9092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40316 [startup+6.30089 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12489 /proc/meminfo: memFree=30414836/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=42124 CPUtime=6.28 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 24831 0 0 0 604 24 0 0 25 0 1 0 131793408 43134976 9541 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 10531 9541 590 984 0 9544 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 42124 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12489 /proc/meminfo: memFree=30404016/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=52132 CPUtime=12.69 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 44534 0 0 0 1221 48 0 0 25 0 1 0 131793408 53383168 11941 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 13033 11941 593 984 0 12046 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52132 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12489 /proc/meminfo: memFree=30380288/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=69844 CPUtime=25.49 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 55935 0 0 0 2460 89 0 0 25 0 1 0 131793408 71520256 16363 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 17461 16363 593 984 0 16474 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69844 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.01 3/183 12490 /proc/meminfo: memFree=30343268/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=99980 CPUtime=51.09 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 75758 0 0 0 4931 178 0 0 25 0 1 0 131793408 102379520 23965 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 24995 23965 594 984 0 24008 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 99980 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12491 /proc/meminfo: memFree=30265724/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=164272 CPUtime=102.3 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 99722 0 0 0 9891 339 0 0 25 0 1 0 131793408 168214528 39647 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 41068 39647 594 984 0 40081 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 164272 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12493 /proc/meminfo: memFree=30142544/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=238244 CPUtime=162.29 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 125589 0 0 0 15705 524 0 0 25 0 1 0 131793408 243961856 58302 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 59561 58302 594 984 0 58574 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 238244 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12495 /proc/meminfo: memFree=30049144/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=310412 CPUtime=222.29 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 146377 0 0 0 21514 715 0 0 25 0 1 0 131793408 317861888 76508 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 77603 76508 594 984 0 76616 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 310412 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12496 /proc/meminfo: memFree=29949412/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=382668 CPUtime=282.29 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 165607 0 0 0 27323 906 0 0 25 0 1 0 131793408 391852032 94719 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 95667 94719 594 984 0 94680 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 382668 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12498 /proc/meminfo: memFree=29831056/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=455336 CPUtime=342.29 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 190371 0 0 0 33136 1093 0 0 25 0 1 0 131793408 466264064 112034 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 113834 112034 594 984 0 112847 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 455336 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12499 /proc/meminfo: memFree=29721644/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=528096 CPUtime=402.3 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 210439 0 0 0 38947 1283 0 0 25 0 1 0 131793408 540770304 130397 4089446400 4194304 8223781 140736257140304 18446744073709551615 4740310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 132024 130397 594 984 0 131037 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 528096 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12501 /proc/meminfo: memFree=29623400/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=600220 CPUtime=462.3 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 230606 0 0 0 44753 1477 0 0 25 0 1 0 131793408 614625280 148595 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 150055 148595 594 984 0 149068 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 600220 [startup+522.301 s] /proc/loadavg: 2.08 2.03 2.01 3/183 12503 /proc/meminfo: memFree=29505936/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=672424 CPUtime=522.3 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 249087 0 0 0 50561 1669 0 0 25 0 1 0 131793408 688562176 166804 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 168106 166804 594 984 0 167119 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 672424 [startup+582.301 s] /proc/loadavg: 2.16 2.05 2.01 3/183 12504 /proc/meminfo: memFree=29376924/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=742956 CPUtime=582.31 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 267022 0 0 0 56370 1861 0 0 25 0 1 0 131793408 760786944 184610 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 185739 184610 594 984 0 184752 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 742956 [startup+642.3 s] /proc/loadavg: 2.12 2.06 2.01 3/183 12506 /proc/meminfo: memFree=29236992/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=814988 CPUtime=642.31 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 292400 0 0 0 62173 2058 0 0 25 0 1 0 131793408 834547712 202787 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 203747 202787 594 984 0 202760 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 814988 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 12540 /proc/meminfo: memFree=30358900/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1105120 CPUtime=882.32 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 366505 0 0 0 85407 2825 0 0 25 0 1 0 131793408 1131642880 273939 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 276280 273939 594 984 0 275293 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1105120 [startup+942.301 s] /proc/loadavg: 2.02 2.04 2.00 3/183 12542 /proc/meminfo: memFree=30277392/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1180232 CPUtime=942.32 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 387212 0 0 0 91214 3018 0 0 25 0 1 0 131793408 1208557568 292880 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 295058 292880 594 984 0 294071 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1180232 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 12543 /proc/meminfo: memFree=30205664/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1249296 CPUtime=1002.31 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 405259 0 0 0 97024 3207 0 0 25 0 1 0 131793408 1279279104 310312 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 312324 310312 594 984 0 311337 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1249296 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12545 /proc/meminfo: memFree=30131104/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1322320 CPUtime=1062.32 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 424926 0 0 0 102835 3397 0 0 25 0 1 0 131793408 1354055680 328739 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 330580 328739 594 984 0 329593 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1322320 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12547 /proc/meminfo: memFree=30050968/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1395176 CPUtime=1122.32 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 443981 0 0 0 108643 3589 0 0 25 0 1 0 131793408 1428660224 347108 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 348794 347108 594 984 0 347807 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1395176 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 12548 /proc/meminfo: memFree=29992040/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1447920 CPUtime=1182.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 550569 0 0 0 114449 3784 0 0 25 0 1 0 131793408 1482670080 360389 4089446400 4194304 8223781 140736257140304 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 361980 360389 594 984 0 360993 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1447920 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 12550 /proc/meminfo: memFree=29953916/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1484972 CPUtime=1242.32 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 712654 0 0 0 120236 3996 0 0 25 0 1 0 131793408 1520611328 369454 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 371243 369454 594 984 0 370256 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1484972 [startup+1302.3 s] /proc/loadavg: 2.04 2.02 2.00 3/183 12551 /proc/meminfo: memFree=30005212/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1432228 CPUtime=1302.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 879623 0 0 0 125964 4269 0 0 25 0 1 0 131793408 1466601472 356083 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 358057 356083 605 984 0 357070 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1432228 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12553 /proc/meminfo: memFree=29997488/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1439668 CPUtime=1362.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 952440 0 0 0 131663 4570 0 0 25 0 1 0 131793408 1474220032 357921 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 359917 357921 605 984 0 358930 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1439668 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12555 /proc/meminfo: memFree=30008496/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1427472 CPUtime=1422.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 997216 0 0 0 137370 4863 0 0 25 0 1 0 131793408 1461731328 354879 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 356868 354879 606 984 0 355881 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1427472 [startup+1482.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 12556 /proc/meminfo: memFree=30004244/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1429616 CPUtime=1482.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1014485 0 0 0 143126 5107 0 0 25 0 1 0 131793408 1463926784 355397 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 357404 355397 606 984 0 356417 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1429616 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12567 /proc/meminfo: memFree=30005220/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1426720 CPUtime=1542.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1016021 0 0 0 148900 5333 0 0 25 0 1 0 131793408 1460961280 354658 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 356680 354658 606 984 0 355693 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1426720 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12568 /proc/meminfo: memFree=30003076/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1428760 CPUtime=1602.33 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1023822 0 0 0 154657 5576 0 0 25 0 1 0 131793408 1463050240 355131 4089446400 4194304 8223781 140736257140304 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 357190 355131 606 984 0 356203 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1428760 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12570 /proc/meminfo: memFree=30000944/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1431020 CPUtime=1662.34 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1024889 0 0 0 160424 5810 0 0 25 0 1 0 131793408 1465364480 355652 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 357755 355652 606 984 0 356768 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1431020 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12572 /proc/meminfo: memFree=29998180/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1433408 CPUtime=1722.34 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1025691 0 0 0 166192 6042 0 0 25 0 1 0 131793408 1467809792 356181 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 358352 356181 606 984 0 357365 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1433408 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12573 /proc/meminfo: memFree=30000376/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1431120 CPUtime=1782.34 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1029597 0 0 0 171945 6289 0 0 25 0 1 0 131793408 1465466880 355608 4089446400 4194304 8223781 140736257140304 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 357780 355608 606 984 0 356793 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1431120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12574 /proc/meminfo: memFree=29998508/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1432960 CPUtime=1800.05 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1030004 0 0 0 173650 6355 0 0 25 0 1 0 131793408 1467351040 356011 4089446400 4194304 8223781 140736257140304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12488/statm: 358240 356011 606 984 0 357253 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1432960 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12574 /proc/meminfo: memFree=29998508/32951124 swapFree=67111528/67111528 [pid=12488] ppid=12486 vsize=1050448 CPUtime=1800.15 /proc/12488/stat : 12488 (pbscip.linux.x8) R 12486 12488 11955 0 -1 4202496 1030020 0 0 0 173659 6356 0 0 18 0 1 0 131793408 1075658752 260125 4089446400 4194304 8223781 140736257140304 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12488/statm: 262100 259613 608 984 0 261113 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 1050448 Child status: 0 Real time (s): 1800.2 CPU time (s): 1800.24 CPU user time (s): 1736.64 CPU system time (s): 63.6013 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1508020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.64 system time used= 63.6013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1030024 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= 2 involuntary context switches= 1274 runsolver used 2.84957 second user time and 6.66699 second system time The end
Begin job on node133 at 2010-06-30 15:36:18 IDJOB=2692813 IDBENCH=78925 IDSOLVER=1204 FILE ID=node133/2692813-1277904978 PBS_JOBID= 11197223 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692813-1277904978/watcher-2692813-1277904978 -o /tmp/evaluation-result-2692813-1277904978/solver-2692813-1277904978 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692813-1277904978.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2c7bc414eea5148dc6372ccd38f2fe74 RANDOM SEED=606880872 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7296.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30451056 kB Buffers: 185176 kB Cached: 980660 kB SwapCached: 0 kB Active: 1718308 kB Inactive: 638352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30451056 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4696 kB Writeback: 0 kB AnonPages: 1190548 kB Mapped: 16144 kB Slab: 78284 kB PageTables: 7168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1355972 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node133 at 2010-06-30 16:06:20