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) | -9 | 1802.2 | 1802.76 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
| MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -14 |
| Best CPU time to get the best result obtained on this benchmark | 1372.41 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -14 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1212 |
| Sum of products size (including duplicates) | 2424 |
| Number of different products | 606 |
| Sum of products size | 1212 |
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-2663888-1276671917.opb>
0.00/0.02 c original problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 757 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 4948 impls, 100 clqs
0.19/0.22 c (0.1s) probing: 101/706 (14.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (2 rounds):
0.19/0.22 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 4948 implications, 100 cliques
0.19/0.22 c presolved problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 757 constraints
0.19/0.22 c 100 constraints of type <setppc>
0.19/0.22 c 606 constraints of type <and>
0.19/0.22 c 1 constraints of type <linear>
0.19/0.22 c 50 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.12
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 1.2.1.2
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1799.99
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 1620
0.19/0.22 c
0.19/0.22 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22 c lp/solvefreq = -1
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c heuristics/undercover/freq = 0
0.19/0.22 c
0.19/0.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c separating/rapidlearning/freq = 0
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c t 0.1s| 1 | 2 | 0 | - |2210k| 0 | - | 706 | 757 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.89/0.92 o -3
0.89/0.92 c * 0.8s| 2224 | 2007 | 0 | 0.0 |4738k| 52 | - | 706 | 893 | 0 | 0 | 0 | 136 | 0 |-4.900000e+01 |-3.000000e+00 | 93.88%
0.89/0.94 o -4
0.89/0.94 c * 0.8s| 2260 | 2035 | 0 | 0.0 |4784k| 52 | - | 706 | 897 | 0 | 0 | 0 | 140 | 0 |-4.900000e+01 |-4.000000e+00 | 91.84%
0.89/0.94 o -5
0.89/0.94 c * 0.8s| 2270 | 2041 | 0 | 0.0 |4798k| 52 | - | 706 | 898 | 0 | 0 | 0 | 141 | 0 |-4.900000e+01 |-5.000000e+00 | 89.80%
1.19/1.23 o -6
1.19/1.23 c * 1.0s| 2911 | 2378 | 0 | 0.0 |5581k| 52 | - | 706 |1008 | 0 | 0 | 0 | 260 | 0 |-4.800000e+01 |-6.000000e+00 | 87.50%
2.10/2.11 o -7
2.10/2.11 c * 1.9s| 5030 | 4000 | 0 | 0.0 |9482k| 59 | - | 706 |1004 | 0 | 0 | 0 | 517 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
3.89/3.90 c 3.5s| 10000 | 8501 | 0 | 0.0 | 19M| 59 | - | 706 |1062 | 0 | 0 | 0 | 815 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
5.09/5.13 o -8
5.09/5.13 c * 4.6s| 13254 | 11257 | 0 | 0.0 | 25M| 59 | - | 706 |1151 | 0 | 0 | 0 |1144 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
7.79/7.89 c 7.2s| 20000 | 16090 | 0 | 0.0 | 34M| 61 | - | 706 |1451 | 0 | 0 | 0 |2541 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
8.49/8.58 o -9
8.49/8.58 c * 7.8s| 21548 | 16828 | 0 | 0.0 | 36M| 61 | - | 706 |1527 | 0 | 0 | 0 |2987 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
11.79/11.86 c 10.8s| 30000 | 24085 | 0 | 0.0 | 52M| 61 | - | 706 |1189 | 0 | 0 | 0 |3533 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
15.58/15.69 c 14.3s| 40000 | 32888 | 0 | 0.0 | 71M| 61 | - | 706 |1372 | 0 | 0 | 0 |4254 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
19.58/19.69 c 18.0s| 50000 | 40531 | 0 | 0.0 | 85M| 62 | - | 706 |1696 | 0 | 0 | 0 |5801 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
23.38/23.43 c 21.4s| 60000 | 48592 | 0 | 0.0 | 99M| 62 | - | 706 |1306 | 0 | 0 | 0 |6771 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
27.39/27.46 c 25.1s| 70000 | 55415 | 0 | 0.0 | 110M| 62 | - | 706 |1600 | 0 | 0 | 0 |8526 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
31.58/31.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.58/31.70 c 29.1s| 80000 | 62578 | 0 | 0.0 | 126M| 63 | - | 706 |1395 | 0 | 0 | 0 |9629 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
35.28/35.38 c 32.4s| 90000 | 71815 | 0 | 0.0 | 144M| 63 | - | 706 |1475 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
39.28/39.30 c 36.0s|100000 | 80919 | 0 | 0.0 | 163M| 63 | - | 706 |1548 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
43.38/43.40 c 39.8s|110000 | 89142 | 0 | 0.0 | 178M| 63 | - | 706 |1789 | 0 | 0 | 0 | 11k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
47.58/47.65 c 43.8s|120000 | 96405 | 0 | 0.0 | 190M| 63 | - | 706 |2025 | 0 | 0 | 0 | 13k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
52.48/52.53 c 48.4s|130000 |101889 | 0 | 0.0 | 200M| 63 | - | 706 |2631 | 0 | 0 | 0 | 15k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
56.47/56.51 c 52.1s|140000 |109911 | 0 | 0.0 | 213M| 63 | - | 706 |1762 | 0 | 0 | 0 | 16k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
60.48/60.54 c 55.8s|150000 |117303 | 0 | 0.0 | 226M| 63 | - | 706 |1886 | 0 | 0 | 0 | 18k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
65.18/65.21 c 60.1s|160000 |123000 | 0 | 0.0 | 235M| 63 | - | 706 |2223 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
69.87/69.99 c 64.6s|170000 |127512 | 0 | 0.0 | 242M| 63 | - | 706 |2137 | 0 | 0 | 0 | 22k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
74.07/74.16 c 68.5s|180000 |135636 | 0 | 0.0 | 261M| 63 | - | 706 |1492 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
77.87/77.97 c 72.0s|190000 |145093 | 0 | 0.0 | 279M| 63 | - | 706 |1517 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
81.77/81.84 c 75.5s|200000 |154389 | 0 | 0.0 | 297M| 63 | - | 706 |1570 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
85.57/85.62 c 79.0s|210000 |163689 | 0 | 0.0 | 314M| 63 | - | 706 |1619 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
89.37/89.49 c 82.6s|220000 |173058 | 0 | 0.0 | 332M| 63 | - | 706 |1648 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
93.38/93.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.38/93.50 c 86.3s|230000 |182369 | 0 | 0.0 | 350M| 63 | - | 706 |1719 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
97.56/97.69 c 90.1s|240000 |191347 | 0 | 0.0 | 368M| 63 | - | 706 |1836 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
101.76/101.82 c 94.0s|250000 |200006 | 0 | 0.0 | 383M| 63 | - | 706 |1943 | 0 | 0 | 0 | 26k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
105.86/105.95 c 97.8s|260000 |208337 | 0 | 0.0 | 397M| 63 | - | 706 |2032 | 0 | 0 | 0 | 27k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
110.26/110.33 c 102s|270000 |216153 | 0 | 0.0 | 410M| 63 | - | 706 |2056 | 0 | 0 | 0 | 29k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
114.75/114.88 c 106s|280000 |223415 | 0 | 0.0 | 422M| 63 | - | 706 |2269 | 0 | 0 | 0 | 30k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
119.65/119.72 c 111s|290000 |229855 | 0 | 0.0 | 432M| 63 | - | 706 |2562 | 0 | 0 | 0 | 32k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
124.96/125.06 c 116s|300000 |235549 | 0 | 0.0 | 441M| 63 | - | 706 |3091 | 0 | 0 | 0 | 35k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
130.76/130.90 c 121s|310000 |240858 | 0 | 0.0 | 450M| 63 | - | 706 |3525 | 0 | 0 | 0 | 37k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
136.95/137.06 c 127s|320000 |245442 | 0 | 0.0 | 458M| 63 | - | 706 |3571 | 0 | 0 | 0 | 40k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
142.86/142.97 c 133s|330000 |248168 | 0 | 0.0 | 463M| 63 | - | 706 |4026 | 0 | 0 | 0 | 41k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
147.05/147.13 c 137s|340000 |257327 | 0 | 0.0 | 478M| 63 | - | 706 |1842 | 0 | 0 | 0 | 42k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
151.05/151.13 c 140s|350000 |265550 | 0 | 0.0 | 492M| 63 | - | 706 |2038 | 0 | 0 | 0 | 43k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
155.14/155.23 c 144s|360000 |272960 | 0 | 0.0 | 503M| 63 | - | 706 |2257 | 0 | 0 | 0 | 45k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
159.65/159.75 c 148s|370000 |279457 | 0 | 0.0 | 513M| 63 | - | 706 |2509 | 0 | 0 | 0 | 47k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
164.54/164.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.54/164.61 c 153s|380000 |285293 | 0 | 0.0 | 522M| 63 | - | 706 |2473 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
169.64/169.71 c 158s|390000 |290451 | 0 | 0.0 | 530M| 63 | - | 706 |2678 | 0 | 0 | 0 | 51k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
174.94/175.07 c 163s|400000 |295154 | 0 | 0.0 | 537M| 63 | - | 706 |3126 | 0 | 0 | 0 | 53k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
180.14/180.22 c 168s|410000 |298834 | 0 | 0.0 | 543M| 64 | - | 706 |2824 | 0 | 0 | 0 | 55k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
184.54/184.63 c 172s|420000 |306596 | 0 | 0.0 | 559M| 64 | - | 706 |1774 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
188.34/188.42 c 175s|430000 |316179 | 0 | 0.0 | 577M| 64 | - | 706 |1793 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
191.84/191.98 c 178s|440000 |325787 | 0 | 0.0 | 593M| 64 | - | 706 |1727 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
195.65/195.71 c 182s|450000 |335195 | 0 | 0.0 | 609M| 64 | - | 706 |1792 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
199.33/199.49 c 185s|460000 |344560 | 0 | 0.0 | 626M| 64 | - | 706 |1864 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
203.03/203.14 c 189s|470000 |354028 | 0 | 0.0 | 642M| 64 | - | 706 |1870 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
206.83/206.94 c 192s|480000 |363331 | 0 | 0.0 | 658M| 64 | - | 706 |1959 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
210.63/210.75 c 196s|490000 |372729 | 0 | 0.0 | 674M| 64 | - | 706 |1972 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
214.53/214.67 c 199s|500000 |382102 | 0 | 0.0 | 690M| 64 | - | 706 |2018 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
218.63/218.78 c 203s|510000 |391375 | 0 | 0.0 | 708M| 64 | - | 706 |2023 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
222.73/222.88 c 207s|520000 |400574 | 0 | 0.0 | 725M| 64 | - | 706 |2078 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
227.02/227.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.02/227.17 c 211s|530000 |409799 | 0 | 0.0 | 742M| 64 | - | 706 |2043 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
231.22/231.32 c 215s|540000 |418947 | 0 | 0.0 | 758M| 64 | - | 706 |2127 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
235.52/235.64 c 219s|550000 |428167 | 0 | 0.0 | 775M| 64 | - | 706 |2181 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
240.12/240.20 c 223s|560000 |437252 | 0 | 0.0 | 792M| 64 | - | 706 |2186 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
244.72/244.81 c 227s|570000 |446401 | 0 | 0.0 | 809M| 64 | - | 706 |2195 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
249.02/249.17 c 231s|580000 |455497 | 0 | 0.0 | 824M| 64 | - | 706 |2207 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
253.72/253.81 c 235s|590000 |464222 | 0 | 0.0 | 839M| 64 | - | 706 |2325 | 0 | 0 | 0 | 63k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
258.32/258.40 c 240s|600000 |472779 | 0 | 0.0 | 853M| 64 | - | 706 |2339 | 0 | 0 | 0 | 64k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
262.82/263.00 c 244s|610000 |481010 | 0 | 0.0 | 867M| 64 | - | 706 |2433 | 0 | 0 | 0 | 65k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
267.41/267.57 c 248s|620000 |489462 | 0 | 0.0 | 880M| 64 | - | 706 |2615 | 0 | 0 | 0 | 66k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
272.11/272.21 c 253s|630000 |497710 | 0 | 0.0 | 893M| 64 | - | 706 |2604 | 0 | 0 | 0 | 68k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
276.91/277.08 c 257s|640000 |505603 | 0 | 0.0 | 905M| 64 | - | 706 |2642 | 0 | 0 | 0 | 69k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
281.81/281.97 c 262s|650000 |513201 | 0 | 0.0 | 917M| 64 | - | 706 |3011 | 0 | 0 | 0 | 70k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
286.91/287.02 c 267s|660000 |520638 | 0 | 0.0 | 928M| 64 | - | 706 |3048 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
292.20/292.30 c 272s|670000 |527696 | 0 | 0.0 | 939M| 64 | - | 706 |2999 | 0 | 0 | 0 | 74k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
297.80/297.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.80/297.93 c 277s|680000 |534382 | 0 | 0.0 | 949M| 64 | - | 706 |3343 | 0 | 0 | 0 | 76k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
303.40/303.52 c 282s|690000 |540741 | 0 | 0.0 | 959M| 64 | - | 706 |3748 | 0 | 0 | 0 | 78k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
309.10/309.21 c 288s|700000 |547406 | 0 | 0.0 | 968M| 64 | - | 706 |3279 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
315.20/315.36 c 293s|710000 |553184 | 0 | 0.0 | 978M| 64 | - | 706 |4049 | 0 | 0 | 0 | 82k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
321.40/321.58 c 299s|720000 |558817 | 0 | 0.0 | 987M| 64 | - | 706 |4097 | 0 | 0 | 0 | 84k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
328.19/328.35 c 306s|730000 |564157 | 0 | 0.0 | 995M| 64 | - | 706 |4004 | 0 | 0 | 0 | 87k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
335.30/335.40 c 312s|740000 |569254 | 0 | 0.0 |1004M| 64 | - | 706 |4428 | 0 | 0 | 0 | 89k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
342.59/342.79 c 320s|750000 |573914 | 0 | 0.0 |1012M| 64 | - | 706 |5073 | 0 | 0 | 0 | 92k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
350.09/350.26 c 327s|760000 |578598 | 0 | 0.0 |1020M| 64 | - | 706 |5088 | 0 | 0 | 0 | 95k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
357.88/358.08 c 334s|770000 |583064 | 0 | 0.0 |1028M| 64 | - | 706 |5318 | 0 | 0 | 0 | 97k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
365.68/365.89 c 342s|780000 |587254 | 0 | 0.0 |1035M| 64 | - | 706 |5257 | 0 | 0 | 0 | 100k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
373.68/373.83 c 349s|790000 |591026 | 0 | 0.0 |1042M| 64 | - | 706 |5484 | 0 | 0 | 0 | 103k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
381.08/381.28 c 357s|800000 |594191 | 0 | 0.0 |1047M| 64 | - | 706 |5491 | 0 | 0 | 0 | 105k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
388.19/388.33 c 363s|810000 |596297 | 0 | 0.0 |1052M| 64 | - | 706 |5815 | 0 | 0 | 0 | 107k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
393.18/393.30 c 368s|820000 |604613 | 0 | 0.0 |1066M| 64 | - | 706 |2545 | 0 | 0 | 0 | 108k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
397.47/397.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.47/397.67 c 372s|830000 |613683 | 0 | 0.0 |1082M| 64 | - | 706 |2569 | 0 | 0 | 0 | 108k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
402.27/402.45 c 377s|840000 |622313 | 0 | 0.0 |1097M| 64 | - | 706 |2619 | 0 | 0 | 0 | 109k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
407.17/407.35 c 381s|850000 |630357 | 0 | 0.0 |1111M| 64 | - | 706 |2835 | 0 | 0 | 0 | 111k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
412.37/412.55 c 386s|860000 |637798 | 0 | 0.0 |1124M| 64 | - | 706 |2921 | 0 | 0 | 0 | 112k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
417.56/417.75 c 391s|870000 |644761 | 0 | 0.0 |1135M| 64 | - | 706 |3049 | 0 | 0 | 0 | 114k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
422.76/422.90 c 396s|880000 |651575 | 0 | 0.0 |1145M| 64 | - | 706 |3032 | 0 | 0 | 0 | 116k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
428.06/428.21 c 401s|890000 |657917 | 0 | 0.0 |1155M| 64 | - | 706 |3244 | 0 | 0 | 0 | 118k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
433.76/433.94 c 406s|900000 |663694 | 0 | 0.0 |1164M| 64 | - | 706 |3381 | 0 | 0 | 0 | 120k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
439.66/439.89 c 412s|910000 |668984 | 0 | 0.0 |1172M| 64 | - | 706 |3674 | 0 | 0 | 0 | 122k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
445.96/446.12 c 418s|920000 |673870 | 0 | 0.0 |1180M| 64 | - | 706 |4231 | 0 | 0 | 0 | 125k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
452.15/452.32 c 424s|930000 |678812 | 0 | 0.0 |1187M| 64 | - | 706 |4325 | 0 | 0 | 0 | 127k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
458.65/458.81 c 430s|940000 |683100 | 0 | 0.0 |1194M| 64 | - | 706 |4372 | 0 | 0 | 0 | 130k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
465.35/465.57 c 436s|950000 |687315 | 0 | 0.0 |1201M| 64 | - | 706 |4442 | 0 | 0 | 0 | 132k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
471.76/471.93 c 442s|960000 |691227 | 0 | 0.0 |1207M| 65 | - | 706 |4094 | 0 | 0 | 0 | 135k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
477.55/477.72 c 448s|970000 |694478 | 0 | 0.0 |1212M| 65 | - | 706 |3867 | 0 | 0 | 0 | 137k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
483.25/483.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.25/483.46 c 453s|980000 |696567 | 0 | 0.0 |1216M| 65 | - | 706 |3526 | 0 | 0 | 0 | 139k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
487.94/488.19 c 458s|990000 |704617 | 0 | 0.0 |1232M| 65 | - | 706 |2609 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
492.04/492.22 c 462s| 1000k|714203 | 0 | 0.0 |1248M| 65 | - | 706 |2547 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
496.04/496.25 c 465s| 1010k|723744 | 0 | 0.0 |1264M| 65 | - | 706 |2545 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
499.84/500.07 c 469s| 1020k|733255 | 0 | 0.0 |1277M| 65 | - | 706 |2496 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
503.44/503.65 c 472s| 1030k|742875 | 0 | 0.0 |1290M| 65 | - | 706 |2402 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
507.23/507.41 c 475s| 1040k|752355 | 0 | 0.0 |1304M| 65 | - | 706 |2440 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
510.94/511.10 c 479s| 1050k|761913 | 0 | 0.0 |1318M| 65 | - | 706 |2443 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
514.73/514.92 c 482s| 1060k|771384 | 0 | 0.0 |1332M| 65 | - | 706 |2510 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
518.53/518.79 c 486s| 1070k|780852 | 0 | 0.0 |1346M| 65 | - | 706 |2558 | 0 | 0 | 0 | 142k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
522.13/522.34 c (node 1079507) switching to memory saving mode (mem: 1296.0M/1620.0M)
522.53/522.72 c 490s| 1080k|789898 | 0 | 0.0 |1359M| 90 | - | 706 |2678 | 0 | 0 | 0 | 142k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
527.13/527.33 c 494s| 1090k|789667 | 0 | 0.0 |1359M| 91 | - | 706 |4064 | 0 | 0 | 0 | 144k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
533.72/533.93 c 500s| 1100k|789436 | 0 | 0.0 |1359M| 91 | - | 706 |5428 | 0 | 0 | 0 | 147k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
540.93/541.13 c 507s| 1110k|789168 | 0 | 0.0 |1358M| 91 | - | 706 |4354 | 0 | 0 | 0 | 150k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
546.82/547.00 c 512s| 1120k|789038 | 0 | 0.0 |1357M| 91 | - | 706 |3813 | 0 | 0 | 0 | 154k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
551.82/552.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.82/552.06 c 517s| 1130k|788880 | 0 | 0.0 |1357M| 91 | - | 706 |4028 | 0 | 0 | 0 | 158k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
557.52/557.76 c 522s| 1140k|788567 | 0 | 0.0 |1356M| 91 | - | 706 |4614 | 0 | 0 | 0 | 161k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
563.02/563.26 c 527s| 1150k|788418 | 0 | 0.0 |1356M| 91 | - | 706 |4381 | 0 | 0 | 0 | 165k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
568.42/568.67 c 532s| 1160k|788280 | 0 | 0.0 |1356M| 91 | - | 706 |4177 | 0 | 0 | 0 | 169k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
573.31/573.55 c 537s| 1170k|788196 | 0 | 0.0 |1356M| 91 | - | 706 |4300 | 0 | 0 | 0 | 173k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
578.21/578.47 c 541s| 1180k|788125 | 0 | 0.0 |1355M| 91 | - | 706 |4209 | 0 | 0 | 0 | 177k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
583.82/584.03 c 546s| 1190k|788069 | 0 | 0.0 |1356M| 91 | - | 706 |4731 | 0 | 0 | 0 | 182k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
590.01/590.29 c 552s| 1200k|787785 | 0 | 0.0 |1355M| 91 | - | 706 |4692 | 0 | 0 | 0 | 186k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
596.41/596.61 c 558s| 1210k|787433 | 0 | 0.0 |1354M| 91 | - | 706 |5465 | 0 | 0 | 0 | 189k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
602.30/602.59 c 564s| 1220k|787393 | 0 | 0.0 |1354M| 91 | - | 706 |4845 | 0 | 0 | 0 | 193k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
607.80/608.01 c 569s| 1230k|787323 | 0 | 0.0 |1354M| 91 | - | 706 |4490 | 0 | 0 | 0 | 198k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
613.00/613.21 c 574s| 1240k|787257 | 0 | 0.0 |1354M| 91 | - | 706 |5513 | 0 | 0 | 0 | 202k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
618.01/618.24 c 578s| 1250k|787213 | 0 | 0.0 |1354M| 91 | - | 706 |5293 | 0 | 0 | 0 | 206k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
623.20/623.40 c 583s| 1260k|787142 | 0 | 0.0 |1354M| 91 | - | 706 |5017 | 0 | 0 | 0 | 210k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
628.91/629.16 c 588s| 1270k|787102 | 0 | 0.0 |1355M| 91 | - | 706 |5817 | 0 | 0 | 0 | 215k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
635.51/635.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.51/635.72 c 594s| 1280k|787096 | 0 | 0.0 |1356M| 91 | - | 706 |7455 | 0 | 0 | 0 | 220k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
641.59/641.85 c 600s| 1290k|787056 | 0 | 0.0 |1355M| 91 | - | 706 |6880 | 0 | 0 | 0 | 226k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
647.89/648.10 c 606s| 1300k|787023 | 0 | 0.0 |1355M| 91 | - | 706 |5645 | 0 | 0 | 0 | 230k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
652.89/653.11 c 611s| 1310k|786968 | 0 | 0.0 |1354M| 91 | - | 706 |5396 | 0 | 0 | 0 | 233k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
658.60/658.85 c 616s| 1320k|786941 | 0 | 0.0 |1355M| 91 | - | 706 |6252 | 0 | 0 | 0 | 238k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
664.19/664.49 c 621s| 1330k|786913 | 0 | 0.0 |1354M| 91 | - | 706 |5679 | 0 | 0 | 0 | 242k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
669.39/669.64 c 626s| 1340k|786869 | 0 | 0.0 |1354M| 91 | - | 706 |5680 | 0 | 0 | 0 | 246k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
675.98/676.20 c 632s| 1350k|786742 | 0 | 0.0 |1354M| 91 | - | 706 |5216 | 0 | 0 | 0 | 251k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
682.28/682.54 c 638s| 1360k|786499 | 0 | 0.0 |1354M| 91 | - | 706 |5386 | 0 | 0 | 0 | 255k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
688.48/688.72 c 644s| 1370k|786252 | 0 | 0.0 |1353M| 91 | - | 706 |5697 | 0 | 0 | 0 | 258k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
695.18/695.44 c 650s| 1380k|785939 | 0 | 0.0 |1352M| 91 | - | 706 |6296 | 0 | 0 | 0 | 262k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
701.28/701.53 c 656s| 1390k|785916 | 0 | 0.0 |1353M| 91 | - | 706 |7095 | 0 | 0 | 0 | 266k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
707.68/707.98 c 662s| 1400k|785879 | 0 | 0.0 |1353M| 91 | - | 706 |6731 | 0 | 0 | 0 | 269k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
713.58/713.87 c 668s| 1410k|785846 | 0 | 0.0 |1352M| 91 | - | 706 |5541 | 0 | 0 | 0 | 273k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
719.66/719.91 c 673s| 1420k|785799 | 0 | 0.0 |1353M| 91 | - | 706 |6574 | 0 | 0 | 0 | 278k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
725.17/725.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.17/725.49 c 679s| 1430k|785763 | 0 | 0.0 |1353M| 91 | - | 706 |6976 | 0 | 0 | 0 | 282k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
731.06/731.30 c 684s| 1440k|785698 | 0 | 0.0 |1353M| 91 | - | 706 |6950 | 0 | 0 | 0 | 287k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
737.96/738.26 c 691s| 1450k|785684 | 0 | 0.0 |1353M| 91 | - | 706 |7723 | 0 | 0 | 0 | 292k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
743.46/743.76 c 696s| 1460k|785654 | 0 | 0.0 |1352M| 91 | - | 706 |5873 | 0 | 0 | 0 | 295k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
747.25/747.57 c 699s| 1470k|785640 | 0 | 0.0 |1352M| 91 | - | 706 |5503 | 0 | 0 | 0 | 296k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
753.05/753.34 c 705s| 1480k|785605 | 0 | 0.0 |1352M| 91 | - | 706 |5681 | 0 | 0 | 0 | 301k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
757.86/758.18 c 709s| 1490k|785567 | 0 | 0.0 |1352M| 91 | - | 706 |5641 | 0 | 0 | 0 | 303k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
763.65/763.98 c 715s| 1500k|785558 | 0 | 0.0 |1353M| 91 | - | 706 |7483 | 0 | 0 | 0 | 308k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
770.15/770.48 c 721s| 1510k|785531 | 0 | 0.0 |1353M| 91 | - | 706 |6413 | 0 | 0 | 0 | 313k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
777.65/777.91 c 728s| 1520k|785504 | 0 | 0.0 |1353M| 91 | - | 706 |7679 | 0 | 0 | 0 | 319k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
784.84/785.17 c 735s| 1530k|785463 | 0 | 0.0 |1353M| 91 | - | 706 |6415 | 0 | 0 | 0 | 323k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
790.24/790.55 c 740s| 1540k|785433 | 0 | 0.0 |1353M| 91 | - | 706 |6967 | 0 | 0 | 0 | 326k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
796.34/796.63 c 746s| 1550k|785391 | 0 | 0.0 |1352M| 91 | - | 706 |6192 | 0 | 0 | 0 | 331k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
803.25/803.59 c 752s| 1560k|785392 | 0 | 0.0 |1354M| 91 | - | 706 |8575 | 0 | 0 | 0 | 337k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
812.24/812.50 c 761s| 1570k|785389 | 0 | 0.0 |1356M| 91 | - | 706 | 11k| 0 | 0 | 0 | 343k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
818.34/818.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.34/818.61 c 766s| 1580k|785353 | 0 | 0.0 |1352M| 91 | - | 706 |5624 | 0 | 0 | 0 | 345k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
823.04/823.32 c 771s| 1590k|785346 | 0 | 0.0 |1352M| 91 | - | 706 |6078 | 0 | 0 | 0 | 347k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
829.53/829.80 c 777s| 1600k|785333 | 0 | 0.0 |1353M| 91 | - | 706 |6725 | 0 | 0 | 0 | 352k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
835.13/835.46 c 782s| 1610k|785317 | 0 | 0.0 |1353M| 91 | - | 706 |7546 | 0 | 0 | 0 | 355k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
842.03/842.33 c 789s| 1620k|785304 | 0 | 0.0 |1353M| 91 | - | 706 |6760 | 0 | 0 | 0 | 360k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
848.43/848.75 c 795s| 1630k|785296 | 0 | 0.0 |1354M| 91 | - | 706 |7762 | 0 | 0 | 0 | 364k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
854.13/854.49 c 800s| 1640k|785297 | 0 | 0.0 |1354M| 91 | - | 706 |7976 | 0 | 0 | 0 | 365k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
859.32/859.61 c 805s| 1650k|785289 | 0 | 0.0 |1353M| 91 | - | 706 |7604 | 0 | 0 | 0 | 368k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
865.33/865.63 c 811s| 1660k|785282 | 0 | 0.0 |1354M| 91 | - | 706 |7808 | 0 | 0 | 0 | 370k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
872.23/872.58 c 818s| 1670k|785270 | 0 | 0.0 |1353M| 91 | - | 706 |7653 | 0 | 0 | 0 | 374k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
878.52/878.87 c 824s| 1680k|785239 | 0 | 0.0 |1353M| 91 | - | 706 |6376 | 0 | 0 | 0 | 378k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
885.01/885.32 c 830s| 1690k|785224 | 0 | 0.0 |1353M| 91 | - | 706 |6715 | 0 | 0 | 0 | 383k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
892.82/893.14 c 837s| 1700k|785223 | 0 | 0.0 |1354M| 91 | - | 706 |8271 | 0 | 0 | 0 | 388k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
902.61/902.90 c 846s| 1710k|785223 | 0 | 0.0 |1356M| 91 | - | 706 | 11k| 0 | 0 | 0 | 394k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
908.91/909.26 c 852s| 1720k|785207 | 0 | 0.0 |1353M| 91 | - | 706 |7065 | 0 | 0 | 0 | 397k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
914.82/915.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.82/915.11 c 858s| 1730k|785063 | 0 | 0.0 |1352M| 91 | - | 706 |5601 | 0 | 0 | 0 | 400k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
921.21/921.52 c 864s| 1740k|784865 | 0 | 0.0 |1352M| 91 | - | 706 |5932 | 0 | 0 | 0 | 404k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
927.01/927.31 c 869s| 1750k|784716 | 0 | 0.0 |1353M| 91 | - | 706 |7216 | 0 | 0 | 0 | 408k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
932.90/933.25 c 875s| 1760k|784624 | 0 | 0.0 |1353M| 91 | - | 706 |7717 | 0 | 0 | 0 | 412k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
939.60/939.96 c 881s| 1770k|784500 | 0 | 0.0 |1351M| 91 | - | 706 |6186 | 0 | 0 | 0 | 416k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
945.10/945.44 c 887s| 1780k|784376 | 0 | 0.0 |1351M| 91 | - | 706 |6055 | 0 | 0 | 0 | 420k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
951.39/951.78 c 893s| 1790k|784084 | 0 | 0.0 |1350M| 91 | - | 706 |6252 | 0 | 0 | 0 | 423k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
958.90/959.25 c 900s| 1800k|783868 | 0 | 0.0 |1351M| 91 | - | 706 |7715 | 0 | 0 | 0 | 427k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
967.19/967.56 c 908s| 1810k|783847 | 0 | 0.0 |1351M| 91 | - | 706 |8687 | 0 | 0 | 0 | 432k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
975.68/976.04 c 916s| 1820k|783831 | 0 | 0.0 |1352M| 91 | - | 706 |9194 | 0 | 0 | 0 | 436k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
985.08/985.41 c 925s| 1830k|783825 | 0 | 0.0 |1351M| 91 | - | 706 |8813 | 0 | 0 | 0 | 440k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
993.18/993.56 c 932s| 1840k|783812 | 0 | 0.0 |1351M| 91 | - | 706 |8714 | 0 | 0 | 0 | 444k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1001.58/1001.95 c 941s| 1850k|783787 | 0 | 0.0 |1351M| 91 | - | 706 |8411 | 0 | 0 | 0 | 447k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1009.68/1010.06 c 948s| 1860k|783781 | 0 | 0.0 |1351M| 91 | - | 706 |8558 | 0 | 0 | 0 | 450k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1016.87/1017.23 c 955s| 1870k|783765 | 0 | 0.0 |1351M| 91 | - | 706 |8010 | 0 | 0 | 0 | 453k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1023.27/1023.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.27/1023.69 c 961s| 1880k|783747 | 0 | 0.0 |1351M| 91 | - | 706 |8652 | 0 | 0 | 0 | 457k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1030.66/1031.05 c 968s| 1890k|783727 | 0 | 0.0 |1351M| 91 | - | 706 |8593 | 0 | 0 | 0 | 461k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1037.46/1037.81 c 975s| 1900k|783709 | 0 | 0.0 |1351M| 91 | - | 706 |8204 | 0 | 0 | 0 | 464k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1044.16/1044.52 c 981s| 1910k|783673 | 0 | 0.0 |1350M| 91 | - | 706 |6800 | 0 | 0 | 0 | 468k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1049.56/1049.92 c 986s| 1920k|783656 | 0 | 0.0 |1350M| 91 | - | 706 |7156 | 0 | 0 | 0 | 471k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1054.86/1055.28 c 991s| 1930k|783651 | 0 | 0.0 |1350M| 91 | - | 706 |6686 | 0 | 0 | 0 | 472k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1059.86/1060.29 c 996s| 1940k|783628 | 0 | 0.0 |1350M| 91 | - | 706 |6113 | 0 | 0 | 0 | 475k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1064.66/1065.04 c 1000s| 1950k|783601 | 0 | 0.0 |1350M| 91 | - | 706 |6794 | 0 | 0 | 0 | 478k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1070.65/1071.00 c 1006s| 1960k|783554 | 0 | 0.0 |1350M| 91 | - | 706 |7220 | 0 | 0 | 0 | 483k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1075.85/1076.25 c 1011s| 1970k|783544 | 0 | 0.0 |1350M| 91 | - | 706 |6943 | 0 | 0 | 0 | 485k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1080.25/1080.63 c 1015s| 1980k|783535 | 0 | 0.0 |1351M| 91 | - | 706 |7487 | 0 | 0 | 0 | 487k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1086.95/1087.35 c 1021s| 1990k|783524 | 0 | 0.0 |1352M| 91 | - | 706 |9931 | 0 | 0 | 0 | 492k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1096.04/1096.49 c 1030s| 2000k|783515 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 497k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1104.44/1104.83 c 1038s| 2010k|783499 | 0 | 0.0 |1352M| 91 | - | 706 |9337 | 0 | 0 | 0 | 501k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1114.44/1114.82 c 1048s| 2020k|783495 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 506k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1123.53/1123.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.53/1123.91 c 1056s| 2030k|783466 | 0 | 0.0 |1352M| 91 | - | 706 |9329 | 0 | 0 | 0 | 511k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1132.13/1132.57 c 1065s| 2040k|783438 | 0 | 0.0 |1352M| 91 | - | 706 |8836 | 0 | 0 | 0 | 517k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1139.24/1139.64 c 1071s| 2050k|783407 | 0 | 0.0 |1351M| 91 | - | 706 |7623 | 0 | 0 | 0 | 521k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1144.64/1145.01 c 1076s| 2060k|783384 | 0 | 0.0 |1351M| 91 | - | 706 |7851 | 0 | 0 | 0 | 524k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1151.13/1151.59 c 1083s| 2070k|783336 | 0 | 0.0 |1351M| 91 | - | 706 |7564 | 0 | 0 | 0 | 529k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1159.73/1160.10 c 1091s| 2080k|783335 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 535k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1169.93/1170.39 c 1101s| 2090k|783333 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 541k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1179.42/1179.81 c 1110s| 2100k|783319 | 0 | 0.0 |1352M| 91 | - | 706 |8770 | 0 | 0 | 0 | 545k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1190.92/1191.37 c 1121s| 2110k|783320 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 551k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1205.01/1205.43 c 1135s| 2120k|783321 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 556k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1218.61/1219.09 c 1148s| 2130k|783318 | 0 | 0.0 |1355M| 91 | - | 706 | 13k| 0 | 0 | 0 | 561k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1227.80/1228.26 c 1157s| 2140k|783307 | 0 | 0.0 |1351M| 91 | - | 706 |8122 | 0 | 0 | 0 | 565k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1233.30/1233.78 c 1162s| 2150k|783306 | 0 | 0.0 |1352M| 91 | - | 706 |8358 | 0 | 0 | 0 | 567k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1240.00/1240.48 c 1168s| 2160k|783299 | 0 | 0.0 |1352M| 91 | - | 706 |9305 | 0 | 0 | 0 | 571k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1248.60/1249.00 c 1176s| 2170k|783280 | 0 | 0.0 |1352M| 91 | - | 706 |9728 | 0 | 0 | 0 | 576k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1256.40/1256.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.40/1256.81 c 1184s| 2180k|783276 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 580k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1264.99/1265.41 c 1192s| 2190k|783257 | 0 | 0.0 |1352M| 91 | - | 706 |9011 | 0 | 0 | 0 | 585k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1270.59/1271.06 c 1198s| 2200k|783256 | 0 | 0.0 |1352M| 91 | - | 706 |9535 | 0 | 0 | 0 | 587k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1276.49/1276.92 c 1203s| 2210k|783256 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 590k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1283.20/1283.70 c 1210s| 2220k|783249 | 0 | 0.0 |1352M| 91 | - | 706 |9530 | 0 | 0 | 0 | 592k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1291.38/1291.89 c 1218s| 2230k|783235 | 0 | 0.0 |1352M| 91 | - | 706 |9373 | 0 | 0 | 0 | 598k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1298.08/1298.52 c 1224s| 2240k|783178 | 0 | 0.0 |1351M| 91 | - | 706 |6931 | 0 | 0 | 0 | 602k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1304.78/1305.21 c 1230s| 2250k|783157 | 0 | 0.0 |1350M| 91 | - | 706 |6297 | 0 | 0 | 0 | 607k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1309.18/1309.65 c 1234s| 2260k|783156 | 0 | 0.0 |1350M| 91 | - | 706 |6280 | 0 | 0 | 0 | 608k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1313.68/1314.17 c 1239s| 2270k|783156 | 0 | 0.0 |1350M| 91 | - | 706 |6511 | 0 | 0 | 0 | 609k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1318.78/1319.24 c 1244s| 2280k|783154 | 0 | 0.0 |1350M| 91 | - | 706 |6258 | 0 | 0 | 0 | 612k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1323.89/1324.35 c 1248s| 2290k|783127 | 0 | 0.0 |1351M| 91 | - | 706 |6727 | 0 | 0 | 0 | 615k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1329.67/1330.10 c 1254s| 2300k|783109 | 0 | 0.0 |1351M| 91 | - | 706 |7380 | 0 | 0 | 0 | 618k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1336.37/1336.89 c 1260s| 2310k|783075 | 0 | 0.0 |1351M| 91 | - | 706 |7653 | 0 | 0 | 0 | 623k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1344.37/1344.83 c 1268s| 2320k|783074 | 0 | 0.0 |1353M| 91 | - | 706 |9856 | 0 | 0 | 0 | 629k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1353.37/1353.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.37/1353.88 c 1276s| 2330k|783059 | 0 | 0.0 |1352M| 91 | - | 706 |9266 | 0 | 0 | 0 | 634k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1361.76/1362.25 c 1284s| 2340k|783055 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 639k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1371.97/1372.49 c 1294s| 2350k|783054 | 0 | 0.0 |1355M| 91 | - | 706 | 13k| 0 | 0 | 0 | 645k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1385.16/1385.68 c 1307s| 2360k|783054 | 0 | 0.0 |1356M| 91 | - | 706 | 14k| 0 | 0 | 0 | 651k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1401.15/1401.62 c 1323s| 2370k|783052 | 0 | 0.0 |1358M| 91 | - | 706 | 17k| 0 | 0 | 0 | 658k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1413.44/1413.93 c 1334s| 2380k|783042 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 663k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1423.55/1424.00 c 1344s| 2390k|783031 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 669k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1432.25/1432.74 c 1353s| 2400k|783020 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 673k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1439.74/1440.27 c 1360s| 2410k|783018 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 675k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1448.64/1449.18 c 1368s| 2420k|783010 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 679k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1455.54/1456.06 c 1375s| 2430k|783003 | 0 | 0.0 |1352M| 91 | - | 706 |8571 | 0 | 0 | 0 | 681k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1461.54/1462.05 c 1381s| 2440k|782996 | 0 | 0.0 |1353M| 91 | - | 706 |9195 | 0 | 0 | 0 | 683k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1470.24/1470.75 c 1389s| 2450k|782997 | 0 | 0.0 |1354M| 91 | - | 706 | 11k| 0 | 0 | 0 | 689k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1482.03/1482.53 c 1400s| 2460k|782998 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 694k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1493.43/1493.93 c 1411s| 2470k|782998 | 0 | 0.0 |1355M| 91 | - | 706 | 13k| 0 | 0 | 0 | 700k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1507.32/1507.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.32/1507.83 c 1425s| 2480k|782996 | 0 | 0.0 |1357M| 91 | - | 706 | 15k| 0 | 0 | 0 | 706k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1522.82/1523.33 c 1440s| 2490k|782997 | 0 | 0.0 |1359M| 91 | - | 706 | 17k| 0 | 0 | 0 | 712k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1533.01/1533.56 c 1450s| 2500k|782989 | 0 | 0.0 |1356M| 91 | - | 706 | 13k| 0 | 0 | 0 | 714k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1543.21/1543.73 c 1460s| 2510k|782976 | 0 | 0.0 |1353M| 91 | - | 706 |9452 | 0 | 0 | 0 | 718k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1550.90/1551.44 c 1467s| 2520k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9812 | 0 | 0 | 0 | 722k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1559.11/1559.63 c 1475s| 2530k|782963 | 0 | 0.0 |1353M| 91 | - | 706 |9274 | 0 | 0 | 0 | 724k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1566.80/1567.36 c 1482s| 2540k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9342 | 0 | 0 | 0 | 726k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1574.30/1574.88 c 1490s| 2550k|782964 | 0 | 0.0 |1353M| 91 | - | 706 |9505 | 0 | 0 | 0 | 728k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1581.70/1582.25 c 1497s| 2560k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9660 | 0 | 0 | 0 | 730k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1590.00/1590.57 c 1505s| 2570k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9759 | 0 | 0 | 0 | 732k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1598.40/1598.90 c 1513s| 2580k|782963 | 0 | 0.0 |1353M| 91 | - | 706 |9775 | 0 | 0 | 0 | 734k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1606.29/1606.88 c 1521s| 2590k|782964 | 0 | 0.0 |1353M| 91 | - | 706 |9862 | 0 | 0 | 0 | 736k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1614.39/1614.94 c 1528s| 2600k|782964 | 0 | 0.0 |1353M| 91 | - | 706 |9865 | 0 | 0 | 0 | 739k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1621.68/1622.26 c 1535s| 2610k|782963 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 741k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1630.08/1630.65 c 1543s| 2620k|782963 | 0 | 0.0 |1353M| 91 | - | 706 |9976 | 0 | 0 | 0 | 744k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1638.28/1638.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.28/1638.84 c 1551s| 2630k|782955 | 0 | 0.0 |1353M| 91 | - | 706 |9771 | 0 | 0 | 0 | 748k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1645.78/1646.37 c 1559s| 2640k|782951 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 750k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1652.68/1653.21 c 1565s| 2650k|782946 | 0 | 0.0 |1353M| 91 | - | 706 |9334 | 0 | 0 | 0 | 752k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1659.87/1660.40 c 1572s| 2660k|782906 | 0 | 0.0 |1351M| 91 | - | 706 |6709 | 0 | 0 | 0 | 755k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1667.37/1667.94 c 1579s| 2670k|782905 | 0 | 0.0 |1353M| 91 | - | 706 |9015 | 0 | 0 | 0 | 761k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1677.47/1678.01 c 1589s| 2680k|782905 | 0 | 0.0 |1355M| 91 | - | 706 | 11k| 0 | 0 | 0 | 767k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1686.27/1686.87 c 1597s| 2690k|782892 | 0 | 0.0 |1353M| 91 | - | 706 |9238 | 0 | 0 | 0 | 772k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1693.76/1694.39 c 1604s| 2700k|782878 | 0 | 0.0 |1353M| 91 | - | 706 |9668 | 0 | 0 | 0 | 776k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1701.96/1702.54 c 1612s| 2710k|782866 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 782k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1712.17/1712.73 c 1622s| 2720k|782862 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 787k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1720.86/1721.44 c 1630s| 2730k|782860 | 0 | 0.0 |1356M| 91 | - | 706 | 13k| 0 | 0 | 0 | 791k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1733.25/1733.84 c 1642s| 2740k|782768 | 0 | 0.0 |1352M| 91 | - | 706 |7006 | 0 | 0 | 0 | 796k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1740.66/1741.20 c 1649s| 2750k|782540 | 0 | 0.0 |1351M| 91 | - | 706 |6684 | 0 | 0 | 0 | 800k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1747.45/1748.05 c 1656s| 2760k|782412 | 0 | 0.0 |1351M| 91 | - | 706 |6662 | 0 | 0 | 0 | 804k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1754.05/1754.67 c 1662s| 2770k|782361 | 0 | 0.0 |1351M| 91 | - | 706 |7436 | 0 | 0 | 0 | 809k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1760.94/1761.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.94/1761.55 c 1669s| 2780k|782217 | 0 | 0.0 |1350M| 91 | - | 706 |6356 | 0 | 0 | 0 | 812k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1767.05/1767.62 c 1674s| 2790k|782083 | 0 | 0.0 |1350M| 91 | - | 706 |6859 | 0 | 0 | 0 | 815k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1773.04/1773.66 c 1680s| 2800k|782063 | 0 | 0.0 |1351M| 91 | - | 706 |7816 | 0 | 0 | 0 | 819k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1778.84/1779.47 c 1686s| 2810k|782044 | 0 | 0.0 |1351M| 91 | - | 706 |8066 | 0 | 0 | 0 | 821k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1785.74/1786.33 c 1692s| 2820k|781935 | 0 | 0.0 |1350M| 91 | - | 706 |7006 | 0 | 0 | 0 | 825k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1791.63/1792.23 c 1698s| 2830k|781836 | 0 | 0.0 |1350M| 91 | - | 706 |7257 | 0 | 0 | 0 | 829k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1798.33/1798.99 c 1704s| 2840k|781694 | 0 | 0.0 |1350M| 91 | - | 706 |7703 | 0 | 0 | 0 | 834k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1705.76
1800.04/1800.61 c Solving Nodes : 2842080
1800.04/1800.61 c Primal Bound : -9.00000000000000e+00 (10 solutions)
1800.04/1800.61 c Dual Bound : -4.30000000000000e+01
1800.04/1800.61 c Gap : 79.07 %
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v -x92 -x75 -x70 -x69 x90 -x54 x96 x81 -x57 -x86 -x64 x72 -x91 -x62 -x53 -x94 -x93 -x89 -x58 -x59 -x78 -x97 -x84 -x52 x98 -x68 x63
1800.04/1800.61 v -x55 -x80 -x65 -x87 -x79 -x99 -x51 -x95 x88 -x85 -x67 x60 -x56 -x82 -x74 -x100 -x71 -x83 x77 -x73 -x61 -x66 -x76 -x50 -x49
1800.04/1800.61 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 x24 -x23
1800.04/1800.61 v -x22 -x21 x20 x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1705.76
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2663888-1276671917.opb
1800.04/1800.61 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 757 initial, 757 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2663888-1276671917.opb
1800.04/1800.61 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 757 initial, 18207 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c and : 0.09 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 100 0 8708680 0 1863742 15560 2591691 0 0 0
1800.04/1800.61 c and : 606 0 8756675 0 1876167 694 20304756 0 0 0
1800.04/1800.61 c linear : 1 0 8757860 0 1876542 194358 12239863 0 0 0
1800.04/1800.61 c logicor : 50+ 0 2263944 0 1631808 54474 1433711 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 1876549 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c setppc : 38.03 0.00 13.24 0.00 24.79
1800.04/1800.61 c and : 67.79 0.00 64.39 0.00 3.40
1800.04/1800.61 c linear : 161.32 0.00 159.83 0.00 1.49
1800.04/1800.61 c logicor : 418.00 0.00 413.50 0.00 4.50
1800.04/1800.61 c countsols : 0.85 0.00 0.00 0.00 0.85
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 4.23 2 0 0
1800.04/1800.61 c rootredcost : 4.59 0 0 0
1800.04/1800.61 c pseudoobj : 307.20 9603050 828813 1060468
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 291.24 1093899 755525 5497673 70.0 121 15.6 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 782329 56.9 - - -
1800.04/1800.61 c applied locally : - - - 52823 75.9 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 54.59 1876542 0 0 0 0 3753084
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.01 - 7
1800.04/1800.61 c oneopt : 2.44 0 0
1800.04/1800.61 c trivial : 0.00 2 3
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.37 0 0
1800.04/1800.61 c trysol : 1.63 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 2842080
1800.04/1800.61 c nodes (total) : 2842080
1800.04/1800.61 c nodes left : 781663
1800.04/1800.61 c max depth : 91
1800.04/1800.61 c max depth (total): 91
1800.04/1800.61 c backtracks : 243354 (8.6%)
1800.04/1800.61 c delayed cutoffs : 129342
1800.04/1800.61 c repropagations : 2971436 (3259815 domain reductions, 128368 cutoffs)
1800.04/1800.61 c avg switch length: 5.55
1800.04/1800.61 c switching time : 404.28
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 10 (8 improvements)
1800.04/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.04/1800.61 c Primal Bound : -9.00000000000000e+00 (in run 1, after 21548 nodes, 7.81 seconds, depth 42, found by <relaxation>)
1800.04/1800.61 c Dual Bound : -4.30000000000000e+01
1800.04/1800.61 c Gap : 79.07 %
1800.04/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.04/1800.61 c Root Iterations : 0
OK -9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663888-1276671917/watcher-2663888-1276671917 -o /tmp/evaluation-result-2663888-1276671917/solver-2663888-1276671917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663888-1276671917.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.02 1.07 1.00 3/106 14880 /proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=6584 CPUtime=0 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 1001 0 0 0 0 0 0 0 17 0 1 0 8484179 6742016 924 1992294400 4194304 7136930 140733754503008 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14880/statm: 1646 934 254 719 0 925 0 [startup+0.0753101 s] /proc/loadavg: 1.02 1.07 1.00 3/106 14880 /proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=12152 CPUtime=0.07 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 2936 0 0 0 4 3 0 0 17 0 1 0 8484179 12443648 2249 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 3038 2249 333 719 0 2317 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12152 [startup+0.101312 s] /proc/loadavg: 1.02 1.07 1.00 3/106 14880 /proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=12152 CPUtime=0.09 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 2936 0 0 0 5 4 0 0 17 0 1 0 8484179 12443648 2249 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 3038 2249 333 719 0 2317 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12152 [startup+0.301335 s] /proc/loadavg: 1.02 1.07 1.00 3/106 14880 /proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=14280 CPUtime=0.29 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 4837 0 0 0 20 9 0 0 17 0 1 0 8484179 14622720 2865 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 3570 2865 393 719 0 2849 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14280 [startup+0.700379 s] /proc/loadavg: 1.02 1.07 1.00 3/106 14880 /proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=16284 CPUtime=0.69 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 5308 0 0 0 57 12 0 0 17 0 1 0 8484179 16674816 3336 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 4071 3336 393 719 0 3350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16284 [startup+1.50047 s] /proc/loadavg: 1.02 1.07 1.00 2/107 14881 /proc/meminfo: memFree=1750524/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=19836 CPUtime=1.49 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 6191 0 0 0 129 20 0 0 18 0 1 0 8484179 20312064 4219 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 4959 4219 393 719 0 4238 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19836 [startup+3.10064 s] /proc/loadavg: 1.02 1.07 1.00 2/107 14881 /proc/meminfo: memFree=1744324/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=31088 CPUtime=3.09 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 8872 0 0 0 277 32 0 0 21 0 1 0 8484179 31834112 6900 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 7772 6900 393 719 0 7051 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31088 [startup+6.301 s] /proc/loadavg: 1.02 1.06 1.00 2/107 14881 /proc/meminfo: memFree=1721384/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=51792 CPUtime=6.29 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 13777 0 0 0 572 57 0 0 25 0 1 0 8484179 53035008 11805 1992294400 4194304 7136930 140733754503008 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 12948 11805 393 719 0 12227 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51792 [startup+12.7007 s] /proc/loadavg: 1.02 1.06 1.00 2/107 14881 /proc/meminfo: memFree=1686292/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=88776 CPUtime=12.68 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 22559 0 0 0 1159 109 0 0 25 0 1 0 8484179 90906624 20587 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 22194 20587 393 719 0 21473 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 88776 [startup+25.5011 s] /proc/loadavg: 1.01 1.06 1.00 2/107 14881 /proc/meminfo: memFree=1621564/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=151752 CPUtime=25.49 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 37879 0 0 0 2333 216 0 0 25 0 1 0 8484179 155394048 35907 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 37938 35907 393 719 0 37217 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 151752 [startup+51.1019 s] /proc/loadavg: 1.08 1.07 1.00 2/107 14883 /proc/meminfo: memFree=1509468/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=269600 CPUtime=51.07 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 65769 0 0 0 4701 406 0 0 25 0 1 0 8484179 276070400 63797 1992294400 4194304 7136930 140733754503008 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 67400 63797 393 719 0 66679 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 269600 [startup+102.309 s] /proc/loadavg: 1.03 1.06 1.00 2/107 14883 /proc/meminfo: memFree=1293212/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=495344 CPUtime=102.27 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 119624 0 0 0 9441 786 0 0 25 0 1 0 8484179 507232256 117652 1992294400 4194304 7136930 140733754503008 18446744073709551615 4210013 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 123836 117652 393 719 0 123115 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 495344 [startup+162.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 14885 /proc/meminfo: memFree=1157184/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=632772 CPUtime=162.24 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 153901 0 0 0 15066 1158 0 0 25 0 1 0 8484179 647958528 151929 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 158193 151929 393 719 0 157472 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 632772 [startup+222.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 14887 /proc/meminfo: memFree=954940/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=836868 CPUtime=222.23 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 204242 0 0 0 20628 1595 0 0 25 0 1 0 8484179 856952832 202270 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 209217 202270 393 719 0 208496 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 836868 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14889 /proc/meminfo: memFree=761252/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1036728 CPUtime=282.21 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 252591 0 0 0 26210 2011 0 0 25 0 1 0 8484179 1061609472 250619 1992294400 4194304 7136930 140733754503008 18446744073709551615 4660908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 259182 250619 393 719 0 258461 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1036728 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14889 /proc/meminfo: memFree=652504/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1143360 CPUtime=342.19 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 279653 0 0 0 31909 2310 0 0 25 0 1 0 8484179 1170800640 277681 1992294400 4194304 7136930 140733754503008 18446744073709551615 4409177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 285840 277681 393 719 0 285119 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1143360 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14891 /proc/meminfo: memFree=580832/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1216368 CPUtime=402.17 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 298297 0 0 0 37638 2579 0 0 25 0 1 0 8484179 1245560832 296325 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 304092 296325 393 719 0 303371 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1216368 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14893 /proc/meminfo: memFree=473572/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1320264 CPUtime=462.15 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 324222 0 0 0 43320 2895 0 0 25 0 1 0 8484179 1351950336 322250 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 330066 322250 393 719 0 329345 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1320264 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 14895 /proc/meminfo: memFree=312620/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1480580 CPUtime=522.13 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 364978 0 0 0 48920 3293 0 0 25 0 1 0 8484179 1516113920 363006 1992294400 4194304 7136930 140733754503008 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 370145 363006 393 719 0 369424 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1480580 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14897 /proc/meminfo: memFree=306048/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1483540 CPUtime=582.12 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 368790 0 0 0 54483 3729 0 0 25 0 1 0 8484179 1519144960 363731 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 370885 363731 393 719 0 370164 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1483540 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14897 /proc/meminfo: memFree=303072/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1486524 CPUtime=642.1 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 369525 0 0 0 60064 4146 0 0 25 0 1 0 8484179 1522200576 364466 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 371631 364466 393 719 0 370910 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1486524 [startup+702.301 s] ################ # More data... # ################ /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371208 0 0 0 99786 6410 0 0 25 0 1 0 8484179 1529036800 366149 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 373300 366149 393 719 0 372579 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1493200 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14911 /proc/meminfo: memFree=295136/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1493688 CPUtime=1121.94 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371305 0 0 0 105490 6704 0 0 25 0 1 0 8484179 1529536512 366246 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 373422 366246 393 719 0 372701 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1493688 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14913 /proc/meminfo: memFree=294764/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1493828 CPUtime=1181.92 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371367 0 0 0 111221 6971 0 0 25 0 1 0 8484179 1529679872 366308 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 373457 366308 393 719 0 372736 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1493828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14913 /proc/meminfo: memFree=292408/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1495904 CPUtime=1241.9 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371919 0 0 0 117007 7183 0 0 25 0 1 0 8484179 1531805696 366860 1992294400 4194304 7136930 140733754503008 18446744073709551615 4209108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 373976 366860 393 719 0 373255 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1495904 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14915 /proc/meminfo: memFree=291664/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1496880 CPUtime=1301.89 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372060 0 0 0 122742 7447 0 0 25 0 1 0 8484179 1532805120 367001 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374220 367001 393 719 0 373499 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1496880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14917 /proc/meminfo: memFree=291540/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1497040 CPUtime=1361.87 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372083 0 0 0 128453 7734 0 0 25 0 1 0 8484179 1532968960 367024 1992294400 4194304 7136930 140733754503008 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374260 367024 393 719 0 373539 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1497040 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14919 /proc/meminfo: memFree=290796/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1497952 CPUtime=1421.86 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372248 0 0 0 134255 7931 0 0 25 0 1 0 8484179 1533902848 367189 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374488 367189 393 719 0 373767 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1497952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14921 /proc/meminfo: memFree=290796/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1497952 CPUtime=1481.83 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372250 0 0 0 140019 8164 0 0 25 0 1 0 8484179 1533902848 367191 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374488 367191 393 719 0 373767 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1497952 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14921 /proc/meminfo: memFree=289308/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1541.81 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372605 0 0 0 145836 8345 0 0 25 0 1 0 8484179 1535217664 367546 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367546 393 719 0 374088 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1499236 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14923 /proc/meminfo: memFree=289308/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1601.79 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372605 0 0 0 151613 8566 0 0 25 0 1 0 8484179 1535217664 367546 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367546 393 719 0 374088 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1499236 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 14928 /proc/meminfo: memFree=288316/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1661.77 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372605 0 0 0 157374 8803 0 0 25 0 1 0 8484179 1535217664 367546 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367546 393 719 0 374088 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1499236 [startup+1722.3 s] /proc/loadavg: 1.08 1.02 1.00 2/107 14930 /proc/meminfo: memFree=288316/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1721.76 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372630 0 0 0 163124 9052 0 0 25 0 1 0 8484179 1535217664 367571 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367571 393 719 0 374088 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1499236 [startup+1782.3 s] /proc/loadavg: 1.03 1.02 1.00 2/107 14932 /proc/meminfo: memFree=288192/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1781.74 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372648 0 0 0 168844 9330 0 0 25 0 1 0 8484179 1535217664 367589 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367589 393 719 0 374088 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1499236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.02 1.02 1.00 2/107 14932 /proc/meminfo: memFree=288192/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1800.04 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372650 0 0 0 170577 9427 0 0 25 0 1 0 8484179 1535217664 367591 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367591 393 719 0 374088 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1499236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14880 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.02 1.02 1.00 2/107 14932 /proc/meminfo: memFree=288192/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1800.83 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372655 0 0 0 170656 9427 0 0 25 0 1 0 8484179 1535217664 367596 1992294400 4194304 7136930 140733754503008 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367596 398 719 0 374088 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 1499236 [startup+1802.2 s] /proc/loadavg: 1.02 1.02 1.00 2/108 14933 /proc/meminfo: memFree=288060/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1801.63 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372655 0 0 0 170736 9427 0 0 25 0 1 0 8484179 1535217664 367596 1992294400 4194304 7136930 140733754503008 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367596 398 719 0 374088 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 1499236 [startup+1802.6 s] /proc/loadavg: 1.02 1.02 1.00 2/108 14933 /proc/meminfo: memFree=288060/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=1499236 CPUtime=1802.03 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372655 0 0 0 170776 9427 0 0 25 0 1 0 8484179 1535217664 367596 1992294400 4194304 7136930 140733754503008 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14880/statm: 374809 367596 398 719 0 374088 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1499236 [startup+1802.7 s] /proc/loadavg: 1.02 1.02 1.00 2/108 14933 /proc/meminfo: memFree=288060/2059040 swapFree=4192956/4192956 [pid=14880] ppid=14878 vsize=0 CPUtime=1802.13 /proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4203524 372655 0 0 0 170777 9436 0 0 25 0 1 0 8484179 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/14880/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.76 CPU time (s): 1802.2 CPU user time (s): 1707.78 CPU system time (s): 94.4186 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1499236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1707.78 system time used= 94.4186 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 372655 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= 11195 runsolver used 2.97455 second user time and 8.5397 second system time The end
Begin job on node042 at 2010-06-16 09:05:17 IDJOB=2663888 IDBENCH=48261 IDSOLVER=1167 FILE ID=node042/2663888-1276671917 PBS_JOBID= 11172504 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.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-2663888-1276671917/watcher-2663888-1276671917 -o /tmp/evaluation-result-2663888-1276671917/solver-2663888-1276671917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663888-1276671917.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED=374256750 node042.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.213 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.42 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.213 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1764328 kB Buffers: 53300 kB Cached: 116944 kB SwapCached: 0 kB Active: 93652 kB Inactive: 136012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1764328 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3268 kB Writeback: 0 kB AnonPages: 59384 kB Mapped: 15452 kB Slab: 43212 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184036 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= 62576 MiB End job on node042 at 2010-06-16 09:35:20