0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2700104-1278533976.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.07 o 420925
0.00/0.07 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.07 c t 0.0s| 1 | 0 | 0 | - |6129k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 0 | - |6526k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 29 | - |6563k| 0 | 4 |1800 |1700 |1800 | 62 | 62 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.07/0.08 c 0.1s| 1 | 0 | 96 | - |6613k| 0 | 25 |1800 |1700 |1800 | 102 | 102 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.07/0.09 c 0.1s| 1 | 0 | 147 | - |6692k| 0 | 65 |1800 |1700 |1800 | 152 | 152 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 184 | - |6757k| 0 | 78 |1800 |1700 |1800 | 180 | 180 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 214 | - |6807k| 0 | 81 |1800 |1700 |1800 | 188 | 188 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 221 | - |6835k| 0 | 83 |1800 |1700 |1800 | 193 | 193 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 377 | - |6887k| 0 | 83 |1800 |1700 |1800 | 193 | 193 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.79/12.85 c 12.6s| 10000 | 10001 | 70177 | 7.0 | 19M| 93 | 0 |1800 |1700 |1800 | 287 | 21k| 0 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
23.39/23.47 c 23.0s| 20000 | 20001 |128404 | 6.4 | 30M| 101 | 21 |1800 |1700 |1800 | 204 | 37k| 0 | 927 | 0.000000e+00 | 4.209250e+05 | Inf
34.29/34.37 c 33.6s| 30000 | 30001 |189691 | 6.3 | 40M| 101 | 3 |1800 |1700 |1800 | 243 | 54k| 0 |1227 | 0.000000e+00 | 4.209250e+05 | Inf
43.49/43.55 c 42.7s| 40000 | 40001 |212675 | 5.3 | 50M| 121 | 0 |1800 |1700 |1800 | 299 | 61k| 0 |1302 | 0.000000e+00 | 4.209250e+05 | Inf
53.09/53.19 c 52.1s| 50000 | 50001 |245914 | 4.9 | 60M| 123 | 0 |1800 |1700 |1800 | 310 | 71k| 0 |1437 | 0.000000e+00 | 4.209250e+05 | Inf
63.09/63.15 c 61.9s| 60000 | 60001 |283818 | 4.7 | 71M| 123 | 0 |1800 |1700 |1800 | 302 | 82k| 0 |1562 | 0.000000e+00 | 4.209250e+05 | Inf
72.99/73.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.99/73.00 c 71.6s| 70000 | 70001 |321213 | 4.6 | 81M| 123 | 0 |1800 |1700 |1800 | 300 | 92k| 0 |1688 | 0.000000e+00 | 4.209250e+05 | Inf
82.39/82.50 c 80.9s| 80000 | 80001 |348646 | 4.4 | 91M| 125 | 0 |1800 |1700 |1800 | 249 | 101k| 0 |1758 | 0.000000e+00 | 4.209250e+05 | Inf
91.60/91.60 c 89.8s| 90000 | 90001 |377977 | 4.2 | 101M| 125 | 4 |1800 |1700 |1800 | 266 | 110k| 0 |1868 | 0.000000e+00 | 4.209250e+05 | Inf
100.79/100.82 c 98.9s|100000 |100001 |408243 | 4.1 | 111M| 125 | 0 |1800 |1700 |1800 | 244 | 119k| 0 |1951 | 0.000000e+00 | 4.209250e+05 | Inf
110.00/110.04 c 108s|110000 |110001 |435274 | 4.0 | 121M| 125 | 7 |1800 |1700 |1800 | 293 | 128k| 0 |2027 | 0.000000e+00 | 4.209250e+05 | Inf
119.30/119.31 c 117s|120000 |120001 |462088 | 3.8 | 131M| 125 | 0 |1800 |1700 |1800 | 292 | 136k| 0 |2092 | 0.000000e+00 | 4.209250e+05 | Inf
128.89/128.96 c 126s|130000 |130001 |496533 | 3.8 | 141M| 125 | 2 |1800 |1700 |1800 | 286 | 146k| 0 |2188 | 0.000000e+00 | 4.209250e+05 | Inf
137.69/137.72 c 135s|140000 |140001 |513119 | 3.7 | 151M| 125 | 0 |1800 |1700 |1800 | 263 | 152k| 0 |2216 | 0.000000e+00 | 4.209250e+05 | Inf
146.80/146.84 c 144s|150000 |150001 |537124 | 3.6 | 161M| 125 | 0 |1800 |1700 |1800 | 271 | 160k| 0 |2275 | 0.000000e+00 | 4.209250e+05 | Inf
156.29/156.31 c 153s|160000 |160001 |570007 | 3.6 | 171M| 125 | 0 |1800 |1700 |1800 | 268 | 170k| 0 |2348 | 0.000000e+00 | 4.209250e+05 | Inf
165.00/165.06 c 162s|170000 |170001 |589110 | 3.5 | 181M| 141 | 0 |1800 |1700 |1800 | 308 | 176k| 0 |2380 | 0.000000e+00 | 4.209250e+05 | Inf
174.10/174.18 c 171s|180000 |180001 |615560 | 3.4 | 191M| 141 | 0 |1800 |1700 |1800 | 320 | 184k| 0 |2431 | 0.000000e+00 | 4.209250e+05 | Inf
183.19/183.23 c 180s|190000 |190001 |639607 | 3.4 | 201M| 141 | 3 |1800 |1700 |1800 | 273 | 192k| 0 |2497 | 0.000000e+00 | 4.209250e+05 | Inf
192.20/192.20 c 189s|200000 |200001 |663097 | 3.3 | 211M| 141 | 0 |1800 |1700 |1800 | 282 | 199k| 0 |2538 | 0.000000e+00 | 4.209250e+05 | Inf
201.20/201.21 c 197s|210000 |210001 |686233 | 3.3 | 221M| 141 | 0 |1800 |1700 |1800 | 273 | 207k| 0 |2581 | 0.000000e+00 | 4.209250e+05 | Inf
210.29/210.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.29/210.31 c 206s|220000 |220001 |710439 | 3.2 | 232M| 141 | 0 |1800 |1700 |1800 | 283 | 214k| 0 |2630 | 0.000000e+00 | 4.209250e+05 | Inf
219.40/219.49 c 215s|230000 |230001 |739021 | 3.2 | 242M| 141 | 0 |1800 |1700 |1800 | 286 | 223k| 0 |2676 | 0.000000e+00 | 4.209250e+05 | Inf
228.30/228.31 c 224s|240000 |240001 |756872 | 3.2 | 252M| 141 | 0 |1800 |1700 |1800 | 299 | 229k| 0 |2702 | 0.000000e+00 | 4.209250e+05 | Inf
237.00/237.03 c 233s|250000 |250001 |776564 | 3.1 | 262M| 145 | 0 |1800 |1700 |1800 | 266 | 235k| 0 |2742 | 0.000000e+00 | 4.209250e+05 | Inf
246.00/246.02 c 241s|260000 |260001 |800051 | 3.1 | 272M| 145 | 0 |1800 |1700 |1800 | 273 | 242k| 0 |2782 | 0.000000e+00 | 4.209250e+05 | Inf
254.79/254.89 c 250s|270000 |270001 |821869 | 3.0 | 282M| 145 | 0 |1800 |1700 |1800 | 281 | 249k| 0 |2827 | 0.000000e+00 | 4.209250e+05 | Inf
263.60/263.62 c 259s|280000 |280001 |841268 | 3.0 | 292M| 145 | 0 |1800 |1700 |1800 | 245 | 256k| 0 |2858 | 0.000000e+00 | 4.209250e+05 | Inf
272.20/272.29 c 267s|290000 |290001 |858849 | 3.0 | 302M| 145 | 0 |1800 |1700 |1800 | 274 | 261k| 0 |2883 | 0.000000e+00 | 4.209250e+05 | Inf
281.00/281.00 c 276s|300000 |300001 |874072 | 2.9 | 312M| 145 | 0 |1800 |1700 |1800 | 261 | 266k| 0 |2911 | 0.000000e+00 | 4.209250e+05 | Inf
289.79/289.81 c 284s|310000 |310001 |893607 | 2.9 | 322M| 145 | 9 |1800 |1700 |1800 | 271 | 272k| 0 |2936 | 0.000000e+00 | 4.209250e+05 | Inf
298.60/298.64 c 293s|320000 |320001 |912882 | 2.9 | 332M| 145 | 0 |1800 |1700 |1800 | 297 | 278k| 0 |2983 | 0.000000e+00 | 4.209250e+05 | Inf
307.60/307.63 c 302s|330000 |330001 |935703 | 2.8 | 342M| 145 | 0 |1800 |1700 |1800 | 246 | 285k| 0 |3025 | 0.000000e+00 | 4.209250e+05 | Inf
316.59/316.67 c 311s|340000 |340001 |960047 | 2.8 | 352M| 145 | 0 |1800 |1700 |1800 | 229 | 293k| 0 |3073 | 0.000000e+00 | 4.209250e+05 | Inf
325.70/325.70 c 320s|350000 |350001 |984556 | 2.8 | 362M| 145 | 0 |1800 |1700 |1800 | 319 | 300k| 0 |3101 | 0.000000e+00 | 4.209250e+05 | Inf
334.80/334.80 c 329s|360000 |360001 | 1010k| 2.8 | 372M| 145 | 2 |1800 |1700 |1800 | 283 | 308k| 0 |3153 | 0.000000e+00 | 4.209250e+05 | Inf
343.60/343.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.60/343.67 c 337s|370000 |370001 | 1030k| 2.8 | 382M| 145 | 0 |1800 |1700 |1800 | 254 | 314k| 0 |3185 | 0.000000e+00 | 4.209250e+05 | Inf
352.50/352.52 c 346s|380000 |380001 | 1050k| 2.8 | 392M| 145 | 0 |1800 |1700 |1800 | 310 | 321k| 0 |3211 | 0.000000e+00 | 4.209250e+05 | Inf
361.40/361.46 c 355s|390000 |390001 | 1071k| 2.7 | 402M| 145 | 8 |1800 |1700 |1800 | 316 | 328k| 0 |3258 | 0.000000e+00 | 4.209250e+05 | Inf
369.90/369.91 c 363s|400000 |400001 | 1083k| 2.7 | 412M| 145 | 0 |1800 |1700 |1800 | 287 | 331k| 0 |3274 | 0.000000e+00 | 4.209250e+05 | Inf
379.11/379.11 c 372s|410000 |410001 | 1112k| 2.7 | 422M| 145 | 0 |1800 |1700 |1800 | 290 | 340k| 0 |3314 | 0.000000e+00 | 4.209250e+05 | Inf
387.91/387.94 c 381s|420000 |420001 | 1132k| 2.7 | 432M| 145 | 0 |1800 |1700 |1800 | 265 | 347k| 0 |3349 | 0.000000e+00 | 4.209250e+05 | Inf
396.61/396.67 c 389s|430000 |430001 | 1149k| 2.7 | 442M| 145 | 0 |1800 |1700 |1800 | 296 | 352k| 0 |3372 | 0.000000e+00 | 4.209250e+05 | Inf
405.51/405.55 c 398s|440000 |440001 | 1169k| 2.7 | 452M| 145 | 0 |1800 |1700 |1800 | 295 | 359k| 0 |3405 | 0.000000e+00 | 4.209250e+05 | Inf
414.30/414.35 c 407s|450000 |450001 | 1189k| 2.6 | 463M| 145 | 0 |1800 |1700 |1800 | 267 | 365k| 0 |3428 | 0.000000e+00 | 4.209250e+05 | Inf
423.40/423.45 c 416s|460000 |460001 | 1217k| 2.6 | 473M| 145 | 0 |1800 |1700 |1800 | 295 | 374k| 0 |3473 | 0.000000e+00 | 4.209250e+05 | Inf
432.31/432.33 c 424s|470000 |470001 | 1239k| 2.6 | 483M| 145 | 0 |1800 |1700 |1800 | 258 | 382k| 0 |3504 | 0.000000e+00 | 4.209250e+05 | Inf
441.30/441.35 c 433s|480000 |480001 | 1261k| 2.6 | 493M| 145 | 0 |1800 |1700 |1800 | 298 | 389k| 0 |3530 | 0.000000e+00 | 4.209250e+05 | Inf
450.20/450.28 c 442s|490000 |490001 | 1283k| 2.6 | 503M| 145 | 0 |1800 |1700 |1800 | 304 | 395k| 0 |3558 | 0.000000e+00 | 4.209250e+05 | Inf
459.00/459.05 c 451s|500000 |500001 | 1301k| 2.6 | 513M| 145 | 0 |1800 |1700 |1800 | 346 | 401k| 0 |3591 | 0.000000e+00 | 4.209250e+05 | Inf
467.91/467.90 c 459s|510000 |510001 | 1322k| 2.6 | 523M| 145 | 6 |1800 |1700 |1800 | 258 | 407k| 0 |3622 | 0.000000e+00 | 4.209250e+05 | Inf
476.70/476.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.70/476.72 c 468s|520000 |520001 | 1342k| 2.6 | 533M| 145 | 0 |1800 |1700 |1800 | 261 | 414k| 0 |3644 | 0.000000e+00 | 4.209250e+05 | Inf
485.60/485.69 c 477s|530000 |530001 | 1364k| 2.6 | 543M| 145 | 0 |1800 |1700 |1800 | 305 | 421k| 0 |3667 | 0.000000e+00 | 4.209250e+05 | Inf
494.51/494.59 c 486s|540000 |540001 | 1385k| 2.6 | 553M| 145 | 10 |1800 |1700 |1800 | 301 | 427k| 0 |3696 | 0.000000e+00 | 4.209250e+05 | Inf
503.30/503.32 c 494s|550000 |550001 | 1402k| 2.5 | 563M| 145 | 11 |1800 |1700 |1800 | 246 | 433k| 0 |3718 | 0.000000e+00 | 4.209250e+05 | Inf
512.11/512.14 c 503s|560000 |560001 | 1421k| 2.5 | 573M| 145 | 0 |1800 |1700 |1800 | 320 | 439k| 0 |3747 | 0.000000e+00 | 4.209250e+05 | Inf
521.10/521.12 c 512s|570000 |570001 | 1446k| 2.5 | 583M| 145 | 11 |1800 |1700 |1800 | 272 | 446k| 0 |3785 | 0.000000e+00 | 4.209250e+05 | Inf
530.01/530.03 c 520s|580000 |580001 | 1469k| 2.5 | 593M| 145 | 0 |1800 |1700 |1800 | 296 | 453k| 0 |3810 | 0.000000e+00 | 4.209250e+05 | Inf
538.91/538.92 c 529s|590000 |590001 | 1488k| 2.5 | 603M| 145 | 0 |1800 |1700 |1800 | 276 | 460k| 0 |3832 | 0.000000e+00 | 4.209250e+05 | Inf
547.81/547.82 c 538s|600000 |600001 | 1508k| 2.5 | 613M| 145 | 0 |1800 |1700 |1800 | 326 | 466k| 0 |3856 | 0.000000e+00 | 4.209250e+05 | Inf
556.62/556.69 c 547s|610000 |610001 | 1527k| 2.5 | 623M| 145 | 0 |1800 |1700 |1800 | 294 | 472k| 0 |3879 | 0.000000e+00 | 4.209250e+05 | Inf
565.61/565.66 c 555s|620000 |620001 | 1547k| 2.5 | 633M| 145 | 0 |1800 |1700 |1800 | 295 | 478k| 0 |3914 | 0.000000e+00 | 4.209250e+05 | Inf
574.50/574.55 c 564s|630000 |630001 | 1567k| 2.5 | 643M| 145 | 11 |1800 |1700 |1800 | 269 | 484k| 0 |3944 | 0.000000e+00 | 4.209250e+05 | Inf
583.41/583.41 c 573s|640000 |640001 | 1585k| 2.5 | 653M| 145 | 0 |1800 |1700 |1800 | 322 | 490k| 0 |3969 | 0.000000e+00 | 4.209250e+05 | Inf
592.41/592.48 c 582s|650000 |650001 | 1611k| 2.5 | 664M| 145 | 7 |1800 |1700 |1800 | 287 | 498k| 0 |4003 | 0.000000e+00 | 4.209250e+05 | Inf
600.91/600.99 c 590s|660000 |660001 | 1623k| 2.5 | 673M| 145 | 0 |1800 |1700 |1800 | 259 | 502k| 0 |4017 | 0.000000e+00 | 4.209250e+05 | Inf
609.80/609.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.80/609.82 c 599s|670000 |670001 | 1640k| 2.4 | 683M| 145 | 0 |1800 |1700 |1800 | 309 | 508k| 0 |4031 | 0.000000e+00 | 4.209250e+05 | Inf
618.71/618.75 c 608s|680000 |680001 | 1660k| 2.4 | 693M| 145 | 0 |1800 |1700 |1800 | 265 | 514k| 0 |4050 | 0.000000e+00 | 4.209250e+05 | Inf
627.61/627.64 c 616s|690000 |690001 | 1682k| 2.4 | 704M| 145 | 0 |1800 |1700 |1800 | 285 | 521k| 0 |4069 | 0.000000e+00 | 4.209250e+05 | Inf
636.01/636.07 c 625s|700000 |700001 | 1693k| 2.4 | 714M| 145 | 0 |1800 |1700 |1800 | 314 | 524k| 0 |4086 | 0.000000e+00 | 4.209250e+05 | Inf
644.71/644.71 c 633s|710000 |710001 | 1709k| 2.4 | 724M| 145 | 0 |1800 |1700 |1800 | 287 | 529k| 0 |4104 | 0.000000e+00 | 4.209250e+05 | Inf
653.61/653.66 c 642s|720000 |720001 | 1735k| 2.4 | 734M| 145 | 0 |1800 |1700 |1800 | 279 | 537k| 0 |4122 | 0.000000e+00 | 4.209250e+05 | Inf
662.51/662.50 c 651s|730000 |730001 | 1757k| 2.4 | 744M| 145 | 9 |1800 |1700 |1800 | 254 | 544k| 0 |4156 | 0.000000e+00 | 4.209250e+05 | Inf
671.51/671.55 c 660s|740000 |740001 | 1782k| 2.4 | 754M| 145 | 0 |1800 |1700 |1800 | 281 | 552k| 0 |4193 | 0.000000e+00 | 4.209250e+05 | Inf
680.41/680.41 c 668s|750000 |750001 | 1804k| 2.4 | 764M| 145 | 0 |1800 |1700 |1800 | 298 | 559k| 0 |4213 | 0.000000e+00 | 4.209250e+05 | Inf
689.31/689.34 c 677s|760000 |760001 | 1828k| 2.4 | 774M| 145 | 0 |1800 |1700 |1800 | 291 | 566k| 0 |4237 | 0.000000e+00 | 4.209250e+05 | Inf
698.21/698.21 c 686s|770000 |770001 | 1849k| 2.4 | 784M| 145 | 6 |1800 |1700 |1800 | 261 | 573k| 0 |4254 | 0.000000e+00 | 4.209250e+05 | Inf
707.11/707.17 c 694s|780000 |780001 | 1872k| 2.4 | 794M| 145 | 0 |1800 |1700 |1800 | 282 | 580k| 0 |4281 | 0.000000e+00 | 4.209250e+05 | Inf
716.12/716.17 c 703s|790000 |790001 | 1897k| 2.4 | 804M| 145 | 0 |1800 |1700 |1800 | 264 | 588k| 0 |4296 | 0.000000e+00 | 4.209250e+05 | Inf
724.91/724.92 c 712s|800000 |800001 | 1914k| 2.4 | 814M| 145 | 19 |1800 |1700 |1800 | 245 | 594k| 0 |4314 | 0.000000e+00 | 4.209250e+05 | Inf
734.11/734.14 c 721s|810000 |810001 | 1941k| 2.4 | 824M| 145 | 0 |1800 |1700 |1800 | 285 | 602k| 0 |4342 | 0.000000e+00 | 4.209250e+05 | Inf
743.11/743.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.11/743.16 c 730s|820000 |820001 | 1963k| 2.4 | 834M| 145 | 0 |1800 |1700 |1800 | 284 | 609k| 0 |4372 | 0.000000e+00 | 4.209250e+05 | Inf
752.32/752.30 c 739s|830000 |830001 | 1991k| 2.4 | 844M| 145 | 0 |1800 |1700 |1800 | 287 | 618k| 0 |4391 | 0.000000e+00 | 4.209250e+05 | Inf
761.41/761.46 c 748s|840000 |840001 | 2018k| 2.4 | 854M| 145 | 0 |1800 |1700 |1800 | 295 | 626k| 0 |4425 | 0.000000e+00 | 4.209250e+05 | Inf
770.11/770.13 c 756s|850000 |850001 | 2034k| 2.4 | 864M| 145 | 0 |1800 |1700 |1800 | 242 | 631k| 0 |4435 | 0.000000e+00 | 4.209250e+05 | Inf
779.21/779.23 c 765s|860000 |860001 | 2059k| 2.4 | 874M| 145 | 0 |1800 |1700 |1800 | 274 | 638k| 0 |4460 | 0.000000e+00 | 4.209250e+05 | Inf
788.32/788.33 c 774s|870000 |870001 | 2083k| 2.4 | 884M| 145 | 0 |1800 |1700 |1800 | 294 | 645k| 0 |4478 | 0.000000e+00 | 4.209250e+05 | Inf
796.91/796.98 c 783s|880000 |880001 | 2100k| 2.4 | 894M| 145 | 0 |1800 |1700 |1800 | 282 | 650k| 0 |4495 | 0.000000e+00 | 4.209250e+05 | Inf
805.81/805.88 c 792s|890000 |890001 | 2118k| 2.4 | 904M| 145 | 0 |1800 |1700 |1800 | 297 | 656k| 0 |4516 | 0.000000e+00 | 4.209250e+05 | Inf
814.61/814.68 c 800s|900000 |900001 | 2134k| 2.4 | 915M| 145 | 12 |1800 |1700 |1800 | 265 | 660k| 0 |4527 | 0.000000e+00 | 4.209250e+05 | Inf
823.61/823.66 c 809s|910000 |910001 | 2155k| 2.4 | 925M| 145 | 0 |1800 |1700 |1800 | 262 | 667k| 0 |4554 | 0.000000e+00 | 4.209250e+05 | Inf
832.72/832.78 c 818s|920000 |920001 | 2180k| 2.4 | 935M| 145 | 0 |1800 |1700 |1800 | 269 | 674k| 0 |4585 | 0.000000e+00 | 4.209250e+05 | Inf
841.72/841.76 c 827s|930000 |930001 | 2201k| 2.4 | 945M| 145 | 0 |1800 |1700 |1800 | 281 | 681k| 0 |4604 | 0.000000e+00 | 4.209250e+05 | Inf
850.41/850.45 c 835s|940000 |940001 | 2217k| 2.4 | 955M| 195 | 0 |1800 |1700 |1800 | 275 | 686k| 0 |4621 | 0.000000e+00 | 4.209250e+05 | Inf
858.81/858.84 c 844s|950000 |950001 | 2232k| 2.3 | 965M| 195 | 0 |1800 |1700 |1800 | 280 | 691k| 0 |4630 | 0.000000e+00 | 4.209250e+05 | Inf
867.11/867.10 c 852s|960000 |960001 | 2242k| 2.3 | 975M| 195 | 0 |1800 |1700 |1800 | 309 | 694k| 0 |4638 | 0.000000e+00 | 4.209250e+05 | Inf
875.22/875.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.22/875.27 c 860s|970000 |970001 | 2251k| 2.3 | 985M| 195 | 0 |1800 |1700 |1800 | 287 | 697k| 0 |4647 | 0.000000e+00 | 4.209250e+05 | Inf
883.62/883.64 c 868s|980000 |980001 | 2265k| 2.3 | 995M| 195 | 0 |1800 |1700 |1800 | 285 | 701k| 0 |4654 | 0.000000e+00 | 4.209250e+05 | Inf
892.02/892.05 c 876s|990000 |990001 | 2278k| 2.3 |1005M| 195 | 0 |1800 |1700 |1800 | 302 | 705k| 0 |4670 | 0.000000e+00 | 4.209250e+05 | Inf
900.41/900.44 c 884s| 1000k|999999 | 2293k| 2.3 |1015M| 195 | 0 |1800 |1701 |1800 | 280 | 710k| 1 |4684 | 0.000000e+00 | 4.209250e+05 | Inf
908.91/908.93 c 893s| 1010k| 1009k| 2310k| 2.3 |1025M| 195 | 0 |1800 |1701 |1800 | 259 | 715k| 1 |4695 | 0.000000e+00 | 4.209250e+05 | Inf
917.51/917.57 c 901s| 1020k| 1019k| 2330k| 2.3 |1035M| 195 | 0 |1800 |1701 |1800 | 319 | 721k| 1 |4710 | 0.000000e+00 | 4.209250e+05 | Inf
925.92/925.94 c 909s| 1030k| 1029k| 2342k| 2.3 |1045M| 195 | 0 |1800 |1701 |1800 | 298 | 725k| 1 |4716 | 0.000000e+00 | 4.209250e+05 | Inf
934.32/934.35 c 918s| 1040k| 1039k| 2359k| 2.3 |1055M| 195 | 0 |1800 |1701 |1800 | 266 | 730k| 1 |4730 | 0.000000e+00 | 4.209250e+05 | Inf
942.72/942.79 c 926s| 1050k| 1049k| 2374k| 2.3 |1065M| 195 | 0 |1800 |1701 |1800 | 327 | 735k| 1 |4744 | 0.000000e+00 | 4.209250e+05 | Inf
951.32/951.33 c 934s| 1060k| 1059k| 2390k| 2.3 |1075M| 195 | 0 |1800 |1701 |1800 | 290 | 740k| 1 |4757 | 0.000000e+00 | 4.209250e+05 | Inf
959.71/959.78 c 943s| 1070k| 1069k| 2404k| 2.2 |1085M| 195 | 18 |1800 |1701 |1800 | 300 | 744k| 1 |4770 | 0.000000e+00 | 4.209250e+05 | Inf
968.22/968.23 c 951s| 1080k| 1079k| 2419k| 2.2 |1095M| 195 | 0 |1800 |1701 |1800 | 278 | 749k| 1 |4774 | 0.000000e+00 | 4.209250e+05 | Inf
976.83/976.81 c 959s| 1090k| 1089k| 2437k| 2.2 |1105M| 195 | 0 |1800 |1701 |1800 | 301 | 755k| 1 |4786 | 0.000000e+00 | 4.209250e+05 | Inf
985.42/985.42 c 968s| 1100k| 1099k| 2455k| 2.2 |1115M| 195 | 0 |1800 |1701 |1800 | 321 | 761k| 1 |4798 | 0.000000e+00 | 4.209250e+05 | Inf
993.91/993.98 c 976s| 1110k| 1109k| 2470k| 2.2 |1125M| 195 | 0 |1800 |1701 |1800 | 293 | 765k| 1 |4811 | 0.000000e+00 | 4.209250e+05 | Inf
1002.32/1002.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.32/1002.38 c 985s| 1120k| 1119k| 2484k| 2.2 |1135M| 195 | 0 |1800 |1701 |1800 | 266 | 770k| 1 |4824 | 0.000000e+00 | 4.209250e+05 | Inf
1010.83/1010.87 c 993s| 1130k| 1129k| 2500k| 2.2 |1145M| 195 | 10 |1800 |1701 |1800 | 240 | 775k| 1 |4853 | 0.000000e+00 | 4.209250e+05 | Inf
1019.32/1019.34 c 1001s| 1140k| 1139k| 2514k| 2.2 |1155M| 195 | 0 |1800 |1701 |1800 | 307 | 779k| 1 |4854 | 0.000000e+00 | 4.209250e+05 | Inf
1027.62/1027.69 c 1009s| 1150k| 1149k| 2527k| 2.2 |1165M| 195 | 8 |1800 |1701 |1800 | 258 | 783k| 1 |4868 | 0.000000e+00 | 4.209250e+05 | Inf
1036.02/1036.07 c 1018s| 1160k| 1159k| 2541k| 2.2 |1175M| 195 | 2 |1800 |1701 |1800 | 311 | 787k| 1 |4884 | 0.000000e+00 | 4.209250e+05 | Inf
1044.31/1044.38 c 1026s| 1170k| 1169k| 2554k| 2.2 |1185M| 195 | 0 |1800 |1701 |1800 | 282 | 791k| 1 |4891 | 0.000000e+00 | 4.209250e+05 | Inf
1052.72/1052.75 c 1034s| 1180k| 1179k| 2567k| 2.2 |1194M| 195 | 0 |1800 |1701 |1800 | 255 | 795k| 1 |4899 | 0.000000e+00 | 4.209250e+05 | Inf
1061.12/1061.11 c 1042s| 1190k| 1189k| 2581k| 2.2 |1204M| 195 | 0 |1800 |1701 |1800 | 291 | 799k| 1 |4926 | 0.000000e+00 | 4.209250e+05 | Inf
1069.42/1069.48 c 1051s| 1200k| 1199k| 2596k| 2.2 |1214M| 195 | 0 |1800 |1701 |1800 | 301 | 804k| 1 |4926 | 0.000000e+00 | 4.209250e+05 | Inf
1078.02/1078.06 c 1059s| 1210k| 1209k| 2615k| 2.2 |1224M| 195 | 0 |1800 |1701 |1800 | 251 | 810k| 1 |4938 | 0.000000e+00 | 4.209250e+05 | Inf
1086.62/1086.63 c 1067s| 1220k| 1219k| 2633k| 2.2 |1234M| 195 | 10 |1800 |1701 |1800 | 232 | 816k| 1 |4951 | 0.000000e+00 | 4.209250e+05 | Inf
1095.12/1095.13 c 1076s| 1230k| 1229k| 2649k| 2.2 |1244M| 195 | 0 |1800 |1701 |1800 | 304 | 821k| 1 |4959 | 0.000000e+00 | 4.209250e+05 | Inf
1103.42/1103.47 c 1084s| 1240k| 1239k| 2662k| 2.1 |1254M| 195 | 0 |1800 |1701 |1800 | 290 | 824k| 1 |4964 | 0.000000e+00 | 4.209250e+05 | Inf
1111.92/1111.93 c 1092s| 1250k| 1249k| 2675k| 2.1 |1264M| 195 | 0 |1800 |1701 |1800 | 259 | 829k| 1 |4978 | 0.000000e+00 | 4.209250e+05 | Inf
1120.22/1120.26 c 1100s| 1260k| 1259k| 2685k| 2.1 |1274M| 195 | 0 |1800 |1701 |1800 | 300 | 831k| 1 |4978 | 0.000000e+00 | 4.209250e+05 | Inf
1128.62/1128.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.62/1128.68 c 1109s| 1270k| 1269k| 2696k| 2.1 |1284M| 195 | 0 |1800 |1701 |1800 | 297 | 835k| 1 |4990 | 0.000000e+00 | 4.209250e+05 | Inf
1136.92/1136.97 c 1117s| 1280k| 1279k| 2706k| 2.1 |1294M| 195 | 0 |1800 |1701 |1800 | 294 | 837k| 1 |4997 | 0.000000e+00 | 4.209250e+05 | Inf
1145.32/1145.33 c 1125s| 1290k| 1289k| 2720k| 2.1 |1304M| 195 | 0 |1800 |1701 |1800 | 312 | 841k| 1 |5004 | 0.000000e+00 | 4.209250e+05 | Inf
1153.72/1153.73 c 1133s| 1300k| 1299k| 2733k| 2.1 |1314M| 195 | 0 |1800 |1701 |1800 | 254 | 845k| 1 |5021 | 0.000000e+00 | 4.209250e+05 | Inf
1161.82/1161.87 c 1141s| 1310k| 1309k| 2743k| 2.1 |1324M| 195 | 0 |1800 |1701 |1800 | 244 | 848k| 1 |5021 | 0.000000e+00 | 4.209250e+05 | Inf
1170.22/1170.24 c 1150s| 1320k| 1319k| 2755k| 2.1 |1334M| 195 | 0 |1800 |1701 |1800 | 296 | 852k| 1 |5039 | 0.000000e+00 | 4.209250e+05 | Inf
1178.72/1178.75 c 1158s| 1330k| 1329k| 2772k| 2.1 |1344M| 195 | 0 |1800 |1701 |1800 | 276 | 858k| 1 |5051 | 0.000000e+00 | 4.209250e+05 | Inf
1187.12/1187.13 c 1166s| 1340k| 1339k| 2787k| 2.1 |1354M| 195 | 0 |1800 |1701 |1800 | 303 | 863k| 1 |5072 | 0.000000e+00 | 4.209250e+05 | Inf
1195.42/1195.45 c 1174s| 1350k| 1349k| 2800k| 2.1 |1364M| 195 | 0 |1800 |1701 |1800 | 269 | 867k| 1 |5076 | 0.000000e+00 | 4.209250e+05 | Inf
1203.83/1203.85 c 1183s| 1360k| 1359k| 2813k| 2.1 |1374M| 195 | 8 |1800 |1701 |1800 | 268 | 871k| 1 |5092 | 0.000000e+00 | 4.209250e+05 | Inf
1212.23/1212.20 c 1191s| 1370k| 1369k| 2826k| 2.1 |1384M| 195 | 0 |1800 |1701 |1800 | 261 | 875k| 1 |5100 | 0.000000e+00 | 4.209250e+05 | Inf
1220.43/1220.47 c 1199s| 1380k| 1379k| 2836k| 2.1 |1394M| 195 | 0 |1800 |1701 |1800 | 286 | 878k| 1 |5106 | 0.000000e+00 | 4.209250e+05 | Inf
1228.92/1228.92 c 1207s| 1390k| 1389k| 2850k| 2.1 |1404M| 195 | 0 |1800 |1701 |1800 | 286 | 883k| 1 |5120 | 0.000000e+00 | 4.209250e+05 | Inf
1237.23/1237.21 c 1215s| 1400k| 1399k| 2862k| 2.0 |1414M| 195 | 0 |1800 |1701 |1800 | 278 | 886k| 1 |5120 | 0.000000e+00 | 4.209250e+05 | Inf
1245.42/1245.46 c 1223s| 1410k| 1409k| 2874k| 2.0 |1424M| 195 | 0 |1800 |1701 |1800 | 291 | 890k| 1 |5135 | 0.000000e+00 | 4.209250e+05 | Inf
1253.83/1253.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.83/1253.90 c 1232s| 1420k| 1419k| 2888k| 2.0 |1434M| 195 | 0 |1800 |1701 |1800 | 275 | 894k| 1 |5147 | 0.000000e+00 | 4.209250e+05 | Inf
1262.32/1262.34 c 1240s| 1430k| 1429k| 2902k| 2.0 |1444M| 195 | 0 |1800 |1701 |1800 | 303 | 899k| 1 |5151 | 0.000000e+00 | 4.209250e+05 | Inf
1270.63/1270.69 c 1248s| 1440k| 1439k| 2916k| 2.0 |1454M| 195 | 15 |1800 |1701 |1800 | 259 | 903k| 1 |5164 | 0.000000e+00 | 4.209250e+05 | Inf
1279.12/1279.17 c 1257s| 1450k| 1449k| 2930k| 2.0 |1464M| 195 | 0 |1800 |1701 |1800 | 282 | 907k| 1 |5174 | 0.000000e+00 | 4.209250e+05 | Inf
1287.53/1287.57 c 1265s| 1460k| 1459k| 2944k| 2.0 |1474M| 195 | 0 |1800 |1701 |1800 | 303 | 912k| 1 |5185 | 0.000000e+00 | 4.209250e+05 | Inf
1295.92/1295.95 c 1273s| 1470k| 1469k| 2957k| 2.0 |1484M| 195 | 0 |1800 |1701 |1800 | 314 | 916k| 1 |5206 | 0.000000e+00 | 4.209250e+05 | Inf
1304.23/1304.27 c 1281s| 1480k| 1479k| 2970k| 2.0 |1494M| 195 | 0 |1800 |1703 |1800 | 279 | 920k| 3 |5215 | 0.000000e+00 | 4.209250e+05 | Inf
1312.62/1312.63 c 1290s| 1490k| 1489k| 2984k| 2.0 |1504M| 195 | 0 |1800 |1703 |1800 | 315 | 925k| 3 |5220 | 0.000000e+00 | 4.209250e+05 | Inf
1320.72/1320.78 c 1298s| 1500k| 1499k| 2993k| 2.0 |1513M| 195 | 0 |1800 |1703 |1800 | 276 | 927k| 3 |5230 | 0.000000e+00 | 4.209250e+05 | Inf
1329.02/1329.09 c 1306s| 1510k| 1509k| 3005k| 2.0 |1523M| 195 | 0 |1800 |1703 |1800 | 304 | 931k| 3 |5231 | 0.000000e+00 | 4.209250e+05 | Inf
1337.43/1337.43 c 1314s| 1520k| 1519k| 3020k| 2.0 |1533M| 195 | 0 |1800 |1703 |1800 | 278 | 935k| 3 |5242 | 0.000000e+00 | 4.209250e+05 | Inf
1345.83/1345.80 c 1322s| 1530k| 1529k| 3033k| 2.0 |1543M| 195 | 0 |1800 |1703 |1800 | 297 | 940k| 3 |5252 | 0.000000e+00 | 4.209250e+05 | Inf
1354.23/1354.29 c 1330s| 1540k| 1539k| 3050k| 2.0 |1553M| 195 | 0 |1800 |1703 |1800 | 302 | 945k| 3 |5259 | 0.000000e+00 | 4.209250e+05 | Inf
1362.73/1362.73 c 1339s| 1550k| 1549k| 3064k| 2.0 |1563M| 195 | 0 |1800 |1703 |1800 | 304 | 949k| 3 |5268 | 0.000000e+00 | 4.209250e+05 | Inf
1371.03/1371.03 c 1347s| 1560k| 1559k| 3077k| 2.0 |1573M| 195 | 0 |1800 |1703 |1800 | 260 | 953k| 3 |5277 | 0.000000e+00 | 4.209250e+05 | Inf
1379.44/1379.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.44/1379.43 c 1355s| 1570k| 1569k| 3092k| 2.0 |1583M| 195 | 0 |1800 |1703 |1800 | 275 | 958k| 3 |5288 | 0.000000e+00 | 4.209250e+05 | Inf
1387.73/1387.72 c 1363s| 1580k| 1579k| 3104k| 2.0 |1593M| 195 | 0 |1800 |1703 |1800 | 311 | 961k| 3 |5290 | 0.000000e+00 | 4.209250e+05 | Inf
1396.33/1396.33 c 1372s| 1590k| 1589k| 3121k| 2.0 |1603M| 195 | 0 |1800 |1703 |1800 | 293 | 967k| 3 |5301 | 0.000000e+00 | 4.209250e+05 | Inf
1404.83/1404.82 c 1380s| 1600k| 1599k| 3138k| 2.0 |1613M| 195 | 0 |1800 |1703 |1800 | 277 | 972k| 3 |5316 | 0.000000e+00 | 4.209250e+05 | Inf
1413.13/1413.11 c 1388s| 1610k| 1609k| 3150k| 2.0 |1623M| 195 | 0 |1800 |1703 |1800 | 253 | 975k| 3 |5316 | 0.000000e+00 | 4.209250e+05 | Inf
1421.43/1421.40 c 1396s| 1620k| 1619k| 3160k| 2.0 |1633M| 195 | 0 |1800 |1703 |1800 | 281 | 979k| 3 |5329 | 0.000000e+00 | 4.209250e+05 | Inf
1429.73/1429.79 c 1405s| 1630k| 1629k| 3173k| 1.9 |1643M| 195 | 13 |1800 |1703 |1800 | 277 | 983k| 3 |5334 | 0.000000e+00 | 4.209250e+05 | Inf
1437.73/1437.73 c 1412s| 1640k| 1639k| 3181k| 1.9 |1653M| 195 | 0 |1800 |1703 |1800 | 268 | 985k| 3 |5342 | 0.000000e+00 | 4.209250e+05 | Inf
1445.73/1445.78 c 1420s| 1650k| 1649k| 3190k| 1.9 |1663M| 195 | 0 |1800 |1703 |1800 | 258 | 988k| 3 |5343 | 0.000000e+00 | 4.209250e+05 | Inf
1453.93/1454.00 c 1428s| 1660k| 1659k| 3201k| 1.9 |1673M| 195 | 0 |1800 |1703 |1800 | 308 | 992k| 3 |5354 | 0.000000e+00 | 4.209250e+05 | Inf
1462.43/1462.41 c 1437s| 1670k| 1669k| 3216k| 1.9 |1683M| 195 | 0 |1800 |1703 |1800 | 320 | 996k| 3 |5356 | 0.000000e+00 | 4.209250e+05 | Inf
1470.73/1470.79 c 1445s| 1680k| 1679k| 3230k| 1.9 |1693M| 195 | 0 |1800 |1703 |1800 | 253 |1000k| 3 |5367 | 0.000000e+00 | 4.209250e+05 | Inf
1479.03/1479.04 c 1453s| 1690k| 1689k| 3241k| 1.9 |1703M| 195 | 0 |1800 |1703 |1800 | 278 |1004k| 3 |5372 | 0.000000e+00 | 4.209250e+05 | Inf
1487.43/1487.43 c 1461s| 1700k| 1699k| 3255k| 1.9 |1713M| 195 | 0 |1800 |1703 |1800 | 272 |1008k| 3 |5374 | 0.000000e+00 | 4.209250e+05 | Inf
1495.73/1495.78 c 1469s| 1710k| 1709k| 3268k| 1.9 |1723M| 195 | 0 |1800 |1703 |1800 | 289 |1012k| 3 |5383 | 0.000000e+00 | 4.209250e+05 | Inf
1504.33/1504.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.33/1504.32 c 1478s| 1720k| 1719k| 3285k| 1.9 |1733M| 195 | 0 |1800 |1703 |1800 | 289 |1017k| 3 |5394 | 0.000000e+00 | 4.209250e+05 | Inf
1512.73/1512.72 c 1486s| 1730k| 1729k| 3299k| 1.9 |1743M| 195 | 0 |1800 |1703 |1800 | 276 |1021k| 3 |5403 | 0.000000e+00 | 4.209250e+05 | Inf
1521.13/1521.14 c 1494s| 1740k| 1739k| 3316k| 1.9 |1753M| 195 | 0 |1800 |1703 |1800 | 284 |1028k| 3 |5409 | 0.000000e+00 | 4.209250e+05 | Inf
1529.33/1529.35 c 1502s| 1750k| 1749k| 3327k| 1.9 |1763M| 195 | 0 |1800 |1703 |1800 | 258 |1031k| 3 |5422 | 0.000000e+00 | 4.209250e+05 | Inf
1537.74/1537.71 c 1511s| 1760k| 1759k| 3340k| 1.9 |1773M| 195 | 0 |1800 |1703 |1800 | 290 |1035k| 3 |5433 | 0.000000e+00 | 4.209250e+05 | Inf
1546.34/1546.33 c 1519s| 1770k| 1769k| 3357k| 1.9 |1783M| 195 | 2 |1800 |1703 |1800 | 237 |1040k| 3 |5446 | 0.000000e+00 | 4.209250e+05 | Inf
1554.83/1554.80 c 1527s| 1780k| 1779k| 3373k| 1.9 |1793M| 195 | 0 |1800 |1703 |1800 | 302 |1045k| 3 |5458 | 0.000000e+00 | 4.209250e+05 | Inf
1563.14/1563.10 c 1536s| 1790k| 1789k| 3384k| 1.9 |1803M| 195 | 0 |1800 |1703 |1800 | 274 |1049k| 3 |5463 | 0.000000e+00 | 4.209250e+05 | Inf
1571.53/1571.51 c 1544s| 1800k| 1799k| 3398k| 1.9 |1813M| 195 | 0 |1800 |1703 |1800 | 275 |1053k| 3 |5470 | 0.000000e+00 | 4.209250e+05 | Inf
1579.94/1579.93 c 1552s| 1810k| 1809k| 3414k| 1.9 |1823M| 195 | 0 |1800 |1703 |1800 | 261 |1058k| 3 |5489 | 0.000000e+00 | 4.209250e+05 | Inf
1588.23/1588.24 c 1560s| 1820k| 1819k| 3426k| 1.9 |1833M| 195 | 6 |1800 |1703 |1800 | 291 |1061k| 3 |5489 | 0.000000e+00 | 4.209250e+05 | Inf
1596.34/1596.38 c 1568s| 1830k| 1829k| 3434k| 1.9 |1842M| 195 | 0 |1800 |1703 |1800 | 269 |1064k| 3 |5499 | 0.000000e+00 | 4.209250e+05 | Inf
1604.44/1604.44 c 1576s| 1840k| 1839k| 3441k| 1.9 |1852M| 195 | 0 |1800 |1703 |1800 | 277 |1066k| 3 |5500 | 0.000000e+00 | 4.209250e+05 | Inf
1612.54/1612.56 c 1584s| 1850k| 1849k| 3449k| 1.9 |1862M| 195 | 0 |1800 |1703 |1800 | 285 |1068k| 3 |5505 | 0.000000e+00 | 4.209250e+05 | Inf
1621.03/1621.02 c 1592s| 1860k| 1859k| 3464k| 1.9 |1872M| 195 | 8 |1800 |1703 |1800 | 241 |1073k| 3 |5506 | 0.000000e+00 | 4.209250e+05 | Inf
1629.34/1629.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.34/1629.40 c 1601s| 1870k| 1869k| 3478k| 1.9 |1882M| 195 | 0 |1800 |1703 |1800 | 280 |1077k| 3 |5522 | 0.000000e+00 | 4.209250e+05 | Inf
1637.73/1637.74 c 1609s| 1880k| 1879k| 3491k| 1.9 |1892M| 195 | 0 |1800 |1703 |1800 | 297 |1080k| 3 |5531 | 0.000000e+00 | 4.209250e+05 | Inf
1645.94/1645.97 c 1617s| 1890k| 1889k| 3502k| 1.9 |1902M| 195 | 0 |1800 |1703 |1800 | 279 |1084k| 3 |5535 | 0.000000e+00 | 4.209250e+05 | Inf
1654.34/1654.37 c 1625s| 1900k| 1899k| 3515k| 1.9 |1912M| 195 | 4 |1800 |1703 |1800 | 274 |1088k| 3 |5545 | 0.000000e+00 | 4.209250e+05 | Inf
1662.83/1662.82 c 1634s| 1910k| 1909k| 3528k| 1.8 |1922M| 195 | 0 |1800 |1703 |1800 | 291 |1092k| 3 |5552 | 0.000000e+00 | 4.209250e+05 | Inf
1671.23/1671.22 c 1642s| 1920k| 1919k| 3543k| 1.8 |1932M| 195 | 7 |1800 |1703 |1800 | 201 |1096k| 3 |5560 | 0.000000e+00 | 4.209250e+05 | Inf
1679.54/1679.59 c 1650s| 1930k| 1929k| 3557k| 1.8 |1942M| 195 | 9 |1800 |1703 |1800 | 255 |1101k| 3 |5570 | 0.000000e+00 | 4.209250e+05 | Inf
1688.04/1688.09 c 1658s| 1940k| 1939k| 3574k| 1.8 |1952M| 195 | 0 |1800 |1703 |1800 | 292 |1105k| 3 |5577 | 0.000000e+00 | 4.209250e+05 | Inf
1696.43/1696.45 c 1667s| 1950k| 1949k| 3586k| 1.8 |1962M| 195 | 0 |1800 |1703 |1800 | 298 |1109k| 3 |5583 | 0.000000e+00 | 4.209250e+05 | Inf
1704.74/1704.78 c 1675s| 1960k| 1959k| 3599k| 1.8 |1972M| 195 | 0 |1800 |1703 |1800 | 278 |1113k| 3 |5595 | 0.000000e+00 | 4.209250e+05 | Inf
1713.14/1713.13 c 1683s| 1970k| 1969k| 3612k| 1.8 |1982M| 195 | 0 |1800 |1703 |1800 | 260 |1117k| 3 |5601 | 0.000000e+00 | 4.209250e+05 | Inf
1721.54/1721.55 c 1691s| 1980k| 1979k| 3627k| 1.8 |1992M| 195 | 0 |1800 |1703 |1800 | 264 |1122k| 3 |5621 | 0.000000e+00 | 4.209250e+05 | Inf
1729.94/1729.99 c 1700s| 1990k| 1989k| 3642k| 1.8 |2002M| 195 | 0 |1800 |1703 |1800 | 309 |1126k| 3 |5631 | 0.000000e+00 | 4.209250e+05 | Inf
1738.44/1738.47 c 1708s| 2000k| 1999k| 3659k| 1.8 |2012M| 195 | 0 |1800 |1703 |1800 | 291 |1131k| 3 |5637 | 0.000000e+00 | 4.209250e+05 | Inf
1746.85/1746.84 c 1716s| 2010k| 2009k| 3672k| 1.8 |2022M| 199 | 0 |1800 |1703 |1800 | 303 |1135k| 3 |5650 | 0.000000e+00 | 4.209250e+05 | Inf
1755.24/1755.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.24/1755.23 c 1724s| 2020k| 2019k| 3687k| 1.8 |2032M| 199 | 0 |1800 |1703 |1800 | 265 |1140k| 3 |5653 | 0.000000e+00 | 4.209250e+05 | Inf
1763.63/1763.65 c 1733s| 2030k| 2029k| 3699k| 1.8 |2042M| 199 | 7 |1800 |1703 |1800 | 289 |1144k| 3 |5664 | 0.000000e+00 | 4.209250e+05 | Inf
1771.94/1771.96 c 1741s| 2040k| 2039k| 3711k| 1.8 |2052M| 199 | 0 |1800 |1703 |1800 | 318 |1148k| 3 |5674 | 0.000000e+00 | 4.209250e+05 | Inf
1780.34/1780.32 c 1749s| 2050k| 2049k| 3723k| 1.8 |2062M| 199 | 0 |1800 |1703 |1800 | 277 |1151k| 3 |5676 | 0.000000e+00 | 4.209250e+05 | Inf
1788.44/1788.43 c 1757s| 2060k| 2059k| 3731k| 1.8 |2072M| 199 | 0 |1800 |1703 |1800 | 296 |1153k| 3 |5684 | 0.000000e+00 | 4.209250e+05 | Inf
1796.74/1796.74 c 1765s| 2070k| 2069k| 3743k| 1.8 |2082M| 199 | 0 |1800 |1703 |1800 | 296 |1157k| 3 |5686 | 0.000000e+00 | 4.209250e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1768.36
1800.05/1800.00 c Solving Nodes : 2073930
1800.05/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -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.05/1800.01 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 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1768.36
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700104-1278533976.wbo
1800.05/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700104-1278533976.wbo
1800.05/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1700 initial, 1703 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.02 0 100 0 850 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2336902 0 0 0 0 0 733438
1800.05/1800.01 c indicator : 850 0 2938769 1970183 0 0 2178632 0 0 0
1800.05/1800.01 c linear : 850 6 2938769 1970183 0 2 944310 1158835 0 0
1800.05/1800.01 c logicor : 0+ 0 19456 0 0 0 1849 0 0 0
1800.05/1800.01 c countsols : 0 0 0 1707209 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 9.12 0.00 0.00 9.12 0.00
1800.05/1800.01 c indicator : 154.75 0.04 33.13 121.58 0.00
1800.05/1800.01 c linear : 35.00 0.00 14.48 20.52 0.00
1800.05/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00
1800.05/1800.01 c countsols : 0.43 0.00 0.00 0.43 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.81 2 0 0
1800.05/1800.01 c rootredcost : 0.92 0 0 0
1800.05/1800.01 c pseudoobj : 52.90 2938569 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 2 2 2 8.0 1 4.0 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 3 6.7 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 4 - - 3 - (maximal pool size: 37)
1800.05/1800.01 c redcost : 93.40 2336483 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.02 5 0 0 45 0
1800.05/1800.01 c strongcg : 0.00 5 0 0 0 0
1800.05/1800.01 c cmir : 0.00 5 0 0 1 0
1800.05/1800.01 c flowcover : 0.03 5 0 0 2 0
1800.05/1800.01 c clique : 0.01 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 8.04 366719 0 0 0 0 733438
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 135.25 1707209 0 0 0 0 3414418
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.03 0 0
1800.05/1800.01 c oneopt : 1.56 1 0
1800.05/1800.01 c intshifting : 0.07 17 0
1800.05/1800.01 c crossover : 0.85 13 0
1800.05/1800.01 c coefdiving : 14.52 24408 0
1800.05/1800.01 c pscostdiving : 14.19 24408 0
1800.05/1800.01 c fracdiving : 14.92 24408 0
1800.05/1800.01 c veclendiving : 14.62 24408 0
1800.05/1800.01 c linesearchdiving : 14.20 24408 0
1800.05/1800.01 c guideddiving : 13.93 24408 0
1800.05/1800.01 c objpscostdiving : 15.68 24384 0
1800.05/1800.01 c rootsoldiving : 15.29 24384 0
1800.05/1800.01 c trivial : 0.01 2 1
1800.05/1800.01 c simplerounding : 1.13 366659 0
1800.05/1800.01 c zirounding : 0.59 1000 0
1800.05/1800.01 c rounding : 1.15 8502 0
1800.05/1800.01 c shifting : 1.70 2653 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.64 0 0
1800.05/1800.01 c trysol : 1.16 27622 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 709.15 774282 3747047 4.84 5283.86
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.19 314 1015 3.23 5342.11
1800.05/1800.01 c strong branching : 5.61 5690 57555 10.12 10259.36
1800.05/1800.01 c (at root node) : - 33 2882 87.33 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2073930
1800.05/1800.01 c nodes (total) : 2073930
1800.05/1800.01 c nodes left : 2073927
1800.05/1800.01 c max depth : 199
1800.05/1800.01 c max depth (total): 199
1800.05/1800.01 c backtracks : 24542 (1.2%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 2 (8 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.30
1800.05/1800.01 c switching time : 69.67
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 221
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700104-1278533976/watcher-2700104-1278533976 -o /tmp/evaluation-result-2700104-1278533976/solver-2700104-1278533976 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700104-1278533976.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.72 0.72 0.27 4/178 18412
/proc/meminfo: memFree=29305052/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=9284 CPUtime=0
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 1621 0 0 0 0 0 0 0 25 0 1 0 21612331 9506816 1541 4089446400 4194304 8223781 140737187730848 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18412/statm: 2321 1560 369 984 0 1334 0
[startup+0.078576 s]
/proc/loadavg: 1.72 0.72 0.27 4/178 18412
/proc/meminfo: memFree=29305052/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=22776 CPUtime=0.07
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 5983 0 0 0 6 1 0 0 18 0 1 0 21612331 23322624 4758 4089446400 4194304 8223781 140737187730848 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 5694 4758 540 984 0 4707 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22776
[startup+0.100572 s]
/proc/loadavg: 1.72 0.72 0.27 4/178 18412
/proc/meminfo: memFree=29305052/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=23156 CPUtime=0.09
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 6110 0 0 0 8 1 0 0 18 0 1 0 21612331 23711744 4884 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 5789 4884 563 984 0 4802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23156
[startup+0.300543 s]
/proc/loadavg: 1.72 0.72 0.27 4/178 18412
/proc/meminfo: memFree=29305052/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=27044 CPUtime=0.29
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 10192 0 0 0 28 1 0 0 18 0 1 0 21612331 27693056 5874 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 6761 5874 578 984 0 5774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27044
[startup+0.700463 s]
/proc/loadavg: 1.72 0.72 0.27 4/178 18412
/proc/meminfo: memFree=29305052/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=27044 CPUtime=0.69
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 10192 0 0 0 67 2 0 0 18 0 1 0 21612331 27693056 5874 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 6761 5874 578 984 0 5774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27044
[startup+1.50033 s]
/proc/loadavg: 1.72 0.72 0.27 3/179 18413
/proc/meminfo: memFree=29281872/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=27560 CPUtime=1.49
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 10319 0 0 0 146 3 0 0 19 0 1 0 21612331 28221440 6001 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 6890 6001 581 984 0 5903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27560
[startup+3.10103 s]
/proc/loadavg: 1.72 0.72 0.27 3/179 18413
/proc/meminfo: memFree=29280012/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=31508 CPUtime=3.09
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 17459 0 0 0 303 6 0 0 25 0 1 0 21612331 32264192 6896 4089446400 4194304 8223781 140737187730848 18446744073709551615 6482580 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 7877 6896 582 984 0 6890 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31508
[startup+6.30046 s]
/proc/loadavg: 1.74 0.75 0.28 3/179 18413
/proc/meminfo: memFree=29272108/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=34512 CPUtime=6.29
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 24460 0 0 0 616 13 0 0 25 0 1 0 21612331 35340288 7659 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 8628 7659 582 984 0 7641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34512
[startup+12.7003 s]
/proc/loadavg: 1.76 0.77 0.29 3/179 18413
/proc/meminfo: memFree=29259828/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=42404 CPUtime=12.69
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 29597 0 0 0 1242 27 0 0 25 0 1 0 21612331 43421696 9671 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 10601 9671 582 984 0 9614 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42404
[startup+25.501 s]
/proc/loadavg: 1.81 0.83 0.31 3/179 18413
/proc/meminfo: memFree=29234808/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=53808 CPUtime=25.49
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 35663 0 0 0 2497 52 0 0 25 0 1 0 21612331 55099392 12561 4089446400 4194304 8223781 140737187730848 18446744073709551615 6445449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 13452 12561 582 984 0 12465 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53808
[startup+51.1004 s]
/proc/loadavg: 1.88 0.92 0.36 3/179 18414
/proc/meminfo: memFree=29182076/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=82216 CPUtime=51.09
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 46036 0 0 0 5011 98 0 0 25 0 1 0 21612331 84189184 19767 4089446400 4194304 8223781 140737187730848 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 20554 19767 582 984 0 19567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82216
[startup+102.306 s]
/proc/loadavg: 1.94 1.08 0.44 3/179 18415
/proc/meminfo: memFree=29080724/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=138244 CPUtime=102.3
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 62885 0 0 0 10036 194 0 0 25 0 1 0 21612331 141561856 33486 4089446400 4194304 8223781 140737187730848 18446744073709551615 6440044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 34561 33486 582 984 0 33574 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 138244
[startup+162.3 s]
/proc/loadavg: 1.98 1.25 0.53 3/179 18417
/proc/meminfo: memFree=28963520/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=203320 CPUtime=162.3
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 82519 0 0 0 15927 303 0 0 25 0 1 0 21612331 208199680 50006 4089446400 4194304 8223781 140737187730848 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 50830 50006 582 984 0 49843 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 203320
[startup+222.3 s]
/proc/loadavg: 2.06 1.40 0.63 3/179 18418
/proc/meminfo: memFree=28839960/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=273568 CPUtime=222.3
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 102442 0 0 0 21818 412 0 0 25 0 1 0 21612331 280133632 66799 4089446400 4194304 8223781 140737187730848 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 68392 66799 582 984 0 67405 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 273568
[startup+282.301 s]
/proc/loadavg: 2.02 1.50 0.71 3/179 18420
/proc/meminfo: memFree=28722612/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=340972 CPUtime=282.3
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 119540 0 0 0 27711 519 0 0 25 0 1 0 21612331 349155328 83897 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 85243 83897 582 984 0 84256 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 340972
[startup+342.301 s]
/proc/loadavg: 2.06 1.61 0.79 3/179 18422
/proc/meminfo: memFree=28599928/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=406864 CPUtime=342.3
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 136285 0 0 0 33607 623 0 0 25 0 1 0 21612331 416628736 100642 4089446400 4194304 8223781 140737187730848 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 101716 100642 582 984 0 100729 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 406864
[startup+402.301 s]
/proc/loadavg: 2.02 1.68 0.87 3/179 18423
/proc/meminfo: memFree=28478496/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=474268 CPUtime=402.3
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 156514 0 0 0 39500 730 0 0 25 0 1 0 21612331 485650432 117759 4089446400 4194304 8223781 140737187730848 18446744073709551615 4567148 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 118567 117759 582 984 0 117580 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 474268
[startup+462.301 s]
/proc/loadavg: 2.01 1.73 0.93 3/179 18425
/proc/meminfo: memFree=28351360/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=551364 CPUtime=462.31
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 174015 0 0 0 45395 836 0 0 25 0 1 0 21612331 564596736 135259 4089446400 4194304 8223781 140737187730848 18446744073709551615 6436949 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 137841 135259 582 984 0 136854 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 551364
[startup+522.3 s]
/proc/loadavg: 2.00 1.78 1.00 3/179 18426
/proc/meminfo: memFree=28384684/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=617652 CPUtime=522.31
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 190829 0 0 0 51284 947 0 0 25 0 1 0 21612331 632475648 152073 4089446400 4194304 8223781 140737187730848 18446744073709551615 6446865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 154413 152073 582 984 0 153426 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 617652
[startup+582.301 s]
/proc/loadavg: 2.00 1.82 1.06 3/179 18428
/proc/meminfo: memFree=28315444/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=682804 CPUtime=582.31
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 207398 0 0 0 57180 1051 0 0 25 0 1 0 21612331 699191296 168642 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 170701 168642 582 984 0 169714 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 682804
[startup+642.301 s]
/proc/loadavg: 2.00 1.85 1.11 3/179 18430
/proc/meminfo: memFree=28245592/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=748436 CPUtime=642.32
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 224064 0 0 0 63075 1157 0 0 25 0 1 0 21612331 766398464 185308 4089446400 4194304 8223781 140737187730848 18446744073709551615 6456009 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 187109 185308 582 984 0 186122 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 748436
[startup+702.301 s]
################
# More data... #
################
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 331020 0 0 0 98454 1778 0 0 25 0 1 0 21612331 1201967104 289174 4089446400 4194304 8223781 140737187730848 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 293449 289174 586 984 0 292462 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1173796
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/179 18468
/proc/meminfo: memFree=28045908/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1242888 CPUtime=1062.32
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 348571 0 0 0 104349 1883 0 0 25 0 1 0 21612331 1272717312 306725 4089446400 4194304 8223781 140737187730848 18446744073709551615 4241166 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 310722 306725 586 984 0 309735 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1242888
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/179 18469
/proc/meminfo: memFree=27893100/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1315016 CPUtime=1122.32
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 366883 0 0 0 110241 1991 0 0 25 0 1 0 21612331 1346576384 325030 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 328754 325030 586 984 0 327767 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1315016
[startup+1182.3 s]
/proc/loadavg: 2.05 1.98 1.49 3/179 18471
/proc/meminfo: memFree=27738412/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1385720 CPUtime=1182.32
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 384837 0 0 0 116136 2096 0 0 25 0 1 0 21612331 1418977280 342984 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 346430 342984 586 984 0 345443 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1385720
[startup+1242.3 s]
/proc/loadavg: 2.02 1.98 1.52 3/179 18473
/proc/meminfo: memFree=27581124/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1455132 CPUtime=1242.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 402477 0 0 0 122037 2196 0 0 25 0 1 0 21612331 1490055168 360624 4089446400 4194304 8223781 140737187730848 18446744073709551615 6483522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 363783 360624 586 984 0 362796 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1455132
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.55 3/179 18474
/proc/meminfo: memFree=27440088/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1522092 CPUtime=1302.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 419495 0 0 0 127937 2296 0 0 25 0 1 0 21612331 1558622208 377642 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 380523 377642 586 984 0 379536 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1522092
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.57 3/179 18476
/proc/meminfo: memFree=27356708/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1593092 CPUtime=1362.32
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 437515 0 0 0 133831 2401 0 0 25 0 1 0 21612331 1631326208 395662 4089446400 4194304 8223781 140737187730848 18446744073709551615 7073940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 398273 395662 586 984 0 397286 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1593092
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.60 3/179 18477
/proc/meminfo: memFree=27258324/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1662676 CPUtime=1422.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 455203 0 0 0 139723 2510 0 0 25 0 1 0 21612331 1702580224 413350 4089446400 4194304 8223781 140737187730848 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 415669 413350 586 984 0 414682 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1662676
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.62 3/179 18479
/proc/meminfo: memFree=27159936/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1736196 CPUtime=1482.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 476992 0 0 0 145619 2614 0 0 25 0 1 0 21612331 1777864704 432022 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 434049 432022 586 984 0 433062 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1736196
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/179 18481
/proc/meminfo: memFree=27080784/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1804920 CPUtime=1542.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 494450 0 0 0 151517 2716 0 0 25 0 1 0 21612331 1848238080 449480 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 451230 449480 586 984 0 450243 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1804920
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/179 18482
/proc/meminfo: memFree=26989732/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1876864 CPUtime=1602.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 512705 0 0 0 157414 2819 0 0 25 0 1 0 21612331 1921908736 467735 4089446400 4194304 8223781 140737187730848 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 469216 467735 586 984 0 468229 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1876864
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.68 3/179 18484
/proc/meminfo: memFree=26882800/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=1946028 CPUtime=1662.33
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 530272 0 0 0 163307 2926 0 0 25 0 1 0 21612331 1992732672 485302 4089446400 4194304 8223781 140737187730848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 486507 485302 586 984 0 485520 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1946028
[startup+1722.3 s]
/proc/loadavg: 2.07 2.00 1.70 3/179 18485
/proc/meminfo: memFree=26751552/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=2017492 CPUtime=1722.34
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 548433 0 0 0 169203 3031 0 0 25 0 1 0 21612331 2065911808 503460 4089446400 4194304 8223781 140737187730848 18446744073709551615 6520517 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 504373 503460 586 984 0 503386 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2017492
[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 1.72 3/179 18487
/proc/meminfo: memFree=26606408/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=2120912 CPUtime=1782.34
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 566373 0 0 0 175094 3140 0 0 25 0 1 0 21612331 2171813888 521399 4089446400 4194304 8223781 140737187730848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 530228 521399 586 984 0 529241 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2120912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.00 1.72 3/179 18488
/proc/meminfo: memFree=26569928/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=2140416 CPUtime=1800.05
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 571333 0 0 0 176837 3168 0 0 25 0 1 0 21612331 2191785984 526359 4089446400 4194304 8223781 140737187730848 18446744073709551615 4651583 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18412/statm: 535104 526359 586 984 0 534117 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2140416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18412
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.00 1.72 3/180 18489
/proc/meminfo: memFree=26569176/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=2140416 CPUtime=1801.44
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 571335 0 0 0 176976 3168 0 0 25 0 1 0 21612331 2191785984 526361 4089446400 4194304 8223781 140737187730848 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18412/statm: 535104 526361 588 984 0 534117 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2140416
[startup+1801.81 s]
/proc/loadavg: 2.02 2.00 1.72 3/180 18489
/proc/meminfo: memFree=26568060/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=2140416 CPUtime=1801.85
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 571335 0 0 0 177017 3168 0 0 25 0 1 0 21612331 2191785984 526361 4089446400 4194304 8223781 140737187730848 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18412/statm: 535104 526361 588 984 0 534117 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2140416
[startup+1802 s]
/proc/loadavg: 2.02 2.00 1.72 3/180 18489
/proc/meminfo: memFree=26568060/32950928 swapFree=67111528/67111528
[pid=18412] ppid=18410 vsize=2132224 CPUtime=1802.04
/proc/18412/stat : 18412 (pbscip.linux.x8) R 18410 18412 17885 0 -1 4202496 571335 0 0 0 177036 3168 0 0 25 0 1 0 21612331 2183397376 524313 4089446400 4194304 8223781 140737187730848 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18412/statm: 533056 524313 588 984 0 532069 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2132224
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1770.37
CPU system time (s): 31.7602
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2140416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.37
system time used= 31.7602
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3023
runsolver used 2.92455 second user time and 6.91295 second system time
The end
Begin job on node112 at 2010-07-07 22:19:36
IDJOB=2700104
IDBENCH=79400
IDSOLVER=1204
FILE ID=node112/2700104-1278533976
PBS_JOBID= 11239254
Free space on /tmp= 73448 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh18_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700104-1278533976/watcher-2700104-1278533976 -o /tmp/evaluation-result-2700104-1278533976/solver-2700104-1278533976 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700104-1278533976.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6
RANDOM SEED=1935473279
node112.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.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
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.820
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.820
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.84
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.820
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.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
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.820
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29305580 kB
Buffers: 130712 kB
Cached: 3107432 kB
SwapCached: 0 kB
Active: 1441032 kB
Inactive: 2053688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29305580 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4760 kB
Writeback: 0 kB
AnonPages: 257008 kB
Mapped: 16864 kB
Slab: 86568 kB
PageTables: 5432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 399388 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= 73444 MiB
End job on node112 at 2010-07-07 22:49:38