Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | -49 | 1789.95 | 1790.34 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_5.opb |
| MD5SUM | 80b55b230959185abe8760f01da7fec8 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -70 |
| Best CPU time to get the best result obtained on this benchmark | 1800.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -81 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 108 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75288 |
| Sum of products size (including duplicates) | 150576 |
| Number of different products | 37644 |
| Sum of products size | 75288 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703278-1278577657.opb>
0.39/0.42 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 38644 constraints
0.39/0.42 c problem read
0.39/0.43 c presolving settings loaded
0.89/0.93 o 0
0.89/0.93 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.93 c presolving:
1.99/2.08 c (round 1) 37644 del vars, 1000 del conss, 37644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150576 impls, 0 clqs
2.79/2.88 c (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.79/2.88 c (2.5s) probing aborted: 100/100 successive totally useless probings
2.79/2.88 c presolving (2 rounds):
2.79/2.88 c 37644 deleted vars, 1000 deleted constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.79/2.88 c 225864 implications, 0 cliques
2.79/2.88 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
2.79/2.88 c 37644 constraints of type <logicor>
2.79/2.88 c transformed objective value is always integral (scale: 1)
2.79/2.88 c Presolving Time: 2.21
2.79/2.88 c - non default parameters ----------------------------------------------------------------------
2.79/2.88 c # SCIP version 1.2.1.3
2.79/2.88 c
2.79/2.88 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.79/2.88 c # [type: int, range: [-1,2147483647], default: -1]
2.79/2.88 c conflict/interconss = 0
2.79/2.88 c
2.79/2.88 c # should binary conflicts be preferred?
2.79/2.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.88 c conflict/preferbinary = TRUE
2.79/2.88 c
2.79/2.88 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.79/2.88 c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.88 c constraints/agelimit = 1
2.79/2.88 c
2.79/2.88 c # should enforcement of pseudo solution be disabled?
2.79/2.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.88 c constraints/disableenfops = TRUE
2.79/2.88 c
2.79/2.88 c # frequency for displaying node information lines
2.79/2.88 c # [type: int, range: [-1,2147483647], default: 100]
2.79/2.88 c display/freq = 10000
2.79/2.88 c
2.79/2.88 c # maximal time in seconds to run
2.79/2.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.79/2.88 c limits/time = 1789.58
2.79/2.88 c
2.79/2.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.79/2.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.79/2.88 c limits/memory = 1620
2.79/2.88 c
2.79/2.88 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.79/2.88 c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.88 c lp/solvefreq = 0
2.79/2.88 c
2.79/2.88 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.79/2.88 c # [type: char, range: {lafpsqd}, default: l]
2.79/2.88 c lp/pricing = a
2.79/2.88 c
2.79/2.88 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.79/2.88 c # [type: int, range: [1,2], default: 1]
2.79/2.88 c timing/clocktype = 2
2.79/2.88 c
2.79/2.88 c # should presolving try to simplify inequalities
2.79/2.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.88 c constraints/linear/simplifyinequalities = TRUE
2.79/2.88 c
2.79/2.88 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.79/2.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.88 c constraints/indicator/addCouplingCons = TRUE
2.79/2.88 c
2.79/2.88 c # should presolving try to simplify knapsacks
2.79/2.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.88 c constraints/knapsack/simplifyinequalities = TRUE
2.79/2.88 c
2.79/2.88 c # priority of node selection rule <dfs> in standard mode
2.79/2.88 c # [type: int, range: [-536870912,536870911], default: 0]
2.79/2.88 c nodeselection/dfs/stdpriority = 1000000
2.79/2.88 c
2.79/2.88 c -----------------------------------------------------------------------------------------------
2.79/2.88 c start solving
2.79/2.88 c
4.69/4.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.69/4.76 c t 4.3s| 1 | 0 | 1062 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
4.79/4.85 o -1
4.79/4.85 c R 4.4s| 1 | 0 | 1062 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
4.89/4.96 o -2
4.89/4.96 c s 4.5s| 1 | 0 | 1062 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
7.29/7.33 c 6.9s| 1 | 0 | 1244 | - | 101M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
7.29/7.36 o -49
7.29/7.36 c b 6.9s| 1 | 0 | 1244 | - | 101M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-4.900000e+01 | 90.08%
10.29/10.34 c 9.9s| 1 | 0 | 1490 | - | 101M| 0 | 980 |1000 | 37k|1000 | 37k| 16 | 0 | 0 |-4.900000e+02 |-4.900000e+01 | 90.00%
12.79/12.83 c 12.4s| 1 | 0 | 1623 | - | 101M| 0 | 973 |1000 | 37k|1000 | 37k| 22 | 0 | 0 |-4.865000e+02 |-4.900000e+01 | 89.93%
15.89/15.96 c 15.5s| 1 | 0 | 1831 | - | 101M| 0 | 966 |1000 | 37k|1000 | 37k| 30 | 0 | 0 |-4.830000e+02 |-4.900000e+01 | 89.86%
18.78/18.80 c 18.4s| 1 | 0 | 1990 | - | 101M| 0 | 961 |1000 | 37k|1000 | 37k| 38 | 0 | 0 |-4.805000e+02 |-4.900000e+01 | 89.80%
22.48/22.50 c 22.1s| 1 | 0 | 2284 | - | 101M| 0 | 952 |1000 | 37k|1000 | 37k| 50 | 0 | 0 |-4.760000e+02 |-4.900000e+01 | 89.71%
26.48/26.53 c 26.1s| 1 | 0 | 2611 | - | 101M| 0 | 944 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.720000e+02 |-4.900000e+01 | 89.62%
30.29/30.36 c 29.9s| 1 | 0 | 2872 | - | 101M| 0 | 937 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.685000e+02 |-4.900000e+01 | 89.54%
34.88/34.97 c 34.5s| 1 | 0 | 3270 | - | 101M| 0 | 935 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.660000e+02 |-4.900000e+01 | 89.48%
38.79/38.83 c 38.4s| 1 | 0 | 3522 | - | 101M| 0 | 929 |1000 | 37k|1000 | 37k| 73 | 0 | 0 |-4.640000e+02 |-4.900000e+01 | 89.44%
42.19/42.22 c 41.8s| 1 | 0 | 3857 | - | 101M| 0 | 920 |1000 | 37k|1000 |1315 | 81 | 0 | 0 |-4.600000e+02 |-4.900000e+01 | 89.35%
42.58/42.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.58/42.64 c 42.2s| 1 | 0 | 4138 | - | 101M| 0 | 855 |1000 | 37k|1000 |1322 | 88 | 0 | 0 |-4.595000e+02 |-4.900000e+01 | 89.34%
43.48/43.58 c 43.2s| 1 | 0 | 4471 | - | 102M| 0 | 911 |1000 | 37k|1000 |3322 |2088 | 0 | 0 |-4.575000e+02 |-4.900000e+01 | 89.29%
44.19/44.24 c 43.8s| 1 | 0 | 5022 | - | 102M| 0 | 907 |1000 | 37k|1000 |3451 |2217 | 0 | 0 |-4.545000e+02 |-4.900000e+01 | 89.22%
44.88/44.98 c 44.6s| 1 | 0 | 5728 | - | 102M| 0 | 903 |1000 | 37k|1000 |3517 |2283 | 0 | 0 |-4.525000e+02 |-4.900000e+01 | 89.17%
45.58/45.60 c 45.2s| 1 | 0 | 6181 | - | 102M| 0 | 892 |1000 | 37k|1000 |3647 |2413 | 0 | 0 |-4.500000e+02 |-4.900000e+01 | 89.11%
46.28/46.38 c 46.0s| 1 | 0 | 7036 | - | 103M| 0 | 919 |1000 | 37k|1000 |3568 |2721 | 0 | 0 |-4.463000e+02 |-4.900000e+01 | 89.02%
49.78/49.83 c 49.4s| 1 | 0 | 7068 | - | 103M| 0 | 892 |1000 | 37k|1000 |5568 |4721 | 0 | 0 |-4.460000e+02 |-4.900000e+01 | 89.01%
50.68/50.70 c 50.3s| 1 | 0 | 7502 | - | 103M| 0 | 889 |1000 | 37k|1000 |5578 |4731 | 0 | 0 |-4.440000e+02 |-4.900000e+01 | 88.96%
51.98/52.00 c 51.6s| 1 | 0 | 8404 | - | 103M| 0 | 882 |1000 | 37k|1000 |5812 |4965 | 0 | 0 |-4.416667e+02 |-4.900000e+01 | 88.91%
52.98/53.06 c 52.6s| 1 | 0 | 9107 | - | 103M| 0 | 876 |1000 | 37k|1000 |6119 |5272 | 0 | 0 |-4.390000e+02 |-4.900000e+01 | 88.84%
53.68/53.79 c 53.4s| 1 | 0 | 9436 | - | 103M| 0 | 872 |1000 | 37k|1000 |6179 |5332 | 0 | 0 |-4.370000e+02 |-4.900000e+01 | 88.79%
54.48/54.56 c 54.1s| 1 | 0 | 9941 | - | 103M| 0 | 869 |1000 | 37k|1000 |4310 |5385 | 0 | 0 |-4.345000e+02 |-4.900000e+01 | 88.72%
55.18/55.28 c 54.9s| 1 | 0 | 10503 | - | 103M| 0 | 859 |1000 | 37k|1000 |4316 |5391 | 0 | 0 |-4.315000e+02 |-4.900000e+01 | 88.64%
55.99/56.08 c 55.7s| 1 | 0 | 11203 | - | 103M| 0 | 829 |1000 | 37k|1000 |4450 |5525 | 0 | 0 |-4.295000e+02 |-4.900000e+01 | 88.59%
56.88/56.90 c 56.5s| 1 | 0 | 11676 | - | 104M| 0 | 851 |1000 | 37k|1000 |5327 |6402 | 0 | 0 |-4.265000e+02 |-4.900000e+01 | 88.51%
57.67/57.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.67/57.72 c 57.3s| 1 | 0 | 12166 | - | 104M| 0 | 854 |1000 | 37k|1000 |5394 |6469 | 0 | 0 |-4.257500e+02 |-4.900000e+01 | 88.49%
58.48/58.54 c 58.1s| 1 | 0 | 12805 | - | 104M| 0 | 843 |1000 | 37k|1000 |5681 |6756 | 0 | 0 |-4.235000e+02 |-4.900000e+01 | 88.43%
59.28/59.40 c 59.0s| 1 | 0 | 13516 | - | 104M| 0 | 843 |1000 | 37k|1000 |4926 |6885 | 0 | 0 |-4.225000e+02 |-4.900000e+01 | 88.40%
60.08/60.16 c 59.7s| 1 | 0 | 14169 | - | 104M| 0 | 849 |1000 | 37k|1000 |4980 |6939 | 0 | 0 |-4.200000e+02 |-4.900000e+01 | 88.33%
61.18/61.28 c 60.9s| 1 | 0 | 15055 | - | 104M| 0 | 829 |1000 | 37k|1000 |5714 |7673 | 0 | 0 |-4.185000e+02 |-4.900000e+01 | 88.29%
62.27/62.39 c 62.0s| 1 | 0 | 16143 | - | 104M| 0 | 830 |1000 | 37k|1000 |5972 |7931 | 0 | 0 |-4.162500e+02 |-4.900000e+01 | 88.23%
63.48/63.54 c 63.1s| 1 | 0 | 16966 | - | 105M| 0 | 828 |1000 | 37k|1000 |6190 |8149 | 0 | 0 |-4.130000e+02 |-4.900000e+01 | 88.14%
64.58/64.62 c 64.2s| 1 | 0 | 17788 | - | 105M| 0 | 822 |1000 | 37k|1000 |6243 |8202 | 0 | 0 |-4.105000e+02 |-4.900000e+01 | 88.06%
65.48/65.52 c 65.1s| 1 | 0 | 18462 | - | 105M| 0 | 815 |1000 | 37k|1000 |5369 |8210 | 0 | 0 |-4.085000e+02 |-4.900000e+01 | 88.00%
66.48/66.52 c 66.1s| 1 | 0 | 19336 | - | 105M| 0 | 803 |1000 | 37k|1000 |5429 |8270 | 0 | 0 |-4.065000e+02 |-4.900000e+01 | 87.95%
67.48/67.51 c 67.1s| 1 | 0 | 20223 | - | 105M| 0 | 808 |1000 | 37k|1000 |5694 |8535 | 0 | 0 |-4.040000e+02 |-4.900000e+01 | 87.87%
68.58/68.65 c 68.2s| 1 | 0 | 21284 | - | 105M| 0 | 803 |1000 | 37k|1000 |5700 |8541 | 0 | 0 |-4.015000e+02 |-4.900000e+01 | 87.80%
69.28/69.32 c 68.9s| 1 | 0 | 21816 | - | 105M| 0 | 800 |1000 | 37k|1000 |5705 |8546 | 0 | 0 |-4.010000e+02 |-4.900000e+01 | 87.78%
70.47/70.59 c 70.2s| 1 | 0 | 22978 | - | 105M| 0 | 842 |1000 | 37k|1000 |5777 |8618 | 0 | 0 |-3.995000e+02 |-4.900000e+01 | 87.73%
73.58/73.64 c 73.2s| 1 | 0 | 23142 | - | 105M| 0 | 803 |1000 | 37k|1000 |5716 | 10k| 0 | 0 |-3.990000e+02 |-4.900000e+01 | 87.72%
74.27/74.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.27/74.33 c 73.9s| 1 | 0 | 23592 | - | 105M| 0 | 798 |1000 | 37k|1000 |5724 | 10k| 0 | 0 |-3.970000e+02 |-4.900000e+01 | 87.66%
75.27/75.36 c 74.9s| 1 | 0 | 24371 | - | 105M| 0 | 796 |1000 | 37k|1000 |5786 | 10k| 0 | 0 |-3.955000e+02 |-4.900000e+01 | 87.61%
76.57/76.64 c 76.2s| 1 | 0 | 25302 | - | 105M| 0 | 783 |1000 | 37k|1000 |5794 | 10k| 0 | 0 |-3.940000e+02 |-4.900000e+01 | 87.56%
77.78/77.82 c 77.4s| 1 | 0 | 26103 | - | 105M| 0 | 785 |1000 | 37k|1000 |5980 | 10k| 0 | 0 |-3.925000e+02 |-4.900000e+01 | 87.52%
78.48/78.57 c 78.1s| 1 | 0 | 26564 | - | 105M| 0 | 782 |1000 | 37k|1000 |5986 | 10k| 0 | 0 |-3.910000e+02 |-4.900000e+01 | 87.47%
78.98/79.09 c 78.7s| 1 | 0 | 26769 | - | 105M| 0 | 781 |1000 | 37k|1000 |5031 | 10k| 0 | 0 |-3.905000e+02 |-4.900000e+01 | 87.45%
80.07/80.15 c 79.7s| 1 | 0 | 27451 | - | 105M| 0 | 787 |1000 | 37k|1000 |5038 | 10k| 0 | 0 |-3.885000e+02 |-4.900000e+01 | 87.39%
81.07/81.10 c 80.7s| 1 | 0 | 28073 | - | 106M| 0 | 774 |1000 | 37k|1000 |5391 | 11k| 0 | 0 |-3.872500e+02 |-4.900000e+01 | 87.35%
82.07/82.13 c 81.7s| 1 | 0 | 28733 | - | 106M| 0 | 768 |1000 | 37k|1000 |5834 | 11k| 0 | 0 |-3.850000e+02 |-4.900000e+01 | 87.27%
82.97/83.02 c 82.6s| 1 | 0 | 29306 | - | 106M| 0 | 768 |1000 | 37k|1000 |5884 | 11k| 0 | 0 |-3.840000e+02 |-4.900000e+01 | 87.24%
83.48/83.56 c 83.1s| 1 | 0 | 29584 | - | 106M| 0 | 766 |1000 | 37k|1000 |5891 | 11k| 0 | 0 |-3.830000e+02 |-4.900000e+01 | 87.21%
84.07/84.12 c 83.7s| 1 | 0 | 29864 | - | 106M| 0 | 765 |1000 | 37k|1000 |5599 | 11k| 0 | 0 |-3.825000e+02 |-4.900000e+01 | 87.19%
85.08/85.16 c 84.7s| 1 | 0 | 30584 | - | 106M| 0 | 763 |1000 | 37k|1000 |5607 | 11k| 0 | 0 |-3.815000e+02 |-4.900000e+01 | 87.16%
86.27/86.32 c 85.9s| 1 | 0 | 31579 | - | 106M| 0 | 756 |1000 | 37k|1000 |5614 | 11k| 0 | 0 |-3.800000e+02 |-4.900000e+01 | 87.11%
87.37/87.40 c 87.0s| 1 | 0 | 32412 | - | 106M| 0 | 758 |1000 | 37k|1000 |5720 | 11k| 0 | 0 |-3.777500e+02 |-4.900000e+01 | 87.03%
88.88/88.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.88/88.96 c 88.5s| 1 | 0 | 33760 | - | 106M| 0 | 742 |1000 | 37k|1000 |5913 | 12k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
89.47/89.56 c 89.1s| 1 | 0 | 34079 | - | 106M| 0 | 748 |1000 | 37k|1000 |6182 | 12k| 0 | 0 |-3.750000e+02 |-4.900000e+01 | 86.93%
91.28/91.39 c 91.0s| 1 | 0 | 35217 | - | 106M| 0 | 745 |1000 | 37k|1000 |5748 | 12k| 0 | 0 |-3.735000e+02 |-4.900000e+01 | 86.88%
92.57/92.61 c 92.2s| 1 | 0 | 36205 | - | 106M| 0 | 739 |1000 | 37k|1000 |5799 | 12k| 0 | 0 |-3.720000e+02 |-4.900000e+01 | 86.83%
93.27/93.37 c 92.9s| 1 | 0 | 36721 | - | 106M| 0 | 736 |1000 | 37k|1000 |6086 | 12k| 0 | 0 |-3.700000e+02 |-4.900000e+01 | 86.76%
94.37/94.45 c 94.0s| 1 | 0 | 37436 | - | 107M| 0 | 734 |1000 | 37k|1000 |6187 | 12k| 0 | 0 |-3.690000e+02 |-4.900000e+01 | 86.72%
94.97/95.05 c 94.6s| 1 | 0 | 37820 | - | 107M| 0 | 729 |1000 | 37k|1000 |6308 | 12k| 0 | 0 |-3.685000e+02 |-4.900000e+01 | 86.70%
96.97/97.04 c 96.6s| 1 | 0 | 39189 | - | 107M| 0 | 728 |1000 | 37k|1000 |6524 | 13k| 0 | 0 |-3.670000e+02 |-4.900000e+01 | 86.65%
98.07/98.15 c 97.7s| 1 | 0 | 39956 | - | 107M| 0 | 729 |1000 | 37k|1000 |6274 | 13k| 0 | 0 |-3.655000e+02 |-4.900000e+01 | 86.59%
99.27/99.34 c 98.9s| 1 | 0 | 40772 | - | 107M| 0 | 733 |1000 | 37k|1000 |6324 | 13k| 0 | 0 |-3.640000e+02 |-4.900000e+01 | 86.54%
100.37/100.44 c 100s| 1 | 0 | 41585 | - | 107M| 0 | 723 |1000 | 37k|1000 |6370 | 13k| 0 | 0 |-3.630000e+02 |-4.900000e+01 | 86.50%
101.47/101.50 c 101s| 1 | 0 | 42454 | - | 107M| 0 | 730 |1000 | 37k|1000 |6484 | 13k| 0 | 0 |-3.610000e+02 |-4.900000e+01 | 86.43%
102.67/102.80 c 102s| 1 | 0 | 43781 | - | 107M| 0 | 787 |1000 | 37k|1000 |6496 | 13k| 0 | 0 |-3.596250e+02 |-4.900000e+01 | 86.37%
105.07/105.17 c 105s| 1 | 0 | 43995 | - | 108M| 0 | 719 |1000 | 37k|1000 |8496 | 15k| 0 | 0 |-3.595000e+02 |-4.900000e+01 | 86.37%
105.76/105.89 c 105s| 1 | 0 | 44254 | - | 108M| 0 | 718 |1000 | 37k|1000 |7726 | 15k| 0 | 0 |-3.590000e+02 |-4.900000e+01 | 86.35%
106.77/106.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.77/106.83 c 106s| 1 | 0 | 44699 | - | 108M| 0 | 719 |1000 | 37k|1000 |7732 | 15k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
108.07/108.10 c 108s| 1 | 0 | 45349 | - | 108M| 0 | 722 |1000 | 37k|1000 |7739 | 15k| 0 | 0 |-3.580000e+02 |-4.900000e+01 | 86.31%
109.57/109.67 c 109s| 1 | 0 | 46149 | - | 108M| 0 | 714 |1000 | 37k|1000 |7746 | 15k| 0 | 0 |-3.580000e+02 |-4.900000e+01 | 86.31%
111.16/111.28 c 111s| 1 | 0 | 47063 | - | 108M| 0 | 715 |1000 | 37k|1000 |7794 | 15k| 0 | 0 |-3.570000e+02 |-4.900000e+01 | 86.27%
113.07/113.10 c 113s| 1 | 0 | 48008 | - | 108M| 0 | 716 |1000 | 37k|1000 |7804 | 15k| 0 | 0 |-3.560000e+02 |-4.900000e+01 | 86.24%
114.96/115.09 c 115s| 1 | 0 | 48922 | - | 109M| 0 | 710 |1000 | 37k|1000 |7251 | 15k| 0 | 0 |-3.560000e+02 |-4.900000e+01 | 86.24%
116.97/117.02 c 117s| 1 | 0 | 50031 | - | 109M| 0 | 729 |1000 | 37k|1000 |7309 | 15k| 0 | 0 |-3.553333e+02 |-4.900000e+01 | 86.21%
118.36/118.42 c 118s| 1 | 0 | 50819 | - | 109M| 0 | 734 |1000 | 37k|1000 |7321 | 15k| 0 | 0 |-3.542500e+02 |-4.900000e+01 | 86.17%
119.96/120.08 c 120s| 1 | 0 | 51804 | - | 109M| 0 | 703 |1000 | 37k|1000 |7419 | 15k| 0 | 0 |-3.535000e+02 |-4.900000e+01 | 86.14%
122.37/122.47 c 122s| 1 | 0 | 53160 | - | 109M| 0 | 704 |1000 | 37k|1000 |7532 | 15k| 0 | 0 |-3.527500e+02 |-4.900000e+01 | 86.11%
124.07/124.13 c 124s| 1 | 0 | 54174 | - | 109M| 0 | 727 |1000 | 37k|1000 |7702 | 16k| 0 | 0 |-3.515000e+02 |-4.900000e+01 | 86.06%
125.27/125.34 c 125s| 1 | 0 | 54767 | - | 109M| 0 | 701 |1000 | 37k|1000 |6116 | 16k| 0 | 0 |-3.507500e+02 |-4.900000e+01 | 86.03%
127.26/127.38 c 127s| 1 | 0 | 56234 | - | 109M| 0 | 693 |1000 | 37k|1000 |6163 | 16k| 0 | 0 |-3.485000e+02 |-4.900000e+01 | 85.94%
128.76/128.84 c 128s| 1 | 0 | 57221 | - | 109M| 0 | 732 |1000 | 37k|1000 |6285 | 16k| 0 | 0 |-3.478333e+02 |-4.900000e+01 | 85.91%
130.46/130.52 c 130s| 1 | 0 | 58453 | - | 109M| 0 | 739 |1000 | 37k|1000 |6298 | 16k| 0 | 0 |-3.463571e+02 |-4.900000e+01 | 85.85%
131.97/132.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.97/132.08 c 132s| 1 | 0 | 59422 | - | 110M| 0 | 717 |1000 | 37k|1000 |6521 | 16k| 0 | 0 |-3.455000e+02 |-4.900000e+01 | 85.82%
134.26/134.30 c 134s| 1 | 0 | 60892 | - | 111M| 0 | 709 |1000 | 37k|1000 |6733 | 16k| 0 | 0 |-3.435000e+02 |-4.900000e+01 | 85.74%
135.66/135.74 c 135s| 1 | 0 | 61851 | - | 111M| 0 | 716 |1000 | 37k|1000 |6539 | 16k| 0 | 0 |-3.425000e+02 |-4.900000e+01 | 85.69%
137.56/137.63 c 137s| 1 | 0 | 63066 | - | 111M| 0 | 741 |1000 | 37k|1000 |6602 | 16k| 0 | 0 |-3.420000e+02 |-4.900000e+01 | 85.67%
140.67/140.76 c 140s| 1 | 0 | 65215 | - | 111M| 0 | 679 |1000 | 37k|1000 |7005 | 17k| 0 | 0 |-3.402500e+02 |-4.900000e+01 | 85.60%
142.26/142.32 c 142s| 1 | 0 | 66100 | - | 112M| 0 | 685 |1000 | 37k|1000 |7153 | 17k| 0 | 0 |-3.394231e+02 |-4.900000e+01 | 85.56%
143.86/143.96 c 144s| 1 | 0 | 67123 | - | 112M| 0 | 719 |1000 | 37k|1000 |7428 | 17k| 0 | 0 |-3.392100e+02 |-4.900000e+01 | 85.55%
146.95/147.01 c 147s| 1 | 0 | 68816 | - | 112M| 0 | 691 |1000 | 37k|1000 |7440 | 17k| 0 | 0 |-3.390000e+02 |-4.900000e+01 | 85.55%
150.66/150.71 c 150s| 1 | 0 | 71056 | - | 112M| 0 | 737 |1000 | 37k|1000 |6978 | 17k| 0 | 0 |-3.382159e+02 |-4.900000e+01 | 85.51%
152.56/152.67 c 152s| 1 | 0 | 72429 | - | 113M| 0 | 710 |1000 | 37k|1000 |7222 | 17k| 0 | 0 |-3.365000e+02 |-4.900000e+01 | 85.44%
155.07/155.14 c 155s| 1 | 0 | 73955 | - | 113M| 0 | 725 |1000 | 37k|1000 |7281 | 18k| 0 | 0 |-3.352917e+02 |-4.900000e+01 | 85.39%
156.95/157.04 c 157s| 1 | 0 | 75236 | - | 113M| 0 | 740 |1000 | 37k|1000 |7440 | 18k| 0 | 0 |-3.343500e+02 |-4.900000e+01 | 85.34%
159.55/159.63 c 159s| 1 | 0 | 76938 | - | 113M| 0 | 717 |1000 | 37k|1000 |7695 | 18k| 0 | 0 |-3.330000e+02 |-4.900000e+01 | 85.29%
163.06/163.14 c 163s| 1 | 0 | 78745 | - | 114M| 0 | 677 |1000 | 37k|1000 |7741 | 18k| 0 | 0 |-3.325000e+02 |-4.900000e+01 | 85.26%
168.16/168.28 c 168s| 1 | 0 | 81503 | - | 114M| 0 | 687 |1000 | 37k|1000 |7113 | 18k| 0 | 0 |-3.320000e+02 |-4.900000e+01 | 85.24%
171.46/171.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.46/171.54 c 171s| 1 | 0 | 83679 | - | 114M| 0 | 730 |1000 | 37k|1000 |7205 | 18k| 0 | 0 |-3.306944e+02 |-4.900000e+01 | 85.18%
174.56/174.68 c 174s| 1 | 0 | 85527 | - | 114M| 0 | 724 |1000 | 37k|1000 |7365 | 18k| 0 | 0 |-3.303750e+02 |-4.900000e+01 | 85.17%
177.16/177.20 c 177s| 1 | 0 | 87091 | - | 114M| 0 | 760 |1000 | 37k|1000 |7380 | 18k| 0 | 0 |-3.301837e+02 |-4.900000e+01 | 85.16%
179.56/179.61 c 179s| 1 | 0 | 88530 | - | 115M| 0 | 742 |1000 | 37k|1000 |7491 | 18k| 0 | 0 |-3.297783e+02 |-4.900000e+01 | 85.14%
181.35/181.50 c 181s| 1 | 0 | 89596 | - | 116M| 0 | 656 |1000 | 37k|1000 |7630 | 19k| 0 | 0 |-3.290000e+02 |-4.900000e+01 | 85.11%
186.25/186.32 c 186s| 1 | 0 | 92134 | - | 117M| 0 | 686 |1000 | 37k|1000 |6972 | 19k| 0 | 0 |-3.282500e+02 |-4.900000e+01 | 85.07%
191.45/191.51 c 191s| 1 | 0 | 95322 | - | 117M| 0 | 732 |1000 | 37k|1000 |6985 | 19k| 0 | 0 |-3.275455e+02 |-4.900000e+01 | 85.04%
195.24/195.35 c 195s| 1 | 0 | 98044 | - | 120M| 0 | 742 |1000 | 37k|1000 |7032 | 19k| 0 | 0 |-3.255495e+02 |-4.900000e+01 | 84.95%
198.15/198.24 c 198s| 1 | 0 |100047 | - | 121M| 0 | 752 |1000 | 37k|1000 |7218 | 19k| 0 | 0 |-3.239583e+02 |-4.900000e+01 | 84.87%
202.45/202.60 c 202s| 1 | 0 |101829 | - | 121M| 0 | 738 |1000 | 37k|1000 |7353 | 19k| 0 | 0 |-3.235217e+02 |-4.900000e+01 | 84.85%
208.25/208.37 c 208s| 1 | 0 |104897 | - | 123M| 0 | 751 |1000 | 37k|1000 |7411 | 19k| 0 | 0 |-3.221604e+02 |-4.900000e+01 | 84.79%
212.54/212.69 c 212s| 1 | 0 |107200 | - | 124M| 0 | 723 |1000 | 37k|1000 |6919 | 19k| 0 | 0 |-3.214250e+02 |-4.900000e+01 | 84.76%
215.94/216.08 c 216s| 1 | 0 |109032 | - | 124M| 0 | 788 |1000 | 37k|1000 |7012 | 19k| 0 | 0 |-3.203530e+02 |-4.900000e+01 | 84.70%
219.34/219.48 c 219s| 1 | 0 |110474 | - | 125M| 0 | 741 |1000 | 37k|1000 |7553 | 20k| 0 | 0 |-3.189750e+02 |-4.900000e+01 | 84.64%
221.84/221.96 c 222s| 1 | 0 |111900 | - | 127M| 0 | 751 |1000 | 37k|1000 |7630 | 20k| 0 | 0 |-3.186746e+02 |-4.900000e+01 | 84.62%
225.54/225.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.54/225.61 c 225s| 1 | 0 |113435 | - | 128M| 0 | 760 |1000 | 37k|1000 |7703 | 20k| 0 | 0 |-3.177792e+02 |-4.900000e+01 | 84.58%
230.54/230.61 c 230s| 1 | 0 |115884 | - | 128M| 0 | 760 |1000 | 37k|1000 |7857 | 20k| 0 | 0 |-3.160114e+02 |-4.900000e+01 | 84.49%
233.54/233.64 c 233s| 1 | 0 |117270 | - | 130M| 0 | 772 |1000 | 37k|1000 |7550 | 20k| 0 | 0 |-3.153500e+02 |-4.900000e+01 | 84.46%
237.04/237.16 c 237s| 1 | 0 |119345 | - | 132M| 0 | 779 |1000 | 37k|1000 |7593 | 20k| 0 | 0 |-3.141555e+02 |-4.900000e+01 | 84.40%
241.34/241.48 c 241s| 1 | 0 |121213 | - | 132M| 0 | 776 |1000 | 37k|1000 |7723 | 20k| 0 | 0 |-3.127149e+02 |-4.900000e+01 | 84.33%
246.13/246.28 c 246s| 1 | 0 |123322 | - | 132M| 0 | 787 |1000 | 37k|1000 |7762 | 20k| 0 | 0 |-3.115614e+02 |-4.900000e+01 | 84.27%
251.63/251.74 c 251s| 1 | 0 |125727 | - | 132M| 0 | 763 |1000 | 37k|1000 |7869 | 20k| 0 | 0 |-3.097381e+02 |-4.900000e+01 | 84.18%
255.83/255.92 c 255s| 1 | 0 |127694 | - | 132M| 0 | 778 |1000 | 37k|1000 |7994 | 21k| 0 | 0 |-3.088164e+02 |-4.900000e+01 | 84.13%
260.54/260.70 c 260s| 1 | 0 |129706 | - | 132M| 0 | 764 |1000 | 37k|1000 |7345 | 21k| 0 | 0 |-3.077792e+02 |-4.900000e+01 | 84.08%
264.24/264.34 c 264s| 1 | 0 |131536 | - | 135M| 0 | 782 |1000 | 37k|1000 |7442 | 21k| 0 | 0 |-3.073427e+02 |-4.900000e+01 | 84.06%
268.24/268.40 c 268s| 1 | 0 |133368 | - | 135M| 0 | 778 |1000 | 37k|1000 |7593 | 21k| 0 | 0 |-3.065714e+02 |-4.900000e+01 | 84.02%
272.33/272.44 c 272s| 1 | 0 |135203 | - | 136M| 0 | 790 |1000 | 37k|1000 |7678 | 21k| 0 | 0 |-3.056761e+02 |-4.900000e+01 | 83.97%
276.84/276.95 c 277s| 1 | 0 |137137 | - | 136M| 0 | 786 |1000 | 37k|1000 |7773 | 21k| 0 | 0 |-3.046246e+02 |-4.900000e+01 | 83.91%
281.93/282.08 c 282s| 1 | 0 |139369 | - | 136M| 0 | 777 |1000 | 37k|1000 |7817 | 21k| 0 | 0 |-3.034800e+02 |-4.900000e+01 | 83.85%
286.52/286.63 c 286s| 1 | 0 |141244 | - | 136M| 0 | 793 |1000 | 37k|1000 |7623 | 21k| 0 | 0 |-3.028685e+02 |-4.900000e+01 | 83.82%
291.83/291.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.83/291.91 c 291s| 1 | 0 |143357 | - | 136M| 0 | 776 |1000 | 37k|1000 |7757 | 21k| 0 | 0 |-3.016752e+02 |-4.900000e+01 | 83.76%
296.94/297.06 c 297s| 1 | 0 |145579 | - | 136M| 0 | 795 |1000 | 37k|1000 |7860 | 21k| 0 | 0 |-3.004580e+02 |-4.900000e+01 | 83.69%
301.93/302.02 c 302s| 1 | 0 |147468 | - | 136M| 0 | 802 |1000 | 37k|1000 |7937 | 22k| 0 | 0 |-2.995900e+02 |-4.900000e+01 | 83.64%
307.22/307.33 c 307s| 1 | 0 |149585 | - | 136M| 0 | 806 |1000 | 37k|1000 |8107 | 22k| 0 | 0 |-2.983108e+02 |-4.900000e+01 | 83.57%
313.12/313.20 c 313s| 1 | 0 |151668 | - | 136M| 0 | 806 |1000 | 37k|1000 |8384 | 22k| 0 | 0 |-2.968591e+02 |-4.900000e+01 | 83.49%
318.22/318.33 c 318s| 1 | 0 |153238 | - | 136M| 0 | 802 |1000 | 37k|1000 |8085 | 22k| 0 | 0 |-2.963375e+02 |-4.900000e+01 | 83.46%
322.62/322.73 c 322s| 1 | 0 |154622 | - | 136M| 0 | 810 |1000 | 37k|1000 |8095 | 22k| 0 | 0 |-2.959493e+02 |-4.900000e+01 | 83.44%
328.22/328.38 c 328s| 1 | 0 |156607 | - | 136M| 0 | 816 |1000 | 37k|1000 |8135 | 22k| 0 | 0 |-2.947879e+02 |-4.900000e+01 | 83.38%
334.52/334.63 c 334s| 1 | 0 |158574 | - | 136M| 0 | 799 |1000 | 37k|1000 |8152 | 22k| 0 | 0 |-2.942871e+02 |-4.900000e+01 | 83.35%
340.21/340.35 c 340s| 1 | 0 |160687 | - | 136M| 0 | 830 |1000 | 37k|1000 |8193 | 22k| 0 | 0 |-2.931355e+02 |-4.900000e+01 | 83.28%
347.11/347.26 c 347s| 1 | 0 |162482 | - | 135M| 0 | 850 |1000 | 37k|1000 |8310 | 22k| 0 | 0 |-2.922503e+02 |-4.900000e+01 | 83.23%
356.61/356.71 c 356s| 1 | 0 |164717 | - | 135M| 0 | 838 |1000 | 37k|1000 |8193 | 23k| 0 | 0 |-2.911283e+02 |-4.900000e+01 | 83.17%
363.72/363.88 c 363s| 1 | 0 |166625 | - | 135M| 0 | 830 |1000 | 37k|1000 |8269 | 23k| 0 | 0 |-2.903832e+02 |-4.900000e+01 | 83.13%
371.01/371.13 c 371s| 1 | 0 |168539 | - | 135M| 0 | 854 |1000 | 37k|1000 |8289 | 23k| 0 | 0 |-2.896690e+02 |-4.900000e+01 | 83.08%
379.61/379.74 c 379s| 1 | 0 |170194 | - | 135M| 0 | 836 |1000 | 37k|1000 |8476 | 23k| 0 | 0 |-2.889801e+02 |-4.900000e+01 | 83.04%
389.31/389.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.31/389.43 c 389s| 1 | 0 |172663 | - | 135M| 0 | 841 |1000 | 37k|1000 |8636 | 23k| 0 | 0 |-2.877996e+02 |-4.900000e+01 | 82.97%
397.80/397.90 c 397s| 1 | 0 |174665 | - | 135M| 0 | 854 |1000 | 37k|1000 |8689 | 23k| 0 | 0 |-2.871938e+02 |-4.900000e+01 | 82.94%
407.10/407.23 c 407s| 1 | 0 |176290 | - | 135M| 0 | 867 |1000 | 37k|1000 |8505 | 23k| 0 | 0 |-2.867404e+02 |-4.900000e+01 | 82.91%
417.20/417.34 c 417s| 1 | 0 |178811 | - | 135M| 0 | 862 |1000 | 37k|1000 |8558 | 23k| 0 | 0 |-2.856263e+02 |-4.900000e+01 | 82.84%
427.49/427.63 c 427s| 1 | 0 |180636 | - | 135M| 0 | 867 |1000 | 37k|1000 |8596 | 23k| 0 | 0 |-2.850543e+02 |-4.900000e+01 | 82.81%
437.00/437.15 c 437s| 1 | 0 |182304 | - | 135M| 0 | 872 |1000 | 37k|1000 |8686 | 23k| 0 | 0 |-2.846157e+02 |-4.900000e+01 | 82.78%
448.70/448.84 c 448s| 1 | 0 |184588 | - | 135M| 0 | 879 |1000 | 37k|1000 |8773 | 23k| 0 | 0 |-2.837207e+02 |-4.900000e+01 | 82.73%
461.09/461.20 c 461s| 1 | 0 |187074 | - | 135M| 0 | 857 |1000 | 37k|1000 |8861 | 23k| 0 | 0 |-2.825862e+02 |-4.900000e+01 | 82.66%
470.69/470.83 c 470s| 1 | 0 |189001 | - | 135M| 0 | 866 |1000 | 37k|1000 |8687 | 24k| 0 | 0 |-2.818159e+02 |-4.900000e+01 | 82.61%
481.38/481.51 c 481s| 1 | 0 |190888 | - | 135M| 0 | 860 |1000 | 37k|1000 |8733 | 24k| 0 | 0 |-2.810402e+02 |-4.900000e+01 | 82.56%
493.39/493.50 c 493s| 1 | 0 |193200 | - | 135M| 0 | 877 |1000 | 37k|1000 |8762 | 24k| 0 | 0 |-2.802529e+02 |-4.900000e+01 | 82.52%
504.58/504.75 c 504s| 1 | 0 |194951 | - | 135M| 0 | 872 |1000 | 37k|1000 |8814 | 24k| 0 | 0 |-2.795933e+02 |-4.900000e+01 | 82.47%
517.99/518.12 c 518s| 1 | 0 |197377 | - | 135M| 0 | 879 |1000 | 37k|1000 |8903 | 24k| 0 | 0 |-2.788139e+02 |-4.900000e+01 | 82.43%
530.18/530.32 c 530s| 1 | 0 |199131 | - | 135M| 0 | 887 |1000 | 37k|1000 |9073 | 24k| 0 | 0 |-2.783189e+02 |-4.900000e+01 | 82.39%
541.67/541.89 c 541s| 1 | 0 |200462 | - | 135M| 0 | 879 |1000 | 37k|1000 |8738 | 24k| 0 | 0 |-2.780650e+02 |-4.900000e+01 | 82.38%
553.57/553.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.57/553.77 c 553s| 1 | 0 |202391 | - | 135M| 0 | 881 |1000 | 37k|1000 |8788 | 24k| 0 | 0 |-2.774638e+02 |-4.900000e+01 | 82.34%
567.86/568.10 c 568s| 1 | 0 |205085 | - | 135M| 0 | 878 |1000 | 37k|1000 |8903 | 24k| 0 | 0 |-2.764801e+02 |-4.900000e+01 | 82.28%
581.46/581.67 c 581s| 1 | 0 |207525 | - | 135M| 0 | 885 |1000 | 37k|1000 |9001 | 24k| 0 | 0 |-2.756576e+02 |-4.900000e+01 | 82.22%
593.96/594.15 c 594s| 1 | 0 |209348 | - | 135M| 0 | 890 |1000 | 37k|1000 |9057 | 24k| 0 | 0 |-2.746943e+02 |-4.900000e+01 | 82.16%
606.56/606.79 c 606s| 1 | 0 |211055 | - | 135M| 0 | 895 |1000 | 37k|1000 |9159 | 24k| 0 | 0 |-2.741881e+02 |-4.900000e+01 | 82.13%
622.76/622.90 c 622s| 1 | 0 |213827 | - | 135M| 0 | 893 |1000 | 37k|1000 |8993 | 24k| 0 | 0 |-2.731520e+02 |-4.900000e+01 | 82.06%
636.85/637.04 c 637s| 1 | 0 |216027 | - | 135M| 0 | 904 |1000 | 37k|1000 |9030 | 25k| 0 | 0 |-2.724028e+02 |-4.900000e+01 | 82.01%
649.55/649.76 c 649s| 1 | 0 |217697 | - | 135M| 0 | 897 |1000 | 37k|1000 |9117 | 25k| 0 | 0 |-2.717605e+02 |-4.900000e+01 | 81.97%
665.05/665.22 c 665s| 1 | 0 |220112 | - | 135M| 0 | 897 |1000 | 37k|1000 |9162 | 25k| 0 | 0 |-2.709828e+02 |-4.900000e+01 | 81.92%
679.04/679.20 c 679s| 1 | 0 |221886 | - | 135M| 0 | 899 |1000 | 37k|1000 |9284 | 25k| 0 | 0 |-2.705474e+02 |-4.900000e+01 | 81.89%
693.95/694.14 c 694s| 1 | 0 |224071 | - | 134M| 0 | 909 |1000 | 37k|1000 |9309 | 25k| 0 | 0 |-2.699413e+02 |-4.900000e+01 | 81.85%
709.74/709.94 c 710s| 1 | 0 |226440 | - | 134M| 0 | 901 |1000 | 37k|1000 |9037 | 25k| 0 | 0 |-2.691152e+02 |-4.900000e+01 | 81.79%
725.03/725.21 c 725s| 1 | 0 |228686 | - | 134M| 0 | 915 |1000 | 37k|1000 |9089 | 25k| 0 | 0 |-2.685527e+02 |-4.900000e+01 | 81.75%
740.62/740.88 c 740s| 1 | 0 |230644 | - | 134M| 0 | 906 |1000 | 37k|1000 |9192 | 25k| 0 | 0 |-2.679855e+02 |-4.900000e+01 | 81.72%
754.33/754.58 c 754s| 1 | 0 |232065 | - | 134M| 0 | 907 |1000 | 37k|1000 |9257 | 25k| 0 | 0 |-2.675490e+02 |-4.900000e+01 | 81.69%
767.12/767.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.12/767.38 c 767s| 1 | 0 |233072 | - | 134M| 0 | 905 |1000 | 37k|1000 |9298 | 25k| 0 | 0 |-2.673799e+02 |-4.900000e+01 | 81.67%
780.22/780.47 c 780s| 1 | 0 |234103 | - | 134M| 0 | 910 |1000 | 37k|1000 |9329 | 25k| 0 | 0 |-2.670972e+02 |-4.900000e+01 | 81.65%
794.91/795.18 c 795s| 1 | 0 |235797 | - | 134M| 0 | 908 |1000 | 37k|1000 |9070 | 25k| 0 | 0 |-2.667363e+02 |-4.900000e+01 | 81.63%
808.62/808.82 c 808s| 1 | 0 |237409 | - | 134M| 0 | 915 |1000 | 37k|1000 |9097 | 25k| 0 | 0 |-2.663828e+02 |-4.900000e+01 | 81.61%
822.21/822.43 c 822s| 1 | 0 |238867 | - | 134M| 0 | 921 |1000 | 37k|1000 |9159 | 25k| 0 | 0 |-2.660548e+02 |-4.900000e+01 | 81.58%
836.81/837.07 c 837s| 1 | 0 |240559 | - | 134M| 0 | 922 |1000 | 37k|1000 |9191 | 25k| 0 | 0 |-2.656690e+02 |-4.900000e+01 | 81.56%
850.91/851.14 c 851s| 1 | 0 |242137 | - | 133M| 0 | 926 |1000 | 37k|1000 |9223 | 25k| 0 | 0 |-2.652197e+02 |-4.900000e+01 | 81.52%
865.00/865.21 c 865s| 1 | 0 |243387 | - | 133M| 0 | 919 |1000 | 37k|1000 |9260 | 25k| 0 | 0 |-2.648423e+02 |-4.900000e+01 | 81.50%
879.81/880.03 c 880s| 1 | 0 |245019 | - | 133M| 0 | 921 |1000 | 37k|1000 |9077 | 25k| 0 | 0 |-2.643651e+02 |-4.900000e+01 | 81.47%
895.29/895.55 c 895s| 1 | 0 |246983 | - | 133M| 0 | 924 |1000 | 37k|1000 |9116 | 25k| 0 | 0 |-2.638265e+02 |-4.900000e+01 | 81.43%
909.69/910.00 c 910s| 1 | 0 |248427 | - | 133M| 0 | 920 |1000 | 37k|1000 |9177 | 25k| 0 | 0 |-2.633839e+02 |-4.900000e+01 | 81.40%
924.89/925.13 c 925s| 1 | 0 |250076 | - | 133M| 0 | 918 |1000 | 37k|1000 |9208 | 26k| 0 | 0 |-2.630443e+02 |-4.900000e+01 | 81.37%
940.98/941.26 c 941s| 1 | 0 |252071 | - | 132M| 0 | 932 |1000 | 37k|1000 |9258 | 26k| 0 | 0 |-2.623484e+02 |-4.900000e+01 | 81.32%
958.18/958.42 c 958s| 1 | 0 |254120 | - | 131M| 0 | 931 |1000 | 37k|1000 |9315 | 26k| 0 | 0 |-2.617247e+02 |-4.900000e+01 | 81.28%
974.08/974.37 c 974s| 1 | 0 |255811 | - | 131M| 0 | 933 |1000 | 37k|1000 |9237 | 26k| 0 | 0 |-2.612992e+02 |-4.900000e+01 | 81.25%
989.18/989.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.18/989.40 c 989s| 1 | 0 |257545 | - | 131M| 0 | 931 |1000 | 37k|1000 |9293 | 26k| 0 | 0 |-2.608923e+02 |-4.900000e+01 | 81.22%
1005.18/1005.44 c 1005s| 1 | 0 |259259 | - | 131M| 0 | 935 |1000 | 37k|1000 |9334 | 26k| 0 | 0 |-2.603199e+02 |-4.900000e+01 | 81.18%
1021.26/1021.60 c 1021s| 1 | 0 |260891 | - | 131M| 0 | 938 |1000 | 37k|1000 |9375 | 26k| 0 | 0 |-2.598743e+02 |-4.900000e+01 | 81.14%
1036.46/1036.74 c 1036s| 1 | 0 |262179 | - | 131M| 0 | 937 |1000 | 37k|1000 |9406 | 26k| 0 | 0 |-2.596217e+02 |-4.900000e+01 | 81.13%
1052.37/1052.67 c 1052s| 1 | 0 |263759 | - | 131M| 0 | 942 |1000 | 37k|1000 |9431 | 26k| 0 | 0 |-2.591760e+02 |-4.900000e+01 | 81.09%
1068.65/1068.97 c 1069s| 1 | 0 |265235 | - | 130M| 0 | 942 |1000 | 37k|1000 |9343 | 26k| 0 | 0 |-2.588100e+02 |-4.900000e+01 | 81.07%
1083.65/1083.99 c 1084s| 1 | 0 |266519 | - | 130M| 0 | 944 |1000 | 37k|1000 |9361 | 26k| 0 | 0 |-2.584731e+02 |-4.900000e+01 | 81.04%
1100.76/1101.04 c 1101s| 1 | 0 |268105 | - | 130M| 0 | 944 |1000 | 37k|1000 |9383 | 26k| 0 | 0 |-2.580292e+02 |-4.900000e+01 | 81.01%
1117.65/1117.91 c 1117s| 1 | 0 |269725 | - | 130M| 0 | 946 |1000 | 37k|1000 |9421 | 26k| 0 | 0 |-2.576342e+02 |-4.900000e+01 | 80.98%
1133.34/1133.63 c 1133s| 1 | 0 |271051 | - | 130M| 0 | 946 |1000 | 37k|1000 |9444 | 26k| 0 | 0 |-2.572971e+02 |-4.900000e+01 | 80.96%
1149.24/1149.54 c 1149s| 1 | 0 |272344 | - | 129M| 0 | 948 |1000 | 37k|1000 |9462 | 26k| 0 | 0 |-2.570320e+02 |-4.900000e+01 | 80.94%
1165.53/1165.88 c 1165s| 1 | 0 |273796 | - | 129M| 0 | 945 |1000 | 37k|1000 |9337 | 26k| 0 | 0 |-2.565919e+02 |-4.900000e+01 | 80.90%
1179.03/1179.33 c 1179s| 1 | 0 |274522 | - | 129M| 0 | 944 |1000 | 37k|1000 |9354 | 26k| 0 | 0 |-2.564219e+02 |-4.900000e+01 | 80.89%
1193.03/1193.30 c 1193s| 1 | 0 |275197 | - | 129M| 0 | 947 |1000 | 37k|1000 |9371 | 26k| 0 | 0 |-2.562165e+02 |-4.900000e+01 | 80.88%
1206.52/1206.83 c 1206s| 1 | 0 |275702 | - | 129M| 0 | 953 |1000 | 37k|1000 |9397 | 26k| 0 | 0 |-2.561295e+02 |-4.900000e+01 | 80.87%
1221.22/1221.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.22/1221.50 c 1221s| 1 | 0 |276627 | - | 128M| 0 | 954 |1000 | 37k|1000 |9413 | 26k| 0 | 0 |-2.558685e+02 |-4.900000e+01 | 80.85%
1235.82/1236.12 c 1236s| 1 | 0 |277541 | - | 127M| 0 | 955 |1000 | 37k|1000 |9430 | 26k| 0 | 0 |-2.556752e+02 |-4.900000e+01 | 80.84%
1250.32/1250.65 c 1250s| 1 | 0 |278377 | - | 126M| 0 | 959 |1000 | 37k|1000 |9360 | 26k| 0 | 0 |-2.554573e+02 |-4.900000e+01 | 80.82%
1265.72/1266.06 c 1266s| 1 | 0 |279487 | - | 126M| 0 | 950 |1000 | 37k|1000 |9385 | 26k| 0 | 0 |-2.551932e+02 |-4.900000e+01 | 80.80%
1281.41/1281.70 c 1281s| 1 | 0 |280633 | - | 123M| 0 | 955 |1000 | 37k|1000 |9422 | 26k| 0 | 0 |-2.548250e+02 |-4.900000e+01 | 80.77%
1295.42/1295.80 c 1295s| 1 | 0 |281245 | - | 122M| 0 | 958 |1000 | 37k|1000 |9463 | 26k| 0 | 0 |-2.546740e+02 |-4.900000e+01 | 80.76%
1311.61/1311.98 c 1312s| 1 | 0 |282298 | - | 122M| 0 | 953 |1000 | 37k|1000 |9494 | 26k| 0 | 0 |-2.544354e+02 |-4.900000e+01 | 80.74%
1327.80/1328.18 c 1328s| 1 | 0 |283376 | - | 120M| 0 | 953 |1000 | 37k|1000 |9512 | 26k| 0 | 0 |-2.541813e+02 |-4.900000e+01 | 80.72%
1343.59/1343.90 c 1343s| 1 | 0 |284377 | - | 119M| 0 | 958 |1000 | 37k|1000 |9445 | 26k| 0 | 0 |-2.539740e+02 |-4.900000e+01 | 80.71%
1357.89/1358.29 c 1358s| 1 | 0 |285111 | - | 119M| 0 | 956 |1000 | 37k|1000 |9471 | 26k| 0 | 0 |-2.537736e+02 |-4.900000e+01 | 80.69%
1372.89/1373.22 c 1373s| 1 | 0 |285853 | - | 118M| 0 | 959 |1000 | 37k|1000 |9500 | 26k| 0 | 0 |-2.535733e+02 |-4.900000e+01 | 80.68%
1388.99/1389.36 c 1389s| 1 | 0 |286925 | - | 116M| 0 | 960 |1000 | 37k|1000 |9517 | 26k| 0 | 0 |-2.532950e+02 |-4.900000e+01 | 80.65%
1403.38/1403.79 c 1403s| 1 | 0 |287463 | - | 115M| 0 | 961 |1000 | 37k|1000 |9535 | 26k| 0 | 0 |-2.532133e+02 |-4.900000e+01 | 80.65%
1418.98/1419.30 c 1419s| 1 | 0 |288347 | - | 115M| 0 | 968 |1000 | 37k|1000 |9554 | 26k| 0 | 0 |-2.530032e+02 |-4.900000e+01 | 80.63%
1434.67/1435.08 c 1435s| 1 | 0 |289183 | - | 113M| 0 | 963 |1000 | 37k|1000 |9497 | 26k| 0 | 0 |-2.527933e+02 |-4.900000e+01 | 80.62%
1450.48/1450.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.48/1450.89 c 1450s| 1 | 0 |290024 | - | 112M| 0 | 967 |1000 | 37k|1000 |9514 | 26k| 0 | 0 |-2.525928e+02 |-4.900000e+01 | 80.60%
1466.87/1467.26 c 1467s| 1 | 0 |290901 | - | 111M| 0 | 963 |1000 | 37k|1000 |9540 | 26k| 0 | 0 |-2.523941e+02 |-4.900000e+01 | 80.59%
1481.66/1482.02 c 1482s| 1 | 0 |291433 | - | 111M| 0 | 966 |1000 | 37k|1000 |9562 | 27k| 0 | 0 |-2.522811e+02 |-4.900000e+01 | 80.58%
1496.46/1496.88 c 1496s| 1 | 0 |291988 | - | 111M| 0 | 969 |1000 | 37k|1000 |9577 | 27k| 0 | 0 |-2.521832e+02 |-4.900000e+01 | 80.57%
1511.36/1511.78 c 1511s| 1 | 0 |292502 | - | 111M| 0 | 968 |1000 | 37k|1000 |9590 | 27k| 0 | 0 |-2.520706e+02 |-4.900000e+01 | 80.56%
1528.06/1528.47 c 1528s| 1 | 0 |293554 | - | 110M| 0 | 964 |1000 | 37k|1000 |9519 | 27k| 0 | 0 |-2.517426e+02 |-4.900000e+01 | 80.54%
1542.15/1542.58 c 1542s| 1 | 0 |294028 | - | 108M| 0 | 968 |1000 | 37k|1000 |9542 | 27k| 0 | 0 |-2.516365e+02 |-4.900000e+01 | 80.53%
1557.45/1557.87 c 1557s| 1 | 0 |294741 | - | 107M| 0 | 973 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.514802e+02 |-4.900000e+01 | 80.52%
1572.55/1572.94 c 1573s| 1 | 0 |295351 | - | 107M| 0 | 973 |1000 | 37k|1000 |9577 | 27k| 0 | 0 |-2.513267e+02 |-4.900000e+01 | 80.50%
1589.84/1590.21 c 1590s| 1 | 0 |296410 | - | 107M| 0 | 975 |1000 | 37k|1000 |9595 | 27k| 0 | 0 |-2.510574e+02 |-4.900000e+01 | 80.48%
1606.65/1607.10 c 1607s| 1 | 0 |297397 | - | 106M| 0 | 966 |1000 | 37k|1000 |9615 | 27k| 0 | 0 |-2.507693e+02 |-4.900000e+01 | 80.46%
1621.73/1622.11 c 1622s| 1 | 0 |298078 | - | 106M| 0 | 971 |1000 | 37k|1000 |9558 | 27k| 0 | 0 |-2.506191e+02 |-4.900000e+01 | 80.45%
1635.73/1636.19 c 1636s| 1 | 0 |298649 | - | 106M| 0 | 975 |1000 | 37k|1000 |9570 | 27k| 0 | 0 |-2.504871e+02 |-4.900000e+01 | 80.44%
1650.13/1650.55 c 1650s| 1 | 0 |299207 | - | 106M| 0 | 983 |1000 | 37k|1000 |9586 | 27k| 0 | 0 |-2.503382e+02 |-4.900000e+01 | 80.43%
1666.72/1667.14 c 1667s| 1 | 0 |300096 | - | 106M| 0 | 981 |1000 | 37k|1000 |9603 | 27k| 0 | 0 |-2.501576e+02 |-4.900000e+01 | 80.41%
1683.52/1683.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.52/1683.95 c 1684s| 1 | 0 |301069 | - | 106M| 0 | 978 |1000 | 37k|1000 |9620 | 27k| 0 | 0 |-2.499148e+02 |-4.900000e+01 | 80.39%
1698.03/1698.47 c 1698s| 1 | 0 |301612 | - | 106M| 0 | 980 |1000 | 37k|1000 |9643 | 27k| 0 | 0 |-2.497646e+02 |-4.900000e+01 | 80.38%
1713.42/1713.82 c 1713s| 1 | 0 |302055 | - | 106M| 0 | 987 |1000 | 37k|1000 |9597 | 27k| 0 | 0 |-2.496372e+02 |-4.900000e+01 | 80.37%
1728.12/1728.56 c 1728s| 1 | 0 |302528 | - | 106M| 0 | 982 |1000 | 37k|1000 |9610 | 27k| 0 | 0 |-2.495171e+02 |-4.900000e+01 | 80.36%
1743.21/1743.62 c 1743s| 1 | 0 |303073 | - | 106M| 0 | 988 |1000 | 37k|1000 |9621 | 27k| 0 | 0 |-2.494144e+02 |-4.900000e+01 | 80.35%
1758.91/1759.38 c 1759s| 1 | 0 |303633 | - | 106M| 0 | 986 |1000 | 37k|1000 |9636 | 27k| 0 | 0 |-2.492904e+02 |-4.900000e+01 | 80.34%
1775.30/1775.76 c 1775s| 1 | 0 |304343 | - | 106M| 0 | 987 |1000 | 37k|1000 |9647 | 27k| 0 | 0 |-2.491692e+02 |-4.900000e+01 | 80.33%
1789.59/1790.01 c 1790s| 1 | 0 |304445 | - | 106M| 0 | - |1000 | 37k|1000 |9659 | 27k| 0 | 0 |-2.491692e+02 |-4.900000e+01 | 80.33%
1789.59/1790.01 c 1790s| 1 | 2 |304445 | - | 106M| 0 | - |1000 | 37k|1000 |9659 | 27k| 0 | 0 |-2.491692e+02 |-4.900000e+01 | 80.33%
1789.59/1790.01 c
1789.59/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.59/1790.01 c Solving Time (sec) : 1789.59
1789.59/1790.01 c Solving Nodes : 1
1789.59/1790.01 c Primal Bound : -4.90000000000000e+01 (57 solutions)
1789.59/1790.01 c Dual Bound : -2.49169244982040e+02
1789.59/1790.01 c Gap : 80.33 %
1789.69/1790.10 s SATISFIABLE
1789.69/1790.10 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1789.69/1790.10 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1789.69/1790.10 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1789.69/1790.10 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1789.69/1790.10 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1789.69/1790.10 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875
1789.69/1790.10 v -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1789.69/1790.10 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1789.69/1790.10 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812
1789.69/1790.10 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1789.69/1790.10 v x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1789.69/1790.10 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1789.69/1790.10 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1789.69/1790.10 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1789.69/1790.10 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1789.69/1790.10 v -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1789.69/1790.10 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1789.69/1790.10 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1789.69/1790.10 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1789.69/1790.10 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1789.69/1790.10 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1789.69/1790.10 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1789.69/1790.10 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1789.69/1790.10 v -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1789.69/1790.10 v x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1789.69/1790.10 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456
1789.69/1790.10 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1789.69/1790.10 v -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1789.69/1790.10 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393
1789.69/1790.10 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1789.69/1790.10 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1789.69/1790.10 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1789.69/1790.10 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1789.69/1790.10 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1789.69/1790.10 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268
1789.69/1790.10 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1789.69/1790.10 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 -x227 -x226
1789.69/1790.10 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1789.69/1790.10 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1789.69/1790.10 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1789.69/1790.10 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1789.69/1790.10 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1789.69/1790.10 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1789.69/1790.10 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74
1789.69/1790.10 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49
1789.69/1790.10 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
1789.69/1790.10 v -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 x13 -x12 x11 -x10 -x9 x8 x7 x6 x5 -x4 x3 x2 -x1
1789.69/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.10 c Solving Time : 1789.59
1789.69/1790.10 c Original Problem :
1789.69/1790.10 c Problem name : HOME/instance-2703278-1278577657.opb
1789.69/1790.10 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.10 c Constraints : 38644 initial, 38644 maximal
1789.69/1790.10 c Presolved Problem :
1789.69/1790.10 c Problem name : t_HOME/instance-2703278-1278577657.opb
1789.69/1790.10 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.10 c Constraints : 37644 initial, 37644 maximal
1789.69/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.69/1790.10 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.69/1790.10 c dualfix : 0.01 0 0 0 0 0 0 0 0
1789.69/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.10 c implics : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.10 c probing : 0.53 0 0 0 0 0 0 0 0
1789.69/1790.10 c linear : 0.26 37644 0 0 37644 0 1000 0 0
1789.69/1790.10 c logicor : 0.10 0 0 0 0 0 0 0 0
1789.69/1790.10 c root node : - 0 - - 0 - - - -
1789.69/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.69/1790.10 c integral : 0 0 0 0 0 0 0 0 0 0
1789.69/1790.10 c logicor : 37644 244 201 0 0 0 0 34586 0 0
1789.69/1790.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.69/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.69/1790.10 c integral : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.10 c logicor : 2.52 2.25 0.27 0.00 0.00
1789.69/1790.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.10 c Propagators : Time Calls Cutoffs DomReds
1789.69/1790.10 c vbounds : 0.00 2 0 0
1789.69/1790.10 c rootredcost : 0.00 0 0 0
1789.69/1790.10 c pseudoobj : 0.02 243 0 0
1789.69/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.69/1790.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.10 c applied globally : - - - 0 0.0 - - -
1789.69/1790.10 c applied locally : - - - 0 0.0 - - -
1789.69/1790.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.69/1790.10 c cut pool : 1.56 243 - - 4588 - (maximal pool size: 17861)
1789.69/1790.10 c redcost : 0.02 244 0 0 0 0
1789.69/1790.10 c impliedbounds : 1.01 242 0 0 31827 0
1789.69/1790.10 c intobj : 0.00 0 0 0 0 0
1789.69/1790.10 c cgmip : 0.00 0 0 0 0 0
1789.69/1790.10 c gomory : 1085.38 240 0 0 84437 0
1789.69/1790.10 c strongcg : 5.22 20 0 0 10000 0
1789.69/1790.10 c cmir : 4.20 10 0 0 0 0
1789.69/1790.10 c flowcover : 3.78 10 0 0 0 0
1789.69/1790.10 c clique : 12.33 240 0 0 2151 0
1789.69/1790.10 c zerohalf : 0.00 0 0 0 0 0
1789.69/1790.10 c mcf : 0.06 1 0 0 0 0
1789.69/1790.10 c rapidlearning : 0.00 0 0 0 0 0
1789.69/1790.10 c Pricers : Time Calls Vars
1789.69/1790.10 c problem variables: 0.00 0 0
1789.69/1790.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.69/1790.10 c relpscost : 0.00 0 0 0 0 0 0
1789.69/1790.10 c pscost : 0.00 0 0 0 0 0 0
1789.69/1790.10 c inference : 0.00 1 0 0 0 0 2
1789.69/1790.10 c mostinf : 0.00 0 0 0 0 0 0
1789.69/1790.10 c leastinf : 0.00 0 0 0 0 0 0
1789.69/1790.10 c fullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.10 c allfullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.10 c random : 0.00 0 0 0 0 0 0
1789.69/1790.10 c Primal Heuristics : Time Calls Found
1789.69/1790.10 c LP solutions : 0.00 - 0
1789.69/1790.10 c pseudo solutions : 0.00 - 0
1789.69/1790.10 c oneopt : 0.04 2 1
1789.69/1790.10 c trivial : 0.11 2 2
1789.69/1790.10 c simplerounding : 0.55 244 52
1789.69/1790.10 c zirounding : 0.00 0 0
1789.69/1790.10 c rounding : 12.30 244 1
1789.69/1790.10 c shifting : 13.48 244 1
1789.69/1790.10 c intshifting : 0.00 0 0
1789.69/1790.10 c twoopt : 0.00 0 0
1789.69/1790.10 c fixandinfer : 0.00 0 0
1789.69/1790.10 c feaspump : 0.00 0 0
1789.69/1790.10 c coefdiving : 0.00 0 0
1789.69/1790.10 c pscostdiving : 0.00 0 0
1789.69/1790.10 c fracdiving : 0.00 0 0
1789.69/1790.10 c veclendiving : 0.00 0 0
1789.69/1790.10 c intdiving : 0.00 0 0
1789.69/1790.10 c actconsdiving : 0.00 0 0
1789.69/1790.10 c objpscostdiving : 0.00 0 0
1789.69/1790.10 c rootsoldiving : 0.00 0 0
1789.69/1790.10 c linesearchdiving : 0.00 0 0
1789.69/1790.10 c guideddiving : 0.00 0 0
1789.69/1790.10 c octane : 0.00 0 0
1789.69/1790.10 c rens : 0.00 0 0
1789.69/1790.10 c rins : 0.00 0 0
1789.69/1790.10 c localbranching : 0.00 0 0
1789.69/1790.10 c mutation : 0.00 0 0
1789.69/1790.10 c crossover : 0.00 0 0
1789.69/1790.10 c dins : 0.00 0 0
1789.69/1790.10 c undercover : 0.00 0 0
1789.69/1790.10 c nlp : 0.00 0 0
1789.69/1790.10 c trysol : 0.00 0 0
1789.69/1790.10 c LP : Time Calls Iterations Iter/call Iter/sec
1789.69/1790.10 c primal LP : 0.67 0 0 0.00 0.00
1789.69/1790.10 c dual LP : 632.93 245 304445 1242.63 481.01
1789.69/1790.10 c lex dual LP : 0.00 0 0 0.00 -
1789.69/1790.10 c barrier LP : 0.00 0 0 0.00 -
1789.69/1790.10 c diving/probing LP: 0.00 0 0 0.00 -
1789.69/1790.10 c strong branching : 0.00 0 0 0.00 -
1789.69/1790.10 c (at root node) : - 0 0 0.00 -
1789.69/1790.10 c conflict analysis: 0.00 0 0 0.00 -
1789.69/1790.10 c B&B Tree :
1789.69/1790.10 c number of runs : 1
1789.69/1790.10 c nodes : 1
1789.69/1790.10 c nodes (total) : 1
1789.69/1790.10 c nodes left : 2
1789.69/1790.10 c max depth : 0
1789.69/1790.10 c max depth (total): 0
1789.69/1790.10 c backtracks : 0 (0.0%)
1789.69/1790.10 c delayed cutoffs : 0
1789.69/1790.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.69/1790.10 c avg switch length: 1.00
1789.69/1790.10 c switching time : 0.00
1789.69/1790.10 c Solution :
1789.69/1790.10 c Solutions found : 57 (4 improvements)
1789.69/1790.10 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.40 seconds, depth 0, found by <trivial>)
1789.69/1790.10 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 6.90 seconds, depth 0, found by <oneopt>)
1789.69/1790.10 c Dual Bound : -2.49169244982040e+02
1789.69/1790.10 c Gap : 80.33 %
1789.69/1790.10 c Root Dual Bound : -2.49169244982040e+02
1789.69/1790.10 c Root Iterations : 304445
1789.90/1790.34 c Time complete: 1789.94.
OK -49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703278-1278577657/watcher-2703278-1278577657 -o /tmp/evaluation-result-2703278-1278577657/solver-2703278-1278577657 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703278-1278577657.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: 0.98 1.00 0.93 3/106 31846 /proc/meminfo: memFree=1655620/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=7904 CPUtime=0 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 1077 0 0 0 0 0 0 0 20 0 1 0 25977168 8093696 988 1992294400 4194304 8395647 140735037871824 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31846/statm: 1976 998 365 1026 0 946 0 [startup+0.041773 s] /proc/loadavg: 0.98 1.00 0.93 3/106 31846 /proc/meminfo: memFree=1655620/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=16640 CPUtime=0.03 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 3386 0 0 0 2 1 0 0 20 0 1 0 25977168 17039360 3297 1992294400 4194304 8395647 140735037871824 18446744073709551615 6349011 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31846/statm: 4160 3297 393 1026 0 3130 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 16640 [startup+0.100776 s] /proc/loadavg: 0.98 1.00 0.93 3/106 31846 /proc/meminfo: memFree=1655620/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=24220 CPUtime=0.09 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 5309 0 0 0 7 2 0 0 20 0 1 0 25977168 24801280 5220 1992294400 4194304 8395647 140735037871824 18446744073709551615 6349011 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31846/statm: 6055 5220 393 1026 0 5025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24220 [startup+0.300789 s] /proc/loadavg: 0.98 1.00 0.93 3/106 31846 /proc/meminfo: memFree=1655620/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=45228 CPUtime=0.29 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 10563 0 0 0 25 4 0 0 20 0 1 0 25977168 46313472 10474 1992294400 4194304 8395647 140735037871824 18446744073709551615 4327539 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31846/statm: 11307 10474 393 1026 0 10277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45228 [startup+0.700815 s] /proc/loadavg: 0.98 1.00 0.93 3/106 31846 /proc/meminfo: memFree=1655620/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=105488 CPUtime=0.69 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 25980 0 0 0 59 10 0 0 20 0 1 0 25977168 108019712 25463 1992294400 4194304 8395647 140735037871824 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 26372 25463 430 1026 0 25342 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105488 [startup+1.50087 s] /proc/loadavg: 0.98 1.00 0.93 2/107 31847 /proc/meminfo: memFree=1546120/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=128036 CPUtime=1.49 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 30657 0 0 0 138 11 0 0 22 0 1 0 25977168 131108864 30140 1992294400 4194304 8395647 140735037871824 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 32009 30140 461 1026 0 30979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 128036 [startup+3.10097 s] /proc/loadavg: 0.98 1.00 0.93 2/107 31847 /proc/meminfo: memFree=1529876/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=175780 CPUtime=3.09 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 43575 0 0 0 293 16 0 0 25 0 1 0 25977168 179998720 41722 1992294400 4194304 8395647 140735037871824 18446744073709551615 6587239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 43945 41722 559 1026 0 42915 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 175780 [startup+6.30118 s] /proc/loadavg: 0.98 1.00 0.93 2/107 31847 /proc/meminfo: memFree=1475812/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=192820 CPUtime=6.29 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 48272 0 0 0 611 18 0 0 25 0 1 0 25977168 197447680 45589 1992294400 4194304 8395647 140735037871824 18446744073709551615 5993739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 48205 45589 882 1026 0 47175 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192820 [startup+12.7016 s] /proc/loadavg: 0.98 1.00 0.93 2/107 31847 /proc/meminfo: memFree=1472340/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=197956 CPUtime=12.69 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 49780 0 0 0 1249 20 0 0 25 0 1 0 25977168 202706944 46989 1992294400 4194304 8395647 140735037871824 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 49489 46989 833 1026 0 48459 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 197956 [startup+25.5014 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31847 /proc/meminfo: memFree=1466140/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=202856 CPUtime=25.49 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 50747 0 0 0 2527 22 0 0 25 0 1 0 25977168 207724544 47905 1992294400 4194304 8395647 140735037871824 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 50714 47905 783 1026 0 49684 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 202856 [startup+51.1011 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31847 /proc/meminfo: memFree=1457708/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=207300 CPUtime=51.08 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 53309 0 0 0 5079 29 0 0 25 0 1 0 25977168 212275200 50361 1992294400 4194304 8395647 140735037871824 18446744073709551615 6129411 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 51825 50361 1130 1026 0 50795 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 207300 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31849 /proc/meminfo: memFree=1452624/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=210324 CPUtime=102.28 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 54581 0 0 0 10180 48 0 0 25 0 1 0 25977168 215371776 51119 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 52581 51119 617 1026 0 51551 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 210324 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31851 /proc/meminfo: memFree=1438736/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=225116 CPUtime=162.26 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 58030 0 0 0 16157 69 0 0 25 0 1 0 25977168 230518784 54568 1992294400 4194304 8395647 140735037871824 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 56279 54568 620 1026 0 55249 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 225116 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31852 /proc/meminfo: memFree=1422864/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=243260 CPUtime=222.25 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 61966 0 0 0 22135 90 0 0 25 0 1 0 25977168 249098240 58499 1992294400 4194304 8395647 140735037871824 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 60815 58499 620 1026 0 59785 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 243260 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31854 /proc/meminfo: memFree=1411952/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=282.23 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64652 0 0 0 28112 111 0 0 25 0 1 0 25977168 259559424 61184 1992294400 4194304 8395647 140735037871824 18446744073709551615 6201011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61184 619 1026 0 62339 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 253476 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31855 /proc/meminfo: memFree=1411828/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=342.22 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64688 0 0 0 34092 130 0 0 25 0 1 0 25977168 259559424 61220 1992294400 4194304 8395647 140735037871824 18446744073709551615 6197324 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61220 619 1026 0 62339 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 253476 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31857 /proc/meminfo: memFree=1411828/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=402.2 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64688 0 0 0 40071 149 0 0 25 0 1 0 25977168 259559424 61220 1992294400 4194304 8395647 140735037871824 18446744073709551615 6198182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61220 619 1026 0 62339 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 253476 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31859 /proc/meminfo: memFree=1411580/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=462.19 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64689 0 0 0 46054 165 0 0 25 0 1 0 25977168 259559424 61221 1992294400 4194304 8395647 140735037871824 18446744073709551615 6153431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61221 619 1026 0 62339 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 253476 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31860 /proc/meminfo: memFree=1411580/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=522.18 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64689 0 0 0 52035 183 0 0 25 0 1 0 25977168 259559424 61221 1992294400 4194304 8395647 140735037871824 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61221 619 1026 0 62339 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 253476 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31862 /proc/meminfo: memFree=1411580/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=582.16 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64689 0 0 0 58015 201 0 0 25 0 1 0 25977168 259559424 61221 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61221 619 1026 0 62339 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 253476 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31863 /proc/meminfo: memFree=1411456/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=253476 CPUtime=642.16 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64689 0 0 0 63998 218 0 0 25 0 1 0 25977168 259559424 61221 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63369 61221 619 1026 0 62339 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 253476 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1409968/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1002.07 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64979 0 0 0 99894 313 0 0 25 0 1 0 25977168 260927488 61511 1992294400 4194304 8395647 140735037871824 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61511 619 1026 0 62673 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 254812 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31875 /proc/meminfo: memFree=1409844/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1062.06 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64980 0 0 0 105878 328 0 0 25 0 1 0 25977168 260927488 61512 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61512 619 1026 0 62673 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 254812 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31876 /proc/meminfo: memFree=1409720/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1122.05 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64998 0 0 0 111864 341 0 0 25 0 1 0 25977168 260927488 61530 1992294400 4194304 8395647 140735037871824 18446744073709551615 6198276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61530 619 1026 0 62673 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 254812 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31878 /proc/meminfo: memFree=1409596/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1182.04 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64998 0 0 0 117849 355 0 0 25 0 1 0 25977168 260927488 61530 1992294400 4194304 8395647 140735037871824 18446744073709551615 6198176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61530 619 1026 0 62673 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 254812 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.93 2/107 31879 /proc/meminfo: memFree=1409472/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1242.02 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64998 0 0 0 123833 369 0 0 25 0 1 0 25977168 260927488 61530 1992294400 4194304 8395647 140735037871824 18446744073709551615 4719881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61530 619 1026 0 62673 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 254812 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 0.94 2/107 31881 /proc/meminfo: memFree=1409472/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1302.02 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 64999 0 0 0 129820 382 0 0 25 0 1 0 25977168 260927488 61531 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61531 619 1026 0 62673 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 254812 [startup+1362.3 s] /proc/loadavg: 1.08 1.02 0.94 2/107 31883 /proc/meminfo: memFree=1409224/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1361.99 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 135803 396 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 254812 [startup+1422.31 s] /proc/loadavg: 1.06 1.03 0.95 2/107 31884 /proc/meminfo: memFree=1409100/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1421.98 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 141788 410 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 254812 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 0.95 2/107 31886 /proc/meminfo: memFree=1409100/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1481.96 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 147771 425 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 7185590 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 254812 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 0.95 2/107 31887 /proc/meminfo: memFree=1409100/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1541.95 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 153754 441 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 254812 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 31889 /proc/meminfo: memFree=1408976/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1601.94 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 159738 456 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6202498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 254812 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 31891 /proc/meminfo: memFree=1408976/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1661.93 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 165722 471 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6202767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 254812 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 31892 /proc/meminfo: memFree=1408976/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1721.92 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 171704 488 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6440614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 254812 [startup+1782.3 s] /proc/loadavg: 1.03 1.01 0.95 2/107 31894 /proc/meminfo: memFree=1408852/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1781.9 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 177687 503 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6440602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 254812 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.03 1.01 0.95 2/107 31894 /proc/meminfo: memFree=1408852/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1785.1 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 178006 504 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6123657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1785.1 Current children cumulated vsize (KiB) 254812 [startup+1788.7 s] /proc/loadavg: 1.03 1.01 0.95 2/107 31894 /proc/meminfo: memFree=1408852/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1788.3 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 178325 505 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6440610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1788.3 Current children cumulated vsize (KiB) 254812 [startup+1789.5 s] /proc/loadavg: 1.03 1.01 0.95 2/107 31894 /proc/meminfo: memFree=1408852/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1789.09 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 178404 505 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 7385670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1789.09 Current children cumulated vsize (KiB) 254812 [startup+1789.9 s] /proc/loadavg: 1.03 1.01 0.95 2/107 31894 /proc/meminfo: memFree=1408852/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=254812 CPUtime=1789.49 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65011 0 0 0 178444 505 0 0 25 0 1 0 25977168 260927488 61543 1992294400 4194304 8395647 140735037871824 18446744073709551615 6755530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31846/statm: 63703 61543 619 1026 0 62673 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (KiB) 254812 [startup+1790.3 s] /proc/loadavg: 1.03 1.01 0.95 2/107 31894 /proc/meminfo: memFree=1408852/2059040 swapFree=4162804/4192956 [pid=31846] ppid=31844 vsize=180080 CPUtime=1789.9 /proc/31846/stat : 31846 (pbscip.linux.x8) R 31844 31846 31596 0 -1 4202496 65018 0 0 0 178484 506 0 0 25 0 1 0 25977168 184401920 43689 1992294400 4194304 8395647 140735037871824 18446744073709551615 4750671 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31846/statm: 45020 43689 626 1026 0 43990 0 Current children cumulated CPU time (s) 1789.9 Current children cumulated vsize (KiB) 180080 Child status: 0 Real time (s): 1790.34 CPU time (s): 1789.95 CPU user time (s): 1784.86 CPU system time (s): 5.08623 CPU usage (%): 99.9781 Max. virtual memory (cumulated for all children) (KiB): 254812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.86 system time used= 5.08623 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65023 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= 2618 runsolver used 2.77758 second user time and 8.64269 second system time The end
Begin job on node030 at 2010-07-08 10:27:37 IDJOB=2703278 IDBENCH=48222 IDSOLVER=1213 FILE ID=node030/2703278-1278577657 PBS_JOBID= 11240093 Free space on /tmp= 62516 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703278-1278577657/watcher-2703278-1278577657 -o /tmp/evaluation-result-2703278-1278577657/solver-2703278-1278577657 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703278-1278577657.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8 RANDOM SEED=1844569053 node030.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.217 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.43 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.217 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1656148 kB Buffers: 75316 kB Cached: 218724 kB SwapCached: 1692 kB Active: 152628 kB Inactive: 173092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1656148 kB SwapTotal: 4192956 kB SwapFree: 4162804 kB Dirty: 11324 kB Writeback: 0 kB AnonPages: 30064 kB Mapped: 13164 kB Slab: 55348 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179892 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= 62508 MiB End job on node030 at 2010-07-08 10:57:28