Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 2 | 1800.23 | 1800.7 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
| MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1563.97 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1162 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3997 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665666-1276600073.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 27 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 922
0.09/0.11 c y 0.1s| 1 | 0 | 27 | - | 456k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 32 | - | 622k| 0 | 9 | 120 | 109 | 120 | 12 | 7 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 38 | - | 667k| 0 | 11 | 120 | 109 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 44 | - | 705k| 0 | 14 | 120 | 109 | 120 | 18 | 13 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 54 | - | 718k| 0 | 16 | 120 | 109 | 120 | 21 | 16 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 60 | - | 728k| 0 | 19 | 120 | 109 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.29/0.38 c 0.3s| 1 | 2 | 60 | - | 728k| 0 | 19 | 120 | 109 | 120 | 23 | 18 | 0 | 9 | 0.000000e+00 | 9.220000e+02 | Inf
0.40/0.50 o 457
0.40/0.50 c c 0.4s| 38 | 39 | 231 | 4.6 | 767k| 37 | - | 120 | 109 | 120 | 19 | 18 | 0 | 158 | 0.000000e+00 | 4.570000e+02 | Inf
0.49/0.57 o 239
0.49/0.57 c f 0.5s| 73 | 66 | 393 | 4.6 | 809k| 37 | - | 120 | 109 | 120 | 19 | 18 | 2 | 230 | 0.000000e+00 | 2.390000e+02 | Inf
0.79/0.85 o 237
0.79/0.85 c g 0.7s| 280 | 271 | 1320 | 4.5 | 921k| 37 | - | 120 | 113 | 120 | 19 | 18 | 12 | 411 | 0.000000e+00 | 2.370000e+02 | Inf
0.89/0.91 o 236
0.89/0.91 c c 0.7s| 338 | 322 | 1749 | 5.0 | 948k| 41 | - | 120 | 115 | 120 | 19 | 18 | 14 | 434 | 0.000000e+00 | 2.360000e+02 | Inf
1.00/1.00 o 151
1.00/1.00 c g 0.8s| 428 | 396 | 2070 | 4.7 |1001k| 41 | - | 120 | 124 | 120 | 19 | 18 | 26 | 454 | 0.000000e+00 | 1.510000e+02 | Inf
1.00/1.05 o 70
1.00/1.05 c f 0.9s| 487 | 400 | 2301 | 4.6 |1015k| 41 | - | 120 | 125 | 120 | 19 | 18 | 29 | 460 | 0.000000e+00 | 7.000000e+01 | Inf
1.00/1.09 o 69
1.00/1.09 c * 0.9s| 534 | 417 | 2431 | 4.4 |1010k| 41 | - | 120 | 21 | 120 | 19 | 18 | 33 | 475 | 0.000000e+00 | 6.900000e+01 | Inf
1.10/1.14 o 68
1.10/1.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.14 c * 0.9s| 595 | 466 | 2601 | 4.3 |1035k| 41 | - | 120 | 21 | 120 | 19 | 18 | 39 | 489 | 0.000000e+00 | 6.800000e+01 | Inf
1.10/1.15 o 66
1.10/1.15 c l 0.9s| 598 | 468 | 2606 | 4.3 |1042k| 41 | - | 120 | 21 | 120 | 19 | 18 | 40 | 501 | 0.000000e+00 | 6.600000e+01 | Inf
1.10/1.15 o 64
1.10/1.15 c g 0.9s| 598 | 463 | 2606 | 4.3 |1044k| 41 | - | 120 | 21 | 120 | 19 | 18 | 41 | 501 | 0.000000e+00 | 6.400000e+01 | Inf
1.29/1.33 o 62
1.29/1.33 c C 1.1s| 798 | 648 | 3389 | 4.2 |1117k| 41 | 5 | 120 | 24 | 120 | 19 | 18 | 61 | 528 | 0.000000e+00 | 6.200000e+01 | Inf
1.49/1.55 o 61
1.49/1.55 c l 1.3s| 1007 | 827 | 4365 | 4.3 |1210k| 41 | - | 120 | 34 | 120 | 19 | 18 | 91 | 570 | 0.000000e+00 | 6.100000e+01 | Inf
2.49/2.57 o 60
2.49/2.57 c v 2.1s| 1612 | 1374 | 7391 | 4.6 |1469k| 41 | - | 120 | 61 | 120 | 19 | 18 | 166 | 595 | 0.000000e+00 | 6.000000e+01 | Inf
2.89/2.93 o 32
2.89/2.93 c f 2.4s| 2028 | 1504 | 9414 | 4.6 |1525k| 41 | - | 120 | 69 | 120 | 19 | 18 | 219 | 602 | 0.000000e+00 | 3.200000e+01 | Inf
6.69/6.75 o 31
6.69/6.75 c * 5.7s| 5311 | 3893 | 29144 | 5.5 |2689k| 41 | - | 120 | 144 | 120 | 19 | 18 | 897 | 672 | 0.000000e+00 | 3.100000e+01 | Inf
7.09/7.14 o 27
7.09/7.14 c g 6.1s| 5716 | 4116 | 31272 | 5.5 |2781k| 41 | - | 120 | 147 | 120 | 19 | 18 | 968 | 690 | 0.000000e+00 | 2.700000e+01 | Inf
7.89/7.90 o 26
7.89/7.90 c * 6.7s| 6508 | 4649 | 35518 | 5.4 |3043k| 41 | - | 120 | 150 | 120 | 19 | 18 |1097 | 717 | 0.000000e+00 | 2.600000e+01 | Inf
8.80/8.84 o 25
8.80/8.84 c * 7.5s| 7570 | 5318 | 41044 | 5.4 |3386k| 41 | - | 120 | 156 | 120 | 19 | 18 |1270 | 763 | 0.000000e+00 | 2.500000e+01 | Inf
8.80/8.84 o 23
8.80/8.84 c * 7.5s| 7572 | 5207 | 41044 | 5.4 |3314k| 41 | - | 120 | 156 | 120 | 19 | 18 |1270 | 766 | 0.000000e+00 | 2.300000e+01 | Inf
8.80/8.84 o 21
8.80/8.84 c * 7.5s| 7573 | 5152 | 41044 | 5.4 |3263k| 41 | - | 120 | 156 | 120 | 19 | 18 |1270 | 766 | 0.000000e+00 | 2.100000e+01 | Inf
10.19/10.24 o 20
10.19/10.24 c * 8.7s| 9377 | 5996 | 48622 | 5.2 |3733k| 41 | - | 120 | 163 | 120 | 19 | 18 |1491 | 838 | 0.000000e+00 | 2.000000e+01 | Inf
10.19/10.24 o 18
10.19/10.24 c * 8.7s| 9378 | 5911 | 48622 | 5.2 |3648k| 41 | - | 120 | 163 | 120 | 19 | 18 |1491 | 838 | 0.000000e+00 | 1.800000e+01 | Inf
10.68/10.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.68/10.72 c 9.1s| 10000 | 6200 | 51212 | 5.1 |3809k| 41 | - | 120 | 158 | 120 | 19 | 18 |1562 | 868 | 0.000000e+00 | 1.800000e+01 | Inf
11.69/11.74 o 16
11.69/11.74 c *10.0s| 11218 | 6085 | 55901 | 5.0 |3802k| 41 | - | 120 | 152 | 120 | 19 | 18 |1692 | 916 | 0.000000e+00 | 1.600000e+01 | Inf
11.69/11.76 o 3
11.69/11.76 c s10.0s| 11226 | 5155 | 55911 | 5.0 |2930k| 41 | - | 120 | 140 | 120 | 19 | 18 |1695 | 922 | 0.000000e+00 | 3.000000e+00 | Inf
11.69/11.76 o 2
11.69/11.76 c *10.0s| 11227 | 5085 | 55913 | 5.0 |2876k| 41 | - | 120 | 135 | 120 | 19 | 18 |1696 | 922 | 0.000000e+00 | 2.000000e+00 | Inf
16.50/16.51 c 14.0s| 20000 | 6529 | 87408 | 4.4 |3752k| 41 | - | 120 | 393 | 120 | 19 | 18 |2193 | 962 | 0.000000e+00 | 2.000000e+00 | Inf
21.58/21.64 c 18.3s| 30000 | 6818 |120129 | 4.0 |4158k| 41 | 5 | 120 | 759 | 120 | 19 | 18 |2836 |1014 | 0.000000e+00 | 2.000000e+00 | Inf
26.79/26.89 c 22.8s| 40000 | 6672 |153125 | 3.8 |4220k| 41 | - | 120 |1073 | 120 | 19 | 18 |3588 |1096 | 0.000000e+00 | 2.000000e+00 | Inf
31.98/32.05 c 27.1s| 50000 | 6907 |185708 | 3.7 |4508k| 41 | 5 | 120 |1304 | 120 | 19 | 18 |4142 |1157 | 0.000000e+00 | 2.000000e+00 | Inf
37.28/37.35 c 31.6s| 60000 | 6934 |220034 | 3.7 |4651k| 41 | - | 120 |1538 | 120 | 19 | 18 |4817 |1229 | 0.000000e+00 | 2.000000e+00 | Inf
42.57/42.68 c 36.1s| 70000 | 7035 |250461 | 3.6 |4803k| 41 | - | 120 |1682 | 120 | 19 | 18 |5650 |1296 | 0.000000e+00 | 2.000000e+00 | Inf
47.77/47.86 c 40.5s| 80000 | 6866 |280331 | 3.5 |4575k| 41 | - | 120 |1317 | 120 | 19 | 18 |6482 |1332 | 0.000000e+00 | 2.000000e+00 | Inf
52.87/52.96 c 44.8s| 90000 | 7138 |311975 | 3.5 |4756k| 41 | - | 120 |1202 | 120 | 19 | 18 |7092 |1409 | 0.000000e+00 | 2.000000e+00 | Inf
57.97/58.05 c 49.1s|100000 | 7086 |344052 | 3.4 |4704k| 41 | 5 | 120 |1190 | 120 | 19 | 18 |7785 |1438 | 0.000000e+00 | 2.000000e+00 | Inf
62.97/63.09 c 53.3s|110000 | 6954 |374288 | 3.4 |4664k| 41 | 5 | 120 |1273 | 120 | 19 | 18 |8568 |1485 | 0.000000e+00 | 2.000000e+00 | Inf
68.17/68.26 c 57.6s|120000 | 7042 |406297 | 3.4 |4734k| 41 | - | 120 |1271 | 120 | 19 | 18 |9307 |1568 | 0.000000e+00 | 2.000000e+00 | Inf
73.36/73.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.36/73.42 c 61.9s|130000 | 7122 |439478 | 3.4 |4714k| 41 | 5 | 120 |1204 | 120 | 19 | 18 |9924 |1632 | 0.000000e+00 | 2.000000e+00 | Inf
78.36/78.49 c 66.2s|140000 | 7242 |471697 | 3.4 |4897k| 41 | - | 120 |1268 | 120 | 19 | 18 | 10k|1674 | 0.000000e+00 | 2.000000e+00 | Inf
83.58/83.67 c 70.5s|150000 | 6968 |504620 | 3.4 |4662k| 41 | - | 120 |1231 | 0 | 0 | 18 | 11k|1756 | 0.000000e+00 | 2.000000e+00 | Inf
88.76/88.83 c 74.8s|160000 | 7007 |538295 | 3.4 |4742k| 41 | - | 120 |1379 | 120 | 19 | 18 | 12k|1827 | 0.000000e+00 | 2.000000e+00 | Inf
93.86/93.97 c 79.1s|170000 | 6925 |571225 | 3.4 |4597k| 41 | - | 120 |1244 | 120 | 19 | 18 | 12k|1901 | 0.000000e+00 | 2.000000e+00 | Inf
98.96/99.09 c 83.3s|180000 | 6848 |603533 | 3.4 |4622k| 41 | 5 | 120 |1389 | 120 | 19 | 18 | 13k|1964 | 0.000000e+00 | 2.000000e+00 | Inf
104.16/104.23 c 87.7s|190000 | 7033 |635717 | 3.3 |4801k| 41 | - | 120 |1485 | 120 | 19 | 18 | 14k|2008 | 0.000000e+00 | 2.000000e+00 | Inf
109.36/109.40 c 92.0s|200000 | 6905 |667598 | 3.3 |4741k| 41 | 5 | 120 |1576 | 120 | 19 | 18 | 15k|2098 | 0.000000e+00 | 2.000000e+00 | Inf
114.46/114.58 c 96.3s|210000 | 6825 |698531 | 3.3 |4681k| 41 | - | 120 |1596 | 0 | 0 | 18 | 15k|2158 | 0.000000e+00 | 2.000000e+00 | Inf
119.55/119.66 c 101s|220000 | 6803 |729489 | 3.3 |4659k| 41 | 5 | 120 |1602 | 120 | 19 | 18 | 16k|2191 | 0.000000e+00 | 2.000000e+00 | Inf
124.75/124.84 c 105s|230000 | 6643 |764497 | 3.3 |4421k| 41 | 5 | 120 |1238 | 120 | 19 | 18 | 17k|2302 | 0.000000e+00 | 2.000000e+00 | Inf
130.05/130.18 c 109s|240000 | 6750 |796798 | 3.3 |4437k| 41 | 5 | 120 |1044 | 120 | 19 | 18 | 17k|2881 | 0.000000e+00 | 2.000000e+00 | Inf
135.05/135.19 c 114s|250000 | 6894 |828438 | 3.3 |4623k| 41 | 5 | 120 |1114 | 120 | 19 | 18 | 18k|2935 | 0.000000e+00 | 2.000000e+00 | Inf
140.15/140.22 c 118s|260000 | 6885 |859756 | 3.3 |4663k| 41 | 5 | 120 |1183 | 120 | 19 | 18 | 19k|2984 | 0.000000e+00 | 2.000000e+00 | Inf
145.16/145.21 c 122s|270000 | 6779 |891133 | 3.3 |4609k| 41 | 5 | 120 |1213 | 120 | 19 | 18 | 19k|3039 | 0.000000e+00 | 2.000000e+00 | Inf
150.15/150.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.15/150.26 c 126s|280000 | 6882 |922849 | 3.3 |4653k| 41 | 5 | 120 |1231 | 120 | 19 | 18 | 20k|3078 | 0.000000e+00 | 2.000000e+00 | Inf
155.15/155.28 c 130s|290000 | 6726 |954542 | 3.3 |4565k| 41 | - | 120 |1265 | 120 | 19 | 18 | 21k|3134 | 0.000000e+00 | 2.000000e+00 | Inf
160.24/160.36 c 135s|300000 | 6720 |986844 | 3.3 |4578k| 41 | - | 120 |1352 | 120 | 19 | 18 | 22k|3191 | 0.000000e+00 | 2.000000e+00 | Inf
165.24/165.35 c 139s|310000 | 6702 | 1017k| 3.3 |4597k| 41 | - | 120 |1376 | 120 | 19 | 18 | 22k|3240 | 0.000000e+00 | 2.000000e+00 | Inf
170.24/170.38 c 143s|320000 | 6599 | 1050k| 3.3 |4391k| 41 | 5 | 120 |1264 | 120 | 19 | 18 | 23k|3287 | 0.000000e+00 | 2.000000e+00 | Inf
175.24/175.37 c 147s|330000 | 6586 | 1082k| 3.3 |4410k| 41 | 5 | 120 |1336 | 120 | 19 | 18 | 23k|3367 | 0.000000e+00 | 2.000000e+00 | Inf
180.35/180.47 c 152s|340000 | 6645 | 1115k| 3.3 |4484k| 41 | 5 | 120 |1408 | 120 | 19 | 18 | 24k|3420 | 0.000000e+00 | 2.000000e+00 | Inf
185.44/185.58 c 156s|350000 | 6588 | 1147k| 3.3 |4464k| 41 | 5 | 120 |1475 | 120 | 19 | 18 | 25k|3462 | 0.000000e+00 | 2.000000e+00 | Inf
190.53/190.68 c 160s|360000 | 6706 | 1180k| 3.3 |4607k| 41 | - | 120 |1459 | 120 | 19 | 18 | 25k|3533 | 0.000000e+00 | 2.000000e+00 | Inf
195.65/195.72 c 164s|370000 | 6947 | 1212k| 3.3 |4839k| 41 | 5 | 120 |1533 | 120 | 19 | 18 | 26k|3572 | 0.000000e+00 | 2.000000e+00 | Inf
200.73/200.84 c 169s|380000 | 6645 | 1244k| 3.3 |4571k| 41 | - | 120 |1576 | 120 | 19 | 18 | 27k|3654 | 0.000000e+00 | 2.000000e+00 | Inf
205.93/206.00 c 173s|390000 | 6795 | 1277k| 3.3 |4706k| 41 | - | 120 |1581 | 0 | 0 | 18 | 28k|3703 | 0.000000e+00 | 2.000000e+00 | Inf
211.04/211.16 c 177s|400000 | 6806 | 1308k| 3.3 |4743k| 41 | - | 120 |1596 | 120 | 19 | 18 | 28k|3773 | 0.000000e+00 | 2.000000e+00 | Inf
216.33/216.49 c 182s|410000 | 6519 | 1340k| 3.3 |4337k| 41 | - | 120 |1120 | 120 | 19 | 18 | 29k|4052 | 0.000000e+00 | 2.000000e+00 | Inf
221.33/221.43 c 186s|420000 | 6740 | 1372k| 3.3 |4565k| 41 | 5 | 120 |1277 | 120 | 19 | 18 | 30k|4102 | 0.000000e+00 | 2.000000e+00 | Inf
226.33/226.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.33/226.46 c 190s|430000 | 6861 | 1403k| 3.3 |4754k| 41 | - | 120 |1405 | 120 | 19 | 18 | 31k|4162 | 0.000000e+00 | 2.000000e+00 | Inf
231.32/231.44 c 194s|440000 | 6919 | 1434k| 3.3 |4853k| 41 | 5 | 120 |1456 | 120 | 19 | 18 | 31k|4211 | 0.000000e+00 | 2.000000e+00 | Inf
236.43/236.53 c 198s|450000 | 6902 | 1465k| 3.3 |4862k| 41 | 5 | 120 |1483 | 120 | 19 | 18 | 32k|4289 | 0.000000e+00 | 2.000000e+00 | Inf
241.43/241.53 c 203s|460000 | 6803 | 1495k| 3.3 |4826k| 41 | - | 120 |1602 | 120 | 19 | 18 | 33k|4347 | 0.000000e+00 | 2.000000e+00 | Inf
246.43/246.58 c 207s|470000 | 6776 | 1526k| 3.2 |4796k| 41 | - | 120 |1647 | 0 | 0 | 18 | 33k|4408 | 0.000000e+00 | 2.000000e+00 | Inf
251.52/251.63 c 211s|480000 | 6841 | 1557k| 3.2 |4921k| 41 | 5 | 120 |1793 | 120 | 19 | 18 | 34k|4454 | 0.000000e+00 | 2.000000e+00 | Inf
256.62/256.70 c 215s|490000 | 6795 | 1588k| 3.2 |4868k| 41 | - | 120 |1772 | 120 | 19 | 18 | 35k|4493 | 0.000000e+00 | 2.000000e+00 | Inf
261.62/261.80 c 220s|500000 | 6907 | 1618k| 3.2 |4951k| 41 | - | 120 |1820 | 120 | 19 | 18 | 36k|4533 | 0.000000e+00 | 2.000000e+00 | Inf
266.92/267.00 c 224s|510000 | 6703 | 1649k| 3.2 |4747k| 41 | - | 120 |1679 | 0 | 0 | 18 | 37k|4656 | 0.000000e+00 | 2.000000e+00 | Inf
271.92/272.07 c 228s|520000 | 6733 | 1679k| 3.2 |4863k| 41 | 5 | 120 |1842 | 120 | 19 | 18 | 37k|4718 | 0.000000e+00 | 2.000000e+00 | Inf
277.02/277.15 c 233s|530000 | 6819 | 1710k| 3.2 |4855k| 41 | - | 120 |1767 | 0 | 0 | 18 | 38k|4771 | 0.000000e+00 | 2.000000e+00 | Inf
282.02/282.15 c 237s|540000 | 6863 | 1740k| 3.2 |5007k| 41 | 5 | 120 |1853 | 120 | 19 | 18 | 39k|4814 | 0.000000e+00 | 2.000000e+00 | Inf
287.11/287.28 c 241s|550000 | 6636 | 1772k| 3.2 |4699k| 41 | 5 | 120 |1607 | 120 | 19 | 18 | 39k|4895 | 0.000000e+00 | 2.000000e+00 | Inf
292.21/292.32 c 245s|560000 | 6762 | 1803k| 3.2 |4797k| 41 | 5 | 120 |1464 | 120 | 19 | 18 | 40k|4951 | 0.000000e+00 | 2.000000e+00 | Inf
297.21/297.31 c 249s|570000 | 6690 | 1834k| 3.2 |4721k| 41 | 5 | 120 |1531 | 120 | 19 | 18 | 41k|5013 | 0.000000e+00 | 2.000000e+00 | Inf
302.21/302.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.21/302.37 c 254s|580000 | 6691 | 1865k| 3.2 |4753k| 41 | - | 120 |1624 | 120 | 19 | 18 | 42k|5094 | 0.000000e+00 | 2.000000e+00 | Inf
307.21/307.37 c 258s|590000 | 6674 | 1896k| 3.2 |4801k| 41 | 5 | 120 |1728 | 120 | 19 | 18 | 42k|5133 | 0.000000e+00 | 2.000000e+00 | Inf
312.32/312.46 c 262s|600000 | 6669 | 1926k| 3.2 |4727k| 41 | 5 | 120 |1644 | 120 | 19 | 18 | 43k|5219 | 0.000000e+00 | 2.000000e+00 | Inf
317.40/317.56 c 266s|610000 | 6893 | 1958k| 3.2 |4908k| 41 | 5 | 120 |1593 | 120 | 19 | 18 | 44k|5269 | 0.000000e+00 | 2.000000e+00 | Inf
322.31/322.47 c 271s|620000 | 6760 | 1988k| 3.2 |4847k| 41 | - | 120 |1670 | 120 | 19 | 18 | 45k|5314 | 0.000000e+00 | 2.000000e+00 | Inf
327.30/327.49 c 275s|630000 | 6692 | 2019k| 3.2 |4778k| 41 | - | 120 |1619 | 120 | 19 | 18 | 45k|5385 | 0.000000e+00 | 2.000000e+00 | Inf
332.40/332.51 c 279s|640000 | 6724 | 2049k| 3.2 |4809k| 41 | - | 120 |1659 | 120 | 19 | 18 | 46k|5454 | 0.000000e+00 | 2.000000e+00 | Inf
337.39/337.56 c 283s|650000 | 6695 | 2081k| 3.2 |4791k| 41 | - | 120 |1697 | 120 | 19 | 18 | 47k|5509 | 0.000000e+00 | 2.000000e+00 | Inf
342.39/342.54 c 287s|660000 | 6711 | 2112k| 3.2 |4837k| 41 | 5 | 120 |1783 | 120 | 19 | 18 | 47k|5548 | 0.000000e+00 | 2.000000e+00 | Inf
347.40/347.52 c 292s|670000 | 6666 | 2142k| 3.2 |4843k| 41 | 5 | 120 |1870 | 120 | 19 | 18 | 48k|5579 | 0.000000e+00 | 2.000000e+00 | Inf
352.40/352.55 c 296s|680000 | 6644 | 2172k| 3.2 |4856k| 41 | 5 | 120 |1940 | 120 | 19 | 18 | 49k|5601 | 0.000000e+00 | 2.000000e+00 | Inf
357.59/357.75 c 300s|690000 | 6570 | 2204k| 3.2 |4603k| 41 | 5 | 120 |1451 | 120 | 19 | 18 | 49k|5703 | 0.000000e+00 | 2.000000e+00 | Inf
362.59/362.77 c 304s|700000 | 6604 | 2236k| 3.2 |4620k| 41 | 5 | 120 |1436 | 120 | 19 | 18 | 50k|5756 | 0.000000e+00 | 2.000000e+00 | Inf
367.50/367.69 c 309s|710000 | 6527 | 2266k| 3.2 |4584k| 41 | - | 120 |1499 | 120 | 19 | 18 | 51k|5799 | 0.000000e+00 | 2.000000e+00 | Inf
372.49/372.65 c 313s|720000 | 6584 | 2297k| 3.2 |4630k| 41 | 5 | 120 |1501 | 120 | 19 | 18 | 51k|5850 | 0.000000e+00 | 2.000000e+00 | Inf
377.59/377.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.59/377.75 c 317s|730000 | 6550 | 2329k| 3.2 |4529k| 41 | 5 | 120 |1410 | 120 | 19 | 18 | 52k|5968 | 0.000000e+00 | 2.000000e+00 | Inf
382.59/382.71 c 321s|740000 | 6810 | 2360k| 3.2 |4800k| 41 | 5 | 120 |1499 | 120 | 19 | 18 | 53k|6023 | 0.000000e+00 | 2.000000e+00 | Inf
387.49/387.65 c 325s|750000 | 6871 | 2391k| 3.2 |4917k| 41 | 5 | 120 |1564 | 120 | 19 | 18 | 53k|6100 | 0.000000e+00 | 2.000000e+00 | Inf
392.39/392.57 c 329s|760000 | 6873 | 2421k| 3.2 |5003k| 41 | - | 120 |1692 | 120 | 19 | 18 | 54k|6157 | 0.000000e+00 | 2.000000e+00 | Inf
397.39/397.57 c 334s|770000 | 6970 | 2451k| 3.2 |5140k| 41 | - | 120 |1740 | 120 | 19 | 18 | 55k|6213 | 0.000000e+00 | 2.000000e+00 | Inf
402.40/402.51 c 338s|780000 | 6796 | 2481k| 3.2 |4970k| 41 | 5 | 120 |1721 | 120 | 19 | 18 | 56k|6255 | 0.000000e+00 | 2.000000e+00 | Inf
407.38/407.56 c 342s|790000 | 6939 | 2513k| 3.2 |5073k| 41 | 5 | 120 |1700 | 120 | 19 | 18 | 56k|6316 | 0.000000e+00 | 2.000000e+00 | Inf
412.48/412.64 c 346s|800000 | 6752 | 2544k| 3.2 |4947k| 41 | 5 | 120 |1729 | 120 | 19 | 18 | 57k|6412 | 0.000000e+00 | 2.000000e+00 | Inf
417.38/417.58 c 350s|810000 | 6786 | 2573k| 3.2 |4960k| 41 | - | 120 |1717 | 120 | 19 | 18 | 58k|6479 | 0.000000e+00 | 2.000000e+00 | Inf
422.48/422.69 c 355s|820000 | 6714 | 2605k| 3.2 |4864k| 41 | - | 120 |1753 | 120 | 19 | 18 | 58k|6576 | 0.000000e+00 | 2.000000e+00 | Inf
427.57/427.76 c 359s|830000 | 6585 | 2637k| 3.2 |4674k| 41 | - | 120 |1640 | 120 | 19 | 18 | 59k|6642 | 0.000000e+00 | 2.000000e+00 | Inf
432.57/432.75 c 363s|840000 | 6576 | 2669k| 3.2 |4680k| 41 | 5 | 120 |1674 | 120 | 19 | 18 | 60k|6684 | 0.000000e+00 | 2.000000e+00 | Inf
437.48/437.66 c 367s|850000 | 6573 | 2698k| 3.2 |4757k| 41 | 5 | 120 |1887 | 120 | 19 | 18 | 61k|6751 | 0.000000e+00 | 2.000000e+00 | Inf
442.67/442.85 c 371s|860000 | 6589 | 2729k| 3.2 |4795k| 41 | 5 | 120 |1944 | 120 | 19 | 18 | 61k|6871 | 0.000000e+00 | 2.000000e+00 | Inf
447.77/447.96 c 376s|870000 | 6549 | 2760k| 3.2 |4746k| 41 | 5 | 120 |1938 | 120 | 19 | 18 | 62k|6944 | 0.000000e+00 | 2.000000e+00 | Inf
452.77/452.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.77/452.93 c 380s|880000 | 6651 | 2791k| 3.2 |4862k| 41 | 5 | 120 |1911 | 120 | 19 | 18 | 63k|6989 | 0.000000e+00 | 2.000000e+00 | Inf
457.77/457.96 c 384s|890000 | 6700 | 2821k| 3.2 |4806k| 41 | - | 120 |1826 | 120 | 19 | 18 | 63k|7049 | 0.000000e+00 | 2.000000e+00 | Inf
462.76/462.97 c 388s|900000 | 6512 | 2851k| 3.2 |4712k| 41 | - | 120 |1887 | 120 | 19 | 18 | 64k|7105 | 0.000000e+00 | 2.000000e+00 | Inf
468.07/468.29 c 393s|910000 | 6411 | 2884k| 3.2 |4340k| 41 | - | 120 |1001 | 120 | 19 | 18 | 65k|7411 | 0.000000e+00 | 2.000000e+00 | Inf
473.46/473.61 c 397s|920000 | 6413 | 2918k| 3.2 |4354k| 41 | - | 120 |1001 | 120 | 19 | 18 | 65k|7987 | 0.000000e+00 | 2.000000e+00 | Inf
478.27/478.50 c 401s|930000 | 6396 | 2949k| 3.2 |4387k| 41 | - | 120 |1110 | 120 | 19 | 18 | 66k|8044 | 0.000000e+00 | 2.000000e+00 | Inf
483.07/483.29 c 405s|940000 | 6392 | 2980k| 3.2 |4372k| 41 | 5 | 120 |1141 | 120 | 19 | 18 | 67k|8088 | 0.000000e+00 | 2.000000e+00 | Inf
487.96/488.16 c 409s|950000 | 6400 | 3010k| 3.2 |4429k| 41 | 5 | 120 |1261 | 120 | 19 | 18 | 67k|8156 | 0.000000e+00 | 2.000000e+00 | Inf
492.86/493.02 c 413s|960000 | 6432 | 3040k| 3.2 |4497k| 41 | 5 | 120 |1350 | 120 | 19 | 18 | 68k|8184 | 0.000000e+00 | 2.000000e+00 | Inf
497.76/497.93 c 417s|970000 | 6407 | 3071k| 3.2 |4508k| 41 | - | 120 |1436 | 120 | 19 | 18 | 69k|8219 | 0.000000e+00 | 2.000000e+00 | Inf
502.57/502.79 c 421s|980000 | 6425 | 3102k| 3.2 |4540k| 41 | 5 | 120 |1433 | 120 | 19 | 18 | 69k|8251 | 0.000000e+00 | 2.000000e+00 | Inf
507.56/507.76 c 426s|990000 | 6351 | 3133k| 3.2 |4422k| 41 | 5 | 120 |1281 | 120 | 19 | 18 | 70k|8348 | 0.000000e+00 | 2.000000e+00 | Inf
512.46/512.68 c 430s| 1000k| 6275 | 3166k| 3.2 |4361k| 41 | 5 | 120 |1141 | 120 | 19 | 18 | 70k|8408 | 0.000000e+00 | 2.000000e+00 | Inf
517.36/517.56 c 434s| 1010k| 6391 | 3198k| 3.2 |4500k| 41 | - | 120 |1300 | 120 | 19 | 18 | 71k|8472 | 0.000000e+00 | 2.000000e+00 | Inf
522.36/522.54 c 438s| 1020k| 6352 | 3230k| 3.2 |4462k| 41 | - | 120 |1260 | 120 | 19 | 18 | 72k|8537 | 0.000000e+00 | 2.000000e+00 | Inf
527.25/527.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.25/527.47 c 442s| 1030k| 6424 | 3263k| 3.2 |4637k| 41 | - | 120 |1380 | 120 | 19 | 18 | 72k|8598 | 0.000000e+00 | 2.000000e+00 | Inf
532.26/532.43 c 446s| 1040k| 6370 | 3294k| 3.2 |4577k| 41 | 5 | 120 |1503 | 120 | 19 | 18 | 73k|8661 | 0.000000e+00 | 2.000000e+00 | Inf
537.14/537.35 c 450s| 1050k| 6231 | 3325k| 3.2 |4423k| 41 | 5 | 120 |1363 | 120 | 19 | 18 | 74k|8701 | 0.000000e+00 | 2.000000e+00 | Inf
542.05/542.21 c 454s| 1060k| 6360 | 3357k| 3.2 |4549k| 41 | 5 | 120 |1520 | 120 | 19 | 18 | 74k|8739 | 0.000000e+00 | 2.000000e+00 | Inf
546.94/547.16 c 459s| 1070k| 6196 | 3388k| 3.2 |4453k| 41 | - | 120 |1495 | 120 | 19 | 18 | 75k|8777 | 0.000000e+00 | 2.000000e+00 | Inf
552.05/552.25 c 463s| 1080k| 6255 | 3420k| 3.2 |4440k| 41 | - | 120 |1322 | 120 | 19 | 18 | 76k|9015 | 0.000000e+00 | 2.000000e+00 | Inf
556.84/557.05 c 467s| 1090k| 6253 | 3451k| 3.2 |4476k| 41 | 5 | 120 |1385 | 120 | 19 | 18 | 76k|9074 | 0.000000e+00 | 2.000000e+00 | Inf
561.74/561.93 c 471s| 1100k| 6348 | 3482k| 3.2 |4625k| 41 | 5 | 120 |1434 | 120 | 19 | 18 | 77k|9140 | 0.000000e+00 | 2.000000e+00 | Inf
566.54/566.78 c 475s| 1110k| 6158 | 3512k| 3.2 |4353k| 41 | 5 | 120 |1268 | 120 | 19 | 18 | 78k|9195 | 0.000000e+00 | 2.000000e+00 | Inf
571.43/571.60 c 479s| 1120k| 6226 | 3544k| 3.2 |4384k| 41 | - | 120 |1128 | 120 | 19 | 18 | 78k|9247 | 0.000000e+00 | 2.000000e+00 | Inf
576.15/576.39 c 483s| 1130k| 6168 | 3573k| 3.2 |4450k| 41 | 5 | 120 |1287 | 120 | 19 | 18 | 79k|9311 | 0.000000e+00 | 2.000000e+00 | Inf
581.04/581.24 c 487s| 1140k| 6136 | 3603k| 3.2 |4381k| 41 | - | 120 |1326 | 120 | 19 | 18 | 80k|9357 | 0.000000e+00 | 2.000000e+00 | Inf
585.84/586.07 c 491s| 1150k| 6455 | 3633k| 3.2 |4636k| 41 | - | 120 |1392 | 120 | 19 | 18 | 80k|9425 | 0.000000e+00 | 2.000000e+00 | Inf
590.84/591.02 c 495s| 1160k| 6411 | 3664k| 3.2 |4659k| 41 | - | 120 |1407 | 120 | 19 | 18 | 81k|9497 | 0.000000e+00 | 2.000000e+00 | Inf
595.63/595.85 c 499s| 1170k| 6197 | 3693k| 3.2 |4549k| 41 | 5 | 120 |1482 | 120 | 19 | 18 | 82k|9551 | 0.000000e+00 | 2.000000e+00 | Inf
600.53/600.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.53/600.76 c 503s| 1180k| 6116 | 3724k| 3.2 |4428k| 41 | - | 120 |1489 | 120 | 19 | 18 | 82k|9631 | 0.000000e+00 | 2.000000e+00 | Inf
605.43/605.66 c 507s| 1190k| 6091 | 3755k| 3.2 |4357k| 41 | 5 | 120 |1253 | 120 | 19 | 18 | 83k|9725 | 0.000000e+00 | 2.000000e+00 | Inf
610.33/610.59 c 512s| 1200k| 6503 | 3788k| 3.2 |4591k| 41 | 5 | 120 |1224 | 120 | 19 | 18 | 84k|9812 | 0.000000e+00 | 2.000000e+00 | Inf
615.33/615.54 c 516s| 1210k| 6475 | 3820k| 3.2 |4733k| 41 | - | 120 |1326 | 120 | 19 | 18 | 85k|9889 | 0.000000e+00 | 2.000000e+00 | Inf
620.23/620.42 c 520s| 1220k| 6584 | 3851k| 3.2 |4894k| 41 | - | 120 |1482 | 0 | 0 | 18 | 85k|9960 | 0.000000e+00 | 2.000000e+00 | Inf
625.02/625.26 c 524s| 1230k| 6467 | 3881k| 3.2 |4881k| 41 | - | 120 |1533 | 120 | 19 | 18 | 86k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
629.92/630.16 c 528s| 1240k| 6545 | 3912k| 3.2 |5016k| 41 | 5 | 120 |1560 | 120 | 19 | 18 | 86k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
634.82/635.05 c 532s| 1250k| 6646 | 3943k| 3.2 |5149k| 41 | - | 120 |1681 | 120 | 19 | 18 | 87k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
639.72/639.99 c 536s| 1260k| 6615 | 3973k| 3.2 |5150k| 41 | 5 | 120 |1658 | 120 | 19 | 18 | 88k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
644.82/645.01 c 540s| 1270k| 6207 | 4003k| 3.2 |4703k| 41 | - | 120 |1564 | 120 | 19 | 18 | 89k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
649.62/649.88 c 544s| 1280k| 6203 | 4033k| 3.2 |4646k| 41 | - | 120 |1641 | 0 | 0 | 18 | 89k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
654.61/654.83 c 548s| 1290k| 6216 | 4064k| 3.2 |4621k| 41 | - | 120 |1630 | 120 | 19 | 18 | 90k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
659.52/659.77 c 553s| 1300k| 6109 | 4095k| 3.2 |4579k| 41 | - | 120 |1746 | 120 | 19 | 18 | 91k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
664.41/664.65 c 557s| 1310k| 6240 | 4126k| 3.1 |4763k| 41 | 5 | 120 |1845 | 120 | 19 | 18 | 91k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
669.31/669.51 c 561s| 1320k| 6223 | 4156k| 3.1 |4798k| 41 | 5 | 120 |1915 | 120 | 19 | 18 | 92k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
674.22/674.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.22/674.45 c 565s| 1330k| 6167 | 4187k| 3.1 |4704k| 41 | 5 | 120 |1868 | 120 | 19 | 18 | 92k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
679.11/679.35 c 569s| 1340k| 6301 | 4217k| 3.1 |4856k| 41 | 5 | 120 |1937 | 120 | 19 | 18 | 93k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
684.11/684.37 c 573s| 1350k| 6022 | 4248k| 3.1 |4548k| 41 | 5 | 120 |1944 | 120 | 19 | 18 | 94k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
689.00/689.23 c 577s| 1360k| 6102 | 4278k| 3.1 |4628k| 41 | 5 | 120 |1886 | 120 | 19 | 18 | 94k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
694.11/694.38 c 582s| 1370k| 6329 | 4310k| 3.1 |4632k| 41 | - | 120 |1658 | 120 | 19 | 18 | 95k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
699.31/699.54 c 586s| 1380k| 7235 | 4341k| 3.1 |5231k| 41 | - | 120 |1721 | 0 | 0 | 18 | 95k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
704.20/704.45 c 590s| 1390k| 7682 | 4372k| 3.1 |5606k| 41 | - | 120 |1715 | 120 | 19 | 18 | 96k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
709.10/709.35 c 594s| 1400k| 7901 | 4401k| 3.1 |5864k| 41 | 5 | 120 |1708 | 120 | 19 | 18 | 97k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
714.10/714.36 c 598s| 1410k| 7701 | 4431k| 3.1 |5876k| 41 | 5 | 120 |1758 | 120 | 19 | 18 | 97k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
719.00/719.20 c 602s| 1420k| 8372 | 4460k| 3.1 |6367k| 41 | - | 120 |1832 | 120 | 19 | 18 | 98k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
724.00/724.20 c 607s| 1430k| 8073 | 4490k| 3.1 |6257k| 41 | 5 | 120 |1713 | 120 | 19 | 18 | 99k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
728.90/729.10 c 611s| 1440k| 8269 | 4519k| 3.1 |6450k| 41 | - | 120 |1732 | 120 | 19 | 18 | 99k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
733.80/734.04 c 615s| 1450k| 8088 | 4549k| 3.1 |6419k| 41 | 5 | 120 |1735 | 120 | 19 | 18 | 100k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
738.79/739.01 c 619s| 1460k| 8083 | 4579k| 3.1 |6442k| 41 | 5 | 120 |1711 | 120 | 19 | 18 | 101k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
743.59/743.85 c 623s| 1470k| 9214 | 4611k| 3.1 |7146k| 41 | 5 | 120 |1758 | 120 | 19 | 18 | 101k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
748.50/748.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.50/748.71 c 627s| 1480k| 9861 | 4642k| 3.1 |7649k| 41 | 5 | 120 |1771 | 120 | 19 | 18 | 102k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
753.39/753.60 c 631s| 1490k| 10309 | 4673k| 3.1 |8030k| 41 | 5 | 120 |1785 | 120 | 19 | 18 | 103k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
758.29/758.52 c 635s| 1500k| 10452 | 4704k| 3.1 |8270k| 41 | - | 120 |1821 | 120 | 19 | 18 | 103k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
763.09/763.39 c 639s| 1510k| 10954 | 4735k| 3.1 |8678k| 41 | - | 120 |1843 | 120 | 19 | 18 | 104k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
768.09/768.38 c 644s| 1520k| 11047 | 4766k| 3.1 |8858k| 41 | 5 | 120 |1828 | 120 | 19 | 18 | 104k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
773.18/773.45 c 648s| 1530k| 10685 | 4797k| 3.1 |8738k| 41 | 5 | 120 |1770 | 120 | 19 | 18 | 105k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
778.18/778.48 c 652s| 1540k| 10400 | 4829k| 3.1 |8660k| 41 | - | 120 |1803 | 120 | 19 | 18 | 106k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
783.29/783.57 c 656s| 1550k| 10203 | 4860k| 3.1 |8612k| 41 | 5 | 120 |1828 | 120 | 19 | 18 | 107k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
788.18/788.45 c 660s| 1560k| 10283 | 4890k| 3.1 |8781k| 41 | - | 120 |1916 | 120 | 19 | 18 | 107k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
793.18/793.47 c 665s| 1570k| 10210 | 4920k| 3.1 |8787k| 41 | - | 120 |1885 | 120 | 19 | 18 | 108k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
798.18/798.44 c 669s| 1580k| 10279 | 4951k| 3.1 |8891k| 41 | - | 120 |1912 | 120 | 19 | 18 | 109k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
803.18/803.44 c 673s| 1590k| 10078 | 4981k| 3.1 |8748k| 41 | 5 | 120 |1806 | 120 | 19 | 18 | 109k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
808.08/808.38 c 677s| 1600k| 9850 | 5011k| 3.1 |8650k| 41 | - | 120 |1785 | 120 | 19 | 18 | 110k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
813.07/813.37 c 681s| 1610k| 9716 | 5042k| 3.1 |8618k| 41 | - | 120 |1829 | 120 | 19 | 18 | 111k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
817.87/818.13 c 685s| 1620k| 10431 | 5071k| 3.1 |9088k| 41 | - | 120 |1856 | 120 | 19 | 18 | 111k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
822.67/822.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.67/822.97 c 689s| 1630k| 10522 | 5099k| 3.1 |9277k| 41 | - | 120 |1877 | 120 | 19 | 18 | 112k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
827.57/827.82 c 693s| 1640k| 10212 | 5127k| 3.1 |9155k| 41 | 5 | 120 |1922 | 120 | 19 | 18 | 113k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
832.38/832.69 c 697s| 1650k| 10273 | 5156k| 3.1 |9241k| 41 | - | 120 |1984 | 120 | 19 | 18 | 113k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
837.47/837.72 c 702s| 1660k| 10022 | 5185k| 3.1 |8996k| 41 | 5 | 120 |1734 | 120 | 19 | 18 | 114k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
842.28/842.51 c 706s| 1670k| 10939 | 5215k| 3.1 |9639k| 41 | - | 120 |1853 | 0 | 0 | 18 | 114k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
847.07/847.34 c 710s| 1680k| 11343 | 5245k| 3.1 |9994k| 41 | - | 120 |1886 | 120 | 19 | 18 | 115k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
851.86/852.16 c 714s| 1690k| 11736 | 5274k| 3.1 | 10M| 41 | 5 | 120 |1864 | 120 | 19 | 18 | 116k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
856.76/857.07 c 718s| 1700k| 11686 | 5304k| 3.1 | 10M| 41 | 5 | 120 |1899 | 120 | 19 | 18 | 116k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
861.77/862.03 c 722s| 1710k| 11768 | 5335k| 3.1 | 10M| 41 | - | 120 |1940 | 120 | 19 | 18 | 117k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
866.66/866.90 c 726s| 1720k| 12435 | 5366k| 3.1 | 11M| 41 | - | 120 |2028 | 120 | 19 | 18 | 117k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
871.56/871.83 c 730s| 1730k| 12606 | 5395k| 3.1 | 11M| 41 | 5 | 120 |2069 | 120 | 19 | 18 | 118k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
876.47/876.76 c 734s| 1740k| 12676 | 5424k| 3.1 | 11M| 41 | 5 | 120 |2011 | 120 | 19 | 18 | 119k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
881.36/881.70 c 738s| 1750k| 12723 | 5453k| 3.1 | 11M| 41 | 5 | 120 |1944 | 120 | 19 | 18 | 120k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
886.36/886.67 c 743s| 1760k| 12453 | 5483k| 3.1 | 11M| 41 | - | 120 |1904 | 120 | 19 | 18 | 120k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
891.25/891.54 c 747s| 1770k| 13034 | 5512k| 3.1 | 11M| 41 | 5 | 120 |1945 | 120 | 19 | 18 | 121k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
896.16/896.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.16/896.46 c 751s| 1780k| 13216 | 5542k| 3.1 | 12M| 41 | - | 120 |2028 | 120 | 19 | 18 | 122k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
901.16/901.49 c 755s| 1790k| 12804 | 5570k| 3.1 | 11M| 41 | 5 | 120 |1967 | 120 | 19 | 18 | 122k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
906.16/906.49 c 759s| 1800k| 12822 | 5601k| 3.1 | 11M| 41 | 5 | 120 |1965 | 120 | 19 | 18 | 123k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
911.15/911.44 c 763s| 1810k| 12888 | 5632k| 3.1 | 12M| 41 | 5 | 120 |1949 | 120 | 19 | 18 | 124k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
916.05/916.38 c 768s| 1820k| 13274 | 5664k| 3.1 | 12M| 41 | 5 | 120 |1974 | 120 | 19 | 18 | 124k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
920.95/921.29 c 772s| 1830k| 13341 | 5695k| 3.1 | 12M| 41 | 5 | 120 |2017 | 120 | 19 | 18 | 125k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
925.95/926.27 c 776s| 1840k| 13402 | 5727k| 3.1 | 12M| 41 | - | 120 |2021 | 120 | 19 | 18 | 125k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
930.94/931.24 c 780s| 1850k| 13638 | 5760k| 3.1 | 12M| 41 | - | 120 |2025 | 0 | 0 | 18 | 126k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
935.85/936.19 c 784s| 1860k| 13804 | 5792k| 3.1 | 13M| 41 | 5 | 120 |2024 | 120 | 19 | 18 | 126k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
940.74/941.09 c 788s| 1870k| 13978 | 5822k| 3.1 | 13M| 41 | - | 120 |2042 | 120 | 19 | 18 | 127k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
945.84/946.13 c 793s| 1880k| 13294 | 5853k| 3.1 | 12M| 41 | 5 | 120 |1940 | 120 | 19 | 18 | 127k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
950.84/951.15 c 797s| 1890k| 12909 | 5884k| 3.1 | 12M| 41 | - | 120 |1904 | 0 | 0 | 18 | 128k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
955.74/956.08 c 801s| 1900k| 13118 | 5915k| 3.1 | 12M| 41 | - | 120 |1915 | 0 | 0 | 18 | 129k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
960.83/961.10 c 805s| 1910k| 13028 | 5946k| 3.1 | 12M| 41 | 5 | 120 |1950 | 120 | 19 | 18 | 129k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
965.63/965.92 c 809s| 1920k| 13201 | 5975k| 3.1 | 12M| 41 | 5 | 120 |2024 | 120 | 19 | 18 | 130k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
970.53/970.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.53/970.84 c 813s| 1930k| 12887 | 6005k| 3.1 | 12M| 41 | 5 | 120 |1977 | 120 | 19 | 18 | 130k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
975.45/975.74 c 818s| 1940k| 13094 | 6035k| 3.1 | 12M| 41 | 5 | 120 |2018 | 120 | 19 | 18 | 131k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
980.34/980.62 c 822s| 1950k| 13330 | 6065k| 3.1 | 12M| 41 | - | 120 |2103 | 120 | 19 | 18 | 132k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
985.24/985.50 c 826s| 1960k| 13307 | 6094k| 3.1 | 13M| 41 | 5 | 120 |2126 | 120 | 19 | 18 | 132k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
990.13/990.48 c 830s| 1970k| 12945 | 6123k| 3.1 | 12M| 41 | - | 120 |2099 | 120 | 19 | 18 | 133k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
995.03/995.39 c 834s| 1980k| 13849 | 6155k| 3.1 | 13M| 41 | 5 | 120 |2048 | 120 | 19 | 18 | 134k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1000.13/1000.41 c 838s| 1990k| 13910 | 6185k| 3.1 | 13M| 41 | - | 120 |2035 | 120 | 19 | 18 | 134k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1005.13/1005.49 c 842s| 2000k| 13320 | 6215k| 3.1 | 13M| 41 | - | 120 |1998 | 120 | 19 | 18 | 135k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1010.23/1010.59 c 847s| 2010k| 12998 | 6245k| 3.1 | 12M| 41 | - | 120 |1820 | 120 | 19 | 18 | 136k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1015.12/1015.47 c 851s| 2020k| 13128 | 6276k| 3.1 | 13M| 41 | 5 | 120 |1866 | 120 | 19 | 18 | 136k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1020.13/1020.41 c 855s| 2030k| 12778 | 6306k| 3.1 | 12M| 41 | - | 120 |1862 | 120 | 19 | 18 | 137k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1025.02/1025.37 c 859s| 2040k| 12722 | 6337k| 3.1 | 12M| 41 | 5 | 120 |1849 | 120 | 19 | 18 | 138k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1030.02/1030.37 c 863s| 2050k| 12397 | 6367k| 3.1 | 12M| 41 | - | 120 |1818 | 0 | 0 | 18 | 138k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1035.02/1035.38 c 868s| 2060k| 12645 | 6397k| 3.1 | 12M| 41 | - | 120 |1784 | 0 | 0 | 18 | 139k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1039.91/1040.25 c 872s| 2070k| 12860 | 6428k| 3.1 | 12M| 41 | - | 120 |1792 | 120 | 19 | 18 | 139k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1044.72/1045.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.72/1045.06 c 876s| 2080k| 13776 | 6459k| 3.1 | 13M| 41 | - | 120 |1891 | 120 | 19 | 18 | 140k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1049.62/1049.93 c 880s| 2090k| 14276 | 6489k| 3.1 | 13M| 41 | - | 120 |1906 | 120 | 19 | 18 | 140k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1054.52/1054.84 c 884s| 2100k| 14241 | 6518k| 3.1 | 14M| 41 | 5 | 120 |1906 | 120 | 19 | 18 | 141k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1059.41/1059.76 c 888s| 2110k| 14312 | 6549k| 3.1 | 14M| 41 | - | 120 |1836 | 120 | 19 | 18 | 141k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1064.31/1064.66 c 892s| 2120k| 14507 | 6579k| 3.1 | 14M| 41 | - | 120 |1870 | 0 | 0 | 18 | 142k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1069.21/1069.50 c 896s| 2130k| 15190 | 6610k| 3.1 | 14M| 41 | - | 120 |1919 | 120 | 19 | 18 | 143k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1074.11/1074.45 c 900s| 2140k| 15320 | 6641k| 3.1 | 15M| 41 | 5 | 120 |1987 | 120 | 19 | 18 | 143k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1079.01/1079.35 c 905s| 2150k| 16117 | 6671k| 3.1 | 15M| 41 | - | 120 |1984 | 120 | 19 | 18 | 144k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1083.91/1084.26 c 909s| 2160k| 16297 | 6701k| 3.1 | 15M| 41 | - | 120 |2009 | 120 | 19 | 18 | 145k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1088.91/1089.20 c 913s| 2170k| 16359 | 6732k| 3.1 | 16M| 41 | - | 120 |1933 | 120 | 19 | 18 | 145k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1093.80/1094.14 c 917s| 2180k| 16416 | 6761k| 3.1 | 16M| 41 | 5 | 120 |1935 | 120 | 19 | 18 | 146k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1098.61/1098.95 c 921s| 2190k| 16807 | 6792k| 3.1 | 16M| 41 | - | 120 |1993 | 0 | 0 | 18 | 146k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1103.50/1103.84 c 925s| 2200k| 16728 | 6820k| 3.1 | 16M| 41 | - | 120 |1884 | 120 | 19 | 18 | 147k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1108.51/1108.85 c 929s| 2210k| 16776 | 6851k| 3.1 | 16M| 41 | 5 | 120 |1795 | 120 | 19 | 18 | 148k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1113.30/1113.68 c 933s| 2220k| 17387 | 6883k| 3.1 | 17M| 41 | - | 120 |1824 | 120 | 19 | 18 | 148k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1118.20/1118.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.20/1118.50 c 937s| 2230k| 17433 | 6913k| 3.1 | 17M| 41 | 5 | 120 |1834 | 120 | 19 | 18 | 149k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1123.20/1123.50 c 942s| 2240k| 16935 | 6944k| 3.1 | 16M| 41 | - | 120 |1780 | 120 | 19 | 18 | 149k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1128.09/1128.42 c 946s| 2250k| 17634 | 6975k| 3.1 | 17M| 41 | 5 | 120 |1802 | 120 | 19 | 18 | 150k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1132.89/1133.25 c 950s| 2260k| 18192 | 7005k| 3.1 | 17M| 41 | - | 120 |1837 | 120 | 19 | 18 | 150k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1137.79/1138.13 c 954s| 2270k| 18515 | 7034k| 3.1 | 18M| 41 | - | 120 |1832 | 120 | 19 | 18 | 151k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1142.79/1143.11 c 958s| 2280k| 18617 | 7064k| 3.1 | 18M| 41 | - | 120 |1840 | 120 | 19 | 18 | 152k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1147.69/1148.03 c 962s| 2290k| 18538 | 7094k| 3.1 | 18M| 41 | - | 120 |1881 | 120 | 19 | 18 | 153k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1152.59/1152.97 c 966s| 2300k| 18231 | 7123k| 3.1 | 18M| 41 | - | 120 |1900 | 120 | 19 | 18 | 154k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1157.49/1157.88 c 971s| 2310k| 18682 | 7154k| 3.1 | 18M| 41 | - | 120 |1915 | 120 | 19 | 18 | 154k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1162.48/1162.81 c 975s| 2320k| 18812 | 7184k| 3.1 | 18M| 41 | 5 | 120 |1957 | 120 | 19 | 18 | 155k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1167.49/1167.89 c 979s| 2330k| 18147 | 7214k| 3.1 | 18M| 41 | 5 | 120 |1867 | 120 | 19 | 18 | 156k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1172.48/1172.82 c 983s| 2340k| 18137 | 7243k| 3.1 | 18M| 41 | 5 | 120 |1910 | 120 | 19 | 18 | 157k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1177.48/1177.86 c 987s| 2350k| 17650 | 7273k| 3.1 | 18M| 41 | 5 | 120 |1809 | 120 | 19 | 18 | 157k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1182.48/1182.85 c 991s| 2360k| 17319 | 7303k| 3.1 | 17M| 41 | 5 | 120 |1877 | 120 | 19 | 18 | 158k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1187.38/1187.78 c 996s| 2370k| 17350 | 7333k| 3.1 | 18M| 41 | - | 120 |1927 | 120 | 19 | 18 | 159k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1192.48/1192.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.48/1192.81 c 1000s| 2380k| 17096 | 7363k| 3.1 | 17M| 41 | 5 | 120 |1867 | 120 | 19 | 18 | 159k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1197.37/1197.79 c 1004s| 2390k| 16831 | 7393k| 3.1 | 17M| 41 | 5 | 120 |1832 | 120 | 19 | 18 | 160k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1202.28/1202.60 c 1008s| 2400k| 17231 | 7423k| 3.1 | 18M| 41 | - | 120 |1894 | 120 | 19 | 18 | 161k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1207.08/1207.40 c 1012s| 2410k| 17274 | 7451k| 3.1 | 18M| 41 | - | 120 |1909 | 120 | 19 | 18 | 161k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1212.07/1212.48 c 1016s| 2420k| 16768 | 7482k| 3.1 | 17M| 41 | 5 | 120 |1870 | 120 | 19 | 18 | 162k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1217.08/1217.46 c 1021s| 2430k| 16610 | 7513k| 3.1 | 17M| 41 | 5 | 120 |1894 | 120 | 19 | 18 | 163k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1222.08/1222.44 c 1025s| 2440k| 16521 | 7543k| 3.1 | 17M| 41 | 5 | 120 |1935 | 120 | 19 | 18 | 163k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1226.97/1227.31 c 1029s| 2450k| 16388 | 7572k| 3.1 | 17M| 41 | 5 | 120 |1955 | 120 | 19 | 18 | 164k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1231.87/1232.28 c 1033s| 2460k| 16223 | 7602k| 3.1 | 17M| 41 | 5 | 120 |1950 | 120 | 19 | 18 | 165k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1236.77/1237.15 c 1037s| 2470k| 16418 | 7631k| 3.1 | 17M| 41 | 5 | 120 |2117 | 120 | 19 | 18 | 166k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1241.86/1242.25 c 1041s| 2480k| 16087 | 7661k| 3.1 | 17M| 41 | - | 120 |1935 | 120 | 19 | 18 | 166k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1246.87/1247.20 c 1046s| 2490k| 16077 | 7692k| 3.1 | 17M| 41 | - | 120 |1939 | 120 | 19 | 18 | 167k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1251.66/1252.05 c 1050s| 2500k| 16241 | 7721k| 3.1 | 17M| 41 | - | 120 |2013 | 0 | 0 | 18 | 168k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1256.66/1257.08 c 1054s| 2510k| 16117 | 7751k| 3.1 | 17M| 41 | - | 120 |2059 | 0 | 0 | 18 | 168k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1261.66/1262.01 c 1058s| 2520k| 16547 | 7781k| 3.1 | 17M| 41 | - | 120 |2151 | 120 | 19 | 18 | 169k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1266.56/1266.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.56/1266.95 c 1062s| 2530k| 17004 | 7810k| 3.1 | 18M| 41 | 5 | 120 |2223 | 120 | 19 | 18 | 170k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1271.45/1271.87 c 1066s| 2540k| 17949 | 7840k| 3.1 | 18M| 41 | 5 | 120 |2267 | 120 | 19 | 18 | 171k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1276.46/1276.83 c 1070s| 2550k| 18594 | 7870k| 3.1 | 19M| 41 | 5 | 120 |2331 | 120 | 19 | 18 | 171k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1281.26/1281.69 c 1075s| 2560k| 19681 | 7897k| 3.1 | 19M| 41 | - | 120 |2389 | 120 | 19 | 18 | 172k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1286.26/1286.62 c 1079s| 2570k| 20033 | 7926k| 3.1 | 20M| 41 | 5 | 120 |2299 | 120 | 19 | 18 | 173k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1291.15/1291.59 c 1083s| 2580k| 20144 | 7955k| 3.1 | 20M| 41 | - | 120 |2263 | 120 | 19 | 18 | 173k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1296.25/1296.64 c 1087s| 2590k| 19944 | 7984k| 3.1 | 20M| 41 | 5 | 120 |2271 | 120 | 19 | 18 | 174k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1301.25/1301.62 c 1091s| 2600k| 20040 | 8012k| 3.1 | 20M| 41 | - | 120 |2251 | 120 | 19 | 18 | 175k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1306.15/1306.53 c 1096s| 2610k| 20767 | 8040k| 3.1 | 21M| 41 | 5 | 120 |2237 | 120 | 19 | 18 | 175k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1311.05/1311.45 c 1100s| 2620k| 21424 | 8069k| 3.1 | 21M| 41 | - | 120 |2247 | 120 | 19 | 18 | 176k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1315.95/1316.35 c 1104s| 2630k| 22569 | 8098k| 3.1 | 22M| 41 | 5 | 120 |2266 | 120 | 19 | 18 | 177k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1321.05/1321.42 c 1108s| 2640k| 23196 | 8128k| 3.1 | 22M| 41 | - | 120 |2282 | 120 | 19 | 18 | 177k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1325.84/1326.29 c 1112s| 2650k| 23871 | 8157k| 3.1 | 23M| 41 | 5 | 120 |2356 | 120 | 19 | 18 | 178k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1330.94/1331.34 c 1117s| 2660k| 24284 | 8186k| 3.1 | 23M| 41 | 5 | 120 |2239 | 120 | 19 | 18 | 179k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1336.05/1336.40 c 1121s| 2670k| 24258 | 8215k| 3.1 | 23M| 41 | - | 120 |2253 | 120 | 19 | 18 | 179k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1340.94/1341.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.94/1341.37 c 1125s| 2680k| 24731 | 8245k| 3.1 | 24M| 41 | 5 | 120 |2264 | 120 | 19 | 18 | 180k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1345.94/1346.36 c 1129s| 2690k| 25410 | 8276k| 3.1 | 24M| 41 | 5 | 120 |2301 | 120 | 19 | 18 | 180k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1350.94/1351.38 c 1134s| 2700k| 25463 | 8306k| 3.1 | 24M| 41 | - | 120 |2264 | 120 | 19 | 18 | 181k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1356.04/1356.43 c 1138s| 2710k| 25567 | 8335k| 3.1 | 25M| 41 | 5 | 120 |2287 | 120 | 19 | 18 | 182k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1361.14/1361.52 c 1142s| 2720k| 25302 | 8364k| 3.1 | 24M| 41 | 5 | 120 |2234 | 120 | 19 | 18 | 182k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1366.24/1366.63 c 1147s| 2730k| 25012 | 8394k| 3.1 | 24M| 41 | 5 | 120 |2236 | 120 | 19 | 18 | 183k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1371.53/1371.93 c 1151s| 2740k| 24322 | 8423k| 3.1 | 24M| 41 | 5 | 120 |2189 | 120 | 19 | 18 | 184k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1376.53/1376.93 c 1155s| 2750k| 24666 | 8452k| 3.1 | 24M| 41 | - | 120 |2206 | 120 | 19 | 18 | 184k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1381.44/1381.81 c 1159s| 2760k| 25421 | 8481k| 3.1 | 25M| 41 | 5 | 120 |2229 | 120 | 19 | 18 | 185k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1386.33/1386.72 c 1163s| 2770k| 25710 | 8510k| 3.1 | 25M| 41 | 5 | 120 |2248 | 120 | 19 | 18 | 185k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1391.23/1391.68 c 1168s| 2780k| 25852 | 8540k| 3.1 | 25M| 41 | 5 | 120 |2255 | 120 | 19 | 18 | 186k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1396.22/1396.67 c 1172s| 2790k| 25520 | 8568k| 3.1 | 25M| 41 | 5 | 120 |2233 | 120 | 19 | 18 | 187k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1401.32/1401.71 c 1176s| 2800k| 25267 | 8597k| 3.1 | 25M| 41 | - | 120 |2156 | 120 | 19 | 18 | 187k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1406.33/1406.79 c 1180s| 2810k| 24927 | 8625k| 3.1 | 25M| 41 | 5 | 120 |2219 | 120 | 19 | 18 | 188k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1411.53/1411.95 c 1185s| 2820k| 24619 | 8654k| 3.1 | 25M| 41 | - | 120 |2180 | 0 | 0 | 18 | 189k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1416.62/1417.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.62/1417.07 c 1189s| 2830k| 24284 | 8682k| 3.1 | 25M| 41 | 5 | 120 |2206 | 120 | 19 | 18 | 189k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1421.93/1422.32 c 1194s| 2840k| 23685 | 8712k| 3.1 | 24M| 41 | - | 120 |2172 | 120 | 19 | 18 | 190k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1427.12/1427.55 c 1198s| 2850k| 23025 | 8740k| 3.1 | 24M| 41 | 5 | 120 |2199 | 120 | 19 | 18 | 191k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1432.22/1432.67 c 1202s| 2860k| 22826 | 8769k| 3.1 | 24M| 41 | - | 120 |2219 | 0 | 0 | 18 | 192k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1437.23/1437.62 c 1207s| 2870k| 23747 | 8800k| 3.1 | 24M| 41 | - | 120 |2226 | 120 | 19 | 18 | 192k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1442.12/1442.59 c 1211s| 2880k| 24357 | 8830k| 3.1 | 25M| 41 | - | 120 |2236 | 120 | 19 | 18 | 193k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1447.22/1447.60 c 1215s| 2890k| 24590 | 8859k| 3.1 | 25M| 41 | - | 120 |2266 | 120 | 19 | 18 | 194k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1452.21/1452.67 c 1219s| 2900k| 24530 | 8888k| 3.1 | 25M| 41 | 5 | 120 |2235 | 120 | 19 | 18 | 194k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1457.32/1457.78 c 1224s| 2910k| 24201 | 8919k| 3.1 | 25M| 41 | 5 | 120 |2221 | 120 | 19 | 18 | 195k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1462.41/1462.89 c 1228s| 2920k| 24025 | 8949k| 3.1 | 25M| 41 | - | 120 |2284 | 0 | 0 | 18 | 195k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1467.41/1467.89 c 1232s| 2930k| 23889 | 8978k| 3.1 | 25M| 41 | 5 | 120 |2307 | 120 | 19 | 18 | 196k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1472.52/1472.95 c 1236s| 2940k| 23635 | 9006k| 3.1 | 25M| 41 | 5 | 120 |2298 | 120 | 19 | 18 | 197k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1477.71/1478.10 c 1241s| 2950k| 23267 | 9036k| 3.1 | 25M| 41 | 5 | 120 |2304 | 120 | 19 | 18 | 197k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1482.80/1483.25 c 1245s| 2960k| 22872 | 9065k| 3.1 | 25M| 41 | 5 | 120 |2312 | 120 | 19 | 18 | 198k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1488.11/1488.57 c 1250s| 2970k| 22302 | 9095k| 3.1 | 24M| 41 | - | 120 |2322 | 0 | 0 | 18 | 199k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1493.31/1493.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.31/1493.72 c 1254s| 2980k| 21807 | 9124k| 3.1 | 24M| 41 | 5 | 120 |2343 | 120 | 19 | 18 | 200k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1498.81/1499.21 c 1259s| 2990k| 20996 | 9154k| 3.1 | 23M| 41 | - | 120 |2268 | 0 | 0 | 18 | 200k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1503.70/1504.16 c 1263s| 3000k| 21549 | 9184k| 3.1 | 23M| 41 | 5 | 120 |2319 | 120 | 19 | 18 | 201k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1508.81/1509.25 c 1267s| 3010k| 21066 | 9214k| 3.1 | 23M| 41 | - | 120 |2319 | 120 | 19 | 18 | 202k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1514.21/1514.62 c 1272s| 3020k| 20056 | 9243k| 3.1 | 22M| 41 | - | 120 |2292 | 120 | 19 | 18 | 202k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1519.30/1519.76 c 1276s| 3030k| 20358 | 9274k| 3.1 | 22M| 41 | 5 | 120 |2321 | 120 | 19 | 18 | 203k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1524.30/1524.70 c 1280s| 3040k| 20524 | 9303k| 3.1 | 23M| 41 | - | 120 |2346 | 120 | 19 | 18 | 204k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1529.20/1529.70 c 1284s| 3050k| 20712 | 9333k| 3.1 | 23M| 41 | 5 | 120 |2367 | 120 | 19 | 18 | 204k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1534.19/1534.60 c 1288s| 3060k| 20871 | 9362k| 3.1 | 23M| 41 | - | 120 |2422 | 120 | 19 | 18 | 205k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1539.09/1539.58 c 1292s| 3070k| 20534 | 9390k| 3.1 | 23M| 41 | - | 120 |2360 | 120 | 19 | 18 | 206k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1544.09/1544.58 c 1297s| 3080k| 20225 | 9419k| 3.1 | 23M| 41 | - | 120 |2405 | 120 | 19 | 18 | 206k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1549.19/1549.63 c 1301s| 3090k| 20599 | 9448k| 3.1 | 23M| 41 | 5 | 120 |2457 | 120 | 19 | 18 | 207k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1554.09/1554.55 c 1305s| 3100k| 20662 | 9476k| 3.1 | 23M| 41 | - | 120 |2503 | 120 | 19 | 18 | 207k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1559.29/1559.73 c 1309s| 3110k| 20566 | 9505k| 3.1 | 23M| 41 | - | 120 |2439 | 120 | 19 | 18 | 208k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1564.28/1564.78 c 1314s| 3120k| 20636 | 9536k| 3.1 | 23M| 41 | 5 | 120 |2469 | 120 | 19 | 18 | 209k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1569.39/1569.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.39/1569.83 c 1318s| 3130k| 20690 | 9565k| 3.1 | 23M| 41 | - | 120 |2480 | 120 | 19 | 18 | 209k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1574.48/1575.00 c 1322s| 3140k| 21368 | 9596k| 3.1 | 24M| 41 | - | 120 |2515 | 120 | 19 | 18 | 210k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1579.68/1580.16 c 1327s| 3150k| 22062 | 9627k| 3.1 | 24M| 41 | 5 | 120 |2548 | 120 | 19 | 18 | 210k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1584.78/1585.28 c 1331s| 3160k| 22363 | 9657k| 3.1 | 24M| 41 | 5 | 120 |2566 | 120 | 19 | 18 | 211k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1589.88/1590.39 c 1335s| 3170k| 22752 | 9686k| 3.1 | 25M| 41 | - | 120 |2594 | 120 | 19 | 18 | 212k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1595.08/1595.58 c 1340s| 3180k| 22770 | 9716k| 3.1 | 25M| 41 | 5 | 120 |2582 | 120 | 19 | 18 | 213k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1600.28/1600.72 c 1344s| 3190k| 22535 | 9744k| 3.1 | 25M| 41 | - | 120 |2560 | 120 | 19 | 18 | 213k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1605.48/1605.99 c 1349s| 3200k| 22214 | 9775k| 3.1 | 25M| 41 | 5 | 120 |2550 | 120 | 19 | 18 | 214k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1610.87/1611.37 c 1353s| 3210k| 21427 | 9804k| 3.1 | 24M| 41 | 5 | 120 |2545 | 120 | 19 | 18 | 215k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1615.97/1616.42 c 1357s| 3220k| 21940 | 9833k| 3.1 | 25M| 41 | - | 120 |2574 | 120 | 19 | 18 | 215k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1621.37/1621.81 c 1362s| 3230k| 21013 | 9861k| 3.1 | 24M| 41 | - | 120 |2514 | 0 | 0 | 18 | 216k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1626.48/1626.96 c 1366s| 3240k| 20899 | 9891k| 3.1 | 24M| 41 | 5 | 120 |2546 | 120 | 19 | 18 | 217k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1631.57/1632.08 c 1371s| 3250k| 20944 | 9920k| 3.1 | 24M| 41 | 5 | 120 |2502 | 120 | 19 | 18 | 217k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1636.56/1637.09 c 1375s| 3260k| 21054 | 9950k| 3.1 | 24M| 41 | - | 120 |2501 | 120 | 19 | 18 | 218k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1641.67/1642.13 c 1379s| 3270k| 20979 | 9979k| 3.1 | 24M| 41 | - | 120 |2538 | 120 | 19 | 18 | 219k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1646.66/1647.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.66/1647.14 c 1383s| 3280k| 21382 | 10009k| 3.1 | 24M| 41 | 5 | 120 |2606 | 120 | 19 | 18 | 219k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1651.67/1652.18 c 1388s| 3290k| 21441 | 10039k| 3.1 | 24M| 41 | 5 | 120 |2637 | 120 | 19 | 18 | 220k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1656.86/1657.33 c 1392s| 3300k| 20966 | 10067k| 3.1 | 24M| 41 | 5 | 120 |2650 | 120 | 19 | 18 | 220k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1661.96/1662.41 c 1396s| 3310k| 21185 | 10097k| 3.1 | 24M| 41 | - | 120 |2588 | 120 | 19 | 18 | 221k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1666.96/1667.47 c 1400s| 3320k| 21768 | 10129k| 3.1 | 25M| 41 | - | 120 |2570 | 120 | 19 | 18 | 221k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1672.16/1672.65 c 1405s| 3330k| 21755 | 10161k| 3.1 | 25M| 41 | 5 | 120 |2560 | 120 | 19 | 18 | 222k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1677.16/1677.66 c 1409s| 3340k| 21916 | 10190k| 3.1 | 25M| 41 | 5 | 120 |2616 | 120 | 19 | 18 | 222k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1682.35/1682.84 c 1413s| 3350k| 21521 | 10220k| 3.1 | 25M| 41 | 5 | 120 |2597 | 120 | 19 | 18 | 223k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1687.45/1687.96 c 1418s| 3360k| 21212 | 10250k| 3.1 | 24M| 41 | - | 120 |2625 | 120 | 19 | 18 | 223k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1692.46/1692.97 c 1422s| 3370k| 21333 | 10279k| 3.1 | 25M| 41 | 5 | 120 |2593 | 120 | 19 | 18 | 224k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1697.65/1698.14 c 1426s| 3380k| 21058 | 10308k| 3.0 | 24M| 41 | - | 120 |2460 | 120 | 19 | 18 | 225k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1702.75/1703.21 c 1430s| 3390k| 21425 | 10339k| 3.0 | 24M| 41 | 5 | 120 |2467 | 120 | 19 | 18 | 225k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1707.95/1708.49 c 1435s| 3400k| 20957 | 10369k| 3.0 | 24M| 41 | - | 120 |2270 | 120 | 19 | 18 | 226k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1712.85/1713.38 c 1439s| 3410k| 21489 | 10398k| 3.0 | 25M| 41 | - | 120 |2340 | 120 | 19 | 18 | 227k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1717.95/1718.46 c 1443s| 3420k| 20993 | 10426k| 3.0 | 24M| 41 | - | 120 |2274 | 120 | 19 | 18 | 228k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1722.94/1723.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.94/1723.44 c 1448s| 3430k| 21271 | 10456k| 3.0 | 24M| 41 | 5 | 120 |2364 | 120 | 19 | 18 | 228k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1728.04/1728.55 c 1452s| 3440k| 21131 | 10486k| 3.0 | 24M| 41 | 5 | 120 |2213 | 120 | 19 | 18 | 229k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1733.05/1733.51 c 1456s| 3450k| 21604 | 10516k| 3.0 | 25M| 41 | 5 | 120 |2264 | 120 | 19 | 18 | 230k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1737.84/1738.33 c 1460s| 3460k| 22734 | 10545k| 3.0 | 25M| 41 | - | 120 |2288 | 0 | 0 | 18 | 230k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1742.74/1743.22 c 1464s| 3470k| 23432 | 10574k| 3.0 | 26M| 41 | 5 | 120 |2306 | 120 | 19 | 18 | 231k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1747.64/1748.14 c 1468s| 3480k| 24186 | 10604k| 3.0 | 26M| 41 | 5 | 120 |2284 | 120 | 19 | 18 | 232k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1752.54/1753.09 c 1473s| 3490k| 24602 | 10633k| 3.0 | 27M| 41 | 5 | 120 |2294 | 120 | 19 | 18 | 232k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1757.64/1758.18 c 1477s| 3500k| 24706 | 10663k| 3.0 | 27M| 41 | 5 | 120 |2283 | 120 | 19 | 18 | 233k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1762.74/1763.22 c 1481s| 3510k| 24724 | 10692k| 3.0 | 27M| 41 | - | 120 |2298 | 0 | 0 | 18 | 234k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1767.83/1768.31 c 1485s| 3520k| 24465 | 10720k| 3.0 | 27M| 41 | 5 | 120 |2340 | 120 | 19 | 18 | 234k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1773.03/1773.52 c 1490s| 3530k| 24035 | 10750k| 3.0 | 27M| 41 | - | 120 |2274 | 120 | 19 | 18 | 235k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1778.04/1778.51 c 1494s| 3540k| 24452 | 10779k| 3.0 | 27M| 41 | 5 | 120 |2398 | 120 | 19 | 18 | 236k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1783.03/1783.54 c 1498s| 3550k| 24848 | 10810k| 3.0 | 28M| 41 | - | 120 |2402 | 0 | 0 | 18 | 236k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1787.93/1788.46 c 1502s| 3560k| 25288 | 10839k| 3.0 | 28M| 41 | - | 120 |2464 | 120 | 19 | 18 | 237k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1792.93/1793.42 c 1507s| 3570k| 25217 | 10867k| 3.0 | 28M| 41 | - | 120 |2481 | 120 | 19 | 18 | 238k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1798.12/1798.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.12/1798.61 c 1511s| 3580k| 24921 | 10896k| 3.0 | 28M| 41 | - | 120 |2291 | 120 | 19 | 18 | 239k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1512.56
1800.03/1800.50 c Solving Nodes : 3583742
1800.03/1800.50 c Primal Bound : +2.00000000000000e+00 (27 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s SATISFIABLE
1800.03/1800.50 v -x120 x119 x118 -x117 x116 x115 -x114 x113 x112 -x111 x110 -x109 x108 -x107 -x106 -x105 x104 x103 x102 x101 x100 x99 -x98 -x97
1800.03/1800.50 v x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.03/1800.50 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.03/1800.50 v -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.03/1800.50 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1512.56
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2665666-1276600073.opb
1800.03/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 10 initial, 10 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2665666-1276600073.opb
1800.03/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 5 initial, 2704 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.01 0 0 0 0 0 5 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 70 - - 70 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 1833291 0 6423 14162 0 0 3625448
1800.03/1800.50 c linear : 5+ 7 4521902 0 0 411605 3180199 0 0 0
1800.03/1800.50 c logicor : 0+ 0 2457166 0 0 15105 148241 0 0 0
1800.03/1800.50 c countsols : 0 0 0 11 0 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 26.64 0.00 0.00 26.64 0.00
1800.03/1800.50 c linear : 218.34 0.00 218.34 0.00 0.00
1800.03/1800.50 c logicor : 64.40 0.00 64.40 0.00 0.00
1800.03/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.50 c vbounds : 2.48 2 0 0
1800.03/1800.50 c rootredcost : 2.01 26 0 70
1800.03/1800.50 c pseudoobj : 27.00 4522128 412 103688
1800.03/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.50 c propagation : 21.74 427122 133780 194923 33.3 0 0.0 -
1800.03/1800.50 c infeasible LP : 5.70 97164 97076 106961 17.1 33 26.6 0
1800.03/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c pseudo solution : 0.00 1 1 1 1.0 0 0.0 -
1800.03/1800.50 c applied globally : - - - 134400 19.4 - - -
1800.03/1800.50 c applied locally : - - - 104876 34.6 - - -
1800.03/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.50 c cut pool : 0.00 5 - - 6 - (maximal pool size: 50)
1800.03/1800.50 c redcost : 15.83 1931393 0 1371738 0 0
1800.03/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.50 c intobj : 0.00 0 0 0 0 0
1800.03/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.50 c gomory : 0.00 6 0 0 0 0
1800.03/1800.50 c strongcg : 0.00 6 0 0 24 0
1800.03/1800.50 c cmir : 0.01 6 0 0 12 0
1800.03/1800.50 c flowcover : 0.04 6 0 0 19 0
1800.03/1800.50 c clique : 0.00 1 0 0 0 0
1800.03/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.50 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.08 1 0 0 0 104
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 23.98 1833280 6423 14162 0 0 3625448
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 11
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c oneopt : 2.38 25 0
1800.03/1800.51 c crossover : 3.24 5 1
1800.03/1800.51 c fracdiving : 3.18 3945 3
1800.03/1800.51 c linesearchdiving : 3.01 3945 2
1800.03/1800.51 c veclendiving : 3.25 3945 1
1800.03/1800.51 c pscostdiving : 3.06 3946 0
1800.03/1800.51 c coefdiving : 3.67 3947 2
1800.03/1800.51 c guideddiving : 3.00 3950 4
1800.03/1800.51 c rootsoldiving : 4.36 2774 0
1800.03/1800.51 c objpscostdiving : 1.99 2775 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 1.31 0 0
1800.03/1800.51 c zirounding : 1.85 1000 0
1800.03/1800.51 c rounding : 2.05 19670 0
1800.03/1800.51 c shifting : 18.03 24374 2
1800.03/1800.51 c intshifting : 0.21 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.24 1 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.13 1 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 1.42 0 0
1800.03/1800.51 c trysol : 2.36 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 758.98 3312305 10821870 3.27 14258.44
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 11.27 39177 86625 2.21 7686.34
1800.03/1800.51 c strong branching : 5.93 22913 44742 1.95 7545.03
1800.03/1800.51 c (at root node) : - 9 326 36.22 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 3583742
1800.03/1800.51 c nodes (total) : 3583742
1800.03/1800.51 c nodes left : 24932
1800.03/1800.51 c max depth : 41
1800.03/1800.51 c max depth (total): 41
1800.03/1800.51 c backtracks : 939555 (26.2%)
1800.03/1800.51 c delayed cutoffs : 14481
1800.03/1800.51 c repropagations : 166460 (161718 domain reductions, 13207 cutoffs)
1800.03/1800.51 c avg switch length: 4.48
1800.03/1800.51 c switching time : 126.52
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 27 (26 improvements)
1800.03/1800.51 c First Solution : +9.22000000000000e+02 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1800.03/1800.51 c Primal Bound : +2.00000000000000e+00 (in run 1, after 11227 nodes, 10.01 seconds, depth 30, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 60
1800.14/1800.69 c Time complete: 1800.23.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665666-1276600073/watcher-2665666-1276600073 -o /tmp/evaluation-result-2665666-1276600073/solver-2665666-1276600073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665666-1276600073.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2968 /proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=8260 CPUtime=0 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 35593684 8458240 934 1992294400 4194304 9819077 140736798590880 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2968/statm: 2322 943 371 1374 0 943 0 [startup+0.0942541 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2968 /proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22256 CPUtime=0.08 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 4891 0 0 0 7 1 0 0 20 0 1 0 35593684 22790144 3935 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5564 3935 673 1374 0 4185 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22256 [startup+0.101254 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2968 /proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22256 CPUtime=0.09 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 4894 0 0 0 8 1 0 0 20 0 1 0 35593684 22790144 3938 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5564 3938 673 1374 0 4185 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22256 [startup+0.301274 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2968 /proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=23992 CPUtime=0.29 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 9886 0 0 0 24 5 0 0 20 0 1 0 35593684 24567808 4269 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5998 4269 714 1374 0 4619 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23992 [startup+0.701314 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2968 /proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=16828 CPUtime=0.7 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 17508 0 0 0 55 15 0 0 20 0 1 0 35593684 17231872 2848 1992294400 4194304 9819077 140736798590880 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 4287 2850 723 1374 0 2908 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 16828 [startup+1.50139 s] /proc/loadavg: 0.92 0.98 0.99 2/107 2969 /proc/meminfo: memFree=1771560/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=16460 CPUtime=1.49 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 28588 0 0 0 124 25 0 0 22 0 1 0 35593684 16855040 2850 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 4115 2850 726 1374 0 2736 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16460 [startup+3.10055 s] /proc/loadavg: 0.92 0.98 0.99 2/107 2969 /proc/meminfo: memFree=1765732/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=16956 CPUtime=3.09 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 52075 0 0 0 257 52 0 0 25 0 1 0 35593684 17362944 2933 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 4239 2933 726 1374 0 2860 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16956 [startup+6.30088 s] /proc/loadavg: 1.01 1.00 1.00 2/107 2969 /proc/meminfo: memFree=1770320/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=26396 CPUtime=6.29 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 88939 0 0 0 534 95 0 0 25 0 1 0 35593684 27029504 4805 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 6599 4805 727 1374 0 5220 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26396 [startup+12.7005 s] /proc/loadavg: 1.01 1.00 1.00 2/107 2969 /proc/meminfo: memFree=1767476/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=20260 CPUtime=12.69 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 165110 0 0 0 1081 188 0 0 25 0 1 0 35593684 20746240 3812 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 4905 3808 727 1374 0 3526 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20260 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2969 /proc/meminfo: memFree=1766856/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=21172 CPUtime=25.49 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 325716 0 0 0 2159 390 0 0 25 0 1 0 35593684 21680128 3986 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5293 3986 727 1374 0 3914 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21172 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2969 /proc/meminfo: memFree=1765864/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=21856 CPUtime=51.07 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 639395 0 0 0 4323 784 0 0 25 0 1 0 35593684 22380544 4170 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5464 4170 727 1374 0 4085 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21856 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2971 /proc/meminfo: memFree=1765616/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=21856 CPUtime=102.26 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 1288901 0 0 0 8603 1623 0 0 25 0 1 0 35593684 22380544 4206 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5464 4206 727 1374 0 4085 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21856 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2973 /proc/meminfo: memFree=1765368/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=21324 CPUtime=162.25 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 2058300 0 0 0 13626 2599 0 0 25 0 1 0 35593684 21835776 4214 1992294400 4194304 9819077 140736798590880 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5451 4217 727 1374 0 4072 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21324 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2975 /proc/meminfo: memFree=1765368/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=21988 CPUtime=222.23 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 2821704 0 0 0 18652 3571 0 0 25 0 1 0 35593684 22515712 4274 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5537 4275 727 1374 0 4158 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21988 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2975 /proc/meminfo: memFree=1764996/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22384 CPUtime=282.22 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 3566061 0 0 0 23688 4534 0 0 25 0 1 0 35593684 22921216 4342 1992294400 4194304 9819077 140736798590880 18446744073709551615 5434202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5596 4342 727 1374 0 4217 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 22384 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2977 /proc/meminfo: memFree=1764872/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22480 CPUtime=342.2 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 4317974 0 0 0 28726 5494 0 0 25 0 1 0 35593684 23019520 4348 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5620 4348 727 1374 0 4241 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 22480 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2979 /proc/meminfo: memFree=1764748/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22480 CPUtime=402.19 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 5070722 0 0 0 33746 6473 0 0 25 0 1 0 35593684 23019520 4348 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5620 4348 727 1374 0 4241 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 22480 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2981 /proc/meminfo: memFree=1764376/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22480 CPUtime=462.17 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 5825528 0 0 0 38773 7444 0 0 25 0 1 0 35593684 23019520 4361 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5620 4361 727 1374 0 4241 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 22480 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2986 /proc/meminfo: memFree=1763508/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22480 CPUtime=522.15 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 6590482 0 0 0 43770 8445 0 0 25 0 1 0 35593684 23019520 4361 1992294400 4194304 9819077 140736798590880 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5620 4361 727 1374 0 4241 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 22480 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2986 /proc/meminfo: memFree=1763632/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22480 CPUtime=582.13 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 7354280 0 0 0 48788 9425 0 0 25 0 1 0 35593684 23019520 4361 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5620 4361 727 1374 0 4241 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 22480 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2988 /proc/meminfo: memFree=1763632/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=22804 CPUtime=642.13 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 8117442 0 0 0 53807 10406 0 0 25 0 1 0 35593684 23351296 4442 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 5541 4437 727 1374 0 4162 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 22804 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2994 /proc/meminfo: memFree=1757804/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=28868 CPUtime=882.06 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 11082319 0 0 0 73896 14310 0 0 25 0 1 0 35593684 29560832 5960 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 7057 5955 727 1374 0 5678 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 28868 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2996 /proc/meminfo: memFree=1756440/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=30228 CPUtime=942.04 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 11821415 0 0 0 78952 15252 0 0 25 0 1 0 35593684 30953472 6304 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 7557 6304 727 1374 0 6178 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 30228 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2998 /proc/meminfo: memFree=1755820/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=30744 CPUtime=1002.03 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 12553368 0 0 0 83976 16227 0 0 25 0 1 0 35593684 31481856 6433 1992294400 4194304 9819077 140736798590880 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 7686 6433 727 1374 0 6307 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 30744 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3000 /proc/meminfo: memFree=1755076/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=31588 CPUtime=1062.01 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 13283435 0 0 0 89022 17179 0 0 25 0 1 0 35593684 32346112 6647 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 7897 6647 727 1374 0 6518 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 31588 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3002 /proc/meminfo: memFree=1751852/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=34648 CPUtime=1122 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 14018195 0 0 0 94066 18134 0 0 25 0 1 0 35593684 35479552 7402 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 8662 7402 727 1374 0 7283 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 34648 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3002 /proc/meminfo: memFree=1750364/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=36004 CPUtime=1181.98 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 14749553 0 0 0 99102 19096 0 0 25 0 1 0 35593684 36868096 7755 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 9001 7755 727 1374 0 7622 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 36004 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3004 /proc/meminfo: memFree=1750116/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=36004 CPUtime=1241.97 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 15478348 0 0 0 104145 20052 0 0 25 0 1 0 35593684 36868096 7755 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 9001 7755 727 1374 0 7622 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 36004 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3006 /proc/meminfo: memFree=1748380/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=37560 CPUtime=1301.96 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 16193327 0 0 0 109208 20988 0 0 25 0 1 0 35593684 38461440 8149 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 9390 8149 727 1374 0 8011 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 37560 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3008 /proc/meminfo: memFree=1743916/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=41928 CPUtime=1361.94 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 16898829 0 0 0 114290 21904 0 0 25 0 1 0 35593684 42934272 9270 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10482 9270 727 1374 0 9103 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 41928 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3010 /proc/meminfo: memFree=1742800/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=42964 CPUtime=1421.93 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 17597609 0 0 0 119354 22839 0 0 25 0 1 0 35593684 43995136 9529 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10741 9529 727 1374 0 9362 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 42964 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3010 /proc/meminfo: memFree=1742676/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=42964 CPUtime=1481.9 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 18298483 0 0 0 124424 23766 0 0 25 0 1 0 35593684 43995136 9529 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10741 9529 727 1374 0 9362 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 42964 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3012 /proc/meminfo: memFree=1742676/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=42804 CPUtime=1541.9 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 19001230 0 0 0 129477 24713 0 0 25 0 1 0 35593684 43831296 9528 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10741 9529 727 1374 0 9362 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 42804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3014 /proc/meminfo: memFree=1742552/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=43128 CPUtime=1601.88 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 19705163 0 0 0 134548 25640 0 0 25 0 1 0 35593684 44163072 9552 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10782 9552 727 1374 0 9403 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 43128 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3016 /proc/meminfo: memFree=1741684/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=43440 CPUtime=1661.86 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 20400476 0 0 0 139602 26584 0 0 25 0 1 0 35593684 44482560 9702 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10900 9703 727 1374 0 9521 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 43440 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3018 /proc/meminfo: memFree=1741560/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=43708 CPUtime=1721.85 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 21109056 0 0 0 144657 27528 0 0 25 0 1 0 35593684 44756992 9706 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 10927 9706 727 1374 0 9548 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 43708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3018 /proc/meminfo: memFree=1739576/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=45408 CPUtime=1781.83 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 21820597 0 0 0 149719 28464 0 0 25 0 1 0 35593684 46497792 10124 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 11352 10124 727 1374 0 9973 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 45408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3020 /proc/meminfo: memFree=1738336/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=46684 CPUtime=1800.03 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 22036505 0 0 0 151256 28747 0 0 25 0 1 0 35593684 47804416 10442 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2968/statm: 11671 10442 727 1374 0 10292 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 46684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3021 /proc/meminfo: memFree=1738328/2059040 swapFree=4134608/4192956 [pid=2968] ppid=2966 vsize=46684 CPUtime=1800.14 /proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 22036511 0 0 0 151267 28747 0 0 25 0 1 0 35593684 47804416 10443 1992294400 4194304 9819077 140736798590880 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2968/statm: 11671 10443 728 1374 0 10292 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 46684 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.23 CPU user time (s): 1512.75 CPU system time (s): 287.481 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 47804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1512.75 system time used= 287.481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22036515 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= 4957 runsolver used 2.90956 second user time and 8.59669 second system time The end
Begin job on node017 at 2010-06-15 13:07:53 IDJOB=2665666 IDBENCH=2899 IDSOLVER=1168 FILE ID=node017/2665666-1276600073 PBS_JOBID= 11172225 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665666-1276600073/watcher-2665666-1276600073 -o /tmp/evaluation-result-2665666-1276600073/solver-2665666-1276600073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665666-1276600073.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=286858539 node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1781280 kB Buffers: 75372 kB Cached: 120936 kB SwapCached: 11984 kB Active: 113488 kB Inactive: 97680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1781280 kB SwapTotal: 4192956 kB SwapFree: 4134608 kB Dirty: 6244 kB Writeback: 0 kB AnonPages: 12984 kB Mapped: 9392 kB Slab: 44848 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183924 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node017 at 2010-06-15 13:37:55