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.11 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo |
| MD5SUM | 404f4a35cd4ec5708f20e119eb7d26f2 |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 640.218 |
| 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 | 899 |
| 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 | 46330 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46329 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 749 |
| 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-2694179-1277909516.wbo>
0.00/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.09 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.12 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.16 c (0.1s) probing: 101/1063 (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 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.16 c 1117 implications, 11 cliques
0.09/0.16 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 constraints
0.09/0.16 c 832 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 11 constraints of type <setppc>
0.09/0.16 c 832 constraints of type <linear>
0.09/0.16 c 1673 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.12
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.17 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.17 c 0.1s| 1 | 2 | 0 | - |7441k| 0 | - |1895 |3349 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.91 o 651
0.89/0.91 c * 0.8s| 3144 | 2809 | 0 | 0.0 |9477k| 998 | - |1895 |3755 | 0 | 0 | 0 | 613 | 0 | 0.000000e+00 | 6.510000e+02 | Inf
2.59/2.66 c 2.5s| 10000 | 8750 | 0 | 0.0 | 14M| 998 | - |1895 |4661 | 0 | 0 | 0 |3373 | 0 | 0.000000e+00 | 6.510000e+02 | Inf
4.89/4.98 o 629
4.89/4.98 c * 4.8s| 16138 | 11999 | 0 | 0.0 | 19M| 998 | - |1895 |6951 | 0 | 0 | 0 |9331 | 0 | 0.000000e+00 | 6.290000e+02 | Inf
4.99/5.03 o 581
4.99/5.03 c * 4.8s| 16306 | 12124 | 0 | 0.0 | 19M| 998 | - |1895 |6919 | 0 | 0 | 0 |9354 | 0 | 0.000000e+00 | 5.810000e+02 | Inf
4.99/5.07 o 575
4.99/5.07 c * 4.8s| 16402 | 12214 | 0 | 0.0 | 19M| 998 | - |1895 |6873 | 0 | 0 | 0 |9356 | 0 | 0.000000e+00 | 5.750000e+02 | Inf
4.99/5.07 o 495
4.99/5.07 c * 4.8s| 16403 | 12165 | 0 | 0.0 | 19M| 998 | - |1895 |6873 | 0 | 0 | 0 |9356 | 0 | 0.000000e+00 | 4.950000e+02 | Inf
5.09/5.12 o 475
5.09/5.12 c * 4.9s| 16566 | 12315 | 0 | 0.0 | 19M| 998 | - |1895 |6816 | 0 | 0 | 0 |9377 | 0 | 0.000000e+00 | 4.750000e+02 | Inf
5.09/5.12 o 389
5.09/5.12 c * 4.9s| 16567 | 12292 | 0 | 0.0 | 19M| 998 | - |1895 |6816 | 0 | 0 | 0 |9377 | 0 | 0.000000e+00 | 3.890000e+02 | Inf
5.19/5.27 o 284
5.19/5.27 c * 5.0s| 16986 | 12666 | 0 | 0.0 | 19M| 998 | - |1895 |6678 | 0 | 0 | 0 |9487 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
5.40/5.44 o 266
5.40/5.44 c * 5.2s| 17503 | 13134 | 0 | 0.0 | 19M| 998 | - |1895 |6317 | 0 | 0 | 0 |9633 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
5.59/5.65 o 255
5.59/5.65 c * 5.4s| 18152 | 13733 | 0 | 0.0 | 20M| 998 | - |1895 |5838 | 0 | 0 | 0 |9773 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
5.59/5.65 o 199
5.59/5.65 c * 5.4s| 18153 | 13682 | 0 | 0.0 | 20M| 998 | - |1895 |5838 | 0 | 0 | 0 |9773 | 0 | 0.000000e+00 | 1.990000e+02 | Inf
5.69/5.78 o 186
5.69/5.78 c * 5.5s| 18519 | 13980 | 0 | 0.0 | 20M| 998 | - |1895 |5504 | 0 | 0 | 0 |9849 | 0 | 0.000000e+00 | 1.860000e+02 | Inf
5.89/5.93 o 163
5.89/5.93 c * 5.7s| 19007 | 14398 | 0 | 0.0 | 20M| 998 | - |1895 |5275 | 0 | 0 | 0 |9995 | 0 | 0.000000e+00 | 1.630000e+02 | Inf
6.19/6.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.24 c 6.0s| 20000 | 15300 | 0 | 0.0 | 20M| 998 | - |1895 |4848 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
9.09/9.14 c 8.8s| 30000 | 23799 | 0 | 0.0 | 27M| 998 | - |1895 |4749 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
12.39/12.44 c 12.0s| 40000 | 31358 | 0 | 0.0 | 34M| 998 | - |1895 |5515 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
15.59/15.68 c 15.1s| 50000 | 39058 | 0 | 0.0 | 41M| 998 | - |1895 |5846 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
18.99/19.02 c 18.3s| 60000 | 46532 | 0 | 0.0 | 48M| 998 | - |1895 |6530 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
22.49/22.53 c 21.7s| 70000 | 53851 | 0 | 0.0 | 55M| 998 | - |1895 |7431 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
26.30/26.35 c 25.4s| 80000 | 60908 | 0 | 0.0 | 62M| 998 | - |1895 |8363 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
30.18/30.29 c 29.2s| 90000 | 67753 | 0 | 0.0 | 70M| 998 | - |1895 |9039 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
34.89/34.95 c 33.8s|100000 | 73999 | 0 | 0.0 | 77M| 998 | - |1895 | 10k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
41.19/41.28 c 40.0s|110000 | 78643 | 0 | 0.0 | 86M| 998 | - |1895 | 13k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
48.59/48.66 c 47.2s|120000 | 83224 | 0 | 0.0 | 91M| 998 | - |1895 |9906 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
48.79/48.87 o 142
48.79/48.87 c *47.4s|120593 | 83710 | 0 | 0.0 | 91M| 998 | - |1895 |9060 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
49.40/49.43 o 138
49.40/49.43 c *48.0s|122084 | 85032 | 0 | 0.0 | 92M| 998 | - |1895 |7084 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
49.79/49.83 o 107
49.79/49.83 c *48.4s|123129 | 85744 | 0 | 0.0 | 92M| 998 | - |1895 |6403 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
52.39/52.48 c 50.9s|130000 | 91741 | 0 | 0.0 | 98M| 998 | - |1895 |5879 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
55.09/55.13 o 92
55.09/55.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.09/55.13 c *53.5s|136935 | 96819 | 0 | 0.0 | 104M| 998 | - |1895 |6438 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
56.39/56.42 c 54.8s|140000 | 99271 | 0 | 0.0 | 108M| 998 | - |1895 |6593 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
60.79/60.82 c 59.0s|150000 |107220 | 0 | 0.0 | 122M| 998 | - |1895 |6166 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
64.19/64.26 c 62.4s|160000 |115669 | 0 | 0.0 | 133M| 998 | - |1895 |7090 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
68.19/68.24 c 66.2s|170000 |123620 | 0 | 0.0 | 145M| 998 | - |1895 |7250 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
71.79/71.88 c 69.7s|180000 |131997 | 0 | 0.0 | 154M| 998 | - |1895 |7190 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
75.69/75.76 c 73.5s|190000 |139723 | 0 | 0.0 | 164M| 998 | - |1895 |7384 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
79.29/79.39 c 77.0s|200000 |147989 | 0 | 0.0 | 172M| 998 | - |1895 |8074 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
81.89/81.98 o 84
81.89/81.98 c *79.5s|206575 |149305 | 0 | 0.0 | 160M| 998 | - |1895 |8255 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
83.49/83.59 c 81.0s|210000 |151726 | 0 | 0.0 | 161M| 998 | - |1895 |7018 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
87.29/87.30 c 84.6s|220000 |159608 | 0 | 0.0 | 168M| 998 | - |1895 |7984 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
90.99/91.08 c 88.3s|230000 |167173 | 0 | 0.0 | 174M| 998 | - |1895 |7372 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
94.99/95.06 c 92.2s|240000 |174172 | 0 | 0.0 | 180M| 998 | - |1895 |8393 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
98.29/98.34 c 95.3s|250000 |182187 | 0 | 0.0 | 187M| 998 | - |1895 |8042 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
102.08/102.20 c 99.1s|260000 |189947 | 0 | 0.0 | 193M| 998 | - |1895 |4397 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
105.29/105.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.29/105.37 c 102s|270000 |198162 | 0 | 0.0 | 200M| 998 | - |1895 |5003 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
108.89/108.95 c 106s|280000 |205010 | 0 | 0.0 | 208M| 998 | - |1895 |5501 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
112.69/112.77 c 109s|290000 |211473 | 0 | 0.0 | 215M| 998 | - |1895 |5465 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
116.59/116.64 c 113s|300000 |217863 | 0 | 0.0 | 223M| 998 | - |1895 |5779 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
120.59/120.68 c 117s|310000 |224080 | 0 | 0.0 | 230M| 998 | - |1895 |5696 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
124.99/125.05 c 121s|320000 |229752 | 0 | 0.0 | 238M| 998 | - |1895 |6147 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
129.19/129.25 c 125s|330000 |235721 | 0 | 0.0 | 245M| 998 | - |1895 |6255 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
133.59/133.68 c 129s|340000 |241443 | 0 | 0.0 | 253M| 998 | - |1895 |6391 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
137.79/137.86 c 133s|350000 |247452 | 0 | 0.0 | 261M| 998 | - |1895 |6390 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
142.09/142.12 c 137s|360000 |253285 | 0 | 0.0 | 268M| 998 | - |1895 |7223 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
146.49/146.56 c 142s|370000 |258899 | 0 | 0.0 | 276M| 998 | - |1895 |7254 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
151.09/151.12 c 146s|380000 |264416 | 0 | 0.0 | 283M| 998 | - |1895 |7267 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
155.59/155.62 c 150s|390000 |270096 | 0 | 0.0 | 291M| 998 | - |1895 |7185 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
160.30/160.36 c 155s|400000 |275341 | 0 | 0.0 | 298M| 998 | - |1895 |8020 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
165.19/165.26 c 160s|410000 |280459 | 0 | 0.0 | 305M| 998 | - |1895 |7883 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
170.29/170.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.29/170.34 c 165s|420000 |285456 | 0 | 0.0 | 313M| 998 | - |1895 |7960 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
175.39/175.48 c 170s|430000 |290387 | 0 | 0.0 | 320M| 998 | - |1895 |8959 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
180.80/180.88 c 175s|440000 |294984 | 0 | 0.0 | 328M| 998 | - |1895 |9023 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
186.60/186.63 c 180s|450000 |299221 | 0 | 0.0 | 335M| 998 | - |1895 |8850 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
191.69/191.79 c 185s|460000 |304313 | 0 | 0.0 | 342M| 998 | - |1895 |9673 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
197.49/197.53 c 191s|470000 |308663 | 0 | 0.0 | 349M| 998 | - |1895 |9624 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
203.29/203.38 c 196s|480000 |312922 | 0 | 0.0 | 356M| 998 | - |1895 |9222 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
208.90/208.96 c 202s|490000 |317480 | 0 | 0.0 | 363M| 998 | - |1895 | 10k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
215.09/215.19 c 208s|500000 |321288 | 0 | 0.0 | 369M| 998 | - |1895 | 10k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
221.69/221.79 c 214s|510000 |324884 | 0 | 0.0 | 376M| 998 | - |1895 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
227.99/228.05 c 220s|520000 |328965 | 0 | 0.0 | 383M| 998 | - |1895 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
234.69/234.72 c 227s|530000 |332652 | 0 | 0.0 | 389M| 998 | - |1895 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
241.49/241.59 c 234s|540000 |336198 | 0 | 0.0 | 395M| 998 | - |1895 | 12k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
248.90/248.93 c 241s|550000 |339377 | 0 | 0.0 | 401M| 998 | - |1895 | 13k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
256.09/256.11 c 248s|560000 |342963 | 0 | 0.0 | 406M| 998 | - |1895 | 13k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
264.50/264.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.50/264.59 c 256s|570000 |345486 | 0 | 0.0 | 412M| 998 | - |1895 | 16k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
274.79/274.82 c 266s|580000 |346962 | 0 | 0.0 | 416M| 998 | - |1895 | 18k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
289.90/289.90 c 281s|590000 |345590 | 0 | 0.0 | 421M| 998 | - |1895 | 25k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
302.89/302.95 c 294s|600000 |347909 | 0 | 0.0 | 417M| 998 | - |1895 |6028 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
304.50/304.60 o 75
304.50/304.60 c * 295s|604616 |351417 | 0 | 0.0 | 418M| 998 | - |1895 |5258 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
306.40/306.49 c 297s|610000 |356013 | 0 | 0.0 | 424M| 998 | - |1895 |5341 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
310.00/310.03 c 300s|620000 |364368 | 0 | 0.0 | 434M| 998 | - |1895 |5868 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
312.00/312.06 o 74
312.00/312.06 c * 302s|625589 |368943 | 0 | 0.0 | 440M| 998 | - |1895 |6058 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
313.70/313.71 c 304s|630000 |372585 | 0 | 0.0 | 444M| 998 | - |1895 |6097 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
317.59/317.62 c 308s|640000 |380767 | 0 | 0.0 | 453M| 998 | - |1895 |4674 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
321.20/321.22 c 311s|650000 |388888 | 0 | 0.0 | 464M| 998 | - |1895 |5375 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
324.90/324.91 c 314s|660000 |396974 | 0 | 0.0 | 474M| 998 | - |1895 |5623 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
325.80/325.84 o 49
325.80/325.84 c * 315s|662308 |393103 | 0 | 0.0 | 453M| 998 | - |1895 |5688 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
325.80/325.85 o 48
325.80/325.85 c * 315s|662309 |392942 | 0 | 0.0 | 452M| 998 | - |1895 |5688 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
328.99/329.01 c 318s|670000 |398911 | 0 | 0.0 | 460M| 998 | - |1895 |4257 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
332.79/332.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.79/332.81 c 322s|680000 |406393 | 0 | 0.0 | 469M| 998 | - |1895 |5281 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
336.80/336.81 c 326s|690000 |413605 | 0 | 0.0 | 478M| 998 | - |1895 |5688 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
340.70/340.72 c 330s|700000 |420994 | 0 | 0.0 | 487M| 998 | - |1895 |5982 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
344.89/344.98 c 334s|710000 |428073 | 0 | 0.0 | 495M| 998 | - |1895 |4695 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
349.10/349.19 c 338s|720000 |434990 | 0 | 0.0 | 505M| 998 | - |1895 |6175 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
353.50/353.53 c 342s|730000 |441875 | 0 | 0.0 | 515M| 998 | - |1895 |6667 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
358.00/358.09 c 346s|740000 |448427 | 0 | 0.0 | 525M| 998 | - |1895 |7263 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
362.90/362.94 c 351s|750000 |454666 | 0 | 0.0 | 535M| 998 | - |1895 |7360 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
365.90/365.96 o 37
365.90/365.96 c * 354s|756184 |454054 | 0 | 0.0 | 522M| 998 | - |1895 |7941 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
367.99/368.05 c 356s|760000 |456153 | 0 | 0.0 | 525M| 998 | - |1895 |7508 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
373.70/373.79 c 361s|770000 |461165 | 0 | 0.0 | 535M| 998 | - |1895 |8164 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
381.00/381.08 c 368s|780000 |464413 | 0 | 0.0 | 545M| 998 | - |1895 | 10k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
385.90/385.94 c 373s|790000 |470441 | 0 | 0.0 | 550M| 998 | - |1895 |5696 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
389.30/389.30 c 376s|800000 |478536 | 0 | 0.0 | 557M| 998 | - |1895 |5401 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
392.60/392.61 c 379s|810000 |486496 | 0 | 0.0 | 564M| 998 | - |1895 |6142 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
396.00/396.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.00/396.08 c 382s|820000 |494244 | 0 | 0.0 | 572M| 998 | - |1895 |6636 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
399.69/399.70 c 386s|830000 |501728 | 0 | 0.0 | 579M| 998 | - |1895 |6961 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
403.40/403.43 c 390s|840000 |509048 | 0 | 0.0 | 586M| 998 | - |1895 |7477 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
407.40/407.42 c 393s|850000 |516093 | 0 | 0.0 | 593M| 998 | - |1895 |7821 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
411.49/411.58 c 397s|860000 |522928 | 0 | 0.0 | 601M| 998 | - |1895 |8065 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
416.10/416.11 c 402s|870000 |529320 | 0 | 0.0 | 609M| 998 | - |1895 |8847 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
420.70/420.75 c 406s|880000 |535658 | 0 | 0.0 | 616M| 998 | - |1895 |9258 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
425.79/425.81 c 411s|890000 |541501 | 0 | 0.0 | 625M| 998 | - |1895 |9979 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
431.30/431.31 c 416s|900000 |546792 | 0 | 0.0 | 633M| 998 | - |1895 | 10k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
437.20/437.30 c 422s|910000 |551609 | 0 | 0.0 | 641M| 998 | - |1895 | 11k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
443.80/443.89 c 428s|920000 |555462 | 0 | 0.0 | 646M| 998 | - |1895 |7114 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
447.00/447.05 c 431s|930000 |563716 | 0 | 0.0 | 653M| 998 | - |1895 |6972 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
450.50/450.51 c 435s|940000 |571570 | 0 | 0.0 | 660M| 998 | - |1895 |7010 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
453.90/453.93 c 438s|950000 |579408 | 0 | 0.0 | 667M| 998 | - |1895 |7339 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
457.50/457.57 c 441s|960000 |586885 | 0 | 0.0 | 674M| 998 | - |1895 |7766 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
461.29/461.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.29/461.37 c 445s|970000 |594194 | 0 | 0.0 | 681M| 998 | - |1895 |8282 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
465.40/465.48 c 449s|980000 |601105 | 0 | 0.0 | 688M| 998 | - |1895 |8720 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
469.71/469.75 c 453s|990000 |607849 | 0 | 0.0 | 696M| 998 | - |1895 |9430 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
474.10/474.19 c 457s| 1000k|614458 | 0 | 0.0 | 703M| 998 | - |1895 |9955 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
479.00/479.02 c 462s| 1010k|620627 | 0 | 0.0 | 711M| 998 | - |1895 | 10k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
484.40/484.43 c 467s| 1020k|626123 | 0 | 0.0 | 719M| 998 | - |1895 | 11k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
490.70/490.78 c 473s| 1030k|630660 | 0 | 0.0 | 726M| 998 | - |1895 | 12k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
498.10/498.15 c 480s| 1040k|633824 | 0 | 0.0 | 731M| 998 | - |1895 |8337 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
501.40/501.48 c 484s| 1050k|641927 | 0 | 0.0 | 738M| 998 | - |1895 |8133 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
504.80/504.88 c 487s| 1060k|649834 | 0 | 0.0 | 744M| 998 | - |1895 |8428 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
508.50/508.51 c 490s| 1070k|657469 | 0 | 0.0 | 751M| 998 | - |1895 |8727 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
512.50/512.52 c 494s| 1080k|664654 | 0 | 0.0 | 758M| 998 | - |1895 |8848 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
516.60/516.60 c 498s| 1090k|671668 | 0 | 0.0 | 765M| 998 | - |1895 |9213 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
521.00/521.02 c 502s| 1100k|678395 | 0 | 0.0 | 772M| 998 | - |1895 |9555 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
525.60/525.64 c 507s| 1110k|684791 | 0 | 0.0 | 779M| 998 | - |1895 |9786 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
530.40/530.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.40/530.46 c 511s| 1120k|690944 | 0 | 0.0 | 786M| 998 | - |1895 |9730 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
535.80/535.82 c 516s| 1130k|696341 | 0 | 0.0 | 794M| 998 | - |1895 | 10k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
541.11/541.17 c 522s| 1140k|701790 | 0 | 0.0 | 801M| 998 | - |1895 | 10k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
547.10/547.16 c 527s| 1150k|706460 | 0 | 0.0 | 808M| 998 | - |1895 | 11k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
554.00/554.02 c 534s| 1160k|710179 | 0 | 0.0 | 814M| 998 | - |1895 | 11k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
561.01/561.09 c 541s| 1170k|713657 | 0 | 0.0 | 819M| 998 | - |1895 |8317 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
565.00/565.07 c 545s| 1180k|721042 | 0 | 0.0 | 826M| 998 | - |1895 |8922 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
569.20/569.27 c 549s| 1190k|728047 | 0 | 0.0 | 832M| 998 | - |1895 |9376 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
573.80/573.82 c 553s| 1200k|734577 | 0 | 0.0 | 839M| 998 | - |1895 |9978 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
578.60/578.66 c 558s| 1210k|740744 | 0 | 0.0 | 845M| 998 | - |1895 | 10k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
584.11/584.17 c 563s| 1220k|746160 | 0 | 0.0 | 852M| 998 | - |1895 | 10k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
589.90/589.98 c 569s| 1230k|751088 | 0 | 0.0 | 857M| 998 | - |1895 | 11k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
596.70/596.70 c 575s| 1240k|754952 | 0 | 0.0 | 863M| 998 | - |1895 | 12k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
604.51/604.52 c 583s| 1250k|757516 | 0 | 0.0 | 867M| 998 | - |1895 | 10k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
608.10/608.14 c 586s| 1260k|765224 | 0 | 0.0 | 873M| 998 | - |1895 |9037 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
612.00/612.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.00/612.02 c 590s| 1270k|772540 | 0 | 0.0 | 880M| 998 | - |1895 |9747 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
616.20/616.26 c 594s| 1280k|779467 | 0 | 0.0 | 886M| 998 | - |1895 | 10k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
620.80/620.82 c 599s| 1290k|785901 | 0 | 0.0 | 893M| 998 | - |1895 | 10k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
625.60/625.65 c 603s| 1300k|791982 | 0 | 0.0 | 899M| 998 | - |1895 | 11k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
630.91/630.99 c 608s| 1310k|797454 | 0 | 0.0 | 905M| 998 | - |1895 | 11k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
637.10/637.18 c 614s| 1320k|801935 | 0 | 0.0 | 911M| 998 | - |1895 | 11k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
643.80/643.82 c 621s| 1330k|805805 | 0 | 0.0 | 917M| 998 | - |1895 | 12k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
651.51/651.54 c 628s| 1340k|808830 | 0 | 0.0 | 920M| 998 | - |1895 |9244 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
654.81/654.87 c 632s| 1350k|816795 | 0 | 0.0 | 927M| 998 | - |1895 |9322 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
658.30/658.34 c 635s| 1360k|824498 | 0 | 0.0 | 933M| 998 | - |1895 |9868 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
662.00/662.06 c 638s| 1370k|831973 | 0 | 0.0 | 940M| 998 | - |1895 | 10k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
666.00/666.09 c 642s| 1380k|839074 | 0 | 0.0 | 946M| 998 | - |1895 | 11k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
670.60/670.67 c 647s| 1390k|845556 | 0 | 0.0 | 953M| 998 | - |1895 | 11k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
676.01/676.00 c 652s| 1400k|851221 | 0 | 0.0 | 960M| 998 | - |1895 | 12k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
682.40/682.46 c 658s| 1410k|855776 | 0 | 0.0 | 967M| 998 | - |1895 | 13k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
689.81/689.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.81/689.86 c 665s| 1420k|859353 | 0 | 0.0 | 974M| 998 | - |1895 | 15k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
696.01/696.00 c 671s| 1430k|864843 | 0 | 0.0 | 976M| 998 | - |1895 |4581 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
699.51/699.56 c 675s| 1440k|872739 | 0 | 0.0 | 984M| 998 | - |1895 |5001 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
703.11/703.13 c 678s| 1450k|880624 | 0 | 0.0 | 991M| 998 | - |1895 |4458 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
706.61/706.64 c 682s| 1460k|888644 | 0 | 0.0 | 999M| 998 | - |1895 |4736 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
710.51/710.50 c 685s| 1470k|896116 | 0 | 0.0 |1008M| 998 | - |1895 |5836 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
714.70/714.71 c 689s| 1480k|903048 | 0 | 0.0 |1015M| 998 | - |1895 |4932 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
717.90/717.92 c 692s| 1490k|911442 | 0 | 0.0 |1022M| 998 | - |1895 |5256 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
721.51/721.50 c 696s| 1500k|919194 | 0 | 0.0 |1030M| 998 | - |1895 |6132 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
725.91/725.96 c 700s| 1510k|925449 | 0 | 0.0 |1038M| 998 | - |1895 |7223 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
728.90/728.95 c 703s| 1520k|934082 | 0 | 0.0 |1043M| 998 | - |1895 |5614 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
732.00/732.02 c 706s| 1530k|942520 | 0 | 0.0 |1050M| 998 | - |1895 |5949 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
735.21/735.24 c 709s| 1540k|950693 | 0 | 0.0 |1057M| 998 | - |1895 |6455 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
738.80/738.83 c 712s| 1550k|958285 | 0 | 0.0 |1065M| 998 | - |1895 |7397 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
743.20/743.22 c 717s| 1560k|964920 | 0 | 0.0 |1073M| 998 | - |1895 |9048 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
747.60/747.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.60/747.65 c 721s| 1570k|971665 | 0 | 0.0 |1079M| 998 | - |1895 |4087 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
751.80/751.86 c 725s| 1580k|978267 | 0 | 0.0 |1087M| 998 | - |1895 |5625 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
757.41/757.45 c 730s| 1590k|982763 | 0 | 0.0 |1094M| 998 | - |1895 |6266 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
763.51/763.54 c 736s| 1600k|986850 | 0 | 0.0 |1101M| 998 | - |1895 |6167 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
769.70/769.71 c 742s| 1610k|990717 | 0 | 0.0 |1108M| 998 | - |1895 |7108 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
776.01/776.06 c 748s| 1620k|994420 | 0 | 0.0 |1114M| 998 | - |1895 |7362 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
782.90/782.97 c 755s| 1630k|997445 | 0 | 0.0 |1121M| 998 | - |1895 |7666 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
789.91/789.91 c 762s| 1640k| 1000k| 0 | 0.0 |1127M| 998 | - |1895 |7465 | 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
796.41/796.41 c 768s| 1650k| 1004k| 0 | 0.0 |1133M| 998 | - |1895 |6521 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
802.91/802.94 c 775s| 1660k| 1007k| 0 | 0.0 |1139M| 998 | - |1895 |8810 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
810.11/810.15 c 782s| 1670k| 1010k| 0 | 0.0 |1144M| 998 | - |1895 |8603 | 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
816.81/816.87 c 788s| 1680k| 1013k| 0 | 0.0 |1150M| 998 | - |1895 |7249 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
824.21/824.27 c 795s| 1690k| 1016k| 0 | 0.0 |1156M| 998 | - |1895 |9300 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
831.61/831.65 c 803s| 1700k| 1018k| 0 | 0.0 |1161M| 998 | - |1895 |8730 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
838.60/838.62 c 809s| 1710k| 1022k| 0 | 0.0 |1167M| 998 | - |1895 |9390 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
846.51/846.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.51/846.54 c 817s| 1720k| 1024k| 0 | 0.0 |1172M| 998 | - |1895 |9843 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
853.62/853.64 c 824s| 1730k| 1027k| 0 | 0.0 |1178M| 998 | - |1895 |9876 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
862.00/862.06 c 832s| 1740k| 1028k| 0 | 0.0 |1183M| 998 | - |1895 | 10k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
869.51/869.52 c 840s| 1750k| 1032k| 0 | 0.0 |1188M| 998 | - |1895 | 10k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
878.31/878.36 c 848s| 1760k| 1033k| 0 | 0.0 |1192M| 998 | - |1895 | 11k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
886.21/886.21 c 856s| 1770k| 1036k| 0 | 0.0 |1196M| 998 | - |1895 |8046 | 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
895.42/895.46 c 865s| 1780k| 1037k| 0 | 0.0 |1201M| 998 | - |1895 | 11k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
903.71/903.70 c 873s| 1790k| 1039k| 0 | 0.0 |1205M| 998 | - |1895 |8420 | 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
912.70/912.75 c 882s| 1800k| 1040k| 0 | 0.0 |1210M| 998 | - |1895 | 11k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
921.41/921.45 c 891s| 1810k| 1042k| 0 | 0.0 |1213M| 998 | - |1895 |8542 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
931.21/931.26 c 900s| 1820k| 1043k| 0 | 0.0 |1218M| 998 | - |1895 | 12k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
939.91/939.96 c 909s| 1830k| 1045k| 0 | 0.0 |1222M| 998 | - |1895 |9351 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
950.41/950.46 c 919s| 1840k| 1045k| 0 | 0.0 |1225M| 998 | - |1895 | 12k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
959.61/959.65 c 928s| 1850k| 1048k| 0 | 0.0 |1230M| 998 | - |1895 | 11k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
970.51/970.52 c 939s| 1860k| 1047k| 0 | 0.0 |1231M| 998 | - |1895 | 12k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
980.81/980.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.81/980.81 c 949s| 1870k| 1049k| 0 | 0.0 |1237M| 998 | - |1895 | 13k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
992.31/992.36 c 960s| 1880k| 1049k| 0 | 0.0 |1238M| 998 | - |1895 | 13k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1003.31/1003.35 c 971s| 1890k| 1050k| 0 | 0.0 |1243M| 998 | - |1895 | 14k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1017.32/1017.30 c 984s| 1900k| 1050k| 0 | 0.0 |1243M| 998 | - |1895 | 14k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1029.91/1029.97 c 997s| 1910k| 1051k| 0 | 0.0 |1248M| 998 | - |1895 | 13k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1044.41/1044.45 c 1011s| 1920k| 1050k| 0 | 0.0 |1248M| 998 | - |1895 | 15k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1057.82/1057.86 c 1024s| 1930k| 1052k| 0 | 0.0 |1252M| 998 | - |1895 | 13k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1073.62/1073.63 c 1039s| 1940k| 1050k| 0 | 0.0 |1253M| 998 | - |1895 | 17k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1089.31/1089.34 c 1054s| 1950k| 1050k| 0 | 0.0 |1254M| 998 | - |1895 | 15k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1105.81/1105.82 c 1070s| 1960k| 1049k| 0 | 0.0 |1257M| 998 | - |1895 | 16k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1123.21/1123.24 c 1087s| 1970k| 1048k| 0 | 0.0 |1257M| 998 | - |1895 | 20k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1141.82/1141.89 c 1106s| 1980k| 1046k| 0 | 0.0 |1256M| 998 | - |1895 | 20k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1161.32/1161.33 c 1124s| 1990k| 1045k| 0 | 0.0 |1257M| 998 | - |1895 | 20k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1183.82/1183.89 c 1147s| 2000k| 1043k| 0 | 0.0 |1258M| 998 | - |1895 | 23k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1209.62/1209.66 c 1172s| 2010k| 1040k| 0 | 0.0 |1259M| 998 | - |1895 | 27k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1240.41/1240.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.41/1240.42 c 1202s| 2020k| 1036k| 0 | 0.0 |1259M| 998 | - |1895 | 31k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1279.62/1279.68 c 1241s| 2030k| 1030k| 0 | 0.0 |1258M| 998 | - |1895 | 37k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1332.52/1332.53 c 1293s| 2040k| 1023k| 0 | 0.0 |1256M| 998 | - |1895 | 47k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1394.42/1394.46 c 1354s| 2050k| 1015k| 0 | 0.0 |1242M| 998 | - |1895 | 40k| 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1401.92/1401.93 c 1361s| 2060k| 1023k| 0 | 0.0 |1237M| 998 | - |1895 |7607 | 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1406.42/1406.44 c 1365s| 2070k| 1030k| 0 | 0.0 |1245M| 998 | - |1895 |6343 | 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1410.82/1410.88 c 1369s| 2080k| 1037k| 0 | 0.0 |1252M| 998 | - |1895 |7099 | 0 | 0 | 0 |2120k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1415.72/1415.70 c 1374s| 2090k| 1044k| 0 | 0.0 |1260M| 998 | - |1895 |7481 | 0 | 0 | 0 |2126k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1420.62/1420.66 c 1378s| 2100k| 1051k| 0 | 0.0 |1269M| 998 | - |1895 |8088 | 0 | 0 | 0 |2131k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1425.62/1425.62 c 1383s| 2110k| 1058k| 0 | 0.0 |1277M| 998 | - |1895 |8497 | 0 | 0 | 0 |2137k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1430.52/1430.55 c 1387s| 2120k| 1065k| 0 | 0.0 |1285M| 998 | - |1895 |9008 | 0 | 0 | 0 |2142k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1435.72/1435.70 c 1392s| 2130k| 1072k| 0 | 0.0 |1293M| 998 | - |1895 |8104 | 0 | 0 | 0 |2148k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1440.72/1440.72 c 1397s| 2140k| 1079k| 0 | 0.0 |1302M| 998 | - |1895 |8768 | 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1446.02/1446.04 c 1402s| 2150k| 1086k| 0 | 0.0 |1311M| 998 | - |1895 |9097 | 0 | 0 | 0 |2160k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1451.13/1451.14 c 1407s| 2160k| 1093k| 0 | 0.0 |1319M| 998 | - |1895 |9478 | 0 | 0 | 0 |2165k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1456.62/1456.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.62/1456.67 c 1412s| 2170k| 1099k| 0 | 0.0 |1327M| 998 | - |1895 | 10k| 0 | 0 | 0 |2172k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1462.43/1462.44 c 1417s| 2180k| 1106k| 0 | 0.0 |1336M| 998 | - |1895 | 10k| 0 | 0 | 0 |2178k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1468.02/1468.03 c 1422s| 2190k| 1112k| 0 | 0.0 |1344M| 998 | - |1895 | 10k| 0 | 0 | 0 |2184k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1474.02/1474.02 c 1428s| 2200k| 1119k| 0 | 0.0 |1353M| 998 | - |1895 | 10k| 0 | 0 | 0 |2190k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1479.43/1479.45 c 1433s| 2210k| 1125k| 0 | 0.0 |1361M| 998 | - |1895 | 11k| 0 | 0 | 0 |2196k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1485.52/1485.53 c 1439s| 2220k| 1132k| 0 | 0.0 |1369M| 998 | - |1895 | 11k| 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1491.53/1491.53 c 1444s| 2230k| 1138k| 0 | 0.0 |1378M| 998 | - |1895 | 11k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1497.83/1497.85 c 1450s| 2240k| 1144k| 0 | 0.0 |1386M| 998 | - |1895 | 12k| 0 | 0 | 0 |2216k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1504.22/1504.22 c 1456s| 2250k| 1151k| 0 | 0.0 |1395M| 998 | - |1895 | 12k| 0 | 0 | 0 |2223k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1510.12/1510.13 c 1462s| 2260k| 1157k| 0 | 0.0 |1403M| 998 | - |1895 | 12k| 0 | 0 | 0 |2229k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1517.13/1517.18 c 1468s| 2270k| 1163k| 0 | 0.0 |1412M| 998 | - |1895 | 12k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1523.33/1523.39 c 1474s| 2280k| 1169k| 0 | 0.0 |1420M| 998 | - |1895 | 13k| 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1530.72/1530.74 c 1481s| 2290k| 1175k| 0 | 0.0 |1428M| 998 | - |1895 | 13k| 0 | 0 | 0 |2250k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1537.43/1537.42 c 1487s| 2300k| 1181k| 0 | 0.0 |1436M| 998 | - |1895 | 13k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1544.33/1544.34 c 1494s| 2310k| 1187k| 0 | 0.0 |1445M| 998 | - |1895 | 14k| 0 | 0 | 0 |2265k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1551.83/1551.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.83/1551.87 c 1501s| 2320k| 1193k| 0 | 0.0 |1452M| 998 | - |1895 | 14k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1558.32/1558.37 c 1507s| 2330k| 1199k| 0 | 0.0 |1461M| 998 | - |1895 | 15k| 0 | 0 | 0 |2279k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1566.12/1566.16 c 1515s| 2340k| 1204k| 0 | 0.0 |1469M| 998 | - |1895 | 15k| 0 | 0 | 0 |2287k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1573.13/1573.15 c 1521s| 2350k| 1210k| 0 | 0.0 |1477M| 998 | - |1895 | 15k| 0 | 0 | 0 |2294k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1579.73/1579.78 c 1527s| 2360k| 1216k| 0 | 0.0 |1486M| 998 | - |1895 | 16k| 0 | 0 | 0 |2301k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1588.53/1588.54 c 1536s| 2370k| 1221k| 0 | 0.0 |1494M| 998 | - |1895 | 15k| 0 | 0 | 0 |2310k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1589.43/1589.48 o 27
1589.43/1589.48 c *1537s| 2371k| 1198k| 0 | 0.0 |1410M| 998 | - |1895 | 15k| 0 | 0 | 0 |2311k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1596.43/1596.47 c 1543s| 2380k| 1203k| 0 | 0.0 |1420M| 998 | - |1895 | 14k| 0 | 0 | 0 |2319k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1605.73/1605.70 c 1552s| 2390k| 1208k| 0 | 0.0 |1428M| 998 | - |1895 | 14k| 0 | 0 | 0 |2329k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1613.74/1613.74 c 1560s| 2400k| 1213k| 0 | 0.0 |1436M| 998 | - |1895 | 15k| 0 | 0 | 0 |2338k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1623.02/1623.08 c 1569s| 2410k| 1218k| 0 | 0.0 |1444M| 998 | - |1895 | 16k| 0 | 0 | 0 |2348k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1632.43/1632.46 c 1578s| 2420k| 1223k| 0 | 0.0 |1452M| 998 | - |1895 | 17k| 0 | 0 | 0 |2358k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1640.62/1640.68 c 1586s| 2430k| 1228k| 0 | 0.0 |1460M| 998 | - |1895 | 18k| 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1651.43/1651.46 c 1596s| 2440k| 1232k| 0 | 0.0 |1468M| 998 | - |1895 | 17k| 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1660.23/1660.29 c 1604s| 2450k| 1237k| 0 | 0.0 |1476M| 998 | - |1895 | 18k| 0 | 0 | 0 |2388k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1670.93/1670.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.93/1670.91 c 1615s| 2460k| 1241k| 0 | 0.0 |1483M| 998 | - |1895 | 18k| 0 | 0 | 0 |2399k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1679.74/1679.78 c 1623s| 2470k| 1246k| 0 | 0.0 |1491M| 998 | - |1895 | 19k| 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1690.33/1690.38 c 1633s| 2480k| 1251k| 0 | 0.0 |1499M| 998 | - |1895 | 19k| 0 | 0 | 0 |2420k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1700.23/1700.22 c 1643s| 2490k| 1255k| 0 | 0.0 |1507M| 998 | - |1895 | 20k| 0 | 0 | 0 |2431k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1710.73/1710.73 c 1653s| 2500k| 1259k| 0 | 0.0 |1514M| 998 | - |1895 | 20k| 0 | 0 | 0 |2442k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1721.73/1721.73 c 1663s| 2510k| 1264k| 0 | 0.0 |1522M| 998 | - |1895 | 20k| 0 | 0 | 0 |2454k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1732.33/1732.35 c 1673s| 2520k| 1268k| 0 | 0.0 |1529M| 998 | - |1895 | 21k| 0 | 0 | 0 |2465k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1744.03/1744.10 c 1685s| 2530k| 1272k| 0 | 0.0 |1537M| 998 | - |1895 | 22k| 0 | 0 | 0 |2477k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1755.43/1755.45 c 1696s| 2540k| 1276k| 0 | 0.0 |1545M| 998 | - |1895 | 22k| 0 | 0 | 0 |2489k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1767.83/1767.81 c 1708s| 2550k| 1279k| 0 | 0.0 |1553M| 998 | - |1895 | 23k| 0 | 0 | 0 |2502k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1780.43/1780.46 c 1720s| 2560k| 1283k| 0 | 0.0 |1560M| 998 | - |1895 | 22k| 0 | 0 | 0 |2514k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1792.63/1792.61 c 1731s| 2570k| 1286k| 0 | 0.0 |1568M| 998 | - |1895 | 23k| 0 | 0 | 0 |2527k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1738.59
1800.04/1800.00 c Solving Nodes : 2575560
1800.04/1800.00 c Primal Bound : +2.70000000000000e+01 (24 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.02 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.02 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.02 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.02 v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.02 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.04/1800.02 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.04/1800.02 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.04/1800.02 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.04/1800.02 v -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1738.59
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694179-1277909516.wbo
1800.04/1800.02 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous)
1800.04/1800.02 c Constraints : 3607 initial, 3607 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694179-1277909516.wbo
1800.04/1800.02 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.04/1800.02 c Constraints : 3349 initial, 52625 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 67 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 67 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 67 0 0
1800.04/1800.02 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.06 0 0 0 915 0 191 132 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 436 - - 872 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 832 0 4548919 0 1428413 1370 4633436 0 0 0
1800.04/1800.02 c knapsack : 1 0 7860516 0 2115385 128375 24484125 0 0 0
1800.04/1800.02 c setppc : 11 0 7742918 0 2114982 49181 4468100 0 0 0
1800.04/1800.02 c linear : 832 0 7699596 0 2115752 137700 10402326 0 0 0
1800.04/1800.02 c logicor : 1673+ 0 5734264 0 2115772 387047 15275702 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 107224 0 0 7 13359 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 2115755 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 27.22 0.00 13.02 0.00 14.20
1800.04/1800.02 c knapsack : 79.93 0.00 76.16 0.00 3.77
1800.04/1800.02 c setppc : 20.56 0.00 17.99 0.00 2.57
1800.04/1800.02 c linear : 126.67 0.00 125.29 0.00 1.38
1800.04/1800.02 c logicor : 596.66 0.00 494.63 0.00 102.03
1800.04/1800.02 c bounddisjunction : 0.21 0.00 0.21 0.00 0.00
1800.04/1800.02 c countsols : 0.30 0.00 0.00 0.00 0.30
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 1.57 2 0 0
1800.04/1800.02 c rootredcost : 1.26 0 0 0
1800.04/1800.02 c pseudoobj : 156.29 7888110 9669 4516556
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 25.89 711979 711953 3389615 22.3 262166 8.9 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.01 247 247 1062 20.7 180 9.4 -
1800.04/1800.02 c applied globally : - - - 2534292 19.5 - - -
1800.04/1800.02 c applied locally : - - - 1 107.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 49.16 2115731 0 0 0 0 4231462
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.14 - 24
1800.04/1800.02 c oneopt : 0.65 0 0
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.56 0 0
1800.04/1800.02 c trysol : 0.55 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 2575560
1800.04/1800.02 c nodes (total) : 2575560
1800.04/1800.02 c nodes left : 1288670
1800.04/1800.02 c max depth : 998
1800.04/1800.02 c max depth (total): 998
1800.04/1800.02 c backtracks : 450414 (17.5%)
1800.04/1800.02 c delayed cutoffs : 327903
1800.04/1800.02 c repropagations : 1762636 (18167036 domain reductions, 253791 cutoffs)
1800.04/1800.02 c avg switch length: 18.08
1800.04/1800.02 c switching time : 512.27
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 24 (24 improvements)
1800.04/1800.02 c First Solution : +6.51000000000000e+02 (in run 1, after 3144 nodes, 0.84 seconds, depth 367, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +2.70000000000000e+01 (in run 1, after 2371173 nodes, 1536.57 seconds, depth 220, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694179-1277909516/watcher-2694179-1277909516 -o /tmp/evaluation-result-2694179-1277909516/solver-2694179-1277909516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694179-1277909516.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 4/178 24439 /proc/meminfo: memFree=31684248/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=8300 CPUtime=0 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 164543359 8499200 1475 4089446400 4194304 7136930 140737407188240 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/24439/statm: 2075 1475 275 719 0 1354 0 [startup+0.013389 s] /proc/loadavg: 2.00 2.00 2.00 4/178 24439 /proc/meminfo: memFree=31684248/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=9784 CPUtime=0 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 1950 0 0 0 0 0 0 0 25 0 1 0 164543359 10018816 1872 4089446400 4194304 7136930 140737407188240 18446744073709551615 6285720 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/24439/statm: 2446 1872 275 719 0 1725 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9784 [startup+0.100432 s] /proc/loadavg: 2.00 2.00 2.00 4/178 24439 /proc/meminfo: memFree=31684248/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=22352 CPUtime=0.09 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 6263 0 0 0 8 1 0 0 25 0 1 0 164543359 22888448 4803 4089446400 4194304 7136930 140737407188240 18446744073709551615 4361616 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 5588 4803 354 719 0 4867 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.300338 s] /proc/loadavg: 2.00 2.00 2.00 4/178 24439 /proc/meminfo: memFree=31684248/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=24036 CPUtime=0.29 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 9574 0 0 0 28 1 0 0 25 0 1 0 164543359 24612864 5287 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 6009 5287 399 719 0 5288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24036 [startup+0.700323 s] /proc/loadavg: 2.00 2.00 2.00 4/178 24439 /proc/meminfo: memFree=31684248/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=25976 CPUtime=0.69 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 10070 0 0 0 65 4 0 0 25 0 1 0 164543359 26599424 5783 4089446400 4194304 7136930 140737407188240 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 6494 5783 404 719 0 5773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25976 [startup+1.50019 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24441 /proc/meminfo: memFree=31661548/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=27636 CPUtime=1.49 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 10511 0 0 0 142 7 0 0 25 0 1 0 164543359 28299264 6224 4089446400 4194304 7136930 140737407188240 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 6909 6224 404 719 0 6188 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27636 [startup+3.10085 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24441 /proc/meminfo: memFree=31658076/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=33552 CPUtime=3.1 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 12003 0 0 0 297 13 0 0 25 0 1 0 164543359 34357248 7716 4089446400 4194304 7136930 140737407188240 18446744073709551615 5005075 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 8388 7716 404 719 0 7667 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 33552 [startup+6.30036 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24441 /proc/meminfo: memFree=31647612/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=42720 CPUtime=6.29 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 14267 0 0 0 606 23 0 0 25 0 1 0 164543359 43745280 9980 4089446400 4194304 7136930 140737407188240 18446744073709551615 4414743 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 10680 9980 405 719 0 9959 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42720 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24441 /proc/meminfo: memFree=31631616/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=58612 CPUtime=12.69 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 18294 0 0 0 1224 45 0 0 25 0 1 0 164543359 60018688 14007 4089446400 4194304 7136930 140737407188240 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 14653 14007 405 719 0 13932 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58612 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24442 /proc/meminfo: memFree=31598496/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=91548 CPUtime=25.49 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 26575 0 0 0 2463 86 0 0 25 0 1 0 164543359 93745152 22288 4089446400 4194304 7136930 140737407188240 18446744073709551615 4855352 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 22887 22288 405 719 0 22166 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91548 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24442 /proc/meminfo: memFree=31551024/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=142268 CPUtime=51.09 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 38688 0 0 0 4962 147 0 0 25 0 1 0 164543359 145682432 34378 4089446400 4194304 7136930 140737407188240 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24439/statm: 35567 34378 407 719 0 34846 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 142268 [startup+102.305 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24444 /proc/meminfo: memFree=31417812/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=279096 CPUtime=102.29 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 71270 0 0 0 9918 311 0 0 25 0 1 0 164543359 285794304 66960 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 69774 66960 407 719 0 69053 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 279096 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24472 /proc/meminfo: memFree=31297132/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=409508 CPUtime=162.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 102917 0 0 0 15687 543 0 0 25 0 1 0 164543359 419336192 98607 4089446400 4194304 7136930 140737407188240 18446744073709551615 4854055 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 102377 98607 407 719 0 101656 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 409508 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24473 /proc/meminfo: memFree=31227388/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=476680 CPUtime=222.29 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 119807 0 0 0 21484 745 0 0 25 0 1 0 164543359 488120320 115497 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 119170 115497 407 719 0 118449 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 476680 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24475 /proc/meminfo: memFree=31171412/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=532880 CPUtime=282.29 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 133695 0 0 0 27328 901 0 0 25 0 1 0 164543359 545669120 129385 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 133220 129385 407 719 0 132499 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 532880 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24477 /proc/meminfo: memFree=31075628/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=637768 CPUtime=342.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 157576 0 0 0 33106 1124 0 0 25 0 1 0 164543359 653074432 153266 4089446400 4194304 7136930 140737407188240 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 159442 153266 407 719 0 158721 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 637768 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24479 /proc/meminfo: memFree=30969804/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=757096 CPUtime=402.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 184094 0 0 0 38847 1383 0 0 25 0 1 0 164543359 775266304 179784 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 189274 179784 407 719 0 188553 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 757096 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24480 /proc/meminfo: memFree=30870056/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=856676 CPUtime=462.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 208842 0 0 0 44599 1631 0 0 25 0 1 0 164543359 877236224 204532 4089446400 4194304 7136930 140737407188240 18446744073709551615 5507748 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 214169 204532 407 719 0 213448 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 856676 [startup+522.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24481 /proc/meminfo: memFree=30775516/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=952352 CPUtime=522.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 232543 0 0 0 50351 1879 0 0 25 0 1 0 164543359 975208448 228233 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 238088 228233 407 719 0 237367 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 952352 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24492 /proc/meminfo: memFree=30695336/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1033360 CPUtime=582.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 252881 0 0 0 56121 2109 0 0 25 0 1 0 164543359 1058160640 248571 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 258340 248571 407 719 0 257619 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1033360 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24494 /proc/meminfo: memFree=30627828/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1097868 CPUtime=642.3 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 269114 0 0 0 61936 2294 0 0 25 0 1 0 164543359 1124216832 264804 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24439/statm: 274467 264804 407 719 0 273746 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1097868 [startup+702.3 s] ################ # More data... # ################ /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 350312 0 0 0 96989 3242 0 0 25 0 1 0 164543359 1473986560 346002 4089446400 4194304 7136930 140737407188240 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 359860 346002 407 719 0 359139 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1439440 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24550 /proc/meminfo: memFree=30258100/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1449392 CPUtime=1062.31 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 352819 0 0 0 102809 3422 0 0 25 0 1 0 164543359 1484177408 348509 4089446400 4194304 7136930 140737407188240 18446744073709551615 4207548 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 362348 348509 407 719 0 361627 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1449392 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 2.01 3/197 24551 /proc/meminfo: memFree=30251840/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1454584 CPUtime=1122.32 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 354139 0 0 0 108645 3587 0 0 25 0 1 0 164543359 1489494016 349829 4089446400 4194304 7136930 140737407188240 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 363646 349829 407 719 0 362925 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1454584 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 24553 /proc/meminfo: memFree=30244696/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1460740 CPUtime=1182.31 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 355672 0 0 0 114500 3731 0 0 25 0 1 0 164543359 1495797760 351362 4089446400 4194304 7136930 140737407188240 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 365185 351362 407 719 0 364464 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1460740 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 24555 /proc/meminfo: memFree=30239664/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1465612 CPUtime=1242.32 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 356740 0 0 0 120386 3846 0 0 25 0 1 0 164543359 1500786688 352430 4089446400 4194304 7136930 140737407188240 18446744073709551615 5001209 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 366403 352430 407 719 0 365682 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1465612 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24557 /proc/meminfo: memFree=30229928/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1475384 CPUtime=1302.33 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 358989 0 0 0 126293 3940 0 0 25 0 1 0 164543359 1510793216 354679 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 368846 354679 407 719 0 368125 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1475384 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24558 /proc/meminfo: memFree=30225632/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1479936 CPUtime=1362.32 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 359977 0 0 0 132208 4024 0 0 25 0 1 0 164543359 1515454464 355667 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 369984 355667 407 719 0 369263 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1479936 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24559 /proc/meminfo: memFree=30204688/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1495648 CPUtime=1422.32 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 363362 0 0 0 137981 4251 0 0 25 0 1 0 164543359 1531543552 359052 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 373912 359052 407 719 0 373191 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1495648 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24561 /proc/meminfo: memFree=30123036/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1580580 CPUtime=1482.33 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 383974 0 0 0 143558 4675 0 0 25 0 1 0 164543359 1618513920 379664 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 395145 379664 407 719 0 394424 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1580580 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 24563 /proc/meminfo: memFree=30044584/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1662192 CPUtime=1542.32 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 403161 0 0 0 149187 5045 0 0 25 0 1 0 164543359 1702084608 398851 4089446400 4194304 7136930 140737407188240 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 415548 398851 407 719 0 414827 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1662192 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24565 /proc/meminfo: memFree=29990096/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1717540 CPUtime=1602.33 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 416665 0 0 0 154895 5338 0 0 25 0 1 0 164543359 1758760960 412355 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 429385 412355 407 719 0 428664 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1717540 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24566 /proc/meminfo: memFree=29955312/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1751888 CPUtime=1662.33 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 425286 0 0 0 160633 5600 0 0 25 0 1 0 164543359 1793933312 420976 4089446400 4194304 7136930 140737407188240 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 437972 420976 407 719 0 437251 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1751888 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 24567 /proc/meminfo: memFree=29918912/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1789804 CPUtime=1722.33 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 434621 0 0 0 166385 5848 0 0 25 0 1 0 164543359 1832759296 430311 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 447451 430311 407 719 0 446730 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1789804 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 24569 /proc/meminfo: memFree=29883496/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1823976 CPUtime=1782.33 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 443102 0 0 0 172160 6073 0 0 25 0 1 0 164543359 1867751424 438792 4089446400 4194304 7136930 140737407188240 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 455994 438792 407 719 0 455273 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1823976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.00 3/197 24569 /proc/meminfo: memFree=29872804/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1834588 CPUtime=1800.04 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 445714 0 0 0 173862 6142 0 0 25 0 1 0 164543359 1878618112 441404 4089446400 4194304 7136930 140737407188240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/24439/statm: 458647 441404 407 719 0 457926 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1834588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24439 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.00 2.00 3/198 24571 /proc/meminfo: memFree=29872796/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1834588 CPUtime=1801.43 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 445719 0 0 0 174001 6142 0 0 25 0 1 0 164543359 1878618112 441409 4089446400 4194304 7136930 140737407188240 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24439/statm: 458647 441409 412 719 0 457926 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1834588 [startup+1801.81 s] /proc/loadavg: 2.01 2.00 2.00 3/198 24571 /proc/meminfo: memFree=29872796/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1834588 CPUtime=1801.84 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 445719 0 0 0 174042 6142 0 0 25 0 1 0 164543359 1878618112 441409 4089446400 4194304 7136930 140737407188240 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24439/statm: 458647 441409 412 719 0 457926 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1834588 [startup+1802 s] /proc/loadavg: 2.01 2.00 2.00 3/198 24571 /proc/meminfo: memFree=29872796/32950940 swapFree=67111528/67111528 [pid=24439] ppid=24437 vsize=1834588 CPUtime=1802.03 /proc/24439/stat : 24439 (pbscip.linux.x8) R 24437 24439 22746 0 -1 4202496 445719 0 0 0 174061 6142 0 0 25 0 1 0 164543359 1878618112 441409 4089446400 4194304 7136930 140737407188240 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24439/statm: 458647 441409 412 719 0 457926 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1834588 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1740.62 CPU system time (s): 61.4867 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1834588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1740.62 system time used= 61.4867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 445719 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= 3 involuntary context switches= 10761 runsolver used 2.52761 second user time and 5.69113 second system time The end
Begin job on node117 at 2010-06-30 16:51:56 IDJOB=2694179 IDBENCH=78968 IDSOLVER=1206 FILE ID=node117/2694179-1277909516 PBS_JOBID= 11197155 Free space on /tmp= 74208 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.1900570242--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-2694179-1277909516/watcher-2694179-1277909516 -o /tmp/evaluation-result-2694179-1277909516/solver-2694179-1277909516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694179-1277909516.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2 RANDOM SEED=1709700392 node117.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.799 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.59 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.799 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 : 5332.75 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.799 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.82 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.799 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.75 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.799 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 : 5332.85 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.799 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.75 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.799 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.82 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.799 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31684892 kB Buffers: 193244 kB Cached: 851188 kB SwapCached: 0 kB Active: 538768 kB Inactive: 587756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31684892 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3124 kB Writeback: 0 kB AnonPages: 81364 kB Mapped: 15456 kB Slab: 77716 kB PageTables: 4480 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 226544 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= 74208 MiB End job on node117 at 2010-06-30 17:21:58