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-2693934-1277897887.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 144 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 48 impls, 39 clqs
0.00/0.02 c (0.0s) probing: 101/211 (47.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 48 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 39 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 6 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 941k| 0 | - | 253 | 130 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.39 c 1.3s| 10000 | 6964 | 0 | 0.0 |6701k| 141 | - | 253 |4005 | 0 | 0 | 0 |6933 | 0 | 0.000000e+00 | -- | Inf
3.49/3.50 c 3.3s| 20000 | 12630 | 0 | 0.0 | 11M| 141 | - | 253 |4713 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
6.39/6.40 c 6.1s| 30000 | 17091 | 0 | 0.0 | 16M| 141 | - | 253 |9059 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
10.19/10.27 c 9.9s| 40000 | 20411 | 0 | 0.0 | 21M| 141 | - | 253 | 12k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
14.90/14.99 c 14.5s| 50000 | 22903 | 0 | 0.0 | 23M| 141 | - | 253 | 11k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
16.59/16.60 c 16.0s| 60000 | 30707 | 0 | 0.0 | 25M| 141 | - | 253 |3827 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
18.29/18.31 c 17.6s| 70000 | 37637 | 0 | 0.0 | 30M| 141 | - | 253 |5004 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
22.09/22.14 c 21.4s| 80000 | 40324 | 0 | 0.0 | 34M| 141 | - | 253 |9521 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
28.80/28.84 c 27.9s| 90000 | 40169 | 0 | 0.0 | 39M| 141 | - | 253 | 17k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
37.69/37.72 c 36.7s|100000 | 39538 | 0 | 0.0 | 43M| 141 | - | 253 | 24k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
49.79/49.86 c 48.7s|110000 | 37179 | 0 | 0.0 | 46M| 141 | - | 253 | 32k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
57.99/58.10 c 56.8s|120000 | 41016 | 0 | 0.0 | 42M| 141 | - | 253 | 11k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
60.40/60.43 c 59.1s|130000 | 47919 | 0 | 0.0 | 45M| 141 | - | 253 |6117 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
62.39/62.49 c 61.0s|140000 | 54704 | 0 | 0.0 | 49M| 141 | - | 253 |5966 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
64.69/64.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.69/64.73 c 63.2s|150000 | 61150 | 0 | 0.0 | 53M| 141 | - | 253 |6197 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
67.19/67.23 c 65.6s|160000 | 67042 | 0 | 0.0 | 57M| 141 | - | 253 |6517 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
70.20/70.20 c 68.5s|170000 | 72108 | 0 | 0.0 | 61M| 141 | - | 253 |7098 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
73.29/73.32 c 71.5s|180000 | 76910 | 0 | 0.0 | 65M| 141 | - | 253 |7691 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
76.70/76.74 c 74.8s|190000 | 81297 | 0 | 0.0 | 69M| 141 | - | 253 |8290 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
80.50/80.56 c 78.5s|200000 | 84978 | 0 | 0.0 | 73M| 141 | - | 253 |9227 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
84.89/84.90 c 82.7s|210000 | 88026 | 0 | 0.0 | 77M| 141 | - | 253 | 10k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
89.99/90.03 c 87.7s|220000 | 90254 | 0 | 0.0 | 81M| 141 | - | 253 | 15k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
100.69/100.77 c 98.3s|230000 | 87111 | 0 | 0.0 | 81M| 141 | - | 253 | 22k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
115.30/115.39 c 113s|240000 | 84112 | 0 | 0.0 | 74M| 141 | - | 253 | 17k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
120.10/120.17 c 117s|250000 | 88696 | 0 | 0.0 | 74M| 141 | - | 253 |9802 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
123.80/123.82 c 121s|260000 | 93590 | 0 | 0.0 | 78M| 141 | - | 253 |9332 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
127.30/127.31 c 124s|270000 | 98614 | 0 | 0.0 | 81M| 141 | - | 253 |9490 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
130.91/130.95 c 128s|280000 |103334 | 0 | 0.0 | 85M| 141 | - | 253 |9775 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
134.80/134.88 c 132s|290000 |107655 | 0 | 0.0 | 88M| 141 | - | 253 | 10k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
138.90/138.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.90/138.96 c 136s|300000 |111806 | 0 | 0.0 | 92M| 141 | - | 253 | 10k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
143.10/143.13 c 140s|310000 |115772 | 0 | 0.0 | 95M| 141 | - | 253 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
147.20/147.28 c 144s|320000 |119818 | 0 | 0.0 | 99M| 141 | - | 253 | 10k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
151.49/151.56 c 148s|330000 |123757 | 0 | 0.0 | 102M| 141 | - | 253 | 11k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
155.80/155.85 c 152s|340000 |127749 | 0 | 0.0 | 105M| 141 | - | 253 | 12k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
160.50/160.58 c 157s|350000 |131107 | 0 | 0.0 | 108M| 141 | - | 253 | 12k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
165.29/165.37 c 162s|360000 |134522 | 0 | 0.0 | 110M| 141 | - | 253 | 12k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
170.40/170.45 c 166s|370000 |137682 | 0 | 0.0 | 113M| 141 | - | 253 | 13k| 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | -- | Inf
175.79/175.88 c 172s|380000 |140311 | 0 | 0.0 | 116M| 141 | - | 253 | 13k| 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | -- | Inf
176.80/176.86 o 264
176.80/176.86 c * 173s|381864 |140876 | 0 | 0.0 | 116M| 141 | - | 253 | 13k| 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 2.640000e+02 | Large
176.80/176.86 o 227
176.80/176.86 c * 173s|381865 |140831 | 0 | 0.0 | 116M| 141 | - | 253 | 13k| 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 2.270000e+02 | Large
181.20/181.28 c 177s|390000 |143076 | 0 | 0.0 | 119M| 141 | - | 253 | 14k| 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 2.270000e+02 | Large
187.20/187.25 c 183s|400000 |145168 | 0 | 0.0 | 123M| 141 | - | 253 | 15k| 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 2.270000e+02 | Large
193.30/193.36 c 189s|410000 |147315 | 0 | 0.0 | 126M| 141 | - | 253 | 16k| 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 2.270000e+02 | Large
199.90/199.98 c 195s|420000 |148965 | 0 | 0.0 | 129M| 141 | - | 253 | 17k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 2.270000e+02 | Large
207.60/207.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.60/207.68 c 203s|430000 |149597 | 0 | 0.0 | 132M| 141 | - | 253 | 20k| 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 2.270000e+02 | Large
217.00/217.06 c 212s|440000 |149290 | 0 | 0.0 | 135M| 141 | - | 253 | 24k| 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 2.270000e+02 | Large
227.90/227.99 c 223s|450000 |149300 | 0 | 0.0 | 135M| 141 | - | 253 | 18k| 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 2.270000e+02 | Large
235.50/235.53 c 230s|460000 |150652 | 0 | 0.0 | 135M| 141 | - | 253 | 12k| 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 2.270000e+02 | Large
242.00/242.09 c 237s|470000 |152352 | 0 | 0.0 | 138M| 141 | - | 253 | 13k| 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 2.270000e+02 | Large
248.50/248.59 c 243s|480000 |154340 | 0 | 0.0 | 142M| 141 | - | 253 | 14k| 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 2.270000e+02 | Large
255.10/255.14 c 250s|490000 |156571 | 0 | 0.0 | 145M| 141 | - | 253 | 15k| 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 2.270000e+02 | Large
262.20/262.27 c 257s|500000 |158350 | 0 | 0.0 | 148M| 141 | - | 253 | 16k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 2.270000e+02 | Large
269.20/269.20 c 264s|510000 |160511 | 0 | 0.0 | 151M| 141 | - | 253 | 16k| 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 2.270000e+02 | Large
276.80/276.81 c 271s|520000 |161982 | 0 | 0.0 | 153M| 141 | - | 253 | 18k| 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 2.270000e+02 | Large
284.71/284.71 c 279s|530000 |163349 | 0 | 0.0 | 156M| 141 | - | 253 | 18k| 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 2.270000e+02 | Large
292.80/292.80 c 287s|540000 |164687 | 0 | 0.0 | 159M| 141 | - | 253 | 19k| 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 2.270000e+02 | Large
301.31/301.37 c 295s|550000 |165831 | 0 | 0.0 | 161M| 141 | - | 253 | 20k| 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 2.270000e+02 | Large
310.30/310.30 c 304s|560000 |166808 | 0 | 0.0 | 164M| 141 | - | 253 | 21k| 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 2.270000e+02 | Large
319.91/319.98 c 314s|570000 |167467 | 0 | 0.0 | 166M| 141 | - | 253 | 22k| 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 2.270000e+02 | Large
330.60/330.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.60/330.61 c 324s|580000 |167347 | 0 | 0.0 | 168M| 141 | - | 253 | 23k| 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 2.270000e+02 | Large
341.80/341.86 c 335s|590000 |167175 | 0 | 0.0 | 170M| 141 | - | 253 | 24k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 2.270000e+02 | Large
353.51/353.52 c 347s|600000 |167134 | 0 | 0.0 | 173M| 141 | - | 253 | 26k| 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 2.270000e+02 | Large
366.60/366.67 c 360s|610000 |166119 | 0 | 0.0 | 174M| 141 | - | 253 | 27k| 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 2.270000e+02 | Large
380.11/380.11 c 373s|620000 |165291 | 0 | 0.0 | 175M| 141 | - | 253 | 29k| 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 2.270000e+02 | Large
394.20/394.22 c 387s|630000 |164553 | 0 | 0.0 | 177M| 141 | - | 253 | 32k| 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 2.270000e+02 | Large
410.10/410.20 c 403s|640000 |163188 | 0 | 0.0 | 178M| 141 | - | 253 | 34k| 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 2.270000e+02 | Large
427.71/427.79 c 420s|650000 |161121 | 0 | 0.0 | 178M| 141 | - | 253 | 39k| 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 2.270000e+02 | Large
450.81/450.81 c 443s|660000 |157478 | 0 | 0.0 | 173M| 141 | - | 253 | 27k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 2.270000e+02 | Large
465.61/465.61 c 458s|670000 |156236 | 0 | 0.0 | 172M| 141 | - | 253 | 24k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 2.270000e+02 | Large
479.41/479.43 c 471s|680000 |155208 | 0 | 0.0 | 173M| 141 | - | 253 | 26k| 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 2.270000e+02 | Large
494.41/494.46 c 486s|690000 |154069 | 0 | 0.0 | 174M| 141 | - | 253 | 29k| 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 2.270000e+02 | Large
511.71/511.73 c 503s|700000 |151911 | 0 | 0.0 | 174M| 141 | - | 253 | 31k| 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 2.270000e+02 | Large
529.91/529.93 c 522s|710000 |149830 | 0 | 0.0 | 174M| 141 | - | 253 | 34k| 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 2.270000e+02 | Large
550.41/550.47 c 542s|720000 |147006 | 0 | 0.0 | 174M| 141 | - | 253 | 37k| 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 2.270000e+02 | Large
559.41/559.47 o 226
559.41/559.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.41/559.47 c * 551s|724112 |145738 | 0 | 0.0 | 173M| 141 | - | 253 | 39k| 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 2.260000e+02 | Large
573.41/573.46 c 565s|730000 |143517 | 0 | 0.0 | 172M| 141 | - | 253 | 42k| 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 2.260000e+02 | Large
598.71/598.78 c 590s|740000 |139755 | 0 | 0.0 | 170M| 141 | - | 253 | 48k| 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 2.260000e+02 | Large
611.82/611.85 o 191
611.82/611.85 c * 603s|744324 |137063 | 0 | 0.0 | 169M| 141 | - | 253 | 52k| 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 1.910000e+02 | Large
617.62/617.61 o 170
617.62/617.61 c * 609s|746101 |134119 | 0 | 0.0 | 165M| 141 | - | 253 | 53k| 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 1.700000e+02 | Large
627.42/627.43 c 618s|750000 |133642 | 0 | 0.0 | 160M| 141 | - | 253 | 35k| 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 1.700000e+02 | Large
650.62/650.68 c 641s|760000 |129797 | 0 | 0.0 | 157M| 141 | - | 253 | 37k| 0 | 0 | 0 | 847k| 0 | 1.000000e+00 | 1.700000e+02 | Large
661.22/661.25 o 116
661.22/661.25 c * 652s|764157 |119548 | 0 | 0.0 | 148M| 141 | - | 253 | 40k| 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 1.160000e+02 | Large
678.21/678.24 c 669s|770000 |115375 | 0 | 0.0 | 144M| 141 | - | 253 | 44k| 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 1.160000e+02 | Large
689.72/689.79 c 680s|780000 |119464 | 0 | 0.0 | 139M| 141 | - | 253 | 18k| 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 1.160000e+02 | Large
697.11/697.19 c 688s|790000 |119988 | 0 | 0.0 | 138M| 141 | - | 253 | 14k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 1.160000e+02 | Large
707.12/707.19 c 697s|800000 |117320 | 0 | 0.0 | 136M| 141 | - | 253 | 21k| 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 1.160000e+02 | Large
711.72/711.71 c 702s|810000 |123953 | 0 | 0.0 | 138M| 141 | - | 253 | 12k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 1.160000e+02 | Large
716.13/716.12 c 706s|820000 |129444 | 0 | 0.0 | 142M| 141 | - | 253 | 16k| 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | 1.160000e+02 | Large
725.71/725.72 c 716s|830000 |130187 | 0 | 0.0 | 146M| 141 | - | 253 | 20k| 0 | 0 | 0 | 928k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
735.11/735.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.11/735.17 c 725s|840000 |129463 | 0 | 0.0 | 146M| 141 | - | 253 | 15k| 0 | 0 | 0 | 941k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
743.22/743.21 c 733s|850000 |130608 | 0 | 0.0 | 147M| 141 | - | 253 | 16k| 0 | 0 | 0 | 954k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
750.62/750.68 c 740s|860000 |133817 | 0 | 0.0 | 151M| 141 | - | 253 | 16k| 0 | 0 | 0 | 968k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
760.03/760.03 c 749s|870000 |135767 | 0 | 0.0 | 156M| 141 | - | 253 | 20k| 0 | 0 | 0 | 983k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
772.92/772.95 c 762s|880000 |135905 | 0 | 0.0 | 161M| 141 | - | 253 | 26k| 0 | 0 | 0 |1000k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
789.12/789.19 c 778s|890000 |134870 | 0 | 0.0 | 165M| 141 | - | 253 | 32k| 0 | 0 | 0 |1020k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
813.32/813.38 c 802s|900000 |130616 | 0 | 0.0 | 161M| 141 | - | 253 | 28k| 0 | 0 | 0 |1042k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
826.52/826.56 c 815s|910000 |130236 | 0 | 0.0 | 159M| 141 | - | 253 | 19k| 0 | 0 | 0 |1055k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
836.92/836.91 c 826s|920000 |130693 | 0 | 0.0 | 161M| 141 | - | 253 | 18k| 0 | 0 | 0 |1072k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
855.92/855.93 c 845s|930000 |126438 | 0 | 0.0 | 162M| 141 | - | 253 | 27k| 0 | 0 | 0 |1095k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
882.33/882.38 c 871s|940000 |119953 | 0 | 0.0 | 160M| 141 | - | 253 | 39k| 0 | 0 | 0 |1120k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
905.33/905.38 c 894s|950000 |117775 | 0 | 0.0 | 148M| 141 | - | 253 | 16k| 0 | 0 | 0 |1136k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
907.53/907.51 c 896s|960000 |125763 | 0 | 0.0 | 149M| 141 | - | 253 |5949 | 0 | 0 | 0 |1139k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
910.33/910.34 c 898s|970000 |131525 | 0 | 0.0 | 154M| 141 | - | 253 |7666 | 0 | 0 | 0 |1143k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
919.82/919.89 c 908s|980000 |126653 | 0 | 0.0 | 144M| 141 | - | 253 | 17k| 0 | 0 | 0 |1162k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
922.42/922.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.42/922.46 c 910s|990000 |134810 | 0 | 0.0 | 145M| 141 | - | 253 |6317 | 0 | 0 | 0 |1165k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
924.32/924.37 c 912s| 1000k|142480 | 0 | 0.0 | 149M| 141 | - | 253 |5172 | 0 | 0 | 0 |1168k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
926.62/926.61 c 914s| 1010k|149253 | 0 | 0.0 | 152M| 141 | - | 253 |4981 | 0 | 0 | 0 |1172k| 0 | 6.000000e+00 | 1.160000e+02 |1833.33%
929.23/929.23 c 917s| 1020k|155371 | 0 | 0.0 | 157M| 141 | - | 253 |5462 | 0 | 0 | 0 |1176k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
931.92/931.99 c 919s| 1030k|161274 | 0 | 0.0 | 162M| 141 | - | 253 |5950 | 0 | 0 | 0 |1180k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
935.13/935.12 c 922s| 1040k|166560 | 0 | 0.0 | 166M| 141 | - | 253 |6733 | 0 | 0 | 0 |1184k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
938.62/938.68 c 926s| 1050k|171163 | 0 | 0.0 | 171M| 141 | - | 253 |7553 | 0 | 0 | 0 |1190k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
942.93/942.90 c 930s| 1060k|174856 | 0 | 0.0 | 176M| 141 | - | 253 |8633 | 0 | 0 | 0 |1196k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
947.53/947.53 c 935s| 1070k|178034 | 0 | 0.0 | 180M| 141 | - | 253 |9625 | 0 | 0 | 0 |1203k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
952.33/952.31 c 939s| 1080k|181355 | 0 | 0.0 | 183M| 141 | - | 253 |6091 | 0 | 0 | 0 |1210k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
954.53/954.56 c 941s| 1090k|187678 | 0 | 0.0 | 187M| 141 | - | 253 |3867 | 0 | 0 | 0 |1214k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
956.73/956.72 c 943s| 1100k|193861 | 0 | 0.0 | 190M| 141 | - | 253 |4015 | 0 | 0 | 0 |1218k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
958.33/958.32 c 945s| 1110k|201568 | 0 | 0.0 | 195M| 141 | - | 253 |3796 | 0 | 0 | 0 |1220k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
960.12/960.18 c 947s| 1120k|208802 | 0 | 0.0 | 199M| 141 | - | 253 |4715 | 0 | 0 | 0 |1223k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
962.33/962.30 c 949s| 1130k|215724 | 0 | 0.0 | 203M| 141 | - | 253 |5558 | 0 | 0 | 0 |1226k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
964.73/964.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.73/964.76 c 951s| 1140k|222239 | 0 | 0.0 | 207M| 141 | - | 253 |6414 | 0 | 0 | 0 |1229k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
967.32/967.38 c 954s| 1150k|228643 | 0 | 0.0 | 212M| 141 | - | 253 |7038 | 0 | 0 | 0 |1232k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
970.42/970.42 c 957s| 1160k|234515 | 0 | 0.0 | 216M| 141 | - | 253 |7524 | 0 | 0 | 0 |1236k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
973.83/973.88 c 960s| 1170k|239771 | 0 | 0.0 | 220M| 141 | - | 253 |7902 | 0 | 0 | 0 |1241k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
977.53/977.55 c 964s| 1180k|244770 | 0 | 0.0 | 225M| 141 | - | 253 |8193 | 0 | 0 | 0 |1246k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
982.12/982.18 c 968s| 1190k|248514 | 0 | 0.0 | 229M| 141 | - | 253 |9247 | 0 | 0 | 0 |1252k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
987.33/987.35 c 973s| 1200k|251735 | 0 | 0.0 | 233M| 141 | - | 253 |9739 | 0 | 0 | 0 |1259k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
992.53/992.56 c 978s| 1210k|254864 | 0 | 0.0 | 238M| 141 | - | 253 | 10k| 0 | 0 | 0 |1266k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
998.43/998.44 c 984s| 1220k|257294 | 0 | 0.0 | 242M| 141 | - | 253 | 11k| 0 | 0 | 0 |1273k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1004.83/1004.81 c 990s| 1230k|259284 | 0 | 0.0 | 246M| 141 | - | 253 | 12k| 0 | 0 | 0 |1281k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1011.82/1011.86 c 997s| 1240k|260787 | 0 | 0.0 | 249M| 141 | - | 253 | 13k| 0 | 0 | 0 |1290k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1019.53/1019.57 c 1005s| 1250k|261928 | 0 | 0.0 | 253M| 141 | - | 253 | 14k| 0 | 0 | 0 |1299k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1027.83/1027.89 c 1013s| 1260k|262657 | 0 | 0.0 | 256M| 141 | - | 253 | 16k| 0 | 0 | 0 |1308k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1037.33/1037.34 c 1022s| 1270k|262787 | 0 | 0.0 | 259M| 141 | - | 253 | 18k| 0 | 0 | 0 |1319k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1048.03/1048.04 c 1033s| 1280k|262050 | 0 | 0.0 | 262M| 141 | - | 253 | 20k| 0 | 0 | 0 |1331k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1060.34/1060.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.34/1060.36 c 1045s| 1290k|260640 | 0 | 0.0 | 263M| 141 | - | 253 | 20k| 0 | 0 | 0 |1342k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1065.03/1065.08 c 1050s| 1300k|266357 | 0 | 0.0 | 264M| 141 | - | 253 |7283 | 0 | 0 | 0 |1347k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1068.73/1068.72 c 1053s| 1310k|270818 | 0 | 0.0 | 268M| 141 | - | 253 |6783 | 0 | 0 | 0 |1353k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1072.93/1072.92 c 1057s| 1320k|274129 | 0 | 0.0 | 273M| 141 | - | 253 |7761 | 0 | 0 | 0 |1360k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1077.53/1077.54 c 1062s| 1330k|276928 | 0 | 0.0 | 276M| 141 | - | 253 | 10k| 0 | 0 | 0 |1369k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1079.83/1079.80 c 1064s| 1340k|283823 | 0 | 0.0 | 280M| 141 | - | 253 |5751 | 0 | 0 | 0 |1372k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1082.93/1082.93 c 1067s| 1350k|289029 | 0 | 0.0 | 284M| 141 | - | 253 |5096 | 0 | 0 | 0 |1378k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1086.33/1086.32 c 1070s| 1360k|294028 | 0 | 0.0 | 288M| 141 | - | 253 |5864 | 0 | 0 | 0 |1384k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1090.23/1090.29 c 1074s| 1370k|298459 | 0 | 0.0 | 292M| 141 | - | 253 |6905 | 0 | 0 | 0 |1391k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1094.84/1094.84 c 1078s| 1380k|302403 | 0 | 0.0 | 296M| 141 | - | 253 |7880 | 0 | 0 | 0 |1398k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1099.73/1099.74 c 1083s| 1390k|306233 | 0 | 0.0 | 300M| 141 | - | 253 |8924 | 0 | 0 | 0 |1406k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1105.04/1105.08 c 1088s| 1400k|309720 | 0 | 0.0 | 304M| 141 | - | 253 |9481 | 0 | 0 | 0 |1413k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1110.63/1110.63 c 1094s| 1410k|313039 | 0 | 0.0 | 308M| 141 | - | 253 | 10k| 0 | 0 | 0 |1420k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1116.33/1116.38 c 1100s| 1420k|316323 | 0 | 0.0 | 312M| 141 | - | 253 | 11k| 0 | 0 | 0 |1427k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1122.53/1122.59 c 1106s| 1430k|319248 | 0 | 0.0 | 315M| 141 | - | 253 | 11k| 0 | 0 | 0 |1434k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1129.23/1129.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.23/1129.22 c 1112s| 1440k|321818 | 0 | 0.0 | 319M| 141 | - | 253 | 11k| 0 | 0 | 0 |1442k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1136.34/1136.31 c 1119s| 1450k|324075 | 0 | 0.0 | 323M| 141 | - | 253 | 13k| 0 | 0 | 0 |1449k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1143.94/1143.97 c 1127s| 1460k|326066 | 0 | 0.0 | 326M| 141 | - | 253 | 13k| 0 | 0 | 0 |1456k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1151.83/1151.89 c 1134s| 1470k|327903 | 0 | 0.0 | 330M| 141 | - | 253 | 14k| 0 | 0 | 0 |1464k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1160.23/1160.22 c 1143s| 1480k|329715 | 0 | 0.0 | 333M| 141 | - | 253 | 14k| 0 | 0 | 0 |1472k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1169.04/1169.04 c 1151s| 1490k|331217 | 0 | 0.0 | 336M| 141 | - | 253 | 15k| 0 | 0 | 0 |1480k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1178.84/1178.86 c 1161s| 1500k|331865 | 0 | 0.0 | 339M| 141 | - | 253 | 16k| 0 | 0 | 0 |1489k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1188.93/1188.92 c 1171s| 1510k|332794 | 0 | 0.0 | 342M| 141 | - | 253 | 17k| 0 | 0 | 0 |1498k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1199.63/1199.63 c 1182s| 1520k|333390 | 0 | 0.0 | 345M| 141 | - | 253 | 18k| 0 | 0 | 0 |1507k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1211.64/1211.60 c 1193s| 1530k|333292 | 0 | 0.0 | 347M| 141 | - | 253 | 19k| 0 | 0 | 0 |1517k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1224.14/1224.12 c 1206s| 1540k|333174 | 0 | 0.0 | 350M| 141 | - | 253 | 20k| 0 | 0 | 0 |1528k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1238.23/1238.29 c 1220s| 1550k|332954 | 0 | 0.0 | 352M| 141 | - | 253 | 23k| 0 | 0 | 0 |1538k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1255.83/1255.83 c 1237s| 1560k|332082 | 0 | 0.0 | 354M| 141 | - | 253 | 24k| 0 | 0 | 0 |1550k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1273.32/1273.39 c 1254s| 1570k|331647 | 0 | 0.0 | 356M| 141 | - | 253 | 26k| 0 | 0 | 0 |1561k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1290.33/1290.38 c 1271s| 1580k|330093 | 0 | 0.0 | 357M| 141 | - | 253 | 28k| 0 | 0 | 0 |1573k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1308.62/1308.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.62/1308.64 c 1289s| 1590k|327721 | 0 | 0.0 | 357M| 141 | - | 253 | 31k| 0 | 0 | 0 |1587k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1324.43/1324.46 c 1305s| 1600k|328119 | 0 | 0.0 | 355M| 141 | - | 253 | 19k| 0 | 0 | 0 |1597k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1332.43/1332.44 c 1312s| 1610k|330605 | 0 | 0.0 | 357M| 141 | - | 253 | 10k| 0 | 0 | 0 |1604k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1339.43/1339.47 c 1319s| 1620k|331245 | 0 | 0.0 | 359M| 141 | - | 253 | 10k| 0 | 0 | 0 |1614k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1346.53/1346.57 c 1326s| 1630k|331917 | 0 | 0.0 | 363M| 141 | - | 253 | 12k| 0 | 0 | 0 |1624k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1354.03/1354.03 c 1334s| 1640k|332763 | 0 | 0.0 | 366M| 141 | - | 253 | 14k| 0 | 0 | 0 |1634k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1361.23/1361.29 c 1341s| 1650k|334434 | 0 | 0.0 | 369M| 141 | - | 253 | 17k| 0 | 0 | 0 |1644k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1367.53/1367.58 c 1347s| 1660k|338490 | 0 | 0.0 | 370M| 141 | - | 253 |9945 | 0 | 0 | 0 |1651k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1370.23/1370.23 c 1349s| 1670k|345416 | 0 | 0.0 | 374M| 141 | - | 253 |6941 | 0 | 0 | 0 |1654k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1373.03/1373.03 c 1352s| 1680k|351501 | 0 | 0.0 | 379M| 141 | - | 253 |7136 | 0 | 0 | 0 |1658k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1376.53/1376.56 c 1356s| 1690k|356271 | 0 | 0.0 | 384M| 141 | - | 253 |8138 | 0 | 0 | 0 |1664k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1381.03/1381.03 c 1360s| 1700k|359536 | 0 | 0.0 | 389M| 141 | - | 253 |9705 | 0 | 0 | 0 |1671k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1388.03/1388.01 c 1367s| 1710k|358983 | 0 | 0.0 | 390M| 141 | - | 253 |7495 | 0 | 0 | 0 |1680k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1396.23/1396.24 c 1375s| 1720k|357441 | 0 | 0.0 | 392M| 141 | - | 253 |9022 | 0 | 0 | 0 |1689k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1405.63/1405.69 c 1384s| 1730k|355618 | 0 | 0.0 | 394M| 141 | - | 253 | 11k| 0 | 0 | 0 |1700k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1417.04/1417.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.04/1417.00 c 1395s| 1740k|353232 | 0 | 0.0 | 395M| 141 | - | 253 | 13k| 0 | 0 | 0 |1711k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1429.43/1429.44 c 1408s| 1750k|351199 | 0 | 0.0 | 397M| 141 | - | 253 | 15k| 0 | 0 | 0 |1722k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1443.83/1443.87 c 1422s| 1760k|348759 | 0 | 0.0 | 397M| 141 | - | 253 | 18k| 0 | 0 | 0 |1734k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1460.13/1460.16 c 1438s| 1770k|346118 | 0 | 0.0 | 398M| 141 | - | 253 | 20k| 0 | 0 | 0 |1746k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1478.24/1478.20 c 1456s| 1780k|343570 | 0 | 0.0 | 398M| 141 | - | 253 | 23k| 0 | 0 | 0 |1758k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1498.63/1498.69 c 1476s| 1790k|340341 | 0 | 0.0 | 398M| 141 | - | 253 | 27k| 0 | 0 | 0 |1771k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1521.14/1521.17 c 1499s| 1800k|336770 | 0 | 0.0 | 397M| 141 | - | 253 | 30k| 0 | 0 | 0 |1784k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1546.34/1546.34 c 1524s| 1810k|332604 | 0 | 0.0 | 396M| 141 | - | 253 | 36k| 0 | 0 | 0 |1798k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1574.15/1574.13 c 1551s| 1820k|327546 | 0 | 0.0 | 392M| 141 | - | 253 | 41k| 0 | 0 | 0 |1813k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1595.53/1595.59 c 1573s| 1830k|326320 | 0 | 0.0 | 388M| 141 | - | 253 | 19k| 0 | 0 | 0 |1823k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1611.14/1611.14 c 1588s| 1840k|324859 | 0 | 0.0 | 390M| 141 | - | 253 | 18k| 0 | 0 | 0 |1835k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1626.34/1626.34 c 1603s| 1850k|322153 | 0 | 0.0 | 390M| 141 | - | 253 | 16k| 0 | 0 | 0 |1847k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1640.34/1640.36 c 1617s| 1860k|318570 | 0 | 0.0 | 389M| 141 | - | 253 | 16k| 0 | 0 | 0 |1860k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1652.15/1652.17 c 1629s| 1870k|316847 | 0 | 0.0 | 388M| 141 | - | 253 | 17k| 0 | 0 | 0 |1873k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1662.94/1662.95 c 1639s| 1880k|317036 | 0 | 0.0 | 390M| 141 | - | 253 | 21k| 0 | 0 | 0 |1884k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1675.04/1675.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.04/1675.08 c 1651s| 1890k|317617 | 0 | 0.0 | 393M| 141 | - | 253 | 26k| 0 | 0 | 0 |1895k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1689.44/1689.47 c 1665s| 1900k|318211 | 0 | 0.0 | 394M| 141 | - | 253 | 26k| 0 | 0 | 0 |1905k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1696.04/1696.07 c 1672s| 1910k|324490 | 0 | 0.0 | 395M| 141 | - | 253 | 15k| 0 | 0 | 0 |1910k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1700.94/1700.98 c 1677s| 1920k|330185 | 0 | 0.0 | 398M| 141 | - | 253 | 12k| 0 | 0 | 0 |1914k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1706.05/1706.02 c 1682s| 1930k|335098 | 0 | 0.0 | 402M| 141 | - | 253 | 12k| 0 | 0 | 0 |1919k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1712.34/1712.36 c 1688s| 1940k|338332 | 0 | 0.0 | 406M| 141 | - | 253 | 13k| 0 | 0 | 0 |1926k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1719.65/1719.64 c 1695s| 1950k|340733 | 0 | 0.0 | 410M| 141 | - | 253 | 14k| 0 | 0 | 0 |1934k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1727.74/1727.73 c 1703s| 1960k|342331 | 0 | 0.0 | 414M| 141 | - | 253 | 16k| 0 | 0 | 0 |1943k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1736.74/1736.75 c 1712s| 1970k|343229 | 0 | 0.0 | 417M| 141 | - | 253 | 17k| 0 | 0 | 0 |1952k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1746.54/1746.57 c 1722s| 1980k|343358 | 0 | 0.0 | 421M| 141 | - | 253 | 19k| 0 | 0 | 0 |1962k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1757.75/1757.78 c 1733s| 1990k|342359 | 0 | 0.0 | 420M| 141 | - | 253 | 16k| 0 | 0 | 0 |1972k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1774.75/1774.71 c 1749s| 2000k|335535 | 0 | 0.0 | 414M| 141 | - | 253 | 19k| 0 | 0 | 0 |1987k| 0 | 9.000000e+00 | 1.160000e+02 |1188.89%
1778.75/1778.77 o 106
1778.75/1778.77 c *1754s| 2001k|321089 | 0 | 0.0 | 396M| 141 | - | 253 | 20k| 0 | 0 | 0 |1990k| 0 | 9.000000e+00 | 1.060000e+02 |1077.78%
1798.55/1798.51 c 1773s| 2010k|314010 | 0 | 0.0 | 391M| 141 | - | 253 | 28k| 0 | 0 | 0 |2004k| 0 | 9.000000e+00 | 1.060000e+02 |1077.78%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1774.60
1800.05/1800.00 c Solving Nodes : 2010527
1800.05/1800.00 c Primal Bound : +1.06000000000000e+02 (7 solutions)
1800.05/1800.00 c Dual Bound : +9.00000000000000e+00
1800.05/1800.00 c Gap : 1077.78 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
1800.05/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.05/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82
1800.05/1800.00 v -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.05/1800.00 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31
1800.05/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5
1800.05/1800.00 v -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1774.60
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693934-1277897887.wbo
1800.05/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.05/1800.00 c Constraints : 144 initial, 144 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693934-1277897887.wbo
1800.05/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.05/1800.00 c Constraints : 130 initial, 53718 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 42 0 14 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 42 0 5875341 0 1292996 7596 1563945 0 0 0
1800.05/1800.00 c knapsack : 1 0 6200157 0 1354398 110572 28891366 0 0 0
1800.05/1800.00 c setppc : 39 0 6089496 0 1354387 662388 6483604 0 0 0
1800.05/1800.00 c linear : 42 0 5427192 0 1354394 89602 2639432 0 0 0
1800.05/1800.00 c logicor : 6+ 0 2582245 0 1323531 45644 1040362 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 204424 0 0 6 5951 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1354401 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 6.02 0.00 4.03 0.00 1.99
1800.05/1800.00 c knapsack : 187.68 0.00 184.80 0.00 2.88
1800.05/1800.00 c setppc : 40.56 0.00 35.02 0.00 5.54
1800.05/1800.00 c linear : 39.13 0.00 38.53 0.00 0.60
1800.05/1800.00 c logicor : 716.28 0.00 715.39 0.00 0.89
1800.05/1800.00 c bounddisjunction : 0.19 0.00 0.19 0.00 0.00
1800.05/1800.00 c countsols : 0.19 0.00 0.00 0.00 0.19
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 1.43 2 0 0
1800.05/1800.00 c rootredcost : 1.28 0 0 0
1800.05/1800.00 c pseudoobj : 12.31 6210720 3157 1251585
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 23.96 911369 911151 4486609 18.7 170030 13.8 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.02 126 126 560 16.1 27 11.6 -
1800.05/1800.00 c applied globally : - - - 1991549 15.2 - - -
1800.05/1800.00 c applied locally : - - - 13623 35.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 11.17 1354394 0 0 0 0 2708788
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.06 - 7
1800.05/1800.00 c oneopt : 0.73 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.35 0 0
1800.05/1800.00 c trysol : 0.41 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2010527
1800.05/1800.00 c nodes (total) : 2010527
1800.05/1800.00 c nodes left : 313458
1800.05/1800.00 c max depth : 141
1800.05/1800.00 c max depth (total): 141
1800.05/1800.00 c backtracks : 664354 (33.0%)
1800.05/1800.00 c delayed cutoffs : 361840
1800.05/1800.00 c repropagations : 2374969 (10027913 domain reductions, 262965 cutoffs)
1800.05/1800.00 c avg switch length: 20.97
1800.05/1800.00 c switching time : 546.73
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 7 (7 improvements)
1800.05/1800.00 c First Solution : +2.64000000000000e+02 (in run 1, after 381864 nodes, 172.77 seconds, depth 66, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +1.06000000000000e+02 (in run 1, after 2001997 nodes, 1753.47 seconds, depth 46, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +9.00000000000000e+00
1800.05/1800.00 c Gap : 1077.78 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.84/1800.81 c Time complete: 1800.86.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693934-1277897887/watcher-2693934-1277897887 -o /tmp/evaluation-result-2693934-1277897887/solver-2693934-1277897887 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693934-1277897887.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.26 2.09 2.03 4/178 10798
/proc/meminfo: memFree=31589236/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=8268 CPUtime=0
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 131086893 8466432 1468 4089446400 4194304 7136930 140736240307392 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10798/statm: 2067 1469 275 719 0 1346 0
[startup+0.0085599 s]
/proc/loadavg: 2.26 2.09 2.03 4/178 10798
/proc/meminfo: memFree=31589236/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=11608 CPUtime=0
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 2386 0 0 0 0 0 0 0 25 0 1 0 131086893 11886592 1955 4089446400 4194304 7136930 140736240307392 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 2902 2032 344 719 0 2181 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11608
[startup+0.100511 s]
/proc/loadavg: 2.26 2.09 2.03 4/178 10798
/proc/meminfo: memFree=31589236/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=12812 CPUtime=0.09
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 4741 0 0 0 8 1 0 0 25 0 1 0 131086893 13119488 2511 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 3203 2511 403 719 0 2482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12812
[startup+0.300473 s]
/proc/loadavg: 2.26 2.09 2.03 4/178 10798
/proc/meminfo: memFree=31589236/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=14516 CPUtime=0.29
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 5151 0 0 0 26 3 0 0 25 0 1 0 131086893 14864384 2921 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 3629 2921 403 719 0 2908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14516
[startup+0.700397 s]
/proc/loadavg: 2.26 2.09 2.03 4/178 10798
/proc/meminfo: memFree=31589236/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=17172 CPUtime=0.69
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 5840 0 0 0 64 5 0 0 25 0 1 0 131086893 17584128 3610 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 4293 3610 403 719 0 3572 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17172
[startup+1.50025 s]
/proc/loadavg: 2.26 2.09 2.03 3/179 10799
/proc/meminfo: memFree=31575092/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=20784 CPUtime=1.49
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 6733 0 0 0 139 10 0 0 25 0 1 0 131086893 21282816 4503 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 5196 4503 403 719 0 4475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20784
[startup+3.10094 s]
/proc/loadavg: 2.26 2.09 2.03 3/179 10799
/proc/meminfo: memFree=31570876/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=25528 CPUtime=3.1
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 7951 0 0 0 293 17 0 0 25 0 1 0 131086893 26140672 5721 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 6382 5721 403 719 0 5661 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 25528
[startup+6.30034 s]
/proc/loadavg: 2.24 2.09 2.03 3/179 10799
/proc/meminfo: memFree=31562720/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=33244 CPUtime=6.3
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 9874 0 0 0 601 29 0 0 25 0 1 0 131086893 34041856 7644 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 8311 7644 403 719 0 7590 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 33244
[startup+12.7011 s]
/proc/loadavg: 2.22 2.09 2.03 3/179 10799
/proc/meminfo: memFree=31552544/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=41600 CPUtime=12.7
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 11980 0 0 0 1225 45 0 0 25 0 1 0 131086893 42598400 9750 4089446400 4194304 7136930 140736240307392 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 10400 9750 403 719 0 9679 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 41600
[startup+25.5007 s]
/proc/loadavg: 2.17 2.08 2.03 3/179 10799
/proc/meminfo: memFree=31532804/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=60444 CPUtime=25.5
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 16735 0 0 0 2465 85 0 0 25 0 1 0 131086893 61894656 14505 4089446400 4194304 7136930 140736240307392 18446744073709551615 4209195 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 15111 14505 403 719 0 14390 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 60444
[startup+51.1009 s]
/proc/loadavg: 2.11 2.08 2.02 3/179 10800
/proc/meminfo: memFree=31520056/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=72724 CPUtime=51.09
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 19693 0 0 0 4992 117 0 0 25 0 1 0 131086893 74469376 17463 4089446400 4194304 7136930 140736240307392 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 18181 17463 403 719 0 17460 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72724
[startup+102.306 s]
/proc/loadavg: 2.05 2.06 2.02 3/179 10801
/proc/meminfo: memFree=31470420/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=123312 CPUtime=102.3
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 31919 0 0 0 9982 248 0 0 25 0 1 0 131086893 126271488 29689 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 30828 29689 403 719 0 30107 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 123312
[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/179 10803
/proc/meminfo: memFree=31437392/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=154512 CPUtime=162.29
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 39873 0 0 0 15852 377 0 0 25 0 1 0 131086893 158220288 37643 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 38628 37643 403 719 0 37907 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 154512
[startup+222.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 10805
/proc/meminfo: memFree=31408072/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=182856 CPUtime=222.3
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 47059 0 0 0 21743 487 0 0 25 0 1 0 131086893 187244544 44829 4089446400 4194304 7136930 140736240307392 18446744073709551615 4209174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 45714 44829 406 719 0 44993 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 182856
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 10806
/proc/meminfo: memFree=31384820/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=206052 CPUtime=282.3
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 52909 0 0 0 27644 586 0 0 25 0 1 0 131086893 210997248 50679 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 51513 50679 406 719 0 50792 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 206052
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 10808
/proc/meminfo: memFree=31367788/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=222700 CPUtime=342.31
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 57054 0 0 0 33563 668 0 0 25 0 1 0 131086893 228044800 54824 4089446400 4194304 7136930 140736240307392 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 55675 54824 406 719 0 54954 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 222700
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 10809
/proc/meminfo: memFree=31358444/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=232260 CPUtime=402.3
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 59429 0 0 0 39501 729 0 0 25 0 1 0 131086893 237834240 57199 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 58065 57199 406 719 0 57344 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 232260
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10811
/proc/meminfo: memFree=31354556/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=236008 CPUtime=462.31
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 60210 0 0 0 45448 783 0 0 25 0 1 0 131086893 241672192 57980 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 59002 57980 406 719 0 58281 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 236008
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10813
/proc/meminfo: memFree=31353764/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=236328 CPUtime=522.31
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 60265 0 0 0 51394 837 0 0 25 0 1 0 131086893 241999872 58035 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 59082 58035 406 719 0 58361 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 236328
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 10814
/proc/meminfo: memFree=31353096/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=236328 CPUtime=582.31
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 60314 0 0 0 57353 878 0 0 25 0 1 0 131086893 241999872 58084 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 59082 58084 406 719 0 58361 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 236328
[startup+642.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 10816
/proc/meminfo: memFree=31347964/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=241368 CPUtime=642.32
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 61338 0 0 0 63314 918 0 0 25 0 1 0 131086893 247160832 59108 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 60342 59108 406 719 0 59621 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 241368
[startup+702.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10824
/proc/meminfo: memFree=31331144/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=253724 CPUtime=942.32
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 64394 0 0 0 92946 1286 0 0 25 0 1 0 131086893 259813376 62164 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 63431 62164 406 719 0 62710 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 253724
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 10825
/proc/meminfo: memFree=31272812/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=315796 CPUtime=1002.33
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 79138 0 0 0 98782 1451 0 0 25 0 1 0 131086893 323375104 76908 4089446400 4194304 7136930 140736240307392 18446744073709551615 4925492 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 78949 76908 406 719 0 78228 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 315796
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 10827
/proc/meminfo: memFree=31250576/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=335732 CPUtime=1062.33
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 84093 0 0 0 104689 1544 0 0 25 0 1 0 131086893 343789568 81863 4089446400 4194304 7136930 140736240307392 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 83933 81863 406 719 0 83212 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 335732
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10829
/proc/meminfo: memFree=31196824/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=388912 CPUtime=1122.33
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 97575 0 0 0 110537 1696 0 0 25 0 1 0 131086893 398245888 95345 4089446400 4194304 7136930 140736240307392 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 97228 95345 406 719 0 96507 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 388912
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10830
/proc/meminfo: memFree=31171600/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=413448 CPUtime=1182.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 103708 0 0 0 116448 1786 0 0 25 0 1 0 131086893 423370752 101478 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10798/statm: 103362 101478 406 719 0 102641 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 413448
[startup+1242.3 s]
/proc/loadavg: 2.29 2.06 2.02 3/179 10973
/proc/meminfo: memFree=31401184/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=429768 CPUtime=1242.33
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 107765 0 0 0 122368 1865 0 0 25 0 1 0 131086893 440082432 105535 4089446400 4194304 7136930 140736240307392 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10798/statm: 107442 105535 406 719 0 106721 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 429768
[startup+1302.3 s]
/proc/loadavg: 2.21 2.08 2.03 3/197 11065
/proc/meminfo: memFree=31206564/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=436588 CPUtime=1302.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 109352 0 0 0 128261 1973 0 0 25 0 1 0 131086893 447066112 107122 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999858 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 109147 107122 406 719 0 108426 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 436588
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/197 11067
/proc/meminfo: memFree=31184448/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=450528 CPUtime=1362.33
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 112830 0 0 0 134173 2060 0 0 25 0 1 0 131086893 461340672 110600 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 112632 110600 406 719 0 111911 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 450528
[startup+1422.31 s]
/proc/loadavg: 2.03 2.05 2.01 3/197 11078
/proc/meminfo: memFree=31141496/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=475864 CPUtime=1422.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 119243 0 0 0 140058 2176 0 0 25 0 1 0 131086893 487284736 117013 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 118966 117013 406 719 0 118245 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 475864
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11079
/proc/meminfo: memFree=31126580/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=479784 CPUtime=1482.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 120262 0 0 0 146005 2229 0 0 25 0 1 0 131086893 491298816 118032 4089446400 4194304 7136930 140736240307392 18446744073709551615 4854280 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 119946 118032 406 719 0 119225 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 479784
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/197 11081
/proc/meminfo: memFree=31119836/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=484976 CPUtime=1542.33
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 121557 0 0 0 151966 2267 0 0 25 0 1 0 131086893 496615424 119327 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999948 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 121244 119327 406 719 0 120523 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 484976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11082
/proc/meminfo: memFree=31109884/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=486436 CPUtime=1602.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 121971 0 0 0 157924 2310 0 0 25 0 1 0 131086893 498110464 119741 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 121609 119741 406 719 0 120888 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 486436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11084
/proc/meminfo: memFree=31101780/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=486436 CPUtime=1662.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 121974 0 0 0 163857 2377 0 0 25 0 1 0 131086893 498110464 119744 4089446400 4194304 7136930 140736240307392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 121609 119744 406 719 0 120888 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 486436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 11086
/proc/meminfo: memFree=31083124/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=498728 CPUtime=1722.34
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 125049 0 0 0 169771 2463 0 0 25 0 1 0 131086893 510697472 122819 4089446400 4194304 7136930 140736240307392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 124682 122819 406 719 0 123961 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 498728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11087
/proc/meminfo: memFree=31067696/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=506280 CPUtime=1782.35
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 126919 0 0 0 175701 2534 0 0 25 0 1 0 131086893 518430720 124689 4089446400 4194304 7136930 140736240307392 18446744073709551615 4431530 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 126570 124689 406 719 0 125849 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 506280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11088
/proc/meminfo: memFree=31067804/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=506280 CPUtime=1800.05
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 126919 0 0 0 177460 2545 0 0 25 0 1 0 131086893 518430720 124689 4089446400 4194304 7136930 140736240307392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10798/statm: 126570 124689 406 719 0 125849 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 506280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 11089
/proc/meminfo: memFree=31068044/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=505256 CPUtime=1800.65
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 126924 0 0 0 177520 2545 0 0 18 0 1 0 131086893 517382144 124438 4089446400 4194304 7136930 140736240307392 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10798/statm: 126314 124438 411 719 0 125593 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 505256
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 11089
/proc/meminfo: memFree=31068044/32951124 swapFree=67111528/67111528
[pid=10798] ppid=10796 vsize=408928 CPUtime=1800.84
/proc/10798/stat : 10798 (pbscip.linux.x8) R 10796 10798 10347 0 -1 4202496 126924 0 0 0 177539 2545 0 0 18 0 1 0 131086893 418742272 100230 4089446400 4194304 7136930 140736240307392 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10798/statm: 102103 100101 411 719 0 101382 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 408928
Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.87
CPU user time (s): 1775.4
CPU system time (s): 25.4731
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 506280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.4
system time used= 25.4731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126931
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= 2568
runsolver used 3.21751 second user time and 6.03808 second system time
The end
Begin job on node102 at 2010-06-30 13:38:07
IDJOB=2693934
IDBENCH=78818
IDSOLVER=1206
FILE ID=node102/2693934-1277897887
PBS_JOBID= 11197156
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/wnqueen/normalized-t2001.13queen13.1110970631--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-2693934-1277897887/watcher-2693934-1277897887 -o /tmp/evaluation-result-2693934-1277897887/solver-2693934-1277897887 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693934-1277897887.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b526845d30abddab077c9de3ad820c33
RANDOM SEED=1052343661
node102.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.833
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.66
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.833
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.83
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.833
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.833
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.85
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.833
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.833
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.82
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.833
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.75
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.833
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: 32951124 kB
MemFree: 31589880 kB
Buffers: 179344 kB
Cached: 732768 kB
SwapCached: 0 kB
Active: 654592 kB
Inactive: 566756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31589880 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3328 kB
Writeback: 0 kB
AnonPages: 309748 kB
Mapped: 16384 kB
Slab: 76896 kB
PageTables: 5344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 457908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node102 at 2010-06-30 14:08:09