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-2693658-1277914396.wbo>
0.00/0.04 c original problem has 6466 variables (4039 bin, 0 int, 0 impl, 2427 cont) and 6081 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.04/0.07 c presolving:
0.04/0.08 c (round 1) 22 del vars, 3 del conss, 0 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 5045 impls, 0 clqs
0.04/0.08 c (round 2) 23 del vars, 46 del conss, 0 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 5045 impls, 0 clqs
0.04/0.09 c (round 3) 24 del vars, 46 del conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 5045 impls, 0 clqs
0.09/0.12 c (round 4) 24 del vars, 46 del conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 1184 upgd conss, 5045 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 165/4016 (4.1%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (5 rounds):
0.09/0.19 c 24 deleted vars, 46 deleted constraints, 2426 tightened bounds, 0 added holes, 190 changed sides, 380 changed coefficients
0.09/0.19 c 5048 implications, 0 cliques
0.09/0.19 c presolved problem has 6442 variables (4016 bin, 0 int, 0 impl, 2426 cont) and 6035 constraints
0.09/0.19 c 2426 constraints of type <indicator>
0.09/0.19 c 1 constraints of type <varbound>
0.09/0.19 c 122 constraints of type <knapsack>
0.09/0.19 c 2425 constraints of type <linear>
0.09/0.19 c 1061 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.12
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.1s| 1 | 2 | 0 | - | 19M| 0 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.80/8.81 c 8.6s| 10000 | 10001 | 0 | 0.0 | 25M| 87 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.39/17.48 c 17.2s| 20000 | 20001 | 0 | 0.0 | 30M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
26.10/26.19 c 25.8s| 30000 | 30001 | 0 | 0.0 | 35M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.79/34.88 c 34.3s| 40000 | 40001 | 0 | 0.0 | 40M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.39/43.49 c 42.8s| 50000 | 50001 | 0 | 0.0 | 45M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.89/51.96 c 51.1s| 60000 | 60001 | 0 | 0.0 | 50M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.29/60.33 c 59.4s| 70000 | 70001 | 0 | 0.0 | 55M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.59/68.62 c 67.5s| 80000 | 80001 | 0 | 0.0 | 60M| 95 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.00/77.08 c 75.9s| 90000 | 90001 | 0 | 0.0 | 65M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
85.49/85.59 c 84.3s|100000 |100001 | 0 | 0.0 | 70M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.99/94.08 c 92.6s|110000 |110001 | 0 | 0.0 | 75M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.49/102.55 c 101s|120000 |120001 | 0 | 0.0 | 79M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
111.00/111.02 c 109s|130000 |130001 | 0 | 0.0 | 84M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.50/119.50 c 118s|140000 |140001 | 0 | 0.0 | 89M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
127.89/127.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.89/127.99 c 126s|150000 |150001 | 0 | 0.0 | 94M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
136.40/136.49 c 134s|160000 |160001 | 0 | 0.0 | 99M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
144.89/144.98 c 143s|170000 |170001 | 0 | 0.0 | 104M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.39/153.47 c 151s|180000 |180001 | 0 | 0.0 | 109M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.89/161.98 c 160s|190000 |190001 | 0 | 0.0 | 114M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
170.40/170.47 c 168s|200000 |200001 | 0 | 0.0 | 118M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
178.89/178.97 c 176s|210000 |210001 | 0 | 0.0 | 123M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
187.40/187.49 c 185s|220000 |220001 | 0 | 0.0 | 128M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
196.00/196.00 c 193s|230000 |230001 | 0 | 0.0 | 133M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
204.50/204.52 c 201s|240000 |240001 | 0 | 0.0 | 138M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.00/213.06 c 210s|250000 |250001 | 0 | 0.0 | 143M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
221.50/221.58 c 218s|260000 |260001 | 0 | 0.0 | 147M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
230.10/230.10 c 227s|270000 |270001 | 0 | 0.0 | 152M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
238.60/238.62 c 235s|280000 |280001 | 0 | 0.0 | 157M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
247.09/247.15 c 243s|290000 |290001 | 0 | 0.0 | 162M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
255.60/255.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.60/255.66 c 252s|300000 |300001 | 0 | 0.0 | 167M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
264.10/264.17 c 260s|310000 |310001 | 0 | 0.0 | 171M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
272.59/272.67 c 268s|320000 |320001 | 0 | 0.0 | 176M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
281.10/281.15 c 277s|330000 |330001 | 0 | 0.0 | 181M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
289.60/289.65 c 285s|340000 |340001 | 0 | 0.0 | 186M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
298.11/298.13 c 294s|350000 |350001 | 0 | 0.0 | 190M| 99 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
306.50/306.56 c 302s|360000 |360001 | 0 | 0.0 | 195M| 101 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
314.90/314.91 c 310s|370000 |370001 | 0 | 0.0 | 200M| 101 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
323.20/323.26 c 318s|380000 |380001 | 0 | 0.0 | 204M| 103 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
331.60/331.60 c 326s|390000 |390001 | 0 | 0.0 | 209M| 103 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
339.91/339.93 c 335s|400000 |400001 | 0 | 0.0 | 214M| 107 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
348.20/348.25 c 343s|410000 |410001 | 0 | 0.0 | 218M| 111 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
356.50/356.56 c 351s|420000 |420001 | 0 | 0.0 | 223M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
364.80/364.86 c 359s|430000 |430001 | 0 | 0.0 | 227M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
373.10/373.14 c 367s|440000 |440001 | 0 | 0.0 | 232M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
381.40/381.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.40/381.41 c 376s|450000 |450001 | 0 | 0.0 | 236M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
389.70/389.70 c 384s|460000 |460001 | 0 | 0.0 | 241M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
398.00/398.01 c 392s|470000 |470001 | 0 | 0.0 | 246M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
406.31/406.33 c 400s|480000 |480001 | 0 | 0.0 | 250M| 119 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
414.61/414.63 c 408s|490000 |490001 | 0 | 0.0 | 255M| 125 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
422.80/422.85 c 416s|500000 |500001 | 0 | 0.0 | 259M| 135 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
431.21/431.20 c 425s|510000 |510001 | 0 | 0.0 | 264M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
439.50/439.57 c 433s|520000 |520001 | 0 | 0.0 | 269M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
447.80/447.83 c 441s|530000 |530001 | 0 | 0.0 | 273M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
455.90/455.98 c 449s|540000 |540001 | 0 | 0.0 | 278M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
464.11/464.13 c 457s|550000 |550001 | 0 | 0.0 | 282M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
472.31/472.31 c 465s|560000 |560001 | 0 | 0.0 | 287M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
480.40/480.41 c 473s|570000 |570001 | 0 | 0.0 | 291M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
488.50/488.55 c 481s|580000 |580001 | 0 | 0.0 | 295M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
496.50/496.59 c 489s|590000 |590001 | 0 | 0.0 | 300M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
504.60/504.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.60/504.67 c 497s|600000 |600001 | 0 | 0.0 | 304M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
512.71/512.76 c 505s|610000 |610001 | 0 | 0.0 | 309M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
520.81/520.83 c 513s|620000 |620001 | 0 | 0.0 | 313M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
528.91/528.90 c 521s|630000 |630001 | 0 | 0.0 | 318M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
537.01/537.01 c 529s|640000 |640001 | 0 | 0.0 | 322M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
545.10/545.14 c 537s|650000 |650001 | 0 | 0.0 | 326M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
553.21/553.25 c 545s|660000 |660001 | 0 | 0.0 | 331M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
561.41/561.40 c 553s|670000 |670001 | 0 | 0.0 | 335M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
569.51/569.52 c 561s|680000 |680001 | 0 | 0.0 | 340M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
577.61/577.64 c 569s|690000 |690001 | 0 | 0.0 | 344M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
585.71/585.75 c 577s|700000 |700001 | 0 | 0.0 | 349M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
593.91/593.91 c 585s|710000 |710001 | 0 | 0.0 | 353M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
602.00/602.06 c 593s|720000 |720001 | 0 | 0.0 | 358M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
610.21/610.22 c 601s|730000 |730001 | 0 | 0.0 | 362M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
618.31/618.39 c 609s|740000 |740001 | 0 | 0.0 | 367M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
626.51/626.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.51/626.53 c 617s|750000 |750001 | 0 | 0.0 | 371M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
634.61/634.69 c 625s|760000 |760001 | 0 | 0.0 | 376M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
642.81/642.84 c 633s|770000 |770001 | 0 | 0.0 | 380M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
651.01/651.00 c 641s|780000 |780001 | 0 | 0.0 | 384M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
659.11/659.17 c 649s|790000 |790001 | 0 | 0.0 | 389M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
667.31/667.31 c 657s|800000 |800001 | 0 | 0.0 | 393M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
675.51/675.54 c 665s|810000 |810001 | 0 | 0.0 | 398M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
683.70/683.79 c 673s|820000 |820001 | 0 | 0.0 | 402M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
692.01/692.01 c 681s|830000 |830001 | 0 | 0.0 | 407M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
700.21/700.22 c 689s|840000 |840001 | 0 | 0.0 | 411M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
708.41/708.44 c 698s|850000 |850001 | 0 | 0.0 | 416M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
716.61/716.63 c 706s|860000 |860001 | 0 | 0.0 | 420M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
724.82/724.84 c 714s|870000 |870001 | 0 | 0.0 | 425M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
733.01/733.02 c 722s|880000 |880001 | 0 | 0.0 | 429M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
741.12/741.18 c 730s|890000 |890001 | 0 | 0.0 | 434M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
749.31/749.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.31/749.37 c 738s|900000 |900001 | 0 | 0.0 | 438M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
757.51/757.58 c 746s|910000 |910001 | 0 | 0.0 | 442M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
765.71/765.78 c 754s|920000 |920001 | 0 | 0.0 | 447M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
773.91/773.97 c 762s|930000 |930001 | 0 | 0.0 | 451M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
782.12/782.18 c 770s|940000 |940001 | 0 | 0.0 | 456M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
790.31/790.38 c 778s|950000 |950001 | 0 | 0.0 | 460M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
798.52/798.58 c 786s|960000 |960001 | 0 | 0.0 | 465M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
806.71/806.75 c 794s|970000 |970001 | 0 | 0.0 | 469M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
814.91/814.93 c 802s|980000 |980001 | 0 | 0.0 | 474M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
823.11/823.10 c 810s|990000 |990001 | 0 | 0.0 | 478M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
831.21/831.27 c 818s| 1000k| 1000k| 0 | 0.0 | 482M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
839.41/839.46 c 827s| 1010k| 1010k| 0 | 0.0 | 487M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
847.61/847.66 c 835s| 1020k| 1020k| 0 | 0.0 | 491M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
855.82/855.85 c 843s| 1030k| 1030k| 0 | 0.0 | 496M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
864.01/864.04 c 851s| 1040k| 1040k| 0 | 0.0 | 500M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
872.22/872.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.22/872.25 c 859s| 1050k| 1050k| 0 | 0.0 | 505M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
880.41/880.46 c 867s| 1060k| 1060k| 0 | 0.0 | 509M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
888.61/888.63 c 875s| 1070k| 1070k| 0 | 0.0 | 514M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
896.82/896.82 c 883s| 1080k| 1080k| 0 | 0.0 | 518M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
904.92/904.94 c 891s| 1090k| 1090k| 0 | 0.0 | 523M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
913.02/913.08 c 899s| 1100k| 1100k| 0 | 0.0 | 527M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
921.21/921.21 c 907s| 1110k| 1110k| 0 | 0.0 | 532M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
929.32/929.35 c 915s| 1120k| 1120k| 0 | 0.0 | 536M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
937.41/937.41 c 923s| 1130k| 1130k| 0 | 0.0 | 540M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
945.41/945.41 c 931s| 1140k| 1140k| 0 | 0.0 | 545M| 137 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
953.22/953.29 c 939s| 1150k| 1150k| 0 | 0.0 | 549M| 155 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
961.12/961.11 c 946s| 1160k| 1160k| 0 | 0.0 | 554M| 175 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
968.72/968.78 c 954s| 1170k| 1170k| 0 | 0.0 | 558M| 191 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
976.42/976.49 c 961s| 1180k| 1180k| 0 | 0.0 | 562M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
984.31/984.33 c 969s| 1190k| 1190k| 0 | 0.0 | 567M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
992.31/992.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.31/992.31 c 977s| 1200k| 1200k| 0 | 0.0 | 571M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1000.21/1000.29 c 985s| 1210k| 1210k| 0 | 0.0 | 576M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1008.22/1008.25 c 993s| 1220k| 1220k| 0 | 0.0 | 580M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1016.22/1016.21 c 1001s| 1230k| 1230k| 0 | 0.0 | 585M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1024.13/1024.15 c 1008s| 1240k| 1240k| 0 | 0.0 | 589M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1032.02/1032.09 c 1016s| 1250k| 1250k| 0 | 0.0 | 594M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1040.02/1040.05 c 1024s| 1260k| 1260k| 0 | 0.0 | 598M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1047.92/1047.97 c 1032s| 1270k| 1270k| 0 | 0.0 | 603M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1055.82/1055.89 c 1040s| 1280k| 1280k| 0 | 0.0 | 607M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1063.82/1063.81 c 1048s| 1290k| 1290k| 0 | 0.0 | 611M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1071.72/1071.73 c 1055s| 1300k| 1300k| 0 | 0.0 | 616M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1079.63/1079.64 c 1063s| 1310k| 1310k| 0 | 0.0 | 620M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1087.52/1087.55 c 1071s| 1320k| 1320k| 0 | 0.0 | 625M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1095.42/1095.46 c 1079s| 1330k| 1330k| 0 | 0.0 | 629M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1103.42/1103.42 c 1087s| 1340k| 1340k| 0 | 0.0 | 634M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1112.13/1112.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.13/1112.11 c 1095s| 1350k| 1350k| 0 | 0.0 | 638M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1120.72/1120.75 c 1104s| 1360k| 1360k| 0 | 0.0 | 642M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1129.32/1129.37 c 1112s| 1370k| 1370k| 0 | 0.0 | 647M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1138.02/1138.01 c 1121s| 1380k| 1380k| 0 | 0.0 | 651M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1146.62/1146.61 c 1129s| 1390k| 1390k| 0 | 0.0 | 656M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1155.22/1155.24 c 1138s| 1400k| 1400k| 0 | 0.0 | 660M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1163.83/1163.84 c 1146s| 1410k| 1410k| 0 | 0.0 | 665M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1172.43/1172.42 c 1155s| 1420k| 1420k| 0 | 0.0 | 669M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1181.02/1181.02 c 1163s| 1430k| 1430k| 0 | 0.0 | 673M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1189.62/1189.66 c 1172s| 1440k| 1440k| 0 | 0.0 | 678M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1198.22/1198.29 c 1180s| 1450k| 1450k| 0 | 0.0 | 682M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1206.82/1206.89 c 1189s| 1460k| 1460k| 0 | 0.0 | 687M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1215.43/1215.47 c 1197s| 1470k| 1470k| 0 | 0.0 | 691M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1224.02/1224.07 c 1206s| 1480k| 1480k| 0 | 0.0 | 696M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1232.62/1232.63 c 1214s| 1490k| 1490k| 0 | 0.0 | 700M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1241.23/1241.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.23/1241.23 c 1223s| 1500k| 1500k| 0 | 0.0 | 704M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1249.83/1249.83 c 1231s| 1510k| 1510k| 0 | 0.0 | 709M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1258.33/1258.40 c 1239s| 1520k| 1520k| 0 | 0.0 | 713M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1266.93/1266.98 c 1248s| 1530k| 1530k| 0 | 0.0 | 718M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1275.53/1275.58 c 1256s| 1540k| 1540k| 0 | 0.0 | 722M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1284.13/1284.17 c 1265s| 1550k| 1550k| 0 | 0.0 | 726M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1292.72/1292.75 c 1273s| 1560k| 1560k| 0 | 0.0 | 731M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1301.33/1301.31 c 1282s| 1570k| 1570k| 0 | 0.0 | 735M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1309.82/1309.88 c 1290s| 1580k| 1580k| 0 | 0.0 | 740M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1318.43/1318.42 c 1299s| 1590k| 1590k| 0 | 0.0 | 744M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1327.02/1327.01 c 1307s| 1600k| 1600k| 0 | 0.0 | 749M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1335.52/1335.59 c 1316s| 1610k| 1610k| 0 | 0.0 | 753M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1344.13/1344.14 c 1324s| 1620k| 1620k| 0 | 0.0 | 757M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1352.73/1352.73 c 1333s| 1630k| 1630k| 0 | 0.0 | 762M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1361.33/1361.33 c 1341s| 1640k| 1640k| 0 | 0.0 | 766M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1369.82/1369.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.82/1369.86 c 1350s| 1650k| 1650k| 0 | 0.0 | 771M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1378.43/1378.44 c 1358s| 1660k| 1660k| 0 | 0.0 | 775M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1387.03/1387.02 c 1366s| 1670k| 1670k| 0 | 0.0 | 779M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1395.53/1395.55 c 1375s| 1680k| 1680k| 0 | 0.0 | 784M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1404.02/1404.08 c 1383s| 1690k| 1690k| 0 | 0.0 | 788M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1412.63/1412.64 c 1392s| 1700k| 1700k| 0 | 0.0 | 792M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1421.24/1421.21 c 1400s| 1710k| 1710k| 0 | 0.0 | 797M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1429.73/1429.73 c 1409s| 1720k| 1720k| 0 | 0.0 | 801M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1438.33/1438.33 c 1417s| 1730k| 1730k| 0 | 0.0 | 806M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1446.93/1446.90 c 1426s| 1740k| 1740k| 0 | 0.0 | 810M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1455.43/1455.45 c 1434s| 1750k| 1750k| 0 | 0.0 | 815M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1464.03/1464.01 c 1442s| 1760k| 1760k| 0 | 0.0 | 819M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1472.54/1472.57 c 1451s| 1770k| 1770k| 0 | 0.0 | 823M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1481.13/1481.10 c 1459s| 1780k| 1780k| 0 | 0.0 | 828M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1489.63/1489.67 c 1468s| 1790k| 1790k| 0 | 0.0 | 832M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1498.24/1498.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.24/1498.21 c 1476s| 1800k| 1800k| 0 | 0.0 | 837M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1506.74/1506.73 c 1485s| 1810k| 1810k| 0 | 0.0 | 841M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1514.93/1514.95 c 1493s| 1820k| 1820k| 0 | 0.0 | 845M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1523.13/1523.11 c 1500s| 1830k| 1830k| 0 | 0.0 | 850M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1531.24/1531.25 c 1508s| 1840k| 1840k| 0 | 0.0 | 854M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1539.33/1539.38 c 1516s| 1850k| 1850k| 0 | 0.0 | 858M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1547.64/1547.70 c 1524s| 1860k| 1860k| 0 | 0.0 | 863M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1555.83/1555.87 c 1532s| 1870k| 1870k| 0 | 0.0 | 867M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1564.03/1564.06 c 1540s| 1880k| 1880k| 0 | 0.0 | 872M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1572.23/1572.24 c 1547s| 1890k| 1890k| 0 | 0.0 | 876M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1580.33/1580.39 c 1555s| 1900k| 1900k| 0 | 0.0 | 880M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1588.53/1588.51 c 1563s| 1910k| 1910k| 0 | 0.0 | 885M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1596.64/1596.66 c 1571s| 1920k| 1920k| 0 | 0.0 | 889M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1604.84/1604.83 c 1579s| 1930k| 1930k| 0 | 0.0 | 894M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1612.94/1612.99 c 1587s| 1940k| 1940k| 0 | 0.0 | 898M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1621.14/1621.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.14/1621.13 c 1594s| 1950k| 1950k| 0 | 0.0 | 902M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1629.24/1629.28 c 1602s| 1960k| 1960k| 0 | 0.0 | 907M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1637.43/1637.42 c 1610s| 1970k| 1970k| 0 | 0.0 | 911M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1645.54/1645.58 c 1618s| 1980k| 1980k| 0 | 0.0 | 915M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1653.74/1653.75 c 1625s| 1990k| 1990k| 0 | 0.0 | 920M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1661.93/1661.90 c 1633s| 2000k| 2000k| 0 | 0.0 | 924M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1670.03/1670.03 c 1641s| 2010k| 2010k| 0 | 0.0 | 929M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1678.14/1678.14 c 1649s| 2020k| 2020k| 0 | 0.0 | 933M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1686.24/1686.26 c 1656s| 2030k| 2030k| 0 | 0.0 | 937M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1694.33/1694.36 c 1664s| 2040k| 2040k| 0 | 0.0 | 942M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1702.44/1702.44 c 1672s| 2050k| 2050k| 0 | 0.0 | 946M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1710.54/1710.53 c 1680s| 2060k| 2060k| 0 | 0.0 | 951M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1718.63/1718.61 c 1687s| 2070k| 2070k| 0 | 0.0 | 955M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1726.73/1726.72 c 1695s| 2080k| 2080k| 0 | 0.0 | 959M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1734.84/1734.85 c 1703s| 2090k| 2090k| 0 | 0.0 | 964M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1742.93/1742.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.93/1742.97 c 1711s| 2100k| 2100k| 0 | 0.0 | 968M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1751.15/1751.11 c 1718s| 2110k| 2110k| 0 | 0.0 | 972M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1759.24/1759.24 c 1726s| 2120k| 2120k| 0 | 0.0 | 977M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1767.44/1767.40 c 1734s| 2130k| 2130k| 0 | 0.0 | 981M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1775.54/1775.55 c 1742s| 2140k| 2140k| 0 | 0.0 | 986M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1783.74/1783.73 c 1749s| 2150k| 2150k| 0 | 0.0 | 990M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1791.84/1791.89 c 1757s| 2160k| 2160k| 0 | 0.0 | 994M| 195 | - |6442 |6035 | 0 | 0 | 0 | 0 | 0 | 0.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) : 1764.92
1800.04/1800.00 c Solving Nodes : 2169956
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1764.92
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693658-1277914396.wbo
1800.04/1800.00 c Variables : 6466 (4039 binary, 0 integer, 0 implicit integer, 2427 continuous)
1800.04/1800.00 c Constraints : 6081 initial, 6081 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693658-1277914396.wbo
1800.04/1800.00 c Variables : 6442 (4016 binary, 0 integer, 0 implicit integer, 2426 continuous)
1800.04/1800.00 c Constraints : 6035 initial, 6035 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 21 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.03 0 1 0 2426 0 45 190 380
1800.04/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 2426 0 5350813 0 2169956 0 571261 0 0 0
1800.04/1800.00 c varbound : 1 0 4128224 0 1588559 0 0 0 0 0
1800.04/1800.00 c knapsack : 122 0 5350813 0 2169956 0 4 0 0 0
1800.04/1800.00 c linear : 2425 0 5350813 0 2169956 0 485375 0 0 0
1800.04/1800.00 c logicor : 1061 0 3368792 0 2169956 0 3940548 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 2169956 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 403.45 0.00 121.90 0.00 281.55
1800.04/1800.00 c varbound : 1.64 0.00 1.08 0.00 0.56
1800.04/1800.00 c knapsack : 16.90 0.00 10.95 0.00 5.95
1800.04/1800.00 c linear : 123.85 0.00 122.22 0.00 1.63
1800.04/1800.00 c logicor : 175.41 0.00 9.81 0.00 165.60
1800.04/1800.00 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.30 18958 0 9478
1800.04/1800.00 c rootredcost : 1.05 0 0 0
1800.04/1800.00 c pseudoobj : 280.66 5350484 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 0 0.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 699.92 2169956 0 0 0 0 4339912
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.42 0 0
1800.04/1800.00 c trivial : 0.02 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.56 0 0
1800.04/1800.00 c trysol : 0.32 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 2169956
1800.04/1800.00 c nodes (total) : 2169956
1800.04/1800.00 c nodes left : 2169957
1800.04/1800.00 c max depth : 195
1800.04/1800.00 c max depth (total): 195
1800.04/1800.00 c backtracks : 27515 (1.3%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 2.32
1800.04/1800.00 c switching time : 19.92
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693658-1277914396/watcher-2693658-1277914396 -o /tmp/evaluation-result-2693658-1277914396/solver-2693658-1277914396 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693658-1277914396.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 13822
/proc/meminfo: memFree=31020580/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=8312 CPUtime=0
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 1564 0 0 0 0 0 0 0 25 0 1 0 132735016 8511488 1486 4089446400 4194304 7136930 140736193568640 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13822/statm: 2078 1486 275 719 0 1357 0
[startup+0.050779 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 13822
/proc/meminfo: memFree=31020580/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=24204 CPUtime=0.04
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 5902 0 0 0 4 0 0 0 25 0 1 0 132735016 24784896 5470 4089446400 4194304 7136930 140736193568640 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13822/statm: 6051 5487 289 719 0 5330 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24204
[startup+0.100773 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 13822
/proc/meminfo: memFree=31020580/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=36124 CPUtime=0.09
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 9403 0 0 0 8 1 0 0 25 0 1 0 132735016 36990976 7944 4089446400 4194304 7136930 140736193568640 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13822/statm: 9031 8010 358 719 0 8310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36124
[startup+0.300739 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 13822
/proc/meminfo: memFree=31020580/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=38432 CPUtime=0.29
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 11582 0 0 0 28 1 0 0 25 0 1 0 132735016 39354368 8829 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13822/statm: 9608 8829 406 719 0 8887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38432
[startup+0.700667 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 13822
/proc/meminfo: memFree=31020580/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=38608 CPUtime=0.69
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 11623 0 0 0 67 2 0 0 25 0 1 0 132735016 39534592 8870 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13822/statm: 9652 8870 406 719 0 8931 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38608
[startup+1.50052 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13823
/proc/meminfo: memFree=30985480/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=39224 CPUtime=1.49
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 11775 0 0 0 146 3 0 0 25 0 1 0 132735016 40165376 9022 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13822/statm: 9806 9022 406 719 0 9085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39224
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13823
/proc/meminfo: memFree=30983980/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=40580 CPUtime=3.09
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 12103 0 0 0 304 5 0 0 25 0 1 0 132735016 41553920 9350 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 10145 9350 406 719 0 9424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40580
[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13823
/proc/meminfo: memFree=30979980/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=42084 CPUtime=6.29
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 12489 0 0 0 619 10 0 0 25 0 1 0 132735016 43094016 9736 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 10521 9736 406 719 0 9800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42084
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13823
/proc/meminfo: memFree=30969568/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=47868 CPUtime=12.69
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 13995 0 0 0 1249 20 0 0 25 0 1 0 132735016 49016832 11242 4089446400 4194304 7136930 140736193568640 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 11967 11242 406 719 0 11246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47868
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13824
/proc/meminfo: memFree=30957740/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=55284 CPUtime=25.49
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 15906 0 0 0 2510 39 0 0 25 0 1 0 132735016 56610816 13153 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 13821 13153 406 719 0 13100 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55284
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13825
/proc/meminfo: memFree=30929800/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=71848 CPUtime=51.09
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 20161 0 0 0 5032 77 0 0 25 0 1 0 132735016 73572352 17408 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 17962 17408 406 719 0 17241 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 71848
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13826
/proc/meminfo: memFree=30875076/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=101328 CPUtime=102.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 27253 0 0 0 10076 154 0 0 25 0 1 0 132735016 103759872 24500 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 25332 24500 406 719 0 24611 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101328
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13827
/proc/meminfo: memFree=30805568/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=138684 CPUtime=162.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 36869 0 0 0 15984 246 0 0 25 0 1 0 132735016 142012416 34116 4089446400 4194304 7136930 140736193568640 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 34671 34116 406 719 0 33950 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 138684
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13829
/proc/meminfo: memFree=30740044/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=174348 CPUtime=222.29
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 45036 0 0 0 21892 337 0 0 25 0 1 0 132735016 178532352 42283 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 43587 42283 406 719 0 42866 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 174348
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13831
/proc/meminfo: memFree=30673228/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=207940 CPUtime=282.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 53710 0 0 0 27799 431 0 0 25 0 1 0 132735016 212930560 50957 4089446400 4194304 7136930 140736193568640 18446744073709551615 4925410 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 51985 50957 406 719 0 51264 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 207940
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13833
/proc/meminfo: memFree=30612532/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=241560 CPUtime=342.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 62394 0 0 0 33707 523 0 0 25 0 1 0 132735016 247357440 59641 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 60390 59641 406 719 0 59669 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 241560
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 13834
/proc/meminfo: memFree=30548504/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=281448 CPUtime=402.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 70602 0 0 0 39616 614 0 0 25 0 1 0 132735016 288202752 67849 4089446400 4194304 7136930 140736193568640 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 70362 67849 406 719 0 69641 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 281448
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13835
/proc/meminfo: memFree=30486340/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=313012 CPUtime=462.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 78774 0 0 0 45528 702 0 0 25 0 1 0 132735016 320524288 76021 4089446400 4194304 7136930 140736193568640 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 78253 76021 406 719 0 77532 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 313012
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13837
/proc/meminfo: memFree=30425892/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=346236 CPUtime=522.31
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 87371 0 0 0 51436 795 0 0 25 0 1 0 132735016 354545664 84618 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 86559 84618 406 719 0 85838 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 346236
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13839
/proc/meminfo: memFree=30360488/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=378568 CPUtime=582.3
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 95742 0 0 0 57336 894 0 0 25 0 1 0 132735016 387653632 92989 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 94642 92989 406 719 0 93921 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 378568
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13841
/proc/meminfo: memFree=30297568/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=411408 CPUtime=642.31
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 104240 0 0 0 63238 993 0 0 25 0 1 0 132735016 421281792 101487 4089446400 4194304 7136930 140736193568640 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 102852 101487 406 719 0 102131 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 411408
[startup+702.301 s]
################
# More data... #
################
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 154467 0 0 0 98685 1547 0 0 25 0 1 0 132735016 636698624 151714 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 155444 151714 406 719 0 154723 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 621776
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13851
/proc/meminfo: memFree=29870216/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=654652 CPUtime=1062.32
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 162979 0 0 0 104604 1628 0 0 25 0 1 0 132735016 670363648 160226 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13822/statm: 163663 160226 406 719 0 162942 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 654652
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13856
/proc/meminfo: memFree=29808516/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=687000 CPUtime=1122.32
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 171323 0 0 0 110522 1710 0 0 25 0 1 0 132735016 703488000 168570 4089446400 4194304 7136930 140736193568640 18446744073709551615 5000294 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 171750 168570 406 719 0 171029 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 687000
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13858
/proc/meminfo: memFree=29750348/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=717016 CPUtime=1182.32
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 179131 0 0 0 116440 1792 0 0 25 0 1 0 132735016 734224384 176378 4089446400 4194304 7136930 140736193568640 18446744073709551615 4414760 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 179254 176378 406 719 0 178533 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 717016
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13860
/proc/meminfo: memFree=29690520/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=748836 CPUtime=1242.33
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 187362 0 0 0 122361 1872 0 0 25 0 1 0 132735016 766808064 184609 4089446400 4194304 7136930 140736193568640 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 187209 184609 406 719 0 186488 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 748836
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13861
/proc/meminfo: memFree=29628220/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=779376 CPUtime=1302.33
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 195269 0 0 0 128281 1952 0 0 25 0 1 0 132735016 798081024 192516 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 194844 192516 406 719 0 194123 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 779376
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13862
/proc/meminfo: memFree=29568136/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=809776 CPUtime=1362.33
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 203141 0 0 0 134207 2026 0 0 25 0 1 0 132735016 829210624 200388 4089446400 4194304 7136930 140736193568640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 202444 200388 406 719 0 201723 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 809776
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13864
/proc/meminfo: memFree=29507340/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=841340 CPUtime=1422.33
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 211307 0 0 0 140128 2105 0 0 25 0 1 0 132735016 861532160 208554 4089446400 4194304 7136930 140736193568640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 210335 208554 406 719 0 209614 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 841340
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13866
/proc/meminfo: memFree=29452488/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=869332 CPUtime=1482.33
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 218578 0 0 0 146049 2184 0 0 25 0 1 0 132735016 890195968 215825 4089446400 4194304 7136930 140736193568640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13822/statm: 217333 215825 406 719 0 216612 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 869332
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13896
/proc/meminfo: memFree=30121592/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=901672 CPUtime=1542.33
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 226946 0 0 0 151876 2357 0 0 25 0 1 0 132735016 923312128 224193 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13822/statm: 225418 224193 406 719 0 224697 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 901672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13897
/proc/meminfo: memFree=30080568/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=932856 CPUtime=1602.34
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 235027 0 0 0 157638 2596 0 0 25 0 1 0 132735016 955244544 232274 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13822/statm: 233214 232274 406 719 0 232493 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 932856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13898
/proc/meminfo: memFree=30036876/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=965880 CPUtime=1662.34
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 243572 0 0 0 163366 2868 0 0 25 0 1 0 132735016 989061120 240819 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13822/statm: 241470 240819 406 719 0 240749 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 965880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13900
/proc/meminfo: memFree=29996796/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=1028816 CPUtime=1722.34
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 251402 0 0 0 169084 3150 0 0 25 0 1 0 132735016 1053507584 248649 4089446400 4194304 7136930 140736193568640 18446744073709551615 4834565 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13822/statm: 257204 248649 406 719 0 256483 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1028816
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13902
/proc/meminfo: memFree=29955072/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=1063084 CPUtime=1782.34
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 260257 0 0 0 174807 3427 0 0 25 0 1 0 132735016 1088598016 257504 4089446400 4194304 7136930 140736193568640 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13822/statm: 265771 257504 406 719 0 265050 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1063084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13902
/proc/meminfo: memFree=29943132/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=1071096 CPUtime=1800.04
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 262347 0 0 0 176495 3509 0 0 25 0 1 0 132735016 1096802304 259594 4089446400 4194304 7136930 140736193568640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13822/statm: 267774 259594 406 719 0 267053 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1071096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13822
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 13903
/proc/meminfo: memFree=29943124/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=1044336 CPUtime=1801.43
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 262354 0 0 0 176634 3509 0 0 19 0 1 0 132735016 1069400064 252911 4089446400 4194304 7136930 140736193568640 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13822/statm: 261084 252911 413 719 0 260363 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1044336
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13903
/proc/meminfo: memFree=30040720/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=940232 CPUtime=1801.85
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 262354 0 0 0 176675 3510 0 0 20 0 1 0 132735016 962797568 226885 4089446400 4194304 7136930 140736193568640 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13822/statm: 235058 226885 413 719 0 234337 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 940232
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13903
/proc/meminfo: memFree=30040720/32951124 swapFree=67111528/67111528
[pid=13822] ppid=13820 vsize=881316 CPUtime=1802.04
/proc/13822/stat : 13822 (pbscip.linux.x8) R 13820 13822 13645 0 -1 4202496 262354 0 0 0 176694 3510 0 0 21 0 1 0 132735016 902467584 212156 4089446400 4194304 7136930 140736193568640 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13822/statm: 220329 212156 413 719 0 219608 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 881316
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.09
CPU user time (s): 1766.95
CPU system time (s): 35.1387
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1071096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.95
system time used= 35.1387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262354
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= 4
involuntary context switches= 3446
runsolver used 2.84757 second user time and 6.75097 second system time
The end
Begin job on node137 at 2010-06-30 18:13:16
IDJOB=2693658
IDBENCH=79031
IDSOLVER=1206
FILE ID=node137/2693658-1277914396
PBS_JOBID= 11197298
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/web/uclid_pb_benchmarks/normalized-46s.smv--soft-33-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-2693658-1277914396/watcher-2693658-1277914396 -o /tmp/evaluation-result-2693658-1277914396/solver-2693658-1277914396 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693658-1277914396.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c0de7a271d508347ff52629783e8132d
RANDOM SEED=2035214544
node137.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.876
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.75
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.876
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.876
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.74
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.876
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.876
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.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
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.876
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31021108 kB
Buffers: 200600 kB
Cached: 1266600 kB
SwapCached: 0 kB
Active: 869264 kB
Inactive: 917476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31021108 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3164 kB
Writeback: 0 kB
AnonPages: 320052 kB
Mapped: 17384 kB
Slab: 79864 kB
PageTables: 5308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 471292 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 node137 at 2010-06-30 18:43:18