Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.13 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo |
| MD5SUM | 9b8daeac3a936659a5f0bb5b79c19c15 |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 677.011 |
| 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 | 906 |
| 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 | 44555 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44554 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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: NONE] [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-2694185-1277909865.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.00/0.09 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.10 c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.15 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (5 rounds):
0.09/0.15 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.15 c 1116 implications, 14 cliques
0.09/0.15 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.15 c 854 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 14 constraints of type <setppc>
0.09/0.15 c 854 constraints of type <linear>
0.09/0.15 c 1726 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7510k| 0 | - |1939 |3449 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.08 o 482
0.99/1.08 c * 1.0s| 3722 | 3261 | 0 | 0.0 | 10M|1035 | - |1939 |4106 | 0 | 0 | 0 |1020 | 0 | 0.000000e+00 | 4.820000e+02 | Inf
1.10/1.12 o 455
1.10/1.12 c * 1.0s| 3845 | 3382 | 0 | 0.0 | 10M|1035 | - |1939 |4096 | 0 | 0 | 0 |1020 | 0 | 0.000000e+00 | 4.550000e+02 | Inf
1.10/1.16 o 401
1.10/1.16 c * 1.1s| 3985 | 3515 | 0 | 0.0 | 10M|1035 | - |1939 |4114 | 0 | 0 | 0 |1041 | 0 | 0.000000e+00 | 4.010000e+02 | Inf
1.19/1.20 o 390
1.19/1.20 c * 1.1s| 4117 | 3640 | 0 | 0.0 | 10M|1035 | - |1939 |4122 | 0 | 0 | 0 |1054 | 0 | 0.000000e+00 | 3.900000e+02 | Inf
1.19/1.20 o 368
1.19/1.20 c * 1.1s| 4118 | 3634 | 0 | 0.0 | 10M|1035 | - |1939 |4122 | 0 | 0 | 0 |1054 | 0 | 0.000000e+00 | 3.680000e+02 | Inf
2.69/2.71 c 2.6s| 10000 | 8711 | 0 | 0.0 | 14M|1035 | - |1939 |4646 | 0 | 0 | 0 |3810 | 0 | 0.000000e+00 | 3.680000e+02 | Inf
5.09/5.14 o 330
5.09/5.14 c * 4.9s| 17953 | 13189 | 0 | 0.0 | 19M|1035 | - |1939 |6039 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.300000e+02 | Inf
5.09/5.16 o 296
5.09/5.16 c * 4.9s| 18020 | 13247 | 0 | 0.0 | 19M|1035 | - |1939 |6014 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
5.19/5.25 o 231
5.19/5.25 c * 5.0s| 18287 | 13485 | 0 | 0.0 | 20M|1035 | - |1939 |5954 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
5.29/5.35 o 222
5.29/5.35 c * 5.1s| 18562 | 13711 | 0 | 0.0 | 20M|1035 | - |1939 |5865 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
5.29/5.35 o 214
5.29/5.35 c * 5.1s| 18568 | 13713 | 0 | 0.0 | 20M|1035 | - |1939 |5865 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
5.40/5.44 o 206
5.40/5.44 c * 5.2s| 18856 | 13978 | 0 | 0.0 | 20M|1035 | - |1939 |5759 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
5.49/5.56 o 181
5.49/5.56 c * 5.3s| 19205 | 14301 | 0 | 0.0 | 20M|1035 | - |1939 |5542 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
5.80/5.83 c 5.5s| 20000 | 15009 | 0 | 0.0 | 21M|1035 | - |1939 |5206 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
6.10/6.19 o 169
6.10/6.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.10/6.19 c * 5.9s| 21070 | 15931 | 0 | 0.0 | 21M|1035 | - |1939 |5045 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
6.10/6.19 o 166
6.10/6.19 c * 5.9s| 21071 | 15921 | 0 | 0.0 | 21M|1035 | - |1939 |5045 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
7.60/7.62 o 139
7.60/7.62 c * 7.3s| 25406 | 19518 | 0 | 0.0 | 24M|1035 | - |1939 |4656 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
7.89/7.95 o 96
7.89/7.95 c * 7.6s| 26448 | 19889 | 0 | 0.0 | 24M|1035 | - |1939 |4690 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
9.09/9.15 c 8.7s| 30000 | 23002 | 0 | 0.0 | 27M|1035 | - |1939 |4973 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
9.59/9.66 o 82
9.59/9.66 c * 9.2s| 31687 | 23829 | 0 | 0.0 | 27M|1035 | - |1939 |4843 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
12.19/12.20 c 11.6s| 40000 | 30897 | 0 | 0.0 | 33M|1035 | - |1939 |4841 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
15.09/15.17 c 14.5s| 50000 | 38845 | 0 | 0.0 | 40M|1035 | - |1939 |5431 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
18.29/18.35 c 17.5s| 60000 | 46409 | 0 | 0.0 | 47M|1035 | - |1939 |5638 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
21.69/21.70 c 20.8s| 70000 | 53567 | 0 | 0.0 | 54M|1035 | - |1939 |5999 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
25.20/25.21 c 24.1s| 80000 | 60253 | 0 | 0.0 | 61M|1035 | - |1939 |6144 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
28.99/29.04 c 27.9s| 90000 | 66438 | 0 | 0.0 | 68M|1035 | - |1939 |6672 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
33.39/33.46 c 32.1s|100000 | 71770 | 0 | 0.0 | 75M|1035 | - |1939 |7463 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
38.39/38.46 c 37.0s|110000 | 76424 | 0 | 0.0 | 82M|1035 | - |1939 |8642 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
44.40/44.46 c 42.8s|120000 | 80887 | 0 | 0.0 | 88M|1035 | - |1939 |4821 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
48.09/48.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.09/48.17 c 46.4s|130000 | 89661 | 0 | 0.0 | 98M|1035 | - |1939 |4299 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
52.00/52.04 c 50.2s|140000 | 98174 | 0 | 0.0 | 111M|1035 | - |1939 |4882 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
56.10/56.11 c 54.1s|150000 |106225 | 0 | 0.0 | 127M|1035 | - |1939 |6048 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
60.19/60.28 c 58.1s|160000 |114230 | 0 | 0.0 | 138M|1035 | - |1939 |4603 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
63.90/63.93 c 61.6s|170000 |122661 | 0 | 0.0 | 149M|1035 | - |1939 |5484 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
68.00/68.09 c 65.7s|180000 |130312 | 0 | 0.0 | 162M|1035 | - |1939 |4892 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
71.50/71.54 c 69.0s|190000 |139051 | 0 | 0.0 | 169M|1035 | - |1939 |4988 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
74.89/74.91 c 72.2s|200000 |147673 | 0 | 0.0 | 178M|1035 | - |1939 |5530 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
78.49/78.50 c 75.7s|210000 |155961 | 0 | 0.0 | 189M|1035 | - |1939 |5908 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
82.40/82.47 c 79.5s|220000 |163681 | 0 | 0.0 | 202M|1035 | - |1939 |6406 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
86.60/86.62 c 83.5s|230000 |171184 | 0 | 0.0 | 213M|1035 | - |1939 |5458 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
89.79/89.88 c 86.6s|240000 |179697 | 0 | 0.0 | 223M|1035 | - |1939 |6105 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
93.89/93.94 c 90.6s|250000 |186819 | 0 | 0.0 | 232M|1035 | - |1939 |7962 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
97.29/97.34 c 93.8s|260000 |195375 | 0 | 0.0 | 240M|1035 | - |1939 |5736 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
100.49/100.58 c 96.9s|270000 |203993 | 0 | 0.0 | 249M|1035 | - |1939 |6092 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
103.89/103.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.89/103.90 c 100s|280000 |212404 | 0 | 0.0 | 258M|1035 | - |1939 |6436 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
107.40/107.45 c 104s|290000 |220371 | 0 | 0.0 | 269M|1035 | - |1939 |7326 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
111.60/111.61 o 80
111.60/111.61 c * 108s|299045 |225895 | 0 | 0.0 | 278M|1035 | - |1939 |9597 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
112.10/112.11 c 108s|300000 |226575 | 0 | 0.0 | 278M|1035 | - |1939 |8008 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
112.20/112.25 o 66
112.20/112.25 c * 108s|300276 |223211 | 0 | 0.0 | 262M|1035 | - |1939 |7264 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
112.69/112.76 o 65
112.69/112.76 c * 109s|301629 |224182 | 0 | 0.0 | 262M|1035 | - |1939 |6375 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
115.39/115.45 c 111s|310000 |231349 | 0 | 0.0 | 269M|1035 | - |1939 |5807 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
119.10/119.13 c 115s|320000 |238914 | 0 | 0.0 | 279M|1035 | - |1939 |7721 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
122.19/122.23 c 118s|330000 |247349 | 0 | 0.0 | 285M|1035 | - |1939 |6754 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
126.10/126.13 c 122s|340000 |254301 | 0 | 0.0 | 292M|1035 | - |1939 |6757 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
129.49/129.50 c 125s|350000 |261959 | 0 | 0.0 | 299M|1035 | - |1939 |8468 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
133.10/133.18 c 128s|360000 |269247 | 0 | 0.0 | 305M|1035 | - |1939 |7372 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
137.20/137.21 c 132s|370000 |276715 | 0 | 0.0 | 313M|1035 | - |1939 |4843 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
140.29/140.39 c 135s|380000 |284906 | 0 | 0.0 | 321M|1035 | - |1939 |5122 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
143.79/143.89 c 139s|390000 |291975 | 0 | 0.0 | 328M|1035 | - |1939 |6200 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
147.59/147.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.59/147.67 c 142s|400000 |298756 | 0 | 0.0 | 335M|1035 | - |1939 |6588 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
151.49/151.50 c 146s|410000 |305400 | 0 | 0.0 | 342M|1035 | - |1939 |6780 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
155.39/155.40 c 150s|420000 |311930 | 0 | 0.0 | 349M|1035 | - |1939 |7335 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
159.19/159.28 c 153s|430000 |318496 | 0 | 0.0 | 356M|1035 | - |1939 |7696 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
163.39/163.40 c 157s|440000 |324784 | 0 | 0.0 | 363M|1035 | - |1939 |7936 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
167.39/167.44 c 161s|450000 |331165 | 0 | 0.0 | 370M|1035 | - |1939 |7992 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
171.69/171.75 c 166s|460000 |337217 | 0 | 0.0 | 377M|1035 | - |1939 |7939 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
176.00/176.06 c 170s|470000 |343267 | 0 | 0.0 | 384M|1035 | - |1939 |7813 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
180.19/180.22 c 174s|480000 |349597 | 0 | 0.0 | 391M|1035 | - |1939 |6997 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
184.59/184.64 c 178s|490000 |355415 | 0 | 0.0 | 398M|1035 | - |1939 |8161 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
189.40/189.44 c 183s|500000 |360858 | 0 | 0.0 | 405M|1035 | - |1939 |8452 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
194.50/194.53 c 188s|510000 |366089 | 0 | 0.0 | 412M|1035 | - |1939 |8694 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
199.70/199.72 c 193s|520000 |371217 | 0 | 0.0 | 419M|1035 | - |1939 |8755 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
204.79/204.82 c 198s|530000 |376545 | 0 | 0.0 | 425M|1035 | - |1939 |7594 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
210.10/210.17 c 203s|540000 |381400 | 0 | 0.0 | 432M|1035 | - |1939 |8700 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
215.50/215.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.50/215.59 c 208s|550000 |386245 | 0 | 0.0 | 439M|1035 | - |1939 |9056 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
221.20/221.27 c 214s|560000 |390756 | 0 | 0.0 | 446M|1035 | - |1939 |9587 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
227.29/227.37 c 219s|570000 |394763 | 0 | 0.0 | 453M|1035 | - |1939 |9590 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
233.40/233.45 c 225s|580000 |398807 | 0 | 0.0 | 459M|1035 | - |1939 |9349 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
239.59/239.67 c 231s|590000 |402546 | 0 | 0.0 | 465M|1035 | - |1939 |8792 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
246.80/246.82 c 238s|600000 |404975 | 0 | 0.0 | 471M|1035 | - |1939 |9628 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
254.30/254.36 c 246s|610000 |407182 | 0 | 0.0 | 477M|1035 | - |1939 |9879 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
262.30/262.35 c 254s|620000 |408889 | 0 | 0.0 | 483M|1035 | - |1939 | 10k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
270.61/270.68 c 262s|630000 |410469 | 0 | 0.0 | 488M|1035 | - |1939 | 10k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
280.50/280.52 c 271s|640000 |410637 | 0 | 0.0 | 493M|1035 | - |1939 | 13k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
291.90/291.97 c 283s|650000 |409736 | 0 | 0.0 | 496M|1035 | - |1939 | 16k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
297.69/297.73 c 288s|660000 |416363 | 0 | 0.0 | 498M|1035 | - |1939 |4278 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
301.40/301.44 c 292s|670000 |424742 | 0 | 0.0 | 507M|1035 | - |1939 |4216 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
305.20/305.21 c 296s|680000 |432973 | 0 | 0.0 | 516M|1035 | - |1939 |4551 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
308.90/308.98 c 299s|690000 |441202 | 0 | 0.0 | 526M|1035 | - |1939 |4828 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
312.80/312.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.80/312.86 c 303s|700000 |449280 | 0 | 0.0 | 536M|1035 | - |1939 |4936 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
316.90/316.97 c 307s|710000 |457334 | 0 | 0.0 | 545M|1035 | - |1939 |4237 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
320.90/320.96 c 311s|720000 |465294 | 0 | 0.0 | 556M|1035 | - |1939 |4759 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
324.90/324.97 c 315s|730000 |473123 | 0 | 0.0 | 566M|1035 | - |1939 |5139 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
328.90/328.98 c 318s|740000 |481013 | 0 | 0.0 | 577M|1035 | - |1939 |5403 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
333.10/333.15 c 322s|750000 |488762 | 0 | 0.0 | 589M|1035 | - |1939 |5361 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
337.40/337.45 c 327s|760000 |496404 | 0 | 0.0 | 601M|1035 | - |1939 |5560 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
341.90/341.93 c 331s|770000 |504024 | 0 | 0.0 | 613M|1035 | - |1939 |4343 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
346.41/346.49 c 335s|780000 |511524 | 0 | 0.0 | 625M|1035 | - |1939 |4966 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
350.81/350.81 c 340s|790000 |518986 | 0 | 0.0 | 638M|1035 | - |1939 |5605 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
355.20/355.28 c 344s|800000 |526361 | 0 | 0.0 | 652M|1035 | - |1939 |5861 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
359.90/359.94 c 348s|810000 |533556 | 0 | 0.0 | 665M|1035 | - |1939 |6293 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
364.60/364.67 c 353s|820000 |540664 | 0 | 0.0 | 678M|1035 | - |1939 |6292 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
365.10/365.18 o 53
365.10/365.18 c * 353s|821029 |525802 | 0 | 0.0 | 605M|1035 | - |1939 |6243 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
370.10/370.11 c 358s|830000 |531844 | 0 | 0.0 | 614M|1035 | - |1939 |3997 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
375.70/375.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.70/375.79 c 364s|840000 |538166 | 0 | 0.0 | 625M|1035 | - |1939 |3946 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
381.40/381.40 c 369s|850000 |544547 | 0 | 0.0 | 636M|1035 | - |1939 |4407 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
386.60/386.66 c 374s|860000 |550670 | 0 | 0.0 | 648M|1035 | - |1939 |6023 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
392.20/392.20 c 379s|870000 |556383 | 0 | 0.0 | 660M|1035 | - |1939 |6805 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
397.70/397.74 c 385s|880000 |562116 | 0 | 0.0 | 672M|1035 | - |1939 |7224 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
403.80/403.88 c 391s|890000 |567217 | 0 | 0.0 | 684M|1035 | - |1939 |8022 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
410.30/410.39 c 397s|900000 |571972 | 0 | 0.0 | 695M|1035 | - |1939 |8416 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
417.10/417.15 c 404s|910000 |576398 | 0 | 0.0 | 706M|1035 | - |1939 |8759 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
425.00/425.07 c 411s|920000 |579734 | 0 | 0.0 | 717M|1035 | - |1939 | 10k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
426.71/426.71 o 39
426.71/426.71 c * 413s|921841 |575947 | 0 | 0.0 | 689M|1035 | - |1939 | 11k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
432.70/432.75 c 419s|930000 |579442 | 0 | 0.0 | 694M|1035 | - |1939 |5891 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
436.50/436.57 c 423s|940000 |587026 | 0 | 0.0 | 702M|1035 | - |1939 |5569 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
440.31/440.34 c 426s|950000 |594681 | 0 | 0.0 | 710M|1035 | - |1939 |5960 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
444.20/444.28 c 430s|960000 |602172 | 0 | 0.0 | 718M|1035 | - |1939 |6275 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
448.21/448.28 c 434s|970000 |609582 | 0 | 0.0 | 727M|1035 | - |1939 |6711 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
452.30/452.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.30/452.39 c 438s|980000 |616799 | 0 | 0.0 | 736M|1035 | - |1939 |7100 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
456.50/456.58 c 442s|990000 |623931 | 0 | 0.0 | 745M|1035 | - |1939 |7618 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
460.91/460.96 c 446s| 1000k|630833 | 0 | 0.0 | 755M|1035 | - |1939 |7955 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
465.50/465.57 c 451s| 1010k|637407 | 0 | 0.0 | 766M|1035 | - |1939 |8427 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
467.60/467.68 o 35
467.60/467.68 c * 453s| 1014k|635757 | 0 | 0.0 | 751M|1035 | - |1939 |8668 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
470.90/470.96 c 456s| 1020k|639209 | 0 | 0.0 | 759M|1035 | - |1939 |8881 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
476.40/476.48 c 461s| 1030k|644844 | 0 | 0.0 | 771M|1035 | - |1939 |8694 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
482.40/482.44 c 467s| 1040k|649950 | 0 | 0.0 | 783M|1035 | - |1939 |9791 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
489.41/489.43 c 474s| 1050k|653920 | 0 | 0.0 | 794M|1035 | - |1939 | 10k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
497.80/497.81 c 482s| 1060k|656014 | 0 | 0.0 | 799M|1035 | - |1939 |5871 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
501.10/501.17 c 485s| 1070k|664332 | 0 | 0.0 | 806M|1035 | - |1939 |5050 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
504.60/504.63 c 488s| 1080k|672444 | 0 | 0.0 | 813M|1035 | - |1939 |5415 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
508.11/508.10 c 492s| 1090k|680496 | 0 | 0.0 | 819M|1035 | - |1939 |5594 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
511.61/511.64 c 495s| 1100k|688437 | 0 | 0.0 | 826M|1035 | - |1939 |5885 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
515.11/515.18 c 499s| 1110k|696381 | 0 | 0.0 | 833M|1035 | - |1939 |5992 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
518.70/518.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.70/518.79 c 502s| 1120k|704218 | 0 | 0.0 | 840M|1035 | - |1939 |6234 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
522.40/522.47 c 506s| 1130k|712009 | 0 | 0.0 | 846M|1035 | - |1939 |6423 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
526.11/526.12 c 509s| 1140k|719790 | 0 | 0.0 | 853M|1035 | - |1939 |6690 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
529.81/529.85 c 513s| 1150k|727460 | 0 | 0.0 | 860M|1035 | - |1939 |6862 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
533.51/533.57 c 516s| 1160k|735099 | 0 | 0.0 | 868M|1035 | - |1939 |6865 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
537.41/537.41 c 520s| 1170k|742577 | 0 | 0.0 | 875M|1035 | - |1939 |7129 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
541.31/541.35 c 524s| 1180k|749968 | 0 | 0.0 | 883M|1035 | - |1939 |7162 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
545.40/545.40 c 528s| 1190k|757216 | 0 | 0.0 | 890M|1035 | - |1939 |7577 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
549.50/549.53 c 532s| 1200k|764364 | 0 | 0.0 | 898M|1035 | - |1939 |7939 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
553.70/553.74 c 536s| 1210k|771408 | 0 | 0.0 | 906M|1035 | - |1939 |8162 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
558.11/558.11 c 540s| 1220k|778301 | 0 | 0.0 | 914M|1035 | - |1939 |8359 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
562.51/562.51 c 544s| 1230k|785075 | 0 | 0.0 | 922M|1035 | - |1939 |8585 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
567.00/567.07 c 549s| 1240k|791633 | 0 | 0.0 | 929M|1035 | - |1939 |8654 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
571.70/571.76 c 553s| 1250k|798081 | 0 | 0.0 | 937M|1035 | - |1939 |8773 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
576.61/576.67 c 558s| 1260k|804283 | 0 | 0.0 | 946M|1035 | - |1939 |9169 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
581.70/581.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.70/581.78 c 563s| 1270k|810321 | 0 | 0.0 | 954M|1035 | - |1939 |9054 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
586.91/586.97 c 568s| 1280k|816162 | 0 | 0.0 | 962M|1035 | - |1939 |8990 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
592.41/592.40 c 573s| 1290k|821773 | 0 | 0.0 | 970M|1035 | - |1939 |8881 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
597.81/597.87 c 578s| 1300k|827281 | 0 | 0.0 | 979M|1035 | - |1939 |9233 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
603.71/603.73 c 584s| 1310k|832426 | 0 | 0.0 | 988M|1035 | - |1939 |9570 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
610.00/610.06 c 590s| 1320k|837004 | 0 | 0.0 | 997M|1035 | - |1939 | 10k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
616.71/616.74 c 597s| 1330k|841365 | 0 | 0.0 |1006M|1035 | - |1939 | 10k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
624.10/624.12 c 604s| 1340k|845076 | 0 | 0.0 |1016M|1035 | - |1939 | 10k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
632.20/632.21 c 612s| 1350k|848037 | 0 | 0.0 |1027M|1035 | - |1939 | 12k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
642.51/642.55 c 622s| 1360k|848867 | 0 | 0.0 |1037M|1035 | - |1939 | 13k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
646.50/646.53 c 626s| 1370k|856207 | 0 | 0.0 |1040M|1035 | - |1939 |6366 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
649.81/649.81 c 629s| 1380k|864388 | 0 | 0.0 |1046M|1035 | - |1939 |6964 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
653.11/653.14 c 632s| 1390k|872457 | 0 | 0.0 |1053M|1035 | - |1939 |7493 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
656.81/656.80 c 636s| 1400k|880165 | 0 | 0.0 |1060M|1035 | - |1939 |7963 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
660.41/660.42 c 639s| 1410k|887867 | 0 | 0.0 |1067M|1035 | - |1939 |8095 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
664.10/664.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.10/664.17 c 643s| 1420k|895362 | 0 | 0.0 |1074M|1035 | - |1939 |8722 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
668.00/668.02 c 646s| 1430k|902795 | 0 | 0.0 |1080M|1035 | - |1939 |8811 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
672.02/672.06 c 650s| 1440k|909938 | 0 | 0.0 |1087M|1035 | - |1939 |9207 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
676.31/676.37 c 655s| 1450k|916838 | 0 | 0.0 |1094M|1035 | - |1939 |9263 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
680.61/680.66 c 659s| 1460k|923663 | 0 | 0.0 |1102M|1035 | - |1939 |9266 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
685.32/685.31 c 663s| 1470k|930015 | 0 | 0.0 |1110M|1035 | - |1939 |9704 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
690.41/690.40 c 668s| 1480k|935804 | 0 | 0.0 |1118M|1035 | - |1939 | 10k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
695.91/695.97 c 674s| 1490k|940995 | 0 | 0.0 |1127M|1035 | - |1939 | 10k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
701.71/701.79 c 679s| 1500k|946037 | 0 | 0.0 |1135M|1035 | - |1939 | 10k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
708.31/708.32 c 686s| 1510k|950224 | 0 | 0.0 |1144M|1035 | - |1939 | 11k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
717.31/717.36 c 694s| 1520k|951827 | 0 | 0.0 |1151M|1035 | - |1939 | 14k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
722.21/722.20 c 699s| 1530k|958535 | 0 | 0.0 |1153M|1035 | - |1939 |6837 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
725.61/725.69 c 702s| 1540k|966572 | 0 | 0.0 |1160M|1035 | - |1939 |7101 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
729.21/729.20 c 706s| 1550k|974563 | 0 | 0.0 |1166M|1035 | - |1939 |7296 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
732.81/732.82 c 709s| 1560k|982484 | 0 | 0.0 |1173M|1035 | - |1939 |7525 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
736.41/736.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.41/736.49 c 713s| 1570k|990282 | 0 | 0.0 |1180M|1035 | - |1939 |7641 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
740.11/740.15 c 716s| 1580k|998067 | 0 | 0.0 |1186M|1035 | - |1939 |7924 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
743.81/743.85 c 720s| 1590k| 1005k| 0 | 0.0 |1193M|1035 | - |1939 |8073 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
747.71/747.70 c 724s| 1600k| 1013k| 0 | 0.0 |1200M|1035 | - |1939 |8009 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
751.61/751.66 c 728s| 1610k| 1020k| 0 | 0.0 |1208M|1035 | - |1939 |8507 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
755.51/755.59 c 731s| 1620k| 1028k| 0 | 0.0 |1215M|1035 | - |1939 |8952 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
759.61/759.61 c 735s| 1630k| 1035k| 0 | 0.0 |1222M|1035 | - |1939 |9209 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
763.71/763.77 c 739s| 1640k| 1042k| 0 | 0.0 |1230M|1035 | - |1939 |9331 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
768.01/768.03 c 743s| 1650k| 1049k| 0 | 0.0 |1237M|1035 | - |1939 |9544 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
772.41/772.48 c 748s| 1660k| 1056k| 0 | 0.0 |1245M|1035 | - |1939 |9933 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
777.01/777.05 c 752s| 1670k| 1063k| 0 | 0.0 |1252M|1035 | - |1939 | 10k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
781.91/781.91 c 757s| 1680k| 1069k| 0 | 0.0 |1260M|1035 | - |1939 | 10k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
786.81/786.87 c 762s| 1690k| 1076k| 0 | 0.0 |1268M|1035 | - |1939 | 10k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
791.92/791.94 c 766s| 1700k| 1082k| 0 | 0.0 |1276M|1035 | - |1939 | 10k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
797.01/797.02 c 771s| 1710k| 1089k| 0 | 0.0 |1284M|1035 | - |1939 | 11k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
802.32/802.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.32/802.36 c 777s| 1720k| 1095k| 0 | 0.0 |1292M|1035 | - |1939 | 11k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
808.01/808.01 c 782s| 1730k| 1101k| 0 | 0.0 |1302M|1035 | - |1939 | 11k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
813.81/813.88 c 788s| 1740k| 1106k| 0 | 0.0 |1311M|1035 | - |1939 | 11k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
819.91/819.90 c 794s| 1750k| 1112k| 0 | 0.0 |1321M|1035 | - |1939 | 11k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
826.82/826.81 c 800s| 1760k| 1116k| 0 | 0.0 |1330M|1035 | - |1939 | 13k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
834.21/834.21 c 808s| 1770k| 1121k| 0 | 0.0 |1340M|1035 | - |1939 | 13k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
842.61/842.69 c 816s| 1780k| 1125k| 0 | 0.0 |1350M|1035 | - |1939 | 14k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
852.71/852.73 c 826s| 1790k| 1127k| 0 | 0.0 |1358M|1035 | - |1939 | 16k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
865.41/865.47 c 838s| 1800k| 1127k| 0 | 0.0 |1362M|1035 | - |1939 | 11k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
869.32/869.38 c 842s| 1810k| 1135k| 0 | 0.0 |1367M|1035 | - |1939 |7581 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
873.01/873.01 c 846s| 1820k| 1143k| 0 | 0.0 |1373M|1035 | - |1939 |8406 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
876.72/876.75 c 849s| 1830k| 1150k| 0 | 0.0 |1380M|1035 | - |1939 |8886 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
880.02/880.08 o 32
880.02/880.08 c * 852s| 1838k| 1155k| 0 | 0.0 |1375M|1035 | - |1939 |9368 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
880.61/880.64 c 853s| 1840k| 1156k| 0 | 0.0 |1376M|1035 | - |1939 |9383 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
884.61/884.67 c 857s| 1850k| 1163k| 0 | 0.0 |1383M|1035 | - |1939 |9570 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
888.72/888.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
888.72/888.73 c 861s| 1860k| 1171k| 0 | 0.0 |1390M|1035 | - |1939 | 10k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
892.92/892.90 c 865s| 1870k| 1178k| 0 | 0.0 |1398M|1035 | - |1939 | 10k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
897.22/897.28 c 869s| 1880k| 1185k| 0 | 0.0 |1405M|1035 | - |1939 | 10k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
902.02/902.06 c 874s| 1890k| 1191k| 0 | 0.0 |1413M|1035 | - |1939 | 11k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
907.02/907.09 c 879s| 1900k| 1198k| 0 | 0.0 |1422M|1035 | - |1939 | 11k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
912.41/912.42 c 884s| 1910k| 1204k| 0 | 0.0 |1431M|1035 | - |1939 | 11k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
918.32/918.39 c 889s| 1920k| 1209k| 0 | 0.0 |1441M|1035 | - |1939 | 12k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
925.52/925.53 c 896s| 1930k| 1213k| 0 | 0.0 |1451M|1035 | - |1939 | 13k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
932.72/932.73 o 27
932.72/932.73 c * 904s| 1937k| 1158k| 0 | 0.0 |1219M|1035 | - |1939 | 15k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
934.01/934.08 c 905s| 1940k| 1160k| 0 | 0.0 |1218M|1035 | - |1939 | 10k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
937.82/937.83 c 908s| 1950k| 1168k| 0 | 0.0 |1225M|1035 | - |1939 |9218 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
941.52/941.57 c 912s| 1960k| 1176k| 0 | 0.0 |1231M|1035 | - |1939 |9516 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
945.41/945.45 c 916s| 1970k| 1183k| 0 | 0.0 |1238M|1035 | - |1939 |9976 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
949.61/949.64 c 920s| 1980k| 1190k| 0 | 0.0 |1245M|1035 | - |1939 | 10k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
954.12/954.16 c 924s| 1990k| 1197k| 0 | 0.0 |1252M|1035 | - |1939 | 11k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
959.02/959.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.02/959.07 c 929s| 2000k| 1204k| 0 | 0.0 |1259M|1035 | - |1939 | 11k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
964.51/964.56 c 934s| 2010k| 1210k| 0 | 0.0 |1266M|1035 | - |1939 | 12k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
970.42/970.48 c 940s| 2020k| 1215k| 0 | 0.0 |1273M|1035 | - |1939 | 13k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
977.71/977.72 c 947s| 2030k| 1220k| 0 | 0.0 |1280M|1035 | - |1939 | 14k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
987.31/987.30 c 957s| 2040k| 1222k| 0 | 0.0 |1287M|1035 | - |1939 | 16k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
995.92/995.94 c 965s| 2050k| 1227k| 0 | 0.0 |1290M|1035 | - |1939 | 10k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
999.31/999.36 c 968s| 2060k| 1235k| 0 | 0.0 |1296M|1035 | - |1939 |9970 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1002.92/1002.97 c 972s| 2070k| 1242k| 0 | 0.0 |1302M|1035 | - |1939 | 10k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1006.81/1006.83 c 975s| 2080k| 1250k| 0 | 0.0 |1309M|1035 | - |1939 | 11k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1010.93/1010.96 c 979s| 2090k| 1257k| 0 | 0.0 |1316M|1035 | - |1939 | 11k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1015.42/1015.48 c 984s| 2100k| 1263k| 0 | 0.0 |1323M|1035 | - |1939 | 12k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1020.41/1020.47 c 989s| 2110k| 1270k| 0 | 0.0 |1330M|1035 | - |1939 | 13k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1026.52/1026.52 c 995s| 2120k| 1275k| 0 | 0.0 |1337M|1035 | - |1939 | 14k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1034.22/1034.20 c 1002s| 2130k| 1279k| 0 | 0.0 |1343M|1035 | - |1939 | 16k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1043.32/1043.32 c 1011s| 2140k| 1282k| 0 | 0.0 |1347M|1035 | - |1939 | 12k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1046.92/1046.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.92/1046.92 c 1014s| 2150k| 1290k| 0 | 0.0 |1352M|1035 | - |1939 | 10k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1050.43/1050.50 c 1018s| 2160k| 1298k| 0 | 0.0 |1359M|1035 | - |1939 | 10k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1054.41/1054.43 c 1022s| 2170k| 1305k| 0 | 0.0 |1365M|1035 | - |1939 | 11k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1058.82/1058.86 c 1026s| 2180k| 1312k| 0 | 0.0 |1372M|1035 | - |1939 | 12k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1063.62/1063.69 c 1031s| 2190k| 1318k| 0 | 0.0 |1379M|1035 | - |1939 | 13k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1069.31/1069.30 c 1036s| 2200k| 1324k| 0 | 0.0 |1386M|1035 | - |1939 | 15k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1076.31/1076.37 c 1043s| 2210k| 1329k| 0 | 0.0 |1394M|1035 | - |1939 | 17k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1085.52/1085.51 c 1052s| 2220k| 1332k| 0 | 0.0 |1395M|1035 | - |1939 |7131 | 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1089.02/1089.02 c 1055s| 2230k| 1340k| 0 | 0.0 |1401M|1035 | - |1939 |5220 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1092.82/1092.87 c 1059s| 2240k| 1348k| 0 | 0.0 |1409M|1035 | - |1939 |6162 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1097.62/1097.61 c 1064s| 2250k| 1355k| 0 | 0.0 |1417M|1035 | - |1939 |6073 | 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1102.02/1102.06 c 1068s| 2260k| 1361k| 0 | 0.0 |1424M|1035 | - |1939 |6906 | 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1106.02/1106.00 c 1072s| 2270k| 1369k| 0 | 0.0 |1430M|1035 | - |1939 |5521 | 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1110.32/1110.30 c 1076s| 2280k| 1375k| 0 | 0.0 |1437M|1035 | - |1939 |5337 | 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1113.52/1113.50 c 1079s| 2290k| 1384k| 0 | 0.0 |1443M|1035 | - |1939 |6089 | 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1117.42/1117.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.42/1117.50 c 1083s| 2300k| 1391k| 0 | 0.0 |1452M|1035 | - |1939 |7987 | 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1122.03/1122.09 c 1087s| 2310k| 1397k| 0 | 0.0 |1458M|1035 | - |1939 |6421 | 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1125.42/1125.48 c 1090s| 2320k| 1405k| 0 | 0.0 |1465M|1035 | - |1939 |7084 | 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1129.52/1129.57 c 1094s| 2330k| 1412k| 0 | 0.0 |1473M|1035 | - |1939 |9029 | 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1133.12/1133.13 c 1098s| 2340k| 1419k| 0 | 0.0 |1479M|1035 | - |1939 |7273 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1137.02/1137.03 c 1102s| 2350k| 1427k| 0 | 0.0 |1484M|1035 | - |1939 |4466 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1140.92/1140.91 c 1105s| 2360k| 1434k| 0 | 0.0 |1491M|1035 | - |1939 |6193 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1146.62/1146.63 c 1111s| 2370k| 1438k| 0 | 0.0 |1498M|1035 | - |1939 |7755 | 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1152.52/1152.59 c 1117s| 2380k| 1443k| 0 | 0.0 |1504M|1035 | - |1939 |8512 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1159.02/1159.03 c 1123s| 2390k| 1447k| 0 | 0.0 |1511M|1035 | - |1939 |8305 | 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1165.42/1165.50 c 1129s| 2400k| 1451k| 0 | 0.0 |1518M|1035 | - |1939 |9737 | 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1172.22/1172.27 c 1136s| 2410k| 1455k| 0 | 0.0 |1524M|1035 | - |1939 | 10k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1179.92/1179.91 c 1143s| 2420k| 1458k| 0 | 0.0 |1530M|1035 | - |1939 |9946 | 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1187.42/1187.49 c 1151s| 2430k| 1461k| 0 | 0.0 |1536M|1035 | - |1939 | 10k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1195.82/1195.82 c 1159s| 2440k| 1464k| 0 | 0.0 |1542M|1035 | - |1939 | 11k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1204.02/1204.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.02/1204.07 c 1167s| 2450k| 1467k| 0 | 0.0 |1547M|1035 | - |1939 |8376 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1212.52/1212.55 c 1175s| 2460k| 1469k| 0 | 0.0 |1553M|1035 | - |1939 | 11k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1221.22/1221.25 c 1184s| 2470k| 1472k| 0 | 0.0 |1558M|1035 | - |1939 |9256 | 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1230.22/1230.22 c 1193s| 2480k| 1474k| 0 | 0.0 |1564M|1035 | - |1939 | 11k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1239.32/1239.37 c 1202s| 2490k| 1476k| 0 | 0.0 |1569M|1035 | - |1939 |9483 | 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1248.42/1248.48 c 1211s| 2500k| 1478k| 0 | 0.0 |1575M|1035 | - |1939 | 11k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1257.83/1257.86 c 1220s| 2510k| 1480k| 0 | 0.0 |1580M|1035 | - |1939 |9274 | 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1267.32/1267.36 c 1229s| 2520k| 1482k| 0 | 0.0 |1586M|1035 | - |1939 | 12k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1277.33/1277.35 c 1239s| 2530k| 1484k| 0 | 0.0 |1591M|1035 | - |1939 |7979 | 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1287.82/1287.81 c 1249s| 2540k| 1484k| 0 | 0.0 |1596M|1035 | - |1939 | 12k| 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1298.03/1298.02 c 1259s| 2550k| 1486k| 0 | 0.0 |1601M|1035 | - |1939 |9126 | 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1309.33/1309.34 c 1270s| 2560k| 1486k| 0 | 0.0 |1606M|1035 | - |1939 | 12k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1319.82/1319.89 c 1281s| 2570k| 1487k| 0 | 0.0 |1611M|1035 | - |1939 | 10k| 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1331.73/1331.79 c 1292s| 2580k| 1487k| 0 | 0.0 |1615M|1035 | - |1939 | 13k| 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1342.82/1342.86 c 1303s| 2590k| 1488k| 0 | 0.0 |1620M|1035 | - |1939 | 10k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1354.72/1354.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.72/1354.78 c 1315s| 2600k| 1487k| 0 | 0.0 |1623M|1035 | - |1939 | 13k| 0 | 0 | 0 |2043k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1367.42/1367.47 c 1328s| 2610k| 1488k| 0 | 0.0 |1628M|1035 | - |1939 |8855 | 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1380.62/1380.64 c 1341s| 2620k| 1486k| 0 | 0.0 |1631M|1035 | - |1939 | 14k| 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1393.12/1393.19 c 1353s| 2630k| 1485k| 0 | 0.0 |1632M|1035 | - |1939 | 11k| 0 | 0 | 0 |2101k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1406.43/1406.44 c 1366s| 2640k| 1484k| 0 | 0.0 |1637M|1035 | - |1939 | 13k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1420.03/1420.09 c 1379s| 2650k| 1482k| 0 | 0.0 |1638M|1035 | - |1939 | 14k| 0 | 0 | 0 |2142k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1433.43/1433.41 c 1392s| 2660k| 1481k| 0 | 0.0 |1639M|1035 | - |1939 | 10k| 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1447.23/1447.29 c 1406s| 2670k| 1480k| 0 | 0.0 |1643M|1035 | - |1939 | 13k| 0 | 0 | 0 |2183k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1461.43/1461.46 c 1420s| 2680k| 1477k| 0 | 0.0 |1643M|1035 | - |1939 | 14k| 0 | 0 | 0 |2206k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1475.72/1475.76 c 1434s| 2690k| 1475k| 0 | 0.0 |1643M|1035 | - |1939 | 14k| 0 | 0 | 0 |2228k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1490.03/1490.09 c 1448s| 2700k| 1473k| 0 | 0.0 |1643M|1035 | - |1939 | 13k| 0 | 0 | 0 |2250k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1504.63/1504.70 c 1463s| 2710k| 1471k| 0 | 0.0 |1644M|1035 | - |1939 | 13k| 0 | 0 | 0 |2273k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1520.33/1520.36 c 1478s| 2720k| 1468k| 0 | 0.0 |1644M|1035 | - |1939 | 15k| 0 | 0 | 0 |2298k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1536.64/1536.61 c 1494s| 2730k| 1466k| 0 | 0.0 |1643M|1035 | - |1939 | 16k| 0 | 0 | 0 |2322k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1554.03/1554.02 c 1511s| 2740k| 1462k| 0 | 0.0 |1641M|1035 | - |1939 | 18k| 0 | 0 | 0 |2348k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1572.73/1572.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.73/1572.74 c 1530s| 2750k| 1459k| 0 | 0.0 |1637M|1035 | - |1939 | 18k| 0 | 0 | 0 |2374k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1593.33/1593.35 c 1550s| 2760k| 1454k| 0 | 0.0 |1630M|1035 | - |1939 | 23k| 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1599.04/1599.01 c 1556s| 2770k| 1461k| 0 | 0.0 |1630M|1035 | - |1939 |7129 | 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1603.33/1603.31 c 1560s| 2780k| 1468k| 0 | 0.0 |1637M|1035 | - |1939 |6766 | 0 | 0 | 0 |2414k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1607.34/1607.39 c 1564s| 2790k| 1476k| 0 | 0.0 |1644M|1035 | - |1939 |7017 | 0 | 0 | 0 |2419k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1611.64/1611.63 c 1568s| 2800k| 1483k| 0 | 0.0 |1650M|1035 | - |1939 |7003 | 0 | 0 | 0 |2425k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1615.94/1615.98 c 1572s| 2810k| 1490k| 0 | 0.0 |1658M|1035 | - |1939 |7214 | 0 | 0 | 0 |2430k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1620.43/1620.43 c 1577s| 2820k| 1497k| 0 | 0.0 |1665M|1035 | - |1939 |7980 | 0 | 0 | 0 |2436k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1625.33/1625.36 c 1581s| 2830k| 1504k| 0 | 0.0 |1673M|1035 | - |1939 |8305 | 0 | 0 | 0 |2442k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1630.33/1630.36 c 1586s| 2840k| 1510k| 0 | 0.0 |1681M|1035 | - |1939 |8679 | 0 | 0 | 0 |2448k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1635.43/1635.47 c 1591s| 2850k| 1517k| 0 | 0.0 |1688M|1035 | - |1939 |8262 | 0 | 0 | 0 |2454k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1640.53/1640.50 c 1596s| 2860k| 1524k| 0 | 0.0 |1696M|1035 | - |1939 |9028 | 0 | 0 | 0 |2461k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1645.64/1645.69 c 1601s| 2870k| 1530k| 0 | 0.0 |1704M|1035 | - |1939 |9341 | 0 | 0 | 0 |2467k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1650.83/1650.83 c 1606s| 2880k| 1537k| 0 | 0.0 |1711M|1035 | - |1939 |9218 | 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1656.43/1656.46 c 1612s| 2890k| 1543k| 0 | 0.0 |1720M|1035 | - |1939 |9958 | 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1662.03/1662.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.03/1662.05 c 1617s| 2900k| 1549k| 0 | 0.0 |1728M|1035 | - |1939 |9871 | 0 | 0 | 0 |2488k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1667.83/1667.87 c 1623s| 2910k| 1555k| 0 | 0.0 |1737M|1035 | - |1939 | 10k| 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1673.53/1673.56 c 1628s| 2920k| 1561k| 0 | 0.0 |1744M|1035 | - |1939 | 10k| 0 | 0 | 0 |2502k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1679.83/1679.83 c 1634s| 2930k| 1567k| 0 | 0.0 |1754M|1035 | - |1939 | 10k| 0 | 0 | 0 |2510k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1685.74/1685.71 c 1640s| 2940k| 1573k| 0 | 0.0 |1761M|1035 | - |1939 | 10k| 0 | 0 | 0 |2517k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1691.93/1691.95 c 1646s| 2950k| 1579k| 0 | 0.0 |1771M|1035 | - |1939 | 11k| 0 | 0 | 0 |2525k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1698.34/1698.32 c 1652s| 2960k| 1584k| 0 | 0.0 |1778M|1035 | - |1939 | 11k| 0 | 0 | 0 |2533k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1704.24/1704.27 c 1658s| 2970k| 1590k| 0 | 0.0 |1786M|1035 | - |1939 | 11k| 0 | 0 | 0 |2541k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1711.34/1711.30 c 1665s| 2980k| 1595k| 0 | 0.0 |1794M|1035 | - |1939 | 11k| 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1717.43/1717.41 c 1671s| 2990k| 1601k| 0 | 0.0 |1802M|1035 | - |1939 | 11k| 0 | 0 | 0 |2557k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1724.04/1724.08 c 1677s| 3000k| 1607k| 0 | 0.0 |1810M|1035 | - |1939 | 11k| 0 | 0 | 0 |2565k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1731.34/1731.38 c 1685s| 3010k| 1612k| 0 | 0.0 |1818M|1035 | - |1939 | 12k| 0 | 0 | 0 |2574k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1737.73/1737.79 c 1691s| 3020k| 1618k| 0 | 0.0 |1826M|1035 | - |1939 | 12k| 0 | 0 | 0 |2582k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1744.83/1744.88 c 1698s| 3030k| 1623k| 0 | 0.0 |1834M|1035 | - |1939 | 12k| 0 | 0 | 0 |2591k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1751.83/1751.80 c 1705s| 3040k| 1628k| 0 | 0.0 |1841M|1035 | - |1939 | 13k| 0 | 0 | 0 |2599k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1758.44/1758.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.44/1758.43 c 1711s| 3050k| 1634k| 0 | 0.0 |1849M|1035 | - |1939 | 12k| 0 | 0 | 0 |2607k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1766.03/1766.01 c 1718s| 3060k| 1639k| 0 | 0.0 |1857M|1035 | - |1939 | 13k| 0 | 0 | 0 |2616k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1773.44/1773.40 c 1726s| 3070k| 1644k| 0 | 0.0 |1865M|1035 | - |1939 | 13k| 0 | 0 | 0 |2625k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1780.23/1780.26 c 1732s| 3080k| 1649k| 0 | 0.0 |1873M|1035 | - |1939 | 12k| 0 | 0 | 0 |2633k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1787.93/1787.97 c 1740s| 3090k| 1654k| 0 | 0.0 |1880M|1035 | - |1939 | 13k| 0 | 0 | 0 |2643k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1796.14/1796.11 c 1748s| 3100k| 1659k| 0 | 0.0 |1888M|1035 | - |1939 | 14k| 0 | 0 | 0 |2653k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1751.65
1800.04/1800.00 c Solving Nodes : 3105558
1800.04/1800.00 c Primal Bound : +2.70000000000000e+01 (25 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.01 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.04/1800.01 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.04/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.04/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
1800.04/1800.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.04/1800.01 v -x80 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.04/1800.02 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.04/1800.02 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
1800.04/1800.02 v -x2 -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1751.65
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694185-1277909865.wbo
1800.04/1800.02 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.04/1800.02 c Constraints : 3614 initial, 3614 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694185-1277909865.wbo
1800.04/1800.02 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.04/1800.02 c Constraints : 3449 initial, 23678 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.04 0 0 0 906 0 113 52 0
1800.04/1800.02 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 389 - - 778 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 854 0 6146245 0 2001790 1721 9269328 0 0 0
1800.04/1800.02 c knapsack : 1 0 9104425 0 2612673 171363 25873724 0 0 0
1800.04/1800.02 c setppc : 14 0 8971212 0 2611549 132997 5604540 0 0 0
1800.04/1800.02 c linear : 854 0 8848023 0 2612992 157935 12011929 0 0 0
1800.04/1800.02 c logicor : 1726+ 0 6699679 0 2613010 312794 18506424 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 132338 0 0 98 2454 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 2613010 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 49.62 0.00 23.83 0.00 25.79
1800.04/1800.02 c knapsack : 90.69 0.00 85.29 0.00 5.40
1800.04/1800.02 c setppc : 32.08 0.00 27.81 0.00 4.27
1800.04/1800.02 c linear : 139.04 0.00 136.92 0.00 2.12
1800.04/1800.02 c logicor : 502.32 0.00 372.82 0.00 129.50
1800.04/1800.02 c bounddisjunction : 0.15 0.00 0.15 0.00 0.00
1800.04/1800.02 c countsols : 0.59 0.00 0.00 0.00 0.59
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 2.33 2 0 0
1800.04/1800.02 c rootredcost : 1.96 0 0 0
1800.04/1800.02 c pseudoobj : 187.99 9166703 12629 8920360
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 30.63 787816 787805 3953337 22.5 316302 9.9 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.02 268 268 1002 16.9 201 8.1 -
1800.04/1800.02 c applied globally : - - - 2657940 19.3 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 80.32 2612985 0 0 0 0 5225970
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.33 - 25
1800.04/1800.02 c oneopt : 1.00 0 0
1800.04/1800.02 c trivial : 0.01 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.77 0 0
1800.04/1800.02 c trysol : 0.73 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 3105558
1800.04/1800.02 c nodes (total) : 3105558
1800.04/1800.02 c nodes left : 1662268
1800.04/1800.02 c max depth : 1035
1800.04/1800.02 c max depth (total): 1035
1800.04/1800.02 c backtracks : 465701 (15.0%)
1800.04/1800.02 c delayed cutoffs : 370287
1800.04/1800.02 c repropagations : 1777499 (23036236 domain reductions, 297257 cutoffs)
1800.04/1800.02 c avg switch length: 18.47
1800.04/1800.02 c switching time : 494.56
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 25 (25 improvements)
1800.04/1800.02 c First Solution : +4.82000000000000e+02 (in run 1, after 3722 nodes, 1.01 seconds, depth 212, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +2.70000000000000e+01 (in run 1, after 1937359 nodes, 903.34 seconds, depth 488, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694185-1277909865/watcher-2694185-1277909865 -o /tmp/evaluation-result-2694185-1277909865/solver-2694185-1277909865 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694185-1277909865.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.06 2.03 2.00 4/178 13883 /proc/meminfo: memFree=29877332/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=8300 CPUtime=0 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 132283333 8499200 1475 4089446400 4194304 7136930 140734234096784 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13883/statm: 2075 1475 275 719 0 1354 0 [startup+0.01012 s] /proc/loadavg: 2.06 2.03 2.00 4/178 13883 /proc/meminfo: memFree=29877332/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=9004 CPUtime=0 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 1728 0 0 0 0 0 0 0 25 0 1 0 132283333 9220096 1650 4089446400 4194304 7136930 140734234096784 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13883/statm: 2251 1650 275 719 0 1530 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9004 [startup+0.100155 s] /proc/loadavg: 2.06 2.03 2.00 4/178 13883 /proc/meminfo: memFree=29877332/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=22080 CPUtime=0.09 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 7254 0 0 0 8 1 0 0 25 0 1 0 132283333 22609920 4766 4089446400 4194304 7136930 140734234096784 18446744073709551615 4938071 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13883/statm: 5520 4766 368 719 0 4799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22080 [startup+0.30118 s] /proc/loadavg: 2.06 2.03 2.00 4/178 13883 /proc/meminfo: memFree=29877332/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=24216 CPUtime=0.29 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 9089 0 0 0 27 2 0 0 25 0 1 0 132283333 24797184 5316 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13883/statm: 6054 5316 399 719 0 5333 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24216 [startup+0.701118 s] /proc/loadavg: 2.06 2.03 2.00 4/178 13883 /proc/meminfo: memFree=29877332/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=25480 CPUtime=0.69 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 9436 0 0 0 66 3 0 0 25 0 1 0 132283333 26091520 5663 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 6370 5663 404 719 0 5649 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25480 [startup+1.50097 s] /proc/loadavg: 2.06 2.03 2.00 3/179 13884 /proc/meminfo: memFree=29854384/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=28012 CPUtime=1.49 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 10055 0 0 0 142 7 0 0 25 0 1 0 132283333 28684288 6282 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 7003 6282 404 719 0 6282 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28012 [startup+3.10057 s] /proc/loadavg: 2.06 2.03 2.00 3/179 13884 /proc/meminfo: memFree=29850788/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=33928 CPUtime=3.09 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 11559 0 0 0 295 14 0 0 25 0 1 0 132283333 34742272 7786 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 8482 7786 404 719 0 7761 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33928 [startup+6.30113 s] /proc/loadavg: 2.06 2.03 2.00 3/179 13884 /proc/meminfo: memFree=29838460/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=44176 CPUtime=6.29 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 14081 0 0 0 601 28 0 0 25 0 1 0 132283333 45236224 10308 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 11044 10308 405 719 0 10323 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44176 [startup+12.701 s] /proc/loadavg: 2.05 2.02 2.00 3/179 13884 /proc/meminfo: memFree=29815856/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=61080 CPUtime=12.69 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 18302 0 0 0 1214 55 0 0 25 0 1 0 132283333 62545920 14529 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 15270 14529 407 719 0 14549 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61080 [startup+25.5007 s] /proc/loadavg: 2.04 2.02 2.00 3/179 13885 /proc/meminfo: memFree=29768748/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=95620 CPUtime=25.49 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 27041 0 0 0 2444 105 0 0 25 0 1 0 132283333 97914880 23268 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 23905 23268 407 719 0 23184 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95620 [startup+51.1012 s] /proc/loadavg: 2.02 2.02 2.00 3/179 13885 /proc/meminfo: memFree=29695356/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=160644 CPUtime=51.09 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 42183 0 0 0 4926 183 0 0 25 0 1 0 132283333 164499456 38410 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 40161 38410 407 719 0 39440 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 160644 [startup+102.306 s] /proc/loadavg: 2.01 2.02 2.00 3/179 13887 /proc/meminfo: memFree=29500764/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=350068 CPUtime=102.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 83307 0 0 0 9858 372 0 0 25 0 1 0 132283333 358469632 79534 4089446400 4194304 7136930 140734234096784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 87517 79534 407 719 0 86796 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 350068 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13888 /proc/meminfo: memFree=29348432/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=489036 CPUtime=162.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 117123 0 0 0 15640 590 0 0 25 0 1 0 132283333 500772864 113350 4089446400 4194304 7136930 140734234096784 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 122259 113350 407 719 0 121538 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 489036 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13899 /proc/meminfo: memFree=29212196/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=589892 CPUtime=222.29 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 142478 0 0 0 21456 773 0 0 25 0 1 0 132283333 604049408 138705 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 147473 138705 407 719 0 146752 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 589892 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13928 /proc/meminfo: memFree=30796712/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=634384 CPUtime=282.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 153567 0 0 0 27321 909 0 0 25 0 1 0 132283333 649609216 149794 4089446400 4194304 7136930 140734234096784 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 158596 149794 407 719 0 157875 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 634384 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13930 /proc/meminfo: memFree=30655884/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=780768 CPUtime=342.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 184443 0 0 0 33127 1103 0 0 25 0 1 0 132283333 799506432 180665 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 195192 180665 407 719 0 194471 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 780768 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13932 /proc/meminfo: memFree=30525260/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=921012 CPUtime=402.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 214926 0 0 0 38927 1303 0 0 25 0 1 0 132283333 943116288 211148 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 230253 211148 407 719 0 229532 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 921012 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13933 /proc/meminfo: memFree=30414608/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=1035488 CPUtime=462.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 240399 0 0 0 44738 1492 0 0 25 0 1 0 132283333 1060339712 236621 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 258872 236621 407 719 0 258151 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1035488 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13935 /proc/meminfo: memFree=30314748/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=1139124 CPUtime=522.3 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 264358 0 0 0 50538 1692 0 0 25 0 1 0 132283333 1166462976 260580 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 284781 260580 407 719 0 284060 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1139124 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13936 /proc/meminfo: memFree=30197504/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=1251316 CPUtime=582.31 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 292058 0 0 0 56338 1893 0 0 25 0 1 0 132283333 1281347584 288280 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 312829 288280 407 719 0 312108 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1251316 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13938 /proc/meminfo: memFree=30109272/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=1343192 CPUtime=642.31 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 313369 0 0 0 62182 2049 0 0 25 0 1 0 132283333 1375428608 309591 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 335798 309591 407 719 0 335077 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1343192 [startup+702.301 s] ################ # More data... # ################ /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 432160 0 0 0 97107 3125 0 0 25 0 1 0 132283333 1889914880 428382 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 461405 428382 407 719 0 460684 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1845620 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13949 /proc/meminfo: memFree=29552024/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=1913732 CPUtime=1062.32 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 449520 0 0 0 102928 3304 0 0 25 0 1 0 132283333 1959661568 445742 4089446400 4194304 7136930 140734234096784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 478433 445742 407 719 0 477712 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1913732 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13951 /proc/meminfo: memFree=29472848/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=1990384 CPUtime=1122.32 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 468985 0 0 0 108746 3486 0 0 25 0 1 0 132283333 2038153216 465207 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 497596 465207 407 719 0 496875 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1990384 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13952 /proc/meminfo: memFree=29403096/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2055760 CPUtime=1182.32 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 485582 0 0 0 114574 3658 0 0 25 0 1 0 132283333 2105098240 481804 4089446400 4194304 7136930 140734234096784 18446744073709551615 4209688 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 513940 481804 407 719 0 513219 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2055760 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13954 /proc/meminfo: memFree=29362248/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2095228 CPUtime=1242.33 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 495488 0 0 0 120457 3776 0 0 25 0 1 0 132283333 2145513472 491710 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 523807 491710 407 719 0 523086 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2095228 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13956 /proc/meminfo: memFree=29334304/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2122580 CPUtime=1302.33 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 502350 0 0 0 126344 3889 0 0 25 0 1 0 132283333 2173521920 498572 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 530645 498572 407 719 0 529924 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2122580 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13957 /proc/meminfo: memFree=29303740/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2152404 CPUtime=1362.32 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 509931 0 0 0 132244 3988 0 0 25 0 1 0 132283333 2204061696 506153 4089446400 4194304 7136930 140734234096784 18446744073709551615 4223007 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 538101 506153 407 719 0 537380 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2152404 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13959 /proc/meminfo: memFree=29293668/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2161796 CPUtime=1422.34 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 512234 0 0 0 138157 4077 0 0 25 0 1 0 132283333 2213679104 508456 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 540449 508456 407 719 0 539728 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2161796 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13960 /proc/meminfo: memFree=29286192/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2169628 CPUtime=1482.32 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 514075 0 0 0 144074 4158 0 0 25 0 1 0 132283333 2221699072 510297 4089446400 4194304 7136930 140734234096784 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 542407 510297 407 719 0 541686 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2169628 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13962 /proc/meminfo: memFree=29279460/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2175584 CPUtime=1542.32 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 515545 0 0 0 149993 4239 0 0 25 0 1 0 132283333 2227798016 511767 4089446400 4194304 7136930 140734234096784 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 543896 511767 407 719 0 543175 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2175584 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13964 /proc/meminfo: memFree=29276700/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2178544 CPUtime=1602.33 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 516281 0 0 0 155903 4330 0 0 25 0 1 0 132283333 2230829056 512503 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 544636 512503 407 719 0 543915 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2178544 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13965 /proc/meminfo: memFree=29215248/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2241044 CPUtime=1662.33 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 532041 0 0 0 161729 4504 0 0 25 0 1 0 132283333 2294829056 528263 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 560261 528263 407 719 0 559540 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2241044 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13967 /proc/meminfo: memFree=29142392/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2312584 CPUtime=1722.33 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 549777 0 0 0 167573 4660 0 0 25 0 1 0 132283333 2368086016 545999 4089446400 4194304 7136930 140734234096784 18446744073709551615 4227480 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 578146 545999 407 719 0 577425 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2312584 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13968 /proc/meminfo: memFree=29082328/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2371504 CPUtime=1782.34 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 564447 0 0 0 173431 4803 0 0 25 0 1 0 132283333 2428420096 560669 4089446400 4194304 7136930 140734234096784 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 592876 560669 407 719 0 592155 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2371504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13969 /proc/meminfo: memFree=29063464/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2390236 CPUtime=1800.04 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 569037 0 0 0 175167 4837 0 0 25 0 1 0 132283333 2447601664 565259 4089446400 4194304 7136930 140734234096784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13883/statm: 597559 565259 407 719 0 596838 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2390236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13883 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13970 /proc/meminfo: memFree=29063208/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2390236 CPUtime=1801.43 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 569043 0 0 0 175306 4837 0 0 25 0 1 0 132283333 2447601664 565265 4089446400 4194304 7136930 140734234096784 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13883/statm: 597559 565265 412 719 0 596838 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2390236 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13970 /proc/meminfo: memFree=29062960/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2390236 CPUtime=1801.84 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 569043 0 0 0 175347 4837 0 0 25 0 1 0 132283333 2447601664 565265 4089446400 4194304 7136930 140734234096784 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13883/statm: 597559 565265 412 719 0 596838 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2390236 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13970 /proc/meminfo: memFree=29062960/32950928 swapFree=67111528/67111528 [pid=13883] ppid=13881 vsize=2390236 CPUtime=1802.03 /proc/13883/stat : 13883 (pbscip.linux.x8) R 13881 13883 12014 0 -1 4202496 569043 0 0 0 175366 4837 0 0 25 0 1 0 132283333 2447601664 565265 4089446400 4194304 7136930 140734234096784 18446744073709551615 4212289 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13883/statm: 597559 565265 412 719 0 596838 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2390236 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1753.68 CPU system time (s): 48.4536 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2390236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.68 system time used= 48.4536 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 569043 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= 1516 runsolver used 2.93255 second user time and 5.81212 second system time The end
Begin job on node123 at 2010-06-30 16:57:45 IDJOB=2694185 IDBENCH=78971 IDSOLVER=1206 FILE ID=node123/2694185-1277909865 PBS_JOBID= 11197166 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694185-1277909865/watcher-2694185-1277909865 -o /tmp/evaluation-result-2694185-1277909865/solver-2694185-1277909865 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694185-1277909865.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b8daeac3a936659a5f0bb5b79c19c15 RANDOM SEED=804115719 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.75 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.804 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 : 5332.75 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.804 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.75 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.804 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.71 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.804 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29877860 kB Buffers: 197096 kB Cached: 1109204 kB SwapCached: 0 kB Active: 2136580 kB Inactive: 792652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29877860 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 1622128 kB Mapped: 16100 kB Slab: 78692 kB PageTables: 7984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1826324 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 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 node123 at 2010-06-30 17:27:48