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-2663771-1276655877.opb>
0.00/0.03 c original problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2688 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.05/0.06 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71340 impls, 0 clqs
0.49/0.52 c (0.3s) probing: 101/2688 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.52 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.52 c presolving (2 rounds):
0.49/0.52 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.52 c 71340 implications, 0 cliques
0.49/0.52 c presolved problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2688 constraints
0.49/0.52 c 2488 constraints of type <and>
0.49/0.52 c 200 constraints of type <logicor>
0.49/0.52 c transformed objective value is always integral (scale: 1)
0.49/0.52 c Presolving Time: 0.27
0.49/0.52 c - non default parameters ----------------------------------------------------------------------
0.49/0.52 c # SCIP version 1.2.1.2
0.49/0.52 c
0.49/0.52 c # frequency for displaying node information lines
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.52 c display/freq = 10000
0.49/0.52 c
0.49/0.52 c # maximal time in seconds to run
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/time = 1799.97
0.49/0.52 c
0.49/0.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/memory = 1620
0.49/0.52 c
0.49/0.52 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.52 c lp/solvefreq = -1
0.49/0.52 c
0.49/0.52 c # should presolving try to simplify inequalities
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/linear/simplifyinequalities = TRUE
0.49/0.52 c
0.49/0.52 c # should presolving try to simplify knapsacks
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.52 c
0.49/0.52 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c heuristics/undercover/freq = 0
0.49/0.52 c
0.49/0.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c separating/rapidlearning/freq = 0
0.49/0.52 c
0.49/0.52 c -----------------------------------------------------------------------------------------------
0.49/0.52 c start solving
0.49/0.53 c
0.49/0.53 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.53 c 0.3s| 1 | 2 | 0 | - |8817k| 0 | - |2688 |2688 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.59/14.68 c 14.2s| 10000 | 10001 | 0 | 0.0 | 19M| 155 | - |2688 |2688 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
29.18/29.20 c 28.5s| 20000 | 20001 | 0 | 0.0 | 30M| 155 | - |2688 |2688 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
42.68/42.71 c 41.7s| 30000 | 30001 | 0 | 0.0 | 40M| 155 | - |2688 |2688 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
55.58/55.65 c 54.4s| 40000 | 39999 | 0 | 0.0 | 51M| 155 | - |2688 |2689 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
68.08/68.13 c 66.6s| 50000 | 49999 | 0 | 0.0 | 62M| 155 | - |2688 |2689 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
80.18/80.21 c 78.4s| 60000 | 59999 | 0 | 0.0 | 72M| 155 | - |2688 |2689 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
91.87/91.99 c 90.0s| 70000 | 69999 | 0 | 0.0 | 83M| 155 | - |2688 |2689 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
103.27/103.35 c 101s| 80000 | 79999 | 0 | 0.0 | 94M| 155 | - |2688 |2689 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
114.46/114.52 c 112s| 90000 | 89997 | 0 | 0.0 | 105M| 155 | - |2688 |2688 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
125.66/125.72 c 123s|100000 | 99997 | 0 | 0.0 | 116M| 155 | - |2688 |2688 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
136.65/136.71 c 134s|110000 |109997 | 0 | 0.0 | 126M| 155 | - |2688 |2688 | 0 | 0 | 0 | 3 | 0 | 1.000000e+00 | -- | Inf
147.45/147.55 c 144s|120000 |119995 | 0 | 0.0 | 138M| 155 | - |2688 |2690 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
158.05/158.14 c 155s|130000 |129995 | 0 | 0.0 | 149M| 155 | - |2688 |2690 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
168.65/168.73 c 165s|140000 |139995 | 0 | 0.0 | 159M| 155 | - |2688 |2690 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
178.85/178.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.85/178.90 c 175s|150000 |149995 | 0 | 0.0 | 171M| 155 | - |2688 |2690 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
188.55/188.67 c 184s|160000 |159993 | 0 | 0.0 | 182M| 158 | - |2688 |2692 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
198.15/198.22 c 194s|170000 |169993 | 0 | 0.0 | 193M| 158 | - |2688 |2692 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
209.73/209.81 c 205s|180000 |179993 | 0 | 0.0 | 203M| 158 | - |2688 |2692 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
220.54/220.65 c 215s|190000 |189991 | 0 | 0.0 | 213M| 160 | - |2688 |2689 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
231.64/231.71 c 226s|200000 |199991 | 0 | 0.0 | 224M| 160 | - |2688 |2689 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
246.13/246.27 c 241s|210000 |209991 | 0 | 0.0 | 233M| 160 | - |2688 |2689 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
260.83/260.92 c 255s|220000 |219991 | 0 | 0.0 | 242M| 160 | - |2688 |2689 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
275.03/275.11 c 269s|230000 |229991 | 0 | 0.0 | 251M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
288.82/288.93 c 283s|240000 |239991 | 0 | 0.0 | 260M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
302.71/302.82 c 296s|250000 |249991 | 0 | 0.0 | 270M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
316.41/316.52 c 310s|260000 |259991 | 0 | 0.0 | 279M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
329.82/329.93 c 323s|270000 |269991 | 0 | 0.0 | 289M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
343.30/343.43 c 336s|280000 |279991 | 0 | 0.0 | 299M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
356.80/356.93 c 349s|290000 |289991 | 0 | 0.0 | 309M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
370.30/370.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.30/370.47 c 363s|300000 |299991 | 0 | 0.0 | 318M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
383.89/384.02 c 376s|310000 |309991 | 0 | 0.0 | 327M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
397.49/397.65 c 389s|320000 |319991 | 0 | 0.0 | 336M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
410.79/410.98 c 402s|330000 |329991 | 0 | 0.0 | 346M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
424.09/424.20 c 415s|340000 |339991 | 0 | 0.0 | 356M| 170 | - |2688 |2688 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
437.08/437.20 c 428s|350000 |349989 | 0 | 0.0 | 365M| 170 | - |2688 |2689 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
449.98/450.14 c 441s|360000 |359989 | 0 | 0.0 | 375M| 170 | - |2688 |2689 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
462.58/462.70 c 453s|370000 |369989 | 0 | 0.0 | 385M| 170 | - |2688 |2689 | 0 | 0 | 0 | 11 | 0 | 2.000000e+00 | -- | Inf
475.17/475.33 c 465s|380000 |379989 | 0 | 0.0 | 395M| 170 | - |2688 |2689 | 0 | 0 | 0 | 11 | 0 | 2.000000e+00 | -- | Inf
487.97/488.19 c 478s|390000 |389989 | 0 | 0.0 | 405M| 170 | - |2688 |2689 | 0 | 0 | 0 | 11 | 0 | 2.000000e+00 | -- | Inf
500.46/500.62 c 490s|400000 |399987 | 0 | 0.0 | 415M| 170 | - |2688 |2690 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
512.86/513.06 c 502s|410000 |409987 | 0 | 0.0 | 424M| 170 | - |2688 |2690 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
525.16/525.32 c 514s|420000 |419987 | 0 | 0.0 | 434M| 170 | - |2688 |2690 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
537.35/537.52 c 526s|430000 |429987 | 0 | 0.0 | 444M| 170 | - |2688 |2690 | 0 | 0 | 0 | 12 | 0 | 2.000000e+00 | -- | Inf
549.35/549.53 c 538s|440000 |439985 | 0 | 0.0 | 454M| 170 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
561.65/561.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.65/561.84 c 550s|450000 |449985 | 0 | 0.0 | 464M| 170 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
573.55/573.70 c 562s|460000 |459985 | 0 | 0.0 | 474M| 170 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
585.64/585.89 c 574s|470000 |469985 | 0 | 0.0 | 484M| 170 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
597.54/597.74 c 585s|480000 |479985 | 0 | 0.0 | 494M| 170 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
609.44/609.65 c 597s|490000 |489985 | 0 | 0.0 | 504M| 170 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
620.84/621.09 c 608s|500000 |499985 | 0 | 0.0 | 514M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
632.54/632.76 c 620s|510000 |509985 | 0 | 0.0 | 524M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
644.13/644.38 c 631s|520000 |519985 | 0 | 0.0 | 534M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
655.63/655.82 c 642s|530000 |529985 | 0 | 0.0 | 544M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
667.23/667.40 c 653s|540000 |539985 | 0 | 0.0 | 554M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
678.72/678.91 c 665s|550000 |549985 | 0 | 0.0 | 564M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
690.32/690.57 c 676s|560000 |559985 | 0 | 0.0 | 574M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
702.01/702.21 c 687s|570000 |569985 | 0 | 0.0 | 584M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
713.62/713.87 c 699s|580000 |579985 | 0 | 0.0 | 594M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
725.21/725.42 c 710s|590000 |589985 | 0 | 0.0 | 604M| 174 | - |2688 |2691 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
736.61/736.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.61/736.88 c 721s|600000 |599985 | 0 | 0.0 | 614M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
748.11/748.34 c 733s|610000 |609985 | 0 | 0.0 | 623M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
759.41/759.65 c 744s|620000 |619985 | 0 | 0.0 | 633M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
770.81/771.06 c 755s|630000 |629985 | 0 | 0.0 | 643M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
782.09/782.34 c 766s|640000 |639985 | 0 | 0.0 | 653M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
793.09/793.37 c 777s|650000 |649985 | 0 | 0.0 | 663M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
804.29/804.53 c 788s|660000 |659985 | 0 | 0.0 | 674M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
815.59/815.80 c 799s|670000 |669985 | 0 | 0.0 | 684M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
826.58/826.87 c 809s|680000 |679985 | 0 | 0.0 | 694M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
837.89/838.14 c 820s|690000 |689985 | 0 | 0.0 | 704M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
849.08/849.31 c 831s|700000 |699985 | 0 | 0.0 | 714M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
860.07/860.34 c 842s|710000 |709985 | 0 | 0.0 | 724M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
870.88/871.13 c 853s|720000 |719985 | 0 | 0.0 | 734M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
881.88/882.12 c 863s|730000 |729985 | 0 | 0.0 | 744M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
892.77/893.06 c 874s|740000 |739985 | 0 | 0.0 | 754M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
903.66/903.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.66/903.95 c 885s|750000 |749985 | 0 | 0.0 | 764M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
914.56/914.88 c 895s|760000 |759985 | 0 | 0.0 | 774M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
925.57/925.82 c 906s|770000 |769985 | 0 | 0.0 | 784M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
936.35/936.68 c 917s|780000 |779985 | 0 | 0.0 | 794M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
947.35/947.60 c 927s|790000 |789985 | 0 | 0.0 | 804M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
958.25/958.60 c 938s|800000 |799985 | 0 | 0.0 | 814M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
969.15/969.47 c 949s|810000 |809985 | 0 | 0.0 | 824M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
980.05/980.38 c 959s|820000 |819985 | 0 | 0.0 | 834M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
991.05/991.31 c 970s|830000 |829985 | 0 | 0.0 | 844M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1001.94/1002.30 c 981s|840000 |839985 | 0 | 0.0 | 854M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1013.14/1013.45 c 992s|850000 |849985 | 0 | 0.0 | 864M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1023.94/1024.26 c 1002s|860000 |859985 | 0 | 0.0 | 874M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1034.63/1034.98 c 1013s|870000 |869985 | 0 | 0.0 | 884M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1045.63/1045.99 c 1023s|880000 |879985 | 0 | 0.0 | 895M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1056.53/1056.83 c 1034s|890000 |889985 | 0 | 0.0 | 905M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1067.53/1067.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.53/1067.86 c 1045s|900000 |899985 | 0 | 0.0 | 915M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1078.13/1078.46 c 1055s|910000 |909985 | 0 | 0.0 | 925M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1088.63/1088.93 c 1065s|920000 |919985 | 0 | 0.0 | 935M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1099.22/1099.56 c 1076s|930000 |929985 | 0 | 0.0 | 945M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1109.92/1110.27 c 1086s|940000 |939985 | 0 | 0.0 | 955M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1120.72/1121.08 c 1097s|950000 |949985 | 0 | 0.0 | 965M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1131.31/1131.67 c 1107s|960000 |959985 | 0 | 0.0 | 975M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1141.81/1142.18 c 1117s|970000 |969985 | 0 | 0.0 | 985M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1152.31/1152.66 c 1128s|980000 |979985 | 0 | 0.0 | 995M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1163.20/1163.55 c 1138s|990000 |989985 | 0 | 0.0 |1005M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1174.10/1174.43 c 1149s| 1000k|999985 | 0 | 0.0 |1015M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1184.60/1184.93 c 1159s| 1010k| 1009k| 0 | 0.0 |1026M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1194.99/1195.35 c 1169s| 1020k| 1019k| 0 | 0.0 |1036M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1205.49/1205.82 c 1179s| 1030k| 1029k| 0 | 0.0 |1046M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1216.09/1216.46 c 1190s| 1040k| 1039k| 0 | 0.0 |1056M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1226.68/1227.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.68/1227.09 c 1200s| 1050k| 1049k| 0 | 0.0 |1066M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1237.39/1237.72 c 1211s| 1060k| 1059k| 0 | 0.0 |1076M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1247.98/1248.32 c 1221s| 1070k| 1069k| 0 | 0.0 |1087M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1258.48/1258.84 c 1231s| 1080k| 1079k| 0 | 0.0 |1097M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1268.78/1269.11 c 1241s| 1090k| 1089k| 0 | 0.0 |1107M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1279.48/1279.81 c 1252s| 1100k| 1099k| 0 | 0.0 |1117M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1289.88/1290.20 c 1262s| 1110k| 1109k| 0 | 0.0 |1127M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1300.07/1300.41 c 1272s| 1120k| 1119k| 0 | 0.0 |1137M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1310.37/1310.77 c 1282s| 1130k| 1129k| 0 | 0.0 |1147M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1320.97/1321.32 c 1292s| 1140k| 1139k| 0 | 0.0 |1157M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1331.36/1331.77 c 1302s| 1150k| 1149k| 0 | 0.0 |1168M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1341.76/1342.19 c 1312s| 1160k| 1159k| 0 | 0.0 |1178M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1352.06/1352.45 c 1322s| 1170k| 1169k| 0 | 0.0 |1188M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1362.46/1362.81 c 1332s| 1180k| 1179k| 0 | 0.0 |1198M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1372.85/1373.20 c 1343s| 1190k| 1189k| 0 | 0.0 |1209M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1383.36/1383.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.36/1383.73 c 1353s| 1200k| 1199k| 0 | 0.0 |1219M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1393.74/1394.14 c 1363s| 1210k| 1209k| 0 | 0.0 |1229M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1403.94/1404.32 c 1373s| 1220k| 1219k| 0 | 0.0 |1239M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1414.03/1414.44 c 1383s| 1230k| 1229k| 0 | 0.0 |1249M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1424.34/1424.70 c 1393s| 1240k| 1239k| 0 | 0.0 |1260M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1434.73/1435.14 c 1403s| 1250k| 1249k| 0 | 0.0 |1270M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1445.13/1445.59 c 1413s| 1260k| 1259k| 0 | 0.0 |1280M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1455.73/1456.10 c 1423s| 1270k| 1269k| 0 | 0.0 |1290M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1465.83/1466.24 c 1433s| 1280k| 1279k| 0 | 0.0 |1301M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1476.12/1476.54 c 1443s| 1290k| 1289k| 0 | 0.0 |1311M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1486.42/1486.85 c 1453s| 1300k| 1299k| 0 | 0.0 |1321M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1496.72/1497.14 c 1463s| 1310k| 1309k| 0 | 0.0 |1331M| 174 | - |2688 |2690 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
1506.81/1507.29 c 1473s| 1320k| 1319k| 0 | 0.0 |1341M| 174 | - |2688 |2692 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1517.21/1517.64 c 1483s| 1330k| 1329k| 0 | 0.0 |1351M| 174 | - |2688 |2692 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1524.51/1524.91 c (node 1337308) switching to memory saving mode (mem: 1296.0M/1620.0M)
1524.91/1525.34 o 38
1524.91/1525.34 c *1491s| 1337k| 1337k| 0 | 0.0 |1359M| 188 | - |2688 |2692 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1525.00/1525.40 o 37
1525.00/1525.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.00/1525.40 c *1491s| 1337k| 1337k| 0 | 0.0 |1359M| 188 | - |2688 |2722 | 0 | 0 | 0 | 46 | 0 | 2.000000e+00 | 3.700000e+01 |1750.00%
1525.00/1525.46 o 36
1525.00/1525.46 c *1491s| 1337k| 1337k| 0 | 0.0 |1359M| 188 | - |2688 |2742 | 0 | 0 | 0 | 66 | 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
1525.10/1525.52 o 35
1525.10/1525.52 c *1491s| 1337k| 1337k| 0 | 0.0 |1359M| 188 | - |2688 |2762 | 0 | 0 | 0 | 86 | 0 | 2.000000e+00 | 3.500000e+01 |1650.00%
1525.22/1525.65 o 33
1525.22/1525.65 c *1491s| 1337k| 1337k| 0 | 0.0 |1359M| 200 | - |2688 |2880 | 0 | 0 | 0 | 216 | 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1528.91/1529.35 o 32
1528.91/1529.35 c *1495s| 1337k| 1337k| 0 | 0.0 |1360M| 200 | - |2688 |3590 | 0 | 0 | 0 |1650 | 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1547.31/1547.75 c 1513s| 1340k| 1337k| 0 | 0.0 |1362M| 200 | - |2688 |4944 | 0 | 0 | 0 |5383 | 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1645.09/1645.58 c 1611s| 1350k| 1337k| 0 | 0.0 |1367M| 203 | - |2688 |8387 | 0 | 0 | 0 | 22k| 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1664.47/1664.96 o 31
1664.47/1664.96 c *1630s| 1351k| 1337k| 0 | 0.0 |1369M| 203 | - |2688 |9546 | 0 | 0 | 0 | 25k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1748.56/1749.01 c 1714s| 1360k| 1337k| 0 | 0.0 |1372M| 203 | - |2688 | 11k| 0 | 0 | 0 | 39k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1764.84
1800.05/1800.50 c Solving Nodes : 1365058
1800.05/1800.51 c Primal Bound : +3.10000000000000e+01 (7 solutions)
1800.05/1800.51 c Dual Bound : +2.00000000000000e+00
1800.05/1800.51 c Gap : 1450.00 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 x183 -x182 x181 -x180 -x179
1800.05/1800.51 v -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 x169 -x168 -x167 x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.05/1800.51 v -x156 -x155 -x154 x153 x152 -x151 x150 -x149 x148 -x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 -x137 x136 x135
1800.05/1800.51 v -x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113
1800.05/1800.51 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 x93 x92 -x91 -x90
1800.05/1800.51 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65
1800.05/1800.51 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1800.05/1800.51 v -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 x14
1800.05/1800.51 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1764.84
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2663771-1276655877.opb
1800.05/1800.51 c Variables : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 2688 initial, 2688 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2663771-1276655877.opb
1800.05/1800.51 c Variables : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 2688 initial, 11375 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.51 c and : 0.20 0 0 0 0 0 0 0 0
1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c and : 2488 0 3886882 0 1357459 2691 19116384 0 0 0
1800.05/1800.51 c logicor : 200+ 0 710311 0 1357466 9461 143373 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 1357466 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c and : 397.18 0.00 371.94 0.00 25.24
1800.05/1800.51 c logicor : 360.44 0.00 154.68 0.00 205.76
1800.05/1800.51 c countsols : 0.77 0.00 0.00 0.00 0.77
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 1.77 2 0 0
1800.05/1800.51 c rootredcost : 2.13 0 0 0
1800.05/1800.51 c pseudoobj : 105.37 3890218 3529 160545
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 233.86 15681 15681 1651553 304.0 56 95.7 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 48967 123.9 - - -
1800.05/1800.51 c applied locally : - - - 0 0.0 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.51 c redcost : 0.00 0 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.00 0 0 0 0 0
1800.05/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.51 c cmir : 0.00 0 0 0 0 0
1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.51 c clique : 0.00 0 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 0 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 743.54 1357459 0 0 0 0 2714918
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.35 - 7
1800.05/1800.51 c oneopt : 1.00 0 0
1800.05/1800.51 c trivial : 0.01 2 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 0 0
1800.05/1800.51 c rounding : 0.00 0 0
1800.05/1800.51 c shifting : 0.00 0 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 1.13 0 0
1800.05/1800.51 c trysol : 0.53 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.51 c (at root node) : - 0 0 0.00 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 1365058
1800.05/1800.51 c nodes (total) : 1365058
1800.05/1800.51 c nodes left : 1337389
1800.05/1800.51 c max depth : 203
1800.05/1800.51 c max depth (total): 203
1800.05/1800.51 c backtracks : 27850 (2.0%)
1800.05/1800.51 c delayed cutoffs : 12450
1800.05/1800.51 c repropagations : 27326 (1279692 domain reductions, 8089 cutoffs)
1800.05/1800.51 c avg switch length: 3.12
1800.05/1800.51 c switching time : 86.11
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 7 (7 improvements)
1800.05/1800.51 c First Solution : +3.80000000000000e+01 (in run 1, after 1337416 nodes, 1490.84 seconds, depth 188, found by <relaxation>)
1800.05/1800.51 c Primal Bound : +3.10000000000000e+01 (in run 1, after 1351778 nodes, 1629.82 seconds, depth 200, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +2.00000000000000e+00
1800.05/1800.51 c Gap : 1450.00 %
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 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-2663771-1276655877/watcher-2663771-1276655877 -o /tmp/evaluation-result-2663771-1276655877/solver-2663771-1276655877 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663771-1276655877.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 1.00 1.00 3/106 8551
/proc/meminfo: memFree=1782952/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=6584 CPUtime=0
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 971 0 0 0 0 0 0 0 18 0 1 0 41188997 6742016 894 1992294400 4194304 7136930 140733912955584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8551/statm: 1646 903 254 719 0 925 0
[startup+0.0597011 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8551
/proc/meminfo: memFree=1782952/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=17060 CPUtime=0.05
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 4127 0 0 0 4 1 0 0 20 0 1 0 41188997 17469440 3695 1992294400 4194304 7136930 140733912955584 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 4265 3695 304 719 0 3544 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17060
[startup+0.101743 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8551
/proc/meminfo: memFree=1782952/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=22076 CPUtime=0.09
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 4919 0 0 0 8 1 0 0 20 0 1 0 41188997 22605824 4488 1992294400 4194304 7136930 140733912955584 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 5519 4501 328 719 0 4798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22076
[startup+0.301737 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8551
/proc/meminfo: memFree=1782952/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=22744 CPUtime=0.3
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 6105 0 0 0 19 11 0 0 20 0 1 0 41188997 23289856 4902 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 5686 4902 348 719 0 4965 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 22744
[startup+0.701761 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8551
/proc/meminfo: memFree=1782952/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=24956 CPUtime=0.69
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 6964 0 0 0 48 21 0 0 20 0 1 0 41188997 25554944 5504 1992294400 4194304 7136930 140733912955584 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 6239 5504 381 719 0 5518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24956
[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8552
/proc/meminfo: memFree=1762236/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=25396 CPUtime=1.49
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 7073 0 0 0 126 23 0 0 23 0 1 0 41188997 26005504 5613 1992294400 4194304 7136930 140733912955584 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 6349 5613 381 719 0 5628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25396
[startup+3.10099 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8552
/proc/meminfo: memFree=1760996/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=26708 CPUtime=3.09
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 7405 0 0 0 284 25 0 0 25 0 1 0 41188997 27348992 5945 1992294400 4194304 7136930 140733912955584 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 6677 5945 381 719 0 5956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26708
[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8552
/proc/meminfo: memFree=1757772/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=30256 CPUtime=6.29
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 8285 0 0 0 597 32 0 0 25 0 1 0 41188997 30982144 6825 1992294400 4194304 7136930 140733912955584 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 7564 6825 381 719 0 6843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30256
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8552
/proc/meminfo: memFree=1749092/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=37748 CPUtime=12.68
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 10183 0 0 0 1226 42 0 0 25 0 1 0 41188997 38653952 8723 1992294400 4194304 7136930 140733912955584 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 9437 8723 381 719 0 8716 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37748
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8552
/proc/meminfo: memFree=1739172/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=47364 CPUtime=25.49
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 12620 0 0 0 2486 63 0 0 25 0 1 0 41188997 48500736 11160 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 11841 11160 381 719 0 11120 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47364
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8552
/proc/meminfo: memFree=1715488/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=71224 CPUtime=51.08
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 18671 0 0 0 4996 112 0 0 25 0 1 0 41188997 72933376 17211 1992294400 4194304 7136930 140733912955584 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 17806 17211 387 719 0 17085 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71224
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8554
/proc/meminfo: memFree=1667376/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=120004 CPUtime=102.27
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 30505 0 0 0 10006 221 0 0 25 0 1 0 41188997 122884096 29045 1992294400 4194304 7136930 140733912955584 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 30001 29045 387 719 0 29280 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 120004
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1605128/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=181704 CPUtime=162.25
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 46138 0 0 0 15862 363 0 0 25 0 1 0 41188997 186064896 44678 1992294400 4194304 7136930 140733912955584 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 45426 44678 387 719 0 44705 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 181704
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8558
/proc/meminfo: memFree=1542384/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=243824 CPUtime=222.23
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 61907 0 0 0 21708 515 0 0 25 0 1 0 41188997 249675776 60447 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 60956 60447 387 719 0 60235 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 243824
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8558
/proc/meminfo: memFree=1499356/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=290308 CPUtime=282.22
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 72643 0 0 0 27604 618 0 0 25 0 1 0 41188997 297275392 71183 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 72577 71183 387 719 0 71856 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 290308
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8560
/proc/meminfo: memFree=1455956/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=331744 CPUtime=342.21
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 83195 0 0 0 33491 730 0 0 25 0 1 0 41188997 339705856 81735 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 82936 81735 387 719 0 82215 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 331744
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8562
/proc/meminfo: memFree=1414912/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=372404 CPUtime=402.19
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 93499 0 0 0 39381 838 0 0 25 0 1 0 41188997 381341696 92039 1992294400 4194304 7136930 140733912955584 18446744073709551615 4407882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 93101 92039 387 719 0 92380 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 372404
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8564
/proc/meminfo: memFree=1368536/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=417468 CPUtime=462.18
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 104970 0 0 0 45262 956 0 0 25 0 1 0 41188997 427487232 103510 1992294400 4194304 7136930 140733912955584 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 104367 103510 387 719 0 103646 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 417468
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8564
/proc/meminfo: memFree=1321788/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=464268 CPUtime=522.16
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 116854 0 0 0 51137 1079 0 0 25 0 1 0 41188997 475410432 115394 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 116067 115394 387 719 0 115346 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 464268
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8566
/proc/meminfo: memFree=1271320/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=520984 CPUtime=582.14
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 129170 0 0 0 57018 1196 0 0 25 0 1 0 41188997 533487616 127710 1992294400 4194304 7136930 140733912955584 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 130246 127710 387 719 0 129525 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 520984
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8568
/proc/meminfo: memFree=1218744/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=572880 CPUtime=642.13
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 142307 0 0 0 62890 1323 0 0 25 0 1 0 41188997 586629120 140847 1992294400 4194304 7136930 140733912955584 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 143220 140847 387 719 0 142499 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 572880
[startup+702.301 s]
################
# More data... #
################
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 222005 0 0 0 98070 2134 0 0 25 0 1 0 41188997 907943936 220545 1992294400 4194304 7136930 140733912955584 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 221666 220545 387 719 0 220945 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 886664
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8580
/proc/meminfo: memFree=838188/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=947280 CPUtime=1062.03
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 237375 0 0 0 103926 2277 0 0 25 0 1 0 41188997 970014720 235915 1992294400 4194304 7136930 140733912955584 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 236820 235915 387 719 0 236099 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 947280
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8580
/proc/meminfo: memFree=780900/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1002492 CPUtime=1122.02
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 251381 0 0 0 109787 2415 0 0 25 0 1 0 41188997 1026551808 249921 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 250623 249921 387 719 0 249902 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1002492
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8582
/proc/meminfo: memFree=725224/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1074620 CPUtime=1182
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 265523 0 0 0 115646 2554 0 0 25 0 1 0 41188997 1100410880 264063 1992294400 4194304 7136930 140733912955584 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 268655 264063 387 719 0 267934 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1074620
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8584
/proc/meminfo: memFree=666200/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1133644 CPUtime=1241.98
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 280504 0 0 0 121503 2695 0 0 25 0 1 0 41188997 1160851456 279044 1992294400 4194304 7136930 140733912955584 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 283411 279044 387 719 0 282690 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1133644
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8586
/proc/meminfo: memFree=609904/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1186468 CPUtime=1301.97
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 293929 0 0 0 127355 2842 0 0 25 0 1 0 41188997 1214943232 292469 1992294400 4194304 7136930 140733912955584 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 296617 292469 387 719 0 295896 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1186468
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8588
/proc/meminfo: memFree=551748/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1243664 CPUtime=1361.95
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 308454 0 0 0 133203 2992 0 0 25 0 1 0 41188997 1273511936 306994 1992294400 4194304 7136930 140733912955584 18446744073709551615 4414763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 310916 306994 387 719 0 310195 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1243664
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8599
/proc/meminfo: memFree=489500/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1304348 CPUtime=1421.94
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 323849 0 0 0 139056 3138 0 0 25 0 1 0 41188997 1335652352 322389 1992294400 4194304 7136930 140733912955584 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 326087 322389 387 719 0 325366 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1304348
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8599
/proc/meminfo: memFree=430228/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1363688 CPUtime=1481.92
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 338911 0 0 0 144901 3291 0 0 25 0 1 0 41188997 1396416512 337451 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 340922 337451 387 719 0 340201 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1363688
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8601
/proc/meminfo: memFree=380008/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1412308 CPUtime=1541.91
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 356426 0 0 0 150778 3413 0 0 25 0 1 0 41188997 1446203392 349742 1992294400 4194304 7136930 140733912955584 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 353077 349742 387 719 0 352356 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1412308
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8603
/proc/meminfo: memFree=370708/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1421788 CPUtime=1601.89
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 358757 0 0 0 156750 3439 0 0 25 0 1 0 41188997 1455910912 352073 1992294400 4194304 7136930 140733912955584 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 355447 352073 387 719 0 354726 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1421788
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8605
/proc/meminfo: memFree=365500/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1427112 CPUtime=1661.87
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 360088 0 0 0 162725 3462 0 0 25 0 1 0 41188997 1461362688 353404 1992294400 4194304 7136930 140733912955584 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 356778 353404 387 719 0 356057 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1427112
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8605
/proc/meminfo: memFree=360788/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1432048 CPUtime=1721.86
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 361265 0 0 0 168701 3485 0 0 25 0 1 0 41188997 1466417152 354581 1992294400 4194304 7136930 140733912955584 18446744073709551615 4210555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 358012 354581 387 719 0 357291 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1432048
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8607
/proc/meminfo: memFree=358308/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1434336 CPUtime=1781.85
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 361831 0 0 0 174673 3512 0 0 25 0 1 0 41188997 1468760064 355147 1992294400 4194304 7136930 140733912955584 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 358584 355147 387 719 0 357863 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1434336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8609
/proc/meminfo: memFree=357564/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1434980 CPUtime=1800.05
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 362006 0 0 0 176487 3518 0 0 25 0 1 0 41188997 1469419520 355322 1992294400 4194304 7136930 140733912955584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8551/statm: 358745 355322 387 719 0 358024 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1434980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8551
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8610
/proc/meminfo: memFree=357556/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1434980 CPUtime=1800.94
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 362012 0 0 0 176576 3518 0 0 25 0 1 0 41188997 1469419520 355328 1992294400 4194304 7136930 140733912955584 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8551/statm: 358745 355328 393 719 0 358024 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 1434980
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8610
/proc/meminfo: memFree=357432/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=1434980 CPUtime=1801.74
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4202496 362012 0 0 0 176656 3518 0 0 25 0 1 0 41188997 1469419520 355328 1992294400 4194304 7136930 140733912955584 18446744073709551615 4212599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8551/statm: 358745 355328 393 719 0 358024 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 1434980
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8610
/proc/meminfo: memFree=357432/2059040 swapFree=4135932/4192956
[pid=8551] ppid=8549 vsize=0 CPUtime=1802.14
/proc/8551/stat : 8551 (pbscip.linux.x8) R 8549 8551 7202 0 -1 4203524 362012 0 0 0 176687 3527 0 0 25 0 1 0 41188997 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/8551/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.19
CPU user time (s): 1766.87
CPU system time (s): 35.3226
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1434980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.87
system time used= 35.3226
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1906
runsolver used 3.09953 second user time and 8.39472 second system time
The end