Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 27 | 1802.15 | 1802.68 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb |
| MD5SUM | a470052ca6f8034e2c6c08868e52d9e8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.64 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1207 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4131 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2664232-1276613469.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 372k| 0 | - | 120 | 5 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.23 c 1.1s| 10000 | 9634 | 0 | 0.0 |3890k| 81 | - | 120 | 63 | 0 | 0 | 0 | 177 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 c 2.1s| 20000 | 19392 | 0 | 0.0 |7720k| 81 | - | 120 | 97 | 0 | 0 | 0 | 298 | 0 | 0.000000e+00 | -- | Inf
3.20/3.30 o 184
3.20/3.30 c * 2.9s| 26295 | 13819 | 0 | 0.0 |5741k| 81 | - | 120 | 67 | 0 | 0 | 0 | 495 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
3.99/4.03 c 3.5s| 30000 | 15853 | 0 | 0.0 |6920k| 81 | - | 120 | 335 | 0 | 0 | 0 |1399 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
5.89/5.95 c 5.3s| 40000 | 22782 | 0 | 0.0 | 10M| 81 | - | 120 |1155 | 0 | 0 | 0 |3189 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
8.09/8.10 c 7.2s| 50000 | 29368 | 0 | 0.0 | 13M| 81 | - | 120 |1533 | 0 | 0 | 0 |5270 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
10.39/10.48 c 9.4s| 60000 | 34973 | 0 | 0.0 | 15M| 81 | - | 120 |1406 | 0 | 0 | 0 |7888 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
11.78/11.82 o 183
11.78/11.82 c *10.7s| 65532 | 38075 | 0 | 0.0 | 17M| 81 | - | 120 |1377 | 0 | 0 | 0 |9281 | 0 | 0.000000e+00 | 1.830000e+02 | Inf
12.79/12.88 c 11.7s| 70000 | 40770 | 0 | 0.0 | 18M| 81 | - | 120 |1271 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
15.40/15.42 c 14.0s| 80000 | 46255 | 0 | 0.0 | 21M| 81 | - | 120 |1387 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
17.98/18.01 c 16.4s| 90000 | 51959 | 0 | 0.0 | 24M| 81 | - | 120 |1400 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
19.79/19.87 o 181
19.79/19.87 c *18.1s| 97099 | 55652 | 0 | 0.0 | 26M| 81 | - | 120 |1499 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
20.59/20.67 c 18.9s|100000 | 57193 | 0 | 0.0 | 27M| 81 | - | 120 |1478 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
23.28/23.33 c 21.3s|110000 | 62586 | 0 | 0.0 | 30M| 81 | - | 120 |1367 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
25.79/25.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.79/25.83 c 23.6s|120000 | 68077 | 0 | 0.0 | 34M| 81 | - | 120 |1119 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
28.09/28.14 c 25.8s|130000 | 73220 | 0 | 0.0 | 36M| 81 | - | 120 | 945 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
28.18/28.20 o 179
28.18/28.20 c *25.8s|130255 | 72929 | 0 | 0.0 | 36M| 81 | - | 120 | 937 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
28.78/28.81 o 178
28.78/28.81 c *26.4s|132680 | 73753 | 0 | 0.0 | 37M| 81 | - | 120 | 964 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
29.18/29.20 o 168
29.18/29.20 c *26.7s|134131 | 72484 | 0 | 0.0 | 37M| 81 | - | 120 | 975 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
30.49/30.51 c 27.9s|140000 | 75638 | 0 | 0.0 | 38M| 81 | - | 120 | 557 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
32.38/32.41 c 29.7s|150000 | 82643 | 0 | 0.0 | 41M| 81 | - | 120 | 615 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
34.58/34.60 c 31.7s|160000 | 88489 | 0 | 0.0 | 45M| 81 | - | 120 | 912 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
35.58/35.60 o 154
35.58/35.60 c *32.6s|164025 | 87118 | 0 | 0.0 | 44M| 81 | - | 120 |1074 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
36.88/36.99 c 33.9s|170000 | 90223 | 0 | 0.0 | 46M| 81 | - | 120 |1074 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
39.38/39.44 c 36.1s|180000 | 94667 | 0 | 0.0 | 49M| 81 | - | 120 |1109 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
41.48/41.58 c 38.1s|190000 |101035 | 0 | 0.0 | 52M| 81 | - | 120 |1564 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
43.78/43.81 c 40.2s|200000 |107672 | 0 | 0.0 | 54M| 81 | - | 120 |1620 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
45.98/46.05 c 42.2s|210000 |114190 | 0 | 0.0 | 57M| 81 | - | 120 |1828 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
48.58/48.65 c 44.6s|220000 |119848 | 0 | 0.0 | 59M| 81 | - | 120 |2078 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
51.18/51.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.18/51.29 c 47.1s|230000 |125612 | 0 | 0.0 | 62M| 81 | - | 120 |2208 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
53.48/53.58 o 153
53.48/53.58 c *49.2s|238841 |130814 | 0 | 0.0 | 64M| 81 | - | 120 |1953 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
53.79/53.88 c 49.5s|240000 |131515 | 0 | 0.0 | 65M| 81 | - | 120 |1959 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
56.48/56.58 c 52.0s|250000 |137163 | 0 | 0.0 | 67M| 81 | - | 120 |2179 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
59.18/59.26 o 50
59.18/59.26 c *54.5s|259502 |100683 | 0 | 0.0 | 49M| 81 | - | 120 |2097 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
59.38/59.43 c 54.6s|260000 |100858 | 0 | 0.0 | 49M| 81 | - | 120 |2140 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
63.08/63.15 c 58.2s|270000 |104184 | 0 | 0.0 | 52M| 81 | - | 120 |2837 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
67.27/67.32 c 62.2s|280000 |107056 | 0 | 0.0 | 54M| 81 | - | 120 |2803 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
71.48/71.55 c 66.2s|290000 |109967 | 0 | 0.0 | 57M| 81 | - | 120 |3066 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
76.07/76.13 c 70.6s|300000 |112360 | 0 | 0.0 | 59M| 81 | - | 120 |2583 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
80.28/80.37 c 74.6s|310000 |114934 | 0 | 0.0 | 61M| 81 | - | 120 |3051 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
85.37/85.40 c 79.4s|320000 |116915 | 0 | 0.0 | 64M| 81 | - | 120 |3442 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
90.27/90.37 c 84.2s|330000 |118823 | 0 | 0.0 | 66M| 81 | - | 120 |2891 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
95.37/95.48 c 89.1s|340000 |120459 | 0 | 0.0 | 69M| 81 | - | 120 |3659 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
100.96/101.08 c 94.5s|350000 |121835 | 0 | 0.0 | 71M| 81 | - | 120 |3640 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
106.26/106.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.26/106.35 c 99.5s|360000 |123251 | 0 | 0.0 | 73M| 81 | - | 120 |3588 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
112.17/112.22 c 105s|370000 |124301 | 0 | 0.0 | 76M| 81 | - | 120 |4171 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
118.16/118.24 c 111s|380000 |125387 | 0 | 0.0 | 78M| 81 | - | 120 |3648 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
124.05/124.11 c 117s|390000 |126245 | 0 | 0.0 | 80M| 81 | - | 120 |4259 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
130.15/130.22 c 122s|400000 |127350 | 0 | 0.0 | 82M| 81 | - | 120 |3483 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
136.15/136.25 c 128s|410000 |128135 | 0 | 0.0 | 85M| 81 | - | 120 |3631 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
141.65/141.75 c 134s|420000 |129051 | 0 | 0.0 | 87M| 81 | - | 120 |2962 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
146.65/146.78 c 138s|430000 |129929 | 0 | 0.0 | 89M| 81 | - | 120 |2443 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
150.85/150.96 c 142s|440000 |131836 | 0 | 0.0 | 91M| 81 | - | 120 |1866 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
153.86/153.94 c 145s|450000 |135878 | 0 | 0.0 | 93M| 81 | - | 120 |1780 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
156.84/156.90 c 148s|460000 |139661 | 0 | 0.0 | 96M| 81 | - | 120 |1815 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
159.95/160.07 c 151s|470000 |142750 | 0 | 0.0 | 99M| 81 | - | 120 |1874 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
163.25/163.37 c 154s|480000 |145265 | 0 | 0.0 | 102M| 81 | - | 120 |1849 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
166.84/166.94 c 157s|490000 |146945 | 0 | 0.0 | 105M| 81 | - | 120 |1865 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
167.94/168.07 o 49
167.94/168.07 c * 158s|493036 |147116 | 0 | 0.0 | 106M| 81 | - | 120 |1888 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
170.45/170.51 o 38
170.45/170.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.45/170.51 c * 161s|499388 |144954 | 0 | 0.0 | 105M| 81 | - | 120 |1926 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
170.64/170.77 c 161s|500000 |144973 | 0 | 0.0 | 105M| 81 | - | 120 |1921 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
174.24/174.32 c 164s|510000 |147326 | 0 | 0.0 | 108M| 81 | - | 120 |1743 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
176.95/177.02 c 167s|520000 |152716 | 0 | 0.0 | 110M| 81 | - | 120 |1542 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
179.63/179.76 c 169s|530000 |157952 | 0 | 0.0 | 113M| 81 | - | 120 |1572 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
182.64/182.79 c 172s|540000 |162486 | 0 | 0.0 | 116M| 81 | - | 120 |1657 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
185.93/186.02 c 175s|550000 |166442 | 0 | 0.0 | 119M| 81 | - | 120 |1992 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
189.43/189.57 c 179s|560000 |169923 | 0 | 0.0 | 122M| 81 | - | 120 |2121 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
193.33/193.44 c 182s|570000 |172936 | 0 | 0.0 | 125M| 81 | - | 120 |2381 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
197.53/197.67 c 186s|580000 |175483 | 0 | 0.0 | 127M| 81 | - | 120 |2681 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
202.04/202.14 c 191s|590000 |177868 | 0 | 0.0 | 130M| 81 | - | 120 |2828 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
206.93/207.02 c 195s|600000 |180227 | 0 | 0.0 | 133M| 81 | - | 120 |3103 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
211.73/211.89 c 200s|610000 |182687 | 0 | 0.0 | 136M| 81 | - | 120 |3313 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
215.63/215.76 c 204s|620000 |185360 | 0 | 0.0 | 139M| 81 | - | 120 |3334 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
219.32/219.44 c 207s|630000 |188768 | 0 | 0.0 | 142M| 81 | - | 120 |3372 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
223.13/223.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.13/223.20 c 211s|640000 |193295 | 0 | 0.0 | 145M| 81 | - | 120 |3140 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
226.93/227.05 c 214s|650000 |196992 | 0 | 0.0 | 148M| 81 | - | 120 |3183 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
230.62/230.71 c 218s|660000 |200830 | 0 | 0.0 | 151M| 81 | - | 120 |3240 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
234.33/234.43 c 221s|670000 |203920 | 0 | 0.0 | 154M| 81 | - | 120 |3345 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
238.32/238.46 c 225s|680000 |205875 | 0 | 0.0 | 157M| 81 | - | 120 |3065 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
241.42/241.59 c 228s|690000 |211694 | 0 | 0.0 | 159M| 81 | - | 120 |3684 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
244.92/245.03 c 231s|700000 |217495 | 0 | 0.0 | 162M| 81 | - | 120 |4188 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
248.62/248.76 c 235s|710000 |223069 | 0 | 0.0 | 165M| 81 | - | 120 |4225 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
252.62/252.71 c 239s|720000 |228116 | 0 | 0.0 | 168M| 81 | - | 120 |4447 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
256.81/256.94 c 243s|730000 |233355 | 0 | 0.0 | 170M| 81 | - | 120 |4690 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
260.92/261.01 c 246s|740000 |238488 | 0 | 0.0 | 173M| 81 | - | 120 |4392 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
265.51/265.62 c 251s|750000 |243388 | 0 | 0.0 | 176M| 81 | - | 120 |4922 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
269.92/270.02 c 255s|760000 |248321 | 0 | 0.0 | 179M| 81 | - | 120 |4839 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
274.51/274.67 c 260s|770000 |252979 | 0 | 0.0 | 181M| 81 | - | 120 |4760 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
279.31/279.47 c 264s|780000 |257894 | 0 | 0.0 | 184M| 81 | - | 120 |4957 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
284.01/284.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.01/284.12 c 269s|790000 |262071 | 0 | 0.0 | 187M| 81 | - | 120 |5122 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
288.61/288.72 c 273s|800000 |266022 | 0 | 0.0 | 189M| 81 | - | 120 |4999 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
293.31/293.47 c 278s|810000 |269767 | 0 | 0.0 | 191M| 81 | - | 120 |5083 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
298.71/298.85 c 283s|820000 |274052 | 0 | 0.0 | 194M| 81 | - | 120 |5286 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
303.80/303.96 c 288s|830000 |278367 | 0 | 0.0 | 197M| 81 | - | 120 |5182 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
309.01/309.13 c 293s|840000 |281957 | 0 | 0.0 | 199M| 81 | - | 120 |5233 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
314.00/314.18 c 297s|850000 |285683 | 0 | 0.0 | 201M| 81 | - | 120 |5119 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
319.50/319.60 c 303s|860000 |289044 | 0 | 0.0 | 204M| 81 | - | 120 |5148 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
324.89/325.00 c 308s|870000 |292561 | 0 | 0.0 | 206M| 81 | - | 120 |5267 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
330.29/330.45 c 313s|880000 |296120 | 0 | 0.0 | 208M| 81 | - | 120 |5358 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
335.59/335.77 c 318s|890000 |299636 | 0 | 0.0 | 211M| 81 | - | 120 |5568 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
341.39/341.56 c 324s|900000 |303706 | 0 | 0.0 | 213M| 81 | - | 120 |5404 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
346.79/346.99 c 329s|910000 |307309 | 0 | 0.0 | 216M| 81 | - | 120 |5745 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
352.78/352.95 c 335s|920000 |310406 | 0 | 0.0 | 218M| 81 | - | 120 |5560 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
358.88/359.02 c 341s|930000 |313747 | 0 | 0.0 | 221M| 81 | - | 120 |5552 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
364.98/365.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.98/365.14 c 347s|940000 |317025 | 0 | 0.0 | 223M| 81 | - | 120 |5785 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
370.98/371.13 c 352s|950000 |319924 | 0 | 0.0 | 225M| 81 | - | 120 |5837 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
376.68/376.85 c 358s|960000 |323112 | 0 | 0.0 | 227M| 81 | - | 120 |5600 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
382.48/382.61 c 363s|970000 |326561 | 0 | 0.0 | 229M| 81 | - | 120 |5868 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
388.87/389.01 c 370s|980000 |329995 | 0 | 0.0 | 232M| 81 | - | 120 |6007 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
394.97/395.11 c 375s|990000 |333113 | 0 | 0.0 | 234M| 81 | - | 120 |5996 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
401.57/401.72 c 382s| 1000k|335904 | 0 | 0.0 | 236M| 81 | - | 120 |5783 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
408.47/408.66 c 389s| 1010k|338506 | 0 | 0.0 | 239M| 81 | - | 120 |6083 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
415.17/415.38 c 395s| 1020k|341509 | 0 | 0.0 | 241M| 81 | - | 120 |6276 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
421.75/421.95 c 401s| 1030k|344088 | 0 | 0.0 | 243M| 81 | - | 120 |6329 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
428.36/428.56 c 408s| 1040k|347141 | 0 | 0.0 | 245M| 81 | - | 120 |6140 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
434.96/435.14 c 414s| 1050k|349836 | 0 | 0.0 | 247M| 81 | - | 120 |6241 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
441.15/441.39 c 420s| 1060k|352562 | 0 | 0.0 | 249M| 81 | - | 120 |5682 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
447.15/447.36 c 426s| 1070k|355117 | 0 | 0.0 | 251M| 81 | - | 120 |5903 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
453.85/454.05 c 433s| 1080k|357965 | 0 | 0.0 | 253M| 81 | - | 120 |6202 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
460.95/461.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.95/461.17 c 439s| 1090k|360380 | 0 | 0.0 | 256M| 81 | - | 120 |6344 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
468.55/468.78 c 447s| 1100k|362427 | 0 | 0.0 | 258M| 81 | - | 120 |6351 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
476.64/476.88 c 455s| 1110k|364691 | 0 | 0.0 | 260M| 81 | - | 120 |6704 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
484.24/484.43 c 462s| 1120k|366927 | 0 | 0.0 | 262M| 81 | - | 120 |6725 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
491.74/491.96 c 469s| 1130k|369456 | 0 | 0.0 | 265M| 81 | - | 120 |6650 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
499.03/499.26 c 476s| 1140k|371672 | 0 | 0.0 | 266M| 81 | - | 120 |6570 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
505.93/506.18 c 483s| 1150k|373958 | 0 | 0.0 | 268M| 81 | - | 120 |6549 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
513.03/513.26 c 490s| 1160k|376162 | 0 | 0.0 | 270M| 81 | - | 120 |6416 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
519.93/520.13 c 497s| 1170k|378383 | 0 | 0.0 | 271M| 81 | - | 120 |5988 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
526.83/527.01 c 503s| 1180k|380890 | 0 | 0.0 | 273M| 81 | - | 120 |6456 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
534.73/534.98 c 511s| 1190k|382820 | 0 | 0.0 | 276M| 81 | - | 120 |6732 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
543.42/543.60 c 520s| 1200k|384435 | 0 | 0.0 | 278M| 81 | - | 120 |7137 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
552.62/552.85 c 529s| 1210k|385914 | 0 | 0.0 | 280M| 81 | - | 120 |7242 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
560.92/561.19 c 537s| 1220k|387726 | 0 | 0.0 | 282M| 81 | - | 120 |7420 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
569.52/569.72 c 545s| 1230k|389878 | 0 | 0.0 | 284M| 81 | - | 120 |7522 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
577.72/577.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.72/577.93 c 553s| 1240k|391700 | 0 | 0.0 | 286M| 81 | - | 120 |7251 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
585.72/585.91 c 561s| 1250k|393649 | 0 | 0.0 | 288M| 81 | - | 120 |6850 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
593.19/593.50 c 568s| 1260k|395822 | 0 | 0.0 | 289M| 81 | - | 120 |6893 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
600.69/600.96 c 575s| 1270k|397970 | 0 | 0.0 | 291M| 81 | - | 120 |6553 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
608.10/608.38 c 582s| 1280k|399780 | 0 | 0.0 | 293M| 81 | - | 120 |6623 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
617.40/617.62 c 591s| 1290k|400940 | 0 | 0.0 | 295M| 81 | - | 120 |7599 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
627.19/627.43 c 601s| 1300k|402031 | 0 | 0.0 | 297M| 81 | - | 120 |7402 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
636.28/636.52 c 610s| 1310k|403398 | 0 | 0.0 | 299M| 81 | - | 120 |7046 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
644.88/645.16 c 618s| 1320k|405012 | 0 | 0.0 | 301M| 81 | - | 120 |7073 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
653.09/653.40 c 626s| 1330k|407045 | 0 | 0.0 | 303M| 81 | - | 120 |6643 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
660.68/660.95 c 634s| 1340k|409057 | 0 | 0.0 | 304M| 81 | - | 120 |6449 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
667.87/668.10 c 641s| 1350k|411080 | 0 | 0.0 | 306M| 81 | - | 120 |6013 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
677.18/677.46 c 650s| 1360k|412036 | 0 | 0.0 | 308M| 81 | - | 120 |7000 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
686.97/687.25 c 659s| 1370k|412841 | 0 | 0.0 | 310M| 81 | - | 120 |7327 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
696.17/696.40 c 668s| 1380k|414270 | 0 | 0.0 | 312M| 81 | - | 120 |6928 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
704.16/704.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.16/704.43 c 676s| 1390k|416272 | 0 | 0.0 | 313M| 81 | - | 120 |6252 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
712.06/712.37 c 684s| 1400k|417788 | 0 | 0.0 | 315M| 81 | - | 120 |6149 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
721.45/721.77 c 693s| 1410k|418590 | 0 | 0.0 | 317M| 81 | - | 120 |6698 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
729.46/729.74 c 701s| 1420k|420413 | 0 | 0.0 | 319M| 81 | - | 120 |5679 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
737.35/737.62 c 708s| 1430k|421525 | 0 | 0.0 | 320M| 81 | - | 120 |5902 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
744.36/744.60 c 715s| 1440k|423189 | 0 | 0.0 | 322M| 81 | - | 120 |5023 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
751.15/751.41 c 722s| 1450k|424652 | 0 | 0.0 | 324M| 81 | - | 120 |4813 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
756.35/756.67 c 727s| 1460k|427961 | 0 | 0.0 | 326M| 81 | - | 120 |4529 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
760.75/761.03 c 731s| 1470k|432067 | 0 | 0.0 | 328M| 81 | - | 120 |4599 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
764.35/764.63 c 734s| 1480k|436448 | 0 | 0.0 | 330M| 81 | - | 120 |4589 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
768.15/768.42 c 738s| 1490k|440574 | 0 | 0.0 | 332M| 81 | - | 120 |4628 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
772.04/772.30 c 742s| 1500k|444575 | 0 | 0.0 | 335M| 81 | - | 120 |4681 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
775.85/776.12 c 745s| 1510k|448377 | 0 | 0.0 | 337M| 81 | - | 120 |4660 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
779.74/780.07 c 749s| 1520k|451875 | 0 | 0.0 | 339M| 81 | - | 120 |4734 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
783.95/784.21 c 753s| 1530k|455228 | 0 | 0.0 | 342M| 81 | - | 120 |4724 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
787.94/788.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.94/788.29 c 757s| 1540k|458561 | 0 | 0.0 | 344M| 81 | - | 120 |4711 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
792.33/792.67 c 761s| 1550k|461255 | 0 | 0.0 | 346M| 81 | - | 120 |4841 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
796.74/797.06 c 765s| 1560k|464256 | 0 | 0.0 | 348M| 81 | - | 120 |4646 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
801.04/801.36 c 769s| 1570k|467092 | 0 | 0.0 | 351M| 81 | - | 120 |4564 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
805.43/805.78 c 774s| 1580k|469217 | 0 | 0.0 | 353M| 81 | - | 120 |4560 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
810.04/810.34 c 778s| 1590k|471560 | 0 | 0.0 | 355M| 81 | - | 120 |4521 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
814.53/814.81 c 782s| 1600k|473980 | 0 | 0.0 | 357M| 81 | - | 120 |4386 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
818.83/819.11 c 786s| 1610k|476104 | 0 | 0.0 | 359M| 81 | - | 120 |4393 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
820.24/820.54 o 37
820.24/820.54 c * 788s| 1613k|476490 | 0 | 0.0 | 360M| 81 | - | 120 |4342 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
823.33/823.67 c 791s| 1620k|477705 | 0 | 0.0 | 361M| 81 | - | 120 |4261 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
827.83/828.15 c 795s| 1630k|479651 | 0 | 0.0 | 364M| 81 | - | 120 |4147 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
832.22/832.53 c 799s| 1640k|481477 | 0 | 0.0 | 366M| 81 | - | 120 |4137 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
836.84/837.18 c 803s| 1650k|482571 | 0 | 0.0 | 368M| 81 | - | 120 |3989 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
841.63/841.90 c 808s| 1660k|484045 | 0 | 0.0 | 370M| 81 | - | 120 |3940 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
846.22/846.54 c 812s| 1670k|485085 | 0 | 0.0 | 373M| 81 | - | 120 |3967 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
851.03/851.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.03/851.35 c 817s| 1680k|485666 | 0 | 0.0 | 375M| 81 | - | 120 |3966 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
855.02/855.38 c 821s| 1690k|489594 | 0 | 0.0 | 376M| 81 | - | 120 |3932 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
858.52/858.83 c 824s| 1700k|495477 | 0 | 0.0 | 379M| 81 | - | 120 |4083 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
862.22/862.57 c 828s| 1710k|501187 | 0 | 0.0 | 381M| 81 | - | 120 |4218 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
866.12/866.47 c 831s| 1720k|506582 | 0 | 0.0 | 383M| 81 | - | 120 |4345 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
870.21/870.51 c 835s| 1730k|511738 | 0 | 0.0 | 386M| 81 | - | 120 |4472 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
874.61/874.92 c 839s| 1740k|516843 | 0 | 0.0 | 388M| 81 | - | 120 |4296 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
878.81/879.16 c 844s| 1750k|521588 | 0 | 0.0 | 390M| 81 | - | 120 |4764 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
883.32/883.66 c 848s| 1760k|526430 | 0 | 0.0 | 392M| 81 | - | 120 |4099 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
887.81/888.16 c 852s| 1770k|530701 | 0 | 0.0 | 394M| 81 | - | 120 |4527 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
892.51/892.85 c 857s| 1780k|535251 | 0 | 0.0 | 396M| 81 | - | 120 |4053 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
897.01/897.35 c 861s| 1790k|539569 | 0 | 0.0 | 398M| 81 | - | 120 |4366 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
902.21/902.51 c 866s| 1800k|543430 | 0 | 0.0 | 400M| 81 | - | 120 |4450 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
907.11/907.42 c 871s| 1810k|547743 | 0 | 0.0 | 402M| 81 | - | 120 |4439 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
912.10/912.42 c 875s| 1820k|551429 | 0 | 0.0 | 404M| 81 | - | 120 |4932 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
917.80/918.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.80/918.11 c 881s| 1830k|555024 | 0 | 0.0 | 406M| 81 | - | 120 |4798 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
923.40/923.70 c 886s| 1840k|558797 | 0 | 0.0 | 408M| 81 | - | 120 |4935 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
928.60/929.00 c 892s| 1850k|562704 | 0 | 0.0 | 410M| 81 | - | 120 |4871 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
928.80/929.11 o 35
928.80/929.11 c * 892s| 1850k|562283 | 0 | 0.0 | 410M| 81 | - | 120 |4883 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
934.90/935.24 c 898s| 1860k|565062 | 0 | 0.0 | 412M| 81 | - | 120 |5350 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
941.30/941.66 c 904s| 1870k|568440 | 0 | 0.0 | 414M| 81 | - | 120 |5278 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
947.29/947.60 c 909s| 1880k|571926 | 0 | 0.0 | 416M| 81 | - | 120 |5266 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
953.30/953.68 c 915s| 1890k|575265 | 0 | 0.0 | 418M| 81 | - | 120 |5572 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
960.39/960.73 c 922s| 1900k|578094 | 0 | 0.0 | 420M| 81 | - | 120 |5898 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
967.38/967.72 c 929s| 1910k|581019 | 0 | 0.0 | 422M| 81 | - | 120 |6115 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
974.19/974.54 c 936s| 1920k|584079 | 0 | 0.0 | 424M| 81 | - | 120 |6204 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
981.29/981.63 c 943s| 1930k|586944 | 0 | 0.0 | 426M| 81 | - | 120 |6352 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
989.38/989.77 c 950s| 1940k|589474 | 0 | 0.0 | 428M| 81 | - | 120 |6682 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
997.29/997.66 c 958s| 1950k|592208 | 0 | 0.0 | 430M| 81 | - | 120 |6764 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1004.78/1005.12 c 965s| 1960k|595118 | 0 | 0.0 | 432M| 81 | - | 120 |6718 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1013.28/1013.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.28/1013.62 c 974s| 1970k|597654 | 0 | 0.0 | 434M| 81 | - | 120 |6890 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1021.18/1021.57 c 981s| 1980k|600618 | 0 | 0.0 | 436M| 81 | - | 120 |7045 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1022.37/1022.78 o 34
1022.37/1022.78 c * 983s| 1981k|598072 | 0 | 0.0 | 435M| 81 | - | 120 |6977 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1029.67/1030.08 c 990s| 1990k|600549 | 0 | 0.0 | 437M| 81 | - | 120 |7353 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1037.87/1038.28 c 998s| 2000k|603693 | 0 | 0.0 | 439M| 81 | - | 120 |7367 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1046.26/1046.60 c 1006s| 2010k|606459 | 0 | 0.0 | 442M| 81 | - | 120 |7695 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1053.77/1054.14 c 1013s| 2020k|609482 | 0 | 0.0 | 444M| 81 | - | 120 |7360 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1060.86/1061.25 c 1020s| 2030k|612273 | 0 | 0.0 | 446M| 81 | - | 120 |7178 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1067.16/1067.60 c 1026s| 2040k|615457 | 0 | 0.0 | 448M| 81 | - | 120 |6922 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1072.56/1072.95 c 1031s| 2050k|619045 | 0 | 0.0 | 450M| 81 | - | 120 |6779 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
1077.46/1077.87 o 27
1077.46/1077.87 c *1036s| 2059k|580181 | 0 | 0.0 | 420M| 81 | - | 120 |6791 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1077.66/1078.07 c 1036s| 2060k|580297 | 0 | 0.0 | 420M| 81 | - | 120 |6810 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1083.55/1083.91 c 1042s| 2070k|582868 | 0 | 0.0 | 423M| 81 | - | 120 |6989 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1089.86/1090.23 c 1048s| 2080k|584862 | 0 | 0.0 | 425M| 81 | - | 120 |7029 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1096.05/1096.46 c 1054s| 2090k|586342 | 0 | 0.0 | 427M| 81 | - | 120 |6927 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1102.25/1102.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.25/1102.66 c 1060s| 2100k|588835 | 0 | 0.0 | 430M| 81 | - | 120 |7144 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1108.65/1109.09 c 1066s| 2110k|593868 | 0 | 0.0 | 432M| 81 | - | 120 |7341 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1115.44/1115.89 c 1073s| 2120k|598504 | 0 | 0.0 | 435M| 81 | - | 120 |7336 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1122.34/1122.70 c 1080s| 2130k|602726 | 0 | 0.0 | 437M| 81 | - | 120 |7107 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1129.25/1129.68 c 1086s| 2140k|606489 | 0 | 0.0 | 440M| 81 | - | 120 |7189 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1136.15/1136.50 c 1093s| 2150k|610053 | 0 | 0.0 | 443M| 81 | - | 120 |7184 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1142.84/1143.29 c 1099s| 2160k|613430 | 0 | 0.0 | 445M| 81 | - | 120 |7030 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1149.74/1150.13 c 1106s| 2170k|616267 | 0 | 0.0 | 447M| 81 | - | 120 |7044 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1156.23/1156.62 c 1112s| 2180k|619169 | 0 | 0.0 | 449M| 81 | - | 120 |6933 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1162.24/1162.61 c 1118s| 2190k|622703 | 0 | 0.0 | 452M| 81 | - | 120 |6822 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1168.03/1168.40 c 1124s| 2200k|626352 | 0 | 0.0 | 454M| 81 | - | 120 |6849 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1174.03/1174.41 c 1130s| 2210k|629776 | 0 | 0.0 | 457M| 81 | - | 120 |6884 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1180.13/1180.51 c 1135s| 2220k|632647 | 0 | 0.0 | 459M| 81 | - | 120 |6785 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1186.13/1186.59 c 1141s| 2230k|635066 | 0 | 0.0 | 462M| 81 | - | 120 |6828 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1192.63/1193.06 c 1148s| 2240k|637638 | 0 | 0.0 | 464M| 81 | - | 120 |6773 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1199.12/1199.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.12/1199.58 c 1154s| 2250k|639462 | 0 | 0.0 | 467M| 81 | - | 120 |6917 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1205.62/1206.06 c 1160s| 2260k|642513 | 0 | 0.0 | 469M| 81 | - | 120 |7286 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1211.32/1211.75 c 1166s| 2270k|647955 | 0 | 0.0 | 471M| 81 | - | 120 |7635 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1216.81/1217.23 c 1171s| 2280k|653768 | 0 | 0.0 | 474M| 81 | - | 120 |8233 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1222.61/1223.05 c 1177s| 2290k|659608 | 0 | 0.0 | 476M| 81 | - | 120 |8402 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1229.01/1229.43 c 1183s| 2300k|665167 | 0 | 0.0 | 479M| 81 | - | 120 |9180 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1235.51/1235.98 c 1189s| 2310k|670527 | 0 | 0.0 | 481M| 81 | - | 120 |8755 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1242.52/1242.93 c 1196s| 2320k|675690 | 0 | 0.0 | 484M| 81 | - | 120 |9828 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1249.71/1250.12 c 1203s| 2330k|680823 | 0 | 0.0 | 486M| 81 | - | 120 |9610 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1256.51/1256.96 c 1210s| 2340k|686051 | 0 | 0.0 | 488M| 81 | - | 120 |9389 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1263.51/1263.95 c 1216s| 2350k|690926 | 0 | 0.0 | 490M| 81 | - | 120 | 10k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1271.50/1271.92 c 1224s| 2360k|695549 | 0 | 0.0 | 493M| 81 | - | 120 | 10k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1279.50/1279.92 c 1232s| 2370k|700339 | 0 | 0.0 | 495M| 81 | - | 120 | 10k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1287.20/1287.64 c 1240s| 2380k|705113 | 0 | 0.0 | 497M| 81 | - | 120 | 10k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1294.31/1294.71 c 1246s| 2390k|709710 | 0 | 0.0 | 499M| 81 | - | 120 |9931 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1302.29/1302.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.29/1302.70 c 1254s| 2400k|714033 | 0 | 0.0 | 501M| 81 | - | 120 | 10k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1311.09/1311.50 c 1263s| 2410k|718469 | 0 | 0.0 | 504M| 81 | - | 120 | 11k| 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1319.79/1320.28 c 1271s| 2420k|722812 | 0 | 0.0 | 506M| 81 | - | 120 | 11k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1327.98/1328.49 c 1279s| 2430k|727302 | 0 | 0.0 | 508M| 81 | - | 120 | 11k| 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1336.49/1336.96 c 1288s| 2440k|731703 | 0 | 0.0 | 510M| 81 | - | 120 | 10k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1344.38/1344.85 c 1295s| 2450k|736188 | 0 | 0.0 | 512M| 81 | - | 120 | 10k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1351.97/1352.48 c 1303s| 2460k|740433 | 0 | 0.0 | 514M| 81 | - | 120 | 10k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1361.07/1361.50 c 1312s| 2470k|744345 | 0 | 0.0 | 516M| 81 | - | 120 | 11k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1370.88/1371.35 c 1321s| 2480k|748195 | 0 | 0.0 | 518M| 81 | - | 120 | 11k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1380.67/1381.10 c 1331s| 2490k|752327 | 0 | 0.0 | 521M| 81 | - | 120 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1390.07/1390.51 c 1340s| 2500k|756254 | 0 | 0.0 | 523M| 81 | - | 120 | 12k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1400.07/1400.54 c 1350s| 2510k|760510 | 0 | 0.0 | 525M| 81 | - | 120 | 12k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1408.97/1409.45 c 1359s| 2520k|764584 | 0 | 0.0 | 527M| 81 | - | 120 | 11k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1418.36/1418.90 c 1368s| 2530k|768724 | 0 | 0.0 | 529M| 81 | - | 120 | 11k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1426.96/1427.50 c 1376s| 2540k|772864 | 0 | 0.0 | 531M| 81 | - | 120 | 11k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1436.17/1436.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.17/1436.69 c 1385s| 2550k|776621 | 0 | 0.0 | 533M| 81 | - | 120 | 11k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1445.85/1446.38 c 1395s| 2560k|780471 | 0 | 0.0 | 535M| 81 | - | 120 | 11k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1455.05/1455.56 c 1404s| 2570k|784152 | 0 | 0.0 | 537M| 81 | - | 120 | 11k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1463.75/1464.25 c 1412s| 2580k|787793 | 0 | 0.0 | 539M| 81 | - | 120 | 11k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1473.45/1474.00 c 1422s| 2590k|791299 | 0 | 0.0 | 541M| 81 | - | 120 | 12k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1484.35/1484.88 c 1432s| 2600k|794797 | 0 | 0.0 | 543M| 81 | - | 120 | 12k| 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1495.25/1495.76 c 1443s| 2610k|798281 | 0 | 0.0 | 545M| 81 | - | 120 | 12k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1505.64/1506.10 c 1453s| 2620k|801815 | 0 | 0.0 | 547M| 81 | - | 120 | 13k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1516.93/1517.44 c 1464s| 2630k|805571 | 0 | 0.0 | 549M| 81 | - | 120 | 13k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1527.34/1527.83 c 1475s| 2640k|809026 | 0 | 0.0 | 551M| 81 | - | 120 | 12k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1538.34/1538.84 c 1485s| 2650k|812785 | 0 | 0.0 | 553M| 81 | - | 120 | 12k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1548.43/1548.95 c 1495s| 2660k|816448 | 0 | 0.0 | 555M| 81 | - | 120 | 11k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1559.73/1560.29 c 1506s| 2670k|819561 | 0 | 0.0 | 557M| 81 | - | 120 | 12k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1570.83/1571.34 c 1517s| 2680k|822842 | 0 | 0.0 | 559M| 81 | - | 120 | 12k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1581.33/1581.88 c 1528s| 2690k|826006 | 0 | 0.0 | 561M| 81 | - | 120 | 12k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1591.41/1591.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.41/1591.99 c 1538s| 2700k|829126 | 0 | 0.0 | 563M| 81 | - | 120 | 11k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1601.61/1602.19 c 1548s| 2710k|832289 | 0 | 0.0 | 564M| 81 | - | 120 | 11k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1612.02/1612.57 c 1558s| 2720k|835553 | 0 | 0.0 | 566M| 81 | - | 120 | 11k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1621.81/1622.35 c 1567s| 2730k|838697 | 0 | 0.0 | 568M| 81 | - | 120 | 11k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1631.71/1632.25 c 1577s| 2740k|841893 | 0 | 0.0 | 570M| 81 | - | 120 | 11k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1641.71/1642.22 c 1587s| 2750k|845010 | 0 | 0.0 | 572M| 81 | - | 120 | 11k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1652.50/1653.04 c 1597s| 2760k|847875 | 0 | 0.0 | 574M| 81 | - | 120 | 12k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1663.99/1664.56 c 1609s| 2770k|850673 | 0 | 0.0 | 576M| 81 | - | 120 | 13k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1675.79/1676.40 c 1620s| 2780k|853678 | 0 | 0.0 | 579M| 81 | - | 120 | 13k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1688.18/1688.78 c 1633s| 2790k|856683 | 0 | 0.0 | 581M| 81 | - | 120 | 13k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1699.99/1700.57 c 1644s| 2800k|859803 | 0 | 0.0 | 582M| 81 | - | 120 | 13k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1712.59/1713.17 c 1656s| 2810k|862926 | 0 | 0.0 | 584M| 81 | - | 120 | 13k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1724.18/1724.71 c 1668s| 2820k|866110 | 0 | 0.0 | 586M| 81 | - | 120 | 12k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1736.57/1737.18 c 1680s| 2830k|868678 | 0 | 0.0 | 588M| 81 | - | 120 | 13k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1749.37/1749.94 c 1693s| 2840k|871338 | 0 | 0.0 | 590M| 81 | - | 120 | 13k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1761.77/1762.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.77/1762.32 c 1705s| 2850k|873850 | 0 | 0.0 | 592M| 81 | - | 120 | 13k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1773.87/1774.42 c 1717s| 2860k|876379 | 0 | 0.0 | 594M| 81 | - | 120 | 13k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1786.66/1787.24 c 1729s| 2870k|879168 | 0 | 0.0 | 596M| 81 | - | 120 | 13k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1798.76/1799.38 c 1741s| 2880k|881654 | 0 | 0.0 | 598M| 81 | - | 120 | 13k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1742.41
1800.07/1800.61 c Solving Nodes : 2880916
1800.07/1800.61 c Primal Bound : +2.70000000000000e+01 (15 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x120 x119 -x118 -x117 -x116 x115 x114 x113 x112 x111 x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 x98 x97
1800.07/1800.61 v -x96 x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 x85 -x84 -x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.07/1800.61 v -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45
1800.07/1800.61 v x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 x20 x19
1800.07/1800.61 v -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1742.41
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664232-1276613469.opb
1800.07/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 10 initial, 10 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664232-1276613469.opb
1800.07/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 5 initial, 13909 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 5 0 6144945 0 2053826 847383 12592798 0 0 0
1800.07/1800.61 c logicor : 0+ 0 2058789 0 0 257 793529 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 2053833 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c linear : 368.39 0.00 366.11 0.00 2.28
1800.07/1800.61 c logicor : 629.96 0.00 629.96 0.00 0.00
1800.07/1800.61 c countsols : 0.73 0.00 0.00 0.00 0.73
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 3.43 2 0 0
1800.07/1800.61 c rootredcost : 2.84 0 0 0
1800.07/1800.61 c pseudoobj : 80.46 6358296 213544 8114991
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 129.89 1061184 1004195 3648308 36.1 941 41.9 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 1 1 1 3.0 1 55.0 -
1800.07/1800.61 c applied globally : - - - 769797 26.0 - - -
1800.07/1800.61 c applied locally : - - - 252390 36.7 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 36.39 2053818 0 0 0 0 4107636
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.44 - 15
1800.07/1800.61 c oneopt : 2.31 0 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.18 0 0
1800.07/1800.61 c trysol : 1.62 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 2880916
1800.07/1800.61 c nodes (total) : 2880916
1800.07/1800.61 c nodes left : 881940
1800.07/1800.61 c max depth : 81
1800.07/1800.61 c max depth (total): 81
1800.07/1800.61 c backtracks : 266014 (9.2%)
1800.07/1800.61 c delayed cutoffs : 235590
1800.07/1800.61 c repropagations : 1336488 (3997769 domain reductions, 234102 cutoffs)
1800.07/1800.61 c avg switch length: 6.09
1800.07/1800.61 c switching time : 393.14
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 15 (15 improvements)
1800.07/1800.61 c First Solution : +1.84000000000000e+02 (in run 1, after 26295 nodes, 2.85 seconds, depth 69, found by <relaxation>)
1800.07/1800.61 c Primal Bound : +2.70000000000000e+01 (in run 1, after 2059625 nodes, 1035.99 seconds, depth 56, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 0
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664232-1276613469/watcher-2664232-1276613469 -o /tmp/evaluation-result-2664232-1276613469/solver-2664232-1276613469 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664232-1276613469.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9940 /proc/meminfo: memFree=1479748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=6584 CPUtime=0 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 2639602 6742016 921 1992294400 4194304 7136930 140735816733664 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9940/statm: 1646 932 254 719 0 925 0 [startup+0.0349539 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9940 /proc/meminfo: memFree=1479748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=10968 CPUtime=0.02 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 2708 0 0 0 1 1 0 0 20 0 1 0 2639602 11231232 2021 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 2742 2021 375 719 0 2021 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10968 [startup+0.100959 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9940 /proc/meminfo: memFree=1479748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=11236 CPUtime=0.09 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 2780 0 0 0 7 2 0 0 20 0 1 0 2639602 11505664 2093 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 2809 2093 383 719 0 2088 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11236 [startup+0.300975 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9940 /proc/meminfo: memFree=1479748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=12224 CPUtime=0.29 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 3034 0 0 0 24 5 0 0 20 0 1 0 2639602 12517376 2347 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 3056 2347 383 719 0 2335 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12224 [startup+0.70101 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9940 /proc/meminfo: memFree=1479748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=13816 CPUtime=0.69 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 3433 0 0 0 60 9 0 0 21 0 1 0 2639602 14147584 2746 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 3454 2746 383 719 0 2733 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13816 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9941 /proc/meminfo: memFree=1469324/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=16316 CPUtime=1.49 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 4087 0 0 0 131 18 0 0 23 0 1 0 2639602 16707584 3400 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 4079 3400 383 719 0 3358 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16316 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9941 /proc/meminfo: memFree=1464736/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=22520 CPUtime=3.09 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 5666 0 0 0 269 40 0 0 25 0 1 0 2639602 23060480 4979 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 5630 4979 383 719 0 4909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22520 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9941 /proc/meminfo: memFree=1458784/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=25532 CPUtime=6.29 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 6437 0 0 0 558 71 0 0 25 0 1 0 2639602 26144768 5750 1992294400 4194304 7136930 140735816733664 18446744073709551615 5918656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 6383 5750 383 719 0 5662 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25532 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9941 /proc/meminfo: memFree=1450476/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=33096 CPUtime=12.69 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 8378 0 0 0 1149 120 0 0 25 0 1 0 2639602 33890304 7691 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 8274 7691 383 719 0 7553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33096 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9943 /proc/meminfo: memFree=1431628/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=53776 CPUtime=25.48 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 13122 0 0 0 2333 215 0 0 25 0 1 0 2639602 55066624 12435 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 13444 12435 383 719 0 12723 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53776 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9943 /proc/meminfo: memFree=1398272/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=86404 CPUtime=51.08 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 21498 0 0 0 4691 417 0 0 25 0 1 0 2639602 88477696 20811 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 21601 20811 383 719 0 20880 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 86404 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9945 /proc/meminfo: memFree=1377936/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=105564 CPUtime=102.27 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 26306 0 0 0 9565 662 0 0 25 0 1 0 2639602 108097536 25619 1992294400 4194304 7136930 140735816733664 18446744073709551615 4221185 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 26391 25619 383 719 0 25670 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 105564 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9945 /proc/meminfo: memFree=1348796/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=134832 CPUtime=162.25 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 33586 0 0 0 15301 924 0 0 25 0 1 0 2639602 138067968 32899 1992294400 4194304 7136930 140735816733664 18446744073709551615 4703285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 33708 32899 383 719 0 32987 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 134832 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9947 /proc/meminfo: memFree=1304280/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=179044 CPUtime=222.22 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 44838 0 0 0 20971 1251 0 0 25 0 1 0 2639602 183341056 44151 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 44761 44151 384 719 0 44040 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 179044 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9949 /proc/meminfo: memFree=1261252/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=224432 CPUtime=282.21 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 55356 0 0 0 26685 1536 0 0 25 0 1 0 2639602 229818368 54669 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 56108 54669 384 719 0 55387 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 224432 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9951 /proc/meminfo: memFree=1233228/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=252292 CPUtime=342.19 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 62555 0 0 0 32450 1769 0 0 25 0 1 0 2639602 258347008 61868 1992294400 4194304 7136930 140735816733664 18446744073709551615 4983367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 63073 61868 384 719 0 62352 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 252292 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9953 /proc/meminfo: memFree=1210784/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=273936 CPUtime=402.17 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 68026 0 0 0 38244 1973 0 0 25 0 1 0 2639602 280510464 67339 1992294400 4194304 7136930 140735816733664 18446744073709551615 4208878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 68484 67339 384 719 0 67763 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 273936 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9953 /proc/meminfo: memFree=1187348/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=297160 CPUtime=462.14 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 73940 0 0 0 44054 2160 0 0 25 0 1 0 2639602 304291840 73253 1992294400 4194304 7136930 140735816733664 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 74290 73253 384 719 0 73569 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 297160 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9955 /proc/meminfo: memFree=1169492/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=313952 CPUtime=522.13 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 78127 0 0 0 49881 2332 0 0 25 0 1 0 2639602 321486848 77440 1992294400 4194304 7136930 140735816733664 18446744073709551615 4409185 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 78488 77440 384 719 0 77767 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 313952 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9957 /proc/meminfo: memFree=1152752/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=330260 CPUtime=582.11 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 82279 0 0 0 55719 2492 0 0 25 0 1 0 2639602 338186240 81592 1992294400 4194304 7136930 140735816733664 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 82565 81592 384 719 0 81844 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 330260 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9968 /proc/meminfo: memFree=1139484/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=342928 CPUtime=642.09 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 85402 0 0 0 61551 2658 0 0 25 0 1 0 2639602 351158272 84715 1992294400 4194304 7136930 140735816733664 18446744073709551615 4210536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 85732 84715 384 719 0 85011 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 342928 [startup+702.3 s] ################ # More data... # ################ /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 119454 0 0 0 96269 3929 0 0 25 0 1 0 2639602 495919104 118767 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 121074 118767 384 719 0 120353 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 484296 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9978 /proc/meminfo: memFree=987708/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=499508 CPUtime=1061.96 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 123319 0 0 0 102115 4081 0 0 25 0 1 0 2639602 511496192 122632 1992294400 4194304 7136930 140735816733664 18446744073709551615 4210534 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 124877 122632 384 719 0 124156 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 499508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9980 /proc/meminfo: memFree=977664/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=509228 CPUtime=1121.94 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 125685 0 0 0 107916 4278 0 0 25 0 1 0 2639602 521449472 124998 1992294400 4194304 7136930 140735816733664 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 127307 124998 384 719 0 126586 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 509228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9982 /proc/meminfo: memFree=965760/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=521200 CPUtime=1181.93 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 128735 0 0 0 113723 4470 0 0 25 0 1 0 2639602 533708800 128048 1992294400 4194304 7136930 140735816733664 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 130300 128048 384 719 0 129579 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 521200 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9984 /proc/meminfo: memFree=941952/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=544516 CPUtime=1241.91 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 134629 0 0 0 119538 4653 0 0 25 0 1 0 2639602 557584384 133942 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 136129 133942 384 719 0 135408 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 544516 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9986 /proc/meminfo: memFree=925460/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=559868 CPUtime=1301.9 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 138629 0 0 0 125382 4808 0 0 25 0 1 0 2639602 573304832 137942 1992294400 4194304 7136930 140735816733664 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 139967 137942 384 719 0 139246 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 559868 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9986 /proc/meminfo: memFree=911696/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=572944 CPUtime=1361.87 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 142058 0 0 0 131243 4944 0 0 25 0 1 0 2639602 586694656 141371 1992294400 4194304 7136930 140735816733664 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 143236 141371 384 719 0 142515 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 572944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9988 /proc/meminfo: memFree=896816/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=587704 CPUtime=1421.87 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 145758 0 0 0 137126 5061 0 0 25 0 1 0 2639602 601808896 145071 1992294400 4194304 7136930 140735816733664 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 146926 145071 384 719 0 146205 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 587704 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9990 /proc/meminfo: memFree=881316/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=602712 CPUtime=1481.85 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 149613 0 0 0 142996 5189 0 0 25 0 1 0 2639602 617177088 148926 1992294400 4194304 7136930 140735816733664 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 150678 148926 384 719 0 149957 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 602712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9992 /proc/meminfo: memFree=869660/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=614128 CPUtime=1541.83 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 152500 0 0 0 148878 5305 0 0 25 0 1 0 2639602 628867072 151813 1992294400 4194304 7136930 140735816733664 18446744073709551615 5000510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 153532 151813 384 719 0 152811 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 614128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9994 /proc/meminfo: memFree=861972/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=622324 CPUtime=1601.82 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 154625 0 0 0 154765 5417 0 0 25 0 1 0 2639602 637259776 153938 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 155581 153938 384 719 0 154860 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 622324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9994 /proc/meminfo: memFree=851680/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=631360 CPUtime=1661.8 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 156968 0 0 0 160652 5528 0 0 25 0 1 0 2639602 646512640 156281 1992294400 4194304 7136930 140735816733664 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 157840 156281 384 719 0 157119 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 631360 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9996 /proc/meminfo: memFree=841016/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=642108 CPUtime=1721.78 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 159725 0 0 0 166546 5632 0 0 25 0 1 0 2639602 657518592 159038 1992294400 4194304 7136930 140735816733664 18446744073709551615 4220966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 160527 159038 384 719 0 159806 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 642108 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9998 /proc/meminfo: memFree=831716/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=650484 CPUtime=1781.76 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 161876 0 0 0 172441 5735 0 0 25 0 1 0 2639602 666095616 161189 1992294400 4194304 7136930 140735816733664 18446744073709551615 4210049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 162621 161189 384 719 0 161900 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 650484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9998 /proc/meminfo: memFree=827004/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=655704 CPUtime=1800.07 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 163067 0 0 0 174241 5766 0 0 25 0 1 0 2639602 671440896 162380 1992294400 4194304 7136930 140735816733664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9940/statm: 163926 162380 384 719 0 163205 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 655704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9940 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9998 /proc/meminfo: memFree=827004/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=655936 CPUtime=1800.85 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 163128 0 0 0 174319 5766 0 0 25 0 1 0 2639602 671678464 162441 1992294400 4194304 7136930 140735816733664 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9940/statm: 163984 162441 390 719 0 163263 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 655936 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9999 /proc/meminfo: memFree=826748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=655936 CPUtime=1801.65 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 163128 0 0 0 174399 5766 0 0 25 0 1 0 2639602 671678464 162441 1992294400 4194304 7136930 140735816733664 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9940/statm: 163984 162441 390 719 0 163263 0 Current children cumulated CPU time (s) 1801.65 Current children cumulated vsize (KiB) 655936 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9999 /proc/meminfo: memFree=826748/2059040 swapFree=4192956/4192956 [pid=9940] ppid=9938 vsize=655936 CPUtime=1802.05 /proc/9940/stat : 9940 (pbscip.linux.x8) R 9938 9940 9299 0 -1 4202496 163128 0 0 0 174439 5766 0 0 25 0 1 0 2639602 671678464 162441 1992294400 4194304 7136930 140735816733664 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9940/statm: 163984 162441 390 719 0 163263 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 655936 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.68 CPU time (s): 1802.15 CPU user time (s): 1744.42 CPU system time (s): 57.7292 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 655936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.42 system time used= 57.7292 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163128 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= 4 involuntary context switches= 5741 runsolver used 2.89956 second user time and 8.60569 second system time The end
Begin job on node041 at 2010-06-15 16:51:09 IDJOB=2664232 IDBENCH=2914 IDSOLVER=1167 FILE ID=node041/2664232-1276613469 PBS_JOBID= 11172245 Free space on /tmp= 62084 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb 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-2664232-1276613469/watcher-2664232-1276613469 -o /tmp/evaluation-result-2664232-1276613469/solver-2664232-1276613469 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664232-1276613469.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8 RANDOM SEED=1665693426 node041.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1480276 kB Buffers: 73576 kB Cached: 365728 kB SwapCached: 0 kB Active: 201716 kB Inactive: 297168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1480276 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3276 kB Writeback: 8 kB AnonPages: 59524 kB Mapped: 15400 kB Slab: 58152 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180316 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62080 MiB End job on node041 at 2010-06-15 17:21:12