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-2663854-1276666262.opb>
0.01/0.02 c original problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 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.01/0.02 o 0
0.01/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.02 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 4980 impls, 100 clqs
0.19/0.22 c (0.1s) probing: 101/710 (14.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (2 rounds):
0.19/0.22 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 4980 implications, 100 cliques
0.19/0.22 c presolved problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 761 constraints
0.19/0.22 c 100 constraints of type <setppc>
0.19/0.22 c 610 constraints of type <and>
0.19/0.22 c 1 constraints of type <linear>
0.19/0.22 c 50 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.11
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 1.2.1.2
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1799.99
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 1620
0.19/0.22 c
0.19/0.22 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22 c lp/solvefreq = -1
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c heuristics/undercover/freq = 0
0.19/0.22 c
0.19/0.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c separating/rapidlearning/freq = 0
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c t 0.1s| 1 | 2 | 0 | - |2224k| 0 | - | 710 | 761 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.69/0.72 o -4
0.69/0.72 c * 0.6s| 1557 | 1423 | 0 | 0.0 |3958k| 50 | - | 710 | 839 | 0 | 0 | 0 | 78 | 0 |-4.900000e+01 |-4.000000e+00 | 91.84%
0.69/0.73 o -5
0.69/0.73 c * 0.6s| 1580 | 1442 | 0 | 0.0 |3988k| 50 | - | 710 | 840 | 0 | 0 | 0 | 79 | 0 |-4.900000e+01 |-5.000000e+00 | 89.80%
0.79/0.84 o -6
0.79/0.84 c * 0.7s| 1930 | 1774 | 0 | 0.0 |4450k| 50 | - | 710 | 850 | 0 | 0 | 0 | 89 | 0 |-4.900000e+01 |-6.000000e+00 | 87.76%
1.29/1.37 o -7
1.29/1.37 c * 1.1s| 3207 | 2549 | 0 | 0.0 |6073k| 50 | - | 710 |1053 | 0 | 0 | 0 | 327 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
1.69/1.72 o -8
1.69/1.72 c * 1.5s| 4042 | 3174 | 0 | 0.0 |7535k| 50 | - | 710 |1105 | 0 | 0 | 0 | 439 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
3.49/3.60 o -9
3.49/3.60 c * 3.2s| 9034 | 7760 | 0 | 0.0 | 18M| 50 | - | 710 |1034 | 0 | 0 | 0 | 665 | 0 |-4.800000e+01 |-9.000000e+00 | 81.25%
3.89/3.96 c 3.5s| 10000 | 8638 | 0 | 0.0 | 20M| 55 | - | 710 |1066 | 0 | 0 | 0 | 720 | 0 |-4.800000e+01 |-9.000000e+00 | 81.25%
7.99/8.03 c 7.3s| 20000 | 16555 | 0 | 0.0 | 38M| 58 | - | 710 |1426 | 0 | 0 | 0 |2055 | 0 |-4.800000e+01 |-9.000000e+00 | 81.25%
12.09/12.13 c 11.0s| 30000 | 24485 | 0 | 0.0 | 55M| 58 | - | 710 |1185 | 0 | 0 | 0 |3295 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
15.69/15.72 c 14.3s| 40000 | 33917 | 0 | 0.0 | 75M| 59 | - | 710 |1295 | 0 | 0 | 0 |3588 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
19.28/19.33 c 17.6s| 50000 | 43085 | 0 | 0.0 | 93M| 61 | - | 710 |1439 | 0 | 0 | 0 |4068 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
23.38/23.42 c 21.4s| 60000 | 50796 | 0 | 0.0 | 108M| 61 | - | 710 |1735 | 0 | 0 | 0 |5575 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
27.08/27.17 c 24.8s| 70000 | 58885 | 0 | 0.0 | 122M| 61 | - | 710 |1569 | 0 | 0 | 0 |6575 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
31.38/31.44 c 28.8s| 80000 | 65865 | 0 | 0.0 | 136M| 61 | - | 710 |1381 | 0 | 0 | 0 |7995 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
35.28/35.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.28/35.32 c 32.3s| 90000 | 75049 | 0 | 0.0 | 155M| 61 | - | 710 |1470 | 0 | 0 | 0 |8488 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
39.08/39.14 c 35.8s|100000 | 84085 | 0 | 0.0 | 173M| 61 | - | 710 |1610 | 0 | 0 | 0 |9074 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
42.98/43.07 c 39.4s|110000 | 92616 | 0 | 0.0 | 189M| 61 | - | 710 |1745 | 0 | 0 | 0 |9997 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
47.38/47.49 c 43.5s|120000 | 99434 | 0 | 0.0 | 201M| 61 | - | 710 |1979 | 0 | 0 | 0 | 11k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
52.28/52.38 c 48.1s|130000 |105419 | 0 | 0.0 | 212M| 61 | - | 710 |1803 | 0 | 0 | 0 | 14k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
56.37/56.45 c 51.9s|140000 |112754 | 0 | 0.0 | 224M| 61 | - | 710 |1848 | 0 | 0 | 0 | 15k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
61.17/61.20 c 56.3s|150000 |118069 | 0 | 0.0 | 234M| 61 | - | 710 |2111 | 0 | 0 | 0 | 18k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
65.88/65.98 c 60.8s|160000 |124974 | 0 | 0.0 | 250M| 62 | - | 710 |1453 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
69.67/69.72 c 64.2s|170000 |134372 | 0 | 0.0 | 268M| 62 | - | 710 |1486 | 0 | 0 | 0 | 19k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
73.76/73.87 c 68.0s|180000 |143702 | 0 | 0.0 | 288M| 62 | - | 710 |1531 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
77.67/77.78 c 71.6s|190000 |152956 | 0 | 0.0 | 306M| 62 | - | 710 |1619 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
81.57/81.65 c 75.2s|200000 |162136 | 0 | 0.0 | 323M| 62 | - | 710 |1662 | 0 | 0 | 0 | 21k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
85.46/85.55 c 78.7s|210000 |171305 | 0 | 0.0 | 340M| 62 | - | 710 |1744 | 0 | 0 | 0 | 21k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
89.56/89.66 c 82.6s|220000 |180219 | 0 | 0.0 | 356M| 62 | - | 710 |1799 | 0 | 0 | 0 | 22k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
93.76/93.80 c 86.4s|230000 |188303 | 0 | 0.0 | 371M| 62 | - | 710 |1969 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
98.05/98.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.05/98.11 c 90.4s|240000 |195684 | 0 | 0.0 | 383M| 62 | - | 710 |2104 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
102.85/102.90 c 94.8s|250000 |202120 | 0 | 0.0 | 394M| 62 | - | 710 |2280 | 0 | 0 | 0 | 26k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
108.05/108.10 c 99.7s|260000 |207651 | 0 | 0.0 | 404M| 62 | - | 710 |2628 | 0 | 0 | 0 | 29k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
113.86/113.93 c 105s|270000 |212146 | 0 | 0.0 | 413M| 62 | - | 710 |3062 | 0 | 0 | 0 | 32k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
119.35/119.48 c 110s|280000 |217313 | 0 | 0.0 | 422M| 63 | - | 710 |1944 | 0 | 0 | 0 | 34k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
123.35/123.48 c 114s|290000 |225653 | 0 | 0.0 | 436M| 63 | - | 710 |1767 | 0 | 0 | 0 | 36k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
127.45/127.59 c 118s|300000 |232566 | 0 | 0.0 | 447M| 63 | - | 710 |2025 | 0 | 0 | 0 | 37k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
131.95/132.06 c 122s|310000 |238557 | 0 | 0.0 | 457M| 63 | - | 710 |2055 | 0 | 0 | 0 | 39k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
136.85/136.92 c 127s|320000 |243708 | 0 | 0.0 | 465M| 63 | - | 710 |2331 | 0 | 0 | 0 | 41k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
141.94/142.05 c 132s|330000 |248009 | 0 | 0.0 | 472M| 63 | - | 710 |2410 | 0 | 0 | 0 | 43k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
147.04/147.13 c 136s|340000 |252793 | 0 | 0.0 | 483M| 63 | - | 710 |1500 | 0 | 0 | 0 | 45k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
151.24/151.38 c 140s|350000 |262259 | 0 | 0.0 | 504M| 63 | - | 710 |1514 | 0 | 0 | 0 | 45k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
155.14/155.29 c 144s|360000 |271675 | 0 | 0.0 | 523M| 63 | - | 710 |1580 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
159.14/159.30 c 148s|370000 |281152 | 0 | 0.0 | 542M| 63 | - | 710 |1621 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
163.34/163.40 c 151s|380000 |290548 | 0 | 0.0 | 561M| 63 | - | 710 |1633 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
167.34/167.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.34/167.47 c 155s|390000 |299923 | 0 | 0.0 | 579M| 63 | - | 710 |1641 | 0 | 0 | 0 | 47k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
171.33/171.40 c 159s|400000 |309200 | 0 | 0.0 | 596M| 63 | - | 710 |1720 | 0 | 0 | 0 | 47k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
175.13/175.28 c 162s|410000 |318474 | 0 | 0.0 | 612M| 63 | - | 710 |1768 | 0 | 0 | 0 | 48k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
179.24/179.33 c 166s|420000 |327699 | 0 | 0.0 | 629M| 63 | - | 710 |1833 | 0 | 0 | 0 | 48k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
183.23/183.37 c 170s|430000 |336956 | 0 | 0.0 | 645M| 63 | - | 710 |1788 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
187.32/187.45 c 173s|440000 |346130 | 0 | 0.0 | 662M| 63 | - | 710 |1838 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
191.34/191.48 c 177s|450000 |355209 | 0 | 0.0 | 678M| 63 | - | 710 |1886 | 0 | 0 | 0 | 50k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
195.63/195.76 c 181s|460000 |364245 | 0 | 0.0 | 695M| 63 | - | 710 |1907 | 0 | 0 | 0 | 50k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
199.92/200.07 c 185s|470000 |373094 | 0 | 0.0 | 710M| 63 | - | 710 |1959 | 0 | 0 | 0 | 51k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
204.22/204.33 c 189s|480000 |381615 | 0 | 0.0 | 725M| 63 | - | 710 |2035 | 0 | 0 | 0 | 52k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
208.52/208.68 c 193s|490000 |390004 | 0 | 0.0 | 739M| 63 | - | 710 |2049 | 0 | 0 | 0 | 53k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
213.02/213.10 c 197s|500000 |398066 | 0 | 0.0 | 752M| 63 | - | 710 |2140 | 0 | 0 | 0 | 54k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
217.42/217.59 c 201s|510000 |405715 | 0 | 0.0 | 764M| 63 | - | 710 |2319 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
222.12/222.26 c 206s|520000 |413065 | 0 | 0.0 | 776M| 63 | - | 710 |2347 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
226.91/227.02 c 210s|530000 |419870 | 0 | 0.0 | 787M| 64 | - | 710 |2488 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
231.82/231.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.82/231.95 c 215s|540000 |426350 | 0 | 0.0 | 798M| 64 | - | 710 |2513 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
236.81/236.98 c 220s|550000 |432770 | 0 | 0.0 | 808M| 64 | - | 710 |2579 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
242.12/242.28 c 225s|560000 |438540 | 0 | 0.0 | 818M| 64 | - | 710 |2727 | 0 | 0 | 0 | 64k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
247.81/247.99 c 230s|570000 |443800 | 0 | 0.0 | 827M| 64 | - | 710 |2924 | 0 | 0 | 0 | 66k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
253.81/253.94 c 236s|580000 |448661 | 0 | 0.0 | 835M| 64 | - | 710 |3002 | 0 | 0 | 0 | 69k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
260.01/260.14 c 242s|590000 |452898 | 0 | 0.0 | 844M| 64 | - | 710 |3683 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
266.50/266.62 c 248s|600000 |457091 | 0 | 0.0 | 851M| 64 | - | 710 |3810 | 0 | 0 | 0 | 75k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
273.10/273.22 c 254s|610000 |460653 | 0 | 0.0 | 858M| 64 | - | 710 |4267 | 0 | 0 | 0 | 77k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
279.50/279.68 c 260s|620000 |463957 | 0 | 0.0 | 865M| 64 | - | 710 |2667 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
283.90/284.04 c 264s|630000 |472675 | 0 | 0.0 | 880M| 64 | - | 710 |1987 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
288.40/288.57 c 269s|640000 |480708 | 0 | 0.0 | 894M| 64 | - | 710 |1938 | 0 | 0 | 0 | 82k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
292.79/292.96 c 273s|650000 |488416 | 0 | 0.0 | 906M| 64 | - | 710 |2017 | 0 | 0 | 0 | 83k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
297.30/297.40 c 277s|660000 |495230 | 0 | 0.0 | 917M| 64 | - | 710 |2371 | 0 | 0 | 0 | 85k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
301.89/302.10 c 281s|670000 |501375 | 0 | 0.0 | 926M| 64 | - | 710 |2272 | 0 | 0 | 0 | 87k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
306.70/306.87 c 286s|680000 |507060 | 0 | 0.0 | 935M| 64 | - | 710 |2508 | 0 | 0 | 0 | 88k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
311.69/311.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.69/311.86 c 290s|690000 |512001 | 0 | 0.0 | 943M| 64 | - | 710 |2631 | 0 | 0 | 0 | 90k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
316.69/316.83 c 295s|700000 |517489 | 0 | 0.0 | 951M| 64 | - | 710 |2487 | 0 | 0 | 0 | 92k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
321.79/321.93 c 300s|710000 |522283 | 0 | 0.0 | 959M| 64 | - | 710 |2459 | 0 | 0 | 0 | 94k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
327.09/327.22 c 305s|720000 |526472 | 0 | 0.0 | 966M| 64 | - | 710 |2970 | 0 | 0 | 0 | 96k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
332.68/332.86 c 310s|730000 |530046 | 0 | 0.0 | 972M| 65 | - | 710 |3327 | 0 | 0 | 0 | 99k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
338.59/338.79 c 316s|740000 |533159 | 0 | 0.0 | 978M| 65 | - | 710 |3551 | 0 | 0 | 0 | 102k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
344.38/344.57 c 321s|750000 |536624 | 0 | 0.0 | 985M| 65 | - | 710 |1974 | 0 | 0 | 0 | 104k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
348.88/349.05 c 326s|760000 |545874 | 0 | 0.0 |1005M| 65 | - | 710 |1784 | 0 | 0 | 0 | 104k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
353.07/353.30 c 330s|770000 |555184 | 0 | 0.0 |1024M| 65 | - | 710 |1798 | 0 | 0 | 0 | 105k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
357.28/357.50 c 333s|780000 |564277 | 0 | 0.0 |1041M| 65 | - | 710 |1859 | 0 | 0 | 0 | 105k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
361.57/361.78 c 337s|790000 |573352 | 0 | 0.0 |1059M| 65 | - | 710 |1931 | 0 | 0 | 0 | 105k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
365.77/365.95 c 341s|800000 |582662 | 0 | 0.0 |1077M| 65 | - | 710 |1936 | 0 | 0 | 0 | 106k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
369.97/370.10 c 345s|810000 |591844 | 0 | 0.0 |1093M| 65 | - | 710 |1934 | 0 | 0 | 0 | 106k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
373.97/374.15 c 349s|820000 |601082 | 0 | 0.0 |1109M| 65 | - | 710 |1977 | 0 | 0 | 0 | 106k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
378.06/378.26 c 353s|830000 |610239 | 0 | 0.0 |1126M| 65 | - | 710 |2019 | 0 | 0 | 0 | 107k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
382.67/382.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.67/382.81 c 357s|840000 |619119 | 0 | 0.0 |1143M| 65 | - | 710 |2040 | 0 | 0 | 0 | 108k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
386.87/387.00 c 361s|850000 |628157 | 0 | 0.0 |1159M| 65 | - | 710 |2048 | 0 | 0 | 0 | 108k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
391.07/391.28 c 365s|860000 |637257 | 0 | 0.0 |1175M| 65 | - | 710 |2050 | 0 | 0 | 0 | 109k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
395.36/395.54 c 369s|870000 |646371 | 0 | 0.0 |1191M| 65 | - | 710 |2047 | 0 | 0 | 0 | 109k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
399.46/399.66 c 372s|880000 |655369 | 0 | 0.0 |1206M| 65 | - | 710 |2159 | 0 | 0 | 0 | 110k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
403.85/404.07 c 377s|890000 |664350 | 0 | 0.0 |1222M| 65 | - | 710 |2137 | 0 | 0 | 0 | 110k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
408.16/408.35 c 381s|900000 |673328 | 0 | 0.0 |1238M| 65 | - | 710 |2171 | 0 | 0 | 0 | 111k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
412.36/412.51 c 384s|910000 |682323 | 0 | 0.0 |1252M| 65 | - | 710 |2154 | 0 | 0 | 0 | 111k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
416.66/416.83 c 388s|920000 |691177 | 0 | 0.0 |1268M| 65 | - | 710 |2185 | 0 | 0 | 0 | 112k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
421.06/421.28 c 392s|930000 |699973 | 0 | 0.0 |1283M| 65 | - | 710 |2191 | 0 | 0 | 0 | 113k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
425.15/425.40 c 396s|940000 |709084 | 0 | 0.0 |1298M| 65 | - | 710 |2236 | 0 | 0 | 0 | 113k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
429.75/429.95 c 401s|950000 |717652 | 0 | 0.0 |1312M| 65 | - | 710 |2297 | 0 | 0 | 0 | 114k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
434.05/434.27 c 405s|960000 |726593 | 0 | 0.0 |1327M| 65 | - | 710 |2238 | 0 | 0 | 0 | 114k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
438.65/438.86 c 409s|970000 |735030 | 0 | 0.0 |1342M| 65 | - | 710 |2309 | 0 | 0 | 0 | 115k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
442.85/443.09 c 413s|980000 |744155 | 0 | 0.0 |1356M| 65 | - | 710 |2232 | 0 | 0 | 0 | 115k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
443.55/443.72 c (node 981520) switching to memory saving mode (mem: 1296.0M/1620.0M)
448.15/448.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.15/448.35 c 418s|990000 |745386 | 0 | 0.0 |1359M| 91 | - | 710 |4199 | 0 | 0 | 0 | 120k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
453.94/454.19 c 423s| 1000k|745230 | 0 | 0.0 |1360M| 91 | - | 710 |5177 | 0 | 0 | 0 | 124k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
459.65/459.89 c 428s| 1010k|745136 | 0 | 0.0 |1360M| 91 | - | 710 |5079 | 0 | 0 | 0 | 130k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
465.14/465.35 c 433s| 1020k|744985 | 0 | 0.0 |1358M| 91 | - | 710 |3848 | 0 | 0 | 0 | 135k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
470.64/470.81 c 438s| 1030k|744869 | 0 | 0.0 |1359M| 91 | - | 710 |5020 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
475.94/476.17 c 443s| 1040k|744812 | 0 | 0.0 |1360M| 91 | - | 710 |5884 | 0 | 0 | 0 | 145k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
481.54/481.71 c 448s| 1050k|744767 | 0 | 0.0 |1360M| 91 | - | 710 |5914 | 0 | 0 | 0 | 151k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
487.44/487.65 c 454s| 1060k|744714 | 0 | 0.0 |1359M| 91 | - | 710 |4363 | 0 | 0 | 0 | 156k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
492.54/492.70 c 459s| 1070k|744686 | 0 | 0.0 |1359M| 91 | - | 710 |5231 | 0 | 0 | 0 | 160k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
498.83/499.02 c 464s| 1080k|744496 | 0 | 0.0 |1358M| 91 | - | 710 |4549 | 0 | 0 | 0 | 165k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
504.83/505.08 c 470s| 1090k|744394 | 0 | 0.0 |1360M| 91 | - | 710 |6639 | 0 | 0 | 0 | 170k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
511.72/512.00 c 477s| 1100k|744368 | 0 | 0.0 |1360M| 91 | - | 710 |6695 | 0 | 0 | 0 | 176k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
518.02/518.29 c 482s| 1110k|744249 | 0 | 0.0 |1358M| 91 | - | 710 |4281 | 0 | 0 | 0 | 181k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
523.22/523.48 c 487s| 1120k|744221 | 0 | 0.0 |1359M| 91 | - | 710 |5002 | 0 | 0 | 0 | 186k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
528.32/528.50 c 492s| 1130k|744206 | 0 | 0.0 |1360M| 91 | - | 710 |6389 | 0 | 0 | 0 | 191k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
533.52/533.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.52/533.76 c 497s| 1140k|744143 | 0 | 0.0 |1358M| 91 | - | 710 |4560 | 0 | 0 | 0 | 194k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
539.02/539.27 c 502s| 1150k|744101 | 0 | 0.0 |1359M| 91 | - | 710 |5628 | 0 | 0 | 0 | 200k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
545.32/545.60 c 508s| 1160k|744103 | 0 | 0.0 |1360M| 91 | - | 710 |6692 | 0 | 0 | 0 | 205k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
553.51/553.72 c 516s| 1170k|744080 | 0 | 0.0 |1360M| 91 | - | 710 |6549 | 0 | 0 | 0 | 211k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
559.41/559.61 c 521s| 1180k|744065 | 0 | 0.0 |1360M| 91 | - | 710 |6829 | 0 | 0 | 0 | 216k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
566.11/566.34 c 527s| 1190k|744052 | 0 | 0.0 |1360M| 91 | - | 710 |7366 | 0 | 0 | 0 | 222k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
574.50/574.70 c 535s| 1200k|744049 | 0 | 0.0 |1361M| 91 | - | 710 |7553 | 0 | 0 | 0 | 228k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
582.10/582.33 c 543s| 1210k|744040 | 0 | 0.0 |1361M| 91 | - | 710 |7553 | 0 | 0 | 0 | 233k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
588.60/588.82 c 549s| 1220k|743992 | 0 | 0.0 |1359M| 91 | - | 710 |5603 | 0 | 0 | 0 | 238k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
594.80/595.02 c 554s| 1230k|743935 | 0 | 0.0 |1359M| 91 | - | 710 |5616 | 0 | 0 | 0 | 243k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
600.89/601.18 c 560s| 1240k|743788 | 0 | 0.0 |1359M| 91 | - | 710 |5900 | 0 | 0 | 0 | 248k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
607.70/607.90 c 566s| 1250k|743490 | 0 | 0.0 |1358M| 91 | - | 710 |5785 | 0 | 0 | 0 | 252k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
614.60/614.81 c 573s| 1260k|743437 | 0 | 0.0 |1358M| 91 | - | 710 |5873 | 0 | 0 | 0 | 256k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
621.39/621.65 c 579s| 1270k|743415 | 0 | 0.0 |1359M| 91 | - | 710 |7459 | 0 | 0 | 0 | 262k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
628.99/629.29 c 587s| 1280k|743414 | 0 | 0.0 |1361M| 91 | - | 710 | 10k| 0 | 0 | 0 | 268k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
630.79/631.06 o -10
630.79/631.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.79/631.06 c * 588s| 1281k|743386 | 0 | 0.0 |1360M| 91 | - | 710 |8371 | 0 | 0 | 0 | 269k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
637.49/637.79 c 595s| 1290k|743361 | 0 | 0.0 |1360M| 91 | - | 710 |8543 | 0 | 0 | 0 | 274k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
646.49/646.79 c 603s| 1300k|743338 | 0 | 0.0 |1361M| 91 | - | 710 |9036 | 0 | 0 | 0 | 279k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
654.19/654.43 c 611s| 1310k|743306 | 0 | 0.0 |1359M| 91 | - | 710 |6431 | 0 | 0 | 0 | 284k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
660.37/660.62 c 616s| 1320k|743227 | 0 | 0.0 |1358M| 91 | - | 710 |5421 | 0 | 0 | 0 | 289k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
667.48/667.73 c 623s| 1330k|743228 | 0 | 0.0 |1359M| 91 | - | 710 |6521 | 0 | 0 | 0 | 295k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
676.47/676.74 c 632s| 1340k|743226 | 0 | 0.0 |1360M| 91 | - | 710 |8233 | 0 | 0 | 0 | 300k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
687.07/687.31 c 642s| 1350k|743228 | 0 | 0.0 |1361M| 91 | - | 710 | 10k| 0 | 0 | 0 | 306k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
697.77/698.01 c 652s| 1360k|743228 | 0 | 0.0 |1361M| 91 | - | 710 | 10k| 0 | 0 | 0 | 311k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
711.56/711.90 c 665s| 1370k|743227 | 0 | 0.0 |1363M| 91 | - | 710 | 12k| 0 | 0 | 0 | 317k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
720.96/721.21 c 674s| 1380k|743181 | 0 | 0.0 |1359M| 91 | - | 710 |4977 | 0 | 0 | 0 | 322k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
725.66/725.90 c 679s| 1390k|743181 | 0 | 0.0 |1359M| 91 | - | 710 |5506 | 0 | 0 | 0 | 324k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
731.96/732.29 c 685s| 1400k|743167 | 0 | 0.0 |1360M| 91 | - | 710 |6744 | 0 | 0 | 0 | 330k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
739.45/739.72 c 692s| 1410k|743157 | 0 | 0.0 |1362M| 91 | - | 710 |9687 | 0 | 0 | 0 | 336k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
747.76/748.06 c 700s| 1420k|743155 | 0 | 0.0 |1363M| 91 | - | 710 | 10k| 0 | 0 | 0 | 342k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
756.05/756.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.05/756.30 c 708s| 1430k|743140 | 0 | 0.0 |1361M| 91 | - | 710 |8190 | 0 | 0 | 0 | 345k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
762.85/763.16 c 714s| 1440k|742992 | 0 | 0.0 |1358M| 91 | - | 710 |3900 | 0 | 0 | 0 | 350k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
768.04/768.36 c 719s| 1450k|742965 | 0 | 0.0 |1359M| 91 | - | 710 |4983 | 0 | 0 | 0 | 353k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
773.34/773.64 c 724s| 1460k|742965 | 0 | 0.0 |1359M| 91 | - | 710 |4989 | 0 | 0 | 0 | 356k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
778.64/778.99 c 729s| 1470k|742966 | 0 | 0.0 |1359M| 91 | - | 710 |5276 | 0 | 0 | 0 | 358k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
784.05/784.36 c 734s| 1480k|742965 | 0 | 0.0 |1359M| 91 | - | 710 |5411 | 0 | 0 | 0 | 359k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
789.44/789.77 c 739s| 1490k|742962 | 0 | 0.0 |1359M| 91 | - | 710 |5703 | 0 | 0 | 0 | 362k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
796.84/797.16 c 746s| 1500k|742957 | 0 | 0.0 |1360M| 91 | - | 710 |7331 | 0 | 0 | 0 | 367k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
806.33/806.61 c 755s| 1510k|742952 | 0 | 0.0 |1362M| 91 | - | 710 |9384 | 0 | 0 | 0 | 373k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
816.33/816.60 c 765s| 1520k|742950 | 0 | 0.0 |1362M| 91 | - | 710 |9288 | 0 | 0 | 0 | 379k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
827.83/828.15 c 776s| 1530k|742951 | 0 | 0.0 |1363M| 91 | - | 710 | 11k| 0 | 0 | 0 | 384k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
839.42/839.79 c 787s| 1540k|742940 | 0 | 0.0 |1361M| 91 | - | 710 |8789 | 0 | 0 | 0 | 390k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
848.62/848.93 c 796s| 1550k|742921 | 0 | 0.0 |1360M| 91 | - | 710 |7427 | 0 | 0 | 0 | 395k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
855.92/856.29 c 803s| 1560k|742894 | 0 | 0.0 |1360M| 91 | - | 710 |6935 | 0 | 0 | 0 | 400k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
863.82/864.10 c 810s| 1570k|742887 | 0 | 0.0 |1360M| 91 | - | 710 |7011 | 0 | 0 | 0 | 404k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
870.41/870.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.41/870.79 c 817s| 1580k|742884 | 0 | 0.0 |1360M| 91 | - | 710 |6784 | 0 | 0 | 0 | 405k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
876.80/877.10 c 823s| 1590k|742852 | 0 | 0.0 |1359M| 91 | - | 710 |5034 | 0 | 0 | 0 | 409k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
883.21/883.59 c 829s| 1600k|742644 | 0 | 0.0 |1359M| 91 | - | 710 |5345 | 0 | 0 | 0 | 415k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
890.00/890.34 c 835s| 1610k|742431 | 0 | 0.0 |1358M| 91 | - | 710 |5188 | 0 | 0 | 0 | 419k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
896.50/896.87 c 841s| 1620k|742190 | 0 | 0.0 |1357M| 91 | - | 710 |5059 | 0 | 0 | 0 | 424k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
902.81/903.18 c 847s| 1630k|742156 | 0 | 0.0 |1358M| 91 | - | 710 |6419 | 0 | 0 | 0 | 427k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
909.80/910.15 c 854s| 1640k|742116 | 0 | 0.0 |1359M| 91 | - | 710 |6941 | 0 | 0 | 0 | 431k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
918.00/918.33 c 862s| 1650k|742084 | 0 | 0.0 |1359M| 91 | - | 710 |7795 | 0 | 0 | 0 | 436k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
926.20/926.52 c 869s| 1660k|742040 | 0 | 0.0 |1359M| 91 | - | 710 |7975 | 0 | 0 | 0 | 442k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
936.19/936.51 c 879s| 1670k|742038 | 0 | 0.0 |1360M| 91 | - | 710 |9596 | 0 | 0 | 0 | 447k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
947.49/947.87 c 890s| 1680k|742002 | 0 | 0.0 |1360M| 91 | - | 710 |8868 | 0 | 0 | 0 | 453k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
955.59/955.91 c 898s| 1690k|741956 | 0 | 0.0 |1359M| 91 | - | 710 |7052 | 0 | 0 | 0 | 458k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
961.99/962.32 c 904s| 1700k|741937 | 0 | 0.0 |1359M| 91 | - | 710 |7611 | 0 | 0 | 0 | 463k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
968.79/969.13 c 910s| 1710k|741915 | 0 | 0.0 |1359M| 91 | - | 710 |7179 | 0 | 0 | 0 | 467k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
976.39/976.72 c 917s| 1720k|741893 | 0 | 0.0 |1358M| 91 | - | 710 |6214 | 0 | 0 | 0 | 470k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
982.08/982.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.08/982.49 c 923s| 1730k|741887 | 0 | 0.0 |1358M| 91 | - | 710 |6757 | 0 | 0 | 0 | 473k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
987.68/988.02 c 928s| 1740k|741883 | 0 | 0.0 |1358M| 91 | - | 710 |6357 | 0 | 0 | 0 | 476k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
993.18/993.51 c 933s| 1750k|741883 | 0 | 0.0 |1359M| 91 | - | 710 |7271 | 0 | 0 | 0 | 478k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
999.27/999.63 c 939s| 1760k|741756 | 0 | 0.0 |1357M| 91 | - | 710 |5062 | 0 | 0 | 0 | 483k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1004.87/1005.25 c 944s| 1770k|741694 | 0 | 0.0 |1357M| 91 | - | 710 |5108 | 0 | 0 | 0 | 488k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1011.06/1011.47 c 950s| 1780k|741697 | 0 | 0.0 |1359M| 91 | - | 710 |7850 | 0 | 0 | 0 | 493k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1020.07/1020.46 c 959s| 1790k|741697 | 0 | 0.0 |1360M| 91 | - | 710 |8724 | 0 | 0 | 0 | 497k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1029.06/1029.45 c 967s| 1800k|741698 | 0 | 0.0 |1360M| 91 | - | 710 |9040 | 0 | 0 | 0 | 500k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1037.15/1037.52 c 975s| 1810k|741697 | 0 | 0.0 |1360M| 91 | - | 710 |9448 | 0 | 0 | 0 | 503k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1043.66/1044.02 c 981s| 1820k|741673 | 0 | 0.0 |1358M| 91 | - | 710 |6489 | 0 | 0 | 0 | 508k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1051.05/1051.40 c 988s| 1830k|741661 | 0 | 0.0 |1359M| 91 | - | 710 |7924 | 0 | 0 | 0 | 514k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1057.76/1058.18 c 995s| 1840k|741659 | 0 | 0.0 |1359M| 91 | - | 710 |7791 | 0 | 0 | 0 | 519k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1065.25/1065.67 c 1002s| 1850k|741659 | 0 | 0.0 |1360M| 91 | - | 710 |8511 | 0 | 0 | 0 | 524k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1073.64/1074.09 c 1010s| 1860k|741650 | 0 | 0.0 |1360M| 91 | - | 710 |8983 | 0 | 0 | 0 | 530k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1082.85/1083.23 c 1019s| 1870k|741645 | 0 | 0.0 |1361M| 91 | - | 710 |9762 | 0 | 0 | 0 | 535k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1089.85/1090.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.85/1090.24 c 1025s| 1880k|741630 | 0 | 0.0 |1359M| 91 | - | 710 |7917 | 0 | 0 | 0 | 539k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1096.54/1096.99 c 1032s| 1890k|741599 | 0 | 0.0 |1360M| 91 | - | 710 |8654 | 0 | 0 | 0 | 545k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1102.44/1102.83 c 1037s| 1900k|741584 | 0 | 0.0 |1359M| 91 | - | 710 |7737 | 0 | 0 | 0 | 547k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1109.24/1109.67 c 1044s| 1910k|741546 | 0 | 0.0 |1359M| 91 | - | 710 |7199 | 0 | 0 | 0 | 552k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1115.44/1115.85 c 1050s| 1920k|741493 | 0 | 0.0 |1358M| 91 | - | 710 |6175 | 0 | 0 | 0 | 558k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1121.43/1121.87 c 1055s| 1930k|741405 | 0 | 0.0 |1357M| 91 | - | 710 |3999 | 0 | 0 | 0 | 563k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1125.73/1126.15 c 1059s| 1940k|741389 | 0 | 0.0 |1357M| 91 | - | 710 |4141 | 0 | 0 | 0 | 565k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1131.63/1132.04 c 1065s| 1950k|741385 | 0 | 0.0 |1357M| 91 | - | 710 |4585 | 0 | 0 | 0 | 569k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1137.13/1137.57 c 1070s| 1960k|741375 | 0 | 0.0 |1358M| 91 | - | 710 |5295 | 0 | 0 | 0 | 573k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1143.82/1144.28 c 1076s| 1970k|741368 | 0 | 0.0 |1359M| 91 | - | 710 |6264 | 0 | 0 | 0 | 577k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1152.82/1153.29 c 1085s| 1980k|741367 | 0 | 0.0 |1360M| 91 | - | 710 |8145 | 0 | 0 | 0 | 583k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1161.02/1161.48 c 1093s| 1990k|741360 | 0 | 0.0 |1359M| 91 | - | 710 |7298 | 0 | 0 | 0 | 585k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1168.82/1169.27 c 1100s| 2000k|741361 | 0 | 0.0 |1360M| 91 | - | 710 |7846 | 0 | 0 | 0 | 588k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1177.41/1177.80 c 1109s| 2010k|741362 | 0 | 0.0 |1360M| 91 | - | 710 |8197 | 0 | 0 | 0 | 591k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1186.61/1187.01 c 1117s| 2020k|741360 | 0 | 0.0 |1360M| 91 | - | 710 |8626 | 0 | 0 | 0 | 595k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1197.31/1197.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.31/1197.74 c 1128s| 2030k|741353 | 0 | 0.0 |1360M| 91 | - | 710 |8521 | 0 | 0 | 0 | 600k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1208.30/1208.72 c 1138s| 2040k|741353 | 0 | 0.0 |1361M| 91 | - | 710 |9649 | 0 | 0 | 0 | 606k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1220.20/1220.69 c 1150s| 2050k|741353 | 0 | 0.0 |1362M| 91 | - | 710 | 11k| 0 | 0 | 0 | 611k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1233.70/1234.15 c 1163s| 2060k|741353 | 0 | 0.0 |1362M| 91 | - | 710 | 11k| 0 | 0 | 0 | 617k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1247.29/1247.77 c 1176s| 2070k|741354 | 0 | 0.0 |1363M| 91 | - | 710 | 12k| 0 | 0 | 0 | 623k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1260.09/1260.58 c 1188s| 2080k|741348 | 0 | 0.0 |1362M| 91 | - | 710 | 11k| 0 | 0 | 0 | 628k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1273.68/1274.19 c 1202s| 2090k|741347 | 0 | 0.0 |1363M| 91 | - | 710 | 12k| 0 | 0 | 0 | 634k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1282.08/1282.52 c 1210s| 2100k|741302 | 0 | 0.0 |1358M| 91 | - | 710 |5756 | 0 | 0 | 0 | 637k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1287.97/1288.44 c 1215s| 2110k|741292 | 0 | 0.0 |1359M| 91 | - | 710 |6649 | 0 | 0 | 0 | 642k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1295.28/1295.75 c 1222s| 2120k|741277 | 0 | 0.0 |1359M| 91 | - | 710 |6850 | 0 | 0 | 0 | 648k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1302.48/1302.95 c 1229s| 2130k|741266 | 0 | 0.0 |1359M| 91 | - | 710 |6797 | 0 | 0 | 0 | 652k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1309.68/1310.15 c 1236s| 2140k|741261 | 0 | 0.0 |1360M| 91 | - | 710 |8392 | 0 | 0 | 0 | 656k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1318.67/1319.19 c 1244s| 2150k|741231 | 0 | 0.0 |1359M| 91 | - | 710 |6170 | 0 | 0 | 0 | 660k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1326.96/1327.47 c 1252s| 2160k|741160 | 0 | 0.0 |1359M| 91 | - | 710 |6629 | 0 | 0 | 0 | 665k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1335.86/1336.34 c 1261s| 2170k|741034 | 0 | 0.0 |1359M| 91 | - | 710 |6752 | 0 | 0 | 0 | 671k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1342.96/1343.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.96/1343.40 c 1267s| 2180k|740989 | 0 | 0.0 |1359M| 91 | - | 710 |7304 | 0 | 0 | 0 | 677k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1350.16/1350.60 c 1274s| 2190k|740918 | 0 | 0.0 |1359M| 91 | - | 710 |7622 | 0 | 0 | 0 | 682k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1356.46/1356.93 c 1280s| 2200k|740813 | 0 | 0.0 |1358M| 91 | - | 710 |6191 | 0 | 0 | 0 | 686k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1363.15/1363.65 c 1287s| 2210k|740690 | 0 | 0.0 |1358M| 91 | - | 710 |6068 | 0 | 0 | 0 | 691k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1368.25/1368.77 c 1291s| 2220k|740685 | 0 | 0.0 |1358M| 91 | - | 710 |6759 | 0 | 0 | 0 | 693k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1375.35/1375.83 c 1298s| 2230k|740633 | 0 | 0.0 |1358M| 91 | - | 710 |7238 | 0 | 0 | 0 | 699k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1382.34/1382.80 c 1305s| 2240k|740535 | 0 | 0.0 |1358M| 91 | - | 710 |6616 | 0 | 0 | 0 | 704k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1387.95/1388.48 c 1310s| 2250k|740468 | 0 | 0.0 |1358M| 91 | - | 710 |7220 | 0 | 0 | 0 | 708k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1394.35/1394.85 c 1316s| 2260k|740411 | 0 | 0.0 |1358M| 91 | - | 710 |8208 | 0 | 0 | 0 | 713k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1404.04/1404.52 c 1325s| 2270k|740289 | 0 | 0.0 |1357M| 91 | - | 710 |6912 | 0 | 0 | 0 | 718k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1413.04/1413.57 c 1334s| 2280k|740275 | 0 | 0.0 |1357M| 91 | - | 710 |7427 | 0 | 0 | 0 | 721k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1422.34/1422.86 c 1343s| 2290k|740240 | 0 | 0.0 |1357M| 91 | - | 710 |7315 | 0 | 0 | 0 | 725k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1429.23/1429.77 c 1349s| 2300k|740232 | 0 | 0.0 |1358M| 91 | - | 710 |7710 | 0 | 0 | 0 | 728k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1437.83/1438.38 c 1358s| 2310k|740225 | 0 | 0.0 |1359M| 91 | - | 710 |9366 | 0 | 0 | 0 | 733k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1449.33/1449.85 c 1369s| 2320k|740222 | 0 | 0.0 |1359M| 91 | - | 710 | 10k| 0 | 0 | 0 | 737k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1460.92/1461.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.92/1461.42 c 1380s| 2330k|740209 | 0 | 0.0 |1359M| 91 | - | 710 |9454 | 0 | 0 | 0 | 742k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1470.13/1470.70 c 1389s| 2340k|740159 | 0 | 0.0 |1358M| 91 | - | 710 |9114 | 0 | 0 | 0 | 747k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1481.02/1481.52 c 1399s| 2350k|740155 | 0 | 0.0 |1360M| 91 | - | 710 | 11k| 0 | 0 | 0 | 752k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1493.51/1494.03 c 1411s| 2360k|740153 | 0 | 0.0 |1360M| 91 | - | 710 | 11k| 0 | 0 | 0 | 757k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1507.41/1507.91 c 1425s| 2370k|740154 | 0 | 0.0 |1360M| 91 | - | 710 | 11k| 0 | 0 | 0 | 762k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1521.70/1522.25 c 1438s| 2380k|740152 | 0 | 0.0 |1361M| 91 | - | 710 | 12k| 0 | 0 | 0 | 767k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1536.21/1536.72 c 1452s| 2390k|740153 | 0 | 0.0 |1361M| 91 | - | 710 | 12k| 0 | 0 | 0 | 772k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1549.50/1550.03 c 1465s| 2400k|740145 | 0 | 0.0 |1360M| 91 | - | 710 | 10k| 0 | 0 | 0 | 776k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1561.19/1561.73 c 1477s| 2410k|740129 | 0 | 0.0 |1360M| 91 | - | 710 | 10k| 0 | 0 | 0 | 780k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1573.50/1574.02 c 1489s| 2420k|740121 | 0 | 0.0 |1360M| 91 | - | 710 | 11k| 0 | 0 | 0 | 784k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1585.28/1585.87 c 1500s| 2430k|740072 | 0 | 0.0 |1358M| 91 | - | 710 |9042 | 0 | 0 | 0 | 790k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1594.18/1594.72 c 1508s| 2440k|740056 | 0 | 0.0 |1359M| 91 | - | 710 |9322 | 0 | 0 | 0 | 795k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1603.48/1604.00 c 1517s| 2450k|740051 | 0 | 0.0 |1360M| 91 | - | 710 | 11k| 0 | 0 | 0 | 800k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1614.48/1615.00 c 1528s| 2460k|740038 | 0 | 0.0 |1359M| 91 | - | 710 | 10k| 0 | 0 | 0 | 805k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1624.97/1625.54 c 1538s| 2470k|740034 | 0 | 0.0 |1361M| 91 | - | 710 | 12k| 0 | 0 | 0 | 810k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1637.87/1638.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.87/1638.41 c 1551s| 2480k|740025 | 0 | 0.0 |1361M| 91 | - | 710 | 12k| 0 | 0 | 0 | 815k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1652.67/1653.25 c 1565s| 2490k|740017 | 0 | 0.0 |1361M| 91 | - | 710 | 13k| 0 | 0 | 0 | 820k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1668.17/1668.71 c 1580s| 2500k|740015 | 0 | 0.0 |1362M| 91 | - | 710 | 14k| 0 | 0 | 0 | 826k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1684.36/1684.99 c 1596s| 2510k|740005 | 0 | 0.0 |1361M| 91 | - | 710 | 12k| 0 | 0 | 0 | 830k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1698.14/1698.70 c 1609s| 2520k|739991 | 0 | 0.0 |1359M| 91 | - | 710 |9864 | 0 | 0 | 0 | 833k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1707.85/1708.44 c 1619s| 2530k|739956 | 0 | 0.0 |1359M| 91 | - | 710 |9142 | 0 | 0 | 0 | 837k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1719.34/1719.94 c 1630s| 2540k|739956 | 0 | 0.0 |1359M| 91 | - | 710 | 10k| 0 | 0 | 0 | 843k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1733.04/1733.62 c 1643s| 2550k|739955 | 0 | 0.0 |1360M| 91 | - | 710 | 11k| 0 | 0 | 0 | 848k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1749.34/1749.95 c 1659s| 2560k|739956 | 0 | 0.0 |1362M| 91 | - | 710 | 13k| 0 | 0 | 0 | 854k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1763.03/1763.63 c 1672s| 2570k|739956 | 0 | 0.0 |1361M| 91 | - | 710 | 12k| 0 | 0 | 0 | 860k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1776.63/1777.28 c 1685s| 2580k|739955 | 0 | 0.0 |1362M| 91 | - | 710 | 14k| 0 | 0 | 0 | 866k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1787.93/1788.55 c 1696s| 2590k|739887 | 0 | 0.0 |1357M| 91 | - | 710 |5836 | 0 | 0 | 0 | 872k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1794.11/1794.78 c 1702s| 2600k|739849 | 0 | 0.0 |1357M| 91 | - | 710 |6359 | 0 | 0 | 0 | 876k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1707.34
1800.02/1800.61 c Solving Nodes : 2609459
1800.02/1800.61 c Primal Bound : -1.00000000000000e+01 (10 solutions)
1800.02/1800.61 c Dual Bound : -4.30000000000000e+01
1800.02/1800.61 c Gap : 76.74 %
1800.02/1800.61 s SATISFIABLE
1800.02/1800.61 v x98 -x89 -x90 -x56 -x96 -x76 x55 -x95 -x79 -x92 -x71 x75 -x88 -x54 -x65 -x57 -x53 -x74 x81 x83 -x80 -x52 x82 -x70 -x67 x61 -x59
1800.02/1800.61 v x69 -x62 x73 -x77 -x64 -x60 -x91 -x51 -x99 -x97 -x85 -x68 -x58 -x63 -x72 -x100 x93 -x86 -x94 -x66 -x78 -x87 -x84 -x50 -x49 -x48
1800.02/1800.61 v -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 x35 x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 x22
1800.02/1800.61 v -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1707.34
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2663854-1276666262.opb
1800.02/1800.61 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 761 initial, 761 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2663854-1276666262.opb
1800.02/1800.61 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 761 initial, 16299 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c and : 0.08 0 0 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c setppc : 100 0 8736270 0 1741473 14887 2769007 0 0 0
1800.02/1800.61 c and : 610 0 8736704 0 1744127 1684 21065728 0 0 0
1800.02/1800.61 c linear : 1 0 8735607 0 1744233 191413 10992587 0 0 0
1800.02/1800.61 c logicor : 50+ 0 2306991 0 1603528 66555 1575600 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 1744240 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c setppc : 40.41 0.00 13.92 0.00 26.49
1800.02/1800.61 c and : 69.93 0.00 66.69 0.00 3.24
1800.02/1800.61 c linear : 159.57 0.00 158.24 0.00 1.33
1800.02/1800.61 c logicor : 445.38 0.00 440.92 0.00 4.46
1800.02/1800.61 c countsols : 0.83 0.00 0.00 0.00 0.83
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 4.37 2 0 0
1800.02/1800.61 c rootredcost : 4.71 0 0 0
1800.02/1800.61 c pseudoobj : 280.23 9480722 728535 969534
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 266.33 1003074 793993 5897042 69.1 404 7.5 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 833214 56.6 - - -
1800.02/1800.61 c applied locally : - - - 46732 76.4 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.61 c redcost : 0.00 0 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 0 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.61 c cmir : 0.00 0 0 0 0 0
1800.02/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.61 c clique : 0.00 0 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 0 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 52.79 1744233 0 0 0 0 3488466
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.03 - 7
1800.02/1800.61 c oneopt : 1.90 0 0
1800.02/1800.61 c trivial : 0.00 2 3
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 0 0
1800.02/1800.61 c rounding : 0.00 0 0
1800.02/1800.61 c shifting : 0.00 0 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.00 0 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.00 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 1.29 0 0
1800.02/1800.61 c trysol : 1.42 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.61 c (at root node) : - 0 0 0.00 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 2609459
1800.02/1800.61 c nodes (total) : 2609459
1800.02/1800.61 c nodes left : 739825
1800.02/1800.61 c max depth : 91
1800.02/1800.61 c max depth (total): 91
1800.02/1800.61 c backtracks : 229897 (8.8%)
1800.02/1800.61 c delayed cutoffs : 139174
1800.02/1800.61 c repropagations : 3121307 (3585045 domain reductions, 137855 cutoffs)
1800.02/1800.61 c avg switch length: 5.61
1800.02/1800.61 c switching time : 405.39
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 10 (8 improvements)
1800.02/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.02/1800.61 c Primal Bound : -1.00000000000000e+01 (in run 1, after 1281773 nodes, 588.26 seconds, depth 66, found by <relaxation>)
1800.02/1800.61 c Dual Bound : -4.30000000000000e+01
1800.02/1800.61 c Gap : 76.74 %
1800.02/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.02/1800.61 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-2663854-1276666262/watcher-2663854-1276666262 -o /tmp/evaluation-result-2663854-1276666262/solver-2663854-1276666262 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663854-1276666262.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: 2.03 2.02 1.78 3/106 14785
/proc/meminfo: memFree=1805484/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=6584 CPUtime=0
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 7917141 6742016 924 1992294400 4194304 7136930 140737183431840 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14785/statm: 1646 934 254 719 0 925 0
[startup+0.017661 s]
/proc/loadavg: 2.03 2.02 1.78 3/106 14785
/proc/meminfo: memFree=1805484/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=8816 CPUtime=0.01
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 1683 0 0 0 1 0 0 0 20 0 1 0 7917141 9027584 1606 1992294400 4194304 7136930 140737183431840 18446744073709551615 6166192 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14785/statm: 2204 1606 272 719 0 1483 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8816
[startup+0.100674 s]
/proc/loadavg: 2.03 2.02 1.78 3/106 14785
/proc/meminfo: memFree=1805484/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=12156 CPUtime=0.09
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 2927 0 0 0 4 5 0 0 20 0 1 0 7917141 12447744 2240 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 3039 2240 333 719 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12156
[startup+0.300707 s]
/proc/loadavg: 2.03 2.02 1.78 3/106 14785
/proc/meminfo: memFree=1805484/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=14528 CPUtime=0.29
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 4901 0 0 0 19 10 0 0 20 0 1 0 7917141 14876672 2929 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 3632 2929 393 719 0 2911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14528
[startup+0.700775 s]
/proc/loadavg: 2.03 2.02 1.78 3/106 14785
/proc/meminfo: memFree=1805484/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=16344 CPUtime=0.69
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 5352 0 0 0 55 14 0 0 20 0 1 0 7917141 16736256 3380 1992294400 4194304 7136930 140737183431840 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 4086 3380 393 719 0 3365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16344
[startup+1.50091 s]
/proc/loadavg: 2.03 2.02 1.78 2/107 14786
/proc/meminfo: memFree=1792208/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=20024 CPUtime=1.49
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 6251 0 0 0 127 22 0 0 22 0 1 0 7917141 20504576 4279 1992294400 4194304 7136930 140737183431840 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 5006 4279 393 719 0 4285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20024
[startup+3.10117 s]
/proc/loadavg: 1.95 2.00 1.78 2/107 14786
/proc/meminfo: memFree=1785264/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=32112 CPUtime=3.09
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 9136 0 0 0 273 36 0 0 25 0 1 0 7917141 32882688 7164 1992294400 4194304 7136930 140737183431840 18446744073709551615 5484221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 8028 7164 393 719 0 7307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32112
[startup+6.3007 s]
/proc/loadavg: 1.95 2.00 1.78 2/107 14786
/proc/meminfo: memFree=1761208/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=54460 CPUtime=6.29
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 14443 0 0 0 566 63 0 0 25 0 1 0 7917141 55767040 12471 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 13615 12471 393 719 0 12894 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54460
[startup+12.7008 s]
/proc/loadavg: 1.80 1.97 1.77 2/107 14786
/proc/meminfo: memFree=1725000/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=93664 CPUtime=12.68
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 23728 0 0 0 1155 113 0 0 25 0 1 0 7917141 95911936 21756 1992294400 4194304 7136930 140737183431840 18446744073709551615 4676371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 23416 21756 393 719 0 22695 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93664
[startup+25.5009 s]
/proc/loadavg: 1.68 1.93 1.76 3/107 14786
/proc/meminfo: memFree=1649360/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=167364 CPUtime=25.48
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 41284 0 0 0 2328 220 0 0 25 0 1 0 7917141 171380736 39312 1992294400 4194304 7136930 140737183431840 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 41841 39312 393 719 0 41120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 167364
[startup+51.1011 s]
/proc/loadavg: 1.45 1.86 1.74 2/107 14788
/proc/meminfo: memFree=1546812/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=276924 CPUtime=51.07
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 67425 0 0 0 4693 414 0 0 25 0 1 0 7917141 283570176 65453 1992294400 4194304 7136930 140737183431840 18446744073709551615 5918717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 69231 65453 393 719 0 68510 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 276924
[startup+102.309 s]
/proc/loadavg: 1.18 1.71 1.69 2/107 14791
/proc/meminfo: memFree=1326960/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=503468 CPUtime=102.27
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 121574 0 0 0 9429 798 0 0 25 0 1 0 7917141 515551232 119602 1992294400 4194304 7136930 140737183431840 18446744073709551615 4704589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 125867 119602 393 719 0 125146 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 503468
[startup+162.301 s]
/proc/loadavg: 1.06 1.58 1.65 2/107 14793
/proc/meminfo: memFree=1162660/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=671100 CPUtime=162.24
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 162803 0 0 0 15034 1190 0 0 25 0 1 0 7917141 687206400 160831 1992294400 4194304 7136930 140737183431840 18446744073709551615 4210534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 167775 160831 393 719 0 167054 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 671100
[startup+222.302 s]
/proc/loadavg: 1.02 1.47 1.60 2/107 14795
/proc/meminfo: memFree=926316/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=904908 CPUtime=222.22
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 221423 0 0 0 20588 1634 0 0 25 0 1 0 7917141 926625792 219451 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 226227 219451 393 719 0 225506 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 904908
[startup+282.302 s]
/proc/loadavg: 1.01 1.38 1.56 2/107 14797
/proc/meminfo: memFree=849684/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=989908 CPUtime=282.2
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 240914 0 0 0 26280 1940 0 0 25 0 1 0 7917141 1013665792 238942 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 247477 238942 393 719 0 246756 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 989908
[startup+342.302 s]
/proc/loadavg: 1.00 1.31 1.53 2/107 14797
/proc/meminfo: memFree=725684/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1112936 CPUtime=342.18
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 271678 0 0 0 31933 2285 0 0 25 0 1 0 7917141 1139646464 269706 1992294400 4194304 7136930 140737183431840 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 278234 269706 393 719 0 277513 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1112936
[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.49 2/107 14799
/proc/meminfo: memFree=511288/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1331176 CPUtime=402.16
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 326212 0 0 0 37492 2724 0 0 25 0 1 0 7917141 1363124224 324240 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 332794 324240 393 719 0 332073 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1331176
[startup+462.3 s]
/proc/loadavg: 1.00 1.20 1.45 2/107 14801
/proc/meminfo: memFree=350956/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1483920 CPUtime=462.14
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 367867 0 0 0 43043 3171 0 0 25 0 1 0 7917141 1519534080 362980 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 370980 362980 393 719 0 370259 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1483920
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.43 2/107 14803
/proc/meminfo: memFree=346616/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1488640 CPUtime=522.12
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 368968 0 0 0 48616 3596 0 0 25 0 1 0 7917141 1524367360 364081 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 372160 364081 393 719 0 371439 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1488640
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.40 2/107 14805
/proc/meminfo: memFree=346740/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1488128 CPUtime=582.1
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 369104 0 0 0 54253 3957 0 0 25 0 1 0 7917141 1523843072 363969 1992294400 4194304 7136930 140737183431840 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 372032 363969 393 719 0 371311 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1488128
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.37 2/107 14805
/proc/meminfo: memFree=344508/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1490748 CPUtime=642.09
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 369730 0 0 0 59897 4312 0 0 25 0 1 0 7917141 1526525952 364595 1992294400 4194304 7136930 140737183431840 18446744073709551615 4660042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 372687 364595 393 719 0 371966 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1490748
[startup+702.301 s]
################
# More data... #
################
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371419 0 0 0 99879 6316 0 0 25 0 1 0 7917141 1533759488 366284 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374453 366284 393 719 0 373732 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1497812
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/107 14819
/proc/meminfo: memFree=336448/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1498376 CPUtime=1121.93
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371561 0 0 0 105564 6629 0 0 25 0 1 0 7917141 1534337024 366426 1992294400 4194304 7136930 140737183431840 18446744073709551615 4431530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374594 366426 393 719 0 373873 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1498376
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 14821
/proc/meminfo: memFree=336324/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1498376 CPUtime=1181.91
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371561 0 0 0 111284 6907 0 0 25 0 1 0 7917141 1534337024 366426 1992294400 4194304 7136930 140737183431840 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374594 366426 393 719 0 373873 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1498376
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 14821
/proc/meminfo: memFree=336076/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1498376 CPUtime=1241.89
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371566 0 0 0 117069 7120 0 0 25 0 1 0 7917141 1534337024 366431 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374594 366431 393 719 0 373873 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1498376
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 14823
/proc/meminfo: memFree=335456/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1499072 CPUtime=1301.88
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371702 0 0 0 122836 7352 0 0 25 0 1 0 7917141 1535049728 366567 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374768 366567 393 719 0 374047 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1499072
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 14825
/proc/meminfo: memFree=335456/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1499072 CPUtime=1361.86
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371706 0 0 0 128534 7652 0 0 25 0 1 0 7917141 1535049728 366571 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374768 366571 393 719 0 374047 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1499072
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 14827
/proc/meminfo: memFree=335332/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1499072 CPUtime=1421.84
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371711 0 0 0 134234 7950 0 0 25 0 1 0 7917141 1535049728 366576 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374768 366576 393 719 0 374047 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1499072
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 14829
/proc/meminfo: memFree=335208/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1499072 CPUtime=1481.81
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371711 0 0 0 139983 8198 0 0 25 0 1 0 7917141 1535049728 366576 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374768 366576 393 719 0 374047 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1499072
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 14829
/proc/meminfo: memFree=334960/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1499360 CPUtime=1541.8
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 371782 0 0 0 145789 8391 0 0 25 0 1 0 7917141 1535344640 366647 1992294400 4194304 7136930 140737183431840 18446744073709551615 4520353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 374840 366647 393 719 0 374119 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1499360
[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.11 2/107 14831
/proc/meminfo: memFree=333472/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1500728 CPUtime=1601.78
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 372138 0 0 0 151568 8610 0 0 25 0 1 0 7917141 1536745472 367003 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 375182 367003 393 719 0 374461 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1500728
[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.10 2/107 14833
/proc/meminfo: memFree=330992/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1503004 CPUtime=1661.76
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 372738 0 0 0 157372 8804 0 0 25 0 1 0 7917141 1539076096 367603 1992294400 4194304 7136930 140737183431840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 375751 367603 393 719 0 375030 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1503004
[startup+1722.3 s]
/proc/loadavg: 1.08 1.03 1.09 2/107 14835
/proc/meminfo: memFree=329752/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1504256 CPUtime=1721.74
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 373029 0 0 0 163182 8992 0 0 25 0 1 0 7917141 1540358144 367894 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 376064 367894 393 719 0 375343 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1504256
[startup+1782.3 s]
/proc/loadavg: 1.08 1.04 1.09 2/107 14837
/proc/meminfo: memFree=329008/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1504716 CPUtime=1781.72
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 373150 0 0 0 169001 9171 0 0 25 0 1 0 7917141 1540829184 368015 1992294400 4194304 7136930 140737183431840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 376179 368015 393 719 0 375458 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1504716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.06 1.04 1.09 2/107 14846
/proc/meminfo: memFree=328264/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1504716 CPUtime=1800.02
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 373151 0 0 0 170735 9267 0 0 25 0 1 0 7917141 1540829184 368016 1992294400 4194304 7136930 140737183431840 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14785/statm: 376179 368016 393 719 0 375458 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1504716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14785
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.06 1.04 1.09 2/107 14846
/proc/meminfo: memFree=328264/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1504716 CPUtime=1800.8
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 373156 0 0 0 170813 9267 0 0 25 0 1 0 7917141 1540829184 368021 1992294400 4194304 7136930 140737183431840 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14785/statm: 376179 368021 398 719 0 375458 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 1504716
[startup+1802.2 s]
/proc/loadavg: 1.05 1.04 1.09 2/108 14847
/proc/meminfo: memFree=328256/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1504716 CPUtime=1801.6
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 373156 0 0 0 170893 9267 0 0 25 0 1 0 7917141 1540829184 368021 1992294400 4194304 7136930 140737183431840 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14785/statm: 376179 368021 398 719 0 375458 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 1504716
[startup+1802.6 s]
/proc/loadavg: 1.05 1.04 1.09 2/108 14847
/proc/meminfo: memFree=328256/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=1504716 CPUtime=1802
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4202496 373156 0 0 0 170933 9267 0 0 25 0 1 0 7917141 1540829184 368021 1992294400 4194304 7136930 140737183431840 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14785/statm: 376179 368021 398 719 0 375458 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 1504716
[startup+1802.7 s]
/proc/loadavg: 1.05 1.04 1.09 2/108 14847
/proc/meminfo: memFree=328256/2059040 swapFree=4168596/4192956
[pid=14785] ppid=14783 vsize=0 CPUtime=1802.1
/proc/14785/stat : 14785 (pbscip.linux.x8) R 14783 14785 14290 0 -1 4203524 373156 0 0 0 170935 9275 0 0 25 0 1 0 7917141 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14785/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.17
CPU user time (s): 1709.35
CPU system time (s): 92.8179
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 1504716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.35
system time used= 92.8179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3898
runsolver used 2.98155 second user time and 8.5327 second system time
The end