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.15 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo |
| MD5SUM | 0a3bbeff5fae384bd8f72d98174965d3 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 385.443 |
| 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 | 2707 |
| 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 | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 683 |
| 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-2693659-1277929108.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 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.09/0.12 o 134313
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.343130e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 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 (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
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.97
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.20 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.20 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
2.09/2.14 o 558
2.09/2.14 c * 2.0s| 7009 | 6617 | 0 | 0.0 | 23M|2816 | - |5645 |6730 | 0 | 0 | 0 |1316 | 0 | 0.000000e+00 | 5.580000e+02 | Inf
2.20/2.22 o 487
2.20/2.22 c * 2.1s| 7177 | 6778 | 0 | 0.0 | 23M|2816 | - |5645 |6756 | 0 | 0 | 0 |1342 | 0 | 0.000000e+00 | 4.870000e+02 | Inf
2.20/2.22 o 402
2.20/2.22 c * 2.1s| 7178 | 6110 | 0 | 0.0 | 23M|2816 | - |5645 |6756 | 0 | 0 | 0 |1342 | 0 | 0.000000e+00 | 4.020000e+02 | Inf
2.20/2.29 o 382
2.20/2.29 c * 2.2s| 7328 | 5997 | 0 | 0.0 | 24M|2816 | - |5645 |6766 | 0 | 0 | 0 |1352 | 0 | 0.000000e+00 | 3.820000e+02 | Inf
2.20/2.29 o 362
2.20/2.29 c * 2.2s| 7329 | 5721 | 0 | 0.0 | 24M|2816 | - |5645 |6766 | 0 | 0 | 0 |1352 | 0 | 0.000000e+00 | 3.620000e+02 | Inf
2.29/2.37 o 352
2.29/2.37 c * 2.3s| 7466 | 5714 | 0 | 0.0 | 24M|2816 | - |5645 |6766 | 0 | 0 | 0 |1352 | 0 | 0.000000e+00 | 3.520000e+02 | Inf
2.29/2.38 o 350
2.29/2.38 c * 2.3s| 7470 | 5688 | 0 | 0.0 | 24M|2816 | - |5645 |6776 | 0 | 0 | 0 |1362 | 0 | 0.000000e+00 | 3.500000e+02 | Inf
2.39/2.46 o 319
2.39/2.46 c * 2.4s| 7633 | 5825 | 0 | 0.0 | 24M|2816 | - |5645 |6813 | 0 | 0 | 0 |1399 | 0 | 0.000000e+00 | 3.190000e+02 | Inf
2.49/2.59 o 278
2.49/2.59 c * 2.5s| 7910 | 6074 | 0 | 0.0 | 24M|2816 | - |5645 |6853 | 0 | 0 | 0 |1439 | 0 | 0.000000e+00 | 2.780000e+02 | Inf
2.79/2.86 o 275
2.79/2.86 c * 2.8s| 8521 | 6646 | 0 | 0.0 | 25M|2816 | - |5645 |7006 | 0 | 0 | 0 |1592 | 0 | 0.000000e+00 | 2.750000e+02 | Inf
2.90/2.94 o 251
2.90/2.94 c * 2.8s| 8711 | 6800 | 0 | 0.0 | 25M|2816 | - |5645 |7022 | 0 | 0 | 0 |1615 | 0 | 0.000000e+00 | 2.510000e+02 | Inf
3.30/3.35 c 3.2s| 10000 | 7942 | 0 | 0.0 | 26M|2816 | - |5645 |7371 | 0 | 0 | 0 |2249 | 0 | 0.000000e+00 | 2.510000e+02 | Inf
6.99/7.05 c 6.8s| 20000 | 15885 | 0 | 0.0 | 38M|2816 | - |5645 |8032 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
12.79/12.81 c 12.5s| 30000 | 21550 | 0 | 0.0 | 51M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
13.10/13.16 o 237
13.10/13.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.10/13.16 c *12.8s| 30626 | 22114 | 0 | 0.0 | 52M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
13.10/13.16 o 235
13.10/13.16 c *12.8s| 30628 | 22108 | 0 | 0.0 | 52M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.350000e+02 | Inf
13.20/13.24 o 230
13.20/13.24 c *12.9s| 30747 | 22204 | 0 | 0.0 | 52M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
13.99/14.05 o 221
13.99/14.05 c *13.7s| 32009 | 23379 | 0 | 0.0 | 53M|2816 | - |5645 |9569 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
14.09/14.11 o 214
14.09/14.11 c *13.8s| 32104 | 23439 | 0 | 0.0 | 53M|2816 | - |5645 |9519 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
14.09/14.12 o 198
14.09/14.12 c *13.8s| 32105 | 23334 | 0 | 0.0 | 53M|2816 | - |5645 |9519 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
14.69/14.74 o 180
14.69/14.74 c *14.4s| 33090 | 24121 | 0 | 0.0 | 54M|2816 | - |5645 |9099 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
14.69/14.74 o 164
14.69/14.74 c *14.4s| 33091 | 23996 | 0 | 0.0 | 54M|2816 | - |5645 |9099 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
14.90/14.97 o 150
14.90/14.97 c *14.6s| 33430 | 24148 | 0 | 0.0 | 54M|2816 | - |5645 |9010 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
14.99/15.00 o 146
14.99/15.00 c *14.7s| 33482 | 24163 | 0 | 0.0 | 54M|2816 | - |5645 |9010 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
15.09/15.12 o 143
15.09/15.12 c *14.8s| 33628 | 24252 | 0 | 0.0 | 54M|2816 | - |5645 |8951 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
18.99/19.01 o 113
18.99/19.01 c *18.6s| 39468 | 29371 | 0 | 0.0 | 61M|2816 | - |5645 |7613 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
19.29/19.36 c 19.0s| 40000 | 29861 | 0 | 0.0 | 62M|2816 | - |5645 |7522 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
21.29/21.39 o 100
21.29/21.39 c *21.0s| 43048 | 32368 | 0 | 0.0 | 66M|2816 | - |5645 |7616 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
22.00/22.02 o 90
22.00/22.02 c *21.6s| 43912 | 32622 | 0 | 0.0 | 66M|2816 | - |5645 |7839 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
25.50/25.51 o 78
25.50/25.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.50/25.51 c *25.0s| 48499 | 35670 | 0 | 0.0 | 68M|2816 | - |5645 |7400 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
25.50/25.58 o 75
25.50/25.58 c *25.1s| 48595 | 35452 | 0 | 0.0 | 68M|2816 | - |5645 |7413 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
26.40/26.44 c 26.0s| 50000 | 36705 | 0 | 0.0 | 69M|2816 | - |5645 |7482 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
28.29/28.35 o 60
28.29/28.35 c *27.8s| 52960 | 38306 | 0 | 0.0 | 71M|2816 | - |5645 |7708 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
28.60/28.60 o 49
28.60/28.60 c *28.1s| 53414 | 37979 | 0 | 0.0 | 70M|2816 | - |5645 |7778 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
31.09/31.12 o 46
31.09/31.12 c *30.6s| 57190 | 40863 | 0 | 0.0 | 74M|2816 | - |5645 |6987 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
32.29/32.34 c 31.7s| 60000 | 43275 | 0 | 0.0 | 76M|2816 | - |5645 |7183 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
34.59/34.68 o 40
34.59/34.68 c *34.0s| 64845 | 46980 | 0 | 0.0 | 80M|2816 | - |5645 |7493 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
35.29/35.40 o 30
35.29/35.40 c *34.7s| 66573 | 47897 | 0 | 0.0 | 81M|2816 | - |5645 |7618 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
36.59/36.68 c 36.0s| 70000 | 50825 | 0 | 0.0 | 84M|2816 | - |5645 |7717 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
40.29/40.39 c 39.6s| 80000 | 59306 | 0 | 0.0 | 93M|2816 | - |5645 |6180 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
44.69/44.75 c 43.9s| 90000 | 67010 | 0 | 0.0 | 105M|2816 | - |5645 |7239 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
49.29/49.38 c 48.5s|100000 | 74471 | 0 | 0.0 | 116M|2816 | - |5645 |7613 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
54.49/54.56 c 53.5s|110000 | 81444 | 0 | 0.0 | 127M|2816 | - |5645 |8333 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
60.19/60.22 c 59.1s|120000 | 87872 | 0 | 0.0 | 138M|2816 | - |5645 |8772 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
66.00/66.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.00/66.03 c 64.8s|130000 | 94200 | 0 | 0.0 | 149M|2816 | - |5645 |9291 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
72.29/72.32 c 71.0s|140000 |100138 | 0 | 0.0 | 161M|2816 | - |5645 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
78.69/78.78 c 77.4s|150000 |105991 | 0 | 0.0 | 172M|2816 | - |5645 | 10k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
85.39/85.44 c 84.0s|160000 |111663 | 0 | 0.0 | 184M|2816 | - |5645 | 11k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
93.30/93.35 c 91.8s|170000 |116286 | 0 | 0.0 | 195M|2816 | - |5645 | 12k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
102.99/103.01 c 101s|180000 |119791 | 0 | 0.0 | 206M|2816 | - |5645 | 15k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
115.70/115.77 c 114s|190000 |121051 | 0 | 0.0 | 214M|2816 | - |5645 | 15k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
119.09/119.14 o 26
119.09/119.14 c * 117s|196222 |126116 | 0 | 0.0 | 217M|2816 | - |5645 |6713 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
119.09/119.14 o 23
119.09/119.14 c * 117s|196223 |125876 | 0 | 0.0 | 216M|2816 | - |5645 |6713 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
121.29/121.30 c 119s|200000 |129028 | 0 | 0.0 | 221M|2816 | - |5645 |6127 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
125.09/125.18 o 20
125.09/125.18 c * 123s|206673 |134202 | 0 | 0.0 | 228M|2816 | - |5645 |6521 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
127.29/127.37 c 125s|210000 |136792 | 0 | 0.0 | 233M|2816 | - |5645 |7109 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
127.39/127.40 o 12
127.39/127.40 c * 125s|210019 |135776 | 0 | 0.0 | 229M|2816 | - |5645 |7111 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
135.39/135.40 c 133s|220000 |142528 | 0 | 0.0 | 242M|2816 | - |5645 |8458 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
138.89/138.93 o 8
138.89/138.93 c * 137s|224617 |145151 | 0 | 0.0 | 245M|2816 | - |5645 |7697 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
143.10/143.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.10/143.18 c 141s|230000 |148852 | 0 | 0.0 | 252M|2816 | - |5645 |7540 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
149.20/149.26 c 147s|240000 |156305 | 0 | 0.0 | 262M|2816 | - |5645 |7734 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
155.59/155.68 c 153s|250000 |163591 | 0 | 0.0 | 272M|2816 | - |5645 |8610 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
162.99/163.09 c 161s|260000 |170463 | 0 | 0.0 | 282M|2816 | - |5645 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
166.89/166.91 o 5
166.89/166.91 c * 164s|264279 |172249 | 0 | 0.0 | 284M|2816 | - |5645 | 11k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
173.30/173.39 c 171s|270000 |175309 | 0 | 0.0 | 292M|2816 | - |5645 | 13k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
184.99/185.07 c 182s|280000 |177960 | 0 | 0.0 | 302M|2816 | - |5645 |8929 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
190.70/190.73 c 188s|290000 |185590 | 0 | 0.0 | 314M|2816 | - |5645 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
196.70/196.70 o 3
196.70/196.70 c * 194s|298385 |190589 | 0 | 0.0 | 320M|2816 | - |5645 | 10k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
197.79/197.86 c 195s|300000 |191693 | 0 | 0.0 | 322M|2816 | - |5645 | 10k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
205.00/205.00 c 202s|310000 |197580 | 0 | 0.0 | 333M|2816 | - |5645 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
209.90/209.94 c 207s|320000 |205559 | 0 | 0.0 | 345M|2816 | - |5645 | 11k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.00/217.00 c 214s|330000 |212396 | 0 | 0.0 | 358M|2816 | - |5645 | 11k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
224.90/224.94 c 222s|340000 |218186 | 0 | 0.0 | 370M|2816 | - |5645 | 15k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
230.30/230.39 c 227s|350000 |226097 | 0 | 0.0 | 382M|2816 | - |5645 | 12k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
237.30/237.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.30/237.36 c 234s|360000 |232615 | 0 | 0.0 | 393M|2816 | - |5645 | 11k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
244.20/244.21 c 241s|370000 |239095 | 0 | 0.0 | 403M|2816 | - |5645 | 16k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
249.19/249.26 c 246s|380000 |247050 | 0 | 0.0 | 412M|2816 | - |5645 | 14k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
256.80/256.83 c 253s|390000 |253648 | 0 | 0.0 | 426M|2816 | - |5645 | 13k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.70/263.72 c 260s|400000 |260343 | 0 | 0.0 | 439M|2816 | - |5645 | 13k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
267.80/267.88 c 264s|410000 |268414 | 0 | 0.0 | 448M|2816 | - |5645 | 11k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
272.20/272.30 c 268s|420000 |276230 | 0 | 0.0 | 457M|2816 | - |5645 | 12k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
278.30/278.34 c 274s|430000 |282402 | 0 | 0.0 | 467M|2816 | - |5645 | 14k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
283.10/283.17 c 279s|440000 |289855 | 0 | 0.0 | 475M|2816 | - |5645 | 11k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
288.80/288.80 c 284s|450000 |296302 | 0 | 0.0 | 484M|2816 | - |5645 | 13k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
292.80/292.85 c 288s|460000 |304449 | 0 | 0.0 | 493M|2816 | - |5645 | 12k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
298.00/298.06 c 293s|470000 |311362 | 0 | 0.0 | 502M|2816 | - |5645 | 11k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
302.80/302.82 c 298s|480000 |318806 | 0 | 0.0 | 512M|2816 | - |5645 | 12k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
308.00/308.01 c 303s|490000 |325845 | 0 | 0.0 | 521M|2816 | - |5645 | 12k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
312.91/312.93 c 308s|500000 |333213 | 0 | 0.0 | 530M|2816 | - |5645 | 11k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
318.40/318.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.40/318.41 c 313s|510000 |340099 | 0 | 0.0 | 539M|2816 | - |5645 | 11k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
323.60/323.68 c 319s|520000 |347107 | 0 | 0.0 | 548M|2816 | - |5645 | 11k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
328.60/328.62 c 323s|530000 |354340 | 0 | 0.0 | 557M|2816 | - |5645 | 12k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
333.01/333.06 c 328s|540000 |362166 | 0 | 0.0 | 566M|2816 | - |5645 | 11k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
338.11/338.16 c 333s|550000 |369205 | 0 | 0.0 | 575M|2816 | - |5645 | 12k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
343.00/343.02 c 338s|560000 |376533 | 0 | 0.0 | 584M|2816 | - |5645 | 12k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
347.80/347.81 c 342s|570000 |383814 | 0 | 0.0 | 592M|2816 | - |5645 |7972 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
351.50/351.51 c 346s|580000 |391972 | 0 | 0.0 | 601M|2816 | - |5645 |7125 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
355.21/355.23 c 350s|590000 |400123 | 0 | 0.0 | 611M|2816 | - |5645 |7116 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
359.41/359.44 c 354s|600000 |407722 | 0 | 0.0 | 621M|2816 | - |5645 |7639 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
366.01/366.07 c 360s|610000 |413222 | 0 | 0.0 | 632M|2816 | - |5645 |8575 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
373.31/373.36 c 367s|620000 |418311 | 0 | 0.0 | 644M|2816 | - |5645 |9411 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
381.21/381.27 c 375s|630000 |422919 | 0 | 0.0 | 655M|2816 | - |5645 |9598 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
389.31/389.39 c 383s|640000 |427350 | 0 | 0.0 | 665M|2816 | - |5645 |9766 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
397.11/397.14 c 391s|650000 |432037 | 0 | 0.0 | 676M|2816 | - |5645 | 10k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
405.21/405.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.21/405.28 c 399s|660000 |436506 | 0 | 0.0 | 686M|2816 | - |5645 | 10k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
413.51/413.52 c 407s|670000 |440915 | 0 | 0.0 | 696M|2816 | - |5645 | 11k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
421.61/421.67 c 415s|680000 |445459 | 0 | 0.0 | 706M|2816 | - |5645 | 11k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
430.11/430.16 c 423s|690000 |449642 | 0 | 0.0 | 716M|2816 | - |5645 | 11k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
439.10/439.11 c 432s|700000 |453567 | 0 | 0.0 | 726M|2816 | - |5645 | 11k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
448.30/448.32 c 441s|710000 |457205 | 0 | 0.0 | 736M|2816 | - |5645 | 11k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
457.21/457.21 c 450s|720000 |461170 | 0 | 0.0 | 745M|2816 | - |5645 | 11k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
465.40/465.42 c 458s|730000 |465731 | 0 | 0.0 | 756M|2816 | - |5645 | 11k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
474.21/474.21 c 467s|740000 |469695 | 0 | 0.0 | 766M|2816 | - |5645 | 12k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
483.01/483.00 c 476s|750000 |473824 | 0 | 0.0 | 775M|2816 | - |5645 | 12k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
492.21/492.23 c 485s|760000 |477579 | 0 | 0.0 | 785M|2816 | - |5645 | 13k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
501.31/501.32 c 494s|770000 |481525 | 0 | 0.0 | 795M|2816 | - |5645 | 12k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
510.61/510.67 c 503s|780000 |485241 | 0 | 0.0 | 805M|2816 | - |5645 | 12k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
520.01/520.05 c 512s|790000 |489018 | 0 | 0.0 | 815M|2816 | - |5645 | 12k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
530.11/530.13 c 522s|800000 |492123 | 0 | 0.0 | 824M|2816 | - |5645 | 13k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
540.61/540.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.61/540.64 c 533s|810000 |495081 | 0 | 0.0 | 834M|2816 | - |5645 | 14k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
551.21/551.27 c 543s|820000 |498056 | 0 | 0.0 | 843M|2816 | - |5645 | 14k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
562.61/562.65 c 554s|830000 |500558 | 0 | 0.0 | 851M|2816 | - |5645 | 14k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
574.01/574.07 c 566s|840000 |501794 | 0 | 0.0 | 860M|2816 | - |5645 | 14k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
587.91/587.95 c 579s|850000 |500827 | 0 | 0.0 | 865M|2816 | - |5645 | 17k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
605.02/605.04 c 596s|860000 |495752 | 0 | 0.0 | 863M|2816 | - |5645 | 19k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
613.82/613.87 c 605s|870000 |496458 | 0 | 0.0 | 852M|2816 | - |5645 |5094 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
618.41/618.47 c 610s|880000 |503795 | 0 | 0.0 | 862M|2816 | - |5645 |5307 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
623.51/623.56 c 615s|890000 |510672 | 0 | 0.0 | 872M|2816 | - |5645 |5779 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
629.01/629.00 c 620s|900000 |517242 | 0 | 0.0 | 883M|2816 | - |5645 |5829 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
634.81/634.85 c 626s|910000 |523440 | 0 | 0.0 | 894M|2816 | - |5645 |5791 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
641.11/641.10 c 632s|920000 |529301 | 0 | 0.0 | 904M|2816 | - |5645 |5938 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
647.62/647.63 c 638s|930000 |534835 | 0 | 0.0 | 915M|2816 | - |5645 |6311 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
654.62/654.61 c 645s|940000 |539982 | 0 | 0.0 | 925M|2816 | - |5645 |6923 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
661.91/661.93 c 652s|950000 |544952 | 0 | 0.0 | 935M|2816 | - |5645 |7211 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
669.52/669.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.52/669.59 c 660s|960000 |549572 | 0 | 0.0 | 945M|2816 | - |5645 |7853 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
678.11/678.11 c 668s|970000 |553540 | 0 | 0.0 | 954M|2816 | - |5645 |8725 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
686.72/686.75 c 677s|980000 |557584 | 0 | 0.0 | 963M|2816 | - |5645 |8948 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
695.32/695.36 c 685s|990000 |561577 | 0 | 0.0 | 972M|2816 | - |5645 |9126 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
703.92/703.94 c 694s| 1000k|565720 | 0 | 0.0 | 980M|2816 | - |5645 |9335 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
712.22/712.28 c 702s| 1010k|570077 | 0 | 0.0 | 989M|2816 | - |5645 |8527 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
719.52/719.51 c 709s| 1020k|575266 | 0 | 0.0 | 997M|2816 | - |5645 |7521 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
725.82/725.81 c 715s| 1030k|581159 | 0 | 0.0 |1005M|2816 | - |5645 |7046 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
731.62/731.65 c 721s| 1040k|587482 | 0 | 0.0 |1015M|2816 | - |5645 |6908 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
737.12/737.19 c 726s| 1050k|593976 | 0 | 0.0 |1024M|2816 | - |5645 |6985 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
742.82/742.86 c 732s| 1060k|600427 | 0 | 0.0 |1034M|2816 | - |5645 |6961 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
748.52/748.53 c 737s| 1070k|606837 | 0 | 0.0 |1043M|2816 | - |5645 |7413 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
754.72/754.77 c 744s| 1080k|612774 | 0 | 0.0 |1054M|2816 | - |5645 |7342 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
760.92/760.97 c 750s| 1090k|618789 | 0 | 0.0 |1064M|2816 | - |5645 |7630 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
767.32/767.31 c 756s| 1100k|624819 | 0 | 0.0 |1075M|2816 | - |5645 |7598 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
774.02/774.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.02/774.06 c 762s| 1110k|630353 | 0 | 0.0 |1085M|2816 | - |5645 |7929 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
780.72/780.77 c 769s| 1120k|635986 | 0 | 0.0 |1095M|2816 | - |5645 |8248 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
787.52/787.52 c 776s| 1130k|641604 | 0 | 0.0 |1105M|2816 | - |5645 |8574 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
794.52/794.52 c 783s| 1140k|647113 | 0 | 0.0 |1116M|2816 | - |5645 |8882 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
801.52/801.53 c 790s| 1150k|652592 | 0 | 0.0 |1125M|2816 | - |5645 |8870 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.02/809.07 c 797s| 1160k|657625 | 0 | 0.0 |1135M|2816 | - |5645 |9526 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
816.72/816.73 c 805s| 1170k|662650 | 0 | 0.0 |1145M|2816 | - |5645 |9944 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
824.32/824.37 c 812s| 1180k|667697 | 0 | 0.0 |1155M|2816 | - |5645 | 10k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
832.02/832.05 c 820s| 1190k|672759 | 0 | 0.0 |1165M|2816 | - |5645 | 10k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
840.72/840.71 c 828s| 1200k|677081 | 0 | 0.0 |1174M|2816 | - |5645 | 10k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
849.32/849.39 c 837s| 1210k|681466 | 0 | 0.0 |1184M|2816 | - |5645 | 11k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
858.82/858.82 c 846s| 1220k|685353 | 0 | 0.0 |1194M|2816 | - |5645 | 12k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
868.62/868.61 c 856s| 1230k|689112 | 0 | 0.0 |1203M|2816 | - |5645 | 13k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
879.42/879.43 c 866s| 1240k|692359 | 0 | 0.0 |1212M|2816 | - |5645 | 14k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
890.82/890.87 c 878s| 1250k|695271 | 0 | 0.0 |1221M|2816 | - |5645 | 15k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
904.52/904.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.52/904.54 c 891s| 1260k|696944 | 0 | 0.0 |1229M|2816 | - |5645 | 18k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
917.22/917.24 c 904s| 1270k|699563 | 0 | 0.0 |1231M|2816 | - |5645 |9653 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
921.73/921.77 c 908s| 1280k|707215 | 0 | 0.0 |1241M|2816 | - |5645 |6135 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
926.13/926.16 c 912s| 1290k|714780 | 0 | 0.0 |1250M|2816 | - |5645 |6688 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.82/930.85 c 917s| 1300k|722031 | 0 | 0.0 |1260M|2816 | - |5645 |7107 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
935.92/935.98 c 922s| 1310k|728922 | 0 | 0.0 |1270M|2816 | - |5645 |7572 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
941.32/941.35 c 927s| 1320k|735571 | 0 | 0.0 |1279M|2816 | - |5645 |8135 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
947.52/947.55 c 933s| 1330k|741567 | 0 | 0.0 |1289M|2816 | - |5645 |8768 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
954.22/954.20 c 940s| 1340k|747147 | 0 | 0.0 |1298M|2816 | - |5645 |9250 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
961.33/961.32 c 947s| 1350k|752176 | 0 | 0.0 |1307M|2816 | - |5645 |8933 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
968.42/968.42 c 954s| 1360k|757314 | 0 | 0.0 |1317M|2816 | - |5645 |7941 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
975.22/975.25 c 961s| 1370k|762517 | 0 | 0.0 |1325M|2816 | - |5645 |7719 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
981.13/981.16 c 967s| 1380k|768552 | 0 | 0.0 |1334M|2816 | - |5645 |7294 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
986.83/986.83 c 972s| 1390k|774857 | 0 | 0.0 |1342M|2816 | - |5645 |7212 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
992.32/992.31 c 978s| 1400k|781385 | 0 | 0.0 |1351M|2816 | - |5645 |7750 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
997.93/997.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.93/997.97 c 983s| 1410k|787806 | 0 | 0.0 |1360M|2816 | - |5645 |8467 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.03/1004.06 c 989s| 1420k|793866 | 0 | 0.0 |1369M|2816 | - |5645 |9295 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1010.63/1010.69 c 996s| 1430k|799497 | 0 | 0.0 |1378M|2816 | - |5645 | 10k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1018.22/1018.28 c 1003s| 1440k|804374 | 0 | 0.0 |1386M|2816 | - |5645 | 11k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1027.03/1027.09 c 1012s| 1450k|808326 | 0 | 0.0 |1394M|2816 | - |5645 | 12k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1038.13/1038.13 c 1023s| 1460k|811016 | 0 | 0.0 |1400M|2816 | - |5645 | 10k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1042.13/1042.10 c 1027s| 1470k|819086 | 0 | 0.0 |1408M|2816 | - |5645 |6033 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1046.43/1046.42 c 1031s| 1480k|826500 | 0 | 0.0 |1417M|2816 | - |5645 |6552 | 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1051.23/1051.29 c 1036s| 1490k|833447 | 0 | 0.0 |1426M|2816 | - |5645 |7240 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1056.52/1056.58 c 1041s| 1500k|840058 | 0 | 0.0 |1436M|2816 | - |5645 |7920 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1062.53/1062.55 c 1047s| 1510k|846128 | 0 | 0.0 |1445M|2816 | - |5645 |8662 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1069.02/1069.01 c 1053s| 1520k|851746 | 0 | 0.0 |1455M|2816 | - |5645 |9448 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1076.53/1076.52 c 1060s| 1530k|856524 | 0 | 0.0 |1464M|2816 | - |5645 |9875 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1084.64/1084.63 c 1068s| 1540k|860732 | 0 | 0.0 |1472M|2816 | - |5645 |9094 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1092.63/1092.63 c 1076s| 1550k|864871 | 0 | 0.0 |1480M|2816 | - |5645 |8283 | 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1099.33/1099.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.33/1099.36 c 1083s| 1560k|870090 | 0 | 0.0 |1487M|2816 | - |5645 |7242 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1105.03/1105.09 c 1088s| 1570k|876216 | 0 | 0.0 |1496M|2816 | - |5645 |7080 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1110.53/1110.51 c 1094s| 1580k|882637 | 0 | 0.0 |1505M|2816 | - |5645 |7519 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1116.23/1116.21 c 1099s| 1590k|888854 | 0 | 0.0 |1514M|2816 | - |5645 |8028 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1122.53/1122.50 c 1106s| 1600k|894620 | 0 | 0.0 |1523M|2816 | - |5645 |9019 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1129.53/1129.58 c 1112s| 1610k|899740 | 0 | 0.0 |1532M|2816 | - |5645 | 10k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1137.93/1137.93 c 1121s| 1620k|903935 | 0 | 0.0 |1541M|2816 | - |5645 | 11k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1148.63/1148.61 c 1131s| 1630k|906572 | 0 | 0.0 |1549M|2816 | - |5645 | 14k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1158.34/1158.31 c 1141s| 1640k|910583 | 0 | 0.0 |1553M|2816 | - |5645 |7453 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1162.64/1162.61 c 1145s| 1650k|918164 | 0 | 0.0 |1562M|2816 | - |5645 |6413 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1167.34/1167.38 c 1150s| 1660k|925283 | 0 | 0.0 |1571M|2816 | - |5645 |7101 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1172.73/1172.78 c 1155s| 1670k|931845 | 0 | 0.0 |1581M|2816 | - |5645 |7832 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1178.73/1178.73 c 1161s| 1680k|937882 | 0 | 0.0 |1591M|2816 | - |5645 |8717 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1185.43/1185.49 c 1167s| 1690k|943275 | 0 | 0.0 |1600M|2816 | - |5645 |9713 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1193.13/1193.15 c 1175s| 1700k|947934 | 0 | 0.0 |1610M|2816 | - |5645 | 11k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1202.93/1202.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.93/1202.98 c 1185s| 1710k|951077 | 0 | 0.0 |1619M|2816 | - |5645 | 13k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1214.54/1214.54 c 1196s| 1720k|953516 | 0 | 0.0 |1624M|2816 | - |5645 |9729 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.84/1218.83 c 1200s| 1730k|961167 | 0 | 0.0 |1633M|2816 | - |5645 |6164 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1223.43/1223.40 c 1205s| 1740k|968384 | 0 | 0.0 |1642M|2816 | - |5645 |6740 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1228.33/1228.34 c 1210s| 1750k|975267 | 0 | 0.0 |1652M|2816 | - |5645 |7315 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1233.54/1233.57 c 1215s| 1760k|981885 | 0 | 0.0 |1661M|2816 | - |5645 |7982 | 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1239.23/1239.20 c 1220s| 1770k|988125 | 0 | 0.0 |1670M|2816 | - |5645 |8634 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1245.44/1245.43 c 1226s| 1780k|993872 | 0 | 0.0 |1679M|2816 | - |5645 |9432 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1253.53/1253.51 c 1234s| 1790k|998273 | 0 | 0.0 |1689M|2816 | - |5645 | 11k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1263.23/1263.27 c 1244s| 1800k| 1001k| 0 | 0.0 |1698M|2816 | - |5645 | 13k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1273.85/1273.87 c 1254s| 1810k| 1004k| 0 | 0.0 |1703M|2816 | - |5645 |9620 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1278.24/1278.23 c 1259s| 1820k| 1012k| 0 | 0.0 |1711M|2816 | - |5645 |6677 | 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1282.94/1282.92 c 1263s| 1830k| 1019k| 0 | 0.0 |1721M|2816 | - |5645 |7043 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1287.74/1287.74 c 1268s| 1840k| 1026k| 0 | 0.0 |1730M|2816 | - |5645 |7592 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1292.84/1292.82 c 1273s| 1850k| 1033k| 0 | 0.0 |1738M|2816 | - |5645 |8197 | 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.64/1298.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.64/1298.68 c 1279s| 1860k| 1039k| 0 | 0.0 |1748M|2816 | - |5645 |8933 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1305.14/1305.11 c 1285s| 1870k| 1045k| 0 | 0.0 |1757M|2816 | - |5645 |9675 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1313.64/1313.65 c 1294s| 1880k| 1048k| 0 | 0.0 |1766M|2816 | - |5645 | 11k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1324.74/1324.79 c 1304s| 1890k| 1051k| 0 | 0.0 |1774M|2816 | - |5645 | 14k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1332.94/1332.91 c 1313s| 1900k| 1056k| 0 | 0.0 |1779M|2816 | - |5645 |8390 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1335.54/1335.53 o 2
1335.54/1335.53 c *1315s| 1905k| 1027k| 0 | 0.0 |1738M|2816 | - |5645 |6850 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1337.34/1337.38 c 1317s| 1910k| 1030k| 0 | 0.0 |1742M|2816 | - |5645 |6829 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1342.05/1342.05 c 1321s| 1920k| 1037k| 0 | 0.0 |1752M|2816 | - |5645 |7130 | 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1347.14/1347.12 c 1326s| 1930k| 1044k| 0 | 0.0 |1761M|2816 | - |5645 |7526 | 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1352.54/1352.57 c 1332s| 1940k| 1051k| 0 | 0.0 |1771M|2816 | - |5645 |8019 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.44/1358.41 c 1338s| 1950k| 1057k| 0 | 0.0 |1780M|2816 | - |5645 |8448 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.94/1365.96 c 1345s| 1960k| 1063k| 0 | 0.0 |1791M|2816 | - |5645 |9987 | 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1375.14/1375.15 c 1354s| 1970k| 1067k| 0 | 0.0 |1801M|2816 | - |5645 | 12k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1386.84/1386.84 c 1366s| 1980k| 1069k| 0 | 0.0 |1809M|2816 | - |5645 | 15k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1396.64/1396.64 c 1375s| 1990k| 1074k| 0 | 0.0 |1816M|2816 | - |5645 | 12k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1401.84/1401.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.84/1401.88 c 1380s| 2000k| 1082k| 0 | 0.0 |1825M|2816 | - |5645 |9082 | 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1407.04/1407.07 c 1386s| 2010k| 1089k| 0 | 0.0 |1835M|2816 | - |5645 |9177 | 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.65/1412.61 c 1391s| 2020k| 1096k| 0 | 0.0 |1845M|2816 | - |5645 |9577 | 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1418.44/1418.47 c 1397s| 2030k| 1103k| 0 | 0.0 |1856M|2816 | - |5645 | 10k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.55/1424.52 c 1403s| 2040k| 1110k| 0 | 0.0 |1866M|2816 | - |5645 | 10k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.75/1430.76 c 1409s| 2050k| 1117k| 0 | 0.0 |1876M|2816 | - |5645 | 11k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1437.45/1437.46 c 1415s| 2060k| 1123k| 0 | 0.0 |1886M|2816 | - |5645 | 11k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.64/1444.67 c 1423s| 2070k| 1129k| 0 | 0.0 |1896M|2816 | - |5645 | 12k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.34/1452.33 c 1430s| 2080k| 1135k| 0 | 0.0 |1906M|2816 | - |5645 | 13k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.75/1460.79 c 1438s| 2090k| 1140k| 0 | 0.0 |1916M|2816 | - |5645 | 13k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1469.25/1469.21 c 1447s| 2100k| 1145k| 0 | 0.0 |1926M|2816 | - |5645 | 14k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.84/1478.86 c 1456s| 2110k| 1150k| 0 | 0.0 |1936M|2816 | - |5645 | 15k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.14/1489.14 c 1466s| 2120k| 1154k| 0 | 0.0 |1946M|2816 | - |5645 | 16k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.25/1500.21 c 1477s| 2130k| 1158k| 0 | 0.0 |1955M|2816 | - |5645 | 17k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.56/1512.53 c 1490s| 2140k| 1161k| 0 | 0.0 |1963M|2816 | - |5645 | 18k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1525.44/1525.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.44/1525.46 c 1502s| 2150k| 1164k| 0 | 0.0 |1972M|2816 | - |5645 | 19k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.55/1542.54 c 1519s| 2160k| 1165k| 0 | 0.0 |1977M|2816 | - |5645 | 23k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.15/1549.15 c 1526s| 2170k| 1173k| 0 | 0.0 |1984M|2816 | - |5645 | 11k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1554.64/1554.63 c 1531s| 2180k| 1180k| 0 | 0.0 |1993M|2816 | - |5645 |9903 | 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.34/1560.39 c 1537s| 2190k| 1187k| 0 | 0.0 |2003M|2816 | - |5645 | 10k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.64/1566.60 c 1543s| 2200k| 1194k| 0 | 0.0 |2014M|2816 | - |5645 | 10k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.15/1573.19 c 1549s| 2210k| 1200k| 0 | 0.0 |2024M|2816 | - |5645 | 10k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1580.45/1580.40 c 1557s| 2220k| 1206k| 0 | 0.0 |2034M|2816 | - |5645 | 12k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.95/1587.97 c 1564s| 2230k| 1211k| 0 | 0.0 |2043M|2816 | - |5645 | 12k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1596.65/1596.65 c 1573s| 2240k| 1216k| 0 | 0.0 |2052M|2816 | - |5645 | 14k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1607.06/1607.08 c 1583s| 2250k| 1219k| 0 | 0.0 |2060M|2816 | - |5645 | 16k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1620.04/1620.01 c 1596s| 2260k| 1221k| 0 | 0.0 |2068M|2816 | - |5645 | 19k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1629.25/1629.24 c 1605s| 2270k| 1227k| 0 | 0.0 |2074M|2816 | - |5645 | 12k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.45/1634.48 c 1610s| 2280k| 1235k| 0 | 0.0 |2082M|2816 | - |5645 |9310 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.85/1639.89 c 1615s| 2290k| 1242k| 0 | 0.0 |2092M|2816 | - |5645 |9833 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1645.66/1645.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.66/1645.66 c 1621s| 2300k| 1249k| 0 | 0.0 |2102M|2816 | - |5645 | 10k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.05/1652.04 c 1627s| 2310k| 1255k| 0 | 0.0 |2112M|2816 | - |5645 | 11k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.55/1658.57 c 1634s| 2320k| 1262k| 0 | 0.0 |2122M|2816 | - |5645 | 11k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.05/1666.01 c 1641s| 2330k| 1267k| 0 | 0.0 |2131M|2816 | - |5645 | 12k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.45/1674.45 c 1649s| 2340k| 1272k| 0 | 0.0 |2141M|2816 | - |5645 | 14k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1684.65/1684.67 c 1659s| 2350k| 1276k| 0 | 0.0 |2150M|2816 | - |5645 | 16k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1697.26/1697.30 c 1672s| 2360k| 1279k| 0 | 0.0 |2158M|2816 | - |5645 | 18k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.65/1706.63 c 1681s| 2370k| 1284k| 0 | 0.0 |2164M|2816 | - |5645 | 12k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.95/1711.97 c 1686s| 2380k| 1292k| 0 | 0.0 |2173M|2816 | - |5645 |9412 | 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.26/1717.21 c 1691s| 2390k| 1299k| 0 | 0.0 |2183M|2816 | - |5645 |9934 | 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1722.95/1722.96 c 1697s| 2400k| 1306k| 0 | 0.0 |2193M|2816 | - |5645 | 10k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1729.55/1729.58 c 1704s| 2410k| 1312k| 0 | 0.0 |2203M|2816 | - |5645 | 12k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1737.35/1737.32 c 1711s| 2420k| 1318k| 0 | 0.0 |2213M|2816 | - |5645 | 14k| 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.55/1746.51 c 1720s| 2430k| 1322k| 0 | 0.0 |2223M|2816 | - |5645 | 15k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1756.95/1756.93 c 1731s| 2440k| 1327k| 0 | 0.0 |2232M|2816 | - |5645 | 17k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.55/1767.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.55/1767.54 c 1741s| 2450k| 1331k| 0 | 0.0 |2240M|2816 | - |5645 | 15k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.46/1776.47 c 1750s| 2460k| 1336k| 0 | 0.0 |2248M|2816 | - |5645 | 14k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.66/1783.64 c 1757s| 2470k| 1343k| 0 | 0.0 |2257M|2816 | - |5645 | 13k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1791.15/1791.16 c 1764s| 2480k| 1349k| 0 | 0.0 |2268M|2816 | - |5645 | 14k| 0 | 0 | 0 |1853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1773.16
1800.06/1800.00 c Solving Nodes : 2489798
1800.06/1800.00 c Primal Bound : +2.00000000000000e+00 (43 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.05 s SATISFIABLE
1800.06/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.05 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.06/1800.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.06/1800.05 v -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.05 v -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.06/1800.05 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.06/1800.05 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.06/1800.05 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.06/1800.05 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.06/1800.05 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.06/1800.05 v x1
1800.06/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.05 c Solving Time : 1773.16
1800.06/1800.05 c Original Problem :
1800.06/1800.05 c Problem name : HOME/instance-2693659-1277929108.wbo
1800.06/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.05 c Constraints : 5415 initial, 5415 maximal
1800.06/1800.05 c Presolved Problem :
1800.06/1800.05 c Problem name : t_HOME/instance-2693659-1277929108.wbo
1800.06/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.05 c Constraints : 5414 initial, 23130 maximal
1800.06/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.05 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.06/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c root node : - 2648 - - 5296 - - - -
1800.06/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.05 c indicator : 2707 0 6405934 0 1737168 109 1880677 0 0 0
1800.06/1800.05 c linear : 2707 0 8084913 0 2094834 588406 48610569 0 0 0
1800.06/1800.05 c logicor : 0+ 0 3616461 0 0 63567 2090648 0 0 0
1800.06/1800.05 c countsols : 0 0 0 0 2094857 0 0 0 0 0
1800.06/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.05 c indicator : 15.94 0.00 7.42 0.00 8.52
1800.06/1800.05 c linear : 455.83 0.00 453.62 0.00 2.21
1800.06/1800.05 c logicor : 242.28 0.00 242.28 0.00 0.00
1800.06/1800.05 c countsols : 0.30 0.00 0.00 0.00 0.30
1800.06/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.05 c vbounds : 1.94 2 0 0
1800.06/1800.05 c rootredcost : 1.73 0 0 0
1800.06/1800.05 c pseudoobj : 397.02 8086900 1775 1864673
1800.06/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.05 c propagation : 31.64 653748 653734 2998541 18.2 161446 11.0 -
1800.06/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c pseudo solution : 0.03 145 145 718 29.4 489 10.0 -
1800.06/1800.05 c applied globally : - - - 1861172 16.7 - - -
1800.06/1800.05 c applied locally : - - - 0 0.0 - - -
1800.06/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.05 c redcost : 0.00 0 0 0 0 0
1800.06/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.05 c intobj : 0.00 0 0 0 0 0
1800.06/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.05 c gomory : 0.00 0 0 0 0 0
1800.06/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.05 c cmir : 0.00 0 0 0 0 0
1800.06/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.05 c clique : 0.00 0 0 0 0 0
1800.06/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.05 c mcf : 0.00 0 0 0 0 0
1800.06/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.05 c Pricers : Time Calls Vars
1800.06/1800.05 c problem variables: 0.00 0 0
1800.06/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.05 c inference : 36.72 2094817 0 0 0 0 4189634
1800.06/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.05 c random : 0.00 0 0 0 0 0 0
1800.06/1800.05 c Primal Heuristics : Time Calls Found
1800.06/1800.05 c LP solutions : 0.00 - 0
1800.06/1800.05 c pseudo solutions : 0.14 - 40
1800.06/1800.05 c oneopt : 0.93 0 0
1800.06/1800.05 c trivial : 0.07 2 2
1800.06/1800.05 c simplerounding : 0.00 0 0
1800.06/1800.05 c zirounding : 0.00 0 0
1800.06/1800.05 c rounding : 0.00 0 0
1800.06/1800.05 c shifting : 0.00 0 0
1800.06/1800.05 c intshifting : 0.00 0 0
1800.06/1800.05 c twoopt : 0.00 0 0
1800.06/1800.05 c fixandinfer : 0.00 0 0
1800.06/1800.05 c feaspump : 0.00 0 0
1800.06/1800.05 c coefdiving : 0.00 0 0
1800.06/1800.05 c pscostdiving : 0.00 0 0
1800.06/1800.05 c fracdiving : 0.00 0 0
1800.06/1800.05 c veclendiving : 0.00 0 0
1800.06/1800.05 c intdiving : 0.00 0 0
1800.06/1800.05 c actconsdiving : 0.00 0 0
1800.06/1800.05 c objpscostdiving : 0.00 0 0
1800.06/1800.05 c rootsoldiving : 0.00 0 0
1800.06/1800.05 c linesearchdiving : 0.00 0 0
1800.06/1800.05 c guideddiving : 0.00 0 0
1800.06/1800.05 c octane : 0.00 0 0
1800.06/1800.05 c rens : 0.00 0 0
1800.06/1800.05 c rins : 0.00 0 0
1800.06/1800.05 c localbranching : 0.00 0 0
1800.06/1800.05 c mutation : 0.00 0 0
1800.06/1800.05 c crossover : 0.00 0 0
1800.06/1800.05 c dins : 0.00 0 0
1800.06/1800.05 c undercover : 0.00 0 0
1800.06/1800.05 c nlp : 0.65 0 0
1800.06/1800.05 c trysol : 0.65 1 1
1800.06/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.05 c (at root node) : - 0 0 0.00 -
1800.06/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.05 c B&B Tree :
1800.06/1800.05 c number of runs : 1
1800.06/1800.05 c nodes : 2489798
1800.06/1800.05 c nodes (total) : 2489798
1800.06/1800.05 c nodes left : 1354074
1800.06/1800.05 c max depth : 2816
1800.06/1800.05 c max depth (total): 2816
1800.06/1800.05 c backtracks : 351850 (14.1%)
1800.06/1800.05 c delayed cutoffs : 300360
1800.06/1800.05 c repropagations : 1325174 (16623823 domain reductions, 259061 cutoffs)
1800.06/1800.05 c avg switch length: 47.49
1800.06/1800.05 c switching time : 502.33
1800.06/1800.05 c Solution :
1800.06/1800.05 c Solutions found : 43 (41 improvements)
1800.06/1800.05 c First Solution : +1.34313000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1905936 nodes, 1315.01 seconds, depth 1210, found by <relaxation>)
1800.06/1800.05 c Dual Bound : +0.00000000000000e+00
1800.06/1800.05 c Gap : infinite
1800.06/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.05 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-2693659-1277929108/watcher-2693659-1277929108 -o /tmp/evaluation-result-2693659-1277929108/solver-2693659-1277929108 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693659-1277929108.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14944 /proc/meminfo: memFree=29632776/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=8600 CPUtime=0 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 1629 0 0 0 0 0 0 0 25 0 1 0 134208946 8806400 1551 4089446400 4194304 7136930 140736199339936 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14944/statm: 2150 1551 275 719 0 1429 0 [startup+0.0455259 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14944 /proc/meminfo: memFree=29632776/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=26324 CPUtime=0.04 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 6432 0 0 0 4 0 0 0 25 0 1 0 134208946 26955776 6001 4089446400 4194304 7136930 140736199339936 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 6614 6007 289 719 0 5893 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 26324 [startup+0.100524 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14944 /proc/meminfo: memFree=29632776/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=33676 CPUtime=0.09 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134208946 34484224 7535 4089446400 4194304 7136930 140736199339936 18446744073709551615 4241139 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300476 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14944 /proc/meminfo: memFree=29632776/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=36496 CPUtime=0.29 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 134208946 37371904 8295 4089446400 4194304 7136930 140736199339936 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.7004 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14944 /proc/meminfo: memFree=29632776/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=37636 CPUtime=0.69 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 9516 0 0 0 67 2 0 0 25 0 1 0 134208946 38539264 8570 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50026 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14945 /proc/meminfo: memFree=29595568/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=42748 CPUtime=1.49 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 10826 0 0 0 145 4 0 0 25 0 1 0 134208946 43773952 9880 4089446400 4194304 7136930 140736199339936 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 10687 9880 390 719 0 9966 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42748 [startup+3.10095 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14945 /proc/meminfo: memFree=29591476/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=48036 CPUtime=3.09 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 12113 0 0 0 302 7 0 0 25 0 1 0 134208946 49188864 11167 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 12009 11167 391 719 0 11288 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48036 [startup+6.30034 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14945 /proc/meminfo: memFree=29573544/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=62080 CPUtime=6.29 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 15577 0 0 0 614 15 0 0 25 0 1 0 134208946 63569920 14631 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 15520 14631 391 719 0 14799 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62080 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14945 /proc/meminfo: memFree=29540444/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=81868 CPUtime=12.69 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 20435 0 0 0 1242 27 0 0 25 0 1 0 134208946 83832832 19489 4089446400 4194304 7136930 140736199339936 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 20467 19489 391 719 0 19746 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81868 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14946 /proc/meminfo: memFree=29490088/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=120860 CPUtime=25.5 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 29882 0 0 0 2506 44 0 0 25 0 1 0 134208946 123760640 28936 4089446400 4194304 7136930 140736199339936 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 30215 28936 391 719 0 29494 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 120860 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14947 /proc/meminfo: memFree=29400656/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=190132 CPUtime=51.09 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 46629 0 0 0 5017 92 0 0 25 0 1 0 134208946 194695168 45683 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 47533 45683 391 719 0 46812 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 190132 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14948 /proc/meminfo: memFree=29246468/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=286024 CPUtime=102.3 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 70634 0 0 0 10062 168 0 0 25 0 1 0 134208946 292888576 69688 4089446400 4194304 7136930 140736199339936 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 71506 69688 391 719 0 70785 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 286024 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14977 /proc/meminfo: memFree=31266908/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=377632 CPUtime=162.29 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 92670 0 0 0 15979 250 0 0 25 0 1 0 134208946 386695168 91724 4089446400 4194304 7136930 140736199339936 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 94408 91724 391 719 0 93687 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 377632 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14979 /proc/meminfo: memFree=31038936/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=484228 CPUtime=222.3 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 117819 0 0 0 21901 329 0 0 25 0 1 0 134208946 495849472 116873 4089446400 4194304 7136930 140736199339936 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 121057 116873 391 719 0 120336 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 484228 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14981 /proc/meminfo: memFree=30844700/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=592116 CPUtime=282.3 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 144246 0 0 0 27803 427 0 0 25 0 1 0 134208946 606326784 143300 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 148029 143300 391 719 0 147308 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 592116 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14982 /proc/meminfo: memFree=30584988/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=702912 CPUtime=342.3 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 172126 0 0 0 33690 540 0 0 25 0 1 0 134208946 719781888 171180 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 175728 171180 391 719 0 175007 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 702912 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14984 /proc/meminfo: memFree=30363476/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=805264 CPUtime=402.3 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 197895 0 0 0 39593 637 0 0 25 0 1 0 134208946 824590336 196949 4089446400 4194304 7136930 140736199339936 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 201316 196949 391 719 0 200595 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 805264 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14985 /proc/meminfo: memFree=30170728/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=883808 CPUtime=462.31 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 215624 0 0 0 45517 714 0 0 25 0 1 0 134208946 905019392 214678 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 220952 214678 391 719 0 220231 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 883808 [startup+522.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14987 /proc/meminfo: memFree=30008988/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=949412 CPUtime=522.31 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 231917 0 0 0 51447 784 0 0 25 0 1 0 134208946 972197888 230971 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 237353 230971 391 719 0 236632 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 949412 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14989 /proc/meminfo: memFree=29878112/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=996288 CPUtime=582.31 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 243559 0 0 0 57385 846 0 0 25 0 1 0 134208946 1020198912 242613 4089446400 4194304 7136930 140736199339936 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 249072 242613 391 719 0 248351 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 996288 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14990 /proc/meminfo: memFree=29764104/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1046368 CPUtime=642.32 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 256077 0 0 0 63300 932 0 0 25 0 1 0 134208946 1071480832 255131 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 261592 255131 391 719 0 260871 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1046368 [startup+702.301 s] ################ # More data... # ################ /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 373097 0 0 0 98736 1497 0 0 25 0 1 0 134208946 1547255808 372151 4089446400 4194304 7136930 140736199339936 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 377748 372151 391 719 0 377027 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1510992 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15004 /proc/meminfo: memFree=28826068/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1584476 CPUtime=1062.32 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 391736 0 0 0 104634 1598 0 0 25 0 1 0 134208946 1622503424 390790 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 396119 390790 391 719 0 395398 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1584476 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15006 /proc/meminfo: memFree=28664056/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1668052 CPUtime=1122.33 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 412635 0 0 0 110533 1700 0 0 25 0 1 0 134208946 1708085248 411689 4089446400 4194304 7136930 140736199339936 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 417013 411689 391 719 0 416292 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1668052 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15008 /proc/meminfo: memFree=28536404/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1739272 CPUtime=1182.33 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 430484 0 0 0 116433 1800 0 0 25 0 1 0 134208946 1781014528 429538 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 434818 429538 391 719 0 434097 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1739272 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15009 /proc/meminfo: memFree=28369552/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1830184 CPUtime=1242.33 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 449441 0 0 0 122337 1896 0 0 25 0 1 0 134208946 1874108416 448495 4089446400 4194304 7136930 140736199339936 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 457546 448495 391 719 0 456825 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1830184 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15011 /proc/meminfo: memFree=28202348/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1909048 CPUtime=1302.34 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 469264 0 0 0 128236 1998 0 0 25 0 1 0 134208946 1954865152 468318 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 477262 468318 391 719 0 476541 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1909048 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15012 /proc/meminfo: memFree=28073092/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=1955900 CPUtime=1362.34 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 481009 0 0 0 134140 2094 0 0 25 0 1 0 134208946 2002841600 480063 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 488975 480063 391 719 0 488254 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1955900 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15014 /proc/meminfo: memFree=27900804/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2022452 CPUtime=1422.35 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 497747 0 0 0 140053 2182 0 0 25 0 1 0 134208946 2070990848 496801 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 505613 496801 391 719 0 504892 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 2022452 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15016 /proc/meminfo: memFree=27688572/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2094020 CPUtime=1482.34 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 515779 0 0 0 145969 2265 0 0 25 0 1 0 134208946 2144276480 514833 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 523505 514833 391 719 0 522784 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2094020 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15017 /proc/meminfo: memFree=27565028/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2136116 CPUtime=1542.35 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 526252 0 0 0 151909 2326 0 0 25 0 1 0 134208946 2187382784 525306 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 534029 525306 391 719 0 533308 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2136116 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 15019 /proc/meminfo: memFree=27404568/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2209984 CPUtime=1602.35 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 544973 0 0 0 157818 2417 0 0 25 0 1 0 134208946 2263023616 544027 4089446400 4194304 7136930 140736199339936 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 552496 544027 391 719 0 551775 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2209984 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15020 /proc/meminfo: memFree=27259324/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2274396 CPUtime=1662.35 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 561249 0 0 0 163735 2500 0 0 25 0 1 0 134208946 2328981504 560303 4089446400 4194304 7136930 140736199339936 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 568599 560303 391 719 0 567878 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 2274396 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15022 /proc/meminfo: memFree=27114916/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2339656 CPUtime=1722.36 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 577749 0 0 0 169651 2585 0 0 25 0 1 0 134208946 2395807744 576803 4089446400 4194304 7136930 140736199339936 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 584914 576803 391 719 0 584193 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 2339656 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15024 /proc/meminfo: memFree=26955280/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2406940 CPUtime=1782.36 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 594594 0 0 0 175574 2662 0 0 25 0 1 0 134208946 2464706560 593648 4089446400 4194304 7136930 140736199339936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 601735 593648 391 719 0 601014 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2406940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15024 /proc/meminfo: memFree=26906660/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2427808 CPUtime=1800.06 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 599818 0 0 0 177319 2687 0 0 25 0 1 0 134208946 2486075392 598872 4089446400 4194304 7136930 140736199339936 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14944/statm: 606952 598872 391 719 0 606231 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2427808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14944 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15025 /proc/meminfo: memFree=26905164/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2427808 CPUtime=1801.46 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 599824 0 0 0 177459 2687 0 0 25 0 1 0 134208946 2486075392 598878 4089446400 4194304 7136930 140736199339936 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14944/statm: 606952 598878 397 719 0 606231 0 Current children cumulated CPU time (s) 1801.46 Current children cumulated vsize (KiB) 2427808 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15025 /proc/meminfo: memFree=26903304/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2427808 CPUtime=1801.86 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 599824 0 0 0 177499 2687 0 0 25 0 1 0 134208946 2486075392 598878 4089446400 4194304 7136930 140736199339936 18446744073709551615 4615820 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14944/statm: 606952 598878 397 719 0 606231 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 2427808 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15025 /proc/meminfo: memFree=26903304/32951124 swapFree=67111528/67111528 [pid=14944] ppid=14942 vsize=2427808 CPUtime=1802.06 /proc/14944/stat : 14944 (pbscip.linux.x8) R 14942 14944 14146 0 -1 4202496 599824 0 0 0 177519 2687 0 0 25 0 1 0 134208946 2486075392 598878 4089446400 4194304 7136930 140736199339936 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14944/statm: 606952 598878 397 719 0 606231 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 2427808 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.15 CPU user time (s): 1775.2 CPU system time (s): 26.9509 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2427808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.2 system time used= 26.9509 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 599824 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= 3767 runsolver used 3.33549 second user time and 5.96009 second system time The end
Begin job on node102 at 2010-06-30 22:18:28 IDJOB=2693659 IDBENCH=79294 IDSOLVER=1206 FILE ID=node102/2693659-1277929108 PBS_JOBID= 11197350 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-0-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-2693659-1277929108/watcher-2693659-1277929108 -o /tmp/evaluation-result-2693659-1277929108/solver-2693659-1277929108 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693659-1277929108.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a3bbeff5fae384bd8f72d98174965d3 RANDOM SEED=1279354006 node102.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.833 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.66 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.833 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.833 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.833 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.85 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29633296 kB Buffers: 212052 kB Cached: 737588 kB SwapCached: 0 kB Active: 2577964 kB Inactive: 594684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29633296 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 2222840 kB Mapped: 16068 kB Slab: 78576 kB PageTables: 8924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2403124 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= 74204 MiB End job on node102 at 2010-06-30 22:48:30