Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.1 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo |
| MD5SUM | 5ae7a85bf99e064da8ccbcbd4c939a34 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 498.031 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 45741 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45740 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2694103-1277905544.wbo>
0.00/0.03 c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.03/0.04 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.03/0.07 c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.03/0.09 c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.09/0.10 c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.11 c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.16 c (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients
0.09/0.16 c 1116 implications, 15 cliques
0.09/0.16 c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints
0.09/0.16 c 831 constraints of type <indicator>
0.09/0.16 c 15 constraints of type <setppc>
0.09/0.16 c 831 constraints of type <linear>
0.09/0.16 c 1657 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 2 | 0 | - |7445k| 0 | - |1893 |3334 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.20 o 621
1.19/1.20 c * 1.1s| 4274 | 3725 | 0 | 0.0 | 10M|1025 | - |1893 |3999 | 0 | 0 | 0 | 990 | 0 | 0.000000e+00 | 6.210000e+02 | Inf
1.19/1.28 o 540
1.19/1.28 c * 1.2s| 4578 | 4013 | 0 | 0.0 | 10M|1025 | - |1893 |3974 | 0 | 0 | 0 | 999 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
2.59/2.64 c 2.5s| 10000 | 8737 | 0 | 0.0 | 13M|1025 | - |1893 |4476 | 0 | 0 | 0 |3140 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
5.49/5.51 c 5.3s| 20000 | 16605 | 0 | 0.0 | 20M|1025 | - |1893 |5263 | 0 | 0 | 0 |7769 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
7.29/7.37 o 482
7.29/7.37 c * 7.1s| 25380 | 19488 | 0 | 0.0 | 24M|1025 | - |1893 |6228 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 4.820000e+02 | Inf
7.29/7.37 o 446
7.29/7.37 c * 7.1s| 25381 | 19462 | 0 | 0.0 | 24M|1025 | - |1893 |6228 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 4.460000e+02 | Inf
7.39/7.40 o 433
7.39/7.40 c * 7.1s| 25484 | 19561 | 0 | 0.0 | 24M|1025 | - |1893 |6186 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
7.39/7.43 o 308
7.39/7.43 c * 7.2s| 25575 | 19621 | 0 | 0.0 | 24M|1025 | - |1893 |6141 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.080000e+02 | Inf
7.49/7.59 o 306
7.49/7.59 c * 7.3s| 26134 | 20155 | 0 | 0.0 | 24M|1025 | - |1893 |5906 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.060000e+02 | Inf
7.60/7.65 o 300
7.60/7.65 c * 7.4s| 26313 | 20320 | 0 | 0.0 | 24M|1025 | - |1893 |5841 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
7.70/7.73 o 287
7.70/7.73 c * 7.4s| 26571 | 20565 | 0 | 0.0 | 24M|1025 | - |1893 |5715 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.870000e+02 | Inf
7.79/7.86 o 231
7.79/7.86 c * 7.6s| 27036 | 20966 | 0 | 0.0 | 25M|1025 | - |1893 |5489 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
7.79/7.86 o 162
7.79/7.86 c * 7.6s| 27037 | 20686 | 0 | 0.0 | 24M|1025 | - |1893 |5489 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
7.79/7.89 o 134
7.79/7.89 c * 7.6s| 27113 | 20696 | 0 | 0.0 | 24M|1025 | - |1893 |5455 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
7.79/7.89 o 128
7.79/7.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.79/7.89 c * 7.6s| 27114 | 20684 | 0 | 0.0 | 24M|1025 | - |1893 |5455 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
7.89/7.93 o 103
7.89/7.93 c * 7.6s| 27253 | 20733 | 0 | 0.0 | 25M|1025 | - |1893 |5369 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
8.39/8.47 o 88
8.39/8.47 c * 8.2s| 28901 | 21986 | 0 | 0.0 | 26M|1025 | - |1893 |4844 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
8.39/8.47 o 80
8.39/8.47 c * 8.2s| 28902 | 21833 | 0 | 0.0 | 25M|1025 | - |1893 |4844 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
8.80/8.83 o 64
8.80/8.83 c * 8.5s| 29890 | 22379 | 0 | 0.0 | 26M|1025 | - |1893 |4524 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
8.80/8.83 o 53
8.80/8.83 c * 8.5s| 29891 | 22207 | 0 | 0.0 | 26M|1025 | - |1893 |4524 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
8.80/8.87 c 8.6s| 30000 | 22306 | 0 | 0.0 | 26M|1025 | - |1893 |4510 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
11.89/11.90 c 11.5s| 40000 | 30645 | 0 | 0.0 | 33M|1025 | - |1893 |4601 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
14.89/14.98 c 14.5s| 50000 | 38521 | 0 | 0.0 | 40M|1025 | - |1893 |5061 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
18.19/18.20 c 17.6s| 60000 | 46224 | 0 | 0.0 | 46M|1025 | - |1893 |5399 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
21.49/21.56 c 20.9s| 70000 | 53601 | 0 | 0.0 | 53M|1025 | - |1893 |5596 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
24.89/24.94 c 24.2s| 80000 | 60770 | 0 | 0.0 | 60M|1025 | - |1893 |5974 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
28.50/28.58 c 27.7s| 90000 | 67530 | 0 | 0.0 | 67M|1025 | - |1893 |6628 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
32.59/32.64 c 31.7s|100000 | 73664 | 0 | 0.0 | 75M|1025 | - |1893 |7292 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
36.89/36.98 c 35.9s|110000 | 79145 | 0 | 0.0 | 82M|1025 | - |1893 |7855 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
42.09/42.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.09/42.10 c 40.9s|120000 | 83176 | 0 | 0.0 | 89M|1025 | - |1893 |8440 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
48.69/48.76 c 47.4s|130000 | 84233 | 0 | 0.0 | 95M|1025 | - |1893 | 10k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
54.19/54.28 c 52.8s|140000 | 88805 | 0 | 0.0 | 98M|1025 | - |1893 |4015 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
57.69/57.70 c 56.1s|150000 | 97129 | 0 | 0.0 | 105M|1025 | - |1893 |4265 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
61.09/61.19 c 59.5s|160000 |105225 | 0 | 0.0 | 113M|1025 | - |1893 |4590 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
64.80/64.81 c 63.0s|170000 |113098 | 0 | 0.0 | 121M|1025 | - |1893 |4926 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
68.49/68.54 c 66.6s|180000 |120673 | 0 | 0.0 | 129M|1025 | - |1893 |5472 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
72.69/72.75 c 70.7s|190000 |127456 | 0 | 0.0 | 139M|1025 | - |1893 |6202 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
75.99/76.06 c 73.9s|200000 |135627 | 0 | 0.0 | 146M|1025 | - |1893 |5236 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
79.99/80.05 c 77.8s|210000 |142591 | 0 | 0.0 | 156M|1025 | - |1893 |8573 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
83.59/83.62 c 81.2s|220000 |150858 | 0 | 0.0 | 163M|1025 | - |1893 |7312 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
87.60/87.63 c 85.1s|230000 |158049 | 0 | 0.0 | 169M|1025 | - |1893 |6167 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
91.59/91.62 c 89.0s|240000 |165226 | 0 | 0.0 | 176M|1025 | - |1893 |5473 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
94.79/94.86 c 92.1s|250000 |173595 | 0 | 0.0 | 182M|1025 | - |1893 |4560 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
98.39/98.42 c 95.6s|260000 |180970 | 0 | 0.0 | 189M|1025 | - |1893 |5379 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
102.20/102.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.20/102.21 c 99.3s|270000 |187905 | 0 | 0.0 | 195M|1025 | - |1893 |5669 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
105.89/105.99 c 103s|280000 |194771 | 0 | 0.0 | 202M|1025 | - |1893 |6294 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
109.90/110.00 c 107s|290000 |201473 | 0 | 0.0 | 209M|1025 | - |1893 |5826 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
113.80/113.88 c 111s|300000 |208237 | 0 | 0.0 | 215M|1025 | - |1893 |6141 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
117.79/117.89 c 115s|310000 |214905 | 0 | 0.0 | 222M|1025 | - |1893 |6042 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
121.79/121.86 c 118s|320000 |221497 | 0 | 0.0 | 229M|1025 | - |1893 |6836 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
125.89/125.98 c 122s|330000 |227954 | 0 | 0.0 | 235M|1025 | - |1893 |7450 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
130.39/130.40 c 127s|340000 |234098 | 0 | 0.0 | 242M|1025 | - |1893 |7457 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
134.89/134.92 c 131s|350000 |240135 | 0 | 0.0 | 249M|1025 | - |1893 |7636 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
139.20/139.21 c 135s|360000 |246468 | 0 | 0.0 | 256M|1025 | - |1893 |7779 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
143.90/143.98 c 140s|370000 |252209 | 0 | 0.0 | 262M|1025 | - |1893 |8258 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
148.80/148.86 c 145s|380000 |257757 | 0 | 0.0 | 270M|1025 | - |1893 |8298 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
153.39/153.44 c 149s|390000 |263800 | 0 | 0.0 | 276M|1025 | - |1893 |7801 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
158.50/158.53 c 154s|400000 |269206 | 0 | 0.0 | 283M|1025 | - |1893 |8438 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
163.90/163.94 c 159s|410000 |274204 | 0 | 0.0 | 290M|1025 | - |1893 |9036 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
169.20/169.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.20/169.21 c 165s|420000 |279505 | 0 | 0.0 | 297M|1025 | - |1893 |8442 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
174.99/175.04 c 170s|430000 |284110 | 0 | 0.0 | 304M|1025 | - |1893 |9191 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
181.09/181.11 c 176s|440000 |288410 | 0 | 0.0 | 311M|1025 | - |1893 | 10k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
187.00/187.05 c 182s|450000 |293096 | 0 | 0.0 | 318M|1025 | - |1893 |8727 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
193.19/193.25 c 188s|460000 |297352 | 0 | 0.0 | 325M|1025 | - |1893 |9991 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
199.90/199.91 c 195s|470000 |301052 | 0 | 0.0 | 332M|1025 | - |1893 | 10k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
206.39/206.48 c 201s|480000 |304968 | 0 | 0.0 | 338M|1025 | - |1893 | 10k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
213.00/213.06 c 208s|490000 |308891 | 0 | 0.0 | 345M|1025 | - |1893 | 10k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
220.10/220.16 c 215s|500000 |312271 | 0 | 0.0 | 352M|1025 | - |1893 | 11k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
227.29/227.35 c 222s|510000 |315537 | 0 | 0.0 | 358M|1025 | - |1893 | 11k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
234.79/234.84 c 229s|520000 |318448 | 0 | 0.0 | 365M|1025 | - |1893 | 11k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
242.40/242.44 c 236s|530000 |321387 | 0 | 0.0 | 371M|1025 | - |1893 | 12k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
250.10/250.16 c 244s|540000 |324197 | 0 | 0.0 | 377M|1025 | - |1893 | 12k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
258.30/258.37 c 252s|550000 |326534 | 0 | 0.0 | 383M|1025 | - |1893 | 13k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
266.80/266.88 c 261s|560000 |328852 | 0 | 0.0 | 389M|1025 | - |1893 | 13k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
275.90/275.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.90/275.95 c 269s|570000 |330380 | 0 | 0.0 | 393M|1025 | - |1893 | 13k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
285.79/285.80 c 279s|580000 |331284 | 0 | 0.0 | 398M|1025 | - |1893 | 14k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
296.50/296.50 c 290s|590000 |331389 | 0 | 0.0 | 401M|1025 | - |1893 | 15k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
308.90/308.93 c 302s|600000 |330166 | 0 | 0.0 | 401M|1025 | - |1893 | 14k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
312.80/312.85 c 306s|610000 |338486 | 0 | 0.0 | 406M|1025 | - |1893 |5211 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
316.30/316.36 c 309s|620000 |346663 | 0 | 0.0 | 413M|1025 | - |1893 |5607 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
320.10/320.11 c 313s|630000 |354608 | 0 | 0.0 | 422M|1025 | - |1893 |6387 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
323.90/323.93 c 317s|640000 |362458 | 0 | 0.0 | 430M|1025 | - |1893 |7019 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
327.71/327.73 c 320s|650000 |370373 | 0 | 0.0 | 438M|1025 | - |1893 |6958 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
331.59/331.65 c 324s|660000 |378129 | 0 | 0.0 | 446M|1025 | - |1893 |7237 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
335.60/335.69 c 328s|670000 |385766 | 0 | 0.0 | 455M|1025 | - |1893 |7181 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
338.80/338.85 o 44
338.80/338.85 c * 331s|677791 |389827 | 0 | 0.0 | 451M|1025 | - |1893 |7446 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
339.80/339.82 c 332s|680000 |391467 | 0 | 0.0 | 453M|1025 | - |1893 |7594 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
344.00/344.08 c 336s|690000 |398804 | 0 | 0.0 | 462M|1025 | - |1893 |6909 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
348.60/348.65 c 341s|700000 |405939 | 0 | 0.0 | 469M|1025 | - |1893 |4407 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
349.40/349.43 o 41
349.40/349.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.40/349.43 c * 341s|701806 |406828 | 0 | 0.0 | 468M|1025 | - |1893 |4625 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
352.90/352.95 c 345s|710000 |412708 | 0 | 0.0 | 476M|1025 | - |1893 |5588 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
357.20/357.25 c 349s|720000 |419718 | 0 | 0.0 | 485M|1025 | - |1893 |5904 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
357.90/357.95 o 34
357.90/357.95 c * 350s|721702 |420560 | 0 | 0.0 | 484M|1025 | - |1893 |5916 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
357.90/357.96 o 28
357.90/357.96 c * 350s|721703 |419183 | 0 | 0.0 | 477M|1025 | - |1893 |5916 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
361.81/361.83 c 353s|730000 |424840 | 0 | 0.0 | 489M|1025 | - |1893 |6071 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
366.10/366.17 c 358s|740000 |431797 | 0 | 0.0 | 498M|1025 | - |1893 |5936 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
370.61/370.66 c 362s|750000 |438413 | 0 | 0.0 | 505M|1025 | - |1893 |6209 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
375.11/375.12 c 366s|760000 |444990 | 0 | 0.0 | 513M|1025 | - |1893 |6257 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
379.69/379.72 c 371s|770000 |451471 | 0 | 0.0 | 520M|1025 | - |1893 |6844 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
380.30/380.35 o 20
380.30/380.35 c * 371s|771319 |443833 | 0 | 0.0 | 494M|1025 | - |1893 |6965 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
380.40/380.44 o 19
380.40/380.44 c * 371s|771499 |443857 | 0 | 0.0 | 494M|1025 | - |1893 |7032 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
382.20/382.23 o 16
382.20/382.23 c * 373s|775065 |445936 | 0 | 0.0 | 496M|1025 | - |1893 |6347 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
384.91/384.95 c 376s|780000 |448736 | 0 | 0.0 | 501M|1025 | - |1893 |6911 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
390.30/390.39 c 381s|790000 |454458 | 0 | 0.0 | 508M|1025 | - |1893 |7368 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
395.50/395.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.50/395.57 c 386s|800000 |460379 | 0 | 0.0 | 516M|1025 | - |1893 |7915 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
400.70/400.72 c 391s|810000 |466420 | 0 | 0.0 | 522M|1025 | - |1893 |8009 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
406.30/406.35 c 397s|820000 |471846 | 0 | 0.0 | 529M|1025 | - |1893 |8343 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
411.70/411.71 c 402s|830000 |477694 | 0 | 0.0 | 535M|1025 | - |1893 |8161 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
417.20/417.21 c 407s|840000 |483339 | 0 | 0.0 | 542M|1025 | - |1893 |8861 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
422.90/422.90 c 413s|850000 |488873 | 0 | 0.0 | 549M|1025 | - |1893 |9389 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
428.50/428.51 c 418s|860000 |494521 | 0 | 0.0 | 555M|1025 | - |1893 |9575 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
434.40/434.48 c 424s|870000 |499828 | 0 | 0.0 | 562M|1025 | - |1893 | 10k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
440.50/440.51 c 430s|880000 |505129 | 0 | 0.0 | 569M|1025 | - |1893 | 11k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
446.90/446.92 c 436s|890000 |510187 | 0 | 0.0 | 575M|1025 | - |1893 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
453.60/453.63 c 443s|900000 |515025 | 0 | 0.0 | 582M|1025 | - |1893 | 12k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
461.00/461.01 c 450s|910000 |519350 | 0 | 0.0 | 589M|1025 | - |1893 | 14k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
469.71/469.74 c 459s|920000 |522718 | 0 | 0.0 | 595M|1025 | - |1893 | 16k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
480.70/480.70 c 470s|930000 |523662 | 0 | 0.0 | 598M|1025 | - |1893 | 13k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
484.41/484.48 c 473s|940000 |531681 | 0 | 0.0 | 603M|1025 | - |1893 |6993 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
488.10/488.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.10/488.16 c 477s|950000 |539467 | 0 | 0.0 | 610M|1025 | - |1893 |7801 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
492.21/492.20 c 481s|960000 |546847 | 0 | 0.0 | 616M|1025 | - |1893 |8719 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
496.41/496.47 c 485s|970000 |553965 | 0 | 0.0 | 623M|1025 | - |1893 |9610 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
501.11/501.19 c 490s|980000 |560579 | 0 | 0.0 | 630M|1025 | - |1893 | 10k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
506.40/506.48 c 495s|990000 |566659 | 0 | 0.0 | 637M|1025 | - |1893 | 11k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
512.61/512.61 c 501s| 1000k|571864 | 0 | 0.0 | 645M|1025 | - |1893 | 12k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
520.00/520.01 c 508s| 1010k|575874 | 0 | 0.0 | 652M|1025 | - |1893 | 13k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
528.90/528.93 c 517s| 1020k|578462 | 0 | 0.0 | 659M|1025 | - |1893 | 16k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
538.40/538.41 c 526s| 1030k|580828 | 0 | 0.0 | 661M|1025 | - |1893 | 10k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
542.00/542.02 c 530s| 1040k|588747 | 0 | 0.0 | 667M|1025 | - |1893 |9030 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
545.70/545.71 c 533s| 1050k|596384 | 0 | 0.0 | 673M|1025 | - |1893 |9659 | 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
549.70/549.72 c 537s| 1060k|603681 | 0 | 0.0 | 680M|1025 | - |1893 | 10k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
554.31/554.34 c 541s| 1070k|610329 | 0 | 0.0 | 687M|1025 | - |1893 | 11k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
559.41/559.43 c 546s| 1080k|616539 | 0 | 0.0 | 694M|1025 | - |1893 | 13k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
565.11/565.17 c 552s| 1090k|622164 | 0 | 0.0 | 702M|1025 | - |1893 | 14k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
572.20/572.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.20/572.26 c 559s| 1100k|626674 | 0 | 0.0 | 709M|1025 | - |1893 | 16k| 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
581.71/581.72 c 568s| 1110k|629346 | 0 | 0.0 | 716M|1025 | - |1893 | 19k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
590.50/590.51 c 577s| 1120k|633155 | 0 | 0.0 | 718M|1025 | - |1893 | 10k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
594.31/594.34 c 581s| 1130k|640786 | 0 | 0.0 | 724M|1025 | - |1893 | 10k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
598.31/598.34 c 585s| 1140k|648095 | 0 | 0.0 | 731M|1025 | - |1893 | 11k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
602.60/602.60 c 589s| 1150k|655115 | 0 | 0.0 | 737M|1025 | - |1893 | 12k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
607.41/607.46 c 593s| 1160k|661550 | 0 | 0.0 | 744M|1025 | - |1893 | 13k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
613.10/613.18 c 599s| 1170k|667163 | 0 | 0.0 | 751M|1025 | - |1893 | 15k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
620.61/620.65 c 606s| 1180k|671388 | 0 | 0.0 | 758M|1025 | - |1893 | 18k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
628.60/628.61 c 614s| 1190k|675877 | 0 | 0.0 | 759M|1025 | - |1893 |4877 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
631.90/631.93 c 617s| 1200k|684139 | 0 | 0.0 | 765M|1025 | - |1893 |4807 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
636.61/636.63 c 622s| 1210k|690705 | 0 | 0.0 | 772M|1025 | - |1893 |7699 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
641.00/641.04 c 626s| 1220k|697574 | 0 | 0.0 | 778M|1025 | - |1893 |5353 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
645.21/645.24 c 630s| 1230k|704407 | 0 | 0.0 | 784M|1025 | - |1893 |5457 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
649.40/649.43 c 634s| 1240k|711300 | 0 | 0.0 | 791M|1025 | - |1893 |7231 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
653.00/653.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.00/653.07 c 638s| 1250k|718976 | 0 | 0.0 | 798M|1025 | - |1893 |7653 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
657.01/657.08 c 642s| 1260k|726252 | 0 | 0.0 | 805M|1025 | - |1893 |6887 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
661.21/661.26 c 646s| 1270k|733239 | 0 | 0.0 | 811M|1025 | - |1893 |6819 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
665.31/665.34 c 650s| 1280k|740246 | 0 | 0.0 | 818M|1025 | - |1893 |6833 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
669.51/669.54 c 654s| 1290k|746960 | 0 | 0.0 | 825M|1025 | - |1893 | 10k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
673.21/673.24 c 658s| 1300k|754600 | 0 | 0.0 | 831M|1025 | - |1893 |8669 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
677.30/677.37 c 662s| 1310k|761662 | 0 | 0.0 | 838M|1025 | - |1893 |8369 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
681.41/681.41 c 666s| 1320k|768756 | 0 | 0.0 | 844M|1025 | - |1893 |8450 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
685.41/685.40 c 669s| 1330k|776100 | 0 | 0.0 | 850M|1025 | - |1893 |5372 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
689.81/689.88 c 674s| 1340k|782482 | 0 | 0.0 | 857M|1025 | - |1893 |7345 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
695.91/695.91 c 680s| 1350k|787223 | 0 | 0.0 | 864M|1025 | - |1893 |8562 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
702.21/702.29 c 686s| 1360k|791640 | 0 | 0.0 | 871M|1025 | - |1893 | 10k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
709.00/709.01 c 692s| 1370k|795861 | 0 | 0.0 | 878M|1025 | - |1893 | 11k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
716.01/716.02 c 699s| 1380k|799924 | 0 | 0.0 | 885M|1025 | - |1893 | 11k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
722.90/722.94 c 706s| 1390k|804155 | 0 | 0.0 | 892M|1025 | - |1893 | 11k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
730.01/730.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.01/730.02 c 713s| 1400k|808595 | 0 | 0.0 | 898M|1025 | - |1893 | 11k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
737.30/737.35 c 720s| 1410k|812521 | 0 | 0.0 | 905M|1025 | - |1893 | 12k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
744.72/744.76 c 728s| 1420k|816693 | 0 | 0.0 | 912M|1025 | - |1893 | 11k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
752.21/752.29 c 735s| 1430k|820556 | 0 | 0.0 | 919M|1025 | - |1893 | 13k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
759.81/759.82 c 742s| 1440k|824823 | 0 | 0.0 | 925M|1025 | - |1893 | 11k| 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
767.71/767.77 c 750s| 1450k|828306 | 0 | 0.0 | 932M|1025 | - |1893 | 13k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
775.31/775.38 c 758s| 1460k|832483 | 0 | 0.0 | 938M|1025 | - |1893 | 14k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
783.91/783.92 c 766s| 1470k|835654 | 0 | 0.0 | 944M|1025 | - |1893 | 13k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
791.51/791.58 c 774s| 1480k|839830 | 0 | 0.0 | 951M|1025 | - |1893 | 14k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
799.91/799.95 c 782s| 1490k|843599 | 0 | 0.0 | 957M|1025 | - |1893 | 13k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
809.01/809.03 c 791s| 1500k|846511 | 0 | 0.0 | 963M|1025 | - |1893 | 14k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
816.92/816.97 c 799s| 1510k|850625 | 0 | 0.0 | 969M|1025 | - |1893 | 15k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
825.91/825.97 c 808s| 1520k|854169 | 0 | 0.0 | 975M|1025 | - |1893 | 13k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
835.71/835.72 c 817s| 1530k|856709 | 0 | 0.0 | 981M|1025 | - |1893 | 15k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
844.11/844.17 c 826s| 1540k|860654 | 0 | 0.0 | 987M|1025 | - |1893 | 15k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
853.62/853.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.62/853.67 c 835s| 1550k|863964 | 0 | 0.0 | 993M|1025 | - |1893 | 14k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
863.81/863.83 c 845s| 1560k|866214 | 0 | 0.0 | 998M|1025 | - |1893 | 16k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
872.82/872.88 c 854s| 1570k|869823 | 0 | 0.0 |1005M|1025 | - |1893 | 17k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
882.81/882.90 c 864s| 1580k|872962 | 0 | 0.0 |1010M|1025 | - |1893 | 16k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
894.11/894.15 c 875s| 1590k|874702 | 0 | 0.0 |1015M|1025 | - |1893 | 16k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
903.62/903.64 c 884s| 1600k|878176 | 0 | 0.0 |1021M|1025 | - |1893 | 18k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
914.31/914.30 c 895s| 1610k|880985 | 0 | 0.0 |1028M|1025 | - |1893 | 18k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
925.61/925.69 c 906s| 1620k|882534 | 0 | 0.0 |1032M|1025 | - |1893 | 17k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
935.21/935.23 c 915s| 1630k|885625 | 0 | 0.0 |1038M|1025 | - |1893 | 18k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
945.42/945.49 c 925s| 1640k|888413 | 0 | 0.0 |1044M|1025 | - |1893 | 19k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
956.31/956.38 c 936s| 1650k|889913 | 0 | 0.0 |1047M|1025 | - |1893 | 15k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
966.61/966.68 c 946s| 1660k|891970 | 0 | 0.0 |1053M|1025 | - |1893 | 18k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
977.31/977.34 c 957s| 1670k|894330 | 0 | 0.0 |1058M|1025 | - |1893 | 18k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
988.01/988.05 c 968s| 1680k|895798 | 0 | 0.0 |1061M|1025 | - |1893 | 15k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
999.12/999.17 c 979s| 1690k|897366 | 0 | 0.0 |1068M|1025 | - |1893 | 19k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1009.91/1009.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.91/1009.93 c 989s| 1700k|899727 | 0 | 0.0 |1073M|1025 | - |1893 | 19k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1021.81/1021.88 c 1001s| 1710k|900413 | 0 | 0.0 |1076M|1025 | - |1893 | 16k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1034.21/1034.26 c 1013s| 1720k|901352 | 0 | 0.0 |1081M|1025 | - |1893 | 18k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1045.81/1045.88 c 1025s| 1730k|903213 | 0 | 0.0 |1086M|1025 | - |1893 | 17k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1058.62/1058.66 c 1037s| 1740k|902920 | 0 | 0.0 |1089M|1025 | - |1893 | 19k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1071.31/1071.31 c 1050s| 1750k|904021 | 0 | 0.0 |1095M|1025 | - |1893 | 20k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1082.71/1082.72 c 1061s| 1760k|905695 | 0 | 0.0 |1098M|1025 | - |1893 | 16k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1096.62/1096.62 c 1075s| 1770k|905138 | 0 | 0.0 |1101M|1025 | - |1893 | 20k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1108.62/1108.63 c 1087s| 1780k|906847 | 0 | 0.0 |1107M|1025 | - |1893 | 21k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1122.21/1122.25 c 1100s| 1790k|906180 | 0 | 0.0 |1107M|1025 | - |1893 | 19k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1135.52/1135.55 c 1114s| 1800k|906748 | 0 | 0.0 |1112M|1025 | - |1893 | 21k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1148.81/1148.83 c 1127s| 1810k|906816 | 0 | 0.0 |1114M|1025 | - |1893 | 18k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1163.01/1163.05 c 1141s| 1820k|906611 | 0 | 0.0 |1118M|1025 | - |1893 | 21k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1175.92/1175.90 c 1153s| 1830k|907324 | 0 | 0.0 |1121M|1025 | - |1893 | 17k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1190.71/1190.79 c 1168s| 1840k|906383 | 0 | 0.0 |1124M|1025 | - |1893 | 21k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1203.61/1203.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.61/1203.67 c 1181s| 1850k|907110 | 0 | 0.0 |1127M|1025 | - |1893 | 18k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1219.22/1219.21 c 1196s| 1860k|905905 | 0 | 0.0 |1130M|1025 | - |1893 | 22k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1233.71/1233.72 c 1211s| 1870k|905359 | 0 | 0.0 |1130M|1025 | - |1893 | 20k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1248.61/1248.61 c 1225s| 1880k|905174 | 0 | 0.0 |1135M|1025 | - |1893 | 22k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1264.12/1264.13 c 1241s| 1890k|903562 | 0 | 0.0 |1134M|1025 | - |1893 | 22k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1279.02/1279.10 c 1256s| 1900k|902834 | 0 | 0.0 |1136M|1025 | - |1893 | 21k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1294.51/1294.59 c 1271s| 1910k|902388 | 0 | 0.0 |1138M|1025 | - |1893 | 19k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1310.91/1310.91 c 1287s| 1920k|900938 | 0 | 0.0 |1139M|1025 | - |1893 | 19k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1327.52/1327.53 c 1304s| 1930k|899031 | 0 | 0.0 |1138M|1025 | - |1893 | 20k| 0 | 0 | 0 |2008k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1346.12/1346.13 c 1322s| 1940k|895995 | 0 | 0.0 |1136M|1025 | - |1893 | 22k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1366.62/1366.68 c 1342s| 1950k|893271 | 0 | 0.0 |1134M|1025 | - |1893 | 22k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1389.81/1389.81 c 1365s| 1960k|889125 | 0 | 0.0 |1131M|1025 | - |1893 | 23k| 0 | 0 | 0 |2086k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1412.51/1412.53 c 1387s| 1970k|884955 | 0 | 0.0 |1120M|1025 | - |1893 | 18k| 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1418.01/1418.02 c 1392s| 1980k|892162 | 0 | 0.0 |1124M|1025 | - |1893 |8963 | 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1422.81/1422.82 c 1396s| 1990k|899040 | 0 | 0.0 |1131M|1025 | - |1893 |8168 | 0 | 0 | 0 |2124k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1427.42/1427.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.42/1427.46 c 1401s| 2000k|905996 | 0 | 0.0 |1138M|1025 | - |1893 |8793 | 0 | 0 | 0 |2130k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1432.41/1432.48 c 1405s| 2010k|912699 | 0 | 0.0 |1146M|1025 | - |1893 |9332 | 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1437.62/1437.62 c 1410s| 2020k|919288 | 0 | 0.0 |1153M|1025 | - |1893 | 10k| 0 | 0 | 0 |2142k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1442.82/1442.85 c 1415s| 2030k|925829 | 0 | 0.0 |1160M|1025 | - |1893 | 10k| 0 | 0 | 0 |2149k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1448.31/1448.34 c 1420s| 2040k|932207 | 0 | 0.0 |1168M|1025 | - |1893 | 10k| 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1453.71/1453.79 c 1425s| 2050k|938661 | 0 | 0.0 |1175M|1025 | - |1893 | 11k| 0 | 0 | 0 |2163k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1459.72/1459.73 c 1431s| 2060k|944802 | 0 | 0.0 |1182M|1025 | - |1893 | 11k| 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1465.71/1465.74 c 1436s| 2070k|950900 | 0 | 0.0 |1189M|1025 | - |1893 | 11k| 0 | 0 | 0 |2178k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1471.52/1471.52 c 1442s| 2080k|957117 | 0 | 0.0 |1196M|1025 | - |1893 | 12k| 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1477.92/1478.00 c 1448s| 2090k|962803 | 0 | 0.0 |1203M|1025 | - |1893 | 12k| 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1484.02/1484.08 c 1453s| 2100k|968888 | 0 | 0.0 |1210M|1025 | - |1893 | 12k| 0 | 0 | 0 |2201k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1490.62/1490.62 c 1460s| 2110k|974419 | 0 | 0.0 |1217M|1025 | - |1893 | 13k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1497.31/1497.34 c 1466s| 2120k|979854 | 0 | 0.0 |1224M|1025 | - |1893 | 12k| 0 | 0 | 0 |2217k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1503.51/1503.53 c 1472s| 2130k|985726 | 0 | 0.0 |1230M|1025 | - |1893 | 13k| 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1510.52/1510.53 c 1478s| 2140k|990909 | 0 | 0.0 |1238M|1025 | - |1893 | 12k| 0 | 0 | 0 |2234k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1516.92/1516.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.92/1516.92 c 1484s| 2150k|996652 | 0 | 0.0 |1244M|1025 | - |1893 | 13k| 0 | 0 | 0 |2242k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1524.31/1524.38 c 1491s| 2160k| 1001k| 0 | 0.0 |1251M|1025 | - |1893 | 13k| 0 | 0 | 0 |2252k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1531.13/1531.18 c 1498s| 2170k| 1006k| 0 | 0.0 |1258M|1025 | - |1893 | 13k| 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1538.93/1538.91 c 1505s| 2180k| 1011k| 0 | 0.0 |1265M|1025 | - |1893 | 13k| 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1545.72/1545.75 c 1512s| 2190k| 1016k| 0 | 0.0 |1272M|1025 | - |1893 | 13k| 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1552.92/1552.95 c 1518s| 2200k| 1021k| 0 | 0.0 |1276M|1025 | - |1893 |5529 | 0 | 0 | 0 |2287k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1558.91/1558.91 c 1524s| 2210k| 1026k| 0 | 0.0 |1282M|1025 | - |1893 |6806 | 0 | 0 | 0 |2295k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1564.51/1564.57 c 1529s| 2220k| 1030k| 0 | 0.0 |1289M|1025 | - |1893 |6871 | 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1570.52/1570.59 c 1535s| 2230k| 1035k| 0 | 0.0 |1295M|1025 | - |1893 |8222 | 0 | 0 | 0 |2310k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1576.22/1576.26 c 1540s| 2240k| 1040k| 0 | 0.0 |1301M|1025 | - |1893 |6806 | 0 | 0 | 0 |2317k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1582.93/1582.95 c 1546s| 2250k| 1043k| 0 | 0.0 |1307M|1025 | - |1893 |8638 | 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1588.52/1588.57 c 1552s| 2260k| 1048k| 0 | 0.0 |1313M|1025 | - |1893 |8785 | 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1595.32/1595.37 c 1558s| 2270k| 1052k| 0 | 0.0 |1320M|1025 | - |1893 |9212 | 0 | 0 | 0 |2344k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1601.22/1601.23 c 1563s| 2280k| 1057k| 0 | 0.0 |1326M|1025 | - |1893 |9337 | 0 | 0 | 0 |2352k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1607.03/1607.07 c 1569s| 2290k| 1062k| 0 | 0.0 |1332M|1025 | - |1893 |7675 | 0 | 0 | 0 |2359k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1614.02/1614.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.02/1614.08 c 1575s| 2300k| 1065k| 0 | 0.0 |1338M|1025 | - |1893 |9198 | 0 | 0 | 0 |2369k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1619.72/1619.78 c 1581s| 2310k| 1070k| 0 | 0.0 |1345M|1025 | - |1893 |9424 | 0 | 0 | 0 |2376k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1626.62/1626.64 c 1587s| 2320k| 1074k| 0 | 0.0 |1350M|1025 | - |1893 |9712 | 0 | 0 | 0 |2386k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1633.21/1633.21 c 1593s| 2330k| 1078k| 0 | 0.0 |1357M|1025 | - |1893 | 10k| 0 | 0 | 0 |2394k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1638.81/1638.80 c 1598s| 2340k| 1084k| 0 | 0.0 |1363M|1025 | - |1893 |8624 | 0 | 0 | 0 |2402k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1645.82/1645.80 c 1605s| 2350k| 1087k| 0 | 0.0 |1368M|1025 | - |1893 |9808 | 0 | 0 | 0 |2411k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1651.92/1651.90 c 1611s| 2360k| 1092k| 0 | 0.0 |1375M|1025 | - |1893 |9937 | 0 | 0 | 0 |2419k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1657.73/1657.73 c 1616s| 2370k| 1097k| 0 | 0.0 |1381M|1025 | - |1893 |7654 | 0 | 0 | 0 |2427k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1665.33/1665.36 c 1623s| 2380k| 1100k| 0 | 0.0 |1386M|1025 | - |1893 | 10k| 0 | 0 | 0 |2438k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1671.62/1671.60 c 1629s| 2390k| 1105k| 0 | 0.0 |1393M|1025 | - |1893 | 10k| 0 | 0 | 0 |2446k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1678.82/1678.81 c 1636s| 2400k| 1108k| 0 | 0.0 |1397M|1025 | - |1893 |9690 | 0 | 0 | 0 |2455k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1686.02/1686.07 c 1643s| 2410k| 1112k| 0 | 0.0 |1404M|1025 | - |1893 | 11k| 0 | 0 | 0 |2465k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1692.42/1692.41 c 1649s| 2420k| 1117k| 0 | 0.0 |1410M|1025 | - |1893 | 10k| 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1699.72/1699.78 c 1656s| 2430k| 1120k| 0 | 0.0 |1414M|1025 | - |1893 |9410 | 0 | 0 | 0 |2483k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1706.63/1706.63 c 1662s| 2440k| 1124k| 0 | 0.0 |1421M|1025 | - |1893 | 10k| 0 | 0 | 0 |2492k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1713.22/1713.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.22/1713.20 c 1668s| 2450k| 1129k| 0 | 0.0 |1427M|1025 | - |1893 |9744 | 0 | 0 | 0 |2501k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1721.32/1721.35 c 1676s| 2460k| 1131k| 0 | 0.0 |1432M|1025 | - |1893 | 10k| 0 | 0 | 0 |2512k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1727.93/1727.93 c 1682s| 2470k| 1136k| 0 | 0.0 |1438M|1025 | - |1893 | 10k| 0 | 0 | 0 |2520k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1735.33/1735.36 c 1689s| 2480k| 1139k| 0 | 0.0 |1443M|1025 | - |1893 | 10k| 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1743.12/1743.10 c 1697s| 2490k| 1142k| 0 | 0.0 |1449M|1025 | - |1893 | 12k| 0 | 0 | 0 |2540k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1749.72/1749.77 c 1703s| 2500k| 1147k| 0 | 0.0 |1455M|1025 | - |1893 | 10k| 0 | 0 | 0 |2548k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1757.92/1757.94 c 1711s| 2510k| 1150k| 0 | 0.0 |1459M|1025 | - |1893 | 11k| 0 | 0 | 0 |2560k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1765.02/1765.05 c 1717s| 2520k| 1154k| 0 | 0.0 |1465M|1025 | - |1893 | 11k| 0 | 0 | 0 |2569k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1771.52/1771.57 c 1723s| 2530k| 1159k| 0 | 0.0 |1470M|1025 | - |1893 |9841 | 0 | 0 | 0 |2578k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1780.23/1780.24 c 1732s| 2540k| 1161k| 0 | 0.0 |1475M|1025 | - |1893 | 12k| 0 | 0 | 0 |2589k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1786.82/1786.81 c 1738s| 2550k| 1166k| 0 | 0.0 |1481M|1025 | - |1893 | 11k| 0 | 0 | 0 |2598k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1794.62/1794.66 c 1745s| 2560k| 1169k| 0 | 0.0 |1485M|1025 | - |1893 | 11k| 0 | 0 | 0 |2608k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1750.13
1800.03/1800.00 c Solving Nodes : 2566885
1800.03/1800.00 c Primal Bound : +1.60000000000000e+01 (25 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.01 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.03/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.03/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.01 v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1800.03/1800.01 v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.03/1800.01 v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.03/1800.01 v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.03/1800.01 v -x1
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1750.13
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2694103-1277905544.wbo
1800.03/1800.01 c Variables : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.03/1800.01 c Constraints : 3608 initial, 3608 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2694103-1277905544.wbo
1800.03/1800.01 c Variables : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous)
1800.03/1800.01 c Constraints : 3334 initial, 24348 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.05 0 0 0 916 0 205 143 0
1800.03/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 704 - - 1408 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 831 0 4228937 0 1221329 248 1609685 0 0 0
1800.03/1800.01 c setppc : 15 0 8283051 0 2068397 116428 6251980 0 0 0
1800.03/1800.01 c linear : 831 0 8167669 0 2068550 295960 34931045 0 0 0
1800.03/1800.01 c logicor : 1657+ 0 6258743 0 2068564 381101 15961305 0 0 0
1800.03/1800.01 c bounddisjunction : 0+ 0 341172 0 0 4 217 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 2068564 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c indicator : 14.93 0.00 6.81 0.00 8.12
1800.03/1800.01 c setppc : 34.07 0.00 29.69 0.00 4.38
1800.03/1800.01 c linear : 187.75 0.00 185.45 0.00 2.30
1800.03/1800.01 c logicor : 588.19 0.00 483.13 0.00 105.06
1800.03/1800.01 c bounddisjunction : 2.16 0.00 2.16 0.00 0.00
1800.03/1800.01 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 1.57 2 0 0
1800.03/1800.01 c rootredcost : 1.61 0 0 0
1800.03/1800.01 c pseudoobj : 166.36 8286855 2629 1564531
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 35.99 796122 796105 3951799 20.8 219962 8.1 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.03 82 82 393 15.0 38 8.8 -
1800.03/1800.01 c applied globally : - - - 2615661 18.3 - - -
1800.03/1800.01 c applied locally : - - - 1 113.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.01 c redcost : 0.00 0 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.01 c cmir : 0.00 0 0 0 0 0
1800.03/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.01 c clique : 0.00 0 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 37.34 2068539 0 0 0 0 4137078
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.08 - 25
1800.03/1800.01 c oneopt : 0.84 0 0
1800.03/1800.01 c trivial : 0.00 2 0
1800.03/1800.01 c simplerounding : 0.00 0 0
1800.03/1800.01 c zirounding : 0.00 0 0
1800.03/1800.01 c rounding : 0.00 0 0
1800.03/1800.01 c shifting : 0.00 0 0
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c coefdiving : 0.00 0 0
1800.03/1800.01 c pscostdiving : 0.00 0 0
1800.03/1800.01 c fracdiving : 0.00 0 0
1800.03/1800.01 c veclendiving : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 0.00 0 0
1800.03/1800.01 c rootsoldiving : 0.00 0 0
1800.03/1800.01 c linesearchdiving : 0.00 0 0
1800.03/1800.01 c guideddiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.00 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c crossover : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.45 0 0
1800.03/1800.01 c trysol : 0.41 1 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.01 c (at root node) : - 0 0 0.00 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 2566885
1800.03/1800.01 c nodes (total) : 2566885
1800.03/1800.01 c nodes left : 1172141
1800.03/1800.01 c max depth : 1025
1800.03/1800.01 c max depth (total): 1025
1800.03/1800.01 c backtracks : 495500 (19.3%)
1800.03/1800.01 c delayed cutoffs : 383160
1800.03/1800.01 c repropagations : 1807820 (18364517 domain reductions, 298131 cutoffs)
1800.03/1800.01 c avg switch length: 20.87
1800.03/1800.01 c switching time : 537.81
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 25 (25 improvements)
1800.03/1800.01 c First Solution : +6.21000000000000e+02 (in run 1, after 4274 nodes, 1.13 seconds, depth 357, found by <relaxation>)
1800.03/1800.01 c Primal Bound : +1.60000000000000e+01 (in run 1, after 775065 nodes, 373.21 seconds, depth 244, found by <relaxation>)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 0
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694103-1277905544/watcher-2694103-1277905544 -o /tmp/evaluation-result-2694103-1277905544/solver-2694103-1277905544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694103-1277905544.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 5/178 15875 /proc/meminfo: memFree=30611856/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=8160 CPUtime=0 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 131848924 8355840 1466 4089446400 4194304 7136930 140734194282832 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15875/statm: 2040 1466 275 719 0 1319 0 [startup+0.0387879 s] /proc/loadavg: 2.00 2.00 2.00 5/178 15875 /proc/meminfo: memFree=30611856/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=18700 CPUtime=0.03 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 4555 0 0 0 3 0 0 0 25 0 1 0 131848924 19148800 4124 4089446400 4194304 7136930 140734194282832 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 4718 4126 295 719 0 3997 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18700 [startup+0.100785 s] /proc/loadavg: 2.00 2.00 2.00 5/178 15875 /proc/meminfo: memFree=30611856/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=22072 CPUtime=0.09 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 6475 0 0 0 8 1 0 0 25 0 1 0 131848924 22601728 4759 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 5518 4759 358 719 0 4797 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22072 [startup+0.30075 s] /proc/loadavg: 2.00 2.00 2.00 5/178 15875 /proc/meminfo: memFree=30611856/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=24032 CPUtime=0.29 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 9056 0 0 0 28 1 0 0 25 0 1 0 131848924 24608768 5284 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 6008 5284 391 719 0 5287 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24032 [startup+0.700668 s] /proc/loadavg: 2.00 2.00 2.00 5/178 15875 /proc/meminfo: memFree=30611856/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=25976 CPUtime=0.69 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 9551 0 0 0 66 3 0 0 25 0 1 0 131848924 26599424 5779 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 6494 5779 395 719 0 5773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25976 [startup+1.50054 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15876 /proc/meminfo: memFree=30588812/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=27716 CPUtime=1.49 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 9990 0 0 0 143 6 0 0 25 0 1 0 131848924 28381184 6218 4089446400 4194304 7136930 140734194282832 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 6929 6218 395 719 0 6208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27716 [startup+3.10024 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15876 /proc/meminfo: memFree=30585836/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=33212 CPUtime=3.09 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 11394 0 0 0 296 13 0 0 25 0 1 0 131848924 34009088 7622 4089446400 4194304 7136930 140734194282832 18446744073709551615 4223215 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 8303 7622 395 719 0 7582 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33212 [startup+6.30068 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15876 /proc/meminfo: memFree=30570336/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=42376 CPUtime=6.29 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 13689 0 0 0 607 22 0 0 25 0 1 0 131848924 43393024 9917 4089446400 4194304 7136930 140734194282832 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 10594 9917 395 719 0 9873 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42376 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15877 /proc/meminfo: memFree=30548764/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=59412 CPUtime=12.69 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 17932 0 0 0 1229 40 0 0 25 0 1 0 131848924 60837888 14160 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 14853 14160 398 719 0 14132 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59412 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15877 /proc/meminfo: memFree=30502072/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=92624 CPUtime=25.49 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 26340 0 0 0 2472 77 0 0 25 0 1 0 131848924 94846976 22568 4089446400 4194304 7136930 140734194282832 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 23156 22568 398 719 0 22435 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92624 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15877 /proc/meminfo: memFree=30439624/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=137008 CPUtime=51.09 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 36921 0 0 0 4972 137 0 0 25 0 1 0 131848924 140296192 33149 4089446400 4194304 7136930 140734194282832 18446744073709551615 4208928 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 34252 33149 398 719 0 33531 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 137008 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15879 /proc/meminfo: memFree=30272168/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=255816 CPUtime=102.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 65753 0 0 0 9940 290 0 0 25 0 1 0 131848924 261955584 61981 4089446400 4194304 7136930 140734194282832 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 63954 61981 398 719 0 63233 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 255816 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15881 /proc/meminfo: memFree=30112160/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=363788 CPUtime=162.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 91933 0 0 0 15784 446 0 0 25 0 1 0 131848924 372518912 88161 4089446400 4194304 7136930 140734194282832 18446744073709551615 4977166 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 90947 88161 398 719 0 90226 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 363788 [startup+222.301 s] /proc/loadavg: 2.07 2.03 2.01 3/179 15882 /proc/meminfo: memFree=30019216/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=434136 CPUtime=222.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 109538 0 0 0 21669 561 0 0 25 0 1 0 131848924 444555264 105766 4089446400 4194304 7136930 140734194282832 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 108534 105766 398 719 0 107813 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 434136 [startup+282.301 s] /proc/loadavg: 2.02 2.02 2.00 3/179 15883 /proc/meminfo: memFree=29952828/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=480188 CPUtime=282.29 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 120987 0 0 0 27571 658 0 0 25 0 1 0 131848924 491712512 117215 4089446400 4194304 7136930 140734194282832 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 120047 117215 398 719 0 119326 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 480188 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 15885 /proc/meminfo: memFree=29859648/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=566340 CPUtime=342.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 141649 0 0 0 33440 790 0 0 25 0 1 0 131848924 579932160 137877 4089446400 4194304 7136930 140734194282832 18446744073709551615 4999718 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 141585 137877 398 719 0 140864 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 566340 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15887 /proc/meminfo: memFree=29766104/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=662580 CPUtime=402.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 163305 0 0 0 39278 952 0 0 25 0 1 0 131848924 678481920 159533 4089446400 4194304 7136930 140734194282832 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 165645 159533 398 719 0 164924 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 662580 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15889 /proc/meminfo: memFree=29687928/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=731524 CPUtime=462.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 180597 0 0 0 45151 1079 0 0 25 0 1 0 131848924 749080576 176825 4089446400 4194304 7136930 140734194282832 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 182881 176825 398 719 0 182160 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 731524 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15890 /proc/meminfo: memFree=29621432/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=790444 CPUtime=522.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 195649 0 0 0 51017 1213 0 0 25 0 1 0 131848924 809414656 191877 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 197611 191877 398 719 0 196890 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 790444 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15891 /proc/meminfo: memFree=29552820/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=853216 CPUtime=582.3 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 211387 0 0 0 56889 1341 0 0 25 0 1 0 131848924 873693184 207615 4089446400 4194304 7136930 140734194282832 18446744073709551615 4212411 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 213304 207615 398 719 0 212583 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 853216 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15893 /proc/meminfo: memFree=29467464/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=932984 CPUtime=642.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 231498 0 0 0 62751 1481 0 0 25 0 1 0 131848924 955375616 227726 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15875/statm: 233246 227726 398 719 0 232525 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 932984 [startup+702.301 s] ################ # More data... # ################ /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 301420 0 0 0 98163 2068 0 0 25 0 1 0 131848924 1239461888 297648 4089446400 4194304 7136930 140734194282832 18446744073709551615 4660251 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15875/statm: 302603 297648 398 719 0 301882 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1210412 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15913 /proc/meminfo: memFree=29094528/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1233200 CPUtime=1062.31 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 307255 0 0 0 104098 2133 0 0 25 0 1 0 131848924 1262796800 303483 4089446400 4194304 7136930 140734194282832 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15875/statm: 308300 303483 398 719 0 307579 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1233200 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15915 /proc/meminfo: memFree=29042528/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1250472 CPUtime=1122.31 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 311615 0 0 0 110038 2193 0 0 25 0 1 0 131848924 1280483328 307843 4089446400 4194304 7136930 140734194282832 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15875/statm: 312618 307843 398 719 0 311897 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1250472 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15916 /proc/meminfo: memFree=28993616/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1263056 CPUtime=1182.31 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 314814 0 0 0 115980 2251 0 0 25 0 1 0 131848924 1293369344 311042 4089446400 4194304 7136930 140734194282832 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15875/statm: 315764 311042 398 719 0 315043 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1263056 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15918 /proc/meminfo: memFree=28950040/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1275812 CPUtime=1242.31 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 317893 0 0 0 121924 2307 0 0 25 0 1 0 131848924 1306431488 314121 4089446400 4194304 7136930 140734194282832 18446744073709551615 4431489 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15875/statm: 318953 314121 398 719 0 318232 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1275812 [startup+1302.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15920 /proc/meminfo: memFree=28923064/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1282400 CPUtime=1302.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 319525 0 0 0 127870 2362 0 0 25 0 1 0 131848924 1313177600 315753 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15875/statm: 320600 315753 398 719 0 319879 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1282400 [startup+1362.3 s] /proc/loadavg: 2.15 2.04 2.01 3/197 15968 /proc/meminfo: memFree=29806316/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1284888 CPUtime=1362.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 320131 0 0 0 133787 2445 0 0 25 0 1 0 131848924 1315725312 316359 4089446400 4194304 7136930 140734194282832 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 321222 316359 398 719 0 320501 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1284888 [startup+1422.31 s] /proc/loadavg: 2.12 2.05 2.01 3/197 15969 /proc/meminfo: memFree=29775492/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1287236 CPUtime=1422.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 320730 0 0 0 139604 2628 0 0 25 0 1 0 131848924 1318129664 316958 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 321809 316958 398 719 0 321088 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1287236 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.00 3/197 15970 /proc/meminfo: memFree=29699540/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1345048 CPUtime=1482.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 335364 0 0 0 145173 3059 0 0 25 0 1 0 131848924 1377329152 331592 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 336262 331592 398 719 0 335541 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1345048 [startup+1542.3 s] /proc/loadavg: 2.01 2.03 2.00 3/197 15972 /proc/meminfo: memFree=29620512/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1423856 CPUtime=1542.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 351142 0 0 0 150841 3391 0 0 25 0 1 0 131848924 1458028544 347370 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 355964 347370 398 719 0 355243 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1423856 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 15974 /proc/meminfo: memFree=29546668/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1485000 CPUtime=1602.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 366529 0 0 0 156440 3792 0 0 25 0 1 0 131848924 1520640000 362757 4089446400 4194304 7136930 140734194282832 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 371250 362757 398 719 0 370529 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1485000 [startup+1662.3 s] /proc/loadavg: 2.37 2.12 2.04 3/197 15976 /proc/meminfo: memFree=29470988/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1545188 CPUtime=1662.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 381603 0 0 0 162050 4182 0 0 25 0 1 0 131848924 1582272512 377831 4089446400 4194304 7136930 140734194282832 18446744073709551615 4220848 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 386297 377831 398 719 0 385576 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1545188 [startup+1722.3 s] /proc/loadavg: 2.13 2.10 2.03 3/197 15977 /proc/meminfo: memFree=29414400/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1590408 CPUtime=1722.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 393107 0 0 0 167699 4533 0 0 25 0 1 0 131848924 1628577792 389335 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 397602 389335 398 719 0 396881 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1590408 [startup+1782.3 s] /proc/loadavg: 2.05 2.08 2.02 3/197 15978 /proc/meminfo: memFree=29353980/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1635664 CPUtime=1782.32 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 404507 0 0 0 173348 4884 0 0 25 0 1 0 131848924 1674919936 400735 4089446400 4194304 7136930 140734194282832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 408916 400735 398 719 0 408195 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1635664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.07 2.02 3/197 15979 /proc/meminfo: memFree=29343424/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1646072 CPUtime=1800.03 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 407105 0 0 0 175015 4988 0 0 25 0 1 0 131848924 1685577728 403333 4089446400 4194304 7136930 140734194282832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 411518 403333 398 719 0 410797 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1646072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15875 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.07 2.02 3/198 15980 /proc/meminfo: memFree=29343412/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1646072 CPUtime=1801.42 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 407110 0 0 0 175154 4988 0 0 19 0 1 0 131848924 1685577728 403338 4089446400 4194304 7136930 140734194282832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 411518 403338 403 719 0 410797 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1646072 [startup+1801.81 s] /proc/loadavg: 2.03 2.07 2.02 3/198 15980 /proc/meminfo: memFree=29343412/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1646072 CPUtime=1801.83 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 407110 0 0 0 175195 4988 0 0 20 0 1 0 131848924 1685577728 403338 4089446400 4194304 7136930 140734194282832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 411518 403338 403 719 0 410797 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1646072 [startup+1802 s] /proc/loadavg: 2.03 2.07 2.02 3/198 15980 /proc/meminfo: memFree=29343412/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1645556 CPUtime=1802.02 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 14110 0 -1 4202496 407110 0 0 0 175214 4988 0 0 20 0 1 0 131848924 1685049344 403209 4089446400 4194304 7136930 140734194282832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 411389 403209 403 719 0 410668 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1645556 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.1 CPU user time (s): 1752.15 CPU system time (s): 49.9434 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1646072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1752.15 system time used= 49.9434 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 407110 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= 2482 runsolver used 3.13752 second user time and 6.08907 second system time The end
Begin job on node140 at 2010-06-30 15:45:44 IDJOB=2694103 IDBENCH=78930 IDSOLVER=1206 FILE ID=node140/2694103-1277905544 PBS_JOBID= 11197154 Free space on /tmp= 74196 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694103-1277905544/watcher-2694103-1277905544 -o /tmp/evaluation-result-2694103-1277905544/solver-2694103-1277905544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694103-1277905544.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5ae7a85bf99e064da8ccbcbd4c939a34 RANDOM SEED=2059131812 node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5421.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30612508 kB Buffers: 189372 kB Cached: 1279060 kB SwapCached: 0 kB Active: 1474420 kB Inactive: 720624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30612508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 726432 kB Mapped: 16288 kB Slab: 79704 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 889088 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74196 MiB End job on node140 at 2010-06-30 16:15:47