0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693742-1277891341.wbo>
0.00/0.02 c original problem has 6152 variables (6076 bin, 0 int, 0 impl, 76 cont) and 297 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 76 impls, 66 clqs
0.00/0.04 c (round 2) 0 del vars, 1 del conss, 76 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 76 impls, 66 clqs
0.00/0.04 c (round 3) 0 del vars, 1 del conss, 76 chg bounds, 0 chg sides, 0 chg coeffs, 78 upgd conss, 76 impls, 66 clqs
0.00/0.04 c (round 4) 0 del vars, 1 del conss, 76 chg bounds, 0 chg sides, 0 chg coeffs, 144 upgd conss, 76 impls, 66 clqs
0.07/0.08 c (0.1s) probing: 101/6076 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.07/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.07/0.08 c presolving (5 rounds):
0.07/0.08 c 0 deleted vars, 1 deleted constraints, 76 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.07/0.08 c 76 implications, 66 cliques
0.07/0.08 c presolved problem has 6152 variables (6076 bin, 0 int, 0 impl, 76 cont) and 296 constraints
0.07/0.08 c 76 constraints of type <indicator>
0.07/0.08 c 66 constraints of type <setppc>
0.07/0.08 c 76 constraints of type <linear>
0.07/0.08 c 78 constraints of type <logicor>
0.07/0.08 c transformed objective value is always integral (scale: 1)
0.07/0.08 c Presolving Time: 0.05
0.07/0.08 c - non default parameters ----------------------------------------------------------------------
0.07/0.08 c # SCIP version 1.2.1.2
0.07/0.08 c
0.07/0.08 c # frequency for displaying node information lines
0.07/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.07/0.08 c display/freq = 10000
0.07/0.08 c
0.07/0.08 c # maximal time in seconds to run
0.07/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.07/0.08 c limits/time = 1799.99
0.07/0.08 c
0.07/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.07/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.07/0.08 c limits/memory = 3420
0.07/0.08 c
0.07/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.07/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.07/0.08 c lp/solvefreq = -1
0.07/0.08 c
0.07/0.08 c # should presolving try to simplify inequalities
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c constraints/linear/simplifyinequalities = TRUE
0.07/0.08 c
0.07/0.08 c # should presolving try to simplify knapsacks
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.07/0.08 c
0.07/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.07/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.07/0.08 c separating/rapidlearning/freq = 0
0.07/0.08 c
0.07/0.08 c -----------------------------------------------------------------------------------------------
0.07/0.08 c start solving
0.07/0.08 c
0.07/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.07/0.08 c 0.1s| 1 | 2 | 0 | - | 11M| 0 | - |6152 | 296 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.69/4.70 c 4.6s| 10000 | 9989 | 0 | 0.0 | 15M|3753 | - |6152 | 348 | 0 | 0 | 0 | 60 | 0 | 0.000000e+00 | -- | Inf
8.59/8.67 c 8.5s| 20000 | 19956 | 0 | 0.0 | 18M|3753 | - |6152 | 383 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
12.39/12.49 c 12.3s| 30000 | 29944 | 0 | 0.0 | 21M|3753 | - |6152 | 385 | 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | -- | Inf
16.69/16.71 c 16.4s| 40000 | 39909 | 0 | 0.0 | 24M|3753 | - |6152 | 413 | 0 | 0 | 0 | 393 | 0 | 0.000000e+00 | -- | Inf
21.69/21.79 c 21.5s| 50000 | 49885 | 0 | 0.0 | 27M|3753 | - |6152 | 370 | 0 | 0 | 0 | 513 | 0 | 0.000000e+00 | -- | Inf
27.09/27.15 c 26.8s| 60000 | 59863 | 0 | 0.0 | 30M|3753 | - |6152 | 374 | 0 | 0 | 0 | 633 | 0 | 0.000000e+00 | -- | Inf
32.49/32.52 c 32.1s| 70000 | 69835 | 0 | 0.0 | 33M|3753 | - |6152 | 451 | 0 | 0 | 0 | 778 | 0 | 0.000000e+00 | -- | Inf
37.79/37.87 c 37.4s| 80000 | 79805 | 0 | 0.0 | 36M|3753 | - |6152 | 479 | 0 | 0 | 0 | 928 | 0 | 0.000000e+00 | -- | Inf
43.09/43.12 c 42.6s| 90000 | 89773 | 0 | 0.0 | 39M|3753 | - |6152 | 526 | 0 | 0 | 0 |1098 | 0 | 0.000000e+00 | -- | Inf
48.49/48.54 c 47.9s|100000 | 99742 | 0 | 0.0 | 41M|3753 | - |6152 | 536 | 0 | 0 | 0 |1266 | 0 | 0.000000e+00 | -- | Inf
53.90/53.91 c 53.2s|110000 |109711 | 0 | 0.0 | 44M|3753 | - |6152 | 527 | 0 | 0 | 0 |1426 | 0 | 0.000000e+00 | -- | Inf
59.29/59.30 c 58.6s|120000 |119690 | 0 | 0.0 | 47M|3753 | - |6152 | 558 | 0 | 0 | 0 |1544 | 0 | 0.000000e+00 | -- | Inf
64.59/64.65 c 63.9s|130000 |129662 | 0 | 0.0 | 50M|3753 | - |6152 | 563 | 0 | 0 | 0 |1677 | 0 | 0.000000e+00 | -- | Inf
69.99/70.02 c 69.2s|140000 |139634 | 0 | 0.0 | 53M|3753 | - |6152 | 593 | 0 | 0 | 0 |1817 | 0 | 0.000000e+00 | -- | Inf
75.29/75.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.29/75.33 c 74.4s|150000 |149608 | 0 | 0.0 | 55M|3753 | - |6152 | 596 | 0 | 0 | 0 |1947 | 0 | 0.000000e+00 | -- | Inf
80.69/80.74 c 79.8s|160000 |159568 | 0 | 0.0 | 58M|3753 | - |6152 | 631 | 0 | 0 | 0 |2143 | 0 | 0.000000e+00 | -- | Inf
86.19/86.23 c 85.2s|170000 |169526 | 0 | 0.0 | 61M|3753 | - |6152 | 672 | 0 | 0 | 0 |2353 | 0 | 0.000000e+00 | -- | Inf
91.60/91.65 c 90.6s|180000 |179498 | 0 | 0.0 | 64M|3753 | - |6152 | 669 | 0 | 0 | 0 |2493 | 0 | 0.000000e+00 | -- | Inf
97.00/97.09 c 96.0s|190000 |189470 | 0 | 0.0 | 67M|3753 | - |6152 | 674 | 0 | 0 | 0 |2628 | 0 | 0.000000e+00 | -- | Inf
102.40/102.48 c 101s|200000 |199437 | 0 | 0.0 | 70M|3753 | - |6152 | 720 | 0 | 0 | 0 |2789 | 0 | 0.000000e+00 | -- | Inf
107.90/107.92 c 107s|210000 |209415 | 0 | 0.0 | 72M|3753 | - |6152 | 687 | 0 | 0 | 0 |2899 | 0 | 0.000000e+00 | -- | Inf
113.30/113.36 c 112s|220000 |219381 | 0 | 0.0 | 75M|3753 | - |6152 | 737 | 0 | 0 | 0 |3069 | 0 | 0.000000e+00 | -- | Inf
118.70/118.78 c 117s|230000 |229355 | 0 | 0.0 | 78M|3753 | - |6152 | 737 | 0 | 0 | 0 |3199 | 0 | 0.000000e+00 | -- | Inf
124.20/124.27 c 123s|240000 |239319 | 0 | 0.0 | 81M|3753 | - |6152 | 796 | 0 | 0 | 0 |3389 | 0 | 0.000000e+00 | -- | Inf
129.70/129.73 c 128s|250000 |249292 | 0 | 0.0 | 84M|3753 | - |6152 | 792 | 0 | 0 | 0 |3529 | 0 | 0.000000e+00 | -- | Inf
135.09/135.14 c 134s|260000 |259264 | 0 | 0.0 | 86M|3753 | - |6152 | 768 | 0 | 0 | 0 |3669 | 0 | 0.000000e+00 | -- | Inf
140.49/140.55 c 139s|270000 |269230 | 0 | 0.0 | 89M|3753 | - |6152 | 809 | 0 | 0 | 0 |3832 | 0 | 0.000000e+00 | -- | Inf
145.90/145.94 c 144s|280000 |279203 | 0 | 0.0 | 92M|3753 | - |6152 | 815 | 0 | 0 | 0 |3972 | 0 | 0.000000e+00 | -- | Inf
151.30/151.35 c 150s|290000 |289172 | 0 | 0.0 | 95M|3753 | - |6152 | 825 | 0 | 0 | 0 |4132 | 0 | 0.000000e+00 | -- | Inf
156.70/156.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.70/156.77 c 155s|300000 |299139 | 0 | 0.0 | 97M|3753 | - |6152 | 846 | 0 | 0 | 0 |4302 | 0 | 0.000000e+00 | -- | Inf
162.09/162.13 c 160s|310000 |309105 | 0 | 0.0 | 100M|3753 | - |6152 | 870 | 0 | 0 | 0 |4472 | 0 | 0.000000e+00 | -- | Inf
167.50/167.54 c 166s|320000 |319070 | 0 | 0.0 | 103M|3753 | - |6152 | 870 | 0 | 0 | 0 |4652 | 0 | 0.000000e+00 | -- | Inf
172.90/172.96 c 171s|330000 |329034 | 0 | 0.0 | 106M|3753 | - |6152 | 832 | 0 | 0 | 0 |4832 | 0 | 0.000000e+00 | -- | Inf
178.30/178.30 c 176s|340000 |339006 | 0 | 0.0 | 109M|3753 | - |6152 | 829 | 0 | 0 | 0 |4972 | 0 | 0.000000e+00 | -- | Inf
183.60/183.70 c 182s|350000 |348976 | 0 | 0.0 | 111M|3753 | - |6152 | 852 | 0 | 0 | 0 |5122 | 0 | 0.000000e+00 | -- | Inf
189.00/189.02 c 187s|360000 |358952 | 0 | 0.0 | 114M|3753 | - |6152 | 823 | 0 | 0 | 0 |5242 | 0 | 0.000000e+00 | -- | Inf
194.30/194.39 c 192s|370000 |368924 | 0 | 0.0 | 117M|3753 | - |6152 | 833 | 0 | 0 | 0 |5382 | 0 | 0.000000e+00 | -- | Inf
199.70/199.72 c 197s|380000 |378892 | 0 | 0.0 | 120M|3753 | - |6152 | 861 | 0 | 0 | 0 |5542 | 0 | 0.000000e+00 | -- | Inf
204.99/205.07 c 203s|390000 |388866 | 0 | 0.0 | 123M|3753 | - |6152 | 857 | 0 | 0 | 0 |5672 | 0 | 0.000000e+00 | -- | Inf
210.29/210.39 c 208s|400000 |398840 | 0 | 0.0 | 125M|3753 | - |6152 | 859 | 0 | 0 | 0 |5802 | 0 | 0.000000e+00 | -- | Inf
215.70/215.75 c 213s|410000 |408808 | 0 | 0.0 | 128M|3753 | - |6152 | 870 | 0 | 0 | 0 |5962 | 0 | 0.000000e+00 | -- | Inf
221.00/221.09 c 219s|420000 |418780 | 0 | 0.0 | 131M|3753 | - |6152 | 840 | 0 | 0 | 0 |6102 | 0 | 0.000000e+00 | -- | Inf
226.40/226.42 c 224s|430000 |428750 | 0 | 0.0 | 134M|3753 | - |6152 | 854 | 0 | 0 | 0 |6252 | 0 | 0.000000e+00 | -- | Inf
231.60/231.69 c 229s|440000 |438726 | 0 | 0.0 | 137M|3753 | - |6152 | 847 | 0 | 0 | 0 |6361 | 0 | 0.000000e+00 | -- | Inf
236.89/236.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.89/236.97 c 234s|450000 |448698 | 0 | 0.0 | 139M|3753 | - |6152 | 869 | 0 | 0 | 0 |6497 | 0 | 0.000000e+00 | -- | Inf
242.20/242.26 c 239s|460000 |458672 | 0 | 0.0 | 142M|3753 | - |6152 | 860 | 0 | 0 | 0 |6627 | 0 | 0.000000e+00 | -- | Inf
247.50/247.55 c 245s|470000 |468646 | 0 | 0.0 | 145M|3753 | - |6152 | 878 | 0 | 0 | 0 |6757 | 0 | 0.000000e+00 | -- | Inf
252.80/252.82 c 250s|480000 |478612 | 0 | 0.0 | 148M|3753 | - |6152 | 868 | 0 | 0 | 0 |6927 | 0 | 0.000000e+00 | -- | Inf
258.10/258.11 c 255s|490000 |488582 | 0 | 0.0 | 151M|3753 | - |6152 | 856 | 0 | 0 | 0 |7077 | 0 | 0.000000e+00 | -- | Inf
263.30/263.34 c 260s|500000 |498556 | 0 | 0.0 | 153M|3753 | - |6152 | 865 | 0 | 0 | 0 |7207 | 0 | 0.000000e+00 | -- | Inf
268.60/268.61 c 265s|510000 |508522 | 0 | 0.0 | 156M|3753 | - |6152 | 872 | 0 | 0 | 0 |7377 | 0 | 0.000000e+00 | -- | Inf
273.80/273.90 c 271s|520000 |518486 | 0 | 0.0 | 159M|3753 | - |6152 | 901 | 0 | 0 | 0 |7557 | 0 | 0.000000e+00 | -- | Inf
279.10/279.14 c 276s|530000 |528454 | 0 | 0.0 | 162M|3753 | - |6152 | 883 | 0 | 0 | 0 |7717 | 0 | 0.000000e+00 | -- | Inf
284.40/284.43 c 281s|540000 |538420 | 0 | 0.0 | 165M|3753 | - |6152 | 881 | 0 | 0 | 0 |7887 | 0 | 0.000000e+00 | -- | Inf
289.60/289.64 c 286s|550000 |548393 | 0 | 0.0 | 168M|3753 | - |6152 | 873 | 0 | 0 | 0 |8027 | 0 | 0.000000e+00 | -- | Inf
294.80/294.88 c 291s|560000 |558364 | 0 | 0.0 | 170M|3753 | - |6152 | 881 | 0 | 0 | 0 |8177 | 0 | 0.000000e+00 | -- | Inf
300.00/300.02 c 296s|570000 |568339 | 0 | 0.0 | 173M|3753 | - |6152 | 884 | 0 | 0 | 0 |8307 | 0 | 0.000000e+00 | -- | Inf
305.20/305.24 c 302s|580000 |578308 | 0 | 0.0 | 176M|3753 | - |6152 | 885 | 0 | 0 | 0 |8457 | 0 | 0.000000e+00 | -- | Inf
310.40/310.47 c 307s|590000 |588274 | 0 | 0.0 | 179M|3753 | - |6152 | 868 | 0 | 0 | 0 |8627 | 0 | 0.000000e+00 | -- | Inf
315.50/315.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.50/315.60 c 312s|600000 |598250 | 0 | 0.0 | 182M|3753 | - |6152 | 853 | 0 | 0 | 0 |8747 | 0 | 0.000000e+00 | -- | Inf
320.80/320.83 c 317s|610000 |608222 | 0 | 0.0 | 185M|3753 | - |6152 | 847 | 0 | 0 | 0 |8887 | 0 | 0.000000e+00 | -- | Inf
326.00/326.07 c 322s|620000 |618188 | 0 | 0.0 | 187M|3753 | - |6152 | 842 | 0 | 0 | 0 |9057 | 0 | 0.000000e+00 | -- | Inf
331.20/331.25 c 327s|630000 |628152 | 0 | 0.0 | 190M|3753 | - |6152 | 857 | 0 | 0 | 0 |9237 | 0 | 0.000000e+00 | -- | Inf
336.51/336.53 c 333s|640000 |638120 | 0 | 0.0 | 193M|3753 | - |6152 | 832 | 0 | 0 | 0 |9397 | 0 | 0.000000e+00 | -- | Inf
341.60/341.67 c 338s|650000 |648092 | 0 | 0.0 | 196M|3753 | - |6152 | 815 | 0 | 0 | 0 |9537 | 0 | 0.000000e+00 | -- | Inf
346.70/346.79 c 343s|660000 |658060 | 0 | 0.0 | 199M|3753 | - |6152 | 836 | 0 | 0 | 0 |9697 | 0 | 0.000000e+00 | -- | Inf
351.91/351.91 c 348s|670000 |668022 | 0 | 0.0 | 202M|3753 | - |6152 | 817 | 0 | 0 | 0 |9887 | 0 | 0.000000e+00 | -- | Inf
357.00/357.08 c 353s|680000 |677986 | 0 | 0.0 | 204M|3753 | - |6152 | 833 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
362.10/362.15 c 358s|690000 |687960 | 0 | 0.0 | 207M|3753 | - |6152 | 821 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
367.31/367.32 c 363s|700000 |697930 | 0 | 0.0 | 210M|3753 | - |6152 | 797 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
372.40/372.45 c 368s|710000 |707899 | 0 | 0.0 | 213M|3753 | - |6152 | 823 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
377.50/377.57 c 373s|720000 |717865 | 0 | 0.0 | 216M|3753 | - |6152 | 844 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
382.60/382.69 c 378s|730000 |727827 | 0 | 0.0 | 219M|3753 | - |6152 | 835 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
387.81/387.80 c 383s|740000 |737798 | 0 | 0.0 | 222M|3753 | - |6152 | 810 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
392.91/392.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.91/392.92 c 388s|750000 |747760 | 0 | 0.0 | 225M|3753 | - |6152 | 837 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
398.01/398.04 c 393s|760000 |757718 | 0 | 0.0 | 227M|3753 | - |6152 | 844 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
403.10/403.16 c 398s|770000 |767682 | 0 | 0.0 | 230M|3753 | - |6152 | 815 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
408.31/408.32 c 403s|780000 |777642 | 0 | 0.0 | 233M|3753 | - |6152 | 830 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
413.41/413.43 c 409s|790000 |787607 | 0 | 0.0 | 236M|3753 | - |6152 | 807 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
418.50/418.53 c 414s|800000 |797575 | 0 | 0.0 | 239M|3753 | - |6152 | 816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
423.61/423.62 c 419s|810000 |807540 | 0 | 0.0 | 242M|3753 | - |6152 | 806 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
428.60/428.64 c 424s|820000 |817506 | 0 | 0.0 | 245M|3753 | - |6152 | 823 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
433.60/433.64 c 428s|830000 |827472 | 0 | 0.0 | 248M|3753 | - |6152 | 830 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
438.70/438.75 c 434s|840000 |837439 | 0 | 0.0 | 250M|3753 | - |6152 | 869 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
443.71/443.77 c 438s|850000 |847399 | 0 | 0.0 | 253M|3753 | - |6152 | 875 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
448.82/448.87 c 444s|860000 |857362 | 0 | 0.0 | 256M|3753 | - |6152 | 870 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
453.91/453.90 c 449s|870000 |867322 | 0 | 0.0 | 259M|3753 | - |6152 | 888 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
458.91/458.94 c 454s|880000 |877284 | 0 | 0.0 | 262M|3753 | - |6152 | 881 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
464.01/464.00 c 458s|890000 |887252 | 0 | 0.0 | 265M|3753 | - |6152 | 866 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
469.01/469.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.01/469.02 c 463s|900000 |897213 | 0 | 0.0 | 268M|3753 | - |6152 | 889 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
474.01/474.03 c 468s|910000 |907173 | 0 | 0.0 | 271M|3753 | - |6152 | 889 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
479.01/479.04 c 473s|920000 |917129 | 0 | 0.0 | 274M|3753 | - |6152 | 875 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
484.01/484.08 c 478s|930000 |927091 | 0 | 0.0 | 276M|3753 | - |6152 | 856 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
489.11/489.10 c 483s|940000 |937047 | 0 | 0.0 | 279M|3753 | - |6152 | 892 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
494.00/494.06 c 488s|950000 |946999 | 0 | 0.0 | 282M|3753 | - |6152 | 934 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
499.01/499.07 c 493s|960000 |956966 | 0 | 0.0 | 285M|3753 | - |6152 | 917 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
504.01/504.02 c 498s|970000 |966926 | 0 | 0.0 | 288M|3753 | - |6152 | 915 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
508.90/508.92 c 503s|980000 |976886 | 0 | 0.0 | 291M|3753 | - |6152 | 914 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
513.91/513.90 c 508s|990000 |986848 | 0 | 0.0 | 294M|3753 | - |6152 | 919 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
518.91/518.91 c 513s| 1000k|996799 | 0 | 0.0 | 297M|3753 | - |6152 | 942 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
523.91/523.94 c 518s| 1010k| 1006k| 0 | 0.0 | 300M|3753 | - |6152 | 930 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
528.81/528.88 c 523s| 1020k| 1016k| 0 | 0.0 | 303M|3753 | - |6152 | 928 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
533.71/533.78 c 527s| 1030k| 1026k| 0 | 0.0 | 306M|3753 | - |6152 | 912 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
538.61/538.68 c 532s| 1040k| 1036k| 0 | 0.0 | 309M|3753 | - |6152 | 900 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
543.61/543.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.61/543.65 c 537s| 1050k| 1046k| 0 | 0.0 | 312M|3753 | - |6152 | 914 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
548.51/548.54 c 542s| 1060k| 1056k| 0 | 0.0 | 315M|3753 | - |6152 | 891 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
553.41/553.47 c 547s| 1070k| 1066k| 0 | 0.0 | 318M|3753 | - |6152 | 908 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
558.41/558.41 c 552s| 1080k| 1076k| 0 | 0.0 | 321M|3753 | - |6152 | 899 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
563.31/563.31 c 557s| 1090k| 1086k| 0 | 0.0 | 324M|3753 | - |6152 | 953 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
568.11/568.18 c 561s| 1100k| 1096k| 0 | 0.0 | 327M|3753 | - |6152 | 950 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
573.02/573.07 c 566s| 1110k| 1106k| 0 | 0.0 | 329M|3753 | - |6152 | 963 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
578.01/578.04 c 571s| 1120k| 1116k| 0 | 0.0 | 332M|3753 | - |6152 |1027 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
582.91/582.93 c 576s| 1130k| 1126k| 0 | 0.0 | 335M|3753 | - |6152 | 963 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
587.71/587.76 c 581s| 1140k| 1136k| 0 | 0.0 | 338M|3753 | - |6152 | 960 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
592.71/592.73 c 586s| 1150k| 1146k| 0 | 0.0 | 341M|3753 | - |6152 | 968 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
597.61/597.62 c 590s| 1160k| 1156k| 0 | 0.0 | 344M|3753 | - |6152 | 959 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
602.51/602.58 c 595s| 1170k| 1166k| 0 | 0.0 | 347M|3753 | - |6152 | 948 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
607.51/607.56 c 600s| 1180k| 1176k| 0 | 0.0 | 350M|3753 | - |6152 | 964 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
612.42/612.41 c 605s| 1190k| 1185k| 0 | 0.0 | 353M|3753 | - |6152 | 945 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
617.31/617.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.31/617.35 c 610s| 1200k| 1195k| 0 | 0.0 | 356M|3753 | - |6152 | 939 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
622.31/622.32 c 615s| 1210k| 1205k| 0 | 0.0 | 359M|3753 | - |6152 | 930 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
627.21/627.22 c 620s| 1220k| 1215k| 0 | 0.0 | 362M|3753 | - |6152 | 957 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
632.21/632.21 c 625s| 1230k| 1225k| 0 | 0.0 | 365M|3753 | - |6152 | 959 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
637.11/637.14 c 629s| 1240k| 1235k| 0 | 0.0 | 368M|3753 | - |6152 | 953 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
642.01/642.03 c 634s| 1250k| 1245k| 0 | 0.0 | 371M|3753 | - |6152 | 963 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
646.91/646.92 c 639s| 1260k| 1255k| 0 | 0.0 | 374M|3753 | - |6152 | 945 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
651.72/651.74 c 644s| 1270k| 1265k| 0 | 0.0 | 377M|3753 | - |6152 | 888 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
656.62/656.68 c 649s| 1280k| 1275k| 0 | 0.0 | 380M|3753 | - |6152 | 895 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
661.51/661.56 c 654s| 1290k| 1285k| 0 | 0.0 | 384M|3753 | - |6152 | 935 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
666.41/666.48 c 658s| 1300k| 1295k| 0 | 0.0 | 387M|3753 | - |6152 | 878 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
671.41/671.48 c 663s| 1310k| 1305k| 0 | 0.0 | 390M|3753 | - |6152 | 889 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
676.31/676.36 c 668s| 1320k| 1315k| 0 | 0.0 | 393M|3753 | - |6152 | 944 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
681.11/681.16 c 673s| 1330k| 1325k| 0 | 0.0 | 396M|3753 | - |6152 | 948 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
686.01/686.09 c 678s| 1340k| 1335k| 0 | 0.0 | 399M|3753 | - |6152 | 939 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
690.92/690.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.92/690.98 c 683s| 1350k| 1345k| 0 | 0.0 | 402M|3753 | - |6152 | 930 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
695.91/695.90 c 688s| 1360k| 1355k| 0 | 0.0 | 405M|3753 | - |6152 | 955 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
700.81/700.80 c 692s| 1370k| 1365k| 0 | 0.0 | 408M|3753 | - |6152 | 950 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
705.62/705.63 c 697s| 1380k| 1375k| 0 | 0.0 | 411M|3753 | - |6152 | 993 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
710.52/710.59 c 702s| 1390k| 1385k| 0 | 0.0 | 414M|3753 | - |6152 | 942 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
715.42/715.44 c 707s| 1400k| 1394k| 0 | 0.0 | 417M|3753 | - |6152 | 934 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
720.32/720.33 c 712s| 1410k| 1404k| 0 | 0.0 | 420M|3753 | - |6152 | 909 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
725.21/725.26 c 716s| 1420k| 1414k| 0 | 0.0 | 423M|3753 | - |6152 | 943 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
730.12/730.18 c 721s| 1430k| 1424k| 0 | 0.0 | 426M|3753 | - |6152 | 958 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
735.02/735.07 c 726s| 1440k| 1434k| 0 | 0.0 | 429M|3753 | - |6152 | 927 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
739.81/739.89 c 731s| 1450k| 1444k| 0 | 0.0 | 432M|3753 | - |6152 | 919 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
744.72/744.76 c 736s| 1460k| 1454k| 0 | 0.0 | 435M|3753 | - |6152 | 914 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
749.62/749.66 c 741s| 1470k| 1464k| 0 | 0.0 | 438M|3753 | - |6152 | 900 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
754.52/754.54 c 745s| 1480k| 1474k| 0 | 0.0 | 442M|3753 | - |6152 | 930 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
759.42/759.45 c 750s| 1490k| 1484k| 0 | 0.0 | 445M|3753 | - |6152 | 894 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
764.31/764.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.31/764.35 c 755s| 1500k| 1494k| 0 | 0.0 | 448M|3753 | - |6152 | 875 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
769.21/769.20 c 760s| 1510k| 1504k| 0 | 0.0 | 451M|3753 | - |6152 | 871 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
773.92/773.97 c 765s| 1520k| 1514k| 0 | 0.0 | 454M|3753 | - |6152 | 891 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
778.82/778.89 c 769s| 1530k| 1524k| 0 | 0.0 | 457M|3753 | - |6152 | 870 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
783.72/783.72 c 774s| 1540k| 1534k| 0 | 0.0 | 460M|3753 | - |6152 | 877 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
788.51/788.57 c 779s| 1550k| 1544k| 0 | 0.0 | 463M|3753 | - |6152 | 866 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
793.42/793.42 c 784s| 1560k| 1554k| 0 | 0.0 | 466M|3753 | - |6152 | 897 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
798.42/798.40 c 789s| 1570k| 1564k| 0 | 0.0 | 469M|3753 | - |6152 | 858 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
803.32/803.34 c 794s| 1580k| 1573k| 0 | 0.0 | 472M|3753 | - |6152 | 889 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
808.11/808.19 c 798s| 1590k| 1583k| 0 | 0.0 | 475M|3753 | - |6152 | 922 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
813.12/813.15 c 803s| 1600k| 1593k| 0 | 0.0 | 478M|3753 | - |6152 | 899 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
818.02/818.08 c 808s| 1610k| 1603k| 0 | 0.0 | 482M|3753 | - |6152 | 937 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
822.92/822.93 c 813s| 1620k| 1613k| 0 | 0.0 | 485M|3753 | - |6152 | 929 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
827.82/827.81 c 818s| 1630k| 1623k| 0 | 0.0 | 488M|3753 | - |6152 | 945 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
832.62/832.67 c 823s| 1640k| 1633k| 0 | 0.0 | 491M|3753 | - |6152 | 936 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
837.52/837.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.52/837.56 c 827s| 1650k| 1643k| 0 | 0.0 | 494M|3753 | - |6152 | 932 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
842.42/842.45 c 832s| 1660k| 1653k| 0 | 0.0 | 497M|3753 | - |6152 | 905 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
847.22/847.28 c 837s| 1670k| 1663k| 0 | 0.0 | 500M|3753 | - |6152 | 913 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
852.12/852.18 c 842s| 1680k| 1673k| 0 | 0.0 | 503M|3753 | - |6152 | 943 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
857.22/857.22 c 847s| 1690k| 1683k| 0 | 0.0 | 506M|3753 | - |6152 | 960 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
862.22/862.30 c 852s| 1700k| 1693k| 0 | 0.0 | 509M|3753 | - |6152 | 939 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
867.22/867.25 c 857s| 1710k| 1703k| 0 | 0.0 | 512M|3753 | - |6152 | 896 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
872.32/872.39 c 862s| 1720k| 1713k| 0 | 0.0 | 515M|3753 | - |6152 | 877 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
877.42/877.41 c 867s| 1730k| 1723k| 0 | 0.0 | 519M|3753 | - |6152 | 939 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
882.42/882.45 c 872s| 1740k| 1732k| 0 | 0.0 | 522M|3753 | - |6152 | 922 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
887.52/887.60 c 877s| 1750k| 1742k| 0 | 0.0 | 525M|3753 | - |6152 | 898 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
892.72/892.72 c 882s| 1760k| 1752k| 0 | 0.0 | 528M|3753 | - |6152 | 907 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
897.82/897.85 c 887s| 1770k| 1762k| 0 | 0.0 | 532M|3753 | - |6152 | 933 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
902.92/902.99 c 892s| 1780k| 1772k| 0 | 0.0 | 535M|3753 | - |6152 | 945 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
908.02/908.08 c 897s| 1790k| 1782k| 0 | 0.0 | 538M|3753 | - |6152 | 919 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
913.12/913.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.12/913.18 c 902s| 1800k| 1792k| 0 | 0.0 | 541M|3753 | - |6152 | 891 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
918.23/918.26 c 907s| 1810k| 1802k| 0 | 0.0 | 544M|3753 | - |6152 | 908 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
923.23/923.28 c 912s| 1820k| 1812k| 0 | 0.0 | 548M|3753 | - |6152 | 919 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
928.22/928.25 c 917s| 1830k| 1822k| 0 | 0.0 | 551M|3753 | - |6152 | 913 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
933.23/933.22 c 922s| 1840k| 1832k| 0 | 0.0 | 554M|3753 | - |6152 | 912 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
938.12/938.14 c 927s| 1850k| 1842k| 0 | 0.0 | 558M|3753 | - |6152 | 907 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
943.02/943.07 c 932s| 1860k| 1852k| 0 | 0.0 | 561M|3753 | - |6152 | 892 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
948.02/948.00 c 936s| 1870k| 1862k| 0 | 0.0 | 565M|3753 | - |6152 | 915 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
952.82/952.89 c 941s| 1880k| 1872k| 0 | 0.0 | 568M|3753 | - |6152 | 907 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
957.82/957.81 c 946s| 1890k| 1882k| 0 | 0.0 | 571M|3753 | - |6152 | 890 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
962.72/962.73 c 951s| 1900k| 1891k| 0 | 0.0 | 575M|3753 | - |6152 | 926 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
967.62/967.65 c 956s| 1910k| 1901k| 0 | 0.0 | 578M|3753 | - |6152 | 931 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
972.52/972.52 c 961s| 1920k| 1911k| 0 | 0.0 | 581M|3753 | - |6152 | 917 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
977.32/977.38 c 966s| 1930k| 1921k| 0 | 0.0 | 585M|3753 | - |6152 | 902 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
982.23/982.23 c 970s| 1940k| 1931k| 0 | 0.0 | 588M|3753 | - |6152 | 900 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
987.13/987.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.13/987.10 c 975s| 1950k| 1941k| 0 | 0.0 | 592M|3753 | - |6152 | 936 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
991.92/991.95 c 980s| 1960k| 1951k| 0 | 0.0 | 595M|3753 | - |6152 | 925 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
996.73/996.79 c 985s| 1970k| 1961k| 0 | 0.0 | 598M|3753 | - |6152 | 914 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1001.62/1001.61 c 989s| 1980k| 1971k| 0 | 0.0 | 602M|3753 | - |6152 | 905 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1006.43/1006.44 c 994s| 1990k| 1981k| 0 | 0.0 | 605M|3753 | - |6152 | 934 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1011.32/1011.31 c 999s| 2000k| 1991k| 0 | 0.0 | 608M|3753 | - |6152 | 963 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1016.13/1016.15 c 1004s| 2010k| 2001k| 0 | 0.0 | 612M|3753 | - |6152 | 926 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1020.93/1020.97 c 1008s| 2020k| 2011k| 0 | 0.0 | 615M|3753 | - |6152 | 906 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1025.72/1025.71 c 1013s| 2030k| 2021k| 0 | 0.0 | 618M|3753 | - |6152 | 905 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1030.43/1030.47 c 1018s| 2040k| 2031k| 0 | 0.0 | 621M|3753 | - |6152 | 918 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1035.22/1035.22 c 1023s| 2050k| 2040k| 0 | 0.0 | 625M|3753 | - |6152 | 904 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1039.92/1039.98 c 1027s| 2060k| 2050k| 0 | 0.0 | 628M|3753 | - |6152 | 887 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1044.73/1044.72 c 1032s| 2070k| 2060k| 0 | 0.0 | 631M|3753 | - |6152 | 912 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1049.43/1049.42 c 1037s| 2080k| 2070k| 0 | 0.0 | 635M|3753 | - |6152 | 916 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1054.12/1054.10 c 1041s| 2090k| 2080k| 0 | 0.0 | 638M|3753 | - |6152 | 895 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1058.73/1058.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.73/1058.79 c 1046s| 2100k| 2090k| 0 | 0.0 | 641M|3753 | - |6152 | 913 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1063.42/1063.45 c 1050s| 2110k| 2100k| 0 | 0.0 | 645M|3753 | - |6152 | 895 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1068.14/1068.14 c 1055s| 2120k| 2110k| 0 | 0.0 | 648M|3753 | - |6152 | 899 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1072.73/1072.75 c 1060s| 2130k| 2120k| 0 | 0.0 | 651M|3753 | - |6152 | 888 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1077.33/1077.36 c 1064s| 2140k| 2130k| 0 | 0.0 | 655M|3753 | - |6152 | 909 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1081.93/1081.95 c 1069s| 2150k| 2140k| 0 | 0.0 | 658M|3753 | - |6152 | 921 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1086.53/1086.55 c 1073s| 2160k| 2150k| 0 | 0.0 | 661M|3753 | - |6152 | 908 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1091.13/1091.14 c 1078s| 2170k| 2160k| 0 | 0.0 | 665M|3753 | - |6152 | 923 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1095.63/1095.68 c 1082s| 2180k| 2170k| 0 | 0.0 | 668M|3753 | - |6152 | 899 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1100.22/1100.23 c 1087s| 2190k| 2180k| 0 | 0.0 | 671M|3753 | - |6152 | 907 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1104.73/1104.75 c 1091s| 2200k| 2190k| 0 | 0.0 | 675M|3753 | - |6152 | 895 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1109.23/1109.28 c 1096s| 2210k| 2199k| 0 | 0.0 | 678M|3753 | - |6152 | 903 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1113.73/1113.78 c 1100s| 2220k| 2209k| 0 | 0.0 | 681M|3753 | - |6152 | 925 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1118.22/1118.24 c 1104s| 2230k| 2219k| 0 | 0.0 | 685M|3753 | - |6152 | 898 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1122.73/1122.71 c 1109s| 2240k| 2229k| 0 | 0.0 | 688M|3753 | - |6152 | 893 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1127.13/1127.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.13/1127.16 c 1113s| 2250k| 2239k| 0 | 0.0 | 691M|3753 | - |6152 | 945 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1131.63/1131.62 c 1118s| 2260k| 2249k| 0 | 0.0 | 695M|3753 | - |6152 | 901 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1136.03/1136.06 c 1122s| 2270k| 2259k| 0 | 0.0 | 698M|3753 | - |6152 | 902 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1140.43/1140.46 c 1126s| 2280k| 2269k| 0 | 0.0 | 701M|3753 | - |6152 | 917 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1144.83/1144.85 c 1131s| 2290k| 2279k| 0 | 0.0 | 705M|3753 | - |6152 | 899 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1149.23/1149.24 c 1135s| 2300k| 2289k| 0 | 0.0 | 708M|3753 | - |6152 | 918 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1153.52/1153.58 c 1139s| 2310k| 2299k| 0 | 0.0 | 711M|3753 | - |6152 | 918 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1157.93/1157.93 c 1144s| 2320k| 2309k| 0 | 0.0 | 715M|3753 | - |6152 | 886 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1162.23/1162.26 c 1148s| 2330k| 2319k| 0 | 0.0 | 718M|3753 | - |6152 | 922 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1166.63/1166.60 c 1152s| 2340k| 2329k| 0 | 0.0 | 722M|3753 | - |6152 | 926 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1170.93/1170.96 c 1156s| 2350k| 2338k| 0 | 0.0 | 725M|3753 | - |6152 | 921 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1175.23/1175.24 c 1161s| 2360k| 2348k| 0 | 0.0 | 728M|3753 | - |6152 | 930 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1179.53/1179.53 c 1165s| 2370k| 2358k| 0 | 0.0 | 732M|3753 | - |6152 | 977 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1183.73/1183.75 c 1169s| 2380k| 2368k| 0 | 0.0 | 735M|3753 | - |6152 | 971 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1187.83/1187.87 c 1173s| 2390k| 2378k| 0 | 0.0 | 739M|3753 | - |6152 | 982 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1191.93/1191.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.93/1191.91 c 1177s| 2400k| 2388k| 0 | 0.0 | 742M|3753 | - |6152 |1000 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1195.93/1195.95 c 1181s| 2410k| 2398k| 0 | 0.0 | 746M|3753 | - |6152 |1006 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1199.93/1199.97 c 1185s| 2420k| 2408k| 0 | 0.0 | 750M|3753 | - |6152 |1051 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1203.93/1203.98 c 1189s| 2430k| 2418k| 0 | 0.0 | 753M|3753 | - |6152 |1043 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1207.93/1207.98 c 1193s| 2440k| 2428k| 0 | 0.0 | 757M|3753 | - |6152 |1076 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1211.93/1211.96 c 1197s| 2450k| 2438k| 0 | 0.0 | 760M|3753 | - |6152 |1063 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1215.93/1215.97 c 1201s| 2460k| 2448k| 0 | 0.0 | 764M|3753 | - |6152 |1071 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1220.03/1220.04 c 1205s| 2470k| 2458k| 0 | 0.0 | 767M|3753 | - |6152 |1103 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1224.03/1224.06 c 1209s| 2480k| 2468k| 0 | 0.0 | 771M|3753 | - |6152 |1152 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1228.03/1228.04 c 1213s| 2490k| 2477k| 0 | 0.0 | 774M|3753 | - |6152 |1143 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1231.94/1231.96 c 1217s| 2500k| 2487k| 0 | 0.0 | 778M|3753 | - |6152 |1148 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1235.83/1235.81 c 1220s| 2510k| 2497k| 0 | 0.0 | 781M|3753 | - |6152 |1166 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1239.63/1239.67 c 1224s| 2520k| 2507k| 0 | 0.0 | 785M|3753 | - |6152 |1192 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1243.53/1243.54 c 1228s| 2530k| 2517k| 0 | 0.0 | 789M|3753 | - |6152 |1233 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1247.34/1247.37 c 1232s| 2540k| 2527k| 0 | 0.0 | 792M|3753 | - |6152 |1256 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1251.13/1251.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.13/1251.17 c 1235s| 2550k| 2537k| 0 | 0.0 | 796M|3753 | - |6152 |1282 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1254.94/1254.94 c 1239s| 2560k| 2547k| 0 | 0.0 | 800M|3753 | - |6152 |1309 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1258.64/1258.69 c 1243s| 2570k| 2557k| 0 | 0.0 | 803M|3753 | - |6152 |1313 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1262.44/1262.45 c 1247s| 2580k| 2567k| 0 | 0.0 | 807M|3753 | - |6152 |1358 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1266.24/1266.22 c 1250s| 2590k| 2577k| 0 | 0.0 | 810M|3753 | - |6152 |1399 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1269.93/1269.98 c 1254s| 2600k| 2587k| 0 | 0.0 | 814M|3753 | - |6152 |1391 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1273.63/1273.67 c 1258s| 2610k| 2596k| 0 | 0.0 | 817M|3753 | - |6152 |1406 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1277.34/1277.33 c 1261s| 2620k| 2606k| 0 | 0.0 | 821M|3753 | - |6152 |1473 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1281.04/1281.00 c 1265s| 2630k| 2616k| 0 | 0.0 | 825M|3753 | - |6152 |1469 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1284.74/1284.70 c 1268s| 2640k| 2626k| 0 | 0.0 | 828M|3753 | - |6152 |1502 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1288.24/1288.29 c 1272s| 2650k| 2636k| 0 | 0.0 | 832M|3753 | - |6152 |1501 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1291.73/1291.79 c 1275s| 2660k| 2646k| 0 | 0.0 | 836M|3753 | - |6152 |1585 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1295.33/1295.37 c 1279s| 2670k| 2656k| 0 | 0.0 | 839M|3753 | - |6152 |1608 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1298.94/1298.93 c 1282s| 2680k| 2666k| 0 | 0.0 | 843M|3753 | - |6152 |1647 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1302.23/1302.26 c 1286s| 2690k| 2676k| 0 | 0.0 | 847M|3753 | - |6152 |1726 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1305.53/1305.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.53/1305.54 c 1289s| 2700k| 2685k| 0 | 0.0 | 851M|3753 | - |6152 |1746 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1308.94/1308.94 c 1292s| 2710k| 2695k| 0 | 0.0 | 855M|3753 | - |6152 |2037 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1312.14/1312.18 c 1295s| 2720k| 2705k| 0 | 0.0 | 860M|3753 | - |6152 |2314 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1315.64/1315.62 c 1299s| 2730k| 2715k| 0 | 0.0 | 866M|3753 | - |6152 |2860 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1320.53/1320.57 c 1304s| 2740k| 2723k| 0 | 0.0 | 877M|3753 | - |6152 |5487 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1325.03/1325.01 c 1308s| 2750k| 2733k| 0 | 0.0 | 876M|4829 | - |6152 |2120 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1330.04/1330.05 c 1313s| 2760k| 2743k| 0 | 0.0 | 877M|4829 | - |6152 |1074 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1335.14/1335.15 c 1318s| 2770k| 2753k| 0 | 0.0 | 880M|4829 | - |6152 | 900 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1340.33/1340.35 c 1323s| 2780k| 2763k| 0 | 0.0 | 883M|4829 | - |6152 | 870 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1345.53/1345.57 c 1328s| 2790k| 2773k| 0 | 0.0 | 885M|4829 | - |6152 | 905 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1350.84/1350.85 c 1333s| 2800k| 2783k| 0 | 0.0 | 888M|4829 | - |6152 | 892 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1356.03/1356.09 c 1339s| 2810k| 2793k| 0 | 0.0 | 891M|4829 | - |6152 | 935 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1361.34/1361.36 c 1344s| 2820k| 2803k| 0 | 0.0 | 893M|4829 | - |6152 | 890 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1366.54/1366.60 c 1349s| 2830k| 2813k| 0 | 0.0 | 896M|4829 | - |6152 | 915 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1371.94/1371.91 c 1354s| 2840k| 2823k| 0 | 0.0 | 899M|4829 | - |6152 | 946 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1377.24/1377.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.24/1377.22 c 1359s| 2850k| 2833k| 0 | 0.0 | 902M|4829 | - |6152 | 922 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1382.53/1382.54 c 1365s| 2860k| 2843k| 0 | 0.0 | 904M|4829 | - |6152 | 890 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1387.84/1387.86 c 1370s| 2870k| 2852k| 0 | 0.0 | 907M|4829 | - |6152 | 903 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1393.24/1393.25 c 1375s| 2880k| 2862k| 0 | 0.0 | 910M|4829 | - |6152 | 898 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1398.53/1398.57 c 1381s| 2890k| 2872k| 0 | 0.0 | 913M|4829 | - |6152 | 857 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1403.93/1403.91 c 1386s| 2900k| 2882k| 0 | 0.0 | 915M|4829 | - |6152 | 864 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1409.24/1409.29 c 1391s| 2910k| 2892k| 0 | 0.0 | 918M|4829 | - |6152 | 872 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1414.64/1414.65 c 1396s| 2920k| 2902k| 0 | 0.0 | 921M|4829 | - |6152 | 886 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1420.04/1420.03 c 1402s| 2930k| 2912k| 0 | 0.0 | 924M|4829 | - |6152 | 851 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1425.34/1425.38 c 1407s| 2940k| 2922k| 0 | 0.0 | 927M|4829 | - |6152 | 841 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1430.74/1430.71 c 1412s| 2950k| 2932k| 0 | 0.0 | 929M|4829 | - |6152 | 811 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1436.14/1436.15 c 1418s| 2960k| 2942k| 0 | 0.0 | 932M|4829 | - |6152 | 841 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1441.44/1441.47 c 1423s| 2970k| 2952k| 0 | 0.0 | 935M|4829 | - |6152 | 825 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1446.84/1446.81 c 1428s| 2980k| 2962k| 0 | 0.0 | 938M|4829 | - |6152 | 866 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1452.24/1452.22 c 1434s| 2990k| 2972k| 0 | 0.0 | 941M|4829 | - |6152 | 824 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1457.54/1457.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.54/1457.56 c 1439s| 3000k| 2982k| 0 | 0.0 | 943M|4829 | - |6152 | 822 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1462.94/1462.92 c 1444s| 3010k| 2992k| 0 | 0.0 | 946M|4829 | - |6152 | 807 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1468.24/1468.28 c 1449s| 3020k| 3002k| 0 | 0.0 | 949M|4829 | - |6152 | 809 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1473.64/1473.64 c 1455s| 3030k| 3012k| 0 | 0.0 | 952M|4829 | - |6152 | 788 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1478.94/1478.95 c 1460s| 3040k| 3022k| 0 | 0.0 | 955M|4829 | - |6152 | 779 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1484.34/1484.32 c 1465s| 3050k| 3032k| 0 | 0.0 | 957M|4829 | - |6152 | 781 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1489.74/1489.72 c 1471s| 3060k| 3042k| 0 | 0.0 | 960M|4829 | - |6152 | 837 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1495.04/1495.07 c 1476s| 3070k| 3052k| 0 | 0.0 | 963M|4829 | - |6152 | 800 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1500.44/1500.48 c 1481s| 3080k| 3062k| 0 | 0.0 | 966M|4829 | - |6152 | 788 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1505.84/1505.81 c 1487s| 3090k| 3072k| 0 | 0.0 | 969M|4829 | - |6152 | 815 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1511.14/1511.16 c 1492s| 3100k| 3082k| 0 | 0.0 | 971M|4829 | - |6152 | 782 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1516.54/1516.53 c 1497s| 3110k| 3092k| 0 | 0.0 | 974M|4829 | - |6152 | 773 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1521.84/1521.89 c 1502s| 3120k| 3102k| 0 | 0.0 | 977M|4829 | - |6152 | 785 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1527.24/1527.28 c 1508s| 3130k| 3112k| 0 | 0.0 | 980M|4829 | - |6152 | 791 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1532.64/1532.64 c 1513s| 3140k| 3122k| 0 | 0.0 | 982M|4829 | - |6152 | 785 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1537.94/1537.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.94/1537.96 c 1518s| 3150k| 3132k| 0 | 0.0 | 985M|4829 | - |6152 | 783 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1543.35/1543.35 c 1524s| 3160k| 3142k| 0 | 0.0 | 988M|4829 | - |6152 | 793 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1548.64/1548.69 c 1529s| 3170k| 3152k| 0 | 0.0 | 991M|4829 | - |6152 | 789 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1554.04/1554.01 c 1534s| 3180k| 3162k| 0 | 0.0 | 993M|4829 | - |6152 | 765 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1559.34/1559.35 c 1540s| 3190k| 3172k| 0 | 0.0 | 996M|4829 | - |6152 | 797 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1564.64/1564.68 c 1545s| 3200k| 3182k| 0 | 0.0 | 999M|4829 | - |6152 | 786 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1569.94/1569.98 c 1550s| 3210k| 3192k| 0 | 0.0 |1002M|4829 | - |6152 | 766 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1575.34/1575.31 c 1555s| 3220k| 3201k| 0 | 0.0 |1005M|4829 | - |6152 | 769 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1580.64/1580.64 c 1561s| 3230k| 3211k| 0 | 0.0 |1007M|4829 | - |6152 | 748 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1586.04/1586.04 c 1566s| 3240k| 3221k| 0 | 0.0 |1010M|4829 | - |6152 | 781 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1591.34/1591.39 c 1571s| 3250k| 3231k| 0 | 0.0 |1013M|4829 | - |6152 | 766 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1596.74/1596.72 c 1576s| 3260k| 3241k| 0 | 0.0 |1016M|4829 | - |6152 | 750 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1602.05/1602.07 c 1582s| 3270k| 3251k| 0 | 0.0 |1019M|4829 | - |6152 | 741 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1607.44/1607.41 c 1587s| 3280k| 3261k| 0 | 0.0 |1021M|4829 | - |6152 | 737 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1612.75/1612.79 c 1592s| 3290k| 3271k| 0 | 0.0 |1024M|4829 | - |6152 | 726 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1618.15/1618.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.15/1618.14 c 1598s| 3300k| 3281k| 0 | 0.0 |1027M|4829 | - |6152 | 717 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1623.44/1623.47 c 1603s| 3310k| 3291k| 0 | 0.0 |1030M|4829 | - |6152 | 692 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1628.84/1628.83 c 1608s| 3320k| 3301k| 0 | 0.0 |1032M|4829 | - |6152 | 714 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1634.14/1634.16 c 1613s| 3330k| 3311k| 0 | 0.0 |1035M|4829 | - |6152 | 698 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1639.44/1639.49 c 1619s| 3340k| 3321k| 0 | 0.0 |1038M|4829 | - |6152 | 694 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1644.85/1644.82 c 1624s| 3350k| 3331k| 0 | 0.0 |1041M|4829 | - |6152 | 696 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1650.15/1650.18 c 1629s| 3360k| 3341k| 0 | 0.0 |1044M|4829 | - |6152 | 711 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1655.55/1655.53 c 1635s| 3370k| 3351k| 0 | 0.0 |1046M|4829 | - |6152 | 735 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1660.95/1660.91 c 1640s| 3380k| 3361k| 0 | 0.0 |1049M|4829 | - |6152 | 761 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1666.25/1666.27 c 1645s| 3390k| 3371k| 0 | 0.0 |1052M|4829 | - |6152 | 744 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1671.55/1671.57 c 1650s| 3400k| 3381k| 0 | 0.0 |1055M|4829 | - |6152 | 736 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1676.95/1676.94 c 1656s| 3410k| 3391k| 0 | 0.0 |1058M|4829 | - |6152 | 740 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1682.35/1682.34 c 1661s| 3420k| 3401k| 0 | 0.0 |1060M|4829 | - |6152 | 757 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1687.64/1687.69 c 1666s| 3430k| 3411k| 0 | 0.0 |1063M|4829 | - |6152 | 749 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1693.04/1693.04 c 1672s| 3440k| 3421k| 0 | 0.0 |1066M|4829 | - |6152 | 753 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1698.35/1698.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.35/1698.36 c 1677s| 3450k| 3431k| 0 | 0.0 |1069M|4829 | - |6152 | 746 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1703.74/1703.72 c 1682s| 3460k| 3441k| 0 | 0.0 |1071M|4829 | - |6152 | 744 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1709.04/1709.06 c 1687s| 3470k| 3451k| 0 | 0.0 |1074M|4829 | - |6152 | 741 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1714.45/1714.42 c 1693s| 3480k| 3461k| 0 | 0.0 |1077M|4829 | - |6152 | 733 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1719.84/1719.83 c 1698s| 3490k| 3471k| 0 | 0.0 |1080M|4829 | - |6152 | 773 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1725.25/1725.21 c 1703s| 3500k| 3481k| 0 | 0.0 |1083M|4829 | - |6152 | 745 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1730.55/1730.55 c 1709s| 3510k| 3491k| 0 | 0.0 |1085M|4829 | - |6152 | 764 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1735.95/1735.91 c 1714s| 3520k| 3501k| 0 | 0.0 |1088M|4829 | - |6152 | 761 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1741.25/1741.26 c 1719s| 3530k| 3511k| 0 | 0.0 |1091M|4829 | - |6152 | 754 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1746.64/1746.64 c 1725s| 3540k| 3521k| 0 | 0.0 |1094M|4829 | - |6152 | 780 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1751.94/1751.96 c 1730s| 3550k| 3531k| 0 | 0.0 |1096M|4829 | - |6152 | 766 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1757.25/1757.25 c 1735s| 3560k| 3541k| 0 | 0.0 |1099M|4829 | - |6152 | 772 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1762.65/1762.63 c 1740s| 3570k| 3550k| 0 | 0.0 |1102M|4829 | - |6152 | 773 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1767.95/1767.99 c 1746s| 3580k| 3560k| 0 | 0.0 |1105M|4829 | - |6152 | 791 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1773.35/1773.34 c 1751s| 3590k| 3570k| 0 | 0.0 |1108M|4829 | - |6152 | 754 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1778.66/1778.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.66/1778.69 c 1756s| 3600k| 3580k| 0 | 0.0 |1110M|4829 | - |6152 | 740 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1783.95/1783.99 c 1761s| 3610k| 3590k| 0 | 0.0 |1113M|4829 | - |6152 | 748 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1789.35/1789.33 c 1767s| 3620k| 3600k| 0 | 0.0 |1116M|4829 | - |6152 | 711 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1794.64/1794.69 c 1772s| 3630k| 3610k| 0 | 0.0 |1119M|4829 | - |6152 | 733 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1777.30
1800.05/1800.00 c Solving Nodes : 3639916
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1777.30
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693742-1277891341.wbo
1800.05/1800.00 c Variables : 6152 (6076 binary, 0 integer, 0 implicit integer, 76 continuous)
1800.05/1800.00 c Constraints : 297 initial, 297 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693742-1277891341.wbo
1800.05/1800.00 c Variables : 6152 (6076 binary, 0 integer, 0 implicit integer, 76 continuous)
1800.05/1800.00 c Constraints : 296 initial, 5580 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 76 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 76 0 2945 0 2697 0 121 0 0 0
1800.05/1800.00 c setppc : 66 0 3877107 0 3632005 7430 3592351 0 0 0
1800.05/1800.00 c linear : 76 0 3869677 0 3632005 2459 621045 0 0 0
1800.05/1800.00 c logicor : 78+ 0 603775 0 3632005 838 139371 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 3632005 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.01 0.00 0.00 0.00 0.01
1800.05/1800.00 c setppc : 216.68 0.00 24.99 0.00 191.69
1800.05/1800.00 c linear : 29.77 0.00 27.99 0.00 1.78
1800.05/1800.00 c logicor : 160.05 0.00 4.78 0.00 155.27
1800.05/1800.00 c countsols : 0.68 0.00 0.00 0.00 0.68
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 1.02 2 0 0
1800.05/1800.00 c rootredcost : 0.98 0 0 0
1800.05/1800.00 c pseudoobj : 9.23 3876907 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 35.08 10727 10727 221848 400.7 93186 47.6 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 104999 97.6 - - -
1800.05/1800.00 c applied locally : - - - 56 725.9 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1298.90 3632005 0 0 0 0 7264010
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.63 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 1.10 0 0
1800.05/1800.00 c trysol : 0.80 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 3639916
1800.05/1800.00 c nodes (total) : 3639916
1800.05/1800.00 c nodes left : 3620685
1800.05/1800.00 c max depth : 4829
1800.05/1800.00 c max depth (total): 4829
1800.05/1800.00 c backtracks : 4279 (0.1%)
1800.05/1800.00 c delayed cutoffs : 3410
1800.05/1800.00 c repropagations : 16312 (274302 domain reductions, 2816 cutoffs)
1800.05/1800.00 c avg switch length: 2.20
1800.05/1800.00 c switching time : 16.68
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693742-1277891341/watcher-2693742-1277891341 -o /tmp/evaluation-result-2693742-1277891341/solver-2693742-1277891341 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693742-1277891341.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.04 2.81 4/178 15330
/proc/meminfo: memFree=31052112/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=8776 CPUtime=0
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 1685 0 0 0 0 0 0 0 25 0 1 0 130429180 8986624 1607 4089446400 4194304 7136930 140735393198512 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15330/statm: 2289 1619 275 719 0 1568 0
[startup+0.07633 s]
/proc/loadavg: 2.16 2.04 2.81 4/178 15330
/proc/meminfo: memFree=31052112/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=25428 CPUtime=0.07
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 7338 0 0 0 6 1 0 0 25 0 1 0 130429180 26038272 5621 4089446400 4194304 7136930 140735393198512 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 6357 5621 370 719 0 5636 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25428
[startup+0.100327 s]
/proc/loadavg: 2.16 2.04 2.81 4/178 15330
/proc/meminfo: memFree=31052112/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=26928 CPUtime=0.09
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 7642 0 0 0 8 1 0 0 25 0 1 0 130429180 27574272 5925 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 6732 5925 390 719 0 6011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26928
[startup+0.300301 s]
/proc/loadavg: 2.16 2.04 2.81 4/178 15330
/proc/meminfo: memFree=31052112/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=27956 CPUtime=0.29
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 7906 0 0 0 28 1 0 0 25 0 1 0 130429180 28626944 6189 4089446400 4194304 7136930 140735393198512 18446744073709551615 5005166 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 6989 6189 390 719 0 6268 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27956
[startup+0.700227 s]
/proc/loadavg: 2.16 2.04 2.81 4/178 15330
/proc/meminfo: memFree=31052112/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=28472 CPUtime=0.69
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 8060 0 0 0 68 1 0 0 25 0 1 0 130429180 29155328 6343 4089446400 4194304 7136930 140735393198512 18446744073709551615 5121884 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 7118 6343 390 719 0 6397 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28472
[startup+1.50108 s]
/proc/loadavg: 2.16 2.04 2.81 3/179 15331
/proc/meminfo: memFree=31027924/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=28968 CPUtime=1.49
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 8179 0 0 0 147 2 0 0 25 0 1 0 130429180 29663232 6462 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 7242 6462 390 719 0 6521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28968
[startup+3.10077 s]
/proc/loadavg: 2.16 2.04 2.81 3/179 15331
/proc/meminfo: memFree=31026944/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=30188 CPUtime=3.09
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 8518 0 0 0 305 4 0 0 25 0 1 0 130429180 30912512 6800 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 7547 6800 394 719 0 6826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30188
[startup+6.30019 s]
/proc/loadavg: 2.15 2.04 2.80 3/179 15331
/proc/meminfo: memFree=31024836/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=32656 CPUtime=6.29
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 9162 0 0 0 621 8 0 0 25 0 1 0 130429180 33439744 7444 4089446400 4194304 7136930 140735393198512 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 8164 7444 394 719 0 7443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32656
[startup+12.701 s]
/proc/loadavg: 2.13 2.04 2.80 3/179 15331
/proc/meminfo: memFree=31019548/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=38372 CPUtime=12.7
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 10644 0 0 0 1252 18 0 0 25 0 1 0 130429180 39292928 8926 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 9593 8926 394 719 0 8872 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 38372
[startup+25.5006 s]
/proc/loadavg: 2.10 2.04 2.78 3/179 15331
/proc/meminfo: memFree=31010332/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=46876 CPUtime=25.49
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 12852 0 0 0 2515 34 0 0 25 0 1 0 130429180 48001024 11134 4089446400 4194304 7136930 140735393198512 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 11719 11134 394 719 0 10998 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46876
[startup+51.1009 s]
/proc/loadavg: 2.07 2.03 2.76 3/179 15332
/proc/meminfo: memFree=30992928/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=66276 CPUtime=51.09
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 17365 0 0 0 5046 63 0 0 25 0 1 0 130429180 67866624 15647 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 16569 15647 394 719 0 15848 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66276
[startup+102.305 s]
/proc/loadavg: 2.07 2.04 2.72 3/179 15333
/proc/meminfo: memFree=30962380/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=99320 CPUtime=102.29
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 24946 0 0 0 10113 116 0 0 25 0 1 0 130429180 101703680 23228 4089446400 4194304 7136930 140735393198512 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 24830 23228 394 719 0 24109 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 99320
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.68 3/179 15335
/proc/meminfo: memFree=30926856/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=132700 CPUtime=162.3
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 33717 0 0 0 16040 190 0 0 25 0 1 0 130429180 135884800 31999 4089446400 4194304 7136930 140735393198512 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 33175 31999 394 719 0 32454 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 132700
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.63 3/179 15337
/proc/meminfo: memFree=30891676/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=166212 CPUtime=222.3
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 42477 0 0 0 21972 258 0 0 25 0 1 0 130429180 170201088 40759 4089446400 4194304 7136930 140735393198512 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 41553 40759 394 719 0 40832 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 166212
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.59 3/197 15385
/proc/meminfo: memFree=30831224/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=207340 CPUtime=282.3
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 51138 0 0 0 27901 329 0 0 25 0 1 0 130429180 212316160 49420 4089446400 4194304 7136930 140735393198512 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 51835 49420 394 719 0 51114 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 207340
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.55 3/197 15386
/proc/meminfo: memFree=30782396/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=242420 CPUtime=342.3
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 60358 0 0 0 33829 401 0 0 25 0 1 0 130429180 248238080 58640 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 60605 58640 394 719 0 59884 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 242420
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.51 3/197 15387
/proc/meminfo: memFree=30745244/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=278164 CPUtime=402.31
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 69713 0 0 0 39753 478 0 0 25 0 1 0 130429180 284839936 67995 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 69541 67995 394 719 0 68820 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 278164
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.48 3/197 15389
/proc/meminfo: memFree=30705744/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=313952 CPUtime=462.31
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 79072 0 0 0 45681 550 0 0 25 0 1 0 130429180 321486848 77354 4089446400 4194304 7136930 140735393198512 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 78488 77354 394 719 0 77767 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 313952
[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.45 3/197 15391
/proc/meminfo: memFree=30667248/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=366996 CPUtime=522.31
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 88720 0 0 0 51607 624 0 0 25 0 1 0 130429180 375803904 87002 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 91749 87002 394 719 0 91028 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 366996
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.42 3/197 15393
/proc/meminfo: memFree=30629704/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=402108 CPUtime=582.31
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 97926 0 0 0 57530 701 0 0 25 0 1 0 130429180 411758592 96208 4089446400 4194304 7136930 140735393198512 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 100527 96208 394 719 0 99806 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 402108
[startup+642.301 s]
/proc/loadavg: 2.01 2.00 2.39 3/197 15394
/proc/meminfo: memFree=30588356/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=441292 CPUtime=642.31
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 108176 0 0 0 63457 774 0 0 25 0 1 0 130429180 451883008 106458 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 110323 106458 394 719 0 109602 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 441292
[startup+702.301 s]
################
# More data... #
################
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 170842 0 0 0 99010 1222 0 0 25 0 1 0 130429180 698941440 169124 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 170640 169124 394 719 0 169919 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 682560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/197 15414
/proc/meminfo: memFree=30291964/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=757520 CPUtime=1062.32
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 181816 0 0 0 104928 1304 0 0 25 0 1 0 130429180 775700480 180098 4089446400 4194304 7136930 140735393198512 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 189380 180098 394 719 0 188659 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 757520
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.22 3/197 15416
/proc/meminfo: memFree=30242308/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=805100 CPUtime=1122.33
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 194045 0 0 0 110846 1387 0 0 25 0 1 0 130429180 824422400 192327 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 201275 192327 394 719 0 200554 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 805100
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.21 3/197 15418
/proc/meminfo: memFree=30188932/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=857000 CPUtime=1182.33
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 207386 0 0 0 116764 1469 0 0 25 0 1 0 130429180 877568000 205668 4089446400 4194304 7136930 140735393198512 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 214250 205668 394 719 0 213529 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 857000
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/197 15419
/proc/meminfo: memFree=30133424/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=907980 CPUtime=1242.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 220701 0 0 0 122670 1564 0 0 25 0 1 0 130429180 929771520 218983 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 226995 218983 394 719 0 226274 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 907980
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/197 15420
/proc/meminfo: memFree=30066640/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=971968 CPUtime=1302.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 237245 0 0 0 128566 1668 0 0 25 0 1 0 130429180 995295232 235527 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 242992 235527 394 719 0 242271 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 971968
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/197 15422
/proc/meminfo: memFree=30009296/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1027476 CPUtime=1362.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 251557 0 0 0 134477 1757 0 0 25 0 1 0 130429180 1052135424 249838 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 256869 249838 394 719 0 256148 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1027476
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.15 3/197 15424
/proc/meminfo: memFree=29974620/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1059880 CPUtime=1422.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 260099 0 0 0 140406 1828 0 0 25 0 1 0 130429180 1085317120 258380 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 264970 258380 394 719 0 264249 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1059880
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/197 15426
/proc/meminfo: memFree=29940328/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1091676 CPUtime=1482.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 268472 0 0 0 146334 1900 0 0 25 0 1 0 130429180 1117876224 266753 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 272919 266753 394 719 0 272198 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1091676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/197 15427
/proc/meminfo: memFree=29909236/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1121560 CPUtime=1542.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 276384 0 0 0 152269 1965 0 0 25 0 1 0 130429180 1148477440 274665 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 280390 274665 394 719 0 279669 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1121560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/197 15428
/proc/meminfo: memFree=29876312/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1151324 CPUtime=1602.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 284219 0 0 0 158195 2039 0 0 25 0 1 0 130429180 1178955776 282500 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 287831 282500 394 719 0 287110 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1151324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/197 15430
/proc/meminfo: memFree=29841772/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1182384 CPUtime=1662.35
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 292438 0 0 0 164124 2111 0 0 25 0 1 0 130429180 1210761216 290719 4089446400 4194304 7136930 140735393198512 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 295596 290719 394 719 0 294875 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1182384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/197 15432
/proc/meminfo: memFree=29809580/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1213612 CPUtime=1722.34
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 300640 0 0 0 170053 2181 0 0 25 0 1 0 130429180 1242738688 298921 4089446400 4194304 7136930 140735393198512 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 303403 298921 394 719 0 302682 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1213612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/197 15434
/proc/meminfo: memFree=29775164/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1244108 CPUtime=1782.35
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 308681 0 0 0 175981 2254 0 0 25 0 1 0 130429180 1273966592 306962 4089446400 4194304 7136930 140735393198512 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 311027 306962 394 719 0 310306 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1244108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 15434
/proc/meminfo: memFree=29764964/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1253420 CPUtime=1800.05
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 311147 0 0 0 177731 2274 0 0 25 0 1 0 130429180 1283502080 309428 4089446400 4194304 7136930 140735393198512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15330/statm: 313355 309428 394 719 0 312634 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1253420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15330
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.08 3/198 15435
/proc/meminfo: memFree=29764956/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1253488 CPUtime=1801.45
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 311184 0 0 0 177870 2275 0 0 19 0 1 0 130429180 1283571712 309465 4089446400 4194304 7136930 140735393198512 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15330/statm: 313372 309465 399 719 0 312651 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1253488
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.08 3/198 15435
/proc/meminfo: memFree=29766072/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1251564 CPUtime=1801.86
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 311187 0 0 0 177911 2275 0 0 20 0 1 0 130429180 1281601536 308984 4089446400 4194304 7136930 140735393198512 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15330/statm: 312891 308984 399 719 0 312170 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 1251564
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.08 3/198 15435
/proc/meminfo: memFree=29766072/32951124 swapFree=67111528/67111528
[pid=15330] ppid=15328 vsize=1249748 CPUtime=1802.05
/proc/15330/stat : 15330 (pbscip.linux.x8) R 15328 15330 14245 0 -1 4202496 311187 0 0 0 177930 2275 0 0 21 0 1 0 130429180 1279741952 308530 4089446400 4194304 7136930 140735393198512 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15330/statm: 312437 308530 399 719 0 311716 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1249748
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.11
CPU user time (s): 1779.32
CPU system time (s): 22.7895
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1253488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.32
system time used= 22.7895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2720
runsolver used 2.45863 second user time and 5.82211 second system time
The end
Begin job on node147 at 2010-06-30 11:49:01
IDJOB=2693742
IDBENCH=78697
IDSOLVER=1206
FILE ID=node147/2693742-1277891341
PBS_JOBID= 11197059
Free space on /tmp= 74196 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693742-1277891341/watcher-2693742-1277891341 -o /tmp/evaluation-result-2693742-1277891341/solver-2693742-1277891341 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693742-1277891341.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2683f5c0f2bcb2ef48b38611ac907218
RANDOM SEED=208664919
node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31052764 kB
Buffers: 175472 kB
Cached: 1497124 kB
SwapCached: 0 kB
Active: 545084 kB
Inactive: 1208948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31052764 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3140 kB
Writeback: 0 kB
AnonPages: 81732 kB
Mapped: 16016 kB
Slab: 80952 kB
PageTables: 4464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 227776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74196 MiB
End job on node147 at 2010-06-30 12:19:03