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-2664618-1276406533.opb>
0.00/0.03 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 1304 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.04 c presolving:
0.05/0.08 c (round 1) 72 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1160 upgd conss, 640 impls, 0 clqs
0.09/0.10 c (round 2) 72 del vars, 147 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1160 upgd conss, 640 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 101/360 (28.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (3 rounds):
0.09/0.12 c 72 deleted vars, 147 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 640 implications, 0 cliques
0.09/0.12 c presolved problem has 360 variables (360 bin, 0 int, 0 impl, 0 cont) and 1157 constraints
0.09/0.12 c 21 constraints of type <knapsack>
0.09/0.12 c 1136 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.07
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1799.97
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 1620
0.09/0.12 c
0.09/0.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c lp/solvefreq = -1
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c 0.1s| 1 | 2 | 0 | - |2023k| 0 | - | 360 |1157 | 0 | 0 | 0 | 0 | 0 | 4.000000e+00 | -- | Inf
4.39/4.42 c 4.1s| 10000 | 6746 | 0 | 0.0 |6584k| 47 | - | 360 |2182 | 0 | 0 | 0 |4150 | 0 | 7.000000e+00 | -- | Inf
9.69/9.72 c 9.1s| 20000 | 12395 | 0 | 0.0 | 11M| 47 | - | 360 |2425 | 0 | 0 | 0 | 10k| 0 | 8.000000e+00 | -- | Inf
15.18/15.22 c 14.3s| 30000 | 18540 | 0 | 0.0 | 16M| 47 | - | 360 |2677 | 0 | 0 | 0 | 15k| 0 | 9.000000e+00 | -- | Inf
20.79/20.82 c 19.6s| 40000 | 25255 | 0 | 0.0 | 21M| 49 | - | 360 |2872 | 0 | 0 | 0 | 20k| 0 | 9.000000e+00 | -- | Inf
27.08/27.15 c 25.6s| 50000 | 31066 | 0 | 0.0 | 27M| 49 | - | 360 |3233 | 0 | 0 | 0 | 27k| 0 | 9.000000e+00 | -- | Inf
33.58/33.67 c 31.9s| 60000 | 37213 | 0 | 0.0 | 32M| 51 | - | 360 |3631 | 0 | 0 | 0 | 33k| 0 | 1.000000e+01 | -- | Inf
40.37/40.40 c 38.3s| 70000 | 43863 | 0 | 0.0 | 38M| 51 | - | 360 |4193 | 0 | 0 | 0 | 38k| 0 | 1.000000e+01 | -- | Inf
47.27/47.38 c 45.0s| 80000 | 50288 | 0 | 0.0 | 44M| 51 | - | 360 |3834 | 0 | 0 | 0 | 44k| 0 | 1.100000e+01 | -- | Inf
54.06/54.14 c 51.4s| 90000 | 57164 | 0 | 0.0 | 49M| 51 | - | 360 |4081 | 0 | 0 | 0 | 49k| 0 | 1.100000e+01 | -- | Inf
60.66/60.79 c 57.7s|100000 | 64445 | 0 | 0.0 | 55M| 51 | - | 360 |4390 | 0 | 0 | 0 | 53k| 0 | 1.100000e+01 | -- | Inf
68.16/68.22 c 64.8s|110000 | 71325 | 0 | 0.0 | 61M| 51 | - | 360 |5111 | 0 | 0 | 0 | 59k| 0 | 1.100000e+01 | -- | Inf
75.86/75.91 c 72.2s|120000 | 78270 | 0 | 0.0 | 67M| 53 | - | 360 |4727 | 0 | 0 | 0 | 64k| 0 | 1.200000e+01 | -- | Inf
83.35/83.40 c 79.4s|130000 | 85174 | 0 | 0.0 | 73M| 53 | - | 360 |5180 | 0 | 0 | 0 | 69k| 0 | 1.200000e+01 | -- | Inf
90.95/91.05 c 86.8s|140000 | 92375 | 0 | 0.0 | 78M| 53 | - | 360 |5649 | 0 | 0 | 0 | 74k| 0 | 1.200000e+01 | -- | Inf
99.14/99.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.14/99.22 c 94.6s|150000 | 99426 | 0 | 0.0 | 84M| 53 | - | 360 |5801 | 0 | 0 | 0 | 79k| 0 | 1.200000e+01 | -- | Inf
106.04/106.12 c 101s|160000 |106315 | 0 | 0.0 | 89M| 53 | - | 360 |2909 | 0 | 0 | 0 | 84k| 0 | 1.300000e+01 | -- | Inf
112.54/112.61 c 107s|170000 |112717 | 0 | 0.0 | 95M| 53 | - | 360 |3245 | 0 | 0 | 0 | 91k| 0 | 1.300000e+01 | -- | Inf
118.54/118.61 c 113s|180000 |119669 | 0 | 0.0 | 100M| 53 | - | 360 |2915 | 0 | 0 | 0 | 96k| 0 | 1.300000e+01 | -- | Inf
124.93/125.04 c 119s|190000 |126331 | 0 | 0.0 | 105M| 53 | - | 360 |3489 | 0 | 0 | 0 | 101k| 0 | 1.300000e+01 | -- | Inf
131.03/131.10 c 125s|200000 |133603 | 0 | 0.0 | 111M| 53 | - | 360 |3829 | 0 | 0 | 0 | 106k| 0 | 1.400000e+01 | -- | Inf
137.72/137.85 c 131s|210000 |140389 | 0 | 0.0 | 116M| 53 | - | 360 |3942 | 0 | 0 | 0 | 112k| 0 | 1.400000e+01 | -- | Inf
145.03/145.15 c 138s|220000 |147043 | 0 | 0.0 | 121M| 53 | - | 360 |4359 | 0 | 0 | 0 | 119k| 0 | 1.400000e+01 | -- | Inf
152.93/153.04 c 146s|230000 |153695 | 0 | 0.0 | 127M| 53 | - | 360 |5292 | 0 | 0 | 0 | 125k| 0 | 1.400000e+01 | -- | Inf
161.72/161.86 c 154s|240000 |160143 | 0 | 0.0 | 132M| 53 | - | 360 |5718 | 0 | 0 | 0 | 131k| 0 | 1.400000e+01 | -- | Inf
170.51/170.63 c 163s|250000 |166610 | 0 | 0.0 | 138M| 53 | - | 360 |5433 | 0 | 0 | 0 | 138k| 0 | 1.400000e+01 | -- | Inf
178.71/178.83 c 171s|260000 |173432 | 0 | 0.0 | 144M| 53 | - | 360 |5916 | 0 | 0 | 0 | 143k| 0 | 1.400000e+01 | -- | Inf
187.61/187.75 c 179s|270000 |180374 | 0 | 0.0 | 149M| 55 | - | 360 |6622 | 0 | 0 | 0 | 148k| 0 | 1.500000e+01 | -- | Inf
197.21/197.38 c 189s|280000 |186837 | 0 | 0.0 | 155M| 55 | - | 360 |7783 | 0 | 0 | 0 | 156k| 0 | 1.500000e+01 | -- | Inf
208.81/208.92 c 200s|290000 |192186 | 0 | 0.0 | 160M| 55 | - | 360 |9031 | 0 | 0 | 0 | 166k| 0 | 1.500000e+01 | -- | Inf
221.29/221.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.29/221.42 c 212s|300000 |197384 | 0 | 0.0 | 165M| 55 | - | 360 |9165 | 0 | 0 | 0 | 177k| 0 | 1.500000e+01 | -- | Inf
234.20/234.31 c 225s|310000 |202573 | 0 | 0.0 | 170M| 55 | - | 360 |9269 | 0 | 0 | 0 | 187k| 0 | 1.500000e+01 | -- | Inf
247.88/248.04 c 238s|320000 |207782 | 0 | 0.0 | 175M| 55 | - | 360 |9735 | 0 | 0 | 0 | 197k| 0 | 1.500000e+01 | -- | Inf
261.08/261.22 c 251s|330000 |213639 | 0 | 0.0 | 181M| 55 | - | 360 |9773 | 0 | 0 | 0 | 206k| 0 | 1.500000e+01 | -- | Inf
275.88/276.05 c 265s|340000 |218712 | 0 | 0.0 | 186M| 55 | - | 360 | 10k| 0 | 0 | 0 | 217k| 0 | 1.500000e+01 | -- | Inf
290.87/291.09 c 280s|350000 |223798 | 0 | 0.0 | 192M| 55 | - | 360 | 10k| 0 | 0 | 0 | 227k| 0 | 1.500000e+01 | -- | Inf
306.27/306.43 c 295s|360000 |228953 | 0 | 0.0 | 197M| 55 | - | 360 |9048 | 0 | 0 | 0 | 237k| 0 | 1.500000e+01 | -- | Inf
318.36/318.52 c 307s|370000 |234680 | 0 | 0.0 | 202M| 55 | - | 360 |9516 | 0 | 0 | 0 | 245k| 0 | 1.500000e+01 | -- | Inf
331.46/331.67 c 320s|380000 |240341 | 0 | 0.0 | 208M| 55 | - | 360 | 10k| 0 | 0 | 0 | 253k| 0 | 1.600000e+01 | -- | Inf
346.45/346.64 c 334s|390000 |245602 | 0 | 0.0 | 213M| 55 | - | 360 | 11k| 0 | 0 | 0 | 263k| 0 | 1.600000e+01 | -- | Inf
361.35/361.54 c 349s|400000 |251144 | 0 | 0.0 | 218M| 55 | - | 360 | 12k| 0 | 0 | 0 | 273k| 0 | 1.600000e+01 | -- | Inf
377.84/378.05 c 365s|410000 |256428 | 0 | 0.0 | 223M| 55 | - | 360 | 12k| 0 | 0 | 0 | 282k| 0 | 1.600000e+01 | -- | Inf
394.03/394.26 c 381s|420000 |261781 | 0 | 0.0 | 228M| 55 | - | 360 | 13k| 0 | 0 | 0 | 292k| 0 | 1.600000e+01 | -- | Inf
410.13/410.36 c 397s|430000 |267258 | 0 | 0.0 | 233M| 55 | - | 360 | 13k| 0 | 0 | 0 | 302k| 0 | 1.600000e+01 | -- | Inf
428.62/428.86 c 415s|440000 |272079 | 0 | 0.0 | 238M| 55 | - | 360 | 12k| 0 | 0 | 0 | 313k| 0 | 1.600000e+01 | -- | Inf
445.21/445.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.21/445.41 c 431s|450000 |277340 | 0 | 0.0 | 243M| 55 | - | 360 | 13k| 0 | 0 | 0 | 323k| 0 | 1.600000e+01 | -- | Inf
461.72/461.98 c 447s|460000 |282771 | 0 | 0.0 | 248M| 55 | - | 360 | 13k| 0 | 0 | 0 | 332k| 0 | 1.600000e+01 | -- | Inf
480.40/480.69 c 466s|470000 |287632 | 0 | 0.0 | 253M| 55 | - | 360 | 14k| 0 | 0 | 0 | 343k| 0 | 1.600000e+01 | -- | Inf
499.20/499.42 c 484s|480000 |292744 | 0 | 0.0 | 258M| 55 | - | 360 | 14k| 0 | 0 | 0 | 354k| 0 | 1.600000e+01 | -- | Inf
518.89/519.16 c 504s|490000 |297722 | 0 | 0.0 | 264M| 55 | - | 360 | 15k| 0 | 0 | 0 | 364k| 0 | 1.600000e+01 | -- | Inf
538.68/539.00 c 523s|500000 |302801 | 0 | 0.0 | 269M| 57 | - | 360 | 15k| 0 | 0 | 0 | 375k| 0 | 1.600000e+01 | -- | Inf
558.97/559.27 c 543s|510000 |307620 | 0 | 0.0 | 274M| 59 | - | 360 | 15k| 0 | 0 | 0 | 385k| 0 | 1.600000e+01 | -- | Inf
578.96/579.21 c 563s|520000 |312632 | 0 | 0.0 | 279M| 59 | - | 360 | 13k| 0 | 0 | 0 | 395k| 0 | 1.600000e+01 | -- | Inf
594.66/595.00 c 578s|530000 |318092 | 0 | 0.0 | 284M| 59 | - | 360 | 12k| 0 | 0 | 0 | 404k| 0 | 1.700000e+01 | -- | Inf
613.56/613.82 c 597s|540000 |322916 | 0 | 0.0 | 289M| 59 | - | 360 | 14k| 0 | 0 | 0 | 415k| 0 | 1.700000e+01 | -- | Inf
632.84/633.16 c 616s|550000 |327806 | 0 | 0.0 | 294M| 59 | - | 360 | 15k| 0 | 0 | 0 | 425k| 0 | 1.700000e+01 | -- | Inf
653.83/654.17 c 636s|560000 |332710 | 0 | 0.0 | 299M| 59 | - | 360 | 15k| 0 | 0 | 0 | 436k| 0 | 1.700000e+01 | -- | Inf
672.33/672.61 c 655s|570000 |338132 | 0 | 0.0 | 304M| 59 | - | 360 | 16k| 0 | 0 | 0 | 446k| 0 | 1.700000e+01 | -- | Inf
693.92/694.24 c 676s|580000 |342990 | 0 | 0.0 | 309M| 59 | - | 360 | 16k| 0 | 0 | 0 | 456k| 0 | 1.700000e+01 | -- | Inf
714.41/714.73 c 696s|590000 |348245 | 0 | 0.0 | 314M| 59 | - | 360 | 17k| 0 | 0 | 0 | 467k| 0 | 1.700000e+01 | -- | Inf
736.61/736.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.61/736.96 c 718s|600000 |353101 | 0 | 0.0 | 319M| 59 | - | 360 | 17k| 0 | 0 | 0 | 478k| 0 | 1.700000e+01 | -- | Inf
758.90/759.26 c 740s|610000 |357781 | 0 | 0.0 | 323M| 59 | - | 360 | 17k| 0 | 0 | 0 | 489k| 0 | 1.700000e+01 | -- | Inf
781.59/781.93 c 762s|620000 |362593 | 0 | 0.0 | 328M| 59 | - | 360 | 16k| 0 | 0 | 0 | 500k| 0 | 1.700000e+01 | -- | Inf
803.47/803.84 c 784s|630000 |367496 | 0 | 0.0 | 333M| 59 | - | 360 | 17k| 0 | 0 | 0 | 511k| 0 | 1.700000e+01 | -- | Inf
825.26/825.62 c 805s|640000 |372735 | 0 | 0.0 | 338M| 59 | - | 360 | 17k| 0 | 0 | 0 | 521k| 0 | 1.700000e+01 | -- | Inf
848.25/848.64 c 828s|650000 |377499 | 0 | 0.0 | 343M| 59 | - | 360 | 17k| 0 | 0 | 0 | 531k| 0 | 1.700000e+01 | -- | Inf
870.25/870.64 c 850s|660000 |382541 | 0 | 0.0 | 347M| 59 | - | 360 | 17k| 0 | 0 | 0 | 542k| 0 | 1.700000e+01 | -- | Inf
893.34/893.70 c 872s|670000 |387513 | 0 | 0.0 | 352M| 59 | - | 360 | 17k| 0 | 0 | 0 | 552k| 0 | 1.700000e+01 | -- | Inf
917.23/917.62 c 896s|680000 |392425 | 0 | 0.0 | 357M| 59 | - | 360 | 17k| 0 | 0 | 0 | 563k| 0 | 1.700000e+01 | -- | Inf
942.22/942.62 c 921s|690000 |397053 | 0 | 0.0 | 362M| 59 | - | 360 | 18k| 0 | 0 | 0 | 574k| 0 | 1.700000e+01 | -- | Inf
966.42/966.84 c 945s|700000 |401867 | 0 | 0.0 | 367M| 59 | - | 360 | 18k| 0 | 0 | 0 | 584k| 0 | 1.700000e+01 | -- | Inf
990.20/990.67 c 968s|710000 |406834 | 0 | 0.0 | 372M| 61 | - | 360 | 18k| 0 | 0 | 0 | 595k| 0 | 1.700000e+01 | -- | Inf
1014.29/1014.78 c 992s|720000 |411699 | 0 | 0.0 | 377M| 62 | - | 360 | 17k| 0 | 0 | 0 | 605k| 0 | 1.700000e+01 | -- | Inf
1033.88/1034.34 c 1011s|730000 |417070 | 0 | 0.0 | 382M| 71 | - | 360 | 17k| 0 | 0 | 0 | 615k| 0 | 1.700000e+01 | -- | Inf
1054.38/1054.82 c 1031s|740000 |422081 | 0 | 0.0 | 387M| 71 | - | 360 | 17k| 0 | 0 | 0 | 624k| 0 | 1.800000e+01 | -- | Inf
1076.56/1077.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.56/1077.08 c 1053s|750000 |427012 | 0 | 0.0 | 391M| 71 | - | 360 | 17k| 0 | 0 | 0 | 635k| 0 | 1.800000e+01 | -- | Inf
1101.15/1101.68 c 1077s|760000 |431540 | 0 | 0.0 | 396M| 71 | - | 360 | 18k| 0 | 0 | 0 | 646k| 0 | 1.800000e+01 | -- | Inf
1125.24/1125.70 c 1101s|770000 |436433 | 0 | 0.0 | 400M| 71 | - | 360 | 18k| 0 | 0 | 0 | 656k| 0 | 1.800000e+01 | -- | Inf
1147.84/1148.34 c 1123s|780000 |441529 | 0 | 0.0 | 405M| 71 | - | 360 | 19k| 0 | 0 | 0 | 666k| 0 | 1.800000e+01 | -- | Inf
1173.02/1173.51 c 1148s|790000 |446396 | 0 | 0.0 | 410M| 71 | - | 360 | 19k| 0 | 0 | 0 | 677k| 0 | 1.800000e+01 | -- | Inf
1197.91/1198.43 c 1173s|800000 |451220 | 0 | 0.0 | 414M| 71 | - | 360 | 19k| 0 | 0 | 0 | 687k| 0 | 1.800000e+01 | -- | Inf
1221.41/1221.98 c 1196s|810000 |456379 | 0 | 0.0 | 419M| 71 | - | 360 | 19k| 0 | 0 | 0 | 697k| 0 | 1.800000e+01 | -- | Inf
1249.39/1249.99 c 1224s|820000 |460674 | 0 | 0.0 | 424M| 71 | - | 360 | 19k| 0 | 0 | 0 | 709k| 0 | 1.800000e+01 | -- | Inf
1272.58/1273.14 c 1247s|830000 |466023 | 0 | 0.0 | 428M| 71 | - | 360 | 20k| 0 | 0 | 0 | 718k| 0 | 1.800000e+01 | -- | Inf
1298.58/1299.17 c 1272s|840000 |470812 | 0 | 0.0 | 433M| 71 | - | 360 | 19k| 0 | 0 | 0 | 729k| 0 | 1.800000e+01 | -- | Inf
1324.97/1325.59 c 1298s|850000 |475405 | 0 | 0.0 | 437M| 71 | - | 360 | 20k| 0 | 0 | 0 | 740k| 0 | 1.800000e+01 | -- | Inf
1346.97/1347.51 c 1320s|860000 |481084 | 0 | 0.0 | 442M| 71 | - | 360 | 20k| 0 | 0 | 0 | 749k| 0 | 1.800000e+01 | -- | Inf
1374.75/1375.38 c 1347s|870000 |485575 | 0 | 0.0 | 446M| 71 | - | 360 | 20k| 0 | 0 | 0 | 760k| 0 | 1.800000e+01 | -- | Inf
1399.34/1399.96 c 1372s|880000 |490715 | 0 | 0.0 | 451M| 71 | - | 360 | 20k| 0 | 0 | 0 | 770k| 0 | 1.800000e+01 | -- | Inf
1424.22/1424.86 c 1396s|890000 |495957 | 0 | 0.0 | 456M| 71 | - | 360 | 20k| 0 | 0 | 0 | 780k| 0 | 1.800000e+01 | -- | Inf
1451.42/1452.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.42/1452.07 c 1423s|900000 |500481 | 0 | 0.0 | 460M| 71 | - | 360 | 20k| 0 | 0 | 0 | 790k| 0 | 1.800000e+01 | -- | Inf
1473.71/1474.37 c 1445s|910000 |506431 | 0 | 0.0 | 465M| 71 | - | 360 | 20k| 0 | 0 | 0 | 799k| 0 | 1.800000e+01 | -- | Inf
1502.80/1503.43 c 1474s|920000 |510819 | 0 | 0.0 | 469M| 71 | - | 360 | 20k| 0 | 0 | 0 | 810k| 0 | 1.800000e+01 | -- | Inf
1526.79/1527.48 c 1498s|930000 |516308 | 0 | 0.0 | 474M| 71 | - | 360 | 21k| 0 | 0 | 0 | 819k| 0 | 1.800000e+01 | -- | Inf
1556.28/1556.98 c 1527s|940000 |520854 | 0 | 0.0 | 479M| 71 | - | 360 | 20k| 0 | 0 | 0 | 830k| 0 | 1.800000e+01 | -- | Inf
1582.87/1583.50 c 1553s|950000 |525972 | 0 | 0.0 | 483M| 71 | - | 360 | 20k| 0 | 0 | 0 | 840k| 0 | 1.800000e+01 | -- | Inf
1607.86/1608.58 c 1578s|960000 |531435 | 0 | 0.0 | 488M| 71 | - | 360 | 21k| 0 | 0 | 0 | 849k| 0 | 1.800000e+01 | -- | Inf
1635.06/1635.79 c 1605s|970000 |536544 | 0 | 0.0 | 493M| 71 | - | 360 | 21k| 0 | 0 | 0 | 859k| 0 | 1.800000e+01 | -- | Inf
1660.94/1661.65 c 1630s|980000 |542055 | 0 | 0.0 | 498M| 71 | - | 360 | 21k| 0 | 0 | 0 | 868k| 0 | 1.800000e+01 | -- | Inf
1687.43/1688.14 c 1656s|990000 |547047 | 0 | 0.0 | 502M| 71 | - | 360 | 20k| 0 | 0 | 0 | 878k| 0 | 1.800000e+01 | -- | Inf
1711.02/1711.75 c 1680s| 1000k|552258 | 0 | 0.0 | 508M| 71 | - | 360 | 20k| 0 | 0 | 0 | 888k| 0 | 1.800000e+01 | -- | Inf
1730.51/1731.28 c 1699s| 1010k|558058 | 0 | 0.0 | 512M| 71 | - | 360 | 20k| 0 | 0 | 0 | 896k| 0 | 1.900000e+01 | -- | Inf
1756.50/1757.26 c 1724s| 1020k|562689 | 0 | 0.0 | 517M| 71 | - | 360 | 21k| 0 | 0 | 0 | 906k| 0 | 1.900000e+01 | -- | Inf
1784.79/1785.50 c 1752s| 1030k|567231 | 0 | 0.0 | 521M| 71 | - | 360 | 20k| 0 | 0 | 0 | 917k| 0 | 1.900000e+01 | -- | Inf
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.81 c
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time (sec) : 1767.51
1800.08/1800.81 c Solving Nodes : 1035560
1800.08/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.81 c Dual Bound : +1.90000000000000e+01
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 s UNKNOWN
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time : 1767.51
1800.08/1800.81 c Original Problem :
1800.08/1800.81 c Problem name : HOME/instance-2664618-1276406533.opb
1800.08/1800.81 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 1304 initial, 1304 maximal
1800.08/1800.81 c Presolved Problem :
1800.08/1800.81 c Problem name : t_HOME/instance-2664618-1276406533.opb
1800.08/1800.81 c Variables : 360 (360 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 1157 initial, 21934 maximal
1800.08/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c implics : 0.00 0 72 0 0 0 0 0 0
1800.08/1800.81 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.81 c knapsack : 0.00 0 0 0 0 0 3 0 0
1800.08/1800.81 c linear : 0.03 0 0 0 0 0 144 0 0
1800.08/1800.81 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.81 c root node : - 1 - - 1 - - - -
1800.08/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.81 c knapsack : 21 0 3548105 0 854837 209421 5459929 0 0 0
1800.08/1800.81 c logicor : 1136+ 0 3093110 0 854837 55877 7197861 0 0 0
1800.08/1800.81 c countsols : 0 0 0 0 854829 0 0 0 0 0
1800.08/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.81 c knapsack : 56.31 0.00 44.98 0.00 11.33
1800.08/1800.81 c logicor : 939.57 0.00 797.08 0.00 142.49
1800.08/1800.81 c countsols : 0.33 0.00 0.00 0.00 0.33
1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.81 c vbounds : 1.78 2 0 0
1800.08/1800.81 c rootredcost : 1.75 0 0 0
1800.08/1800.81 c pseudoobj : 73.47 3547905 0 0
1800.08/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.81 c propagation : 17.52 265298 264784 1464119 18.2 11622 11.1 -
1800.08/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.81 c applied globally : - - - 923755 16.5 - - -
1800.08/1800.81 c applied locally : - - - 0 0.0 - - -
1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.81 c redcost : 0.00 0 0 0 0 0
1800.08/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.81 c intobj : 0.00 0 0 0 0 0
1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.81 c gomory : 0.00 0 0 0 0 0
1800.08/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.81 c cmir : 0.00 0 0 0 0 0
1800.08/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.81 c clique : 0.00 0 0 0 0 0
1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.81 c mcf : 0.00 0 0 0 0 0
1800.08/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.81 c Pricers : Time Calls Vars
1800.08/1800.81 c problem variables: 0.00 0 0
1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c inference : 51.69 854829 0 0 0 0 1709658
1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c random : 0.00 0 0 0 0 0 0
1800.08/1800.81 c Primal Heuristics : Time Calls Found
1800.08/1800.81 c LP solutions : 0.00 - 0
1800.08/1800.81 c pseudo solutions : 0.00 - 0
1800.08/1800.81 c oneopt : 0.60 0 0
1800.08/1800.81 c trivial : 0.00 2 0
1800.08/1800.81 c simplerounding : 0.00 0 0
1800.08/1800.81 c zirounding : 0.00 0 0
1800.08/1800.81 c rounding : 0.00 0 0
1800.08/1800.81 c shifting : 0.00 0 0
1800.08/1800.81 c intshifting : 0.00 0 0
1800.08/1800.81 c twoopt : 0.00 0 0
1800.08/1800.81 c fixandinfer : 0.00 0 0
1800.08/1800.81 c feaspump : 0.00 0 0
1800.08/1800.81 c coefdiving : 0.00 0 0
1800.08/1800.81 c pscostdiving : 0.00 0 0
1800.08/1800.81 c fracdiving : 0.00 0 0
1800.08/1800.81 c veclendiving : 0.00 0 0
1800.08/1800.81 c intdiving : 0.00 0 0
1800.08/1800.81 c actconsdiving : 0.00 0 0
1800.08/1800.81 c objpscostdiving : 0.00 0 0
1800.08/1800.81 c rootsoldiving : 0.00 0 0
1800.08/1800.81 c linesearchdiving : 0.00 0 0
1800.08/1800.81 c guideddiving : 0.00 0 0
1800.08/1800.81 c octane : 0.00 0 0
1800.08/1800.81 c rens : 0.00 0 0
1800.08/1800.81 c rins : 0.00 0 0
1800.08/1800.81 c localbranching : 0.00 0 0
1800.08/1800.81 c mutation : 0.00 0 0
1800.08/1800.81 c crossover : 0.00 0 0
1800.08/1800.81 c dins : 0.00 0 0
1800.08/1800.81 c undercover : 0.00 0 0
1800.08/1800.81 c nlp : 0.55 0 0
1800.08/1800.81 c trysol : 0.41 0 0
1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.81 c (at root node) : - 0 0 0.00 -
1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.81 c B&B Tree :
1800.08/1800.81 c number of runs : 1
1800.08/1800.81 c nodes : 1035560
1800.08/1800.81 c nodes (total) : 1035560
1800.08/1800.81 c nodes left : 569883
1800.08/1800.81 c max depth : 71
1800.08/1800.81 c max depth (total): 71
1800.08/1800.81 c backtracks : 123513 (11.9%)
1800.08/1800.81 c delayed cutoffs : 104216
1800.08/1800.81 c repropagations : 387029 (2989861 domain reductions, 84567 cutoffs)
1800.08/1800.81 c avg switch length: 6.32
1800.08/1800.81 c switching time : 415.12
1800.08/1800.81 c Solution :
1800.08/1800.81 c Solutions found : 0 (0 improvements)
1800.08/1800.81 c Primal Bound : -
1800.08/1800.81 c Dual Bound : +1.90000000000000e+01
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 c Root Dual Bound : +4.00000000000000e+00
1800.08/1800.81 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-2664618-1276406533/watcher-2664618-1276406533 -o /tmp/evaluation-result-2664618-1276406533/solver-2664618-1276406533 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664618-1276406533.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.11 3/106 22334
/proc/meminfo: memFree=1515012/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=6584 CPUtime=0
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 14309652 6742016 904 1992294400 4194304 7136930 140736541745600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22334/statm: 1646 912 254 719 0 925 0
[startup+0.0568871 s]
/proc/loadavg: 1.00 1.00 1.11 3/106 22334
/proc/meminfo: memFree=1515012/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=12708 CPUtime=0.05
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 3078 0 0 0 5 0 0 0 20 0 1 0 14309652 13012992 2389 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 3177 2389 342 719 0 2456 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12708
[startup+0.100895 s]
/proc/loadavg: 1.00 1.00 1.11 3/106 22334
/proc/meminfo: memFree=1515012/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=13700 CPUtime=0.09
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 4379 0 0 0 8 1 0 0 20 0 1 0 14309652 14028800 2662 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 3425 2662 362 719 0 2704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13700
[startup+0.300932 s]
/proc/loadavg: 1.00 1.00 1.11 3/106 22334
/proc/meminfo: memFree=1515012/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=15000 CPUtime=0.29
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 5275 0 0 0 27 2 0 0 20 0 1 0 14309652 15360000 3044 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 3750 3044 397 719 0 3029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15000
[startup+0.701006 s]
/proc/loadavg: 1.00 1.00 1.11 3/106 22334
/proc/meminfo: memFree=1515012/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=15864 CPUtime=0.69
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 5493 0 0 0 64 5 0 0 20 0 1 0 14309652 16244736 3262 1992294400 4194304 7136930 140736541745600 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 3966 3262 397 719 0 3245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15864
[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22335
/proc/meminfo: memFree=1503100/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=17064 CPUtime=1.49
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 5793 0 0 0 139 10 0 0 23 0 1 0 14309652 17473536 3562 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 4266 3562 397 719 0 3545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17064
[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22335
/proc/meminfo: memFree=1500992/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=18700 CPUtime=3.09
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 6221 0 0 0 289 20 0 0 25 0 1 0 14309652 19148800 3990 1992294400 4194304 7136930 140736541745600 18446744073709551615 5954229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 4675 3990 397 719 0 3954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18700
[startup+6.30105 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22335
/proc/meminfo: memFree=1496900/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=22552 CPUtime=6.28
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 7168 0 0 0 591 37 0 0 25 0 1 0 14309652 23093248 4937 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 5638 4937 397 719 0 4917 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22552
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22335
/proc/meminfo: memFree=1489336/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=29760 CPUtime=12.68
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 8993 0 0 0 1196 72 0 0 25 0 1 0 14309652 30474240 6762 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 7440 6762 397 719 0 6719 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29760
[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 22335
/proc/meminfo: memFree=1472720/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=45888 CPUtime=25.48
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 13057 0 0 0 2408 140 0 0 25 0 1 0 14309652 46989312 10826 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 11472 10826 397 719 0 10751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45888
[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 22337
/proc/meminfo: memFree=1448540/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=69752 CPUtime=51.07
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 19109 0 0 0 4854 253 0 0 25 0 1 0 14309652 71426048 16878 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 17438 16878 397 719 0 16717 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69752
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22337
/proc/meminfo: memFree=1397576/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=121588 CPUtime=102.25
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 31711 0 0 0 9757 468 0 0 25 0 1 0 14309652 124506112 29480 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 30397 29480 397 719 0 29676 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 121588
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22339
/proc/meminfo: memFree=1345496/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=172776 CPUtime=162.21
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 44723 0 0 0 15478 743 0 0 25 0 1 0 14309652 176922624 42492 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 43194 42492 397 719 0 42473 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 172776
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22341
/proc/meminfo: memFree=1311892/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=209912 CPUtime=222.2
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 53091 0 0 0 21290 930 0 0 25 0 1 0 14309652 214949888 50860 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 52478 50860 397 719 0 51757 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 209912
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 22343
/proc/meminfo: memFree=1282008/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=240484 CPUtime=282.18
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 60807 0 0 0 27150 1068 0 0 25 0 1 0 14309652 246255616 58576 1992294400 4194304 7136930 140736541745600 18446744073709551615 4212411 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 60121 58576 397 719 0 59400 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 240484
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 22343
/proc/meminfo: memFree=1254108/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=267108 CPUtime=342.15
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 67498 0 0 0 33008 1207 0 0 25 0 1 0 14309652 273518592 65267 1992294400 4194304 7136930 140736541745600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 66777 65267 397 719 0 66056 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 267108
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22345
/proc/meminfo: memFree=1234144/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=286984 CPUtime=402.12
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 72461 0 0 0 38889 1323 0 0 25 0 1 0 14309652 293871616 70230 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 71746 70230 397 719 0 71025 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 286984
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22347
/proc/meminfo: memFree=1219264/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=301412 CPUtime=462.1
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 76167 0 0 0 44775 1435 0 0 25 0 1 0 14309652 308645888 73936 1992294400 4194304 7136930 140736541745600 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 75353 73936 397 719 0 74632 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 301412
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 22349
/proc/meminfo: memFree=1197936/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=322424 CPUtime=522.09
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 81450 0 0 0 50673 1536 0 0 25 0 1 0 14309652 330162176 79219 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 80606 79219 397 719 0 79885 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 322424
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 22351
/proc/meminfo: memFree=1181196/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=339380 CPUtime=582.06
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 85709 0 0 0 56573 1633 0 0 25 0 1 0 14309652 347525120 83478 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 84845 83478 397 719 0 84124 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 339380
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 22353
/proc/meminfo: memFree=1166812/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=352832 CPUtime=642.05
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 89176 0 0 0 62468 1737 0 0 25 0 1 0 14309652 361299968 86945 1992294400 4194304 7136930 140736541745600 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 88208 86945 397 719 0 87487 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 352832
[startup+702.301 s]
################
# More data... #
################
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 112981 0 0 0 103860 2327 0 0 25 0 1 0 14309652 457691136 110750 1992294400 4194304 7136930 140736541745600 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 111741 110750 397 719 0 111020 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 446964
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22368
/proc/meminfo: memFree=1056204/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=460968 CPUtime=1121.84
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 116541 0 0 0 109776 2408 0 0 25 0 1 0 14309652 472031232 114310 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 115242 114310 397 719 0 114521 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 460968
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22370
/proc/meminfo: memFree=1050376/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=466628 CPUtime=1181.82
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 117988 0 0 0 115697 2485 0 0 25 0 1 0 14309652 477827072 115757 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 116657 115757 397 719 0 115936 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 466628
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22370
/proc/meminfo: memFree=1039092/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=485808 CPUtime=1241.8
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 120787 0 0 0 121621 2559 0 0 25 0 1 0 14309652 497467392 118556 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 121452 118556 397 719 0 120731 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 485808
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22372
/proc/meminfo: memFree=1028180/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=496628 CPUtime=1301.78
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 123495 0 0 0 127540 2638 0 0 25 0 1 0 14309652 508547072 121264 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 124157 121264 397 719 0 123436 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 496628
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22374
/proc/meminfo: memFree=1011192/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=513336 CPUtime=1361.75
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 127742 0 0 0 133459 2716 0 0 25 0 1 0 14309652 525656064 125511 1992294400 4194304 7136930 140736541745600 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 128334 125511 397 719 0 127613 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 513336
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22376
/proc/meminfo: memFree=997056/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=527148 CPUtime=1421.73
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 131251 0 0 0 139383 2790 0 0 25 0 1 0 14309652 539799552 129020 1992294400 4194304 7136930 140736541745600 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 131787 129020 397 719 0 131066 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 527148
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22378
/proc/meminfo: memFree=985772/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=538248 CPUtime=1481.7
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 134050 0 0 0 145304 2866 0 0 25 0 1 0 14309652 551165952 131819 1992294400 4194304 7136930 140736541745600 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 134562 131819 397 719 0 133841 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 538248
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22378
/proc/meminfo: memFree=975976/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=547948 CPUtime=1541.68
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 136559 0 0 0 151230 2938 0 0 25 0 1 0 14309652 561098752 134328 1992294400 4194304 7136930 140736541745600 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 136987 134328 397 719 0 136266 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 547948
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22380
/proc/meminfo: memFree=965312/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=558540 CPUtime=1601.66
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 139199 0 0 0 157154 3012 0 0 25 0 1 0 14309652 571944960 136968 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 139635 136968 397 719 0 138914 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 558540
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22382
/proc/meminfo: memFree=956632/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=567044 CPUtime=1661.64
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 141376 0 0 0 163080 3084 0 0 25 0 1 0 14309652 580653056 139145 1992294400 4194304 7136930 140736541745600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 141761 139145 397 719 0 141040 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 567044
[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 22384
/proc/meminfo: memFree=948076/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=576460 CPUtime=1721.61
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 143755 0 0 0 168998 3163 0 0 25 0 1 0 14309652 590295040 141524 1992294400 4194304 7136930 140736541745600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 144115 141524 397 719 0 143394 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 576460
[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 22386
/proc/meminfo: memFree=937908/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=585348 CPUtime=1781.58
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 146031 0 0 0 174925 3233 0 0 25 0 1 0 14309652 599396352 143800 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 146337 143800 397 719 0 145616 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 585348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 22386
/proc/meminfo: memFree=933692/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=589456 CPUtime=1800.08
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 147073 0 0 0 176753 3255 0 0 25 0 1 0 14309652 603602944 144842 1992294400 4194304 7136930 140736541745600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22334/statm: 147364 144842 397 719 0 146643 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 589456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22334
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 22386
/proc/meminfo: memFree=933692/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=589456 CPUtime=1800.68
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 147082 0 0 0 176813 3255 0 0 25 0 1 0 14309652 603602944 144851 1992294400 4194304 7136930 140736541745600 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22334/statm: 147364 144851 403 719 0 146643 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 589456
[startup+1802.2 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 22387
/proc/meminfo: memFree=933684/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=589456 CPUtime=1801.48
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 147082 0 0 0 176893 3255 0 0 25 0 1 0 14309652 603602944 144851 1992294400 4194304 7136930 140736541745600 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22334/statm: 147364 144851 403 719 0 146643 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 589456
[startup+1802.6 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 22387
/proc/meminfo: memFree=933684/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=589456 CPUtime=1801.88
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 147082 0 0 0 176933 3255 0 0 25 0 1 0 14309652 603602944 144851 1992294400 4194304 7136930 140736541745600 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22334/statm: 147364 144851 403 719 0 146643 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 589456
[startup+1802.8 s]
/proc/loadavg: 1.01 1.00 1.00 3/108 22387
/proc/meminfo: memFree=933684/2059040 swapFree=4165036/4192956
[pid=22334] ppid=22332 vsize=589456 CPUtime=1802.08
/proc/22334/stat : 22334 (pbscip.linux.x8) R 22332 22334 22225 0 -1 4202496 147082 0 0 0 176953 3255 0 0 25 0 1 0 14309652 603602944 144851 1992294400 4194304 7136930 140736541745600 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22334/statm: 147364 144851 403 719 0 146643 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 589456
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.87
CPU time (s): 1802.15
CPU user time (s): 1769.54
CPU system time (s): 32.61
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 589456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.54
system time used= 32.61
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147082
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= 6823
runsolver used 2.92855 second user time and 8.5767 second system time
The end