Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | -49 | 1801.47 | 1801.98 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665279-1276665455.opb>
0.39/0.40 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 38644 constraints
0.39/0.40 c problem read
0.39/0.40 c presolving settings loaded
0.79/0.89 o 0
0.79/0.89 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.79/0.90 c presolving:
2.09/2.14 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.99/3.00 c (2.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.99/3.00 c (2.3s) probing aborted: 100/100 successive totally useless probings
2.99/3.01 c presolving (2 rounds):
2.99/3.01 c 37644 deleted vars, 1000 deleted constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.01 c 225864 implications, 0 cliques
2.99/3.01 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
2.99/3.01 c 37644 constraints of type <logicor>
2.99/3.01 c transformed objective value is always integral (scale: 1)
2.99/3.01 c Presolving Time: 2.14
2.99/3.01 c - non default parameters ----------------------------------------------------------------------
2.99/3.01 c # SCIP version 1.2.1.2
2.99/3.01 c
2.99/3.01 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.99/3.01 c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.01 c conflict/interconss = 0
2.99/3.01 c
2.99/3.01 c # should binary conflicts be preferred?
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c conflict/preferbinary = TRUE
2.99/3.01 c
2.99/3.01 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.99/3.01 c # [type: int, range: [-1,2147483647], default: 0]
2.99/3.01 c constraints/agelimit = 1
2.99/3.01 c
2.99/3.01 c # should enforcement of pseudo solution be disabled?
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c constraints/disableenfops = TRUE
2.99/3.01 c
2.99/3.01 c # frequency for displaying node information lines
2.99/3.01 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.01 c display/freq = 10000
2.99/3.01 c
2.99/3.01 c # maximal time in seconds to run
2.99/3.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.01 c limits/time = 1799.6
2.99/3.01 c
2.99/3.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.01 c limits/memory = 1620
2.99/3.01 c
2.99/3.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.99/3.01 c # [type: int, range: [-1,2147483647], default: 1]
2.99/3.01 c lp/solvefreq = 0
2.99/3.01 c
2.99/3.01 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.99/3.01 c # [type: char, range: {lafpsqd}, default: l]
2.99/3.01 c lp/pricing = a
2.99/3.01 c
2.99/3.01 c # should presolving try to simplify inequalities
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c constraints/linear/simplifyinequalities = TRUE
2.99/3.01 c
2.99/3.01 c # should presolving try to simplify knapsacks
2.99/3.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.01 c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.01 c
2.99/3.01 c # priority of node selection rule <dfs> in standard mode
2.99/3.01 c # [type: int, range: [-536870912,536870911], default: 0]
2.99/3.01 c nodeselection/dfs/stdpriority = 1000000
2.99/3.01 c
2.99/3.01 c -----------------------------------------------------------------------------------------------
2.99/3.01 c start solving
2.99/3.01 c
3.57/3.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.57/3.60 c t 2.9s| 1 | 0 | 1101 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
3.57/3.69 o -1
3.57/3.69 c R 2.9s| 1 | 0 | 1101 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
3.77/3.80 o -2
3.77/3.80 c s 3.0s| 1 | 0 | 1101 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
5.48/5.52 c 4.7s| 1 | 0 | 1241 | - | 101M| 0 | 990 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
5.48/5.55 o -49
5.48/5.55 c b 4.7s| 1 | 0 | 1241 | - | 101M| 0 | 990 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.950000e+02 |-4.900000e+01 | 90.10%
6.88/6.98 c 6.1s| 1 | 0 | 1322 | - | 101M| 0 | 985 |1000 | 37k|1000 | 37k| 13 | 0 | 0 |-4.925000e+02 |-4.900000e+01 | 90.05%
8.57/8.68 c 7.8s| 1 | 0 | 1436 | - | 101M| 0 | 977 |1000 | 37k|1000 | 37k| 21 | 0 | 0 |-4.885000e+02 |-4.900000e+01 | 89.97%
10.28/10.32 c 9.4s| 1 | 0 | 1552 | - | 101M| 0 | 969 |1000 | 37k|1000 | 37k| 29 | 0 | 0 |-4.845000e+02 |-4.900000e+01 | 89.89%
13.18/13.25 c 12.3s| 1 | 0 | 1869 | - | 101M| 0 | 955 |1000 | 37k|1000 | 37k| 47 | 0 | 0 |-4.775000e+02 |-4.900000e+01 | 89.74%
17.87/17.91 c 16.9s| 1 | 0 | 2322 | - | 101M| 0 | 951 |1000 | 37k|1000 | 37k| 52 | 0 | 0 |-4.745000e+02 |-4.900000e+01 | 89.67%
21.98/22.10 c 21.1s| 1 | 0 | 2677 | - | 101M| 0 | 943 |1000 | 37k|1000 | 37k| 58 | 0 | 0 |-4.715000e+02 |-4.900000e+01 | 89.61%
28.27/28.37 c 27.3s| 1 | 0 | 3293 | - | 101M| 0 | 940 |1000 | 37k|1000 | 37k| 65 | 0 | 0 |-4.685000e+02 |-4.900000e+01 | 89.54%
34.27/34.30 c 33.2s| 1 | 0 | 3661 | - | 101M| 0 | 932 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.660000e+02 |-4.900000e+01 | 89.48%
40.45/40.50 c 39.3s| 1 | 0 | 4038 | - | 101M| 0 | 927 |1000 | 37k|1000 | 37k| 79 | 0 | 0 |-4.635000e+02 |-4.900000e+01 | 89.43%
45.56/45.68 c 44.5s| 1 | 0 | 4554 | - | 102M| 0 | 920 |1000 | 37k|1000 |1375 | 88 | 0 | 0 |-4.600000e+02 |-4.900000e+01 | 89.35%
46.16/46.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.16/46.28 c 45.0s| 1 | 0 | 4982 | - | 102M| 0 | 884 |1000 | 37k|1000 |1383 | 96 | 0 | 0 |-4.580000e+02 |-4.900000e+01 | 89.30%
49.85/49.99 c 48.8s| 1 | 0 | 5443 | - | 103M| 0 | 911 |1000 | 37k|1000 |3383 |2096 | 0 | 0 |-4.565000e+02 |-4.900000e+01 | 89.27%
50.66/50.74 c 49.5s| 1 | 0 | 6114 | - | 103M| 0 | 909 |1000 | 37k|1000 |3447 |2160 | 0 | 0 |-4.540000e+02 |-4.900000e+01 | 89.21%
51.57/51.68 c 50.4s| 1 | 0 | 6893 | - | 103M| 0 | 898 |1000 | 37k|1000 |3945 |2658 | 0 | 0 |-4.500000e+02 |-4.900000e+01 | 89.11%
53.05/53.16 c 51.9s| 1 | 0 | 8039 | - | 104M| 0 | 891 |1000 | 37k|1000 |4018 |2731 | 0 | 0 |-4.477500e+02 |-4.900000e+01 | 89.06%
54.05/54.17 c 52.9s| 1 | 0 | 9088 | - | 104M| 0 | 896 |1000 | 37k|1000 |4088 |3217 | 0 | 0 |-4.445000e+02 |-4.900000e+01 | 88.98%
54.97/55.03 c 53.8s| 1 | 0 | 9726 | - | 104M| 0 | 876 |1000 | 37k|1000 |4432 |3561 | 0 | 0 |-4.420000e+02 |-4.900000e+01 | 88.91%
56.15/56.20 c 54.9s| 1 | 0 | 10611 | - | 104M| 0 | 880 |1000 | 37k|1000 |4737 |3866 | 0 | 0 |-4.400000e+02 |-4.900000e+01 | 88.86%
57.45/57.55 c 56.2s| 1 | 0 | 11964 | - | 104M| 0 | 908 |1000 | 37k|1000 |4744 |3873 | 0 | 0 |-4.373636e+02 |-4.900000e+01 | 88.80%
60.65/60.74 c 59.4s| 1 | 0 | 12291 | - | 104M| 0 | 875 |1000 | 37k|1000 |6744 |5873 | 0 | 0 |-4.370000e+02 |-4.900000e+01 | 88.79%
62.15/62.20 c 60.9s| 1 | 0 | 13270 | - | 105M| 0 | 867 |1000 | 37k|1000 |6753 |5882 | 0 | 0 |-4.345000e+02 |-4.900000e+01 | 88.72%
63.25/63.35 c 62.0s| 1 | 0 | 14086 | - | 105M| 0 | 861 |1000 | 37k|1000 |4798 |5948 | 0 | 0 |-4.330000e+02 |-4.900000e+01 | 88.68%
64.66/64.71 c 63.4s| 1 | 0 | 15101 | - | 105M| 0 | 859 |1000 | 37k|1000 |4974 |6124 | 0 | 0 |-4.320000e+02 |-4.900000e+01 | 88.66%
65.86/65.90 c 64.5s| 1 | 0 | 16169 | - | 105M| 0 | 859 |1000 | 37k|1000 |5133 |6283 | 0 | 0 |-4.295000e+02 |-4.900000e+01 | 88.59%
67.55/67.66 c 66.3s| 1 | 0 | 17731 | - | 105M| 0 | 849 |1000 | 37k|1000 |5140 |6290 | 0 | 0 |-4.275000e+02 |-4.900000e+01 | 88.54%
69.46/69.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.46/69.56 c 68.2s| 1 | 0 | 19210 | - | 105M| 0 | 859 |1000 | 37k|1000 |5343 |6493 | 0 | 0 |-4.260000e+02 |-4.900000e+01 | 88.50%
70.95/71.00 c 69.6s| 1 | 0 | 20446 | - | 105M| 0 | 852 |1000 | 37k|1000 |5515 |6665 | 0 | 0 |-4.241250e+02 |-4.900000e+01 | 88.45%
72.75/72.89 c 71.5s| 1 | 0 | 21772 | - | 105M| 0 | 842 |1000 | 37k|1000 |4358 |7406 | 0 | 0 |-4.212500e+02 |-4.900000e+01 | 88.37%
73.75/73.85 c 72.4s| 1 | 0 | 22989 | - | 105M| 0 | 854 |1000 | 37k|1000 |4427 |7475 | 0 | 0 |-4.195000e+02 |-4.900000e+01 | 88.32%
75.65/75.79 c 74.3s| 1 | 0 | 24392 | - | 106M| 0 | 833 |1000 | 37k|1000 |4956 |8004 | 0 | 0 |-4.175000e+02 |-4.900000e+01 | 88.26%
77.05/77.16 c 75.7s| 1 | 0 | 25869 | - | 106M| 0 | 826 |1000 | 37k|1000 |5009 |8057 | 0 | 0 |-4.150000e+02 |-4.900000e+01 | 88.19%
78.15/78.23 c 76.7s| 1 | 0 | 26932 | - | 106M| 0 | 881 |1000 | 37k|1000 |5140 |8188 | 0 | 0 |-4.141464e+02 |-4.900000e+01 | 88.17%
82.84/82.95 c 81.5s| 1 | 0 | 27370 | - | 106M| 0 | 827 |1000 | 37k|1000 |7140 | 10k| 0 | 0 |-4.131667e+02 |-4.900000e+01 | 88.14%
83.95/84.08 c 82.6s| 1 | 0 | 28048 | - | 106M| 0 | 825 |1000 | 37k|1000 |6342 | 10k| 0 | 0 |-4.112500e+02 |-4.900000e+01 | 88.09%
85.25/85.36 c 83.8s| 1 | 0 | 28901 | - | 106M| 0 | 813 |1000 | 37k|1000 |6393 | 10k| 0 | 0 |-4.105000e+02 |-4.900000e+01 | 88.06%
88.95/89.09 c 87.5s| 1 | 0 | 31224 | - | 106M| 0 | 817 |1000 | 37k|1000 |6646 | 10k| 0 | 0 |-4.082500e+02 |-4.900000e+01 | 88.00%
90.85/90.97 c 89.4s| 1 | 0 | 32512 | - | 106M| 0 | 814 |1000 | 37k|1000 |6655 | 10k| 0 | 0 |-4.075000e+02 |-4.900000e+01 | 87.98%
93.94/94.09 c 92.5s| 1 | 0 | 34429 | - | 107M| 0 | 811 |1000 | 37k|1000 |6823 | 10k| 0 | 0 |-4.065000e+02 |-4.900000e+01 | 87.95%
97.25/97.36 c 95.7s| 1 | 0 | 36391 | - | 107M| 0 | 811 |1000 | 37k|1000 |6881 | 10k| 0 | 0 |-4.055000e+02 |-4.900000e+01 | 87.92%
101.05/101.20 c 99.5s| 1 | 0 | 38748 | - | 107M| 0 | 804 |1000 | 37k|1000 |5306 | 10k| 0 | 0 |-4.039167e+02 |-4.900000e+01 | 87.87%
104.04/104.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.04/104.19 c 102s| 1 | 0 | 40758 | - | 107M| 0 | 800 |1000 | 37k|1000 |5415 | 10k| 0 | 0 |-4.015000e+02 |-4.900000e+01 | 87.80%
105.45/105.53 c 104s| 1 | 0 | 41711 | - | 107M| 0 | 788 |1000 | 37k|1000 |5525 | 10k| 0 | 0 |-4.000000e+02 |-4.900000e+01 | 87.75%
106.84/106.91 c 105s| 1 | 0 | 42787 | - | 107M| 0 | 788 |1000 | 37k|1000 |5852 | 11k| 0 | 0 |-3.980000e+02 |-4.900000e+01 | 87.69%
109.04/109.13 c 107s| 1 | 0 | 44239 | - | 107M| 0 | 785 |1000 | 37k|1000 |6070 | 11k| 0 | 0 |-3.962500e+02 |-4.900000e+01 | 87.63%
111.24/111.37 c 110s| 1 | 0 | 45805 | - | 107M| 0 | 787 |1000 | 37k|1000 |6359 | 11k| 0 | 0 |-3.935000e+02 |-4.900000e+01 | 87.55%
113.44/113.57 c 112s| 1 | 0 | 47438 | - | 107M| 0 | 779 |1000 | 37k|1000 |5665 | 11k| 0 | 0 |-3.915000e+02 |-4.900000e+01 | 87.48%
115.14/115.29 c 113s| 1 | 0 | 48755 | - | 108M| 0 | 775 |1000 | 37k|1000 |5793 | 11k| 0 | 0 |-3.895000e+02 |-4.900000e+01 | 87.42%
117.33/117.40 c 116s| 1 | 0 | 50218 | - | 108M| 0 | 772 |1000 | 37k|1000 |5895 | 12k| 0 | 0 |-3.880000e+02 |-4.900000e+01 | 87.37%
118.94/119.05 c 117s| 1 | 0 | 51351 | - | 108M| 0 | 767 |1000 | 37k|1000 |5999 | 12k| 0 | 0 |-3.855000e+02 |-4.900000e+01 | 87.29%
120.54/120.64 c 119s| 1 | 0 | 52697 | - | 108M| 0 | 787 |1000 | 37k|1000 |6108 | 12k| 0 | 0 |-3.832500e+02 |-4.900000e+01 | 87.21%
123.15/123.21 c 121s| 1 | 0 | 54558 | - | 108M| 0 | 761 |1000 | 37k|1000 |6569 | 12k| 0 | 0 |-3.807500e+02 |-4.900000e+01 | 87.13%
124.94/125.02 c 123s| 1 | 0 | 55784 | - | 108M| 0 | 763 |1000 | 37k|1000 |6141 | 12k| 0 | 0 |-3.797500e+02 |-4.900000e+01 | 87.10%
126.93/127.04 c 125s| 1 | 0 | 57302 | - | 108M| 0 | 756 |1000 | 37k|1000 |6251 | 12k| 0 | 0 |-3.787500e+02 |-4.900000e+01 | 87.06%
129.24/129.31 c 127s| 1 | 0 | 58929 | - | 108M| 0 | 758 |1000 | 37k|1000 |6413 | 13k| 0 | 0 |-3.780000e+02 |-4.900000e+01 | 87.04%
131.14/131.22 c 129s| 1 | 0 | 60392 | - | 109M| 0 | 757 |1000 | 37k|1000 |6474 | 13k| 0 | 0 |-3.767500e+02 |-4.900000e+01 | 86.99%
132.84/132.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.84/132.94 c 131s| 1 | 0 | 61925 | - | 109M| 0 | 746 |1000 | 37k|1000 |6490 | 13k| 0 | 0 |-3.750000e+02 |-4.900000e+01 | 86.93%
136.24/136.33 c 134s| 1 | 0 | 64524 | - | 109M| 0 | 763 |1000 | 37k|1000 |6606 | 13k| 0 | 0 |-3.730000e+02 |-4.900000e+01 | 86.86%
141.23/141.32 c 139s| 1 | 0 | 68006 | - | 110M| 0 | 737 |1000 | 37k|1000 |5806 | 13k| 0 | 0 |-3.705000e+02 |-4.900000e+01 | 86.77%
143.23/143.37 c 141s| 1 | 0 | 69859 | - | 110M| 0 | 762 |1000 | 37k|1000 |5908 | 13k| 0 | 0 |-3.685000e+02 |-4.900000e+01 | 86.70%
145.24/145.37 c 143s| 1 | 0 | 71736 | - | 110M| 0 | 732 |1000 | 37k|1000 |6232 | 13k| 0 | 0 |-3.670000e+02 |-4.900000e+01 | 86.65%
150.23/150.37 c 148s| 1 | 0 | 75229 | - | 110M| 0 | 741 |1000 | 37k|1000 |6286 | 13k| 0 | 0 |-3.655000e+02 |-4.900000e+01 | 86.59%
152.43/152.57 c 150s| 1 | 0 | 76807 | - | 110M| 0 | 726 |1000 | 37k|1000 |6336 | 13k| 0 | 0 |-3.640000e+02 |-4.900000e+01 | 86.54%
157.03/157.13 c 155s| 1 | 0 | 80050 | - | 110M| 0 | 726 |1000 | 37k|1000 |6390 | 14k| 0 | 0 |-3.628750e+02 |-4.900000e+01 | 86.50%
158.93/159.00 c 157s| 1 | 0 | 81374 | - | 110M| 0 | 728 |1000 | 37k|1000 |5575 | 14k| 0 | 0 |-3.626667e+02 |-4.900000e+01 | 86.49%
161.63/161.71 c 159s| 1 | 0 | 83631 | - | 110M| 0 | 744 |1000 | 37k|1000 |5585 | 14k| 0 | 0 |-3.621250e+02 |-4.900000e+01 | 86.47%
163.23/163.32 c 161s| 1 | 0 | 85139 | - | 111M| 0 | 717 |1000 | 37k|1000 |5811 | 14k| 0 | 0 |-3.610000e+02 |-4.900000e+01 | 86.43%
165.94/166.01 c 164s| 1 | 0 | 86851 | - | 111M| 0 | 723 |1000 | 37k|1000 |5958 | 14k| 0 | 0 |-3.600000e+02 |-4.900000e+01 | 86.39%
170.23/170.37 c 168s| 1 | 0 | 89812 | - | 111M| 0 | 715 |1000 | 37k|1000 |6098 | 14k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
173.23/173.38 c 171s| 1 | 0 | 91716 | - | 111M| 0 | 715 |1000 | 37k|1000 |6157 | 14k| 0 | 0 |-3.575000e+02 |-4.900000e+01 | 86.29%
176.23/176.32 c 174s| 1 | 0 | 93436 | - | 111M| 0 | 717 |1000 | 37k|1000 |5406 | 14k| 0 | 0 |-3.570000e+02 |-4.900000e+01 | 86.27%
179.33/179.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.33/179.40 c 177s| 1 | 0 | 95533 | - | 111M| 0 | 726 |1000 | 37k|1000 |5454 | 14k| 0 | 0 |-3.560000e+02 |-4.900000e+01 | 86.24%
181.33/181.43 c 179s| 1 | 0 | 96990 | - | 112M| 0 | 722 |1000 | 37k|1000 |5505 | 14k| 0 | 0 |-3.555000e+02 |-4.900000e+01 | 86.22%
184.22/184.32 c 182s| 1 | 0 | 98703 | - | 112M| 0 | 715 |1000 | 37k|1000 |5668 | 14k| 0 | 0 |-3.545000e+02 |-4.900000e+01 | 86.18%
187.02/187.14 c 185s| 1 | 0 |100633 | - | 112M| 0 | 709 |1000 | 37k|1000 |5677 | 14k| 0 | 0 |-3.535000e+02 |-4.900000e+01 | 86.14%
189.92/190.03 c 187s| 1 | 0 |102879 | - | 112M| 0 | 720 |1000 | 37k|1000 |5685 | 14k| 0 | 0 |-3.525556e+02 |-4.900000e+01 | 86.10%
192.92/193.00 c 190s| 1 | 0 |105235 | - | 112M| 0 | 754 |1000 | 37k|1000 |5429 | 15k| 0 | 0 |-3.517778e+02 |-4.900000e+01 | 86.07%
194.92/195.00 c 192s| 1 | 0 |107008 | - | 113M| 0 | 728 |1000 | 37k|1000 |6001 | 15k| 0 | 0 |-3.501250e+02 |-4.900000e+01 | 86.00%
196.92/197.08 c 194s| 1 | 0 |108760 | - | 113M| 0 | 696 |1000 | 37k|1000 |6295 | 15k| 0 | 0 |-3.490000e+02 |-4.900000e+01 | 85.96%
199.61/199.74 c 197s| 1 | 0 |110362 | - | 114M| 0 | 717 |1000 | 37k|1000 |6695 | 16k| 0 | 0 |-3.487500e+02 |-4.900000e+01 | 85.95%
201.92/202.04 c 199s| 1 | 0 |112056 | - | 114M| 0 | 701 |1000 | 37k|1000 |6837 | 16k| 0 | 0 |-3.472500e+02 |-4.900000e+01 | 85.89%
205.52/205.63 c 203s| 1 | 0 |114076 | - | 114M| 0 | 691 |1000 | 37k|1000 |6893 | 16k| 0 | 0 |-3.460000e+02 |-4.900000e+01 | 85.84%
207.92/208.01 c 205s| 1 | 0 |115499 | - | 114M| 0 | 691 |1000 | 37k|1000 |6570 | 16k| 0 | 0 |-3.460000e+02 |-4.900000e+01 | 85.84%
210.52/210.67 c 208s| 1 | 0 |117302 | - | 114M| 0 | 697 |1000 | 37k|1000 |6645 | 16k| 0 | 0 |-3.455000e+02 |-4.900000e+01 | 85.82%
213.61/213.77 c 211s| 1 | 0 |119191 | - | 115M| 0 | 692 |1000 | 37k|1000 |6658 | 16k| 0 | 0 |-3.450000e+02 |-4.900000e+01 | 85.80%
218.32/218.45 c 216s| 1 | 0 |122293 | - | 115M| 0 | 825 |1000 | 37k|1000 |6669 | 16k| 0 | 0 |-3.442069e+02 |-4.900000e+01 | 85.76%
220.21/220.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.21/220.30 c 217s| 1 | 0 |123109 | - | 115M| 0 | 696 |1000 | 37k|1000 |8216 | 18k| 0 | 0 |-3.440000e+02 |-4.900000e+01 | 85.76%
226.52/226.64 c 224s| 1 | 0 |126106 | - | 116M| 0 | 759 |1000 | 37k|1000 |8226 | 18k| 0 | 0 |-3.430000e+02 |-4.900000e+01 | 85.71%
232.70/232.88 c 230s| 1 | 0 |129088 | - | 116M| 0 | 753 |1000 | 37k|1000 |7426 | 18k| 0 | 0 |-3.425000e+02 |-4.900000e+01 | 85.69%
239.11/239.23 c 236s| 1 | 0 |132815 | - | 117M| 0 | 738 |1000 | 37k|1000 |7499 | 18k| 0 | 0 |-3.410000e+02 |-4.900000e+01 | 85.63%
242.00/242.11 c 239s| 1 | 0 |134708 | - | 117M| 0 | 712 |1000 | 37k|1000 |7544 | 18k| 0 | 0 |-3.405000e+02 |-4.900000e+01 | 85.61%
246.60/246.73 c 243s| 1 | 0 |137429 | - | 118M| 0 | 723 |1000 | 37k|1000 |7557 | 18k| 0 | 0 |-3.390000e+02 |-4.900000e+01 | 85.55%
249.70/249.86 c 247s| 1 | 0 |139557 | - | 119M| 0 | 765 |1000 | 37k|1000 |7634 | 18k| 0 | 0 |-3.377778e+02 |-4.900000e+01 | 85.49%
253.80/253.96 c 251s| 1 | 0 |142169 | - | 119M| 0 | 789 |1000 | 37k|1000 |7752 | 18k| 0 | 0 |-3.370366e+02 |-4.900000e+01 | 85.46%
256.11/256.30 c 253s| 1 | 0 |143853 | - | 120M| 0 | 751 |1000 | 37k|1000 |7326 | 18k| 0 | 0 |-3.348077e+02 |-4.900000e+01 | 85.36%
257.60/257.73 c 254s| 1 | 0 |144833 | - | 120M| 0 | 728 |1000 | 37k|1000 |7340 | 18k| 0 | 0 |-3.342500e+02 |-4.900000e+01 | 85.34%
259.20/259.31 c 256s| 1 | 0 |145881 | - | 122M| 0 | 745 |1000 | 37k|1000 |7350 | 18k| 0 | 0 |-3.333358e+02 |-4.900000e+01 | 85.30%
261.40/261.51 c 258s| 1 | 0 |147513 | - | 122M| 0 | 762 |1000 | 37k|1000 |7358 | 18k| 0 | 0 |-3.326404e+02 |-4.900000e+01 | 85.27%
263.90/264.06 c 261s| 1 | 0 |149343 | - | 122M| 0 | 767 |1000 | 37k|1000 |7372 | 18k| 0 | 0 |-3.322500e+02 |-4.900000e+01 | 85.25%
268.90/269.07 c 266s| 1 | 0 |151829 | - | 124M| 0 | 751 |1000 | 37k|1000 |7385 | 18k| 0 | 0 |-3.317500e+02 |-4.900000e+01 | 85.23%
273.80/273.97 c 270s| 1 | 0 |154468 | - | 124M| 0 | 752 |1000 | 37k|1000 |6301 | 18k| 0 | 0 |-3.310000e+02 |-4.900000e+01 | 85.20%
276.50/276.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.50/276.68 c 273s| 1 | 0 |156211 | - | 126M| 0 | 748 |1000 | 37k|1000 |6386 | 18k| 0 | 0 |-3.305000e+02 |-4.900000e+01 | 85.17%
280.40/280.58 c 277s| 1 | 0 |158969 | - | 126M| 0 | 797 |1000 | 37k|1000 |6405 | 18k| 0 | 0 |-3.295755e+02 |-4.900000e+01 | 85.13%
282.39/282.53 c 279s| 1 | 0 |160293 | - | 127M| 0 | 779 |1000 | 37k|1000 |6517 | 18k| 0 | 0 |-3.284042e+02 |-4.900000e+01 | 85.08%
284.50/284.67 c 281s| 1 | 0 |161845 | - | 128M| 0 | 790 |1000 | 37k|1000 |6530 | 18k| 0 | 0 |-3.278833e+02 |-4.900000e+01 | 85.06%
286.30/286.46 c 283s| 1 | 0 |163060 | - | 129M| 0 | 799 |1000 | 37k|1000 |6767 | 19k| 0 | 0 |-3.275787e+02 |-4.900000e+01 | 85.04%
288.79/288.90 c 285s| 1 | 0 |164697 | - | 130M| 0 | 795 |1000 | 37k|1000 |6484 | 19k| 0 | 0 |-3.270112e+02 |-4.900000e+01 | 85.02%
291.09/291.27 c 288s| 1 | 0 |166399 | - | 130M| 0 | 813 |1000 | 37k|1000 |6629 | 19k| 0 | 0 |-3.259095e+02 |-4.900000e+01 | 84.97%
293.99/294.17 c 290s| 1 | 0 |168267 | - | 131M| 0 | 796 |1000 | 37k|1000 |6887 | 19k| 0 | 0 |-3.246019e+02 |-4.900000e+01 | 84.90%
296.90/297.07 c 293s| 1 | 0 |170082 | - | 132M| 0 | 798 |1000 | 37k|1000 |6977 | 19k| 0 | 0 |-3.234829e+02 |-4.900000e+01 | 84.85%
300.49/300.61 c 297s| 1 | 0 |172261 | - | 133M| 0 | 783 |1000 | 37k|1000 |7142 | 19k| 0 | 0 |-3.220365e+02 |-4.900000e+01 | 84.78%
303.40/303.56 c 300s| 1 | 0 |173977 | - | 133M| 0 | 814 |1000 | 37k|1000 |7247 | 20k| 0 | 0 |-3.213607e+02 |-4.900000e+01 | 84.75%
306.99/307.15 c 303s| 1 | 0 |175899 | - | 133M| 0 | 799 |1000 | 37k|1000 |7383 | 20k| 0 | 0 |-3.200213e+02 |-4.900000e+01 | 84.69%
310.19/310.33 c 306s| 1 | 0 |177861 | - | 132M| 0 | 816 |1000 | 37k|1000 |7506 | 20k| 0 | 0 |-3.190163e+02 |-4.900000e+01 | 84.64%
313.08/313.27 c 309s| 1 | 0 |179289 | - | 132M| 0 | 806 |1000 | 37k|1000 |7641 | 20k| 0 | 0 |-3.183524e+02 |-4.900000e+01 | 84.61%
316.38/316.52 c 313s| 1 | 0 |180955 | - | 132M| 0 | 797 |1000 | 37k|1000 |7729 | 20k| 0 | 0 |-3.174729e+02 |-4.900000e+01 | 84.57%
320.18/320.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.18/320.36 c 316s| 1 | 0 |183002 | - | 132M| 0 | 821 |1000 | 37k|1000 |7764 | 20k| 0 | 0 |-3.160371e+02 |-4.900000e+01 | 84.50%
323.68/323.86 c 320s| 1 | 0 |184788 | - | 132M| 0 | 826 |1000 | 37k|1000 |7900 | 20k| 0 | 0 |-3.151204e+02 |-4.900000e+01 | 84.45%
328.58/328.76 c 325s| 1 | 0 |187296 | - | 132M| 0 | 799 |1000 | 37k|1000 |7472 | 20k| 0 | 0 |-3.137147e+02 |-4.900000e+01 | 84.38%
331.99/332.11 c 328s| 1 | 0 |189127 | - | 132M| 0 | 793 |1000 | 37k|1000 |7487 | 20k| 0 | 0 |-3.127723e+02 |-4.900000e+01 | 84.33%
334.89/335.02 c 331s| 1 | 0 |190490 | - | 132M| 0 | 803 |1000 | 37k|1000 |7496 | 20k| 0 | 0 |-3.120691e+02 |-4.900000e+01 | 84.30%
338.08/338.21 c 334s| 1 | 0 |191981 | - | 132M| 0 | 820 |1000 | 37k|1000 |7549 | 20k| 0 | 0 |-3.112752e+02 |-4.900000e+01 | 84.26%
342.38/342.53 c 338s| 1 | 0 |193870 | - | 132M| 0 | 829 |1000 | 37k|1000 |7675 | 21k| 0 | 0 |-3.105174e+02 |-4.900000e+01 | 84.22%
346.68/346.86 c 343s| 1 | 0 |195945 | - | 132M| 0 | 817 |1000 | 37k|1000 |7739 | 21k| 0 | 0 |-3.093573e+02 |-4.900000e+01 | 84.16%
351.18/351.35 c 347s| 1 | 0 |198203 | - | 132M| 0 | 834 |1000 | 37k|1000 |7205 | 21k| 0 | 0 |-3.083646e+02 |-4.900000e+01 | 84.11%
355.37/355.54 c 351s| 1 | 0 |200013 | - | 132M| 0 | 821 |1000 | 37k|1000 |7475 | 21k| 0 | 0 |-3.073975e+02 |-4.900000e+01 | 84.06%
359.67/359.87 c 355s| 1 | 0 |201927 | - | 132M| 0 | 828 |1000 | 37k|1000 |7497 | 21k| 0 | 0 |-3.064886e+02 |-4.900000e+01 | 84.01%
364.37/364.55 c 360s| 1 | 0 |204077 | - | 132M| 0 | 828 |1000 | 37k|1000 |7511 | 21k| 0 | 0 |-3.054603e+02 |-4.900000e+01 | 83.96%
368.07/368.27 c 364s| 1 | 0 |205559 | - | 132M| 0 | 852 |1000 | 37k|1000 |7546 | 21k| 0 | 0 |-3.050082e+02 |-4.900000e+01 | 83.93%
373.17/373.33 c 369s| 1 | 0 |207723 | - | 131M| 0 | 832 |1000 | 37k|1000 |7659 | 21k| 0 | 0 |-3.034106e+02 |-4.900000e+01 | 83.85%
377.37/377.58 c 373s| 1 | 0 |209449 | - | 131M| 0 | 843 |1000 | 37k|1000 |7410 | 21k| 0 | 0 |-3.022668e+02 |-4.900000e+01 | 83.79%
381.67/381.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.67/381.85 c 377s| 1 | 0 |211329 | - | 131M| 0 | 832 |1000 | 37k|1000 |7472 | 21k| 0 | 0 |-3.014969e+02 |-4.900000e+01 | 83.75%
385.57/385.79 c 381s| 1 | 0 |212971 | - | 131M| 0 | 819 |1000 | 37k|1000 |7507 | 21k| 0 | 0 |-3.004594e+02 |-4.900000e+01 | 83.69%
389.96/390.15 c 385s| 1 | 0 |214802 | - | 131M| 0 | 825 |1000 | 37k|1000 |7665 | 21k| 0 | 0 |-2.995814e+02 |-4.900000e+01 | 83.64%
395.57/395.71 c 391s| 1 | 0 |217171 | - | 131M| 0 | 856 |1000 | 37k|1000 |7698 | 22k| 0 | 0 |-2.983084e+02 |-4.900000e+01 | 83.57%
404.26/404.47 c 400s| 1 | 0 |219354 | - | 131M| 0 | 822 |1000 | 37k|1000 |8284 | 22k| 0 | 0 |-2.970103e+02 |-4.900000e+01 | 83.50%
409.76/409.96 c 405s| 1 | 0 |221553 | - | 131M| 0 | 832 |1000 | 37k|1000 |8170 | 22k| 0 | 0 |-2.956808e+02 |-4.900000e+01 | 83.43%
414.26/414.49 c 410s| 1 | 0 |223373 | - | 131M| 0 | 836 |1000 | 37k|1000 |8180 | 22k| 0 | 0 |-2.948433e+02 |-4.900000e+01 | 83.38%
418.55/418.72 c 414s| 1 | 0 |224586 | - | 131M| 0 | 838 |1000 | 37k|1000 |8258 | 22k| 0 | 0 |-2.945375e+02 |-4.900000e+01 | 83.36%
422.86/423.03 c 418s| 1 | 0 |226046 | - | 131M| 0 | 828 |1000 | 37k|1000 |8266 | 22k| 0 | 0 |-2.940264e+02 |-4.900000e+01 | 83.33%
427.36/427.58 c 423s| 1 | 0 |227773 | - | 131M| 0 | 825 |1000 | 37k|1000 |8275 | 22k| 0 | 0 |-2.931968e+02 |-4.900000e+01 | 83.29%
432.95/433.20 c 428s| 1 | 0 |230172 | - | 130M| 0 | 828 |1000 | 37k|1000 |8300 | 22k| 0 | 0 |-2.917094e+02 |-4.900000e+01 | 83.20%
437.85/438.04 c 433s| 1 | 0 |231859 | - | 130M| 0 | 824 |1000 | 37k|1000 |8181 | 22k| 0 | 0 |-2.906498e+02 |-4.900000e+01 | 83.14%
443.16/443.31 c 438s| 1 | 0 |234115 | - | 130M| 0 | 823 |1000 | 37k|1000 |8194 | 22k| 0 | 0 |-2.894426e+02 |-4.900000e+01 | 83.07%
449.25/449.45 c 444s| 1 | 0 |236655 | - | 130M| 0 | 826 |1000 | 37k|1000 |8291 | 23k| 0 | 0 |-2.882119e+02 |-4.900000e+01 | 83.00%
454.16/454.31 c 449s| 1 | 0 |238467 | - | 130M| 0 | 835 |1000 | 37k|1000 |8359 | 23k| 0 | 0 |-2.873914e+02 |-4.900000e+01 | 82.95%
459.85/460.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.85/460.05 c 455s| 1 | 0 |240368 | - | 130M| 0 | 839 |1000 | 37k|1000 |8442 | 23k| 0 | 0 |-2.865044e+02 |-4.900000e+01 | 82.90%
464.85/465.02 c 460s| 1 | 0 |241557 | - | 130M| 0 | 847 |1000 | 37k|1000 |8546 | 23k| 0 | 0 |-2.861056e+02 |-4.900000e+01 | 82.87%
473.04/473.28 c 468s| 1 | 0 |244347 | - | 130M| 0 | 842 |1000 | 37k|1000 |8242 | 23k| 0 | 0 |-2.848476e+02 |-4.900000e+01 | 82.80%
479.54/479.76 c 474s| 1 | 0 |246415 | - | 130M| 0 | 865 |1000 | 37k|1000 |8302 | 23k| 0 | 0 |-2.841576e+02 |-4.900000e+01 | 82.76%
488.14/488.34 c 483s| 1 | 0 |248729 | - | 130M| 0 | 857 |1000 | 37k|1000 |8495 | 23k| 0 | 0 |-2.828584e+02 |-4.900000e+01 | 82.68%
495.04/495.20 c 490s| 1 | 0 |250436 | - | 130M| 0 | 846 |1000 | 37k|1000 |8567 | 23k| 0 | 0 |-2.821995e+02 |-4.900000e+01 | 82.64%
502.54/502.78 c 497s| 1 | 0 |252702 | - | 130M| 0 | 858 |1000 | 37k|1000 |8619 | 23k| 0 | 0 |-2.812761e+02 |-4.900000e+01 | 82.58%
510.33/510.55 c 505s| 1 | 0 |254584 | - | 129M| 0 | 860 |1000 | 37k|1000 |8737 | 23k| 0 | 0 |-2.806050e+02 |-4.900000e+01 | 82.54%
518.84/519.01 c 513s| 1 | 0 |256683 | - | 129M| 0 | 858 |1000 | 37k|1000 |8719 | 24k| 0 | 0 |-2.798618e+02 |-4.900000e+01 | 82.49%
526.74/526.92 c 521s| 1 | 0 |258640 | - | 129M| 0 | 846 |1000 | 37k|1000 |8737 | 24k| 0 | 0 |-2.791932e+02 |-4.900000e+01 | 82.45%
535.73/535.96 c 530s| 1 | 0 |261326 | - | 129M| 0 | 851 |1000 | 37k|1000 |8772 | 24k| 0 | 0 |-2.779526e+02 |-4.900000e+01 | 82.37%
544.03/544.25 c 538s| 1 | 0 |263327 | - | 129M| 0 | 859 |1000 | 37k|1000 |8825 | 24k| 0 | 0 |-2.773690e+02 |-4.900000e+01 | 82.33%
553.03/553.28 c 547s| 1 | 0 |265228 | - | 129M| 0 | 871 |1000 | 37k|1000 |8907 | 24k| 0 | 0 |-2.765268e+02 |-4.900000e+01 | 82.28%
562.52/562.74 c 557s| 1 | 0 |267115 | - | 128M| 0 | 871 |1000 | 37k|1000 |9002 | 24k| 0 | 0 |-2.757467e+02 |-4.900000e+01 | 82.23%
572.02/572.21 c 566s| 1 | 0 |269023 | - | 128M| 0 | 880 |1000 | 37k|1000 |8683 | 24k| 0 | 0 |-2.751545e+02 |-4.900000e+01 | 82.19%
581.42/581.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.42/581.62 c 576s| 1 | 0 |270688 | - | 128M| 0 | 876 |1000 | 37k|1000 |8719 | 24k| 0 | 0 |-2.746454e+02 |-4.900000e+01 | 82.16%
591.91/592.15 c 586s| 1 | 0 |273282 | - | 128M| 0 | 887 |1000 | 37k|1000 |8733 | 24k| 0 | 0 |-2.738174e+02 |-4.900000e+01 | 82.10%
604.72/604.99 c 599s| 1 | 0 |275945 | - | 128M| 0 | 877 |1000 | 37k|1000 |8954 | 24k| 0 | 0 |-2.727639e+02 |-4.900000e+01 | 82.04%
617.70/617.98 c 612s| 1 | 0 |278852 | - | 128M| 0 | 869 |1000 | 37k|1000 |9039 | 24k| 0 | 0 |-2.714002e+02 |-4.900000e+01 | 81.95%
628.11/628.31 c 622s| 1 | 0 |281186 | - | 128M| 0 | 874 |1000 | 37k|1000 |9072 | 24k| 0 | 0 |-2.707077e+02 |-4.900000e+01 | 81.90%
638.70/638.96 c 633s| 1 | 0 |283385 | - | 128M| 0 | 876 |1000 | 37k|1000 |8806 | 24k| 0 | 0 |-2.701123e+02 |-4.900000e+01 | 81.86%
650.20/650.45 c 644s| 1 | 0 |285605 | - | 127M| 0 | 882 |1000 | 37k|1000 |8885 | 24k| 0 | 0 |-2.692853e+02 |-4.900000e+01 | 81.80%
662.00/662.20 c 656s| 1 | 0 |287641 | - | 127M| 0 | 888 |1000 | 37k|1000 |8985 | 24k| 0 | 0 |-2.687877e+02 |-4.900000e+01 | 81.77%
673.19/673.40 c 667s| 1 | 0 |289331 | - | 127M| 0 | 891 |1000 | 37k|1000 |9047 | 25k| 0 | 0 |-2.682893e+02 |-4.900000e+01 | 81.74%
685.78/686.06 c 679s| 1 | 0 |291479 | - | 127M| 0 | 898 |1000 | 37k|1000 |9100 | 25k| 0 | 0 |-2.677247e+02 |-4.900000e+01 | 81.70%
697.58/697.88 c 691s| 1 | 0 |292948 | - | 127M| 0 | 902 |1000 | 37k|1000 |9190 | 25k| 0 | 0 |-2.673666e+02 |-4.900000e+01 | 81.67%
710.88/711.17 c 704s| 1 | 0 |295205 | - | 127M| 0 | 892 |1000 | 37k|1000 |9030 | 25k| 0 | 0 |-2.668549e+02 |-4.900000e+01 | 81.64%
723.48/723.76 c 717s| 1 | 0 |297333 | - | 127M| 0 | 898 |1000 | 37k|1000 |9064 | 25k| 0 | 0 |-2.663892e+02 |-4.900000e+01 | 81.61%
737.17/737.44 c 730s| 1 | 0 |299605 | - | 127M| 0 | 901 |1000 | 37k|1000 |9125 | 25k| 0 | 0 |-2.657436e+02 |-4.900000e+01 | 81.56%
750.47/750.73 c 744s| 1 | 0 |301648 | - | 127M| 0 | 903 |1000 | 37k|1000 |9195 | 25k| 0 | 0 |-2.652197e+02 |-4.900000e+01 | 81.52%
763.46/763.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.46/763.70 c 757s| 1 | 0 |303613 | - | 126M| 0 | 904 |1000 | 37k|1000 |9216 | 25k| 0 | 0 |-2.647485e+02 |-4.900000e+01 | 81.49%
773.96/774.22 c 767s| 1 | 0 |304356 | - | 126M| 0 | 907 |1000 | 37k|1000 |9272 | 25k| 0 | 0 |-2.645645e+02 |-4.900000e+01 | 81.48%
785.26/785.50 c 778s| 1 | 0 |305450 | - | 126M| 0 | 914 |1000 | 37k|1000 |8976 | 25k| 0 | 0 |-2.642560e+02 |-4.900000e+01 | 81.46%
797.96/798.27 c 791s| 1 | 0 |307205 | - | 125M| 0 | 913 |1000 | 37k|1000 |9008 | 25k| 0 | 0 |-2.637993e+02 |-4.900000e+01 | 81.43%
810.36/810.68 c 803s| 1 | 0 |308750 | - | 125M| 0 | 919 |1000 | 37k|1000 |9035 | 25k| 0 | 0 |-2.635247e+02 |-4.900000e+01 | 81.41%
824.05/824.39 c 817s| 1 | 0 |310650 | - | 125M| 0 | 922 |1000 | 37k|1000 |9153 | 25k| 0 | 0 |-2.630767e+02 |-4.900000e+01 | 81.37%
836.45/836.76 c 829s| 1 | 0 |312078 | - | 125M| 0 | 930 |1000 | 37k|1000 |9216 | 25k| 0 | 0 |-2.628176e+02 |-4.900000e+01 | 81.36%
851.65/851.98 c 844s| 1 | 0 |314464 | - | 125M| 0 | 915 |1000 | 37k|1000 |9242 | 25k| 0 | 0 |-2.621237e+02 |-4.900000e+01 | 81.31%
865.74/866.03 c 858s| 1 | 0 |316258 | - | 125M| 0 | 929 |1000 | 37k|1000 |9137 | 25k| 0 | 0 |-2.616815e+02 |-4.900000e+01 | 81.27%
878.43/878.75 c 871s| 1 | 0 |317597 | - | 125M| 0 | 932 |1000 | 37k|1000 |9193 | 25k| 0 | 0 |-2.613716e+02 |-4.900000e+01 | 81.25%
891.23/891.54 c 884s| 1 | 0 |318927 | - | 124M| 0 | 927 |1000 | 37k|1000 |9215 | 25k| 0 | 0 |-2.610707e+02 |-4.900000e+01 | 81.23%
904.82/905.12 c 897s| 1 | 0 |320525 | - | 124M| 0 | 929 |1000 | 37k|1000 |9242 | 25k| 0 | 0 |-2.606003e+02 |-4.900000e+01 | 81.20%
916.23/916.52 c 909s| 1 | 0 |321179 | - | 124M| 0 | 926 |1000 | 37k|1000 |9288 | 25k| 0 | 0 |-2.605078e+02 |-4.900000e+01 | 81.19%
930.92/931.27 c 923s| 1 | 0 |323154 | - | 124M| 0 | 937 |1000 | 37k|1000 |9308 | 25k| 0 | 0 |-2.600764e+02 |-4.900000e+01 | 81.16%
943.62/943.92 c 936s| 1 | 0 |324153 | - | 123M| 0 | 937 |1000 | 37k|1000 |9240 | 26k| 0 | 0 |-2.598806e+02 |-4.900000e+01 | 81.15%
956.41/956.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.41/956.78 c 949s| 1 | 0 |325318 | - | 123M| 0 | 933 |1000 | 37k|1000 |9273 | 26k| 0 | 0 |-2.596029e+02 |-4.900000e+01 | 81.13%
970.91/971.29 c 963s| 1 | 0 |327085 | - | 122M| 0 | 947 |1000 | 37k|1000 |9316 | 26k| 0 | 0 |-2.590988e+02 |-4.900000e+01 | 81.09%
984.50/984.86 c 977s| 1 | 0 |328239 | - | 121M| 0 | 944 |1000 | 37k|1000 |9359 | 26k| 0 | 0 |-2.588230e+02 |-4.900000e+01 | 81.07%
999.70/1000.07 c 992s| 1 | 0 |330016 | - | 121M| 0 | 940 |1000 | 37k|1000 |9375 | 26k| 0 | 0 |-2.582701e+02 |-4.900000e+01 | 81.03%
1013.70/1014.02 c 1006s| 1 | 0 |331317 | - | 120M| 0 | 945 |1000 | 37k|1000 |9410 | 26k| 0 | 0 |-2.580277e+02 |-4.900000e+01 | 81.01%
1027.70/1028.01 c 1020s| 1 | 0 |332681 | - | 119M| 0 | 951 |1000 | 37k|1000 |9254 | 26k| 0 | 0 |-2.577878e+02 |-4.900000e+01 | 80.99%
1041.59/1042.00 c 1034s| 1 | 0 |334080 | - | 119M| 0 | 950 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.575180e+02 |-4.900000e+01 | 80.97%
1055.38/1055.71 c 1047s| 1 | 0 |335288 | - | 118M| 0 | 948 |1000 | 37k|1000 |9307 | 26k| 0 | 0 |-2.572480e+02 |-4.900000e+01 | 80.95%
1070.18/1070.53 c 1062s| 1 | 0 |336780 | - | 117M| 0 | 952 |1000 | 37k|1000 |9330 | 26k| 0 | 0 |-2.568984e+02 |-4.900000e+01 | 80.93%
1083.09/1083.47 c 1075s| 1 | 0 |337763 | - | 117M| 0 | 956 |1000 | 37k|1000 |9386 | 26k| 0 | 0 |-2.567341e+02 |-4.900000e+01 | 80.91%
1096.48/1096.86 c 1088s| 1 | 0 |338732 | - | 116M| 0 | 957 |1000 | 37k|1000 |9417 | 26k| 0 | 0 |-2.565060e+02 |-4.900000e+01 | 80.90%
1110.77/1111.16 c 1102s| 1 | 0 |339995 | - | 115M| 0 | 958 |1000 | 37k|1000 |9332 | 26k| 0 | 0 |-2.561224e+02 |-4.900000e+01 | 80.87%
1124.98/1125.37 c 1117s| 1 | 0 |341291 | - | 114M| 0 | 957 |1000 | 37k|1000 |9354 | 26k| 0 | 0 |-2.558569e+02 |-4.900000e+01 | 80.85%
1137.56/1137.91 c 1129s| 1 | 0 |342020 | - | 113M| 0 | 956 |1000 | 37k|1000 |9409 | 26k| 0 | 0 |-2.557293e+02 |-4.900000e+01 | 80.84%
1150.06/1150.45 c 1142s| 1 | 0 |342719 | - | 113M| 0 | 956 |1000 | 37k|1000 |9443 | 26k| 0 | 0 |-2.555989e+02 |-4.900000e+01 | 80.83%
1164.75/1165.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.75/1165.12 c 1156s| 1 | 0 |344124 | - | 112M| 0 | 952 |1000 | 37k|1000 |9463 | 26k| 0 | 0 |-2.552644e+02 |-4.900000e+01 | 80.80%
1179.55/1179.94 c 1171s| 1 | 0 |345564 | - | 110M| 0 | 955 |1000 | 37k|1000 |9482 | 26k| 0 | 0 |-2.549314e+02 |-4.900000e+01 | 80.78%
1193.45/1193.81 c 1185s| 1 | 0 |346639 | - | 110M| 0 | 960 |1000 | 37k|1000 |9422 | 26k| 0 | 0 |-2.547048e+02 |-4.900000e+01 | 80.76%
1206.64/1207.04 c 1198s| 1 | 0 |347464 | - | 109M| 0 | 961 |1000 | 37k|1000 |9447 | 26k| 0 | 0 |-2.545600e+02 |-4.900000e+01 | 80.75%
1218.94/1219.37 c 1210s| 1 | 0 |347916 | - | 109M| 0 | 961 |1000 | 37k|1000 |9459 | 26k| 0 | 0 |-2.544652e+02 |-4.900000e+01 | 80.74%
1232.33/1232.78 c 1224s| 1 | 0 |348675 | - | 108M| 0 | 960 |1000 | 37k|1000 |9477 | 26k| 0 | 0 |-2.542654e+02 |-4.900000e+01 | 80.73%
1247.14/1247.59 c 1238s| 1 | 0 |349921 | - | 107M| 0 | 966 |1000 | 37k|1000 |9492 | 26k| 0 | 0 |-2.539213e+02 |-4.900000e+01 | 80.70%
1261.93/1262.37 c 1253s| 1 | 0 |351164 | - | 107M| 0 | 961 |1000 | 37k|1000 |9509 | 26k| 0 | 0 |-2.536011e+02 |-4.900000e+01 | 80.68%
1276.23/1276.60 c 1267s| 1 | 0 |352113 | - | 107M| 0 | 970 |1000 | 37k|1000 |9414 | 26k| 0 | 0 |-2.533954e+02 |-4.900000e+01 | 80.66%
1290.73/1291.12 c 1282s| 1 | 0 |353223 | - | 107M| 0 | 963 |1000 | 37k|1000 |9436 | 26k| 0 | 0 |-2.531502e+02 |-4.900000e+01 | 80.64%
1305.72/1306.16 c 1297s| 1 | 0 |354526 | - | 107M| 0 | 963 |1000 | 37k|1000 |9458 | 26k| 0 | 0 |-2.528710e+02 |-4.900000e+01 | 80.62%
1319.62/1320.08 c 1311s| 1 | 0 |355354 | - | 107M| 0 | 962 |1000 | 37k|1000 |9486 | 26k| 0 | 0 |-2.527101e+02 |-4.900000e+01 | 80.61%
1333.01/1333.48 c 1324s| 1 | 0 |356035 | - | 107M| 0 | 966 |1000 | 37k|1000 |9520 | 26k| 0 | 0 |-2.526129e+02 |-4.900000e+01 | 80.60%
1348.31/1348.80 c 1339s| 1 | 0 |357174 | - | 107M| 0 | 969 |1000 | 37k|1000 |9535 | 26k| 0 | 0 |-2.523178e+02 |-4.900000e+01 | 80.58%
1363.41/1363.87 c 1354s| 1 | 0 |358236 | - | 106M| 0 | 960 |1000 | 37k|1000 |9473 | 26k| 0 | 0 |-2.520785e+02 |-4.900000e+01 | 80.56%
1378.20/1378.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.20/1378.65 c 1369s| 1 | 0 |359244 | - | 106M| 0 | 964 |1000 | 37k|1000 |9490 | 26k| 0 | 0 |-2.518562e+02 |-4.900000e+01 | 80.54%
1392.29/1392.79 c 1383s| 1 | 0 |360088 | - | 106M| 0 | 962 |1000 | 37k|1000 |9510 | 26k| 0 | 0 |-2.516515e+02 |-4.900000e+01 | 80.53%
1406.80/1407.21 c 1397s| 1 | 0 |361014 | - | 106M| 0 | 965 |1000 | 37k|1000 |9531 | 26k| 0 | 0 |-2.514523e+02 |-4.900000e+01 | 80.51%
1420.49/1420.94 c 1411s| 1 | 0 |361714 | - | 106M| 0 | 967 |1000 | 37k|1000 |9554 | 26k| 0 | 0 |-2.512717e+02 |-4.900000e+01 | 80.50%
1435.38/1435.82 c 1426s| 1 | 0 |362695 | - | 106M| 0 | 973 |1000 | 37k|1000 |9569 | 26k| 0 | 0 |-2.510080e+02 |-4.900000e+01 | 80.48%
1449.68/1450.16 c 1440s| 1 | 0 |363391 | - | 106M| 0 | 974 |1000 | 37k|1000 |9504 | 26k| 0 | 0 |-2.508700e+02 |-4.900000e+01 | 80.47%
1463.77/1464.25 c 1454s| 1 | 0 |364143 | - | 106M| 0 | 971 |1000 | 37k|1000 |9523 | 26k| 0 | 0 |-2.507518e+02 |-4.900000e+01 | 80.46%
1477.48/1477.92 c 1468s| 1 | 0 |364770 | - | 106M| 0 | 979 |1000 | 37k|1000 |9533 | 26k| 0 | 0 |-2.506475e+02 |-4.900000e+01 | 80.45%
1491.48/1491.93 c 1482s| 1 | 0 |365368 | - | 106M| 0 | 985 |1000 | 37k|1000 |9542 | 26k| 0 | 0 |-2.504970e+02 |-4.900000e+01 | 80.44%
1505.87/1506.31 c 1496s| 1 | 0 |366148 | - | 106M| 0 | 977 |1000 | 37k|1000 |9555 | 27k| 0 | 0 |-2.503314e+02 |-4.900000e+01 | 80.43%
1519.56/1520.04 c 1510s| 1 | 0 |366700 | - | 106M| 0 | 987 |1000 | 37k|1000 |9578 | 27k| 0 | 0 |-2.502000e+02 |-4.900000e+01 | 80.42%
1533.56/1534.05 c 1524s| 1 | 0 |367288 | - | 106M| 0 | 985 |1000 | 37k|1000 |9527 | 27k| 0 | 0 |-2.500872e+02 |-4.900000e+01 | 80.41%
1547.35/1547.83 c 1537s| 1 | 0 |367855 | - | 106M| 0 | 989 |1000 | 37k|1000 |9538 | 27k| 0 | 0 |-2.499662e+02 |-4.900000e+01 | 80.40%
1561.46/1561.95 c 1552s| 1 | 0 |368462 | - | 106M| 0 | 983 |1000 | 37k|1000 |9554 | 27k| 0 | 0 |-2.498404e+02 |-4.900000e+01 | 80.39%
1575.95/1576.41 c 1566s| 1 | 0 |369053 | - | 106M| 0 | 988 |1000 | 37k|1000 |9564 | 27k| 0 | 0 |-2.497127e+02 |-4.900000e+01 | 80.38%
1590.15/1590.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.15/1590.69 c 1580s| 1 | 0 |369594 | - | 106M| 0 | 982 |1000 | 37k|1000 |9574 | 27k| 0 | 0 |-2.496019e+02 |-4.900000e+01 | 80.37%
1605.04/1605.50 c 1595s| 1 | 0 |370366 | - | 106M| 0 | 983 |1000 | 37k|1000 |9586 | 27k| 0 | 0 |-2.494327e+02 |-4.900000e+01 | 80.36%
1620.85/1621.35 c 1611s| 1 | 0 |371372 | - | 106M| 0 | 982 |1000 | 37k|1000 |9557 | 27k| 0 | 0 |-2.491187e+02 |-4.900000e+01 | 80.33%
1635.53/1636.08 c 1625s| 1 | 0 |372171 | - | 106M| 0 | 986 |1000 | 37k|1000 |9573 | 27k| 0 | 0 |-2.489271e+02 |-4.900000e+01 | 80.32%
1648.93/1649.43 c 1639s| 1 | 0 |372646 | - | 106M| 0 | 986 |1000 | 37k|1000 |9592 | 27k| 0 | 0 |-2.488346e+02 |-4.900000e+01 | 80.31%
1662.92/1663.41 c 1653s| 1 | 0 |373096 | - | 106M| 0 | 989 |1000 | 37k|1000 |9606 | 27k| 0 | 0 |-2.487525e+02 |-4.900000e+01 | 80.30%
1677.42/1677.90 c 1667s| 1 | 0 |373742 | - | 106M| 0 | 989 |1000 | 37k|1000 |9615 | 27k| 0 | 0 |-2.486346e+02 |-4.900000e+01 | 80.29%
1692.11/1692.68 c 1682s| 1 | 0 |374462 | - | 106M| 0 | 991 |1000 | 37k|1000 |9628 | 27k| 0 | 0 |-2.484688e+02 |-4.900000e+01 | 80.28%
1706.62/1707.17 c 1696s| 1 | 0 |374956 | - | 106M| 0 | 988 |1000 | 37k|1000 |9588 | 27k| 0 | 0 |-2.483657e+02 |-4.900000e+01 | 80.27%
1720.30/1720.84 c 1710s| 1 | 0 |375369 | - | 106M| 0 | 992 |1000 | 37k|1000 |9599 | 27k| 0 | 0 |-2.482719e+02 |-4.900000e+01 | 80.26%
1735.31/1735.88 c 1725s| 1 | 0 |376014 | - | 106M| 0 | 993 |1000 | 37k|1000 |9610 | 27k| 0 | 0 |-2.481253e+02 |-4.900000e+01 | 80.25%
1749.31/1749.81 c 1739s| 1 | 0 |376324 | - | 106M| 0 | 994 |1000 | 37k|1000 |9622 | 27k| 0 | 0 |-2.480778e+02 |-4.900000e+01 | 80.25%
1763.90/1764.47 c 1753s| 1 | 0 |376867 | - | 106M| 0 | 994 |1000 | 37k|1000 |9631 | 27k| 0 | 0 |-2.479278e+02 |-4.900000e+01 | 80.24%
1778.30/1778.81 c 1768s| 1 | 0 |377318 | - | 106M| 0 | 993 |1000 | 37k|1000 |9643 | 27k| 0 | 0 |-2.478319e+02 |-4.900000e+01 | 80.23%
1793.09/1793.64 c 1782s| 1 | 0 |377932 | - | 106M| 0 | 997 |1000 | 37k|1000 |9599 | 27k| 0 | 0 |-2.477061e+02 |-4.900000e+01 | 80.22%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.89/1801.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1800.89/1801.45 c 1790s| 1 | 0 |378150 | - | 106M| 0 | 996 |1000 | 37k|1000 |9607 | 27k| 0 | 0 |-2.476884e+02 |-4.900000e+01 | 80.22%
1801.09/1801.61 c 1790s| 1 | 2 |378150 | - | 106M| 0 | 996 |1000 | 37k|1000 |9607 | 27k| 0 | 0 |-2.476884e+02 |-4.900000e+01 | 80.22%
1801.09/1801.61 c
1801.09/1801.61 c SCIP Status : solving was interrupted [user interrupt]
1801.09/1801.61 c Solving Time (sec) : 1790.38
1801.09/1801.61 c Solving Nodes : 1
1801.09/1801.61 c Primal Bound : -4.90000000000000e+01 (54 solutions)
1801.09/1801.61 c Dual Bound : -2.47688373969473e+02
1801.09/1801.61 c Gap : 80.22 %
1801.19/1801.70 s SATISFIABLE
1801.19/1801.70 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1801.19/1801.70 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1801.19/1801.70 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1801.19/1801.70 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1801.19/1801.70 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1801.19/1801.70 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875
1801.19/1801.70 v -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1801.19/1801.70 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1801.19/1801.70 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812
1801.19/1801.70 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1801.19/1801.70 v x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1801.19/1801.70 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1801.19/1801.70 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1801.19/1801.70 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1801.19/1801.70 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1801.19/1801.70 v -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1801.19/1801.70 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1801.19/1801.70 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1801.19/1801.70 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1801.19/1801.70 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1801.19/1801.70 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1801.19/1801.70 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1801.19/1801.70 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1801.19/1801.70 v -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1801.19/1801.70 v x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1801.19/1801.70 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456
1801.19/1801.70 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1801.19/1801.70 v -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1801.19/1801.70 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393
1801.19/1801.70 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1801.19/1801.70 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1801.19/1801.70 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1801.19/1801.70 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1801.19/1801.70 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1801.19/1801.70 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268
1801.19/1801.70 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1801.19/1801.70 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 -x227 -x226
1801.19/1801.70 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1801.19/1801.70 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1801.19/1801.70 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1801.19/1801.70 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1801.19/1801.70 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1801.19/1801.70 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1801.19/1801.70 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
1801.19/1801.70 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
1801.19/1801.70 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
1801.19/1801.70 v -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 x13 -x12 x11 -x10 -x9 x8 x7 x6 x5 -x4 x3 x2 -x1
1801.19/1801.70 c SCIP Status : solving was interrupted [user interrupt]
1801.19/1801.70 c Solving Time : 1790.38
1801.19/1801.70 c Original Problem :
1801.19/1801.70 c Problem name : HOME/instance-2665279-1276665455.opb
1801.19/1801.70 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.19/1801.70 c Constraints : 38644 initial, 38644 maximal
1801.19/1801.70 c Presolved Problem :
1801.19/1801.70 c Problem name : t_HOME/instance-2665279-1276665455.opb
1801.19/1801.70 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.19/1801.70 c Constraints : 37644 initial, 37644 maximal
1801.19/1801.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.19/1801.70 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.19/1801.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c implics : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.70 c probing : 0.52 0 0 0 0 0 0 0 0
1801.19/1801.70 c linear : 0.25 37644 0 0 37644 0 1000 0 0
1801.19/1801.70 c logicor : 0.09 0 0 0 0 0 0 0 0
1801.19/1801.70 c root node : - 0 - - 0 - - - -
1801.19/1801.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.19/1801.70 c integral : 0 0 0 1 0 0 0 0 0 2
1801.19/1801.70 c logicor : 37644 252 201 0 0 0 0 36437 0 0
1801.19/1801.70 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.19/1801.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.19/1801.70 c integral : 0.00 0.00 0.00 0.00 0.00
1801.19/1801.70 c logicor : 2.48 2.25 0.23 0.00 0.00
1801.19/1801.70 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.19/1801.70 c Propagators : Time Calls Cutoffs DomReds
1801.19/1801.70 c vbounds : 0.00 2 0 0
1801.19/1801.70 c rootredcost : 0.00 0 0 0
1801.19/1801.70 c pseudoobj : 0.01 252 0 0
1801.19/1801.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.19/1801.70 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.19/1801.70 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.19/1801.71 c applied globally : - - - 0 0.0 - - -
1801.19/1801.71 c applied locally : - - - 0 0.0 - - -
1801.19/1801.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.19/1801.71 c cut pool : 1.55 251 - - 5571 - (maximal pool size: 17812)
1801.19/1801.71 c redcost : 0.04 252 0 0 0 0
1801.19/1801.71 c impliedbounds : 1.02 250 0 0 34121 0
1801.19/1801.71 c intobj : 0.00 0 0 0 0 0
1801.19/1801.71 c cgmip : 0.00 0 0 0 0 0
1801.19/1801.71 c gomory : 1048.49 248 0 0 85096 0
1801.19/1801.71 c strongcg : 1.89 20 0 0 10000 0
1801.19/1801.71 c cmir : 4.74 10 0 0 0 0
1801.19/1801.71 c flowcover : 4.33 10 0 0 0 0
1801.19/1801.71 c clique : 13.53 247 0 0 2222 0
1801.19/1801.71 c zerohalf : 0.00 0 0 0 0 0
1801.19/1801.71 c mcf : 0.05 1 0 0 0 0
1801.19/1801.71 c rapidlearning : 0.00 0 0 0 0 0
1801.19/1801.71 c Pricers : Time Calls Vars
1801.19/1801.71 c problem variables: 0.00 0 0
1801.19/1801.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.19/1801.71 c relpscost : 0.00 1 0 0 0 0 2
1801.19/1801.71 c pscost : 0.00 0 0 0 0 0 0
1801.19/1801.71 c inference : 0.00 0 0 0 0 0 0
1801.19/1801.71 c mostinf : 0.00 0 0 0 0 0 0
1801.19/1801.71 c leastinf : 0.00 0 0 0 0 0 0
1801.19/1801.71 c fullstrong : 0.00 0 0 0 0 0 0
1801.19/1801.71 c allfullstrong : 0.00 0 0 0 0 0 0
1801.19/1801.71 c random : 0.00 0 0 0 0 0 0
1801.19/1801.71 c Primal Heuristics : Time Calls Found
1801.19/1801.71 c LP solutions : 0.00 - 0
1801.19/1801.71 c pseudo solutions : 0.00 - 0
1801.19/1801.71 c crossover : 0.00 0 0
1801.19/1801.71 c oneopt : 0.04 2 1
1801.19/1801.71 c trivial : 0.10 2 2
1801.19/1801.71 c simplerounding : 0.55 253 49
1801.19/1801.71 c zirounding : 0.01 1 0
1801.19/1801.71 c rounding : 13.91 253 1
1801.19/1801.71 c shifting : 14.76 253 1
1801.19/1801.71 c intshifting : 0.00 0 0
1801.19/1801.71 c twoopt : 0.00 0 0
1801.19/1801.71 c fixandinfer : 0.00 0 0
1801.19/1801.71 c feaspump : 0.00 0 0
1801.19/1801.71 c coefdiving : 0.00 0 0
1801.19/1801.71 c pscostdiving : 0.00 0 0
1801.19/1801.71 c fracdiving : 0.00 0 0
1801.19/1801.71 c veclendiving : 0.00 0 0
1801.19/1801.71 c intdiving : 0.00 0 0
1801.19/1801.71 c actconsdiving : 0.00 0 0
1801.19/1801.71 c objpscostdiving : 0.00 0 0
1801.19/1801.71 c rootsoldiving : 0.00 0 0
1801.19/1801.71 c linesearchdiving : 0.00 0 0
1801.19/1801.71 c guideddiving : 0.00 0 0
1801.19/1801.71 c octane : 0.00 0 0
1801.19/1801.71 c rens : 0.00 0 0
1801.19/1801.71 c rins : 0.00 0 0
1801.19/1801.71 c localbranching : 0.00 0 0
1801.19/1801.71 c mutation : 0.00 0 0
1801.19/1801.71 c dins : 0.00 0 0
1801.19/1801.71 c undercover : 0.00 0 0
1801.19/1801.71 c nlp : 0.00 0 0
1801.19/1801.71 c trysol : 0.00 0 0
1801.19/1801.71 c LP : Time Calls Iterations Iter/call Iter/sec
1801.19/1801.71 c primal LP : 0.60 0 0 0.00 0.00
1801.19/1801.71 c dual LP : 667.01 253 378150 1494.66 566.93
1801.19/1801.71 c lex dual LP : 0.00 0 0 0.00 -
1801.19/1801.71 c barrier LP : 0.00 0 0 0.00 -
1801.19/1801.71 c diving/probing LP: 0.00 0 0 0.00 -
1801.19/1801.71 c strong branching : 0.00 0 0 0.00 -
1801.19/1801.71 c (at root node) : - 0 0 0.00 -
1801.19/1801.71 c conflict analysis: 0.00 0 0 0.00 -
1801.19/1801.71 c B&B Tree :
1801.19/1801.71 c number of runs : 1
1801.19/1801.71 c nodes : 1
1801.19/1801.71 c nodes (total) : 1
1801.19/1801.71 c nodes left : 2
1801.19/1801.71 c max depth : 0
1801.19/1801.71 c max depth (total): 0
1801.19/1801.71 c backtracks : 0 (0.0%)
1801.19/1801.71 c delayed cutoffs : 0
1801.19/1801.71 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.19/1801.71 c avg switch length: 1.00
1801.19/1801.71 c switching time : 0.00
1801.19/1801.71 c Solution :
1801.19/1801.71 c Solutions found : 54 (4 improvements)
1801.19/1801.71 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.34 seconds, depth 0, found by <trivial>)
1801.19/1801.71 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 4.71 seconds, depth 0, found by <oneopt>)
1801.19/1801.71 c Dual Bound : -2.47688373969473e+02
1801.19/1801.71 c Gap : 80.22 %
1801.19/1801.71 c Root Dual Bound : -2.47688373969473e+02
1801.19/1801.71 c Root Iterations : 378150
1801.38/1801.97 c Time complete: 1801.46.
OK -49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665279-1276665455/watcher-2665279-1276665455 -o /tmp/evaluation-result-2665279-1276665455/solver-2665279-1276665455 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665279-1276665455.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.96 1.94 1.65 3/105 16235 /proc/meminfo: memFree=1749740/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=9584 CPUtime=0 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1099 0 0 0 0 0 0 0 25 0 1 0 7839372 9814016 1020 1992294400 4194304 9819077 140736867552352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16235/statm: 2396 1029 371 1374 0 1017 0 [startup+0.0364539 s] /proc/loadavg: 1.96 1.94 1.65 3/105 16235 /proc/meminfo: memFree=1749740/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=16756 CPUtime=0.02 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 3029 0 0 0 2 0 0 0 25 0 1 0 7839372 17158144 2949 1992294400 4194304 9819077 140736867552352 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16235/statm: 4189 2961 389 1374 0 2810 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16756 [startup+0.101461 s] /proc/loadavg: 1.96 1.94 1.65 3/105 16235 /proc/meminfo: memFree=1749740/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=25828 CPUtime=0.09 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 5326 0 0 0 8 1 0 0 25 0 1 0 7839372 26447872 5246 1992294400 4194304 9819077 140736867552352 18446744073709551615 4361667 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16235/statm: 6457 5246 389 1374 0 5078 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25828 [startup+0.300482 s] /proc/loadavg: 1.96 1.94 1.65 3/105 16235 /proc/meminfo: memFree=1749740/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=46588 CPUtime=0.29 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 10552 0 0 0 26 3 0 0 25 0 1 0 7839372 47706112 10472 1992294400 4194304 9819077 140736867552352 18446744073709551615 4680688 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16235/statm: 11647 10472 389 1374 0 10268 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46588 [startup+0.700528 s] /proc/loadavg: 1.96 1.94 1.65 3/105 16235 /proc/meminfo: memFree=1749740/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=105752 CPUtime=0.69 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 25801 0 0 0 60 9 0 0 25 0 1 0 7839372 108290048 25287 1992294400 4194304 9819077 140736867552352 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 26438 25287 450 1374 0 25059 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105752 [startup+1.50062 s] /proc/loadavg: 1.88 1.93 1.65 3/106 16236 /proc/meminfo: memFree=1640240/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=129668 CPUtime=1.48 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 30786 0 0 0 136 12 0 0 25 0 1 0 7839372 132780032 30272 1992294400 4194304 9819077 140736867552352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 32417 30272 478 1374 0 31038 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 129668 [startup+3.10181 s] /proc/loadavg: 1.88 1.93 1.65 2/106 16236 /proc/meminfo: memFree=1629080/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=152788 CPUtime=3.08 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 41723 0 0 0 276 32 0 0 25 0 1 0 7839372 156454912 36128 1992294400 4194304 9819077 140736867552352 18446744073709551615 6028175 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16235/statm: 38197 36128 536 1374 0 36818 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 152788 [startup+6.30016 s] /proc/loadavg: 1.88 1.93 1.65 2/106 16236 /proc/meminfo: memFree=1588408/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=200128 CPUtime=6.28 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 57959 0 0 0 584 44 0 0 25 0 1 0 7839372 204931072 40781 1992294400 4194304 9819077 140736867552352 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 50032 40781 666 1374 0 48653 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 200128 [startup+12.7009 s] /proc/loadavg: 1.75 1.90 1.64 2/106 16236 /proc/meminfo: memFree=1587416/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=200704 CPUtime=12.68 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 78116 0 0 0 1215 53 0 0 25 0 1 0 7839372 205520896 41141 1992294400 4194304 9819077 140736867552352 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 50176 41141 666 1374 0 48797 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 200704 [startup+25.5013 s] /proc/loadavg: 1.63 1.87 1.63 2/106 16236 /proc/meminfo: memFree=1581464/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=206036 CPUtime=25.47 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 99460 0 0 0 2482 65 0 0 25 0 1 0 7839372 210980864 42619 1992294400 4194304 9819077 140736867552352 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 51509 42619 668 1374 0 50130 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 206036 [startup+51.1012 s] /proc/loadavg: 1.41 1.80 1.62 2/106 16236 /proc/meminfo: memFree=1584688/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=181788 CPUtime=51.06 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 129043 0 0 0 5023 83 0 0 25 0 1 0 7839372 186150912 42071 1992294400 4194304 9819077 140736867552352 18446744073709551615 5883401 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 45447 42071 675 1374 0 44068 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 181788 [startup+102.308 s] /proc/loadavg: 1.16 1.66 1.58 2/106 16238 /proc/meminfo: memFree=1566584/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=200780 CPUtime=102.25 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 195913 0 0 0 10097 128 0 0 25 0 1 0 7839372 205598720 45846 1992294400 4194304 9819077 140736867552352 18446744073709551615 7293466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 50195 45846 675 1374 0 48816 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 200780 [startup+162.301 s] /proc/loadavg: 1.06 1.54 1.54 2/106 16240 /proc/meminfo: memFree=1559764/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=208588 CPUtime=162.23 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 287350 0 0 0 16035 188 0 0 25 0 1 0 7839372 213594112 47834 1992294400 4194304 9819077 140736867552352 18446744073709551615 7291127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 52147 47834 675 1374 0 50768 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 208588 [startup+222.301 s] /proc/loadavg: 1.02 1.44 1.50 2/106 16242 /proc/meminfo: memFree=1555176/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=219236 CPUtime=222.21 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 378183 0 0 0 21969 252 0 0 25 0 1 0 7839372 224497664 49195 1992294400 4194304 9819077 140736867552352 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 54809 49195 675 1374 0 53430 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 219236 [startup+282.301 s] /proc/loadavg: 1.01 1.35 1.47 2/106 16242 /proc/meminfo: memFree=1537320/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=234956 CPUtime=282.2 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 471956 0 0 0 27903 317 0 0 25 0 1 0 7839372 240594944 53345 1992294400 4194304 9819077 140736867552352 18446744073709551615 7311152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 58739 53345 675 1374 0 57360 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 234956 [startup+342.301 s] /proc/loadavg: 1.00 1.29 1.44 2/106 16244 /proc/meminfo: memFree=1529012/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=243992 CPUtime=342.18 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 558447 0 0 0 33841 377 0 0 25 0 1 0 7839372 249847808 55428 1992294400 4194304 9819077 140736867552352 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 60998 55428 675 1374 0 59619 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 243992 [startup+402.301 s] /proc/loadavg: 1.00 1.23 1.41 2/106 16246 /proc/meminfo: memFree=1526904/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=240288 CPUtime=402.16 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 619752 0 0 0 39789 427 0 0 25 0 1 0 7839372 246054912 55446 1992294400 4194304 9819077 140736867552352 18446744073709551615 7286771 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 60072 55446 675 1374 0 58693 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 240288 [startup+462.301 s] /proc/loadavg: 1.00 1.19 1.38 2/106 16248 /proc/meminfo: memFree=1528888/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=245112 CPUtime=462.15 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 679044 0 0 0 45741 474 0 0 25 0 1 0 7839372 250994688 55500 1992294400 4194304 9819077 140736867552352 18446744073709551615 6048087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61278 55500 675 1374 0 59899 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 245112 [startup+522.301 s] /proc/loadavg: 1.00 1.15 1.35 2/106 16248 /proc/meminfo: memFree=1529136/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=244884 CPUtime=522.13 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 727268 0 0 0 51699 514 0 0 25 0 1 0 7839372 250761216 55401 1992294400 4194304 9819077 140736867552352 18446744073709551615 6044215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61221 55401 675 1374 0 59842 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 244884 [startup+582.301 s] /proc/loadavg: 1.00 1.12 1.33 2/106 16250 /proc/meminfo: memFree=1529136/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=245128 CPUtime=582.11 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 772744 0 0 0 57660 551 0 0 25 0 1 0 7839372 251011072 55419 1992294400 4194304 9819077 140736867552352 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61282 55419 675 1374 0 59903 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 245128 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.30 2/106 16252 /proc/meminfo: memFree=1529012/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=245296 CPUtime=642.11 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 814380 0 0 0 63622 589 0 0 25 0 1 0 7839372 251183104 55418 1992294400 4194304 9819077 140736867552352 18446744073709551615 8494896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61324 55418 675 1374 0 59945 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 245296 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.19 2/106 16265 /proc/meminfo: memFree=1528020/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246028 CPUtime=1002 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1004282 0 0 0 99443 757 0 0 25 0 1 0 7839372 251932672 55438 1992294400 4194304 9819077 140736867552352 18446744073709551615 6047767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61507 55438 675 1374 0 60128 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 246028 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.18 2/106 16267 /proc/meminfo: memFree=1527896/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=245936 CPUtime=1061.98 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1028632 0 0 0 105418 780 0 0 25 0 1 0 7839372 251838464 55466 1992294400 4194304 9819077 140736867552352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61484 55466 675 1374 0 60105 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 245936 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.16 2/106 16267 /proc/meminfo: memFree=1527152/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246248 CPUtime=1121.97 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1051845 0 0 0 111395 802 0 0 25 0 1 0 7839372 252157952 56004 1992294400 4194304 9819077 140736867552352 18446744073709551615 7312713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61562 56004 675 1374 0 60183 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 246248 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.15 2/106 16269 /proc/meminfo: memFree=1528268/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246104 CPUtime=1181.95 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1077524 0 0 0 117366 829 0 0 25 0 1 0 7839372 252010496 55404 1992294400 4194304 9819077 140736867552352 18446744073709551615 6044215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61526 55404 675 1374 0 60147 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 246104 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/106 16271 /proc/meminfo: memFree=1527896/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246264 CPUtime=1241.93 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1095360 0 0 0 123344 849 0 0 25 0 1 0 7839372 252174336 55460 1992294400 4194304 9819077 140736867552352 18446744073709551615 6044225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61566 55460 675 1374 0 60187 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 246264 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/106 16273 /proc/meminfo: memFree=1527896/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246044 CPUtime=1301.92 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1121533 0 0 0 129322 870 0 0 25 0 1 0 7839372 251949056 55453 1992294400 4194304 9819077 140736867552352 18446744073709551615 7291660 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61511 55453 675 1374 0 60132 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 246044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/106 16275 /proc/meminfo: memFree=1526160/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246172 CPUtime=1361.9 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1146175 0 0 0 135297 893 0 0 25 0 1 0 7839372 252080128 56061 1992294400 4194304 9819077 140736867552352 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61543 56061 675 1374 0 60164 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 246172 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/106 16277 /proc/meminfo: memFree=1527524/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246304 CPUtime=1421.9 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1169137 0 0 0 141276 914 0 0 25 0 1 0 7839372 252215296 55513 1992294400 4194304 9819077 140736867552352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61576 55513 675 1374 0 60197 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 246304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/106 16277 /proc/meminfo: memFree=1527400/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246280 CPUtime=1481.88 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1187620 0 0 0 147253 935 0 0 25 0 1 0 7839372 252190720 55517 1992294400 4194304 9819077 140736867552352 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61570 55517 675 1374 0 60191 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 246280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/106 16279 /proc/meminfo: memFree=1527524/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246372 CPUtime=1541.85 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1205344 0 0 0 153232 953 0 0 25 0 1 0 7839372 252284928 55491 1992294400 4194304 9819077 140736867552352 18446744073709551615 6044444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61593 55491 675 1374 0 60214 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 246372 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/106 16281 /proc/meminfo: memFree=1527400/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246352 CPUtime=1601.84 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1221267 0 0 0 159211 973 0 0 25 0 1 0 7839372 252264448 55501 1992294400 4194304 9819077 140736867552352 18446744073709551615 6047767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61588 55501 675 1374 0 60209 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 246352 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 16283 /proc/meminfo: memFree=1526780/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246660 CPUtime=1661.82 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1242380 0 0 0 165189 993 0 0 25 0 1 0 7839372 252579840 56020 1992294400 4194304 9819077 140736867552352 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61665 56020 675 1374 0 60286 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 246660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 16283 /proc/meminfo: memFree=1527152/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246688 CPUtime=1721.81 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1261227 0 0 0 171169 1012 0 0 25 0 1 0 7839372 252608512 55539 1992294400 4194304 9819077 140736867552352 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61672 55539 675 1374 0 60293 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 246688 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/106 16285 /proc/meminfo: memFree=1526780/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246724 CPUtime=1781.79 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1276047 0 0 0 177151 1028 0 0 25 0 1 0 7839372 252645376 55560 1992294400 4194304 9819077 140736867552352 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61681 55560 675 1374 0 60302 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 246724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.06 2/106 16287 /proc/meminfo: memFree=1526780/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246556 CPUtime=1800.1 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1281659 0 0 0 178976 1034 0 0 25 0 1 0 7839372 252473344 55509 1992294400 4194304 9819077 140736867552352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61639 55509 675 1374 0 60260 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 246556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.06 2/106 16287 /proc/meminfo: memFree=1526780/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=246712 CPUtime=1800.89 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1283701 0 0 0 179054 1035 0 0 25 0 1 0 7839372 252633088 55588 1992294400 4194304 9819077 140736867552352 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16235/statm: 61678 55588 675 1374 0 60299 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 246712 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.06 2/107 16288 /proc/meminfo: memFree=1526896/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=221020 CPUtime=1801.3 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1284599 0 0 0 179094 1036 0 0 25 0 1 0 7839372 226324480 52262 1992294400 4194304 9819077 140736867552352 18446744073709551615 5938352 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16235/statm: 55255 52262 683 1374 0 53876 0 Current children cumulated CPU time (s) 1801.3 Current children cumulated vsize (KiB) 221020 [startup+1801.9 s] /proc/loadavg: 1.00 1.00 1.06 2/107 16288 /proc/meminfo: memFree=1526896/2059040 swapFree=4192956/4192956 [pid=16235] ppid=16233 vsize=178696 CPUtime=1801.38 /proc/16235/stat : 16235 (pbscip.linux.x8) R 16233 16235 15254 0 -1 4202496 1284599 0 0 0 179102 1036 0 0 25 0 1 0 7839372 182984704 41721 1992294400 4194304 9819077 140736867552352 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16235/statm: 44674 41721 683 1374 0 43295 0 Current children cumulated CPU time (s) 1801.38 Current children cumulated vsize (KiB) 178696 Child status: 0 Real time (s): 1801.98 CPU time (s): 1801.47 CPU user time (s): 1791.08 CPU system time (s): 10.3904 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 246832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.08 system time used= 10.3904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1284609 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 24377 runsolver used 2.88256 second user time and 8.62269 second system time The end
Begin job on node085 at 2010-06-16 07:17:35 IDJOB=2665279 IDBENCH=48222 IDSOLVER=1168 FILE ID=node085/2665279-1276665455 PBS_JOBID= 11172471 Free space on /tmp= 121868 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665279-1276665455/watcher-2665279-1276665455 -o /tmp/evaluation-result-2665279-1276665455/solver-2665279-1276665455 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665279-1276665455.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8 RANDOM SEED=1043574297 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1750268 kB Buffers: 48176 kB Cached: 124504 kB SwapCached: 0 kB Active: 130988 kB Inactive: 101232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1750268 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7112 kB Writeback: 0 kB AnonPages: 59440 kB Mapped: 15324 kB Slab: 54972 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180572 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= 121864 MiB End job on node085 at 2010-06-16 07:47:38