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-2665671-1276617480.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.00/0.10 o 677
0.00/0.10 c y 0.1s| 1 | 0 | 18 | - | 374k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 22 | - | 479k| 0 | 7 | 94 | 77 | 94 | 8 | 4 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 31 | - | 515k| 0 | 9 | 94 | 77 | 94 | 12 | 8 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 43 | - | 552k| 0 | 11 | 94 | 77 | 94 | 17 | 13 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 49 | - | 578k| 0 | 13 | 94 | 77 | 94 | 20 | 16 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 65 | - | 602k| 0 | 15 | 94 | 77 | 94 | 27 | 23 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 86 | - | 620k| 0 | 12 | 94 | 77 | 94 | 31 | 27 | 0 | 0 | 0.000000e+00 | 6.770000e+02 | Inf
0.20/0.20 c 0.2s| 1 | 2 | 86 | - | 621k| 0 | 12 | 94 | 77 | 94 | 31 | 27 | 0 | 9 | 0.000000e+00 | 6.770000e+02 | Inf
0.20/0.26 o 390
0.20/0.26 c c 0.2s| 26 | 26 | 194 | 4.3 | 655k| 25 | - | 94 | 78 | 94 | 14 | 27 | 1 | 114 | 0.000000e+00 | 3.900000e+02 | Inf
0.30/0.31 o 207
0.30/0.31 c f 0.2s| 53 | 50 | 317 | 4.4 | 675k| 25 | - | 94 | 78 | 94 | 14 | 27 | 1 | 182 | 0.000000e+00 | 2.070000e+02 | Inf
0.30/0.34 o 204
0.30/0.34 c o 0.3s| 81 | 78 | 416 | 4.1 | 673k| 25 | 0 | 94 | 78 | 94 | 14 | 27 | 1 | 216 | 0.000000e+00 | 2.040000e+02 | Inf
0.39/0.41 o 152
0.39/0.41 c g 0.3s| 144 | 131 | 701 | 4.3 | 726k| 25 | - | 94 | 81 | 94 | 14 | 27 | 4 | 273 | 0.000000e+00 | 1.520000e+02 | Inf
0.39/0.44 o 146
0.39/0.44 c f 0.3s| 186 | 168 | 851 | 4.1 | 738k| 26 | - | 94 | 81 | 94 | 14 | 27 | 6 | 303 | 0.000000e+00 | 1.460000e+02 | Inf
0.39/0.45 o 145
0.39/0.45 c v 0.3s| 199 | 181 | 884 | 4.0 | 750k| 26 | - | 94 | 82 | 94 | 14 | 27 | 7 | 310 | 0.000000e+00 | 1.450000e+02 | Inf
0.39/0.47 o 143
0.39/0.47 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.47 c * 0.4s| 219 | 199 | 953 | 4.0 | 772k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 330 | 0.000000e+00 | 1.430000e+02 | Inf
0.39/0.48 o 141
0.39/0.48 c * 0.4s| 224 | 201 | 959 | 3.9 | 775k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 343 | 0.000000e+00 | 1.410000e+02 | Inf
0.39/0.48 o 139
0.39/0.48 c * 0.4s| 225 | 200 | 959 | 3.9 | 776k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 343 | 0.000000e+00 | 1.390000e+02 | Inf
0.49/0.50 o 130
0.49/0.50 c g 0.4s| 238 | 205 | 991 | 3.8 | 782k| 26 | - | 94 | 85 | 94 | 14 | 27 | 12 | 362 | 0.000000e+00 | 1.300000e+02 | Inf
0.49/0.54 o 129
0.49/0.54 c * 0.4s| 295 | 258 | 1282 | 4.1 | 813k| 26 | - | 94 | 87 | 94 | 14 | 27 | 15 | 377 | 0.000000e+00 | 1.290000e+02 | Inf
0.49/0.54 o 127
0.49/0.54 c * 0.4s| 296 | 250 | 1282 | 4.1 | 812k| 26 | - | 94 | 87 | 94 | 14 | 27 | 15 | 377 | 0.000000e+00 | 1.270000e+02 | Inf
0.49/0.57 o 125
0.49/0.57 c * 0.5s| 322 | 270 | 1381 | 4.0 | 823k| 26 | - | 94 | 77 | 94 | 14 | 27 | 15 | 402 | 0.000000e+00 | 1.250000e+02 | Inf
0.49/0.57 o 123
0.49/0.57 c * 0.5s| 325 | 271 | 1384 | 4.0 | 825k| 27 | - | 94 | 77 | 94 | 14 | 27 | 15 | 407 | 0.000000e+00 | 1.230000e+02 | Inf
0.49/0.59 o 118
0.49/0.59 c f 0.5s| 339 | 276 | 1417 | 3.9 | 829k| 27 | - | 94 | 77 | 94 | 14 | 27 | 16 | 424 | 0.000000e+00 | 1.180000e+02 | Inf
0.49/0.60 o 117
0.49/0.60 c v 0.5s| 354 | 290 | 1456 | 3.9 | 841k| 27 | - | 94 | 79 | 94 | 14 | 27 | 18 | 433 | 0.000000e+00 | 1.170000e+02 | Inf
0.59/0.62 o 116
0.59/0.62 c * 0.5s| 387 | 316 | 1535 | 3.8 | 853k| 27 | - | 94 | 80 | 94 | 14 | 27 | 20 | 458 | 0.000000e+00 | 1.160000e+02 | Inf
0.59/0.62 o 114
0.59/0.62 c * 0.5s| 388 | 314 | 1535 | 3.7 | 852k| 27 | - | 94 | 80 | 94 | 14 | 27 | 20 | 458 | 0.000000e+00 | 1.140000e+02 | Inf
0.59/0.65 o 109
0.59/0.65 c g 0.5s| 429 | 337 | 1624 | 3.6 | 866k| 28 | - | 94 | 80 | 94 | 14 | 27 | 20 | 480 | 0.000000e+00 | 1.090000e+02 | Inf
0.59/0.66 o 85
0.59/0.66 c c 0.5s| 445 | 319 | 1667 | 3.6 | 862k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 483 | 0.000000e+00 | 8.500000e+01 | Inf
0.59/0.67 o 83
0.59/0.67 c * 0.5s| 459 | 330 | 1698 | 3.5 | 865k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 483 | 0.000000e+00 | 8.300000e+01 | Inf
0.59/0.67 o 82
0.59/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c * 0.5s| 468 | 332 | 1723 | 3.5 | 866k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 486 | 0.000000e+00 | 8.200000e+01 | Inf
0.59/0.68 o 80
0.59/0.68 c * 0.5s| 469 | 329 | 1723 | 3.5 | 866k| 28 | - | 94 | 83 | 94 | 14 | 27 | 23 | 486 | 0.000000e+00 | 8.000000e+01 | Inf
0.59/0.69 o 78
0.59/0.69 c * 0.5s| 491 | 337 | 1777 | 3.5 | 872k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 489 | 0.000000e+00 | 7.800000e+01 | Inf
0.59/0.69 o 76
0.59/0.69 c * 0.5s| 492 | 335 | 1780 | 3.5 | 872k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 489 | 0.000000e+00 | 7.600000e+01 | Inf
0.69/0.70 o 75
0.69/0.70 c p 0.6s| 506 | 347 | 1819 | 3.4 | 879k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 499 | 0.000000e+00 | 7.500000e+01 | Inf
0.69/0.72 o 54
0.69/0.72 c f 0.6s| 529 | 337 | 1898 | 3.4 | 884k| 28 | - | 94 | 84 | 94 | 14 | 27 | 24 | 499 | 0.000000e+00 | 5.400000e+01 | Inf
0.69/0.73 o 52
0.69/0.73 c v 0.6s| 546 | 350 | 1950 | 3.4 | 893k| 28 | - | 94 | 93 | 94 | 14 | 27 | 34 | 499 | 0.000000e+00 | 5.200000e+01 | Inf
0.79/0.87 o 50
0.79/0.87 c v 0.7s| 746 | 520 | 2693 | 3.5 | 986k| 28 | - | 94 | 114 | 94 | 14 | 27 | 62 | 505 | 0.000000e+00 | 5.000000e+01 | Inf
0.79/0.88 o 29
0.79/0.88 c g 0.7s| 771 | 491 | 2765 | 3.5 | 971k| 28 | - | 94 | 116 | 94 | 14 | 27 | 65 | 506 | 0.000000e+00 | 2.900000e+01 | Inf
0.89/0.91 o 28
0.89/0.91 c f 0.7s| 799 | 514 | 2935 | 3.6 | 977k| 28 | - | 94 | 126 | 94 | 14 | 27 | 77 | 507 | 0.000000e+00 | 2.800000e+01 | Inf
0.99/1.06 o 19
0.99/1.06 c f 0.9s| 1024 | 653 | 3777 | 3.6 |1064k| 28 | - | 94 | 154 | 94 | 14 | 27 | 109 | 514 | 0.000000e+00 | 1.900000e+01 | Inf
1.10/1.19 o 17
1.10/1.19 c * 1.0s| 1168 | 746 | 4639 | 3.9 |1129k| 28 | - | 94 | 204 | 94 | 14 | 27 | 163 | 516 | 0.000000e+00 | 1.700000e+01 | Inf
1.29/1.35 o 16
1.29/1.35 c * 1.1s| 1350 | 850 | 5662 | 4.1 |1221k| 28 | - | 94 | 272 | 94 | 14 | 27 | 233 | 519 | 0.000000e+00 | 1.600000e+01 | Inf
1.69/1.73 o 12
1.69/1.73 c g 1.4s| 1884 | 1155 | 8077 | 4.2 |1423k| 28 | - | 94 | 367 | 94 | 14 | 27 | 416 | 527 | 0.000000e+00 | 1.200000e+01 | Inf
2.29/2.36 o 10
2.29/2.36 c * 2.0s| 2956 | 1672 | 12059 | 4.1 |1741k| 28 | - | 94 | 562 | 94 | 14 | 27 | 618 | 531 | 0.000000e+00 | 1.000000e+01 | Inf
2.59/2.60 o 9
2.59/2.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.60 c * 2.2s| 3379 | 1773 | 13745 | 4.0 |1813k| 28 | - | 94 | 618 | 94 | 14 | 27 | 680 | 535 | 0.000000e+00 | 9.000000e+00 | Inf
3.49/3.58 o 7
3.49/3.58 c * 3.0s| 5213 | 2294 | 19449 | 3.7 |2207k| 28 | - | 94 | 912 | 94 | 14 | 27 | 995 | 548 | 0.000000e+00 | 7.000000e+00 | Inf
3.49/3.58 o 5
3.49/3.58 c * 3.0s| 5214 | 2261 | 19449 | 3.7 |2178k| 28 | - | 94 | 912 | 94 | 14 | 27 | 995 | 548 | 0.000000e+00 | 5.000000e+00 | Inf
5.59/5.67 c 4.8s| 10000 | 2671 | 32295 | 3.2 |2716k| 28 | 4 | 94 |1442 | 94 | 14 | 27 |1569 | 583 | 0.000000e+00 | 5.000000e+00 | Inf
8.99/9.00 o 4
8.99/9.00 c * 7.6s| 17081 | 2779 | 51710 | 3.0 |3221k| 28 | - | 94 |2163 | 94 | 14 | 27 |2362 | 632 | 0.000000e+00 | 4.000000e+00 | Inf
10.29/10.33 c 8.7s| 20000 | 2820 | 58753 | 2.9 |3445k| 28 | 4 | 94 |2526 | 94 | 14 | 27 |2794 | 663 | 0.000000e+00 | 4.000000e+00 | Inf
15.59/15.66 c 13.3s| 30000 | 2936 | 85686 | 2.9 |3873k| 28 | 4 | 94 |3244 | 94 | 14 | 27 |4064 | 720 | 0.000000e+00 | 4.000000e+00 | Inf
17.49/17.58 o 3
17.49/17.58 c *15.0s| 33615 | 3175 | 94560 | 2.8 |4192k| 28 | - | 94 |3648 | 94 | 14 | 27 |4527 | 731 | 0.000000e+00 | 3.000000e+00 | Inf
20.98/21.09 c 18.0s| 40000 | 3253 |110900 | 2.8 |4261k| 28 | 4 | 94 |3483 | 94 | 14 | 27 |5257 | 741 | 0.000000e+00 | 3.000000e+00 | Inf
26.40/26.44 c 22.7s| 50000 | 2903 |137196 | 2.7 |3993k| 28 | - | 94 |3207 | 0 | 0 | 27 |6560 | 762 | 0.000000e+00 | 3.000000e+00 | Inf
31.48/31.59 c 27.1s| 60000 | 2891 |160445 | 2.7 |4037k| 28 | 4 | 94 |3287 | 94 | 14 | 27 |8398 | 797 | 0.000000e+00 | 3.000000e+00 | Inf
36.08/36.18 c 31.0s| 70000 | 3127 |185591 | 2.7 |3709k| 28 | 4 | 94 |2059 | 94 | 14 | 27 | 10k| 832 | 0.000000e+00 | 3.000000e+00 | Inf
40.59/40.60 c 34.9s| 80000 | 3074 |209012 | 2.6 |3832k| 28 | 4 | 94 |2213 | 94 | 14 | 27 | 11k| 833 | 0.000000e+00 | 3.000000e+00 | Inf
45.08/45.13 c 38.7s| 90000 | 2600 |233358 | 2.6 |3160k| 28 | - | 94 |1557 | 94 | 14 | 27 | 13k|1007 | 0.000000e+00 | 3.000000e+00 | Inf
49.48/49.57 c 42.4s|100000 | 2830 |261312 | 2.6 |3335k| 28 | 4 | 94 |1689 | 94 | 14 | 27 | 14k|1074 | 0.000000e+00 | 3.000000e+00 | Inf
53.89/53.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.89/53.93 c 46.1s|110000 | 2763 |287134 | 2.6 |3485k| 28 | - | 94 |1908 | 0 | 0 | 27 | 16k|1103 | 0.000000e+00 | 3.000000e+00 | Inf
58.38/58.46 c 49.9s|120000 | 2710 |313914 | 2.6 |3479k| 28 | - | 94 |2083 | 0 | 0 | 27 | 17k|1135 | 0.000000e+00 | 3.000000e+00 | Inf
63.18/63.24 c 54.0s|130000 | 2357 |340267 | 2.6 |3009k| 28 | 4 | 94 |1380 | 94 | 14 | 27 | 19k|1263 | 0.000000e+00 | 3.000000e+00 | Inf
67.47/67.56 c 57.6s|140000 | 2505 |366346 | 2.6 |3347k| 28 | 4 | 94 |1931 | 94 | 14 | 27 | 20k|1302 | 0.000000e+00 | 3.000000e+00 | Inf
71.87/71.95 c 61.3s|150000 | 2363 |391289 | 2.6 |3371k| 28 | - | 94 |2336 | 94 | 14 | 27 | 22k|1319 | 0.000000e+00 | 3.000000e+00 | Inf
76.47/76.53 c 65.2s|160000 | 2359 |416621 | 2.6 |3379k| 28 | 4 | 94 |2327 | 94 | 14 | 27 | 23k|1328 | 0.000000e+00 | 3.000000e+00 | Inf
81.07/81.13 c 69.2s|170000 | 2429 |442032 | 2.6 |3627k| 28 | 4 | 94 |2757 | 94 | 14 | 27 | 25k|1341 | 0.000000e+00 | 3.000000e+00 | Inf
85.67/85.77 c 73.2s|180000 | 2352 |465201 | 2.6 |3719k| 28 | 4 | 94 |3146 | 94 | 14 | 27 | 26k|1349 | 0.000000e+00 | 3.000000e+00 | Inf
90.37/90.40 c 77.2s|190000 | 2438 |490166 | 2.6 |3587k| 28 | - | 94 |2638 | 0 | 0 | 27 | 28k|1361 | 0.000000e+00 | 3.000000e+00 | Inf
94.86/94.98 c 81.1s|200000 | 2488 |514329 | 2.6 |3705k| 28 | 4 | 94 |2765 | 94 | 14 | 27 | 29k|1382 | 0.000000e+00 | 3.000000e+00 | Inf
99.46/99.54 c 85.0s|210000 | 2174 |539385 | 2.6 |3359k| 28 | 4 | 94 |2420 | 94 | 14 | 27 | 30k|1398 | 0.000000e+00 | 3.000000e+00 | Inf
103.77/103.84 c 88.6s|220000 | 2347 |565532 | 2.6 |3218k| 28 | 4 | 94 |1674 | 94 | 14 | 27 | 32k|1440 | 0.000000e+00 | 3.000000e+00 | Inf
107.86/107.99 c 92.1s|230000 | 2335 |589104 | 2.6 |3448k| 28 | 4 | 94 |2128 | 94 | 14 | 27 | 33k|1456 | 0.000000e+00 | 3.000000e+00 | Inf
112.17/112.25 c 95.7s|240000 | 2362 |613731 | 2.6 |3625k| 28 | 4 | 94 |2458 | 94 | 14 | 27 | 34k|1481 | 0.000000e+00 | 3.000000e+00 | Inf
116.57/116.69 c 99.5s|250000 | 2077 |638820 | 2.6 |3169k| 28 | 4 | 94 |1934 | 94 | 14 | 27 | 35k|1536 | 0.000000e+00 | 3.000000e+00 | Inf
120.56/120.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.56/120.64 c 103s|260000 | 2855 |662714 | 2.5 |3617k| 28 | - | 94 |1858 | 94 | 14 | 27 | 36k|1566 | 0.000000e+00 | 3.000000e+00 | Inf
124.66/124.74 c 106s|270000 | 3015 |686236 | 2.5 |3836k| 28 | - | 94 |1792 | 0 | 0 | 27 | 37k|1584 | 0.000000e+00 | 3.000000e+00 | Inf
128.66/128.77 c 110s|280000 | 2857 |709129 | 2.5 |3865k| 28 | - | 94 |1939 | 94 | 14 | 27 | 39k|1589 | 0.000000e+00 | 3.000000e+00 | Inf
132.65/132.79 c 113s|290000 | 3006 |732781 | 2.5 |4196k| 28 | - | 94 |2346 | 0 | 0 | 27 | 40k|1611 | 0.000000e+00 | 3.000000e+00 | Inf
136.86/136.97 c 117s|300000 | 2372 |755083 | 2.5 |3596k| 28 | 4 | 94 |1934 | 94 | 14 | 27 | 41k|1625 | 0.000000e+00 | 3.000000e+00 | Inf
140.95/141.04 c 120s|310000 | 2378 |778885 | 2.5 |3257k| 28 | 4 | 94 |1552 | 94 | 14 | 27 | 42k|1663 | 0.000000e+00 | 3.000000e+00 | Inf
144.86/144.99 c 123s|320000 | 2233 |803178 | 2.5 |3300k| 28 | 4 | 94 |1648 | 94 | 14 | 27 | 43k|1690 | 0.000000e+00 | 3.000000e+00 | Inf
148.85/148.91 c 127s|330000 | 2244 |827272 | 2.5 |3429k| 28 | 4 | 94 |1870 | 94 | 14 | 27 | 44k|1707 | 0.000000e+00 | 3.000000e+00 | Inf
152.75/152.85 c 130s|340000 | 2314 |851033 | 2.5 |3218k| 28 | - | 94 |1557 | 94 | 14 | 27 | 46k|1744 | 0.000000e+00 | 3.000000e+00 | Inf
156.65/156.79 c 133s|350000 | 2461 |873779 | 2.5 |3473k| 28 | - | 94 |1767 | 94 | 14 | 27 | 47k|1749 | 0.000000e+00 | 3.000000e+00 | Inf
160.65/160.77 c 137s|360000 | 2133 |895649 | 2.5 |3310k| 28 | 4 | 94 |1837 | 94 | 14 | 27 | 48k|1762 | 0.000000e+00 | 3.000000e+00 | Inf
164.65/164.76 c 140s|370000 | 2060 |919279 | 2.5 |3175k| 28 | 4 | 94 |1695 | 94 | 14 | 27 | 50k|1797 | 0.000000e+00 | 3.000000e+00 | Inf
168.85/168.99 c 144s|380000 | 1860 |944299 | 2.5 |2915k| 28 | - | 94 |1478 | 94 | 14 | 27 | 51k|2126 | 0.000000e+00 | 3.000000e+00 | Inf
172.84/172.92 c 147s|390000 | 1952 |968494 | 2.5 |3204k| 28 | - | 94 |1971 | 94 | 14 | 27 | 52k|2146 | 0.000000e+00 | 3.000000e+00 | Inf
176.84/176.91 c 150s|400000 | 1801 |991393 | 2.5 |2921k| 28 | - | 94 |1457 | 94 | 14 | 27 | 53k|2167 | 0.000000e+00 | 3.000000e+00 | Inf
180.74/180.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.74/180.88 c 154s|410000 | 1710 | 1014k| 2.5 |2694k| 28 | 4 | 94 | 986 | 94 | 14 | 27 | 54k|2198 | 0.000000e+00 | 3.000000e+00 | Inf
184.52/184.66 c 157s|420000 | 1889 | 1037k| 2.5 |3040k| 28 | 4 | 94 |1415 | 94 | 14 | 27 | 55k|2218 | 0.000000e+00 | 3.000000e+00 | Inf
188.43/188.56 c 160s|430000 | 1767 | 1060k| 2.5 |2922k| 28 | 4 | 94 |1450 | 94 | 14 | 27 | 57k|2248 | 0.000000e+00 | 3.000000e+00 | Inf
192.44/192.55 c 163s|440000 | 1654 | 1085k| 2.5 |2922k| 28 | - | 94 |1575 | 94 | 14 | 27 | 58k|2270 | 0.000000e+00 | 3.000000e+00 | Inf
196.42/196.52 c 167s|450000 | 1511 | 1108k| 2.5 |2798k| 28 | 4 | 94 |1490 | 94 | 14 | 27 | 59k|2292 | 0.000000e+00 | 3.000000e+00 | Inf
200.52/200.67 c 170s|460000 | 1450 | 1132k| 2.5 |2840k| 28 | - | 94 |1633 | 94 | 14 | 27 | 60k|2312 | 0.000000e+00 | 3.000000e+00 | Inf
204.53/204.66 c 173s|470000 | 1485 | 1157k| 2.5 |2811k| 28 | 4 | 94 |1437 | 94 | 14 | 27 | 62k|2330 | 0.000000e+00 | 3.000000e+00 | Inf
208.42/208.50 c 177s|480000 | 1366 | 1181k| 2.5 |2729k| 28 | 4 | 94 |1389 | 94 | 14 | 27 | 63k|2347 | 0.000000e+00 | 3.000000e+00 | Inf
212.23/212.32 c 180s|490000 | 1511 | 1203k| 2.5 |3114k| 28 | - | 94 |2154 | 94 | 14 | 27 | 64k|2358 | 0.000000e+00 | 3.000000e+00 | Inf
216.42/216.50 c 183s|500000 | 1292 | 1227k| 2.5 |2874k| 28 | - | 94 |1888 | 0 | 0 | 27 | 65k|2366 | 0.000000e+00 | 3.000000e+00 | Inf
220.32/220.49 c 187s|510000 | 1668 | 1250k| 2.5 |3118k| 28 | 4 | 94 |1914 | 94 | 14 | 27 | 66k|2379 | 0.000000e+00 | 3.000000e+00 | Inf
224.62/224.74 c 190s|520000 | 1745 | 1273k| 2.4 |3402k| 28 | 4 | 94 |2327 | 94 | 14 | 27 | 68k|2393 | 0.000000e+00 | 3.000000e+00 | Inf
228.91/229.06 c 194s|530000 | 2131 | 1297k| 2.4 |3863k| 28 | 4 | 94 |2770 | 94 | 14 | 27 | 69k|2420 | 0.000000e+00 | 3.000000e+00 | Inf
229.82/229.92 o 1
229.82/229.92 c * 195s|531932 | 2125 | 1301k| 2.4 |3913k| 28 | - | 94 |2868 | 94 | 14 | 27 | 69k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
235.01/235.15 c 199s|540000 | 2247 | 1314k| 2.4 |4638k| 28 | - | 94 |4352 | 0 | 0 | 27 | 75k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
242.01/242.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.01/242.18 c 206s|550000 | 2187 | 1330k| 2.4 |4936k| 28 | - | 94 |5203 | 0 | 0 | 27 | 82k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
250.11/250.25 c 213s|560000 | 2283 | 1346k| 2.4 |5640k| 28 | - | 94 |6653 | 94 | 14 | 27 | 89k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
259.42/259.60 c 222s|570000 | 2314 | 1363k| 2.4 |6175k| 28 | 4 | 94 |7717 | 94 | 14 | 27 | 96k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
269.32/269.41 c 231s|580000 | 1940 | 1379k| 2.4 |5752k| 28 | - | 94 |7052 | 0 | 0 | 27 | 103k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
278.61/278.78 c 239s|590000 | 1596 | 1394k| 2.4 |5257k| 28 | 4 | 94 |6407 | 94 | 14 | 27 | 110k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
288.00/288.12 c 248s|600000 | 1528 | 1411k| 2.4 |5208k| 28 | - | 94 |6773 | 0 | 0 | 27 | 117k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
297.90/298.00 c 257s|610000 | 1383 | 1427k| 2.3 |5827k| 28 | 4 | 94 |8661 | 94 | 14 | 27 | 125k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
307.81/307.91 c 266s|620000 | 1162 | 1444k| 2.3 |5547k| 28 | - | 94 |8243 | 0 | 0 | 27 | 132k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
317.89/318.04 c 276s|630000 | 1127 | 1461k| 2.3 |5406k| 28 | 4 | 94 |7437 | 94 | 14 | 27 | 139k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
327.70/327.87 c 285s|640000 | 1346 | 1478k| 2.3 |6272k| 28 | 4 | 94 |9498 | 94 | 14 | 27 | 146k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
338.59/338.76 c 295s|650000 | 1125 | 1494k| 2.3 |5984k| 28 | - | 94 |8979 | 0 | 0 | 27 | 153k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
350.28/350.47 c 306s|660000 | 1344 | 1511k| 2.3 |6966k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 161k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
363.48/363.62 c 318s|670000 | 1411 | 1529k| 2.3 |7715k| 28 | - | 94 | 12k| 94 | 14 | 27 | 168k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
378.29/378.41 c 332s|680000 | 1373 | 1545k| 2.3 |8319k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 175k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
393.58/393.71 c 347s|690000 | 1203 | 1562k| 2.3 |7676k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 183k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
407.37/407.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.37/407.56 c 360s|700000 | 1692 | 1579k| 2.3 |8396k| 28 | - | 94 | 13k| 0 | 0 | 27 | 190k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
422.07/422.28 c 375s|710000 | 1682 | 1595k| 2.2 |8942k| 28 | - | 94 | 14k| 94 | 14 | 27 | 197k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
437.86/438.05 c 390s|720000 | 1409 | 1611k| 2.2 |8700k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 204k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
452.76/452.95 c 404s|730000 | 1056 | 1628k| 2.2 |6982k| 28 | - | 94 | 10k| 94 | 14 | 27 | 211k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
464.45/464.62 c 415s|740000 | 1353 | 1646k| 2.2 |7568k| 28 | - | 94 | 11k| 94 | 14 | 27 | 218k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
477.26/477.41 c 427s|750000 | 1073 | 1662k| 2.2 |7286k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 226k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
489.45/489.63 c 439s|760000 | 1002 | 1679k| 2.2 |6633k| 28 | 4 | 94 |9437 | 94 | 14 | 27 | 233k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
501.24/501.40 c 450s|770000 | 917 | 1695k| 2.2 |7339k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 240k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
513.34/513.58 c 461s|780000 | 734 | 1712k| 2.2 |6191k| 28 | 4 | 94 |8406 | 94 | 14 | 27 | 247k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
524.14/524.35 c 471s|790000 | 1156 | 1729k| 2.2 |7279k| 28 | - | 94 | 10k| 94 | 14 | 27 | 254k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
536.73/536.99 c 483s|800000 | 1403 | 1746k| 2.2 |8018k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 262k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
550.63/550.88 c 496s|810000 | 1730 | 1762k| 2.2 |8710k| 28 | - | 94 | 12k| 94 | 14 | 27 | 268k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
565.33/565.51 c 510s|820000 | 1481 | 1778k| 2.2 |8818k| 28 | - | 94 | 13k| 94 | 14 | 27 | 275k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
580.72/580.91 c 525s|830000 | 1481 | 1794k| 2.2 |8930k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 282k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
595.02/595.24 c 538s|840000 | 1227 | 1811k| 2.2 |8461k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 290k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
609.13/609.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.13/609.39 c 552s|850000 | 1136 | 1827k| 2.1 |8336k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 297k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
624.11/624.32 c 566s|860000 | 1245 | 1844k| 2.1 |8161k| 28 | - | 94 | 12k| 0 | 0 | 27 | 304k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
638.61/638.86 c 580s|870000 | 1007 | 1860k| 2.1 |8631k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 311k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
653.50/653.70 c 594s|880000 | 878 | 1877k| 2.1 |7946k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 318k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
668.50/668.78 c 608s|890000 | 841 | 1894k| 2.1 |8614k| 28 | - | 94 | 14k| 0 | 0 | 27 | 325k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
684.90/685.10 c 624s|900000 | 703 | 1910k| 2.1 |8343k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 332k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
699.90/700.13 c 638s|910000 | 839 | 1927k| 2.1 |9009k| 28 | 4 | 94 | 15k| 94 | 14 | 27 | 339k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
714.48/714.77 c 652s|920000 | 931 | 1943k| 2.1 |8852k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 346k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
729.98/730.25 c 667s|930000 | 861 | 1959k| 2.1 |7155k| 28 | 4 | 94 |9570 | 94 | 14 | 27 | 353k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
741.88/742.18 c 678s|940000 | 612 | 1975k| 2.1 |7031k| 28 | 4 | 94 |9573 | 94 | 14 | 27 | 360k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
753.98/754.24 c 689s|950000 | 657 | 1992k| 2.1 |7497k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 367k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
766.18/766.48 c 701s|960000 | 1028 | 2010k| 2.1 |7817k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 374k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
779.46/779.72 c 713s|970000 | 1059 | 2027k| 2.1 |8090k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 381k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
791.78/792.01 c 725s|980000 | 1475 | 2043k| 2.1 |8489k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 388k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
805.06/805.39 c 737s|990000 | 1618 | 2060k| 2.1 |9034k| 28 | - | 94 | 12k| 0 | 0 | 27 | 394k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
819.06/819.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.06/819.30 c 751s| 1000k| 1092 | 2075k| 2.1 |8457k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 401k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
831.86/832.12 c 763s| 1010k| 997 | 2091k| 2.1 |8350k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 407k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
844.95/845.24 c 775s| 1020k| 528 | 2107k| 2.1 |7225k| 28 | - | 94 | 10k| 0 | 0 | 27 | 414k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
857.25/857.55 c 787s| 1030k| 757 | 2124k| 2.1 |7948k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 421k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
871.45/871.78 c 800s| 1040k| 529 | 2141k| 2.1 |8071k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 429k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
886.25/886.55 c 814s| 1050k| 442 | 2157k| 2.1 |7879k| 28 | - | 94 | 12k| 94 | 14 | 27 | 436k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
900.54/900.83 c 828s| 1060k| 486 | 2174k| 2.1 |8275k| 28 | - | 94 | 13k| 94 | 14 | 27 | 443k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
916.13/916.40 c 842s| 1070k| 449 | 2191k| 2.0 |8531k| 28 | - | 94 | 14k| 94 | 14 | 27 | 451k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
929.33/929.69 c 855s| 1080k| 433 | 2208k| 2.0 |7390k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 458k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
941.93/942.29 c 867s| 1090k| 680 | 2225k| 2.0 |8312k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 465k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
956.93/957.27 c 881s| 1100k| 746 | 2241k| 2.0 |9069k| 28 | - | 94 | 14k| 94 | 14 | 27 | 472k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
973.82/974.19 c 897s| 1110k| 347 | 2258k| 2.0 |9004k| 28 | 4 | 94 | 15k| 94 | 14 | 27 | 480k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
991.82/992.11 c 914s| 1120k| 386 | 2275k| 2.0 |8439k| 28 | - | 94 | 13k| 94 | 14 | 27 | 487k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1006.41/1006.73 c 928s| 1130k| 699 | 2292k| 2.0 |8480k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 494k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1020.41/1020.71 c 942s| 1140k| 1083 | 2308k| 2.0 |9038k| 28 | - | 94 | 12k| 0 | 0 | 27 | 500k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1035.00/1035.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.00/1035.36 c 956s| 1150k| 1079 | 2323k| 2.0 |9296k| 28 | - | 94 | 13k| 0 | 0 | 27 | 506k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1049.90/1050.22 c 970s| 1160k| 453 | 2338k| 2.0 |8302k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 513k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1063.59/1063.96 c 983s| 1170k| 306 | 2354k| 2.0 |8670k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 520k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1078.49/1078.81 c 997s| 1180k| 296 | 2370k| 2.0 |9134k| 28 | 4 | 94 | 15k| 94 | 14 | 27 | 527k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1093.99/1094.35 c 1012s| 1190k| 594 | 2387k| 2.0 |8849k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 534k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1109.18/1109.50 c 1026s| 1200k| 403 | 2404k| 2.0 |8360k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 541k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1123.97/1124.31 c 1040s| 1210k| 276 | 2421k| 2.0 |8497k| 28 | - | 94 | 13k| 0 | 0 | 27 | 549k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1140.57/1140.98 c 1056s| 1220k| 304 | 2438k| 2.0 |9628k| 28 | - | 94 | 16k| 0 | 0 | 27 | 556k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1157.57/1157.95 c 1072s| 1230k| 415 | 2455k| 2.0 |9328k| 28 | 4 | 94 | 14k| 94 | 14 | 27 | 563k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1175.57/1175.93 c 1089s| 1240k| 422 | 2473k| 2.0 |9451k| 28 | - | 94 | 14k| 94 | 14 | 27 | 570k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1191.76/1192.11 c 1105s| 1250k| 983 | 2490k| 2.0 | 10M| 28 | 4 | 94 | 16k| 94 | 14 | 27 | 577k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1209.67/1210.09 c 1122s| 1260k| 659 | 2506k| 2.0 | 10M| 28 | - | 94 | 16k| 94 | 14 | 27 | 583k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1227.85/1228.30 c 1140s| 1270k| 232 | 2522k| 2.0 |8689k| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 590k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1242.84/1243.24 c 1154s| 1280k| 400 | 2540k| 2.0 |7692k| 28 | - | 94 |9648 | 0 | 0 | 27 | 597k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1255.64/1256.01 c 1166s| 1290k| 312 | 2556k| 2.0 |7919k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 605k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1268.64/1269.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.64/1269.04 c 1179s| 1300k| 204 | 2573k| 2.0 |7263k| 28 | 4 | 94 |8750 | 94 | 14 | 27 | 612k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1279.94/1280.36 c 1189s| 1310k| 299 | 2590k| 2.0 |7802k| 28 | - | 94 |9886 | 94 | 14 | 27 | 619k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1292.04/1292.49 c 1201s| 1320k| 440 | 2608k| 2.0 |8792k| 28 | - | 94 | 12k| 94 | 14 | 27 | 626k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1306.44/1306.85 c 1214s| 1330k| 215 | 2624k| 2.0 |8890k| 28 | - | 94 | 13k| 94 | 14 | 27 | 633k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1321.63/1322.04 c 1229s| 1340k| 189 | 2641k| 2.0 |9093k| 28 | - | 94 | 14k| 0 | 0 | 27 | 640k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1337.13/1337.51 c 1244s| 1350k| 335 | 2659k| 2.0 |8674k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 648k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1351.72/1352.12 c 1258s| 1360k| 80 | 2675k| 2.0 |7961k| 28 | - | 94 | 10k| 0 | 0 | 27 | 655k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1363.62/1364.02 c 1269s| 1370k| 647 | 2692k| 2.0 |7976k| 28 | 4 | 94 |9804 | 94 | 14 | 27 | 662k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1375.12/1375.53 c 1280s| 1380k| 1205 | 2709k| 2.0 |8539k| 28 | 4 | 94 |9573 | 94 | 14 | 27 | 668k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1387.61/1388.08 c 1292s| 1390k| 1483 | 2726k| 2.0 |9221k| 28 | - | 94 | 10k| 0 | 0 | 27 | 674k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1399.91/1400.39 c 1303s| 1400k| 1509 | 2742k| 2.0 |9224k| 28 | 4 | 94 |9516 | 94 | 14 | 27 | 681k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1411.50/1411.97 c 1314s| 1410k| 1089 | 2758k| 2.0 |8858k| 28 | - | 94 |9288 | 0 | 0 | 27 | 688k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1422.91/1423.37 c 1325s| 1420k| 946 | 2775k| 2.0 |8362k| 28 | 4 | 94 |8562 | 94 | 14 | 27 | 695k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1434.01/1434.40 c 1335s| 1430k| 1302 | 2791k| 2.0 |9428k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 701k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1446.39/1446.89 c 1347s| 1440k| 1021 | 2806k| 1.9 |9372k| 28 | - | 94 | 10k| 94 | 14 | 27 | 707k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1459.30/1459.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.30/1459.72 c 1359s| 1450k| 588 | 2822k| 1.9 |8709k| 28 | - | 94 | 10k| 0 | 0 | 27 | 714k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1471.19/1471.62 c 1371s| 1460k| 658 | 2839k| 1.9 |9327k| 28 | - | 94 | 12k| 0 | 0 | 27 | 720k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1484.78/1485.20 c 1384s| 1470k| 184 | 2855k| 1.9 |7722k| 28 | 4 | 94 |9938 | 94 | 14 | 27 | 727k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1497.28/1497.73 c 1395s| 1480k| 690 | 2872k| 1.9 |8315k| 28 | - | 94 | 10k| 94 | 14 | 27 | 733k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1509.57/1510.02 c 1407s| 1490k| 881 | 2888k| 1.9 |8827k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 739k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1522.87/1523.32 c 1420s| 1500k| 1021 | 2904k| 1.9 |9375k| 28 | - | 94 | 12k| 0 | 0 | 27 | 746k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1536.18/1536.70 c 1432s| 1510k| 1239 | 2921k| 1.9 | 10M| 28 | - | 94 | 13k| 0 | 0 | 27 | 752k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1550.87/1551.35 c 1446s| 1520k| 1324 | 2936k| 1.9 | 10M| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 758k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1564.87/1565.36 c 1460s| 1530k| 1221 | 2953k| 1.9 |9696k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 765k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1578.15/1578.69 c 1472s| 1540k| 1286 | 2969k| 1.9 | 10M| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 771k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1592.76/1593.23 c 1486s| 1550k| 1515 | 2987k| 1.9 | 10M| 28 | 4 | 94 | 13k| 94 | 14 | 27 | 778k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1607.05/1607.57 c 1500s| 1560k| 1651 | 3004k| 1.9 | 10M| 28 | - | 94 | 12k| 94 | 14 | 27 | 784k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1621.34/1621.81 c 1514s| 1570k| 1529 | 3019k| 1.9 | 11M| 28 | - | 94 | 13k| 94 | 14 | 27 | 790k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1636.04/1636.51 c 1528s| 1580k| 1257 | 3035k| 1.9 | 10M| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 797k|2420 | 0.000000e+00 | 1.000000e+00 | Inf
1651.24/1651.79 c 1542s| 1590k| 477 | 3051k| 1.9 |7751k| 28 | 4 | 94 |8382 | 94 | 14 | 27 | 804k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1661.65/1662.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.65/1662.18 c 1552s| 1600k| 1455 | 3069k| 1.9 |8967k| 28 | 4 | 94 |9447 | 94 | 14 | 27 | 810k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1673.74/1674.22 c 1563s| 1610k| 1479 | 3087k| 1.9 |9580k| 28 | 4 | 94 | 10k| 94 | 14 | 27 | 817k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1686.43/1686.97 c 1575s| 1620k| 1500 | 3104k| 1.9 | 10M| 28 | - | 94 | 11k| 0 | 0 | 27 | 823k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1700.53/1701.04 c 1589s| 1630k| 1339 | 3122k| 1.9 |9812k| 28 | - | 94 | 10k| 94 | 14 | 27 | 830k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1713.33/1713.82 c 1601s| 1640k| 993 | 3138k| 1.9 |9799k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 837k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1727.02/1727.57 c 1614s| 1650k| 672 | 3155k| 1.9 |9393k| 28 | - | 94 | 11k| 94 | 14 | 27 | 843k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1741.41/1741.91 c 1628s| 1660k| 166 | 3171k| 1.9 |8409k| 28 | 4 | 94 | 11k| 94 | 14 | 27 | 850k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1754.71/1755.29 c 1640s| 1670k| 31 | 3188k| 1.9 |8332k| 28 | 4 | 94 | 12k| 94 | 14 | 27 | 857k|2426 | 0.000000e+00 | 1.000000e+00 | Inf
1757.11/1757.62 c
1757.11/1757.62 c SCIP Status : problem is solved [optimal solution found]
1757.11/1757.62 c Solving Time (sec) : 1642.56
1757.11/1757.62 c Solving Nodes : 1671694
1757.11/1757.62 c Primal Bound : +1.00000000000000e+00 (43 solutions)
1757.11/1757.62 c Dual Bound : +1.00000000000000e+00
1757.11/1757.62 c Gap : 0.00 %
1757.11/1757.62 s OPTIMUM FOUND
1757.11/1757.62 v x94 -x75 x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 x83 -x82 x81 x80 x79 x78 x77 -x76 x74 x73 -x72 x71 -x70 -x69 -x68 x67 x66
1757.11/1757.62 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
1757.11/1757.62 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
1757.11/1757.62 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1757.11/1757.62 c SCIP Status : problem is solved [optimal solution found]
1757.11/1757.62 c Solving Time : 1642.56
1757.11/1757.62 c Original Problem :
1757.11/1757.62 c Problem name : HOME/instance-2665671-1276617480.opb
1757.11/1757.62 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1757.11/1757.62 c Constraints : 8 initial, 8 maximal
1757.11/1757.62 c Presolved Problem :
1757.11/1757.62 c Problem name : t_HOME/instance-2665671-1276617480.opb
1757.11/1757.62 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1757.11/1757.62 c Constraints : 4 initial, 17112 maximal
1757.11/1757.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1757.11/1757.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c implics : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c probing : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c linear : 0.01 0 0 0 0 0 4 0 0
1757.11/1757.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1757.11/1757.62 c root node : - 66 - - 66 - - - -
1757.11/1757.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1757.11/1757.62 c integral : 0 0 0 922273 0 182 982 0 0 1842190
1757.11/1757.62 c linear : 4+ 7 3636480 0 0 511396 2802339 0 0 0
1757.11/1757.62 c logicor : 0+ 0 2017737 0 0 25865 808339 0 0 0
1757.11/1757.62 c countsols : 0 0 0 23 0 0 0 0 0 0
1757.11/1757.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1757.11/1757.62 c integral : 12.29 0.00 0.00 12.29 0.00
1757.11/1757.62 c linear : 179.98 0.00 179.98 0.00 0.00
1757.11/1757.62 c logicor : 535.46 0.00 535.46 0.00 0.00
1757.11/1757.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1757.11/1757.62 c Propagators : Time Calls Cutoffs DomReds
1757.11/1757.62 c vbounds : 1.89 2 0 0
1757.11/1757.62 c rootredcost : 1.70 43 0 64
1757.11/1757.62 c pseudoobj : 17.29 3640453 4142 57286
1757.11/1757.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1757.11/1757.62 c propagation : 23.67 541403 344003 793157 21.3 96 19.9 -
1757.11/1757.62 c infeasible LP : 19.86 304801 304209 507758 14.0 2727 18.0 0
1757.11/1757.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1757.11/1757.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1757.11/1757.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1757.11/1757.62 c applied globally : - - - 858125 16.7 - - -
1757.11/1757.62 c applied locally : - - - 274 31.9 - - -
1757.11/1757.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1757.11/1757.62 c cut pool : 0.00 5 - - 19 - (maximal pool size: 87)
1757.11/1757.62 c redcost : 5.44 942510 0 297276 0 0
1757.11/1757.62 c impliedbounds : 0.00 6 0 0 0 0
1757.11/1757.62 c intobj : 0.00 0 0 0 0 0
1757.11/1757.62 c cgmip : 0.00 0 0 0 0 0
1757.11/1757.62 c gomory : 0.02 6 0 0 0 0
1757.11/1757.62 c strongcg : 0.00 6 0 0 24 0
1757.11/1757.62 c cmir : 0.03 6 0 0 34 0
1757.11/1757.62 c flowcover : 0.01 6 0 0 55 0
1757.11/1757.62 c clique : 0.00 1 0 0 0 0
1757.11/1757.62 c zerohalf : 0.00 0 0 0 0 0
1757.11/1757.62 c mcf : 0.00 1 0 0 0 0
1757.11/1757.62 c rapidlearning : 0.06 1 0 0 0 73
1757.11/1757.62 c Pricers : Time Calls Vars
1757.11/1757.62 c problem variables: 0.00 0 0
1757.11/1757.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1757.11/1757.62 c relpscost : 11.00 922250 182 982 0 0 1842190
1757.11/1757.62 c pscost : 0.00 0 0 0 0 0 0
1757.11/1757.62 c inference : 0.00 0 0 0 0 0 0
1757.11/1757.62 c mostinf : 0.00 0 0 0 0 0 0
1757.11/1757.62 c leastinf : 0.00 0 0 0 0 0 0
1757.11/1757.62 c fullstrong : 0.00 0 0 0 0 0 0
1757.11/1757.62 c allfullstrong : 0.00 0 0 0 0 0 0
1757.11/1757.62 c random : 0.00 0 0 0 0 0 0
1757.11/1757.62 c Primal Heuristics : Time Calls Found
1757.11/1757.62 c LP solutions : 0.01 - 23
1757.11/1757.62 c pseudo solutions : 0.00 - 0
1757.11/1757.62 c feaspump : 0.25 1 0
1757.11/1757.62 c oneopt : 1.08 43 0
1757.11/1757.62 c linesearchdiving : 8.73 5250 0
1757.11/1757.62 c coefdiving : 9.03 5251 2
1757.11/1757.62 c pscostdiving : 8.71 5251 1
1757.11/1757.62 c guideddiving : 8.29 5251 5
1757.11/1757.62 c fracdiving : 8.41 5251 6
1757.11/1757.62 c veclendiving : 10.09 5251 4
1757.11/1757.62 c objpscostdiving : 1.89 2626 1
1757.11/1757.62 c rootsoldiving : 4.72 2626 0
1757.11/1757.62 c trivial : 0.00 2 0
1757.11/1757.62 c simplerounding : 0.92 0 0
1757.11/1757.62 c zirounding : 0.81 1000 0
1757.11/1757.62 c rounding : 1.00 13743 0
1757.11/1757.62 c shifting : 3.23 5597 0
1757.11/1757.62 c intshifting : 0.13 0 0
1757.11/1757.62 c twoopt : 0.00 0 0
1757.11/1757.62 c fixandinfer : 0.00 0 0
1757.11/1757.62 c intdiving : 0.00 0 0
1757.11/1757.62 c actconsdiving : 0.00 0 0
1757.11/1757.62 c octane : 0.00 0 0
1757.11/1757.62 c rens : 0.02 1 0
1757.11/1757.62 c rins : 0.00 0 0
1757.11/1757.62 c localbranching : 0.00 0 0
1757.11/1757.62 c mutation : 0.00 0 0
1757.11/1757.62 c crossover : 0.01 0 0
1757.11/1757.62 c dins : 0.00 0 0
1757.11/1757.62 c undercover : 0.00 0 0
1757.11/1757.62 c nlp : 0.79 0 0
1757.11/1757.62 c trysol : 1.20 0 0
1757.11/1757.62 c LP : Time Calls Iterations Iter/call Iter/sec
1757.11/1757.62 c primal LP : 0.00 0 0 0.00 -
1757.11/1757.62 c dual LP : 221.80 1315505 3040132 2.31 13706.64
1757.11/1757.62 c lex dual LP : 0.00 0 0 0.00 -
1757.11/1757.62 c barrier LP : 0.00 0 0 0.00 -
1757.11/1757.62 c diving/probing LP: 13.28 80846 150935 1.87 11365.59
1757.11/1757.62 c strong branching : 0.60 2426 9906 4.08 16510.00
1757.11/1757.62 c (at root node) : - 9 269 29.89 -
1757.11/1757.62 c conflict analysis: 0.00 0 0 0.00 -
1757.11/1757.62 c B&B Tree :
1757.11/1757.62 c number of runs : 1
1757.11/1757.62 c nodes : 1671694
1757.11/1757.62 c nodes (total) : 1671694
1757.11/1757.62 c nodes left : 0
1757.11/1757.62 c max depth : 28
1757.11/1757.62 c max depth (total): 28
1757.11/1757.62 c backtracks : 545542 (32.6%)
1757.11/1757.62 c delayed cutoffs : 170041
1757.11/1757.62 c repropagations : 926614 (1375225 domain reductions, 148506 cutoffs)
1757.11/1757.62 c avg switch length: 4.77
1757.11/1757.62 c switching time : 381.67
1757.11/1757.62 c Solution :
1757.11/1757.62 c Solutions found : 43 (43 improvements)
1757.11/1757.62 c First Solution : +6.77000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1757.11/1757.62 c Primal Bound : +1.00000000000000e+00 (in run 1, after 531932 nodes, 194.71 seconds, depth 22, found by <relaxation>)
1757.11/1757.62 c Dual Bound : +1.00000000000000e+00
1757.11/1757.62 c Gap : 0.00 %
1757.11/1757.62 c Root Dual Bound : +0.00000000000000e+00
1757.11/1757.62 c Root Iterations : 86
1757.11/1757.65 c Time complete: 1757.16.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665671-1276617480/watcher-2665671-1276617480 -o /tmp/evaluation-result-2665671-1276617480/solver-2665671-1276617480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665671-1276617480.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.06 1.05 1.00 3/105 12002
/proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=9288 CPUtime=0
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 1127 0 0 0 0 0 0 0 25 0 1 0 3041584 9510912 1048 1992294400 4194304 9819077 140734136043760 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12002/statm: 2322 1057 371 1374 0 943 0
[startup+0.0148969 s]
/proc/loadavg: 1.06 1.05 1.00 3/105 12002
/proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=11332 CPUtime=0
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 2159 0 0 0 0 0 0 0 25 0 1 0 3041584 11603968 1727 1992294400 4194304 9819077 140734136043760 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 2833 1730 429 1374 0 1454 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11332
[startup+0.101906 s]
/proc/loadavg: 1.06 1.05 1.00 3/105 12002
/proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=22052 CPUtime=0.09
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 4842 0 0 0 7 2 0 0 25 0 1 0 3041584 22581248 3886 1992294400 4194304 9819077 140734136043760 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5513 3888 673 1374 0 4134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22052
[startup+0.301927 s]
/proc/loadavg: 1.06 1.05 1.00 3/105 12002
/proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=16912 CPUtime=0.3
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 11441 0 0 0 23 7 0 0 25 0 1 0 3041584 17317888 2751 1992294400 4194304 9819077 140734136043760 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 4228 2751 722 1374 0 2849 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16912
[startup+0.701971 s]
/proc/loadavg: 1.06 1.05 1.00 3/105 12002
/proc/meminfo: memFree=1758528/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=15956 CPUtime=0.69
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 19242 0 0 0 55 14 0 0 25 0 1 0 3041584 16338944 2748 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 4228 2753 724 1374 0 2849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15956
[startup+1.50106 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 12003
/proc/meminfo: memFree=1749716/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=16536 CPUtime=1.49
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 28041 0 0 0 124 25 0 0 25 0 1 0 3041584 16932864 2838 1992294400 4194304 9819077 140734136043760 18446744073709551615 4947099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 4134 2838 725 1374 0 2755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16536
[startup+3.10124 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 12003
/proc/meminfo: memFree=1749344/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=17660 CPUtime=3.09
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 47758 0 0 0 258 51 0 0 25 0 1 0 3041584 18083840 3107 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 4415 3107 725 1374 0 3036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17660
[startup+6.30159 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 12003
/proc/meminfo: memFree=1747608/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=18628 CPUtime=6.29
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 88093 0 0 0 530 99 0 0 25 0 1 0 3041584 19075072 3333 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 4657 3333 725 1374 0 3278 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18628
[startup+12.7013 s]
/proc/loadavg: 1.05 1.05 1.00 2/106 12003
/proc/meminfo: memFree=1745376/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=20780 CPUtime=12.68
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 162828 0 0 0 1075 193 0 0 25 0 1 0 3041584 21278720 3878 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5195 3878 725 1374 0 3816 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20780
[startup+25.5017 s]
/proc/loadavg: 1.04 1.05 1.00 2/106 12003
/proc/meminfo: memFree=1744508/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=21868 CPUtime=25.49
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 290263 0 0 0 2186 363 0 0 25 0 1 0 3041584 22392832 4131 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5467 4131 725 1374 0 4088 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21868
[startup+51.1015 s]
/proc/loadavg: 1.02 1.04 1.00 2/106 12003
/proc/meminfo: memFree=1744384/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=21868 CPUtime=51.08
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 582148 0 0 0 4367 741 0 0 25 0 1 0 3041584 22392832 4131 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5467 4131 725 1374 0 4088 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21868
[startup+102.309 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 12005
/proc/meminfo: memFree=1744012/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=22140 CPUtime=102.27
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 1169855 0 0 0 8729 1498 0 0 25 0 1 0 3041584 22671360 4197 1992294400 4194304 9819077 140734136043760 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5535 4197 725 1374 0 4156 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22140
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 12007
/proc/meminfo: memFree=1743764/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=22140 CPUtime=162.25
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 1886974 0 0 0 13804 2421 0 0 25 0 1 0 3041584 22671360 4202 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5535 4202 725 1374 0 4156 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22140
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 12018
/proc/meminfo: memFree=1743268/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=22140 CPUtime=222.22
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 2627298 0 0 0 18830 3392 0 0 25 0 1 0 3041584 22671360 4202 1992294400 4194304 9819077 140734136043760 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 5336 4198 725 1374 0 3957 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22140
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12020
/proc/meminfo: memFree=1739796/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=26424 CPUtime=282.21
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 2992897 0 0 0 24259 3962 0 0 25 0 1 0 3041584 27058176 5184 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 6606 5184 725 1374 0 5227 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 26424
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12020
/proc/meminfo: memFree=1738556/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=27712 CPUtime=342.18
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3269317 0 0 0 29808 4410 0 0 25 0 1 0 3041584 28377088 5479 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 6928 5479 725 1374 0 5549 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 27712
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12022
/proc/meminfo: memFree=1735828/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=30336 CPUtime=402.17
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3393261 0 0 0 35531 4686 0 0 25 0 1 0 3041584 31064064 6147 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 7584 6147 725 1374 0 6205 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 30336
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12024
/proc/meminfo: memFree=1734340/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=32120 CPUtime=462.15
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3491547 0 0 0 41277 4938 0 0 25 0 1 0 3041584 32890880 6521 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8030 6521 725 1374 0 6651 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 32120
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12026
/proc/meminfo: memFree=1733968/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=32404 CPUtime=522.14
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3668561 0 0 0 46919 5295 0 0 25 0 1 0 3041584 33181696 6577 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8101 6577 725 1374 0 6722 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 32404
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12028
/proc/meminfo: memFree=1733968/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=32404 CPUtime=582.13
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3825594 0 0 0 52601 5612 0 0 25 0 1 0 3041584 33181696 6582 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8101 6582 725 1374 0 6722 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 32404
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12028
/proc/meminfo: memFree=1733720/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=32800 CPUtime=642.11
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 3977885 0 0 0 58293 5918 0 0 25 0 1 0 3041584 33587200 6621 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8200 6621 725 1374 0 6821 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 32800
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1731736/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=34388 CPUtime=1121.98
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5216067 0 0 0 103810 8388 0 0 25 0 1 0 3041584 35213312 6983 1992294400 4194304 9819077 140734136043760 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8597 6983 725 1374 0 7218 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 34388
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12044
/proc/meminfo: memFree=1730620/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=35200 CPUtime=1181.96
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5331938 0 0 0 109552 8644 0 0 25 0 1 0 3041584 36044800 7221 1992294400 4194304 9819077 140734136043760 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8919 7223 725 1374 0 7540 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 35200
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12044
/proc/meminfo: memFree=1730248/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=35836 CPUtime=1241.95
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5428573 0 0 0 115319 8876 0 0 25 0 1 0 3041584 36696064 7256 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8959 7256 725 1374 0 7580 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 35836
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12046
/proc/meminfo: memFree=1730124/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=35836 CPUtime=1301.94
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5563048 0 0 0 121009 9185 0 0 25 0 1 0 3041584 36696064 7256 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 8959 7256 725 1374 0 7580 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 35836
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12048
/proc/meminfo: memFree=1729752/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36520 CPUtime=1361.91
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5679562 0 0 0 126728 9463 0 0 25 0 1 0 3041584 37396480 7343 1992294400 4194304 9819077 140734136043760 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9130 7343 725 1374 0 7751 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 36520
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12050
/proc/meminfo: memFree=1729752/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36520 CPUtime=1421.91
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5818307 0 0 0 132403 9788 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9130 7344 725 1374 0 7751 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 36520
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12052
/proc/meminfo: memFree=1729628/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36520 CPUtime=1481.88
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 5949104 0 0 0 138083 10105 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 6122208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9130 7344 725 1374 0 7751 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 36520
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12052
/proc/meminfo: memFree=1729628/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36520 CPUtime=1541.87
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6076046 0 0 0 143782 10405 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9130 7344 725 1374 0 7751 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 36520
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12054
/proc/meminfo: memFree=1729628/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36520 CPUtime=1601.85
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6191759 0 0 0 149496 10689 0 0 25 0 1 0 3041584 37396480 7344 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9130 7344 725 1374 0 7751 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 36520
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12056
/proc/meminfo: memFree=1729504/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1661.84
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6314238 0 0 0 155209 10975 0 0 25 0 1 0 3041584 37527552 7345 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7345 725 1374 0 7783 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 36648
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1721.82
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6443458 0 0 0 160895 11287 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 36648
Solver just ended. Dumping a history of the last processes samples
[startup+1740.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1740.21
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6479761 0 0 0 162643 11378 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 5927107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1740.21
Current children cumulated vsize (KiB) 36648
[startup+1747.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1746.61
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6493264 0 0 0 163254 11407 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1746.61
Current children cumulated vsize (KiB) 36648
[startup+1753.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729380/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1753.01
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6505624 0 0 0 163865 11436 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1753.01
Current children cumulated vsize (KiB) 36648
[startup+1755.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1754.62
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6508594 0 0 0 164018 11444 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1754.62
Current children cumulated vsize (KiB) 36648
[startup+1756.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1756.22
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6512014 0 0 0 164170 11452 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1756.22
Current children cumulated vsize (KiB) 36648
[startup+1757.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1756.61
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6512755 0 0 0 164207 11454 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8675198 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1756.61
Current children cumulated vsize (KiB) 36648
[startup+1757.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1757.01
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6513646 0 0 0 164245 11456 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1757.01
Current children cumulated vsize (KiB) 36648
[startup+1757.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1729256/2059040 swapFree=4192956/4192956
[pid=12002] ppid=12000 vsize=36648 CPUtime=1757.11
/proc/12002/stat : 12002 (pbscip.linux.x8) R 12000 12002 11847 0 -1 4202496 6513841 0 0 0 164254 11457 0 0 25 0 1 0 3041584 37527552 7349 1992294400 4194304 9819077 140734136043760 18446744073709551615 4219803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12002/statm: 9162 7349 725 1374 0 7783 0
Current children cumulated CPU time (s) 1757.11
Current children cumulated vsize (KiB) 36648
Child status: 0
Real time (s): 1757.66
CPU time (s): 1757.18
CPU user time (s): 1642.6
CPU system time (s): 114.581
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 36652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1642.6
system time used= 114.581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6513861
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= 2632
runsolver used 3.01454 second user time and 8.20075 second system time
The end