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-2663773-1276656112.opb>
0.00/0.03 c original problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 2724 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.03/0.06 c presolving:
0.19/0.28 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73720 impls, 0 clqs
0.49/0.50 c (0.3s) probing: 101/2724 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.50 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.50 c presolving (2 rounds):
0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 73720 implications, 0 cliques
0.49/0.50 c presolved problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 2724 constraints
0.49/0.50 c 2524 constraints of type <and>
0.49/0.50 c 200 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.27
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 1.2.1.2
0.49/0.50 c
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = 10000
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1799.97
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 1620
0.49/0.50 c
0.49/0.50 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c lp/solvefreq = -1
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c heuristics/undercover/freq = 0
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.50 c
0.49/0.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.51 c 0.3s| 1 | 2 | 0 | - |8984k| 0 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.79/14.84 c 14.4s| 10000 | 10001 | 0 | 0.0 | 19M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
28.78/28.85 c 28.1s| 20000 | 20001 | 0 | 0.0 | 30M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
42.47/42.55 c 41.6s| 30000 | 30001 | 0 | 0.0 | 41M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
55.27/55.37 c 54.2s| 40000 | 40001 | 0 | 0.0 | 51M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
67.67/67.72 c 66.2s| 50000 | 50001 | 0 | 0.0 | 62M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
79.66/79.75 c 78.0s| 60000 | 60001 | 0 | 0.0 | 72M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
91.27/91.37 c 89.4s| 70000 | 70001 | 0 | 0.0 | 83M| 153 | - |2724 |2724 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
102.46/102.57 c 100s| 80000 | 79999 | 0 | 0.0 | 93M| 153 | - |2724 |2725 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
113.27/113.39 c 111s| 90000 | 89999 | 0 | 0.0 | 104M| 153 | - |2724 |2725 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
123.76/123.85 c 121s|100000 | 99997 | 0 | 0.0 | 115M| 153 | - |2724 |2726 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
133.85/133.96 c 131s|110000 |109997 | 0 | 0.0 | 126M| 153 | - |2724 |2726 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
143.95/144.10 c 141s|120000 |119997 | 0 | 0.0 | 137M| 155 | - |2724 |2726 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
154.24/154.39 c 151s|130000 |129995 | 0 | 0.0 | 147M| 177 | - |2724 |2727 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
167.24/167.30 c 164s|140000 |139995 | 0 | 0.0 | 157M| 177 | - |2724 |2727 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
178.44/178.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.44/178.57 c 175s|150000 |149995 | 0 | 0.0 | 168M| 177 | - |2724 |2726 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
188.73/188.81 c 185s|160000 |159995 | 0 | 0.0 | 179M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
203.03/203.20 c 199s|170000 |169995 | 0 | 0.0 | 189M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
217.53/217.61 c 213s|180000 |179995 | 0 | 0.0 | 200M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
231.83/231.96 c 227s|190000 |189995 | 0 | 0.0 | 210M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
245.83/245.90 c 241s|200000 |199995 | 0 | 0.0 | 219M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
259.82/259.94 c 255s|210000 |209995 | 0 | 0.0 | 230M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
273.61/273.70 c 268s|220000 |219995 | 0 | 0.0 | 240M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
287.11/287.27 c 282s|230000 |229995 | 0 | 0.0 | 251M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
300.60/300.72 c 295s|240000 |239995 | 0 | 0.0 | 260M| 177 | - |2724 |2725 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
313.90/314.06 c 308s|250000 |249993 | 0 | 0.0 | 271M| 177 | - |2724 |2726 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
327.10/327.23 c 321s|260000 |259993 | 0 | 0.0 | 281M| 177 | - |2724 |2726 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
339.99/340.18 c 334s|270000 |269993 | 0 | 0.0 | 291M| 177 | - |2724 |2726 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
352.79/352.99 c 346s|280000 |279993 | 0 | 0.0 | 301M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
365.59/365.75 c 359s|290000 |289993 | 0 | 0.0 | 311M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
378.29/378.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.29/378.46 c 371s|300000 |299993 | 0 | 0.0 | 321M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
390.78/390.95 c 383s|310000 |309993 | 0 | 0.0 | 330M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
403.18/403.32 c 396s|320000 |319993 | 0 | 0.0 | 340M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
415.47/415.65 c 408s|330000 |329993 | 0 | 0.0 | 350M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
427.68/427.89 c 420s|340000 |339993 | 0 | 0.0 | 361M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
439.88/440.06 c 432s|350000 |349993 | 0 | 0.0 | 371M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
452.37/452.54 c 444s|360000 |359993 | 0 | 0.0 | 381M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
464.46/464.61 c 456s|370000 |369993 | 0 | 0.0 | 391M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
476.56/476.72 c 468s|380000 |379993 | 0 | 0.0 | 401M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
488.36/488.59 c 479s|390000 |389993 | 0 | 0.0 | 411M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
500.45/500.61 c 491s|400000 |399993 | 0 | 0.0 | 421M| 177 | - |2724 |2725 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
512.15/512.34 c 502s|410000 |409993 | 0 | 0.0 | 431M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
524.24/524.48 c 514s|420000 |419993 | 0 | 0.0 | 441M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
536.14/536.35 c 526s|430000 |429993 | 0 | 0.0 | 451M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
547.94/548.13 c 538s|440000 |439993 | 0 | 0.0 | 461M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
559.65/559.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.65/559.86 c 549s|450000 |449993 | 0 | 0.0 | 472M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
571.23/571.48 c 560s|460000 |459993 | 0 | 0.0 | 482M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
583.04/583.28 c 572s|470000 |469993 | 0 | 0.0 | 492M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
594.63/594.82 c 583s|480000 |479993 | 0 | 0.0 | 502M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
606.23/606.44 c 595s|490000 |489993 | 0 | 0.0 | 512M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
617.72/617.90 c 606s|500000 |499993 | 0 | 0.0 | 522M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
629.12/629.36 c 617s|510000 |509993 | 0 | 0.0 | 532M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
640.61/640.87 c 629s|520000 |519993 | 0 | 0.0 | 543M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
652.01/652.26 c 640s|530000 |529993 | 0 | 0.0 | 553M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
663.51/663.74 c 651s|540000 |539993 | 0 | 0.0 | 563M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
674.81/675.07 c 662s|550000 |549993 | 0 | 0.0 | 573M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
686.00/686.22 c 673s|560000 |559993 | 0 | 0.0 | 583M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
697.30/697.56 c 684s|570000 |569993 | 0 | 0.0 | 593M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
708.59/708.82 c 695s|580000 |579993 | 0 | 0.0 | 604M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
719.79/720.06 c 706s|590000 |589993 | 0 | 0.0 | 614M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
730.99/731.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.99/731.26 c 717s|600000 |599993 | 0 | 0.0 | 624M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
742.29/742.54 c 728s|610000 |609993 | 0 | 0.0 | 634M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
753.39/753.67 c 739s|620000 |619993 | 0 | 0.0 | 645M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
764.48/764.77 c 750s|630000 |629993 | 0 | 0.0 | 655M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
775.78/776.08 c 761s|640000 |639993 | 0 | 0.0 | 665M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
786.88/787.12 c 772s|650000 |649993 | 0 | 0.0 | 675M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
797.77/798.06 c 782s|660000 |659993 | 0 | 0.0 | 685M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
808.77/809.01 c 793s|670000 |669993 | 0 | 0.0 | 695M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
819.77/820.03 c 804s|680000 |679993 | 0 | 0.0 | 706M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
830.57/830.84 c 814s|690000 |689993 | 0 | 0.0 | 716M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
841.36/841.64 c 825s|700000 |699993 | 0 | 0.0 | 726M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
852.26/852.51 c 836s|710000 |709993 | 0 | 0.0 | 736M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
863.16/863.46 c 846s|720000 |719993 | 0 | 0.0 | 746M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
873.96/874.23 c 857s|730000 |729993 | 0 | 0.0 | 756M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
884.65/884.92 c 867s|740000 |739993 | 0 | 0.0 | 766M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
895.45/895.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.45/895.71 c 878s|750000 |749993 | 0 | 0.0 | 776M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
906.25/906.55 c 889s|760000 |759993 | 0 | 0.0 | 786M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
917.34/917.66 c 899s|770000 |769993 | 0 | 0.0 | 797M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
928.04/928.34 c 910s|780000 |779993 | 0 | 0.0 | 807M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
938.74/939.04 c 920s|790000 |789993 | 0 | 0.0 | 817M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
949.53/949.86 c 931s|800000 |799993 | 0 | 0.0 | 827M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
960.43/960.77 c 942s|810000 |809993 | 0 | 0.0 | 837M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
971.53/971.85 c 952s|820000 |819993 | 0 | 0.0 | 848M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
982.13/982.44 c 963s|830000 |829993 | 0 | 0.0 | 858M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
992.63/992.98 c 973s|840000 |839993 | 0 | 0.0 | 868M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1003.32/1003.65 c 984s|850000 |849993 | 0 | 0.0 | 878M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1013.92/1014.25 c 994s|860000 |859993 | 0 | 0.0 | 888M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1024.41/1024.75 c 1004s|870000 |869993 | 0 | 0.0 | 898M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1034.91/1035.22 c 1014s|880000 |879993 | 0 | 0.0 | 909M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1045.41/1045.76 c 1025s|890000 |889993 | 0 | 0.0 | 919M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1056.20/1056.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.20/1056.51 c 1035s|900000 |899993 | 0 | 0.0 | 929M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1066.80/1067.10 c 1046s|910000 |909993 | 0 | 0.0 | 939M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1077.40/1077.75 c 1056s|920000 |919993 | 0 | 0.0 | 950M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1087.89/1088.24 c 1066s|930000 |929993 | 0 | 0.0 | 960M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1098.50/1098.83 c 1077s|940000 |939993 | 0 | 0.0 | 970M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1108.99/1109.33 c 1087s|950000 |949993 | 0 | 0.0 | 980M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1119.50/1119.85 c 1097s|960000 |959993 | 0 | 0.0 | 990M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1130.08/1130.40 c 1107s|970000 |969993 | 0 | 0.0 |1001M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1140.79/1141.10 c 1118s|980000 |979993 | 0 | 0.0 |1011M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1151.27/1151.64 c 1128s|990000 |989993 | 0 | 0.0 |1022M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1161.86/1162.25 c 1139s| 1000k|999993 | 0 | 0.0 |1032M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1172.86/1173.27 c 1149s| 1010k| 1009k| 0 | 0.0 |1043M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1183.56/1183.95 c 1160s| 1020k| 1019k| 0 | 0.0 |1053M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1194.56/1194.93 c 1171s| 1030k| 1029k| 0 | 0.0 |1064M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1205.26/1205.65 c 1181s| 1040k| 1039k| 0 | 0.0 |1074M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1215.75/1216.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.75/1216.18 c 1191s| 1050k| 1049k| 0 | 0.0 |1085M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1226.16/1226.56 c 1202s| 1060k| 1059k| 0 | 0.0 |1095M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1236.44/1236.88 c 1212s| 1070k| 1069k| 0 | 0.0 |1105M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1246.75/1247.18 c 1222s| 1080k| 1079k| 0 | 0.0 |1116M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1257.24/1257.64 c 1232s| 1090k| 1089k| 0 | 0.0 |1126M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1267.54/1267.96 c 1242s| 1100k| 1099k| 0 | 0.0 |1136M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1278.04/1278.45 c 1252s| 1110k| 1109k| 0 | 0.0 |1146M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1288.63/1289.02 c 1263s| 1120k| 1119k| 0 | 0.0 |1156M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1298.92/1299.32 c 1273s| 1130k| 1129k| 0 | 0.0 |1166M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1309.33/1309.70 c 1283s| 1140k| 1139k| 0 | 0.0 |1176M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1319.42/1319.88 c 1293s| 1150k| 1149k| 0 | 0.0 |1186M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1330.02/1330.40 c 1303s| 1160k| 1159k| 0 | 0.0 |1196M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1340.52/1340.93 c 1313s| 1170k| 1169k| 0 | 0.0 |1207M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1350.61/1351.08 c 1323s| 1180k| 1179k| 0 | 0.0 |1217M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1360.61/1361.09 c 1333s| 1190k| 1189k| 0 | 0.0 |1227M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1371.21/1371.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.21/1371.69 c 1343s| 1200k| 1199k| 0 | 0.0 |1237M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1381.50/1381.94 c 1353s| 1210k| 1209k| 0 | 0.0 |1248M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1392.00/1392.41 c 1364s| 1220k| 1219k| 0 | 0.0 |1258M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1402.40/1402.81 c 1374s| 1230k| 1229k| 0 | 0.0 |1269M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1413.00/1413.44 c 1384s| 1240k| 1239k| 0 | 0.0 |1279M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1423.39/1423.86 c 1394s| 1250k| 1249k| 0 | 0.0 |1289M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1433.49/1433.98 c 1404s| 1260k| 1259k| 0 | 0.0 |1300M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1443.80/1444.20 c 1414s| 1270k| 1269k| 0 | 0.0 |1310M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1453.99/1454.46 c 1424s| 1280k| 1279k| 0 | 0.0 |1320M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1464.48/1464.90 c 1434s| 1290k| 1289k| 0 | 0.0 |1331M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1474.59/1475.06 c 1444s| 1300k| 1299k| 0 | 0.0 |1341M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1484.48/1485.00 c 1454s| 1310k| 1309k| 0 | 0.0 |1351M| 177 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | -- | Inf
1491.18/1491.69 c (node 1316787) switching to memory saving mode (mem: 1296.0M/1620.0M)
1491.57/1492.08 o 41
1491.57/1492.08 c *1461s| 1316k| 1316k| 0 | 0.0 |1359M| 195 | - |2724 |2724 | 0 | 0 | 0 | 4 | 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1491.67/1492.13 o 40
1491.67/1492.13 c *1461s| 1316k| 1316k| 0 | 0.0 |1359M| 195 | - |2724 |2734 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
1491.67/1492.19 o 39
1491.67/1492.19 c *1461s| 1316k| 1316k| 0 | 0.0 |1359M| 195 | - |2724 |2754 | 0 | 0 | 0 | 34 | 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1491.77/1492.24 o 38
1491.77/1492.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.77/1492.24 c *1461s| 1316k| 1316k| 0 | 0.0 |1359M| 195 | - |2724 |2764 | 0 | 0 | 0 | 44 | 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1492.19/1492.65 o 37
1492.19/1492.65 c *1462s| 1316k| 1316k| 0 | 0.0 |1359M| 195 | - |2724 |3002 | 0 | 0 | 0 | 312 | 0 | 2.000000e+00 | 3.700000e+01 |1750.00%
1492.38/1492.88 o 36
1492.38/1492.88 c *1462s| 1317k| 1316k| 0 | 0.0 |1359M| 216 | - |2724 |3095 | 0 | 0 | 0 | 407 | 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
1492.48/1492.95 o 35
1492.48/1492.95 c *1462s| 1317k| 1316k| 0 | 0.0 |1359M| 218 | - |2724 |3155 | 0 | 0 | 0 | 467 | 0 | 2.000000e+00 | 3.500000e+01 |1650.00%
1492.57/1493.02 o 34
1492.57/1493.02 c *1462s| 1317k| 1316k| 0 | 0.0 |1360M| 218 | - |2724 |3196 | 0 | 0 | 0 | 508 | 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1492.67/1493.10 o 33
1492.67/1493.10 c *1462s| 1317k| 1316k| 0 | 0.0 |1360M| 218 | - |2724 |3256 | 0 | 0 | 0 | 588 | 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1493.07/1493.58 o 32
1493.07/1493.58 c *1462s| 1317k| 1316k| 0 | 0.0 |1360M| 218 | - |2724 |3650 | 0 | 0 | 0 |1109 | 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1514.87/1515.34 c 1484s| 1320k| 1316k| 0 | 0.0 |1363M| 218 | - |2724 |5244 | 0 | 0 | 0 |6741 | 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1525.67/1526.10 o 31
1525.67/1526.10 c *1495s| 1321k| 1316k| 0 | 0.0 |1365M| 221 | - |2724 |6724 | 0 | 0 | 0 |9633 | 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1585.85/1586.36 c 1555s| 1330k| 1316k| 0 | 0.0 |1366M| 221 | - |2724 |7613 | 0 | 0 | 0 | 24k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1663.84/1664.36 c 1632s| 1340k| 1316k| 0 | 0.0 |1369M| 221 | - |2724 |9172 | 0 | 0 | 0 | 43k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1668.63/1669.10 o 30
1668.63/1669.10 c *1637s| 1340k| 1316k| 0 | 0.0 |1370M| 222 | - |2724 |9727 | 0 | 0 | 0 | 44k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1731.81/1732.36 c 1700s| 1350k| 1316k| 0 | 0.0 |1368M| 222 | - |2724 |8297 | 0 | 0 | 0 | 61k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.52 c
1800.00/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.52 c Solving Time (sec) : 1767.72
1800.00/1800.52 c Solving Nodes : 1359024
1800.00/1800.52 c Primal Bound : +3.00000000000000e+01 (12 solutions)
1800.00/1800.52 c Dual Bound : +2.00000000000000e+00
1800.00/1800.52 c Gap : 1400.00 %
1800.00/1800.52 s SATISFIABLE
1800.00/1800.52 v -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 x182 -x181 -x180 -x179
1800.00/1800.52 v x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 x161 x160 -x159 -x158 -x157
1800.00/1800.52 v -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 x138 -x137 -x136 x135
1800.00/1800.52 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114
1800.00/1800.52 v -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1800.00/1800.52 v -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.00/1800.52 v x65 -x64 -x63 -x62 x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41
1800.00/1800.52 v -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.00/1800.52 v -x14 -x13 -x12 -x11 -x10 -x9 x8 x7 x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.52 c Solving Time : 1767.72
1800.00/1800.52 c Original Problem :
1800.00/1800.52 c Problem name : HOME/instance-2663773-1276656112.opb
1800.00/1800.52 c Variables : 2724 (2724 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.52 c Constraints : 2724 initial, 2724 maximal
1800.00/1800.52 c Presolved Problem :
1800.00/1800.52 c Problem name : t_HOME/instance-2663773-1276656112.opb
1800.00/1800.52 c Variables : 2724 (2724 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.52 c Constraints : 2724 initial, 10441 maximal
1800.00/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.52 c probing : 0.05 0 0 0 0 0 0 0 0
1800.00/1800.52 c and : 0.20 0 0 0 0 0 0 0 0
1800.00/1800.52 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.52 c root node : - 0 - - 0 - - - -
1800.00/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.52 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.52 c and : 2524 0 3944560 0 1347453 3155 21033959 0 0 0
1800.00/1800.52 c logicor : 200+ 0 732557 0 1347465 14407 167814 0 0 0
1800.00/1800.52 c countsols : 0 0 0 0 1347465 0 0 0 0 0
1800.00/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.52 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.52 c and : 369.80 0.00 346.54 0.00 23.26
1800.00/1800.52 c logicor : 385.24 0.00 169.16 0.00 216.08
1800.00/1800.52 c countsols : 0.80 0.00 0.00 0.00 0.80
1800.00/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.52 c vbounds : 2.08 2 0 0
1800.00/1800.52 c rootredcost : 2.02 0 0 0
1800.00/1800.52 c pseudoobj : 114.75 3950247 5854 310669
1800.00/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.52 c propagation : 249.25 23416 23416 2278385 254.9 60 91.1 -
1800.00/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.52 c pseudo solution : 0.01 3 3 188 170.1 0 0.0 -
1800.00/1800.52 c applied globally : - - - 78389 121.4 - - -
1800.00/1800.52 c applied locally : - - - 0 0.0 - - -
1800.00/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.52 c redcost : 0.00 0 0 0 0 0
1800.00/1800.52 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.52 c intobj : 0.00 0 0 0 0 0
1800.00/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.52 c gomory : 0.00 0 0 0 0 0
1800.00/1800.52 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.52 c cmir : 0.00 0 0 0 0 0
1800.00/1800.52 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.52 c clique : 0.00 0 0 0 0 0
1800.00/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.52 c mcf : 0.00 0 0 0 0 0
1800.00/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.52 c Pricers : Time Calls Vars
1800.00/1800.52 c problem variables: 0.00 0 0
1800.00/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.52 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.52 c inference : 740.20 1347453 0 0 0 0 2694906
1800.00/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.52 c random : 0.00 0 0 0 0 0 0
1800.00/1800.52 c Primal Heuristics : Time Calls Found
1800.00/1800.52 c LP solutions : 0.00 - 0
1800.00/1800.52 c pseudo solutions : 0.59 - 12
1800.00/1800.52 c oneopt : 1.02 0 0
1800.00/1800.52 c trivial : 0.01 2 0
1800.00/1800.52 c simplerounding : 0.00 0 0
1800.00/1800.52 c zirounding : 0.00 0 0
1800.00/1800.52 c rounding : 0.00 0 0
1800.00/1800.52 c shifting : 0.00 0 0
1800.00/1800.52 c intshifting : 0.00 0 0
1800.00/1800.52 c twoopt : 0.00 0 0
1800.00/1800.52 c fixandinfer : 0.00 0 0
1800.00/1800.52 c feaspump : 0.00 0 0
1800.00/1800.52 c coefdiving : 0.00 0 0
1800.00/1800.52 c pscostdiving : 0.00 0 0
1800.00/1800.52 c fracdiving : 0.00 0 0
1800.00/1800.52 c veclendiving : 0.00 0 0
1800.00/1800.52 c intdiving : 0.00 0 0
1800.00/1800.52 c actconsdiving : 0.00 0 0
1800.00/1800.52 c objpscostdiving : 0.00 0 0
1800.00/1800.52 c rootsoldiving : 0.00 0 0
1800.00/1800.52 c linesearchdiving : 0.00 0 0
1800.00/1800.52 c guideddiving : 0.00 0 0
1800.00/1800.52 c octane : 0.00 0 0
1800.00/1800.52 c rens : 0.00 0 0
1800.00/1800.52 c rins : 0.00 0 0
1800.00/1800.52 c localbranching : 0.00 0 0
1800.00/1800.52 c mutation : 0.00 0 0
1800.00/1800.52 c crossover : 0.00 0 0
1800.00/1800.52 c dins : 0.00 0 0
1800.00/1800.52 c undercover : 0.00 0 0
1800.00/1800.52 c nlp : 1.11 0 0
1800.00/1800.52 c trysol : 0.72 0 0
1800.00/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.52 c (at root node) : - 0 0 0.00 -
1800.00/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.52 c B&B Tree :
1800.00/1800.52 c number of runs : 1
1800.00/1800.52 c nodes : 1359024
1800.00/1800.52 c nodes (total) : 1359024
1800.00/1800.52 c nodes left : 1316860
1800.00/1800.52 c max depth : 222
1800.00/1800.52 c max depth (total): 222
1800.00/1800.52 c backtracks : 29423 (2.2%)
1800.00/1800.52 c delayed cutoffs : 18984
1800.00/1800.52 c repropagations : 39181 (2304617 domain reductions, 11860 cutoffs)
1800.00/1800.52 c avg switch length: 2.93
1800.00/1800.52 c switching time : 85.46
1800.00/1800.52 c Solution :
1800.00/1800.52 c Solutions found : 12 (12 improvements)
1800.00/1800.52 c First Solution : +4.10000000000000e+01 (in run 1, after 1316873 nodes, 1460.93 seconds, depth 195, found by <relaxation>)
1800.00/1800.52 c Primal Bound : +3.00000000000000e+01 (in run 1, after 1340559 nodes, 1636.98 seconds, depth 222, found by <relaxation>)
1800.00/1800.52 c Dual Bound : +2.00000000000000e+00
1800.00/1800.52 c Gap : 1400.00 %
1800.00/1800.52 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.52 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663773-1276656112/watcher-2663773-1276656112 -o /tmp/evaluation-result-2663773-1276656112/solver-2663773-1276656112 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663773-1276656112.opb -t 1800 -m 1800
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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 2/105 15227
/proc/meminfo: memFree=1787580/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=6584 CPUtime=0
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 1038 0 0 0 0 0 0 0 25 0 1 0 6904737 6742016 960 1992294400 4194304 7136930 140736613487072 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15227/statm: 1646 970 254 719 0 925 0
[startup+0.0474101 s]
/proc/loadavg: 1.00 0.99 0.98 2/105 15227
/proc/meminfo: memFree=1787580/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=16220 CPUtime=0.03
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 3901 0 0 0 2 1 0 0 25 0 1 0 6904737 16609280 3469 1992294400 4194304 7136930 140736613487072 18446744073709551615 4213700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 4055 3469 285 719 0 3334 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16220
[startup+0.101415 s]
/proc/loadavg: 1.00 0.99 0.98 2/105 15227
/proc/meminfo: memFree=1787580/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=22632 CPUtime=0.09
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 5256 0 0 0 7 2 0 0 25 0 1 0 6904737 23175168 4824 1992294400 4194304 7136930 140736613487072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 5658 4828 328 719 0 4937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22632
[startup+0.30144 s]
/proc/loadavg: 1.00 0.99 0.98 2/105 15227
/proc/meminfo: memFree=1787580/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=23008 CPUtime=0.29
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 6389 0 0 0 18 11 0 0 25 0 1 0 6904737 23560192 4929 1992294400 4194304 7136930 140736613487072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 5752 4929 348 719 0 5031 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23008
[startup+0.700482 s]
/proc/loadavg: 1.00 0.99 0.98 2/105 15227
/proc/meminfo: memFree=1787580/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=25144 CPUtime=0.69
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 7009 0 0 0 49 20 0 0 25 0 1 0 6904737 25747456 5549 1992294400 4194304 7136930 140736613487072 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 6286 5549 381 719 0 5565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25144
[startup+1.50057 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15228
/proc/meminfo: memFree=1766616/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=25564 CPUtime=1.49
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 7108 0 0 0 128 21 0 0 25 0 1 0 6904737 26177536 5648 1992294400 4194304 7136930 140736613487072 18446744073709551615 4407868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 6391 5648 381 719 0 5670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25564
[startup+3.10075 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15228
/proc/meminfo: memFree=1765624/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=27088 CPUtime=3.09
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 7476 0 0 0 287 22 0 0 25 0 1 0 6904737 27738112 6016 1992294400 4194304 7136930 140736613487072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 6772 6016 381 719 0 6051 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27088
[startup+6.3011 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15228
/proc/meminfo: memFree=1762276/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=30472 CPUtime=6.29
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 8351 0 0 0 601 28 0 0 25 0 1 0 6904737 31203328 6891 1992294400 4194304 7136930 140736613487072 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 7618 6891 381 719 0 6897 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30472
[startup+12.7008 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15228
/proc/meminfo: memFree=1753100/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=38432 CPUtime=12.69
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 10342 0 0 0 1228 41 0 0 25 0 1 0 6904737 39354368 8882 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 9608 8882 381 719 0 8887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38432
[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15228
/proc/meminfo: memFree=1741196/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=50140 CPUtime=25.48
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 13290 0 0 0 2486 62 0 0 25 0 1 0 6904737 51343360 11830 1992294400 4194304 7136930 140736613487072 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 12535 11830 381 719 0 11814 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50140
[startup+51.102 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15228
/proc/meminfo: memFree=1720240/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=71416 CPUtime=51.07
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 18690 0 0 0 4999 108 0 0 25 0 1 0 6904737 73129984 17230 1992294400 4194304 7136930 140736613487072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 17854 17230 381 719 0 17133 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71416
[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15230
/proc/meminfo: memFree=1671012/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=121064 CPUtime=102.27
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 30749 0 0 0 10018 209 0 0 25 0 1 0 6904737 123969536 29289 1992294400 4194304 7136930 140736613487072 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 30266 29289 387 719 0 29545 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 121064
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15232
/proc/meminfo: memFree=1608144/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=182836 CPUtime=162.24
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 46418 0 0 0 15884 340 0 0 25 0 1 0 6904737 187224064 44958 1992294400 4194304 7136930 140736613487072 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 45709 44958 387 719 0 44988 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 182836
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15234
/proc/meminfo: memFree=1556188/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=234464 CPUtime=222.23
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 59453 0 0 0 21773 450 0 0 25 0 1 0 6904737 240091136 57993 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 58616 57993 387 719 0 57895 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 234464
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15236
/proc/meminfo: memFree=1509812/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=283852 CPUtime=282.21
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 70931 0 0 0 27677 544 0 0 25 0 1 0 6904737 290664448 69471 1992294400 4194304 7136930 140736613487072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 70963 69471 387 719 0 70242 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 283852
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15236
/proc/meminfo: memFree=1464056/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=328752 CPUtime=342.2
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 82334 0 0 0 33570 650 0 0 25 0 1 0 6904737 336642048 80874 1992294400 4194304 7136930 140736613487072 18446744073709551615 4780839 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 82188 80874 387 719 0 81467 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 328752
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15238
/proc/meminfo: memFree=1416564/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=375420 CPUtime=402.18
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 94188 0 0 0 39461 757 0 0 25 0 1 0 6904737 384430080 92728 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 93855 92728 387 719 0 93134 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 375420
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15240
/proc/meminfo: memFree=1367584/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=423620 CPUtime=462.17
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 106398 0 0 0 45346 871 0 0 25 0 1 0 6904737 433786880 104938 1992294400 4194304 7136930 140736613487072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 105905 104938 387 719 0 105184 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 423620
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15242
/proc/meminfo: memFree=1313892/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=476392 CPUtime=522.14
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 119780 0 0 0 51228 986 0 0 25 0 1 0 6904737 487825408 118320 1992294400 4194304 7136930 140736613487072 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 119098 118320 387 719 0 118377 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 476392
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15244
/proc/meminfo: memFree=1263548/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=533860 CPUtime=582.13
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 132305 0 0 0 57114 1099 0 0 25 0 1 0 6904737 546672640 130845 1992294400 4194304 7136930 140736613487072 18446744073709551615 4407919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 133465 130845 387 719 0 132744 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 533860
[startup+642.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15244
/proc/meminfo: memFree=1211096/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=585336 CPUtime=642.12
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 145375 0 0 0 62994 1218 0 0 25 0 1 0 6904737 599384064 143915 1992294400 4194304 7136930 140736613487072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 146334 143915 387 719 0 145613 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 585336
[startup+702.301 s]
################
# More data... #
################
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 229794 0 0 0 98231 1971 0 0 25 0 1 0 6904737 940175360 228334 1992294400 4194304 7136930 140736613487072 18446744073709551615 4407882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 229535 228334 387 719 0 228814 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 918140
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15256
/proc/meminfo: memFree=816652/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=974192 CPUtime=1062.01
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 244003 0 0 0 104097 2104 0 0 25 0 1 0 6904737 997572608 242543 1992294400 4194304 7136930 140736613487072 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 243548 242543 387 719 0 242827 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 974192
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15258
/proc/meminfo: memFree=755148/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1035468 CPUtime=1121.98
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 259509 0 0 0 109957 2241 0 0 25 0 1 0 6904737 1060319232 258049 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 258867 258049 387 719 0 258146 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1035468
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15269
/proc/meminfo: memFree=699720/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1105208 CPUtime=1181.96
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 273074 0 0 0 115825 2371 0 0 25 0 1 0 6904737 1131732992 271614 1992294400 4194304 7136930 140736613487072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 276302 271614 387 719 0 275581 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1105208
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15269
/proc/meminfo: memFree=640200/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1162092 CPUtime=1241.95
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 287524 0 0 0 121694 2501 0 0 25 0 1 0 6904737 1189982208 286064 1992294400 4194304 7136930 140736613487072 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 290523 286064 387 719 0 289802 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1162092
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15271
/proc/meminfo: memFree=583408/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1218148 CPUtime=1301.94
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 301716 0 0 0 127559 2635 0 0 25 0 1 0 6904737 1247383552 300256 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 304537 300256 387 719 0 303816 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1218148
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15273
/proc/meminfo: memFree=522152/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1278504 CPUtime=1361.91
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 317040 0 0 0 133420 2771 0 0 25 0 1 0 6904737 1309188096 315580 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 319626 315580 387 719 0 318905 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1278504
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15275
/proc/meminfo: memFree=459036/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1340308 CPUtime=1421.9
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 332713 0 0 0 139281 2909 0 0 25 0 1 0 6904737 1372475392 331253 1992294400 4194304 7136930 140736613487072 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 335077 331253 387 719 0 334356 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1340308
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15277
/proc/meminfo: memFree=397904/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1400284 CPUtime=1481.88
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 347940 0 0 0 145146 3042 0 0 25 0 1 0 6904737 1433890816 346480 1992294400 4194304 7136930 140736613487072 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 350071 346480 387 719 0 349350 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1400284
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15277
/proc/meminfo: memFree=369260/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1429020 CPUtime=1541.86
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 360237 0 0 0 151095 3091 0 0 25 0 1 0 6904737 1463316480 353633 1992294400 4194304 7136930 140736613487072 18446744073709551615 4240286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 357255 353633 388 719 0 356534 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1429020
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15279
/proc/meminfo: memFree=363184/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1435304 CPUtime=1601.85
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 361777 0 0 0 157060 3125 0 0 25 0 1 0 6904737 1469751296 355173 1992294400 4194304 7136930 140736613487072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 358826 355173 388 719 0 358105 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1435304
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15281
/proc/meminfo: memFree=361572/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1436912 CPUtime=1661.83
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 362176 0 0 0 163027 3156 0 0 25 0 1 0 6904737 1471397888 355572 1992294400 4194304 7136930 140736613487072 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 359228 355572 388 719 0 358507 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1436912
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15283
/proc/meminfo: memFree=357108/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1441240 CPUtime=1721.82
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 363258 0 0 0 168992 3190 0 0 25 0 1 0 6904737 1475829760 356654 1992294400 4194304 7136930 140736613487072 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 360310 356654 388 719 0 359589 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1441240
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15285
/proc/meminfo: memFree=352768/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1445312 CPUtime=1781.8
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 364279 0 0 0 174960 3220 0 0 25 0 1 0 6904737 1479999488 357675 1992294400 4194304 7136930 140736613487072 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 361328 357675 388 719 0 360607 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1445312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/106 15285
/proc/meminfo: memFree=351528/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1446456 CPUtime=1800
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 364588 0 0 0 176772 3228 0 0 25 0 1 0 6904737 1481170944 357984 1992294400 4194304 7136930 140736613487072 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15227/statm: 361614 357984 388 719 0 360893 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1446456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15227
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 15286
/proc/meminfo: memFree=351520/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1446456 CPUtime=1800.9
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 364594 0 0 0 176862 3228 0 0 25 0 1 0 6904737 1481170944 357990 1992294400 4194304 7136930 140736613487072 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15227/statm: 361614 357990 394 719 0 360893 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1446456
[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 15286
/proc/meminfo: memFree=351396/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=1444380 CPUtime=1801.7
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4202496 364594 0 0 0 176942 3228 0 0 25 0 1 0 6904737 1479045120 357471 1992294400 4194304 7136930 140736613487072 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15227/statm: 361095 357471 394 719 0 360374 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1444380
[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 15286
/proc/meminfo: memFree=351396/2059040 swapFree=4164960/4192956
[pid=15227] ppid=15225 vsize=0 CPUtime=1802.09
/proc/15227/stat : 15227 (pbscip.linux.x8) R 15225 15227 13804 0 -1 4203524 364594 0 0 0 176972 3237 0 0 25 0 1 0 6904737 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15227/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.13
CPU user time (s): 1769.73
CPU system time (s): 32.4051
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1446456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.73
system time used= 32.4051
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364594
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= 2717
runsolver used 2.90856 second user time and 8.58569 second system time
The end