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.08 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo |
| MD5SUM | 105b60f6fd410ca15d025f7b690efafc |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 308.96 |
| 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 | 927 |
| 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 | 45360 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45359 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 721 |
| 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-2694083-1277904510.wbo>
0.00/0.03 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.00/0.08 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.00/0.09 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.12 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.09/0.16 c 1141 implications, 14 cliques
0.09/0.16 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints
0.09/0.16 c 871 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 871 constraints of type <linear>
0.09/0.16 c 1708 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - |7624k| 0 | - |1973 |3465 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.68/2.77 c 2.6s| 10000 | 8499 | 0 | 0.0 | 14M|1058 | - |1973 |4825 | 0 | 0 | 0 |3367 | 0 | 0.000000e+00 | -- | Inf
5.79/5.89 c 5.6s| 20000 | 15836 | 0 | 0.0 | 21M|1058 | - |1973 |5675 | 0 | 0 | 0 |9792 | 0 | 0.000000e+00 | -- | Inf
7.58/7.62 o 379
7.58/7.62 c * 7.3s| 23654 | 17263 | 0 | 0.0 | 24M|1058 | - |1973 |6680 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.790000e+02 | Inf
7.69/7.71 o 345
7.69/7.71 c * 7.4s| 23955 | 17516 | 0 | 0.0 | 24M|1058 | - |1973 |6558 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.450000e+02 | Inf
7.69/7.80 o 280
7.69/7.80 c * 7.5s| 24261 | 17548 | 0 | 0.0 | 24M|1058 | - |1973 |6404 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.800000e+02 | Inf
7.80/7.88 o 279
7.80/7.88 c * 7.6s| 24532 | 17795 | 0 | 0.0 | 25M|1058 | - |1973 |6287 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.790000e+02 | Inf
7.99/8.02 o 233
7.99/8.02 c * 7.7s| 25014 | 17890 | 0 | 0.0 | 25M|1058 | - |1973 |6111 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
8.18/8.27 o 219
8.18/8.27 c * 8.0s| 25856 | 18556 | 0 | 0.0 | 25M|1058 | - |1973 |5970 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
8.38/8.49 o 147
8.38/8.49 c * 8.2s| 26640 | 18976 | 0 | 0.0 | 25M|1058 | - |1973 |5869 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
8.98/9.05 o 119
8.98/9.05 c * 8.7s| 28601 | 20646 | 0 | 0.0 | 27M|1058 | - |1973 |5387 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
9.39/9.49 c 9.1s| 30000 | 21727 | 0 | 0.0 | 28M|1058 | - |1973 |5507 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
12.49/12.53 c 12.0s| 40000 | 29477 | 0 | 0.0 | 35M|1058 | - |1973 |6394 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
15.89/15.91 c 15.2s| 50000 | 36712 | 0 | 0.0 | 42M|1058 | - |1973 |6727 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
19.39/19.46 c 18.6s| 60000 | 43641 | 0 | 0.0 | 49M|1058 | - |1973 |6811 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
23.10/23.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.10/23.11 c 22.1s| 70000 | 50145 | 0 | 0.0 | 56M|1058 | - |1973 |7049 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
27.18/27.29 c 26.2s| 80000 | 55406 | 0 | 0.0 | 63M|1058 | - |1973 |8105 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
33.39/33.48 c 32.3s| 90000 | 55538 | 0 | 0.0 | 69M|1058 | - |1973 |9527 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
37.59/37.61 c 36.3s|100000 | 60650 | 0 | 0.0 | 73M|1058 | - |1973 |5404 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
41.19/41.23 o 97
41.19/41.23 c *39.8s|109882 | 68229 | 0 | 0.0 | 82M|1058 | - |1973 |6142 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
41.19/41.29 c 39.9s|110000 | 68318 | 0 | 0.0 | 82M|1058 | - |1973 |6107 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
42.08/42.18 o 84
42.08/42.18 c *40.7s|112251 | 68660 | 0 | 0.0 | 81M|1058 | - |1973 |5956 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
44.89/44.94 o 83
44.89/44.94 c *43.4s|118121 | 72765 | 0 | 0.0 | 91M|1058 | - |1973 |5781 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
45.09/45.18 o 75
45.09/45.18 c *43.6s|118473 | 72222 | 0 | 0.0 | 89M|1058 | - |1973 |5191 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
45.89/45.99 c 44.4s|120000 | 73074 | 0 | 0.0 | 91M|1058 | - |1973 |5521 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
48.79/48.86 o 74
48.79/48.86 c *47.1s|127248 | 78695 | 0 | 0.0 | 97M|1058 | - |1973 |4739 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
49.79/49.80 c 48.0s|130000 | 81027 | 0 | 0.0 | 100M|1058 | - |1973 |4840 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
51.29/51.37 o 41
51.29/51.37 c *49.5s|134485 | 82673 | 0 | 0.0 | 96M|1058 | - |1973 |5152 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
52.59/52.70 o 35
52.59/52.70 c *50.8s|137863 | 84685 | 0 | 0.0 | 97M|1058 | - |1973 |5136 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
53.79/53.89 c 52.0s|140000 | 85498 | 0 | 0.0 | 100M|1058 | - |1973 |5860 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
57.49/57.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.49/57.52 c 55.4s|150000 | 92546 | 0 | 0.0 | 106M|1058 | - |1973 |6651 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
61.28/61.36 c 59.1s|160000 | 99703 | 0 | 0.0 | 112M|1058 | - |1973 |4271 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
64.79/64.86 c 62.5s|170000 |106890 | 0 | 0.0 | 119M|1058 | - |1973 |4912 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
69.48/69.60 c 67.1s|180000 |112200 | 0 | 0.0 | 126M|1058 | - |1973 |6417 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
74.39/74.40 c 71.7s|190000 |117675 | 0 | 0.0 | 133M|1058 | - |1973 |6289 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
78.98/79.03 c 76.2s|200000 |123339 | 0 | 0.0 | 140M|1058 | - |1973 |6827 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
83.78/83.81 c 80.8s|210000 |128794 | 0 | 0.0 | 146M|1058 | - |1973 |6314 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
88.78/88.88 c 85.7s|220000 |133504 | 0 | 0.0 | 153M|1058 | - |1973 |6843 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
93.89/93.91 c 90.6s|230000 |138336 | 0 | 0.0 | 159M|1058 | - |1973 |7255 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
99.28/99.30 c 95.8s|240000 |142519 | 0 | 0.0 | 166M|1058 | - |1973 |7462 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
105.09/105.14 c 102s|250000 |146156 | 0 | 0.0 | 172M|1058 | - |1973 |6842 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
111.29/111.32 c 108s|260000 |149202 | 0 | 0.0 | 178M|1058 | - |1973 |8116 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
116.78/116.80 c 113s|270000 |153421 | 0 | 0.0 | 184M|1058 | - |1973 |7774 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
122.59/122.64 c 118s|280000 |157089 | 0 | 0.0 | 190M|1058 | - |1973 |7566 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
128.29/128.30 c 124s|290000 |161085 | 0 | 0.0 | 196M|1058 | - |1973 |7550 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
134.39/134.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.39/134.44 c 130s|300000 |164187 | 0 | 0.0 | 200M|1058 | - |1973 |7688 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
140.89/140.97 c 136s|310000 |166704 | 0 | 0.0 | 205M|1058 | - |1973 |7673 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
148.29/148.35 c 144s|320000 |167860 | 0 | 0.0 | 209M|1058 | - |1973 |8516 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
156.19/156.29 c 151s|330000 |168147 | 0 | 0.0 | 211M|1058 | - |1973 |9311 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
162.69/162.76 c 158s|340000 |170623 | 0 | 0.0 | 210M|1058 | - |1973 |4648 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
166.10/166.13 c 161s|350000 |178618 | 0 | 0.0 | 218M|1058 | - |1973 |4793 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
169.50/169.57 c 164s|360000 |186484 | 0 | 0.0 | 225M|1058 | - |1973 |5148 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
173.09/173.16 c 168s|370000 |194099 | 0 | 0.0 | 233M|1058 | - |1973 |5447 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
176.78/176.81 c 171s|380000 |201579 | 0 | 0.0 | 240M|1058 | - |1973 |5672 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
180.59/180.64 c 175s|390000 |208819 | 0 | 0.0 | 248M|1058 | - |1973 |5869 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
184.69/184.78 c 179s|400000 |215596 | 0 | 0.0 | 256M|1058 | - |1973 |6468 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
189.39/189.45 c 183s|410000 |221637 | 0 | 0.0 | 265M|1058 | - |1973 |7255 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
194.29/194.33 c 188s|420000 |227503 | 0 | 0.0 | 274M|1058 | - |1973 |7557 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
199.69/199.70 c 193s|430000 |232696 | 0 | 0.0 | 284M|1058 | - |1973 |8406 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
202.89/202.99 o 34
202.89/202.99 c * 196s|435761 |235375 | 0 | 0.0 | 289M|1058 | - |1973 |8498 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
205.48/205.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.48/205.50 c 199s|440000 |237324 | 0 | 0.0 | 294M|1058 | - |1973 |8927 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
212.09/212.16 c 205s|450000 |240882 | 0 | 0.0 | 304M|1058 | - |1973 | 10k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
216.08/216.19 o 32
216.08/216.19 c * 209s|455296 |240750 | 0 | 0.0 | 302M|1058 | - |1973 | 11k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
220.39/220.40 c 213s|460000 |241094 | 0 | 0.0 | 305M|1058 | - |1973 | 10k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
226.79/226.82 c 219s|470000 |244478 | 0 | 0.0 | 309M|1058 | - |1973 |5184 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
229.58/229.69 o 31
229.58/229.69 c * 222s|478770 |251144 | 0 | 0.0 | 314M|1058 | - |1973 |5606 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
230.08/230.10 c 223s|480000 |252127 | 0 | 0.0 | 315M|1058 | - |1973 |5651 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
233.48/233.57 c 226s|490000 |259760 | 0 | 0.0 | 323M|1058 | - |1973 |6228 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
237.28/237.33 c 230s|500000 |267012 | 0 | 0.0 | 331M|1058 | - |1973 |6703 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
241.29/241.33 c 233s|510000 |273847 | 0 | 0.0 | 338M|1058 | - |1973 |7208 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
245.58/245.65 c 238s|520000 |280209 | 0 | 0.0 | 346M|1058 | - |1973 |7848 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
250.29/250.31 c 242s|530000 |286186 | 0 | 0.0 | 354M|1058 | - |1973 |8308 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
255.38/255.46 c 247s|540000 |291482 | 0 | 0.0 | 362M|1058 | - |1973 |8108 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
260.99/261.05 c 253s|550000 |296168 | 0 | 0.0 | 370M|1058 | - |1973 | 10k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
267.98/268.06 c 259s|560000 |299424 | 0 | 0.0 | 378M|1058 | - |1973 | 12k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
268.49/268.58 o 28
268.49/268.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.49/268.58 c * 260s|560562 |298943 | 0 | 0.0 | 376M|1058 | - |1973 | 12k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
269.99/270.08 o 26
269.99/270.08 c * 261s|562299 |299094 | 0 | 0.0 | 377M|1058 | - |1973 | 12k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
275.29/275.36 c 266s|570000 |302254 | 0 | 0.0 | 381M|1058 | - |1973 | 10k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
279.09/279.17 c 270s|580000 |309852 | 0 | 0.0 | 389M|1058 | - |1973 |9332 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
283.09/283.17 c 274s|590000 |317092 | 0 | 0.0 | 397M|1058 | - |1973 | 10k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
287.78/287.84 c 279s|600000 |323722 | 0 | 0.0 | 406M|1058 | - |1973 | 11k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
293.29/293.33 c 284s|610000 |329467 | 0 | 0.0 | 416M|1058 | - |1973 | 13k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
300.58/300.68 c 291s|620000 |333351 | 0 | 0.0 | 425M|1058 | - |1973 | 16k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
308.39/308.43 c 299s|630000 |337778 | 0 | 0.0 | 431M|1058 | - |1973 |8238 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
312.28/312.35 c 302s|640000 |345620 | 0 | 0.0 | 442M|1058 | - |1973 |6887 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
316.90/316.99 c 307s|650000 |352608 | 0 | 0.0 | 456M|1058 | - |1973 |8464 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
322.09/322.16 c 312s|660000 |359059 | 0 | 0.0 | 469M|1058 | - |1973 |8132 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
325.69/325.76 c 315s|670000 |367163 | 0 | 0.0 | 479M|1058 | - |1973 |7254 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
329.78/329.89 c 319s|680000 |374506 | 0 | 0.0 | 490M|1058 | - |1973 |8591 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
335.19/335.26 c 324s|690000 |380277 | 0 | 0.0 | 501M|1058 | - |1973 | 11k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
336.08/336.16 o 23
336.08/336.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.08/336.16 c * 325s|692211 |379570 | 0 | 0.0 | 494M|1058 | - |1973 | 10k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
338.89/338.92 c 328s|700000 |385933 | 0 | 0.0 | 500M|1058 | - |1973 |7922 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
343.29/343.38 c 332s|710000 |392245 | 0 | 0.0 | 508M|1058 | - |1973 | 10k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
346.88/346.90 c 336s|720000 |400355 | 0 | 0.0 | 517M|1058 | - |1973 |9031 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
350.90/350.99 c 340s|730000 |407490 | 0 | 0.0 | 526M|1058 | - |1973 |9944 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
355.99/356.07 c 345s|740000 |413244 | 0 | 0.0 | 534M|1058 | - |1973 | 12k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
359.69/359.74 c 348s|750000 |421117 | 0 | 0.0 | 543M|1058 | - |1973 | 10k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
363.98/364.08 c 352s|760000 |427948 | 0 | 0.0 | 550M|1058 | - |1973 | 10k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
368.28/368.39 c 356s|770000 |435002 | 0 | 0.0 | 556M|1058 | - |1973 |4114 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
372.48/372.52 c 360s|780000 |441412 | 0 | 0.0 | 562M|1058 | - |1973 |5229 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
381.29/381.33 c 369s|790000 |441388 | 0 | 0.0 | 568M|1058 | - |1973 |8082 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
390.98/391.03 c 378s|800000 |440712 | 0 | 0.0 | 572M|1058 | - |1973 |7802 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
400.69/400.78 c 388s|810000 |439863 | 0 | 0.0 | 577M|1058 | - |1973 |9437 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
410.49/410.50 c 398s|820000 |439606 | 0 | 0.0 | 581M|1058 | - |1973 |7846 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
420.29/420.35 c 407s|830000 |438970 | 0 | 0.0 | 583M|1058 | - |1973 |8484 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
429.28/429.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.28/429.32 c 416s|840000 |439687 | 0 | 0.0 | 587M|1058 | - |1973 |8312 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
438.19/438.29 c 425s|850000 |440535 | 0 | 0.0 | 591M|1058 | - |1973 |7846 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
446.98/447.02 c 433s|860000 |441720 | 0 | 0.0 | 596M|1058 | - |1973 | 11k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
456.18/456.21 c 442s|870000 |442205 | 0 | 0.0 | 600M|1058 | - |1973 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
465.49/465.54 c 451s|880000 |442581 | 0 | 0.0 | 603M|1058 | - |1973 | 10k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
474.99/475.01 c 461s|890000 |442592 | 0 | 0.0 | 605M|1058 | - |1973 | 10k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
485.48/485.51 c 471s|900000 |441894 | 0 | 0.0 | 608M|1058 | - |1973 | 10k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
495.79/495.83 c 481s|910000 |441550 | 0 | 0.0 | 610M|1058 | - |1973 |9764 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
506.28/506.36 c 492s|920000 |440942 | 0 | 0.0 | 613M|1058 | - |1973 |9330 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
517.29/517.34 c 502s|930000 |439693 | 0 | 0.0 | 614M|1058 | - |1973 |9286 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
528.00/528.05 c 513s|940000 |438463 | 0 | 0.0 | 616M|1058 | - |1973 |9651 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
539.29/539.34 c 524s|950000 |436513 | 0 | 0.0 | 618M|1058 | - |1973 | 10k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
550.59/550.64 c 535s|960000 |434702 | 0 | 0.0 | 618M|1058 | - |1973 | 10k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
561.88/561.94 c 546s|970000 |432416 | 0 | 0.0 | 617M|1058 | - |1973 | 10k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
573.39/573.45 c 558s|980000 |429253 | 0 | 0.0 | 613M|1058 | - |1973 | 10k| 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
584.19/584.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.19/584.29 c 568s|990000 |426736 | 0 | 0.0 | 605M|1058 | - |1973 |5643 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
588.38/588.42 c 572s| 1000k|433659 | 0 | 0.0 | 612M|1058 | - |1973 |5116 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
592.38/592.46 c 576s| 1010k|440528 | 0 | 0.0 | 619M|1058 | - |1973 |5295 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
596.39/596.46 c 580s| 1020k|447373 | 0 | 0.0 | 626M|1058 | - |1973 |6042 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
600.48/600.57 c 584s| 1030k|454184 | 0 | 0.0 | 633M|1058 | - |1973 |5619 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
604.89/604.90 c 588s| 1040k|460623 | 0 | 0.0 | 641M|1058 | - |1973 |6298 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
609.19/609.25 c 592s| 1050k|467136 | 0 | 0.0 | 648M|1058 | - |1973 |6508 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
613.79/613.88 c 597s| 1060k|473200 | 0 | 0.0 | 655M|1058 | - |1973 |6753 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
618.39/618.45 c 601s| 1070k|479443 | 0 | 0.0 | 664M|1058 | - |1973 |6617 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
622.79/622.89 c 605s| 1080k|485851 | 0 | 0.0 | 672M|1058 | - |1973 |6718 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
627.49/627.51 c 610s| 1090k|491863 | 0 | 0.0 | 680M|1058 | - |1973 |7288 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
632.39/632.50 c 615s| 1100k|497421 | 0 | 0.0 | 687M|1058 | - |1973 |7675 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
632.59/632.69 o 19
632.59/632.69 c * 615s| 1100k|492175 | 0 | 0.0 | 668M|1058 | - |1973 |7693 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
637.89/637.91 c 620s| 1110k|497686 | 0 | 0.0 | 680M|1058 | - |1973 |7175 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
643.08/643.15 c 625s| 1120k|503417 | 0 | 0.0 | 690M|1058 | - |1973 |7312 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
648.59/648.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.59/648.62 c 630s| 1130k|508661 | 0 | 0.0 | 699M|1058 | - |1973 |7903 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
653.69/653.78 c 635s| 1140k|514186 | 0 | 0.0 | 707M|1058 | - |1973 |7674 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
659.09/659.14 c 640s| 1150k|519436 | 0 | 0.0 | 714M|1058 | - |1973 |7851 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
664.89/664.98 c 646s| 1160k|524049 | 0 | 0.0 | 722M|1058 | - |1973 |8365 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
670.09/670.14 c 651s| 1170k|529660 | 0 | 0.0 | 729M|1058 | - |1973 |7421 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
675.99/676.05 c 657s| 1180k|534122 | 0 | 0.0 | 736M|1058 | - |1973 |8403 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
682.28/682.37 c 663s| 1190k|538136 | 0 | 0.0 | 743M|1058 | - |1973 |8938 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
687.79/687.84 c 668s| 1200k|543413 | 0 | 0.0 | 750M|1058 | - |1973 |7690 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
694.39/694.41 c 675s| 1210k|547057 | 0 | 0.0 | 756M|1058 | - |1973 |8814 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
700.79/700.82 c 681s| 1220k|550980 | 0 | 0.0 | 763M|1058 | - |1973 |9266 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
706.78/706.88 c 687s| 1230k|555530 | 0 | 0.0 | 770M|1058 | - |1973 |8724 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
713.59/713.66 c 693s| 1240k|559092 | 0 | 0.0 | 777M|1058 | - |1973 |9078 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
720.19/720.26 c 700s| 1250k|562815 | 0 | 0.0 | 784M|1058 | - |1973 |9457 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
726.88/726.92 c 706s| 1260k|566608 | 0 | 0.0 | 790M|1058 | - |1973 |9451 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
734.19/734.26 c 713s| 1270k|569448 | 0 | 0.0 | 796M|1058 | - |1973 |9764 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
741.89/741.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.89/741.91 c 721s| 1280k|572143 | 0 | 0.0 | 802M|1058 | - |1973 | 10k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
749.89/749.96 c 729s| 1290k|574393 | 0 | 0.0 | 808M|1058 | - |1973 | 11k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
758.59/758.65 c 737s| 1300k|576150 | 0 | 0.0 | 813M|1058 | - |1973 | 11k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
767.49/767.58 c 746s| 1310k|577744 | 0 | 0.0 | 819M|1058 | - |1973 | 11k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
777.29/777.33 c 755s| 1320k|578555 | 0 | 0.0 | 824M|1058 | - |1973 | 11k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
787.49/787.53 c 765s| 1330k|579320 | 0 | 0.0 | 829M|1058 | - |1973 | 11k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
798.89/798.99 c 777s| 1340k|578818 | 0 | 0.0 | 834M|1058 | - |1973 | 13k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
811.80/811.90 c 789s| 1350k|577466 | 0 | 0.0 | 836M|1058 | - |1973 | 15k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
826.89/826.97 c 804s| 1360k|574502 | 0 | 0.0 | 837M|1058 | - |1973 | 17k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
838.09/838.17 c 815s| 1370k|574558 | 0 | 0.0 | 833M|1058 | - |1973 |7571 | 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
842.89/842.99 c 820s| 1380k|580763 | 0 | 0.0 | 841M|1058 | - |1973 |7729 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
847.79/847.84 c 824s| 1390k|586856 | 0 | 0.0 | 849M|1058 | - |1973 |8336 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
852.89/852.90 c 829s| 1400k|592766 | 0 | 0.0 | 856M|1058 | - |1973 |8446 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
857.89/857.90 c 834s| 1410k|598713 | 0 | 0.0 | 863M|1058 | - |1973 |8850 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
862.79/862.88 c 839s| 1420k|604631 | 0 | 0.0 | 870M|1058 | - |1973 |9159 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
868.09/868.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.09/868.13 c 844s| 1430k|610304 | 0 | 0.0 | 877M|1058 | - |1973 |8872 | 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
873.29/873.30 c 849s| 1440k|615964 | 0 | 0.0 | 885M|1058 | - |1973 |9019 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
878.19/878.29 c 854s| 1450k|621789 | 0 | 0.0 | 892M|1058 | - |1973 |9258 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
883.09/883.20 c 859s| 1460k|627785 | 0 | 0.0 | 898M|1058 | - |1973 |8766 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
888.39/888.42 c 864s| 1470k|633369 | 0 | 0.0 | 906M|1058 | - |1973 |9516 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
893.90/893.91 c 869s| 1480k|638691 | 0 | 0.0 | 913M|1058 | - |1973 |9432 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
899.09/899.16 c 874s| 1490k|644276 | 0 | 0.0 | 919M|1058 | - |1973 |9177 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
904.49/904.50 c 879s| 1500k|649703 | 0 | 0.0 | 927M|1058 | - |1973 | 10k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
910.09/910.19 c 885s| 1510k|654745 | 0 | 0.0 | 934M|1058 | - |1973 |9938 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
915.39/915.40 c 890s| 1520k|660423 | 0 | 0.0 | 940M|1058 | - |1973 |9401 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
921.99/922.02 c 896s| 1530k|664308 | 0 | 0.0 | 948M|1058 | - |1973 | 10k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
928.89/928.97 c 903s| 1540k|667919 | 0 | 0.0 | 954M|1058 | - |1973 | 11k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
935.89/935.93 c 910s| 1550k|671664 | 0 | 0.0 | 961M|1058 | - |1973 | 11k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
943.00/943.07 c 917s| 1560k|675408 | 0 | 0.0 | 967M|1058 | - |1973 | 10k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
950.29/950.37 c 924s| 1570k|679013 | 0 | 0.0 | 974M|1058 | - |1973 | 11k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
957.99/958.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.99/958.07 c 931s| 1580k|681940 | 0 | 0.0 | 981M|1058 | - |1973 | 12k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
966.29/966.30 c 939s| 1590k|684548 | 0 | 0.0 | 986M|1058 | - |1973 | 13k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
974.60/974.63 c 948s| 1600k|687169 | 0 | 0.0 | 992M|1058 | - |1973 | 13k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
983.19/983.25 c 956s| 1610k|689669 | 0 | 0.0 | 997M|1058 | - |1973 | 13k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
992.20/992.22 c 965s| 1620k|691977 | 0 | 0.0 |1003M|1058 | - |1973 | 14k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1001.59/1001.66 c 974s| 1630k|693996 | 0 | 0.0 |1007M|1058 | - |1973 | 14k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1011.99/1012.02 c 984s| 1640k|695167 | 0 | 0.0 |1012M|1058 | - |1973 | 16k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1023.30/1023.32 c 995s| 1650k|696019 | 0 | 0.0 |1015M|1058 | - |1973 | 17k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1036.70/1036.74 c 1009s| 1660k|695623 | 0 | 0.0 |1018M|1058 | - |1973 | 19k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1050.50/1050.53 c 1022s| 1670k|695399 | 0 | 0.0 |1015M|1058 | - |1973 | 11k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1055.80/1055.89 c 1027s| 1680k|701349 | 0 | 0.0 |1021M|1058 | - |1973 | 10k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1061.29/1061.39 c 1033s| 1690k|707094 | 0 | 0.0 |1028M|1058 | - |1973 | 10k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1067.00/1067.05 c 1038s| 1700k|712695 | 0 | 0.0 |1035M|1058 | - |1973 | 10k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1072.79/1072.83 c 1044s| 1710k|718055 | 0 | 0.0 |1042M|1058 | - |1973 | 11k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1078.60/1078.68 c 1049s| 1720k|723443 | 0 | 0.0 |1048M|1058 | - |1973 | 11k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1084.99/1085.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.99/1085.04 c 1056s| 1730k|728319 | 0 | 0.0 |1055M|1058 | - |1973 | 12k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1091.39/1091.40 c 1062s| 1740k|733248 | 0 | 0.0 |1061M|1058 | - |1973 | 13k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1097.91/1097.96 c 1068s| 1750k|738103 | 0 | 0.0 |1067M|1058 | - |1973 | 13k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1104.59/1104.64 c 1075s| 1760k|742885 | 0 | 0.0 |1073M|1058 | - |1973 | 14k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1111.70/1111.73 c 1082s| 1770k|747319 | 0 | 0.0 |1079M|1058 | - |1973 | 14k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1119.00/1119.07 c 1089s| 1780k|751606 | 0 | 0.0 |1085M|1058 | - |1973 | 15k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1127.19/1127.26 c 1097s| 1790k|755368 | 0 | 0.0 |1091M|1058 | - |1973 | 16k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1136.40/1136.49 c 1106s| 1800k|758271 | 0 | 0.0 |1096M|1058 | - |1973 | 17k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1146.20/1146.30 c 1115s| 1810k|761135 | 0 | 0.0 |1101M|1058 | - |1973 | 19k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1158.10/1158.17 c 1127s| 1820k|762772 | 0 | 0.0 |1105M|1058 | - |1973 | 21k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1172.70/1172.73 c 1141s| 1830k|763223 | 0 | 0.0 |1110M|1058 | - |1973 | 24k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1191.59/1191.66 c 1160s| 1840k|761790 | 0 | 0.0 |1110M|1058 | - |1973 | 29k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1200.21/1200.20 c 1168s| 1850k|767244 | 0 | 0.0 |1107M|1058 | - |1973 |4771 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1203.40/1203.46 c 1171s| 1860k|775342 | 0 | 0.0 |1115M|1058 | - |1973 |4997 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1206.90/1206.90 c 1175s| 1870k|783036 | 0 | 0.0 |1122M|1058 | - |1973 |5556 | 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1210.70/1210.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.70/1210.70 c 1178s| 1880k|790258 | 0 | 0.0 |1129M|1058 | - |1973 |5825 | 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1214.89/1214.97 c 1183s| 1890k|796894 | 0 | 0.0 |1136M|1058 | - |1973 |6002 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1219.49/1219.51 c 1187s| 1900k|803214 | 0 | 0.0 |1144M|1058 | - |1973 |6395 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1224.30/1224.33 c 1192s| 1910k|809255 | 0 | 0.0 |1151M|1058 | - |1973 |6767 | 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1229.20/1229.29 c 1196s| 1920k|815148 | 0 | 0.0 |1158M|1058 | - |1973 |6942 | 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1234.09/1234.19 c 1201s| 1930k|821142 | 0 | 0.0 |1165M|1058 | - |1973 |7004 | 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1239.29/1239.35 c 1206s| 1940k|826838 | 0 | 0.0 |1172M|1058 | - |1973 |7408 | 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1244.50/1244.54 c 1211s| 1950k|832636 | 0 | 0.0 |1179M|1058 | - |1973 |7957 | 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1249.90/1249.99 c 1217s| 1960k|838129 | 0 | 0.0 |1185M|1058 | - |1973 |8498 | 0 | 0 | 0 |1848k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1255.40/1255.46 c 1222s| 1970k|843727 | 0 | 0.0 |1192M|1058 | - |1973 |9351 | 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1261.40/1261.41 c 1228s| 1980k|848909 | 0 | 0.0 |1199M|1058 | - |1973 | 10k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1267.80/1267.83 c 1234s| 1990k|853603 | 0 | 0.0 |1206M|1058 | - |1973 | 11k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1275.40/1275.43 c 1241s| 2000k|857344 | 0 | 0.0 |1213M|1058 | - |1973 | 12k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1283.60/1283.62 c 1249s| 2010k|860678 | 0 | 0.0 |1220M|1058 | - |1973 | 15k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1290.90/1290.94 c 1256s| 2020k|865170 | 0 | 0.0 |1222M|1058 | - |1973 |6856 | 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1294.40/1294.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.40/1294.45 c 1260s| 2030k|872990 | 0 | 0.0 |1229M|1058 | - |1973 |6314 | 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1298.20/1298.25 c 1263s| 2040k|880269 | 0 | 0.0 |1236M|1058 | - |1973 |6913 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1302.40/1302.43 c 1267s| 2050k|887096 | 0 | 0.0 |1243M|1058 | - |1973 |7306 | 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1306.80/1306.81 c 1272s| 2060k|893704 | 0 | 0.0 |1250M|1058 | - |1973 |7301 | 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1311.40/1311.43 c 1276s| 2070k|899963 | 0 | 0.0 |1257M|1058 | - |1973 |7983 | 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1316.00/1316.09 c 1281s| 2080k|906326 | 0 | 0.0 |1264M|1058 | - |1973 |8143 | 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1321.00/1321.00 c 1285s| 2090k|912292 | 0 | 0.0 |1271M|1058 | - |1973 |8263 | 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1326.00/1326.08 c 1290s| 2100k|918086 | 0 | 0.0 |1278M|1058 | - |1973 |8904 | 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1331.10/1331.19 c 1295s| 2110k|923910 | 0 | 0.0 |1285M|1058 | - |1973 |9249 | 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1336.20/1336.23 c 1300s| 2120k|929865 | 0 | 0.0 |1292M|1058 | - |1973 |9557 | 0 | 0 | 0 |1963k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1341.40/1341.44 c 1305s| 2130k|935785 | 0 | 0.0 |1299M|1058 | - |1973 | 10k| 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1346.80/1346.88 c 1311s| 2140k|941599 | 0 | 0.0 |1306M|1058 | - |1973 | 10k| 0 | 0 | 0 |1978k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1352.69/1352.79 c 1316s| 2150k|947039 | 0 | 0.0 |1314M|1058 | - |1973 | 11k| 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1359.30/1359.38 c 1323s| 2160k|951795 | 0 | 0.0 |1320M|1058 | - |1973 | 12k| 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1367.10/1367.13 c 1330s| 2170k|955640 | 0 | 0.0 |1326M|1058 | - |1973 | 15k| 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1376.80/1376.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.80/1376.85 c 1340s| 2180k|958038 | 0 | 0.0 |1332M|1058 | - |1973 | 17k| 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1385.10/1385.12 c 1348s| 2190k|962159 | 0 | 0.0 |1334M|1058 | - |1973 |7571 | 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1388.70/1388.71 c 1351s| 2200k|969920 | 0 | 0.0 |1341M|1058 | - |1973 |7933 | 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1392.60/1392.62 c 1355s| 2210k|977221 | 0 | 0.0 |1349M|1058 | - |1973 |8634 | 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1396.80/1396.82 c 1359s| 2220k|984124 | 0 | 0.0 |1356M|1058 | - |1973 |9402 | 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1401.40/1401.44 c 1364s| 2230k|990543 | 0 | 0.0 |1364M|1058 | - |1973 | 10k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1406.20/1406.28 c 1368s| 2240k|996724 | 0 | 0.0 |1370M|1058 | - |1973 | 10k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1411.60/1411.64 c 1374s| 2250k| 1002k| 0 | 0.0 |1378M|1058 | - |1973 | 11k| 0 | 0 | 0 |2065k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1417.80/1417.81 c 1380s| 2260k| 1007k| 0 | 0.0 |1385M|1058 | - |1973 | 12k| 0 | 0 | 0 |2074k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1425.20/1425.26 c 1387s| 2270k| 1010k| 0 | 0.0 |1392M|1058 | - |1973 | 14k| 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1434.51/1434.59 c 1396s| 2280k| 1012k| 0 | 0.0 |1397M|1058 | - |1973 | 17k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1440.01/1440.05 c 1401s| 2290k| 1018k| 0 | 0.0 |1400M|1058 | - |1973 |7910 | 0 | 0 | 0 |2106k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1443.90/1443.99 c 1405s| 2300k| 1026k| 0 | 0.0 |1407M|1058 | - |1973 |8507 | 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1448.20/1448.25 c 1409s| 2310k| 1032k| 0 | 0.0 |1414M|1058 | - |1973 |9027 | 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1452.60/1452.65 c 1413s| 2320k| 1039k| 0 | 0.0 |1421M|1058 | - |1973 |9482 | 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1457.30/1457.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.30/1457.35 c 1418s| 2330k| 1045k| 0 | 0.0 |1428M|1058 | - |1973 |9238 | 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1462.10/1462.15 c 1423s| 2340k| 1051k| 0 | 0.0 |1435M|1058 | - |1973 |9414 | 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1466.90/1466.92 c 1427s| 2350k| 1057k| 0 | 0.0 |1441M|1058 | - |1973 |9695 | 0 | 0 | 0 |2140k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1472.00/1472.01 c 1432s| 2360k| 1063k| 0 | 0.0 |1448M|1058 | - |1973 |9801 | 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1477.30/1477.38 c 1437s| 2370k| 1068k| 0 | 0.0 |1454M|1058 | - |1973 | 10k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1482.81/1482.82 c 1443s| 2380k| 1074k| 0 | 0.0 |1460M|1058 | - |1973 | 10k| 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1488.60/1488.62 c 1448s| 2390k| 1079k| 0 | 0.0 |1467M|1058 | - |1973 | 10k| 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1494.40/1494.45 c 1454s| 2400k| 1084k| 0 | 0.0 |1474M|1058 | - |1973 | 11k| 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1500.40/1500.50 c 1460s| 2410k| 1089k| 0 | 0.0 |1480M|1058 | - |1973 | 11k| 0 | 0 | 0 |2187k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1506.50/1506.54 c 1466s| 2420k| 1094k| 0 | 0.0 |1487M|1058 | - |1973 | 12k| 0 | 0 | 0 |2196k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1514.00/1514.09 c 1473s| 2430k| 1097k| 0 | 0.0 |1493M|1058 | - |1973 | 15k| 0 | 0 | 0 |2208k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1522.60/1522.65 c 1481s| 2440k| 1100k| 0 | 0.0 |1497M|1058 | - |1973 | 14k| 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1526.30/1526.39 c 1485s| 2450k| 1108k| 0 | 0.0 |1502M|1058 | - |1973 |8702 | 0 | 0 | 0 |2226k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1530.30/1530.35 c 1489s| 2460k| 1115k| 0 | 0.0 |1509M|1058 | - |1973 |9362 | 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1534.50/1534.51 c 1493s| 2470k| 1122k| 0 | 0.0 |1516M|1058 | - |1973 |9999 | 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1539.01/1539.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.01/1539.08 c 1497s| 2480k| 1128k| 0 | 0.0 |1523M|1058 | - |1973 | 11k| 0 | 0 | 0 |2242k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1544.51/1544.53 c 1502s| 2490k| 1134k| 0 | 0.0 |1530M|1058 | - |1973 | 12k| 0 | 0 | 0 |2249k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1550.90/1550.96 c 1509s| 2500k| 1139k| 0 | 0.0 |1537M|1058 | - |1973 | 14k| 0 | 0 | 0 |2259k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1559.10/1559.14 c 1517s| 2510k| 1142k| 0 | 0.0 |1543M|1058 | - |1973 | 16k| 0 | 0 | 0 |2271k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1566.10/1566.19 c 1524s| 2520k| 1147k| 0 | 0.0 |1546M|1058 | - |1973 |9230 | 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1570.10/1570.18 c 1527s| 2530k| 1154k| 0 | 0.0 |1553M|1058 | - |1973 |9876 | 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1574.40/1574.48 c 1532s| 2540k| 1161k| 0 | 0.0 |1560M|1058 | - |1973 | 10k| 0 | 0 | 0 |2291k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1579.20/1579.20 c 1536s| 2550k| 1167k| 0 | 0.0 |1567M|1058 | - |1973 | 11k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1584.40/1584.46 c 1541s| 2560k| 1173k| 0 | 0.0 |1574M|1058 | - |1973 | 12k| 0 | 0 | 0 |2304k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1590.71/1590.77 c 1547s| 2570k| 1178k| 0 | 0.0 |1582M|1058 | - |1973 | 14k| 0 | 0 | 0 |2313k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1599.51/1599.55 c 1556s| 2580k| 1181k| 0 | 0.0 |1588M|1058 | - |1973 | 19k| 0 | 0 | 0 |2325k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1604.80/1604.80 c 1561s| 2590k| 1188k| 0 | 0.0 |1592M|1058 | - |1973 |6903 | 0 | 0 | 0 |2331k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1609.31/1609.38 c 1566s| 2600k| 1195k| 0 | 0.0 |1603M|1058 | - |1973 |8455 | 0 | 0 | 0 |2336k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1614.20/1614.23 c 1570s| 2610k| 1202k| 0 | 0.0 |1612M|1058 | - |1973 |8438 | 0 | 0 | 0 |2342k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1618.51/1618.52 c 1574s| 2620k| 1209k| 0 | 0.0 |1620M|1058 | - |1973 |8289 | 0 | 0 | 0 |2347k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1622.60/1622.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.60/1622.69 c 1578s| 2630k| 1216k| 0 | 0.0 |1629M|1058 | - |1973 |9202 | 0 | 0 | 0 |2352k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1627.00/1627.06 c 1583s| 2640k| 1223k| 0 | 0.0 |1638M|1058 | - |1973 |9795 | 0 | 0 | 0 |2357k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1631.40/1631.41 c 1587s| 2650k| 1231k| 0 | 0.0 |1647M|1058 | - |1973 | 10k| 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1636.01/1636.04 c 1591s| 2660k| 1238k| 0 | 0.0 |1655M|1058 | - |1973 | 11k| 0 | 0 | 0 |2368k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1639.90/1639.94 c 1595s| 2670k| 1245k| 0 | 0.0 |1663M|1058 | - |1973 | 11k| 0 | 0 | 0 |2373k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1644.61/1644.61 c 1599s| 2680k| 1252k| 0 | 0.0 |1671M|1058 | - |1973 | 12k| 0 | 0 | 0 |2379k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1649.30/1649.33 c 1604s| 2690k| 1259k| 0 | 0.0 |1678M|1058 | - |1973 | 13k| 0 | 0 | 0 |2385k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1653.71/1653.77 c 1608s| 2700k| 1266k| 0 | 0.0 |1683M|1058 | - |1973 |8188 | 0 | 0 | 0 |2390k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1664.81/1664.80 c 1619s| 2710k| 1265k| 0 | 0.0 |1682M|1058 | - |1973 | 12k| 0 | 0 | 0 |2406k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1687.70/1687.80 c 1642s| 2720k| 1258k| 0 | 0.0 |1672M|1058 | - |1973 | 18k| 0 | 0 | 0 |2433k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1713.70/1713.74 c 1668s| 2730k| 1251k| 0 | 0.0 |1662M|1058 | - |1973 | 21k| 0 | 0 | 0 |2459k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1742.91/1742.90 c 1697s| 2740k| 1244k| 0 | 0.0 |1651M|1058 | - |1973 | 25k| 0 | 0 | 0 |2485k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1777.30/1777.31 c 1731s| 2750k| 1237k| 0 | 0.0 |1636M|1058 | - |1973 | 30k| 0 | 0 | 0 |2512k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time (sec) : 1753.29
1800.01/1800.01 c Solving Nodes : 2755541
1800.01/1800.01 c Primal Bound : +1.90000000000000e+01 (22 solutions)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.02 s SATISFIABLE
1800.01/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.01/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.01/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.01/1800.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.01/1800.02 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.01/1800.02 v -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1800.01/1800.02 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 -x80
1800.01/1800.02 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.01/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.01/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 -x2
1800.01/1800.02 v -x1
1800.01/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.02 c Solving Time : 1753.29
1800.01/1800.02 c Original Problem :
1800.01/1800.02 c Problem name : HOME/instance-2694083-1277904510.wbo
1800.01/1800.02 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous)
1800.01/1800.02 c Constraints : 3635 initial, 3635 maximal
1800.01/1800.02 c Presolved Problem :
1800.01/1800.02 c Problem name : t_HOME/instance-2694083-1277904510.wbo
1800.01/1800.02 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous)
1800.01/1800.02 c Constraints : 3465 initial, 31472 maximal
1800.01/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.02 c trivial : 0.00 56 0 0 0 0 0 0 0
1800.01/1800.02 c dualfix : 0.00 56 0 0 0 0 0 0 0
1800.01/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.02 c indicator : 0.00 0 0 0 0 0 56 0 0
1800.01/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.02 c linear : 0.06 0 0 0 929 0 114 56 0
1800.01/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.02 c root node : - 665 - - 1330 - - - -
1800.01/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.02 c indicator : 871 0 6965581 0 1840132 764 4294214 0 0 0
1800.01/1800.02 c knapsack : 1 0 9142651 0 2198504 169113 29451192 0 0 0
1800.01/1800.02 c setppc : 14 0 9010027 0 2198472 115726 4993923 0 0 0
1800.01/1800.02 c linear : 871 0 8895194 0 2198809 152918 11684573 0 0 0
1800.01/1800.02 c logicor : 1708+ 0 6769162 0 2198830 414126 16355367 0 0 0
1800.01/1800.02 c bounddisjunction : 0+ 0 93542 0 0 0 448 0 0 0
1800.01/1800.02 c countsols : 0 0 0 0 2198814 0 0 0 0 0
1800.01/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.02 c indicator : 23.45 0.00 12.61 0.00 10.84
1800.01/1800.02 c knapsack : 94.49 0.00 90.40 0.00 4.09
1800.01/1800.02 c setppc : 26.74 0.00 22.70 0.00 4.04
1800.01/1800.02 c linear : 144.13 0.00 142.34 0.00 1.79
1800.01/1800.02 c logicor : 540.85 0.00 428.81 0.00 112.04
1800.01/1800.02 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1800.01/1800.02 c countsols : 0.33 0.00 0.00 0.00 0.33
1800.01/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.02 c vbounds : 2.15 2 0 0
1800.01/1800.02 c rootredcost : 1.70 0 0 0
1800.01/1800.02 c pseudoobj : 184.93 9187834 7076 4211935
1800.01/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.02 c propagation : 27.47 858959 858919 4180098 20.5 93273 8.1 -
1800.01/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.02 c pseudo solution : 0.02 149 149 674 18.2 92 8.4 -
1800.01/1800.02 c applied globally : - - - 2529173 17.8 - - -
1800.01/1800.02 c applied locally : - - - 7 143.3 - - -
1800.01/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.02 c redcost : 0.00 0 0 0 0 0
1800.01/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.02 c intobj : 0.00 0 0 0 0 0
1800.01/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.02 c gomory : 0.00 0 0 0 0 0
1800.01/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.02 c cmir : 0.00 0 0 0 0 0
1800.01/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.02 c clique : 0.00 0 0 0 0 0
1800.01/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.02 c mcf : 0.00 0 0 0 0 0
1800.01/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.02 c Pricers : Time Calls Vars
1800.01/1800.02 c problem variables: 0.00 0 0
1800.01/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.02 c inference : 43.28 2198792 0 0 0 0 4397584
1800.01/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.02 c random : 0.00 0 0 0 0 0 0
1800.01/1800.02 c Primal Heuristics : Time Calls Found
1800.01/1800.02 c LP solutions : 0.00 - 0
1800.01/1800.02 c pseudo solutions : 0.07 - 22
1800.01/1800.02 c oneopt : 0.99 0 0
1800.01/1800.02 c trivial : 0.00 2 0
1800.01/1800.02 c simplerounding : 0.00 0 0
1800.01/1800.02 c zirounding : 0.00 0 0
1800.01/1800.02 c rounding : 0.00 0 0
1800.01/1800.02 c shifting : 0.00 0 0
1800.01/1800.02 c intshifting : 0.00 0 0
1800.01/1800.02 c twoopt : 0.00 0 0
1800.01/1800.02 c fixandinfer : 0.00 0 0
1800.01/1800.02 c feaspump : 0.00 0 0
1800.01/1800.02 c coefdiving : 0.00 0 0
1800.01/1800.02 c pscostdiving : 0.00 0 0
1800.01/1800.02 c fracdiving : 0.00 0 0
1800.01/1800.02 c veclendiving : 0.00 0 0
1800.01/1800.02 c intdiving : 0.00 0 0
1800.01/1800.02 c actconsdiving : 0.00 0 0
1800.01/1800.02 c objpscostdiving : 0.00 0 0
1800.01/1800.02 c rootsoldiving : 0.00 0 0
1800.01/1800.02 c linesearchdiving : 0.00 0 0
1800.01/1800.02 c guideddiving : 0.00 0 0
1800.01/1800.02 c octane : 0.00 0 0
1800.01/1800.02 c rens : 0.00 0 0
1800.01/1800.02 c rins : 0.00 0 0
1800.01/1800.02 c localbranching : 0.00 0 0
1800.01/1800.02 c mutation : 0.00 0 0
1800.01/1800.02 c crossover : 0.00 0 0
1800.01/1800.02 c dins : 0.00 0 0
1800.01/1800.02 c undercover : 0.00 0 0
1800.01/1800.02 c nlp : 0.61 0 0
1800.01/1800.02 c trysol : 0.52 1 0
1800.01/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.02 c (at root node) : - 0 0 0.00 -
1800.01/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.02 c B&B Tree :
1800.01/1800.02 c number of runs : 1
1800.01/1800.02 c nodes : 2755541
1800.01/1800.02 c nodes (total) : 2755541
1800.01/1800.02 c nodes left : 1231844
1800.01/1800.02 c max depth : 1058
1800.01/1800.02 c max depth (total): 1058
1800.01/1800.02 c backtracks : 550392 (20.0%)
1800.01/1800.02 c delayed cutoffs : 393146
1800.01/1800.02 c repropagations : 1993288 (20216983 domain reductions, 303145 cutoffs)
1800.01/1800.02 c avg switch length: 24.75
1800.01/1800.02 c switching time : 510.34
1800.01/1800.02 c Solution :
1800.01/1800.02 c Solutions found : 22 (22 improvements)
1800.01/1800.02 c First Solution : +3.79000000000000e+02 (in run 1, after 23654 nodes, 7.31 seconds, depth 589, found by <relaxation>)
1800.01/1800.02 c Primal Bound : +1.90000000000000e+01 (in run 1, after 1100377 nodes, 614.80 seconds, depth 246, found by <relaxation>)
1800.01/1800.02 c Dual Bound : +0.00000000000000e+00
1800.01/1800.02 c Gap : infinite
1800.01/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.02 c Root Iterations : 0
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694083-1277904510/watcher-2694083-1277904510 -o /tmp/evaluation-result-2694083-1277904510/solver-2694083-1277904510 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694083-1277904510.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: 1.92 1.98 1.99 4/178 11857 /proc/meminfo: memFree=31247332/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=8160 CPUtime=0 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 131747344 8355840 1466 4089446400 4194304 7136930 140735706171536 18446744073709551615 5649650 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11857/statm: 2040 1466 275 719 0 1319 0 [startup+0.101692 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11857 /proc/meminfo: memFree=31247332/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=22076 CPUtime=0.09 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 6471 0 0 0 9 0 0 0 25 0 1 0 131747344 22605824 4754 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11857/statm: 5519 4754 359 719 0 4798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22076 [startup+0.200675 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11857 /proc/meminfo: memFree=31247332/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=23560 CPUtime=0.19 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 9434 0 0 0 18 1 0 0 25 0 1 0 131747344 24125440 5147 4089446400 4194304 7136930 140735706171536 18446744073709551615 4834703 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11857/statm: 5890 5147 399 719 0 5169 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23560 [startup+0.300658 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11857 /proc/meminfo: memFree=31247332/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=24212 CPUtime=0.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 9606 0 0 0 28 1 0 0 25 0 1 0 131747344 24793088 5319 4089446400 4194304 7136930 140735706171536 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11857/statm: 6053 5319 399 719 0 5332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.700594 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11857 /proc/meminfo: memFree=31247332/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=25236 CPUtime=0.68 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 9885 0 0 0 66 2 0 0 25 0 1 0 131747344 25841664 5598 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 6309 5598 404 719 0 5588 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 25236 [startup+1.50046 s] /proc/loadavg: 1.92 1.98 1.99 3/179 11858 /proc/meminfo: memFree=31223020/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=27728 CPUtime=1.48 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 10507 0 0 0 143 5 0 0 25 0 1 0 131747344 28393472 6220 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 6932 6220 404 719 0 6211 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27728 [startup+3.10019 s] /proc/loadavg: 1.92 1.98 1.99 3/179 11858 /proc/meminfo: memFree=31218060/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=33328 CPUtime=3.09 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 11918 0 0 0 293 16 0 0 25 0 1 0 131747344 34127872 7631 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 8332 7631 404 719 0 7611 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33328 [startup+6.30065 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11858 /proc/meminfo: memFree=31203184/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=43368 CPUtime=6.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 14452 0 0 0 604 25 0 0 25 0 1 0 131747344 44408832 10165 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 10842 10165 404 719 0 10121 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43368 [startup+12.7006 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11858 /proc/meminfo: memFree=31175904/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=61572 CPUtime=12.69 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 19024 0 0 0 1216 53 0 0 25 0 1 0 131747344 63049728 14737 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 15393 14737 405 719 0 14672 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61572 [startup+25.5004 s] /proc/loadavg: 1.95 1.98 1.99 3/179 11858 /proc/meminfo: memFree=31126080/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=91276 CPUtime=25.48 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 26517 0 0 0 2448 100 0 0 25 0 1 0 131747344 93466624 22230 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 22819 22230 405 719 0 22098 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91276 [startup+51.1011 s] /proc/loadavg: 1.96 1.98 1.99 3/179 11860 /proc/meminfo: memFree=31028008/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=161228 CPUtime=51.08 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 42390 0 0 0 4927 181 0 0 25 0 1 0 131747344 165097472 38103 4089446400 4194304 7136930 140735706171536 18446744073709551615 4983799 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 40307 38103 407 719 0 39586 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 161228 [startup+102.3 s] /proc/loadavg: 1.98 1.98 1.99 3/179 11860 /proc/meminfo: memFree=30874832/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=242080 CPUtime=102.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 62655 0 0 0 9877 352 0 0 25 0 1 0 131747344 247889920 58368 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 60520 58368 407 719 0 59799 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 242080 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 11862 /proc/meminfo: memFree=30739492/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=298384 CPUtime=162.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 76737 0 0 0 15714 515 0 0 25 0 1 0 131747344 305545216 72450 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 74596 72450 407 719 0 73875 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 298384 [startup+222.306 s] /proc/loadavg: 1.99 1.98 1.99 3/179 11867 /proc/meminfo: memFree=30577784/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=406900 CPUtime=222.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 102145 0 0 0 21513 717 0 0 25 0 1 0 131747344 416665600 97858 4089446400 4194304 7136930 140735706171536 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 101725 97858 407 719 0 101004 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 406900 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 11869 /proc/meminfo: memFree=30450756/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=511944 CPUtime=282.28 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 128111 0 0 0 27320 908 0 0 25 0 1 0 131747344 524230656 123824 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 127986 123824 407 719 0 127265 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 511944 [startup+342.301 s] /proc/loadavg: 2.05 2.00 2.00 3/179 11871 /proc/meminfo: memFree=30268804/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=635508 CPUtime=342.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 157650 0 0 0 33122 1107 0 0 25 0 1 0 131747344 650760192 153363 4089446400 4194304 7136930 140735706171536 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 158877 153363 407 719 0 158156 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 635508 [startup+402.301 s] /proc/loadavg: 2.02 2.00 2.00 3/179 11871 /proc/meminfo: memFree=30137820/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=701952 CPUtime=402.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 174335 0 0 0 38949 1280 0 0 25 0 1 0 131747344 718798848 170048 4089446400 4194304 7136930 140735706171536 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 175488 170048 407 719 0 174767 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 701952 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11873 /proc/meminfo: memFree=30047484/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=734624 CPUtime=462.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 182467 0 0 0 44828 1401 0 0 25 0 1 0 131747344 752254976 178180 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 183656 178180 407 719 0 182935 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 734624 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11875 /proc/meminfo: memFree=29983960/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=752732 CPUtime=522.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 186920 0 0 0 50727 1502 0 0 25 0 1 0 131747344 770797568 182633 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 188183 182633 407 719 0 187462 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 752732 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11877 /proc/meminfo: memFree=29948816/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=759568 CPUtime=582.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 188608 0 0 0 56624 1605 0 0 25 0 1 0 131747344 777797632 184321 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 189892 184321 407 719 0 189171 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 759568 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11879 /proc/meminfo: memFree=29832076/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=846300 CPUtime=642.28 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 207740 0 0 0 62412 1816 0 0 25 0 1 0 131747344 866611200 203453 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 211575 203453 407 719 0 210854 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 846300 [startup+702.3 s] ################ # More data... # ################ /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 293591 0 0 0 103355 2874 0 0 25 0 1 0 131747344 1221775360 289304 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 298285 289304 407 719 0 297564 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 1193140 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11891 /proc/meminfo: memFree=29390908/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1248284 CPUtime=1122.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 307576 0 0 0 109184 3046 0 0 25 0 1 0 131747344 1278242816 303289 4089446400 4194304 7136930 140735706171536 18446744073709551615 5000207 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 312071 303289 407 719 0 311350 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1248284 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11893 /proc/meminfo: memFree=29402036/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1274252 CPUtime=1182.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 313986 0 0 0 115078 3152 0 0 25 0 1 0 131747344 1304834048 309699 4089446400 4194304 7136930 140735706171536 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 318563 309699 407 719 0 317842 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1274252 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11895 /proc/meminfo: memFree=29339628/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1345048 CPUtime=1242.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 331925 0 0 0 120909 3321 0 0 25 0 1 0 131747344 1377329152 327638 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 336262 327638 407 719 0 335541 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1345048 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11895 /proc/meminfo: memFree=29282896/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1402780 CPUtime=1302.29 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 345991 0 0 0 126736 3493 0 0 25 0 1 0 131747344 1436446720 341704 4089446400 4194304 7136930 140735706171536 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 350695 341704 407 719 0 349974 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 1402780 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11897 /proc/meminfo: memFree=29194784/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1488724 CPUtime=1362.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 367720 0 0 0 132554 3676 0 0 25 0 1 0 131747344 1524453376 363433 4089446400 4194304 7136930 140735706171536 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 372181 363433 407 719 0 371460 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 1488724 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11899 /proc/meminfo: memFree=29133116/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1567484 CPUtime=1422.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 383084 0 0 0 138393 3837 0 0 25 0 1 0 131747344 1605103616 378797 4089446400 4194304 7136930 140735706171536 18446744073709551615 5958426 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 391871 378797 407 719 0 391150 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 1567484 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11901 /proc/meminfo: memFree=29059540/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1640704 CPUtime=1482.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 401537 0 0 0 144207 4023 0 0 25 0 1 0 131747344 1680080896 397250 4089446400 4194304 7136930 140735706171536 18446744073709551615 4983164 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 410176 397250 407 719 0 409455 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 1640704 [startup+1542.31 s] /proc/loadavg: 2.08 2.02 2.01 3/179 11931 /proc/meminfo: memFree=29914044/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1711116 CPUtime=1542.31 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 419308 0 0 0 150035 4196 0 0 25 0 1 0 131747344 1752182784 415021 4089446400 4194304 7136930 140735706171536 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 427779 415021 407 719 0 427058 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1711116 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 11931 /proc/meminfo: memFree=29833912/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1775328 CPUtime=1602.3 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 435341 0 0 0 155872 4358 0 0 25 0 1 0 131747344 1817935872 431054 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 443832 431054 407 719 0 443111 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 1775328 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11933 /proc/meminfo: memFree=29739512/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1863932 CPUtime=1662.31 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457546 0 0 0 161673 4558 0 0 25 0 1 0 131747344 1908666368 453259 4089446400 4194304 7136930 140735706171536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 465983 453259 407 719 0 465262 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1863932 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11935 /proc/meminfo: memFree=29737864/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1864324 CPUtime=1722.31 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457607 0 0 0 167618 4613 0 0 25 0 1 0 131747344 1909067776 453320 4089446400 4194304 7136930 140735706171536 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 466081 453320 407 719 0 465360 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1864324 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11937 /proc/meminfo: memFree=29734836/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1865860 CPUtime=1782.31 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457916 0 0 0 173570 4661 0 0 25 0 1 0 131747344 1910640640 453629 4089446400 4194304 7136930 140735706171536 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 466465 453629 407 719 0 465744 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 1865860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11937 /proc/meminfo: memFree=29734828/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1865908 CPUtime=1800.01 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457916 0 0 0 175330 4671 0 0 25 0 1 0 131747344 1910689792 453629 4089446400 4194304 7136930 140735706171536 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11857/statm: 466477 453629 407 719 0 465756 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1865908 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11857 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11938 /proc/meminfo: memFree=29734696/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1865908 CPUtime=1800.71 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457921 0 0 0 175400 4671 0 0 25 0 1 0 131747344 1910689792 453634 4089446400 4194304 7136930 140735706171536 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11857/statm: 466477 453634 412 719 0 465756 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 1865908 [startup+1801.5 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11938 /proc/meminfo: memFree=29734696/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1865908 CPUtime=1801.51 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457921 0 0 0 175480 4671 0 0 25 0 1 0 131747344 1910689792 453634 4089446400 4194304 7136930 140735706171536 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11857/statm: 466477 453634 412 719 0 465756 0 Current children cumulated CPU time (s) 1801.51 Current children cumulated vsize (KiB) 1865908 [startup+1801.91 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11938 /proc/meminfo: memFree=29734696/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1865908 CPUtime=1801.91 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457921 0 0 0 175520 4671 0 0 25 0 1 0 131747344 1910689792 453634 4089446400 4194304 7136930 140735706171536 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11857/statm: 466477 453634 412 719 0 465756 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 1865908 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11938 /proc/meminfo: memFree=29734696/32950928 swapFree=67111528/67111528 [pid=11857] ppid=11855 vsize=1865908 CPUtime=1802.01 /proc/11857/stat : 11857 (pbscip.linux.x8) R 11855 11857 11304 0 -1 4202496 457921 0 0 0 175530 4671 0 0 25 0 1 0 131747344 1910689792 453634 4089446400 4194304 7136930 140735706171536 18446744073709551615 4670075 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11857/statm: 466477 453634 412 719 0 465756 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 1865908 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.08 CPU user time (s): 1755.31 CPU system time (s): 46.7739 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1865908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.31 system time used= 46.7739 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 457921 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= 1 involuntary context switches= 1401 runsolver used 2.41663 second user time and 5.83111 second system time The end
Begin job on node126 at 2010-06-30 15:28:30 IDJOB=2694083 IDBENCH=78920 IDSOLVER=1206 FILE ID=node126/2694083-1277904510 PBS_JOBID= 11197216 Free space on /tmp= 74184 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.1900568186--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-2694083-1277904510/watcher-2694083-1277904510 -o /tmp/evaluation-result-2694083-1277904510/solver-2694083-1277904510 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694083-1277904510.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 105b60f6fd410ca15d025f7b690efafc RANDOM SEED=752960836 node126.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.835 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.67 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.835 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.83 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.835 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.835 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.83 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.835 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.72 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.835 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.82 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.835 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.75 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.835 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31247984 kB Buffers: 185772 kB Cached: 926708 kB SwapCached: 0 kB Active: 914652 kB Inactive: 646800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31247984 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3184 kB Writeback: 0 kB AnonPages: 448980 kB Mapped: 17412 kB Slab: 77336 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 596292 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= 74184 MiB End job on node126 at 2010-06-30 15:58:32