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.12 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo |
| MD5SUM | b79c8ce52bbf55b2415ca4df8d18f0c8 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 53.7388 |
| 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 | 689 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2694141-1277907427.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.02/0.03 c presolving:
0.02/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.02/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.02/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.14 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.14 c 1116 implications, 14 cliques
0.09/0.14 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.14 c 854 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 854 constraints of type <linear>
0.09/0.14 c 1726 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 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
1.00/1.02 o 531
1.00/1.02 c * 1.0s| 3625 | 3165 | 0 | 0.0 |9850k|1035 | - |1939 |3998 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | 5.310000e+02 | Inf
1.00/1.02 o 431
1.00/1.02 c * 1.0s| 3626 | 3157 | 0 | 0.0 |9878k|1035 | - |1939 |3998 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | 4.310000e+02 | Inf
1.10/1.14 o 379
1.10/1.14 c * 1.1s| 4017 | 3537 | 0 | 0.0 | 10M|1035 | - |1939 |4003 | 0 | 0 | 0 | 680 | 0 | 0.000000e+00 | 3.790000e+02 | Inf
1.10/1.14 o 371
1.10/1.14 c * 1.1s| 4019 | 3536 | 0 | 0.0 | 10M|1035 | - |1939 |4003 | 0 | 0 | 0 | 680 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
2.69/2.78 c 2.7s| 10000 | 8625 | 0 | 0.0 | 14M|1035 | - |1939 |4589 | 0 | 0 | 0 |2702 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
5.99/6.02 c 5.8s| 20000 | 16190 | 0 | 0.0 | 21M|1035 | - |1939 |5506 | 0 | 0 | 0 |8613 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
9.09/9.19 o 270
9.09/9.19 c * 8.9s| 27068 | 20036 | 0 | 0.0 | 26M|1035 | - |1939 |5853 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.700000e+02 | Inf
9.09/9.19 o 228
9.09/9.19 c * 8.9s| 27069 | 20018 | 0 | 0.0 | 26M|1035 | - |1939 |5853 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
9.59/9.62 o 219
9.59/9.62 c * 9.3s| 28357 | 21236 | 0 | 0.0 | 27M|1035 | - |1939 |5338 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
9.59/9.62 o 201
9.59/9.62 c * 9.3s| 28358 | 21225 | 0 | 0.0 | 27M|1035 | - |1939 |5338 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
10.09/10.17 c 9.8s| 30000 | 22765 | 0 | 0.0 | 28M|1035 | - |1939 |5024 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
10.49/10.50 o 189
10.49/10.50 c *10.2s| 30997 | 23646 | 0 | 0.0 | 28M|1035 | - |1939 |5074 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.890000e+02 | Inf
10.49/10.50 o 177
10.49/10.50 c *10.2s| 30998 | 23629 | 0 | 0.0 | 28M|1035 | - |1939 |5074 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
10.49/10.53 o 164
10.49/10.53 c *10.2s| 31074 | 23658 | 0 | 0.0 | 28M|1035 | - |1939 |5084 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
10.49/10.53 o 139
10.49/10.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.53 c *10.2s| 31075 | 23617 | 0 | 0.0 | 28M|1035 | - |1939 |5084 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
10.59/10.64 o 111
10.59/10.64 c *10.3s| 31325 | 23636 | 0 | 0.0 | 28M|1035 | - |1939 |5111 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
10.59/10.64 o 94
10.59/10.64 c *10.3s| 31326 | 23411 | 0 | 0.0 | 28M|1035 | - |1939 |5111 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
11.69/11.75 o 93
11.69/11.75 c *11.4s| 33869 | 25492 | 0 | 0.0 | 32M|1035 | - |1939 |5122 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
11.69/11.75 o 89
11.69/11.75 c *11.4s| 33870 | 25285 | 0 | 0.0 | 32M|1035 | - |1939 |5122 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
13.99/14.06 c 13.6s| 40000 | 30476 | 0 | 0.0 | 37M|1035 | - |1939 |5028 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
14.60/14.67 o 82
14.60/14.67 c *14.2s| 41767 | 31787 | 0 | 0.0 | 38M|1035 | - |1939 |4963 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
15.99/16.00 o 42
15.99/16.00 c *15.5s| 45543 | 33811 | 0 | 0.0 | 38M|1035 | - |1939 |5419 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
17.39/17.40 c 16.9s| 50000 | 37476 | 0 | 0.0 | 41M|1035 | - |1939 |5204 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
20.49/20.59 c 19.9s| 60000 | 45456 | 0 | 0.0 | 47M|1035 | - |1939 |5682 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
23.79/23.85 c 23.1s| 70000 | 53270 | 0 | 0.0 | 54M|1035 | - |1939 |5961 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
27.09/27.15 c 26.3s| 80000 | 60993 | 0 | 0.0 | 60M|1035 | - |1939 |6132 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
30.49/30.51 c 29.5s| 90000 | 68584 | 0 | 0.0 | 67M|1035 | - |1939 |6370 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
34.29/34.37 c 33.3s|100000 | 75488 | 0 | 0.0 | 74M|1035 | - |1939 |6990 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
38.60/38.69 c 37.5s|110000 | 81693 | 0 | 0.0 | 81M|1035 | - |1939 |7400 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
43.19/43.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.19/43.24 c 41.9s|120000 | 87630 | 0 | 0.0 | 88M|1035 | - |1939 |7312 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
48.19/48.21 c 46.8s|130000 | 92993 | 0 | 0.0 | 96M|1035 | - |1939 |7774 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
53.40/53.42 c 51.8s|140000 | 98002 | 0 | 0.0 | 103M|1035 | - |1939 |8159 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
58.99/59.05 c 57.3s|150000 |102435 | 0 | 0.0 | 110M|1035 | - |1939 |8505 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
65.19/65.25 c 63.4s|160000 |106143 | 0 | 0.0 | 117M|1035 | - |1939 |8859 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
72.89/72.91 c 70.9s|170000 |107925 | 0 | 0.0 | 124M|1035 | - |1939 |9692 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
77.49/77.56 c 75.4s|180000 |114849 | 0 | 0.0 | 128M|1035 | - |1939 |4662 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
81.40/81.41 c 79.1s|190000 |123079 | 0 | 0.0 | 135M|1035 | - |1939 |4372 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
85.40/85.44 c 83.0s|200000 |130656 | 0 | 0.0 | 144M|1035 | - |1939 |5710 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
89.99/90.04 c 87.5s|210000 |137284 | 0 | 0.0 | 154M|1035 | - |1939 |7810 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
90.69/90.79 o 38
90.69/90.79 c *88.2s|211419 |137863 | 0 | 0.0 | 154M|1035 | - |1939 |7953 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
94.60/94.65 c 92.0s|220000 |143733 | 0 | 0.0 | 160M|1035 | - |1939 |4600 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
98.70/98.77 c 95.9s|230000 |150759 | 0 | 0.0 | 169M|1035 | - |1939 |6290 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
99.19/99.20 o 34
99.19/99.20 c *96.3s|230779 |150463 | 0 | 0.0 | 166M|1035 | - |1939 |6651 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
102.59/102.61 c 99.7s|240000 |157833 | 0 | 0.0 | 172M|1035 | - |1939 |4317 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
105.89/105.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.89/105.97 c 103s|250000 |166075 | 0 | 0.0 | 179M|1035 | - |1939 |5169 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
109.80/109.86 c 107s|260000 |173356 | 0 | 0.0 | 187M|1035 | - |1939 |6598 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
114.69/114.78 c 111s|270000 |179196 | 0 | 0.0 | 195M|1035 | - |1939 |5144 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
118.50/118.53 c 115s|280000 |186578 | 0 | 0.0 | 202M|1035 | - |1939 |6982 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
122.10/122.13 c 119s|290000 |194408 | 0 | 0.0 | 208M|1035 | - |1939 |5231 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
125.40/125.44 c 122s|300000 |202558 | 0 | 0.0 | 214M|1035 | - |1939 |5985 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
129.39/129.42 c 126s|310000 |209525 | 0 | 0.0 | 222M|1035 | - |1939 |8329 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
130.80/130.90 o 30
130.80/130.90 c * 127s|312728 |209921 | 0 | 0.0 | 220M|1035 | - |1939 |9777 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
133.80/133.80 c 130s|320000 |215321 | 0 | 0.0 | 223M|1035 | - |1939 |5691 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
137.89/137.92 c 134s|330000 |222042 | 0 | 0.0 | 231M|1035 | - |1939 |7677 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
141.30/141.31 c 137s|340000 |229959 | 0 | 0.0 | 237M|1035 | - |1939 |6333 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
145.29/145.35 c 141s|350000 |236754 | 0 | 0.0 | 243M|1035 | - |1939 |6179 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
149.40/149.40 c 145s|360000 |243350 | 0 | 0.0 | 250M|1035 | - |1939 |8092 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
152.81/152.83 c 148s|370000 |251127 | 0 | 0.0 | 256M|1035 | - |1939 |6974 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
156.80/156.84 c 152s|380000 |258442 | 0 | 0.0 | 262M|1035 | - |1939 |4459 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
160.30/160.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.30/160.33 c 156s|390000 |266052 | 0 | 0.0 | 269M|1035 | - |1939 |4959 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
164.10/164.16 c 159s|400000 |273092 | 0 | 0.0 | 275M|1035 | - |1939 |5562 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
168.20/168.25 c 163s|410000 |279786 | 0 | 0.0 | 282M|1035 | - |1939 |6185 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
172.50/172.50 c 167s|420000 |286321 | 0 | 0.0 | 289M|1035 | - |1939 |5917 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
176.80/176.81 c 172s|430000 |292761 | 0 | 0.0 | 296M|1035 | - |1939 |6348 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
181.10/181.19 c 176s|440000 |299054 | 0 | 0.0 | 302M|1035 | - |1939 |6652 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
185.70/185.73 c 180s|450000 |305154 | 0 | 0.0 | 309M|1035 | - |1939 |6710 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
190.50/190.50 c 185s|460000 |310979 | 0 | 0.0 | 316M|1035 | - |1939 |6934 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
195.29/195.31 c 190s|470000 |316672 | 0 | 0.0 | 322M|1035 | - |1939 |6973 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
200.30/200.31 c 194s|480000 |322118 | 0 | 0.0 | 329M|1035 | - |1939 |7056 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
205.29/205.33 c 199s|490000 |327593 | 0 | 0.0 | 336M|1035 | - |1939 |7212 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
210.70/210.70 c 204s|500000 |332546 | 0 | 0.0 | 343M|1035 | - |1939 |8180 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
216.30/216.33 c 210s|510000 |337175 | 0 | 0.0 | 350M|1035 | - |1939 |7748 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
221.90/221.92 c 215s|520000 |341702 | 0 | 0.0 | 356M|1035 | - |1939 |7619 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
227.60/227.63 c 221s|530000 |346068 | 0 | 0.0 | 363M|1035 | - |1939 |7227 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
232.99/233.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.99/233.06 c 226s|540000 |350722 | 0 | 0.0 | 369M|1035 | - |1939 |8299 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
239.10/239.19 c 232s|550000 |354490 | 0 | 0.0 | 376M|1035 | - |1939 |8096 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
245.59/245.63 c 239s|560000 |357698 | 0 | 0.0 | 382M|1035 | - |1939 |8641 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
252.70/252.76 c 246s|570000 |360173 | 0 | 0.0 | 388M|1035 | - |1939 |8877 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
260.20/260.21 c 253s|580000 |362068 | 0 | 0.0 | 394M|1035 | - |1939 |8687 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
268.19/268.23 c 261s|590000 |363172 | 0 | 0.0 | 399M|1035 | - |1939 |9336 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
276.70/276.77 c 269s|600000 |363406 | 0 | 0.0 | 404M|1035 | - |1939 |9628 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
285.70/285.73 c 278s|610000 |362864 | 0 | 0.0 | 408M|1035 | - |1939 |9754 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
294.70/294.79 c 287s|620000 |361737 | 0 | 0.0 | 411M|1035 | - |1939 | 10k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
303.89/303.91 c 296s|630000 |360221 | 0 | 0.0 | 414M|1035 | - |1939 | 11k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
313.70/313.73 c 306s|640000 |357227 | 0 | 0.0 | 413M|1035 | - |1939 | 11k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
323.90/323.94 c 316s|650000 |352814 | 0 | 0.0 | 411M|1035 | - |1939 | 12k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
332.21/332.27 c 324s|660000 |351529 | 0 | 0.0 | 403M|1035 | - |1939 |5857 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
333.10/333.16 o 21
333.10/333.16 c * 325s|662299 |349171 | 0 | 0.0 | 393M|1035 | - |1939 |4822 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
336.00/336.06 c 327s|670000 |355339 | 0 | 0.0 | 399M|1035 | - |1939 |4330 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
339.81/339.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.81/339.81 c 331s|680000 |363104 | 0 | 0.0 | 406M|1035 | - |1939 |5045 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
343.50/343.59 c 335s|690000 |370793 | 0 | 0.0 | 413M|1035 | - |1939 |5382 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
347.50/347.59 c 339s|700000 |378325 | 0 | 0.0 | 420M|1035 | - |1939 |5644 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
351.70/351.75 c 343s|710000 |385591 | 0 | 0.0 | 427M|1035 | - |1939 |5914 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
353.70/353.77 o 9
353.70/353.77 c * 345s|714682 |385766 | 0 | 0.0 | 420M|1035 | - |1939 |5864 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
356.20/356.23 c 347s|720000 |389524 | 0 | 0.0 | 428M|1035 | - |1939 |6133 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
360.90/360.92 c 352s|730000 |396295 | 0 | 0.0 | 436M|1035 | - |1939 |6697 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
365.60/365.63 c 356s|740000 |402922 | 0 | 0.0 | 443M|1035 | - |1939 |7044 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
370.61/370.61 c 361s|750000 |409327 | 0 | 0.0 | 452M|1035 | - |1939 |7691 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
375.81/375.83 c 366s|760000 |415591 | 0 | 0.0 | 460M|1035 | - |1939 |7884 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
381.40/381.46 c 371s|770000 |421424 | 0 | 0.0 | 471M|1035 | - |1939 |9268 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
387.21/387.21 c 377s|780000 |427389 | 0 | 0.0 | 481M|1035 | - |1939 | 10k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
393.81/393.80 c 383s|790000 |432669 | 0 | 0.0 | 492M|1035 | - |1939 | 10k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
400.60/400.66 c 390s|800000 |437858 | 0 | 0.0 | 504M|1035 | - |1939 | 11k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
407.81/407.81 c 397s|810000 |442848 | 0 | 0.0 | 516M|1035 | - |1939 | 13k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
416.11/416.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.11/416.18 c 405s|820000 |446952 | 0 | 0.0 | 528M|1035 | - |1939 | 13k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
425.51/425.51 c 415s|830000 |450520 | 0 | 0.0 | 540M|1035 | - |1939 | 14k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
435.70/435.74 c 425s|840000 |453479 | 0 | 0.0 | 551M|1035 | - |1939 | 17k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
448.40/448.44 c 437s|850000 |455027 | 0 | 0.0 | 561M|1035 | - |1939 | 20k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
461.31/461.31 c 450s|860000 |457011 | 0 | 0.0 | 569M|1035 | - |1939 | 18k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
468.00/468.06 c 456s|870000 |462771 | 0 | 0.0 | 572M|1035 | - |1939 | 11k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
473.11/473.10 c 461s|880000 |469562 | 0 | 0.0 | 579M|1035 | - |1939 | 10k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
478.01/478.04 c 466s|890000 |476325 | 0 | 0.0 | 586M|1035 | - |1939 | 11k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
483.11/483.17 c 471s|900000 |482956 | 0 | 0.0 | 593M|1035 | - |1939 | 13k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
489.31/489.40 c 477s|910000 |488682 | 0 | 0.0 | 601M|1035 | - |1939 | 15k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
496.91/496.92 c 485s|920000 |493578 | 0 | 0.0 | 609M|1035 | - |1939 | 18k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
500.30/500.32 o 8
500.30/500.32 c * 488s|924187 |494512 | 0 | 0.0 | 610M|1035 | - |1939 | 19k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
505.41/505.49 o 7
505.41/505.49 c * 493s|929494 |496344 | 0 | 0.0 | 615M|1035 | - |1939 | 20k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
505.91/505.92 c 493s|930000 |496593 | 0 | 0.0 | 615M|1035 | - |1939 | 20k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.21/508.28 o 6
508.21/508.28 c * 496s|932199 |494269 | 0 | 0.0 | 608M|1035 | - |1939 | 20k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
519.30/519.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.30/519.36 c 507s|940000 |494911 | 0 | 0.0 | 615M|1035 | - |1939 | 22k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
524.51/524.54 c 512s|950000 |502960 | 0 | 0.0 | 619M|1035 | - |1939 | 12k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
528.71/528.77 c 516s|960000 |510929 | 0 | 0.0 | 626M|1035 | - |1939 | 12k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
533.11/533.14 c 520s|970000 |518767 | 0 | 0.0 | 632M|1035 | - |1939 | 12k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
537.51/537.58 c 524s|980000 |526554 | 0 | 0.0 | 639M|1035 | - |1939 | 13k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
542.31/542.30 c 529s|990000 |534077 | 0 | 0.0 | 645M|1035 | - |1939 | 14k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
547.01/547.05 c 534s| 1000k|541532 | 0 | 0.0 | 652M|1035 | - |1939 | 14k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
552.31/552.36 c 539s| 1010k|548585 | 0 | 0.0 | 659M|1035 | - |1939 | 15k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
558.31/558.39 c 545s| 1020k|555072 | 0 | 0.0 | 666M|1035 | - |1939 | 16k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
564.91/564.90 c 551s| 1030k|561275 | 0 | 0.0 | 673M|1035 | - |1939 | 17k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
571.91/571.98 c 558s| 1040k|567132 | 0 | 0.0 | 680M|1035 | - |1939 | 18k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
578.01/578.01 o 5
578.01/578.01 c * 564s| 1047k|570537 | 0 | 0.0 | 684M|1035 | - |1939 | 19k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
579.71/579.77 c 566s| 1050k|571522 | 0 | 0.0 | 686M|1035 | - |1939 | 19k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
588.21/588.29 c 574s| 1060k|576660 | 0 | 0.0 | 695M|1035 | - |1939 | 20k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
597.91/597.97 c 584s| 1070k|581153 | 0 | 0.0 | 703M|1035 | - |1939 | 22k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
608.91/608.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.91/608.94 c 594s| 1080k|584933 | 0 | 0.0 | 711M|1035 | - |1939 | 23k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
621.31/621.33 c 607s| 1090k|587878 | 0 | 0.0 | 718M|1035 | - |1939 | 25k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
636.11/636.19 c 621s| 1100k|589558 | 0 | 0.0 | 725M|1035 | - |1939 | 27k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
650.71/650.74 c 636s| 1110k|591220 | 0 | 0.0 | 727M|1035 | - |1939 | 12k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
655.11/655.19 c 640s| 1120k|598898 | 0 | 0.0 | 734M|1035 | - |1939 | 13k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
659.91/659.97 c 645s| 1130k|606330 | 0 | 0.0 | 741M|1035 | - |1939 | 15k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
665.21/665.21 c 650s| 1140k|613522 | 0 | 0.0 | 748M|1035 | - |1939 | 16k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
671.41/671.40 c 656s| 1150k|619990 | 0 | 0.0 | 755M|1035 | - |1939 | 18k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
678.21/678.27 c 663s| 1160k|626053 | 0 | 0.0 | 762M|1035 | - |1939 | 19k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
686.91/686.94 c 671s| 1170k|630901 | 0 | 0.0 | 769M|1035 | - |1939 | 21k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
699.01/699.01 c 683s| 1180k|633450 | 0 | 0.0 | 776M|1035 | - |1939 | 26k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
708.71/708.70 c 693s| 1190k|638667 | 0 | 0.0 | 782M|1035 | - |1939 | 18k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
713.71/713.79 c 698s| 1200k|646406 | 0 | 0.0 | 788M|1035 | - |1939 | 11k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
717.71/717.74 c 701s| 1210k|654145 | 0 | 0.0 | 794M|1035 | - |1939 | 12k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
721.91/721.94 c 705s| 1220k|661636 | 0 | 0.0 | 800M|1035 | - |1939 | 12k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
726.41/726.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.41/726.47 c 710s| 1230k|668724 | 0 | 0.0 | 807M|1035 | - |1939 | 12k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
731.12/731.13 c 714s| 1240k|675629 | 0 | 0.0 | 813M|1035 | - |1939 | 13k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
735.92/735.98 c 719s| 1250k|682339 | 0 | 0.0 | 820M|1035 | - |1939 | 13k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
741.11/741.13 c 724s| 1260k|688734 | 0 | 0.0 | 827M|1035 | - |1939 | 14k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
746.62/746.66 c 730s| 1270k|694732 | 0 | 0.0 | 833M|1035 | - |1939 | 14k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
752.61/752.66 c 735s| 1280k|700288 | 0 | 0.0 | 840M|1035 | - |1939 | 14k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
758.92/758.99 c 742s| 1290k|705447 | 0 | 0.0 | 847M|1035 | - |1939 | 15k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
765.72/765.74 c 748s| 1300k|710231 | 0 | 0.0 | 853M|1035 | - |1939 | 16k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
773.22/773.24 c 755s| 1310k|714361 | 0 | 0.0 | 860M|1035 | - |1939 | 17k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
781.52/781.55 c 764s| 1320k|717714 | 0 | 0.0 | 866M|1035 | - |1939 | 17k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
790.71/790.74 c 773s| 1330k|720253 | 0 | 0.0 | 872M|1035 | - |1939 | 18k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
803.02/803.07 c 785s| 1340k|719824 | 0 | 0.0 | 876M|1035 | - |1939 | 21k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
808.81/808.80 c 790s| 1350k|726340 | 0 | 0.0 | 878M|1035 | - |1939 | 12k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
813.42/813.41 c 795s| 1360k|733594 | 0 | 0.0 | 885M|1035 | - |1939 | 13k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
818.22/818.23 c 800s| 1370k|740494 | 0 | 0.0 | 891M|1035 | - |1939 | 13k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
823.22/823.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.22/823.30 c 805s| 1380k|747090 | 0 | 0.0 | 898M|1035 | - |1939 | 14k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
828.91/828.97 c 810s| 1390k|753099 | 0 | 0.0 | 904M|1035 | - |1939 | 15k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
835.42/835.40 c 816s| 1400k|758305 | 0 | 0.0 | 911M|1035 | - |1939 | 16k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
843.11/843.19 c 824s| 1410k|762217 | 0 | 0.0 | 918M|1035 | - |1939 | 17k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
854.52/854.57 c 835s| 1420k|763048 | 0 | 0.0 | 922M|1035 | - |1939 | 20k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
859.51/859.54 c 840s| 1430k|770557 | 0 | 0.0 | 926M|1035 | - |1939 | 12k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
864.11/864.12 c 844s| 1440k|777827 | 0 | 0.0 | 933M|1035 | - |1939 | 13k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
869.12/869.12 c 849s| 1450k|784723 | 0 | 0.0 | 939M|1035 | - |1939 | 13k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
874.31/874.36 c 854s| 1460k|791308 | 0 | 0.0 | 946M|1035 | - |1939 | 14k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
880.22/880.26 c 860s| 1470k|797344 | 0 | 0.0 | 952M|1035 | - |1939 | 15k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
886.71/886.76 c 867s| 1480k|802669 | 0 | 0.0 | 959M|1035 | - |1939 | 16k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
894.02/894.04 c 874s| 1490k|807172 | 0 | 0.0 | 965M|1035 | - |1939 | 17k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
904.13/904.14 c 884s| 1500k|809113 | 0 | 0.0 | 971M|1035 | - |1939 | 19k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
911.32/911.33 c 891s| 1510k|814421 | 0 | 0.0 | 973M|1035 | - |1939 | 12k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
915.92/915.92 c 895s| 1520k|821825 | 0 | 0.0 | 980M|1035 | - |1939 | 13k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
920.81/920.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.81/920.81 c 900s| 1530k|828885 | 0 | 0.0 | 986M|1035 | - |1939 | 13k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
925.92/925.99 c 905s| 1540k|835609 | 0 | 0.0 | 993M|1035 | - |1939 | 14k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
931.91/931.95 c 911s| 1550k|841634 | 0 | 0.0 |1000M|1035 | - |1939 | 15k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
938.62/938.61 c 917s| 1560k|846845 | 0 | 0.0 |1006M|1035 | - |1939 | 16k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
946.72/946.79 c 925s| 1570k|850590 | 0 | 0.0 |1012M|1035 | - |1939 | 18k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
956.42/956.49 c 935s| 1580k|853435 | 0 | 0.0 |1016M|1035 | - |1939 | 13k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
961.02/961.03 c 939s| 1590k|860839 | 0 | 0.0 |1022M|1035 | - |1939 | 12k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
965.82/965.87 c 944s| 1600k|867700 | 0 | 0.0 |1029M|1035 | - |1939 | 13k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
971.22/971.24 c 949s| 1610k|874048 | 0 | 0.0 |1035M|1035 | - |1939 | 14k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
977.32/977.31 c 955s| 1620k|879813 | 0 | 0.0 |1042M|1035 | - |1939 | 15k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
984.12/984.16 c 962s| 1630k|884669 | 0 | 0.0 |1048M|1035 | - |1939 | 17k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
992.02/992.01 c 970s| 1640k|888754 | 0 | 0.0 |1055M|1035 | - |1939 | 18k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1000.93/1000.97 c 978s| 1650k|892293 | 0 | 0.0 |1056M|1035 | - |1939 |5886 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1004.42/1004.41 c 982s| 1660k|900266 | 0 | 0.0 |1062M|1035 | - |1939 |4925 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1008.72/1008.79 c 986s| 1670k|906720 | 0 | 0.0 |1069M|1035 | - |1939 |5923 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1012.72/1012.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.72/1012.79 c 990s| 1680k|913529 | 0 | 0.0 |1075M|1035 | - |1939 |5154 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1016.62/1016.68 c 994s| 1690k|920527 | 0 | 0.0 |1081M|1035 | - |1939 |4374 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1020.42/1020.47 c 997s| 1700k|927522 | 0 | 0.0 |1087M|1035 | - |1939 |4083 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1023.62/1023.64 c 1000s| 1710k|935520 | 0 | 0.0 |1093M|1035 | - |1939 |4567 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1027.72/1027.70 c 1004s| 1720k|941990 | 0 | 0.0 |1099M|1035 | - |1939 |7051 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1031.22/1031.22 c 1008s| 1730k|949637 | 0 | 0.0 |1104M|1035 | - |1939 |4496 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1034.72/1034.74 c 1011s| 1740k|956992 | 0 | 0.0 |1110M|1035 | - |1939 |5318 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1038.72/1038.71 c 1015s| 1750k|963680 | 0 | 0.0 |1116M|1035 | - |1939 |4513 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1042.32/1042.31 c 1018s| 1760k|970808 | 0 | 0.0 |1122M|1035 | - |1939 |5669 | 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1045.62/1045.65 c 1022s| 1770k|978639 | 0 | 0.0 |1128M|1035 | - |1939 |4144 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1052.32/1052.33 c 1028s| 1780k|981848 | 0 | 0.0 |1134M|1035 | - |1939 |5890 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1059.43/1059.49 c 1035s| 1790k|984938 | 0 | 0.0 |1141M|1035 | - |1939 |7186 | 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1067.03/1067.00 c 1042s| 1800k|987914 | 0 | 0.0 |1147M|1035 | - |1939 |7247 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1074.53/1074.50 c 1050s| 1810k|990828 | 0 | 0.0 |1153M|1035 | - |1939 |9247 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1082.12/1082.17 c 1057s| 1820k|993724 | 0 | 0.0 |1159M|1035 | - |1939 |9137 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1090.13/1090.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.13/1090.16 c 1065s| 1830k|996589 | 0 | 0.0 |1165M|1035 | - |1939 |7444 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1098.33/1098.32 c 1073s| 1840k|998771 | 0 | 0.0 |1171M|1035 | - |1939 |9829 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1106.92/1106.96 c 1082s| 1850k| 1000k| 0 | 0.0 |1176M|1035 | - |1939 |8334 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1115.53/1115.50 c 1090s| 1860k| 1003k| 0 | 0.0 |1182M|1035 | - |1939 | 10k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1124.62/1124.62 c 1099s| 1870k| 1004k| 0 | 0.0 |1186M|1035 | - |1939 |8358 | 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1133.42/1133.45 c 1108s| 1880k| 1006k| 0 | 0.0 |1193M|1035 | - |1939 | 10k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1142.33/1142.38 c 1116s| 1890k| 1008k| 0 | 0.0 |1198M|1035 | - |1939 |8589 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1152.12/1152.14 c 1126s| 1900k| 1009k| 0 | 0.0 |1203M|1035 | - |1939 | 10k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1161.73/1161.72 c 1135s| 1910k| 1011k| 0 | 0.0 |1208M|1035 | - |1939 | 10k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1171.92/1171.92 c 1146s| 1920k| 1012k| 0 | 0.0 |1212M|1035 | - |1939 | 10k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1181.83/1181.80 c 1155s| 1930k| 1013k| 0 | 0.0 |1218M|1035 | - |1939 | 11k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1192.13/1192.13 c 1165s| 1940k| 1014k| 0 | 0.0 |1221M|1035 | - |1939 | 10k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1202.82/1202.86 c 1176s| 1950k| 1015k| 0 | 0.0 |1227M|1035 | - |1939 | 11k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1213.33/1213.39 c 1186s| 1960k| 1016k| 0 | 0.0 |1231M|1035 | - |1939 |9071 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1224.73/1224.77 c 1198s| 1970k| 1016k| 0 | 0.0 |1235M|1035 | - |1939 | 11k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1235.34/1235.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.34/1235.38 c 1208s| 1980k| 1017k| 0 | 0.0 |1240M|1035 | - |1939 | 11k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1247.34/1247.37 c 1220s| 1990k| 1016k| 0 | 0.0 |1242M|1035 | - |1939 | 11k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1258.33/1258.31 c 1231s| 2000k| 1017k| 0 | 0.0 |1247M|1035 | - |1939 | 11k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1270.43/1270.49 c 1243s| 2010k| 1016k| 0 | 0.0 |1249M|1035 | - |1939 | 11k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1281.63/1281.66 c 1254s| 2020k| 1016k| 0 | 0.0 |1254M|1035 | - |1939 | 11k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1293.23/1293.25 c 1265s| 2030k| 1016k| 0 | 0.0 |1256M|1035 | - |1939 | 11k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1304.93/1304.90 c 1276s| 2040k| 1016k| 0 | 0.0 |1260M|1035 | - |1939 | 10k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1316.74/1316.74 c 1288s| 2050k| 1015k| 0 | 0.0 |1263M|1035 | - |1939 | 11k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1328.13/1328.18 c 1299s| 2060k| 1015k| 0 | 0.0 |1267M|1035 | - |1939 | 11k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1340.73/1340.79 c 1312s| 2070k| 1014k| 0 | 0.0 |1269M|1035 | - |1939 | 11k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1353.13/1353.18 c 1324s| 2080k| 1014k| 0 | 0.0 |1271M|1035 | - |1939 | 11k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1365.24/1365.24 c 1336s| 2090k| 1013k| 0 | 0.0 |1274M|1035 | - |1939 | 11k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1377.73/1377.75 c 1348s| 2100k| 1013k| 0 | 0.0 |1275M|1035 | - |1939 | 11k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1390.93/1390.98 c 1361s| 2110k| 1011k| 0 | 0.0 |1276M|1035 | - |1939 | 12k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1404.53/1404.53 c 1375s| 2120k| 1010k| 0 | 0.0 |1276M|1035 | - |1939 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1418.03/1418.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.03/1418.07 c 1388s| 2130k| 1008k| 0 | 0.0 |1276M|1035 | - |1939 | 13k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1432.14/1432.19 c 1402s| 2140k| 1006k| 0 | 0.0 |1274M|1035 | - |1939 | 14k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1446.73/1446.72 c 1417s| 2150k| 1004k| 0 | 0.0 |1272M|1035 | - |1939 | 16k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1464.04/1464.01 c 1434s| 2160k|999682 | 0 | 0.0 |1265M|1035 | - |1939 | 18k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1473.64/1473.61 c 1443s| 2170k| 1002k| 0 | 0.0 |1260M|1035 | - |1939 |5343 | 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1478.24/1478.23 c 1448s| 2180k| 1008k| 0 | 0.0 |1267M|1035 | - |1939 |5206 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1483.14/1483.15 c 1452s| 2190k| 1014k| 0 | 0.0 |1274M|1035 | - |1939 |5129 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1488.04/1488.09 c 1457s| 2200k| 1020k| 0 | 0.0 |1280M|1035 | - |1939 |5728 | 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1493.13/1493.18 c 1462s| 2210k| 1026k| 0 | 0.0 |1287M|1035 | - |1939 |5628 | 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1498.44/1498.42 c 1467s| 2220k| 1032k| 0 | 0.0 |1293M|1035 | - |1939 |5434 | 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1503.53/1503.54 c 1472s| 2230k| 1038k| 0 | 0.0 |1299M|1035 | - |1939 |6273 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1508.64/1508.64 c 1477s| 2240k| 1044k| 0 | 0.0 |1306M|1035 | - |1939 |6263 | 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1514.04/1514.02 c 1482s| 2250k| 1049k| 0 | 0.0 |1312M|1035 | - |1939 |6349 | 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1519.04/1519.09 c 1487s| 2260k| 1055k| 0 | 0.0 |1318M|1035 | - |1939 |5598 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1524.44/1524.50 c 1492s| 2270k| 1061k| 0 | 0.0 |1324M|1035 | - |1939 |6546 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1529.94/1529.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.94/1529.95 c 1498s| 2280k| 1066k| 0 | 0.0 |1330M|1035 | - |1939 |6403 | 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1534.94/1534.99 c 1503s| 2290k| 1072k| 0 | 0.0 |1336M|1035 | - |1939 |6625 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1540.74/1540.75 c 1508s| 2300k| 1077k| 0 | 0.0 |1342M|1035 | - |1939 |6668 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1545.93/1545.92 c 1513s| 2310k| 1083k| 0 | 0.0 |1347M|1035 | - |1939 |6823 | 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1551.94/1551.99 c 1519s| 2320k| 1087k| 0 | 0.0 |1353M|1035 | - |1939 |6844 | 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1557.23/1557.26 c 1524s| 2330k| 1093k| 0 | 0.0 |1359M|1035 | - |1939 |6766 | 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1563.34/1563.36 c 1530s| 2340k| 1098k| 0 | 0.0 |1365M|1035 | - |1939 |7114 | 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1568.84/1568.82 c 1536s| 2350k| 1103k| 0 | 0.0 |1371M|1035 | - |1939 |6973 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1574.73/1574.71 c 1541s| 2360k| 1108k| 0 | 0.0 |1376M|1035 | - |1939 |6955 | 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1580.54/1580.54 c 1547s| 2370k| 1113k| 0 | 0.0 |1382M|1035 | - |1939 |7259 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1586.34/1586.31 c 1553s| 2380k| 1118k| 0 | 0.0 |1387M|1035 | - |1939 |6218 | 0 | 0 | 0 |2016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1592.74/1592.77 c 1559s| 2390k| 1122k| 0 | 0.0 |1393M|1035 | - |1939 |7597 | 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1598.44/1598.47 c 1565s| 2400k| 1127k| 0 | 0.0 |1399M|1035 | - |1939 |6771 | 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1605.04/1605.07 c 1571s| 2410k| 1131k| 0 | 0.0 |1404M|1035 | - |1939 |8006 | 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1610.94/1610.99 c 1577s| 2420k| 1136k| 0 | 0.0 |1409M|1035 | - |1939 |7395 | 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1617.94/1617.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.94/1617.90 c 1584s| 2430k| 1140k| 0 | 0.0 |1414M|1035 | - |1939 |8085 | 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1624.24/1624.21 c 1590s| 2440k| 1145k| 0 | 0.0 |1420M|1035 | - |1939 |7659 | 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1631.14/1631.13 c 1596s| 2450k| 1148k| 0 | 0.0 |1425M|1035 | - |1939 |7924 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1637.84/1637.90 c 1603s| 2460k| 1153k| 0 | 0.0 |1430M|1035 | - |1939 |8063 | 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1644.34/1644.39 c 1609s| 2470k| 1157k| 0 | 0.0 |1435M|1035 | - |1939 |7382 | 0 | 0 | 0 |2093k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1651.74/1651.77 c 1617s| 2480k| 1160k| 0 | 0.0 |1440M|1035 | - |1939 |8448 | 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1658.34/1658.38 c 1623s| 2490k| 1165k| 0 | 0.0 |1446M|1035 | - |1939 |8700 | 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1666.34/1666.33 c 1631s| 2500k| 1167k| 0 | 0.0 |1450M|1035 | - |1939 |9410 | 0 | 0 | 0 |2122k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1673.15/1673.19 c 1638s| 2510k| 1172k| 0 | 0.0 |1455M|1035 | - |1939 |9018 | 0 | 0 | 0 |2131k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1681.34/1681.33 c 1646s| 2520k| 1174k| 0 | 0.0 |1459M|1035 | - |1939 |9657 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1688.44/1688.43 c 1653s| 2530k| 1178k| 0 | 0.0 |1465M|1035 | - |1939 |9149 | 0 | 0 | 0 |2150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1696.75/1696.75 c 1661s| 2540k| 1181k| 0 | 0.0 |1468M|1035 | - |1939 |9978 | 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1704.24/1704.26 c 1668s| 2550k| 1185k| 0 | 0.0 |1474M|1035 | - |1939 |9793 | 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1713.34/1713.33 c 1677s| 2560k| 1187k| 0 | 0.0 |1477M|1035 | - |1939 | 10k| 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1720.94/1720.95 c 1685s| 2570k| 1190k| 0 | 0.0 |1482M|1035 | - |1939 | 10k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1730.24/1730.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.24/1730.28 c 1694s| 2580k| 1192k| 0 | 0.0 |1486M|1035 | - |1939 | 10k| 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1738.44/1738.42 c 1702s| 2590k| 1196k| 0 | 0.0 |1491M|1035 | - |1939 | 11k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1748.34/1748.32 c 1711s| 2600k| 1198k| 0 | 0.0 |1494M|1035 | - |1939 | 11k| 0 | 0 | 0 |2224k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1758.25/1758.26 c 1721s| 2610k| 1199k| 0 | 0.0 |1497M|1035 | - |1939 | 12k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1758.44/1758.49 o 3
1758.44/1758.49 c *1721s| 2610k| 1181k| 0 | 0.0 |1477M|1035 | - |1939 | 12k| 0 | 0 | 0 |2237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1768.85/1768.81 c 1732s| 2620k| 1183k| 0 | 0.0 |1484M|1035 | - |1939 |5187 | 0 | 0 | 0 |2248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1778.04/1778.06 c 1741s| 2630k| 1185k| 0 | 0.0 |1487M|1035 | - |1939 |6171 | 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1787.24/1787.24 c 1750s| 2640k| 1186k| 0 | 0.0 |1489M|1035 | - |1939 |8352 | 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1797.45/1797.46 c 1760s| 2650k| 1187k| 0 | 0.0 |1491M|1035 | - |1939 |9614 | 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1762.09
1800.05/1800.00 c Solving Nodes : 2652671
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (28 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/1800.01 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.05/1800.01 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.01 v -x103 -x102 -x101 x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.01 v x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.05/1800.01 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.01 v -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1762.09
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694141-1277907427.wbo
1800.05/1800.01 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.01 c Constraints : 3614 initial, 3614 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694141-1277907427.wbo
1800.05/1800.01 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.05/1800.01 c Constraints : 3449 initial, 28364 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.03 0 0 0 906 0 113 52 0
1800.05/1800.01 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 833 - - 1666 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 854 0 5242284 0 1498039 226 1633946 0 0 0
1800.05/1800.01 c knapsack : 1 0 8429637 0 2137715 213106 24834731 0 0 0
1800.05/1800.01 c setppc : 14 0 8256552 0 2137773 107879 5849791 0 0 0
1800.05/1800.01 c linear : 854 0 8149219 0 2137872 202943 11189375 0 0 0
1800.05/1800.01 c logicor : 1726+ 0 6230726 0 2137894 297171 16237318 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 59422 0 0 2 17 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 2137894 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 11.79 0.00 5.93 0.00 5.86
1800.05/1800.02 c knapsack : 102.54 0.00 97.92 0.00 4.62
1800.05/1800.02 c setppc : 33.58 0.00 29.43 0.00 4.15
1800.05/1800.02 c linear : 149.89 0.00 148.51 0.00 1.38
1800.05/1800.02 c logicor : 543.80 0.00 426.01 0.00 117.79
1800.05/1800.02 c bounddisjunction : 0.20 0.00 0.20 0.00 0.00
1800.05/1800.02 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 2.27 2 0 0
1800.05/1800.02 c rootredcost : 2.05 0 0 0
1800.05/1800.02 c pseudoobj : 164.65 8472528 2145 1613065
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 28.44 823246 823215 3934399 20.1 80747 10.2 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.04 75 75 293 19.2 53 8.2 -
1800.05/1800.02 c applied globally : - - - 2289520 17.7 - - -
1800.05/1800.02 c applied locally : - - - 41 128.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 37.09 2137866 0 0 0 0 4275732
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.15 - 28
1800.05/1800.02 c oneopt : 0.91 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.79 0 0
1800.05/1800.02 c trysol : 0.59 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2652671
1800.05/1800.02 c nodes (total) : 2652671
1800.05/1800.02 c nodes left : 1187720
1800.05/1800.02 c max depth : 1035
1800.05/1800.02 c max depth (total): 1035
1800.05/1800.02 c backtracks : 498191 (18.8%)
1800.05/1800.02 c delayed cutoffs : 400245
1800.05/1800.02 c repropagations : 1815011 (18533504 domain reductions, 308770 cutoffs)
1800.05/1800.02 c avg switch length: 23.90
1800.05/1800.02 c switching time : 528.12
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 28 (28 improvements)
1800.05/1800.02 c First Solution : +5.31000000000000e+02 (in run 1, after 3625 nodes, 0.96 seconds, depth 207, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2610192 nodes, 1721.41 seconds, depth 119, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694141-1277907427/watcher-2694141-1277907427 -o /tmp/evaluation-result-2694141-1277907427/solver-2694141-1277907427 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694141-1277907427.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.00 2.04 2.02 4/200 12664 /proc/meminfo: memFree=31194008/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=8296 CPUtime=0 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 1564 0 0 0 0 0 0 0 25 0 1 0 132038277 8495104 1486 4089446400 4194304 7136930 140736069992736 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12664/statm: 2074 1486 275 719 0 1353 0 [startup+0.031604 s] /proc/loadavg: 2.00 2.04 2.02 4/200 12664 /proc/meminfo: memFree=31194008/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=16072 CPUtime=0.02 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 3884 0 0 0 2 0 0 0 25 0 1 0 132038277 16457728 3453 4089446400 4194304 7136930 140736069992736 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12664/statm: 4018 3464 289 719 0 3297 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16072 [startup+0.100588 s] /proc/loadavg: 2.00 2.04 2.02 4/200 12664 /proc/meminfo: memFree=31194008/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=22076 CPUtime=0.09 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 7510 0 0 0 9 0 0 0 25 0 1 0 132038277 22605824 4765 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 5519 4765 368 719 0 4798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22076 [startup+0.300554 s] /proc/loadavg: 2.00 2.04 2.02 4/200 12664 /proc/meminfo: memFree=31194008/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=24212 CPUtime=0.29 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 9103 0 0 0 28 1 0 0 25 0 1 0 132038277 24793088 5330 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 6053 5330 399 719 0 5332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.700481 s] /proc/loadavg: 2.00 2.04 2.02 4/200 12664 /proc/meminfo: memFree=31194008/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=26128 CPUtime=0.69 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 9589 0 0 0 66 3 0 0 25 0 1 0 132038277 26755072 5816 4089446400 4194304 7136930 140736069992736 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 6532 5816 404 719 0 5811 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26128 [startup+1.50033 s] /proc/loadavg: 2.00 2.04 2.02 3/201 12665 /proc/meminfo: memFree=31170688/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=27852 CPUtime=1.48 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 10022 0 0 0 143 5 0 0 25 0 1 0 132038277 28520448 6249 4089446400 4194304 7136930 140736069992736 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 6963 6249 405 719 0 6242 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27852 [startup+3.10104 s] /proc/loadavg: 2.00 2.03 2.02 3/201 12665 /proc/meminfo: memFree=31166844/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=32908 CPUtime=3.09 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 11287 0 0 0 299 10 0 0 25 0 1 0 132038277 33697792 7514 4089446400 4194304 7136930 140736069992736 18446744073709551615 5004018 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 8227 7514 405 719 0 7506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32908 [startup+6.30046 s] /proc/loadavg: 2.00 2.03 2.02 3/201 12665 /proc/meminfo: memFree=31154504/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=41992 CPUtime=6.29 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 13596 0 0 0 609 20 0 0 25 0 1 0 132038277 42999808 9823 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 10498 9823 405 719 0 9777 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41992 [startup+12.7003 s] /proc/loadavg: 2.00 2.03 2.01 3/201 12666 /proc/meminfo: memFree=31133096/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=60268 CPUtime=12.69 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 18102 0 0 0 1232 37 0 0 25 0 1 0 132038277 61714432 14329 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 15067 14329 407 719 0 14346 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60268 [startup+25.501 s] /proc/loadavg: 2.00 2.03 2.01 3/201 12666 /proc/meminfo: memFree=31093076/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=93768 CPUtime=25.49 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 26484 0 0 0 2470 79 0 0 25 0 1 0 132038277 96018432 22711 4089446400 4194304 7136930 140736069992736 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 23442 22711 407 719 0 22721 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93768 [startup+51.1003 s] /proc/loadavg: 2.06 2.04 2.02 3/201 12666 /proc/meminfo: memFree=31038156/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=147376 CPUtime=51.09 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 39448 0 0 0 4957 152 0 0 25 0 1 0 132038277 150913024 35675 4089446400 4194304 7136930 140736069992736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 36844 35675 407 719 0 36123 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 147376 [startup+102.307 s] /proc/loadavg: 2.02 2.03 2.01 3/201 12668 /proc/meminfo: memFree=30943372/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=237420 CPUtime=102.3 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 61088 0 0 0 9938 292 0 0 25 0 1 0 132038277 243118080 57315 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 59355 57315 407 719 0 58634 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 237420 [startup+162.301 s] /proc/loadavg: 2.04 2.04 2.01 3/201 12670 /proc/meminfo: memFree=30820800/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=357616 CPUtime=162.3 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 89900 0 0 0 15747 483 0 0 25 0 1 0 132038277 366198784 86127 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 89404 86127 407 719 0 88683 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 357616 [startup+222.301 s] /proc/loadavg: 2.01 2.03 2.00 3/201 12671 /proc/meminfo: memFree=30723892/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=446612 CPUtime=222.3 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 112330 0 0 0 21584 646 0 0 25 0 1 0 132038277 457330688 108557 4089446400 4194304 7136930 140736069992736 18446744073709551615 5506998 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 111653 108557 407 719 0 110932 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 446612 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/201 12672 /proc/meminfo: memFree=30667416/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=497572 CPUtime=282.3 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 125169 0 0 0 27465 765 0 0 25 0 1 0 132038277 509513728 121396 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 124393 121396 407 719 0 123672 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 497572 [startup+342.3 s] /proc/loadavg: 2.44 2.11 2.03 3/201 12674 /proc/meminfo: memFree=30641072/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=518092 CPUtime=342.3 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 130181 0 0 0 33348 882 0 0 25 0 1 0 132038277 530526208 126408 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 129523 126408 407 719 0 128802 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 518092 [startup+402.3 s] /proc/loadavg: 2.22 2.11 2.03 3/201 12676 /proc/meminfo: memFree=30538712/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=618612 CPUtime=402.31 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 154139 0 0 0 39181 1050 0 0 25 0 1 0 132038277 633458688 150366 4089446400 4194304 7136930 140736069992736 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 154653 150366 407 719 0 153932 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 618612 [startup+462.3 s] /proc/loadavg: 2.07 2.08 2.03 3/201 12678 /proc/meminfo: memFree=30437612/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=686208 CPUtime=462.31 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 170230 0 0 0 45080 1151 0 0 25 0 1 0 132038277 702676992 166457 4089446400 4194304 7136930 140736069992736 18446744073709551615 4853651 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 171552 166457 407 719 0 170831 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 686208 [startup+522.301 s] /proc/loadavg: 2.08 2.08 2.03 3/201 12679 /proc/meminfo: memFree=30370720/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=748844 CPUtime=522.31 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 183747 0 0 0 50960 1271 0 0 25 0 1 0 132038277 766816256 179974 4089446400 4194304 7136930 140736069992736 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 187211 179974 407 719 0 186490 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 748844 [startup+582.301 s] /proc/loadavg: 2.02 2.06 2.02 3/201 12680 /proc/meminfo: memFree=30282632/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=824028 CPUtime=582.31 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 202821 0 0 0 56821 1410 0 0 25 0 1 0 132038277 843804672 199048 4089446400 4194304 7136930 140736069992736 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 206007 199048 407 719 0 205286 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 824028 [startup+642.301 s] /proc/loadavg: 2.44 2.16 2.05 3/201 12682 /proc/meminfo: memFree=30232248/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=861676 CPUtime=642.32 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 212237 0 0 0 62737 1495 0 0 25 0 1 0 132038277 882356224 208464 4089446400 4194304 7136930 140736069992736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 215419 208464 407 719 0 214698 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 861676 [startup+702.301 s] ################ # More data... # ################ /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 296476 0 0 0 97962 2270 0 0 25 0 1 0 132038277 1224749056 292703 4089446400 4194304 7136930 140736069992736 18446744073709551615 4220987 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 299011 292703 407 719 0 298290 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1196044 [startup+1062.3 s] /proc/loadavg: 1.93 2.04 2.03 3/183 12727 /proc/meminfo: memFree=30279784/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1294856 CPUtime=1062.33 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 317496 0 0 0 103780 2453 0 0 25 0 1 0 132038277 1325932544 313723 4089446400 4194304 7136930 140736069992736 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 323714 313723 407 719 0 322993 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1294856 [startup+1122.3 s] /proc/loadavg: 2.04 2.04 2.03 3/183 12728 /proc/meminfo: memFree=30197428/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1331896 CPUtime=1122.32 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 326821 0 0 0 109669 2563 0 0 25 0 1 0 132038277 1363861504 323048 4089446400 4194304 7136930 140736069992736 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 332974 323048 407 719 0 332253 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1331896 [startup+1182.3 s] /proc/loadavg: 2.09 2.05 2.03 3/183 12729 /proc/meminfo: memFree=30114680/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1366844 CPUtime=1182.33 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 335455 0 0 0 115570 2663 0 0 25 0 1 0 132038277 1399648256 331682 4089446400 4194304 7136930 140736069992736 18446744073709551615 4619673 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 341711 331682 407 719 0 340990 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1366844 [startup+1242.3 s] /proc/loadavg: 2.09 2.05 2.02 3/183 12731 /proc/meminfo: memFree=30045944/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1386480 CPUtime=1242.33 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 340385 0 0 0 121478 2755 0 0 25 0 1 0 132038277 1419755520 336612 4089446400 4194304 7136930 140736069992736 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 346620 336612 407 719 0 345899 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1386480 [startup+1302.3 s] /proc/loadavg: 2.11 2.06 2.02 3/183 12733 /proc/meminfo: memFree=29970748/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1409108 CPUtime=1302.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 345935 0 0 0 127394 2840 0 0 25 0 1 0 132038277 1442926592 342162 4089446400 4194304 7136930 140736069992736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 352277 342162 407 719 0 351556 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1409108 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.02 3/183 12735 /proc/meminfo: memFree=29907580/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1424260 CPUtime=1362.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 349713 0 0 0 133312 2922 0 0 25 0 1 0 132038277 1458442240 345940 4089446400 4194304 7136930 140736069992736 18446744073709551615 4221294 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 356065 345940 407 719 0 355344 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1424260 [startup+1422.31 s] /proc/loadavg: 2.05 2.05 2.02 3/183 12736 /proc/meminfo: memFree=29852984/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1429196 CPUtime=1422.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 350945 0 0 0 139240 2994 0 0 25 0 1 0 132038277 1463496704 347172 4089446400 4194304 7136930 140736069992736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 357299 347172 407 719 0 356578 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1429196 [startup+1482.3 s] /proc/loadavg: 2.07 2.05 2.02 3/183 12737 /proc/meminfo: memFree=29800748/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1430884 CPUtime=1482.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 351378 0 0 0 145147 3087 0 0 25 0 1 0 132038277 1465225216 347605 4089446400 4194304 7136930 140736069992736 18446744073709551615 4983374 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 357721 347605 407 719 0 357000 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1430884 [startup+1542.3 s] /proc/loadavg: 2.19 2.09 2.03 3/183 12739 /proc/meminfo: memFree=29685736/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1493920 CPUtime=1542.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 367440 0 0 0 150984 3250 0 0 25 0 1 0 132038277 1529774080 363667 4089446400 4194304 7136930 140736069992736 18446744073709551615 5956336 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 373480 363667 407 719 0 372759 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1493920 [startup+1602.3 s] /proc/loadavg: 2.07 2.07 2.02 3/183 12741 /proc/meminfo: memFree=29579288/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1551572 CPUtime=1602.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 381886 0 0 0 156835 3399 0 0 25 0 1 0 132038277 1588809728 378113 4089446400 4194304 7136930 140736069992736 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 387893 378113 407 719 0 387172 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1551572 [startup+1662.3 s] /proc/loadavg: 2.02 2.05 2.02 3/183 12743 /proc/meminfo: memFree=29479280/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1595668 CPUtime=1662.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 393029 0 0 0 162704 3530 0 0 25 0 1 0 132038277 1633964032 389256 4089446400 4194304 7136930 140736069992736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 398917 389256 407 719 0 398196 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1595668 [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.01 3/183 12744 /proc/meminfo: memFree=29388340/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1638492 CPUtime=1722.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 403716 0 0 0 168588 3646 0 0 25 0 1 0 132038277 1677815808 399943 4089446400 4194304 7136930 140736069992736 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 409623 399943 407 719 0 408902 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1638492 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 12745 /proc/meminfo: memFree=29318120/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1655640 CPUtime=1782.34 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 407955 0 0 0 174473 3761 0 0 25 0 1 0 132038277 1695375360 404182 4089446400 4194304 7136930 140736069992736 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 413910 404182 407 719 0 413189 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1655640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.00 3/183 12746 /proc/meminfo: memFree=29297648/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1660752 CPUtime=1800.05 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 409108 0 0 0 176211 3794 0 0 25 0 1 0 132038277 1700610048 405335 4089446400 4194304 7136930 140736069992736 18446744073709551615 4220974 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12664/statm: 415188 405335 407 719 0 414467 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1660752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12664 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.03 2.00 3/184 12747 /proc/meminfo: memFree=29296648/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1660752 CPUtime=1801.44 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 409117 0 0 0 176350 3794 0 0 25 0 1 0 132038277 1700610048 405344 4089446400 4194304 7136930 140736069992736 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12664/statm: 415188 405344 412 719 0 414467 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1660752 [startup+1801.81 s] /proc/loadavg: 2.00 2.03 2.00 3/184 12747 /proc/meminfo: memFree=29296524/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1660752 CPUtime=1801.85 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 409117 0 0 0 176391 3794 0 0 25 0 1 0 132038277 1700610048 405344 4089446400 4194304 7136930 140736069992736 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12664/statm: 415188 405344 412 719 0 414467 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1660752 [startup+1802 s] /proc/loadavg: 2.00 2.03 2.00 3/184 12747 /proc/meminfo: memFree=29296524/32951124 swapFree=67111528/67111528 [pid=12664] ppid=12662 vsize=1660752 CPUtime=1802.04 /proc/12664/stat : 12664 (pbscip.linux.x8) R 12662 12664 11750 0 -1 4202496 409117 0 0 0 176410 3794 0 0 25 0 1 0 132038277 1700610048 405344 4089446400 4194304 7136930 140736069992736 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12664/statm: 415188 405344 412 719 0 414467 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1660752 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.12 CPU user time (s): 1764.11 CPU system time (s): 38.0042 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1660752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.11 system time used= 38.0042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409117 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= 2429 runsolver used 3.01754 second user time and 6.83096 second system time The end
Begin job on node133 at 2010-06-30 16:17:07 IDJOB=2694141 IDBENCH=78949 IDSOLVER=1206 FILE ID=node133/2694141-1277907427 PBS_JOBID= 11197188 Free space on /tmp= 74212 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.1900554420--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-2694141-1277907427/watcher-2694141-1277907427 -o /tmp/evaluation-result-2694141-1277907427/solver-2694141-1277907427 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694141-1277907427.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b79c8ce52bbf55b2415ca4df8d18f0c8 RANDOM SEED=1106786898 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7296.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31194660 kB Buffers: 187540 kB Cached: 976428 kB SwapCached: 0 kB Active: 974992 kB Inactive: 640600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31194660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3212 kB Writeback: 0 kB AnonPages: 451464 kB Mapped: 20312 kB Slab: 78316 kB PageTables: 6136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658812 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node133 at 2010-06-30 16:47:09