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-2664725-1276485859.opb>
0.00/0.04 c original problem has 2289 variables (2289 bin, 0 int, 0 impl, 0 cont) and 764 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.00/0.07 c (round 1) 8 del vars, 2 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 722 impls, 376 clqs
0.00/0.08 c (round 2) 9 del vars, 3 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 726 impls, 376 clqs
0.09/0.10 c (round 3) 9 del vars, 16 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 735 upgd conss, 726 impls, 376 clqs
0.09/0.11 c (round 4) 9 del vars, 16 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 736 upgd conss, 726 impls, 376 clqs
0.19/0.20 c (0.1s) probing: 101/2280 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (5 rounds):
0.19/0.20 c 9 deleted vars, 16 deleted constraints, 8 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 726 implications, 376 cliques
0.19/0.20 c presolved problem has 2280 variables (2280 bin, 0 int, 0 impl, 0 cont) and 748 constraints
0.19/0.20 c 376 constraints of type <setppc>
0.19/0.20 c 12 constraints of type <linear>
0.19/0.20 c 360 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.13
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.1s| 1 | 2 | 0 | - |5359k| 0 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.180000e+02 | -- | Inf
15.19/15.22 c 14.9s| 10000 | 10001 | 0 | 0.0 | 10M| 33 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.030000e+02 | -- | Inf
30.08/30.18 c 29.6s| 20000 | 20001 | 0 | 0.0 | 15M| 35 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.020000e+02 | -- | Inf
45.08/45.13 c 44.3s| 30000 | 30001 | 0 | 0.0 | 20M| 37 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.010000e+02 | -- | Inf
60.08/60.11 c 59.0s| 40000 | 40001 | 0 | 0.0 | 25M| 39 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.000000e+02 | -- | Inf
74.96/75.04 c 73.7s| 50000 | 50001 | 0 | 0.0 | 30M| 39 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.000000e+02 | -- | Inf
89.96/90.02 c 88.4s| 60000 | 60001 | 0 | 0.0 | 35M| 39 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-4.000000e+02 | -- | Inf
104.86/104.98 c 103s| 70000 | 70001 | 0 | 0.0 | 40M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | -- | Inf
119.86/119.93 c 118s| 80000 | 80001 | 0 | 0.0 | 45M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | -- | Inf
134.85/134.90 c 133s| 90000 | 90001 | 0 | 0.0 | 50M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | -- | Inf
149.74/149.88 c 147s|100000 |100001 | 0 | 0.0 | 55M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | -- | Inf
164.74/164.87 c 162s|110000 |110001 | 0 | 0.0 | 60M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | -- | Inf
179.73/179.88 c 177s|120000 |120001 | 0 | 0.0 | 65M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
194.83/194.93 c 192s|130000 |130001 | 0 | 0.0 | 70M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
209.82/209.96 c 206s|140000 |140001 | 0 | 0.0 | 75M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
224.92/225.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.92/225.02 c 221s|150000 |150001 | 0 | 0.0 | 79M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
239.92/240.09 c 236s|160000 |160001 | 0 | 0.0 | 84M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
255.01/255.17 c 251s|170000 |170001 | 0 | 0.0 | 89M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
270.10/270.27 c 266s|180000 |180001 | 0 | 0.0 | 94M| 43 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | -- | Inf
285.20/285.33 c 280s|190000 |190001 | 0 | 0.0 | 99M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
300.21/300.38 c 295s|200000 |200001 | 0 | 0.0 | 104M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
315.19/315.37 c 310s|210000 |210001 | 0 | 0.0 | 109M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
330.28/330.42 c 325s|220000 |220001 | 0 | 0.0 | 114M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
345.29/345.47 c 340s|230000 |230001 | 0 | 0.0 | 119M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
360.38/360.53 c 354s|240000 |240001 | 0 | 0.0 | 124M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
375.37/375.58 c 369s|250000 |250001 | 0 | 0.0 | 129M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
390.46/390.65 c 384s|260000 |260001 | 0 | 0.0 | 134M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
405.56/405.71 c 399s|270000 |270001 | 0 | 0.0 | 139M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
420.66/420.80 c 414s|280000 |280001 | 0 | 0.0 | 144M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
435.65/435.86 c 429s|290000 |290001 | 0 | 0.0 | 149M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
450.75/450.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.75/450.97 c 443s|300000 |300001 | 0 | 0.0 | 154M| 45 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | -- | Inf
465.84/466.07 c 458s|310000 |310001 | 0 | 0.0 | 159M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
480.83/481.07 c 473s|320000 |320001 | 0 | 0.0 | 164M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
495.83/496.08 c 488s|330000 |330001 | 0 | 0.0 | 169M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
510.92/511.15 c 503s|340000 |340001 | 0 | 0.0 | 174M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
526.03/526.20 c 517s|350000 |350001 | 0 | 0.0 | 179M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
541.02/541.26 c 532s|360000 |360001 | 0 | 0.0 | 184M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
556.11/556.33 c 547s|370000 |370001 | 0 | 0.0 | 189M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
571.20/571.45 c 562s|380000 |380001 | 0 | 0.0 | 194M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
586.31/586.57 c 577s|390000 |390001 | 0 | 0.0 | 199M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
601.41/601.69 c 592s|400000 |400001 | 0 | 0.0 | 204M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
616.49/616.79 c 606s|410000 |410001 | 0 | 0.0 | 209M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
631.69/631.93 c 621s|420000 |420001 | 0 | 0.0 | 214M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
646.79/647.06 c 636s|430000 |430001 | 0 | 0.0 | 219M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
661.89/662.18 c 651s|440000 |440001 | 0 | 0.0 | 224M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
677.07/677.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.07/677.35 c 666s|450000 |450001 | 0 | 0.0 | 229M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
692.27/692.54 c 681s|460000 |460001 | 0 | 0.0 | 234M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
707.47/707.72 c 696s|470000 |470001 | 0 | 0.0 | 239M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
722.56/722.88 c 711s|480000 |480001 | 0 | 0.0 | 244M| 47 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | -- | Inf
737.66/737.98 c 726s|490000 |490001 | 0 | 0.0 | 249M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
752.86/753.12 c 740s|500000 |500001 | 0 | 0.0 | 254M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
767.95/768.27 c 755s|510000 |510001 | 0 | 0.0 | 259M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
783.04/783.38 c 770s|520000 |520001 | 0 | 0.0 | 264M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
798.25/798.51 c 785s|530000 |530001 | 0 | 0.0 | 269M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
813.34/813.63 c 800s|540000 |540001 | 0 | 0.0 | 274M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
828.43/828.73 c 815s|550000 |550001 | 0 | 0.0 | 279M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
843.52/843.84 c 830s|560000 |560001 | 0 | 0.0 | 284M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
858.62/858.98 c 844s|570000 |570001 | 0 | 0.0 | 289M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
873.82/874.15 c 859s|580000 |580001 | 0 | 0.0 | 294M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
889.01/889.31 c 874s|590000 |590001 | 0 | 0.0 | 299M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
904.11/904.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.11/904.46 c 889s|600000 |600001 | 0 | 0.0 | 304M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
919.21/919.60 c 904s|610000 |610001 | 0 | 0.0 | 309M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
934.40/934.72 c 919s|620000 |620001 | 0 | 0.0 | 314M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
949.49/949.88 c 934s|630000 |630001 | 0 | 0.0 | 319M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
964.68/965.04 c 949s|640000 |640001 | 0 | 0.0 | 324M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
979.79/980.20 c 964s|650000 |650001 | 0 | 0.0 | 329M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
994.98/995.34 c 979s|660000 |660001 | 0 | 0.0 | 334M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1010.07/1010.48 c 994s|670000 |670001 | 0 | 0.0 | 339M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1025.27/1025.61 c 1008s|680000 |680001 | 0 | 0.0 | 344M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1040.37/1040.78 c 1023s|690000 |690001 | 0 | 0.0 | 349M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1055.57/1055.98 c 1038s|700000 |700001 | 0 | 0.0 | 354M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1070.76/1071.14 c 1053s|710000 |710001 | 0 | 0.0 | 359M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1085.95/1086.30 c 1068s|720000 |720001 | 0 | 0.0 | 364M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1101.05/1101.47 c 1083s|730000 |730001 | 0 | 0.0 | 369M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1116.25/1116.65 c 1098s|740000 |740001 | 0 | 0.0 | 374M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1131.45/1131.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.45/1131.81 c 1113s|750000 |750001 | 0 | 0.0 | 379M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1146.54/1146.99 c 1128s|760000 |760001 | 0 | 0.0 | 384M| 49 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1161.73/1162.19 c 1143s|770000 |770001 | 0 | 0.0 | 389M| 51 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1176.93/1177.35 c 1158s|780000 |780001 | 0 | 0.0 | 394M| 51 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1192.12/1192.50 c 1173s|790000 |790001 | 0 | 0.0 | 399M| 51 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | -- | Inf
1206.92/1207.39 c 1187s|800000 |800001 | 0 | 0.0 | 403M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1221.72/1222.17 c 1202s|810000 |810001 | 0 | 0.0 | 408M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1236.51/1236.96 c 1216s|820000 |820001 | 0 | 0.0 | 413M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1251.31/1251.77 c 1231s|830000 |830001 | 0 | 0.0 | 418M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1266.10/1266.59 c 1246s|840000 |840001 | 0 | 0.0 | 422M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1281.00/1281.44 c 1260s|850000 |850001 | 0 | 0.0 | 427M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1295.79/1296.27 c 1275s|860000 |860001 | 0 | 0.0 | 432M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1310.69/1311.11 c 1289s|870000 |870001 | 0 | 0.0 | 437M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1325.48/1325.96 c 1304s|880000 |880001 | 0 | 0.0 | 442M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1340.39/1340.81 c 1318s|890000 |890001 | 0 | 0.0 | 446M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1355.17/1355.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.17/1355.67 c 1333s|900000 |900001 | 0 | 0.0 | 451M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1370.08/1370.59 c 1348s|910000 |910001 | 0 | 0.0 | 456M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1384.97/1385.47 c 1362s|920000 |920001 | 0 | 0.0 | 461M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1399.87/1400.38 c 1377s|930000 |930001 | 0 | 0.0 | 466M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1414.86/1415.30 c 1392s|940000 |940001 | 0 | 0.0 | 470M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1429.76/1430.22 c 1406s|950000 |950001 | 0 | 0.0 | 475M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1444.65/1445.15 c 1421s|960000 |960001 | 0 | 0.0 | 480M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1459.54/1460.10 c 1436s|970000 |970001 | 0 | 0.0 | 485M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1474.55/1475.06 c 1450s|980000 |980001 | 0 | 0.0 | 490M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1489.53/1490.02 c 1465s|990000 |990001 | 0 | 0.0 | 495M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1504.43/1504.98 c 1480s| 1000k| 1000k| 0 | 0.0 | 500M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1519.43/1519.98 c 1495s| 1010k| 1010k| 0 | 0.0 | 505M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1534.42/1535.00 c 1509s| 1020k| 1020k| 0 | 0.0 | 510M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1549.52/1550.02 c 1524s| 1030k| 1030k| 0 | 0.0 | 515M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1564.51/1565.02 c 1539s| 1040k| 1040k| 0 | 0.0 | 519M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1579.50/1580.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.50/1580.08 c 1554s| 1050k| 1050k| 0 | 0.0 | 524M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1594.60/1595.13 c 1569s| 1060k| 1060k| 0 | 0.0 | 529M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1609.60/1610.16 c 1583s| 1070k| 1070k| 0 | 0.0 | 534M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1624.69/1625.20 c 1598s| 1080k| 1080k| 0 | 0.0 | 539M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1639.68/1640.25 c 1613s| 1090k| 1090k| 0 | 0.0 | 544M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1654.68/1655.28 c 1628s| 1100k| 1100k| 0 | 0.0 | 549M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1669.78/1670.33 c 1642s| 1110k| 1110k| 0 | 0.0 | 554M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1684.76/1685.39 c 1657s| 1120k| 1120k| 0 | 0.0 | 559M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1699.86/1700.44 c 1672s| 1130k| 1130k| 0 | 0.0 | 564M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1714.86/1715.50 c 1687s| 1140k| 1140k| 0 | 0.0 | 569M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1729.95/1730.55 c 1702s| 1150k| 1150k| 0 | 0.0 | 574M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1745.06/1745.60 c 1716s| 1160k| 1160k| 0 | 0.0 | 579M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1760.04/1760.65 c 1731s| 1170k| 1170k| 0 | 0.0 | 584M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1775.04/1775.69 c 1746s| 1180k| 1180k| 0 | 0.0 | 589M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1790.14/1790.71 c 1761s| 1190k| 1190k| 0 | 0.0 | 594M| 53 | - |2280 | 748 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1770.51
1800.05/1800.61 c Solving Nodes : 1196579
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : -3.94000000000000e+02
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1770.51
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664725-1276485859.opb
1800.05/1800.61 c Variables : 2289 (2289 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 764 initial, 764 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664725-1276485859.opb
1800.05/1800.61 c Variables : 2280 (2280 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 748 initial, 748 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.08 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.03 8 1 0 8 0 16 0 0
1800.05/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 376 0 2315245 0 1196579 0 3460961 0 0 0
1800.05/1800.61 c linear : 12 0 2315245 0 1196579 0 0 0 0 0
1800.05/1800.61 c logicor : 360 0 1047667 0 1196579 0 1000581 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 1196579 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c setppc : 178.05 0.00 56.83 0.00 121.22
1800.05/1800.61 c linear : 190.87 0.00 189.80 0.00 1.07
1800.05/1800.61 c logicor : 128.87 0.00 5.26 0.00 123.61
1800.05/1800.61 c countsols : 0.61 0.00 0.00 0.00 0.61
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 1.48 2 0 0
1800.05/1800.61 c rootredcost : 1.60 0 0 0
1800.05/1800.61 c pseudoobj : 262.97 2315045 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 0 0.0 - - -
1800.05/1800.61 c applied locally : - - - 0 0.0 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 911.47 1196579 0 0 0 0 2393158
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c oneopt : 1.02 0 0
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 1.70 0 0
1800.05/1800.62 c trysol : 0.62 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 1196579
1800.05/1800.62 c nodes (total) : 1196579
1800.05/1800.62 c nodes left : 1196580
1800.05/1800.62 c max depth : 53
1800.05/1800.62 c max depth (total): 53
1800.05/1800.62 c backtracks : 44964 (3.8%)
1800.05/1800.62 c delayed cutoffs : 0
1800.05/1800.62 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.62 c avg switch length: 3.03
1800.05/1800.62 c switching time : 34.98
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 0 (0 improvements)
1800.05/1800.62 c Primal Bound : -
1800.05/1800.62 c Dual Bound : -3.94000000000000e+02
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : -4.18000000000000e+02
1800.05/1800.62 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-2664725-1276485859/watcher-2664725-1276485859 -o /tmp/evaluation-result-2664725-1276485859/solver-2664725-1276485859 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664725-1276485859.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.92 0.98 0.99 3/106 30572
/proc/meminfo: memFree=1790420/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=6584 CPUtime=0
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 24189877 6742016 983 1992294400 4194304 7136930 140735642054544 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30572/statm: 1646 994 254 719 0 925 0
[startup+0.0947791 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30572
/proc/meminfo: memFree=1790420/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=17712 CPUtime=0.09
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 4869 0 0 0 7 2 0 0 20 0 1 0 24189877 18137088 3666 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 4428 3666 352 719 0 3707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17712
[startup+0.100778 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30572
/proc/meminfo: memFree=1790420/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=18280 CPUtime=0.09
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 4997 0 0 0 7 2 0 0 20 0 1 0 24189877 18718720 3794 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 4570 3794 356 719 0 3849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18280
[startup+0.3008 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30572
/proc/meminfo: memFree=1790420/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=19856 CPUtime=0.29
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 6736 0 0 0 26 3 0 0 20 0 1 0 24189877 20332544 4248 1992294400 4194304 7136930 140735642054544 18446744073709551615 5507400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 4964 4248 389 719 0 4243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19856
[startup+0.700839 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30572
/proc/meminfo: memFree=1790420/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=20040 CPUtime=0.68
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 6789 0 0 0 65 3 0 0 21 0 1 0 24189877 20520960 4301 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 5010 4301 389 719 0 4289 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20040
[startup+1.50092 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30573
/proc/meminfo: memFree=1774416/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=20220 CPUtime=1.48
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 6820 0 0 0 144 4 0 0 23 0 1 0 24189877 20705280 4332 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 5055 4332 389 719 0 4334 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20220
[startup+3.10108 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30573
/proc/meminfo: memFree=1773672/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=20964 CPUtime=3.09
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 7025 0 0 0 302 7 0 0 25 0 1 0 24189877 21467136 4537 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 5241 4537 389 719 0 4520 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20964
[startup+6.30041 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30575
/proc/meminfo: memFree=1772184/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=21964 CPUtime=6.28
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 7283 0 0 0 616 12 0 0 25 0 1 0 24189877 22491136 4795 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 5491 4795 389 719 0 4770 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21964
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30575
/proc/meminfo: memFree=1769952/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=24092 CPUtime=12.68
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 7834 0 0 0 1245 23 0 0 25 0 1 0 24189877 24670208 5346 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 6023 5346 389 719 0 5302 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24092
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 30575
/proc/meminfo: memFree=1765364/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=28596 CPUtime=25.49
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 8991 0 0 0 2504 45 0 0 25 0 1 0 24189877 29282304 6503 1992294400 4194304 7136930 140735642054544 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 7149 6503 389 719 0 6428 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28596
[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 30575
/proc/meminfo: memFree=1756684/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=36960 CPUtime=51.08
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 11150 0 0 0 5016 92 0 0 25 0 1 0 24189877 37847040 8662 1992294400 4194304 7136930 140735642054544 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 9240 8662 389 719 0 8519 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36960
[startup+102.308 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 30577
/proc/meminfo: memFree=1738208/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=56632 CPUtime=102.26
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 15689 0 0 0 10049 177 0 0 25 0 1 0 24189877 57991168 13201 1992294400 4194304 7136930 140735642054544 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 14158 13201 389 719 0 13437 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56632
[startup+162.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30579
/proc/meminfo: memFree=1719236/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=76256 CPUtime=162.24
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 20751 0 0 0 15953 271 0 0 25 0 1 0 24189877 78086144 18263 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 19064 18263 389 719 0 18343 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 76256
[startup+222.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 30579
/proc/meminfo: memFree=1698280/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=95240 CPUtime=222.22
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 25653 0 0 0 21851 371 0 0 25 0 1 0 24189877 97525760 23165 1992294400 4194304 7136930 140735642054544 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 23810 23165 389 719 0 23089 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 95240
[startup+282.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 30581
/proc/meminfo: memFree=1677448/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=115252 CPUtime=282.2
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 30812 0 0 0 27753 467 0 0 25 0 1 0 24189877 118018048 28324 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 28813 28324 389 719 0 28092 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 115252
[startup+342.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 30583
/proc/meminfo: memFree=1657856/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=138592 CPUtime=342.18
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 35780 0 0 0 33651 567 0 0 25 0 1 0 24189877 141918208 33292 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 34648 33292 389 719 0 33927 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 138592
[startup+402.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 30585
/proc/meminfo: memFree=1637520/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=157956 CPUtime=402.16
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 40776 0 0 0 39555 661 0 0 25 0 1 0 24189877 161746944 38288 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 39489 38288 389 719 0 38768 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 157956
[startup+462.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 30587
/proc/meminfo: memFree=1617804/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=176940 CPUtime=462.14
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 45678 0 0 0 45454 760 0 0 25 0 1 0 24189877 181186560 43190 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 44235 43190 389 719 0 43514 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 176940
[startup+522.301 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 30587
/proc/meminfo: memFree=1596972/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=197212 CPUtime=522.12
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 50902 0 0 0 51354 858 0 0 25 0 1 0 24189877 201945088 48414 1992294400 4194304 7136930 140735642054544 18446744073709551615 5122064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 49303 48414 389 719 0 48582 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 197212
[startup+582.301 s]
/proc/loadavg: 1.04 1.06 1.00 2/107 30589
/proc/meminfo: memFree=1577752/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=216452 CPUtime=582.1
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 55868 0 0 0 57254 956 0 0 25 0 1 0 24189877 221646848 53380 1992294400 4194304 7136930 140735642054544 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 54113 53380 389 719 0 53392 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 216452
[startup+642.301 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 30591
/proc/meminfo: memFree=1556548/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=235948 CPUtime=642.09
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 60895 0 0 0 63149 1060 0 0 25 0 1 0 24189877 241610752 58407 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 58987 58407 389 719 0 58266 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 235948
[startup+702.301 s]
################
# More data... #
################
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 91136 0 0 0 98552 1646 0 0 25 0 1 0 24189877 370053120 88648 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 90345 88648 389 719 0 89624 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 361380
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30603
/proc/meminfo: memFree=1414196/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=381392 CPUtime=1061.96
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 96292 0 0 0 104461 1735 0 0 25 0 1 0 24189877 390545408 93804 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 95348 93804 389 719 0 94627 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 381392
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30603
/proc/meminfo: memFree=1394356/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=400504 CPUtime=1121.94
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 101225 0 0 0 110364 1830 0 0 25 0 1 0 24189877 410116096 98737 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 100126 98737 389 719 0 99405 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 400504
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30605
/proc/meminfo: memFree=1375136/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=420000 CPUtime=1181.93
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 106252 0 0 0 116262 1931 0 0 25 0 1 0 24189877 430080000 103764 1992294400 4194304 7136930 140735642054544 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 105000 103764 389 719 0 104279 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 420000
[startup+1242.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 30607
/proc/meminfo: memFree=1355296/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=438060 CPUtime=1241.91
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 110925 0 0 0 122164 2027 0 0 25 0 1 0 24189877 448573440 108437 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 109515 108437 389 719 0 108794 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 438060
[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 30609
/proc/meminfo: memFree=1334092/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=458548 CPUtime=1301.89
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 116203 0 0 0 128066 2123 0 0 25 0 1 0 24189877 469553152 113715 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 114637 113715 389 719 0 113916 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 458548
[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 30611
/proc/meminfo: memFree=1312516/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=479672 CPUtime=1361.88
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 121643 0 0 0 133959 2229 0 0 25 0 1 0 24189877 491184128 119155 1992294400 4194304 7136930 140735642054544 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 119918 119155 389 719 0 119197 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 479672
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30611
/proc/meminfo: memFree=1293544/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=497624 CPUtime=1421.87
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 126288 0 0 0 139861 2326 0 0 25 0 1 0 24189877 509566976 123800 1992294400 4194304 7136930 140735642054544 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 124406 123800 389 719 0 123685 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 497624
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30613
/proc/meminfo: memFree=1274076/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=533736 CPUtime=1481.84
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 131376 0 0 0 145762 2422 0 0 25 0 1 0 24189877 546545664 128888 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 133434 128888 389 719 0 132713 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 533736
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30615
/proc/meminfo: memFree=1253616/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=552452 CPUtime=1541.82
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 136211 0 0 0 151664 2518 0 0 25 0 1 0 24189877 565710848 133723 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 138113 133723 389 719 0 137392 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 552452
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30617
/proc/meminfo: memFree=1233280/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=572204 CPUtime=1601.8
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 141305 0 0 0 157563 2617 0 0 25 0 1 0 24189877 585936896 138817 1992294400 4194304 7136930 140735642054544 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 143051 138817 389 719 0 142330 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 572204
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30619
/proc/meminfo: memFree=1212076/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=592592 CPUtime=1661.77
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 146559 0 0 0 163460 2717 0 0 25 0 1 0 24189877 606814208 144071 1992294400 4194304 7136930 140735642054544 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 148148 144071 389 719 0 147427 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 592592
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30619
/proc/meminfo: memFree=1192980/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=610924 CPUtime=1721.75
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 151298 0 0 0 169354 2821 0 0 25 0 1 0 24189877 625586176 148810 1992294400 4194304 7136930 140735642054544 18446744073709551615 5892352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 152731 148810 389 719 0 152010 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 610924
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30621
/proc/meminfo: memFree=1172148/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=630928 CPUtime=1781.74
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 156455 0 0 0 175253 2921 0 0 25 0 1 0 24189877 646070272 153967 1992294400 4194304 7136930 140735642054544 18446744073709551615 4697568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 157732 153967 389 719 0 157011 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 630928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30621
/proc/meminfo: memFree=1166568/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=636220 CPUtime=1800.05
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 157826 0 0 0 177054 2951 0 0 25 0 1 0 24189877 651489280 155338 1992294400 4194304 7136930 140735642054544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30572/statm: 159055 155338 389 719 0 158334 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 636220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30572
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 30621
/proc/meminfo: memFree=1166568/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=636220 CPUtime=1800.83
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 157832 0 0 0 177132 2951 0 0 25 0 1 0 24189877 651489280 155344 1992294400 4194304 7136930 140735642054544 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30572/statm: 159055 155344 395 719 0 158334 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 636220
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30622
/proc/meminfo: memFree=1166436/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=630024 CPUtime=1801.63
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 157832 0 0 0 177212 2951 0 0 25 0 1 0 24189877 645144576 153795 1992294400 4194304 7136930 140735642054544 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30572/statm: 157506 153795 395 719 0 156785 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 630024
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30622
/proc/meminfo: memFree=1166436/2059040 swapFree=4135652/4192956
[pid=30572] ppid=30570 vsize=605092 CPUtime=1802.03
/proc/30572/stat : 30572 (pbscip.linux.x8) R 30570 30572 29366 0 -1 4202496 157832 0 0 0 177252 2951 0 0 25 0 1 0 24189877 619614208 147562 1992294400 4194304 7136930 140735642054544 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30572/statm: 151273 147562 395 719 0 150552 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 605092
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.68
CPU time (s): 1802.11
CPU user time (s): 1772.54
CPU system time (s): 29.5725
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 636220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.54
system time used= 29.5725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 23135
runsolver used 2.82557 second user time and 8.67368 second system time
The end