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.1900583053--soft-33-100-0.wbo |
| MD5SUM | 9f5c0fb24468d0f2311d30a10738459c |
| 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 | 348.124 |
| 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 | 1785 |
| 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 | 88246 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 88245 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 651 |
| 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-2694113-1277906070.wbo>
0.01/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.01/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.01/0.09 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.10/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.10/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.10/0.17 c (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.17 c presolving (6 rounds):
0.10/0.17 c 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.10/0.17 c 1937 implications, 11 cliques
0.10/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.10/0.17 c 1709 constraints of type <indicator>
0.10/0.17 c 11 constraints of type <setppc>
0.10/0.17 c 1709 constraints of type <linear>
0.10/0.17 c 869 constraints of type <logicor>
0.10/0.17 c transformed objective value is always integral (scale: 1)
0.10/0.17 c Presolving Time: 0.13
0.10/0.17 c - non default parameters ----------------------------------------------------------------------
0.10/0.17 c # SCIP version 1.2.1.2
0.10/0.17 c
0.10/0.17 c # frequency for displaying node information lines
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.17 c display/freq = 10000
0.10/0.17 c
0.10/0.17 c # maximal time in seconds to run
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/time = 1799.98
0.10/0.17 c
0.10/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/memory = 3420
0.10/0.17 c
0.10/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.17 c lp/solvefreq = -1
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify inequalities
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/linear/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify knapsacks
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.17 c separating/rapidlearning/freq = 0
0.10/0.17 c
0.10/0.17 c -----------------------------------------------------------------------------------------------
0.10/0.17 c start solving
0.10/0.17 c
0.10/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3649 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.39 o 414
1.29/1.39 c * 1.3s| 4723 | 4136 | 0 | 0.0 | 16M|1899 | - |3649 |5000 | 0 | 0 | 0 |1109 | 0 | 0.000000e+00 | 4.140000e+02 | Inf
1.39/1.46 o 403
1.39/1.46 c * 1.4s| 4917 | 4323 | 0 | 0.0 | 16M|1899 | - |3649 |5005 | 0 | 0 | 0 |1122 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
1.69/1.73 o 385
1.69/1.73 c * 1.7s| 5759 | 5147 | 0 | 0.0 | 16M|1899 | - |3649 |5050 | 0 | 0 | 0 |1218 | 0 | 0.000000e+00 | 3.850000e+02 | Inf
1.69/1.73 o 363
1.69/1.73 c * 1.7s| 5760 | 5096 | 0 | 0.0 | 16M|1899 | - |3649 |5050 | 0 | 0 | 0 |1218 | 0 | 0.000000e+00 | 3.630000e+02 | Inf
1.69/1.78 o 344
1.69/1.78 c * 1.7s| 5913 | 5216 | 0 | 0.0 | 16M|1899 | - |3649 |5060 | 0 | 0 | 0 |1238 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
1.69/1.78 o 322
1.69/1.78 c * 1.7s| 5914 | 5179 | 0 | 0.0 | 16M|1899 | - |3649 |5060 | 0 | 0 | 0 |1238 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
1.89/1.93 o 261
1.89/1.93 c * 1.8s| 6495 | 5431 | 0 | 0.0 | 17M|1899 | - |3649 |5078 | 0 | 0 | 0 |1302 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
1.89/1.95 o 180
1.89/1.95 c * 1.9s| 6592 | 5376 | 0 | 0.0 | 16M|1899 | - |3649 |5064 | 0 | 0 | 0 |1302 | 0 | 0.000000e+00 | 1.800000e+02 | Inf
1.89/1.95 o 154
1.89/1.95 c * 1.9s| 6593 | 5362 | 0 | 0.0 | 17M|1899 | - |3649 |5064 | 0 | 0 | 0 |1302 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
2.79/2.80 c 2.7s| 10000 | 8386 | 0 | 0.0 | 19M|1899 | - |3649 |5551 | 0 | 0 | 0 |2859 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
5.60/5.67 c 5.5s| 20000 | 16549 | 0 | 0.0 | 28M|1899 | - |3649 |6597 | 0 | 0 | 0 |9121 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
9.39/9.45 c 9.2s| 30000 | 23502 | 0 | 0.0 | 38M|1899 | - |3649 |7809 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
11.39/11.46 o 151
11.39/11.46 c *11.1s| 33645 | 25717 | 0 | 0.0 | 42M|1899 | - |3649 |7550 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
11.49/11.51 o 105
11.49/11.51 c *11.2s| 33751 | 25429 | 0 | 0.0 | 41M|1899 | - |3649 |7515 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
12.10/12.15 o 104
12.10/12.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.10/12.15 c *11.8s| 35112 | 26701 | 0 | 0.0 | 43M|1899 | - |3649 |7178 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
12.39/12.43 o 93
12.39/12.43 c *12.1s| 35589 | 26889 | 0 | 0.0 | 44M|1899 | - |3649 |7173 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
12.39/12.43 o 84
12.39/12.43 c *12.1s| 35590 | 26530 | 0 | 0.0 | 44M|1899 | - |3649 |7173 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
12.39/12.46 o 63
12.39/12.46 c *12.1s| 35634 | 25886 | 0 | 0.0 | 42M|1899 | - |3649 |7158 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
12.69/12.78 o 57
12.69/12.78 c *12.4s| 36155 | 26126 | 0 | 0.0 | 44M|1899 | - |3649 |7308 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
12.79/12.83 o 56
12.79/12.83 c *12.4s| 36216 | 26158 | 0 | 0.0 | 45M|1899 | - |3649 |7334 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
14.40/14.40 o 50
14.40/14.40 c *14.0s| 39547 | 28618 | 0 | 0.0 | 53M|1899 | - |3649 |6369 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
14.40/14.41 o 42
14.40/14.41 c *14.0s| 39548 | 28373 | 0 | 0.0 | 52M|1899 | - |3649 |6369 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
14.49/14.55 o 37
14.49/14.55 c *14.1s| 39845 | 27843 | 0 | 0.0 | 51M|1899 | - |3649 |6323 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
14.59/14.63 c 14.2s| 40000 | 27970 | 0 | 0.0 | 52M|1899 | - |3649 |6359 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
14.59/14.68 o 28
14.59/14.68 c *14.3s| 40118 | 27720 | 0 | 0.0 | 51M|1899 | - |3649 |6366 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
14.59/14.68 o 10
14.59/14.68 c *14.3s| 40119 | 26806 | 0 | 0.0 | 51M|1899 | - |3649 |6366 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
19.39/19.41 c 18.9s| 50000 | 34803 | 0 | 0.0 | 89M|1899 | - |3649 |5149 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
22.49/22.53 c 21.9s| 60000 | 42802 | 0 | 0.0 | 96M|1899 | - |3649 |4725 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
25.49/25.51 c 24.8s| 70000 | 50927 | 0 | 0.0 | 104M|1899 | - |3649 |4672 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
28.39/28.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.39/28.47 c 27.7s| 80000 | 59050 | 0 | 0.0 | 112M|1899 | - |3649 |5054 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
31.69/31.72 c 30.8s| 90000 | 66642 | 0 | 0.0 | 121M|1899 | - |3649 |5539 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
35.20/35.25 c 34.3s|100000 | 73861 | 0 | 0.0 | 129M|1899 | - |3649 |5935 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
39.10/39.17 c 38.1s|110000 | 80399 | 0 | 0.0 | 139M|1899 | - |3649 |6531 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
43.50/43.58 c 42.4s|120000 | 86068 | 0 | 0.0 | 148M|1899 | - |3649 |7068 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
48.69/48.72 c 47.4s|130000 | 90349 | 0 | 0.0 | 157M|1899 | - |3649 |7707 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
54.90/54.94 c 53.5s|140000 | 92002 | 0 | 0.0 | 165M|1899 | - |3649 |8591 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.79/61.87 c 60.3s|150000 | 91426 | 0 | 0.0 | 164M|1899 | - |3649 |4461 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.19/65.24 c 63.6s|160000 | 99436 | 0 | 0.0 | 172M|1899 | - |3649 |5371 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.20/70.24 c 68.5s|170000 |105347 | 0 | 0.0 | 181M|1899 | - |3649 |5041 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.89/73.93 c 72.0s|180000 |113005 | 0 | 0.0 | 190M|1899 | - |3649 |5894 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.60/78.66 c 76.7s|190000 |119435 | 0 | 0.0 | 199M|1899 | - |3649 |5750 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
83.09/83.19 c 81.1s|200000 |125950 | 0 | 0.0 | 208M|1899 | - |3649 |5904 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
87.09/87.17 c 85.0s|210000 |133293 | 0 | 0.0 | 217M|1899 | - |3649 |5457 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
91.30/91.39 c 89.1s|220000 |140333 | 0 | 0.0 | 226M|1899 | - |3649 |6638 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
96.90/96.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.90/96.98 c 94.5s|230000 |145835 | 0 | 0.0 | 236M|1899 | - |3649 |9424 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
100.19/100.21 c 97.7s|240000 |154249 | 0 | 0.0 | 242M|1899 | - |3649 |5900 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
103.59/103.62 c 101s|250000 |162227 | 0 | 0.0 | 251M|1899 | - |3649 |6525 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
107.19/107.29 c 105s|260000 |169926 | 0 | 0.0 | 259M|1899 | - |3649 |6887 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
111.10/111.15 c 108s|270000 |177358 | 0 | 0.0 | 267M|1899 | - |3649 |7478 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
115.40/115.44 c 112s|280000 |184275 | 0 | 0.0 | 276M|1899 | - |3649 |8658 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
119.80/119.87 c 117s|290000 |191035 | 0 | 0.0 | 285M|1899 | - |3649 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
125.09/125.13 c 122s|300000 |197050 | 0 | 0.0 | 293M|1899 | - |3649 | 11k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
129.09/129.13 c 126s|310000 |204582 | 0 | 0.0 | 301M|1899 | - |3649 |9981 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
133.39/133.41 c 130s|320000 |211653 | 0 | 0.0 | 309M|1899 | - |3649 |8735 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
137.69/137.79 c 134s|330000 |218549 | 0 | 0.0 | 318M|1899 | - |3649 |9393 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
140.10/140.19 o 8
140.10/140.19 c * 137s|336638 |222736 | 0 | 0.0 | 321M|1899 | - |3649 |9312 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
141.79/141.87 c 138s|340000 |224795 | 0 | 0.0 | 324M|1899 | - |3649 | 10k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
145.89/145.95 c 142s|350000 |232298 | 0 | 0.0 | 333M|1899 | - |3649 | 10k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
149.99/150.07 c 146s|360000 |239685 | 0 | 0.0 | 342M|1899 | - |3649 | 10k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
154.50/154.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.50/154.52 c 151s|370000 |246658 | 0 | 0.0 | 351M|1899 | - |3649 | 10k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
157.90/157.92 c 154s|380000 |254844 | 0 | 0.0 | 358M|1899 | - |3649 |9435 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
162.39/162.43 c 158s|390000 |261606 | 0 | 0.0 | 368M|1899 | - |3649 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
166.90/166.91 c 163s|400000 |268798 | 0 | 0.0 | 375M|1899 | - |3649 |9712 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
170.80/170.85 c 167s|410000 |276193 | 0 | 0.0 | 384M|1899 | - |3649 | 11k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
176.00/176.03 c 172s|420000 |282440 | 0 | 0.0 | 393M|1899 | - |3649 | 12k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
180.59/180.66 c 176s|430000 |289272 | 0 | 0.0 | 401M|1899 | - |3649 | 11k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
184.99/185.03 c 180s|440000 |296205 | 0 | 0.0 | 410M|1899 | - |3649 | 12k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
188.99/189.00 c 184s|450000 |303821 | 0 | 0.0 | 418M|1899 | - |3649 | 11k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
193.29/193.32 c 188s|460000 |311053 | 0 | 0.0 | 426M|1899 | - |3649 |5683 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
196.39/196.48 c 192s|470000 |319222 | 0 | 0.0 | 434M|1899 | - |3649 |5297 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
200.40/200.45 c 195s|480000 |326131 | 0 | 0.0 | 442M|1899 | - |3649 |7305 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
204.69/204.72 c 200s|490000 |332910 | 0 | 0.0 | 451M|1899 | - |3649 |8450 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
209.30/209.30 c 204s|500000 |339491 | 0 | 0.0 | 460M|1899 | - |3649 |9679 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
213.99/214.05 c 209s|510000 |346001 | 0 | 0.0 | 468M|1899 | - |3649 | 10k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
219.00/219.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.00/219.03 c 214s|520000 |352445 | 0 | 0.0 | 477M|1899 | - |3649 | 11k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
224.09/224.16 c 219s|530000 |358875 | 0 | 0.0 | 486M|1899 | - |3649 | 12k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
229.29/229.39 c 224s|540000 |365295 | 0 | 0.0 | 494M|1899 | - |3649 | 13k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
234.79/234.83 c 229s|550000 |371637 | 0 | 0.0 | 503M|1899 | - |3649 | 13k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
240.30/240.37 c 235s|560000 |377911 | 0 | 0.0 | 511M|1899 | - |3649 | 13k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
246.40/246.46 c 241s|570000 |383719 | 0 | 0.0 | 520M|1899 | - |3649 | 14k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
252.79/252.87 c 247s|580000 |389320 | 0 | 0.0 | 529M|1899 | - |3649 | 14k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
259.70/259.77 c 254s|590000 |394623 | 0 | 0.0 | 538M|1899 | - |3649 | 15k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
266.29/266.32 c 260s|600000 |400289 | 0 | 0.0 | 547M|1899 | - |3649 | 15k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
273.29/273.33 c 267s|610000 |405486 | 0 | 0.0 | 556M|1899 | - |3649 | 16k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
280.89/280.96 c 274s|620000 |410367 | 0 | 0.0 | 565M|1899 | - |3649 | 16k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
288.69/288.76 c 282s|630000 |415191 | 0 | 0.0 | 573M|1899 | - |3649 | 16k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
296.79/296.90 c 290s|640000 |419844 | 0 | 0.0 | 582M|1899 | - |3649 | 17k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
305.10/305.11 c 298s|650000 |424440 | 0 | 0.0 | 591M|1899 | - |3649 | 17k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
314.19/314.29 c 307s|660000 |428403 | 0 | 0.0 | 599M|1899 | - |3649 | 18k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
323.89/323.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.89/323.90 c 317s|670000 |432112 | 0 | 0.0 | 608M|1899 | - |3649 | 19k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
333.90/333.96 c 327s|680000 |435637 | 0 | 0.0 | 616M|1899 | - |3649 | 19k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
344.60/344.66 c 337s|690000 |438693 | 0 | 0.0 | 624M|1899 | - |3649 | 19k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
355.30/355.39 c 348s|700000 |441616 | 0 | 0.0 | 632M|1899 | - |3649 | 19k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
367.19/367.25 c 360s|710000 |443566 | 0 | 0.0 | 639M|1899 | - |3649 | 20k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
379.19/379.25 c 372s|720000 |445680 | 0 | 0.0 | 646M|1899 | - |3649 | 20k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
391.89/391.99 c 384s|730000 |446928 | 0 | 0.0 | 652M|1899 | - |3649 | 20k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
405.49/405.52 c 398s|740000 |447520 | 0 | 0.0 | 657M|1899 | - |3649 | 20k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
420.40/420.44 c 412s|750000 |446550 | 0 | 0.0 | 659M|1899 | - |3649 | 23k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
428.50/428.57 c 420s|760000 |452056 | 0 | 0.0 | 660M|1899 | - |3649 |8618 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
433.20/433.24 c 425s|770000 |459656 | 0 | 0.0 | 671M|1899 | - |3649 |7988 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
438.00/438.05 c 430s|780000 |467055 | 0 | 0.0 | 682M|1899 | - |3649 |8610 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
443.09/443.15 c 434s|790000 |474195 | 0 | 0.0 | 693M|1899 | - |3649 |9141 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
448.30/448.35 c 440s|800000 |481249 | 0 | 0.0 | 704M|1899 | - |3649 |9354 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
454.21/454.25 c 445s|810000 |487664 | 0 | 0.0 | 716M|1899 | - |3649 | 10k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
460.90/460.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.90/460.91 c 452s|820000 |493565 | 0 | 0.0 | 729M|1899 | - |3649 | 11k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
468.30/468.34 c 459s|830000 |498993 | 0 | 0.0 | 742M|1899 | - |3649 | 12k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
476.60/476.68 c 467s|840000 |503755 | 0 | 0.0 | 756M|1899 | - |3649 | 13k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
486.30/486.33 c 477s|850000 |507576 | 0 | 0.0 | 769M|1899 | - |3649 | 16k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
497.40/497.41 c 488s|860000 |510593 | 0 | 0.0 | 781M|1899 | - |3649 | 20k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
509.00/509.09 c 499s|870000 |514091 | 0 | 0.0 | 790M|1899 | - |3649 | 20k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
514.81/514.81 c 505s|880000 |521894 | 0 | 0.0 | 797M|1899 | - |3649 | 13k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
519.90/519.91 c 510s|890000 |529494 | 0 | 0.0 | 806M|1899 | - |3649 | 12k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
525.10/525.15 c 515s|900000 |536809 | 0 | 0.0 | 816M|1899 | - |3649 | 12k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
530.60/530.61 c 520s|910000 |543935 | 0 | 0.0 | 827M|1899 | - |3649 | 13k| 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
534.70/534.70 o 2
534.70/534.70 c * 524s|917055 |530190 | 0 | 0.0 | 805M|1899 | - |3649 | 13k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.60/536.65 c 526s|920000 |532115 | 0 | 0.0 | 811M|1899 | - |3649 | 14k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
544.70/544.76 c 534s|930000 |537758 | 0 | 0.0 | 831M|1899 | - |3649 | 15k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
554.00/554.00 c 543s|940000 |542737 | 0 | 0.0 | 852M|1899 | - |3649 | 17k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
565.00/565.04 c 554s|950000 |546768 | 0 | 0.0 | 872M|1899 | - |3649 | 20k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.00/577.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.00/577.02 c 566s|960000 |549955 | 0 | 0.0 | 885M|1899 | - |3649 | 20k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
587.00/587.06 c 576s|970000 |554730 | 0 | 0.0 | 894M|1899 | - |3649 | 20k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
595.90/595.91 c 584s|980000 |560646 | 0 | 0.0 | 908M|1899 | - |3649 | 19k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
603.90/603.99 c 592s|990000 |566850 | 0 | 0.0 | 923M|1899 | - |3649 | 19k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
612.61/612.64 c 601s| 1000k|572676 | 0 | 0.0 | 939M|1899 | - |3649 | 20k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.01/622.03 c 610s| 1010k|578111 | 0 | 0.0 | 956M|1899 | - |3649 | 21k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.60/632.65 c 621s| 1020k|582827 | 0 | 0.0 | 974M|1899 | - |3649 | 23k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.50/644.52 c 632s| 1030k|587141 | 0 | 0.0 | 991M|1899 | - |3649 | 24k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
655.01/655.09 c 643s| 1040k|592332 | 0 | 0.0 |1006M|1899 | - |3649 | 23k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
664.00/664.03 c 651s| 1050k|598437 | 0 | 0.0 |1020M|1899 | - |3649 | 23k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
672.30/672.35 c 660s| 1060k|604866 | 0 | 0.0 |1036M|1899 | - |3649 | 23k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.30/680.33 c 667s| 1070k|611461 | 0 | 0.0 |1051M|1899 | - |3649 | 22k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
688.11/688.10 c 675s| 1080k|617998 | 0 | 0.0 |1067M|1899 | - |3649 | 21k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
695.90/695.91 c 683s| 1090k|624404 | 0 | 0.0 |1083M|1899 | - |3649 | 21k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
703.70/703.79 c 691s| 1100k|630738 | 0 | 0.0 |1099M|1899 | - |3649 | 22k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
712.11/712.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.11/712.15 c 699s| 1110k|636859 | 0 | 0.0 |1116M|1899 | - |3649 | 23k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.91/720.96 c 707s| 1120k|642729 | 0 | 0.0 |1133M|1899 | - |3649 | 24k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.41/730.41 c 717s| 1130k|648321 | 0 | 0.0 |1149M|1899 | - |3649 | 25k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
739.00/739.03 c 725s| 1140k|653359 | 0 | 0.0 |1155M|1899 | - |3649 | 13k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.70/746.77 c 733s| 1150k|657723 | 0 | 0.0 |1163M|1899 | - |3649 | 14k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.40/755.45 c 741s| 1160k|661628 | 0 | 0.0 |1171M|1899 | - |3649 | 16k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.20/765.22 c 751s| 1170k|664691 | 0 | 0.0 |1178M|1899 | - |3649 | 17k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.70/776.76 c 762s| 1180k|666549 | 0 | 0.0 |1180M|1899 | - |3649 | 14k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.80/780.82 c 766s| 1190k|674460 | 0 | 0.0 |1187M|1899 | - |3649 | 10k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
785.00/785.08 c 770s| 1200k|681978 | 0 | 0.0 |1195M|1899 | - |3649 | 10k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.51/789.58 c 775s| 1210k|689294 | 0 | 0.0 |1203M|1899 | - |3649 | 10k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.00/794.03 c 779s| 1220k|696561 | 0 | 0.0 |1212M|1899 | - |3649 | 11k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.61/798.69 c 784s| 1230k|703672 | 0 | 0.0 |1220M|1899 | - |3649 | 11k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.60/803.61 c 789s| 1240k|710567 | 0 | 0.0 |1228M|1899 | - |3649 | 11k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
808.40/808.43 c 793s| 1250k|717511 | 0 | 0.0 |1236M|1899 | - |3649 | 12k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.30/813.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.30/813.31 c 798s| 1260k|724406 | 0 | 0.0 |1245M|1899 | - |3649 | 12k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
818.71/818.73 c 803s| 1270k|730831 | 0 | 0.0 |1253M|1899 | - |3649 | 12k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
824.01/824.08 c 809s| 1280k|737294 | 0 | 0.0 |1260M|1899 | - |3649 | 12k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.50/829.57 c 814s| 1290k|743666 | 0 | 0.0 |1269M|1899 | - |3649 | 13k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.10/835.15 c 819s| 1300k|749887 | 0 | 0.0 |1276M|1899 | - |3649 | 13k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.71/840.70 c 825s| 1310k|756130 | 0 | 0.0 |1284M|1899 | - |3649 | 13k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.51/846.52 c 831s| 1320k|762154 | 0 | 0.0 |1291M|1899 | - |3649 | 13k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.41/852.42 c 836s| 1330k|768134 | 0 | 0.0 |1299M|1899 | - |3649 | 13k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.41/858.42 c 842s| 1340k|774105 | 0 | 0.0 |1307M|1899 | - |3649 | 13k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.51/864.58 c 848s| 1350k|779807 | 0 | 0.0 |1315M|1899 | - |3649 | 13k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.81/870.87 c 855s| 1360k|785397 | 0 | 0.0 |1322M|1899 | - |3649 | 13k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.21/877.29 c 861s| 1370k|790953 | 0 | 0.0 |1330M|1899 | - |3649 | 14k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.81/883.84 c 867s| 1380k|796430 | 0 | 0.0 |1338M|1899 | - |3649 | 14k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.40/890.47 c 874s| 1390k|801840 | 0 | 0.0 |1345M|1899 | - |3649 | 15k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
897.00/897.01 c 880s| 1400k|807386 | 0 | 0.0 |1352M|1899 | - |3649 | 15k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.41/903.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.41/903.48 c 887s| 1410k|812982 | 0 | 0.0 |1360M|1899 | - |3649 | 14k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.90/909.95 c 893s| 1420k|818504 | 0 | 0.0 |1367M|1899 | - |3649 | 15k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
916.81/916.81 c 900s| 1430k|823719 | 0 | 0.0 |1374M|1899 | - |3649 | 14k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.70/923.75 c 906s| 1440k|828812 | 0 | 0.0 |1382M|1899 | - |3649 | 15k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.51/930.52 c 913s| 1450k|834240 | 0 | 0.0 |1389M|1899 | - |3649 | 15k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.50/937.51 c 920s| 1460k|839440 | 0 | 0.0 |1397M|1899 | - |3649 | 16k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.00/945.08 c 927s| 1470k|844202 | 0 | 0.0 |1404M|1899 | - |3649 | 16k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
952.41/952.48 c 935s| 1480k|849237 | 0 | 0.0 |1412M|1899 | - |3649 | 17k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.60/960.61 c 943s| 1490k|853782 | 0 | 0.0 |1419M|1899 | - |3649 | 18k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.41/969.45 c 951s| 1500k|858089 | 0 | 0.0 |1427M|1899 | - |3649 | 19k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.71/978.79 c 961s| 1510k|862093 | 0 | 0.0 |1434M|1899 | - |3649 | 20k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
988.81/988.81 c 970s| 1520k|865723 | 0 | 0.0 |1441M|1899 | - |3649 | 22k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.61/999.61 c 981s| 1530k|868931 | 0 | 0.0 |1449M|1899 | - |3649 | 24k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.92/1011.99 c 993s| 1540k|871342 | 0 | 0.0 |1453M|1899 | - |3649 | 20k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.61/1017.66 c 999s| 1550k|878035 | 0 | 0.0 |1457M|1899 | - |3649 | 13k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1022.31/1022.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.31/1022.34 c 1003s| 1560k|885154 | 0 | 0.0 |1465M|1899 | - |3649 | 12k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.01/1027.09 c 1008s| 1570k|892084 | 0 | 0.0 |1473M|1899 | - |3649 | 13k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1032.31/1032.34 c 1013s| 1580k|898542 | 0 | 0.0 |1482M|1899 | - |3649 | 14k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.11/1038.12 c 1019s| 1590k|904499 | 0 | 0.0 |1491M|1899 | - |3649 | 15k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.71/1044.79 c 1025s| 1600k|909697 | 0 | 0.0 |1500M|1899 | - |3649 | 16k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.61/1052.64 c 1033s| 1610k|913910 | 0 | 0.0 |1509M|1899 | - |3649 | 19k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1062.91/1062.97 c 1043s| 1620k|916314 | 0 | 0.0 |1516M|1899 | - |3649 | 23k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.41/1068.43 c 1049s| 1630k|923457 | 0 | 0.0 |1520M|1899 | - |3649 | 12k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.61/1072.67 c 1053s| 1640k|930951 | 0 | 0.0 |1528M|1899 | - |3649 | 12k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.30/1077.31 c 1057s| 1650k|937960 | 0 | 0.0 |1537M|1899 | - |3649 | 13k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.42/1082.49 c 1062s| 1660k|944521 | 0 | 0.0 |1546M|1899 | - |3649 | 14k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.11/1088.12 c 1068s| 1670k|950569 | 0 | 0.0 |1554M|1899 | - |3649 | 15k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1095.11/1095.12 c 1075s| 1680k|955569 | 0 | 0.0 |1563M|1899 | - |3649 | 17k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.32/1103.38 c 1083s| 1690k|959538 | 0 | 0.0 |1572M|1899 | - |3649 | 19k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1112.71/1112.77 c 1092s| 1700k|963187 | 0 | 0.0 |1576M|1899 | - |3649 | 15k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1116.91/1116.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.91/1116.97 c 1096s| 1710k|970946 | 0 | 0.0 |1583M|1899 | - |3649 | 12k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.21/1121.27 c 1101s| 1720k|978318 | 0 | 0.0 |1591M|1899 | - |3649 | 12k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.51/1125.56 c 1105s| 1730k|985596 | 0 | 0.0 |1599M|1899 | - |3649 | 12k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.41/1130.48 c 1110s| 1740k|992279 | 0 | 0.0 |1607M|1899 | - |3649 | 13k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.41/1136.46 c 1115s| 1750k|998058 | 0 | 0.0 |1616M|1899 | - |3649 | 14k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.21/1143.25 c 1122s| 1760k| 1003k| 0 | 0.0 |1626M|1899 | - |3649 | 16k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.81/1151.84 c 1130s| 1770k| 1007k| 0 | 0.0 |1634M|1899 | - |3649 | 19k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.21/1162.20 c 1141s| 1780k| 1011k| 0 | 0.0 |1641M|1899 | - |3649 | 20k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1169.11/1169.11 c 1147s| 1790k| 1017k| 0 | 0.0 |1646M|1899 | - |3649 | 13k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.40/1174.40 c 1153s| 1800k| 1024k| 0 | 0.0 |1654M|1899 | - |3649 | 12k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.90/1179.90 c 1158s| 1810k| 1031k| 0 | 0.0 |1662M|1899 | - |3649 | 13k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1185.72/1185.77 c 1164s| 1820k| 1038k| 0 | 0.0 |1670M|1899 | - |3649 | 15k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.91/1192.92 c 1171s| 1830k| 1044k| 0 | 0.0 |1678M|1899 | - |3649 | 16k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1201.71/1201.70 c 1179s| 1840k| 1049k| 0 | 0.0 |1686M|1899 | - |3649 | 17k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.41/1210.43 c 1188s| 1850k| 1054k| 0 | 0.0 |1693M|1899 | - |3649 | 16k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.31/1218.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.31/1218.39 c 1196s| 1860k| 1060k| 0 | 0.0 |1700M|1899 | - |3649 | 15k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1225.71/1225.72 c 1203s| 1870k| 1066k| 0 | 0.0 |1707M|1899 | - |3649 | 14k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.81/1232.89 c 1210s| 1880k| 1072k| 0 | 0.0 |1714M|1899 | - |3649 | 14k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1239.81/1239.89 c 1217s| 1890k| 1078k| 0 | 0.0 |1722M|1899 | - |3649 | 15k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1247.71/1247.70 c 1225s| 1900k| 1083k| 0 | 0.0 |1730M|1899 | - |3649 | 16k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1256.41/1256.41 c 1233s| 1910k| 1089k| 0 | 0.0 |1739M|1899 | - |3649 | 18k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.51/1266.51 c 1243s| 1920k| 1093k| 0 | 0.0 |1747M|1899 | - |3649 | 21k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1279.61/1279.62 c 1256s| 1930k| 1096k| 0 | 0.0 |1756M|1899 | - |3649 | 25k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1288.22/1288.21 c 1265s| 1940k| 1102k| 0 | 0.0 |1758M|1899 | - |3649 | 13k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.21/1293.27 c 1270s| 1950k| 1110k| 0 | 0.0 |1766M|1899 | - |3649 | 12k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.41/1298.44 c 1275s| 1960k| 1118k| 0 | 0.0 |1774M|1899 | - |3649 | 12k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.82/1303.85 c 1280s| 1970k| 1125k| 0 | 0.0 |1782M|1899 | - |3649 | 12k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1309.41/1309.44 c 1285s| 1980k| 1132k| 0 | 0.0 |1790M|1899 | - |3649 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1315.52/1315.52 c 1291s| 1990k| 1139k| 0 | 0.0 |1798M|1899 | - |3649 | 13k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.91/1321.95 c 1298s| 2000k| 1145k| 0 | 0.0 |1807M|1899 | - |3649 | 14k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.12/1329.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.12/1329.14 c 1305s| 2010k| 1151k| 0 | 0.0 |1815M|1899 | - |3649 | 15k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1336.72/1336.75 c 1312s| 2020k| 1157k| 0 | 0.0 |1824M|1899 | - |3649 | 16k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.01/1345.00 c 1320s| 2030k| 1163k| 0 | 0.0 |1832M|1899 | - |3649 | 17k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1353.91/1353.99 c 1329s| 2040k| 1168k| 0 | 0.0 |1840M|1899 | - |3649 | 19k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1364.02/1364.03 c 1339s| 2050k| 1173k| 0 | 0.0 |1848M|1899 | - |3649 | 20k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.92/1374.90 c 1350s| 2060k| 1177k| 0 | 0.0 |1857M|1899 | - |3649 | 22k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.92/1387.94 c 1363s| 2070k| 1181k| 0 | 0.0 |1864M|1899 | - |3649 | 24k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.22/1403.22 c 1378s| 2080k| 1183k| 0 | 0.0 |1871M|1899 | - |3649 | 28k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.81/1414.88 c 1390s| 2090k| 1188k| 0 | 0.0 |1873M|1899 | - |3649 | 13k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.81/1419.89 c 1394s| 2100k| 1196k| 0 | 0.0 |1880M|1899 | - |3649 | 12k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.92/1424.93 c 1399s| 2110k| 1204k| 0 | 0.0 |1888M|1899 | - |3649 | 12k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.11/1430.15 c 1404s| 2120k| 1211k| 0 | 0.0 |1896M|1899 | - |3649 | 12k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.52/1435.57 c 1410s| 2130k| 1218k| 0 | 0.0 |1903M|1899 | - |3649 | 13k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1441.11/1441.19 c 1415s| 2140k| 1226k| 0 | 0.0 |1911M|1899 | - |3649 | 13k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1446.92/1446.94 c 1421s| 2150k| 1233k| 0 | 0.0 |1919M|1899 | - |3649 | 14k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.51/1453.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.51/1453.55 c 1427s| 2160k| 1239k| 0 | 0.0 |1927M|1899 | - |3649 | 15k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1459.81/1459.82 c 1434s| 2170k| 1246k| 0 | 0.0 |1935M|1899 | - |3649 | 15k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.91/1466.94 c 1441s| 2180k| 1252k| 0 | 0.0 |1943M|1899 | - |3649 | 16k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.11/1474.16 c 1448s| 2190k| 1258k| 0 | 0.0 |1951M|1899 | - |3649 | 18k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1482.82/1482.84 c 1456s| 2200k| 1264k| 0 | 0.0 |1959M|1899 | - |3649 | 19k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.31/1492.32 c 1466s| 2210k| 1269k| 0 | 0.0 |1968M|1899 | - |3649 | 21k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.32/1503.38 c 1476s| 2220k| 1273k| 0 | 0.0 |1976M|1899 | - |3649 | 23k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1516.82/1516.85 c 1490s| 2230k| 1276k| 0 | 0.0 |1983M|1899 | - |3649 | 26k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.72/1533.70 c 1506s| 2240k| 1279k| 0 | 0.0 |1986M|1899 | - |3649 | 21k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.72/1539.76 c 1512s| 2250k| 1286k| 0 | 0.0 |1991M|1899 | - |3649 | 13k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1545.22/1545.24 c 1518s| 2260k| 1293k| 0 | 0.0 |1999M|1899 | - |3649 | 13k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.82/1550.88 c 1523s| 2270k| 1300k| 0 | 0.0 |2007M|1899 | - |3649 | 14k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.72/1557.77 c 1530s| 2280k| 1306k| 0 | 0.0 |2015M|1899 | - |3649 | 15k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.41/1565.47 c 1538s| 2290k| 1312k| 0 | 0.0 |2024M|1899 | - |3649 | 17k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.52/1575.58 c 1548s| 2300k| 1316k| 0 | 0.0 |2033M|1899 | - |3649 | 21k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.52/1587.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.52/1587.59 c 1559s| 2310k| 1320k| 0 | 0.0 |2037M|1899 | - |3649 | 15k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.92/1592.94 c 1565s| 2320k| 1327k| 0 | 0.0 |2044M|1899 | - |3649 | 12k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1598.32/1598.32 c 1570s| 2330k| 1335k| 0 | 0.0 |2052M|1899 | - |3649 | 13k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1603.92/1603.95 c 1576s| 2340k| 1342k| 0 | 0.0 |2060M|1899 | - |3649 | 14k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.12/1610.19 c 1582s| 2350k| 1348k| 0 | 0.0 |2068M|1899 | - |3649 | 15k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.51/1617.58 c 1589s| 2360k| 1354k| 0 | 0.0 |2076M|1899 | - |3649 | 17k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.12/1627.11 c 1598s| 2370k| 1359k| 0 | 0.0 |2085M|1899 | - |3649 | 19k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.03/1640.09 c 1611s| 2380k| 1361k| 0 | 0.0 |2093M|1899 | - |3649 | 24k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.21/1647.24 c 1618s| 2390k| 1368k| 0 | 0.0 |2097M|1899 | - |3649 | 12k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.32/1652.35 c 1623s| 2400k| 1376k| 0 | 0.0 |2105M|1899 | - |3649 | 12k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1657.62/1657.64 c 1628s| 2410k| 1383k| 0 | 0.0 |2113M|1899 | - |3649 | 13k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.41/1663.45 c 1634s| 2420k| 1390k| 0 | 0.0 |2121M|1899 | - |3649 | 14k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.73/1669.72 c 1640s| 2430k| 1397k| 0 | 0.0 |2129M|1899 | - |3649 | 16k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.43/1677.47 c 1648s| 2440k| 1402k| 0 | 0.0 |2138M|1899 | - |3649 | 18k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1687.02/1687.00 c 1657s| 2450k| 1407k| 0 | 0.0 |2147M|1899 | - |3649 | 20k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.12/1700.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.12/1700.18 c 1670s| 2460k| 1410k| 0 | 0.0 |2154M|1899 | - |3649 | 26k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.52/1711.56 c 1682s| 2470k| 1414k| 0 | 0.0 |2158M|1899 | - |3649 | 14k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.32/1721.36 c 1691s| 2480k| 1419k| 0 | 0.0 |2166M|1899 | - |3649 | 16k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1732.12/1732.10 c 1702s| 2490k| 1423k| 0 | 0.0 |2174M|1899 | - |3649 | 17k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1743.72/1743.74 c 1713s| 2500k| 1427k| 0 | 0.0 |2181M|1899 | - |3649 | 17k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1755.82/1755.85 c 1725s| 2510k| 1431k| 0 | 0.0 |2189M|1899 | - |3649 | 18k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.22/1768.20 c 1738s| 2520k| 1435k| 0 | 0.0 |2197M|1899 | - |3649 | 20k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1781.72/1781.74 c 1751s| 2530k| 1438k| 0 | 0.0 |2205M|1899 | - |3649 | 20k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1795.22/1795.21 c 1764s| 2540k| 1442k| 0 | 0.0 |2213M|1899 | - |3649 | 21k| 0 | 0 | 0 |1826k| 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) : 1769.09
1800.03/1800.00 c Solving Nodes : 2543137
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (24 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 -x125
1800.03/1800.03 v -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 : 1769.09
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2694113-1277906070.wbo
1800.03/1800.03 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.03/1800.03 c Constraints : 4493 initial, 4493 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2694113-1277906070.wbo
1800.03/1800.03 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.03/1800.03 c Constraints : 4298 initial, 31699 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 76 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 76 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.05 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 76 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.07 0 0 0 1809 0 119 96 0
1800.03/1800.03 c logicor : 0.00 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 : - 1687 - - 3374 - - - -
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 : 1709 0 6158611 0 1715186 19 3064650 0 0 0
1800.03/1800.03 c setppc : 11 0 7982370 0 2150637 34614 3789543 0 0 0
1800.03/1800.03 c linear : 1709 0 7952377 0 2151323 377757 36250384 0 0 0
1800.03/1800.03 c logicor : 869+ 0 5008373 0 2151337 231637 8567616 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 141964 0 0 374 1891 0 0 0
1800.03/1800.03 c countsols : 0 0 0 0 2151337 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 : 9.91 0.00 6.30 0.00 3.61
1800.03/1800.03 c setppc : 24.96 0.00 21.33 0.00 3.63
1800.03/1800.03 c linear : 302.18 0.00 299.84 0.00 2.34
1800.03/1800.03 c logicor : 471.71 0.00 414.51 0.00 57.20
1800.03/1800.03 c bounddisjunction : 0.24 0.00 0.24 0.00 0.00
1800.03/1800.03 c countsols : 0.37 0.00 0.00 0.00 0.37
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 1.97 2 0 0
1800.03/1800.03 c rootredcost : 2.05 0 0 0
1800.03/1800.03 c pseudoobj : 261.14 7987624 731 3054986
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 34.19 645113 645043 3384796 20.7 36566 12.4 -
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 24 24 89 22.1 35 9.3 -
1800.03/1800.03 c applied globally : - - - 1830257 18.7 - - -
1800.03/1800.03 c applied locally : - - - 8 214.6 - - -
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.70 2151313 0 0 0 0 4302626
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.05 - 24
1800.03/1800.03 c oneopt : 1.00 0 0
1800.03/1800.03 c trivial : 0.01 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.65 0 0
1800.03/1800.03 c trysol : 0.56 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 : 2543137
1800.03/1800.03 c nodes (total) : 2543137
1800.03/1800.03 c nodes left : 1443382
1800.03/1800.03 c max depth : 1899
1800.03/1800.03 c max depth (total): 1899
1800.03/1800.03 c backtracks : 344774 (13.6%)
1800.03/1800.03 c delayed cutoffs : 291103
1800.03/1800.03 c repropagations : 1246343 (15668983 domain reductions, 253356 cutoffs)
1800.03/1800.03 c avg switch length: 24.97
1800.03/1800.03 c switching time : 509.49
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 24 (24 improvements)
1800.03/1800.03 c First Solution : +4.14000000000000e+02 (in run 1, after 4723 nodes, 1.32 seconds, depth 479, found by <relaxation>)
1800.03/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 917055 nodes, 524.11 seconds, depth 360, 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-2694113-1277906070/watcher-2694113-1277906070 -o /tmp/evaluation-result-2694113-1277906070/solver-2694113-1277906070 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694113-1277906070.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.85 2.79 2.60 4/178 24037 /proc/meminfo: memFree=29997292/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=8444 CPUtime=0 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 1556 0 0 0 0 0 0 0 25 0 1 0 164246544 8646656 1478 4089446400 4194304 7136930 140734012099056 18446744073709551615 6328580 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24037/statm: 2111 1496 275 719 0 1390 0 [startup+0.0232369 s] /proc/loadavg: 2.85 2.79 2.60 4/178 24037 /proc/meminfo: memFree=29997292/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=12940 CPUtime=0.01 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 2710 0 0 0 1 0 0 0 25 0 1 0 164246544 13250560 2632 4089446400 4194304 7136930 140734012099056 18446744073709551615 6346448 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24037/statm: 3235 2633 275 719 0 2514 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12940 [startup+0.101228 s] /proc/loadavg: 2.85 2.79 2.60 4/178 24037 /proc/meminfo: memFree=29997292/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=28740 CPUtime=0.1 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 7870 0 0 0 9 1 0 0 25 0 1 0 164246544 29429760 6410 4089446400 4194304 7136930 140734012099056 18446744073709551615 4361608 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 7185 6410 354 719 0 6464 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 28740 [startup+0.300182 s] /proc/loadavg: 2.85 2.79 2.60 4/178 24037 /proc/meminfo: memFree=29997292/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=29524 CPUtime=0.29 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 10168 0 0 0 28 1 0 0 25 0 1 0 164246544 30232576 6652 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 7381 6652 391 719 0 6660 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29524 [startup+0.701116 s] /proc/loadavg: 2.85 2.79 2.60 4/178 24037 /proc/meminfo: memFree=29997292/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=31612 CPUtime=0.69 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 10693 0 0 0 67 2 0 0 25 0 1 0 164246544 32370688 7177 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 7903 7177 395 719 0 7182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31612 [startup+1.50098 s] /proc/loadavg: 2.85 2.79 2.60 3/179 24038 /proc/meminfo: memFree=29968516/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=34608 CPUtime=1.5 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 11426 0 0 0 145 5 0 0 25 0 1 0 164246544 35438592 7910 4089446400 4194304 7136930 140734012099056 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 8652 7910 396 719 0 7931 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 34608 [startup+3.10072 s] /proc/loadavg: 2.85 2.79 2.60 3/179 24038 /proc/meminfo: memFree=29961836/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=41632 CPUtime=3.09 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 13145 0 0 0 298 11 0 0 25 0 1 0 164246544 42631168 9629 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 10408 9629 396 719 0 9687 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41632 [startup+6.30018 s] /proc/loadavg: 2.78 2.78 2.59 3/179 24038 /proc/meminfo: memFree=29946908/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=54108 CPUtime=6.29 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 16289 0 0 0 609 20 0 0 25 0 1 0 164246544 55406592 12773 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 13527 12773 396 719 0 12806 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54108 [startup+12.7011 s] /proc/loadavg: 2.72 2.77 2.59 3/179 24038 /proc/meminfo: memFree=29921736/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=76600 CPUtime=12.69 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 21858 0 0 0 1234 35 0 0 25 0 1 0 164246544 78438400 18342 4089446400 4194304 7136930 140734012099056 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 19150 18342 396 719 0 18429 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76600 [startup+25.501 s] /proc/loadavg: 2.56 2.73 2.58 3/179 24038 /proc/meminfo: memFree=29847356/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=150196 CPUtime=25.49 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 38892 0 0 0 2480 69 0 0 25 0 1 0 164246544 153800704 35376 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 37549 35376 396 719 0 36828 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 150196 [startup+51.1007 s] /proc/loadavg: 2.37 2.67 2.56 3/179 24038 /proc/meminfo: memFree=29766912/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=219312 CPUtime=51.09 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 55753 0 0 0 4976 133 0 0 25 0 1 0 164246544 224575488 52237 4089446400 4194304 7136930 140734012099056 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 54828 52237 396 719 0 54107 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 219312 [startup+102.306 s] /proc/loadavg: 2.16 2.56 2.53 3/179 24040 /proc/meminfo: memFree=29634188/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=324768 CPUtime=102.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 81787 0 0 0 9974 256 0 0 25 0 1 0 164246544 332562432 78271 4089446400 4194304 7136930 140734012099056 18446744073709551615 6166606 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 81192 78271 396 719 0 80471 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 324768 [startup+162.301 s] /proc/loadavg: 2.06 2.46 2.50 3/179 24042 /proc/meminfo: memFree=29490768/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=459108 CPUtime=162.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 114545 0 0 0 15821 409 0 0 25 0 1 0 164246544 470126592 111029 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 114777 111029 396 719 0 114056 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 459108 [startup+222.301 s] /proc/loadavg: 2.02 2.37 2.46 3/179 24044 /proc/meminfo: memFree=29356808/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=582884 CPUtime=222.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 145663 0 0 0 21683 547 0 0 25 0 1 0 164246544 596873216 142147 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 145721 142147 396 719 0 145000 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 582884 [startup+282.301 s] /proc/loadavg: 2.00 2.30 2.43 3/179 24044 /proc/meminfo: memFree=29258032/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=674388 CPUtime=282.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 168670 0 0 0 27582 648 0 0 25 0 1 0 164246544 690573312 165154 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 168597 165154 396 719 0 167876 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 674388 [startup+342.301 s] /proc/loadavg: 2.00 2.24 2.40 3/179 24046 /proc/meminfo: memFree=29133540/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=724888 CPUtime=342.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 181415 0 0 0 33507 723 0 0 25 0 1 0 164246544 742285312 177899 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 181222 177899 396 719 0 180501 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 724888 [startup+402.301 s] /proc/loadavg: 2.00 2.20 2.37 3/179 24057 /proc/meminfo: memFree=29013600/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=764120 CPUtime=402.29 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 191157 0 0 0 39436 793 0 0 25 0 1 0 164246544 782458880 187641 4089446400 4194304 7136930 140734012099056 18446744073709551615 4221551 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 191030 187641 396 719 0 190309 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 764120 [startup+462.301 s] /proc/loadavg: 2.00 2.16 2.35 3/179 24059 /proc/meminfo: memFree=28858608/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=847016 CPUtime=462.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 209826 0 0 0 45316 914 0 0 25 0 1 0 164246544 867344384 206310 4089446400 4194304 7136930 140734012099056 18446744073709551615 4979019 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 211754 206310 396 719 0 211033 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 847016 [startup+522.301 s] /proc/loadavg: 2.08 2.14 2.33 3/179 24061 /proc/meminfo: memFree=28695580/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=949060 CPUtime=522.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 234751 0 0 0 51207 1023 0 0 25 0 1 0 164246544 971837440 231235 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 237265 231235 396 719 0 236544 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 949060 [startup+582.301 s] /proc/loadavg: 2.03 2.12 2.30 3/179 24061 /proc/meminfo: memFree=28567908/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1037900 CPUtime=582.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 254892 0 0 0 57105 1125 0 0 25 0 1 0 164246544 1062809600 251376 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 259475 251376 398 719 0 258754 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1037900 [startup+642.301 s] /proc/loadavg: 2.01 2.09 2.28 3/179 24063 /proc/meminfo: memFree=28423440/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1151680 CPUtime=642.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 281156 0 0 0 63009 1222 0 0 25 0 1 0 164246544 1179320320 277640 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 287920 277640 398 719 0 287199 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1151680 [startup+702.301 s] ################ # More data... # ################ /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 399280 0 0 0 98376 1855 0 0 25 0 1 0 164246544 1673281536 395764 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 408516 395764 398 719 0 407795 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1634064 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.17 3/179 24075 /proc/meminfo: memFree=27571264/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1701280 CPUtime=1062.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 416214 0 0 0 104269 1962 0 0 25 0 1 0 164246544 1742110720 412698 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 425320 412698 398 719 0 424599 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1701280 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.16 3/179 24077 /proc/meminfo: memFree=27441732/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1775876 CPUtime=1122.3 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 435131 0 0 0 110152 2078 0 0 25 0 1 0 164246544 1818497024 431615 4089446400 4194304 7136930 140734012099056 18446744073709551615 4923023 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 443969 431615 398 719 0 443248 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1775876 [startup+1182.3 s] /proc/loadavg: 2.45 2.14 2.19 4/200 24132 /proc/meminfo: memFree=29247760/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1858576 CPUtime=1182.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 451878 0 0 0 116040 2191 0 0 25 0 1 0 164246544 1903181824 448362 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 464644 448362 398 719 0 463923 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1858576 [startup+1242.3 s] /proc/loadavg: 3.05 2.37 2.26 4/200 24134 /proc/meminfo: memFree=29171924/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1919608 CPUtime=1242.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 467281 0 0 0 121942 2289 0 0 25 0 1 0 164246544 1965678592 463765 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 479902 463765 398 719 0 479181 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1919608 [startup+1302.3 s] /proc/loadavg: 2.79 2.42 2.28 4/200 24136 /proc/meminfo: memFree=29101064/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=1978104 CPUtime=1302.32 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 482173 0 0 0 127850 2382 0 0 25 0 1 0 164246544 2025578496 478657 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 494526 478657 398 719 0 493805 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1978104 [startup+1362.3 s] /proc/loadavg: 2.89 2.51 2.32 4/200 24138 /proc/meminfo: memFree=29025584/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2046148 CPUtime=1362.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 499424 0 0 0 133751 2480 0 0 25 0 1 0 164246544 2095255552 495908 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 511537 495908 398 719 0 510816 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2046148 [startup+1422.31 s] /proc/loadavg: 2.80 2.55 2.34 4/200 24140 /proc/meminfo: memFree=28985312/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2077400 CPUtime=1422.32 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 507357 0 0 0 139679 2553 0 0 25 0 1 0 164246544 2127257600 503841 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 519350 503841 398 719 0 518629 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2077400 [startup+1482.3 s] /proc/loadavg: 2.80 2.60 2.37 3/200 24140 /proc/meminfo: memFree=28911316/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2149384 CPUtime=1482.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 525610 0 0 0 145567 2664 0 0 25 0 1 0 164246544 2200969216 522094 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 537346 522094 398 719 0 536625 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2149384 [startup+1542.3 s] /proc/loadavg: 2.85 2.64 2.40 4/200 24142 /proc/meminfo: memFree=28864612/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2187864 CPUtime=1542.32 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 535364 0 0 0 151492 2740 0 0 25 0 1 0 164246544 2240372736 531848 4089446400 4194304 7136930 140734012099056 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 546966 531848 398 719 0 546245 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2187864 [startup+1602.3 s] /proc/loadavg: 2.76 2.66 2.42 4/200 24144 /proc/meminfo: memFree=28796964/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2249084 CPUtime=1602.31 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 550915 0 0 0 157393 2838 0 0 25 0 1 0 164246544 2303062016 547399 4089446400 4194304 7136930 140734012099056 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 562271 547399 398 719 0 561550 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 2249084 [startup+1662.3 s] /proc/loadavg: 2.81 2.69 2.44 4/200 24146 /proc/meminfo: memFree=28732292/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2309544 CPUtime=1662.32 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 566169 0 0 0 163298 2934 0 0 25 0 1 0 164246544 2364973056 562653 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 577386 562653 398 719 0 576665 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2309544 [startup+1722.3 s] /proc/loadavg: 2.75 2.69 2.46 3/200 24148 /proc/meminfo: memFree=28686072/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2351464 CPUtime=1722.32 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 576642 0 0 0 169222 3010 0 0 25 0 1 0 164246544 2407899136 573126 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 587866 573126 398 719 0 587145 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2351464 [startup+1782.3 s] /proc/loadavg: 2.66 2.68 2.46 4/200 24148 /proc/meminfo: memFree=28640236/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2394100 CPUtime=1782.32 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 587361 0 0 0 175159 3073 0 0 25 0 1 0 164246544 2451558400 583845 4089446400 4194304 7136930 140734012099056 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 598525 583845 398 719 0 597804 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2394100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.68 2.69 2.47 4/200 24150 /proc/meminfo: memFree=28626708/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2406164 CPUtime=1800.03 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 590339 0 0 0 176911 3092 0 0 25 0 1 0 164246544 2463911936 586823 4089446400 4194304 7136930 140734012099056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24037/statm: 601541 586823 398 719 0 600820 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2406164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24037 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.68 2.69 2.47 4/201 24151 /proc/meminfo: memFree=28626824/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2405596 CPUtime=1801.42 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 590380 0 0 0 177050 3092 0 0 19 0 1 0 164246544 2463330304 586608 4089446400 4194304 7136930 140734012099056 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24037/statm: 601399 586608 403 719 0 600678 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2405596 [startup+1801.81 s] /proc/loadavg: 2.68 2.69 2.47 4/201 24151 /proc/meminfo: memFree=28626944/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2405596 CPUtime=1801.83 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 590380 0 0 0 177091 3092 0 0 20 0 1 0 164246544 2463330304 586608 4089446400 4194304 7136930 140734012099056 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24037/statm: 601399 586608 403 719 0 600678 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2405596 [startup+1802 s] /proc/loadavg: 2.68 2.69 2.47 4/201 24151 /proc/meminfo: memFree=28626944/32951124 swapFree=67111528/67111528 [pid=24037] ppid=24035 vsize=2405596 CPUtime=1802.02 /proc/24037/stat : 24037 (pbscip.linux.x8) R 24035 24037 22591 0 -1 4202496 590380 0 0 0 177110 3092 0 0 20 0 1 0 164246544 2463330304 586608 4089446400 4194304 7136930 140734012099056 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24037/statm: 601399 586608 403 719 0 600678 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2405596 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.11 CPU user time (s): 1771.12 CPU system time (s): 30.9973 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2406620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.12 system time used= 30.9973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 590380 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1032 runsolver used 2.94855 second user time and 6.09307 second system time The end
Begin job on node118 at 2010-06-30 15:54:30 IDJOB=2694113 IDBENCH=78935 IDSOLVER=1206 FILE ID=node118/2694113-1277906070 PBS_JOBID= 11197185 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900583053--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-2694113-1277906070/watcher-2694113-1277906070 -o /tmp/evaluation-result-2694113-1277906070/solver-2694113-1277906070 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694113-1277906070.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9f5c0fb24468d0f2311d30a10738459c RANDOM SEED=79749185 node118.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.791 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.58 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.791 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.791 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.76 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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.83 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29997944 kB Buffers: 190296 kB Cached: 1299236 kB SwapCached: 0 kB Active: 1792648 kB Inactive: 1017020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29997944 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3192 kB Writeback: 0 kB AnonPages: 1319532 kB Mapped: 16708 kB Slab: 78496 kB PageTables: 7288 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1569776 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 node118 at 2010-06-30 16:24:32