Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo |
| MD5SUM | d52b3728da19986b004dc30001a23e20 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 327.101 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 904 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 44120 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44119 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 669 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693597-1277912707.wbo>
0.00/0.02 c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.02/0.07 c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.02/0.09 c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.10 c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.11 c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.15 c 1114 implications, 18 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.15 c 832 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 18 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1615 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.12
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7460k| 0 | - |1895 |3298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.64 o 391
0.59/0.64 c * 0.6s| 2344 | 2059 | 0 | 0.0 |9046k|1017 | - |1895 |3599 | 0 | 0 | 0 | 306 | 0 | 0.000000e+00 | 3.910000e+02 | Inf
2.39/2.43 c 2.3s| 10000 | 8618 | 0 | 0.0 | 14M|1017 | - |1895 |4812 | 0 | 0 | 0 |3523 | 0 | 0.000000e+00 | 3.910000e+02 | Inf
4.79/4.83 o 337
4.79/4.83 c * 4.6s| 17803 | 13884 | 0 | 0.0 | 21M|1017 | - |1895 |7105 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.370000e+02 | Inf
4.99/5.02 o 283
4.99/5.02 c * 4.8s| 18446 | 14483 | 0 | 0.0 | 21M|1017 | - |1895 |6698 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.830000e+02 | Inf
4.99/5.02 o 214
4.99/5.02 c * 4.8s| 18447 | 14430 | 0 | 0.0 | 21M|1017 | - |1895 |6698 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
5.09/5.11 o 201
5.09/5.11 c * 4.9s| 18707 | 14669 | 0 | 0.0 | 21M|1017 | - |1895 |6445 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
5.09/5.11 o 190
5.09/5.11 c * 4.9s| 18708 | 14668 | 0 | 0.0 | 21M|1017 | - |1895 |6445 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
5.19/5.28 o 184
5.19/5.28 c * 5.1s| 19241 | 15162 | 0 | 0.0 | 21M|1017 | - |1895 |5723 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
5.19/5.28 o 183
5.19/5.28 c * 5.1s| 19242 | 15161 | 0 | 0.0 | 21M|1017 | - |1895 |5723 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
5.50/5.51 c 5.3s| 20000 | 15860 | 0 | 0.0 | 22M|1017 | - |1895 |5300 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
5.69/5.76 o 157
5.69/5.76 c * 5.5s| 20821 | 16583 | 0 | 0.0 | 22M|1017 | - |1895 |4982 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
5.79/5.80 o 96
5.79/5.80 c * 5.6s| 20940 | 16468 | 0 | 0.0 | 22M|1017 | - |1895 |4960 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
6.29/6.35 o 92
6.29/6.35 c * 6.1s| 22615 | 17860 | 0 | 0.0 | 24M|1017 | - |1895 |4791 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
6.40/6.40 o 89
6.40/6.40 c * 6.2s| 22763 | 17920 | 0 | 0.0 | 24M|1017 | - |1895 |4824 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
8.39/8.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.43 c 8.1s| 30000 | 24131 | 0 | 0.0 | 30M|1017 | - |1895 |4893 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
11.18/11.29 c 10.9s| 40000 | 32191 | 0 | 0.0 | 37M|1017 | - |1895 |4755 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
14.39/14.43 c 13.9s| 50000 | 39894 | 0 | 0.0 | 44M|1017 | - |1895 |5241 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
17.79/17.80 c 17.2s| 60000 | 47236 | 0 | 0.0 | 51M|1017 | - |1895 |5767 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
21.39/21.48 c 20.7s| 70000 | 54130 | 0 | 0.0 | 58M|1017 | - |1895 |6537 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
25.29/25.35 c 24.5s| 80000 | 60757 | 0 | 0.0 | 65M|1017 | - |1895 |7073 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
29.19/29.28 c 28.3s| 90000 | 67285 | 0 | 0.0 | 73M|1017 | - |1895 |7755 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
33.49/33.57 c 32.4s|100000 | 73324 | 0 | 0.0 | 80M|1017 | - |1895 |8683 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
38.08/38.18 c 36.9s|110000 | 79023 | 0 | 0.0 | 88M|1017 | - |1895 |8592 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
43.29/43.32 c 41.9s|120000 | 83914 | 0 | 0.0 | 95M|1017 | - |1895 | 10k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
49.59/49.61 c 48.0s|130000 | 87548 | 0 | 0.0 | 103M|1017 | - |1895 | 11k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
53.99/54.01 o 66
53.99/54.01 c *52.3s|138380 | 92461 | 0 | 0.0 | 105M|1017 | - |1895 |4421 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
54.09/54.14 o 65
54.09/54.14 c *52.5s|138732 | 92752 | 0 | 0.0 | 106M|1017 | - |1895 |4374 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
54.59/54.60 c 52.9s|140000 | 93859 | 0 | 0.0 | 107M|1017 | - |1895 |4419 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
54.78/54.85 o 44
54.78/54.85 c *53.1s|140726 | 93849 | 0 | 0.0 | 106M|1017 | - |1895 |4376 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
55.99/56.04 o 42
55.99/56.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.99/56.04 c *54.3s|144200 | 96740 | 0 | 0.0 | 109M|1017 | - |1895 |4541 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
58.20/58.25 c 56.4s|150000 |101662 | 0 | 0.0 | 114M|1017 | - |1895 |3518 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
58.79/58.81 o 35
58.79/58.81 c *57.0s|151677 |101415 | 0 | 0.0 | 112M|1017 | - |1895 |3690 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
60.79/60.85 o 26
60.79/60.85 c *58.9s|157622 |106086 | 0 | 0.0 | 116M|1017 | - |1895 |3978 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
61.69/61.72 c 59.8s|160000 |107970 | 0 | 0.0 | 118M|1017 | - |1895 |4092 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
62.29/62.34 o 16
62.29/62.34 c *60.4s|161691 |108799 | 0 | 0.0 | 119M|1017 | - |1895 |4262 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
65.29/65.39 c 63.3s|170000 |115136 | 0 | 0.0 | 126M|1017 | - |1895 |4898 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
69.79/69.86 c 67.7s|180000 |121216 | 0 | 0.0 | 134M|1017 | - |1895 |7136 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
72.99/73.01 c 70.7s|190000 |129495 | 0 | 0.0 | 140M|1017 | - |1895 |5471 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
75.49/75.51 o 14
75.49/75.51 c *73.1s|196452 |133457 | 0 | 0.0 | 144M|1017 | - |1895 |7549 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
76.59/76.70 c 74.3s|200000 |136396 | 0 | 0.0 | 146M|1017 | - |1895 |5275 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
79.20/79.29 o 9
79.20/79.29 c *76.8s|208042 |142674 | 0 | 0.0 | 151M|1017 | - |1895 |6273 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
79.99/80.08 c 77.5s|210000 |144033 | 0 | 0.0 | 153M|1017 | - |1895 |6753 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
83.39/83.44 c 80.8s|220000 |151933 | 0 | 0.0 | 160M|1017 | - |1895 |6175 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
87.19/87.29 c 84.5s|230000 |158922 | 0 | 0.0 | 166M|1017 | - |1895 |6134 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
90.59/90.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.59/90.67 c 87.7s|240000 |166641 | 0 | 0.0 | 173M|1017 | - |1895 |7381 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
94.19/94.29 c 91.2s|250000 |173982 | 0 | 0.0 | 179M|1017 | - |1895 |6709 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
97.99/98.03 c 94.9s|260000 |181020 | 0 | 0.0 | 185M|1017 | - |1895 |4449 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
101.29/101.33 c 98.0s|270000 |188790 | 0 | 0.0 | 192M|1017 | - |1895 |4446 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
105.19/105.25 c 102s|280000 |195565 | 0 | 0.0 | 199M|1017 | - |1895 |5279 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.39/109.40 c 106s|290000 |202029 | 0 | 0.0 | 207M|1017 | - |1895 |6073 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
113.69/113.80 c 110s|300000 |208240 | 0 | 0.0 | 214M|1017 | - |1895 |6226 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
118.29/118.30 c 115s|310000 |214337 | 0 | 0.0 | 221M|1017 | - |1895 |6678 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
122.59/122.69 c 119s|320000 |220574 | 0 | 0.0 | 228M|1017 | - |1895 |7206 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
127.29/127.33 c 123s|330000 |226536 | 0 | 0.0 | 235M|1017 | - |1895 |7276 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.89/131.98 c 128s|340000 |232457 | 0 | 0.0 | 242M|1017 | - |1895 |7569 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
136.60/136.70 c 132s|350000 |238434 | 0 | 0.0 | 249M|1017 | - |1895 |7786 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
141.60/141.61 c 137s|360000 |244072 | 0 | 0.0 | 256M|1017 | - |1895 |9594 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
146.69/146.79 c 142s|370000 |249599 | 0 | 0.0 | 263M|1017 | - |1895 |9566 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
152.09/152.18 c 148s|380000 |254908 | 0 | 0.0 | 270M|1017 | - |1895 |9811 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
157.49/157.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.49/157.58 c 153s|390000 |260343 | 0 | 0.0 | 276M|1017 | - |1895 |9628 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
163.20/163.29 c 158s|400000 |265397 | 0 | 0.0 | 284M|1017 | - |1895 | 11k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
169.09/169.16 c 164s|410000 |270492 | 0 | 0.0 | 291M|1017 | - |1895 | 11k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
175.19/175.24 c 170s|420000 |275579 | 0 | 0.0 | 297M|1017 | - |1895 | 11k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
181.69/181.74 c 176s|430000 |280338 | 0 | 0.0 | 305M|1017 | - |1895 | 13k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
188.79/188.85 c 183s|440000 |284672 | 0 | 0.0 | 312M|1017 | - |1895 | 14k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
195.89/195.95 c 190s|450000 |289298 | 0 | 0.0 | 318M|1017 | - |1895 | 13k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
202.80/202.84 c 197s|460000 |293820 | 0 | 0.0 | 325M|1017 | - |1895 | 15k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
210.20/210.29 c 204s|470000 |297903 | 0 | 0.0 | 332M|1017 | - |1895 | 16k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
217.89/217.95 c 211s|480000 |301921 | 0 | 0.0 | 338M|1017 | - |1895 | 14k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
224.89/224.96 c 218s|490000 |306528 | 0 | 0.0 | 344M|1017 | - |1895 | 13k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
232.70/232.75 c 225s|500000 |310044 | 0 | 0.0 | 351M|1017 | - |1895 | 16k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
240.69/240.79 c 233s|510000 |313530 | 0 | 0.0 | 357M|1017 | - |1895 | 15k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
248.90/248.90 c 240s|520000 |317097 | 0 | 0.0 | 363M|1017 | - |1895 | 15k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
256.89/256.92 c 248s|530000 |320669 | 0 | 0.0 | 368M|1017 | - |1895 | 14k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
264.90/264.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.90/264.95 c 256s|540000 |324409 | 0 | 0.0 | 375M|1017 | - |1895 | 15k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
273.40/273.41 c 264s|550000 |327661 | 0 | 0.0 | 381M|1017 | - |1895 | 16k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
282.10/282.10 c 272s|560000 |330696 | 0 | 0.0 | 386M|1017 | - |1895 | 16k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
291.20/291.22 c 281s|570000 |333413 | 0 | 0.0 | 391M|1017 | - |1895 | 15k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
300.60/300.68 c 290s|580000 |335756 | 0 | 0.0 | 397M|1017 | - |1895 | 17k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
310.00/310.08 c 299s|590000 |338386 | 0 | 0.0 | 402M|1017 | - |1895 | 17k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
320.60/320.62 c 309s|600000 |340024 | 0 | 0.0 | 406M|1017 | - |1895 | 18k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
332.50/332.55 c 320s|610000 |340651 | 0 | 0.0 | 410M|1017 | - |1895 | 19k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
347.10/347.13 c 335s|620000 |339449 | 0 | 0.0 | 413M|1017 | - |1895 | 22k| 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
353.30/353.38 c 340s|630000 |345650 | 0 | 0.0 | 413M|1017 | - |1895 |4867 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
356.70/356.74 c 344s|640000 |353571 | 0 | 0.0 | 422M|1017 | - |1895 |5247 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
360.10/360.13 c 347s|650000 |361421 | 0 | 0.0 | 431M|1017 | - |1895 |5565 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
363.50/363.53 c 350s|660000 |369191 | 0 | 0.0 | 439M|1017 | - |1895 |5932 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
367.00/367.07 c 353s|670000 |376846 | 0 | 0.0 | 447M|1017 | - |1895 |6218 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
370.70/370.74 c 356s|680000 |384465 | 0 | 0.0 | 456M|1017 | - |1895 |6213 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
374.39/374.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.39/374.45 c 360s|690000 |391967 | 0 | 0.0 | 465M|1017 | - |1895 |6498 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
378.20/378.24 c 363s|700000 |399428 | 0 | 0.0 | 473M|1017 | - |1895 |6841 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
381.99/382.06 c 367s|710000 |406838 | 0 | 0.0 | 482M|1017 | - |1895 |7152 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
386.01/386.05 c 370s|720000 |414105 | 0 | 0.0 | 493M|1017 | - |1895 |7461 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
390.00/390.08 c 374s|730000 |421342 | 0 | 0.0 | 504M|1017 | - |1895 |7991 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
394.20/394.23 c 378s|740000 |428512 | 0 | 0.0 | 514M|1017 | - |1895 |8059 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
398.60/398.70 c 382s|750000 |435365 | 0 | 0.0 | 526M|1017 | - |1895 |8403 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
403.20/403.20 c 386s|760000 |442166 | 0 | 0.0 | 538M|1017 | - |1895 |8602 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
407.80/407.85 c 390s|770000 |448841 | 0 | 0.0 | 551M|1017 | - |1895 |8736 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
412.51/412.59 c 394s|780000 |455472 | 0 | 0.0 | 563M|1017 | - |1895 |9216 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
417.30/417.38 c 399s|790000 |462088 | 0 | 0.0 | 576M|1017 | - |1895 |9365 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
422.31/422.31 c 403s|800000 |468616 | 0 | 0.0 | 588M|1017 | - |1895 |9669 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
427.40/427.47 c 408s|810000 |474937 | 0 | 0.0 | 600M|1017 | - |1895 |9816 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
432.50/432.54 c 413s|820000 |481291 | 0 | 0.0 | 612M|1017 | - |1895 | 10k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
437.80/437.82 c 418s|830000 |487561 | 0 | 0.0 | 623M|1017 | - |1895 | 10k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
443.51/443.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.51/443.56 c 423s|840000 |493425 | 0 | 0.0 | 635M|1017 | - |1895 | 11k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
449.30/449.37 c 428s|850000 |499309 | 0 | 0.0 | 646M|1017 | - |1895 | 11k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
455.41/455.47 c 434s|860000 |505031 | 0 | 0.0 | 658M|1017 | - |1895 | 12k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
461.80/461.86 c 440s|870000 |510575 | 0 | 0.0 | 669M|1017 | - |1895 | 13k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
468.51/468.53 c 446s|880000 |516066 | 0 | 0.0 | 679M|1017 | - |1895 | 13k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
475.81/475.82 c 453s|890000 |521012 | 0 | 0.0 | 690M|1017 | - |1895 | 14k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
483.40/483.46 c 460s|900000 |525852 | 0 | 0.0 | 700M|1017 | - |1895 | 14k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
489.10/489.10 o 4
489.10/489.10 c * 465s|907314 |516408 | 0 | 0.0 | 681M|1017 | - |1895 | 15k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
491.50/491.60 c 468s|910000 |517465 | 0 | 0.0 | 685M|1017 | - |1895 | 15k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
497.80/497.80 c 473s|920000 |521537 | 0 | 0.0 | 689M|1017 | - |1895 |7068 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
504.10/504.16 c 479s|930000 |524729 | 0 | 0.0 | 695M|1017 | - |1895 |9808 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
509.51/509.54 c 484s|940000 |529821 | 0 | 0.0 | 698M|1017 | - |1895 |4762 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
512.51/512.51 c 487s|950000 |537626 | 0 | 0.0 | 704M|1017 | - |1895 |5256 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
515.50/515.59 c 490s|960000 |545212 | 0 | 0.0 | 711M|1017 | - |1895 |5790 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
518.80/518.83 c 493s|970000 |552542 | 0 | 0.0 | 717M|1017 | - |1895 |6487 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
522.20/522.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.20/522.29 c 496s|980000 |559646 | 0 | 0.0 | 724M|1017 | - |1895 |7091 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
525.81/525.87 c 499s|990000 |566510 | 0 | 0.0 | 730M|1017 | - |1895 |8161 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
530.11/530.18 c 503s| 1000k|572526 | 0 | 0.0 | 738M|1017 | - |1895 |9507 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
534.90/534.91 c 507s| 1010k|578084 | 0 | 0.0 | 744M|1017 | - |1895 |9965 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
540.50/540.52 c 512s| 1020k|582561 | 0 | 0.0 | 751M|1017 | - |1895 | 11k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
547.50/547.55 c 519s| 1030k|585591 | 0 | 0.0 | 758M|1017 | - |1895 | 12k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
553.00/553.01 c 524s| 1040k|590693 | 0 | 0.0 | 760M|1017 | - |1895 |5083 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
555.90/555.94 c 526s| 1050k|598522 | 0 | 0.0 | 767M|1017 | - |1895 |5495 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
559.11/559.13 c 529s| 1060k|605994 | 0 | 0.0 | 773M|1017 | - |1895 |6152 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
562.51/562.53 c 532s| 1070k|613194 | 0 | 0.0 | 779M|1017 | - |1895 |6719 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
566.21/566.24 c 536s| 1080k|619936 | 0 | 0.0 | 786M|1017 | - |1895 |7728 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
570.30/570.35 c 539s| 1090k|626159 | 0 | 0.0 | 793M|1017 | - |1895 |8766 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
574.81/574.86 c 543s| 1100k|631924 | 0 | 0.0 | 800M|1017 | - |1895 |9577 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
580.01/580.09 c 548s| 1110k|636867 | 0 | 0.0 | 806M|1017 | - |1895 | 11k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
586.31/586.37 c 554s| 1120k|640694 | 0 | 0.0 | 813M|1017 | - |1895 | 12k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
593.21/593.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.21/593.24 c 560s| 1130k|644233 | 0 | 0.0 | 816M|1017 | - |1895 |6997 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
596.21/596.27 c 563s| 1140k|651994 | 0 | 0.0 | 822M|1017 | - |1895 |5558 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
599.41/599.47 c 566s| 1150k|659409 | 0 | 0.0 | 829M|1017 | - |1895 |6087 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
602.81/602.82 c 569s| 1160k|666590 | 0 | 0.0 | 836M|1017 | - |1895 |6795 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
606.41/606.43 c 572s| 1170k|673489 | 0 | 0.0 | 842M|1017 | - |1895 |7654 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
610.10/610.17 c 575s| 1180k|680141 | 0 | 0.0 | 849M|1017 | - |1895 |8550 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
614.40/614.40 c 579s| 1190k|686187 | 0 | 0.0 | 855M|1017 | - |1895 |9517 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
619.41/619.46 c 584s| 1200k|691269 | 0 | 0.0 | 862M|1017 | - |1895 | 10k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
625.31/625.39 c 589s| 1210k|695470 | 0 | 0.0 | 869M|1017 | - |1895 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
632.71/632.71 c 596s| 1220k|698145 | 0 | 0.0 | 875M|1017 | - |1895 | 14k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
636.71/636.77 c 600s| 1230k|705075 | 0 | 0.0 | 878M|1017 | - |1895 |5199 | 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
639.81/639.86 c 603s| 1240k|712633 | 0 | 0.0 | 884M|1017 | - |1895 |5938 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
643.11/643.19 c 606s| 1250k|719835 | 0 | 0.0 | 891M|1017 | - |1895 |6499 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
646.60/646.66 c 609s| 1260k|726839 | 0 | 0.0 | 898M|1017 | - |1895 |7178 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
650.31/650.34 c 612s| 1270k|733613 | 0 | 0.0 | 904M|1017 | - |1895 |7877 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
654.51/654.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.51/654.50 c 616s| 1280k|739711 | 0 | 0.0 | 911M|1017 | - |1895 |8839 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
659.01/659.09 c 620s| 1290k|745306 | 0 | 0.0 | 917M|1017 | - |1895 |9869 | 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
664.20/664.28 c 625s| 1300k|750264 | 0 | 0.0 | 924M|1017 | - |1895 | 10k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
670.11/670.12 c 630s| 1310k|754364 | 0 | 0.0 | 929M|1017 | - |1895 |9187 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
674.91/674.94 c 634s| 1320k|759537 | 0 | 0.0 | 934M|1017 | - |1895 |6633 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
678.51/678.51 c 638s| 1330k|766303 | 0 | 0.0 | 939M|1017 | - |1895 |6212 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
682.02/682.01 c 641s| 1340k|773242 | 0 | 0.0 | 946M|1017 | - |1895 |6796 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
685.61/685.69 c 644s| 1350k|779974 | 0 | 0.0 | 952M|1017 | - |1895 |7720 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.81/689.84 c 648s| 1360k|786120 | 0 | 0.0 | 959M|1017 | - |1895 |8816 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
694.51/694.51 c 652s| 1370k|791692 | 0 | 0.0 | 966M|1017 | - |1895 | 10k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
700.01/700.05 c 657s| 1380k|796294 | 0 | 0.0 | 973M|1017 | - |1895 | 11k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
706.91/706.95 c 664s| 1390k|799647 | 0 | 0.0 | 980M|1017 | - |1895 | 13k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
713.31/713.32 c 670s| 1400k|804218 | 0 | 0.0 | 982M|1017 | - |1895 |3927 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
716.21/716.21 c 672s| 1410k|812102 | 0 | 0.0 | 988M|1017 | - |1895 |4442 | 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
716.91/716.95 o 3
716.91/716.95 c * 673s| 1412k|812867 | 0 | 0.0 | 989M|1017 | - |1895 |4775 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
719.91/719.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.91/719.98 c 675s| 1420k|817811 | 0 | 0.0 | 995M|1017 | - |1895 |6134 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
723.61/723.65 c 679s| 1430k|824492 | 0 | 0.0 |1000M|1017 | - |1895 |4169 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.11/727.11 c 682s| 1440k|831256 | 0 | 0.0 |1007M|1017 | - |1895 |4086 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
729.91/729.97 c 684s| 1450k|838902 | 0 | 0.0 |1013M|1017 | - |1895 |4960 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
733.11/733.13 c 687s| 1460k|846335 | 0 | 0.0 |1019M|1017 | - |1895 |3580 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
735.92/735.99 c 690s| 1470k|854120 | 0 | 0.0 |1025M|1017 | - |1895 |4448 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
739.91/739.94 c 693s| 1480k|859954 | 0 | 0.0 |1033M|1017 | - |1895 |7583 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
742.91/742.90 c 696s| 1490k|867737 | 0 | 0.0 |1038M|1017 | - |1895 |4524 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
747.41/747.43 c 700s| 1500k|872854 | 0 | 0.0 |1045M|1017 | - |1895 |5860 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
752.51/752.55 c 705s| 1510k|877546 | 0 | 0.0 |1051M|1017 | - |1895 |7016 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
758.01/758.08 c 710s| 1520k|881956 | 0 | 0.0 |1058M|1017 | - |1895 |7665 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
764.01/764.05 c 715s| 1530k|885968 | 0 | 0.0 |1065M|1017 | - |1895 |8600 | 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
770.61/770.65 c 721s| 1540k|889616 | 0 | 0.0 |1071M|1017 | - |1895 |9513 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
777.21/777.29 c 728s| 1550k|893422 | 0 | 0.0 |1078M|1017 | - |1895 | 10k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
784.22/784.28 c 734s| 1560k|896951 | 0 | 0.0 |1085M|1017 | - |1895 | 11k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
791.71/791.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.71/791.77 c 741s| 1570k|900222 | 0 | 0.0 |1091M|1017 | - |1895 | 12k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
799.21/799.29 c 748s| 1580k|903882 | 0 | 0.0 |1098M|1017 | - |1895 | 11k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
807.21/807.22 c 756s| 1590k|906904 | 0 | 0.0 |1104M|1017 | - |1895 | 13k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
814.91/814.91 c 763s| 1600k|910604 | 0 | 0.0 |1110M|1017 | - |1895 | 13k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
823.61/823.69 c 772s| 1610k|913454 | 0 | 0.0 |1117M|1017 | - |1895 | 14k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
831.91/831.93 c 779s| 1620k|917035 | 0 | 0.0 |1123M|1017 | - |1895 | 14k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
841.22/841.24 c 788s| 1630k|919653 | 0 | 0.0 |1129M|1017 | - |1895 | 15k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
849.81/849.86 c 796s| 1640k|923108 | 0 | 0.0 |1135M|1017 | - |1895 | 16k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
859.81/859.88 c 806s| 1650k|925340 | 0 | 0.0 |1140M|1017 | - |1895 | 16k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
869.02/869.07 c 815s| 1660k|928592 | 0 | 0.0 |1147M|1017 | - |1895 | 17k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
878.21/878.28 c 824s| 1670k|931993 | 0 | 0.0 |1152M|1017 | - |1895 | 16k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.61/889.63 c 834s| 1680k|933831 | 0 | 0.0 |1158M|1017 | - |1895 | 18k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
899.62/899.63 c 844s| 1690k|936936 | 0 | 0.0 |1165M|1017 | - |1895 | 19k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
911.01/911.07 c 855s| 1700k|939016 | 0 | 0.0 |1169M|1017 | - |1895 | 19k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
922.22/922.24 c 866s| 1710k|941764 | 0 | 0.0 |1175M|1017 | - |1895 | 20k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
932.92/932.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.92/932.91 c 876s| 1720k|945069 | 0 | 0.0 |1181M|1017 | - |1895 | 21k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
946.42/946.48 c 889s| 1730k|946459 | 0 | 0.0 |1185M|1017 | - |1895 | 22k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
958.02/958.09 c 900s| 1740k|949440 | 0 | 0.0 |1192M|1017 | - |1895 | 23k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
971.22/971.30 c 913s| 1750k|951385 | 0 | 0.0 |1195M|1017 | - |1895 | 21k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
984.72/984.77 c 926s| 1760k|953130 | 0 | 0.0 |1201M|1017 | - |1895 | 23k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
997.12/997.17 c 938s| 1770k|955936 | 0 | 0.0 |1207M|1017 | - |1895 | 21k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1011.92/1011.94 c 952s| 1780k|956599 | 0 | 0.0 |1210M|1017 | - |1895 | 22k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1025.32/1025.36 c 965s| 1790k|958692 | 0 | 0.0 |1216M|1017 | - |1895 | 24k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1039.62/1039.69 c 979s| 1800k|960080 | 0 | 0.0 |1219M|1017 | - |1895 | 21k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1054.72/1054.73 c 994s| 1810k|961188 | 0 | 0.0 |1225M|1017 | - |1895 | 25k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1068.92/1068.97 c 1008s| 1820k|963463 | 0 | 0.0 |1231M|1017 | - |1895 | 24k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1086.12/1086.19 c 1024s| 1830k|963410 | 0 | 0.0 |1234M|1017 | - |1895 | 26k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1101.72/1101.71 c 1039s| 1840k|965057 | 0 | 0.0 |1240M|1017 | - |1895 | 28k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1119.82/1119.85 c 1057s| 1850k|965207 | 0 | 0.0 |1242M|1017 | - |1895 | 26k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1137.62/1137.67 c 1074s| 1860k|966219 | 0 | 0.0 |1248M|1017 | - |1895 | 29k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.32/1155.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.32/1155.36 c 1092s| 1870k|967321 | 0 | 0.0 |1251M|1017 | - |1895 | 27k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1175.12/1175.13 c 1111s| 1880k|967135 | 0 | 0.0 |1255M|1017 | - |1895 | 30k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1192.23/1192.26 c 1127s| 1890k|968866 | 0 | 0.0 |1259M|1017 | - |1895 | 26k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1213.53/1213.53 c 1148s| 1900k|967876 | 0 | 0.0 |1262M|1017 | - |1895 | 31k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1231.53/1231.58 c 1166s| 1910k|969451 | 0 | 0.0 |1266M|1017 | - |1895 | 27k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1253.62/1253.62 c 1187s| 1920k|968221 | 0 | 0.0 |1268M|1017 | - |1895 | 31k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1272.63/1272.65 c 1206s| 1930k|969434 | 0 | 0.0 |1272M|1017 | - |1895 | 27k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1294.82/1294.80 c 1227s| 1940k|968151 | 0 | 0.0 |1274M|1017 | - |1895 | 31k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1313.93/1313.96 c 1246s| 1950k|969037 | 0 | 0.0 |1277M|1017 | - |1895 | 27k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1336.44/1336.47 c 1268s| 1960k|967689 | 0 | 0.0 |1280M|1017 | - |1895 | 32k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.13/1356.12 c 1287s| 1970k|967947 | 0 | 0.0 |1281M|1017 | - |1895 | 30k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1377.73/1377.70 c 1308s| 1980k|967476 | 0 | 0.0 |1285M|1017 | - |1895 | 34k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1400.43/1400.40 c 1331s| 1990k|966246 | 0 | 0.0 |1285M|1017 | - |1895 | 32k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.63/1420.66 c 1350s| 2000k|966648 | 0 | 0.0 |1288M|1017 | - |1895 | 29k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1443.03/1443.03 c 1372s| 2010k|965473 | 0 | 0.0 |1290M|1017 | - |1895 | 33k| 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1465.33/1465.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1465.33/1465.33 c 1394s| 2020k|964177 | 0 | 0.0 |1290M|1017 | - |1895 | 33k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1487.34/1487.36 c 1415s| 2030k|963133 | 0 | 0.0 |1291M|1017 | - |1895 | 32k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1509.84/1509.84 c 1437s| 2040k|962132 | 0 | 0.0 |1291M|1017 | - |1895 | 32k| 0 | 0 | 0 |2056k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1533.44/1533.45 c 1461s| 2050k|960559 | 0 | 0.0 |1292M|1017 | - |1895 | 32k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1556.54/1556.59 c 1483s| 2060k|958945 | 0 | 0.0 |1294M|1017 | - |1895 | 34k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1581.14/1581.13 c 1507s| 2070k|956721 | 0 | 0.0 |1292M|1017 | - |1895 | 32k| 0 | 0 | 0 |2123k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1606.34/1606.32 c 1532s| 2080k|953834 | 0 | 0.0 |1290M|1017 | - |1895 | 33k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1634.23/1634.24 c 1559s| 2090k|949383 | 0 | 0.0 |1285M|1017 | - |1895 | 34k| 0 | 0 | 0 |2174k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1642.34/1642.36 c 1567s| 2100k|955346 | 0 | 0.0 |1279M|1017 | - |1895 |5585 | 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1645.94/1645.93 c 1570s| 2110k|962695 | 0 | 0.0 |1286M|1017 | - |1895 |5861 | 0 | 0 | 0 |2186k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1649.34/1649.39 c 1573s| 2120k|970189 | 0 | 0.0 |1292M|1017 | - |1895 |6254 | 0 | 0 | 0 |2190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1652.94/1652.96 c 1576s| 2130k|977570 | 0 | 0.0 |1298M|1017 | - |1895 |5974 | 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1656.54/1656.57 c 1580s| 2140k|984857 | 0 | 0.0 |1304M|1017 | - |1895 |6252 | 0 | 0 | 0 |2200k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1660.34/1660.31 c 1583s| 2150k|991929 | 0 | 0.0 |1311M|1017 | - |1895 |6946 | 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1664.24/1664.22 c 1586s| 2160k|998897 | 0 | 0.0 |1317M|1017 | - |1895 |7012 | 0 | 0 | 0 |2211k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1668.24/1668.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.24/1668.23 c 1590s| 2170k| 1005k| 0 | 0.0 |1324M|1017 | - |1895 |6942 | 0 | 0 | 0 |2217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1672.24/1672.21 c 1594s| 2180k| 1012k| 0 | 0.0 |1330M|1017 | - |1895 |7572 | 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1676.45/1676.41 c 1597s| 2190k| 1019k| 0 | 0.0 |1336M|1017 | - |1895 |7688 | 0 | 0 | 0 |2229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1680.43/1680.47 c 1601s| 2200k| 1026k| 0 | 0.0 |1343M|1017 | - |1895 |6642 | 0 | 0 | 0 |2234k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1684.64/1684.65 c 1605s| 2210k| 1032k| 0 | 0.0 |1349M|1017 | - |1895 |8088 | 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1688.74/1688.78 c 1609s| 2220k| 1039k| 0 | 0.0 |1356M|1017 | - |1895 |7054 | 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1693.14/1693.10 c 1613s| 2230k| 1046k| 0 | 0.0 |1362M|1017 | - |1895 |8235 | 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1697.24/1697.27 c 1616s| 2240k| 1053k| 0 | 0.0 |1369M|1017 | - |1895 |8204 | 0 | 0 | 0 |2259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1702.04/1702.00 c 1621s| 2250k| 1059k| 0 | 0.0 |1375M|1017 | - |1895 |8217 | 0 | 0 | 0 |2266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1706.34/1706.30 c 1625s| 2260k| 1065k| 0 | 0.0 |1381M|1017 | - |1895 |8531 | 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1710.64/1710.67 c 1629s| 2270k| 1072k| 0 | 0.0 |1387M|1017 | - |1895 |7195 | 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1715.34/1715.33 c 1633s| 2280k| 1078k| 0 | 0.0 |1394M|1017 | - |1895 |8973 | 0 | 0 | 0 |2285k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1719.74/1719.76 c 1637s| 2290k| 1085k| 0 | 0.0 |1400M|1017 | - |1895 |8866 | 0 | 0 | 0 |2291k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1724.24/1724.27 c 1641s| 2300k| 1092k| 0 | 0.0 |1406M|1017 | - |1895 |8225 | 0 | 0 | 0 |2298k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1728.74/1728.74 c 1645s| 2310k| 1098k| 0 | 0.0 |1413M|1017 | - |1895 |9355 | 0 | 0 | 0 |2304k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1733.24/1733.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.24/1733.24 c 1649s| 2320k| 1105k| 0 | 0.0 |1419M|1017 | - |1895 |9567 | 0 | 0 | 0 |2311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1737.84/1737.88 c 1653s| 2330k| 1111k| 0 | 0.0 |1425M|1017 | - |1895 |7901 | 0 | 0 | 0 |2318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1742.64/1742.60 c 1658s| 2340k| 1117k| 0 | 0.0 |1432M|1017 | - |1895 |9639 | 0 | 0 | 0 |2325k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1747.24/1747.25 c 1662s| 2350k| 1123k| 0 | 0.0 |1439M|1017 | - |1895 |9760 | 0 | 0 | 0 |2332k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1752.14/1752.18 c 1666s| 2360k| 1129k| 0 | 0.0 |1445M|1017 | - |1895 |7923 | 0 | 0 | 0 |2339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1757.04/1757.05 c 1671s| 2370k| 1135k| 0 | 0.0 |1452M|1017 | - |1895 |9697 | 0 | 0 | 0 |2347k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1761.54/1761.53 c 1675s| 2380k| 1141k| 0 | 0.0 |1458M|1017 | - |1895 |9935 | 0 | 0 | 0 |2353k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1766.04/1766.07 c 1679s| 2390k| 1148k| 0 | 0.0 |1464M|1017 | - |1895 |8756 | 0 | 0 | 0 |2360k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1771.05/1771.08 c 1684s| 2400k| 1153k| 0 | 0.0 |1471M|1017 | - |1895 |9746 | 0 | 0 | 0 |2368k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1775.74/1775.73 c 1688s| 2410k| 1160k| 0 | 0.0 |1477M|1017 | - |1895 | 10k| 0 | 0 | 0 |2375k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1780.45/1780.42 c 1692s| 2420k| 1166k| 0 | 0.0 |1483M|1017 | - |1895 |9693 | 0 | 0 | 0 |2382k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1785.35/1785.34 c 1697s| 2430k| 1172k| 0 | 0.0 |1490M|1017 | - |1895 |7644 | 0 | 0 | 0 |2389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1791.14/1791.12 c 1702s| 2440k| 1177k| 0 | 0.0 |1497M|1017 | - |1895 | 10k| 0 | 0 | 0 |2399k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.55/1796.52 c 1707s| 2450k| 1182k| 0 | 0.0 |1504M|1017 | - |1895 | 10k| 0 | 0 | 0 |2407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1710.45
1800.05/1800.00 c Solving Nodes : 2456721
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (23 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.01 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.05/1800.01 v -x167 -x166 -x165 -x164 x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.05/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.01 v -x125 -x124 x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.05/1800.01 v -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80
1800.05/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54
1800.05/1800.01 v x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.01 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2
1800.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1710.45
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2693597-1277912707.wbo
1800.05/1800.01 c Variables : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.05/1800.01 c Constraints : 3612 initial, 3612 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2693597-1277912707.wbo
1800.05/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.05/1800.01 c Constraints : 3298 initial, 35101 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.06 0 0 0 933 0 242 170 0
1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 806 - - 1612 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 832 0 3709540 0 1182508 101 1358759 0 0 0
1800.05/1800.01 c knapsack : 1 0 7766982 0 1995718 187485 18922631 0 0 0
1800.05/1800.01 c setppc : 18 0 7595228 0 1995650 107332 6990871 0 0 0
1800.05/1800.01 c linear : 832 0 7488244 0 1995727 129239 8789714 0 0 0
1800.05/1800.01 c logicor : 1615+ 0 5821150 0 1995742 309783 14687993 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 28805 0 0 0 2 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1995736 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 3.80 0.00 1.82 0.00 1.98
1800.05/1800.01 c knapsack : 83.63 0.00 80.27 0.00 3.36
1800.05/1800.01 c setppc : 33.21 0.00 29.24 0.00 3.97
1800.05/1800.01 c linear : 106.82 0.00 105.91 0.00 0.91
1800.05/1800.01 c logicor : 643.26 0.00 554.80 0.00 88.46
1800.05/1800.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c countsols : 0.11 0.00 0.00 0.00 0.11
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.40 2 0 0
1800.05/1800.01 c rootredcost : 0.38 0 0 0
1800.05/1800.01 c pseudoobj : 131.03 7783761 690 1347686
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 26.69 734529 734519 3957218 22.8 140792 9.1 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.01 19 19 74 23.8 25 9.2 -
1800.05/1800.01 c applied globally : - - - 2412282 19.7 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 25.78 1995713 0 0 0 0 3991426
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.05 - 23
1800.05/1800.01 c oneopt : 0.20 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.09 0 0
1800.05/1800.01 c trysol : 0.09 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2456721
1800.05/1800.01 c nodes (total) : 2456721
1800.05/1800.01 c nodes left : 1186842
1800.05/1800.01 c max depth : 1017
1800.05/1800.01 c max depth (total): 1017
1800.05/1800.01 c backtracks : 439912 (17.9%)
1800.05/1800.01 c delayed cutoffs : 328934
1800.05/1800.01 c repropagations : 1610752 (15001644 domain reductions, 273664 cutoffs)
1800.05/1800.01 c avg switch length: 17.69
1800.05/1800.01 c switching time : 526.01
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 23 (23 improvements)
1800.05/1800.01 c First Solution : +3.91000000000000e+02 (in run 1, after 2344 nodes, 0.59 seconds, depth 274, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1412234 nodes, 672.73 seconds, depth 82, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693597-1277912707/watcher-2693597-1277912707 -o /tmp/evaluation-result-2693597-1277912707/solver-2693597-1277912707 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693597-1277912707.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.05 2.20 4/182 13143 /proc/meminfo: memFree=31345768/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=8296 CPUtime=0 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 1554 0 0 0 0 0 0 0 25 0 1 0 132566327 8495104 1476 4089446400 4194304 7136930 140735055245120 18446744073709551615 6178271 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13143/statm: 2074 1484 275 719 0 1353 0 [startup+0.0298159 s] /proc/loadavg: 2.01 2.05 2.20 4/182 13143 /proc/meminfo: memFree=31345768/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=15024 CPUtime=0.02 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 3534 0 0 0 2 0 0 0 18 0 1 0 132566327 15384576 3102 4089446400 4194304 7136930 140735055245120 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13143/statm: 3756 3165 286 719 0 3035 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15024 [startup+0.100804 s] /proc/loadavg: 2.01 2.05 2.20 4/182 13143 /proc/meminfo: memFree=31345768/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=22084 CPUtime=0.09 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 6722 0 0 0 9 0 0 0 18 0 1 0 132566327 22614016 4748 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13143/statm: 5521 4748 360 719 0 4800 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22084 [startup+0.30077 s] /proc/loadavg: 2.01 2.05 2.20 4/182 13143 /proc/meminfo: memFree=31345768/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=24068 CPUtime=0.29 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 9598 0 0 0 28 1 0 0 18 0 1 0 132566327 24645632 5311 4089446400 4194304 7136930 140735055245120 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13143/statm: 6017 5311 399 719 0 5296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24068 [startup+0.700707 s] /proc/loadavg: 2.01 2.05 2.20 4/182 13143 /proc/meminfo: memFree=31345768/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=26408 CPUtime=0.69 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 10169 0 0 0 67 2 0 0 18 0 1 0 132566327 27041792 5882 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13143/statm: 6602 5882 404 719 0 5881 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26408 [startup+1.50055 s] /proc/loadavg: 2.01 2.05 2.19 3/183 13144 /proc/meminfo: memFree=31322696/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=28784 CPUtime=1.49 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 10799 0 0 0 144 5 0 0 19 0 1 0 132566327 29474816 6512 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13143/statm: 7196 6512 404 719 0 6475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28784 [startup+3.10026 s] /proc/loadavg: 2.01 2.05 2.19 3/183 13144 /proc/meminfo: memFree=31319304/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=34860 CPUtime=3.09 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 12328 0 0 0 298 11 0 0 25 0 1 0 132566327 35696640 8041 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13143/statm: 8715 8041 404 719 0 7994 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34860 [startup+6.30068 s] /proc/loadavg: 2.01 2.04 2.19 3/183 13144 /proc/meminfo: memFree=31306408/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=46832 CPUtime=6.29 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 15286 0 0 0 607 22 0 0 25 0 1 0 132566327 47955968 10999 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13143/statm: 11708 10999 405 719 0 10987 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46832 [startup+12.7005 s] /proc/loadavg: 2.01 2.04 2.19 3/183 13144 /proc/meminfo: memFree=31285116/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=68140 CPUtime=12.68 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 20634 0 0 0 1223 45 0 0 25 0 1 0 132566327 69775360 16347 4089446400 4194304 7136930 140735055245120 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13143/statm: 17035 16347 405 719 0 16314 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 68140 [startup+25.5002 s] /proc/loadavg: 2.01 2.04 2.19 3/183 13144 /proc/meminfo: memFree=31250980/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=100700 CPUtime=25.48 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 28806 0 0 0 2463 85 0 0 25 0 1 0 132566327 103116800 24519 4089446400 4194304 7136930 140735055245120 18446744073709551615 4227349 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13143/statm: 25175 24519 405 719 0 24454 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 100700 [startup+51.1005 s] /proc/loadavg: 2.00 2.04 2.18 3/183 13145 /proc/meminfo: memFree=31206064/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=147764 CPUtime=51.09 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 40127 0 0 0 4952 157 0 0 25 0 1 0 132566327 151310336 35840 4089446400 4194304 7136930 140735055245120 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13143/statm: 36941 35840 405 719 0 36220 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 147764 [startup+102.306 s] /proc/loadavg: 2.00 2.03 2.17 3/183 13146 /proc/meminfo: memFree=31096540/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=257108 CPUtime=102.3 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 67334 0 0 0 9901 329 0 0 25 0 1 0 132566327 263278592 63047 4089446400 4194304 7136930 140735055245120 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13143/statm: 64277 63047 405 719 0 63556 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 257108 [startup+162.3 s] /proc/loadavg: 2.03 2.03 2.16 4/183 13148 /proc/meminfo: memFree=30996048/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=359708 CPUtime=162.29 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 92186 0 0 0 15742 487 0 0 25 0 1 0 132566327 368340992 87899 4089446400 4194304 7136930 140735055245120 18446744073709551615 4431762 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13143/statm: 89927 87899 405 719 0 89206 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 359708 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.15 3/201 13349 /proc/meminfo: memFree=30970316/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=423784 CPUtime=222.29 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 108240 0 0 0 21512 717 0 0 25 0 1 0 132566327 433954816 103953 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 105946 103953 405 719 0 105225 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 423784 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.14 3/183 13506 /proc/meminfo: memFree=31057240/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=469064 CPUtime=282.29 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 119641 0 0 0 27216 1013 0 0 25 0 1 0 132566327 480321536 115354 4089446400 4194304 7136930 140735055245120 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 117266 115354 405 719 0 116545 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 469064 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.13 3/183 13507 /proc/meminfo: memFree=31029984/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=493252 CPUtime=342.29 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 125702 0 0 0 32991 1238 0 0 25 0 1 0 132566327 505090048 121415 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 123313 121415 405 719 0 122592 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 493252 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.12 3/183 13508 /proc/meminfo: memFree=30896764/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=632132 CPUtime=402.3 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 158598 0 0 0 38498 1732 0 0 25 0 1 0 132566327 647303168 154311 4089446400 4194304 7136930 140735055245120 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 158033 154311 405 719 0 157312 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 632132 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.11 3/183 13510 /proc/meminfo: memFree=30735008/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=789912 CPUtime=462.3 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 193783 0 0 0 44030 2200 0 0 25 0 1 0 132566327 808869888 189496 4089446400 4194304 7136930 140735055245120 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 197478 189496 405 719 0 196757 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 789912 [startup+522.301 s] /proc/loadavg: 2.04 2.01 2.10 3/183 13512 /proc/meminfo: memFree=30624600/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=864576 CPUtime=522.3 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 212191 0 0 0 49559 2671 0 0 25 0 1 0 132566327 885325824 207904 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 216144 207904 407 719 0 215423 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 864576 [startup+582.301 s] /proc/loadavg: 2.01 2.01 2.09 3/183 13514 /proc/meminfo: memFree=30486524/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=941408 CPUtime=582.31 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 231696 0 0 0 55015 3216 0 0 25 0 1 0 132566327 964001792 227409 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 235352 227409 407 719 0 234631 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 941408 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.08 3/183 13515 /proc/meminfo: memFree=30342380/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1024336 CPUtime=642.32 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 252754 0 0 0 60481 3751 0 0 25 0 1 0 132566327 1048920064 248467 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 256084 248467 407 719 0 255363 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1024336 [startup+702.301 s] ################ # More data... # ################ /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 331536 0 0 0 94300 5932 0 0 25 0 1 0 132566327 1368780800 327249 4089446400 4194304 7136930 140735055245120 18446744073709551615 4227184 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 334175 327249 407 719 0 333454 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1336700 [startup+1062.3 s] /proc/loadavg: 2.07 2.02 2.05 3/183 13535 /proc/meminfo: memFree=29601068/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1356808 CPUtime=1062.32 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 336532 0 0 0 100112 6120 0 0 25 0 1 0 132566327 1389371392 332245 4089446400 4194304 7136930 140735055245120 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 339202 332245 407 719 0 338481 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1356808 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.05 3/183 13537 /proc/meminfo: memFree=29530336/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1373212 CPUtime=1122.32 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 340717 0 0 0 105936 6296 0 0 25 0 1 0 132566327 1406169088 336430 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 343303 336430 407 719 0 342582 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1373212 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.04 3/183 13539 /proc/meminfo: memFree=29458628/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1388392 CPUtime=1182.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 344486 0 0 0 111773 6460 0 0 25 0 1 0 132566327 1421713408 340199 4089446400 4194304 7136930 140735055245120 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 347098 340199 407 719 0 346377 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1388392 [startup+1242.3 s] /proc/loadavg: 2.06 2.01 2.04 3/183 13540 /proc/meminfo: memFree=29396208/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1394356 CPUtime=1242.32 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 345968 0 0 0 117620 6612 0 0 25 0 1 0 132566327 1427820544 341681 4089446400 4194304 7136930 140735055245120 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 348589 341681 407 719 0 347868 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1394356 [startup+1302.3 s] /proc/loadavg: 2.17 2.04 2.05 3/183 13541 /proc/meminfo: memFree=29327968/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1405284 CPUtime=1302.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 348708 0 0 0 123483 6750 0 0 25 0 1 0 132566327 1439010816 344421 4089446400 4194304 7136930 140735055245120 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 351321 344421 407 719 0 350600 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1405284 [startup+1362.3 s] /proc/loadavg: 2.06 2.03 2.04 3/183 13543 /proc/meminfo: memFree=29260832/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1413152 CPUtime=1362.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 350607 0 0 0 129336 6897 0 0 25 0 1 0 132566327 1447067648 346320 4089446400 4194304 7136930 140735055245120 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 353288 346320 407 719 0 352567 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1413152 [startup+1422.31 s] /proc/loadavg: 2.06 2.04 2.04 3/183 13545 /proc/meminfo: memFree=29195076/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1420400 CPUtime=1422.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 352433 0 0 0 135193 7040 0 0 25 0 1 0 132566327 1454489600 348146 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 355100 348146 407 719 0 354379 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1420400 [startup+1482.3 s] /proc/loadavg: 2.11 2.06 2.04 3/183 13547 /proc/meminfo: memFree=29137756/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1424180 CPUtime=1482.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 353332 0 0 0 141050 7183 0 0 25 0 1 0 132566327 1458360320 349045 4089446400 4194304 7136930 140735055245120 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 356045 349045 407 719 0 355324 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1424180 [startup+1542.3 s] /proc/loadavg: 2.04 2.04 2.04 3/183 13548 /proc/meminfo: memFree=29074232/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1429300 CPUtime=1542.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 354677 0 0 0 146916 7317 0 0 25 0 1 0 132566327 1463603200 350390 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 357325 350390 407 719 0 356604 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1429300 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.03 3/183 13549 /proc/meminfo: memFree=29017900/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1429552 CPUtime=1602.33 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 354716 0 0 0 152786 7447 0 0 25 0 1 0 132566327 1463861248 350429 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 357388 350429 407 719 0 356667 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1429552 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.03 3/183 13551 /proc/meminfo: memFree=28937512/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1469680 CPUtime=1662.34 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 360749 0 0 0 158466 7768 0 0 25 0 1 0 132566327 1504952320 356462 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 367420 356462 407 719 0 366699 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1469680 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.03 3/183 13553 /proc/meminfo: memFree=28797836/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1549672 CPUtime=1722.34 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 381060 0 0 0 163915 8319 0 0 25 0 1 0 132566327 1586864128 376773 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 387418 376773 407 719 0 386697 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1549672 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.02 3/183 13555 /proc/meminfo: memFree=28652704/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1634672 CPUtime=1782.34 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 402509 0 0 0 169410 8824 0 0 25 0 1 0 132566327 1673904128 398222 4089446400 4194304 7136930 140735055245120 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 408668 398222 407 719 0 407947 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1634672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.03 2.02 3/183 13555 /proc/meminfo: memFree=28611148/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1654868 CPUtime=1800.05 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 407592 0 0 0 171047 8958 0 0 25 0 1 0 132566327 1694584832 403305 4089446400 4194304 7136930 140735055245120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13143/statm: 413717 403305 407 719 0 412996 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1654868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13143 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.06 2.03 2.02 3/184 13556 /proc/meminfo: memFree=28610768/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1654868 CPUtime=1801.45 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 407597 0 0 0 171187 8958 0 0 20 0 1 0 132566327 1694584832 403310 4089446400 4194304 7136930 140735055245120 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13143/statm: 413717 403310 412 719 0 412996 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1654868 [startup+1801.81 s] /proc/loadavg: 2.06 2.03 2.02 3/184 13556 /proc/meminfo: memFree=28608416/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1654868 CPUtime=1801.85 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 407597 0 0 0 171227 8958 0 0 20 0 1 0 132566327 1694584832 403310 4089446400 4194304 7136930 140735055245120 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13143/statm: 413717 403310 412 719 0 412996 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1654868 [startup+1802 s] /proc/loadavg: 2.06 2.03 2.02 3/184 13556 /proc/meminfo: memFree=28608416/32951124 swapFree=67111528/67111528 [pid=13143] ppid=13141 vsize=1654868 CPUtime=1802.05 /proc/13143/stat : 13143 (pbscip.linux.x8) R 13141 13143 12993 0 -1 4202496 407597 0 0 0 171247 8958 0 0 21 0 1 0 132566327 1694584832 403310 4089446400 4194304 7136930 140735055245120 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13143/statm: 413717 403310 412 719 0 412996 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1654868 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.11 CPU user time (s): 1712.48 CPU system time (s): 89.6364 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1654868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1712.48 system time used= 89.6364 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 407597 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1858 runsolver used 3.55046 second user time and 6.17406 second system time The end
Begin job on node133 at 2010-06-30 17:45:07 IDJOB=2693597 IDBENCH=78999 IDSOLVER=1206 FILE ID=node133/2693597-1277912707 PBS_JOBID= 11197266 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693597-1277912707/watcher-2693597-1277912707 -o /tmp/evaluation-result-2693597-1277912707/solver-2693597-1277912707 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693597-1277912707.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d52b3728da19986b004dc30001a23e20 RANDOM SEED=391233743 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7296.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31346172 kB Buffers: 193220 kB Cached: 982584 kB SwapCached: 0 kB Active: 816128 kB Inactive: 645904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31346172 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3192 kB Writeback: 0 kB AnonPages: 286396 kB Mapped: 17484 kB Slab: 78704 kB PageTables: 5760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 439384 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node133 at 2010-06-30 18:15:09