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-2699948-1278533860.wbo>
0.01/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.01/0.01 c problem read
0.01/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.01/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.01/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.06 c presolving (3 rounds):
0.01/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.06 c 1100 implications, 0 cliques
0.01/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.01/0.06 c 900 constraints of type <indicator>
0.01/0.06 c 900 constraints of type <linear>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.04
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 1.2.1.2
0.01/0.06 c
0.01/0.06 c # frequency for displaying node information lines
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.06 c display/freq = 10000
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1799.99
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 3420
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify inequalities
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/linear/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify knapsacks
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/0.06 o 444854
0.01/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.06 c t 0.0s| 1 | 0 | 0 | - |6458k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 0 | - |6880k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.07 c 0.0s| 1 | 0 | 37 | - |6917k| 0 | 0 |1900 |1800 |1900 | 63 | 63 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.07 c 0.1s| 1 | 0 | 103 | - |6966k| 0 | 4 |1900 |1800 |1900 | 108 | 108 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.08 c 0.1s| 1 | 0 | 146 | - |7035k| 0 | 67 |1900 |1800 |1900 | 148 | 148 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.09 c 0.1s| 1 | 0 | 227 | - |7273k| 0 | 79 |1900 |1800 |1900 | 179 | 179 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.08/0.11 c 0.1s| 1 | 0 | 251 | - |7301k| 0 | 78 |1900 |1800 |1900 | 183 | 183 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.08/0.13 c 0.1s| 1 | 0 | 331 | - |7329k| 0 | 73 |1900 |1800 |1900 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.30 c 0.3s| 1 | 2 | 486 | - |7381k| 0 | 73 |1900 |1800 |1900 | 189 | 189 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
11.79/11.85 c 11.5s| 10000 | 10001 | 61233 | 6.1 | 20M| 95 | 6 |1900 |1800 |1900 | 240 | 17k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
21.69/21.75 c 21.2s| 20000 | 20001 |114952 | 5.7 | 31M| 95 | 0 |1900 |1800 |1900 | 265 | 31k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
32.29/32.31 c 31.6s| 30000 | 30001 |174548 | 5.8 | 41M| 95 | 0 |1900 |1800 |1900 | 279 | 44k| 0 | 917 | 0.000000e+00 | 4.448540e+05 | Inf
42.58/42.66 c 41.7s| 40000 | 40001 |220351 | 5.5 | 52M| 95 | 9 |1900 |1800 |1900 | 202 | 57k| 0 |1065 | 0.000000e+00 | 4.448540e+05 | Inf
52.70/52.72 c 51.6s| 50000 | 50001 |263272 | 5.3 | 62M| 95 | 0 |1900 |1800 |1900 | 262 | 69k| 0 |1208 | 0.000000e+00 | 4.448540e+05 | Inf
62.49/62.55 c 61.2s| 60000 | 60001 |302579 | 5.0 | 72M| 111 | 23 |1900 |1800 |1900 | 257 | 80k| 0 |1328 | 0.000000e+00 | 4.448540e+05 | Inf
72.09/72.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.09/72.12 c 70.7s| 70000 | 70001 |338742 | 4.8 | 83M| 111 | 23 |1900 |1800 |1900 | 247 | 90k| 0 |1422 | 0.000000e+00 | 4.448540e+05 | Inf
81.89/81.95 c 80.3s| 80000 | 80001 |379151 | 4.7 | 93M| 111 | 7 |1900 |1800 |1900 | 275 | 102k| 0 |1532 | 0.000000e+00 | 4.448540e+05 | Inf
91.29/91.37 c 89.6s| 90000 | 90001 |416070 | 4.6 | 104M| 111 | 0 |1900 |1800 |1900 | 300 | 112k| 0 |1648 | 0.000000e+00 | 4.448540e+05 | Inf
100.89/100.93 c 99.0s|100000 |100001 |454853 | 4.5 | 114M| 111 | 0 |1900 |1800 |1900 | 319 | 123k| 0 |1735 | 0.000000e+00 | 4.448540e+05 | Inf
110.39/110.47 c 108s|110000 |110001 |493702 | 4.5 | 125M| 111 | 0 |1900 |1800 |1900 | 293 | 134k| 0 |1821 | 0.000000e+00 | 4.448540e+05 | Inf
120.09/120.10 c 118s|120000 |120001 |531705 | 4.4 | 135M| 111 | 0 |1900 |1800 |1900 | 289 | 145k| 0 |1925 | 0.000000e+00 | 4.448540e+05 | Inf
129.69/129.79 c 127s|130000 |130001 |573262 | 4.4 | 145M| 111 | 0 |1900 |1800 |1900 | 302 | 156k| 0 |1994 | 0.000000e+00 | 4.448540e+05 | Inf
139.19/139.24 c 137s|140000 |140001 |605547 | 4.3 | 156M| 111 | 0 |1900 |1800 |1900 | 313 | 166k| 0 |2074 | 0.000000e+00 | 4.448540e+05 | Inf
148.50/148.55 c 146s|150000 |150001 |637116 | 4.2 | 166M| 115 | 0 |1900 |1800 |1900 | 303 | 174k| 0 |2140 | 0.000000e+00 | 4.448540e+05 | Inf
158.09/158.15 c 155s|160000 |160001 |674589 | 4.2 | 177M| 115 | 18 |1900 |1800 |1900 | 284 | 184k| 0 |2211 | 0.000000e+00 | 4.448540e+05 | Inf
167.39/167.45 c 164s|170000 |170001 |705859 | 4.2 | 187M| 115 | 4 |1900 |1800 |1900 | 252 | 193k| 0 |2274 | 0.000000e+00 | 4.448540e+05 | Inf
176.79/176.86 c 174s|180000 |180001 |739664 | 4.1 | 197M| 131 | 11 |1900 |1800 |1900 | 269 | 201k| 0 |2335 | 0.000000e+00 | 4.448540e+05 | Inf
185.69/185.75 c 182s|190000 |190001 |760541 | 4.0 | 208M| 131 | 0 |1900 |1800 |1900 | 274 | 206k| 0 |2360 | 0.000000e+00 | 4.448540e+05 | Inf
194.59/194.63 c 191s|200000 |200001 |787355 | 3.9 | 218M| 131 | 7 |1900 |1800 |1900 | 275 | 214k| 0 |2408 | 0.000000e+00 | 4.448540e+05 | Inf
203.70/203.79 c 200s|210000 |210001 |815960 | 3.9 | 228M| 131 | 0 |1900 |1800 |1900 | 285 | 222k| 0 |2449 | 0.000000e+00 | 4.448540e+05 | Inf
212.20/212.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.20/212.26 c 208s|220000 |220001 |830473 | 3.8 | 239M| 131 | 0 |1900 |1800 |1900 | 262 | 226k| 0 |2472 | 0.000000e+00 | 4.448540e+05 | Inf
221.10/221.17 c 217s|230000 |230001 |859191 | 3.7 | 249M| 131 | 0 |1900 |1800 |1900 | 264 | 233k| 0 |2505 | 0.000000e+00 | 4.448540e+05 | Inf
230.30/230.35 c 226s|240000 |240001 |890312 | 3.7 | 259M| 131 | 6 |1900 |1800 |1900 | 252 | 242k| 0 |2542 | 0.000000e+00 | 4.448540e+05 | Inf
239.29/239.37 c 235s|250000 |249999 |915288 | 3.7 | 270M| 147 | 7 |1900 |1802 |1900 | 264 | 249k| 2 |2589 | 0.000000e+00 | 4.448540e+05 | Inf
248.09/248.14 c 244s|260000 |259999 |937154 | 3.6 | 280M| 147 | 0 |1900 |1802 |1900 | 252 | 255k| 2 |2614 | 0.000000e+00 | 4.448540e+05 | Inf
257.20/257.28 c 253s|270000 |269999 |965866 | 3.6 | 290M| 147 | 0 |1900 |1802 |1900 | 285 | 262k| 2 |2662 | 0.000000e+00 | 4.448540e+05 | Inf
266.10/266.19 c 261s|280000 |279999 |985790 | 3.5 | 301M| 147 | 0 |1900 |1802 |1900 | 306 | 268k| 2 |2688 | 0.000000e+00 | 4.448540e+05 | Inf
275.20/275.20 c 270s|290000 |289999 | 1011k| 3.5 | 311M| 147 | 0 |1900 |1802 |1900 | 294 | 274k| 2 |2721 | 0.000000e+00 | 4.448540e+05 | Inf
284.69/284.74 c 280s|300000 |299999 | 1047k| 3.5 | 322M| 147 | 0 |1900 |1802 |1900 | 275 | 282k| 2 |2759 | 0.000000e+00 | 4.448540e+05 | Inf
293.70/293.75 c 289s|310000 |309999 | 1073k| 3.5 | 332M| 147 | 0 |1900 |1802 |1900 | 327 | 289k| 2 |2807 | 0.000000e+00 | 4.448540e+05 | Inf
302.70/302.74 c 297s|320000 |319999 | 1096k| 3.4 | 342M| 147 | 0 |1900 |1802 |1900 | 284 | 296k| 2 |2833 | 0.000000e+00 | 4.448540e+05 | Inf
311.69/311.79 c 306s|330000 |329999 | 1120k| 3.4 | 353M| 147 | 0 |1900 |1802 |1900 | 308 | 302k| 2 |2879 | 0.000000e+00 | 4.448540e+05 | Inf
320.79/320.81 c 315s|340000 |339999 | 1144k| 3.4 | 363M| 147 | 0 |1900 |1802 |1900 | 278 | 309k| 2 |2906 | 0.000000e+00 | 4.448540e+05 | Inf
329.80/329.81 c 324s|350000 |349999 | 1170k| 3.3 | 373M| 147 | 0 |1900 |1802 |1900 | 249 | 316k| 2 |2943 | 0.000000e+00 | 4.448540e+05 | Inf
338.60/338.64 c 333s|360000 |359999 | 1195k| 3.3 | 384M| 147 | 0 |1900 |1802 |1900 | 282 | 322k| 2 |2980 | 0.000000e+00 | 4.448540e+05 | Inf
347.20/347.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.20/347.21 c 341s|370000 |369999 | 1215k| 3.3 | 394M| 147 | 0 |1900 |1802 |1900 | 274 | 328k| 2 |3005 | 0.000000e+00 | 4.448540e+05 | Inf
356.31/356.32 c 350s|380000 |379999 | 1241k| 3.3 | 404M| 147 | 0 |1900 |1802 |1900 | 279 | 335k| 2 |3040 | 0.000000e+00 | 4.448540e+05 | Inf
365.50/365.54 c 359s|390000 |389999 | 1268k| 3.3 | 415M| 147 | 0 |1900 |1802 |1900 | 311 | 342k| 2 |3073 | 0.000000e+00 | 4.448540e+05 | Inf
374.70/374.72 c 368s|400000 |399999 | 1297k| 3.2 | 425M| 147 | 0 |1900 |1802 |1900 | 285 | 350k| 2 |3105 | 0.000000e+00 | 4.448540e+05 | Inf
383.49/383.53 c 377s|410000 |409999 | 1319k| 3.2 | 435M| 147 | 0 |1900 |1802 |1900 | 266 | 355k| 2 |3146 | 0.000000e+00 | 4.448540e+05 | Inf
392.20/392.23 c 385s|420000 |419999 | 1344k| 3.2 | 446M| 147 | 0 |1900 |1802 |1900 | 306 | 362k| 2 |3168 | 0.000000e+00 | 4.448540e+05 | Inf
401.00/401.06 c 394s|430000 |429999 | 1369k| 3.2 | 456M| 147 | 0 |1900 |1802 |1900 | 267 | 368k| 2 |3190 | 0.000000e+00 | 4.448540e+05 | Inf
410.10/410.15 c 403s|440000 |439999 | 1398k| 3.2 | 466M| 147 | 0 |1900 |1802 |1900 | 287 | 376k| 2 |3233 | 0.000000e+00 | 4.448540e+05 | Inf
418.69/418.77 c 411s|450000 |449999 | 1420k| 3.2 | 477M| 147 | 0 |1900 |1802 |1900 | 262 | 382k| 2 |3257 | 0.000000e+00 | 4.448540e+05 | Inf
427.70/427.72 c 420s|460000 |459999 | 1445k| 3.1 | 487M| 147 | 0 |1900 |1802 |1900 | 274 | 388k| 2 |3278 | 0.000000e+00 | 4.448540e+05 | Inf
436.50/436.55 c 429s|470000 |469999 | 1468k| 3.1 | 497M| 147 | 0 |1900 |1802 |1900 | 262 | 393k| 2 |3312 | 0.000000e+00 | 4.448540e+05 | Inf
445.30/445.38 c 438s|480000 |479999 | 1494k| 3.1 | 508M| 147 | 0 |1900 |1802 |1900 | 303 | 400k| 2 |3340 | 0.000000e+00 | 4.448540e+05 | Inf
454.21/454.25 c 446s|490000 |489999 | 1519k| 3.1 | 518M| 147 | 8 |1900 |1802 |1900 | 272 | 407k| 2 |3361 | 0.000000e+00 | 4.448540e+05 | Inf
463.20/463.23 c 455s|500000 |499999 | 1545k| 3.1 | 529M| 147 | 0 |1900 |1802 |1900 | 294 | 414k| 2 |3399 | 0.000000e+00 | 4.448540e+05 | Inf
472.00/472.06 c 464s|510000 |509999 | 1570k| 3.1 | 539M| 147 | 0 |1900 |1802 |1900 | 252 | 421k| 2 |3425 | 0.000000e+00 | 4.448540e+05 | Inf
481.20/481.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.20/481.24 c 473s|520000 |519999 | 1602k| 3.1 | 549M| 147 | 13 |1900 |1802 |1900 | 272 | 431k| 2 |3459 | 0.000000e+00 | 4.448540e+05 | Inf
490.20/490.26 c 482s|530000 |529999 | 1628k| 3.1 | 560M| 147 | 0 |1900 |1802 |1900 | 270 | 437k| 2 |3496 | 0.000000e+00 | 4.448540e+05 | Inf
499.20/499.25 c 491s|540000 |539999 | 1651k| 3.1 | 570M| 147 | 0 |1900 |1802 |1900 | 228 | 444k| 2 |3521 | 0.000000e+00 | 4.448540e+05 | Inf
508.21/508.29 c 499s|550000 |549999 | 1676k| 3.0 | 580M| 147 | 17 |1900 |1802 |1900 | 292 | 450k| 2 |3542 | 0.000000e+00 | 4.448540e+05 | Inf
517.80/517.86 c 509s|560000 |559999 | 1704k| 3.0 | 591M| 147 | 8 |1900 |1802 |1900 | 266 | 456k| 2 |3565 | 0.000000e+00 | 4.448540e+05 | Inf
527.20/527.27 c 518s|570000 |569999 | 1726k| 3.0 | 601M| 147 | 0 |1900 |1802 |1900 | 290 | 462k| 2 |3600 | 0.000000e+00 | 4.448540e+05 | Inf
536.31/536.31 c 527s|580000 |579999 | 1751k| 3.0 | 612M| 147 | 0 |1900 |1802 |1900 | 273 | 469k| 2 |3631 | 0.000000e+00 | 4.448540e+05 | Inf
545.10/545.12 c 536s|590000 |589999 | 1769k| 3.0 | 622M| 147 | 0 |1900 |1802 |1900 | 333 | 473k| 2 |3645 | 0.000000e+00 | 4.448540e+05 | Inf
554.31/554.33 c 545s|600000 |599999 | 1794k| 3.0 | 632M| 147 | 0 |1900 |1802 |1900 | 288 | 481k| 2 |3673 | 0.000000e+00 | 4.448540e+05 | Inf
563.31/563.35 c 554s|610000 |609999 | 1820k| 3.0 | 643M| 147 | 15 |1900 |1802 |1900 | 242 | 488k| 2 |3694 | 0.000000e+00 | 4.448540e+05 | Inf
572.40/572.46 c 563s|620000 |619999 | 1845k| 3.0 | 653M| 147 | 0 |1900 |1802 |1900 | 310 | 495k| 2 |3716 | 0.000000e+00 | 4.448540e+05 | Inf
581.70/581.77 c 572s|630000 |629999 | 1877k| 3.0 | 663M| 147 | 0 |1900 |1802 |1900 | 285 | 503k| 2 |3752 | 0.000000e+00 | 4.448540e+05 | Inf
591.00/591.03 c 581s|640000 |639999 | 1907k| 3.0 | 674M| 147 | 0 |1900 |1802 |1900 | 293 | 510k| 2 |3770 | 0.000000e+00 | 4.448540e+05 | Inf
600.10/600.16 c 590s|650000 |649999 | 1928k| 3.0 | 684M| 147 | 0 |1900 |1802 |1900 | 299 | 515k| 2 |3793 | 0.000000e+00 | 4.448540e+05 | Inf
609.00/609.08 c 599s|660000 |659999 | 1950k| 3.0 | 694M| 147 | 5 |1900 |1802 |1900 | 250 | 521k| 2 |3825 | 0.000000e+00 | 4.448540e+05 | Inf
618.11/618.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.11/618.20 c 607s|670000 |669999 | 1973k| 2.9 | 705M| 147 | 0 |1900 |1802 |1900 | 236 | 527k| 2 |3844 | 0.000000e+00 | 4.448540e+05 | Inf
627.21/627.25 c 616s|680000 |679999 | 1995k| 2.9 | 715M| 147 | 12 |1900 |1802 |1900 | 239 | 533k| 2 |3861 | 0.000000e+00 | 4.448540e+05 | Inf
635.71/635.76 c 625s|690000 |689999 | 2011k| 2.9 | 725M| 147 | 0 |1900 |1802 |1900 | 278 | 538k| 2 |3876 | 0.000000e+00 | 4.448540e+05 | Inf
644.90/644.92 c 634s|700000 |699999 | 2039k| 2.9 | 736M| 147 | 0 |1900 |1802 |1900 | 292 | 546k| 2 |3895 | 0.000000e+00 | 4.448540e+05 | Inf
653.91/653.95 c 643s|710000 |709999 | 2067k| 2.9 | 746M| 147 | 0 |1900 |1802 |1900 | 299 | 555k| 2 |3921 | 0.000000e+00 | 4.448540e+05 | Inf
662.60/662.69 c 651s|720000 |719999 | 2090k| 2.9 | 757M| 147 | 0 |1900 |1802 |1900 | 277 | 561k| 2 |3944 | 0.000000e+00 | 4.448540e+05 | Inf
671.41/671.49 c 660s|730000 |729999 | 2113k| 2.9 | 767M| 147 | 0 |1900 |1802 |1900 | 302 | 568k| 2 |3966 | 0.000000e+00 | 4.448540e+05 | Inf
680.31/680.32 c 669s|740000 |739999 | 2133k| 2.9 | 777M| 147 | 0 |1900 |1801 |1900 | 269 | 573k| 2 |3988 | 0.000000e+00 | 4.448540e+05 | Inf
689.01/689.03 c 677s|750000 |749999 | 2158k| 2.9 | 788M| 147 | 0 |1900 |1801 |1900 | 265 | 579k| 2 |4018 | 0.000000e+00 | 4.448540e+05 | Inf
697.80/697.86 c 686s|760000 |759999 | 2181k| 2.9 | 798M| 147 | 0 |1900 |1801 |1900 | 329 | 586k| 2 |4040 | 0.000000e+00 | 4.448540e+05 | Inf
706.91/706.95 c 695s|770000 |769999 | 2209k| 2.9 | 808M| 147 | 0 |1900 |1801 |1900 | 297 | 594k| 2 |4060 | 0.000000e+00 | 4.448540e+05 | Inf
716.11/716.17 c 704s|780000 |779999 | 2237k| 2.9 | 819M| 147 | 0 |1900 |1801 |1900 | 315 | 601k| 2 |4076 | 0.000000e+00 | 4.448540e+05 | Inf
725.21/725.29 c 713s|790000 |789999 | 2260k| 2.9 | 829M| 147 | 0 |1900 |1801 |1900 | 284 | 608k| 2 |4100 | 0.000000e+00 | 4.448540e+05 | Inf
734.00/734.02 c 721s|800000 |799999 | 2280k| 2.8 | 839M| 147 | 0 |1900 |1801 |1900 | 297 | 614k| 2 |4121 | 0.000000e+00 | 4.448540e+05 | Inf
743.20/743.23 c 730s|810000 |809999 | 2306k| 2.8 | 850M| 147 | 42 |1900 |1801 |1900 | 264 | 621k| 2 |4149 | 0.000000e+00 | 4.448540e+05 | Inf
752.21/752.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.21/752.23 c 739s|820000 |819999 | 2328k| 2.8 | 860M| 147 | 0 |1900 |1801 |1900 | 310 | 627k| 2 |4166 | 0.000000e+00 | 4.448540e+05 | Inf
761.21/761.25 c 748s|830000 |829999 | 2354k| 2.8 | 871M| 147 | 0 |1900 |1801 |1900 | 293 | 634k| 2 |4185 | 0.000000e+00 | 4.448540e+05 | Inf
770.31/770.34 c 757s|840000 |839999 | 2379k| 2.8 | 881M| 147 | 0 |1900 |1801 |1900 | 287 | 641k| 2 |4204 | 0.000000e+00 | 4.448540e+05 | Inf
779.11/779.12 c 766s|850000 |849999 | 2401k| 2.8 | 891M| 147 | 0 |1900 |1801 |1900 | 280 | 647k| 2 |4220 | 0.000000e+00 | 4.448540e+05 | Inf
787.81/787.82 c 774s|860000 |859999 | 2418k| 2.8 | 902M| 147 | 0 |1900 |1801 |1900 | 276 | 651k| 2 |4235 | 0.000000e+00 | 4.448540e+05 | Inf
796.70/796.72 c 783s|870000 |869999 | 2445k| 2.8 | 912M| 147 | 0 |1900 |1801 |1900 | 236 | 658k| 2 |4246 | 0.000000e+00 | 4.448540e+05 | Inf
805.31/805.31 c 791s|880000 |879999 | 2463k| 2.8 | 922M| 147 | 0 |1900 |1801 |1900 | 310 | 664k| 2 |4259 | 0.000000e+00 | 4.448540e+05 | Inf
814.02/814.08 c 800s|890000 |889999 | 2484k| 2.8 | 933M| 147 | 0 |1900 |1801 |1900 | 295 | 670k| 2 |4273 | 0.000000e+00 | 4.448540e+05 | Inf
823.01/823.00 c 809s|900000 |899999 | 2506k| 2.8 | 943M| 147 | 17 |1900 |1801 |1900 | 259 | 675k| 2 |4291 | 0.000000e+00 | 4.448540e+05 | Inf
831.62/831.67 c 817s|910000 |909999 | 2527k| 2.8 | 953M| 147 | 0 |1900 |1801 |1900 | 289 | 681k| 2 |4305 | 0.000000e+00 | 4.448540e+05 | Inf
840.51/840.59 c 826s|920000 |919999 | 2550k| 2.8 | 963M| 147 | 0 |1900 |1801 |1900 | 257 | 687k| 2 |4326 | 0.000000e+00 | 4.448540e+05 | Inf
849.61/849.65 c 835s|930000 |929999 | 2574k| 2.8 | 974M| 147 | 0 |1900 |1801 |1900 | 287 | 694k| 2 |4338 | 0.000000e+00 | 4.448540e+05 | Inf
858.21/858.28 c 844s|940000 |939999 | 2592k| 2.8 | 984M| 147 | 0 |1900 |1801 |1900 | 273 | 699k| 2 |4353 | 0.000000e+00 | 4.448540e+05 | Inf
867.11/867.18 c 852s|950000 |949999 | 2615k| 2.8 | 994M| 147 | 0 |1900 |1801 |1900 | 267 | 705k| 2 |4367 | 0.000000e+00 | 4.448540e+05 | Inf
876.11/876.19 c 861s|960000 |959999 | 2641k| 2.8 |1005M| 147 | 0 |1900 |1801 |1900 | 287 | 711k| 2 |4383 | 0.000000e+00 | 4.448540e+05 | Inf
884.91/884.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.91/884.99 c 870s|970000 |969999 | 2666k| 2.7 |1015M| 147 | 0 |1900 |1801 |1900 | 268 | 718k| 2 |4399 | 0.000000e+00 | 4.448540e+05 | Inf
894.01/894.07 c 879s|980000 |979999 | 2692k| 2.7 |1025M| 147 | 0 |1900 |1801 |1900 | 324 | 725k| 2 |4412 | 0.000000e+00 | 4.448540e+05 | Inf
903.02/903.00 c 887s|990000 |989999 | 2715k| 2.7 |1036M| 147 | 0 |1900 |1801 |1900 | 287 | 732k| 2 |4424 | 0.000000e+00 | 4.448540e+05 | Inf
911.92/911.90 c 896s| 1000k|999999 | 2741k| 2.7 |1046M| 147 | 0 |1900 |1801 |1900 | 293 | 739k| 2 |4448 | 0.000000e+00 | 4.448540e+05 | Inf
921.01/921.06 c 905s| 1010k| 1009k| 2768k| 2.7 |1057M| 147 | 0 |1900 |1801 |1900 | 269 | 745k| 2 |4465 | 0.000000e+00 | 4.448540e+05 | Inf
930.01/930.09 c 914s| 1020k| 1019k| 2796k| 2.7 |1067M| 147 | 2 |1900 |1801 |1900 | 322 | 753k| 2 |4481 | 0.000000e+00 | 4.448540e+05 | Inf
938.91/938.90 c 923s| 1030k| 1029k| 2817k| 2.7 |1077M| 147 | 6 |1900 |1801 |1900 | 285 | 759k| 2 |4495 | 0.000000e+00 | 4.448540e+05 | Inf
947.81/947.88 c 932s| 1040k| 1039k| 2841k| 2.7 |1088M| 147 | 0 |1900 |1801 |1900 | 282 | 766k| 2 |4510 | 0.000000e+00 | 4.448540e+05 | Inf
956.62/956.66 c 940s| 1050k| 1049k| 2865k| 2.7 |1098M| 147 | 0 |1900 |1801 |1900 | 314 | 772k| 2 |4525 | 0.000000e+00 | 4.448540e+05 | Inf
965.82/965.84 c 949s| 1060k| 1059k| 2894k| 2.7 |1108M| 147 | 35 |1900 |1801 |1900 | 279 | 779k| 2 |4549 | 0.000000e+00 | 4.448540e+05 | Inf
974.61/974.62 c 958s| 1070k| 1069k| 2917k| 2.7 |1119M| 147 | 0 |1900 |1801 |1900 | 245 | 786k| 2 |4562 | 0.000000e+00 | 4.448540e+05 | Inf
983.51/983.59 c 967s| 1080k| 1079k| 2946k| 2.7 |1129M| 147 | 0 |1900 |1801 |1900 | 287 | 794k| 2 |4572 | 0.000000e+00 | 4.448540e+05 | Inf
992.52/992.51 c 975s| 1090k| 1089k| 2973k| 2.7 |1139M| 147 | 0 |1900 |1801 |1900 | 306 | 801k| 2 |4585 | 0.000000e+00 | 4.448540e+05 | Inf
1001.42/1001.42 c 984s| 1100k| 1099k| 2999k| 2.7 |1150M| 147 | 0 |1900 |1801 |1900 | 240 | 809k| 2 |4609 | 0.000000e+00 | 4.448540e+05 | Inf
1010.01/1010.08 c 993s| 1110k| 1109k| 3020k| 2.7 |1160M| 147 | 4 |1900 |1801 |1900 | 264 | 815k| 2 |4619 | 0.000000e+00 | 4.448540e+05 | Inf
1018.92/1018.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.92/1018.94 c 1001s| 1120k| 1119k| 3039k| 2.7 |1170M| 149 | 0 |1900 |1801 |1900 | 307 | 820k| 2 |4630 | 0.000000e+00 | 4.448540e+05 | Inf
1027.92/1027.91 c 1010s| 1130k| 1129k| 3063k| 2.7 |1181M| 149 | 0 |1900 |1801 |1900 | 321 | 826k| 2 |4641 | 0.000000e+00 | 4.448540e+05 | Inf
1036.52/1036.54 c 1019s| 1140k| 1139k| 3080k| 2.7 |1191M| 149 | 0 |1900 |1801 |1900 | 271 | 831k| 2 |4651 | 0.000000e+00 | 4.448540e+05 | Inf
1045.41/1045.42 c 1027s| 1150k| 1149k| 3104k| 2.7 |1201M| 149 | 0 |1900 |1801 |1900 | 285 | 837k| 2 |4667 | 0.000000e+00 | 4.448540e+05 | Inf
1054.12/1054.10 c 1036s| 1160k| 1159k| 3123k| 2.7 |1212M| 149 | 7 |1900 |1801 |1900 | 300 | 843k| 2 |4675 | 0.000000e+00 | 4.448540e+05 | Inf
1062.82/1062.84 c 1045s| 1170k| 1169k| 3146k| 2.7 |1222M| 149 | 0 |1900 |1801 |1900 | 308 | 849k| 2 |4693 | 0.000000e+00 | 4.448540e+05 | Inf
1071.91/1071.99 c 1054s| 1180k| 1179k| 3176k| 2.7 |1232M| 149 | 7 |1900 |1801 |1900 | 217 | 858k| 2 |4714 | 0.000000e+00 | 4.448540e+05 | Inf
1081.02/1081.01 c 1062s| 1190k| 1189k| 3203k| 2.7 |1243M| 149 | 0 |1900 |1801 |1900 | 290 | 865k| 2 |4732 | 0.000000e+00 | 4.448540e+05 | Inf
1089.92/1089.94 c 1071s| 1200k| 1199k| 3227k| 2.7 |1253M| 149 | 0 |1900 |1801 |1900 | 291 | 872k| 2 |4750 | 0.000000e+00 | 4.448540e+05 | Inf
1099.01/1099.03 c 1080s| 1210k| 1209k| 3251k| 2.7 |1263M| 149 | 3 |1900 |1801 |1900 | 255 | 879k| 2 |4767 | 0.000000e+00 | 4.448540e+05 | Inf
1107.62/1107.67 c 1089s| 1220k| 1219k| 3273k| 2.7 |1274M| 149 | 0 |1900 |1801 |1900 | 249 | 885k| 2 |4781 | 0.000000e+00 | 4.448540e+05 | Inf
1116.61/1116.60 c 1097s| 1230k| 1229k| 3296k| 2.7 |1284M| 149 | 0 |1900 |1801 |1900 | 265 | 891k| 2 |4791 | 0.000000e+00 | 4.448540e+05 | Inf
1125.32/1125.33 c 1106s| 1240k| 1239k| 3318k| 2.7 |1294M| 149 | 0 |1900 |1801 |1900 | 307 | 897k| 2 |4808 | 0.000000e+00 | 4.448540e+05 | Inf
1134.02/1134.05 c 1115s| 1250k| 1249k| 3341k| 2.7 |1305M| 149 | 0 |1900 |1801 |1900 | 295 | 904k| 2 |4823 | 0.000000e+00 | 4.448540e+05 | Inf
1142.92/1142.99 c 1123s| 1260k| 1259k| 3365k| 2.7 |1315M| 149 | 0 |1900 |1801 |1900 | 294 | 910k| 2 |4841 | 0.000000e+00 | 4.448540e+05 | Inf
1152.22/1152.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.22/1152.21 c 1132s| 1270k| 1269k| 3394k| 2.7 |1325M| 149 | 5 |1900 |1801 |1900 | 227 | 918k| 2 |4863 | 0.000000e+00 | 4.448540e+05 | Inf
1161.41/1161.42 c 1141s| 1280k| 1279k| 3424k| 2.7 |1336M| 149 | 0 |1900 |1801 |1900 | 295 | 927k| 2 |4879 | 0.000000e+00 | 4.448540e+05 | Inf
1170.32/1170.34 c 1150s| 1290k| 1289k| 3450k| 2.7 |1346M| 149 | 0 |1900 |1801 |1900 | 274 | 935k| 2 |4894 | 0.000000e+00 | 4.448540e+05 | Inf
1179.12/1179.13 c 1159s| 1300k| 1299k| 3472k| 2.7 |1357M| 149 | 2 |1900 |1801 |1900 | 311 | 942k| 2 |4909 | 0.000000e+00 | 4.448540e+05 | Inf
1187.92/1187.96 c 1168s| 1310k| 1309k| 3495k| 2.7 |1367M| 149 | 9 |1900 |1801 |1900 | 273 | 948k| 2 |4925 | 0.000000e+00 | 4.448540e+05 | Inf
1196.92/1196.92 c 1176s| 1320k| 1319k| 3520k| 2.7 |1377M| 149 | 0 |1900 |1801 |1900 | 314 | 956k| 2 |4941 | 0.000000e+00 | 4.448540e+05 | Inf
1205.62/1205.66 c 1185s| 1330k| 1329k| 3543k| 2.7 |1388M| 149 | 0 |1900 |1801 |1900 | 288 | 962k| 2 |4956 | 0.000000e+00 | 4.448540e+05 | Inf
1214.32/1214.37 c 1193s| 1340k| 1339k| 3562k| 2.7 |1398M| 149 | 0 |1900 |1801 |1900 | 280 | 967k| 2 |4970 | 0.000000e+00 | 4.448540e+05 | Inf
1223.12/1223.14 c 1202s| 1350k| 1349k| 3585k| 2.7 |1408M| 149 | 0 |1900 |1801 |1900 | 276 | 973k| 2 |4986 | 0.000000e+00 | 4.448540e+05 | Inf
1231.92/1231.94 c 1211s| 1360k| 1359k| 3608k| 2.7 |1419M| 149 | 0 |1900 |1801 |1900 | 307 | 980k| 2 |5001 | 0.000000e+00 | 4.448540e+05 | Inf
1240.92/1240.91 c 1220s| 1370k| 1369k| 3633k| 2.7 |1429M| 149 | 6 |1900 |1801 |1900 | 263 | 987k| 2 |5016 | 0.000000e+00 | 4.448540e+05 | Inf
1249.82/1249.89 c 1228s| 1380k| 1379k| 3654k| 2.6 |1439M| 149 | 13 |1900 |1801 |1900 | 269 | 993k| 2 |5031 | 0.000000e+00 | 4.448540e+05 | Inf
1258.82/1258.80 c 1237s| 1390k| 1389k| 3677k| 2.6 |1450M| 149 | 0 |1900 |1801 |1900 | 290 | 999k| 2 |5047 | 0.000000e+00 | 4.448540e+05 | Inf
1267.62/1267.66 c 1246s| 1400k| 1399k| 3702k| 2.6 |1460M| 149 | 0 |1900 |1801 |1900 | 277 |1006k| 2 |5060 | 0.000000e+00 | 4.448540e+05 | Inf
1276.52/1276.54 c 1255s| 1410k| 1409k| 3724k| 2.6 |1470M| 149 | 5 |1900 |1801 |1900 | 251 |1013k| 2 |5076 | 0.000000e+00 | 4.448540e+05 | Inf
1285.22/1285.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.22/1285.21 c 1263s| 1420k| 1419k| 3741k| 2.6 |1480M| 149 | 2 |1900 |1801 |1900 | 249 |1018k| 2 |5077 | 0.000000e+00 | 4.448540e+05 | Inf
1294.32/1294.32 c 1272s| 1430k| 1429k| 3764k| 2.6 |1491M| 149 | 0 |1900 |1801 |1900 | 268 |1024k| 2 |5092 | 0.000000e+00 | 4.448540e+05 | Inf
1303.32/1303.38 c 1281s| 1440k| 1439k| 3785k| 2.6 |1501M| 149 | 0 |1900 |1801 |1900 | 289 |1029k| 2 |5107 | 0.000000e+00 | 4.448540e+05 | Inf
1312.12/1312.13 c 1290s| 1450k| 1449k| 3804k| 2.6 |1512M| 149 | 0 |1900 |1801 |1900 | 261 |1035k| 2 |5120 | 0.000000e+00 | 4.448540e+05 | Inf
1320.72/1320.71 c 1298s| 1460k| 1459k| 3821k| 2.6 |1522M| 149 | 0 |1900 |1801 |1900 | 295 |1040k| 2 |5133 | 0.000000e+00 | 4.448540e+05 | Inf
1329.43/1329.48 c 1307s| 1470k| 1469k| 3845k| 2.6 |1532M| 149 | 0 |1900 |1801 |1900 | 294 |1046k| 2 |5146 | 0.000000e+00 | 4.448540e+05 | Inf
1338.33/1338.31 c 1315s| 1480k| 1479k| 3871k| 2.6 |1543M| 149 | 0 |1900 |1801 |1900 | 278 |1055k| 2 |5159 | 0.000000e+00 | 4.448540e+05 | Inf
1347.13/1347.11 c 1324s| 1490k| 1489k| 3892k| 2.6 |1553M| 149 | 11 |1900 |1801 |1900 | 318 |1061k| 2 |5173 | 0.000000e+00 | 4.448540e+05 | Inf
1355.83/1355.86 c 1332s| 1500k| 1499k| 3910k| 2.6 |1563M| 149 | 0 |1900 |1801 |1900 | 237 |1066k| 2 |5173 | 0.000000e+00 | 4.448540e+05 | Inf
1364.62/1364.63 c 1341s| 1510k| 1509k| 3936k| 2.6 |1574M| 149 | 0 |1900 |1801 |1900 | 304 |1073k| 2 |5188 | 0.000000e+00 | 4.448540e+05 | Inf
1373.42/1373.47 c 1350s| 1520k| 1519k| 3955k| 2.6 |1584M| 149 | 5 |1900 |1801 |1900 | 258 |1077k| 2 |5200 | 0.000000e+00 | 4.448540e+05 | Inf
1382.12/1382.19 c 1358s| 1530k| 1529k| 3972k| 2.6 |1594M| 149 | 0 |1900 |1801 |1900 | 297 |1082k| 2 |5216 | 0.000000e+00 | 4.448540e+05 | Inf
1391.02/1391.04 c 1367s| 1540k| 1539k| 3997k| 2.6 |1604M| 149 | 0 |1900 |1801 |1900 | 251 |1089k| 2 |5230 | 0.000000e+00 | 4.448540e+05 | Inf
1399.62/1399.67 c 1376s| 1550k| 1549k| 4016k| 2.6 |1615M| 149 | 0 |1900 |1801 |1900 | 274 |1094k| 2 |5242 | 0.000000e+00 | 4.448540e+05 | Inf
1408.43/1408.43 c 1384s| 1560k| 1559k| 4036k| 2.6 |1625M| 149 | 0 |1900 |1801 |1900 | 302 |1099k| 2 |5254 | 0.000000e+00 | 4.448540e+05 | Inf
1417.33/1417.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.33/1417.36 c 1393s| 1570k| 1569k| 4059k| 2.6 |1635M| 149 | 0 |1900 |1801 |1900 | 223 |1106k| 2 |5260 | 0.000000e+00 | 4.448540e+05 | Inf
1426.23/1426.21 c 1402s| 1580k| 1579k| 4080k| 2.6 |1646M| 149 | 0 |1900 |1801 |1900 | 285 |1112k| 2 |5272 | 0.000000e+00 | 4.448540e+05 | Inf
1435.03/1435.06 c 1410s| 1590k| 1589k| 4102k| 2.6 |1656M| 149 | 0 |1900 |1801 |1900 | 275 |1119k| 2 |5285 | 0.000000e+00 | 4.448540e+05 | Inf
1444.03/1444.00 c 1419s| 1600k| 1599k| 4126k| 2.6 |1666M| 149 | 0 |1900 |1801 |1900 | 292 |1124k| 2 |5297 | 0.000000e+00 | 4.448540e+05 | Inf
1453.03/1453.05 c 1428s| 1610k| 1609k| 4147k| 2.6 |1677M| 149 | 0 |1900 |1801 |1900 | 288 |1130k| 2 |5310 | 0.000000e+00 | 4.448540e+05 | Inf
1461.84/1461.89 c 1437s| 1620k| 1619k| 4167k| 2.6 |1687M| 149 | 0 |1900 |1801 |1900 | 280 |1136k| 2 |5324 | 0.000000e+00 | 4.448540e+05 | Inf
1471.03/1471.02 c 1446s| 1630k| 1629k| 4190k| 2.6 |1697M| 149 | 0 |1900 |1801 |1900 | 298 |1143k| 2 |5337 | 0.000000e+00 | 4.448540e+05 | Inf
1480.03/1480.04 c 1455s| 1640k| 1639k| 4212k| 2.6 |1708M| 149 | 0 |1900 |1801 |1900 | 277 |1149k| 2 |5349 | 0.000000e+00 | 4.448540e+05 | Inf
1488.83/1488.88 c 1463s| 1650k| 1649k| 4233k| 2.6 |1718M| 149 | 0 |1900 |1801 |1900 | 289 |1155k| 2 |5364 | 0.000000e+00 | 4.448540e+05 | Inf
1498.13/1498.11 c 1472s| 1660k| 1659k| 4258k| 2.6 |1728M| 149 | 0 |1900 |1801 |1900 | 296 |1161k| 2 |5378 | 0.000000e+00 | 4.448540e+05 | Inf
1507.03/1507.06 c 1481s| 1670k| 1669k| 4279k| 2.6 |1739M| 151 | 11 |1900 |1801 |1900 | 269 |1167k| 2 |5393 | 0.000000e+00 | 4.448540e+05 | Inf
1515.93/1515.91 c 1490s| 1680k| 1679k| 4304k| 2.6 |1749M| 151 | 0 |1900 |1801 |1900 | 274 |1174k| 2 |5406 | 0.000000e+00 | 4.448540e+05 | Inf
1524.93/1524.93 c 1499s| 1690k| 1689k| 4327k| 2.6 |1759M| 151 | 0 |1900 |1801 |1900 | 281 |1181k| 2 |5421 | 0.000000e+00 | 4.448540e+05 | Inf
1533.92/1533.93 c 1508s| 1700k| 1699k| 4355k| 2.6 |1770M| 151 | 0 |1900 |1801 |1900 | 306 |1188k| 2 |5436 | 0.000000e+00 | 4.448540e+05 | Inf
1543.03/1543.08 c 1517s| 1710k| 1709k| 4382k| 2.6 |1780M| 151 | 0 |1900 |1801 |1900 | 320 |1195k| 2 |5452 | 0.000000e+00 | 4.448540e+05 | Inf
1552.33/1552.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.33/1552.37 c 1526s| 1720k| 1719k| 4412k| 2.6 |1790M| 151 | 0 |1900 |1801 |1900 | 265 |1204k| 2 |5468 | 0.000000e+00 | 4.448540e+05 | Inf
1561.33/1561.30 c 1534s| 1730k| 1729k| 4434k| 2.6 |1801M| 151 | 0 |1900 |1801 |1900 | 265 |1210k| 2 |5483 | 0.000000e+00 | 4.448540e+05 | Inf
1570.33/1570.35 c 1543s| 1740k| 1739k| 4456k| 2.6 |1811M| 151 | 0 |1900 |1801 |1900 | 269 |1216k| 2 |5498 | 0.000000e+00 | 4.448540e+05 | Inf
1579.33/1579.34 c 1552s| 1750k| 1749k| 4478k| 2.6 |1821M| 151 | 0 |1900 |1801 |1900 | 271 |1223k| 2 |5512 | 0.000000e+00 | 4.448540e+05 | Inf
1588.23/1588.24 c 1561s| 1760k| 1759k| 4503k| 2.6 |1832M| 151 | 7 |1900 |1801 |1900 | 263 |1230k| 2 |5524 | 0.000000e+00 | 4.448540e+05 | Inf
1597.33/1597.30 c 1570s| 1770k| 1769k| 4530k| 2.6 |1842M| 151 | 0 |1900 |1801 |1900 | 274 |1237k| 2 |5540 | 0.000000e+00 | 4.448540e+05 | Inf
1606.03/1606.02 c 1578s| 1780k| 1779k| 4554k| 2.6 |1852M| 151 | 0 |1900 |1801 |1900 | 300 |1244k| 2 |5553 | 0.000000e+00 | 4.448540e+05 | Inf
1614.83/1614.89 c 1587s| 1790k| 1789k| 4577k| 2.6 |1863M| 151 | 0 |1900 |1801 |1900 | 288 |1252k| 2 |5564 | 0.000000e+00 | 4.448540e+05 | Inf
1623.73/1623.73 c 1596s| 1800k| 1799k| 4597k| 2.6 |1873M| 151 | 0 |1900 |1801 |1900 | 276 |1258k| 2 |5571 | 0.000000e+00 | 4.448540e+05 | Inf
1632.43/1632.44 c 1604s| 1810k| 1809k| 4618k| 2.6 |1883M| 151 | 0 |1900 |1801 |1900 | 311 |1263k| 2 |5580 | 0.000000e+00 | 4.448540e+05 | Inf
1641.43/1641.49 c 1613s| 1820k| 1819k| 4645k| 2.6 |1894M| 151 | 0 |1900 |1801 |1900 | 314 |1270k| 2 |5599 | 0.000000e+00 | 4.448540e+05 | Inf
1650.43/1650.48 c 1622s| 1830k| 1829k| 4667k| 2.6 |1904M| 151 | 0 |1900 |1801 |1900 | 276 |1277k| 2 |5607 | 0.000000e+00 | 4.448540e+05 | Inf
1659.03/1659.04 c 1631s| 1840k| 1839k| 4684k| 2.5 |1914M| 151 | 0 |1900 |1801 |1900 | 288 |1282k| 2 |5621 | 0.000000e+00 | 4.448540e+05 | Inf
1667.73/1667.76 c 1639s| 1850k| 1849k| 4702k| 2.5 |1925M| 151 | 0 |1900 |1801 |1900 | 283 |1287k| 2 |5634 | 0.000000e+00 | 4.448540e+05 | Inf
1676.44/1676.43 c 1648s| 1860k| 1859k| 4722k| 2.5 |1935M| 151 | 0 |1900 |1801 |1900 | 291 |1293k| 2 |5637 | 0.000000e+00 | 4.448540e+05 | Inf
1684.93/1684.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.93/1684.99 c 1656s| 1870k| 1869k| 4742k| 2.5 |1945M| 151 | 17 |1900 |1801 |1900 | 281 |1299k| 2 |5647 | 0.000000e+00 | 4.448540e+05 | Inf
1694.03/1694.08 c 1665s| 1880k| 1879k| 4765k| 2.5 |1956M| 151 | 0 |1900 |1801 |1900 | 273 |1306k| 2 |5661 | 0.000000e+00 | 4.448540e+05 | Inf
1702.93/1702.96 c 1674s| 1890k| 1889k| 4790k| 2.5 |1966M| 151 | 0 |1900 |1801 |1900 | 298 |1313k| 2 |5675 | 0.000000e+00 | 4.448540e+05 | Inf
1711.64/1711.62 c 1682s| 1900k| 1899k| 4808k| 2.5 |1976M| 151 | 0 |1900 |1801 |1900 | 302 |1318k| 2 |5687 | 0.000000e+00 | 4.448540e+05 | Inf
1720.53/1720.58 c 1691s| 1910k| 1909k| 4829k| 2.5 |1986M| 151 | 0 |1900 |1801 |1900 | 260 |1323k| 2 |5691 | 0.000000e+00 | 4.448540e+05 | Inf
1729.43/1729.49 c 1700s| 1920k| 1919k| 4851k| 2.5 |1997M| 151 | 0 |1900 |1801 |1900 | 269 |1330k| 2 |5704 | 0.000000e+00 | 4.448540e+05 | Inf
1738.23/1738.29 c 1708s| 1930k| 1929k| 4873k| 2.5 |2007M| 151 | 0 |1900 |1801 |1900 | 291 |1336k| 2 |5717 | 0.000000e+00 | 4.448540e+05 | Inf
1747.33/1747.39 c 1717s| 1940k| 1939k| 4896k| 2.5 |2017M| 151 | 0 |1900 |1801 |1900 | 324 |1342k| 2 |5729 | 0.000000e+00 | 4.448540e+05 | Inf
1756.24/1756.22 c 1726s| 1950k| 1949k| 4918k| 2.5 |2028M| 151 | 17 |1900 |1801 |1900 | 257 |1347k| 2 |5742 | 0.000000e+00 | 4.448540e+05 | Inf
1764.74/1764.76 c 1734s| 1960k| 1959k| 4933k| 2.5 |2038M| 151 | 0 |1900 |1801 |1900 | 289 |1352k| 2 |5750 | 0.000000e+00 | 4.448540e+05 | Inf
1773.25/1773.28 c 1743s| 1970k| 1969k| 4956k| 2.5 |2048M| 151 | 0 |1900 |1801 |1900 | 276 |1357k| 2 |5763 | 0.000000e+00 | 4.448540e+05 | Inf
1781.53/1781.52 c 1750s| 1980k| 1979k| 4979k| 2.5 |2059M| 151 | 0 |1900 |1801 |1900 | 292 |1363k| 2 |5771 | 0.000000e+00 | 4.448540e+05 | Inf
1789.64/1789.68 c 1758s| 1990k| 1989k| 5001k| 2.5 |2069M| 151 | 0 |1900 |1801 |1900 | 254 |1369k| 2 |5784 | 0.000000e+00 | 4.448540e+05 | Inf
1797.84/1797.84 c 1766s| 2000k| 1999k| 5024k| 2.5 |2079M| 151 | 0 |1900 |1801 |1900 | 257 |1376k| 2 |5798 | 0.000000e+00 | 4.448540e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1767.80
1800.04/1800.00 c Solving Nodes : 2002677
1800.04/1800.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v 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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1767.80
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2699948-1278533860.wbo
1800.04/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2699948-1278533860.wbo
1800.04/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1800 initial, 1802 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 100 0 900 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2287313 0 0 0 0 0 999070
1800.04/1800.01 c indicator : 900 0 2891804 1787778 0 0 2074696 0 0 0
1800.04/1800.01 c linear : 900 6 2891804 1787778 0 1 1056484 1377664 0 0
1800.04/1800.01 c logicor : 0+ 0 45619 0 0 0 5957 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1503141 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 10.12 0.00 0.00 10.12 0.00
1800.04/1800.01 c indicator : 147.24 0.11 34.12 113.01 0.00
1800.04/1800.01 c linear : 39.07 0.00 17.14 21.93 0.00
1800.04/1800.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.01 c countsols : 0.36 0.00 0.00 0.36 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.67 2 0 0
1800.04/1800.01 c rootredcost : 0.85 0 0 0
1800.04/1800.01 c pseudoobj : 52.78 2891604 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 1 1 1 9.0 1 3.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 2 6.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 3 - - 33 - (maximal pool size: 65)
1800.04/1800.01 c redcost : 90.60 2286980 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 4 0 0 68 0
1800.04/1800.01 c strongcg : 0.02 4 0 0 0 0
1800.04/1800.01 c cmir : 0.00 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 9.23 499535 0 0 0 0 999070
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 120.70 1503141 0 0 0 0 3006282
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.01 0 0
1800.04/1800.01 c oneopt : 1.41 1 0
1800.04/1800.01 c intshifting : 0.05 23 0
1800.04/1800.01 c crossover : 0.78 13 0
1800.04/1800.01 c fracdiving : 16.68 27095 0
1800.04/1800.01 c linesearchdiving : 17.08 27095 0
1800.04/1800.01 c guideddiving : 15.56 27095 0
1800.04/1800.01 c coefdiving : 15.55 27096 0
1800.04/1800.01 c pscostdiving : 16.27 27096 0
1800.04/1800.01 c veclendiving : 16.48 27096 0
1800.04/1800.01 c objpscostdiving : 17.42 27056 0
1800.04/1800.01 c rootsoldiving : 16.91 27056 0
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c simplerounding : 1.13 499423 0
1800.04/1800.01 c zirounding : 0.57 1000 0
1800.04/1800.01 c rounding : 1.13 9964 0
1800.04/1800.01 c shifting : 1.80 3109 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 intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 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 dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.57 0 0
1800.04/1800.01 c trysol : 1.06 30902 99
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 : 730.14 929748 5028204 5.41 6886.63
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.25 496 1554 3.13 6216.00
1800.04/1800.01 c strong branching : 5.69 5798 68222 11.77 11989.81
1800.04/1800.01 c (at root node) : - 33 2618 79.33 -
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 : 2002677
1800.04/1800.01 c nodes (total) : 2002677
1800.04/1800.01 c nodes left : 2002676
1800.04/1800.01 c max depth : 151
1800.04/1800.01 c max depth (total): 151
1800.04/1800.01 c backtracks : 27314 (1.4%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 1 (6 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.42
1800.04/1800.01 c switching time : 66.28
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 331
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699948-1278533860/watcher-2699948-1278533860 -o /tmp/evaluation-result-2699948-1278533860/solver-2699948-1278533860 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699948-1278533860.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: 0.71 0.21 0.07 4/178 19504
/proc/meminfo: memFree=29766452/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=9412 CPUtime=0
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 1648 0 0 0 0 0 0 0 23 0 1 0 21599546 9637888 1568 4089446400 4194304 8223781 140734955130384 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19504/statm: 2353 1577 369 984 0 1366 0
[startup+0.0135839 s]
/proc/loadavg: 0.71 0.21 0.07 4/178 19504
/proc/meminfo: memFree=29766452/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=12292 CPUtime=0.01
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 2381 0 0 0 1 0 0 0 23 0 1 0 21599546 12587008 2301 4089446400 4194304 8223781 140734955130384 18446744073709551615 5648884 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19504/statm: 3073 2301 369 984 0 2086 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12292
[startup+0.100596 s]
/proc/loadavg: 0.71 0.21 0.07 4/178 19504
/proc/meminfo: memFree=29766452/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=23744 CPUtime=0.08
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 6231 0 0 0 8 0 0 0 23 0 1 0 21599546 24313856 5005 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 5936 5005 563 984 0 4949 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23744
[startup+0.300535 s]
/proc/loadavg: 0.71 0.21 0.07 4/178 19504
/proc/meminfo: memFree=29766452/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=25844 CPUtime=0.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 9910 0 0 0 28 1 0 0 23 0 1 0 21599546 26464256 5560 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 6461 5560 578 984 0 5474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25844
[startup+0.700462 s]
/proc/loadavg: 0.71 0.21 0.07 4/178 19504
/proc/meminfo: memFree=29766452/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=25844 CPUtime=0.69
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 9910 0 0 0 67 2 0 0 25 0 1 0 21599546 26464256 5560 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 6461 5560 578 984 0 5474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25844
[startup+1.50032 s]
/proc/loadavg: 0.71 0.21 0.07 3/179 19505
/proc/meminfo: memFree=29746232/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=25844 CPUtime=1.49
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 9915 0 0 0 144 5 0 0 25 0 1 0 21599546 26464256 5562 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 6461 5562 579 984 0 5474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25844
[startup+3.10103 s]
/proc/loadavg: 0.81 0.24 0.08 3/179 19506
/proc/meminfo: memFree=29745612/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=29884 CPUtime=3.09
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 16655 0 0 0 301 8 0 0 25 0 1 0 21599546 30601216 6576 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 7471 6576 584 984 0 6484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29884
[startup+6.30046 s]
/proc/loadavg: 0.81 0.24 0.08 3/179 19506
/proc/meminfo: memFree=29739240/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=34512 CPUtime=6.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 24163 0 0 0 609 20 0 0 25 0 1 0 21599546 35340288 7740 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 8628 7740 584 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.00 0.29 0.10 3/179 19506
/proc/meminfo: memFree=29731428/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=43228 CPUtime=12.69
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 29561 0 0 0 1235 34 0 0 25 0 1 0 21599546 44265472 9963 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19504/statm: 10807 9963 584 984 0 9820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43228
[startup+25.501 s]
/proc/loadavg: 1.15 0.35 0.12 3/179 19506
/proc/meminfo: memFree=29717720/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=56176 CPUtime=25.49
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 36032 0 0 0 2487 62 0 0 25 0 1 0 21599546 57524224 13255 4089446400 4194304 8223781 140734955130384 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 14044 13255 584 984 0 13057 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56176
[startup+51.1005 s]
/proc/loadavg: 1.44 0.48 0.17 3/179 19506
/proc/meminfo: memFree=29689884/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=82268 CPUtime=51.09
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 45847 0 0 0 5001 108 0 0 25 0 1 0 21599546 84242432 19878 4089446400 4194304 8223781 140734955130384 18446744073709551615 6456407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 20567 19878 584 984 0 19580 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82268
[startup+102.306 s]
/proc/loadavg: 1.77 0.73 0.27 3/179 19511
/proc/meminfo: memFree=29631508/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=140920 CPUtime=102.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 63383 0 0 0 10032 197 0 0 25 0 1 0 21599546 144302080 34230 4089446400 4194304 8223781 140734955130384 18446744073709551615 6090677 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 35230 34230 584 984 0 34243 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 140920
[startup+162.301 s]
/proc/loadavg: 1.91 0.96 0.38 3/179 19513
/proc/meminfo: memFree=29566368/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=205544 CPUtime=162.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 82949 0 0 0 15931 298 0 0 25 0 1 0 21599546 210477056 50625 4089446400 4194304 8223781 140734955130384 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 51386 50625 584 984 0 50399 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 205544
[startup+222.301 s]
/proc/loadavg: 1.97 1.15 0.48 3/179 19514
/proc/meminfo: memFree=29496004/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=277624 CPUtime=222.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 103377 0 0 0 21824 405 0 0 25 0 1 0 21599546 284286976 67879 4089446400 4194304 8223781 140734955130384 18446744073709551615 5893841 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 69406 67879 584 984 0 68419 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 277624
[startup+282.3 s]
/proc/loadavg: 1.99 1.30 0.57 3/179 19515
/proc/meminfo: memFree=29428624/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=344968 CPUtime=282.3
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 120486 0 0 0 27727 503 0 0 25 0 1 0 21599546 353247232 84985 4089446400 4194304 8223781 140734955130384 18446744073709551615 6296740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 86242 84985 588 984 0 85255 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 344968
[startup+342.3 s]
/proc/loadavg: 1.99 1.42 0.65 3/179 19517
/proc/meminfo: memFree=29357024/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=413256 CPUtime=342.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 137808 0 0 0 33626 603 0 0 25 0 1 0 21599546 423174144 102305 4089446400 4194304 8223781 140734955130384 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 103314 102305 588 984 0 102327 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 413256
[startup+402.301 s]
/proc/loadavg: 1.99 1.53 0.74 3/179 19519
/proc/meminfo: memFree=29287920/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=481028 CPUtime=402.29
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 158166 0 0 0 39523 706 0 0 25 0 1 0 21599546 492572672 119505 4089446400 4194304 8223781 140734955130384 18446744073709551615 6567891 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 120257 119505 588 984 0 119270 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 481028
[startup+462.301 s]
/proc/loadavg: 1.99 1.61 0.81 3/179 19521
/proc/meminfo: memFree=29216328/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=558916 CPUtime=462.3
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 175853 0 0 0 45421 809 0 0 25 0 1 0 21599546 572329984 137192 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 139729 137192 588 984 0 138742 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 558916
[startup+522.3 s]
/proc/loadavg: 1.99 1.68 0.88 3/179 19522
/proc/meminfo: memFree=29149312/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=625028 CPUtime=522.3
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 192649 0 0 0 51320 910 0 0 25 0 1 0 21599546 640028672 153979 4089446400 4194304 8223781 140734955130384 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 156257 153979 588 984 0 155270 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 625028
[startup+582.301 s]
/proc/loadavg: 1.99 1.73 0.95 3/179 19523
/proc/meminfo: memFree=29081196/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=692032 CPUtime=582.3
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 209675 0 0 0 57222 1008 0 0 25 0 1 0 21599546 708640768 170996 4089446400 4194304 8223781 140734955130384 18446744073709551615 6445273 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 173008 170996 588 984 0 172021 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 692032
[startup+642.301 s]
/proc/loadavg: 1.99 1.78 1.01 3/179 19525
/proc/meminfo: memFree=29009356/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=760984 CPUtime=642.31
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 227181 0 0 0 63118 1113 0 0 25 0 1 0 21599546 779247616 188498 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 190246 188498 588 984 0 189259 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 760984
[startup+702.3 s]
################
# More data... #
################
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 334771 0 0 0 98510 1722 0 0 25 0 1 0 21599546 1217286144 292916 4089446400 4194304 8223781 140734955130384 18446744073709551615 6003129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 297189 292916 588 984 0 296202 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1188756
[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.36 3/179 19537
/proc/meminfo: memFree=28521824/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1256636 CPUtime=1062.32
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 352014 0 0 0 104402 1830 0 0 25 0 1 0 21599546 1286795264 310159 4089446400 4194304 8223781 140734955130384 18446744073709551615 4651319 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 314159 310159 588 984 0 313172 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1256636
[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.39 3/179 19538
/proc/meminfo: memFree=28448872/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1326764 CPUtime=1122.31
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 369805 0 0 0 110301 1930 0 0 25 0 1 0 21599546 1358606336 327950 4089446400 4194304 8223781 140734955130384 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 331691 327950 588 984 0 330704 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1326764
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.43 3/179 19539
/proc/meminfo: memFree=28382228/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1394500 CPUtime=1182.32
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 386989 0 0 0 116196 2036 0 0 25 0 1 0 21599546 1427968000 345134 4089446400 4194304 8223781 140734955130384 18446744073709551615 6445441 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 348625 345134 588 984 0 347638 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1394500
[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.46 3/179 19541
/proc/meminfo: memFree=28309752/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1462692 CPUtime=1242.32
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 404305 0 0 0 122094 2138 0 0 25 0 1 0 21599546 1497796608 362450 4089446400 4194304 8223781 140734955130384 18446744073709551615 6514340 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 365673 362450 588 984 0 364686 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1462692
[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.49 3/179 19543
/proc/meminfo: memFree=28238528/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1532552 CPUtime=1302.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 422026 0 0 0 127990 2243 0 0 25 0 1 0 21599546 1569333248 380171 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 383138 380171 588 984 0 382151 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1532552
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.52 3/179 19545
/proc/meminfo: memFree=28168792/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1601632 CPUtime=1362.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 439580 0 0 0 133883 2350 0 0 25 0 1 0 21599546 1640071168 397723 4089446400 4194304 8223781 140734955130384 18446744073709551615 6439833 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 400408 397723 588 984 0 399421 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1601632
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.55 3/179 19546
/proc/meminfo: memFree=28098552/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1669200 CPUtime=1422.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 456734 0 0 0 139776 2457 0 0 25 0 1 0 21599546 1709260800 414877 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 417300 414877 588 984 0 416313 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1669200
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.57 3/179 19547
/proc/meminfo: memFree=28027448/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1738908 CPUtime=1482.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 477622 0 0 0 145678 2555 0 0 25 0 1 0 21599546 1780641792 432581 4089446400 4194304 8223781 140734955130384 18446744073709551615 5893801 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 434727 432581 588 984 0 433740 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1738908
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.60 3/179 19549
/proc/meminfo: memFree=27961664/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1803576 CPUtime=1542.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 494049 0 0 0 151582 2651 0 0 25 0 1 0 21599546 1846861824 449008 4089446400 4194304 8223781 140734955130384 18446744073709551615 6207440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 450894 449008 588 984 0 449907 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1803576
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.62 3/179 19551
/proc/meminfo: memFree=27892800/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1871124 CPUtime=1602.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 511197 0 0 0 157477 2756 0 0 25 0 1 0 21599546 1916030976 466156 4089446400 4194304 8223781 140734955130384 18446744073709551615 6328715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 467781 466156 588 984 0 466794 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1871124
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.64 3/179 19553
/proc/meminfo: memFree=27820704/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=1942088 CPUtime=1662.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 529201 0 0 0 163374 2859 0 0 25 0 1 0 21599546 1988698112 484160 4089446400 4194304 8223781 140734955130384 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 485522 484160 588 984 0 484535 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1942088
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.66 3/179 19554
/proc/meminfo: memFree=27751212/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=2011316 CPUtime=1722.34
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 546752 0 0 0 169273 2961 0 0 25 0 1 0 21599546 2059587584 501708 4089446400 4194304 8223781 140734955130384 18446744073709551615 6003375 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19504/statm: 502829 501708 588 984 0 501842 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2011316
[startup+1782.3 s]
/proc/loadavg: 1.93 1.95 1.67 3/179 19629
/proc/meminfo: memFree=27690856/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=2081188 CPUtime=1782.33
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 564508 0 0 0 175116 3117 0 0 25 0 1 0 21599546 2131136512 519464 4089446400 4194304 8223781 140734955130384 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19504/statm: 520297 519464 588 984 0 519310 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2081188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.94 1.96 1.68 3/179 19630
/proc/meminfo: memFree=27647080/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=2103328 CPUtime=1800.04
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 570126 0 0 0 176781 3223 0 0 25 0 1 0 21599546 2153807872 525082 4089446400 4194304 8223781 140734955130384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19504/statm: 525832 525082 588 984 0 524845 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2103328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19504
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.94 1.96 1.68 3/180 19631
/proc/meminfo: memFree=27646576/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=2103328 CPUtime=1801.44
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 570128 0 0 0 176921 3223 0 0 19 0 1 0 21599546 2153807872 525084 4089446400 4194304 8223781 140734955130384 18446744073709551615 6206651 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19504/statm: 525832 525084 590 984 0 524845 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2103328
[startup+1801.81 s]
/proc/loadavg: 1.95 1.96 1.68 3/180 19632
/proc/meminfo: memFree=27644220/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=2103328 CPUtime=1801.84
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 570128 0 0 0 176961 3223 0 0 20 0 1 0 21599546 2153807872 525084 4089446400 4194304 8223781 140734955130384 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19504/statm: 525832 525084 590 984 0 524845 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2103328
[startup+1802 s]
/proc/loadavg: 1.95 1.96 1.68 3/180 19632
/proc/meminfo: memFree=27644220/32950928 swapFree=67111528/67111528
[pid=19504] ppid=19502 vsize=2103328 CPUtime=1802.04
/proc/19504/stat : 19504 (pbscip.linux.x8) R 19502 19504 19054 0 -1 4202496 570128 0 0 0 176981 3223 0 0 21 0 1 0 21599546 2153807872 525084 4089446400 4194304 8223781 140734955130384 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19504/statm: 525832 525084 590 984 0 524845 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2103328
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1769.82
CPU system time (s): 32.3091
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2103328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.82
system time used= 32.3091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570128
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= 20158
runsolver used 2.43763 second user time and 5.77912 second system time
The end
Begin job on node122 at 2010-07-07 22:17:40
IDJOB=2699948
IDBENCH=79387
IDSOLVER=1204
FILE ID=node122/2699948-1278533860
PBS_JOBID= 11239233
Free space on /tmp= 73408 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-jnh302_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-2699948-1278533860/watcher-2699948-1278533860 -o /tmp/evaluation-result-2699948-1278533860/solver-2699948-1278533860 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699948-1278533860.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=405970971
node122.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.839
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.67
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.839
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 : 5226.16
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.839
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.839
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.81
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.839
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.76
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.839
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.67
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.839
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.82
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.839
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29767096 kB
Buffers: 137144 kB
Cached: 2785828 kB
SwapCached: 0 kB
Active: 1126664 kB
Inactive: 1906244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29767096 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6888 kB
Writeback: 0 kB
AnonPages: 109880 kB
Mapped: 15648 kB
Slab: 87876 kB
PageTables: 4760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 252748 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= 73400 MiB
End job on node122 at 2010-07-07 22:47:42