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-2663868-1276668514.opb>
0.00/0.02 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.00/0.02 c problem read
0.00/0.02 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 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10280 impls, 200 clqs
0.39/0.45 c (0.2s) probing: 101/1460 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (2 rounds):
0.39/0.46 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 10280 implications, 200 cliques
0.39/0.46 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.39/0.46 c 200 constraints of type <setppc>
0.39/0.46 c 1260 constraints of type <and>
0.39/0.46 c 1 constraints of type <linear>
0.39/0.46 c 100 constraints of type <logicor>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.24
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 1.2.1.2
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1799.98
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 1620
0.39/0.46 c
0.39/0.46 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.46 c lp/solvefreq = -1
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c heuristics/undercover/freq = 0
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c t 0.3s| 1 | 2 | 0 | - |4375k| 0 | - |1460 |1561 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
3.89/3.90 o -7
3.89/3.90 c * 3.5s| 5322 | 5111 | 0 | 0.0 |9969k| 128 | - |1460 |1687 | 0 | 0 | 0 | 129 | 0 |-9.900000e+01 |-7.000000e+00 | 92.93%
5.09/5.15 o -10
5.09/5.15 c * 4.7s| 7506 | 7185 | 0 | 0.0 | 12M| 128 | - |1460 |1739 | 0 | 0 | 0 | 201 | 0 |-9.900000e+01 |-1.000000e+01 | 89.90%
5.40/5.44 o -13
5.40/5.44 c * 5.0s| 7979 | 7618 | 0 | 0.0 | 12M| 128 | - |1460 |1756 | 0 | 0 | 0 | 232 | 0 |-9.900000e+01 |-1.300000e+01 | 86.87%
6.50/6.53 o -14
6.50/6.53 c * 6.0s| 9566 | 8983 | 0 | 0.0 | 15M| 128 | - |1460 |1805 | 0 | 0 | 0 | 375 | 0 |-9.900000e+01 |-1.400000e+01 | 85.86%
6.79/6.85 c 6.3s| 10000 | 9329 | 0 | 0.0 | 15M| 128 | - |1460 |1841 | 0 | 0 | 0 | 439 | 0 |-9.900000e+01 |-1.400000e+01 | 85.86%
15.88/15.99 c 15.1s| 20000 | 14227 | 0 | 0.0 | 27M| 128 | - |1460 |2173 | 0 | 0 | 0 |3885 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
23.59/23.68 c 22.4s| 30000 | 23021 | 0 | 0.0 | 49M| 128 | - |1460 |2046 | 0 | 0 | 0 |5071 | 0 |-9.800000e+01 |-1.400000e+01 | 85.71%
28.78/28.81 o -15
28.78/28.81 c *27.3s| 36794 | 28735 | 0 | 0.0 | 63M| 128 | - |1460 |2185 | 0 | 0 | 0 |6112 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
31.18/31.24 c 29.7s| 40000 | 31414 | 0 | 0.0 | 69M| 128 | - |1460 |2123 | 0 | 0 | 0 |6549 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
38.78/38.89 c 37.0s| 50000 | 39571 | 0 | 0.0 | 88M| 128 | - |1460 |2219 | 0 | 0 | 0 |8277 | 0 |-9.800000e+01 |-1.500000e+01 | 84.69%
42.38/42.42 o -16
42.38/42.42 c *40.3s| 54530 | 43008 | 0 | 0.0 | 96M| 128 | - |1460 |2279 | 0 | 0 | 0 |9321 | 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
46.58/46.67 c 44.4s| 60000 | 47210 | 0 | 0.0 | 106M| 128 | - |1460 |2334 | 0 | 0 | 0 | 10k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
54.48/54.59 c 52.0s| 70000 | 54775 | 0 | 0.0 | 123M| 128 | - |1460 |2283 | 0 | 0 | 0 | 12k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
62.38/62.48 c 59.5s| 80000 | 62324 | 0 | 0.0 | 140M| 128 | - |1460 |2356 | 0 | 0 | 0 | 14k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
70.18/70.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.18/70.22 c 67.0s| 90000 | 69896 | 0 | 0.0 | 157M| 128 | - |1460 |2380 | 0 | 0 | 0 | 17k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
77.87/77.96 c 74.3s|100000 | 77297 | 0 | 0.0 | 172M| 128 | - |1460 |2383 | 0 | 0 | 0 | 19k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
85.57/85.67 c 81.7s|110000 | 84618 | 0 | 0.0 | 187M| 128 | - |1460 |2513 | 0 | 0 | 0 | 22k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
93.56/93.66 c 89.3s|120000 | 91402 | 0 | 0.0 | 201M| 128 | - |1460 |2678 | 0 | 0 | 0 | 25k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
102.56/102.67 c 98.0s|130000 | 97127 | 0 | 0.0 | 214M| 128 | - |1460 |2871 | 0 | 0 | 0 | 29k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
111.26/111.37 c 106s|140000 |103284 | 0 | 0.0 | 226M| 128 | - |1460 |2791 | 0 | 0 | 0 | 32k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
120.56/120.67 c 115s|150000 |108949 | 0 | 0.0 | 238M| 128 | - |1460 |2763 | 0 | 0 | 0 | 35k| 0 |-9.800000e+01 |-1.600000e+01 | 83.67%
130.87/130.94 c 125s|160000 |113788 | 0 | 0.0 | 249M| 128 | - |1460 |3354 | 0 | 0 | 0 | 39k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
141.26/141.31 c 135s|170000 |118510 | 0 | 0.0 | 259M| 128 | - |1460 |2351 | 0 | 0 | 0 | 42k| 0 |-9.700000e+01 |-1.600000e+01 | 83.51%
145.46/145.56 o -17
145.46/145.56 c * 139s|175412 |123394 | 0 | 0.0 | 272M| 128 | - |1460 |2311 | 0 | 0 | 0 | 42k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
149.05/149.19 c 143s|180000 |127529 | 0 | 0.0 | 282M| 128 | - |1460 |2351 | 0 | 0 | 0 | 43k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
157.16/157.27 c 151s|190000 |136345 | 0 | 0.0 | 306M| 128 | - |1460 |2407 | 0 | 0 | 0 | 44k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
165.15/165.27 c 158s|200000 |145150 | 0 | 0.0 | 328M| 128 | - |1460 |2480 | 0 | 0 | 0 | 45k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
173.15/173.22 c 166s|210000 |153936 | 0 | 0.0 | 351M| 128 | - |1460 |2629 | 0 | 0 | 0 | 46k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
181.04/181.12 c 173s|220000 |162730 | 0 | 0.0 | 373M| 128 | - |1460 |2579 | 0 | 0 | 0 | 47k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
189.05/189.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.05/189.18 c 181s|230000 |171485 | 0 | 0.0 | 396M| 128 | - |1460 |2606 | 0 | 0 | 0 | 48k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
197.04/197.14 c 189s|240000 |180247 | 0 | 0.0 | 417M| 128 | - |1460 |2606 | 0 | 0 | 0 | 50k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
204.64/204.79 c 196s|250000 |188924 | 0 | 0.0 | 437M| 128 | - |1460 |2671 | 0 | 0 | 0 | 51k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
212.44/212.59 c 204s|260000 |197584 | 0 | 0.0 | 458M| 128 | - |1460 |2679 | 0 | 0 | 0 | 52k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
220.24/220.31 c 211s|270000 |206289 | 0 | 0.0 | 479M| 128 | - |1460 |2681 | 0 | 0 | 0 | 54k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
227.83/227.93 c 218s|280000 |214939 | 0 | 0.0 | 499M| 128 | - |1460 |2702 | 0 | 0 | 0 | 55k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
235.63/235.71 c 226s|290000 |223619 | 0 | 0.0 | 519M| 128 | - |1460 |2698 | 0 | 0 | 0 | 56k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
243.43/243.50 c 233s|300000 |232192 | 0 | 0.0 | 540M| 128 | - |1460 |2740 | 0 | 0 | 0 | 58k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
251.32/251.45 c 241s|310000 |240762 | 0 | 0.0 | 560M| 128 | - |1460 |2766 | 0 | 0 | 0 | 59k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
259.02/259.14 c 248s|320000 |249485 | 0 | 0.0 | 581M| 128 | - |1460 |2739 | 0 | 0 | 0 | 61k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
266.72/266.83 c 255s|330000 |258122 | 0 | 0.0 | 601M| 128 | - |1460 |2879 | 0 | 0 | 0 | 62k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
274.52/274.60 c 263s|340000 |266909 | 0 | 0.0 | 622M| 128 | - |1460 |2731 | 0 | 0 | 0 | 63k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
282.21/282.30 c 270s|350000 |275504 | 0 | 0.0 | 641M| 128 | - |1460 |2773 | 0 | 0 | 0 | 65k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
290.02/290.18 c 278s|360000 |283958 | 0 | 0.0 | 661M| 128 | - |1460 |2776 | 0 | 0 | 0 | 66k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
298.11/298.28 c 286s|370000 |292324 | 0 | 0.0 | 681M| 128 | - |1460 |2826 | 0 | 0 | 0 | 68k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
305.81/305.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.81/305.99 c 293s|380000 |300891 | 0 | 0.0 | 700M| 128 | - |1460 |2915 | 0 | 0 | 0 | 69k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
313.71/313.85 c 300s|390000 |309214 | 0 | 0.0 | 719M| 128 | - |1460 |2885 | 0 | 0 | 0 | 71k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
321.60/321.77 c 308s|400000 |317420 | 0 | 0.0 | 738M| 128 | - |1460 |2923 | 0 | 0 | 0 | 73k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
329.50/329.64 c 316s|410000 |325663 | 0 | 0.0 | 757M| 128 | - |1460 |2844 | 0 | 0 | 0 | 74k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
337.10/337.28 c 323s|420000 |333896 | 0 | 0.0 | 775M| 128 | - |1460 |2871 | 0 | 0 | 0 | 76k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
344.90/345.01 c 330s|430000 |341938 | 0 | 0.0 | 792M| 128 | - |1460 |2959 | 0 | 0 | 0 | 78k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
352.70/352.80 c 338s|440000 |349958 | 0 | 0.0 | 810M| 128 | - |1460 |3005 | 0 | 0 | 0 | 80k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
360.49/360.66 c 345s|450000 |357896 | 0 | 0.0 | 827M| 128 | - |1460 |2921 | 0 | 0 | 0 | 82k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
368.31/368.50 c 353s|460000 |365906 | 0 | 0.0 | 845M| 128 | - |1460 |2947 | 0 | 0 | 0 | 84k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
376.30/376.43 c 360s|470000 |373856 | 0 | 0.0 | 862M| 128 | - |1460 |3030 | 0 | 0 | 0 | 86k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
383.99/384.16 c 368s|480000 |381940 | 0 | 0.0 | 879M| 128 | - |1460 |3030 | 0 | 0 | 0 | 88k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
391.69/391.80 c 375s|490000 |390016 | 0 | 0.0 | 896M| 128 | - |1460 |2970 | 0 | 0 | 0 | 90k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
399.38/399.55 c 383s|500000 |397965 | 0 | 0.0 | 912M| 128 | - |1460 |3053 | 0 | 0 | 0 | 92k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
407.19/407.30 c 390s|510000 |405952 | 0 | 0.0 | 929M| 128 | - |1460 |3115 | 0 | 0 | 0 | 94k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
415.08/415.25 c 398s|520000 |413602 | 0 | 0.0 | 945M| 128 | - |1460 |3331 | 0 | 0 | 0 | 96k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
423.18/423.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.18/423.32 c 405s|530000 |421248 | 0 | 0.0 | 961M| 128 | - |1460 |3260 | 0 | 0 | 0 | 98k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
431.09/431.26 c 413s|540000 |428850 | 0 | 0.0 | 977M| 128 | - |1460 |3166 | 0 | 0 | 0 | 101k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
439.38/439.51 c 421s|550000 |436163 | 0 | 0.0 | 992M| 128 | - |1460 |3449 | 0 | 0 | 0 | 103k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
447.48/447.69 c 429s|560000 |443458 | 0 | 0.0 |1007M| 128 | - |1460 |3285 | 0 | 0 | 0 | 106k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
456.07/456.24 c 437s|570000 |450226 | 0 | 0.0 |1020M| 128 | - |1460 |3358 | 0 | 0 | 0 | 109k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
464.87/465.07 c 446s|580000 |456676 | 0 | 0.0 |1034M| 128 | - |1460 |3665 | 0 | 0 | 0 | 112k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
474.17/474.35 c 455s|590000 |462818 | 0 | 0.0 |1046M| 128 | - |1460 |3788 | 0 | 0 | 0 | 116k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
483.16/483.36 c 463s|600000 |469329 | 0 | 0.0 |1059M| 128 | - |1460 |3486 | 0 | 0 | 0 | 119k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
493.06/493.26 c 473s|610000 |475063 | 0 | 0.0 |1071M| 128 | - |1460 |3921 | 0 | 0 | 0 | 122k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
502.75/502.96 c 482s|620000 |481147 | 0 | 0.0 |1083M| 128 | - |1460 |4096 | 0 | 0 | 0 | 126k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
511.75/511.95 c 491s|630000 |487998 | 0 | 0.0 |1096M| 128 | - |1460 |3621 | 0 | 0 | 0 | 128k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
520.06/520.27 c 499s|640000 |495259 | 0 | 0.0 |1109M| 128 | - |1460 |3538 | 0 | 0 | 0 | 131k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
527.76/527.92 c 506s|650000 |502993 | 0 | 0.0 |1122M| 128 | - |1460 |3538 | 0 | 0 | 0 | 133k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
536.95/537.17 c 515s|660000 |508633 | 0 | 0.0 |1132M| 128 | - |1460 |4001 | 0 | 0 | 0 | 136k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
548.94/549.12 c 527s|670000 |512025 | 0 | 0.0 |1140M| 128 | - |1460 |4387 | 0 | 0 | 0 | 141k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
558.34/558.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.34/558.57 c 536s|680000 |519536 | 0 | 0.0 |1158M| 128 | - |1460 |3262 | 0 | 0 | 0 | 143k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
567.24/567.48 c 544s|690000 |527467 | 0 | 0.0 |1179M| 128 | - |1460 |3335 | 0 | 0 | 0 | 145k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
576.04/576.28 c 553s|700000 |535102 | 0 | 0.0 |1197M| 128 | - |1460 |3435 | 0 | 0 | 0 | 148k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
584.73/584.94 c 561s|710000 |542694 | 0 | 0.0 |1215M| 128 | - |1460 |3505 | 0 | 0 | 0 | 150k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
593.64/593.90 c 570s|720000 |549775 | 0 | 0.0 |1231M| 128 | - |1460 |3491 | 0 | 0 | 0 | 153k| 0 |-9.700000e+01 |-1.700000e+01 | 82.47%
602.54/602.75 c 578s|730000 |557001 | 0 | 0.0 |1248M| 128 | - |1460 |3572 | 0 | 0 | 0 | 155k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
611.44/611.64 c 587s|740000 |564154 | 0 | 0.0 |1265M| 128 | - |1460 |3504 | 0 | 0 | 0 | 158k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
620.93/621.10 c 596s|750000 |570627 | 0 | 0.0 |1281M| 128 | - |1460 |3657 | 0 | 0 | 0 | 161k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
630.33/630.57 c 605s|760000 |577061 | 0 | 0.0 |1296M| 128 | - |1460 |3548 | 0 | 0 | 0 | 164k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
640.13/640.38 c 615s|770000 |582993 | 0 | 0.0 |1310M| 128 | - |1460 |3563 | 0 | 0 | 0 | 167k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
649.83/650.08 c 624s|780000 |588965 | 0 | 0.0 |1324M| 128 | - |1460 |3448 | 0 | 0 | 0 | 171k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
659.62/659.83 c 633s|790000 |594925 | 0 | 0.0 |1338M| 128 | - |1460 |3576 | 0 | 0 | 0 | 174k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
669.42/669.65 c 643s|800000 |600964 | 0 | 0.0 |1351M| 128 | - |1460 |3537 | 0 | 0 | 0 | 177k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
674.61/674.90 c (node 805350) switching to memory saving mode (mem: 1296.0M/1620.0M)
680.62/680.83 c 654s|810000 |604139 | 0 | 0.0 |1360M| 177 | - |1460 |5028 | 0 | 0 | 0 | 181k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
693.31/693.53 c 665s|820000 |604133 | 0 | 0.0 |1361M| 177 | - |1460 |6172 | 0 | 0 | 0 | 187k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
706.02/706.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.02/706.27 c 677s|830000 |604117 | 0 | 0.0 |1360M| 177 | - |1460 |5934 | 0 | 0 | 0 | 193k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
718.91/719.13 c 689s|840000 |604117 | 0 | 0.0 |1361M| 177 | - |1460 |6898 | 0 | 0 | 0 | 198k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
731.50/731.76 c 701s|850000 |604117 | 0 | 0.0 |1363M| 177 | - |1460 |8635 | 0 | 0 | 0 | 204k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
744.90/745.12 c 714s|860000 |604118 | 0 | 0.0 |1364M| 177 | - |1460 | 10k| 0 | 0 | 0 | 209k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
756.99/757.25 c 725s|870000 |604107 | 0 | 0.0 |1361M| 177 | - |1460 |6347 | 0 | 0 | 0 | 214k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
772.39/772.67 c 740s|880000 |604093 | 0 | 0.0 |1363M| 178 | - |1460 |8488 | 0 | 0 | 0 | 220k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
788.89/789.13 c 755s|890000 |604092 | 0 | 0.0 |1363M| 178 | - |1460 |8482 | 0 | 0 | 0 | 226k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
806.38/806.69 c 772s|900000 |604092 | 0 | 0.0 |1364M| 178 | - |1460 |9981 | 0 | 0 | 0 | 231k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
823.58/823.83 c 789s|910000 |604093 | 0 | 0.0 |1365M| 178 | - |1460 | 11k| 0 | 0 | 0 | 237k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
840.97/841.21 c 805s|920000 |604091 | 0 | 0.0 |1364M| 178 | - |1460 |9638 | 0 | 0 | 0 | 242k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
860.97/861.22 c 825s|930000 |604091 | 0 | 0.0 |1364M| 178 | - |1460 | 10k| 0 | 0 | 0 | 248k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
880.36/880.68 c 843s|940000 |604091 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 254k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
898.65/898.99 c 861s|950000 |604092 | 0 | 0.0 |1367M| 178 | - |1460 | 14k| 0 | 0 | 0 | 259k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
918.45/918.74 c 880s|960000 |604090 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 265k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
937.74/938.09 c 899s|970000 |604090 | 0 | 0.0 |1366M| 178 | - |1460 | 11k| 0 | 0 | 0 | 271k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
957.54/957.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.54/957.84 c 918s|980000 |604090 | 0 | 0.0 |1367M| 178 | - |1460 | 13k| 0 | 0 | 0 | 276k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
976.13/976.47 c 936s|990000 |604089 | 0 | 0.0 |1363M| 178 | - |1460 |8453 | 0 | 0 | 0 | 282k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
994.53/994.86 c 953s| 1000k|604089 | 0 | 0.0 |1363M| 178 | - |1460 |8843 | 0 | 0 | 0 | 288k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1012.73/1013.01 c 971s| 1010k|604088 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 294k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1031.72/1032.09 c 989s| 1020k|604088 | 0 | 0.0 |1366M| 178 | - |1460 | 11k| 0 | 0 | 0 | 299k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1050.61/1050.97 c 1007s| 1030k|604087 | 0 | 0.0 |1364M| 178 | - |1460 |9890 | 0 | 0 | 0 | 305k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1071.61/1071.91 c 1027s| 1040k|604088 | 0 | 0.0 |1365M| 178 | - |1460 | 11k| 0 | 0 | 0 | 311k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1092.91/1093.29 c 1048s| 1050k|604087 | 0 | 0.0 |1367M| 178 | - |1460 | 12k| 0 | 0 | 0 | 317k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1113.80/1114.18 c 1068s| 1060k|604087 | 0 | 0.0 |1368M| 178 | - |1460 | 14k| 0 | 0 | 0 | 322k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1134.09/1134.49 c 1088s| 1070k|604088 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 328k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1154.19/1154.50 c 1107s| 1080k|604087 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 334k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1173.78/1174.16 c 1126s| 1090k|604088 | 0 | 0.0 |1367M| 178 | - |1460 | 13k| 0 | 0 | 0 | 339k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1193.78/1194.17 c 1145s| 1100k|604086 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 344k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1217.38/1217.77 c 1168s| 1110k|604086 | 0 | 0.0 |1368M| 178 | - |1460 | 14k| 0 | 0 | 0 | 350k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1239.57/1239.92 c 1189s| 1120k|604086 | 0 | 0.0 |1369M| 178 | - |1460 | 15k| 0 | 0 | 0 | 355k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1258.96/1259.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.96/1259.30 c 1208s| 1130k|604083 | 0 | 0.0 |1363M| 178 | - |1460 |8832 | 0 | 0 | 0 | 361k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1273.06/1273.45 c 1221s| 1140k|604072 | 0 | 0.0 |1362M| 178 | - |1460 |6347 | 0 | 0 | 0 | 367k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1287.96/1288.38 c 1236s| 1150k|604071 | 0 | 0.0 |1363M| 178 | - |1460 |7952 | 0 | 0 | 0 | 372k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1303.55/1303.98 c 1250s| 1160k|604071 | 0 | 0.0 |1364M| 178 | - |1460 |9181 | 0 | 0 | 0 | 378k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1319.25/1319.64 c 1265s| 1170k|604072 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 383k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1333.64/1334.03 c 1279s| 1180k|604071 | 0 | 0.0 |1363M| 178 | - |1460 |8341 | 0 | 0 | 0 | 388k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1349.34/1349.76 c 1294s| 1190k|604070 | 0 | 0.0 |1364M| 178 | - |1460 |9209 | 0 | 0 | 0 | 394k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1365.53/1365.96 c 1310s| 1200k|604070 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 399k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1380.23/1380.66 c 1324s| 1210k|604056 | 0 | 0.0 |1362M| 178 | - |1460 |7390 | 0 | 0 | 0 | 404k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1395.83/1396.26 c 1339s| 1220k|604058 | 0 | 0.0 |1363M| 178 | - |1460 |8267 | 0 | 0 | 0 | 410k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1412.12/1412.54 c 1354s| 1230k|604058 | 0 | 0.0 |1364M| 178 | - |1460 |9329 | 0 | 0 | 0 | 416k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1428.92/1429.32 c 1370s| 1240k|604057 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 421k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1445.81/1446.25 c 1386s| 1250k|604058 | 0 | 0.0 |1366M| 178 | - |1460 | 11k| 0 | 0 | 0 | 426k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1461.11/1461.52 c 1401s| 1260k|604058 | 0 | 0.0 |1367M| 178 | - |1460 | 14k| 0 | 0 | 0 | 432k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1478.10/1478.51 c 1417s| 1270k|604057 | 0 | 0.0 |1364M| 178 | - |1460 |9851 | 0 | 0 | 0 | 437k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1496.60/1497.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.60/1497.01 c 1435s| 1280k|604058 | 0 | 0.0 |1366M| 178 | - |1460 | 11k| 0 | 0 | 0 | 443k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1511.79/1512.20 c 1450s| 1290k|604057 | 0 | 0.0 |1364M| 178 | - |1460 |9691 | 0 | 0 | 0 | 448k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1529.89/1530.34 c 1467s| 1300k|604058 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 454k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1548.78/1549.23 c 1485s| 1310k|604057 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 459k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1567.28/1567.74 c 1503s| 1320k|604057 | 0 | 0.0 |1367M| 178 | - |1460 | 13k| 0 | 0 | 0 | 465k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1584.77/1585.22 c 1520s| 1330k|604057 | 0 | 0.0 |1365M| 178 | - |1460 | 10k| 0 | 0 | 0 | 470k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1604.27/1604.76 c 1539s| 1340k|604058 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 476k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1622.36/1622.83 c 1556s| 1350k|604058 | 0 | 0.0 |1367M| 178 | - |1460 | 13k| 0 | 0 | 0 | 481k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1639.16/1639.61 c 1572s| 1360k|604057 | 0 | 0.0 |1366M| 178 | - |1460 | 11k| 0 | 0 | 0 | 487k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1658.56/1659.02 c 1591s| 1370k|604058 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 492k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1677.25/1677.76 c 1609s| 1380k|604058 | 0 | 0.0 |1368M| 178 | - |1460 | 14k| 0 | 0 | 0 | 497k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1696.15/1696.64 c 1627s| 1390k|604058 | 0 | 0.0 |1366M| 178 | - |1460 | 12k| 0 | 0 | 0 | 503k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1713.65/1714.18 c 1644s| 1400k|604057 | 0 | 0.0 |1368M| 178 | - |1460 | 14k| 0 | 0 | 0 | 508k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1733.94/1734.49 c 1664s| 1410k|604058 | 0 | 0.0 |1367M| 178 | - |1460 | 13k| 0 | 0 | 0 | 514k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1754.93/1755.46 c 1684s| 1420k|604057 | 0 | 0.0 |1368M| 178 | - |1460 | 14k| 0 | 0 | 0 | 519k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1774.42/1774.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.42/1774.96 c 1703s| 1430k|604057 | 0 | 0.0 |1367M| 178 | - |1460 | 13k| 0 | 0 | 0 | 525k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1795.83/1796.37 c 1723s| 1440k|604057 | 0 | 0.0 |1368M| 178 | - |1460 | 15k| 0 | 0 | 0 | 530k| 0 |-9.600000e+01 |-1.700000e+01 | 82.29%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1727.40
1800.02/1800.51 c Solving Nodes : 1442182
1800.02/1800.51 c Primal Bound : -1.70000000000000e+01 (10 solutions)
1800.02/1800.51 c Dual Bound : -9.60000000000000e+01
1800.02/1800.51 c Gap : 82.29 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v -x179 -x159 -x121 -x148 -x151 x132 -x175 -x193 -x195 -x136 -x184 -x112 x147 -x119 -x156 -x182 -x141 -x127 -x134 x186 -x171 -x135
1800.02/1800.51 v -x169 -x118 -x117 x144 -x106 -x133 -x113 -x163 -x124 -x167 -x200 -x145 -x105 -x181 -x142 -x108 -x115 -x107 -x129 -x158 -x185
1800.02/1800.51 v -x172 -x161 -x160 -x139 -x137 -x109 -x198 -x153 -x183 -x187 -x114 x196 x188 -x154 x140 -x126 -x104 -x197 -x111 x192 -x116 -x170
1800.02/1800.51 v -x173 -x102 -x166 -x152 x149 x130 -x125 -x110 x103 x131 x168 -x174 -x155 -x138 x194 x150 x180 -x143 -x101 x190 -x177 -x164
1800.02/1800.51 v -x157 -x123 -x122 -x128 -x146 -x178 -x165 -x199 -x162 -x176 -x189 -x120 -x191 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92
1800.02/1800.51 v -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.02/1800.51 v -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40
1800.02/1800.51 v -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15
1800.02/1800.51 v -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 x5 x4 -x3 -x2 x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1727.40
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2663868-1276668514.opb
1800.02/1800.51 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1561 initial, 1561 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2663868-1276668514.opb
1800.02/1800.51 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1561 initial, 17725 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 0.19 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 200 0 7660540 0 1037649 5583 1374244 0 0 0
1800.02/1800.51 c and : 1260 0 7665072 0 1038084 63 19900143 0 0 0
1800.02/1800.51 c linear : 1 0 7663466 0 1038084 40857 15389377 0 0 0
1800.02/1800.51 c logicor : 100+ 0 1315446 0 1036405 37421 1405911 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 1038091 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c setppc : 68.22 0.00 15.59 0.00 52.63
1800.02/1800.51 c and : 96.80 0.00 85.16 0.00 11.64
1800.02/1800.51 c linear : 150.65 0.00 149.74 0.00 0.91
1800.02/1800.51 c logicor : 309.39 0.00 300.54 0.00 8.85
1800.02/1800.51 c countsols : 0.38 0.00 0.00 0.00 0.38
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 3.69 2 0 0
1800.02/1800.51 c rootredcost : 3.60 0 0 0
1800.02/1800.51 c pseudoobj : 536.06 8019243 348781 91330
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 498.15 432705 422744 5919043 99.5 94 99.3 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 1 1 16 106.2 0 0.0 -
1800.02/1800.51 c applied globally : - - - 532106 77.8 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 103.18 1038084 0 0 0 0 2076168
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.02 - 7
1800.02/1800.51 c oneopt : 1.33 0 0
1800.02/1800.51 c trivial : 0.00 2 3
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.71 0 0
1800.02/1800.51 c trysol : 0.83 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 1442182
1800.02/1800.51 c nodes (total) : 1442182
1800.02/1800.51 c nodes left : 604057
1800.02/1800.51 c max depth : 178
1800.02/1800.51 c max depth (total): 178
1800.02/1800.51 c backtracks : 52993 (3.7%)
1800.02/1800.51 c delayed cutoffs : 29930
1800.02/1800.51 c repropagations : 4514668 (2277204 domain reductions, 28615 cutoffs)
1800.02/1800.51 c avg switch length: 9.63
1800.02/1800.51 c switching time : 289.19
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 10 (8 improvements)
1800.02/1800.51 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : -1.70000000000000e+01 (in run 1, after 175412 nodes, 139.36 seconds, depth 48, found by <relaxation>)
1800.02/1800.51 c Dual Bound : -9.60000000000000e+01
1800.02/1800.51 c Gap : 82.29 %
1800.02/1800.51 c Root Dual Bound : -1.00000000000000e+02
1800.02/1800.51 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663868-1276668514/watcher-2663868-1276668514 -o /tmp/evaluation-result-2663868-1276668514/solver-2663868-1276668514 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663868-1276668514.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7305
/proc/meminfo: memFree=1771084/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=6584 CPUtime=0
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 1 0 42453126 6742016 926 1992294400 4194304 7136930 140736204316256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7305/statm: 1646 934 254 719 0 925 0
[startup+0.0478589 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7305
/proc/meminfo: memFree=1771084/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=14608 CPUtime=0.03
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 3288 0 0 0 3 0 0 0 20 0 1 0 42453126 14958592 2857 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 3652 2857 333 719 0 2931 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14608
[startup+0.100865 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7305
/proc/meminfo: memFree=1771084/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=14816 CPUtime=0.09
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 3592 0 0 0 6 3 0 0 20 0 1 0 42453126 15171584 2904 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 3704 2904 333 719 0 2983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14816
[startup+0.300887 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7305
/proc/meminfo: memFree=1771084/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=15704 CPUtime=0.29
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 5157 0 0 0 17 12 0 0 20 0 1 0 42453126 16080896 3184 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 3926 3184 361 719 0 3205 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15704
[startup+0.700931 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7305
/proc/meminfo: memFree=1771084/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=17940 CPUtime=0.69
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 6000 0 0 0 50 19 0 0 20 0 1 0 42453126 18370560 3770 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 4485 3770 393 719 0 3764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17940
[startup+1.50102 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7306
/proc/meminfo: memFree=1756568/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=19712 CPUtime=1.49
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 6455 0 0 0 126 23 0 0 22 0 1 0 42453126 20185088 4225 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 4928 4225 393 719 0 4207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19712
[startup+3.1012 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7306
/proc/meminfo: memFree=1753592/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=23380 CPUtime=3.09
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 7352 0 0 0 279 30 0 0 25 0 1 0 42453126 23941120 5122 1992294400 4194304 7136930 140736204316256 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 5845 5122 393 719 0 5124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23380
[startup+6.30055 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7308
/proc/meminfo: memFree=1746772/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=31296 CPUtime=6.29
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 9339 0 0 0 581 48 0 0 25 0 1 0 42453126 32047104 7109 1992294400 4194304 7136930 140736204316256 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 7824 7109 393 719 0 7103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31296
[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7308
/proc/meminfo: memFree=1729288/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=46664 CPUtime=12.69
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 13083 0 0 0 1195 74 0 0 25 0 1 0 42453126 47783936 10853 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 11666 10853 393 719 0 10945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46664
[startup+25.5007 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7308
/proc/meminfo: memFree=1692088/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=86464 CPUtime=25.48
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 22514 0 0 0 2421 127 0 0 25 0 1 0 42453126 88539136 20284 1992294400 4194304 7136930 140736204316256 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 21616 20284 393 719 0 20895 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86464
[startup+51.1005 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7308
/proc/meminfo: memFree=1618184/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=163672 CPUtime=51.08
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 40939 0 0 0 4867 241 0 0 25 0 1 0 42453126 167600128 38709 1992294400 4194304 7136930 140736204316256 18446744073709551615 4703349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 40918 38709 393 719 0 40197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 163672
[startup+102.308 s]
/proc/loadavg: 0.99 0.98 1.00 3/107 7310
/proc/meminfo: memFree=1498772/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=289608 CPUtime=102.27
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 70794 0 0 0 9767 460 0 0 25 0 1 0 42453126 296558592 68564 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 72402 68564 393 719 0 71681 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 289608
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7312
/proc/meminfo: memFree=1379236/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=416896 CPUtime=162.25
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 100885 0 0 0 15545 680 0 0 25 0 1 0 42453126 426901504 98655 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 104224 98655 393 719 0 103503 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 416896
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7312
/proc/meminfo: memFree=1189144/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=618052 CPUtime=222.23
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 147660 0 0 0 21291 932 0 0 25 0 1 0 42453126 632885248 145430 1992294400 4194304 7136930 140736204316256 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 154513 145430 393 719 0 153792 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 618052
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7314
/proc/meminfo: memFree=1034268/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=784324 CPUtime=282.21
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 186854 0 0 0 27028 1193 0 0 25 0 1 0 42453126 803147776 184624 1992294400 4194304 7136930 140736204316256 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 196081 184624 393 719 0 195360 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 784324
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7319
/proc/meminfo: memFree=876664/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=946640 CPUtime=342.2
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 225667 0 0 0 32773 1447 0 0 25 0 1 0 42453126 969359360 223437 1992294400 4194304 7136930 140736204316256 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 236660 223437 393 719 0 235939 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 946640
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7321
/proc/meminfo: memFree=751052/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1069796 CPUtime=402.19
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 256789 0 0 0 38525 1694 0 0 25 0 1 0 42453126 1095471104 254559 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 267449 254559 393 719 0 266728 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1069796
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7323
/proc/meminfo: memFree=639576/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1182204 CPUtime=462.17
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 284794 0 0 0 44294 1923 0 0 25 0 1 0 42453126 1210576896 282564 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 295551 282564 393 719 0 294830 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1182204
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7323
/proc/meminfo: memFree=556248/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1274920 CPUtime=522.15
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 306104 0 0 0 50081 2134 0 0 25 0 1 0 42453126 1305518080 303874 1992294400 4194304 7136930 140736204316256 18446744073709551615 5954111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 318730 303874 393 719 0 318009 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1274920
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7325
/proc/meminfo: memFree=453328/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1377556 CPUtime=582.14
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 331182 0 0 0 55868 2346 0 0 25 0 1 0 42453126 1410617344 328952 1992294400 4194304 7136930 140736204316256 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 344389 328952 393 719 0 343668 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1377556
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7327
/proc/meminfo: memFree=350656/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1479472 CPUtime=642.13
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 356643 0 0 0 61653 2560 0 0 25 0 1 0 42453126 1514979328 354413 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 369868 354413 393 719 0 369147 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1479472
[startup+702.302 s]
################
# More data... #
################
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 376455 0 0 0 96038 4165 0 0 25 0 1 0 42453126 1586302976 371862 1992294400 4194304 7136930 140736204316256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 387281 371862 393 719 0 386560 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1549124
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7339
/proc/meminfo: memFree=278240/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1551172 CPUtime=1062.01
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 376968 0 0 0 101803 4398 0 0 25 0 1 0 42453126 1588400128 372375 1992294400 4194304 7136930 140736204316256 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 387793 372375 393 719 0 387072 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1551172
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7339
/proc/meminfo: memFree=276008/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553420 CPUtime=1122
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 377499 0 0 0 107592 4608 0 0 25 0 1 0 42453126 1590702080 372906 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388355 372906 393 719 0 387634 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1553420
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7341
/proc/meminfo: memFree=275760/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553420 CPUtime=1181.98
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 377523 0 0 0 113362 4836 0 0 25 0 1 0 42453126 1590702080 372930 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388355 372930 393 719 0 387634 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1553420
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7343
/proc/meminfo: memFree=275636/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553584 CPUtime=1241.97
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 377542 0 0 0 119170 5027 0 0 25 0 1 0 42453126 1590870016 372949 1992294400 4194304 7136930 140736204316256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388396 372949 393 719 0 387675 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1553584
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7345
/proc/meminfo: memFree=274768/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553676 CPUtime=1301.96
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 377811 0 0 0 124885 5311 0 0 25 0 1 0 42453126 1590964224 372985 1992294400 4194304 7136930 140736204316256 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388419 372985 393 719 0 387698 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1553676
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7347
/proc/meminfo: memFree=275636/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1552804 CPUtime=1361.93
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 377843 0 0 0 130619 5574 0 0 25 0 1 0 42453126 1590071296 372761 1992294400 4194304 7136930 140736204316256 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388201 372761 393 719 0 387480 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1552804
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7347
/proc/meminfo: memFree=275636/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553140 CPUtime=1421.93
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378167 0 0 0 136343 5850 0 0 25 0 1 0 42453126 1590415360 372829 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388285 372829 393 719 0 387564 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1553140
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7349
/proc/meminfo: memFree=275636/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553140 CPUtime=1481.91
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378167 0 0 0 142090 6101 0 0 25 0 1 0 42453126 1590415360 372829 1992294400 4194304 7136930 140736204316256 18446744073709551615 5918763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388285 372829 393 719 0 387564 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1553140
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7351
/proc/meminfo: memFree=275636/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553140 CPUtime=1541.89
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378169 0 0 0 147848 6341 0 0 25 0 1 0 42453126 1590415360 372831 1992294400 4194304 7136930 140736204316256 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388285 372831 393 719 0 387564 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1553140
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7353
/proc/meminfo: memFree=275512/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553140 CPUtime=1601.87
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378169 0 0 0 153619 6568 0 0 25 0 1 0 42453126 1590415360 372831 1992294400 4194304 7136930 140736204316256 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388285 372831 393 719 0 387564 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1553140
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7355
/proc/meminfo: memFree=275388/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553140 CPUtime=1661.85
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378171 0 0 0 159391 6794 0 0 25 0 1 0 42453126 1590415360 372833 1992294400 4194304 7136930 140736204316256 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388285 372833 393 719 0 387564 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1553140
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7355
/proc/meminfo: memFree=275264/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1553140 CPUtime=1721.84
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378174 0 0 0 165184 7000 0 0 25 0 1 0 42453126 1590415360 372836 1992294400 4194304 7136930 140736204316256 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388285 372836 393 719 0 387564 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1553140
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7357
/proc/meminfo: memFree=274396/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1554164 CPUtime=1781.82
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378430 0 0 0 170981 7201 0 0 25 0 1 0 42453126 1591463936 373092 1992294400 4194304 7136930 140736204316256 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388541 373092 393 719 0 387820 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1554164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7357
/proc/meminfo: memFree=274396/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1554164 CPUtime=1800.02
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378430 0 0 0 172741 7261 0 0 25 0 1 0 42453126 1591463936 373092 1992294400 4194304 7136930 140736204316256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7305/statm: 388541 373092 393 719 0 387820 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1554164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7305
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 7358
/proc/meminfo: memFree=279844/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1548124 CPUtime=1800.92
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378436 0 0 0 172831 7261 0 0 25 0 1 0 42453126 1585278976 371588 1992294400 4194304 7136930 140736204316256 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7305/statm: 387031 371588 399 719 0 386310 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 1548124
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 7358
/proc/meminfo: memFree=279844/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=1547092 CPUtime=1801.72
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4202496 378436 0 0 0 172911 7261 0 0 25 0 1 0 42453126 1584222208 371330 1992294400 4194304 7136930 140736204316256 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7305/statm: 386773 371330 399 719 0 386052 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 1547092
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 7358
/proc/meminfo: memFree=279844/2059040 swapFree=4140260/4192956
[pid=7305] ppid=7303 vsize=0 CPUtime=1802.11
/proc/7305/stat : 7305 (pbscip.linux.x8) R 7303 7305 7022 0 -1 4203524 378436 0 0 0 172941 7270 0 0 25 0 1 0 42453126 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7305/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.19
CPU user time (s): 1729.42
CPU system time (s): 72.7669
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1554608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.42
system time used= 72.7669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4235
runsolver used 3.10053 second user time and 8.40172 second system time
The end