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-2663749-1276653563.opb>
0.00/0.03 c original problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 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.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73808 impls, 0 clqs
0.49/0.54 c (0.3s) probing: 101/2728 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.54 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.54 c presolving (2 rounds):
0.49/0.54 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.54 c 73808 implications, 0 cliques
0.49/0.54 c presolved problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 constraints
0.49/0.54 c 2528 constraints of type <and>
0.49/0.54 c 200 constraints of type <logicor>
0.49/0.54 c transformed objective value is always integral (scale: 1)
0.49/0.54 c Presolving Time: 0.30
0.49/0.54 c - non default parameters ----------------------------------------------------------------------
0.49/0.54 c # SCIP version 1.2.1.2
0.49/0.54 c
0.49/0.54 c # frequency for displaying node information lines
0.49/0.54 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.54 c display/freq = 10000
0.49/0.54 c
0.49/0.54 c # maximal time in seconds to run
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/time = 1799.98
0.49/0.54 c
0.49/0.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/memory = 1620
0.49/0.54 c
0.49/0.54 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.54 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.54 c lp/solvefreq = -1
0.49/0.54 c
0.49/0.54 c # should presolving try to simplify inequalities
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/linear/simplifyinequalities = TRUE
0.49/0.54 c
0.49/0.54 c # should presolving try to simplify knapsacks
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.54 c
0.49/0.54 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.54 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54 c heuristics/undercover/freq = 0
0.49/0.54 c
0.49/0.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.54 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54 c separating/rapidlearning/freq = 0
0.49/0.54 c
0.49/0.54 c -----------------------------------------------------------------------------------------------
0.49/0.54 c start solving
0.49/0.54 c
0.49/0.54 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.55 c 0.3s| 1 | 2 | 0 | - |8998k| 0 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.29/15.40 c 14.9s| 10000 | 10001 | 0 | 0.0 | 19M| 144 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
29.89/29.99 c 29.2s| 20000 | 20001 | 0 | 0.0 | 30M| 150 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
43.77/43.83 c 42.8s| 30000 | 30001 | 0 | 0.0 | 40M| 150 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
56.96/57.04 c 55.7s| 40000 | 40001 | 0 | 0.0 | 51M| 150 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
69.76/69.89 c 68.3s| 50000 | 50001 | 0 | 0.0 | 61M| 150 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
82.06/82.11 c 80.3s| 60000 | 60001 | 0 | 0.0 | 72M| 150 | - |2728 |2728 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
93.85/93.99 c 91.9s| 70000 | 69999 | 0 | 0.0 | 82M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
105.64/105.78 c 103s| 80000 | 79999 | 0 | 0.0 | 93M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
117.54/117.61 c 115s| 90000 | 89999 | 0 | 0.0 | 104M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
128.73/128.82 c 126s|100000 | 99999 | 0 | 0.0 | 115M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
140.03/140.10 c 137s|110000 |109999 | 0 | 0.0 | 126M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
151.02/151.14 c 148s|120000 |119999 | 0 | 0.0 | 137M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
162.03/162.39 c 158s|130000 |129999 | 0 | 0.0 | 148M| 150 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
172.90/173.23 c 169s|140000 |139999 | 0 | 0.0 | 159M| 155 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
183.09/183.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.09/183.44 c 179s|150000 |149999 | 0 | 0.0 | 170M| 155 | - |2728 |2729 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | -- | Inf
194.79/195.17 c 190s|160000 |159997 | 0 | 0.0 | 180M| 167 | - |2728 |2730 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
207.08/207.49 c 202s|170000 |169997 | 0 | 0.0 | 190M| 167 | - |2728 |2729 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
222.78/223.14 c 218s|180000 |179997 | 0 | 0.0 | 198M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
237.78/238.19 c 233s|190000 |189997 | 0 | 0.0 | 207M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
252.37/252.78 c 247s|200000 |199997 | 0 | 0.0 | 216M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
266.76/267.14 c 261s|210000 |209997 | 0 | 0.0 | 226M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
281.06/281.49 c 275s|220000 |219997 | 0 | 0.0 | 236M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
295.05/295.41 c 289s|230000 |229997 | 0 | 0.0 | 246M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
308.96/309.30 c 302s|240000 |239997 | 0 | 0.0 | 256M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
322.74/323.13 c 316s|250000 |249997 | 0 | 0.0 | 266M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
336.64/337.06 c 330s|260000 |259997 | 0 | 0.0 | 276M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
350.24/350.67 c 343s|270000 |269997 | 0 | 0.0 | 286M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
363.94/364.34 c 356s|280000 |279997 | 0 | 0.0 | 295M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
377.33/377.79 c 370s|290000 |289997 | 0 | 0.0 | 305M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
390.63/391.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.63/391.07 c 383s|300000 |299997 | 0 | 0.0 | 315M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
403.93/404.34 c 396s|310000 |309997 | 0 | 0.0 | 325M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
417.31/417.71 c 409s|320000 |319997 | 0 | 0.0 | 335M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
430.62/431.06 c 422s|330000 |329997 | 0 | 0.0 | 344M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
443.91/444.32 c 435s|340000 |339997 | 0 | 0.0 | 354M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
457.01/457.46 c 448s|350000 |349997 | 0 | 0.0 | 364M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
470.41/470.82 c 461s|360000 |359997 | 0 | 0.0 | 374M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
483.61/484.02 c 474s|370000 |369997 | 0 | 0.0 | 384M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
496.70/497.13 c 487s|380000 |379997 | 0 | 0.0 | 393M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
509.70/510.18 c 499s|390000 |389997 | 0 | 0.0 | 403M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
522.69/523.13 c 512s|400000 |399997 | 0 | 0.0 | 413M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
535.58/536.01 c 525s|410000 |409997 | 0 | 0.0 | 423M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
548.49/548.92 c 537s|420000 |419997 | 0 | 0.0 | 433M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
561.28/561.73 c 550s|430000 |429997 | 0 | 0.0 | 442M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
573.87/574.33 c 562s|440000 |439997 | 0 | 0.0 | 451M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
586.27/586.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.27/586.70 c 574s|450000 |449997 | 0 | 0.0 | 461M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
598.67/599.13 c 587s|460000 |459997 | 0 | 0.0 | 471M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
611.17/611.67 c 599s|470000 |469997 | 0 | 0.0 | 481M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
623.46/623.91 c 611s|480000 |479997 | 0 | 0.0 | 490M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
635.55/636.07 c 623s|490000 |489997 | 0 | 0.0 | 500M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
647.86/648.35 c 635s|500000 |499997 | 0 | 0.0 | 510M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
660.04/660.54 c 647s|510000 |509997 | 0 | 0.0 | 520M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
672.25/672.75 c 659s|520000 |519997 | 0 | 0.0 | 530M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
684.44/684.95 c 671s|530000 |529997 | 0 | 0.0 | 539M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
696.54/697.09 c 682s|540000 |539997 | 0 | 0.0 | 549M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
708.84/709.38 c 694s|550000 |549997 | 0 | 0.0 | 559M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
720.93/721.47 c 706s|560000 |559997 | 0 | 0.0 | 568M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
733.03/733.54 c 718s|570000 |569997 | 0 | 0.0 | 578M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
744.92/745.43 c 730s|580000 |579997 | 0 | 0.0 | 588M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
756.93/757.40 c 741s|590000 |589997 | 0 | 0.0 | 597M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
768.71/769.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.71/769.26 c 753s|600000 |599997 | 0 | 0.0 | 607M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
780.72/781.24 c 765s|610000 |609997 | 0 | 0.0 | 617M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
792.71/793.23 c 777s|620000 |619997 | 0 | 0.0 | 627M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
804.51/805.03 c 788s|630000 |629997 | 0 | 0.0 | 636M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
816.21/816.79 c 800s|640000 |639997 | 0 | 0.0 | 646M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
828.00/828.55 c 811s|650000 |649997 | 0 | 0.0 | 656M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
839.80/840.36 c 823s|660000 |659997 | 0 | 0.0 | 666M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
851.49/852.01 c 834s|670000 |669997 | 0 | 0.0 | 676M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
863.09/863.60 c 845s|680000 |679997 | 0 | 0.0 | 686M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
874.69/875.24 c 857s|690000 |689997 | 0 | 0.0 | 696M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
886.38/886.90 c 868s|700000 |699997 | 0 | 0.0 | 706M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
897.98/898.54 c 879s|710000 |709997 | 0 | 0.0 | 716M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
909.48/910.06 c 891s|720000 |719997 | 0 | 0.0 | 725M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
921.08/921.60 c 902s|730000 |729997 | 0 | 0.0 | 735M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
932.57/933.19 c 913s|740000 |739997 | 0 | 0.0 | 745M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
944.16/944.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.16/944.74 c 925s|750000 |749997 | 0 | 0.0 | 755M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
955.56/956.17 c 936s|760000 |759997 | 0 | 0.0 | 765M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
967.16/967.70 c 947s|770000 |769997 | 0 | 0.0 | 775M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
978.65/979.21 c 958s|780000 |779997 | 0 | 0.0 | 785M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
990.05/990.69 c 970s|790000 |789997 | 0 | 0.0 | 795M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1001.46/1002.09 c 981s|800000 |799997 | 0 | 0.0 | 805M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1012.95/1013.51 c 992s|810000 |809997 | 0 | 0.0 | 815M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1024.34/1024.93 c 1003s|820000 |819997 | 0 | 0.0 | 825M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1035.64/1036.27 c 1014s|830000 |829997 | 0 | 0.0 | 835M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1046.93/1047.51 c 1025s|840000 |839997 | 0 | 0.0 | 845M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1058.33/1058.92 c 1036s|850000 |849997 | 0 | 0.0 | 855M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1069.52/1070.19 c 1047s|860000 |859997 | 0 | 0.0 | 865M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1080.92/1081.54 c 1058s|870000 |869997 | 0 | 0.0 | 875M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1092.22/1092.82 c 1069s|880000 |879997 | 0 | 0.0 | 885M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1103.31/1103.98 c 1080s|890000 |889997 | 0 | 0.0 | 895M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1114.42/1115.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.42/1115.09 c 1091s|900000 |899997 | 0 | 0.0 | 905M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1125.61/1126.28 c 1102s|910000 |909997 | 0 | 0.0 | 915M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1136.90/1137.50 c 1113s|920000 |919997 | 0 | 0.0 | 925M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1148.00/1148.60 c 1124s|930000 |929997 | 0 | 0.0 | 935M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1159.10/1159.72 c 1135s|940000 |939997 | 0 | 0.0 | 945M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1170.10/1170.75 c 1145s|950000 |949997 | 0 | 0.0 | 955M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1181.19/1181.83 c 1156s|960000 |959997 | 0 | 0.0 | 965M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1192.29/1192.93 c 1167s|970000 |969997 | 0 | 0.0 | 975M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1203.29/1203.99 c 1178s|980000 |979997 | 0 | 0.0 | 985M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1214.38/1215.03 c 1189s|990000 |989997 | 0 | 0.0 | 995M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1225.38/1226.07 c 1199s| 1000k|999997 | 0 | 0.0 |1005M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1236.58/1237.25 c 1210s| 1010k| 1009k| 0 | 0.0 |1016M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1247.88/1248.58 c 1221s| 1020k| 1019k| 0 | 0.0 |1026M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1259.16/1259.81 c 1232s| 1030k| 1029k| 0 | 0.0 |1036M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1270.06/1270.79 c 1243s| 1040k| 1039k| 0 | 0.0 |1046M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1281.07/1281.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.07/1281.72 c 1254s| 1050k| 1049k| 0 | 0.0 |1057M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1292.06/1292.73 c 1265s| 1060k| 1059k| 0 | 0.0 |1067M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1303.05/1303.75 c 1275s| 1070k| 1069k| 0 | 0.0 |1077M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1314.05/1314.73 c 1286s| 1080k| 1079k| 0 | 0.0 |1087M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1324.95/1325.69 c 1297s| 1090k| 1089k| 0 | 0.0 |1097M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1335.95/1336.63 c 1307s| 1100k| 1099k| 0 | 0.0 |1108M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1346.75/1347.47 c 1318s| 1110k| 1109k| 0 | 0.0 |1118M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1357.64/1358.33 c 1329s| 1120k| 1119k| 0 | 0.0 |1128M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1368.54/1369.28 c 1339s| 1130k| 1129k| 0 | 0.0 |1138M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1379.53/1380.20 c 1350s| 1140k| 1139k| 0 | 0.0 |1148M| 167 | - |2728 |2728 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | -- | Inf
1390.33/1391.02 c 1360s| 1150k| 1149k| 0 | 0.0 |1159M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1401.03/1401.75 c 1371s| 1160k| 1159k| 0 | 0.0 |1169M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1411.63/1412.38 c 1381s| 1170k| 1169k| 0 | 0.0 |1179M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1422.52/1423.25 c 1392s| 1180k| 1179k| 0 | 0.0 |1189M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1433.32/1434.01 c 1402s| 1190k| 1189k| 0 | 0.0 |1199M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1443.92/1444.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.92/1444.64 c 1413s| 1200k| 1199k| 0 | 0.0 |1209M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1454.62/1455.31 c 1423s| 1210k| 1209k| 0 | 0.0 |1220M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1465.21/1465.99 c 1434s| 1220k| 1219k| 0 | 0.0 |1230M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1475.80/1476.59 c 1444s| 1230k| 1229k| 0 | 0.0 |1240M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1486.60/1487.39 c 1454s| 1240k| 1239k| 0 | 0.0 |1250M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1497.40/1498.14 c 1465s| 1250k| 1249k| 0 | 0.0 |1260M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1507.99/1508.75 c 1475s| 1260k| 1259k| 0 | 0.0 |1270M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1518.69/1519.46 c 1486s| 1270k| 1269k| 0 | 0.0 |1281M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1529.29/1530.03 c 1496s| 1280k| 1279k| 0 | 0.0 |1291M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1539.79/1540.52 c 1506s| 1290k| 1289k| 0 | 0.0 |1301M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1550.08/1550.90 c 1516s| 1300k| 1299k| 0 | 0.0 |1311M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1560.58/1561.30 c 1526s| 1310k| 1309k| 0 | 0.0 |1321M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1571.08/1571.82 c 1537s| 1320k| 1319k| 0 | 0.0 |1331M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1581.67/1582.45 c 1547s| 1330k| 1329k| 0 | 0.0 |1342M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1592.17/1592.96 c 1557s| 1340k| 1339k| 0 | 0.0 |1352M| 167 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | -- | Inf
1599.27/1600.01 c (node 1346681) switching to memory saving mode (mem: 1296.0M/1620.0M)
1599.67/1600.43 o 39
1599.67/1600.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.67/1600.43 c *1565s| 1346k| 1346k| 0 | 0.0 |1359M| 190 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1599.67/1600.48 o 38
1599.67/1600.48 c *1565s| 1346k| 1346k| 0 | 0.0 |1359M| 190 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1599.78/1600.53 o 37
1599.78/1600.53 c *1565s| 1346k| 1346k| 0 | 0.0 |1359M| 190 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | 3.700000e+01 |1750.00%
1599.78/1600.58 o 36
1599.78/1600.58 c *1565s| 1346k| 1346k| 0 | 0.0 |1359M| 190 | - |2728 |2729 | 0 | 0 | 0 | 3 | 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
1599.87/1600.64 o 35
1599.87/1600.64 c *1565s| 1346k| 1346k| 0 | 0.0 |1359M| 190 | - |2728 |2749 | 0 | 0 | 0 | 23 | 0 | 2.000000e+00 | 3.500000e+01 |1650.00%
1599.97/1600.75 o 34
1599.97/1600.75 c *1565s| 1346k| 1346k| 0 | 0.0 |1359M| 190 | - |2728 |2881 | 0 | 0 | 0 | 163 | 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1602.77/1603.57 o 33
1602.77/1603.57 c *1568s| 1347k| 1346k| 0 | 0.0 |1360M| 197 | - |2728 |3210 | 0 | 0 | 0 |1442 | 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1603.37/1604.13 o 32
1603.37/1604.13 c *1568s| 1347k| 1346k| 0 | 0.0 |1360M| 197 | - |2728 |3426 | 0 | 0 | 0 |1673 | 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1610.87/1611.63 o 31
1610.87/1611.63 c *1576s| 1348k| 1346k| 0 | 0.0 |1361M| 202 | - |2728 |4143 | 0 | 0 | 0 |3959 | 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1622.96/1623.74 c 1588s| 1350k| 1346k| 0 | 0.0 |1362M| 202 | - |2728 |4898 | 0 | 0 | 0 |7294 | 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1706.24/1707.06 c 1671s| 1360k| 1346k| 0 | 0.0 |1368M| 202 | - |2728 |8733 | 0 | 0 | 0 | 25k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1785.52/1786.40 c 1750s| 1370k| 1346k| 0 | 0.0 |1368M| 204 | - |2728 |8262 | 0 | 0 | 0 | 44k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1800.01/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.81 c
1800.01/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.81 c Solving Time (sec) : 1763.87
1800.01/1800.81 c Solving Nodes : 1371701
1800.01/1800.81 c Primal Bound : +3.10000000000000e+01 (9 solutions)
1800.01/1800.81 c Dual Bound : +2.00000000000000e+00
1800.01/1800.81 c Gap : 1450.00 %
1800.01/1800.82 s SATISFIABLE
1800.01/1800.82 v -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 -x181 -x180 x179
1800.01/1800.82 v -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 x170 x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157
1800.01/1800.82 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 x136 -x135
1800.01/1800.82 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.01/1800.82 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1800.01/1800.82 v -x91 -x90 x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66
1800.01/1800.82 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
1800.01/1800.82 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.01/1800.82 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.01/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.82 c Solving Time : 1763.87
1800.01/1800.82 c Original Problem :
1800.01/1800.82 c Problem name : HOME/instance-2663749-1276653563.opb
1800.01/1800.82 c Variables : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.82 c Constraints : 2728 initial, 2728 maximal
1800.01/1800.82 c Presolved Problem :
1800.01/1800.82 c Problem name : t_HOME/instance-2663749-1276653563.opb
1800.01/1800.82 c Variables : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.82 c Constraints : 2728 initial, 9139 maximal
1800.01/1800.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.82 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.82 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.82 c probing : 0.06 0 0 0 0 0 0 0 0
1800.01/1800.82 c and : 0.21 0 0 0 0 0 0 0 0
1800.01/1800.82 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.82 c root node : - 0 - - 0 - - - -
1800.01/1800.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.82 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.82 c and : 2528 0 3932916 0 1364722 3812 19628754 0 0 0
1800.01/1800.82 c logicor : 200+ 0 688720 0 1364731 7225 132735 0 0 0
1800.01/1800.82 c countsols : 0 0 0 0 1364731 0 0 0 0 0
1800.01/1800.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.82 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.82 c and : 398.67 0.00 377.11 0.00 21.56
1800.01/1800.82 c logicor : 331.13 0.00 92.29 0.00 238.84
1800.01/1800.82 c countsols : 0.94 0.00 0.00 0.00 0.94
1800.01/1800.82 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.82 c vbounds : 1.95 2 0 0
1800.01/1800.82 c rootredcost : 2.24 0 0 0
1800.01/1800.82 c pseudoobj : 92.46 3935988 3254 246076
1800.01/1800.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.82 c propagation : 164.08 14291 14291 1457559 263.3 62 66.9 -
1800.01/1800.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.82 c applied globally : - - - 47608 126.1 - - -
1800.01/1800.82 c applied locally : - - - 0 0.0 - - -
1800.01/1800.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.82 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.82 c redcost : 0.00 0 0 0 0 0
1800.01/1800.82 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.82 c intobj : 0.00 0 0 0 0 0
1800.01/1800.82 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.82 c gomory : 0.00 0 0 0 0 0
1800.01/1800.82 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.82 c cmir : 0.00 0 0 0 0 0
1800.01/1800.82 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.82 c clique : 0.00 0 0 0 0 0
1800.01/1800.82 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.82 c mcf : 0.00 0 0 0 0 0
1800.01/1800.82 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.82 c Pricers : Time Calls Vars
1800.01/1800.82 c problem variables: 0.00 0 0
1800.01/1800.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.82 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.82 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.82 c inference : 780.97 1364722 0 0 0 0 2729444
1800.01/1800.82 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.82 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.82 c random : 0.00 0 0 0 0 0 0
1800.01/1800.82 c Primal Heuristics : Time Calls Found
1800.01/1800.82 c LP solutions : 0.00 - 0
1800.01/1800.82 c pseudo solutions : 0.46 - 9
1800.01/1800.82 c oneopt : 0.85 0 0
1800.01/1800.82 c trivial : 0.01 2 0
1800.01/1800.82 c simplerounding : 0.00 0 0
1800.01/1800.82 c zirounding : 0.00 0 0
1800.01/1800.82 c rounding : 0.00 0 0
1800.01/1800.82 c shifting : 0.00 0 0
1800.01/1800.82 c intshifting : 0.00 0 0
1800.01/1800.82 c twoopt : 0.00 0 0
1800.01/1800.82 c fixandinfer : 0.00 0 0
1800.01/1800.82 c feaspump : 0.00 0 0
1800.01/1800.82 c coefdiving : 0.00 0 0
1800.01/1800.82 c pscostdiving : 0.00 0 0
1800.01/1800.82 c fracdiving : 0.00 0 0
1800.01/1800.82 c veclendiving : 0.00 0 0
1800.01/1800.82 c intdiving : 0.00 0 0
1800.01/1800.82 c actconsdiving : 0.00 0 0
1800.01/1800.82 c objpscostdiving : 0.00 0 0
1800.01/1800.82 c rootsoldiving : 0.00 0 0
1800.01/1800.82 c linesearchdiving : 0.00 0 0
1800.01/1800.82 c guideddiving : 0.00 0 0
1800.01/1800.82 c octane : 0.00 0 0
1800.01/1800.82 c rens : 0.00 0 0
1800.01/1800.82 c rins : 0.00 0 0
1800.01/1800.82 c localbranching : 0.00 0 0
1800.01/1800.82 c mutation : 0.00 0 0
1800.01/1800.82 c crossover : 0.00 0 0
1800.01/1800.82 c dins : 0.00 0 0
1800.01/1800.82 c undercover : 0.00 0 0
1800.01/1800.82 c nlp : 1.41 0 0
1800.01/1800.82 c trysol : 0.75 0 0
1800.01/1800.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.82 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.82 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.82 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.82 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.82 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.82 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.82 c (at root node) : - 0 0 0.00 -
1800.01/1800.82 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.82 c B&B Tree :
1800.01/1800.82 c number of runs : 1
1800.01/1800.82 c nodes : 1371701
1800.01/1800.82 c nodes (total) : 1371701
1800.01/1800.82 c nodes left : 1346755
1800.01/1800.82 c max depth : 204
1800.01/1800.82 c max depth (total): 204
1800.01/1800.82 c backtracks : 25920 (1.9%)
1800.01/1800.82 c delayed cutoffs : 10975
1800.01/1800.82 c repropagations : 24954 (1736565 domain reductions, 7321 cutoffs)
1800.01/1800.82 c avg switch length: 2.93
1800.01/1800.82 c switching time : 84.40
1800.01/1800.82 c Solution :
1800.01/1800.82 c Solutions found : 9 (9 improvements)
1800.01/1800.82 c First Solution : +3.90000000000000e+01 (in run 1, after 1346777 nodes, 1564.58 seconds, depth 190, found by <relaxation>)
1800.01/1800.82 c Primal Bound : +3.10000000000000e+01 (in run 1, after 1348417 nodes, 1575.70 seconds, depth 192, found by <relaxation>)
1800.01/1800.82 c Dual Bound : +2.00000000000000e+00
1800.01/1800.82 c Gap : 1450.00 %
1800.01/1800.82 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.82 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-2663749-1276653563/watcher-2663749-1276653563 -o /tmp/evaluation-result-2663749-1276653563/solver-2663749-1276653563 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663749-1276653563.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 13838
/proc/meminfo: memFree=1716192/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=6584 CPUtime=0
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 1000 0 0 0 0 0 0 0 18 0 1 0 6648320 6742016 923 1992294400 4194304 7136930 140735278820448 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13838/statm: 1646 932 254 719 0 925 0
[startup+0.0147011 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13838
/proc/meminfo: memFree=1716192/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=8620 CPUtime=0
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 1641 0 0 0 0 0 0 0 20 0 1 0 6648320 8826880 1564 1992294400 4194304 7136930 140735278820448 18446744073709551615 5649668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13838/statm: 2155 1564 272 719 0 1434 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8620
[startup+0.100687 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13838
/proc/meminfo: memFree=1716192/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=22352 CPUtime=0.09
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 5064 0 0 0 8 1 0 0 20 0 1 0 6648320 22888448 4633 1992294400 4194304 7136930 140735278820448 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 5588 4647 328 719 0 4867 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22352
[startup+0.300749 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13838
/proc/meminfo: memFree=1716192/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=24312 CPUtime=0.29
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 6152 0 0 0 19 10 0 0 20 0 1 0 6648320 24895488 5207 1992294400 4194304 7136930 140735278820448 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 6078 5218 348 719 0 5357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24312
[startup+0.700752 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13838
/proc/meminfo: memFree=1716192/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=25432 CPUtime=0.69
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 7067 0 0 0 48 21 0 0 21 0 1 0 6648320 26042368 5608 1992294400 4194304 7136930 140735278820448 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 6358 5608 381 719 0 5637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25432
[startup+1.50084 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13839
/proc/meminfo: memFree=1694980/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=25828 CPUtime=1.49
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 7176 0 0 0 128 21 0 0 23 0 1 0 6648320 26447872 5717 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 6457 5717 381 719 0 5736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25828
[startup+3.10101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13839
/proc/meminfo: memFree=1694236/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=27144 CPUtime=3.09
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 7498 0 0 0 284 25 0 0 25 0 1 0 6648320 27795456 6039 1992294400 4194304 7136930 140735278820448 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 6786 6039 381 719 0 6065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27144
[startup+6.30037 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13839
/proc/meminfo: memFree=1690764/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=29952 CPUtime=6.29
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 8195 0 0 0 598 31 0 0 25 0 1 0 6648320 30670848 6736 1992294400 4194304 7136930 140735278820448 18446744073709551615 6363574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 7488 6736 381 719 0 6767 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29952
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13839
/proc/meminfo: memFree=1682952/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=38068 CPUtime=12.68
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 10264 0 0 0 1227 41 0 0 25 0 1 0 6648320 38981632 8805 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 9517 8805 381 719 0 8796 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38068
[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13839
/proc/meminfo: memFree=1671048/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=48852 CPUtime=25.49
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 12971 0 0 0 2484 65 0 0 25 0 1 0 6648320 50024448 11512 1992294400 4194304 7136930 140735278820448 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 12213 11512 381 719 0 11492 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48852
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13841
/proc/meminfo: memFree=1651332/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=68756 CPUtime=51.07
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 18039 0 0 0 4993 114 0 0 25 0 1 0 6648320 70406144 16580 1992294400 4194304 7136930 140735278820448 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 17189 16580 381 719 0 16468 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68756
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13850
/proc/meminfo: memFree=1602600/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=117752 CPUtime=102.24
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 29939 0 0 0 10000 224 0 0 25 0 1 0 6648320 120578048 28480 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 29438 28480 387 719 0 28717 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 117752
[startup+162.301 s]
/proc/loadavg: 1.16 1.03 1.01 2/113 14207
/proc/meminfo: memFree=1539648/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=173824 CPUtime=162.03
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 44159 0 0 0 15825 378 0 0 25 0 1 0 6648320 177995776 42700 1992294400 4194304 7136930 140735278820448 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 43456 42700 387 719 0 42735 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 173824
[startup+222.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 14354
/proc/meminfo: memFree=1484132/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=225180 CPUtime=221.98
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 57183 0 0 0 21694 504 0 0 25 0 1 0 6648320 230584320 55724 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 56295 55724 387 719 0 55574 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 225180
[startup+282.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 14356
/proc/meminfo: memFree=1444080/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=269988 CPUtime=281.96
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 67524 0 0 0 27591 605 0 0 25 0 1 0 6648320 276467712 66065 1992294400 4194304 7136930 140735278820448 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 67497 66065 387 719 0 66776 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 269988
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14358
/proc/meminfo: memFree=1400432/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=311516 CPUtime=341.95
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 78040 0 0 0 33481 714 0 0 25 0 1 0 6648320 318992384 76581 1992294400 4194304 7136930 140735278820448 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 77879 76581 387 719 0 77158 0
Current children cumulated CPU time (s) 341.95
Current children cumulated vsize (KiB) 311516
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14358
/proc/meminfo: memFree=1355172/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=356048 CPUtime=401.92
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 89341 0 0 0 39366 826 0 0 25 0 1 0 6648320 364593152 87882 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 89012 87882 387 719 0 88291 0
Current children cumulated CPU time (s) 401.92
Current children cumulated vsize (KiB) 356048
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14360
/proc/meminfo: memFree=1310284/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=401080 CPUtime=461.91
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 100801 0 0 0 45249 942 0 0 25 0 1 0 6648320 410705920 99342 1992294400 4194304 7136930 140735278820448 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 100270 99342 387 719 0 99549 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 401080
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14362
/proc/meminfo: memFree=1266264/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=443472 CPUtime=521.89
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 111544 0 0 0 51129 1060 0 0 25 0 1 0 6648320 454115328 110085 1992294400 4194304 7136930 140735278820448 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 110868 110085 387 719 0 110147 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 443472
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14364
/proc/meminfo: memFree=1218896/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=489852 CPUtime=581.88
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 123349 0 0 0 57008 1180 0 0 25 0 1 0 6648320 501608448 121890 1992294400 4194304 7136930 140735278820448 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 122463 121890 387 719 0 121742 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 489852
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14366
/proc/meminfo: memFree=1172272/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=543828 CPUtime=641.87
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 134971 0 0 0 62882 1305 0 0 25 0 1 0 6648320 556879872 133512 1992294400 4194304 7136930 140735278820448 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 135957 133512 387 719 0 135236 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 543828
[startup+702.301 s]
################
# More data... #
################
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 236473 0 0 0 109818 2353 0 0 25 0 1 0 6648320 966053888 235014 1992294400 4194304 7136930 140735278820448 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 235853 235014 387 719 0 235132 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 943412
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14380
/proc/meminfo: memFree=711116/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=996436 CPUtime=1181.69
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 249934 0 0 0 115674 2495 0 0 25 0 1 0 6648320 1020350464 248475 1992294400 4194304 7136930 140735278820448 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 249109 248475 387 719 0 248388 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 996436
[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14382
/proc/meminfo: memFree=650976/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1072376 CPUtime=1241.68
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 265002 0 0 0 121529 2639 0 0 25 0 1 0 6648320 1098113024 263543 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 268094 263543 387 719 0 267373 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 1072376
[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14382
/proc/meminfo: memFree=593688/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1128008 CPUtime=1301.66
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 279152 0 0 0 127391 2775 0 0 25 0 1 0 6648320 1155080192 277693 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 282002 277693 387 719 0 281281 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 1128008
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14384
/proc/meminfo: memFree=541732/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1179972 CPUtime=1361.63
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 292357 0 0 0 133242 2921 0 0 25 0 1 0 6648320 1208291328 290898 1992294400 4194304 7136930 140735278820448 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 294993 290898 387 719 0 294272 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 1179972
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14386
/proc/meminfo: memFree=487048/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1232824 CPUtime=1421.62
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 305768 0 0 0 139096 3066 0 0 25 0 1 0 6648320 1262411776 304309 1992294400 4194304 7136930 140735278820448 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 308206 304309 387 719 0 307485 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 1232824
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14388
/proc/meminfo: memFree=430876/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1287880 CPUtime=1481.61
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 319754 0 0 0 144948 3213 0 0 25 0 1 0 6648320 1318789120 318295 1992294400 4194304 7136930 140735278820448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 321970 318295 387 719 0 321249 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 1287880
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14390
/proc/meminfo: memFree=372472/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1345064 CPUtime=1541.58
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 334272 0 0 0 150799 3359 0 0 25 0 1 0 6648320 1377345536 332813 1992294400 4194304 7136930 140735278820448 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 336266 332813 387 719 0 335545 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 1345064
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 14390
/proc/meminfo: memFree=311216/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1406628 CPUtime=1601.56
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 355122 0 0 0 156650 3506 0 0 25 0 1 0 6648320 1440387072 348400 1992294400 4194304 7136930 140735278820448 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 351657 348400 387 719 0 350936 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 1406628
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14392
/proc/meminfo: memFree=297700/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1420000 CPUtime=1661.55
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 358397 0 0 0 162614 3541 0 0 25 0 1 0 6648320 1454080000 351675 1992294400 4194304 7136930 140735278820448 18446744073709551615 5908933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 355000 351675 387 719 0 354279 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 1420000
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14394
/proc/meminfo: memFree=291500/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1425436 CPUtime=1721.52
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 359746 0 0 0 168579 3573 0 0 25 0 1 0 6648320 1459646464 353024 1992294400 4194304 7136930 140735278820448 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 356359 353024 387 719 0 355638 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 1425436
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14396
/proc/meminfo: memFree=288028/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1428696 CPUtime=1781.51
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 360536 0 0 0 174547 3604 0 0 25 0 1 0 6648320 1462984704 353814 1992294400 4194304 7136930 140735278820448 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 357174 353814 387 719 0 356453 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 1428696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14396
/proc/meminfo: memFree=286540/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1430180 CPUtime=1800.01
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 360903 0 0 0 176388 3613 0 0 25 0 1 0 6648320 1464504320 354181 1992294400 4194304 7136930 140735278820448 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13838/statm: 357545 354181 387 719 0 356824 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1430180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13838
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 14396
/proc/meminfo: memFree=286540/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1430336 CPUtime=1800.6
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 360936 0 0 0 176447 3613 0 0 25 0 1 0 6648320 1464664064 354214 1992294400 4194304 7136930 140735278820448 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13838/statm: 357584 354214 393 719 0 356863 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (KiB) 1430336
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14397
/proc/meminfo: memFree=286532/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1430336 CPUtime=1801.4
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 360936 0 0 0 176527 3613 0 0 25 0 1 0 6648320 1464664064 354214 1992294400 4194304 7136930 140735278820448 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13838/statm: 357584 354214 393 719 0 356863 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 1430336
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14397
/proc/meminfo: memFree=286532/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1428148 CPUtime=1801.8
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 360936 0 0 0 176567 3613 0 0 25 0 1 0 6648320 1462423552 353667 1992294400 4194304 7136930 140735278820448 18446744073709551615 4212599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13838/statm: 357037 353667 393 719 0 356316 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 1428148
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14397
/proc/meminfo: memFree=291988/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=1424156 CPUtime=1802.01
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4202496 360936 0 0 0 176588 3613 0 0 25 0 1 0 6648320 1458335744 352669 1992294400 4194304 7136930 140735278820448 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13838/statm: 356039 352669 393 719 0 355318 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1424156
[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14397
/proc/meminfo: memFree=291988/2059040 swapFree=4192956/4192956
[pid=13838] ppid=13836 vsize=0 CPUtime=1802.11
/proc/13838/stat : 13838 (pbscip.linux.x8) R 13836 13838 12511 0 -1 4203524 360936 0 0 0 176588 3623 0 0 25 0 1 0 6648320 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.94
CPU time (s): 1802.15
CPU user time (s): 1765.89
CPU system time (s): 36.2635
CPU usage (%): 99.9563
Max. virtual memory (cumulated for all children) (KiB): 1433448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.89
system time used= 36.2635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360936
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= 18244
runsolver used 2.86656 second user time and 8.65068 second system time
The end