0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693778-1277892344.wbo>
0.00/0.03 c original problem has 10230 variables (10165 bin, 0 int, 0 impl, 65 cont) and 267 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 65 impls, 67 clqs
0.00/0.07 c (round 2) 0 del vars, 1 del conss, 65 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 65 impls, 67 clqs
0.00/0.07 c (round 3) 0 del vars, 1 del conss, 65 chg bounds, 0 chg sides, 0 chg coeffs, 69 upgd conss, 65 impls, 67 clqs
0.00/0.08 c (round 4) 0 del vars, 1 del conss, 65 chg bounds, 0 chg sides, 0 chg coeffs, 136 upgd conss, 65 impls, 67 clqs
0.09/0.14 c (0.1s) probing: 101/10165 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 0 deleted vars, 1 deleted constraints, 65 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 65 implications, 67 cliques
0.09/0.14 c presolved problem has 10230 variables (10165 bin, 0 int, 0 impl, 65 cont) and 266 constraints
0.09/0.14 c 65 constraints of type <indicator>
0.09/0.14 c 67 constraints of type <setppc>
0.09/0.14 c 65 constraints of type <linear>
0.09/0.14 c 69 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - | 19M| 0 | - | 10k| 266 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.59/7.65 c 7.4s| 10000 | 9996 | 0 | 0.0 | 22M|6543 | - | 10k| 287 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
14.79/14.83 c 14.4s| 20000 | 19987 | 0 | 0.0 | 25M|6543 | - | 10k| 295 | 0 | 0 | 0 | 65 | 0 | 0.000000e+00 | -- | Inf
21.09/21.14 c 20.6s| 30000 | 29980 | 0 | 0.0 | 28M|6543 | - | 10k| 287 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
27.29/27.35 c 26.6s| 40000 | 39973 | 0 | 0.0 | 31M|6543 | - | 10k| 294 | 0 | 0 | 0 | 141 | 0 | 0.000000e+00 | -- | Inf
33.59/33.60 c 32.7s| 50000 | 49963 | 0 | 0.0 | 34M|6543 | - | 10k| 306 | 0 | 0 | 0 | 191 | 0 | 0.000000e+00 | -- | Inf
40.29/40.30 c 39.2s| 60000 | 59947 | 0 | 0.0 | 37M|6543 | - | 10k| 312 | 0 | 0 | 0 | 271 | 0 | 0.000000e+00 | -- | Inf
47.99/48.09 c 46.8s| 70000 | 69936 | 0 | 0.0 | 40M|6543 | - | 10k| 301 | 0 | 0 | 0 | 331 | 0 | 0.000000e+00 | -- | Inf
54.09/54.19 c 52.7s| 80000 | 79928 | 0 | 0.0 | 43M|6543 | - | 10k| 305 | 0 | 0 | 0 | 371 | 0 | 0.000000e+00 | -- | Inf
61.49/61.55 c 59.9s| 90000 | 89919 | 0 | 0.0 | 46M|6543 | - | 10k| 307 | 0 | 0 | 0 | 421 | 0 | 0.000000e+00 | -- | Inf
67.69/67.73 c 65.8s|100000 | 99911 | 0 | 0.0 | 49M|6543 | - | 10k| 309 | 0 | 0 | 0 | 461 | 0 | 0.000000e+00 | -- | Inf
74.90/74.98 c 72.9s|110000 |109900 | 0 | 0.0 | 52M|6543 | - | 10k| 314 | 0 | 0 | 0 | 511 | 0 | 0.000000e+00 | -- | Inf
81.89/81.95 c 79.7s|120000 |119888 | 0 | 0.0 | 55M|6543 | - | 10k| 294 | 0 | 0 | 0 | 571 | 0 | 0.000000e+00 | -- | Inf
89.00/89.08 c 86.7s|130000 |129876 | 0 | 0.0 | 58M|6543 | - | 10k| 321 | 0 | 0 | 0 | 631 | 0 | 0.000000e+00 | -- | Inf
95.89/95.99 c 93.4s|140000 |139870 | 0 | 0.0 | 61M|6543 | - | 10k| 290 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | -- | Inf
103.19/103.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.19/103.24 c 100s|150000 |149862 | 0 | 0.0 | 64M|6543 | - | 10k| 296 | 0 | 0 | 0 | 701 | 0 | 0.000000e+00 | -- | Inf
109.69/109.71 c 107s|160000 |159854 | 0 | 0.0 | 67M|6543 | - | 10k| 300 | 0 | 0 | 0 | 741 | 0 | 0.000000e+00 | -- | Inf
117.49/117.51 c 114s|170000 |169850 | 0 | 0.0 | 69M|6625 | - | 10k| 299 | 0 | 0 | 0 | 761 | 0 | 0.000000e+00 | -- | Inf
123.99/124.08 c 121s|180000 |179836 | 0 | 0.0 | 72M|6717 | - | 10k| 325 | 0 | 0 | 0 | 831 | 0 | 0.000000e+00 | -- | Inf
131.80/131.87 c 128s|190000 |189830 | 0 | 0.0 | 75M|6762 | - | 10k| 306 | 0 | 0 | 0 | 861 | 0 | 0.000000e+00 | -- | Inf
138.70/138.79 c 135s|200000 |199816 | 0 | 0.0 | 78M|6779 | - | 10k| 316 | 0 | 0 | 0 | 931 | 0 | 0.000000e+00 | -- | Inf
146.69/146.75 c 143s|210000 |209812 | 0 | 0.0 | 81M|6779 | - | 10k| 306 | 0 | 0 | 0 | 951 | 0 | 0.000000e+00 | -- | Inf
153.79/153.84 c 150s|220000 |219804 | 0 | 0.0 | 84M|6779 | - | 10k| 309 | 0 | 0 | 0 | 991 | 0 | 0.000000e+00 | -- | Inf
161.89/161.91 c 158s|230000 |229798 | 0 | 0.0 | 86M|6779 | - | 10k| 323 | 0 | 0 | 0 |1021 | 0 | 0.000000e+00 | -- | Inf
169.29/169.32 c 165s|240000 |239788 | 0 | 0.0 | 89M|6779 | - | 10k| 350 | 0 | 0 | 0 |1071 | 0 | 0.000000e+00 | -- | Inf
177.59/177.60 c 173s|250000 |249784 | 0 | 0.0 | 92M|6779 | - | 10k| 352 | 0 | 0 | 0 |1091 | 0 | 0.000000e+00 | -- | Inf
185.80/185.89 c 181s|260000 |259772 | 0 | 0.0 | 95M|6779 | - | 10k| 368 | 0 | 0 | 0 |1151 | 0 | 0.000000e+00 | -- | Inf
193.60/193.68 c 189s|270000 |269768 | 0 | 0.0 | 97M|6779 | - | 10k| 369 | 0 | 0 | 0 |1171 | 0 | 0.000000e+00 | -- | Inf
202.19/202.23 c 197s|280000 |279760 | 0 | 0.0 | 100M|6779 | - | 10k| 383 | 0 | 0 | 0 |1211 | 0 | 0.000000e+00 | -- | Inf
210.10/210.14 c 205s|290000 |289751 | 0 | 0.0 | 103M|6779 | - | 10k| 401 | 0 | 0 | 0 |1261 | 0 | 0.000000e+00 | -- | Inf
218.40/218.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.40/218.47 c 213s|300000 |299747 | 0 | 0.0 | 106M|6779 | - | 10k| 409 | 0 | 0 | 0 |1281 | 0 | 0.000000e+00 | -- | Inf
226.50/226.58 c 221s|310000 |309736 | 0 | 0.0 | 108M|6779 | - | 10k| 443 | 0 | 0 | 0 |1341 | 0 | 0.000000e+00 | -- | Inf
234.40/234.41 c 229s|320000 |319732 | 0 | 0.0 | 111M|7069 | - | 10k| 446 | 0 | 0 | 0 |1361 | 0 | 0.000000e+00 | -- | Inf
241.59/241.69 c 236s|330000 |329716 | 0 | 0.0 | 114M|7256 | - | 10k| 476 | 0 | 0 | 0 |1438 | 0 | 0.000000e+00 | -- | Inf
250.00/250.01 c 244s|340000 |339712 | 0 | 0.0 | 117M|7256 | - | 10k| 465 | 0 | 0 | 0 |1458 | 0 | 0.000000e+00 | -- | Inf
257.20/257.29 c 251s|350000 |349708 | 0 | 0.0 | 119M|7360 | - | 10k| 444 | 0 | 0 | 0 |1478 | 0 | 0.000000e+00 | -- | Inf
264.70/264.77 c 258s|360000 |359696 | 0 | 0.0 | 122M|7604 | - | 10k| 464 | 0 | 0 | 0 |1538 | 0 | 0.000000e+00 | -- | Inf
272.39/272.48 c 266s|370000 |369692 | 0 | 0.0 | 125M|7668 | - | 10k| 452 | 0 | 0 | 0 |1558 | 0 | 0.000000e+00 | -- | Inf
279.59/279.60 c 273s|380000 |379688 | 0 | 0.0 | 128M|7751 | - | 10k| 438 | 0 | 0 | 0 |1578 | 0 | 0.000000e+00 | -- | Inf
286.70/286.74 c 280s|390000 |389676 | 0 | 0.0 | 130M|7875 | - | 10k| 465 | 0 | 0 | 0 |1638 | 0 | 0.000000e+00 | -- | Inf
294.50/294.59 c 287s|400000 |399672 | 0 | 0.0 | 133M|7875 | - | 10k| 460 | 0 | 0 | 0 |1658 | 0 | 0.000000e+00 | -- | Inf
301.89/301.98 c 294s|410000 |409664 | 0 | 0.0 | 136M|7875 | - | 10k| 470 | 0 | 0 | 0 |1698 | 0 | 0.000000e+00 | -- | Inf
308.60/308.66 c 301s|420000 |419660 | 0 | 0.0 | 139M|7964 | - | 10k| 439 | 0 | 0 | 0 |1718 | 0 | 0.000000e+00 | -- | Inf
316.60/316.60 c 309s|430000 |429652 | 0 | 0.0 | 141M|8035 | - | 10k| 459 | 0 | 0 | 0 |1758 | 0 | 0.000000e+00 | -- | Inf
324.50/324.56 c 316s|440000 |439644 | 0 | 0.0 | 144M|8035 | - | 10k| 475 | 0 | 0 | 0 |1798 | 0 | 0.000000e+00 | -- | Inf
331.70/331.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.70/331.72 c 323s|450000 |449638 | 0 | 0.0 | 147M|8081 | - | 10k| 459 | 0 | 0 | 0 |1828 | 0 | 0.000000e+00 | -- | Inf
338.60/338.65 c 330s|460000 |459626 | 0 | 0.0 | 150M|8081 | - | 10k| 479 | 0 | 0 | 0 |1888 | 0 | 0.000000e+00 | -- | Inf
346.60/346.69 c 338s|470000 |469622 | 0 | 0.0 | 152M|8084 | - | 10k| 460 | 0 | 0 | 0 |1908 | 0 | 0.000000e+00 | -- | Inf
354.40/354.41 c 346s|480000 |479610 | 0 | 0.0 | 155M|8084 | - | 10k| 497 | 0 | 0 | 0 |1968 | 0 | 0.000000e+00 | -- | Inf
361.59/361.60 c 353s|490000 |489606 | 0 | 0.0 | 158M|8084 | - | 10k| 461 | 0 | 0 | 0 |1988 | 0 | 0.000000e+00 | -- | Inf
369.30/369.31 c 360s|500000 |499594 | 0 | 0.0 | 160M|8093 | - | 10k| 481 | 0 | 0 | 0 |2048 | 0 | 0.000000e+00 | -- | Inf
377.20/377.25 c 368s|510000 |509590 | 0 | 0.0 | 163M|8093 | - | 10k| 460 | 0 | 0 | 0 |2068 | 0 | 0.000000e+00 | -- | Inf
384.90/384.92 c 375s|520000 |519586 | 0 | 0.0 | 166M|8093 | - | 10k| 459 | 0 | 0 | 0 |2088 | 0 | 0.000000e+00 | -- | Inf
392.10/392.17 c 382s|530000 |529576 | 0 | 0.0 | 168M|8093 | - | 10k| 467 | 0 | 0 | 0 |2138 | 0 | 0.000000e+00 | -- | Inf
399.70/399.70 c 390s|540000 |539562 | 0 | 0.0 | 171M|8093 | - | 10k| 483 | 0 | 0 | 0 |2208 | 0 | 0.000000e+00 | -- | Inf
407.70/407.70 c 398s|550000 |549558 | 0 | 0.0 | 174M|8093 | - | 10k| 465 | 0 | 0 | 0 |2228 | 0 | 0.000000e+00 | -- | Inf
415.29/415.32 c 405s|560000 |559552 | 0 | 0.0 | 177M|8093 | - | 10k| 471 | 0 | 0 | 0 |2258 | 0 | 0.000000e+00 | -- | Inf
422.60/422.69 c 412s|570000 |569546 | 0 | 0.0 | 179M|8093 | - | 10k| 454 | 0 | 0 | 0 |2288 | 0 | 0.000000e+00 | -- | Inf
430.80/430.82 c 420s|580000 |579534 | 0 | 0.0 | 182M|8093 | - | 10k| 476 | 0 | 0 | 0 |2348 | 0 | 0.000000e+00 | -- | Inf
438.80/438.90 c 428s|590000 |589528 | 0 | 0.0 | 185M|8093 | - | 10k| 469 | 0 | 0 | 0 |2378 | 0 | 0.000000e+00 | -- | Inf
446.30/446.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.30/446.39 c 435s|600000 |599522 | 0 | 0.0 | 187M|8093 | - | 10k| 463 | 0 | 0 | 0 |2408 | 0 | 0.000000e+00 | -- | Inf
453.30/453.32 c 442s|610000 |609514 | 0 | 0.0 | 190M|8093 | - | 10k| 457 | 0 | 0 | 0 |2448 | 0 | 0.000000e+00 | -- | Inf
461.70/461.78 c 450s|620000 |619504 | 0 | 0.0 | 193M|8127 | - | 10k| 469 | 0 | 0 | 0 |2498 | 0 | 0.000000e+00 | -- | Inf
469.60/469.66 c 458s|630000 |629498 | 0 | 0.0 | 196M|8127 | - | 10k| 475 | 0 | 0 | 0 |2528 | 0 | 0.000000e+00 | -- | Inf
477.20/477.22 c 465s|640000 |639492 | 0 | 0.0 | 198M|8127 | - | 10k| 470 | 0 | 0 | 0 |2558 | 0 | 0.000000e+00 | -- | Inf
484.61/484.68 c 473s|650000 |649484 | 0 | 0.0 | 201M|8127 | - | 10k| 471 | 0 | 0 | 0 |2598 | 0 | 0.000000e+00 | -- | Inf
493.01/493.00 c 481s|660000 |659480 | 0 | 0.0 | 204M|8127 | - | 10k| 471 | 0 | 0 | 0 |2618 | 0 | 0.000000e+00 | -- | Inf
501.10/501.13 c 489s|670000 |669472 | 0 | 0.0 | 206M|8127 | - | 10k| 488 | 0 | 0 | 0 |2658 | 0 | 0.000000e+00 | -- | Inf
508.80/508.84 c 496s|680000 |679461 | 0 | 0.0 | 209M|8127 | - | 10k| 487 | 0 | 0 | 0 |2716 | 0 | 0.000000e+00 | -- | Inf
517.11/517.15 c 504s|690000 |689436 | 0 | 0.0 | 212M|8127 | - | 10k| 498 | 0 | 0 | 0 |2789 | 0 | 0.000000e+00 | -- | Inf
525.10/525.18 c 512s|700000 |699432 | 0 | 0.0 | 214M|8173 | - | 10k| 503 | 0 | 0 | 0 |2809 | 0 | 0.000000e+00 | -- | Inf
532.80/532.87 c 520s|710000 |709426 | 0 | 0.0 | 217M|8191 | - | 10k| 498 | 0 | 0 | 0 |2838 | 0 | 0.000000e+00 | -- | Inf
540.00/540.00 c 527s|720000 |719422 | 0 | 0.0 | 220M|8377 | - | 10k| 488 | 0 | 0 | 0 |2858 | 0 | 0.000000e+00 | -- | Inf
547.61/547.67 c 534s|730000 |729410 | 0 | 0.0 | 223M|8475 | - | 10k| 515 | 0 | 0 | 0 |2918 | 0 | 0.000000e+00 | -- | Inf
555.61/555.61 c 542s|740000 |739406 | 0 | 0.0 | 225M|8475 | - | 10k| 506 | 0 | 0 | 0 |2938 | 0 | 0.000000e+00 | -- | Inf
563.41/563.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.41/563.41 c 550s|750000 |749398 | 0 | 0.0 | 228M|8475 | - | 10k| 523 | 0 | 0 | 0 |2978 | 0 | 0.000000e+00 | -- | Inf
570.71/570.79 c 557s|760000 |759394 | 0 | 0.0 | 231M|8475 | - | 10k| 498 | 0 | 0 | 0 |2998 | 0 | 0.000000e+00 | -- | Inf
577.61/577.63 c 564s|770000 |769390 | 0 | 0.0 | 233M|8475 | - | 10k| 494 | 0 | 0 | 0 |3018 | 0 | 0.000000e+00 | -- | Inf
586.01/586.01 c 572s|780000 |779376 | 0 | 0.0 | 236M|8475 | - | 10k| 520 | 0 | 0 | 0 |3088 | 0 | 0.000000e+00 | -- | Inf
593.70/593.78 c 579s|790000 |789372 | 0 | 0.0 | 239M|8475 | - | 10k| 511 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
601.50/601.53 c 587s|800000 |799366 | 0 | 0.0 | 241M|8475 | - | 10k| 519 | 0 | 0 | 0 |3138 | 0 | 0.000000e+00 | -- | Inf
608.70/608.73 c 594s|810000 |809362 | 0 | 0.0 | 244M|8475 | - | 10k| 497 | 0 | 0 | 0 |3158 | 0 | 0.000000e+00 | -- | Inf
616.70/616.80 c 602s|820000 |819350 | 0 | 0.0 | 247M|8475 | - | 10k| 532 | 0 | 0 | 0 |3218 | 0 | 0.000000e+00 | -- | Inf
624.81/624.83 c 610s|830000 |829342 | 0 | 0.0 | 249M|8475 | - | 10k| 531 | 0 | 0 | 0 |3258 | 0 | 0.000000e+00 | -- | Inf
632.51/632.57 c 617s|840000 |839336 | 0 | 0.0 | 252M|8475 | - | 10k| 534 | 0 | 0 | 0 |3288 | 0 | 0.000000e+00 | -- | Inf
639.81/639.83 c 624s|850000 |849332 | 0 | 0.0 | 255M|8475 | - | 10k| 521 | 0 | 0 | 0 |3308 | 0 | 0.000000e+00 | -- | Inf
647.61/647.64 c 632s|860000 |859320 | 0 | 0.0 | 257M|8475 | - | 10k| 544 | 0 | 0 | 0 |3368 | 0 | 0.000000e+00 | -- | Inf
655.61/655.63 c 640s|870000 |869316 | 0 | 0.0 | 260M|8475 | - | 10k| 535 | 0 | 0 | 0 |3388 | 0 | 0.000000e+00 | -- | Inf
663.41/663.42 c 647s|880000 |879310 | 0 | 0.0 | 263M|8475 | - | 10k| 545 | 0 | 0 | 0 |3418 | 0 | 0.000000e+00 | -- | Inf
671.21/671.25 c 655s|890000 |889304 | 0 | 0.0 | 265M|8475 | - | 10k| 537 | 0 | 0 | 0 |3448 | 0 | 0.000000e+00 | -- | Inf
678.71/678.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.71/678.78 c 662s|900000 |899296 | 0 | 0.0 | 268M|8475 | - | 10k| 534 | 0 | 0 | 0 |3488 | 0 | 0.000000e+00 | -- | Inf
686.61/686.69 c 670s|910000 |909284 | 0 | 0.0 | 271M|8543 | - | 10k| 552 | 0 | 0 | 0 |3548 | 0 | 0.000000e+00 | -- | Inf
694.50/694.55 c 678s|920000 |919280 | 0 | 0.0 | 273M|8543 | - | 10k| 543 | 0 | 0 | 0 |3568 | 0 | 0.000000e+00 | -- | Inf
702.81/702.82 c 686s|930000 |929274 | 0 | 0.0 | 276M|8552 | - | 10k| 550 | 0 | 0 | 0 |3598 | 0 | 0.000000e+00 | -- | Inf
710.91/710.95 c 694s|940000 |939266 | 0 | 0.0 | 279M|8552 | - | 10k| 558 | 0 | 0 | 0 |3638 | 0 | 0.000000e+00 | -- | Inf
718.20/718.21 c 701s|950000 |949262 | 0 | 0.0 | 281M|8552 | - | 10k| 525 | 0 | 0 | 0 |3658 | 0 | 0.000000e+00 | -- | Inf
725.81/725.80 c 708s|960000 |959250 | 0 | 0.0 | 284M|8552 | - | 10k| 550 | 0 | 0 | 0 |3718 | 0 | 0.000000e+00 | -- | Inf
733.81/733.89 c 716s|970000 |969246 | 0 | 0.0 | 287M|8552 | - | 10k| 547 | 0 | 0 | 0 |3738 | 0 | 0.000000e+00 | -- | Inf
741.71/741.74 c 724s|980000 |979238 | 0 | 0.0 | 289M|8552 | - | 10k| 567 | 0 | 0 | 0 |3778 | 0 | 0.000000e+00 | -- | Inf
749.11/749.19 c 731s|990000 |989234 | 0 | 0.0 | 292M|8552 | - | 10k| 549 | 0 | 0 | 0 |3798 | 0 | 0.000000e+00 | -- | Inf
756.51/756.56 c 738s| 1000k|999226 | 0 | 0.0 | 295M|8552 | - | 10k| 549 | 0 | 0 | 0 |3838 | 0 | 0.000000e+00 | -- | Inf
764.41/764.42 c 746s| 1010k| 1009k| 0 | 0.0 | 297M|8552 | - | 10k| 575 | 0 | 0 | 0 |3918 | 0 | 0.000000e+00 | -- | Inf
772.51/772.57 c 754s| 1020k| 1019k| 0 | 0.0 | 300M|8552 | - | 10k| 556 | 0 | 0 | 0 |3938 | 0 | 0.000000e+00 | -- | Inf
780.31/780.31 c 761s| 1030k| 1029k| 0 | 0.0 | 303M|8552 | - | 10k| 570 | 0 | 0 | 0 |3968 | 0 | 0.000000e+00 | -- | Inf
787.51/787.59 c 769s| 1040k| 1039k| 0 | 0.0 | 305M|8552 | - | 10k| 558 | 0 | 0 | 0 |3988 | 0 | 0.000000e+00 | -- | Inf
794.81/794.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.81/794.84 c 776s| 1050k| 1049k| 0 | 0.0 | 308M|8552 | - | 10k| 558 | 0 | 0 | 0 |4028 | 0 | 0.000000e+00 | -- | Inf
802.31/802.34 c 783s| 1060k| 1059k| 0 | 0.0 | 311M|8552 | - | 10k| 562 | 0 | 0 | 0 |4088 | 0 | 0.000000e+00 | -- | Inf
810.21/810.25 c 791s| 1070k| 1069k| 0 | 0.0 | 313M|8552 | - | 10k| 567 | 0 | 0 | 0 |4108 | 0 | 0.000000e+00 | -- | Inf
818.01/818.02 c 798s| 1080k| 1079k| 0 | 0.0 | 316M|8552 | - | 10k| 590 | 0 | 0 | 0 |4148 | 0 | 0.000000e+00 | -- | Inf
825.21/825.25 c 805s| 1090k| 1089k| 0 | 0.0 | 319M|8552 | - | 10k| 580 | 0 | 0 | 0 |4177 | 0 | 0.000000e+00 | -- | Inf
832.11/832.15 c 812s| 1100k| 1099k| 0 | 0.0 | 321M|8552 | - | 10k| 579 | 0 | 0 | 0 |4207 | 0 | 0.000000e+00 | -- | Inf
840.21/840.25 c 820s| 1110k| 1109k| 0 | 0.0 | 324M|8552 | - | 10k| 618 | 0 | 0 | 0 |4297 | 0 | 0.000000e+00 | -- | Inf
848.01/848.02 c 828s| 1120k| 1119k| 0 | 0.0 | 327M|8552 | - | 10k| 597 | 0 | 0 | 0 |4317 | 0 | 0.000000e+00 | -- | Inf
855.71/855.76 c 835s| 1130k| 1129k| 0 | 0.0 | 329M|8552 | - | 10k| 612 | 0 | 0 | 0 |4357 | 0 | 0.000000e+00 | -- | Inf
862.91/862.96 c 842s| 1140k| 1139k| 0 | 0.0 | 332M|8552 | - | 10k| 594 | 0 | 0 | 0 |4387 | 0 | 0.000000e+00 | -- | Inf
870.51/870.55 c 850s| 1150k| 1149k| 0 | 0.0 | 335M|8552 | - | 10k| 609 | 0 | 0 | 0 |4447 | 0 | 0.000000e+00 | -- | Inf
879.02/879.02 c 858s| 1160k| 1159k| 0 | 0.0 | 337M|8552 | - | 10k| 614 | 0 | 0 | 0 |4507 | 0 | 0.000000e+00 | -- | Inf
886.91/886.97 c 866s| 1170k| 1169k| 0 | 0.0 | 340M|8552 | - | 10k| 596 | 0 | 0 | 0 |4527 | 0 | 0.000000e+00 | -- | Inf
894.31/894.36 c 873s| 1180k| 1179k| 0 | 0.0 | 343M|8552 | - | 10k| 596 | 0 | 0 | 0 |4547 | 0 | 0.000000e+00 | -- | Inf
901.51/901.57 c 880s| 1190k| 1189k| 0 | 0.0 | 345M|8552 | - | 10k| 591 | 0 | 0 | 0 |4567 | 0 | 0.000000e+00 | -- | Inf
908.51/908.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.51/908.58 c 887s| 1200k| 1199k| 0 | 0.0 | 348M|8573 | - | 10k| 610 | 0 | 0 | 0 |4627 | 0 | 0.000000e+00 | -- | Inf
916.92/916.90 c 895s| 1210k| 1209k| 0 | 0.0 | 351M|8573 | - | 10k| 600 | 0 | 0 | 0 |4657 | 0 | 0.000000e+00 | -- | Inf
924.91/924.94 c 903s| 1220k| 1219k| 0 | 0.0 | 353M|8573 | - | 10k| 596 | 0 | 0 | 0 |4687 | 0 | 0.000000e+00 | -- | Inf
932.41/932.46 c 910s| 1230k| 1229k| 0 | 0.0 | 356M|8573 | - | 10k| 594 | 0 | 0 | 0 |4717 | 0 | 0.000000e+00 | -- | Inf
939.81/939.81 c 917s| 1240k| 1239k| 0 | 0.0 | 359M|8573 | - | 10k| 574 | 0 | 0 | 0 |4737 | 0 | 0.000000e+00 | -- | Inf
947.22/947.21 c 924s| 1250k| 1249k| 0 | 0.0 | 361M|8576 | - | 10k| 562 | 0 | 0 | 0 |4787 | 0 | 0.000000e+00 | -- | Inf
955.21/955.29 c 932s| 1260k| 1259k| 0 | 0.0 | 364M|8576 | - | 10k| 562 | 0 | 0 | 0 |4817 | 0 | 0.000000e+00 | -- | Inf
963.51/963.54 c 940s| 1270k| 1269k| 0 | 0.0 | 367M|8586 | - | 10k| 570 | 0 | 0 | 0 |4857 | 0 | 0.000000e+00 | -- | Inf
971.11/971.15 c 948s| 1280k| 1279k| 0 | 0.0 | 369M|8586 | - | 10k| 567 | 0 | 0 | 0 |4887 | 0 | 0.000000e+00 | -- | Inf
978.72/978.73 c 955s| 1290k| 1289k| 0 | 0.0 | 372M|8595 | - | 10k| 547 | 0 | 0 | 0 |4917 | 0 | 0.000000e+00 | -- | Inf
986.11/986.18 c 962s| 1300k| 1299k| 0 | 0.0 | 375M|8595 | - | 10k| 540 | 0 | 0 | 0 |4967 | 0 | 0.000000e+00 | -- | Inf
994.42/994.41 c 970s| 1310k| 1308k| 0 | 0.0 | 377M|8595 | - | 10k| 525 | 0 | 0 | 0 |4987 | 0 | 0.000000e+00 | -- | Inf
1002.51/1002.53 c 978s| 1320k| 1318k| 0 | 0.0 | 380M|8595 | - | 10k| 540 | 0 | 0 | 0 |5027 | 0 | 0.000000e+00 | -- | Inf
1010.21/1010.23 c 986s| 1330k| 1328k| 0 | 0.0 | 383M|8595 | - | 10k| 518 | 0 | 0 | 0 |5057 | 0 | 0.000000e+00 | -- | Inf
1017.71/1017.78 c 993s| 1340k| 1338k| 0 | 0.0 | 385M|8595 | - | 10k| 510 | 0 | 0 | 0 |5087 | 0 | 0.000000e+00 | -- | Inf
1025.32/1025.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.32/1025.37 c 1001s| 1350k| 1348k| 0 | 0.0 | 388M|8595 | - | 10k| 502 | 0 | 0 | 0 |5137 | 0 | 0.000000e+00 | -- | Inf
1033.51/1033.51 c 1009s| 1360k| 1358k| 0 | 0.0 | 390M|8595 | - | 10k| 497 | 0 | 0 | 0 |5157 | 0 | 0.000000e+00 | -- | Inf
1041.41/1041.43 c 1016s| 1370k| 1368k| 0 | 0.0 | 393M|8595 | - | 10k| 507 | 0 | 0 | 0 |5187 | 0 | 0.000000e+00 | -- | Inf
1049.01/1049.05 c 1024s| 1380k| 1378k| 0 | 0.0 | 396M|8595 | - | 10k| 522 | 0 | 0 | 0 |5237 | 0 | 0.000000e+00 | -- | Inf
1056.42/1056.49 c 1031s| 1390k| 1388k| 0 | 0.0 | 398M|8595 | - | 10k| 517 | 0 | 0 | 0 |5276 | 0 | 0.000000e+00 | -- | Inf
1064.12/1064.18 c 1039s| 1400k| 1398k| 0 | 0.0 | 401M|8595 | - | 10k| 512 | 0 | 0 | 0 |5316 | 0 | 0.000000e+00 | -- | Inf
1072.52/1072.55 c 1047s| 1410k| 1408k| 0 | 0.0 | 404M|8595 | - | 10k| 534 | 0 | 0 | 0 |5356 | 0 | 0.000000e+00 | -- | Inf
1080.52/1080.58 c 1055s| 1420k| 1418k| 0 | 0.0 | 406M|8595 | - | 10k| 513 | 0 | 0 | 0 |5376 | 0 | 0.000000e+00 | -- | Inf
1088.32/1088.38 c 1062s| 1430k| 1428k| 0 | 0.0 | 409M|8595 | - | 10k| 523 | 0 | 0 | 0 |5416 | 0 | 0.000000e+00 | -- | Inf
1095.82/1095.85 c 1069s| 1440k| 1438k| 0 | 0.0 | 412M|8595 | - | 10k| 515 | 0 | 0 | 0 |5446 | 0 | 0.000000e+00 | -- | Inf
1103.92/1103.98 c 1077s| 1450k| 1448k| 0 | 0.0 | 414M|8595 | - | 10k| 541 | 0 | 0 | 0 |5516 | 0 | 0.000000e+00 | -- | Inf
1112.51/1112.50 c 1086s| 1460k| 1458k| 0 | 0.0 | 417M|8595 | - | 10k| 539 | 0 | 0 | 0 |5546 | 0 | 0.000000e+00 | -- | Inf
1120.02/1120.05 c 1093s| 1470k| 1468k| 0 | 0.0 | 420M|8595 | - | 10k| 542 | 0 | 0 | 0 |5576 | 0 | 0.000000e+00 | -- | Inf
1127.62/1127.63 c 1101s| 1480k| 1478k| 0 | 0.0 | 422M|8595 | - | 10k| 548 | 0 | 0 | 0 |5616 | 0 | 0.000000e+00 | -- | Inf
1134.52/1134.54 c 1107s| 1490k| 1488k| 0 | 0.0 | 425M|8595 | - | 10k| 546 | 0 | 0 | 0 |5646 | 0 | 0.000000e+00 | -- | Inf
1142.22/1142.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.22/1142.28 c 1115s| 1500k| 1498k| 0 | 0.0 | 428M|8595 | - | 10k| 556 | 0 | 0 | 0 |5686 | 0 | 0.000000e+00 | -- | Inf
1150.32/1150.34 c 1123s| 1510k| 1508k| 0 | 0.0 | 430M|8595 | - | 10k| 566 | 0 | 0 | 0 |5716 | 0 | 0.000000e+00 | -- | Inf
1157.81/1157.89 c 1130s| 1520k| 1518k| 0 | 0.0 | 433M|8595 | - | 10k| 570 | 0 | 0 | 0 |5746 | 0 | 0.000000e+00 | -- | Inf
1165.62/1165.66 c 1138s| 1530k| 1528k| 0 | 0.0 | 436M|8618 | - | 10k| 570 | 0 | 0 | 0 |5776 | 0 | 0.000000e+00 | -- | Inf
1172.51/1172.53 c 1144s| 1540k| 1538k| 0 | 0.0 | 438M|8628 | - | 10k| 562 | 0 | 0 | 0 |5796 | 0 | 0.000000e+00 | -- | Inf
1180.43/1180.45 c 1152s| 1550k| 1548k| 0 | 0.0 | 441M|8628 | - | 10k| 591 | 0 | 0 | 0 |5846 | 0 | 0.000000e+00 | -- | Inf
1188.82/1188.86 c 1160s| 1560k| 1558k| 0 | 0.0 | 444M|8628 | - | 10k| 592 | 0 | 0 | 0 |5876 | 0 | 0.000000e+00 | -- | Inf
1196.52/1196.50 c 1168s| 1570k| 1568k| 0 | 0.0 | 446M|8628 | - | 10k| 587 | 0 | 0 | 0 |5896 | 0 | 0.000000e+00 | -- | Inf
1203.92/1203.93 c 1175s| 1580k| 1578k| 0 | 0.0 | 449M|8628 | - | 10k| 586 | 0 | 0 | 0 |5916 | 0 | 0.000000e+00 | -- | Inf
1211.12/1211.12 c 1182s| 1590k| 1588k| 0 | 0.0 | 452M|8628 | - | 10k| 581 | 0 | 0 | 0 |5946 | 0 | 0.000000e+00 | -- | Inf
1219.02/1219.01 c 1190s| 1600k| 1598k| 0 | 0.0 | 454M|8661 | - | 10k| 613 | 0 | 0 | 0 |6006 | 0 | 0.000000e+00 | -- | Inf
1227.32/1227.38 c 1198s| 1610k| 1608k| 0 | 0.0 | 457M|8661 | - | 10k| 622 | 0 | 0 | 0 |6046 | 0 | 0.000000e+00 | -- | Inf
1234.92/1234.94 c 1205s| 1620k| 1618k| 0 | 0.0 | 460M|8661 | - | 10k| 615 | 0 | 0 | 0 |6076 | 0 | 0.000000e+00 | -- | Inf
1242.12/1242.12 c 1212s| 1630k| 1628k| 0 | 0.0 | 462M|8661 | - | 10k| 633 | 0 | 0 | 0 |6116 | 0 | 0.000000e+00 | -- | Inf
1249.22/1249.26 c 1219s| 1640k| 1638k| 0 | 0.0 | 465M|8698 | - | 10k| 616 | 0 | 0 | 0 |6136 | 0 | 0.000000e+00 | -- | Inf
1257.12/1257.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.12/1257.18 c 1227s| 1650k| 1648k| 0 | 0.0 | 468M|8698 | - | 10k| 632 | 0 | 0 | 0 |6176 | 0 | 0.000000e+00 | -- | Inf
1265.03/1265.10 c 1235s| 1660k| 1658k| 0 | 0.0 | 470M|8698 | - | 10k| 634 | 0 | 0 | 0 |6196 | 0 | 0.000000e+00 | -- | Inf
1272.83/1272.81 c 1242s| 1670k| 1668k| 0 | 0.0 | 473M|8698 | - | 10k| 645 | 0 | 0 | 0 |6226 | 0 | 0.000000e+00 | -- | Inf
1280.32/1280.32 c 1250s| 1680k| 1678k| 0 | 0.0 | 476M|8698 | - | 10k| 642 | 0 | 0 | 0 |6256 | 0 | 0.000000e+00 | -- | Inf
1287.62/1287.64 c 1257s| 1690k| 1688k| 0 | 0.0 | 478M|8698 | - | 10k| 636 | 0 | 0 | 0 |6296 | 0 | 0.000000e+00 | -- | Inf
1295.62/1295.66 c 1265s| 1700k| 1698k| 0 | 0.0 | 481M|8698 | - | 10k| 677 | 0 | 0 | 0 |6366 | 0 | 0.000000e+00 | -- | Inf
1303.42/1303.46 c 1272s| 1710k| 1708k| 0 | 0.0 | 483M|8698 | - | 10k| 650 | 0 | 0 | 0 |6386 | 0 | 0.000000e+00 | -- | Inf
1311.02/1311.08 c 1280s| 1720k| 1718k| 0 | 0.0 | 486M|8698 | - | 10k| 651 | 0 | 0 | 0 |6406 | 0 | 0.000000e+00 | -- | Inf
1318.53/1318.56 c 1287s| 1730k| 1728k| 0 | 0.0 | 489M|8698 | - | 10k| 661 | 0 | 0 | 0 |6436 | 0 | 0.000000e+00 | -- | Inf
1325.72/1325.79 c 1294s| 1740k| 1738k| 0 | 0.0 | 491M|8698 | - | 10k| 637 | 0 | 0 | 0 |6466 | 0 | 0.000000e+00 | -- | Inf
1333.42/1333.40 c 1301s| 1750k| 1748k| 0 | 0.0 | 494M|8698 | - | 10k| 645 | 0 | 0 | 0 |6516 | 0 | 0.000000e+00 | -- | Inf
1341.72/1341.76 c 1310s| 1760k| 1758k| 0 | 0.0 | 497M|8698 | - | 10k| 653 | 0 | 0 | 0 |6556 | 0 | 0.000000e+00 | -- | Inf
1349.42/1349.41 c 1317s| 1770k| 1768k| 0 | 0.0 | 499M|8698 | - | 10k| 630 | 0 | 0 | 0 |6576 | 0 | 0.000000e+00 | -- | Inf
1357.23/1357.21 c 1325s| 1780k| 1778k| 0 | 0.0 | 502M|8698 | - | 10k| 657 | 0 | 0 | 0 |6626 | 0 | 0.000000e+00 | -- | Inf
1364.72/1364.73 c 1332s| 1790k| 1788k| 0 | 0.0 | 505M|8698 | - | 10k| 635 | 0 | 0 | 0 |6656 | 0 | 0.000000e+00 | -- | Inf
1372.12/1372.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.12/1372.13 c 1339s| 1800k| 1798k| 0 | 0.0 | 507M|8733 | - | 10k| 646 | 0 | 0 | 0 |6716 | 0 | 0.000000e+00 | -- | Inf
1380.22/1380.29 c 1347s| 1810k| 1808k| 0 | 0.0 | 510M|8733 | - | 10k| 647 | 0 | 0 | 0 |6746 | 0 | 0.000000e+00 | -- | Inf
1387.93/1387.96 c 1355s| 1820k| 1818k| 0 | 0.0 | 513M|8755 | - | 10k| 644 | 0 | 0 | 0 |6776 | 0 | 0.000000e+00 | -- | Inf
1395.62/1395.63 c 1362s| 1830k| 1828k| 0 | 0.0 | 515M|8755 | - | 10k| 654 | 0 | 0 | 0 |6816 | 0 | 0.000000e+00 | -- | Inf
1403.03/1403.03 c 1369s| 1840k| 1838k| 0 | 0.0 | 518M|8755 | - | 10k| 646 | 0 | 0 | 0 |6846 | 0 | 0.000000e+00 | -- | Inf
1409.83/1409.81 c 1376s| 1850k| 1848k| 0 | 0.0 | 521M|8755 | - | 10k| 631 | 0 | 0 | 0 |6866 | 0 | 0.000000e+00 | -- | Inf
1417.62/1417.66 c 1384s| 1860k| 1858k| 0 | 0.0 | 523M|8755 | - | 10k| 655 | 0 | 0 | 0 |6926 | 0 | 0.000000e+00 | -- | Inf
1425.33/1425.32 c 1391s| 1870k| 1868k| 0 | 0.0 | 526M|8755 | - | 10k| 654 | 0 | 0 | 0 |6946 | 0 | 0.000000e+00 | -- | Inf
1432.83/1432.89 c 1399s| 1880k| 1878k| 0 | 0.0 | 528M|8755 | - | 10k| 679 | 0 | 0 | 0 |6996 | 0 | 0.000000e+00 | -- | Inf
1440.12/1440.16 c 1406s| 1890k| 1888k| 0 | 0.0 | 531M|8755 | - | 10k| 680 | 0 | 0 | 0 |7036 | 0 | 0.000000e+00 | -- | Inf
1447.12/1447.19 c 1413s| 1900k| 1898k| 0 | 0.0 | 534M|8755 | - | 10k| 661 | 0 | 0 | 0 |7056 | 0 | 0.000000e+00 | -- | Inf
1455.03/1455.02 c 1420s| 1910k| 1908k| 0 | 0.0 | 536M|8770 | - | 10k| 710 | 0 | 0 | 0 |7136 | 0 | 0.000000e+00 | -- | Inf
1463.03/1463.02 c 1428s| 1920k| 1918k| 0 | 0.0 | 539M|8770 | - | 10k| 685 | 0 | 0 | 0 |7156 | 0 | 0.000000e+00 | -- | Inf
1470.52/1470.58 c 1435s| 1930k| 1928k| 0 | 0.0 | 542M|8770 | - | 10k| 686 | 0 | 0 | 0 |7176 | 0 | 0.000000e+00 | -- | Inf
1478.23/1478.22 c 1443s| 1940k| 1938k| 0 | 0.0 | 544M|8784 | - | 10k| 682 | 0 | 0 | 0 |7196 | 0 | 0.000000e+00 | -- | Inf
1485.93/1485.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.93/1485.95 c 1450s| 1950k| 1948k| 0 | 0.0 | 547M|8802 | - | 10k| 698 | 0 | 0 | 0 |7236 | 0 | 0.000000e+00 | -- | Inf
1493.23/1493.26 c 1458s| 1960k| 1958k| 0 | 0.0 | 550M|8802 | - | 10k| 707 | 0 | 0 | 0 |7300 | 0 | 0.000000e+00 | -- | Inf
1501.43/1501.44 c 1466s| 1970k| 1968k| 0 | 0.0 | 552M|8802 | - | 10k| 702 | 0 | 0 | 0 |7330 | 0 | 0.000000e+00 | -- | Inf
1509.34/1509.34 c 1473s| 1980k| 1978k| 0 | 0.0 | 555M|8802 | - | 10k| 713 | 0 | 0 | 0 |7370 | 0 | 0.000000e+00 | -- | Inf
1516.73/1516.71 c 1480s| 1990k| 1988k| 0 | 0.0 | 558M|8802 | - | 10k| 703 | 0 | 0 | 0 |7390 | 0 | 0.000000e+00 | -- | Inf
1523.73/1523.74 c 1487s| 2000k| 1998k| 0 | 0.0 | 560M|8802 | - | 10k| 711 | 0 | 0 | 0 |7417 | 0 | 0.000000e+00 | -- | Inf
1530.73/1530.74 c 1494s| 2010k| 2008k| 0 | 0.0 | 563M|8802 | - | 10k| 699 | 0 | 0 | 0 |7437 | 0 | 0.000000e+00 | -- | Inf
1538.82/1538.90 c 1502s| 2020k| 2018k| 0 | 0.0 | 566M|8802 | - | 10k| 730 | 0 | 0 | 0 |7497 | 0 | 0.000000e+00 | -- | Inf
1547.12/1547.11 c 1510s| 2030k| 2028k| 0 | 0.0 | 568M|8802 | - | 10k| 719 | 0 | 0 | 0 |7527 | 0 | 0.000000e+00 | -- | Inf
1555.03/1555.05 c 1518s| 2040k| 2038k| 0 | 0.0 | 571M|8802 | - | 10k| 722 | 0 | 0 | 0 |7557 | 0 | 0.000000e+00 | -- | Inf
1562.63/1562.69 c 1525s| 2050k| 2048k| 0 | 0.0 | 573M|8802 | - | 10k| 737 | 0 | 0 | 0 |7607 | 0 | 0.000000e+00 | -- | Inf
1569.73/1569.76 c 1532s| 2060k| 2058k| 0 | 0.0 | 576M|8802 | - | 10k| 729 | 0 | 0 | 0 |7687 | 0 | 0.000000e+00 | -- | Inf
1578.03/1578.04 c 1540s| 2070k| 2068k| 0 | 0.0 | 579M|8802 | - | 10k| 719 | 0 | 0 | 0 |7717 | 0 | 0.000000e+00 | -- | Inf
1586.43/1586.40 c 1548s| 2080k| 2078k| 0 | 0.0 | 581M|8802 | - | 10k| 728 | 0 | 0 | 0 |7757 | 0 | 0.000000e+00 | -- | Inf
1593.93/1593.93 c 1556s| 2090k| 2088k| 0 | 0.0 | 584M|8802 | - | 10k| 733 | 0 | 0 | 0 |7797 | 0 | 0.000000e+00 | -- | Inf
1601.13/1601.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.13/1601.10 c 1563s| 2100k| 2098k| 0 | 0.0 | 587M|8802 | - | 10k| 716 | 0 | 0 | 0 |7827 | 0 | 0.000000e+00 | -- | Inf
1608.13/1608.13 c 1570s| 2110k| 2108k| 0 | 0.0 | 589M|8802 | - | 10k| 723 | 0 | 0 | 0 |7877 | 0 | 0.000000e+00 | -- | Inf
1616.13/1616.10 c 1577s| 2120k| 2118k| 0 | 0.0 | 592M|8802 | - | 10k| 751 | 0 | 0 | 0 |7927 | 0 | 0.000000e+00 | -- | Inf
1623.83/1623.88 c 1585s| 2130k| 2128k| 0 | 0.0 | 595M|8802 | - | 10k| 727 | 0 | 0 | 0 |7947 | 0 | 0.000000e+00 | -- | Inf
1631.53/1631.52 c 1592s| 2140k| 2138k| 0 | 0.0 | 597M|8802 | - | 10k| 735 | 0 | 0 | 0 |7987 | 0 | 0.000000e+00 | -- | Inf
1638.53/1638.56 c 1599s| 2150k| 2148k| 0 | 0.0 | 600M|8802 | - | 10k| 723 | 0 | 0 | 0 |8017 | 0 | 0.000000e+00 | -- | Inf
1646.33/1646.37 c 1607s| 2160k| 2158k| 0 | 0.0 | 603M|8802 | - | 10k| 735 | 0 | 0 | 0 |8087 | 0 | 0.000000e+00 | -- | Inf
1654.13/1654.13 c 1614s| 2170k| 2168k| 0 | 0.0 | 605M|8802 | - | 10k| 719 | 0 | 0 | 0 |8107 | 0 | 0.000000e+00 | -- | Inf
1661.42/1661.41 c 1622s| 2180k| 2178k| 0 | 0.0 | 608M|8802 | - | 10k| 725 | 0 | 0 | 0 |8137 | 0 | 0.000000e+00 | -- | Inf
1668.83/1668.85 c 1629s| 2190k| 2188k| 0 | 0.0 | 611M|8802 | - | 10k| 725 | 0 | 0 | 0 |8167 | 0 | 0.000000e+00 | -- | Inf
1676.03/1676.01 c 1636s| 2200k| 2198k| 0 | 0.0 | 613M|8802 | - | 10k| 713 | 0 | 0 | 0 |8197 | 0 | 0.000000e+00 | -- | Inf
1684.13/1684.13 c 1644s| 2210k| 2208k| 0 | 0.0 | 616M|8802 | - | 10k| 744 | 0 | 0 | 0 |8287 | 0 | 0.000000e+00 | -- | Inf
1691.94/1691.91 c 1651s| 2220k| 2218k| 0 | 0.0 | 619M|8802 | - | 10k| 734 | 0 | 0 | 0 |8317 | 0 | 0.000000e+00 | -- | Inf
1699.43/1699.47 c 1659s| 2230k| 2228k| 0 | 0.0 | 621M|8802 | - | 10k| 721 | 0 | 0 | 0 |8347 | 0 | 0.000000e+00 | -- | Inf
1706.43/1706.47 c 1665s| 2240k| 2238k| 0 | 0.0 | 624M|8802 | - | 10k| 714 | 0 | 0 | 0 |8367 | 0 | 0.000000e+00 | -- | Inf
1713.13/1713.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.13/1713.17 c 1672s| 2250k| 2248k| 0 | 0.0 | 627M|8802 | - | 10k| 720 | 0 | 0 | 0 |8397 | 0 | 0.000000e+00 | -- | Inf
1721.03/1721.02 c 1680s| 2260k| 2258k| 0 | 0.0 | 629M|8802 | - | 10k| 726 | 0 | 0 | 0 |8447 | 0 | 0.000000e+00 | -- | Inf
1728.53/1728.52 c 1687s| 2270k| 2268k| 0 | 0.0 | 632M|8802 | - | 10k| 730 | 0 | 0 | 0 |8467 | 0 | 0.000000e+00 | -- | Inf
1735.84/1735.88 c 1694s| 2280k| 2278k| 0 | 0.0 | 634M|8802 | - | 10k| 737 | 0 | 0 | 0 |8487 | 0 | 0.000000e+00 | -- | Inf
1743.03/1743.07 c 1701s| 2290k| 2288k| 0 | 0.0 | 637M|8802 | - | 10k| 736 | 0 | 0 | 0 |8507 | 0 | 0.000000e+00 | -- | Inf
1750.23/1750.22 c 1708s| 2300k| 2298k| 0 | 0.0 | 640M|8802 | - | 10k| 754 | 0 | 0 | 0 |8567 | 0 | 0.000000e+00 | -- | Inf
1758.13/1758.12 c 1716s| 2310k| 2308k| 0 | 0.0 | 642M|8802 | - | 10k| 761 | 0 | 0 | 0 |8617 | 0 | 0.000000e+00 | -- | Inf
1765.93/1765.95 c 1723s| 2320k| 2318k| 0 | 0.0 | 645M|8802 | - | 10k| 739 | 0 | 0 | 0 |8637 | 0 | 0.000000e+00 | -- | Inf
1773.13/1773.13 c 1730s| 2330k| 2328k| 0 | 0.0 | 648M|8802 | - | 10k| 740 | 0 | 0 | 0 |8657 | 0 | 0.000000e+00 | -- | Inf
1780.13/1780.14 c 1737s| 2340k| 2338k| 0 | 0.0 | 650M|8802 | - | 10k| 734 | 0 | 0 | 0 |8677 | 0 | 0.000000e+00 | -- | Inf
1787.93/1787.93 c 1745s| 2350k| 2348k| 0 | 0.0 | 653M|8802 | - | 10k| 753 | 0 | 0 | 0 |8737 | 0 | 0.000000e+00 | -- | Inf
1796.14/1796.19 c 1753s| 2360k| 2358k| 0 | 0.0 | 656M|8802 | - | 10k| 751 | 0 | 0 | 0 |8767 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.14/1800.14 c
1800.14/1800.14 c SCIP Status : solving was interrupted [user interrupt]
1800.14/1800.14 c Solving Time (sec) : 1756.76
1800.14/1800.14 c Solving Nodes : 2366270
1800.14/1800.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.14/1800.14 c Dual Bound : +0.00000000000000e+00
1800.14/1800.14 c Gap : infinite
1800.14/1800.14 s UNKNOWN
1800.14/1800.14 c SCIP Status : solving was interrupted [user interrupt]
1800.14/1800.14 c Solving Time : 1756.76
1800.14/1800.14 c Original Problem :
1800.14/1800.14 c Problem name : HOME/instance-2693778-1277892344.wbo
1800.14/1800.14 c Variables : 10230 (10165 binary, 0 integer, 0 implicit integer, 65 continuous)
1800.14/1800.14 c Constraints : 267 initial, 267 maximal
1800.14/1800.14 c Presolved Problem :
1800.14/1800.14 c Problem name : t_HOME/instance-2693778-1277892344.wbo
1800.14/1800.14 c Variables : 10230 (10165 binary, 0 integer, 0 implicit integer, 65 continuous)
1800.14/1800.14 c Constraints : 266 initial, 784 maximal
1800.14/1800.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.14/1800.14 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.14/1800.14 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c implics : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c probing : 0.06 0 0 0 0 0 0 0 0
1800.14/1800.14 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c linear : 0.01 0 0 0 65 0 1 0 0
1800.14/1800.14 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.14 c root node : - 0 - - 0 - - - -
1800.14/1800.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.14/1800.14 c integral : 0 0 0 0 0 0 0 0 0 0
1800.14/1800.14 c indicator : 65 0 274 0 65 0 65 0 0 0
1800.14/1800.14 c setppc : 67 0 2407136 0 2361403 414 392183 0 0 0
1800.14/1800.14 c linear : 65 0 2411742 0 2365357 322 186144 0 0 0
1800.14/1800.14 c logicor : 69+ 0 147977 0 2365400 147 19782 0 0 0
1800.14/1800.14 c countsols : 0 0 0 0 2365400 0 0 0 0 0
1800.14/1800.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.14/1800.14 c integral : 0.00 0.00 0.00 0.00 0.00
1800.14/1800.14 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.14/1800.14 c setppc : 259.40 0.00 34.66 0.00 224.74
1800.14/1800.14 c linear : 26.39 0.00 26.30 0.00 0.09
1800.14/1800.14 c logicor : 179.86 0.00 11.31 0.00 168.55
1800.14/1800.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.14/1800.14 c Propagators : Time Calls Cutoffs DomReds
1800.14/1800.14 c vbounds : 0.00 2 0 0
1800.14/1800.14 c rootredcost : 0.00 0 0 0
1800.14/1800.14 c pseudoobj : 3.50 2412172 0 0
1800.14/1800.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.14/1800.14 c propagation : 64.51 883 883 45522 1326.0 19316 87.7 -
1800.14/1800.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.14 c applied globally : - - - 8775 97.1 - - -
1800.14/1800.14 c applied locally : - - - 2 1268.5 - - -
1800.14/1800.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.14/1800.14 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.14/1800.14 c redcost : 0.00 0 0 0 0 0
1800.14/1800.14 c impliedbounds : 0.00 0 0 0 0 0
1800.14/1800.14 c intobj : 0.00 0 0 0 0 0
1800.14/1800.14 c cgmip : 0.00 0 0 0 0 0
1800.14/1800.14 c gomory : 0.00 0 0 0 0 0
1800.14/1800.14 c strongcg : 0.00 0 0 0 0 0
1800.14/1800.14 c cmir : 0.00 0 0 0 0 0
1800.14/1800.14 c flowcover : 0.00 0 0 0 0 0
1800.14/1800.14 c clique : 0.00 0 0 0 0 0
1800.14/1800.14 c zerohalf : 0.00 0 0 0 0 0
1800.14/1800.14 c mcf : 0.00 0 0 0 0 0
1800.14/1800.14 c rapidlearning : 0.00 0 0 0 0 0
1800.14/1800.14 c Pricers : Time Calls Vars
1800.14/1800.14 c problem variables: 0.00 0 0
1800.14/1800.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.14/1800.14 c relpscost : 0.00 0 0 0 0 0 0
1800.14/1800.14 c pscost : 0.00 0 0 0 0 0 0
1800.14/1800.14 c inference : 1269.98 2365400 0 0 0 0 4730800
1800.14/1800.14 c mostinf : 0.00 0 0 0 0 0 0
1800.14/1800.14 c leastinf : 0.00 0 0 0 0 0 0
1800.14/1800.14 c fullstrong : 0.00 0 0 0 0 0 0
1800.14/1800.14 c allfullstrong : 0.00 0 0 0 0 0 0
1800.14/1800.14 c random : 0.00 0 0 0 0 0 0
1800.14/1800.14 c Primal Heuristics : Time Calls Found
1800.14/1800.14 c LP solutions : 0.00 - 0
1800.14/1800.14 c pseudo solutions : 0.00 - 0
1800.14/1800.14 c oneopt : 0.00 0 0
1800.14/1800.14 c trivial : 0.02 2 0
1800.14/1800.14 c simplerounding : 0.00 0 0
1800.14/1800.14 c zirounding : 0.00 0 0
1800.14/1800.14 c rounding : 0.00 0 0
1800.14/1800.14 c shifting : 0.00 0 0
1800.14/1800.14 c intshifting : 0.00 0 0
1800.14/1800.14 c twoopt : 0.00 0 0
1800.14/1800.14 c fixandinfer : 0.00 0 0
1800.14/1800.14 c feaspump : 0.00 0 0
1800.14/1800.14 c coefdiving : 0.00 0 0
1800.14/1800.14 c pscostdiving : 0.00 0 0
1800.14/1800.14 c fracdiving : 0.00 0 0
1800.14/1800.14 c veclendiving : 0.00 0 0
1800.14/1800.14 c intdiving : 0.00 0 0
1800.14/1800.14 c actconsdiving : 0.00 0 0
1800.14/1800.14 c objpscostdiving : 0.00 0 0
1800.14/1800.14 c rootsoldiving : 0.00 0 0
1800.14/1800.14 c linesearchdiving : 0.00 0 0
1800.14/1800.14 c guideddiving : 0.00 0 0
1800.14/1800.14 c octane : 0.00 0 0
1800.14/1800.14 c rens : 0.00 0 0
1800.14/1800.14 c rins : 0.00 0 0
1800.14/1800.14 c localbranching : 0.00 0 0
1800.14/1800.14 c mutation : 0.00 0 0
1800.14/1800.14 c crossover : 0.00 0 0
1800.14/1800.14 c dins : 0.00 0 0
1800.14/1800.14 c undercover : 0.00 0 0
1800.14/1800.14 c nlp : 0.00 0 0
1800.14/1800.14 c trysol : 0.00 1 0
1800.14/1800.14 c LP : Time Calls Iterations Iter/call Iter/sec
1800.14/1800.14 c primal LP : 0.00 0 0 0.00 -
1800.14/1800.14 c dual LP : 0.00 0 0 0.00 -
1800.14/1800.14 c lex dual LP : 0.00 0 0 0.00 -
1800.14/1800.14 c barrier LP : 0.00 0 0 0.00 -
1800.14/1800.14 c diving/probing LP: 0.00 0 0 0.00 -
1800.14/1800.14 c strong branching : 0.00 0 0 0.00 -
1800.14/1800.14 c (at root node) : - 0 0 0.00 -
1800.14/1800.14 c conflict analysis: 0.00 0 0 0.00 -
1800.14/1800.14 c B&B Tree :
1800.14/1800.14 c number of runs : 1
1800.14/1800.14 c nodes : 2366270
1800.14/1800.14 c nodes (total) : 2366270
1800.14/1800.14 c nodes left : 2364506
1800.14/1800.14 c max depth : 8802
1800.14/1800.14 c max depth (total): 8802
1800.14/1800.14 c backtracks : 339 (0.0%)
1800.14/1800.14 c delayed cutoffs : 25
1800.14/1800.14 c repropagations : 590 (2785 domain reductions, 13 cutoffs)
1800.14/1800.14 c avg switch length: 2.22
1800.14/1800.14 c switching time : 7.89
1800.14/1800.14 c Solution :
1800.14/1800.14 c Solutions found : 0 (0 improvements)
1800.14/1800.14 c Primal Bound : -
1800.14/1800.14 c Dual Bound : +0.00000000000000e+00
1800.14/1800.14 c Gap : infinite
1800.14/1800.14 c Root Dual Bound : +0.00000000000000e+00
1800.14/1800.14 c Root Iterations : 0
1801.94/1801.91 c Time complete: 1801.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693778-1277892344/watcher-2693778-1277892344 -o /tmp/evaluation-result-2693778-1277892344/solver-2693778-1277892344 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693778-1277892344.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.96 2.00 2.43 3/178 13851
/proc/meminfo: memFree=30025912/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=8524 CPUtime=0
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 1614 0 0 0 0 0 0 0 22 0 1 0 130528931 8728576 1536 4089446400 4194304 7136930 140734514826672 18446744073709551615 6419843 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13851/statm: 2131 1537 275 719 0 1410 0
[startup+0.104639 s]
/proc/loadavg: 1.96 2.00 2.43 3/178 13851
/proc/meminfo: memFree=30025912/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=35392 CPUtime=0.09
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 9912 0 0 0 9 0 0 0 22 0 1 0 130528931 36241408 8100 4089446400 4194304 7136930 140734514826672 18446744073709551615 4948426 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 8848 8100 383 719 0 8127 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35392
[startup+0.200625 s]
/proc/loadavg: 1.96 2.00 2.43 3/178 13851
/proc/meminfo: memFree=30025912/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=37948 CPUtime=0.19
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 10554 0 0 0 18 1 0 0 22 0 1 0 130528931 38858752 8669 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 9487 8669 400 719 0 8766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37948
[startup+0.300605 s]
/proc/loadavg: 1.96 2.00 2.43 3/178 13851
/proc/meminfo: memFree=30025912/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=37948 CPUtime=0.29
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 10558 0 0 0 28 1 0 0 22 0 1 0 130528931 38858752 8669 4089446400 4194304 7136930 140734514826672 18446744073709551615 4407986 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 9487 8669 396 719 0 8766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37948
[startup+0.700534 s]
/proc/loadavg: 1.96 2.00 2.43 3/178 13851
/proc/meminfo: memFree=30025912/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=37948 CPUtime=0.69
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 10561 0 0 0 68 1 0 0 24 0 1 0 130528931 38858752 8670 4089446400 4194304 7136930 140734514826672 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 9487 8670 394 719 0 8766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37948
[startup+1.50039 s]
/proc/loadavg: 1.97 2.00 2.43 3/179 13852
/proc/meminfo: memFree=29990564/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=39164 CPUtime=1.49
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 10867 0 0 0 147 2 0 0 25 0 1 0 130528931 40103936 8976 4089446400 4194304 7136930 140734514826672 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 9791 8976 394 719 0 9070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39164
[startup+3.10011 s]
/proc/loadavg: 1.97 2.00 2.43 3/179 13852
/proc/meminfo: memFree=29987464/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=40092 CPUtime=3.09
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 11079 0 0 0 304 5 0 0 25 0 1 0 130528931 41054208 9188 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 10023 9188 394 719 0 9302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40092
[startup+6.30055 s]
/proc/loadavg: 1.97 2.00 2.43 3/179 13852
/proc/meminfo: memFree=29980024/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=41264 CPUtime=6.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 11397 0 0 0 615 15 0 0 25 0 1 0 130528931 42254336 9504 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 10316 9504 398 719 0 9595 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 41264
[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.42 3/179 13853
/proc/meminfo: memFree=29968504/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=43924 CPUtime=12.69
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 12095 0 0 0 1238 31 0 0 25 0 1 0 130528931 44978176 10202 4089446400 4194304 7136930 140734514826672 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 10981 10202 398 719 0 10260 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43924
[startup+25.5002 s]
/proc/loadavg: 1.97 2.00 2.42 3/179 13853
/proc/meminfo: memFree=29941940/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=50784 CPUtime=25.49
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 13885 0 0 0 2482 67 0 0 25 0 1 0 130528931 52002816 11992 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 12696 11992 398 719 0 11975 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50784
[startup+51.1006 s]
/proc/loadavg: 1.98 2.00 2.40 3/179 13853
/proc/meminfo: memFree=29889020/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=67920 CPUtime=51.09
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 17775 0 0 0 4972 137 0 0 25 0 1 0 130528931 69550080 15882 4089446400 4194304 7136930 140734514826672 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 16980 15882 398 719 0 16259 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67920
[startup+102.301 s]
/proc/loadavg: 1.99 2.00 2.38 3/179 13855
/proc/meminfo: memFree=29729996/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=93976 CPUtime=102.29
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 24546 0 0 0 9957 272 0 0 25 0 1 0 130528931 96231424 22653 4089446400 4194304 7136930 140734514826672 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 23494 22653 398 719 0 22773 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 93976
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.35 4/179 13857
/proc/meminfo: memFree=29553744/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=122572 CPUtime=162.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 30981 0 0 0 15809 421 0 0 25 0 1 0 130528931 125513728 29088 4089446400 4194304 7136930 140734514826672 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 30643 29088 398 719 0 29922 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 122572
[startup+222.306 s]
/proc/loadavg: 1.99 2.00 2.33 3/179 13858
/proc/meminfo: memFree=29384436/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=143676 CPUtime=222.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 36528 0 0 0 21672 558 0 0 25 0 1 0 130528931 147124224 34635 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 35919 34635 398 719 0 35198 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 143676
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.31 3/179 13859
/proc/meminfo: memFree=29211388/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=166344 CPUtime=282.29
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 42501 0 0 0 27530 699 0 0 25 0 1 0 130528931 170336256 40604 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 41586 40604 398 719 0 40865 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 166344
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.28 3/179 13861
/proc/meminfo: memFree=29024212/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=199220 CPUtime=342.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 48908 0 0 0 33378 852 0 0 25 0 1 0 130528931 204001280 47011 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 49805 47011 398 719 0 49084 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 199220
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.26 3/179 13863
/proc/meminfo: memFree=28841964/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=228484 CPUtime=402.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 56462 0 0 0 39233 997 0 0 25 0 1 0 130528931 233967616 54565 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 57121 54565 398 719 0 56400 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 228484
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.24 3/179 13865
/proc/meminfo: memFree=28679968/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=254604 CPUtime=462.31
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 63223 0 0 0 45088 1143 0 0 25 0 1 0 130528931 260714496 61326 4089446400 4194304 7136930 140734514826672 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 63651 61326 398 719 0 62930 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 254604
[startup+522.3 s]
/proc/loadavg: 2.07 2.01 2.23 3/179 13866
/proc/meminfo: memFree=28551328/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=277500 CPUtime=522.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 69187 0 0 0 50954 1276 0 0 25 0 1 0 130528931 284160000 67290 4089446400 4194304 7136930 140734514826672 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 69375 67290 398 719 0 68654 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 277500
[startup+582.301 s]
/proc/loadavg: 2.03 2.01 2.21 3/179 13867
/proc/meminfo: memFree=28392692/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=300400 CPUtime=582.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 75159 0 0 0 56816 1414 0 0 25 0 1 0 130528931 307609600 73262 4089446400 4194304 7136930 140734514826672 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 75100 73262 398 719 0 74379 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 300400
[startup+642.3 s]
/proc/loadavg: 2.01 2.00 2.20 3/179 13869
/proc/meminfo: memFree=28273848/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=325108 CPUtime=642.3
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 81565 0 0 0 62674 1556 0 0 25 0 1 0 130528931 332910592 79668 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 81277 79668 398 719 0 80556 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 325108
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.96 1.98 2.12 3/179 13907
/proc/meminfo: memFree=30801712/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=481296 CPUtime=1002.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 117829 0 0 0 97816 2416 0 0 25 0 1 0 130528931 492847104 115932 4089446400 4194304 7136930 140734514826672 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 120324 115932 398 719 0 119603 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 481296
[startup+1062.3 s]
/proc/loadavg: 1.98 1.98 2.10 3/179 13909
/proc/meminfo: memFree=30778092/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=504304 CPUtime=1062.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 123770 0 0 0 103674 2558 0 0 25 0 1 0 130528931 516407296 121873 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 126076 121873 398 719 0 125355 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 504304
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 2.09 3/179 13910
/proc/meminfo: memFree=30753368/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=528636 CPUtime=1122.31
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 129918 0 0 0 109530 2701 0 0 25 0 1 0 130528931 541323264 128021 4089446400 4194304 7136930 140734514826672 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 132159 128021 398 719 0 131438 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 528636
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 2.09 3/179 13911
/proc/meminfo: memFree=30731000/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=550272 CPUtime=1182.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 135557 0 0 0 115388 2844 0 0 25 0 1 0 130528931 563478528 133660 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 137568 133660 398 719 0 136847 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 550272
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 2.08 3/179 13913
/proc/meminfo: memFree=30706776/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=572392 CPUtime=1242.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 141278 0 0 0 121247 2985 0 0 25 0 1 0 130528931 586129408 139381 4089446400 4194304 7136930 140734514826672 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 143098 139381 398 719 0 142377 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 572392
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.07 3/179 13915
/proc/meminfo: memFree=30684024/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=594424 CPUtime=1302.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 146972 0 0 0 127104 3128 0 0 25 0 1 0 130528931 608690176 145075 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 148606 145075 398 719 0 147885 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 594424
[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 2.07 3/179 13917
/proc/meminfo: memFree=30661640/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=616028 CPUtime=1362.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 152574 0 0 0 132965 3267 0 0 25 0 1 0 130528931 630812672 150677 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 154007 150677 398 719 0 153286 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 616028
[startup+1422.3 s]
/proc/loadavg: 2.03 2.00 2.07 3/179 13918
/proc/meminfo: memFree=30637900/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=638608 CPUtime=1422.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 158488 0 0 0 138826 3406 0 0 25 0 1 0 130528931 653934592 156591 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 159652 156591 398 719 0 158931 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 638608
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.06 3/179 13919
/proc/meminfo: memFree=30616404/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=659652 CPUtime=1482.32
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 164007 0 0 0 144687 3545 0 0 25 0 1 0 130528931 675483648 162110 4089446400 4194304 7136930 140734514826672 18446744073709551615 4643136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 164913 162110 398 719 0 164192 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 659652
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 13921
/proc/meminfo: memFree=30592408/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=681708 CPUtime=1542.33
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 169787 0 0 0 150537 3696 0 0 25 0 1 0 130528931 698068992 167890 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 170427 167890 398 719 0 169706 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 681708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13926
/proc/meminfo: memFree=30565592/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=739328 CPUtime=1602.33
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 176202 0 0 0 156395 3838 0 0 25 0 1 0 130528931 757071872 174305 4089446400 4194304 7136930 140734514826672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 184832 174305 398 719 0 184111 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 739328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13928
/proc/meminfo: memFree=30543356/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=760504 CPUtime=1662.33
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 181791 0 0 0 162243 3990 0 0 25 0 1 0 130528931 778756096 179894 4089446400 4194304 7136930 140734514826672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 190126 179894 398 719 0 189405 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 760504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13929
/proc/meminfo: memFree=30520356/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=782928 CPUtime=1722.33
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 187643 0 0 0 168087 4146 0 0 25 0 1 0 130528931 801718272 185746 4089446400 4194304 7136930 140734514826672 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 195732 185746 398 719 0 195011 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 782928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13930
/proc/meminfo: memFree=30496364/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=805340 CPUtime=1782.34
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 193522 0 0 0 173937 4297 0 0 25 0 1 0 130528931 824668160 191625 4089446400 4194304 7136930 140734514826672 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 201335 191625 398 719 0 200614 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 805340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13931
/proc/meminfo: memFree=30489144/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=812316 CPUtime=1800.04
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 195310 0 0 0 175664 4340 0 0 25 0 1 0 130528931 831811584 193413 4089446400 4194304 7136930 140734514826672 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13851/statm: 203079 193413 398 719 0 202358 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 812316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 13932
/proc/meminfo: memFree=30488516/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=812700 CPUtime=1800.74
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 195478 0 0 0 175734 4340 0 0 25 0 1 0 130528931 832204800 193517 4089446400 4194304 7136930 140734514826672 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13851/statm: 203175 193517 403 719 0 202454 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 812700
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 13932
/proc/meminfo: memFree=30488516/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=645280 CPUtime=1801.53
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 195532 0 0 0 175812 4341 0 0 25 0 1 0 130528931 660766720 151662 4089446400 4194304 7136930 140734514826672 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13851/statm: 161320 151662 403 719 0 160599 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 645280
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 13932
/proc/meminfo: memFree=30785992/32951124 swapFree=67111528/67111528
[pid=13851] ppid=13849 vsize=108488 CPUtime=1801.94
/proc/13851/stat : 13851 (pbscip.linux.x8) R 13849 13851 12815 0 -1 4202496 195536 0 0 0 175851 4343 0 0 25 0 1 0 130528931 111091712 24803 4089446400 4194304 7136930 140734514826672 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13851/statm: 27122 24803 403 719 0 26401 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 108488
Child status: 0
Real time (s): 1801.91
CPU time (s): 1801.95
CPU user time (s): 1758.51
CPU system time (s): 43.4394
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 812700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.51
system time used= 43.4394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3136
runsolver used 2.39064 second user time and 5.82211 second system time
The end
Begin job on node140 at 2010-06-30 12:05:44
IDJOB=2693778
IDBENCH=78713
IDSOLVER=1206
FILE ID=node140/2693778-1277892344
PBS_JOBID= 11197074
Free space on /tmp= 74200 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693778-1277892344/watcher-2693778-1277892344 -o /tmp/evaluation-result-2693778-1277892344/solver-2693778-1277892344 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693778-1277892344.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=1324064546
node140.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.790
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.58
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.790
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.07
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.790
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.790
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.89
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.790
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 : 5421.15
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.790
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.790
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.790
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: 32951124 kB
MemFree: 30026564 kB
Buffers: 176144 kB
Cached: 1274784 kB
SwapCached: 0 kB
Active: 2051892 kB
Inactive: 724516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30026564 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3424 kB
Writeback: 0 kB
AnonPages: 1325204 kB
Mapped: 15312 kB
Slab: 80476 kB
PageTables: 7000 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1468024 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= 74196 MiB
End job on node140 at 2010-06-30 12:35:47