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.11 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo |
| MD5SUM | 426e5957e411ffe2f76bd332943fd07d |
| 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 | 467.838 |
| 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 | 1816 |
| 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 | 92461 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92460 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 661 |
| 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-2694089-1277904753.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 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.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.05/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.11 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.12 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.13 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.18 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.18 c 1958 implications, 6 cliques
0.09/0.18 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.18 c 1743 constraints of type <indicator>
0.09/0.18 c 6 constraints of type <setppc>
0.09/0.18 c 1743 constraints of type <linear>
0.09/0.18 c 854 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3717 |4346 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.38/1.46 o 757
1.38/1.46 c * 1.4s| 4829 | 4337 | 0 | 0.0 | 16M|1884 | - |3717 |4947 | 0 | 0 | 0 | 804 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
2.99/3.00 c 2.9s| 10000 | 9144 | 0 | 0.0 | 19M|1884 | - |3717 |5349 | 0 | 0 | 0 |2068 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
6.29/6.34 c 6.1s| 20000 | 17213 | 0 | 0.0 | 28M|1884 | - |3717 |6527 | 0 | 0 | 0 |8387 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
11.09/11.13 c 10.8s| 30000 | 23589 | 0 | 0.0 | 39M|1884 | - |3717 |8223 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.570000e+02 | Inf
14.08/14.10 o 411
14.08/14.10 c *13.7s| 37437 | 28296 | 0 | 0.0 | 40M|1884 | - |3717 |6442 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.110000e+02 | Inf
14.39/14.45 o 321
14.39/14.45 c *14.0s| 38252 | 27888 | 0 | 0.0 | 40M|1884 | - |3717 |6324 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.210000e+02 | Inf
14.39/14.49 o 304
14.39/14.49 c *14.1s| 38348 | 27733 | 0 | 0.0 | 41M|1884 | - |3717 |6315 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
14.58/14.69 o 299
14.58/14.69 c *14.3s| 38791 | 28084 | 0 | 0.0 | 41M|1884 | - |3717 |6294 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.990000e+02 | Inf
14.58/14.69 o 282
14.58/14.69 c *14.3s| 38792 | 27877 | 0 | 0.0 | 41M|1884 | - |3717 |6294 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.820000e+02 | Inf
14.68/14.74 o 279
14.68/14.74 c *14.3s| 38885 | 27928 | 0 | 0.0 | 41M|1884 | - |3717 |6273 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.790000e+02 | Inf
14.88/14.91 o 268
14.88/14.91 c *14.5s| 39272 | 28236 | 0 | 0.0 | 41M|1884 | - |3717 |6251 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
14.99/15.07 o 261
14.99/15.07 c *14.6s| 39608 | 28517 | 0 | 0.0 | 41M|1884 | - |3717 |6274 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
15.08/15.11 o 258
15.08/15.11 c *14.7s| 39706 | 28574 | 0 | 0.0 | 41M|1884 | - |3717 |6264 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
15.08/15.12 o 221
15.08/15.12 c *14.7s| 39707 | 28232 | 0 | 0.0 | 41M|1884 | - |3717 |6264 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
15.18/15.20 o 218
15.18/15.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.18/15.20 c *14.8s| 39871 | 28360 | 0 | 0.0 | 42M|1884 | - |3717 |6267 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
15.18/15.20 o 199
15.18/15.20 c *14.8s| 39872 | 28197 | 0 | 0.0 | 41M|1884 | - |3717 |6267 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
15.18/15.26 c 14.8s| 40000 | 28320 | 0 | 0.0 | 42M|1884 | - |3717 |6268 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
15.49/15.52 o 194
15.49/15.52 c *15.1s| 40470 | 28571 | 0 | 0.0 | 42M|1884 | - |3717 |6334 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
15.59/15.67 o 174
15.59/15.67 c *15.2s| 40792 | 28714 | 0 | 0.0 | 42M|1884 | - |3717 |6338 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
15.78/15.81 o 172
15.78/15.81 c *15.4s| 41060 | 28937 | 0 | 0.0 | 43M|1884 | - |3717 |6349 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
15.88/15.95 o 161
15.88/15.95 c *15.5s| 41293 | 28962 | 0 | 0.0 | 43M|1884 | - |3717 |6369 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
15.88/15.95 o 151
15.88/15.95 c *15.5s| 41294 | 28848 | 0 | 0.0 | 42M|1884 | - |3717 |6369 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
17.09/17.16 o 145
17.09/17.16 c *16.7s| 43120 | 30247 | 0 | 0.0 | 47M|1884 | - |3717 |6574 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
17.68/17.74 o 128
17.68/17.74 c *17.3s| 44219 | 30640 | 0 | 0.0 | 47M|1884 | - |3717 |6407 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
17.78/17.88 o 110
17.78/17.88 c *17.4s| 44493 | 30331 | 0 | 0.0 | 46M|1884 | - |3717 |6334 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
17.78/17.88 o 107
17.78/17.88 c *17.4s| 44494 | 30310 | 0 | 0.0 | 46M|1884 | - |3717 |6334 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
18.09/18.14 o 100
18.09/18.14 c *17.6s| 45006 | 30653 | 0 | 0.0 | 46M|1884 | - |3717 |6234 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
18.09/18.14 o 78
18.09/18.14 c *17.6s| 45007 | 29704 | 0 | 0.0 | 45M|1884 | - |3717 |6234 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
18.39/18.43 o 75
18.39/18.43 c *17.9s| 45523 | 28661 | 0 | 0.0 | 45M|1884 | - |3717 |6137 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
18.39/18.43 o 72
18.39/18.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.43 c *17.9s| 45524 | 28322 | 0 | 0.0 | 44M|1884 | - |3717 |6137 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
18.48/18.54 o 70
18.48/18.54 c *18.0s| 45725 | 28445 | 0 | 0.0 | 45M|1884 | - |3717 |6098 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
18.88/18.99 o 62
18.88/18.99 c *18.5s| 46536 | 28803 | 0 | 0.0 | 46M|1884 | - |3717 |6145 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
19.29/19.39 o 45
19.29/19.39 c *18.9s| 47116 | 28291 | 0 | 0.0 | 47M|1884 | - |3717 |6289 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
20.99/21.04 c 20.5s| 50000 | 30751 | 0 | 0.0 | 53M|1884 | - |3717 |5316 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
22.78/22.80 o 43
22.78/22.80 c *22.2s| 54450 | 34506 | 0 | 0.0 | 57M|1884 | - |3717 |5562 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
23.79/23.82 o 16
23.79/23.82 c *23.2s| 57243 | 35772 | 0 | 0.0 | 56M|1884 | - |3717 |5621 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
24.78/24.88 c 24.2s| 60000 | 37994 | 0 | 0.0 | 58M|1884 | - |3717 |6029 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
28.38/28.47 c 27.7s| 70000 | 46355 | 0 | 0.0 | 67M|1884 | - |3717 |5701 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
32.49/32.53 c 31.7s| 80000 | 54167 | 0 | 0.0 | 75M|1884 | - |3717 |6418 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
36.68/36.76 c 35.8s| 90000 | 61716 | 0 | 0.0 | 84M|1884 | - |3717 |6874 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
41.19/41.22 c 40.2s|100000 | 69026 | 0 | 0.0 | 93M|1884 | - |3717 |7313 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
45.99/46.04 c 44.9s|110000 | 75988 | 0 | 0.0 | 102M|1884 | - |3717 |7526 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
51.28/51.39 c 50.1s|120000 | 82489 | 0 | 0.0 | 111M|1884 | - |3717 |7888 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
56.98/57.08 c 55.7s|130000 | 88684 | 0 | 0.0 | 121M|1884 | - |3717 |8221 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
62.79/62.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.79/62.80 c 61.3s|140000 | 94842 | 0 | 0.0 | 131M|1884 | - |3717 |8406 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
68.69/68.75 c 67.1s|150000 |100734 | 0 | 0.0 | 141M|1884 | - |3717 |8835 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
74.99/75.08 c 73.3s|160000 |106290 | 0 | 0.0 | 151M|1884 | - |3717 |9442 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
81.79/81.86 c 80.0s|170000 |111483 | 0 | 0.0 | 161M|1884 | - |3717 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
89.18/89.26 c 87.2s|180000 |116269 | 0 | 0.0 | 171M|1884 | - |3717 | 10k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
97.49/97.59 c 95.4s|190000 |120444 | 0 | 0.0 | 181M|1884 | - |3717 | 12k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
107.49/107.50 c 105s|200000 |123539 | 0 | 0.0 | 190M|1884 | - |3717 | 14k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
116.28/116.37 c 114s|210000 |128533 | 0 | 0.0 | 193M|1884 | - |3717 |4976 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
120.79/120.80 c 118s|220000 |136918 | 0 | 0.0 | 202M|1884 | - |3717 |5763 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
125.69/125.73 c 123s|230000 |144881 | 0 | 0.0 | 211M|1884 | - |3717 |6594 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
131.19/131.27 c 129s|240000 |152459 | 0 | 0.0 | 221M|1884 | - |3717 |7780 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
132.08/132.13 o 14
132.08/132.13 c * 129s|241379 |153105 | 0 | 0.0 | 221M|1884 | - |3717 |8143 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
139.99/140.05 c 137s|250000 |157597 | 0 | 0.0 | 233M|1884 | - |3717 | 10k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
144.59/144.63 c 142s|260000 |165469 | 0 | 0.0 | 241M|1884 | - |3717 |7406 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
149.59/149.64 c 147s|270000 |173320 | 0 | 0.0 | 250M|1884 | - |3717 |7359 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
149.98/150.05 o 13
149.98/150.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.98/150.05 c * 147s|270791 |173218 | 0 | 0.0 | 248M|1884 | - |3717 |7409 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
155.59/155.64 o 7
155.59/155.64 c * 152s|279863 |176097 | 0 | 0.0 | 246M|1884 | - |3717 |8843 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
155.69/155.72 c 152s|280000 |176194 | 0 | 0.0 | 246M|1884 | - |3717 |8819 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.79/161.83 c 158s|290000 |182833 | 0 | 0.0 | 255M|1884 | - |3717 |7139 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.78/166.82 c 163s|300000 |189749 | 0 | 0.0 | 263M|1884 | - |3717 |6721 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.79/171.87 c 168s|310000 |196336 | 0 | 0.0 | 271M|1884 | - |3717 |8220 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
175.79/175.81 c 172s|320000 |204298 | 0 | 0.0 | 279M|1884 | - |3717 |7533 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
180.89/180.96 c 177s|330000 |210891 | 0 | 0.0 | 287M|1884 | - |3717 |7009 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
184.19/184.25 o 6
184.19/184.25 c * 180s|337819 |216573 | 0 | 0.0 | 293M|1884 | - |3717 |7804 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
185.39/185.40 c 181s|340000 |217950 | 0 | 0.0 | 295M|1884 | - |3717 |8459 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
189.98/190.09 c 186s|350000 |225152 | 0 | 0.0 | 302M|1884 | - |3717 |6755 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.99/194.09 c 190s|360000 |233061 | 0 | 0.0 | 310M|1884 | - |3717 |7544 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
197.79/197.86 o 5
197.79/197.86 c * 194s|367070 |237216 | 0 | 0.0 | 315M|1884 | - |3717 |8969 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
199.99/200.04 c 196s|370000 |238503 | 0 | 0.0 | 318M|1884 | - |3717 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
204.49/204.53 c 200s|380000 |245982 | 0 | 0.0 | 324M|1884 | - |3717 |7430 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
209.49/209.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.49/209.55 c 205s|390000 |252752 | 0 | 0.0 | 332M|1884 | - |3717 |7068 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
213.29/213.34 c 209s|400000 |260866 | 0 | 0.0 | 340M|1884 | - |3717 |7302 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
218.29/218.38 c 214s|410000 |267579 | 0 | 0.0 | 348M|1884 | - |3717 |9337 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
223.49/223.54 c 219s|420000 |274404 | 0 | 0.0 | 355M|1884 | - |3717 |7778 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
228.49/228.51 c 224s|430000 |281176 | 0 | 0.0 | 363M|1884 | - |3717 |7422 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
233.39/233.42 c 228s|440000 |287909 | 0 | 0.0 | 373M|1884 | - |3717 |9727 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
237.59/237.63 c 232s|450000 |295595 | 0 | 0.0 | 380M|1884 | - |3717 |7954 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
241.89/241.91 c 237s|460000 |302809 | 0 | 0.0 | 387M|1884 | - |3717 |4412 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
245.09/245.16 c 240s|470000 |310951 | 0 | 0.0 | 394M|1884 | - |3717 |4248 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
249.09/249.10 c 244s|480000 |318130 | 0 | 0.0 | 403M|1884 | - |3717 |5218 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
253.78/253.89 c 248s|490000 |324562 | 0 | 0.0 | 411M|1884 | - |3717 |6308 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
258.69/258.77 c 253s|500000 |330922 | 0 | 0.0 | 420M|1884 | - |3717 |7243 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
264.09/264.15 c 258s|510000 |336895 | 0 | 0.0 | 428M|1884 | - |3717 |7922 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.68/269.76 c 264s|520000 |342707 | 0 | 0.0 | 437M|1884 | - |3717 |8137 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
274.99/275.06 c 269s|530000 |348951 | 0 | 0.0 | 445M|1884 | - |3717 |8318 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
280.29/280.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.29/280.38 c 274s|540000 |355248 | 0 | 0.0 | 453M|1884 | - |3717 |8473 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
285.99/286.04 c 280s|550000 |361117 | 0 | 0.0 | 462M|1884 | - |3717 |9301 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
292.08/292.19 c 286s|560000 |366618 | 0 | 0.0 | 470M|1884 | - |3717 |9778 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
298.58/298.65 c 292s|570000 |371814 | 0 | 0.0 | 479M|1884 | - |3717 |9970 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
305.38/305.41 c 299s|580000 |376809 | 0 | 0.0 | 487M|1884 | - |3717 |9804 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
312.09/312.17 c 305s|590000 |381562 | 0 | 0.0 | 495M|1884 | - |3717 |9442 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
318.29/318.31 c 311s|600000 |386760 | 0 | 0.0 | 504M|1884 | - |3717 | 10k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
324.79/324.89 c 317s|610000 |391455 | 0 | 0.0 | 512M|1884 | - |3717 | 10k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
331.48/331.53 c 324s|620000 |396026 | 0 | 0.0 | 521M|1884 | - |3717 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
337.69/337.73 c 330s|630000 |401187 | 0 | 0.0 | 529M|1884 | - |3717 |9977 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
344.20/344.27 c 336s|640000 |405801 | 0 | 0.0 | 537M|1884 | - |3717 | 10k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
350.80/350.84 c 342s|650000 |410451 | 0 | 0.0 | 545M|1884 | - |3717 | 10k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
357.19/357.25 c 348s|660000 |415339 | 0 | 0.0 | 553M|1884 | - |3717 | 10k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.00/364.02 c 355s|670000 |419709 | 0 | 0.0 | 561M|1884 | - |3717 | 11k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
370.39/370.48 c 361s|680000 |424725 | 0 | 0.0 | 570M|1884 | - |3717 |9421 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
377.99/378.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.99/378.00 c 368s|690000 |428258 | 0 | 0.0 | 578M|1884 | - |3717 | 11k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
385.29/385.34 c 375s|700000 |432151 | 0 | 0.0 | 586M|1884 | - |3717 | 11k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
392.39/392.49 c 382s|710000 |436550 | 0 | 0.0 | 594M|1884 | - |3717 | 10k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
400.09/400.14 c 389s|720000 |440185 | 0 | 0.0 | 603M|1884 | - |3717 | 12k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
408.00/408.10 c 397s|730000 |443671 | 0 | 0.0 | 611M|1884 | - |3717 | 12k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
415.59/415.65 c 404s|740000 |447812 | 0 | 0.0 | 619M|1884 | - |3717 | 10k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
423.79/423.89 c 412s|750000 |450974 | 0 | 0.0 | 627M|1884 | - |3717 | 12k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
432.30/432.36 c 420s|760000 |454014 | 0 | 0.0 | 635M|1884 | - |3717 | 13k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
441.00/441.04 c 428s|770000 |456904 | 0 | 0.0 | 643M|1884 | - |3717 | 12k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
449.30/449.35 c 436s|780000 |460455 | 0 | 0.0 | 651M|1884 | - |3717 | 11k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
458.29/458.34 c 445s|790000 |463126 | 0 | 0.0 | 659M|1884 | - |3717 | 14k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
467.79/467.80 c 454s|800000 |465568 | 0 | 0.0 | 666M|1884 | - |3717 | 14k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
477.60/477.67 c 464s|810000 |467728 | 0 | 0.0 | 674M|1884 | - |3717 | 14k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
487.70/487.70 c 473s|820000 |469836 | 0 | 0.0 | 681M|1884 | - |3717 | 15k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
498.20/498.25 c 484s|830000 |471636 | 0 | 0.0 | 687M|1884 | - |3717 | 16k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
509.09/509.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.09/509.10 c 494s|840000 |473429 | 0 | 0.0 | 694M|1884 | - |3717 | 14k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
521.30/521.37 c 506s|850000 |473381 | 0 | 0.0 | 698M|1884 | - |3717 | 14k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
537.39/537.45 c 522s|860000 |462953 | 0 | 0.0 | 690M|1884 | - |3717 | 18k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
543.30/543.30 c 527s|870000 |467462 | 0 | 0.0 | 686M|1884 | - |3717 |4370 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
546.89/546.91 c 530s|880000 |475235 | 0 | 0.0 | 694M|1884 | - |3717 |4478 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
550.70/550.75 c 534s|890000 |482727 | 0 | 0.0 | 702M|1884 | - |3717 |4640 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
554.79/554.82 c 538s|900000 |489949 | 0 | 0.0 | 711M|1884 | - |3717 |5014 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
559.00/559.06 c 542s|910000 |496990 | 0 | 0.0 | 720M|1884 | - |3717 |5384 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
563.39/563.41 c 546s|920000 |503880 | 0 | 0.0 | 729M|1884 | - |3717 |5677 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
567.79/567.88 c 550s|930000 |510621 | 0 | 0.0 | 737M|1884 | - |3717 |5846 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
572.39/572.43 c 554s|940000 |517255 | 0 | 0.0 | 746M|1884 | - |3717 |6245 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
577.10/577.13 c 558s|950000 |523746 | 0 | 0.0 | 755M|1884 | - |3717 |6304 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
582.20/582.21 c 563s|960000 |529848 | 0 | 0.0 | 765M|1884 | - |3717 |6976 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
587.40/587.44 c 568s|970000 |535916 | 0 | 0.0 | 773M|1884 | - |3717 |7399 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
592.90/592.98 c 573s|980000 |541692 | 0 | 0.0 | 782M|1884 | - |3717 |7653 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
596.00/596.00 o 3
596.00/596.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.00/596.00 c * 576s|985377 |540460 | 0 | 0.0 | 779M|1884 | - |3717 |7290 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
599.09/599.11 c 579s|990000 |542860 | 0 | 0.0 | 784M|1884 | - |3717 |8065 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
606.10/606.18 c 585s| 1000k|547724 | 0 | 0.0 | 795M|1884 | - |3717 |8758 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
613.40/613.40 c 592s| 1010k|552233 | 0 | 0.0 | 805M|1884 | - |3717 |9556 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
615.90/615.91 o 2
615.90/615.91 c * 595s| 1013k|536185 | 0 | 0.0 | 791M|1884 | - |3717 |9035 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
621.40/621.49 c 600s| 1020k|538544 | 0 | 0.0 | 799M|1884 | - |3717 |9885 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
630.00/630.00 c 608s| 1030k|542433 | 0 | 0.0 | 809M|1884 | - |3717 | 10k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.50/639.57 c 617s| 1040k|545319 | 0 | 0.0 | 818M|1884 | - |3717 | 11k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
649.40/649.43 c 626s| 1050k|548004 | 0 | 0.0 | 827M|1884 | - |3717 | 12k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.40/660.50 c 637s| 1060k|549601 | 0 | 0.0 | 835M|1884 | - |3717 | 13k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
674.10/674.13 c 650s| 1070k|549110 | 0 | 0.0 | 841M|1884 | - |3717 | 15k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
682.80/682.80 c 659s| 1080k|553138 | 0 | 0.0 | 844M|1884 | - |3717 |7244 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.69/686.72 c 662s| 1090k|560803 | 0 | 0.0 | 852M|1884 | - |3717 |7537 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.99/691.08 c 666s| 1100k|567983 | 0 | 0.0 | 860M|1884 | - |3717 |7998 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
695.60/695.67 c 670s| 1110k|574895 | 0 | 0.0 | 868M|1884 | - |3717 |8669 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
700.70/700.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.70/700.73 c 675s| 1120k|581287 | 0 | 0.0 | 877M|1884 | - |3717 |9357 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
706.30/706.31 c 680s| 1130k|587150 | 0 | 0.0 | 885M|1884 | - |3717 |9928 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
712.20/712.23 c 686s| 1140k|592718 | 0 | 0.0 | 893M|1884 | - |3717 | 10k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.21/718.26 c 692s| 1150k|598194 | 0 | 0.0 | 900M|1884 | - |3717 |9111 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
724.40/724.48 c 697s| 1160k|603367 | 0 | 0.0 | 907M|1884 | - |3717 |9127 | 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.50/730.57 c 703s| 1170k|608640 | 0 | 0.0 | 914M|1884 | - |3717 |8834 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
736.40/736.42 c 709s| 1180k|614164 | 0 | 0.0 | 922M|1884 | - |3717 |8864 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.79/741.86 c 714s| 1190k|620103 | 0 | 0.0 | 929M|1884 | - |3717 |8709 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
747.30/747.30 c 719s| 1200k|626129 | 0 | 0.0 | 937M|1884 | - |3717 |9274 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.69/752.79 c 724s| 1210k|632137 | 0 | 0.0 | 944M|1884 | - |3717 |9466 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
758.50/758.53 c 730s| 1220k|637884 | 0 | 0.0 | 952M|1884 | - |3717 | 10k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
764.80/764.83 c 735s| 1230k|643144 | 0 | 0.0 | 960M|1884 | - |3717 | 10k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
772.00/772.02 c 742s| 1240k|647559 | 0 | 0.0 | 968M|1884 | - |3717 | 12k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
781.40/781.47 c 751s| 1250k|650139 | 0 | 0.0 | 976M|1884 | - |3717 | 14k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
791.00/791.02 c 760s| 1260k|653663 | 0 | 0.0 | 981M|1884 | - |3717 |9508 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
795.70/795.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.70/795.73 c 765s| 1270k|661007 | 0 | 0.0 | 992M|1884 | - |3717 |9660 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
801.00/801.01 c 770s| 1280k|667926 | 0 | 0.0 |1005M|1884 | - |3717 | 10k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
806.40/806.47 c 775s| 1290k|674223 | 0 | 0.0 |1015M|1884 | - |3717 | 11k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
812.70/812.76 c 781s| 1300k|679824 | 0 | 0.0 |1025M|1884 | - |3717 | 13k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.30/820.39 c 788s| 1310k|684540 | 0 | 0.0 |1034M|1884 | - |3717 | 15k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.50/829.56 c 797s| 1320k|688488 | 0 | 0.0 |1044M|1884 | - |3717 | 18k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.10/840.15 c 807s| 1330k|692114 | 0 | 0.0 |1050M|1884 | - |3717 | 16k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.81/844.81 c 812s| 1340k|699848 | 0 | 0.0 |1057M|1884 | - |3717 | 12k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.30/849.37 c 816s| 1350k|707335 | 0 | 0.0 |1065M|1884 | - |3717 | 12k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
854.50/854.57 c 821s| 1360k|714199 | 0 | 0.0 |1075M|1884 | - |3717 | 12k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.51/860.57 c 827s| 1370k|720231 | 0 | 0.0 |1084M|1884 | - |3717 | 14k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
867.40/867.42 c 833s| 1380k|725681 | 0 | 0.0 |1094M|1884 | - |3717 | 16k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
875.50/875.58 c 841s| 1390k|730226 | 0 | 0.0 |1104M|1884 | - |3717 | 17k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.60/885.62 c 851s| 1400k|733641 | 0 | 0.0 |1113M|1884 | - |3717 | 20k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
896.51/896.55 c 861s| 1410k|737414 | 0 | 0.0 |1118M|1884 | - |3717 | 14k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
901.30/901.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.30/901.31 c 866s| 1420k|744694 | 0 | 0.0 |1125M|1884 | - |3717 |8812 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
905.81/905.83 c 870s| 1430k|751695 | 0 | 0.0 |1134M|1884 | - |3717 |9499 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
910.71/910.77 c 874s| 1440k|758189 | 0 | 0.0 |1143M|1884 | - |3717 | 10k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
916.21/916.21 c 880s| 1450k|764191 | 0 | 0.0 |1152M|1884 | - |3717 | 10k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.11/922.13 c 885s| 1460k|769725 | 0 | 0.0 |1161M|1884 | - |3717 | 11k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
928.51/928.55 c 891s| 1470k|774725 | 0 | 0.0 |1170M|1884 | - |3717 | 12k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.01/936.02 c 898s| 1480k|778706 | 0 | 0.0 |1179M|1884 | - |3717 | 13k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.60/944.62 c 907s| 1490k|781724 | 0 | 0.0 |1186M|1884 | - |3717 | 12k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
951.51/951.56 c 913s| 1500k|786284 | 0 | 0.0 |1192M|1884 | - |3717 |9687 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
956.20/956.28 c 918s| 1510k|793066 | 0 | 0.0 |1199M|1884 | - |3717 |9464 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.80/960.81 c 922s| 1520k|800111 | 0 | 0.0 |1207M|1884 | - |3717 |9827 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
965.41/965.47 c 926s| 1530k|806933 | 0 | 0.0 |1216M|1884 | - |3717 | 10k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
970.70/970.79 c 931s| 1540k|813118 | 0 | 0.0 |1225M|1884 | - |3717 | 11k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.60/976.64 c 937s| 1550k|818912 | 0 | 0.0 |1234M|1884 | - |3717 | 11k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.00/983.09 c 943s| 1560k|824050 | 0 | 0.0 |1243M|1884 | - |3717 | 12k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
990.31/990.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.31/990.31 c 950s| 1570k|828573 | 0 | 0.0 |1251M|1884 | - |3717 | 13k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
998.81/998.85 c 958s| 1580k|832048 | 0 | 0.0 |1259M|1884 | - |3717 | 14k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.50/1008.51 c 967s| 1590k|835033 | 0 | 0.0 |1264M|1884 | - |3717 | 10k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.60/1012.61 c 971s| 1600k|842750 | 0 | 0.0 |1272M|1884 | - |3717 |8645 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.50/1016.59 c 975s| 1610k|850404 | 0 | 0.0 |1280M|1884 | - |3717 |8867 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1020.90/1020.91 c 979s| 1620k|857685 | 0 | 0.0 |1288M|1884 | - |3717 |9110 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1025.31/1025.30 c 983s| 1630k|864933 | 0 | 0.0 |1297M|1884 | - |3717 |9443 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.91/1029.90 c 987s| 1640k|871920 | 0 | 0.0 |1305M|1884 | - |3717 |9907 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1034.80/1034.85 c 992s| 1650k|878567 | 0 | 0.0 |1314M|1884 | - |3717 | 10k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.91/1039.96 c 997s| 1660k|885084 | 0 | 0.0 |1323M|1884 | - |3717 | 10k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1045.11/1045.17 c 1002s| 1670k|891454 | 0 | 0.0 |1331M|1884 | - |3717 | 10k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.00/1051.07 c 1007s| 1680k|897240 | 0 | 0.0 |1340M|1884 | - |3717 | 11k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1057.01/1057.01 c 1013s| 1690k|903051 | 0 | 0.0 |1349M|1884 | - |3717 | 11k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.61/1063.64 c 1019s| 1700k|908281 | 0 | 0.0 |1357M|1884 | - |3717 | 12k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.71/1070.74 c 1026s| 1710k|913097 | 0 | 0.0 |1366M|1884 | - |3717 | 13k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1078.30/1078.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.30/1078.35 c 1033s| 1720k|917519 | 0 | 0.0 |1374M|1884 | - |3717 | 14k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.71/1086.75 c 1041s| 1730k|921378 | 0 | 0.0 |1382M|1884 | - |3717 | 14k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.31/1096.34 c 1051s| 1740k|924358 | 0 | 0.0 |1390M|1884 | - |3717 | 15k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.71/1108.79 c 1063s| 1750k|925293 | 0 | 0.0 |1395M|1884 | - |3717 | 17k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.51/1114.51 c 1068s| 1760k|932084 | 0 | 0.0 |1400M|1884 | - |3717 |9329 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.62/1118.66 c 1072s| 1770k|939582 | 0 | 0.0 |1408M|1884 | - |3717 |9548 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1123.01/1123.06 c 1076s| 1780k|946791 | 0 | 0.0 |1416M|1884 | - |3717 |9857 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.71/1127.72 c 1080s| 1790k|953662 | 0 | 0.0 |1425M|1884 | - |3717 | 10k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.70/1132.71 c 1085s| 1800k|960233 | 0 | 0.0 |1433M|1884 | - |3717 | 10k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.21/1138.22 c 1090s| 1810k|966294 | 0 | 0.0 |1442M|1884 | - |3717 | 11k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1144.21/1144.22 c 1096s| 1820k|971825 | 0 | 0.0 |1450M|1884 | - |3717 | 12k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.31/1151.30 c 1103s| 1830k|976347 | 0 | 0.0 |1458M|1884 | - |3717 | 13k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1161.21/1161.28 c 1112s| 1840k|978583 | 0 | 0.0 |1465M|1884 | - |3717 | 16k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.61/1167.62 c 1118s| 1850k|984754 | 0 | 0.0 |1470M|1884 | - |3717 |9340 | 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.60/1171.62 c 1122s| 1860k|992449 | 0 | 0.0 |1478M|1884 | - |3717 |8880 | 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1175.31/1175.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.31/1175.39 c 1125s| 1870k| 1000k| 0 | 0.0 |1485M|1884 | - |3717 |8984 | 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.31/1179.33 c 1129s| 1880k| 1007k| 0 | 0.0 |1493M|1884 | - |3717 |9288 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1183.31/1183.35 c 1132s| 1890k| 1015k| 0 | 0.0 |1501M|1884 | - |3717 |9410 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1187.41/1187.43 c 1136s| 1900k| 1022k| 0 | 0.0 |1509M|1884 | - |3717 |9601 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1191.81/1191.82 c 1140s| 1910k| 1029k| 0 | 0.0 |1517M|1884 | - |3717 |9880 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1196.21/1196.23 c 1144s| 1920k| 1036k| 0 | 0.0 |1525M|1884 | - |3717 | 10k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.71/1200.75 c 1149s| 1930k| 1043k| 0 | 0.0 |1533M|1884 | - |3717 | 10k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.52/1205.60 c 1153s| 1940k| 1050k| 0 | 0.0 |1541M|1884 | - |3717 | 10k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.81/1211.85 c 1159s| 1950k| 1056k| 0 | 0.0 |1549M|1884 | - |3717 | 12k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.72/1218.77 c 1166s| 1960k| 1061k| 0 | 0.0 |1558M|1884 | - |3717 | 13k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.31/1226.39 c 1173s| 1970k| 1066k| 0 | 0.0 |1567M|1884 | - |3717 | 14k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1234.81/1234.87 c 1181s| 1980k| 1070k| 0 | 0.0 |1575M|1884 | - |3717 | 15k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1244.21/1244.23 c 1190s| 1990k| 1073k| 0 | 0.0 |1584M|1884 | - |3717 | 17k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.51/1255.50 c 1200s| 2000k| 1076k| 0 | 0.0 |1592M|1884 | - |3717 | 18k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1269.21/1269.28 c 1214s| 2010k| 1077k| 0 | 0.0 |1598M|1884 | - |3717 | 22k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.21/1274.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.21/1274.29 c 1218s| 2020k| 1085k| 0 | 0.0 |1602M|1884 | - |3717 | 10k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.42/1278.45 c 1222s| 2030k| 1092k| 0 | 0.0 |1610M|1884 | - |3717 | 10k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1282.91/1282.96 c 1226s| 2040k| 1100k| 0 | 0.0 |1618M|1884 | - |3717 | 10k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.71/1287.76 c 1231s| 2050k| 1107k| 0 | 0.0 |1626M|1884 | - |3717 | 11k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.31/1293.38 c 1236s| 2060k| 1113k| 0 | 0.0 |1634M|1884 | - |3717 | 12k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.32/1300.36 c 1243s| 2070k| 1118k| 0 | 0.0 |1644M|1884 | - |3717 | 13k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.41/1308.46 c 1250s| 2080k| 1122k| 0 | 0.0 |1653M|1884 | - |3717 | 16k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.81/1319.84 c 1261s| 2090k| 1124k| 0 | 0.0 |1660M|1884 | - |3717 | 19k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1325.32/1325.31 c 1266s| 2100k| 1132k| 0 | 0.0 |1664M|1884 | - |3717 | 10k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.41/1329.45 c 1270s| 2110k| 1139k| 0 | 0.0 |1671M|1884 | - |3717 | 10k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.71/1333.77 c 1274s| 2120k| 1147k| 0 | 0.0 |1679M|1884 | - |3717 | 10k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.21/1338.25 c 1278s| 2130k| 1154k| 0 | 0.0 |1687M|1884 | - |3717 | 11k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.91/1343.92 c 1284s| 2140k| 1160k| 0 | 0.0 |1696M|1884 | - |3717 | 12k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.62/1350.68 c 1290s| 2150k| 1165k| 0 | 0.0 |1705M|1884 | - |3717 | 13k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.32/1358.34 c 1297s| 2160k| 1170k| 0 | 0.0 |1714M|1884 | - |3717 | 14k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.51/1367.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.51/1367.52 c 1306s| 2170k| 1173k| 0 | 0.0 |1723M|1884 | - |3717 | 17k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1377.12/1377.14 c 1315s| 2180k| 1177k| 0 | 0.0 |1727M|1884 | - |3717 | 13k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1381.62/1381.65 c 1319s| 2190k| 1185k| 0 | 0.0 |1734M|1884 | - |3717 | 10k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1386.41/1386.41 c 1324s| 2200k| 1192k| 0 | 0.0 |1743M|1884 | - |3717 | 10k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1391.71/1391.71 c 1329s| 2210k| 1198k| 0 | 0.0 |1751M|1884 | - |3717 | 11k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1397.61/1397.68 c 1334s| 2220k| 1204k| 0 | 0.0 |1760M|1884 | - |3717 | 12k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1404.52/1404.58 c 1341s| 2230k| 1209k| 0 | 0.0 |1769M|1884 | - |3717 | 14k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.42/1412.45 c 1348s| 2240k| 1214k| 0 | 0.0 |1778M|1884 | - |3717 | 16k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1422.62/1422.61 c 1358s| 2250k| 1217k| 0 | 0.0 |1786M|1884 | - |3717 | 18k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1434.91/1434.91 c 1370s| 2260k| 1219k| 0 | 0.0 |1790M|1884 | - |3717 | 12k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.32/1444.32 c 1379s| 2270k| 1223k| 0 | 0.0 |1798M|1884 | - |3717 | 12k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.61/1453.69 c 1388s| 2280k| 1227k| 0 | 0.0 |1805M|1884 | - |3717 | 12k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1463.42/1463.43 c 1397s| 2290k| 1230k| 0 | 0.0 |1813M|1884 | - |3717 | 13k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1473.32/1473.38 c 1407s| 2300k| 1234k| 0 | 0.0 |1821M|1884 | - |3717 | 13k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.92/1483.93 c 1417s| 2310k| 1237k| 0 | 0.0 |1828M|1884 | - |3717 | 15k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.62/1495.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.62/1495.63 c 1428s| 2320k| 1239k| 0 | 0.0 |1836M|1884 | - |3717 | 15k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1506.71/1506.75 c 1439s| 2330k| 1242k| 0 | 0.0 |1844M|1884 | - |3717 | 16k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.92/1518.97 c 1451s| 2340k| 1245k| 0 | 0.0 |1850M|1884 | - |3717 | 17k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.41/1531.40 c 1463s| 2350k| 1247k| 0 | 0.0 |1858M|1884 | - |3717 | 16k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1544.22/1544.23 c 1475s| 2360k| 1249k| 0 | 0.0 |1864M|1884 | - |3717 | 18k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.12/1557.12 c 1488s| 2370k| 1252k| 0 | 0.0 |1872M|1884 | - |3717 | 17k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1570.52/1570.58 c 1501s| 2380k| 1254k| 0 | 0.0 |1877M|1884 | - |3717 | 18k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.42/1583.42 c 1513s| 2390k| 1256k| 0 | 0.0 |1885M|1884 | - |3717 | 19k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1597.62/1597.68 c 1527s| 2400k| 1258k| 0 | 0.0 |1890M|1884 | - |3717 | 19k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.82/1610.88 c 1540s| 2410k| 1260k| 0 | 0.0 |1898M|1884 | - |3717 | 20k| 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.92/1624.90 c 1553s| 2420k| 1262k| 0 | 0.0 |1902M|1884 | - |3717 | 18k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.52/1639.50 c 1567s| 2430k| 1264k| 0 | 0.0 |1909M|1884 | - |3717 | 21k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1654.33/1654.31 c 1582s| 2440k| 1266k| 0 | 0.0 |1916M|1884 | - |3717 | 19k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.92/1669.90 c 1597s| 2450k| 1267k| 0 | 0.0 |1921M|1884 | - |3717 | 20k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.23/1685.25 c 1612s| 2460k| 1268k| 0 | 0.0 |1928M|1884 | - |3717 | 22k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.92/1700.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.92/1700.93 c 1627s| 2470k| 1269k| 0 | 0.0 |1932M|1884 | - |3717 | 19k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.02/1717.09 c 1643s| 2480k| 1270k| 0 | 0.0 |1940M|1884 | - |3717 | 22k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1732.82/1732.89 c 1658s| 2490k| 1272k| 0 | 0.0 |1946M|1884 | - |3717 | 19k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.83/1749.81 c 1675s| 2500k| 1272k| 0 | 0.0 |1950M|1884 | - |3717 | 22k| 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1766.32/1766.36 c 1691s| 2510k| 1273k| 0 | 0.0 |1957M|1884 | - |3717 | 23k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.63/1783.62 c 1708s| 2520k| 1273k| 0 | 0.0 |1960M|1884 | - |3717 | 22k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1723.85
1800.03/1800.00 c Solving Nodes : 2528969
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (38 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189
1800.03/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.03 v -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.03/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.03 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.03 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.03/1800.03 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.03/1800.03 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.03/1800.03 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.03/1800.03 v -x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1723.85
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2694089-1277904753.wbo
1800.03/1800.03 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.03/1800.03 c Constraints : 4524 initial, 4524 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2694089-1277904753.wbo
1800.03/1800.03 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.03/1800.03 c Constraints : 4346 initial, 24233 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.01 0 0 0 0 0 73 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.06 0 0 0 1836 0 105 87 0
1800.03/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1727 - - 3454 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 1743 0 4905704 0 1415417 36 866079 0 0 0
1800.03/1800.03 c setppc : 6 0 7982843 0 2065863 25780 4077597 0 0 0
1800.03/1800.03 c linear : 1743 0 8047433 0 2083746 406856 38736061 0 0 0
1800.03/1800.03 c logicor : 854+ 0 5422307 0 2083764 286654 9355526 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 360631 0 0 0 5 0 0 0
1800.03/1800.03 c countsols : 0 0 0 0 2083759 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c indicator : 6.37 0.00 2.73 0.00 3.64
1800.03/1800.03 c setppc : 19.96 0.00 18.31 0.00 1.65
1800.03/1800.03 c linear : 309.60 0.00 308.27 0.00 1.33
1800.03/1800.03 c logicor : 445.78 0.00 387.44 0.00 58.34
1800.03/1800.03 c bounddisjunction : 0.23 0.00 0.23 0.00 0.00
1800.03/1800.03 c countsols : 0.14 0.00 0.00 0.00 0.14
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 0.42 2 0 0
1800.03/1800.03 c rootredcost : 0.43 0 0 0
1800.03/1800.03 c pseudoobj : 267.11 8073984 839 848298
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 35.39 720129 720101 3552514 20.6 55162 10.7 -
1800.03/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.00 42 42 143 21.0 59 8.3 -
1800.03/1800.03 c applied globally : - - - 2042542 19.1 - - -
1800.03/1800.03 c applied locally : - - - 3 202.7 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.03 c redcost : 0.00 0 0 0 0 0
1800.03/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.00 0 0 0 0 0
1800.03/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.03 c cmir : 0.00 0 0 0 0 0
1800.03/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.03 c clique : 0.00 0 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.00 0 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 30.45 2083721 0 0 0 0 4167442
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.00 - 0
1800.03/1800.03 c pseudo solutions : 0.10 - 38
1800.03/1800.03 c oneopt : 0.24 0 0
1800.03/1800.03 c trivial : 0.00 2 0
1800.03/1800.03 c simplerounding : 0.00 0 0
1800.03/1800.03 c zirounding : 0.00 0 0
1800.03/1800.03 c rounding : 0.00 0 0
1800.03/1800.03 c shifting : 0.00 0 0
1800.03/1800.03 c intshifting : 0.00 0 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c feaspump : 0.00 0 0
1800.03/1800.03 c coefdiving : 0.00 0 0
1800.03/1800.03 c pscostdiving : 0.00 0 0
1800.03/1800.03 c fracdiving : 0.00 0 0
1800.03/1800.03 c veclendiving : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c objpscostdiving : 0.00 0 0
1800.03/1800.03 c rootsoldiving : 0.00 0 0
1800.03/1800.03 c linesearchdiving : 0.00 0 0
1800.03/1800.03 c guideddiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.00 0 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c crossover : 0.00 0 0
1800.03/1800.03 c dins : 0.00 0 0
1800.03/1800.03 c undercover : 0.00 0 0
1800.03/1800.03 c nlp : 0.11 0 0
1800.03/1800.03 c trysol : 0.14 1 0
1800.03/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.03 c (at root node) : - 0 0 0.00 -
1800.03/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.03 c B&B Tree :
1800.03/1800.03 c number of runs : 1
1800.03/1800.03 c nodes : 2528969
1800.03/1800.03 c nodes (total) : 2528969
1800.03/1800.03 c nodes left : 1274241
1800.03/1800.03 c max depth : 1884
1800.03/1800.03 c max depth (total): 1884
1800.03/1800.03 c backtracks : 398311 (15.7%)
1800.03/1800.03 c delayed cutoffs : 324611
1800.03/1800.03 c repropagations : 1467737 (15898085 domain reductions, 274997 cutoffs)
1800.03/1800.03 c avg switch length: 23.30
1800.03/1800.03 c switching time : 517.13
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 38 (38 improvements)
1800.03/1800.03 c First Solution : +7.57000000000000e+02 (in run 1, after 4829 nodes, 1.36 seconds, depth 760, found by <relaxation>)
1800.03/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1013623 nodes, 594.55 seconds, depth 310, found by <relaxation>)
1800.03/1800.03 c Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Gap : infinite
1800.03/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694089-1277904753/watcher-2694089-1277904753 -o /tmp/evaluation-result-2694089-1277904753/solver-2694089-1277904753 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694089-1277904753.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: 3.51 3.21 2.64 4/199 11806 /proc/meminfo: memFree=31415616/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=8264 CPUtime=0 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 131773291 8462336 1470 4089446400 4194304 7136930 140736900627808 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11806/statm: 2066 1470 275 719 0 1345 0 [startup+0.064776 s] /proc/loadavg: 3.51 3.21 2.64 4/199 11806 /proc/meminfo: memFree=31415616/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=27844 CPUtime=0.05 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 7083 0 0 0 5 0 0 0 25 0 1 0 131773291 28512256 6138 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 6961 6138 348 719 0 6240 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 27844 [startup+0.100767 s] /proc/loadavg: 3.51 3.21 2.64 4/199 11806 /proc/meminfo: memFree=31415616/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=27844 CPUtime=0.09 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 7356 0 0 0 8 1 0 0 25 0 1 0 131773291 28512256 6154 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 6961 6154 354 719 0 6240 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27844 [startup+0.300706 s] /proc/loadavg: 3.51 3.21 2.64 4/199 11806 /proc/meminfo: memFree=31415616/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=29600 CPUtime=0.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 10685 0 0 0 27 2 0 0 25 0 1 0 131773291 30310400 6656 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 7400 6656 391 719 0 6679 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29600 [startup+0.700602 s] /proc/loadavg: 3.51 3.21 2.64 4/199 11806 /proc/meminfo: memFree=31415616/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=31616 CPUtime=0.69 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 11210 0 0 0 64 5 0 0 25 0 1 0 131773291 32374784 7181 4089446400 4194304 7136930 140736900627808 18446744073709551615 4978211 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 7904 7181 395 719 0 7183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31616 [startup+1.50051 s] /proc/loadavg: 3.51 3.21 2.64 4/200 11807 /proc/meminfo: memFree=31387636/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=33796 CPUtime=1.48 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 11764 0 0 0 141 7 0 0 25 0 1 0 131773291 34607104 7735 4089446400 4194304 7136930 140736900627808 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 8449 7735 395 719 0 7728 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33796 [startup+3.10023 s] /proc/loadavg: 3.51 3.21 2.64 4/200 11807 /proc/meminfo: memFree=31384908/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=38040 CPUtime=3.09 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 12836 0 0 0 298 11 0 0 25 0 1 0 131773291 38952960 8807 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 9510 8807 395 719 0 8789 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38040 [startup+6.30069 s] /proc/loadavg: 3.47 3.21 2.64 4/200 11808 /proc/meminfo: memFree=31372508/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=50148 CPUtime=6.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 15877 0 0 0 609 20 0 0 25 0 1 0 131773291 51351552 11848 4089446400 4194304 7136930 140736900627808 18446744073709551615 4210331 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 12537 11848 395 719 0 11816 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50148 [startup+12.7005 s] /proc/loadavg: 3.43 3.20 2.64 4/200 11808 /proc/meminfo: memFree=31353300/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=66152 CPUtime=12.69 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 19889 0 0 0 1234 35 0 0 25 0 1 0 131773291 67739648 15860 4089446400 4194304 7136930 140736900627808 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11806/statm: 16538 15860 395 719 0 15817 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66152 [startup+25.5002 s] /proc/loadavg: 3.34 3.19 2.65 4/200 11809 /proc/meminfo: memFree=31315812/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=104272 CPUtime=25.48 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 29153 0 0 0 2485 63 0 0 25 0 1 0 131773291 106774528 25124 4089446400 4194304 7136930 140736900627808 18446744073709551615 4210335 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 26068 25124 398 719 0 25347 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 104272 [startup+51.1007 s] /proc/loadavg: 3.15 3.16 2.65 4/200 11809 /proc/meminfo: memFree=31260224/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=160760 CPUtime=51.09 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 42860 0 0 0 4982 127 0 0 25 0 1 0 131773291 164618240 38831 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 40190 38831 398 719 0 39469 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 160760 [startup+102.307 s] /proc/loadavg: 2.85 3.07 2.64 4/200 11811 /proc/meminfo: memFree=31169020/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=245604 CPUtime=102.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 64043 0 0 0 10010 219 0 0 25 0 1 0 131773291 251498496 60014 4089446400 4194304 7136930 140736900627808 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 61401 60014 398 719 0 60680 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 245604 [startup+162.301 s] /proc/loadavg: 2.77 3.01 2.64 4/200 11812 /proc/meminfo: memFree=31076464/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=336892 CPUtime=162.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 86390 0 0 0 15897 332 0 0 25 0 1 0 131773291 344977408 82361 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 84223 82361 398 719 0 83502 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 336892 [startup+222.301 s] /proc/loadavg: 2.84 2.99 2.65 4/200 11813 /proc/meminfo: memFree=30965044/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=447884 CPUtime=222.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 113138 0 0 0 21754 475 0 0 25 0 1 0 131773291 458633216 109109 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11806/statm: 111971 109109 398 719 0 111250 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 447884 [startup+282.301 s] /proc/loadavg: 2.96 2.99 2.67 4/200 11815 /proc/meminfo: memFree=30856936/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=550844 CPUtime=282.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 139108 0 0 0 27610 619 0 0 25 0 1 0 131773291 564064256 135079 4089446400 4194304 7136930 140736900627808 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11806/statm: 137711 135079 398 719 0 136990 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 550844 [startup+342.3 s] /proc/loadavg: 2.45 2.85 2.64 3/197 11863 /proc/meminfo: memFree=30984500/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=638884 CPUtime=342.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 161222 0 0 0 33402 827 0 0 25 0 1 0 131773291 654217216 157193 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 159721 157193 398 719 0 159000 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 638884 [startup+402.301 s] /proc/loadavg: 2.24 2.72 2.61 3/197 11865 /proc/meminfo: memFree=30912688/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=709868 CPUtime=402.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 179167 0 0 0 39124 1105 0 0 25 0 1 0 131773291 726904832 175138 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 177467 175138 398 719 0 176746 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 709868 [startup+462.301 s] /proc/loadavg: 2.09 2.59 2.57 3/197 11866 /proc/meminfo: memFree=30858068/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=768488 CPUtime=462.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 191806 0 0 0 44886 1343 0 0 25 0 1 0 131773291 786931712 187777 4089446400 4194304 7136930 140736900627808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 192122 187777 398 719 0 191401 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 768488 [startup+522.301 s] /proc/loadavg: 2.03 2.48 2.53 3/197 11867 /proc/meminfo: memFree=30812132/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=814068 CPUtime=522.29 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 203153 0 0 0 50678 1551 0 0 25 0 1 0 131773291 833605632 199124 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 203517 199124 398 719 0 202796 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 814068 [startup+582.301 s] /proc/loadavg: 2.01 2.39 2.49 3/197 11869 /proc/meminfo: memFree=30739772/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=885028 CPUtime=582.3 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 221032 0 0 0 56314 1916 0 0 25 0 1 0 131773291 906268672 217003 4089446400 4194304 7136930 140736900627808 18446744073709551615 5953128 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 221257 217003 398 719 0 220536 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 885028 [startup+642.3 s] /proc/loadavg: 2.00 2.31 2.46 3/197 11871 /proc/meminfo: memFree=30686140/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=937772 CPUtime=642.3 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 234307 0 0 0 61969 2261 0 0 25 0 1 0 131773291 960278528 230278 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 234443 230278 398 719 0 233722 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 937772 [startup+702.301 s] ################ # More data... # ################ /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 345201 0 0 0 96134 4096 0 0 25 0 1 0 131773291 1411457024 341172 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 344594 341172 398 719 0 343873 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1378376 [startup+1062.3 s] /proc/loadavg: 2.00 2.07 2.28 3/179 11910 /proc/meminfo: memFree=29692176/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1473468 CPUtime=1062.3 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 369172 0 0 0 101800 4430 0 0 25 0 1 0 131773291 1508831232 365143 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 368367 365143 398 719 0 367646 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1473468 [startup+1122.3 s] /proc/loadavg: 2.00 2.05 2.26 3/179 11911 /proc/meminfo: memFree=29632348/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1534716 CPUtime=1122.31 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 384493 0 0 0 107533 4698 0 0 25 0 1 0 131773291 1571549184 380464 4089446400 4194304 7136930 140736900627808 18446744073709551615 4660913 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 383679 380464 398 719 0 382958 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1534716 [startup+1182.3 s] /proc/loadavg: 2.00 2.04 2.24 3/179 11940 /proc/meminfo: memFree=29902576/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1635208 CPUtime=1182.31 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 405785 0 0 0 113155 5076 0 0 25 0 1 0 131773291 1674452992 401756 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 408802 401756 398 719 0 408081 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1635208 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.22 3/179 11942 /proc/meminfo: memFree=29651940/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1712312 CPUtime=1242.31 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 425281 0 0 0 118787 5444 0 0 25 0 1 0 131773291 1753407488 421252 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 428078 421252 398 719 0 427357 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1712312 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.20 3/179 11944 /proc/meminfo: memFree=29425212/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1781056 CPUtime=1302.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 442584 0 0 0 124453 5779 0 0 25 0 1 0 131773291 1823801344 438555 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 445264 438555 398 719 0 444543 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1781056 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.19 3/179 11945 /proc/meminfo: memFree=29204816/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1849492 CPUtime=1362.31 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 459890 0 0 0 130106 6125 0 0 25 0 1 0 131773291 1893879808 455861 4089446400 4194304 7136930 140736900627808 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 462373 455861 398 719 0 461652 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1849492 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.17 3/179 11946 /proc/meminfo: memFree=28989368/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1916060 CPUtime=1422.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 476709 0 0 0 135768 6464 0 0 25 0 1 0 131773291 1962045440 472680 4089446400 4194304 7136930 140736900627808 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 479015 472680 398 719 0 478294 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1916060 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.17 3/179 11948 /proc/meminfo: memFree=28806412/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1954812 CPUtime=1482.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 486431 0 0 0 141524 6708 0 0 25 0 1 0 131773291 2001727488 482402 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 488703 482402 398 719 0 487982 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1954812 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.15 3/197 11995 /proc/meminfo: memFree=29640440/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=1991712 CPUtime=1542.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 495784 0 0 0 147317 6915 0 0 25 0 1 0 131773291 2039513088 491755 4089446400 4194304 7136930 140736900627808 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 497928 491755 398 719 0 497207 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1991712 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.14 4/197 11997 /proc/meminfo: memFree=29610392/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2020148 CPUtime=1602.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 502820 0 0 0 153136 7096 0 0 25 0 1 0 131773291 2068631552 498791 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 505037 498791 398 719 0 504316 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2020148 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.13 3/197 11998 /proc/meminfo: memFree=29581200/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2047732 CPUtime=1662.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 509791 0 0 0 158961 7271 0 0 25 0 1 0 131773291 2096877568 505762 4089446400 4194304 7136930 140736900627808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 511933 505762 398 719 0 511212 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2047732 [startup+1722.3 s] /proc/loadavg: 2.24 2.05 2.14 4/197 12008 /proc/meminfo: memFree=29553852/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2064620 CPUtime=1722.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 514095 0 0 0 164817 7415 0 0 25 0 1 0 131773291 2114170880 510066 4089446400 4194304 7136930 140736900627808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 516155 510066 398 719 0 515434 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2064620 [startup+1782.3 s] /proc/loadavg: 2.09 2.04 2.12 4/197 12010 /proc/meminfo: memFree=29535676/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2083032 CPUtime=1782.32 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 518769 0 0 0 170658 7574 0 0 25 0 1 0 131773291 2133024768 514740 4089446400 4194304 7136930 140736900627808 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 520758 514740 398 719 0 520037 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2083032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.03 2.12 3/197 12010 /proc/meminfo: memFree=29529584/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2088912 CPUtime=1800.03 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 520235 0 0 0 172387 7616 0 0 25 0 1 0 131773291 2139045888 516206 4089446400 4194304 7136930 140736900627808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/11806/statm: 522228 516206 398 719 0 521507 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2088912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11806 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.06 2.03 2.12 4/198 12011 /proc/meminfo: memFree=29529696/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2088984 CPUtime=1801.43 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 520251 0 0 0 172527 7616 0 0 25 0 1 0 131773291 2139119616 516222 4089446400 4194304 7136930 140736900627808 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11806/statm: 522246 516222 403 719 0 521525 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2088984 [startup+1801.81 s] /proc/loadavg: 2.06 2.03 2.12 4/198 12011 /proc/meminfo: memFree=29529696/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2088984 CPUtime=1801.83 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 520251 0 0 0 172567 7616 0 0 25 0 1 0 131773291 2139119616 516222 4089446400 4194304 7136930 140736900627808 18446744073709551615 4615715 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11806/statm: 522246 516222 403 719 0 521525 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2088984 [startup+1802 s] /proc/loadavg: 2.06 2.03 2.12 4/198 12011 /proc/meminfo: memFree=29529696/32951124 swapFree=67111528/67111528 [pid=11806] ppid=11804 vsize=2088984 CPUtime=1802.03 /proc/11806/stat : 11806 (pbscip.linux.x8) R 11804 11806 10848 0 -1 4202496 520251 0 0 0 172587 7616 0 0 25 0 1 0 131773291 2139119616 516222 4089446400 4194304 7136930 140736900627808 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11806/statm: 522246 516222 403 719 0 521525 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2088984 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.11 CPU user time (s): 1725.88 CPU system time (s): 76.2314 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2088984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.88 system time used= 76.2314 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 520251 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= 3975 runsolver used 2.76258 second user time and 5.54516 second system time The end
Begin job on node103 at 2010-06-30 15:32:33 IDJOB=2694089 IDBENCH=78923 IDSOLVER=1206 FILE ID=node103/2694089-1277904753 PBS_JOBID= 11197186 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.1900577940--soft-33-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-2694089-1277904753/watcher-2694089-1277904753 -o /tmp/evaluation-result-2694089-1277904753/solver-2694089-1277904753 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694089-1277904753.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 426e5957e411ffe2f76bd332943fd07d RANDOM SEED=1490290875 node103.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.817 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.63 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.817 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.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.75 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.817 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.817 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: 31415772 kB Buffers: 188644 kB Cached: 903632 kB SwapCached: 0 kB Active: 759988 kB Inactive: 633360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31415772 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3216 kB Writeback: 0 kB AnonPages: 300968 kB Mapped: 20356 kB Slab: 77280 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1653204 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= 74208 MiB End job on node103 at 2010-06-30 16:02:35