0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665652-1276599285.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 18 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 o 540
0.09/0.10 c y 0.1s| 1 | 0 | 18 | - | 373k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 24 | - | 513k| 0 | 7 | 94 | 116 | 94 | 8 | 4 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 29 | - | 532k| 0 | 10 | 94 | 116 | 94 | 13 | 9 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 37 | - | 556k| 0 | 8 | 94 | 116 | 94 | 18 | 14 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 42 | - | 599k| 0 | 9 | 94 | 116 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 57 | - | 632k| 0 | 12 | 94 | 116 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 66 | - | 654k| 0 | 13 | 94 | 116 | 94 | 31 | 27 | 0 | 0 | 0.000000e+00 | 5.400000e+02 | Inf
0.19/0.20 c 0.1s| 1 | 2 | 66 | - | 655k| 0 | 13 | 94 | 116 | 94 | 31 | 27 | 0 | 9 | 0.000000e+00 | 5.400000e+02 | Inf
0.19/0.27 o 272
0.19/0.27 c c 0.2s| 37 | 36 | 171 | 2.9 | 679k| 35 | - | 94 | 116 | 94 | 13 | 27 | 0 | 120 | 0.000000e+00 | 2.720000e+02 | Inf
0.29/0.30 o 150
0.29/0.30 c p 0.2s| 57 | 49 | 238 | 3.1 | 689k| 35 | - | 94 | 116 | 94 | 13 | 27 | 0 | 158 | 0.000000e+00 | 1.500000e+02 | Inf
0.29/0.39 o 145
0.29/0.39 c o 0.3s| 125 | 113 | 479 | 3.3 | 736k| 35 | 0 | 94 | 120 | 94 | 13 | 27 | 5 | 263 | 0.000000e+00 | 1.450000e+02 | Inf
0.39/0.43 o 143
0.39/0.43 c * 0.3s| 159 | 144 | 589 | 3.3 | 754k| 35 | - | 94 | 120 | 94 | 13 | 27 | 5 | 300 | 0.000000e+00 | 1.430000e+02 | Inf
0.39/0.43 o 141
0.39/0.43 c * 0.3s| 160 | 143 | 589 | 3.3 | 755k| 35 | - | 94 | 120 | 94 | 13 | 27 | 5 | 300 | 0.000000e+00 | 1.410000e+02 | Inf
0.39/0.45 o 103
0.39/0.45 c g 0.3s| 198 | 169 | 690 | 3.2 | 772k| 35 | - | 94 | 121 | 94 | 13 | 27 | 6 | 302 | 0.000000e+00 | 1.030000e+02 | Inf
0.39/0.46 o 102
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 * 0.4s| 211 | 180 | 722 | 3.1 | 776k| 35 | - | 94 | 99 | 94 | 13 | 27 | 6 | 313 | 0.000000e+00 | 1.020000e+02 | Inf
0.39/0.46 o 100
0.39/0.46 c * 0.4s| 212 | 179 | 722 | 3.1 | 777k| 35 | - | 94 | 99 | 94 | 13 | 27 | 6 | 313 | 0.000000e+00 | 1.000000e+02 | Inf
0.39/0.47 o 63
0.39/0.47 c s 0.4s| 220 | 160 | 741 | 3.1 | 772k| 35 | 4 | 94 | 99 | 94 | 13 | 27 | 6 | 318 | 0.000000e+00 | 6.300000e+01 | Inf
0.39/0.48 o 59
0.39/0.48 c * 0.4s| 225 | 161 | 751 | 3.1 | 774k| 35 | - | 94 | 7 | 94 | 13 | 27 | 6 | 323 | 0.000000e+00 | 5.900000e+01 | Inf
0.49/0.51 o 37
0.49/0.51 c c 0.4s| 269 | 165 | 860 | 3.0 | 779k| 35 | - | 94 | 7 | 94 | 13 | 27 | 6 | 343 | 0.000000e+00 | 3.700000e+01 | Inf
0.49/0.53 o 36
0.49/0.53 c * 0.4s| 297 | 184 | 928 | 2.9 | 782k| 35 | - | 94 | 7 | 94 | 13 | 27 | 6 | 349 | 0.000000e+00 | 3.600000e+01 | Inf
0.49/0.53 o 32
0.49/0.53 c * 0.4s| 298 | 174 | 928 | 2.9 | 778k| 35 | - | 94 | 7 | 94 | 13 | 27 | 6 | 349 | 0.000000e+00 | 3.200000e+01 | Inf
0.59/0.60 o 31
0.59/0.60 c S 0.5s| 434 | 273 | 1237 | 2.7 | 829k| 35 | 0 | 94 | 21 | 94 | 13 | 27 | 20 | 362 | 0.000000e+00 | 3.100000e+01 | Inf
0.59/0.60 o 29
0.59/0.60 c c 0.5s| 434 | 268 | 1237 | 2.7 | 834k| 35 | - | 94 | 22 | 94 | 13 | 27 | 21 | 362 | 0.000000e+00 | 2.900000e+01 | Inf
0.59/0.64 o 27
0.59/0.64 c * 0.5s| 521 | 320 | 1431 | 2.6 | 851k| 35 | - | 94 | 27 | 94 | 13 | 27 | 27 | 366 | 0.000000e+00 | 2.700000e+01 | Inf
0.59/0.69 o 25
0.59/0.69 c * 0.6s| 608 | 365 | 1726 | 2.7 | 857k| 35 | - | 94 | 37 | 94 | 13 | 27 | 39 | 367 | 0.000000e+00 | 2.500000e+01 | Inf
0.99/1.10 o 24
0.99/1.10 c v 0.9s| 1286 | 882 | 3816 | 2.9 |1137k| 35 | - | 94 | 130 | 94 | 13 | 27 | 146 | 393 | 0.000000e+00 | 2.400000e+01 | Inf
1.10/1.14 o 23
1.10/1.14 c p 0.9s| 1346 | 929 | 4067 | 3.0 |1165k| 35 | - | 94 | 139 | 94 | 13 | 27 | 156 | 394 | 0.000000e+00 | 2.300000e+01 | Inf
1.29/1.30 o 22
1.29/1.30 c * 1.1s| 1621 | 1107 | 4947 | 3.0 |1271k| 35 | - | 94 | 172 | 94 | 13 | 27 | 201 | 403 | 0.000000e+00 | 2.200000e+01 | Inf
1.29/1.32 o 21
1.29/1.32 c * 1.1s| 1644 | 1115 | 5013 | 3.0 |1278k| 35 | - | 94 | 174 | 94 | 13 | 27 | 203 | 409 | 0.000000e+00 | 2.100000e+01 | Inf
1.39/1.46 o 20
1.39/1.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.46 c * 1.2s| 1862 | 1256 | 5793 | 3.1 |1355k| 35 | - | 94 | 198 | 94 | 13 | 27 | 229 | 415 | 0.000000e+00 | 2.000000e+01 | Inf
1.39/1.46 o 18
1.39/1.46 c * 1.2s| 1863 | 1243 | 5793 | 3.1 |1346k| 35 | - | 94 | 198 | 94 | 13 | 27 | 229 | 415 | 0.000000e+00 | 1.800000e+01 | Inf
1.59/1.66 o 17
1.59/1.66 c l 1.4s| 2160 | 1441 | 6888 | 3.2 |1456k| 35 | - | 94 | 240 | 94 | 13 | 27 | 280 | 419 | 0.000000e+00 | 1.700000e+01 | Inf
1.59/1.66 o 15
1.59/1.66 c g 1.4s| 2160 | 1410 | 6888 | 3.2 |1443k| 35 | - | 94 | 241 | 94 | 13 | 27 | 281 | 419 | 0.000000e+00 | 1.500000e+01 | Inf
1.79/1.85 o 14
1.79/1.85 c * 1.6s| 2439 | 1570 | 7971 | 3.2 |1529k| 35 | - | 94 | 285 | 94 | 13 | 27 | 340 | 426 | 0.000000e+00 | 1.400000e+01 | Inf
1.79/1.85 o 12
1.79/1.85 c * 1.6s| 2440 | 1536 | 7971 | 3.2 |1510k| 35 | - | 94 | 285 | 94 | 13 | 27 | 340 | 426 | 0.000000e+00 | 1.200000e+01 | Inf
1.99/2.07 o 10
1.99/2.07 c v 1.7s| 2751 | 1694 | 9287 | 3.4 |1606k| 35 | - | 94 | 353 | 94 | 13 | 27 | 411 | 428 | 0.000000e+00 | 1.000000e+01 | Inf
2.19/2.26 o 6
2.19/2.26 c o 1.9s| 3019 | 1846 | 10395 | 3.4 |1690k| 35 | 0 | 94 | 387 | 94 | 13 | 27 | 450 | 437 | 0.000000e+00 | 6.000000e+00 | Inf
4.30/4.39 o 4
4.30/4.39 c * 3.7s| 6918 | 2791 | 23099 | 3.3 |2272k| 35 | - | 94 | 829 | 94 | 13 | 27 | 904 | 475 | 0.000000e+00 | 4.000000e+00 | Inf
5.79/5.88 c 4.9s| 10000 | 3193 | 31214 | 3.1 |2633k| 35 | 4 | 94 |1154 | 94 | 13 | 27 |1246 | 476 | 0.000000e+00 | 4.000000e+00 | Inf
10.69/10.73 c 9.1s| 20000 | 3331 | 56438 | 2.8 |3320k| 35 | - | 94 |2059 | 94 | 13 | 27 |2198 | 521 | 0.000000e+00 | 4.000000e+00 | Inf
15.88/15.91 c 13.5s| 30000 | 3264 | 83557 | 2.8 |3686k| 35 | 4 | 94 |2715 | 94 | 13 | 27 |3082 | 561 | 0.000000e+00 | 4.000000e+00 | Inf
16.98/17.01 o 3
16.98/17.01 c *14.4s| 32096 | 3238 | 89114 | 2.8 |3722k| 35 | - | 94 |2875 | 94 | 13 | 27 |3325 | 569 | 0.000000e+00 | 3.000000e+00 | Inf
21.08/21.16 c 18.0s| 40000 | 3378 |110889 | 2.8 |3972k| 35 | 4 | 94 |3063 | 94 | 13 | 27 |3908 | 585 | 0.000000e+00 | 3.000000e+00 | Inf
26.58/26.60 c 22.7s| 50000 | 3197 |137590 | 2.8 |3856k| 35 | - | 94 |2908 | 94 | 13 | 27 |4723 | 596 | 0.000000e+00 | 3.000000e+00 | Inf
31.68/31.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.68/31.78 c 27.1s| 60000 | 3053 |165742 | 2.8 |3650k| 35 | - | 94 |2487 | 94 | 13 | 27 |5382 | 673 | 0.000000e+00 | 3.000000e+00 | Inf
36.88/36.98 c 31.6s| 70000 | 2865 |195691 | 2.8 |3364k| 35 | - | 94 |1906 | 94 | 13 | 27 |6150 | 764 | 0.000000e+00 | 3.000000e+00 | Inf
41.68/41.77 c 35.7s| 80000 | 2775 |223559 | 2.8 |3248k| 35 | - | 94 |1678 | 94 | 13 | 27 |6950 | 795 | 0.000000e+00 | 3.000000e+00 | Inf
46.27/46.35 c 39.6s| 90000 | 3245 |250350 | 2.8 |3622k| 35 | 4 | 94 |1693 | 94 | 13 | 27 |7708 | 800 | 0.000000e+00 | 3.000000e+00 | Inf
50.88/50.91 c 43.4s|100000 | 2754 |276725 | 2.8 |3008k| 35 | - | 94 | 955 | 0 | 0 | 27 |8472 | 827 | 0.000000e+00 | 3.000000e+00 | Inf
55.17/55.24 c 47.0s|110000 | 2497 |302811 | 2.8 |2825k| 35 | 4 | 94 | 792 | 94 | 13 | 27 |9386 | 848 | 0.000000e+00 | 3.000000e+00 | Inf
59.38/59.46 c 50.5s|120000 | 2379 |330238 | 2.8 |2789k| 35 | - | 94 | 805 | 94 | 13 | 27 | 10k| 874 | 0.000000e+00 | 3.000000e+00 | Inf
63.67/63.71 c 54.0s|130000 | 2235 |358279 | 2.8 |2734k| 35 | - | 94 | 790 | 94 | 13 | 27 | 10k| 896 | 0.000000e+00 | 3.000000e+00 | Inf
67.77/67.89 c 57.5s|140000 | 3394 |385052 | 2.7 |3506k| 35 | - | 94 | 968 | 94 | 13 | 27 | 11k| 901 | 0.000000e+00 | 3.000000e+00 | Inf
72.06/72.12 c 61.0s|150000 | 3857 |410789 | 2.7 |3976k| 35 | 4 | 94 |1197 | 94 | 13 | 27 | 12k| 919 | 0.000000e+00 | 3.000000e+00 | Inf
76.36/76.46 c 64.6s|160000 | 3651 |435614 | 2.7 |3973k| 35 | - | 94 |1109 | 94 | 13 | 27 | 13k| 925 | 0.000000e+00 | 3.000000e+00 | Inf
80.86/80.91 c 68.4s|170000 | 2781 |461008 | 2.7 |3400k| 35 | 4 | 94 |1014 | 94 | 13 | 27 | 13k| 937 | 0.000000e+00 | 3.000000e+00 | Inf
85.16/85.21 c 72.0s|180000 | 2348 |487564 | 2.7 |2813k| 35 | - | 94 | 850 | 94 | 13 | 27 | 14k| 959 | 0.000000e+00 | 3.000000e+00 | Inf
89.25/89.35 c 75.4s|190000 | 2037 |514287 | 2.7 |2618k| 35 | - | 94 | 705 | 94 | 13 | 27 | 15k|1011 | 0.000000e+00 | 3.000000e+00 | Inf
93.37/93.47 c 78.8s|200000 | 2161 |541183 | 2.7 |2662k| 35 | 4 | 94 | 618 | 94 | 13 | 27 | 15k|1134 | 0.000000e+00 | 3.000000e+00 | Inf
97.35/97.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.35/97.45 c 82.1s|210000 | 2665 |567320 | 2.7 |3160k| 35 | - | 94 | 831 | 94 | 13 | 27 | 16k|1164 | 0.000000e+00 | 3.000000e+00 | Inf
101.45/101.51 c 85.5s|220000 | 2411 |593273 | 2.7 |2987k| 35 | 4 | 94 | 801 | 94 | 13 | 27 | 16k|1193 | 0.000000e+00 | 3.000000e+00 | Inf
105.46/105.55 c 88.8s|230000 | 1971 |618764 | 2.7 |2573k| 35 | - | 94 | 639 | 94 | 13 | 27 | 17k|1196 | 0.000000e+00 | 3.000000e+00 | Inf
109.46/109.55 c 92.1s|240000 | 1851 |644719 | 2.7 |2581k| 35 | - | 94 | 771 | 0 | 0 | 27 | 18k|1220 | 0.000000e+00 | 3.000000e+00 | Inf
113.45/113.51 c 95.3s|250000 | 1859 |669909 | 2.7 |2623k| 35 | 4 | 94 | 786 | 94 | 13 | 27 | 18k|1239 | 0.000000e+00 | 3.000000e+00 | Inf
117.35/117.48 c 98.6s|260000 | 2876 |696538 | 2.7 |3202k| 35 | 4 | 94 | 746 | 94 | 13 | 27 | 19k|1262 | 0.000000e+00 | 3.000000e+00 | Inf
121.34/121.44 c 102s|270000 | 2699 |721364 | 2.7 |3227k| 35 | 4 | 94 | 611 | 94 | 13 | 27 | 19k|1273 | 0.000000e+00 | 3.000000e+00 | Inf
125.26/125.35 c 105s|280000 | 2577 |746295 | 2.7 |3293k| 35 | - | 94 | 700 | 0 | 0 | 27 | 20k|1281 | 0.000000e+00 | 3.000000e+00 | Inf
129.24/129.38 c 108s|290000 | 1683 |770911 | 2.7 |2451k| 35 | 4 | 94 | 615 | 94 | 13 | 27 | 21k|1287 | 0.000000e+00 | 3.000000e+00 | Inf
133.15/133.25 c 112s|300000 | 2865 |797629 | 2.7 |3144k| 35 | 4 | 94 | 643 | 94 | 13 | 27 | 21k|1296 | 0.000000e+00 | 3.000000e+00 | Inf
137.04/137.15 c 115s|310000 | 3375 |823491 | 2.7 |3590k| 35 | - | 94 | 717 | 94 | 13 | 27 | 22k|1308 | 0.000000e+00 | 3.000000e+00 | Inf
140.94/141.05 c 118s|320000 | 3681 |848421 | 2.7 |3946k| 35 | 4 | 94 | 858 | 94 | 13 | 27 | 22k|1345 | 0.000000e+00 | 3.000000e+00 | Inf
144.94/145.02 c 121s|330000 | 3726 |874198 | 2.6 |4096k| 35 | 4 | 94 | 752 | 94 | 13 | 27 | 23k|1354 | 0.000000e+00 | 3.000000e+00 | Inf
148.84/148.94 c 125s|340000 | 3876 |899412 | 2.6 |4325k| 35 | 4 | 94 | 806 | 94 | 13 | 27 | 23k|1363 | 0.000000e+00 | 3.000000e+00 | Inf
152.94/153.04 c 128s|350000 | 3080 |924925 | 2.6 |3918k| 35 | 4 | 94 | 796 | 94 | 13 | 27 | 24k|1386 | 0.000000e+00 | 3.000000e+00 | Inf
157.14/157.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.14/157.25 c 132s|360000 | 1641 |951079 | 2.6 |2446k| 35 | 4 | 94 | 622 | 94 | 13 | 27 | 25k|1404 | 0.000000e+00 | 3.000000e+00 | Inf
161.04/161.10 c 135s|370000 | 1979 |976303 | 2.6 |2627k| 35 | - | 94 | 640 | 94 | 13 | 27 | 25k|1419 | 0.000000e+00 | 3.000000e+00 | Inf
164.94/165.09 c 138s|380000 | 2383 | 1002k| 2.6 |3008k| 35 | 4 | 94 | 624 | 94 | 13 | 27 | 26k|1437 | 0.000000e+00 | 3.000000e+00 | Inf
167.93/168.05 o 2
167.93/168.05 c * 140s|387217 | 1633 | 1021k| 2.6 |2526k| 35 | - | 94 | 545 | 94 | 13 | 27 | 26k|1452 | 0.000000e+00 | 2.000000e+00 | Inf
169.03/169.13 c 141s|390000 | 1533 | 1028k| 2.6 |2361k| 35 | - | 94 | 526 | 0 | 0 | 27 | 26k|1454 | 0.000000e+00 | 2.000000e+00 | Inf
172.93/173.00 c 145s|400000 | 1561 | 1051k| 2.6 |2416k| 35 | - | 94 | 599 | 94 | 13 | 27 | 27k|1477 | 0.000000e+00 | 2.000000e+00 | Inf
176.83/176.92 c 148s|410000 | 1574 | 1074k| 2.6 |2578k| 35 | - | 94 | 696 | 0 | 0 | 27 | 28k|1481 | 0.000000e+00 | 2.000000e+00 | Inf
180.83/180.95 c 151s|420000 | 2495 | 1098k| 2.6 |2948k| 35 | 4 | 94 | 841 | 94 | 13 | 27 | 29k|1492 | 0.000000e+00 | 2.000000e+00 | Inf
184.82/184.91 c 154s|430000 | 3075 | 1122k| 2.6 |3432k| 35 | - | 94 | 826 | 94 | 13 | 27 | 29k|1498 | 0.000000e+00 | 2.000000e+00 | Inf
188.83/188.95 c 158s|440000 | 4166 | 1147k| 2.6 |4148k| 35 | - | 94 |1009 | 0 | 0 | 27 | 30k|1508 | 0.000000e+00 | 2.000000e+00 | Inf
192.92/193.04 c 161s|450000 | 4644 | 1171k| 2.6 |4596k| 35 | 4 | 94 | 989 | 94 | 13 | 27 | 31k|1512 | 0.000000e+00 | 2.000000e+00 | Inf
197.02/197.14 c 165s|460000 | 4705 | 1194k| 2.6 |4831k| 35 | 4 | 94 |1029 | 94 | 13 | 27 | 31k|1512 | 0.000000e+00 | 2.000000e+00 | Inf
201.01/201.17 c 168s|470000 | 4462 | 1217k| 2.6 |4844k| 35 | - | 94 | 962 | 0 | 0 | 27 | 32k|1513 | 0.000000e+00 | 2.000000e+00 | Inf
205.11/205.27 c 171s|480000 | 4459 | 1240k| 2.6 |4972k| 35 | - | 94 | 976 | 94 | 13 | 27 | 33k|1514 | 0.000000e+00 | 2.000000e+00 | Inf
209.22/209.38 c 175s|490000 | 3605 | 1263k| 2.6 |4518k| 35 | 4 | 94 | 901 | 94 | 13 | 27 | 34k|1518 | 0.000000e+00 | 2.000000e+00 | Inf
213.52/213.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.52/213.61 c 178s|500000 | 2024 | 1285k| 2.6 |3286k| 35 | - | 94 | 861 | 94 | 13 | 27 | 35k|1520 | 0.000000e+00 | 2.000000e+00 | Inf
217.41/217.56 c 182s|510000 | 1232 | 1307k| 2.6 |2308k| 35 | - | 94 | 787 | 94 | 13 | 27 | 35k|1520 | 0.000000e+00 | 2.000000e+00 | Inf
221.31/221.45 c 185s|520000 | 1561 | 1330k| 2.6 |2589k| 35 | 4 | 94 | 920 | 94 | 13 | 27 | 36k|1522 | 0.000000e+00 | 2.000000e+00 | Inf
225.21/225.39 c 188s|530000 | 1445 | 1351k| 2.6 |2554k| 35 | - | 94 |1015 | 0 | 0 | 27 | 37k|1526 | 0.000000e+00 | 2.000000e+00 | Inf
229.21/229.33 c 191s|540000 | 1443 | 1372k| 2.5 |2623k| 35 | 4 | 94 |1120 | 94 | 13 | 27 | 38k|1527 | 0.000000e+00 | 2.000000e+00 | Inf
233.21/233.34 c 195s|550000 | 1161 | 1394k| 2.5 |2435k| 35 | 4 | 94 |1168 | 94 | 13 | 27 | 39k|1531 | 0.000000e+00 | 2.000000e+00 | Inf
237.20/237.36 c 198s|560000 | 2061 | 1417k| 2.5 |2872k| 35 | 4 | 94 | 956 | 94 | 13 | 27 | 40k|1534 | 0.000000e+00 | 2.000000e+00 | Inf
241.10/241.25 c 201s|570000 | 3197 | 1438k| 2.5 |3659k| 35 | 4 | 94 |1185 | 94 | 13 | 27 | 41k|1534 | 0.000000e+00 | 2.000000e+00 | Inf
245.11/245.23 c 205s|580000 | 3792 | 1460k| 2.5 |4175k| 35 | 4 | 94 |1325 | 94 | 13 | 27 | 42k|1542 | 0.000000e+00 | 2.000000e+00 | Inf
249.10/249.28 c 208s|590000 | 3844 | 1481k| 2.5 |4312k| 35 | 4 | 94 |1143 | 94 | 13 | 27 | 43k|1543 | 0.000000e+00 | 2.000000e+00 | Inf
253.10/253.27 c 211s|600000 | 3406 | 1501k| 2.5 |4217k| 35 | - | 94 |1071 | 0 | 0 | 27 | 43k|1543 | 0.000000e+00 | 2.000000e+00 | Inf
257.10/257.26 c 215s|610000 | 2699 | 1522k| 2.5 |3891k| 35 | - | 94 |1156 | 0 | 0 | 27 | 44k|1547 | 0.000000e+00 | 2.000000e+00 | Inf
261.19/261.33 c 218s|620000 | 1852 | 1544k| 2.5 |3247k| 35 | 4 | 94 |1036 | 94 | 13 | 27 | 45k|1548 | 0.000000e+00 | 2.000000e+00 | Inf
265.20/265.31 c 222s|630000 | 1188 | 1565k| 2.5 |2339k| 35 | 4 | 94 | 857 | 94 | 13 | 27 | 46k|1554 | 0.000000e+00 | 2.000000e+00 | Inf
268.99/269.16 c 225s|640000 | 1008 | 1586k| 2.5 |2280k| 35 | 4 | 94 | 911 | 94 | 13 | 27 | 47k|1566 | 0.000000e+00 | 2.000000e+00 | Inf
272.89/273.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.89/273.09 c 228s|650000 | 1239 | 1608k| 2.5 |2240k| 35 | - | 94 | 594 | 94 | 13 | 27 | 48k|1571 | 0.000000e+00 | 2.000000e+00 | Inf
276.69/276.84 c 231s|660000 | 2843 | 1631k| 2.5 |3169k| 35 | - | 94 | 672 | 94 | 13 | 27 | 48k|1571 | 0.000000e+00 | 2.000000e+00 | Inf
280.39/280.59 c 234s|670000 | 3828 | 1652k| 2.5 |3853k| 35 | - | 94 | 776 | 0 | 0 | 27 | 49k|1572 | 0.000000e+00 | 2.000000e+00 | Inf
284.19/284.37 c 237s|680000 | 4223 | 1674k| 2.5 |4220k| 35 | - | 94 | 740 | 94 | 13 | 27 | 50k|1583 | 0.000000e+00 | 2.000000e+00 | Inf
288.00/288.17 c 240s|690000 | 4280 | 1695k| 2.5 |4433k| 35 | - | 94 | 697 | 94 | 13 | 27 | 51k|1588 | 0.000000e+00 | 2.000000e+00 | Inf
291.79/291.93 c 244s|700000 | 4010 | 1716k| 2.5 |4477k| 35 | - | 94 | 762 | 94 | 13 | 27 | 52k|1589 | 0.000000e+00 | 2.000000e+00 | Inf
295.49/295.65 c 247s|710000 | 4007 | 1737k| 2.4 |4638k| 35 | 4 | 94 | 879 | 94 | 13 | 27 | 52k|1592 | 0.000000e+00 | 2.000000e+00 | Inf
299.38/299.50 c 250s|720000 | 3440 | 1758k| 2.4 |4341k| 35 | - | 94 | 698 | 0 | 0 | 27 | 53k|1607 | 0.000000e+00 | 2.000000e+00 | Inf
303.19/303.36 c 253s|730000 | 2696 | 1780k| 2.4 |3844k| 35 | - | 94 | 710 | 94 | 13 | 27 | 54k|1618 | 0.000000e+00 | 2.000000e+00 | Inf
306.98/307.12 c 256s|740000 | 3462 | 1802k| 2.4 |4467k| 35 | - | 94 | 932 | 94 | 13 | 27 | 55k|1621 | 0.000000e+00 | 2.000000e+00 | Inf
310.78/310.97 c 259s|750000 | 3154 | 1823k| 2.4 |4418k| 35 | - | 94 | 915 | 94 | 13 | 27 | 55k|1626 | 0.000000e+00 | 2.000000e+00 | Inf
314.77/314.99 c 263s|760000 | 1367 | 1844k| 2.4 |2793k| 35 | - | 94 | 665 | 94 | 13 | 27 | 56k|1631 | 0.000000e+00 | 2.000000e+00 | Inf
318.68/318.81 c 266s|770000 | 1017 | 1867k| 2.4 |2217k| 35 | - | 94 | 722 | 94 | 13 | 27 | 57k|1631 | 0.000000e+00 | 2.000000e+00 | Inf
322.37/322.53 c 269s|780000 | 1542 | 1888k| 2.4 |2590k| 35 | - | 94 | 981 | 0 | 0 | 27 | 58k|1639 | 0.000000e+00 | 2.000000e+00 | Inf
326.17/326.33 c 272s|790000 | 1664 | 1908k| 2.4 |2878k| 35 | 4 | 94 |1113 | 94 | 13 | 27 | 59k|1639 | 0.000000e+00 | 2.000000e+00 | Inf
330.17/330.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.17/330.33 c 275s|800000 | 1247 | 1929k| 2.4 |2563k| 35 | 4 | 94 | 993 | 94 | 13 | 27 | 60k|1644 | 0.000000e+00 | 2.000000e+00 | Inf
334.07/334.22 c 279s|810000 | 1034 | 1950k| 2.4 |2317k| 35 | 4 | 94 | 859 | 94 | 13 | 27 | 60k|1650 | 0.000000e+00 | 2.000000e+00 | Inf
337.76/337.95 c 282s|820000 | 1046 | 1970k| 2.4 |2388k| 35 | 4 | 94 | 955 | 94 | 13 | 27 | 61k|1653 | 0.000000e+00 | 2.000000e+00 | Inf
341.56/341.77 c 285s|830000 | 1094 | 1992k| 2.4 |2260k| 35 | 4 | 94 | 771 | 94 | 13 | 27 | 62k|1658 | 0.000000e+00 | 2.000000e+00 | Inf
345.28/345.43 c 288s|840000 | 1918 | 2014k| 2.4 |2880k| 35 | 4 | 94 | 921 | 94 | 13 | 27 | 62k|1658 | 0.000000e+00 | 2.000000e+00 | Inf
348.97/349.14 c 291s|850000 | 2469 | 2035k| 2.4 |3319k| 35 | 4 | 94 | 953 | 94 | 13 | 27 | 63k|1659 | 0.000000e+00 | 2.000000e+00 | Inf
352.76/352.92 c 294s|860000 | 2075 | 2055k| 2.4 |3206k| 35 | 4 | 94 | 842 | 94 | 13 | 27 | 64k|1660 | 0.000000e+00 | 2.000000e+00 | Inf
356.66/356.85 c 297s|870000 | 1039 | 2076k| 2.4 |2260k| 35 | - | 94 | 736 | 0 | 0 | 27 | 65k|1684 | 0.000000e+00 | 2.000000e+00 | Inf
360.36/360.59 c 301s|880000 | 1592 | 2098k| 2.4 |2730k| 35 | - | 94 | 816 | 0 | 0 | 27 | 65k|1687 | 0.000000e+00 | 2.000000e+00 | Inf
364.26/364.44 c 304s|890000 | 1060 | 2119k| 2.4 |2307k| 35 | 4 | 94 | 790 | 94 | 13 | 27 | 66k|1701 | 0.000000e+00 | 2.000000e+00 | Inf
368.06/368.23 c 307s|900000 | 766 | 2141k| 2.4 |2127k| 35 | - | 94 | 690 | 0 | 0 | 27 | 67k|1703 | 0.000000e+00 | 2.000000e+00 | Inf
371.76/371.92 c 310s|910000 | 1260 | 2164k| 2.4 |2286k| 35 | 4 | 94 | 622 | 94 | 13 | 27 | 67k|1703 | 0.000000e+00 | 2.000000e+00 | Inf
375.36/375.59 c 313s|920000 | 2122 | 2186k| 2.4 |2861k| 35 | 4 | 94 | 587 | 94 | 13 | 27 | 68k|1704 | 0.000000e+00 | 2.000000e+00 | Inf
379.14/379.35 c 316s|930000 | 2358 | 2208k| 2.4 |3205k| 35 | - | 94 | 682 | 94 | 13 | 27 | 69k|1706 | 0.000000e+00 | 2.000000e+00 | Inf
382.94/383.19 c 319s|940000 | 2227 | 2229k| 2.4 |3285k| 35 | 4 | 94 | 655 | 94 | 13 | 27 | 70k|1713 | 0.000000e+00 | 2.000000e+00 | Inf
386.84/387.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.84/387.08 c 322s|950000 | 1354 | 2250k| 2.4 |2798k| 35 | - | 94 | 701 | 94 | 13 | 27 | 70k|1713 | 0.000000e+00 | 2.000000e+00 | Inf
390.64/390.89 c 326s|960000 | 565 | 2271k| 2.4 |2020k| 35 | 4 | 94 | 827 | 94 | 13 | 27 | 71k|1715 | 0.000000e+00 | 2.000000e+00 | Inf
394.54/394.72 c 329s|970000 | 664 | 2293k| 2.4 |2100k| 35 | 4 | 94 | 897 | 94 | 13 | 27 | 72k|1716 | 0.000000e+00 | 2.000000e+00 | Inf
398.43/398.69 c 332s|980000 | 455 | 2317k| 2.4 |2012k| 35 | - | 94 | 984 | 0 | 0 | 27 | 73k|1716 | 0.000000e+00 | 2.000000e+00 | Inf
402.34/402.50 c 335s|990000 | 878 | 2339k| 2.4 |2225k| 35 | 4 | 94 |1084 | 94 | 13 | 27 | 73k|1716 | 0.000000e+00 | 2.000000e+00 | Inf
406.13/406.38 c 338s| 1000k| 1361 | 2363k| 2.4 |2653k| 35 | - | 94 |1108 | 0 | 0 | 27 | 74k|1721 | 0.000000e+00 | 2.000000e+00 | Inf
410.14/410.31 c 342s| 1010k| 1200 | 2386k| 2.4 |2700k| 35 | 4 | 94 |1089 | 94 | 13 | 27 | 74k|1721 | 0.000000e+00 | 2.000000e+00 | Inf
414.13/414.32 c 345s| 1020k| 605 | 2408k| 2.4 |2046k| 35 | - | 94 | 932 | 0 | 0 | 27 | 75k|1727 | 0.000000e+00 | 2.000000e+00 | Inf
417.92/418.14 c 348s| 1030k| 629 | 2431k| 2.4 |2213k| 35 | 4 | 94 |1042 | 94 | 13 | 27 | 76k|1729 | 0.000000e+00 | 2.000000e+00 | Inf
421.73/421.92 c 351s| 1040k| 1680 | 2455k| 2.4 |2667k| 35 | 4 | 94 | 822 | 94 | 13 | 27 | 76k|1731 | 0.000000e+00 | 2.000000e+00 | Inf
425.43/425.66 c 354s| 1050k| 2032 | 2478k| 2.4 |3030k| 35 | 4 | 94 | 804 | 94 | 13 | 27 | 77k|1732 | 0.000000e+00 | 2.000000e+00 | Inf
429.23/429.43 c 357s| 1060k| 1953 | 2501k| 2.4 |3132k| 35 | 4 | 94 | 773 | 94 | 13 | 27 | 77k|1733 | 0.000000e+00 | 2.000000e+00 | Inf
432.92/433.18 c 361s| 1070k| 2435 | 2524k| 2.4 |3458k| 35 | 4 | 94 | 825 | 94 | 13 | 27 | 78k|1739 | 0.000000e+00 | 2.000000e+00 | Inf
436.71/436.95 c 364s| 1080k| 2647 | 2547k| 2.4 |3820k| 35 | - | 94 |1019 | 0 | 0 | 27 | 78k|1740 | 0.000000e+00 | 2.000000e+00 | Inf
440.52/440.72 c 367s| 1090k| 3246 | 2568k| 2.4 |4239k| 35 | 4 | 94 |1000 | 94 | 13 | 27 | 79k|1740 | 0.000000e+00 | 2.000000e+00 | Inf
444.31/444.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.31/444.50 c 370s| 1100k| 3456 | 2589k| 2.4 |4502k| 35 | - | 94 | 998 | 94 | 13 | 27 | 80k|1740 | 0.000000e+00 | 2.000000e+00 | Inf
448.11/448.32 c 373s| 1110k| 4030 | 2612k| 2.4 |4766k| 35 | 4 | 94 | 832 | 94 | 13 | 27 | 80k|1747 | 0.000000e+00 | 2.000000e+00 | Inf
451.91/452.12 c 376s| 1120k| 4760 | 2636k| 2.4 |5333k| 35 | 4 | 94 | 914 | 94 | 13 | 27 | 81k|1748 | 0.000000e+00 | 2.000000e+00 | Inf
455.71/455.93 c 379s| 1130k| 5372 | 2658k| 2.4 |5878k| 35 | - | 94 |1097 | 94 | 13 | 27 | 82k|1754 | 0.000000e+00 | 2.000000e+00 | Inf
459.61/459.83 c 382s| 1140k| 5705 | 2681k| 2.4 |6226k| 35 | 4 | 94 |1068 | 94 | 13 | 27 | 82k|1754 | 0.000000e+00 | 2.000000e+00 | Inf
463.61/463.82 c 386s| 1150k| 5360 | 2704k| 2.4 |6185k| 35 | 4 | 94 | 991 | 94 | 13 | 27 | 83k|1758 | 0.000000e+00 | 2.000000e+00 | Inf
467.50/467.71 c 389s| 1160k| 5640 | 2725k| 2.3 |6520k| 35 | - | 94 |1190 | 94 | 13 | 27 | 84k|1768 | 0.000000e+00 | 2.000000e+00 | Inf
471.61/471.83 c 392s| 1170k| 4719 | 2748k| 2.3 |5982k| 35 | - | 94 | 874 | 0 | 0 | 27 | 85k|1774 | 0.000000e+00 | 2.000000e+00 | Inf
475.60/475.86 c 396s| 1180k| 3199 | 2769k| 2.3 |4913k| 35 | - | 94 | 779 | 94 | 13 | 27 | 86k|1777 | 0.000000e+00 | 2.000000e+00 | Inf
479.91/480.10 c 399s| 1190k| 656 | 2791k| 2.3 |2349k| 35 | 4 | 94 | 713 | 94 | 13 | 27 | 86k|1781 | 0.000000e+00 | 2.000000e+00 | Inf
483.71/483.90 c 402s| 1200k| 411 | 2813k| 2.3 |1825k| 35 | 4 | 94 | 668 | 94 | 13 | 27 | 87k|1786 | 0.000000e+00 | 2.000000e+00 | Inf
487.30/487.54 c 405s| 1210k| 2025 | 2836k| 2.3 |2737k| 35 | - | 94 | 813 | 0 | 0 | 27 | 88k|1788 | 0.000000e+00 | 2.000000e+00 | Inf
491.00/491.20 c 409s| 1220k| 3120 | 2857k| 2.3 |3426k| 35 | 4 | 94 | 883 | 94 | 13 | 27 | 88k|1793 | 0.000000e+00 | 2.000000e+00 | Inf
494.70/494.94 c 412s| 1230k| 3697 | 2879k| 2.3 |3863k| 35 | - | 94 | 829 | 0 | 0 | 27 | 89k|1796 | 0.000000e+00 | 2.000000e+00 | Inf
498.40/498.63 c 415s| 1240k| 4023 | 2900k| 2.3 |4202k| 35 | 4 | 94 | 868 | 94 | 13 | 27 | 90k|1804 | 0.000000e+00 | 2.000000e+00 | Inf
502.10/502.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.10/502.38 c 418s| 1250k| 4399 | 2921k| 2.3 |4538k| 35 | - | 94 | 856 | 94 | 13 | 27 | 90k|1808 | 0.000000e+00 | 2.000000e+00 | Inf
505.89/506.10 c 421s| 1260k| 4292 | 2942k| 2.3 |4606k| 35 | 4 | 94 | 784 | 94 | 13 | 27 | 91k|1812 | 0.000000e+00 | 2.000000e+00 | Inf
509.59/509.82 c 424s| 1270k| 4661 | 2963k| 2.3 |5016k| 35 | 4 | 94 |1022 | 94 | 13 | 27 | 92k|1818 | 0.000000e+00 | 2.000000e+00 | Inf
513.28/513.59 c 427s| 1280k| 4412 | 2984k| 2.3 |4952k| 35 | 4 | 94 | 846 | 94 | 13 | 27 | 92k|1819 | 0.000000e+00 | 2.000000e+00 | Inf
517.09/517.38 c 430s| 1290k| 4191 | 3006k| 2.3 |4930k| 35 | 4 | 94 | 829 | 94 | 13 | 27 | 93k|1827 | 0.000000e+00 | 2.000000e+00 | Inf
520.89/521.10 c 433s| 1300k| 3850 | 3026k| 2.3 |4879k| 35 | 4 | 94 | 921 | 94 | 13 | 27 | 94k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
524.59/524.89 c 437s| 1310k| 3258 | 3046k| 2.3 |4589k| 35 | 4 | 94 | 892 | 94 | 13 | 27 | 95k|1834 | 0.000000e+00 | 2.000000e+00 | Inf
528.39/528.67 c 440s| 1320k| 2854 | 3067k| 2.3 |4382k| 35 | - | 94 | 860 | 94 | 13 | 27 | 96k|1835 | 0.000000e+00 | 2.000000e+00 | Inf
532.19/532.42 c 443s| 1330k| 2588 | 3088k| 2.3 |4205k| 35 | - | 94 | 866 | 94 | 13 | 27 | 96k|1835 | 0.000000e+00 | 2.000000e+00 | Inf
535.98/536.26 c 446s| 1340k| 2073 | 3109k| 2.3 |3898k| 35 | - | 94 | 914 | 94 | 13 | 27 | 97k|1838 | 0.000000e+00 | 2.000000e+00 | Inf
539.68/539.93 c 449s| 1350k| 1891 | 3130k| 2.3 |3792k| 35 | 4 | 94 |1024 | 94 | 13 | 27 | 98k|1838 | 0.000000e+00 | 2.000000e+00 | Inf
543.48/543.71 c 452s| 1360k| 1666 | 3150k| 2.3 |3516k| 35 | 4 | 94 |1045 | 94 | 13 | 27 | 98k|1838 | 0.000000e+00 | 2.000000e+00 | Inf
547.49/547.73 c 456s| 1370k| 167 | 3171k| 2.3 |1656k| 35 | - | 94 | 622 | 0 | 0 | 27 | 99k|1861 | 0.000000e+00 | 2.000000e+00 | Inf
551.08/551.36 c 459s| 1380k| 1362 | 3193k| 2.3 |2430k| 35 | 4 | 94 | 898 | 94 | 13 | 27 | 100k|1861 | 0.000000e+00 | 2.000000e+00 | Inf
554.77/555.05 c 462s| 1390k| 1905 | 3213k| 2.3 |2892k| 35 | 4 | 94 | 936 | 94 | 13 | 27 | 101k|1863 | 0.000000e+00 | 2.000000e+00 | Inf
558.48/558.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.48/558.73 c 465s| 1400k| 2751 | 3234k| 2.3 |3422k| 35 | 4 | 94 | 937 | 94 | 13 | 27 | 101k|1864 | 0.000000e+00 | 2.000000e+00 | Inf
562.28/562.51 c 468s| 1410k| 3005 | 3255k| 2.3 |3789k| 35 | - | 94 |1025 | 94 | 13 | 27 | 102k|1866 | 0.000000e+00 | 2.000000e+00 | Inf
566.07/566.32 c 471s| 1420k| 2538 | 3275k| 2.3 |3651k| 35 | 4 | 94 | 917 | 94 | 13 | 27 | 103k|1868 | 0.000000e+00 | 2.000000e+00 | Inf
569.87/570.12 c 474s| 1430k| 2236 | 3295k| 2.3 |3538k| 35 | - | 94 | 913 | 94 | 13 | 27 | 104k|1872 | 0.000000e+00 | 2.000000e+00 | Inf
573.67/573.91 c 477s| 1440k| 2518 | 3317k| 2.3 |3902k| 35 | - | 94 |1091 | 0 | 0 | 27 | 104k|1874 | 0.000000e+00 | 2.000000e+00 | Inf
577.57/577.80 c 480s| 1450k| 2057 | 3338k| 2.3 |3478k| 35 | 4 | 94 | 966 | 94 | 13 | 27 | 105k|1881 | 0.000000e+00 | 2.000000e+00 | Inf
581.16/581.45 c 484s| 1460k| 2926 | 3359k| 2.3 |4113k| 35 | 4 | 94 |1156 | 94 | 13 | 27 | 105k|1881 | 0.000000e+00 | 2.000000e+00 | Inf
584.87/585.18 c 487s| 1470k| 3292 | 3380k| 2.3 |4458k| 35 | 4 | 94 |1143 | 94 | 13 | 27 | 106k|1881 | 0.000000e+00 | 2.000000e+00 | Inf
588.56/588.86 c 490s| 1480k| 3657 | 3400k| 2.3 |4849k| 35 | 4 | 94 |1296 | 94 | 13 | 27 | 107k|1883 | 0.000000e+00 | 2.000000e+00 | Inf
592.46/592.72 c 493s| 1490k| 3253 | 3420k| 2.3 |4749k| 35 | - | 94 |1201 | 94 | 13 | 27 | 107k|1883 | 0.000000e+00 | 2.000000e+00 | Inf
596.36/596.66 c 496s| 1500k| 2627 | 3441k| 2.3 |4366k| 35 | - | 94 |1163 | 0 | 0 | 27 | 108k|1886 | 0.000000e+00 | 2.000000e+00 | Inf
600.15/600.40 c 499s| 1510k| 3569 | 3462k| 2.3 |5027k| 35 | 4 | 94 |1355 | 94 | 13 | 27 | 109k|1891 | 0.000000e+00 | 2.000000e+00 | Inf
603.85/604.16 c 502s| 1520k| 4367 | 3483k| 2.3 |5575k| 35 | - | 94 |1398 | 94 | 13 | 27 | 109k|1896 | 0.000000e+00 | 2.000000e+00 | Inf
607.75/608.03 c 506s| 1530k| 4493 | 3504k| 2.3 |5803k| 35 | - | 94 |1415 | 0 | 0 | 27 | 110k|1900 | 0.000000e+00 | 2.000000e+00 | Inf
611.76/612.02 c 509s| 1540k| 3766 | 3524k| 2.3 |5517k| 35 | - | 94 |1357 | 0 | 0 | 27 | 111k|1900 | 0.000000e+00 | 2.000000e+00 | Inf
615.76/616.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.76/616.04 c 512s| 1550k| 2824 | 3544k| 2.3 |4889k| 35 | 4 | 94 |1335 | 94 | 13 | 27 | 112k|1902 | 0.000000e+00 | 2.000000e+00 | Inf
620.25/620.58 c 516s| 1560k| 198 | 3564k| 2.3 |1808k| 35 | 4 | 94 | 955 | 94 | 13 | 27 | 113k|1903 | 0.000000e+00 | 2.000000e+00 | Inf
623.95/624.24 c 519s| 1570k| 1779 | 3585k| 2.3 |2565k| 35 | - | 94 |1002 | 94 | 13 | 27 | 113k|1904 | 0.000000e+00 | 2.000000e+00 | Inf
627.55/627.88 c 522s| 1580k| 3388 | 3606k| 2.3 |3525k| 35 | 4 | 94 |1255 | 94 | 13 | 27 | 114k|1904 | 0.000000e+00 | 2.000000e+00 | Inf
631.44/631.74 c 525s| 1590k| 4169 | 3626k| 2.3 |4008k| 35 | - | 94 |1088 | 94 | 13 | 27 | 114k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
635.25/635.50 c 529s| 1600k| 4877 | 3646k| 2.3 |4541k| 35 | 4 | 94 |1148 | 94 | 13 | 27 | 115k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
639.04/639.35 c 532s| 1610k| 5200 | 3666k| 2.3 |4886k| 35 | - | 94 |1158 | 94 | 13 | 27 | 115k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
642.95/643.21 c 535s| 1620k| 5305 | 3686k| 2.3 |5100k| 35 | - | 94 |1142 | 0 | 0 | 27 | 116k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
646.74/647.08 c 538s| 1630k| 5551 | 3706k| 2.3 |5431k| 35 | 4 | 94 |1285 | 94 | 13 | 27 | 117k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
650.73/651.03 c 542s| 1640k| 5410 | 3726k| 2.3 |5491k| 35 | - | 94 |1256 | 0 | 0 | 27 | 117k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
654.74/655.01 c 545s| 1650k| 4995 | 3746k| 2.3 |5420k| 35 | 4 | 94 |1313 | 94 | 13 | 27 | 118k|1906 | 0.000000e+00 | 2.000000e+00 | Inf
658.74/659.08 c 548s| 1660k| 4373 | 3765k| 2.3 |5204k| 35 | 4 | 94 |1301 | 94 | 13 | 27 | 119k|1908 | 0.000000e+00 | 2.000000e+00 | Inf
662.94/663.21 c 552s| 1670k| 3638 | 3785k| 2.3 |4838k| 35 | 4 | 94 |1281 | 94 | 13 | 27 | 120k|1908 | 0.000000e+00 | 2.000000e+00 | Inf
667.24/667.54 c 556s| 1680k| 2221 | 3804k| 2.3 |3963k| 35 | 4 | 94 |1315 | 94 | 13 | 27 | 121k|1909 | 0.000000e+00 | 2.000000e+00 | Inf
671.63/671.94 c 559s| 1690k| 691 | 3824k| 2.3 |2734k| 35 | - | 94 |1566 | 94 | 13 | 27 | 121k|1909 | 0.000000e+00 | 2.000000e+00 | Inf
675.73/676.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.73/676.07 c 563s| 1700k| 807 | 3847k| 2.3 |2190k| 35 | - | 94 |1120 | 94 | 13 | 27 | 122k|1910 | 0.000000e+00 | 2.000000e+00 | Inf
679.63/679.91 c 566s| 1710k| 800 | 3868k| 2.3 |2243k| 35 | - | 94 | 878 | 94 | 13 | 27 | 123k|1913 | 0.000000e+00 | 2.000000e+00 | Inf
683.33/683.69 c
683.33/683.69 c SCIP Status : problem is solved [optimal solution found]
683.33/683.69 c Solving Time (sec) : 569.03
683.33/683.69 c Solving Nodes : 1719712
683.33/683.69 c Primal Bound : +1.99999999999991e+00 (37 solutions)
683.33/683.69 c Dual Bound : +1.99999999999991e+00
683.33/683.69 c Gap : 0.00 %
683.33/683.69 s OPTIMUM FOUND
683.33/683.69 v -x94 x93 -x92 -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
683.33/683.69 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
683.33/683.69 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16
683.33/683.69 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
683.33/683.69 c SCIP Status : problem is solved [optimal solution found]
683.33/683.69 c Solving Time : 569.03
683.33/683.69 c Original Problem :
683.33/683.69 c Problem name : HOME/instance-2665652-1276599285.opb
683.33/683.69 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
683.33/683.69 c Constraints : 8 initial, 8 maximal
683.33/683.69 c Presolved Problem :
683.33/683.69 c Problem name : t_HOME/instance-2665652-1276599285.opb
683.33/683.69 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
683.33/683.69 c Constraints : 4 initial, 3361 maximal
683.33/683.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
683.33/683.69 c trivial : 0.00 0 0 0 0 0 0 0 0
683.33/683.69 c dualfix : 0.00 0 0 0 0 0 0 0 0
683.33/683.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
683.33/683.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
683.33/683.69 c implics : 0.00 0 0 0 0 0 0 0 0
683.33/683.69 c probing : 0.01 0 0 0 0 0 0 0 0
683.33/683.69 c linear : 0.00 0 0 0 0 0 4 0 0
683.33/683.69 c logicor : 0.00 0 0 0 0 0 0 0 0
683.33/683.69 c root node : - 57 - - 57 - - - -
683.33/683.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
683.33/683.69 c integral : 0 0 0 872179 0 132 715 0 0 1742630
683.33/683.69 c linear : 4+ 7 2226203 2 0 408579 2753289 0 0 0
683.33/683.69 c logicor : 0+ 0 1157041 0 0 1928 73682 0 0 0
683.33/683.69 c countsols : 0 0 0 18 0 0 0 0 0 0
683.33/683.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
683.33/683.69 c integral : 9.45 0.00 0.00 9.45 0.00
683.33/683.69 c linear : 92.88 0.00 92.88 0.00 0.00
683.33/683.69 c logicor : 33.73 0.00 33.73 0.00 0.00
683.33/683.69 c countsols : 0.00 0.00 0.00 0.00 0.00
683.33/683.69 c Propagators : Time Calls Cutoffs DomReds
683.33/683.69 c vbounds : 1.04 2 0 0
683.33/683.69 c rootredcost : 1.09 33 0 56
683.33/683.69 c pseudoobj : 11.44 2227956 1922 129665
683.33/683.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
683.33/683.69 c propagation : 16.89 412429 96530 148921 23.2 2 20.5 -
683.33/683.69 c infeasible LP : 0.86 21710 21693 24074 12.2 12 19.2 0
683.33/683.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
683.33/683.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
683.33/683.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
683.33/683.69 c applied globally : - - - 123711 20.9 - - -
683.33/683.69 c applied locally : - - - 170 31.8 - - -
683.33/683.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
683.33/683.69 c cut pool : 0.00 5 - - 28 - (maximal pool size: 90)
683.33/683.69 c redcost : 6.00 910488 0 484144 0 0
683.33/683.69 c impliedbounds : 0.00 6 0 0 0 0
683.33/683.69 c intobj : 0.00 0 0 0 0 0
683.33/683.69 c cgmip : 0.00 0 0 0 0 0
683.33/683.69 c gomory : 0.01 6 0 0 0 0
683.33/683.69 c strongcg : 0.01 6 0 0 26 0
683.33/683.69 c cmir : 0.01 6 0 0 36 0
683.33/683.69 c flowcover : 0.01 6 0 0 54 0
683.33/683.69 c clique : 0.00 1 0 0 0 0
683.33/683.69 c zerohalf : 0.00 0 0 0 0 0
683.33/683.69 c mcf : 0.00 1 0 0 0 0
683.33/683.69 c rapidlearning : 0.07 1 0 0 0 112
683.33/683.69 c Pricers : Time Calls Vars
683.33/683.69 c problem variables: 0.00 0 0
683.33/683.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
683.33/683.69 c relpscost : 8.25 872161 132 715 0 0 1742630
683.33/683.69 c pscost : 0.00 0 0 0 0 0 0
683.33/683.69 c inference : 0.00 0 0 0 0 0 0
683.33/683.69 c mostinf : 0.00 0 0 0 0 0 0
683.33/683.69 c leastinf : 0.00 0 0 0 0 0 0
683.33/683.69 c fullstrong : 0.00 0 0 0 0 0 0
683.33/683.69 c allfullstrong : 0.00 0 0 0 0 0 0
683.33/683.69 c random : 0.00 0 0 0 0 0 0
683.33/683.69 c Primal Heuristics : Time Calls Found
683.33/683.69 c LP solutions : 0.00 - 18
683.33/683.69 c pseudo solutions : 0.00 - 0
683.33/683.69 c feaspump : 0.28 1 0
683.33/683.69 c oneopt : 1.08 31 0
683.33/683.69 c veclendiving : 0.68 510 2
683.33/683.69 c linesearchdiving : 0.74 510 1
683.33/683.69 c coefdiving : 0.80 511 3
683.33/683.69 c pscostdiving : 0.51 511 2
683.33/683.69 c fracdiving : 0.69 511 0
683.33/683.69 c guideddiving : 0.62 511 2
683.33/683.69 c objpscostdiving : 0.39 261 2
683.33/683.69 c rootsoldiving : 0.76 261 2
683.33/683.69 c trivial : 0.00 2 0
683.33/683.69 c simplerounding : 0.57 0 0
683.33/683.69 c zirounding : 0.83 1000 0
683.33/683.69 c rounding : 0.96 13516 0
683.33/683.69 c shifting : 11.45 20066 4
683.33/683.69 c intshifting : 0.13 0 0
683.33/683.69 c twoopt : 0.00 0 0
683.33/683.69 c fixandinfer : 0.00 0 0
683.33/683.69 c intdiving : 0.00 0 0
683.33/683.69 c actconsdiving : 0.00 0 0
683.33/683.69 c octane : 0.00 0 0
683.33/683.69 c rens : 0.02 1 0
683.33/683.69 c rins : 0.00 0 0
683.33/683.69 c localbranching : 0.00 0 0
683.33/683.69 c mutation : 0.00 0 0
683.33/683.69 c crossover : 0.01 0 0
683.33/683.69 c dins : 0.00 0 0
683.33/683.69 c undercover : 0.00 0 0
683.33/683.69 c nlp : 0.70 0 0
683.33/683.69 c trysol : 1.34 0 0
683.33/683.69 c LP : Time Calls Iterations Iter/call Iter/sec
683.33/683.69 c primal LP : 0.00 0 0 0.00 -
683.33/683.69 c dual LP : 229.40 1372324 3863138 2.82 16840.18
683.33/683.69 c lex dual LP : 0.00 0 0 0.00 -
683.33/683.69 c barrier LP : 0.00 0 0 0.00 -
683.33/683.69 c diving/probing LP: 1.99 10707 27272 2.55 13704.52
683.33/683.69 c strong branching : 0.45 1921 8524 4.44 18942.22
683.33/683.69 c (at root node) : - 9 196 21.78 -
683.33/683.69 c conflict analysis: 0.00 0 0 0.00 -
683.33/683.69 c B&B Tree :
683.33/683.69 c number of runs : 1
683.33/683.69 c nodes : 1719712
683.33/683.69 c nodes (total) : 1719712
683.33/683.69 c nodes left : 0
683.33/683.69 c max depth : 35
683.33/683.69 c max depth (total): 35
683.33/683.69 c backtracks : 482273 (28.0%)
683.33/683.69 c delayed cutoffs : 22452
683.33/683.69 c repropagations : 84823 (163012 domain reductions, 21871 cutoffs)
683.33/683.69 c avg switch length: 5.13
683.33/683.69 c switching time : 64.65
683.33/683.69 c Solution :
683.33/683.69 c Solutions found : 37 (33 improvements)
683.33/683.69 c First Solution : +5.40000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
683.33/683.69 c Primal Bound : +1.99999999999991e+00 (in run 1, after 387217 nodes, 140.48 seconds, depth 22, found by <relaxation>)
683.33/683.69 c Dual Bound : +1.99999999999991e+00
683.33/683.69 c Gap : 0.00 %
683.33/683.69 c Root Dual Bound : +0.00000000000000e+00
683.33/683.69 c Root Iterations : 66
683.33/683.70 c Time complete: 683.43.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665652-1276599285/watcher-2665652-1276599285 -o /tmp/evaluation-result-2665652-1276599285/solver-2665652-1276599285 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665652-1276599285.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.85 0.97 0.99 3/106 4188
/proc/meminfo: memFree=1838240/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=9288 CPUtime=0
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 1074 0 0 0 0 0 0 0 18 0 1 0 35530090 9510912 994 1992294400 4194304 9819077 140734012461744 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4188/statm: 2322 1003 371 1374 0 943 0
[startup+0.054341 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 4188
/proc/meminfo: memFree=1838240/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=21908 CPUtime=0.05
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 4812 0 0 0 3 2 0 0 18 0 1 0 35530090 22433792 3855 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5477 3855 673 1374 0 4098 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21908
[startup+0.10135 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 4188
/proc/meminfo: memFree=1838240/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22040 CPUtime=0.09
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 4836 0 0 0 7 2 0 0 18 0 1 0 35530090 22568960 3879 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5510 3879 673 1374 0 4131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22040
[startup+0.300392 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 4188
/proc/meminfo: memFree=1838240/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=15692 CPUtime=0.29
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 11059 0 0 0 22 7 0 0 18 0 1 0 35530090 16068608 2760 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 3923 2760 722 1374 0 2544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15692
[startup+0.700477 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 4188
/proc/meminfo: memFree=1838240/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=16008 CPUtime=0.69
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 17075 0 0 0 56 13 0 0 18 0 1 0 35530090 16392192 2762 1992294400 4194304 9819077 140734012461744 18446744073709551615 8491863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 4002 2762 723 1374 0 2623 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16008
[startup+1.50065 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 4189
/proc/meminfo: memFree=1829428/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=16424 CPUtime=1.49
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 26191 0 0 0 124 25 0 0 19 0 1 0 35530090 16818176 2834 1992294400 4194304 9819077 140734012461744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 4146 2835 725 1374 0 2767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16424
[startup+3.10099 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 4189
/proc/meminfo: memFree=1829180/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=17396 CPUtime=3.09
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 44720 0 0 0 259 50 0 0 23 0 1 0 35530090 17813504 3045 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 4349 3045 725 1374 0 2970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17396
[startup+6.30067 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 4189
/proc/meminfo: memFree=1827568/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=18804 CPUtime=6.29
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 79978 0 0 0 529 100 0 0 25 0 1 0 35530090 19255296 3400 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 4701 3400 725 1374 0 3322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18804
[startup+12.701 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 4189
/proc/meminfo: memFree=1825460/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=20448 CPUtime=12.69
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 148162 0 0 0 1075 194 0 0 25 0 1 0 35530090 20938752 3796 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5112 3796 725 1374 0 3733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20448
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 4191
/proc/meminfo: memFree=1824592/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=21376 CPUtime=25.48
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 275118 0 0 0 2176 372 0 0 25 0 1 0 35530090 21889024 4025 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5344 4025 725 1374 0 3965 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21376
[startup+51.1012 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 4191
/proc/meminfo: memFree=1824468/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=21516 CPUtime=51.07
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 558307 0 0 0 4357 750 0 0 25 0 1 0 35530090 22032384 4049 1992294400 4194304 9819077 140734012461744 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5379 4049 725 1374 0 4000 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21516
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 4193
/proc/meminfo: memFree=1824220/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=21516 CPUtime=102.26
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 1191904 0 0 0 8613 1613 0 0 25 0 1 0 35530090 22032384 4058 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5379 4058 725 1374 0 4000 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21516
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4193
/proc/meminfo: memFree=1823724/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22032 CPUtime=162.23
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 1946392 0 0 0 13570 2653 0 0 25 0 1 0 35530090 22560768 4187 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5508 4187 725 1374 0 4129 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 22032
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4195
/proc/meminfo: memFree=1822856/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22744 CPUtime=222.21
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 2691646 0 0 0 18555 3666 0 0 25 0 1 0 35530090 23289856 4369 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5686 4369 725 1374 0 4307 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 22744
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4197
/proc/meminfo: memFree=1822732/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22744 CPUtime=282.19
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 3407859 0 0 0 23559 4660 0 0 25 0 1 0 35530090 23289856 4369 1992294400 4194304 9819077 140734012461744 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5686 4369 725 1374 0 4307 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 22744
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4199
/proc/meminfo: memFree=1822608/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22584 CPUtime=342.17
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 4138230 0 0 0 28529 5688 0 0 25 0 1 0 35530090 23126016 4368 1992294400 4194304 9819077 140734012461744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5686 4369 725 1374 0 4307 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 22584
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4210
/proc/meminfo: memFree=1821988/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22744 CPUtime=402.13
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 4876501 0 0 0 33508 6705 0 0 25 0 1 0 35530090 23289856 4369 1992294400 4194304 9819077 140734012461744 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5607 4368 725 1374 0 4228 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 22744
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4210
/proc/meminfo: memFree=1821616/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23724 CPUtime=462.11
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 5630759 0 0 0 38451 7760 0 0 25 0 1 0 35530090 24293376 4600 1992294400 4194304 9819077 140734012461744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5931 4600 725 1374 0 4552 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 23724
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4212
/proc/meminfo: memFree=1821492/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=522.08
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 6365774 0 0 0 43441 8767 0 0 25 0 1 0 35530090 24162304 4568 1992294400 4194304 9819077 140734012461744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4568 725 1374 0 4520 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 23596
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4214
/proc/meminfo: memFree=1821492/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22760 CPUtime=582.07
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 7085215 0 0 0 48423 9784 0 0 25 0 1 0 35530090 23306240 4436 1992294400 4194304 9819077 140734012461744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5770 4439 725 1374 0 4391 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 22760
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821368/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=642.05
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 7775210 0 0 0 53432 10773 0 0 25 0 1 0 35530090 24162304 4568 1992294400 4194304 9819077 140734012461744 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4568 725 1374 0 4520 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 23596
Solver just ended. Dumping a history of the last processes samples
[startup+665.508 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=665.25
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8026441 0 0 0 55383 11142 0 0 25 0 1 0 35530090 24162304 4568 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4568 725 1374 0 4520 0
Current children cumulated CPU time (s) 665.25
Current children cumulated vsize (KiB) 23596
[startup+671.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=22800 CPUtime=671.63
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8091681 0 0 0 55928 11235 0 0 25 0 1 0 35530090 23347200 4563 1992294400 4194304 9819077 140734012461744 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4568 725 1374 0 4520 0
Current children cumulated CPU time (s) 671.63
Current children cumulated vsize (KiB) 22800
[startup+678.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=678.03
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8166858 0 0 0 56458 11345 0 0 25 0 1 0 35530090 24162304 4579 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4579 725 1374 0 4520 0
Current children cumulated CPU time (s) 678.03
Current children cumulated vsize (KiB) 23596
[startup+681.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=681.23
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8206516 0 0 0 56722 11401 0 0 25 0 1 0 35530090 24162304 4579 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4579 725 1374 0 4520 0
Current children cumulated CPU time (s) 681.23
Current children cumulated vsize (KiB) 23596
[startup+682.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=682.03
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8216632 0 0 0 56788 11415 0 0 25 0 1 0 35530090 24162304 4579 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4579 725 1374 0 4520 0
Current children cumulated CPU time (s) 682.03
Current children cumulated vsize (KiB) 23596
[startup+683.109 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23596 CPUtime=682.83
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8226552 0 0 0 56854 11429 0 0 25 0 1 0 35530090 24162304 4579 1992294400 4194304 9819077 140734012461744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5899 4579 725 1374 0 4520 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 23596
[startup+683.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23080 CPUtime=683.23
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8231293 0 0 0 56888 11435 0 0 25 0 1 0 35530090 23633920 4450 1992294400 4194304 9819077 140734012461744 18446744073709551615 5958398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5770 4450 725 1374 0 4391 0
Current children cumulated CPU time (s) 683.23
Current children cumulated vsize (KiB) 23080
[startup+683.602 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4216
/proc/meminfo: memFree=1821244/2059040 swapFree=4140252/4192956
[pid=4188] ppid=4186 vsize=23080 CPUtime=683.33
/proc/4188/stat : 4188 (pbscip.linux.x8) R 4186 4188 3889 0 -1 4202496 8232528 0 0 0 56896 11437 0 0 25 0 1 0 35530090 23633920 4449 1992294400 4194304 9819077 140734012461744 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4188/statm: 5730 4449 725 1374 0 4351 0
Current children cumulated CPU time (s) 683.33
Current children cumulated vsize (KiB) 23080
Child status: 0
Real time (s): 683.7
CPU time (s): 683.437
CPU user time (s): 569.045
CPU system time (s): 114.392
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 24436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 569.045
system time used= 114.392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8233778
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= 1372
runsolver used 1.25181 second user time and 3.13152 second system time
The end