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-2663778-1276656947.opb>
0.00/0.03 c original problem has 2692 variables (2692 bin, 0 int, 0 impl, 0 cont) and 2692 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.06 c presolving:
0.20/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71556 impls, 0 clqs
0.49/0.53 c (0.3s) probing: 101/2692 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.53 c presolving (2 rounds):
0.49/0.53 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.53 c 71556 implications, 0 cliques
0.49/0.53 c presolved problem has 2692 variables (2692 bin, 0 int, 0 impl, 0 cont) and 2692 constraints
0.49/0.53 c 2492 constraints of type <and>
0.49/0.53 c 200 constraints of type <logicor>
0.49/0.53 c transformed objective value is always integral (scale: 1)
0.49/0.53 c Presolving Time: 0.30
0.49/0.53 c - non default parameters ----------------------------------------------------------------------
0.49/0.53 c # SCIP version 1.2.1.2
0.49/0.53 c
0.49/0.53 c # frequency for displaying node information lines
0.49/0.53 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.53 c display/freq = 10000
0.49/0.53 c
0.49/0.53 c # maximal time in seconds to run
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/time = 1799.98
0.49/0.53 c
0.49/0.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/memory = 1620
0.49/0.53 c
0.49/0.53 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.53 c lp/solvefreq = -1
0.49/0.53 c
0.49/0.53 c # should presolving try to simplify inequalities
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c constraints/linear/simplifyinequalities = TRUE
0.49/0.53 c
0.49/0.53 c # should presolving try to simplify knapsacks
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.53 c
0.49/0.53 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c heuristics/undercover/freq = 0
0.49/0.53 c
0.49/0.53 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c separating/rapidlearning/freq = 0
0.49/0.53 c
0.49/0.53 c -----------------------------------------------------------------------------------------------
0.49/0.53 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.54 c 0.3s| 1 | 2 | 0 | - |8839k| 0 | - |2692 |2692 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.48/14.56 c 14.1s| 10000 | 9991 | 0 | 0.0 | 19M| 160 | - |2692 |2697 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
28.68/28.76 c 28.0s| 20000 | 19991 | 0 | 0.0 | 30M| 160 | - |2692 |2696 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
42.38/42.46 c 41.5s| 30000 | 29991 | 0 | 0.0 | 41M| 160 | - |2692 |2696 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
55.27/55.39 c 54.1s| 40000 | 39991 | 0 | 0.0 | 51M| 160 | - |2692 |2696 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
67.77/67.88 c 66.3s| 50000 | 49991 | 0 | 0.0 | 62M| 160 | - |2692 |2696 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
79.86/79.98 c 78.2s| 60000 | 59991 | 0 | 0.0 | 73M| 160 | - |2692 |2696 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | -- | Inf
91.76/91.84 c 89.8s| 70000 | 69989 | 0 | 0.0 | 83M| 160 | - |2692 |2697 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
103.36/103.46 c 101s| 80000 | 79989 | 0 | 0.0 | 94M| 160 | - |2692 |2696 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
114.75/114.85 c 112s| 90000 | 89989 | 0 | 0.0 | 105M| 160 | - |2692 |2696 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
125.94/126.06 c 123s|100000 | 99989 | 0 | 0.0 | 116M| 160 | - |2692 |2695 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
136.94/137.09 c 134s|110000 |109989 | 0 | 0.0 | 127M| 160 | - |2692 |2695 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
147.74/147.88 c 144s|120000 |119989 | 0 | 0.0 | 138M| 160 | - |2692 |2695 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
158.34/158.47 c 155s|130000 |129989 | 0 | 0.0 | 149M| 161 | - |2692 |2695 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
168.53/168.68 c 165s|140000 |139989 | 0 | 0.0 | 160M| 164 | - |2692 |2695 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
178.63/178.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.63/178.71 c 175s|150000 |149989 | 0 | 0.0 | 171M| 166 | - |2692 |2695 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
188.62/188.73 c 184s|160000 |159983 | 0 | 0.0 | 182M| 166 | - |2692 |2697 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
200.62/200.76 c 196s|170000 |169983 | 0 | 0.0 | 192M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
211.02/211.19 c 206s|180000 |179983 | 0 | 0.0 | 203M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
223.41/223.58 c 218s|190000 |189983 | 0 | 0.0 | 212M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
237.90/238.07 c 233s|200000 |199983 | 0 | 0.0 | 219M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
252.00/252.19 c 247s|210000 |209983 | 0 | 0.0 | 228M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
265.89/266.00 c 260s|220000 |219983 | 0 | 0.0 | 237M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
279.59/279.76 c 274s|230000 |229983 | 0 | 0.0 | 247M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
293.29/293.45 c 287s|240000 |239983 | 0 | 0.0 | 256M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
306.69/306.80 c 300s|250000 |249983 | 0 | 0.0 | 266M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
319.76/319.98 c 313s|260000 |259983 | 0 | 0.0 | 276M| 166 | - |2692 |2694 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
332.86/333.05 c 326s|270000 |269981 | 0 | 0.0 | 286M| 166 | - |2692 |2696 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | -- | Inf
345.85/346.08 c 339s|280000 |279981 | 0 | 0.0 | 296M| 166 | - |2692 |2696 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | -- | Inf
358.85/359.02 c 351s|290000 |289981 | 0 | 0.0 | 305M| 166 | - |2692 |2695 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | -- | Inf
371.85/372.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.85/372.06 c 364s|300000 |299981 | 0 | 0.0 | 314M| 166 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | -- | Inf
384.94/385.11 c 377s|310000 |309981 | 0 | 0.0 | 324M| 166 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
397.64/397.89 c 390s|320000 |319981 | 0 | 0.0 | 334M| 169 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
410.14/410.35 c 402s|330000 |329981 | 0 | 0.0 | 344M| 169 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
422.53/422.79 c 414s|340000 |339981 | 0 | 0.0 | 354M| 169 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
434.93/435.17 c 426s|350000 |349981 | 0 | 0.0 | 364M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
447.32/447.53 c 438s|360000 |359981 | 0 | 0.0 | 374M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
459.72/459.92 c 450s|370000 |369981 | 0 | 0.0 | 384M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
471.81/472.05 c 462s|380000 |379981 | 0 | 0.0 | 394M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
484.01/484.29 c 474s|390000 |389981 | 0 | 0.0 | 404M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
496.11/496.33 c 486s|400000 |399981 | 0 | 0.0 | 414M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
508.10/508.32 c 498s|410000 |409981 | 0 | 0.0 | 424M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
519.89/520.20 c 509s|420000 |419981 | 0 | 0.0 | 434M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
531.89/532.17 c 521s|430000 |429981 | 0 | 0.0 | 444M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
543.79/544.03 c 533s|440000 |439981 | 0 | 0.0 | 454M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
555.68/555.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.68/555.92 c 544s|450000 |449981 | 0 | 0.0 | 464M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
567.48/567.78 c 556s|460000 |459981 | 0 | 0.0 | 474M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
579.27/579.55 c 567s|470000 |469981 | 0 | 0.0 | 484M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
591.27/591.50 c 579s|480000 |479981 | 0 | 0.0 | 494M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
602.96/603.24 c 591s|490000 |489981 | 0 | 0.0 | 504M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
614.76/615.04 c 602s|500000 |499981 | 0 | 0.0 | 514M| 170 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
626.36/626.64 c 614s|510000 |509981 | 0 | 0.0 | 525M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
637.95/638.21 c 625s|520000 |519981 | 0 | 0.0 | 535M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
649.75/650.03 c 636s|530000 |529981 | 0 | 0.0 | 545M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
661.34/661.60 c 648s|540000 |539981 | 0 | 0.0 | 555M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
672.85/673.17 c 659s|550000 |549981 | 0 | 0.0 | 565M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
684.63/684.93 c 670s|560000 |559981 | 0 | 0.0 | 575M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
696.14/696.42 c 682s|570000 |569981 | 0 | 0.0 | 586M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
707.73/708.06 c 693s|580000 |579981 | 0 | 0.0 | 596M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
719.33/719.61 c 704s|590000 |589981 | 0 | 0.0 | 606M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
730.82/731.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.82/731.10 c 716s|600000 |599981 | 0 | 0.0 | 616M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
742.41/742.70 c 727s|610000 |609981 | 0 | 0.0 | 626M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
753.61/753.93 c 738s|620000 |619981 | 0 | 0.0 | 637M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
764.90/765.24 c 749s|630000 |629981 | 0 | 0.0 | 647M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
776.40/776.71 c 760s|640000 |639981 | 0 | 0.0 | 657M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
787.40/787.80 c 771s|650000 |649981 | 0 | 0.0 | 667M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
798.69/799.09 c 782s|660000 |659981 | 0 | 0.0 | 677M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
810.09/810.48 c 793s|670000 |669981 | 0 | 0.0 | 687M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
821.30/821.63 c 804s|680000 |679981 | 0 | 0.0 | 698M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
832.39/832.74 c 815s|690000 |689981 | 0 | 0.0 | 708M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
843.48/843.87 c 826s|700000 |699981 | 0 | 0.0 | 718M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
854.67/855.04 c 837s|710000 |709981 | 0 | 0.0 | 728M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
865.67/866.01 c 848s|720000 |719981 | 0 | 0.0 | 738M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
876.87/877.25 c 858s|730000 |729981 | 0 | 0.0 | 749M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
888.06/888.47 c 869s|740000 |739981 | 0 | 0.0 | 759M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
898.96/899.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.96/899.36 c 880s|750000 |749981 | 0 | 0.0 | 769M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
910.15/910.53 c 891s|760000 |759981 | 0 | 0.0 | 779M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
921.55/921.91 c 902s|770000 |769981 | 0 | 0.0 | 790M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
932.85/933.28 c 913s|780000 |779981 | 0 | 0.0 | 800M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
944.34/944.71 c 924s|790000 |789981 | 0 | 0.0 | 810M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
955.84/956.26 c 936s|800000 |799981 | 0 | 0.0 | 821M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
967.24/967.60 c 947s|810000 |809981 | 0 | 0.0 | 831M| 171 | - |2692 |2694 | 0 | 0 | 0 | 13 | 0 | 2.000000e+00 | -- | Inf
978.34/978.77 c 958s|820000 |819979 | 0 | 0.0 | 841M| 171 | - |2692 |2695 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
989.54/989.99 c 969s|830000 |829979 | 0 | 0.0 | 851M| 171 | - |2692 |2695 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1000.93/1001.32 c 980s|840000 |839979 | 0 | 0.0 | 862M| 171 | - |2692 |2695 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1011.92/1012.39 c 991s|850000 |849979 | 0 | 0.0 | 871M| 171 | - |2692 |2695 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1022.63/1023.06 c 1001s|860000 |859979 | 0 | 0.0 | 881M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1033.41/1033.81 c 1011s|870000 |869979 | 0 | 0.0 | 891M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1044.31/1044.76 c 1022s|880000 |879979 | 0 | 0.0 | 901M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1055.21/1055.60 c 1033s|890000 |889979 | 0 | 0.0 | 911M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1065.91/1066.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.91/1066.38 c 1043s|900000 |899979 | 0 | 0.0 | 921M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1076.60/1077.07 c 1054s|910000 |909979 | 0 | 0.0 | 931M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1087.30/1087.78 c 1064s|920000 |919979 | 0 | 0.0 | 941M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1098.19/1098.63 c 1075s|930000 |929979 | 0 | 0.0 | 950M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1108.98/1109.40 c 1085s|940000 |939979 | 0 | 0.0 | 960M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1119.49/1119.91 c 1095s|950000 |949979 | 0 | 0.0 | 970M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1130.17/1130.62 c 1106s|960000 |959979 | 0 | 0.0 | 979M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1140.98/1141.49 c 1116s|970000 |969979 | 0 | 0.0 | 989M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1151.77/1152.27 c 1127s|980000 |979979 | 0 | 0.0 | 999M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1162.57/1163.01 c 1138s|990000 |989979 | 0 | 0.0 |1009M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1173.17/1173.68 c 1148s| 1000k|999979 | 0 | 0.0 |1019M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1183.85/1184.33 c 1158s| 1010k| 1009k| 0 | 0.0 |1029M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1194.56/1195.06 c 1169s| 1020k| 1019k| 0 | 0.0 |1039M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1205.06/1205.58 c 1179s| 1030k| 1029k| 0 | 0.0 |1049M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1215.65/1216.17 c 1189s| 1040k| 1039k| 0 | 0.0 |1059M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1226.24/1226.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.24/1226.71 c 1200s| 1050k| 1049k| 0 | 0.0 |1070M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1236.84/1237.35 c 1210s| 1060k| 1059k| 0 | 0.0 |1079M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1247.54/1248.08 c 1220s| 1070k| 1069k| 0 | 0.0 |1089M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1258.13/1258.63 c 1231s| 1080k| 1079k| 0 | 0.0 |1099M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1268.73/1269.26 c 1241s| 1090k| 1089k| 0 | 0.0 |1109M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1279.13/1279.67 c 1251s| 1100k| 1099k| 0 | 0.0 |1118M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1289.73/1290.27 c 1262s| 1110k| 1109k| 0 | 0.0 |1128M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1300.42/1300.90 c 1272s| 1120k| 1119k| 0 | 0.0 |1137M| 171 | - |2692 |2694 | 0 | 0 | 0 | 14 | 0 | 2.000000e+00 | -- | Inf
1310.81/1311.37 c 1282s| 1130k| 1129k| 0 | 0.0 |1146M| 171 | - |2692 |2695 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1321.61/1322.14 c 1293s| 1140k| 1139k| 0 | 0.0 |1156M| 171 | - |2692 |2695 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1332.20/1332.78 c 1303s| 1150k| 1149k| 0 | 0.0 |1165M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1343.00/1343.57 c 1314s| 1160k| 1159k| 0 | 0.0 |1174M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1353.70/1354.25 c 1324s| 1170k| 1169k| 0 | 0.0 |1184M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1364.39/1364.93 c 1335s| 1180k| 1179k| 0 | 0.0 |1194M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1374.99/1375.57 c 1345s| 1190k| 1189k| 0 | 0.0 |1204M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1385.59/1386.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.59/1386.15 c 1355s| 1200k| 1199k| 0 | 0.0 |1214M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1396.08/1396.65 c 1366s| 1210k| 1209k| 0 | 0.0 |1224M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1406.78/1407.30 c 1376s| 1220k| 1219k| 0 | 0.0 |1234M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1417.28/1417.87 c 1386s| 1230k| 1229k| 0 | 0.0 |1244M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1427.88/1428.47 c 1397s| 1240k| 1239k| 0 | 0.0 |1254M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1438.28/1438.88 c 1407s| 1250k| 1249k| 0 | 0.0 |1264M| 171 | - |2692 |2694 | 0 | 0 | 0 | 15 | 0 | 2.000000e+00 | -- | Inf
1448.86/1449.43 c 1417s| 1260k| 1259k| 0 | 0.0 |1274M| 171 | - |2692 |2695 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1459.26/1459.84 c 1427s| 1270k| 1269k| 0 | 0.0 |1284M| 171 | - |2692 |2695 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1469.65/1470.24 c 1438s| 1280k| 1279k| 0 | 0.0 |1294M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1480.06/1480.64 c 1448s| 1290k| 1289k| 0 | 0.0 |1305M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1490.35/1490.90 c 1458s| 1300k| 1299k| 0 | 0.0 |1315M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1500.55/1501.19 c 1468s| 1310k| 1309k| 0 | 0.0 |1325M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1511.14/1511.74 c 1478s| 1320k| 1319k| 0 | 0.0 |1335M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1521.44/1522.09 c 1488s| 1330k| 1329k| 0 | 0.0 |1345M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1531.74/1532.36 c 1498s| 1340k| 1339k| 0 | 0.0 |1355M| 171 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | -- | Inf
1535.13/1535.70 c (node 1343251) switching to memory saving mode (mem: 1296.0M/1620.0M)
1535.53/1536.15 o 39
1535.53/1536.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.53/1536.15 c *1502s| 1343k| 1343k| 0 | 0.0 |1359M| 194 | - |2692 |2694 | 0 | 0 | 0 | 16 | 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1535.63/1536.20 o 38
1535.63/1536.20 c *1502s| 1343k| 1343k| 0 | 0.0 |1359M| 194 | - |2692 |2704 | 0 | 0 | 0 | 26 | 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1535.63/1536.26 o 37
1535.63/1536.26 c *1502s| 1343k| 1343k| 0 | 0.0 |1359M| 194 | - |2692 |2725 | 0 | 0 | 0 | 47 | 0 | 2.000000e+00 | 3.700000e+01 |1750.00%
1535.74/1536.33 o 36
1535.74/1536.33 c *1502s| 1343k| 1343k| 0 | 0.0 |1359M| 194 | - |2692 |2755 | 0 | 0 | 0 | 77 | 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
1535.74/1536.38 o 35
1535.74/1536.38 c *1502s| 1343k| 1343k| 0 | 0.0 |1359M| 194 | - |2692 |2755 | 0 | 0 | 0 | 77 | 0 | 2.000000e+00 | 3.500000e+01 |1650.00%
1546.63/1547.24 o 34
1546.63/1547.24 c *1513s| 1344k| 1343k| 0 | 0.0 |1361M| 194 | - |2692 |4605 | 0 | 0 | 0 |3758 | 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1546.63/1547.29 o 33
1546.63/1547.29 c *1513s| 1344k| 1343k| 0 | 0.0 |1362M| 194 | - |2692 |4605 | 0 | 0 | 0 |3758 | 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1597.01/1597.66 c 1563s| 1350k| 1343k| 0 | 0.0 |1367M| 197 | - |2692 |8346 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1702.98/1703.69 c 1669s| 1360k| 1343k| 0 | 0.0 |1370M| 201 | - |2692 | 10k| 0 | 0 | 0 | 31k| 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1800.06/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.72 c
1800.06/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.72 c Solving Time (sec) : 1765.17
1800.06/1800.72 c Solving Nodes : 1369810
1800.06/1800.72 c Primal Bound : +3.30000000000000e+01 (7 solutions)
1800.06/1800.72 c Dual Bound : +2.00000000000000e+00
1800.06/1800.72 c Gap : 1550.00 %
1800.06/1800.73 s SATISFIABLE
1800.06/1800.73 v -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178
1800.06/1800.73 v -x177 x176 -x175 -x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 x157 -x156
1800.06/1800.73 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135
1800.06/1800.73 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.06/1800.73 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 x96 x95 -x94 -x93 -x92 -x91
1800.06/1800.73 v -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.06/1800.73 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 -x40 -x39
1800.06/1800.73 v -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.06/1800.73 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1800.06/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.73 c Solving Time : 1765.17
1800.06/1800.73 c Original Problem :
1800.06/1800.73 c Problem name : HOME/instance-2663778-1276656947.opb
1800.06/1800.73 c Variables : 2692 (2692 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.73 c Constraints : 2692 initial, 2692 maximal
1800.06/1800.73 c Presolved Problem :
1800.06/1800.73 c Problem name : t_HOME/instance-2663778-1276656947.opb
1800.06/1800.73 c Variables : 2692 (2692 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.73 c Constraints : 2692 initial, 12458 maximal
1800.06/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.73 c probing : 0.05 0 0 0 0 0 0 0 0
1800.06/1800.73 c and : 0.23 0 0 0 0 0 0 0 0
1800.06/1800.73 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.73 c root node : - 0 - - 0 - - - -
1800.06/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.73 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.73 c and : 2492 0 3967447 0 1361652 3572 18859940 0 0 0
1800.06/1800.73 c logicor : 200+ 0 722622 0 1361659 7231 158616 0 0 0
1800.06/1800.73 c countsols : 0 0 0 0 1361659 0 0 0 0 0
1800.06/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.73 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.73 c and : 400.50 0.00 377.27 0.00 23.23
1800.06/1800.73 c logicor : 336.78 0.00 117.29 0.00 219.49
1800.06/1800.73 c countsols : 0.75 0.00 0.00 0.00 0.75
1800.06/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.73 c vbounds : 1.83 2 0 0
1800.06/1800.73 c rootredcost : 2.18 0 0 0
1800.06/1800.73 c pseudoobj : 126.50 3972055 4801 145231
1800.06/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.73 c propagation : 229.03 15604 15604 1668039 302.1 21 88.9 -
1800.06/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.73 c applied globally : - - - 49157 127.1 - - -
1800.06/1800.73 c applied locally : - - - 0 0.0 - - -
1800.06/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.73 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.73 c redcost : 0.00 0 0 0 0 0
1800.06/1800.73 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.73 c intobj : 0.00 0 0 0 0 0
1800.06/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.73 c gomory : 0.00 0 0 0 0 0
1800.06/1800.73 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.73 c cmir : 0.00 0 0 0 0 0
1800.06/1800.73 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.73 c clique : 0.00 0 0 0 0 0
1800.06/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.73 c mcf : 0.00 0 0 0 0 0
1800.06/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.73 c Pricers : Time Calls Vars
1800.06/1800.73 c problem variables: 0.00 0 0
1800.06/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.73 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.73 c inference : 742.08 1361652 0 0 0 0 2723304
1800.06/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.73 c random : 0.00 0 0 0 0 0 0
1800.06/1800.73 c Primal Heuristics : Time Calls Found
1800.06/1800.73 c LP solutions : 0.00 - 0
1800.06/1800.73 c pseudo solutions : 0.36 - 7
1800.06/1800.73 c oneopt : 0.87 0 0
1800.06/1800.73 c trivial : 0.01 2 0
1800.06/1800.73 c simplerounding : 0.00 0 0
1800.06/1800.73 c zirounding : 0.00 0 0
1800.06/1800.73 c rounding : 0.00 0 0
1800.06/1800.73 c shifting : 0.00 0 0
1800.06/1800.73 c intshifting : 0.00 0 0
1800.06/1800.73 c twoopt : 0.00 0 0
1800.06/1800.73 c fixandinfer : 0.00 0 0
1800.06/1800.73 c feaspump : 0.00 0 0
1800.06/1800.73 c coefdiving : 0.00 0 0
1800.06/1800.73 c pscostdiving : 0.00 0 0
1800.06/1800.73 c fracdiving : 0.00 0 0
1800.06/1800.73 c veclendiving : 0.00 0 0
1800.06/1800.73 c intdiving : 0.00 0 0
1800.06/1800.73 c actconsdiving : 0.00 0 0
1800.06/1800.73 c objpscostdiving : 0.00 0 0
1800.06/1800.73 c rootsoldiving : 0.00 0 0
1800.06/1800.73 c linesearchdiving : 0.00 0 0
1800.06/1800.73 c guideddiving : 0.00 0 0
1800.06/1800.73 c octane : 0.00 0 0
1800.06/1800.73 c rens : 0.00 0 0
1800.06/1800.73 c rins : 0.00 0 0
1800.06/1800.73 c localbranching : 0.00 0 0
1800.06/1800.73 c mutation : 0.00 0 0
1800.06/1800.73 c crossover : 0.00 0 0
1800.06/1800.73 c dins : 0.00 0 0
1800.06/1800.73 c undercover : 0.00 0 0
1800.06/1800.73 c nlp : 1.32 0 0
1800.06/1800.73 c trysol : 0.62 0 0
1800.06/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.73 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.73 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.73 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.73 c (at root node) : - 0 0 0.00 -
1800.06/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.73 c B&B Tree :
1800.06/1800.73 c number of runs : 1
1800.06/1800.73 c nodes : 1369810
1800.06/1800.73 c nodes (total) : 1369810
1800.06/1800.73 c nodes left : 1343331
1800.06/1800.73 c max depth : 201
1800.06/1800.73 c max depth (total): 201
1800.06/1800.73 c backtracks : 26238 (1.9%)
1800.06/1800.73 c delayed cutoffs : 10152
1800.06/1800.73 c repropagations : 29059 (1109390 domain reductions, 7453 cutoffs)
1800.06/1800.73 c avg switch length: 3.09
1800.06/1800.73 c switching time : 84.56
1800.06/1800.73 c Solution :
1800.06/1800.73 c Solutions found : 7 (7 improvements)
1800.06/1800.73 c First Solution : +3.90000000000000e+01 (in run 1, after 1343374 nodes, 1501.71 seconds, depth 194, found by <relaxation>)
1800.06/1800.73 c Primal Bound : +3.30000000000000e+01 (in run 1, after 1344931 nodes, 1512.78 seconds, depth 193, found by <relaxation>)
1800.06/1800.73 c Dual Bound : +2.00000000000000e+00
1800.06/1800.73 c Gap : 1550.00 %
1800.06/1800.73 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.73 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-2663778-1276656947/watcher-2663778-1276656947 -o /tmp/evaluation-result-2663778-1276656947/solver-2663778-1276656947 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663778-1276656947.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: 0.99 0.98 0.99 3/106 10135
/proc/meminfo: memFree=1767520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=6584 CPUtime=0
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 971 0 0 0 0 0 0 0 17 0 1 0 41296308 6742016 893 1992294400 4194304 7136930 140737477466752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10135/statm: 1646 902 254 719 0 925 0
[startup+0.081305 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10135
/proc/meminfo: memFree=1767520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=20540 CPUtime=0.07
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 4737 0 0 0 6 1 0 0 17 0 1 0 41296308 21032960 4305 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 5135 4305 328 719 0 4414 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20540
[startup+0.101309 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10135
/proc/meminfo: memFree=1767520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=21328 CPUtime=0.09
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 4934 0 0 0 8 1 0 0 17 0 1 0 41296308 21839872 4502 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 5332 4502 328 719 0 4611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21328
[startup+0.301349 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10135
/proc/meminfo: memFree=1767520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=23008 CPUtime=0.29
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 6160 0 0 0 18 11 0 0 17 0 1 0 41296308 23560192 4957 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 5752 4957 348 719 0 5031 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23008
[startup+0.701427 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10135
/proc/meminfo: memFree=1767520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=25216 CPUtime=0.7
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 7032 0 0 0 50 20 0 0 17 0 1 0 41296308 25821184 5572 1992294400 4194304 7136930 140737477466752 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 6304 5572 381 719 0 5583 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25216
[startup+1.50058 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10136
/proc/meminfo: memFree=1746556/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=25616 CPUtime=1.49
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 7118 0 0 0 128 21 0 0 18 0 1 0 41296308 26230784 5658 1992294400 4194304 7136930 140737477466752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 6404 5658 381 719 0 5683 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25616
[startup+3.1009 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10136
/proc/meminfo: memFree=1745688/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=26524 CPUtime=3.09
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 7368 0 0 0 286 23 0 0 21 0 1 0 41296308 27160576 5908 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 6631 5908 386 719 0 5910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26524
[startup+6.30152 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10136
/proc/meminfo: memFree=1741968/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=29952 CPUtime=6.29
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 8217 0 0 0 599 30 0 0 25 0 1 0 41296308 30670848 6757 1992294400 4194304 7136930 140737477466752 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 7488 6757 386 719 0 6767 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29952
[startup+12.7008 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10136
/proc/meminfo: memFree=1733908/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=37532 CPUtime=12.69
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 10131 0 0 0 1226 43 0 0 25 0 1 0 41296308 38432768 8671 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 9383 8671 386 719 0 8662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37532
[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10136
/proc/meminfo: memFree=1722128/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=49032 CPUtime=25.49
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 13050 0 0 0 2486 63 0 0 25 0 1 0 41296308 50208768 11590 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 12258 11590 386 719 0 11537 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49032
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10138
/proc/meminfo: memFree=1699312/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=72044 CPUtime=51.07
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 18861 0 0 0 4994 113 0 0 25 0 1 0 41296308 73773056 17401 1992294400 4194304 7136930 140737477466752 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 18011 17401 386 719 0 17290 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72044
[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10138
/proc/meminfo: memFree=1651572/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=120452 CPUtime=102.26
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 30617 0 0 0 10005 221 0 0 25 0 1 0 41296308 123342848 29157 1992294400 4194304 7136930 140737477466752 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 30113 29157 387 719 0 29392 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 120452
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10140
/proc/meminfo: memFree=1589572/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=182376 CPUtime=162.23
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 46306 0 0 0 15857 366 0 0 25 0 1 0 41296308 186753024 44846 1992294400 4194304 7136930 140737477466752 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 45594 44846 387 719 0 44873 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 182376
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10142
/proc/meminfo: memFree=1527200/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=242696 CPUtime=222.21
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 61611 0 0 0 21708 513 0 0 25 0 1 0 41296308 248520704 60151 1992294400 4194304 7136930 140737477466752 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 60674 60151 387 719 0 59953 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 242696
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10144
/proc/meminfo: memFree=1490124/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=283200 CPUtime=282.19
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 70856 0 0 0 27612 607 0 0 25 0 1 0 41296308 289996800 69396 1992294400 4194304 7136930 140737477466752 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 70800 69396 387 719 0 70079 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 283200
[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10155
/proc/meminfo: memFree=1444864/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=328304 CPUtime=342.15
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 82286 0 0 0 33499 716 0 0 25 0 1 0 41296308 336183296 80826 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 82076 80826 387 719 0 81355 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 328304
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10155
/proc/meminfo: memFree=1400596/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=371092 CPUtime=402.14
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 93192 0 0 0 39388 826 0 0 25 0 1 0 41296308 379998208 91732 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 92773 91732 387 719 0 92052 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 371092
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10157
/proc/meminfo: memFree=1350500/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=420212 CPUtime=462.12
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 105655 0 0 0 45269 943 0 0 25 0 1 0 41296308 430297088 104195 1992294400 4194304 7136930 140737477466752 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 105053 104195 387 719 0 104332 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 420212
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10159
/proc/meminfo: memFree=1303504/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=467512 CPUtime=522.09
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 117637 0 0 0 51145 1064 0 0 25 0 1 0 41296308 478732288 116177 1992294400 4194304 7136930 140737477466752 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 116878 116177 387 719 0 116157 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 467512
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10161
/proc/meminfo: memFree=1248324/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=528656 CPUtime=582.07
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 131101 0 0 0 57015 1192 0 0 25 0 1 0 41296308 541343744 129641 1992294400 4194304 7136930 140737477466752 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 132164 129641 387 719 0 131443 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 528656
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10163
/proc/meminfo: memFree=1197856/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=578064 CPUtime=642.06
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 143651 0 0 0 62885 1321 0 0 25 0 1 0 41296308 591937536 142191 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 144516 142191 387 719 0 143795 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 578064
[startup+702.302 s]
################
# More data... #
################
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 239144 0 0 0 103926 2264 0 0 25 0 1 0 41296308 977305600 237684 1992294400 4194304 7136930 140737477466752 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 238600 237684 387 719 0 237879 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 954400
[startup+1122.3 s]
/proc/loadavg: 1.12 1.03 1.01 3/107 10178
/proc/meminfo: memFree=763112/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1004672 CPUtime=1121.88
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 251906 0 0 0 109781 2407 0 0 25 0 1 0 41296308 1028784128 250446 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 251168 250446 387 719 0 250447 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1004672
[startup+1182.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 10180
/proc/meminfo: memFree=705824/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1078684 CPUtime=1181.86
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 266561 0 0 0 115634 2552 0 0 25 0 1 0 41296308 1104572416 265101 1992294400 4194304 7136930 140737477466752 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 269671 265101 387 719 0 268950 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1078684
[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10182
/proc/meminfo: memFree=645684/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1136024 CPUtime=1241.84
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 281094 0 0 0 121488 2696 0 0 25 0 1 0 41296308 1163288576 279634 1992294400 4194304 7136930 140737477466752 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 284006 279634 387 719 0 283285 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1136024
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10182
/proc/meminfo: memFree=594472/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1186396 CPUtime=1301.82
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 293889 0 0 0 127351 2831 0 0 25 0 1 0 41296308 1214869504 292429 1992294400 4194304 7136930 140737477466752 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 296599 292429 387 719 0 295878 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1186396
[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10184
/proc/meminfo: memFree=540532/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1239300 CPUtime=1361.8
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 307355 0 0 0 133219 2961 0 0 25 0 1 0 41296308 1269043200 305895 1992294400 4194304 7136930 140737477466752 18446744073709551615 4740327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 309825 305895 387 719 0 309104 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1239300
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10186
/proc/meminfo: memFree=481508/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1297280 CPUtime=1421.78
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 322078 0 0 0 139077 3101 0 0 25 0 1 0 41296308 1328414720 320618 1992294400 4194304 7136930 140737477466752 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 324320 320618 387 719 0 323599 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1297280
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10188
/proc/meminfo: memFree=424840/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1353940 CPUtime=1481.76
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 336414 0 0 0 144933 3243 0 0 25 0 1 0 41296308 1386434560 334954 1992294400 4194304 7136930 140737477466752 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 338485 334954 387 719 0 337764 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1353940
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10190
/proc/meminfo: memFree=364576/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1412556 CPUtime=1541.73
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 356500 0 0 0 150788 3385 0 0 25 0 1 0 41296308 1446457344 349792 1992294400 4194304 7136930 140737477466752 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 353139 349792 387 719 0 352418 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1412556
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10190
/proc/meminfo: memFree=351680/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1425416 CPUtime=1601.71
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 359708 0 0 0 156761 3410 0 0 25 0 1 0 41296308 1459625984 353000 1992294400 4194304 7136930 140737477466752 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 356354 353000 387 719 0 355633 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1425416
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10192
/proc/meminfo: memFree=347588/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1429552 CPUtime=1661.69
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 360722 0 0 0 162735 3434 0 0 25 0 1 0 41296308 1463861248 354014 1992294400 4194304 7136930 140737477466752 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 357388 354014 387 719 0 356667 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1429552
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10194
/proc/meminfo: memFree=344488/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1432760 CPUtime=1721.67
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 361510 0 0 0 168711 3456 0 0 25 0 1 0 41296308 1467146240 354802 1992294400 4194304 7136930 140737477466752 18446744073709551615 5922923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 358190 354802 387 719 0 357469 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1432760
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10196
/proc/meminfo: memFree=340892/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1436368 CPUtime=1781.65
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 362350 0 0 0 174685 3480 0 0 25 0 1 0 41296308 1470840832 355642 1992294400 4194304 7136930 140737477466752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 359092 355642 387 719 0 358371 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1436368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10196
/proc/meminfo: memFree=340520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1436816 CPUtime=1800.06
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 362444 0 0 0 176518 3488 0 0 25 0 1 0 41296308 1471299584 355736 1992294400 4194304 7136930 140737477466752 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10135/statm: 359204 355736 387 719 0 358483 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1436816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10135
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10196
/proc/meminfo: memFree=340520/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1437016 CPUtime=1800.74
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 362493 0 0 0 176586 3488 0 0 25 0 1 0 41296308 1471504384 355785 1992294400 4194304 7136930 140737477466752 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10135/statm: 359254 355785 393 719 0 358533 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 1437016
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10197
/proc/meminfo: memFree=340264/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1437016 CPUtime=1801.54
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 362493 0 0 0 176666 3488 0 0 25 0 1 0 41296308 1471504384 355785 1992294400 4194304 7136930 140737477466752 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10135/statm: 359254 355785 393 719 0 358533 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1437016
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10197
/proc/meminfo: memFree=340264/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=1434816 CPUtime=1801.94
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4202496 362493 0 0 0 176706 3488 0 0 25 0 1 0 41296308 1469251584 355235 1992294400 4194304 7136930 140737477466752 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10135/statm: 358704 355235 393 719 0 357983 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 1434816
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10197
/proc/meminfo: memFree=1164252/2059040 swapFree=4136232/4192956
[pid=10135] ppid=10133 vsize=0 CPUtime=1802.15
/proc/10135/stat : 10135 (pbscip.linux.x8) R 10133 10135 8204 0 -1 4203524 362493 0 0 0 176718 3497 0 0 25 0 1 0 41296308 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.86
CPU time (s): 1802.2
CPU user time (s): 1767.18
CPU system time (s): 35.0197
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 1437016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.18
system time used= 35.0197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362493
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= 1
involuntary context switches= 3717
runsolver used 2.91756 second user time and 8.59469 second system time
The end