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-2693936-1277897920.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.31 c 1.2s| 10000 | 7163 | 0 | 0.0 |6443k| 141 | - | 253 |3364 | 0 | 0 | 0 |6040 | 0 | 0.000000e+00 | -- | Inf
3.09/3.19 c 3.0s| 20000 | 13291 | 0 | 0.0 | 10M| 141 | - | 253 |2975 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
5.50/5.53 c 5.3s| 30000 | 18441 | 0 | 0.0 | 16M| 141 | - | 253 |6946 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
8.69/8.73 c 8.3s| 40000 | 22660 | 0 | 0.0 | 21M| 141 | - | 253 | 10k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
13.39/13.46 c 13.0s| 50000 | 25303 | 0 | 0.0 | 26M| 141 | - | 253 | 14k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
18.98/19.05 c 18.4s| 60000 | 28069 | 0 | 0.0 | 26M| 141 | - | 253 |5474 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
20.28/20.39 c 19.7s| 70000 | 36136 | 0 | 0.0 | 29M| 141 | - | 253 |2308 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
21.99/22.00 c 21.2s| 80000 | 43540 | 0 | 0.0 | 34M| 141 | - | 253 |3523 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
24.29/24.34 c 23.5s| 90000 | 49457 | 0 | 0.0 | 38M| 141 | - | 253 |6142 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
29.09/29.11 c 28.1s|100000 | 51460 | 0 | 0.0 | 43M| 141 | - | 253 |9278 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
35.69/35.76 c 34.6s|110000 | 51842 | 0 | 0.0 | 47M| 141 | - | 253 | 15k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
43.59/43.65 c 42.4s|120000 | 52281 | 0 | 0.0 | 52M| 141 | - | 253 | 20k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
53.48/53.58 c 52.2s|130000 | 51950 | 0 | 0.0 | 56M| 141 | - | 253 | 27k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
68.89/68.91 c 67.4s|140000 | 49165 | 0 | 0.0 | 56M| 141 | - | 253 | 32k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
74.59/74.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.59/74.63 c 73.0s|150000 | 55315 | 0 | 0.0 | 51M| 141 | - | 253 |4085 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
76.39/76.45 c 74.7s|160000 | 62760 | 0 | 0.0 | 54M| 141 | - | 253 |3728 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
78.48/78.58 c 76.8s|170000 | 69600 | 0 | 0.0 | 59M| 141 | - | 253 |4686 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
80.89/80.92 c 79.0s|180000 | 76152 | 0 | 0.0 | 63M| 141 | - | 253 |5368 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
83.38/83.42 c 81.4s|190000 | 82595 | 0 | 0.0 | 67M| 141 | - | 253 |6087 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
83.49/83.59 o 341
83.49/83.59 c *81.6s|190517 | 82868 | 0 | 0.0 | 67M| 141 | - | 253 |6144 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
85.89/85.99 c 83.9s|200000 | 88969 | 0 | 0.0 | 71M| 141 | - | 253 |6387 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
87.28/87.39 o 192
87.28/87.39 c *85.2s|205307 | 92292 | 0 | 0.0 | 73M| 141 | - | 253 |6522 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
88.68/88.80 c 86.6s|210000 | 94956 | 0 | 0.0 | 75M| 141 | - | 253 |6709 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
91.89/91.90 c 89.6s|220000 |100422 | 0 | 0.0 | 79M| 141 | - | 253 |7581 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
95.09/95.20 c 92.8s|230000 |105637 | 0 | 0.0 | 83M| 141 | - | 253 |8252 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
98.79/98.86 c 96.3s|240000 |110453 | 0 | 0.0 | 87M| 141 | - | 253 |9056 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
102.89/102.92 c 100s|250000 |114713 | 0 | 0.0 | 91M| 141 | - | 253 |9697 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
107.09/107.18 c 104s|260000 |118614 | 0 | 0.0 | 95M| 141 | - | 253 | 10k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
111.59/111.68 c 109s|270000 |122313 | 0 | 0.0 | 99M| 141 | - | 253 | 10k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
116.49/116.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.49/116.58 c 114s|280000 |125358 | 0 | 0.0 | 103M| 141 | - | 253 | 12k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
122.49/122.55 c 119s|290000 |127382 | 0 | 0.0 | 107M| 141 | - | 253 | 15k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
134.39/134.41 c 131s|300000 |123478 | 0 | 0.0 | 105M| 141 | - | 253 | 17k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
150.29/150.33 c 147s|310000 |117674 | 0 | 0.0 | 103M| 141 | - | 253 | 30k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
162.99/163.02 c 159s|320000 |118437 | 0 | 0.0 | 93M| 141 | - | 253 |6680 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
166.59/166.64 c 163s|330000 |123261 | 0 | 0.0 | 96M| 141 | - | 253 |5970 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
170.19/170.25 c 166s|340000 |128109 | 0 | 0.0 | 100M| 141 | - | 253 |6569 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
173.80/173.89 c 170s|350000 |133006 | 0 | 0.0 | 103M| 141 | - | 253 |7385 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
177.39/177.40 o 162
177.39/177.40 c * 173s|358928 |136527 | 0 | 0.0 | 106M| 141 | - | 253 |8152 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
177.89/177.93 c 174s|360000 |136880 | 0 | 0.0 | 107M| 141 | - | 253 |8124 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
182.09/182.13 c 178s|370000 |141260 | 0 | 0.0 | 110M| 141 | - | 253 |8253 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
184.09/184.19 o 161
184.09/184.19 c * 180s|374842 |143279 | 0 | 0.0 | 112M| 141 | - | 253 |8847 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
186.49/186.57 c 182s|380000 |145304 | 0 | 0.0 | 113M| 141 | - | 253 |8745 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
190.99/191.06 c 187s|390000 |149388 | 0 | 0.0 | 117M| 141 | - | 253 |9037 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
195.59/195.66 c 191s|400000 |153266 | 0 | 0.0 | 120M| 141 | - | 253 |9763 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
196.20/196.29 o 67
196.20/196.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.20/196.29 c * 192s|401264 |132387 | 0 | 0.0 | 107M| 141 | - | 253 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
201.79/201.80 c 197s|410000 |134009 | 0 | 0.0 | 110M| 141 | - | 253 |9245 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
207.80/207.89 c 203s|420000 |136011 | 0 | 0.0 | 114M| 141 | - | 253 | 10k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
213.20/213.23 o 29
213.20/213.23 c * 208s|428414 |125563 | 0 | 0.0 | 108M| 141 | - | 253 | 11k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
213.20/213.24 o 23
213.20/213.24 c * 208s|428415 |120464 | 0 | 0.0 | 105M| 141 | - | 253 | 11k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
214.89/214.93 c 210s|430000 |119879 | 0 | 0.0 | 104M| 141 | - | 253 |7872 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
223.30/223.33 c 218s|440000 |117524 | 0 | 0.0 | 106M| 141 | - | 253 | 10k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
233.49/233.53 c 228s|450000 |114513 | 0 | 0.0 | 107M| 141 | - | 253 | 13k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
245.09/245.10 c 240s|460000 |110753 | 0 | 0.0 | 107M| 141 | - | 253 | 14k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
258.09/258.16 c 253s|470000 |105969 | 0 | 0.0 | 107M| 141 | - | 253 | 16k| 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
273.50/273.55 c 268s|480000 | 99417 | 0 | 0.0 | 107M| 141 | - | 253 | 19k| 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
290.29/290.36 c 284s|490000 | 91083 | 0 | 0.0 | 105M| 141 | - | 253 | 19k| 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
309.10/309.16 c 303s|500000 | 80176 | 0 | 0.0 | 97M| 141 | - | 253 | 12k| 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
328.49/328.57 c 322s|510000 | 71757 | 0 | 0.0 | 98M| 141 | - | 253 | 17k| 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
351.10/351.11 c 345s|520000 | 62848 | 0 | 0.0 | 97M| 141 | - | 253 | 20k| 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
375.59/375.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.59/375.69 c 369s|530000 | 53237 | 0 | 0.0 | 94M| 141 | - | 253 | 24k| 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
401.10/401.17 c 394s|540000 | 44212 | 0 | 0.0 | 88M| 141 | - | 253 | 26k| 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
426.00/426.09 c 419s|550000 | 36228 | 0 | 0.0 | 81M| 141 | - | 253 | 29k| 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
451.70/451.78 c 444s|560000 | 27966 | 0 | 0.0 | 71M| 141 | - | 253 | 33k| 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
483.50/483.57 c 476s|570000 | 16704 | 0 | 0.0 | 51M| 141 | - | 253 | 36k| 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
510.00/510.10 c 502s|580000 | 9400 | 0 | 0.0 | 23M| 141 | - | 253 | 20k| 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
515.60/515.67 c 508s|590000 | 13769 | 0 | 0.0 | 22M| 141 | - | 253 |6106 | 0 | 0 | 0 | 773k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
519.00/519.05 c 511s|600000 | 18785 | 0 | 0.0 | 24M| 141 | - | 253 |7817 | 0 | 0 | 0 | 783k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
523.00/523.09 c 515s|610000 | 23823 | 0 | 0.0 | 29M| 141 | - | 253 | 12k| 0 | 0 | 0 | 793k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
531.81/531.82 c 524s|620000 | 24148 | 0 | 0.0 | 32M| 141 | - | 253 | 12k| 0 | 0 | 0 | 809k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
538.00/538.06 c 530s|630000 | 25553 | 0 | 0.0 | 33M| 141 | - | 253 |9885 | 0 | 0 | 0 | 825k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
542.90/542.96 c 534s|640000 | 29912 | 0 | 0.0 | 38M| 141 | - | 253 | 13k| 0 | 0 | 0 | 837k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
549.50/549.55 c 541s|650000 | 33073 | 0 | 0.0 | 42M| 141 | - | 253 | 15k| 0 | 0 | 0 | 850k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
558.00/558.02 c 549s|660000 | 34713 | 0 | 0.0 | 47M| 141 | - | 253 | 19k| 0 | 0 | 0 | 866k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
570.20/570.21 c 561s|670000 | 34086 | 0 | 0.0 | 50M| 141 | - | 253 | 22k| 0 | 0 | 0 | 884k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
587.41/587.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.41/587.48 c 578s|680000 | 30260 | 0 | 0.0 | 46M| 141 | - | 253 | 16k| 0 | 0 | 0 | 906k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
594.90/595.00 c 586s|690000 | 31538 | 0 | 0.0 | 48M| 141 | - | 253 | 14k| 0 | 0 | 0 | 922k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
606.81/606.82 c 598s|700000 | 30368 | 0 | 0.0 | 52M| 141 | - | 253 | 18k| 0 | 0 | 0 | 942k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
622.00/622.09 c 613s|710000 | 27530 | 0 | 0.0 | 53M| 141 | - | 253 | 21k| 0 | 0 | 0 | 964k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
641.50/641.56 c 632s|720000 | 22037 | 0 | 0.0 | 50M| 141 | - | 253 | 26k| 0 | 0 | 0 | 988k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
654.80/654.86 c 645s|730000 | 22490 | 0 | 0.0 | 41M| 141 | - | 253 |8475 | 0 | 0 | 0 |1002k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
660.01/660.09 c 650s|740000 | 25122 | 0 | 0.0 | 44M| 141 | - | 253 | 10k| 0 | 0 | 0 |1015k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
676.20/676.23 c 666s|750000 | 16365 | 0 | 0.0 | 29M| 141 | - | 253 | 18k| 0 | 0 | 0 |1039k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
680.31/680.36 c 670s|760000 | 22714 | 0 | 0.0 | 30M| 141 | - | 253 |9747 | 0 | 0 | 0 |1048k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
685.31/685.35 c 675s|770000 | 27488 | 0 | 0.0 | 34M| 141 | - | 253 | 12k| 0 | 0 | 0 |1059k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
692.61/692.66 c 682s|780000 | 30249 | 0 | 0.0 | 38M| 141 | - | 253 | 16k| 0 | 0 | 0 |1074k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
702.41/702.43 c 692s|790000 | 31554 | 0 | 0.0 | 39M| 141 | - | 253 | 18k| 0 | 0 | 0 |1090k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
707.71/707.71 c 697s|800000 | 36719 | 0 | 0.0 | 41M| 141 | - | 253 | 11k| 0 | 0 | 0 |1099k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
713.31/713.33 c 703s|810000 | 40959 | 0 | 0.0 | 46M| 141 | - | 253 | 15k| 0 | 0 | 0 |1112k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
722.71/722.73 c 712s|820000 | 42719 | 0 | 0.0 | 51M| 141 | - | 253 | 19k| 0 | 0 | 0 |1129k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
735.51/735.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.51/735.58 c 725s|830000 | 43161 | 0 | 0.0 | 55M| 141 | - | 253 | 22k| 0 | 0 | 0 |1149k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
750.31/750.37 c 739s|840000 | 43188 | 0 | 0.0 | 58M| 141 | - | 253 | 25k| 0 | 0 | 0 |1169k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
766.21/766.27 c 755s|850000 | 43256 | 0 | 0.0 | 61M| 141 | - | 253 | 28k| 0 | 0 | 0 |1188k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
784.91/784.95 c 774s|860000 | 42242 | 0 | 0.0 | 64M| 141 | - | 253 | 34k| 0 | 0 | 0 |1210k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
800.51/800.58 c 789s|870000 | 44477 | 0 | 0.0 | 63M| 141 | - | 253 | 24k| 0 | 0 | 0 |1223k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
810.01/810.10 c 798s|880000 | 47042 | 0 | 0.0 | 65M| 141 | - | 253 | 17k| 0 | 0 | 0 |1238k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
818.31/818.33 c 807s|890000 | 49792 | 0 | 0.0 | 68M| 141 | - | 253 | 20k| 0 | 0 | 0 |1253k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
827.21/827.27 c 815s|900000 | 52165 | 0 | 0.0 | 72M| 141 | - | 253 | 20k| 0 | 0 | 0 |1269k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
844.72/844.78 c 833s|910000 | 50108 | 0 | 0.0 | 75M| 141 | - | 253 | 27k| 0 | 0 | 0 |1292k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
869.61/869.70 c 857s|920000 | 46101 | 0 | 0.0 | 74M| 141 | - | 253 | 34k| 0 | 0 | 0 |1318k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
900.71/900.73 c 888s|930000 | 41311 | 0 | 0.0 | 72M| 141 | - | 253 | 40k| 0 | 0 | 0 |1344k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
925.21/925.21 c 913s|940000 | 40846 | 0 | 0.0 | 67M| 141 | - | 253 | 28k| 0 | 0 | 0 |1362k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
943.22/943.25 c 931s|950000 | 39416 | 0 | 0.0 | 67M| 141 | - | 253 | 25k| 0 | 0 | 0 |1383k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
959.51/959.50 c 947s|960000 | 39392 | 0 | 0.0 | 70M| 141 | - | 253 | 32k| 0 | 0 | 0 |1402k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
976.11/976.13 c 963s|970000 | 41131 | 0 | 0.0 | 70M| 141 | - | 253 | 29k| 0 | 0 | 0 |1417k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
984.91/984.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.91/984.93 c 972s|980000 | 46472 | 0 | 0.0 | 72M| 141 | - | 253 | 21k| 0 | 0 | 0 |1427k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
999.61/999.61 c 986s|990000 | 45276 | 0 | 0.0 | 72M| 141 | - | 253 | 28k| 0 | 0 | 0 |1448k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1024.62/1024.65 c 1011s| 1000k| 40259 | 0 | 0.0 | 66M| 141 | - | 253 | 33k| 0 | 0 | 0 |1473k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1051.91/1051.99 c 1038s| 1010k| 35124 | 0 | 0.0 | 62M| 141 | - | 253 | 37k| 0 | 0 | 0 |1498k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1076.21/1076.29 c 1063s| 1020k| 33977 | 0 | 0.0 | 61M| 141 | - | 253 | 41k| 0 | 0 | 0 |1516k| 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1089.12/1089.10 c 1075s| 1030k| 38557 | 0 | 0.0 | 61M| 141 | - | 253 | 28k| 0 | 0 | 0 |1528k| 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1101.61/1101.68 c 1088s| 1040k| 41685 | 0 | 0.0 | 64M| 141 | - | 253 | 27k| 0 | 0 | 0 |1542k| 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1117.72/1117.78 c 1104s| 1050k| 42472 | 0 | 0.0 | 68M| 141 | - | 253 | 29k| 0 | 0 | 0 |1561k| 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1136.82/1136.85 c 1123s| 1060k| 41656 | 0 | 0.0 | 69M| 141 | - | 253 | 35k| 0 | 0 | 0 |1580k| 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1159.82/1159.84 c 1145s| 1070k| 38902 | 0 | 0.0 | 65M| 141 | - | 253 | 33k| 0 | 0 | 0 |1602k| 0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1180.02/1180.06 c 1166s| 1080k| 38918 | 0 | 0.0 | 66M| 141 | - | 253 | 34k| 0 | 0 | 0 |1621k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1205.52/1205.54 c 1191s| 1090k| 36724 | 0 | 0.0 | 67M| 141 | - | 253 | 38k| 0 | 0 | 0 |1643k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1236.43/1236.44 c 1222s| 1100k| 32252 | 0 | 0.0 | 67M| 141 | - | 253 | 46k| 0 | 0 | 0 |1666k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1257.63/1257.61 c 1243s| 1110k| 34266 | 0 | 0.0 | 63M| 141 | - | 253 | 28k| 0 | 0 | 0 |1680k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1272.33/1272.38 c 1257s| 1120k| 33295 | 0 | 0.0 | 57M| 141 | - | 253 | 16k| 0 | 0 | 0 |1698k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1295.12/1295.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.12/1295.11 c 1280s| 1130k| 26038 | 0 | 0.0 | 54M| 141 | - | 253 | 31k| 0 | 0 | 0 |1725k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1308.03/1308.04 c 1293s| 1140k| 29319 | 0 | 0.0 | 51M| 141 | - | 253 | 20k| 0 | 0 | 0 |1737k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1315.72/1315.74 c 1300s| 1150k| 33790 | 0 | 0.0 | 54M| 141 | - | 253 | 19k| 0 | 0 | 0 |1747k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1326.02/1326.06 c 1310s| 1160k| 36112 | 0 | 0.0 | 54M| 141 | - | 253 | 14k| 0 | 0 | 0 |1761k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1333.13/1333.11 c 1317s| 1170k| 39401 | 0 | 0.0 | 55M| 141 | - | 253 | 13k| 0 | 0 | 0 |1772k| 0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1342.82/1342.85 c 1327s| 1180k| 38401 | 0 | 0.0 | 53M| 141 | - | 253 | 16k| 0 | 0 | 0 |1789k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1351.63/1351.69 c 1336s| 1190k| 41132 | 0 | 0.0 | 58M| 141 | - | 253 | 20k| 0 | 0 | 0 |1804k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1364.12/1364.16 c 1348s| 1200k| 41862 | 0 | 0.0 | 62M| 141 | - | 253 | 23k| 0 | 0 | 0 |1822k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1380.92/1380.90 c 1365s| 1210k| 40121 | 0 | 0.0 | 65M| 141 | - | 253 | 28k| 0 | 0 | 0 |1843k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1391.03/1391.02 c 1375s| 1220k| 44226 | 0 | 0.0 | 65M| 141 | - | 253 | 19k| 0 | 0 | 0 |1854k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1402.03/1402.04 c 1386s| 1230k| 46045 | 0 | 0.0 | 68M| 141 | - | 253 | 22k| 0 | 0 | 0 |1870k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1411.13/1411.11 c 1394s| 1240k| 50086 | 0 | 0.0 | 72M| 141 | - | 253 | 23k| 0 | 0 | 0 |1881k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1421.53/1421.57 c 1405s| 1250k| 52380 | 0 | 0.0 | 76M| 141 | - | 253 | 24k| 0 | 0 | 0 |1894k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1437.43/1437.42 c 1420s| 1260k| 50530 | 0 | 0.0 | 76M| 141 | - | 253 | 24k| 0 | 0 | 0 |1914k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1454.24/1454.24 c 1437s| 1270k| 48375 | 0 | 0.0 | 76M| 141 | - | 253 | 32k| 0 | 0 | 0 |1935k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1477.73/1477.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.73/1477.73 c 1460s| 1280k| 44879 | 0 | 0.0 | 77M| 141 | - | 253 | 41k| 0 | 0 | 0 |1958k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1504.43/1504.41 c 1487s| 1290k| 42732 | 0 | 0.0 | 70M| 141 | - | 253 | 31k| 0 | 0 | 0 |1978k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1518.04/1518.08 c 1501s| 1300k| 45297 | 0 | 0.0 | 72M| 141 | - | 253 | 27k| 0 | 0 | 0 |1992k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1534.54/1534.51 c 1517s| 1310k| 46190 | 0 | 0.0 | 76M| 141 | - | 253 | 34k| 0 | 0 | 0 |2008k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1552.83/1552.85 c 1535s| 1320k| 47052 | 0 | 0.0 | 79M| 141 | - | 253 | 40k| 0 | 0 | 0 |2025k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1571.33/1571.34 c 1553s| 1330k| 48977 | 0 | 0.0 | 81M| 141 | - | 253 | 40k| 0 | 0 | 0 |2039k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1591.54/1591.57 c 1573s| 1340k| 49048 | 0 | 0.0 | 83M| 141 | - | 253 | 42k| 0 | 0 | 0 |2056k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1621.34/1621.30 c 1603s| 1350k| 44209 | 0 | 0.0 | 78M| 141 | - | 253 | 44k| 0 | 0 | 0 |2077k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1652.54/1652.56 c 1634s| 1360k| 40048 | 0 | 0.0 | 71M| 141 | - | 253 | 43k| 0 | 0 | 0 |2099k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1684.04/1684.08 c 1665s| 1370k| 37449 | 0 | 0.0 | 73M| 141 | - | 253 | 50k| 0 | 0 | 0 |2120k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1719.53/1719.56 c 1701s| 1380k| 34428 | 0 | 0.0 | 74M| 141 | - | 253 | 54k| 0 | 0 | 0 |2141k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1755.04/1755.01 c 1736s| 1390k| 30588 | 0 | 0.0 | 74M| 141 | - | 253 | 59k| 0 | 0 | 0 |2162k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1796.93/1796.96 c 1778s| 1400k| 25534 | 0 | 0.0 | 64M| 141 | - | 253 | 50k| 0 | 0 | 0 |2182k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
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) : 1780.80
1800.04/1800.00 c Solving Nodes : 1400663
1800.04/1800.00 c Primal Bound : +2.30000000000000e+01 (7 solutions)
1800.04/1800.00 c Dual Bound : +1.50000000000000e+01
1800.04/1800.00 c Gap : 53.33 %
1800.04/1800.00 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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 -x56
1800.04/1800.00 v -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.04/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.04/1800.00 v -x4 -x3 x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1780.80
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693936-1277897920.wbo
1800.04/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.04/1800.00 c Constraints : 144 initial, 144 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693936-1277897920.wbo
1800.04/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.04/1800.00 c Constraints : 130 initial, 62164 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 0 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 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 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 setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 42 0 14 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 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 : 42 0 4030044 0 816997 532 227757 0 0 0
1800.04/1800.00 c knapsack : 1 0 4508602 0 907611 122537 15230220 0 0 0
1800.04/1800.00 c setppc : 39 0 4386036 0 907599 390176 6109146 0 0 0
1800.04/1800.00 c linear : 42 0 3995886 0 907607 170712 3887137 0 0 0
1800.04/1800.00 c logicor : 6+ 0 2067376 0 906191 36163 1011064 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 79929 0 0 0 1078 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 907613 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 : 2.42 0.00 1.64 0.00 0.78
1800.04/1800.00 c knapsack : 170.77 0.00 168.13 0.00 2.64
1800.04/1800.00 c setppc : 38.40 0.00 34.21 0.00 4.19
1800.04/1800.00 c linear : 42.09 0.00 41.63 0.00 0.46
1800.04/1800.00 c logicor : 764.10 0.00 763.39 0.00 0.71
1800.04/1800.00 c bounddisjunction : 0.12 0.00 0.12 0.00 0.00
1800.04/1800.00 c countsols : 0.24 0.00 0.00 0.00 0.24
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.19 2 0 0
1800.04/1800.00 c rootredcost : 1.11 0 0 0
1800.04/1800.00 c pseudoobj : 7.34 4509181 241 166576
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 27.53 719829 719793 3874858 22.9 152717 14.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 12 12 41 24.3 2 31.5 -
1800.04/1800.00 c applied globally : - - - 2161178 16.6 - - -
1800.04/1800.00 c applied locally : - - - 22834 36.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 : 7.05 907606 0 0 0 0 1815212
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.06 - 7
1800.04/1800.00 c oneopt : 0.57 0 0
1800.04/1800.00 c trivial : 0.00 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.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.50 0 0
1800.04/1800.01 c trysol : 0.33 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 1400663
1800.04/1800.01 c nodes (total) : 1400663
1800.04/1800.01 c nodes left : 24996
1800.04/1800.01 c max depth : 141
1800.04/1800.01 c max depth (total): 141
1800.04/1800.01 c backtracks : 529066 (37.8%)
1800.04/1800.01 c delayed cutoffs : 350331
1800.04/1800.01 c repropagations : 1627527 (7504849 domain reductions, 227323 cutoffs)
1800.04/1800.01 c avg switch length: 19.94
1800.04/1800.01 c switching time : 533.88
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 7 (7 improvements)
1800.04/1800.01 c First Solution : +3.41000000000000e+02 (in run 1, after 190517 nodes, 81.57 seconds, depth 57, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +2.30000000000000e+01 (in run 1, after 428415 nodes, 208.41 seconds, depth 52, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +1.50000000000000e+01
1800.04/1800.01 c Gap : 53.33 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1800.14/1800.15 c Time complete: 1800.19.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693936-1277897920/watcher-2693936-1277897920 -o /tmp/evaluation-result-2693936-1277897920/solver-2693936-1277897920 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693936-1277897920.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: 1.99 1.99 1.99 3/178 11047
/proc/meminfo: memFree=30959144/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=8268 CPUtime=0
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 131089679 8466432 1467 4089446400 4194304 7136930 140735224442272 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11047/statm: 2067 1467 275 719 0 1346 0
[startup+0.00616308 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 11047
/proc/meminfo: memFree=30959144/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=8268 CPUtime=0
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 1545 0 0 0 0 0 0 0 25 0 1 0 131089679 8466432 1468 4089446400 4194304 7136930 140735224442272 18446744073709551615 6269140 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11047/statm: 2067 1468 275 719 0 1346 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8268
[startup+0.100205 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 11047
/proc/meminfo: memFree=30959144/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=12840 CPUtime=0.09
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 4729 0 0 0 7 2 0 0 18 0 1 0 131089679 13148160 2500 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11047/statm: 3210 2500 403 719 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12840
[startup+0.300177 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 11047
/proc/meminfo: memFree=30959144/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=14408 CPUtime=0.29
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 5131 0 0 0 26 3 0 0 18 0 1 0 131089679 14753792 2902 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11047/statm: 3602 2902 403 719 0 2881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14408
[startup+0.701069 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 11047
/proc/meminfo: memFree=30959144/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=17080 CPUtime=0.69
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 5822 0 0 0 64 5 0 0 18 0 1 0 131089679 17489920 3593 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11047/statm: 4270 3593 403 719 0 3549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17080
[startup+1.50095 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11048
/proc/meminfo: memFree=30945360/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=20816 CPUtime=1.49
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 6744 0 0 0 140 9 0 0 19 0 1 0 131089679 21315584 4515 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11047/statm: 5204 4515 403 719 0 4483 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20816
[startup+3.10067 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11048
/proc/meminfo: memFree=30940772/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=25076 CPUtime=3.09
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 7853 0 0 0 292 17 0 0 25 0 1 0 131089679 25677824 5624 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11047/statm: 6269 5624 403 719 0 5548 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25076
[startup+6.30108 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11048
/proc/meminfo: memFree=30931840/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=33716 CPUtime=6.29
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 10026 0 0 0 600 29 0 0 25 0 1 0 131089679 34525184 7797 4089446400 4194304 7136930 140735224442272 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11047/statm: 8429 7797 403 719 0 7708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33716
[startup+12.7009 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11048
/proc/meminfo: memFree=30920568/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=44388 CPUtime=12.68
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 12685 0 0 0 1222 46 0 0 25 0 1 0 131089679 45453312 10456 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 11097 10456 403 719 0 10376 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44388
[startup+25.5006 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11048
/proc/meminfo: memFree=30900192/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=63844 CPUtime=25.48
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 17647 0 0 0 2458 90 0 0 25 0 1 0 131089679 65376256 15391 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 15961 15391 403 719 0 15240 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63844
[startup+51.101 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11049
/proc/meminfo: memFree=30879812/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=83820 CPUtime=51.08
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 22558 0 0 0 4972 136 0 0 25 0 1 0 131089679 85831680 20302 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 20955 20302 403 719 0 20234 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83820
[startup+102.307 s]
/proc/loadavg: 2.07 2.01 2.00 3/179 11050
/proc/meminfo: memFree=30834996/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=128880 CPUtime=102.29
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 33527 0 0 0 9964 265 0 0 25 0 1 0 131089679 131973120 31271 4089446400 4194304 7136930 140735224442272 18446744073709551615 4210607 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 32220 31271 406 719 0 31499 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 128880
[startup+162.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 11052
/proc/meminfo: memFree=30810744/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=152236 CPUtime=162.29
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 39333 0 0 0 15872 357 0 0 25 0 1 0 131089679 155889664 37077 4089446400 4194304 7136930 140735224442272 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 38059 37077 406 719 0 37338 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 152236
[startup+222.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11054
/proc/meminfo: memFree=30787712/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=175544 CPUtime=222.29
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 45288 0 0 0 21732 497 0 0 25 0 1 0 131089679 179757056 43032 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 43886 43032 406 719 0 43165 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 175544
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11056
/proc/meminfo: memFree=30785784/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=176844 CPUtime=282.3
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 45631 0 0 0 27653 577 0 0 25 0 1 0 131089679 181088256 43375 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 44211 43375 406 719 0 43490 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 176844
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11057
/proc/meminfo: memFree=30783752/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=178928 CPUtime=342.29
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 46075 0 0 0 33584 645 0 0 25 0 1 0 131089679 183222272 43819 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 44732 43819 406 719 0 44011 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 178928
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11058
/proc/meminfo: memFree=30781816/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=180908 CPUtime=402.3
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 46486 0 0 0 39534 696 0 0 25 0 1 0 131089679 185249792 44230 4089446400 4194304 7136930 140735224442272 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 45227 44230 406 719 0 44506 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 180908
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11060
/proc/meminfo: memFree=30780864/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=181864 CPUtime=462.3
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 46688 0 0 0 45488 742 0 0 25 0 1 0 131089679 186228736 44432 4089446400 4194304 7136930 140735224442272 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 45466 44432 406 719 0 44745 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 181864
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11062
/proc/meminfo: memFree=30779904/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=182684 CPUtime=522.3
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 46848 0 0 0 51424 806 0 0 25 0 1 0 131089679 187068416 44592 4089446400 4194304 7136930 140735224442272 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 45671 44592 406 719 0 44950 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 182684
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11064
/proc/meminfo: memFree=30779488/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=182684 CPUtime=582.3
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 46874 0 0 0 57330 900 0 0 25 0 1 0 131089679 187068416 44618 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 45671 44618 406 719 0 44950 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 182684
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11065
/proc/meminfo: memFree=30779164/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=182928 CPUtime=642.31
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 46940 0 0 0 63272 959 0 0 25 0 1 0 131089679 187318272 44684 4089446400 4194304 7136930 140735224442272 18446744073709551615 4227472 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 45732 44684 406 719 0 45011 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 182928
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11072
/proc/meminfo: memFree=30775060/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=185604 CPUtime=882.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47282 0 0 0 87000 1232 0 0 25 0 1 0 131089679 190058496 45026 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46401 45026 406 719 0 45680 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 185604
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11073
/proc/meminfo: memFree=30774528/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=186248 CPUtime=942.31
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47380 0 0 0 92961 1270 0 0 25 0 1 0 131089679 190717952 45124 4089446400 4194304 7136930 140735224442272 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46562 45124 406 719 0 45841 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 186248
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11102
/proc/meminfo: memFree=31107908/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=186248 CPUtime=1002.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47400 0 0 0 98910 1322 0 0 25 0 1 0 131089679 190717952 45144 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46562 45144 406 719 0 45841 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 186248
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11131
/proc/meminfo: memFree=31038984/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=186248 CPUtime=1062.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47416 0 0 0 104871 1361 0 0 25 0 1 0 131089679 190717952 45160 4089446400 4194304 7136930 140735224442272 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46562 45160 406 719 0 45841 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 186248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11133
/proc/meminfo: memFree=30909496/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=186320 CPUtime=1122.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47470 0 0 0 110822 1410 0 0 25 0 1 0 131089679 190791680 45214 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46580 45214 406 719 0 45859 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 186320
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11135
/proc/meminfo: memFree=30817052/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=186320 CPUtime=1182.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47487 0 0 0 116779 1453 0 0 25 0 1 0 131089679 190791680 45231 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46580 45231 406 719 0 45859 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 186320
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11136
/proc/meminfo: memFree=30720280/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=187612 CPUtime=1242.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47661 0 0 0 122744 1488 0 0 25 0 1 0 131089679 192114688 45405 4089446400 4194304 7136930 140735224442272 18446744073709551615 5000300 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46903 45405 406 719 0 46182 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 187612
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11137
/proc/meminfo: memFree=30650420/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=187612 CPUtime=1302.32
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47695 0 0 0 128697 1535 0 0 25 0 1 0 131089679 192114688 45439 4089446400 4194304 7136930 140735224442272 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46903 45439 406 719 0 46182 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 187612
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11148
/proc/meminfo: memFree=30595268/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=187612 CPUtime=1362.33
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47695 0 0 0 134615 1618 0 0 25 0 1 0 131089679 192114688 45439 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46903 45439 406 719 0 46182 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 187612
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11150
/proc/meminfo: memFree=30533572/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=187612 CPUtime=1422.33
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47769 0 0 0 140551 1682 0 0 25 0 1 0 131089679 192114688 45513 4089446400 4194304 7136930 140735224442272 18446744073709551615 4998124 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46903 45513 406 719 0 46182 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 187612
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11152
/proc/meminfo: memFree=30473248/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=187612 CPUtime=1482.33
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47769 0 0 0 146498 1735 0 0 25 0 1 0 131089679 192114688 45513 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46903 45513 406 719 0 46182 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 187612
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11153
/proc/meminfo: memFree=30425704/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=187612 CPUtime=1542.33
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 47769 0 0 0 152452 1781 0 0 25 0 1 0 131089679 192114688 45513 4089446400 4194304 7136930 140735224442272 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 46903 45513 406 719 0 46182 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 187612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11154
/proc/meminfo: memFree=30376292/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=189836 CPUtime=1602.33
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 48222 0 0 0 158407 1826 0 0 25 0 1 0 131089679 194392064 45966 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 47459 45966 406 719 0 46738 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 189836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11156
/proc/meminfo: memFree=30321068/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=189836 CPUtime=1662.33
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 48256 0 0 0 164375 1858 0 0 25 0 1 0 131089679 194392064 46000 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 47459 46000 406 719 0 46738 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 189836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11158
/proc/meminfo: memFree=30263988/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=191536 CPUtime=1722.34
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 48612 0 0 0 170347 1887 0 0 25 0 1 0 131089679 196132864 46356 4089446400 4194304 7136930 140735224442272 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 47884 46356 406 719 0 47163 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 191536
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11160
/proc/meminfo: memFree=30213448/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=194804 CPUtime=1782.34
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 49306 0 0 0 176319 1915 0 0 25 0 1 0 131089679 199479296 47050 4089446400 4194304 7136930 140735224442272 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 48701 47050 406 719 0 47980 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 194804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11160
/proc/meminfo: memFree=30191472/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=195272 CPUtime=1800.04
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 49390 0 0 0 178080 1924 0 0 25 0 1 0 131089679 199958528 47134 4089446400 4194304 7136930 140735224442272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11047/statm: 48818 47134 406 719 0 48097 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 195272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11160
/proc/meminfo: memFree=30191472/32951124 swapFree=67111528/67111528
[pid=11047] ppid=11045 vsize=186500 CPUtime=1800.14
/proc/11047/stat : 11047 (pbscip.linux.x8) R 11045 11047 9243 0 -1 4202496 49395 0 0 0 178090 1924 0 0 25 0 1 0 131089679 190976000 44946 4089446400 4194304 7136930 140735224442272 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11047/statm: 46625 44946 411 719 0 45904 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 186500
Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.2
CPU user time (s): 1780.95
CPU system time (s): 19.2561
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 195272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.95
system time used= 19.2561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49402
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= 7194
runsolver used 2.6086 second user time and 5.59615 second system time
The end
Begin job on node106 at 2010-06-30 13:38:40
IDJOB=2693936
IDBENCH=78819
IDSOLVER=1206
FILE ID=node106/2693936-1277897920
PBS_JOBID= 11197142
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.1111223004--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-2693936-1277897920/watcher-2693936-1277897920 -o /tmp/evaluation-result-2693936-1277897920/solver-2693936-1277897920 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693936-1277897920.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2781b3371b432984c0fe1e8064068870
RANDOM SEED=417126495
node106.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.825
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.65
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.825
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.825
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.825
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.76
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.825
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.82
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.825
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.73
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.825
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.83
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.825
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30959796 kB
Buffers: 180184 kB
Cached: 1272284 kB
SwapCached: 0 kB
Active: 829544 kB
Inactive: 1020524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30959796 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3124 kB
Writeback: 0 kB
AnonPages: 398000 kB
Mapped: 16196 kB
Slab: 77888 kB
PageTables: 5192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 546440 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 node106 at 2010-06-30 14:08:42