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.1900559676--soft-66-100-0.wbo |
| MD5SUM | a1fa880e8620ee0c5e9a297708544854 |
| 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 | 374.282 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 899 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 46330 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46329 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 625 |
| 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-2694051-1277902738.wbo>
0.02/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 constraints
0.02/0.02 c problem read
0.02/0.02 c presolving settings loaded
0.02/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.04 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, 1117 impls, 11 clqs
0.02/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.02/0.09 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.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 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 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 11 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1673 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.10
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 | - |7441k| 0 | - |1895 |3349 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.01 o 661
1.00/1.01 c * 0.9s| 3786 | 3285 | 0 | 0.0 |9991k| 998 | - |1895 |4083 | 0 | 0 | 0 |1124 | 0 | 0.000000e+00 | 6.610000e+02 | Inf
1.00/1.05 o 630
1.00/1.05 c * 1.0s| 3929 | 3424 | 0 | 0.0 | 10M| 998 | - |1895 |4089 | 0 | 0 | 0 |1132 | 0 | 0.000000e+00 | 6.300000e+02 | Inf
2.39/2.49 c 2.4s| 10000 | 8667 | 0 | 0.0 | 14M| 998 | - |1895 |4653 | 0 | 0 | 0 |3491 | 0 | 0.000000e+00 | 6.300000e+02 | Inf
5.19/5.20 c 4.9s| 20000 | 16555 | 0 | 0.0 | 21M| 998 | - |1895 |5431 | 0 | 0 | 0 |9264 | 0 | 0.000000e+00 | 6.300000e+02 | Inf
8.99/9.00 c 8.6s| 30000 | 22535 | 0 | 0.0 | 29M| 998 | - |1895 |7885 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.300000e+02 | Inf
9.39/9.44 o 512
9.39/9.44 c * 9.1s| 30789 | 22810 | 0 | 0.0 | 30M| 998 | - |1895 |7485 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.120000e+02 | Inf
9.49/9.52 o 281
9.49/9.52 c * 9.2s| 31079 | 23016 | 0 | 0.0 | 30M| 998 | - |1895 |7354 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
9.59/9.65 o 259
9.59/9.65 c * 9.3s| 31535 | 23421 | 0 | 0.0 | 30M| 998 | - |1895 |7113 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
9.59/9.68 o 246
9.59/9.68 c * 9.3s| 31632 | 23513 | 0 | 0.0 | 30M| 998 | - |1895 |7055 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
9.69/9.78 o 219
9.69/9.78 c * 9.4s| 31961 | 23811 | 0 | 0.0 | 30M| 998 | - |1895 |6887 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
9.90/9.98 o 165
9.90/9.98 c * 9.6s| 32632 | 24338 | 0 | 0.0 | 30M| 998 | - |1895 |6688 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
10.10/10.16 o 163
10.10/10.16 c * 9.8s| 33249 | 24904 | 0 | 0.0 | 31M| 998 | - |1895 |6558 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
10.10/10.16 o 158
10.10/10.16 c * 9.8s| 33251 | 24899 | 0 | 0.0 | 31M| 998 | - |1895 |6558 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
10.10/10.18 o 100
10.10/10.18 c * 9.8s| 33317 | 24769 | 0 | 0.0 | 31M| 998 | - |1895 |6558 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
11.09/11.11 o 70
11.09/11.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.11 c *10.7s| 36560 | 26879 | 0 | 0.0 | 32M| 998 | - |1895 |5375 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
11.89/11.98 o 46
11.89/11.98 c *11.5s| 39695 | 29328 | 0 | 0.0 | 34M| 998 | - |1895 |4598 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
12.00/12.06 c 11.6s| 40000 | 29604 | 0 | 0.0 | 34M| 998 | - |1895 |4508 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
14.69/14.76 c 14.1s| 50000 | 37937 | 0 | 0.0 | 40M| 998 | - |1895 |4553 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
17.49/17.58 c 16.9s| 60000 | 45941 | 0 | 0.0 | 47M| 998 | - |1895 |4861 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
20.39/20.45 c 19.6s| 70000 | 53898 | 0 | 0.0 | 53M| 998 | - |1895 |5145 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
23.39/23.47 c 22.5s| 80000 | 61570 | 0 | 0.0 | 60M| 998 | - |1895 |5442 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
26.49/26.56 c 25.4s| 90000 | 69102 | 0 | 0.0 | 66M| 998 | - |1895 |5635 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
29.70/29.79 c 28.5s|100000 | 76371 | 0 | 0.0 | 73M| 998 | - |1895 |5999 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
33.09/33.13 c 31.7s|110000 | 83492 | 0 | 0.0 | 80M| 998 | - |1895 |6296 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
36.50/36.56 c 35.0s|120000 | 90447 | 0 | 0.0 | 87M| 998 | - |1895 |6542 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
40.09/40.14 c 38.5s|130000 | 97238 | 0 | 0.0 | 93M| 998 | - |1895 |6436 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
44.09/44.15 c 42.3s|140000 |103358 | 0 | 0.0 | 101M| 998 | - |1895 |7150 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
48.09/48.19 c 46.2s|150000 |109442 | 0 | 0.0 | 108M| 998 | - |1895 |7574 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
52.39/52.49 c 50.4s|160000 |115164 | 0 | 0.0 | 115M| 998 | - |1895 |8189 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
56.89/56.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.89/56.90 c 54.6s|170000 |120820 | 0 | 0.0 | 122M| 998 | - |1895 |8916 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
61.50/61.57 c 59.2s|180000 |126236 | 0 | 0.0 | 129M| 998 | - |1895 |9261 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
66.70/66.74 c 64.2s|190000 |130962 | 0 | 0.0 | 137M| 998 | - |1895 | 11k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
72.90/72.92 c 70.2s|200000 |134865 | 0 | 0.0 | 144M| 998 | - |1895 | 13k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
80.70/80.71 c 77.8s|210000 |137292 | 0 | 0.0 | 152M| 998 | - |1895 | 16k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
86.90/86.94 c 83.9s|220000 |142609 | 0 | 0.0 | 153M| 998 | - |1895 |5295 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
87.29/87.33 o 45
87.29/87.33 c *84.3s|221286 |143540 | 0 | 0.0 | 154M| 998 | - |1895 |5047 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
90.10/90.13 c 87.0s|230000 |150869 | 0 | 0.0 | 161M| 998 | - |1895 |5136 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
91.39/91.48 o 20
91.39/91.48 c *88.3s|234010 |152096 | 0 | 0.0 | 160M| 998 | - |1895 |5328 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
94.00/94.04 c 90.7s|240000 |155840 | 0 | 0.0 | 165M| 998 | - |1895 |7251 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
97.19/97.23 c 93.8s|250000 |163825 | 0 | 0.0 | 171M| 998 | - |1895 |5820 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
101.00/101.06 c 97.5s|260000 |170821 | 0 | 0.0 | 178M| 998 | - |1895 |5851 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
104.60/104.67 c 101s|270000 |178053 | 0 | 0.0 | 185M| 998 | - |1895 |8206 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
107.50/107.56 c 104s|280000 |186378 | 0 | 0.0 | 191M| 998 | - |1895 |7208 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
111.19/111.25 c 107s|290000 |193296 | 0 | 0.0 | 198M| 998 | - |1895 |7276 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
114.19/114.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.19/114.29 c 110s|300000 |201222 | 0 | 0.0 | 205M| 998 | - |1895 |8632 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
117.79/117.89 c 114s|310000 |208425 | 0 | 0.0 | 211M| 998 | - |1895 |7496 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
121.79/121.83 c 117s|320000 |214906 | 0 | 0.0 | 218M| 998 | - |1895 | 10k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
124.89/124.91 c 120s|330000 |222979 | 0 | 0.0 | 224M| 998 | - |1895 |8323 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
128.70/128.76 c 124s|340000 |229947 | 0 | 0.0 | 229M| 998 | - |1895 |5368 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
131.69/131.78 c 127s|350000 |238170 | 0 | 0.0 | 236M| 998 | - |1895 |4412 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
135.59/135.64 c 131s|360000 |244863 | 0 | 0.0 | 243M| 998 | - |1895 |6052 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
139.70/139.75 c 135s|370000 |251345 | 0 | 0.0 | 250M| 998 | - |1895 |6281 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
143.69/143.76 c 139s|380000 |257810 | 0 | 0.0 | 257M| 998 | - |1895 |6953 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
147.90/147.90 c 143s|390000 |264177 | 0 | 0.0 | 264M| 998 | - |1895 |7384 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
152.09/152.14 c 147s|400000 |270413 | 0 | 0.0 | 271M| 998 | - |1895 |7009 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
156.30/156.37 c 151s|410000 |276624 | 0 | 0.0 | 278M| 998 | - |1895 |7785 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
160.50/160.60 c 155s|420000 |282808 | 0 | 0.0 | 284M| 998 | - |1895 |7903 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
164.90/164.91 c 159s|430000 |288865 | 0 | 0.0 | 291M| 998 | - |1895 |7751 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
169.30/169.37 c 163s|440000 |294785 | 0 | 0.0 | 298M| 998 | - |1895 |7074 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
173.70/173.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.70/173.76 c 167s|450000 |300767 | 0 | 0.0 | 305M| 998 | - |1895 |8463 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
178.40/178.42 c 172s|460000 |306418 | 0 | 0.0 | 311M| 998 | - |1895 |8353 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
183.09/183.10 c 176s|470000 |312117 | 0 | 0.0 | 318M| 998 | - |1895 |6873 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
187.69/187.72 c 181s|480000 |317755 | 0 | 0.0 | 325M| 998 | - |1895 |8628 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
192.50/192.55 c 186s|490000 |323224 | 0 | 0.0 | 331M| 998 | - |1895 |7089 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
197.09/197.13 c 190s|500000 |328809 | 0 | 0.0 | 338M| 998 | - |1895 |8814 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
202.00/202.01 c 195s|510000 |334284 | 0 | 0.0 | 344M| 998 | - |1895 |7123 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
206.81/206.87 c 200s|520000 |339630 | 0 | 0.0 | 351M| 998 | - |1895 |9079 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
211.79/211.87 c 204s|530000 |345043 | 0 | 0.0 | 357M| 998 | - |1895 |7170 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
216.80/216.88 c 209s|540000 |350065 | 0 | 0.0 | 364M| 998 | - |1895 |9345 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
221.80/221.88 c 214s|550000 |355412 | 0 | 0.0 | 371M| 998 | - |1895 |9836 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
227.30/227.33 c 219s|560000 |360084 | 0 | 0.0 | 377M| 998 | - |1895 |9515 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
232.29/232.37 c 224s|570000 |365455 | 0 | 0.0 | 384M| 998 | - |1895 | 10k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
237.90/237.94 c 230s|580000 |370067 | 0 | 0.0 | 390M| 998 | - |1895 |9074 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
243.11/243.15 c 235s|590000 |375209 | 0 | 0.0 | 397M| 998 | - |1895 | 10k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
248.80/248.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.80/248.81 c 240s|600000 |380035 | 0 | 0.0 | 403M| 998 | - |1895 |7400 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
254.30/254.31 c 246s|610000 |384537 | 0 | 0.0 | 410M| 998 | - |1895 | 10k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
259.80/259.85 c 251s|620000 |389359 | 0 | 0.0 | 416M| 998 | - |1895 | 10k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
265.60/265.70 c 257s|630000 |393624 | 0 | 0.0 | 423M| 998 | - |1895 | 10k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
271.19/271.27 c 262s|640000 |398343 | 0 | 0.0 | 430M| 998 | - |1895 | 10k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
277.20/277.22 c 268s|650000 |402708 | 0 | 0.0 | 436M| 998 | - |1895 |9055 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
283.10/283.15 c 274s|660000 |407022 | 0 | 0.0 | 443M| 998 | - |1895 | 11k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
289.00/289.01 c 279s|670000 |411671 | 0 | 0.0 | 449M| 998 | - |1895 | 10k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
295.29/295.33 c 286s|680000 |415441 | 0 | 0.0 | 456M| 998 | - |1895 | 11k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
301.30/301.32 c 291s|690000 |420060 | 0 | 0.0 | 463M| 998 | - |1895 | 12k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
307.60/307.60 c 298s|700000 |424187 | 0 | 0.0 | 468M| 998 | - |1895 | 10k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
313.90/313.99 c 304s|710000 |428382 | 0 | 0.0 | 475M| 998 | - |1895 | 12k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
320.10/320.11 c 310s|720000 |433083 | 0 | 0.0 | 481M| 998 | - |1895 |9334 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
326.70/326.76 c 316s|730000 |436591 | 0 | 0.0 | 488M| 998 | - |1895 | 12k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
332.90/332.99 c 322s|740000 |441059 | 0 | 0.0 | 494M| 998 | - |1895 | 11k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
339.40/339.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.40/339.49 c 329s|750000 |444777 | 0 | 0.0 | 500M| 998 | - |1895 | 11k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
345.51/345.56 c 335s|760000 |449285 | 0 | 0.0 | 506M| 998 | - |1895 | 11k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
351.50/351.58 c 340s|770000 |453531 | 0 | 0.0 | 512M| 998 | - |1895 | 10k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
358.40/358.42 c 347s|780000 |456006 | 0 | 0.0 | 518M| 998 | - |1895 | 11k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
366.80/366.83 c 355s|790000 |457043 | 0 | 0.0 | 524M| 998 | - |1895 | 14k| 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
375.80/375.84 c 364s|800000 |457729 | 0 | 0.0 | 529M| 998 | - |1895 | 15k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
385.90/385.92 c 374s|810000 |457324 | 0 | 0.0 | 533M| 998 | - |1895 | 15k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
396.70/396.72 c 385s|820000 |456391 | 0 | 0.0 | 537M| 998 | - |1895 | 17k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
408.40/408.44 c 396s|830000 |454710 | 0 | 0.0 | 540M| 998 | - |1895 | 18k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
421.41/421.47 c 409s|840000 |451855 | 0 | 0.0 | 542M| 998 | - |1895 | 20k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
436.61/436.69 c 424s|850000 |446347 | 0 | 0.0 | 541M| 998 | - |1895 | 23k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
453.91/453.90 c 441s|860000 |438339 | 0 | 0.0 | 527M| 998 | - |1895 | 17k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
458.01/458.00 c 445s|870000 |446475 | 0 | 0.0 | 530M| 998 | - |1895 |7889 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
461.30/461.37 c 448s|880000 |454581 | 0 | 0.0 | 536M| 998 | - |1895 |6682 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
462.81/462.83 o 15
462.81/462.83 c * 450s|884386 |457531 | 0 | 0.0 | 538M| 998 | - |1895 |7049 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
464.70/464.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.70/464.77 c 452s|890000 |462026 | 0 | 0.0 | 542M| 998 | - |1895 |7408 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
468.20/468.27 c 455s|900000 |469916 | 0 | 0.0 | 549M| 998 | - |1895 |7697 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
471.71/471.80 c 458s|910000 |477677 | 0 | 0.0 | 557M| 998 | - |1895 |8482 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
475.50/475.54 c 462s|920000 |485274 | 0 | 0.0 | 564M| 998 | - |1895 |9408 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
479.51/479.56 c 466s|930000 |492649 | 0 | 0.0 | 572M| 998 | - |1895 | 10k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
484.10/484.13 c 470s|940000 |499531 | 0 | 0.0 | 581M| 998 | - |1895 | 11k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
489.00/489.01 c 475s|950000 |506224 | 0 | 0.0 | 590M| 998 | - |1895 | 12k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
494.11/494.18 c 480s|960000 |512750 | 0 | 0.0 | 599M| 998 | - |1895 | 13k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
499.70/499.76 c 485s|970000 |519124 | 0 | 0.0 | 608M| 998 | - |1895 | 14k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
505.71/505.76 c 491s|980000 |525302 | 0 | 0.0 | 618M| 998 | - |1895 | 16k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
512.30/512.39 c 498s|990000 |531196 | 0 | 0.0 | 628M| 998 | - |1895 | 18k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
519.81/519.84 c 505s| 1000k|536580 | 0 | 0.0 | 638M| 998 | - |1895 | 20k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
528.01/528.00 c 513s| 1010k|541560 | 0 | 0.0 | 649M| 998 | - |1895 | 22k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
528.10/528.14 o 11
528.10/528.14 c * 513s| 1010k|539013 | 0 | 0.0 | 643M| 998 | - |1895 | 22k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
533.61/533.65 o 8
533.61/533.65 c * 518s| 1015k|540380 | 0 | 0.0 | 648M| 998 | - |1895 | 21k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
538.50/538.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.50/538.54 c 523s| 1020k|542017 | 0 | 0.0 | 653M| 998 | - |1895 | 22k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
550.91/550.93 c 535s| 1030k|544472 | 0 | 0.0 | 661M| 998 | - |1895 | 25k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
556.00/556.08 c 540s| 1040k|552506 | 0 | 0.0 | 666M| 998 | - |1895 | 13k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
559.82/559.85 c 544s| 1050k|560356 | 0 | 0.0 | 672M| 998 | - |1895 | 12k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
563.61/563.65 c 548s| 1060k|567994 | 0 | 0.0 | 679M| 998 | - |1895 | 13k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
567.81/567.80 c 552s| 1070k|575430 | 0 | 0.0 | 686M| 998 | - |1895 | 14k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
572.11/572.18 c 556s| 1080k|582673 | 0 | 0.0 | 693M| 998 | - |1895 | 15k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
576.81/576.88 c 560s| 1090k|589796 | 0 | 0.0 | 701M| 998 | - |1895 | 16k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
582.21/582.21 c 566s| 1100k|596468 | 0 | 0.0 | 708M| 998 | - |1895 | 17k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
588.10/588.19 c 572s| 1110k|602663 | 0 | 0.0 | 716M| 998 | - |1895 | 19k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
596.00/596.00 c 579s| 1120k|607512 | 0 | 0.0 | 724M| 998 | - |1895 | 22k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
608.22/608.30 c 591s| 1130k|609461 | 0 | 0.0 | 731M| 998 | - |1895 | 29k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
614.20/614.21 c 597s| 1140k|617420 | 0 | 0.0 | 737M| 998 | - |1895 | 20k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
618.61/618.65 c 601s| 1150k|625299 | 0 | 0.0 | 743M| 998 | - |1895 | 18k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
622.91/622.94 c 605s| 1160k|633001 | 0 | 0.0 | 749M| 998 | - |1895 | 18k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
627.21/627.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.21/627.24 c 610s| 1170k|640706 | 0 | 0.0 | 755M| 998 | - |1895 | 19k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
631.91/631.97 c 614s| 1180k|648077 | 0 | 0.0 | 762M| 998 | - |1895 | 21k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
635.31/635.32 o 7
635.31/635.32 c * 617s| 1186k|633218 | 0 | 0.0 | 741M| 998 | - |1895 | 21k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
637.81/637.84 c 620s| 1190k|635417 | 0 | 0.0 | 744M| 998 | - |1895 | 22k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
645.01/645.06 c 627s| 1200k|641361 | 0 | 0.0 | 752M| 998 | - |1895 | 24k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
653.32/653.32 c 635s| 1210k|646675 | 0 | 0.0 | 760M| 998 | - |1895 | 26k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
664.21/664.21 c 646s| 1220k|650620 | 0 | 0.0 | 769M| 998 | - |1895 | 30k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
676.11/676.17 c 658s| 1230k|654592 | 0 | 0.0 | 774M| 998 | - |1895 | 26k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
681.20/681.20 c 662s| 1240k|662550 | 0 | 0.0 | 778M| 998 | - |1895 | 19k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
685.51/685.52 c 667s| 1250k|670272 | 0 | 0.0 | 784M| 998 | - |1895 | 20k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
690.10/690.13 c 671s| 1260k|677667 | 0 | 0.0 | 791M| 998 | - |1895 | 20k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
695.01/695.07 c 676s| 1270k|684974 | 0 | 0.0 | 797M| 998 | - |1895 | 22k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
700.51/700.52 c 681s| 1280k|692004 | 0 | 0.0 | 804M| 998 | - |1895 | 23k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
706.41/706.44 c 687s| 1290k|698734 | 0 | 0.0 | 811M| 998 | - |1895 | 24k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
713.21/713.24 c 694s| 1300k|704896 | 0 | 0.0 | 818M| 998 | - |1895 | 26k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
720.61/720.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.61/720.68 c 701s| 1310k|710711 | 0 | 0.0 | 825M| 998 | - |1895 | 28k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
730.01/730.05 c 710s| 1320k|715348 | 0 | 0.0 | 832M| 998 | - |1895 | 31k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
742.31/742.40 c 722s| 1330k|718496 | 0 | 0.0 | 841M| 998 | - |1895 | 35k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
756.61/756.70 c 737s| 1340k|721074 | 0 | 0.0 | 844M| 998 | - |1895 | 32k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
762.81/762.84 c 743s| 1350k|729034 | 0 | 0.0 | 850M| 998 | - |1895 | 26k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
768.21/768.29 c 748s| 1360k|736764 | 0 | 0.0 | 857M| 998 | - |1895 | 25k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
774.01/774.05 c 753s| 1370k|744061 | 0 | 0.0 | 866M| 998 | - |1895 | 26k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
780.41/780.40 c 760s| 1380k|751020 | 0 | 0.0 | 874M| 998 | - |1895 | 28k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
787.11/787.11 c 766s| 1390k|757704 | 0 | 0.0 | 883M| 998 | - |1895 | 30k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
794.92/794.94 c 774s| 1400k|763849 | 0 | 0.0 | 893M| 998 | - |1895 | 32k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
803.51/803.56 c 782s| 1410k|769643 | 0 | 0.0 | 902M| 998 | - |1895 | 34k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
813.61/813.70 c 792s| 1420k|774802 | 0 | 0.0 | 912M| 998 | - |1895 | 37k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
825.92/825.90 c 804s| 1430k|779099 | 0 | 0.0 | 922M| 998 | - |1895 | 41k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
843.12/843.15 c 821s| 1440k|780769 | 0 | 0.0 | 930M| 998 | - |1895 | 45k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
850.72/850.79 c 829s| 1450k|788648 | 0 | 0.0 | 933M| 998 | - |1895 | 34k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.02/857.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.02/857.08 c 835s| 1460k|796360 | 0 | 0.0 | 939M| 998 | - |1895 | 30k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
863.02/863.00 c 841s| 1470k|803830 | 0 | 0.0 | 946M| 998 | - |1895 | 29k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
868.92/868.99 c 847s| 1480k|810944 | 0 | 0.0 | 951M| 998 | - |1895 | 23k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
874.21/874.23 c 852s| 1490k|817715 | 0 | 0.0 | 958M| 998 | - |1895 | 23k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
880.12/880.17 c 857s| 1500k|823888 | 0 | 0.0 | 964M| 998 | - |1895 | 24k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
886.72/886.70 c 864s| 1510k|829599 | 0 | 0.0 | 971M| 998 | - |1895 | 25k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
893.71/893.70 c 871s| 1520k|834836 | 0 | 0.0 | 978M| 998 | - |1895 | 27k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
902.21/902.29 c 879s| 1530k|838994 | 0 | 0.0 | 985M| 998 | - |1895 | 27k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
912.12/912.17 c 889s| 1540k|841904 | 0 | 0.0 | 991M| 998 | - |1895 | 30k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
919.71/919.75 c 896s| 1550k|847432 | 0 | 0.0 | 994M| 998 | - |1895 | 23k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
924.11/924.17 c 900s| 1560k|855185 | 0 | 0.0 |1000M| 998 | - |1895 | 23k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
928.62/928.66 c 905s| 1570k|862777 | 0 | 0.0 |1006M| 998 | - |1895 | 23k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
933.32/933.36 c 909s| 1580k|870105 | 0 | 0.0 |1012M| 998 | - |1895 | 24k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
938.32/938.33 c 914s| 1590k|877212 | 0 | 0.0 |1019M| 998 | - |1895 | 25k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
943.42/943.45 c 919s| 1600k|884069 | 0 | 0.0 |1025M| 998 | - |1895 | 25k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
949.51/949.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.51/949.51 c 925s| 1610k|890127 | 0 | 0.0 |1032M| 998 | - |1895 | 26k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
956.12/956.11 c 932s| 1620k|895579 | 0 | 0.0 |1039M| 998 | - |1895 | 27k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
963.52/963.52 c 939s| 1630k|900389 | 0 | 0.0 |1047M| 998 | - |1895 | 28k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
971.92/971.99 c 947s| 1640k|904388 | 0 | 0.0 |1053M| 998 | - |1895 | 29k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
982.52/982.59 c 957s| 1650k|906759 | 0 | 0.0 |1059M| 998 | - |1895 | 33k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
987.51/987.59 c 962s| 1660k|913843 | 0 | 0.0 |1055M| 998 | - |1895 |5543 | 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
991.22/991.24 c 966s| 1670k|920853 | 0 | 0.0 |1061M| 998 | - |1895 |4453 | 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
994.32/994.34 c 969s| 1680k|928650 | 0 | 0.0 |1068M| 998 | - |1895 |4437 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
995.52/995.58 o 3
995.52/995.58 c * 970s| 1683k|929970 | 0 | 0.0 |1068M| 998 | - |1895 |4824 | 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
997.92/997.97 c 972s| 1690k|934043 | 0 | 0.0 |1073M| 998 | - |1895 |6051 | 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1002.02/1002.01 c 976s| 1700k|940620 | 0 | 0.0 |1078M| 998 | - |1895 |4309 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.92/1004.98 c 979s| 1710k|948480 | 0 | 0.0 |1084M| 998 | - |1895 |4713 | 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1008.52/1008.56 c 982s| 1720k|955388 | 0 | 0.0 |1091M| 998 | - |1895 |6193 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1012.22/1012.28 c 986s| 1730k|962409 | 0 | 0.0 |1096M| 998 | - |1895 |4378 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1015.12/1015.18 c 989s| 1740k|970528 | 0 | 0.0 |1103M| 998 | - |1895 |4700 | 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1018.22/1018.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.22/1018.24 c 992s| 1750k|978278 | 0 | 0.0 |1109M| 998 | - |1895 |5422 | 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1021.82/1021.83 c 995s| 1760k|985217 | 0 | 0.0 |1116M| 998 | - |1895 |6585 | 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1026.52/1026.56 c 1000s| 1770k|990755 | 0 | 0.0 |1123M| 998 | - |1895 |8605 | 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1032.93/1032.96 c 1006s| 1780k|994554 | 0 | 0.0 |1128M| 998 | - |1895 |7490 | 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1039.22/1039.28 c 1012s| 1790k|998733 | 0 | 0.0 |1136M| 998 | - |1895 |8661 | 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1045.82/1045.80 c 1018s| 1800k| 1002k| 0 | 0.0 |1143M| 998 | - |1895 |9267 | 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1052.62/1052.63 c 1025s| 1810k| 1006k| 0 | 0.0 |1149M| 998 | - |1895 |9457 | 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1059.42/1059.44 c 1032s| 1820k| 1010k| 0 | 0.0 |1156M| 998 | - |1895 | 10k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1066.42/1066.40 c 1039s| 1830k| 1014k| 0 | 0.0 |1163M| 998 | - |1895 | 10k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1073.82/1073.84 c 1046s| 1840k| 1017k| 0 | 0.0 |1169M| 998 | - |1895 | 10k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.72/1080.70 c 1053s| 1850k| 1021k| 0 | 0.0 |1176M| 998 | - |1895 | 10k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1087.92/1087.99 c 1060s| 1860k| 1025k| 0 | 0.0 |1182M| 998 | - |1895 | 10k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1094.92/1094.99 c 1067s| 1870k| 1029k| 0 | 0.0 |1188M| 998 | - |1895 | 10k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1102.32/1102.39 c 1074s| 1880k| 1032k| 0 | 0.0 |1194M| 998 | - |1895 | 11k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1109.62/1109.69 c 1081s| 1890k| 1035k| 0 | 0.0 |1201M| 998 | - |1895 | 12k| 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1117.72/1117.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.72/1117.77 c 1089s| 1900k| 1038k| 0 | 0.0 |1206M| 998 | - |1895 | 10k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1125.22/1125.20 c 1096s| 1910k| 1041k| 0 | 0.0 |1213M| 998 | - |1895 | 12k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1133.62/1133.65 c 1104s| 1920k| 1044k| 0 | 0.0 |1219M| 998 | - |1895 | 11k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1141.62/1141.67 c 1112s| 1930k| 1047k| 0 | 0.0 |1224M| 998 | - |1895 | 11k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1150.12/1150.12 c 1121s| 1940k| 1050k| 0 | 0.0 |1231M| 998 | - |1895 | 13k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1158.92/1158.90 c 1129s| 1950k| 1053k| 0 | 0.0 |1236M| 998 | - |1895 | 11k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1167.82/1167.87 c 1138s| 1960k| 1054k| 0 | 0.0 |1241M| 998 | - |1895 | 12k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1176.53/1176.56 c 1146s| 1970k| 1057k| 0 | 0.0 |1248M| 998 | - |1895 | 13k| 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1185.22/1185.28 c 1155s| 1980k| 1060k| 0 | 0.0 |1254M| 998 | - |1895 | 12k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1194.72/1194.77 c 1164s| 1990k| 1062k| 0 | 0.0 |1258M| 998 | - |1895 | 12k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1203.92/1203.93 c 1173s| 2000k| 1064k| 0 | 0.0 |1264M| 998 | - |1895 | 13k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1213.12/1213.20 c 1182s| 2010k| 1067k| 0 | 0.0 |1270M| 998 | - |1895 | 14k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1222.32/1222.31 c 1191s| 2020k| 1069k| 0 | 0.0 |1275M| 998 | - |1895 | 10k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1232.23/1232.29 c 1201s| 2030k| 1070k| 0 | 0.0 |1280M| 998 | - |1895 | 14k| 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1242.02/1242.02 c 1211s| 2040k| 1073k| 0 | 0.0 |1286M| 998 | - |1895 | 14k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1251.23/1251.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.23/1251.26 c 1220s| 2050k| 1075k| 0 | 0.0 |1292M| 998 | - |1895 | 15k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1260.42/1260.49 c 1229s| 2060k| 1078k| 0 | 0.0 |1297M| 998 | - |1895 |9986 | 0 | 0 | 0 |2063k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1271.33/1271.35 c 1240s| 2070k| 1079k| 0 | 0.0 |1301M| 998 | - |1895 | 14k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1281.32/1281.37 c 1249s| 2080k| 1080k| 0 | 0.0 |1307M| 998 | - |1895 | 14k| 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1291.23/1291.29 c 1259s| 2090k| 1083k| 0 | 0.0 |1312M| 998 | - |1895 | 15k| 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1301.03/1301.05 c 1269s| 2100k| 1084k| 0 | 0.0 |1316M| 998 | - |1895 | 11k| 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1312.63/1312.60 c 1280s| 2110k| 1085k| 0 | 0.0 |1321M| 998 | - |1895 | 15k| 0 | 0 | 0 |2134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1323.03/1323.09 c 1290s| 2120k| 1087k| 0 | 0.0 |1327M| 998 | - |1895 | 15k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1333.32/1333.39 c 1301s| 2130k| 1088k| 0 | 0.0 |1332M| 998 | - |1895 | 15k| 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1343.62/1343.64 c 1311s| 2140k| 1090k| 0 | 0.0 |1336M| 998 | - |1895 | 11k| 0 | 0 | 0 |2174k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.02/1356.07 c 1323s| 2150k| 1090k| 0 | 0.0 |1340M| 998 | - |1895 | 15k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1366.92/1366.98 c 1334s| 2160k| 1091k| 0 | 0.0 |1346M| 998 | - |1895 | 16k| 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1378.03/1378.05 c 1344s| 2170k| 1093k| 0 | 0.0 |1351M| 998 | - |1895 | 16k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1388.53/1388.52 c 1355s| 2180k| 1094k| 0 | 0.0 |1355M| 998 | - |1895 | 11k| 0 | 0 | 0 |2233k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1401.33/1401.38 c 1367s| 2190k| 1093k| 0 | 0.0 |1358M| 998 | - |1895 | 16k| 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1412.62/1412.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.62/1412.62 c 1378s| 2200k| 1095k| 0 | 0.0 |1363M| 998 | - |1895 | 15k| 0 | 0 | 0 |2265k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1424.13/1424.19 c 1390s| 2210k| 1096k| 0 | 0.0 |1369M| 998 | - |1895 | 16k| 0 | 0 | 0 |2279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1435.63/1435.66 c 1401s| 2220k| 1096k| 0 | 0.0 |1371M| 998 | - |1895 | 13k| 0 | 0 | 0 |2295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1449.03/1449.05 c 1414s| 2230k| 1095k| 0 | 0.0 |1375M| 998 | - |1895 | 16k| 0 | 0 | 0 |2312k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1460.93/1460.98 c 1426s| 2240k| 1096k| 0 | 0.0 |1380M| 998 | - |1895 | 16k| 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1472.73/1472.77 c 1438s| 2250k| 1097k| 0 | 0.0 |1385M| 998 | - |1895 | 14k| 0 | 0 | 0 |2341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1484.53/1484.50 c 1449s| 2260k| 1097k| 0 | 0.0 |1386M| 998 | - |1895 | 14k| 0 | 0 | 0 |2358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1498.03/1498.04 c 1463s| 2270k| 1096k| 0 | 0.0 |1391M| 998 | - |1895 | 16k| 0 | 0 | 0 |2374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1509.93/1509.95 c 1474s| 2280k| 1097k| 0 | 0.0 |1396M| 998 | - |1895 | 16k| 0 | 0 | 0 |2389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1521.73/1521.71 c 1486s| 2290k| 1098k| 0 | 0.0 |1400M| 998 | - |1895 | 12k| 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1534.83/1534.83 c 1499s| 2300k| 1096k| 0 | 0.0 |1400M| 998 | - |1895 | 17k| 0 | 0 | 0 |2422k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1547.93/1547.93 c 1512s| 2310k| 1096k| 0 | 0.0 |1405M| 998 | - |1895 | 17k| 0 | 0 | 0 |2438k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1560.23/1560.29 c 1524s| 2320k| 1097k| 0 | 0.0 |1410M| 998 | - |1895 | 17k| 0 | 0 | 0 |2453k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1572.73/1572.73 c 1536s| 2330k| 1096k| 0 | 0.0 |1411M| 998 | - |1895 | 14k| 0 | 0 | 0 |2470k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1587.13/1587.19 c 1550s| 2340k| 1094k| 0 | 0.0 |1414M| 998 | - |1895 | 17k| 0 | 0 | 0 |2488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1600.64/1600.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.64/1600.64 c 1564s| 2350k| 1094k| 0 | 0.0 |1419M| 998 | - |1895 | 17k| 0 | 0 | 0 |2504k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1613.93/1613.91 c 1577s| 2360k| 1094k| 0 | 0.0 |1421M| 998 | - |1895 | 13k| 0 | 0 | 0 |2520k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1628.73/1628.72 c 1591s| 2370k| 1092k| 0 | 0.0 |1422M| 998 | - |1895 | 18k| 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1642.34/1642.37 c 1605s| 2380k| 1091k| 0 | 0.0 |1426M| 998 | - |1895 | 18k| 0 | 0 | 0 |2555k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1656.04/1656.07 c 1618s| 2390k| 1091k| 0 | 0.0 |1429M| 998 | - |1895 | 13k| 0 | 0 | 0 |2572k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1670.94/1670.99 c 1633s| 2400k| 1088k| 0 | 0.0 |1428M| 998 | - |1895 | 17k| 0 | 0 | 0 |2591k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1684.73/1684.73 c 1647s| 2410k| 1088k| 0 | 0.0 |1433M| 998 | - |1895 | 18k| 0 | 0 | 0 |2607k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1699.93/1699.90 c 1662s| 2420k| 1085k| 0 | 0.0 |1432M| 998 | - |1895 | 17k| 0 | 0 | 0 |2625k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1715.74/1715.71 c 1677s| 2430k| 1083k| 0 | 0.0 |1434M| 998 | - |1895 | 18k| 0 | 0 | 0 |2644k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1731.13/1731.10 c 1692s| 2440k| 1082k| 0 | 0.0 |1436M| 998 | - |1895 | 15k| 0 | 0 | 0 |2661k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1747.23/1747.28 c 1708s| 2450k| 1079k| 0 | 0.0 |1435M| 998 | - |1895 | 17k| 0 | 0 | 0 |2681k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1761.93/1761.90 c 1723s| 2460k| 1078k| 0 | 0.0 |1438M| 998 | - |1895 | 16k| 0 | 0 | 0 |2698k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1777.84/1777.85 c 1739s| 2470k| 1075k| 0 | 0.0 |1436M| 998 | - |1895 | 18k| 0 | 0 | 0 |2718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1793.44/1793.48 c 1754s| 2480k| 1074k| 0 | 0.0 |1440M| 998 | - |1895 | 18k| 0 | 0 | 0 |2735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1760.45
1800.04/1800.00 c Solving Nodes : 2484085
1800.04/1800.00 c Primal Bound : +3.00000000000000e+00 (20 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.04/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.04/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.04/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.04/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.04/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.04/1800.01 v x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1760.45
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694051-1277902738.wbo
1800.04/1800.02 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous)
1800.04/1800.02 c Constraints : 3607 initial, 3607 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694051-1277902738.wbo
1800.04/1800.02 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.04/1800.02 c Constraints : 3349 initial, 46641 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 67 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 67 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 67 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.06 0 0 0 915 0 191 132 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 789 - - 1578 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 832 0 2773341 0 899941 82 882643 0 0 0
1800.04/1800.02 c knapsack : 1 0 7957361 0 1990571 211826 21203287 0 0 0
1800.04/1800.02 c setppc : 11 0 7760341 0 1990177 64276 5448422 0 0 0
1800.04/1800.02 c linear : 832 0 7700085 0 1990757 149792 11211855 0 0 0
1800.04/1800.02 c logicor : 1673+ 0 6144317 0 1990773 374287 16891034 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 39430 0 0 6 269 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1990749 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 4.68 0.00 2.57 0.00 2.11
1800.04/1800.02 c knapsack : 92.80 0.00 88.78 0.00 4.02
1800.04/1800.02 c setppc : 25.07 0.00 21.88 0.00 3.19
1800.04/1800.02 c linear : 137.19 0.00 135.80 0.00 1.39
1800.04/1800.02 c logicor : 604.26 0.00 513.10 0.00 91.16
1800.04/1800.02 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.02 c countsols : 0.42 0.00 0.00 0.00 0.42
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 1.95 2 0 0
1800.04/1800.02 c rootredcost : 1.83 0 0 0
1800.04/1800.02 c pseudoobj : 145.33 7976929 787 859181
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 29.10 800974 800936 3938603 21.3 346878 11.1 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 30 30 175 30.7 41 10.0 -
1800.04/1800.02 c applied globally : - - - 2743648 18.6 - - -
1800.04/1800.02 c applied locally : - - - 38 124.9 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 26.54 1990729 0 0 0 0 3981458
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.11 - 20
1800.04/1800.02 c oneopt : 0.83 0 0
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.66 0 0
1800.04/1800.02 c trysol : 0.59 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 2484085
1800.04/1800.02 c nodes (total) : 2484085
1800.04/1800.02 c nodes left : 1073870
1800.04/1800.02 c max depth : 998
1800.04/1800.02 c max depth (total): 998
1800.04/1800.02 c backtracks : 465019 (18.7%)
1800.04/1800.02 c delayed cutoffs : 394883
1800.04/1800.02 c repropagations : 1524010 (16865786 domain reductions, 307750 cutoffs)
1800.04/1800.02 c avg switch length: 14.99
1800.04/1800.02 c switching time : 535.37
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 20 (20 improvements)
1800.04/1800.02 c First Solution : +6.61000000000000e+02 (in run 1, after 3786 nodes, 0.94 seconds, depth 313, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1683841 nodes, 969.93 seconds, depth 104, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694051-1277902738/watcher-2694051-1277902738 -o /tmp/evaluation-result-2694051-1277902738/solver-2694051-1277902738 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694051-1277902738.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.05 2.36 2.25 4/178 13354 /proc/meminfo: memFree=30988160/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=8304 CPUtime=0 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 1552 0 0 0 0 0 0 0 25 0 1 0 131570614 8503296 1474 4089446400 4194304 7136930 140736994837520 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13354/statm: 2076 1474 275 719 0 1355 0 [startup+0.0251029 s] /proc/loadavg: 2.05 2.36 2.25 4/178 13354 /proc/meminfo: memFree=30988160/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=11856 CPUtime=0.02 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 2461 0 0 0 2 0 0 0 25 0 1 0 131570614 12140544 2383 4089446400 4194304 7136930 140736994837520 18446744073709551615 4680009 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13354/statm: 2964 2383 275 719 0 2243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11856 [startup+0.101192 s] /proc/loadavg: 2.05 2.36 2.25 4/178 13354 /proc/meminfo: memFree=30988160/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=22080 CPUtime=0.09 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 6458 0 0 0 8 1 0 0 25 0 1 0 131570614 22609920 4741 4089446400 4194304 7136930 140736994837520 18446744073709551615 4903515 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 5520 4741 359 719 0 4799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22080 [startup+0.301153 s] /proc/loadavg: 2.05 2.36 2.25 4/178 13354 /proc/meminfo: memFree=30988160/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=24040 CPUtime=0.29 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 9588 0 0 0 27 2 0 0 25 0 1 0 131570614 24616960 5301 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 6010 5301 399 719 0 5289 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24040 [startup+0.70104 s] /proc/loadavg: 2.05 2.36 2.25 4/178 13354 /proc/meminfo: memFree=30988160/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=26216 CPUtime=0.7 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 10117 0 0 0 66 4 0 0 25 0 1 0 131570614 26845184 5830 4089446400 4194304 7136930 140736994837520 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 6554 5830 404 719 0 5833 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 26216 [startup+1.5009 s] /proc/loadavg: 2.05 2.36 2.25 3/179 13355 /proc/meminfo: memFree=30965088/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=28552 CPUtime=1.49 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 10724 0 0 0 143 6 0 0 25 0 1 0 131570614 29237248 6437 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 7138 6437 404 719 0 6417 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28552 [startup+3.10066 s] /proc/loadavg: 2.05 2.36 2.25 3/179 13355 /proc/meminfo: memFree=30961492/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=33984 CPUtime=3.09 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 12105 0 0 0 297 12 0 0 25 0 1 0 131570614 34799616 7818 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 8496 7818 404 719 0 7775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33984 [startup+6.30109 s] /proc/loadavg: 2.04 2.35 2.25 3/179 13355 /proc/meminfo: memFree=30950340/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=45244 CPUtime=6.29 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 14936 0 0 0 601 28 0 0 25 0 1 0 131570614 46329856 10649 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 11311 10649 404 719 0 10590 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45244 [startup+12.701 s] /proc/loadavg: 2.04 2.34 2.25 3/179 13355 /proc/meminfo: memFree=30930204/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=64128 CPUtime=12.69 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 19600 0 0 0 1217 52 0 0 25 0 1 0 131570614 65667072 15313 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 16032 15313 405 719 0 15311 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64128 [startup+25.5006 s] /proc/loadavg: 2.03 2.33 2.24 3/179 13356 /proc/meminfo: memFree=30895484/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=99936 CPUtime=25.49 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 28164 0 0 0 2439 110 0 0 25 0 1 0 131570614 102334464 23877 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 24984 23877 405 719 0 24263 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99936 [startup+51.101 s] /proc/loadavg: 2.02 2.30 2.23 3/179 13356 /proc/meminfo: memFree=30834320/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=155788 CPUtime=51.09 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 42252 0 0 0 4904 205 0 0 25 0 1 0 131570614 159526912 37965 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 38947 37965 405 719 0 38226 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 155788 [startup+102.307 s] /proc/loadavg: 2.01 2.25 2.22 3/179 13358 /proc/meminfo: memFree=30675928/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=242240 CPUtime=102.3 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 63823 0 0 0 9869 361 0 0 25 0 1 0 131570614 248053760 59530 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 60560 59530 407 719 0 59839 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 242240 [startup+162.3 s] /proc/loadavg: 2.00 2.20 2.20 3/179 13395 /proc/meminfo: memFree=31036580/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=356052 CPUtime=162.29 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 91580 0 0 0 15644 585 0 0 25 0 1 0 131570614 364597248 87287 4089446400 4194304 7136930 140736994837520 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 89013 87287 407 719 0 88292 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 356052 [startup+222.301 s] /proc/loadavg: 2.00 2.16 2.18 3/179 13424 /proc/meminfo: memFree=30933532/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=450032 CPUtime=222.3 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 115293 0 0 0 21453 777 0 0 25 0 1 0 131570614 460832768 111000 4089446400 4194304 7136930 140736994837520 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 112508 111000 407 719 0 111787 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 450032 [startup+282.301 s] /proc/loadavg: 2.00 2.13 2.17 3/179 13425 /proc/meminfo: memFree=30819312/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=515952 CPUtime=282.3 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 131920 0 0 0 27291 939 0 0 25 0 1 0 131570614 528334848 127627 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 128988 127627 407 719 0 128267 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 515952 [startup+342.3 s] /proc/loadavg: 2.00 2.10 2.16 3/179 13427 /proc/meminfo: memFree=30731836/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=587564 CPUtime=342.3 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 149868 0 0 0 33140 1090 0 0 25 0 1 0 131570614 601665536 145575 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 146891 145575 407 719 0 146170 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 587564 [startup+402.301 s] /proc/loadavg: 2.00 2.08 2.15 3/179 13429 /proc/meminfo: memFree=30688392/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=618336 CPUtime=402.3 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 157545 0 0 0 39016 1214 0 0 25 0 1 0 131570614 633176064 153252 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 154584 153252 407 719 0 153863 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 618336 [startup+462.3 s] /proc/loadavg: 2.00 2.06 2.14 3/179 13430 /proc/meminfo: memFree=30662312/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=633272 CPUtime=462.31 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 161163 0 0 0 44917 1314 0 0 25 0 1 0 131570614 648470528 156870 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 158318 156870 407 719 0 157597 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 633272 [startup+522.301 s] /proc/loadavg: 2.00 2.05 2.12 3/179 13431 /proc/meminfo: memFree=30545556/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=745236 CPUtime=522.31 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 187097 0 0 0 50730 1501 0 0 25 0 1 0 131570614 763121664 182804 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 186309 182804 407 719 0 185588 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 745236 [startup+582.301 s] /proc/loadavg: 2.00 2.04 2.11 3/179 13433 /proc/meminfo: memFree=30464764/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=814152 CPUtime=582.3 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 204234 0 0 0 56576 1654 0 0 25 0 1 0 131570614 833691648 199941 4089446400 4194304 7136930 140736994837520 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 203538 199941 407 719 0 202817 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 814152 [startup+642.3 s] /proc/loadavg: 2.00 2.03 2.10 3/179 13435 /proc/meminfo: memFree=30398388/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=870852 CPUtime=642.31 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 218513 0 0 0 62431 1800 0 0 25 0 1 0 131570614 891752448 214220 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 217713 214220 407 719 0 216992 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 870852 [startup+702.301 s] ################ # More data... # ################ /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 299123 0 0 0 97644 2588 0 0 25 0 1 0 131570614 1217867776 294830 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 297331 294830 407 719 0 296610 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1189324 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 13446 /proc/meminfo: memFree=29959276/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1283272 CPUtime=1062.32 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 318747 0 0 0 103458 2774 0 0 25 0 1 0 131570614 1314070528 314454 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 320818 314454 407 719 0 320097 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1283272 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 13448 /proc/meminfo: memFree=29898224/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1334952 CPUtime=1122.32 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 331652 0 0 0 109325 2907 0 0 25 0 1 0 131570614 1366990848 327359 4089446400 4194304 7136930 140736994837520 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 333738 327359 407 719 0 333017 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1334952 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13449 /proc/meminfo: memFree=29849200/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1377892 CPUtime=1182.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 342424 0 0 0 115207 3026 0 0 25 0 1 0 131570614 1410961408 338131 4089446400 4194304 7136930 140736994837520 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 344473 338131 407 719 0 343752 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1377892 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13451 /proc/meminfo: memFree=29809716/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1414492 CPUtime=1242.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 351645 0 0 0 121099 3134 0 0 25 0 1 0 131570614 1448439808 347352 4089446400 4194304 7136930 140736994837520 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 353623 347352 407 719 0 352902 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1414492 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 13453 /proc/meminfo: memFree=29778048/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1445668 CPUtime=1302.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 359472 0 0 0 126998 3235 0 0 25 0 1 0 131570614 1480364032 355179 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 361417 355179 407 719 0 360696 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1445668 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 13454 /proc/meminfo: memFree=29759168/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1464996 CPUtime=1362.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 364363 0 0 0 132901 3332 0 0 25 0 1 0 131570614 1500155904 360070 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 366249 360070 407 719 0 365528 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1464996 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13456 /proc/meminfo: memFree=29731460/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1492516 CPUtime=1422.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 371258 0 0 0 138803 3430 0 0 25 0 1 0 131570614 1528336384 366965 4089446400 4194304 7136930 140736994837520 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 373129 366965 407 719 0 372408 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1492516 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 13457 /proc/meminfo: memFree=29712552/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1510392 CPUtime=1482.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 375654 0 0 0 144713 3520 0 0 25 0 1 0 131570614 1546641408 371361 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 377598 371361 407 719 0 376877 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1510392 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 13459 /proc/meminfo: memFree=29693648/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1528920 CPUtime=1542.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 380269 0 0 0 150623 3610 0 0 25 0 1 0 131570614 1565614080 375976 4089446400 4194304 7136930 140736994837520 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 382230 375976 407 719 0 381509 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1528920 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13461 /proc/meminfo: memFree=29680344/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1542968 CPUtime=1602.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 383778 0 0 0 156537 3696 0 0 25 0 1 0 131570614 1579999232 379485 4089446400 4194304 7136930 140736994837520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 385742 379485 407 719 0 385021 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1542968 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13462 /proc/meminfo: memFree=29666272/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1555464 CPUtime=1662.33 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 386945 0 0 0 162457 3776 0 0 25 0 1 0 131570614 1592795136 382652 4089446400 4194304 7136930 140736994837520 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 388866 382652 407 719 0 388145 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1555464 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13463 /proc/meminfo: memFree=29664000/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1558536 CPUtime=1722.34 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 387749 0 0 0 168379 3855 0 0 25 0 1 0 131570614 1595940864 383456 4089446400 4194304 7136930 140736994837520 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 389634 383456 407 719 0 388913 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1558536 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13465 /proc/meminfo: memFree=29656776/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1564496 CPUtime=1782.34 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 389253 0 0 0 174300 3934 0 0 25 0 1 0 131570614 1602043904 384960 4089446400 4194304 7136930 140736994837520 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 391124 384960 407 719 0 390403 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1564496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13466 /proc/meminfo: memFree=29655756/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1565516 CPUtime=1800.04 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 389486 0 0 0 176047 3957 0 0 25 0 1 0 131570614 1603088384 385193 4089446400 4194304 7136930 140736994837520 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13354/statm: 391379 385193 407 719 0 390658 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1565516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13354 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13467 /proc/meminfo: memFree=29655748/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1565516 CPUtime=1801.43 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 389491 0 0 0 176186 3957 0 0 25 0 1 0 131570614 1603088384 385198 4089446400 4194304 7136930 140736994837520 18446744073709551615 6166206 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13354/statm: 391379 385198 412 719 0 390658 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1565516 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13467 /proc/meminfo: memFree=29655748/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1565516 CPUtime=1801.84 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 389491 0 0 0 176227 3957 0 0 25 0 1 0 131570614 1603088384 385198 4089446400 4194304 7136930 140736994837520 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13354/statm: 391379 385198 412 719 0 390658 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1565516 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13467 /proc/meminfo: memFree=29655748/32950928 swapFree=67111528/67111528 [pid=13354] ppid=13352 vsize=1564484 CPUtime=1802.03 /proc/13354/stat : 13354 (pbscip.linux.x8) R 13352 13354 12014 0 -1 4202496 389491 0 0 0 176246 3957 0 0 25 0 1 0 131570614 1602031616 384940 4089446400 4194304 7136930 140736994837520 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13354/statm: 391121 384940 412 719 0 390400 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1564484 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.11 CPU user time (s): 1762.48 CPU system time (s): 39.631 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1565516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1762.48 system time used= 39.631 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389491 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= 1616 runsolver used 3.13752 second user time and 6.44502 second system time The end
Begin job on node123 at 2010-06-30 14:58:58 IDJOB=2694051 IDBENCH=78904 IDSOLVER=1206 FILE ID=node123/2694051-1277902738 PBS_JOBID= 11197166 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676--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-2694051-1277902738/watcher-2694051-1277902738 -o /tmp/evaluation-result-2694051-1277902738/solver-2694051-1277902738 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694051-1277902738.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1fa880e8620ee0c5e9a297708544854 RANDOM SEED=752185906 node123.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.804 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.60 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.804 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 : 5294.59 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.75 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.804 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.71 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.804 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30988812 kB Buffers: 188884 kB Cached: 1108212 kB SwapCached: 0 kB Active: 1034704 kB Inactive: 784860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30988812 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 522544 kB Mapped: 15280 kB Slab: 78504 kB PageTables: 5832 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 665480 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node123 at 2010-06-30 15:29:00