Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 59 | 1802.18 | 1802.58 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2664233-1276600645.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 2 | 0 | - | 424k| 0 | - | 146 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.45 c 1.3s| 10000 | 9604 | 0 | 0.0 |4267k| 127 | - | 146 | 6 | 0 | 0 | 0 | 220 | 0 | 0.000000e+00 | -- | Inf
2.79/2.82 c 2.5s| 20000 | 19265 | 0 | 0.0 |7575k| 127 | - | 146 | 6 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
4.09/4.14 c 3.7s| 30000 | 29265 | 0 | 0.0 | 11M| 127 | - | 146 | 6 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
5.39/5.47 c 4.9s| 40000 | 39265 | 0 | 0.0 | 14M| 127 | - | 146 | 6 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
6.69/6.78 c 6.1s| 50000 | 49265 | 0 | 0.0 | 18M| 127 | - | 146 | 6 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
7.99/8.08 c 7.2s| 60000 | 59263 | 0 | 0.0 | 22M| 127 | - | 146 | 6 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
9.68/9.74 c 8.7s| 70000 | 67649 | 0 | 0.0 | 26M| 128 | - | 146 | 7 | 0 | 0 | 0 |1295 | 0 | 0.000000e+00 | -- | Inf
11.28/11.34 c 10.2s| 80000 | 76292 | 0 | 0.0 | 29M| 130 | - | 146 | 6 | 0 | 0 | 0 |1855 | 0 | 0.000000e+00 | -- | Inf
13.20/13.29 c 11.9s| 90000 | 83447 | 0 | 0.0 | 32M| 132 | - | 146 | 7 | 0 | 0 | 0 |3443 | 0 | 0.000000e+00 | -- | Inf
14.59/14.67 c 13.2s|100000 | 93058 | 0 | 0.0 | 36M| 132 | - | 146 | 8 | 0 | 0 | 0 |3658 | 0 | 0.000000e+00 | -- | Inf
15.99/16.06 c 14.4s|110000 |102672 | 0 | 0.0 | 39M| 132 | - | 146 | 6 | 0 | 0 | 0 |3869 | 0 | 0.000000e+00 | -- | Inf
17.39/17.44 c 15.7s|120000 |112372 | 0 | 0.0 | 43M| 132 | - | 146 | 6 | 0 | 0 | 0 |4036 | 0 | 0.000000e+00 | -- | Inf
18.78/18.83 c 16.9s|130000 |122016 | 0 | 0.0 | 46M| 132 | - | 146 | 6 | 0 | 0 | 0 |4235 | 0 | 0.000000e+00 | -- | Inf
20.19/20.26 c 18.2s|140000 |131550 | 0 | 0.0 | 50M| 132 | - | 146 | 6 | 0 | 0 | 0 |4492 | 0 | 0.000000e+00 | -- | Inf
21.49/21.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.49/21.59 c 19.4s|150000 |141526 | 0 | 0.0 | 53M| 132 | - | 146 | 6 | 0 | 0 | 0 |4506 | 0 | 0.000000e+00 | -- | Inf
22.88/22.94 c 20.6s|160000 |151436 | 0 | 0.0 | 57M| 132 | - | 146 | 6 | 0 | 0 | 0 |4555 | 0 | 0.000000e+00 | -- | Inf
24.19/24.27 c 21.7s|170000 |161353 | 0 | 0.0 | 61M| 132 | - | 146 | 6 | 0 | 0 | 0 |4601 | 0 | 0.000000e+00 | -- | Inf
25.48/25.58 c 22.9s|180000 |171353 | 0 | 0.0 | 64M| 132 | - | 146 | 6 | 0 | 0 | 0 |4601 | 0 | 0.000000e+00 | -- | Inf
26.88/26.90 c 24.1s|190000 |181337 | 0 | 0.0 | 68M| 132 | - | 146 | 6 | 0 | 0 | 0 |4610 | 0 | 0.000000e+00 | -- | Inf
28.18/28.23 c 25.2s|200000 |191280 | 0 | 0.0 | 72M| 132 | - | 146 | 6 | 0 | 0 | 0 |4642 | 0 | 0.000000e+00 | -- | Inf
29.48/29.56 c 26.4s|210000 |201195 | 0 | 0.0 | 76M| 132 | - | 146 | 6 | 0 | 0 | 0 |4689 | 0 | 0.000000e+00 | -- | Inf
30.88/30.91 c 27.6s|220000 |211117 | 0 | 0.0 | 80M| 132 | - | 146 | 6 | 0 | 0 | 0 |4733 | 0 | 0.000000e+00 | -- | Inf
31.58/31.67 o 1282
31.58/31.67 c *28.3s|225404 |213160 | 0 | 0.0 | 81M| 132 | - | 146 | 6 | 0 | 0 | 0 |4778 | 0 | 0.000000e+00 | 1.282000e+03 | Inf
32.28/32.32 c 28.8s|230000 |217598 | 0 | 0.0 | 82M| 132 | - | 146 | 8 | 0 | 0 | 0 |4870 | 0 | 0.000000e+00 | 1.282000e+03 | Inf
32.78/32.83 o 1280
32.78/32.83 c *29.3s|233669 |221068 | 0 | 0.0 | 84M| 132 | - | 146 | 8 | 0 | 0 | 0 |4909 | 0 | 0.000000e+00 | 1.280000e+03 | Inf
33.18/33.20 o 1230
33.18/33.20 c *29.6s|236122 |219581 | 0 | 0.0 | 83M| 132 | - | 146 | 10 | 0 | 0 | 0 |4967 | 0 | 0.000000e+00 | 1.230000e+03 | Inf
33.38/33.40 o 1130
33.38/33.40 c *29.8s|237389 |207401 | 0 | 0.0 | 79M| 132 | - | 146 | 10 | 0 | 0 | 0 |4967 | 0 | 0.000000e+00 | 1.130000e+03 | Inf
33.68/33.76 c 30.1s|240000 |209976 | 0 | 0.0 | 80M| 132 | - | 146 | 11 | 0 | 0 | 0 |4987 | 0 | 0.000000e+00 | 1.130000e+03 | Inf
35.09/35.14 c 31.4s|250000 |219799 | 0 | 0.0 | 84M| 132 | - | 146 | 14 | 0 | 0 | 0 |5086 | 0 | 0.000000e+00 | 1.130000e+03 | Inf
35.28/35.38 o 1129
35.28/35.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.28/35.38 c *31.6s|251685 |221354 | 0 | 0.0 | 85M| 132 | - | 146 | 11 | 0 | 0 | 0 |5089 | 0 | 0.000000e+00 | 1.129000e+03 | Inf
36.38/36.46 o 261
36.38/36.46 c *32.5s|257986 |116913 | 0 | 0.0 | 37M| 132 | - | 146 | 16 | 0 | 0 | 0 |5174 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
36.79/36.87 c 32.9s|260000 |118271 | 0 | 0.0 | 38M| 132 | - | 146 | 216 | 0 | 0 | 0 |5558 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
39.08/39.16 c 35.0s|270000 |124588 | 0 | 0.0 | 42M| 132 | - | 146 | 621 | 0 | 0 | 0 |7805 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
41.38/41.44 c 37.1s|280000 |131084 | 0 | 0.0 | 45M| 132 | - | 146 | 543 | 0 | 0 | 0 |9903 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
43.89/43.95 c 39.5s|290000 |136922 | 0 | 0.0 | 48M| 132 | - | 146 | 563 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
46.28/46.38 c 41.7s|300000 |143001 | 0 | 0.0 | 51M| 132 | - | 146 | 548 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
48.78/48.86 c 44.0s|310000 |148831 | 0 | 0.0 | 55M| 132 | - | 146 | 651 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
51.38/51.48 c 46.5s|320000 |154357 | 0 | 0.0 | 58M| 132 | - | 146 | 667 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
53.97/54.05 c 48.9s|330000 |160056 | 0 | 0.0 | 61M| 132 | - | 146 | 624 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
56.68/56.74 c 51.4s|340000 |165254 | 0 | 0.0 | 65M| 132 | - | 146 | 756 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
59.38/59.42 c 53.9s|350000 |170547 | 0 | 0.0 | 68M| 132 | - | 146 | 680 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
61.98/62.08 c 56.3s|360000 |176007 | 0 | 0.0 | 72M| 132 | - | 146 | 793 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
64.78/64.81 c 58.8s|370000 |181135 | 0 | 0.0 | 75M| 132 | - | 146 | 583 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
67.37/67.41 c 61.2s|380000 |186585 | 0 | 0.0 | 78M| 132 | - | 146 | 652 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
69.98/70.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.98/70.07 c 63.7s|390000 |191950 | 0 | 0.0 | 82M| 132 | - | 146 | 805 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
72.68/72.71 c 66.1s|400000 |197616 | 0 | 0.0 | 86M| 132 | - | 146 | 522 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
75.27/75.30 c 68.5s|410000 |203158 | 0 | 0.0 | 89M| 132 | - | 146 | 731 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
77.87/77.96 c 71.0s|420000 |208966 | 0 | 0.0 | 93M| 132 | - | 146 | 702 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
80.87/80.90 c 73.7s|430000 |213768 | 0 | 0.0 | 97M| 132 | - | 146 | 690 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
83.77/83.87 c 76.5s|440000 |216924 | 0 | 0.0 | 99M| 132 | - | 146 | 399 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
85.78/85.84 c 78.3s|450000 |224463 | 0 | 0.0 | 102M| 137 | - | 146 | 219 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
87.88/87.92 c 80.2s|460000 |231811 | 0 | 0.0 | 105M| 137 | - | 146 | 249 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
90.07/90.12 c 82.2s|470000 |238710 | 0 | 0.0 | 108M| 137 | - | 146 | 368 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.610000e+02 | Inf
90.18/90.21 o 253
90.18/90.21 c *82.3s|470263 |230045 | 0 | 0.0 | 104M| 137 | - | 146 | 391 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
92.28/92.30 c 84.2s|480000 |236901 | 0 | 0.0 | 108M| 137 | - | 146 | 353 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
94.27/94.33 c 86.1s|490000 |244109 | 0 | 0.0 | 111M| 137 | - | 146 | 313 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
96.17/96.23 o 61
96.17/96.23 c *87.9s|497731 |145905 | 0 | 0.0 | 59M| 137 | - | 146 | 208 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
96.97/97.01 c 88.6s|500000 |146118 | 0 | 0.0 | 59M| 137 | - | 146 | 632 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
100.17/100.21 c 91.6s|510000 |149340 | 0 | 0.0 | 62M| 137 | - | 146 | 843 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
103.27/103.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.27/103.32 c 94.5s|520000 |152744 | 0 | 0.0 | 65M| 137 | - | 146 | 732 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
106.37/106.46 c 97.5s|530000 |157004 | 0 | 0.0 | 68M| 137 | - | 146 |1108 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
109.46/109.58 c 100s|540000 |160627 | 0 | 0.0 | 71M| 137 | - | 146 | 847 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
112.18/112.22 c 103s|550000 |165860 | 0 | 0.0 | 74M| 137 | - | 146 | 940 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
114.57/114.67 c 105s|560000 |172284 | 0 | 0.0 | 77M| 137 | - | 146 |1144 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
117.26/117.30 c 108s|570000 |178518 | 0 | 0.0 | 79M| 137 | - | 146 |1577 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
119.96/120.01 c 110s|580000 |184669 | 0 | 0.0 | 82M| 137 | - | 146 |1753 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
122.66/122.79 c 113s|590000 |190652 | 0 | 0.0 | 85M| 137 | - | 146 |1865 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
125.76/125.87 c 116s|600000 |196212 | 0 | 0.0 | 88M| 137 | - | 146 |2397 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
129.26/129.31 c 119s|610000 |201559 | 0 | 0.0 | 91M| 137 | - | 146 |2643 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
132.76/132.85 c 122s|620000 |206810 | 0 | 0.0 | 94M| 137 | - | 146 |2930 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
136.46/136.55 c 126s|630000 |211888 | 0 | 0.0 | 96M| 137 | - | 146 |2903 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
140.06/140.16 c 129s|640000 |216943 | 0 | 0.0 | 99M| 137 | - | 146 |2606 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
143.56/143.62 c 132s|650000 |221820 | 0 | 0.0 | 102M| 137 | - | 146 |3120 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
147.46/147.57 c 136s|660000 |226578 | 0 | 0.0 | 105M| 137 | - | 146 |3569 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
151.67/151.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.67/151.73 c 140s|670000 |231267 | 0 | 0.0 | 107M| 137 | - | 146 |3096 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
155.56/155.62 c 144s|680000 |235970 | 0 | 0.0 | 110M| 137 | - | 146 |3115 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
159.36/159.47 c 148s|690000 |240891 | 0 | 0.0 | 113M| 137 | - | 146 |3314 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
163.65/163.73 c 152s|700000 |245324 | 0 | 0.0 | 116M| 137 | - | 146 |3949 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
168.05/168.11 c 156s|710000 |249908 | 0 | 0.0 | 119M| 137 | - | 146 |3546 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
172.25/172.32 c 160s|720000 |254338 | 0 | 0.0 | 121M| 137 | - | 146 |3452 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
176.76/176.81 c 164s|730000 |258559 | 0 | 0.0 | 124M| 137 | - | 146 |4044 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
181.46/181.53 c 169s|740000 |262590 | 0 | 0.0 | 127M| 137 | - | 146 |3609 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
185.95/186.04 c 173s|750000 |266688 | 0 | 0.0 | 130M| 137 | - | 146 |4256 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
190.55/190.66 c 177s|760000 |270984 | 0 | 0.0 | 133M| 137 | - | 146 |4440 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
195.35/195.40 c 182s|770000 |275252 | 0 | 0.0 | 135M| 137 | - | 146 |3858 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
200.05/200.13 c 187s|780000 |279128 | 0 | 0.0 | 138M| 137 | - | 146 |4294 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
204.85/204.96 c 191s|790000 |283008 | 0 | 0.0 | 141M| 137 | - | 146 |4147 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
209.84/209.98 c 196s|800000 |286822 | 0 | 0.0 | 143M| 137 | - | 146 |4264 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
214.94/215.02 c 201s|810000 |290608 | 0 | 0.0 | 146M| 137 | - | 146 |4225 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
219.75/219.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.75/219.89 c 206s|820000 |294413 | 0 | 0.0 | 149M| 137 | - | 146 |4893 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
224.64/224.70 c 210s|830000 |298472 | 0 | 0.0 | 151M| 137 | - | 146 |4652 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
229.54/229.68 c 215s|840000 |302227 | 0 | 0.0 | 154M| 137 | - | 146 |4884 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
235.14/235.27 c 220s|850000 |305469 | 0 | 0.0 | 157M| 137 | - | 146 |5239 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
240.75/240.84 c 226s|860000 |309054 | 0 | 0.0 | 159M| 137 | - | 146 |5305 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
246.34/246.46 c 231s|870000 |312554 | 0 | 0.0 | 162M| 137 | - | 146 |5144 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
251.74/251.89 c 236s|880000 |315927 | 0 | 0.0 | 165M| 137 | - | 146 |4870 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
257.13/257.20 c 241s|890000 |319412 | 0 | 0.0 | 167M| 137 | - | 146 |4857 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
262.43/262.60 c 247s|900000 |322735 | 0 | 0.0 | 170M| 137 | - | 146 |4983 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
267.73/267.89 c 252s|910000 |326172 | 0 | 0.0 | 172M| 137 | - | 146 |5173 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
273.43/273.53 c 257s|920000 |329508 | 0 | 0.0 | 175M| 137 | - | 146 |5511 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
279.63/279.71 c 263s|930000 |332562 | 0 | 0.0 | 178M| 137 | - | 146 |5881 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
286.03/286.13 c 269s|940000 |335778 | 0 | 0.0 | 181M| 137 | - | 146 |6225 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
292.43/292.59 c 276s|950000 |338895 | 0 | 0.0 | 183M| 137 | - | 146 |5762 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
298.63/298.78 c 282s|960000 |341661 | 0 | 0.0 | 186M| 137 | - | 146 |5948 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
304.73/304.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.73/304.86 c 287s|970000 |344553 | 0 | 0.0 | 188M| 137 | - | 146 |5868 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
310.92/311.00 c 293s|980000 |347302 | 0 | 0.0 | 190M| 137 | - | 146 |5674 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
317.12/317.29 c 299s|990000 |349994 | 0 | 0.0 | 193M| 137 | - | 146 |5379 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
323.02/323.12 c 305s| 1000k|352946 | 0 | 0.0 | 195M| 137 | - | 146 |5518 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
329.01/329.16 c 311s| 1010k|355947 | 0 | 0.0 | 198M| 137 | - | 146 |5949 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
336.11/336.23 c 318s| 1020k|358514 | 0 | 0.0 | 201M| 137 | - | 146 |6790 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
343.22/343.36 c 325s| 1030k|360983 | 0 | 0.0 | 204M| 137 | - | 146 |7076 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
350.82/350.95 c 332s| 1040k|363491 | 0 | 0.0 | 206M| 137 | - | 146 |6950 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
358.11/358.21 c 339s| 1050k|365905 | 0 | 0.0 | 209M| 137 | - | 146 |7141 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
365.12/365.27 c 346s| 1060k|368395 | 0 | 0.0 | 211M| 137 | - | 146 |6676 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
372.10/372.20 c 353s| 1070k|370911 | 0 | 0.0 | 214M| 137 | - | 146 |6398 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
379.00/379.12 c 359s| 1080k|373231 | 0 | 0.0 | 216M| 137 | - | 146 |6695 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
386.01/386.16 c 366s| 1090k|375568 | 0 | 0.0 | 219M| 137 | - | 146 |6513 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
393.11/393.20 c 373s| 1100k|377920 | 0 | 0.0 | 221M| 137 | - | 146 |6688 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
400.10/400.23 c 380s| 1110k|380127 | 0 | 0.0 | 224M| 137 | - | 146 |6940 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
408.10/408.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.10/408.24 c 387s| 1120k|381734 | 0 | 0.0 | 226M| 137 | - | 146 |7670 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
416.20/416.35 c 395s| 1130k|383501 | 0 | 0.0 | 229M| 137 | - | 146 |8209 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
424.50/424.61 c 403s| 1140k|385515 | 0 | 0.0 | 232M| 137 | - | 146 |8395 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
432.90/433.05 c 412s| 1150k|387279 | 0 | 0.0 | 234M| 137 | - | 146 |8475 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
440.90/441.01 c 419s| 1160k|389164 | 0 | 0.0 | 236M| 137 | - | 146 |8400 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
448.99/449.17 c 427s| 1170k|391014 | 0 | 0.0 | 239M| 137 | - | 146 |7866 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
457.19/457.30 c 435s| 1180k|392819 | 0 | 0.0 | 241M| 137 | - | 146 |7794 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
465.39/465.57 c 443s| 1190k|394781 | 0 | 0.0 | 244M| 137 | - | 146 |7945 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
473.48/473.69 c 451s| 1200k|396866 | 0 | 0.0 | 246M| 137 | - | 146 |7644 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
481.59/481.79 c 459s| 1210k|398658 | 0 | 0.0 | 249M| 137 | - | 146 |7828 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
490.49/490.65 c 468s| 1220k|399948 | 0 | 0.0 | 251M| 137 | - | 146 |8087 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
500.18/500.32 c 477s| 1230k|400896 | 0 | 0.0 | 254M| 137 | - | 146 |8825 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
509.48/509.66 c 486s| 1240k|402183 | 0 | 0.0 | 257M| 137 | - | 146 |9137 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
518.99/519.18 c 495s| 1250k|403382 | 0 | 0.0 | 259M| 137 | - | 146 |8992 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
528.17/528.32 c 504s| 1260k|404664 | 0 | 0.0 | 261M| 137 | - | 146 |9334 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
537.67/537.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.67/537.88 c 514s| 1270k|405901 | 0 | 0.0 | 264M| 137 | - | 146 |9154 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
547.37/547.58 c 523s| 1280k|407068 | 0 | 0.0 | 266M| 137 | - | 146 |9084 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
556.77/556.97 c 532s| 1290k|408411 | 0 | 0.0 | 268M| 137 | - | 146 |8717 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
565.76/565.98 c 541s| 1300k|410008 | 0 | 0.0 | 271M| 137 | - | 146 |8547 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
575.06/575.27 c 550s| 1310k|411289 | 0 | 0.0 | 274M| 137 | - | 146 |8699 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
585.36/585.51 c 560s| 1320k|412285 | 0 | 0.0 | 276M| 137 | - | 146 |8760 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
596.56/596.70 c 571s| 1330k|412795 | 0 | 0.0 | 279M| 137 | - | 146 |9190 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
607.65/607.89 c 582s| 1340k|413312 | 0 | 0.0 | 281M| 137 | - | 146 |9983 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
619.46/619.68 c 594s| 1350k|413816 | 0 | 0.0 | 284M| 137 | - | 146 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
630.95/631.17 c 605s| 1360k|414308 | 0 | 0.0 | 286M| 137 | - | 146 | 10k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
643.14/643.32 c 617s| 1370k|414695 | 0 | 0.0 | 289M| 137 | - | 146 | 11k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
655.54/655.71 c 629s| 1380k|415243 | 0 | 0.0 | 291M| 137 | - | 146 |9960 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
666.04/666.29 c 639s| 1390k|416399 | 0 | 0.0 | 293M| 137 | - | 146 |9476 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
677.14/677.34 c 650s| 1400k|417051 | 0 | 0.0 | 296M| 137 | - | 146 |9341 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
689.63/689.87 c 662s| 1410k|417475 | 0 | 0.0 | 298M| 137 | - | 146 |9403 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
702.73/702.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.73/702.91 c 675s| 1420k|417486 | 0 | 0.0 | 301M| 137 | - | 146 |9998 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
717.23/717.49 c 690s| 1430k|417306 | 0 | 0.0 | 304M| 137 | - | 146 | 10k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
733.22/733.48 c 705s| 1440k|416897 | 0 | 0.0 | 307M| 137 | - | 146 | 11k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
749.13/749.34 c 721s| 1450k|417006 | 0 | 0.0 | 309M| 137 | - | 146 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
762.22/762.47 c 734s| 1460k|417622 | 0 | 0.0 | 311M| 137 | - | 146 | 10k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
775.61/775.84 c 747s| 1470k|417958 | 0 | 0.0 | 314M| 137 | - | 146 | 10k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
789.71/789.93 c 761s| 1480k|417748 | 0 | 0.0 | 317M| 137 | - | 146 | 10k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
809.91/810.18 c 781s| 1490k|416354 | 0 | 0.0 | 320M| 137 | - | 146 | 11k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
831.20/831.40 c 802s| 1500k|415463 | 0 | 0.0 | 322M| 137 | - | 146 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
847.00/847.23 c 817s| 1510k|415228 | 0 | 0.0 | 324M| 137 | - | 146 | 10k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
865.41/865.64 c 835s| 1520k|413817 | 0 | 0.0 | 326M| 137 | - | 146 | 11k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
887.69/887.99 c 857s| 1530k|412125 | 0 | 0.0 | 327M| 137 | - | 146 | 11k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
908.99/909.29 c 879s| 1540k|410141 | 0 | 0.0 | 326M| 137 | - | 146 | 11k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
932.88/933.12 c 902s| 1550k|409377 | 0 | 0.0 | 328M| 137 | - | 146 | 10k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
938.78/939.03 c 908s| 1560k|414323 | 0 | 0.0 | 330M| 137 | - | 146 |9100 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
943.49/943.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.49/943.78 c 912s| 1570k|418616 | 0 | 0.0 | 333M| 137 | - | 146 |8935 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
949.08/949.35 c 918s| 1580k|422524 | 0 | 0.0 | 335M| 137 | - | 146 |8109 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
955.88/956.13 c 924s| 1590k|425749 | 0 | 0.0 | 338M| 137 | - | 146 |7626 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
962.28/962.55 c 931s| 1600k|428345 | 0 | 0.0 | 341M| 137 | - | 146 |7369 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
969.37/969.63 c 937s| 1610k|430205 | 0 | 0.0 | 344M| 137 | - | 146 |7145 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
975.98/976.28 c 944s| 1620k|431845 | 0 | 0.0 | 346M| 137 | - | 146 |6680 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
981.37/981.62 c 949s| 1630k|434938 | 0 | 0.0 | 349M| 137 | - | 146 |6357 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
987.48/987.75 c 955s| 1640k|437325 | 0 | 0.0 | 351M| 137 | - | 146 |6334 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
993.27/993.54 c 961s| 1650k|440335 | 0 | 0.0 | 353M| 137 | - | 146 |6232 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
997.67/997.98 c 965s| 1660k|446050 | 0 | 0.0 | 356M| 137 | - | 146 |5739 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1002.37/1002.64 c 969s| 1670k|451471 | 0 | 0.0 | 358M| 137 | - | 146 |5324 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1007.07/1007.39 c 974s| 1680k|456330 | 0 | 0.0 | 360M| 137 | - | 146 |5152 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1011.67/1011.98 c 978s| 1690k|461130 | 0 | 0.0 | 363M| 137 | - | 146 |4516 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1016.07/1016.32 c 982s| 1700k|465831 | 0 | 0.0 | 365M| 137 | - | 146 |3677 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1020.26/1020.57 c 986s| 1710k|470533 | 0 | 0.0 | 367M| 137 | - | 146 |2956 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1024.26/1024.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.26/1024.59 c 990s| 1720k|475289 | 0 | 0.0 | 370M| 137 | - | 146 |2820 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1028.46/1028.71 c 994s| 1730k|479577 | 0 | 0.0 | 373M| 137 | - | 146 |2272 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1032.46/1032.79 c 998s| 1740k|483256 | 0 | 0.0 | 375M| 137 | - | 146 |1876 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1036.46/1036.70 c 1002s| 1750k|487332 | 0 | 0.0 | 378M| 137 | - | 146 |1758 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1040.36/1040.64 c 1006s| 1760k|491154 | 0 | 0.0 | 380M| 137 | - | 146 |1613 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1044.35/1044.67 c 1009s| 1770k|494429 | 0 | 0.0 | 383M| 137 | - | 146 |1583 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1048.55/1048.80 c 1013s| 1780k|497856 | 0 | 0.0 | 386M| 137 | - | 146 |1649 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1052.76/1053.04 c 1017s| 1790k|500766 | 0 | 0.0 | 389M| 137 | - | 146 |1724 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1057.16/1057.40 c 1022s| 1800k|503552 | 0 | 0.0 | 391M| 137 | - | 146 |1696 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1061.56/1061.82 c 1026s| 1810k|506183 | 0 | 0.0 | 394M| 137 | - | 146 |1707 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1066.05/1066.31 c 1030s| 1820k|508670 | 0 | 0.0 | 397M| 137 | - | 146 |1637 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1070.65/1070.90 c 1034s| 1830k|510975 | 0 | 0.0 | 400M| 137 | - | 146 |1666 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1075.15/1075.43 c 1039s| 1840k|513241 | 0 | 0.0 | 403M| 137 | - | 146 |1686 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1079.75/1080.06 c 1043s| 1850k|515383 | 0 | 0.0 | 405M| 137 | - | 146 |1681 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1084.45/1084.70 c 1048s| 1860k|517661 | 0 | 0.0 | 408M| 137 | - | 146 |1625 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1088.85/1089.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.85/1089.18 c 1052s| 1870k|520306 | 0 | 0.0 | 411M| 137 | - | 146 |1631 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1093.15/1093.43 c 1056s| 1880k|523266 | 0 | 0.0 | 414M| 137 | - | 146 |1685 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1097.24/1097.55 c 1060s| 1890k|526552 | 0 | 0.0 | 417M| 137 | - | 146 |1646 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1101.14/1101.45 c 1064s| 1900k|529926 | 0 | 0.0 | 420M| 137 | - | 146 |1598 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1104.84/1105.15 c 1067s| 1910k|533241 | 0 | 0.0 | 423M| 137 | - | 146 |1579 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1108.55/1108.81 c 1071s| 1920k|536614 | 0 | 0.0 | 426M| 137 | - | 146 |1581 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1112.14/1112.49 c 1074s| 1930k|540035 | 0 | 0.0 | 429M| 137 | - | 146 |1595 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1115.84/1116.17 c 1077s| 1940k|543362 | 0 | 0.0 | 431M| 137 | - | 146 |1684 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1119.84/1120.13 c 1081s| 1950k|546106 | 0 | 0.0 | 433M| 137 | - | 146 |1630 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1123.44/1123.71 c 1085s| 1960k|549385 | 0 | 0.0 | 435M| 137 | - | 146 |1616 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1127.15/1127.40 c 1088s| 1970k|552499 | 0 | 0.0 | 438M| 137 | - | 146 |1594 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1130.73/1131.01 c 1091s| 1980k|555834 | 0 | 0.0 | 440M| 137 | - | 146 |1602 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1134.34/1134.68 c 1095s| 1990k|558918 | 0 | 0.0 | 443M| 137 | - | 146 |1656 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1137.93/1138.24 c 1098s| 2000k|564331 | 0 | 0.0 | 445M| 137 | - | 146 |2479 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1142.03/1142.33 c 1102s| 2010k|568786 | 0 | 0.0 | 448M| 137 | - | 146 |2533 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1146.03/1146.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.03/1146.33 c 1106s| 2020k|573100 | 0 | 0.0 | 450M| 137 | - | 146 |2394 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1149.93/1150.25 c 1110s| 2030k|577034 | 0 | 0.0 | 452M| 137 | - | 146 |2269 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1153.83/1154.17 c 1114s| 2040k|580620 | 0 | 0.0 | 455M| 137 | - | 146 |1989 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1157.73/1158.07 c 1117s| 2050k|584075 | 0 | 0.0 | 457M| 137 | - | 146 |1860 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1161.43/1161.73 c 1121s| 2060k|587956 | 0 | 0.0 | 459M| 137 | - | 146 |1749 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1165.03/1165.32 o 59
1165.03/1165.32 c *1124s| 2069k|590420 | 0 | 0.0 | 461M| 137 | - | 146 |1686 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1165.23/1165.51 c 1124s| 2070k|590586 | 0 | 0.0 | 461M| 137 | - | 146 |1698 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1169.04/1169.38 c 1128s| 2080k|594042 | 0 | 0.0 | 464M| 137 | - | 146 |1756 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1172.83/1173.13 c 1132s| 2090k|597477 | 0 | 0.0 | 466M| 137 | - | 146 |1696 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1176.42/1176.79 c 1135s| 2100k|600803 | 0 | 0.0 | 469M| 137 | - | 146 |1692 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1180.23/1180.51 c 1139s| 2110k|604080 | 0 | 0.0 | 471M| 137 | - | 146 |1704 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1183.93/1184.22 c 1142s| 2120k|607036 | 0 | 0.0 | 474M| 137 | - | 146 |1771 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1187.33/1187.65 c 1145s| 2130k|611312 | 0 | 0.0 | 476M| 137 | - | 146 |1673 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1189.93/1190.29 c 1148s| 2140k|617717 | 0 | 0.0 | 478M| 137 | - | 146 |1840 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1192.82/1193.12 c 1150s| 2150k|623777 | 0 | 0.0 | 481M| 137 | - | 146 |2277 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1195.73/1196.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.73/1196.02 c 1153s| 2160k|630078 | 0 | 0.0 | 483M| 137 | - | 146 |2330 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1198.73/1199.09 c 1156s| 2170k|636141 | 0 | 0.0 | 485M| 137 | - | 146 |2579 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1201.93/1202.28 c 1159s| 2180k|642130 | 0 | 0.0 | 487M| 137 | - | 146 |2929 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1205.23/1205.56 c 1162s| 2190k|648251 | 0 | 0.0 | 490M| 137 | - | 146 |2993 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1208.52/1208.86 c 1165s| 2200k|654166 | 0 | 0.0 | 492M| 137 | - | 146 |3059 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1211.82/1212.18 c 1168s| 2210k|660082 | 0 | 0.0 | 494M| 137 | - | 146 |3091 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1215.42/1215.71 c 1172s| 2220k|665806 | 0 | 0.0 | 496M| 137 | - | 146 |3426 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1219.11/1219.44 c 1175s| 2230k|671256 | 0 | 0.0 | 499M| 137 | - | 146 |3907 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1222.82/1223.11 c 1179s| 2240k|676956 | 0 | 0.0 | 501M| 137 | - | 146 |3837 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1226.52/1226.81 c 1182s| 2250k|682287 | 0 | 0.0 | 503M| 137 | - | 146 |3806 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1230.21/1230.53 c 1186s| 2260k|687902 | 0 | 0.0 | 505M| 137 | - | 146 |3908 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1234.12/1234.48 c 1190s| 2270k|693356 | 0 | 0.0 | 507M| 137 | - | 146 |4360 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1238.11/1238.48 c 1194s| 2280k|698990 | 0 | 0.0 | 510M| 137 | - | 146 |4736 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1242.11/1242.48 c 1197s| 2290k|704514 | 0 | 0.0 | 512M| 137 | - | 146 |4653 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1246.11/1246.44 c 1201s| 2300k|710116 | 0 | 0.0 | 514M| 137 | - | 146 |4539 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1250.11/1250.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.11/1250.49 c 1205s| 2310k|715642 | 0 | 0.0 | 516M| 137 | - | 146 |4690 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1254.21/1254.53 c 1209s| 2320k|721083 | 0 | 0.0 | 519M| 137 | - | 146 |4766 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1258.51/1258.81 c 1213s| 2330k|726369 | 0 | 0.0 | 521M| 137 | - | 146 |4759 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1262.60/1262.99 c 1217s| 2340k|731639 | 0 | 0.0 | 523M| 137 | - | 146 |5088 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1266.91/1267.25 c 1221s| 2350k|737030 | 0 | 0.0 | 525M| 137 | - | 146 |5151 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1271.10/1271.43 c 1225s| 2360k|742443 | 0 | 0.0 | 527M| 137 | - | 146 |5261 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1275.51/1275.81 c 1229s| 2370k|747882 | 0 | 0.0 | 530M| 137 | - | 146 |5570 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1280.01/1280.38 c 1234s| 2380k|753318 | 0 | 0.0 | 532M| 137 | - | 146 |5510 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1284.41/1284.76 c 1238s| 2390k|758675 | 0 | 0.0 | 534M| 137 | - | 146 |5918 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1289.00/1289.39 c 1242s| 2400k|763870 | 0 | 0.0 | 536M| 137 | - | 146 |5856 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1293.40/1293.73 c 1246s| 2410k|769212 | 0 | 0.0 | 538M| 137 | - | 146 |5287 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1297.80/1298.15 c 1251s| 2420k|774310 | 0 | 0.0 | 541M| 137 | - | 146 |5670 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1302.50/1302.80 c 1255s| 2430k|779428 | 0 | 0.0 | 543M| 137 | - | 146 |6195 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1307.40/1307.78 c 1260s| 2440k|784457 | 0 | 0.0 | 545M| 137 | - | 146 |6600 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1312.40/1312.71 c 1265s| 2450k|789361 | 0 | 0.0 | 547M| 137 | - | 146 |6442 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1317.50/1317.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.50/1317.88 c 1270s| 2460k|794288 | 0 | 0.0 | 549M| 137 | - | 146 |6974 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1322.70/1323.05 c 1275s| 2470k|799353 | 0 | 0.0 | 552M| 137 | - | 146 |6952 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1328.09/1328.41 c 1280s| 2480k|804456 | 0 | 0.0 | 554M| 137 | - | 146 |7047 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1333.30/1333.66 c 1285s| 2490k|809361 | 0 | 0.0 | 556M| 137 | - | 146 |6790 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1338.19/1338.58 c 1290s| 2500k|814212 | 0 | 0.0 | 558M| 137 | - | 146 |7312 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1343.59/1343.90 c 1295s| 2510k|819187 | 0 | 0.0 | 560M| 137 | - | 146 |7276 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1348.98/1349.34 c 1300s| 2520k|824096 | 0 | 0.0 | 562M| 137 | - | 146 |6751 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1354.19/1354.50 c 1305s| 2530k|828908 | 0 | 0.0 | 564M| 137 | - | 146 |6009 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1359.08/1359.41 c 1310s| 2540k|833689 | 0 | 0.0 | 566M| 137 | - | 146 |6391 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1364.38/1364.71 c 1315s| 2550k|838363 | 0 | 0.0 | 568M| 137 | - | 146 |6634 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1369.39/1369.77 c 1320s| 2560k|843203 | 0 | 0.0 | 570M| 137 | - | 146 |7018 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1374.89/1375.28 c 1325s| 2570k|847901 | 0 | 0.0 | 573M| 137 | - | 146 |7301 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1380.58/1380.98 c 1331s| 2580k|852558 | 0 | 0.0 | 575M| 137 | - | 146 |7070 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1386.28/1386.68 c 1336s| 2590k|857353 | 0 | 0.0 | 577M| 137 | - | 146 |7684 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1392.48/1392.86 c 1342s| 2600k|861947 | 0 | 0.0 | 579M| 137 | - | 146 |7877 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1397.78/1398.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.78/1398.18 c 1347s| 2610k|866582 | 0 | 0.0 | 581M| 137 | - | 146 |7395 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1403.67/1404.08 c 1353s| 2620k|871236 | 0 | 0.0 | 583M| 137 | - | 146 |7877 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1409.57/1409.98 c 1359s| 2630k|875886 | 0 | 0.0 | 585M| 137 | - | 146 |7785 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1415.47/1415.81 c 1364s| 2640k|880275 | 0 | 0.0 | 587M| 137 | - | 146 |7451 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1420.97/1421.35 c 1370s| 2650k|884932 | 0 | 0.0 | 589M| 137 | - | 146 |7150 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1426.47/1426.84 c 1375s| 2660k|889517 | 0 | 0.0 | 592M| 137 | - | 146 |7704 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1432.07/1432.42 c 1380s| 2670k|894263 | 0 | 0.0 | 593M| 137 | - | 146 |7032 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1437.47/1437.86 c 1385s| 2680k|898644 | 0 | 0.0 | 595M| 137 | - | 146 |6646 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1442.67/1443.05 c 1390s| 2690k|902906 | 0 | 0.0 | 597M| 137 | - | 146 |6864 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1448.27/1448.63 c 1396s| 2700k|907035 | 0 | 0.0 | 599M| 137 | - | 146 |6511 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1453.57/1453.97 c 1401s| 2710k|911460 | 0 | 0.0 | 601M| 137 | - | 146 |6486 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1459.06/1459.46 c 1406s| 2720k|915834 | 0 | 0.0 | 604M| 137 | - | 146 |6639 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1464.56/1464.98 c 1412s| 2730k|920212 | 0 | 0.0 | 606M| 137 | - | 146 |7147 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1470.27/1470.68 c 1417s| 2740k|924515 | 0 | 0.0 | 608M| 137 | - | 146 |7083 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1476.26/1476.68 c 1423s| 2750k|928703 | 0 | 0.0 | 610M| 137 | - | 146 |7865 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1482.46/1482.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.46/1482.82 c 1429s| 2760k|932943 | 0 | 0.0 | 612M| 137 | - | 146 |8077 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1489.07/1489.41 c 1435s| 2770k|937217 | 0 | 0.0 | 614M| 137 | - | 146 |7876 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1494.66/1495.03 c 1441s| 2780k|941577 | 0 | 0.0 | 616M| 137 | - | 146 |7631 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1501.07/1501.49 c 1447s| 2790k|945697 | 0 | 0.0 | 618M| 137 | - | 146 |8411 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1507.55/1507.93 c 1453s| 2800k|949972 | 0 | 0.0 | 620M| 137 | - | 146 |8202 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1513.95/1514.33 c 1459s| 2810k|954215 | 0 | 0.0 | 622M| 137 | - | 146 |7791 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1519.86/1520.27 c 1465s| 2820k|958591 | 0 | 0.0 | 624M| 137 | - | 146 |7928 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1526.05/1526.48 c 1471s| 2830k|963033 | 0 | 0.0 | 627M| 137 | - | 146 |8451 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1532.65/1533.04 c 1478s| 2840k|967391 | 0 | 0.0 | 629M| 137 | - | 146 |8215 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1539.25/1539.69 c 1484s| 2850k|971734 | 0 | 0.0 | 631M| 137 | - | 146 |7933 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1545.84/1546.28 c 1490s| 2860k|975816 | 0 | 0.0 | 633M| 137 | - | 146 |8270 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1552.44/1552.87 c 1497s| 2870k|979658 | 0 | 0.0 | 635M| 137 | - | 146 |8578 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1559.04/1559.41 c 1503s| 2880k|983512 | 0 | 0.0 | 637M| 137 | - | 146 |8108 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1565.94/1566.31 c 1510s| 2890k|986988 | 0 | 0.0 | 639M| 137 | - | 146 |8296 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1572.74/1573.14 c 1516s| 2900k|990882 | 0 | 0.0 | 641M| 137 | - | 146 |7973 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1580.04/1580.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.04/1580.45 c 1524s| 2910k|994572 | 0 | 0.0 | 643M| 137 | - | 146 |7662 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1587.14/1587.59 c 1530s| 2920k|998298 | 0 | 0.0 | 644M| 137 | - | 146 |7124 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1593.55/1593.95 c 1537s| 2930k| 1001k| 0 | 0.0 | 647M| 137 | - | 146 |7699 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1599.53/1599.98 c 1542s| 2940k| 1005k| 0 | 0.0 | 648M| 137 | - | 146 |7599 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1606.03/1606.48 c 1549s| 2950k| 1009k| 0 | 0.0 | 650M| 137 | - | 146 |7216 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1611.83/1612.21 c 1554s| 2960k| 1014k| 0 | 0.0 | 653M| 137 | - | 146 |7365 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1618.13/1618.59 c 1560s| 2970k| 1018k| 0 | 0.0 | 655M| 137 | - | 146 |7833 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1624.34/1624.71 c 1566s| 2980k| 1022k| 0 | 0.0 | 657M| 137 | - | 146 |8281 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1631.12/1631.54 c 1573s| 2990k| 1026k| 0 | 0.0 | 659M| 137 | - | 146 |8743 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1638.02/1638.49 c 1580s| 3000k| 1029k| 0 | 0.0 | 661M| 137 | - | 146 |8741 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1645.23/1645.65 c 1587s| 3010k| 1033k| 0 | 0.0 | 663M| 137 | - | 146 |9206 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1651.73/1652.14 c 1593s| 3020k| 1037k| 0 | 0.0 | 665M| 137 | - | 146 |8756 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1658.62/1659.06 c 1600s| 3030k| 1041k| 0 | 0.0 | 667M| 137 | - | 146 |9763 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1666.21/1666.65 c 1607s| 3040k| 1045k| 0 | 0.0 | 669M| 137 | - | 146 |9655 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1673.61/1674.01 c 1614s| 3050k| 1049k| 0 | 0.0 | 671M| 137 | - | 146 |9525 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1680.82/1681.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.82/1681.27 c 1621s| 3060k| 1053k| 0 | 0.0 | 674M| 137 | - | 146 |9602 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1688.22/1688.70 c 1629s| 3070k| 1057k| 0 | 0.0 | 676M| 137 | - | 146 | 10k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1695.91/1696.37 c 1636s| 3080k| 1061k| 0 | 0.0 | 678M| 137 | - | 146 |9555 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1703.81/1704.20 c 1644s| 3090k| 1065k| 0 | 0.0 | 680M| 137 | - | 146 |9826 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1711.51/1711.98 c 1651s| 3100k| 1068k| 0 | 0.0 | 682M| 137 | - | 146 |9677 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1719.60/1720.09 c 1659s| 3110k| 1072k| 0 | 0.0 | 684M| 137 | - | 146 |9886 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1728.11/1728.54 c 1667s| 3120k| 1075k| 0 | 0.0 | 686M| 137 | - | 146 |9948 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1736.51/1736.95 c 1676s| 3130k| 1079k| 0 | 0.0 | 688M| 137 | - | 146 | 10k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1745.00/1745.49 c 1684s| 3140k| 1082k| 0 | 0.0 | 689M| 137 | - | 146 |9618 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1754.01/1754.40 c 1693s| 3150k| 1085k| 0 | 0.0 | 691M| 137 | - | 146 |9390 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1762.40/1762.80 c 1701s| 3160k| 1089k| 0 | 0.0 | 693M| 137 | - | 146 |9479 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1769.79/1770.22 c 1708s| 3170k| 1092k| 0 | 0.0 | 695M| 137 | - | 146 |9902 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1777.99/1778.41 c 1716s| 3180k| 1096k| 0 | 0.0 | 697M| 137 | - | 146 |9563 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1785.90/1786.31 c 1724s| 3190k| 1099k| 0 | 0.0 | 699M| 137 | - | 146 | 10k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1794.09/1794.54 c 1732s| 3200k| 1102k| 0 | 0.0 | 701M| 137 | - | 146 |9191 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1800.09/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.50 c
1800.09/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.50 c Solving Time (sec) : 1737.70
1800.09/1800.50 c Solving Nodes : 3207372
1800.09/1800.50 c Primal Bound : +5.90000000000000e+01 (9 solutions)
1800.09/1800.50 c Dual Bound : +0.00000000000000e+00
1800.09/1800.50 c Gap : infinite
1800.09/1800.50 s SATISFIABLE
1800.09/1800.50 v x146 -x145 x144 -x143 -x142 x141 -x140 -x139 x138 x137 -x136 x135 x134 x133 -x132 x131 x130 x129 x128 x127 x126 x125 x124 -x123
1800.09/1800.50 v -x122 -x121 x120 -x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1800.09/1800.50 v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.09/1800.50 v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 x52 x51 -x50
1800.09/1800.50 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1800.09/1800.50 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 -x2 -x1
1800.09/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.50 c Solving Time : 1737.70
1800.09/1800.50 c Original Problem :
1800.09/1800.50 c Problem name : HOME/instance-2664233-1276600645.opb
1800.09/1800.50 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.50 c Constraints : 12 initial, 12 maximal
1800.09/1800.50 c Presolved Problem :
1800.09/1800.50 c Problem name : t_HOME/instance-2664233-1276600645.opb
1800.09/1800.50 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.50 c Constraints : 6 initial, 12051 maximal
1800.09/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.50 c linear : 0.00 0 0 0 0 0 6 0 0
1800.09/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c root node : - 0 - - 0 - - - -
1800.09/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.50 c linear : 6 0 6790530 0 2387295 821209 15720988 0 0 0
1800.09/1800.50 c logicor : 0+ 0 1838186 0 0 1186 793170 0 0 0
1800.09/1800.50 c countsols : 0 0 0 0 2387297 0 0 0 0 0
1800.09/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.50 c linear : 507.11 0.00 505.31 0.00 1.80
1800.09/1800.50 c logicor : 500.67 0.00 500.67 0.00 0.00
1800.09/1800.50 c countsols : 1.02 0.00 0.00 0.00 1.02
1800.09/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.50 c vbounds : 3.57 2 0 0
1800.09/1800.50 c rootredcost : 3.60 0 0 0
1800.09/1800.50 c pseudoobj : 96.70 6997377 207044 7953700
1800.09/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.50 c propagation : 181.08 1029439 983684 3716192 42.3 739 50.7 -
1800.09/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1800.09/1800.50 c applied globally : - - - 555903 28.2 - - -
1800.09/1800.50 c applied locally : - - - 433508 38.7 - - -
1800.09/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.50 c redcost : 0.00 0 0 0 0 0
1800.09/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.50 c intobj : 0.00 0 0 0 0 0
1800.09/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.50 c gomory : 0.00 0 0 0 0 0
1800.09/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.50 c cmir : 0.00 0 0 0 0 0
1800.09/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.50 c clique : 0.00 0 0 0 0 0
1800.09/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.50 c mcf : 0.00 0 0 0 0 0
1800.09/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.50 c Pricers : Time Calls Vars
1800.09/1800.50 c problem variables: 0.00 0 0
1800.09/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.50 c inference : 49.22 2387288 0 0 0 0 4774576
1800.09/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.51 c random : 0.00 0 0 0 0 0 0
1800.09/1800.51 c Primal Heuristics : Time Calls Found
1800.09/1800.51 c LP solutions : 0.00 - 0
1800.09/1800.51 c pseudo solutions : 0.60 - 9
1800.09/1800.51 c oneopt : 2.16 0 0
1800.09/1800.51 c trivial : 0.00 2 0
1800.09/1800.51 c simplerounding : 0.00 0 0
1800.09/1800.51 c zirounding : 0.00 0 0
1800.09/1800.51 c rounding : 0.00 0 0
1800.09/1800.51 c shifting : 0.00 0 0
1800.09/1800.51 c intshifting : 0.00 0 0
1800.09/1800.51 c twoopt : 0.00 0 0
1800.09/1800.51 c fixandinfer : 0.00 0 0
1800.09/1800.51 c feaspump : 0.00 0 0
1800.09/1800.51 c coefdiving : 0.00 0 0
1800.09/1800.51 c pscostdiving : 0.00 0 0
1800.09/1800.51 c fracdiving : 0.00 0 0
1800.09/1800.51 c veclendiving : 0.00 0 0
1800.09/1800.51 c intdiving : 0.00 0 0
1800.09/1800.51 c actconsdiving : 0.00 0 0
1800.09/1800.51 c objpscostdiving : 0.00 0 0
1800.09/1800.51 c rootsoldiving : 0.00 0 0
1800.09/1800.51 c linesearchdiving : 0.00 0 0
1800.09/1800.51 c guideddiving : 0.00 0 0
1800.09/1800.51 c octane : 0.00 0 0
1800.09/1800.51 c rens : 0.00 0 0
1800.09/1800.51 c rins : 0.00 0 0
1800.09/1800.51 c localbranching : 0.00 0 0
1800.09/1800.51 c mutation : 0.00 0 0
1800.09/1800.51 c crossover : 0.00 0 0
1800.09/1800.51 c dins : 0.00 0 0
1800.09/1800.51 c undercover : 0.00 0 0
1800.09/1800.51 c nlp : 1.32 0 0
1800.09/1800.51 c trysol : 1.45 0 0
1800.09/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.51 c (at root node) : - 0 0 0.00 -
1800.09/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.51 c B&B Tree :
1800.09/1800.51 c number of runs : 1
1800.09/1800.51 c nodes : 3207372
1800.09/1800.51 c nodes (total) : 3207372
1800.09/1800.51 c nodes left : 1105392
1800.09/1800.51 c max depth : 137
1800.09/1800.51 c max depth (total): 137
1800.09/1800.51 c backtracks : 238712 (7.4%)
1800.09/1800.51 c delayed cutoffs : 216190
1800.09/1800.51 c repropagations : 1498018 (3843665 domain reductions, 209365 cutoffs)
1800.09/1800.51 c avg switch length: 5.36
1800.09/1800.51 c switching time : 363.70
1800.09/1800.51 c Solution :
1800.09/1800.51 c Solutions found : 9 (9 improvements)
1800.09/1800.51 c First Solution : +1.28200000000000e+03 (in run 1, after 225404 nodes, 28.25 seconds, depth 43, found by <relaxation>)
1800.09/1800.51 c Primal Bound : +5.90000000000000e+01 (in run 1, after 2069489 nodes, 1124.08 seconds, depth 70, found by <relaxation>)
1800.09/1800.51 c Dual Bound : +0.00000000000000e+00
1800.09/1800.51 c Gap : infinite
1800.09/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.51 c Root Iterations : 0
OK 59
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664233-1276600645/watcher-2664233-1276600645 -o /tmp/evaluation-result-2664233-1276600645/solver-2664233-1276600645 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664233-1276600645.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.00 1.00 1.00 3/106 9213 /proc/meminfo: memFree=1544564/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=6584 CPUtime=0 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 1359522 6742016 922 1992294400 4194304 7136930 140735182905712 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9213/statm: 1646 931 254 719 0 925 0 [startup+0.0448279 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9213 /proc/meminfo: memFree=1544564/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=11120 CPUtime=0.03 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 2744 0 0 0 2 1 0 0 20 0 1 0 1359522 11386880 2056 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 2780 2056 375 719 0 2059 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11120 [startup+0.100831 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9213 /proc/meminfo: memFree=1544564/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=11396 CPUtime=0.09 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 2824 0 0 0 7 2 0 0 20 0 1 0 1359522 11669504 2136 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 2849 2136 383 719 0 2128 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11396 [startup+0.300845 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9213 /proc/meminfo: memFree=1544564/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=12344 CPUtime=0.28 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 3059 0 0 0 24 4 0 0 20 0 1 0 1359522 12640256 2371 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 3086 2371 383 719 0 2365 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12344 [startup+0.700872 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9213 /proc/meminfo: memFree=1544564/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=13920 CPUtime=0.69 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 3452 0 0 0 60 9 0 0 20 0 1 0 1359522 14254080 2764 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 3480 2764 383 719 0 2759 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13920 [startup+1.50093 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9214 /proc/meminfo: memFree=1533892/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=16200 CPUtime=1.49 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 4036 0 0 0 132 17 0 0 22 0 1 0 1359522 16588800 3348 1992294400 4194304 7136930 140735182905712 18446744073709551615 4979386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 4050 3348 383 719 0 3329 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16200 [startup+3.10104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9214 /proc/meminfo: memFree=1530792/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=20828 CPUtime=3.09 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 5233 0 0 0 275 34 0 0 25 0 1 0 1359522 21327872 4545 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 5207 4545 383 719 0 4486 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20828 [startup+6.30125 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9214 /proc/meminfo: memFree=1520252/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=30824 CPUtime=6.29 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 7815 0 0 0 563 66 0 0 25 0 1 0 1359522 31563776 7127 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 7706 7127 383 719 0 6985 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30824 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9214 /proc/meminfo: memFree=1501404/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=49440 CPUtime=12.69 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 12091 0 0 0 1141 128 0 0 25 0 1 0 1359522 50626560 11403 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 12360 11403 383 719 0 11639 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49440 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9214 /proc/meminfo: memFree=1462592/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=85840 CPUtime=25.48 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 21560 0 0 0 2282 266 0 0 25 0 1 0 1359522 87900160 20872 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 21460 20872 383 719 0 20739 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85840 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9214 /proc/meminfo: memFree=1430104/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=121008 CPUtime=51.08 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 29537 0 0 0 4612 496 0 0 25 0 1 0 1359522 123912192 28849 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 30252 28849 383 719 0 29531 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 121008 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9216 /proc/meminfo: memFree=1397368/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=153032 CPUtime=102.27 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 37606 0 0 0 9355 872 0 0 25 0 1 0 1359522 156704768 36918 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 38258 36918 384 719 0 37537 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 153032 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9218 /proc/meminfo: memFree=1380876/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=169940 CPUtime=162.26 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 41801 0 0 0 15031 1195 0 0 25 0 1 0 1359522 174018560 41113 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 42485 41113 384 719 0 41764 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 169940 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9220 /proc/meminfo: memFree=1350868/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=199020 CPUtime=222.24 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 49165 0 0 0 20781 1443 0 0 25 0 1 0 1359522 203796480 48477 1992294400 4194304 7136930 140735182905712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 49755 48477 384 719 0 49034 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 199020 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9220 /proc/meminfo: memFree=1322596/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=227652 CPUtime=282.23 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 56465 0 0 0 26555 1668 0 0 25 0 1 0 1359522 233115648 55777 1992294400 4194304 7136930 140735182905712 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 56913 55777 384 719 0 56192 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 227652 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9222 /proc/meminfo: memFree=1301392/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=247332 CPUtime=342.21 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 61469 0 0 0 32358 1863 0 0 25 0 1 0 1359522 253267968 60781 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 61833 60781 384 719 0 61112 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 247332 [startup+402.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 9224 /proc/meminfo: memFree=1280064/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=268612 CPUtime=402.2 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 66834 0 0 0 38170 2050 0 0 25 0 1 0 1359522 275058688 66146 1992294400 4194304 7136930 140735182905712 18446744073709551615 4976439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 67153 66146 384 719 0 66432 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 268612 [startup+462.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 9226 /proc/meminfo: memFree=1262456/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=286544 CPUtime=462.18 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 71406 0 0 0 44005 2213 0 0 25 0 1 0 1359522 293421056 70718 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 71636 70718 384 719 0 70915 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 286544 [startup+522.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 9228 /proc/meminfo: memFree=1243732/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=305276 CPUtime=522.17 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 75996 0 0 0 49852 2365 0 0 25 0 1 0 1359522 312602624 75308 1992294400 4194304 7136930 140735182905712 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 76319 75308 384 719 0 75598 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 305276 [startup+582.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9228 /proc/meminfo: memFree=1226124/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=321668 CPUtime=582.16 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 80147 0 0 0 55704 2512 0 0 25 0 1 0 1359522 329388032 79459 1992294400 4194304 7136930 140735182905712 18446744073709551615 4645581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 80417 79459 384 719 0 79696 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 321668 [startup+642.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9230 /proc/meminfo: memFree=1215212/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=332652 CPUtime=642.15 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 82884 0 0 0 61581 2634 0 0 25 0 1 0 1359522 340635648 82196 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 83163 82196 384 719 0 82442 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 332652 [startup+702.301 s] ################ # More data... # ################ /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 111885 0 0 0 102624 3581 0 0 25 0 1 0 1359522 466550784 111197 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 113904 111197 384 719 0 113183 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 455616 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9247 /proc/meminfo: memFree=1058600/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=494708 CPUtime=1122.04 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 121785 0 0 0 108327 3877 0 0 25 0 1 0 1359522 506580992 121097 1992294400 4194304 7136930 140735182905712 18446744073709551615 4978385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 123677 121097 384 719 0 122956 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 494708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9247 /proc/meminfo: memFree=1017928/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=535108 CPUtime=1182.03 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 132147 0 0 0 114026 4177 0 0 25 0 1 0 1359522 547950592 131459 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 133777 131459 384 719 0 133056 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 535108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9249 /proc/meminfo: memFree=977256/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=574036 CPUtime=1242.01 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 142189 0 0 0 119721 4480 0 0 25 0 1 0 1359522 587812864 141501 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 143509 141501 384 719 0 142788 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 574036 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9251 /proc/meminfo: memFree=945760/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=603340 CPUtime=1302.01 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 149845 0 0 0 125469 4732 0 0 25 0 1 0 1359522 617820160 149157 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 150835 149157 384 719 0 150114 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 603340 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9253 /proc/meminfo: memFree=919596/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=631080 CPUtime=1361.98 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 157037 0 0 0 131249 4949 0 0 25 0 1 0 1359522 646225920 156349 1992294400 4194304 7136930 140735182905712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 157770 156349 384 719 0 157049 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 631080 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9255 /proc/meminfo: memFree=893556/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=653412 CPUtime=1421.98 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 162852 0 0 0 137046 5152 0 0 25 0 1 0 1359522 669093888 162164 1992294400 4194304 7136930 140735182905712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 163353 162164 384 719 0 162632 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 653412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9255 /proc/meminfo: memFree=875080/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=672084 CPUtime=1481.96 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 167616 0 0 0 142842 5354 0 0 25 0 1 0 1359522 688214016 166928 1992294400 4194304 7136930 140735182905712 18446744073709551615 4923420 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 168021 166928 384 719 0 167300 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 672084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=854868/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=690640 CPUtime=1541.95 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 172432 0 0 0 148653 5542 0 0 25 0 1 0 1359522 707215360 171744 1992294400 4194304 7136930 140735182905712 18446744073709551615 4978068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 172660 171744 384 719 0 171939 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 690640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9259 /proc/meminfo: memFree=833416/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=728032 CPUtime=1601.93 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 177837 0 0 0 154469 5724 0 0 25 0 1 0 1359522 745504768 177149 1992294400 4194304 7136930 140735182905712 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 182008 177149 384 719 0 181287 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 728032 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9261 /proc/meminfo: memFree=815560/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=744944 CPUtime=1661.92 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 182228 0 0 0 160287 5905 0 0 25 0 1 0 1359522 762822656 181540 1992294400 4194304 7136930 140735182905712 18446744073709551615 4392806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 186236 181540 384 719 0 185515 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 744944 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9263 /proc/meminfo: memFree=797828/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=763220 CPUtime=1721.9 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 186818 0 0 0 166133 6057 0 0 25 0 1 0 1359522 781537280 186130 1992294400 4194304 7136930 140735182905712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 190805 186130 384 719 0 190084 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 763220 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9263 /proc/meminfo: memFree=781956/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=778120 CPUtime=1781.89 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 190521 0 0 0 171995 6194 0 0 25 0 1 0 1359522 796794880 189833 1992294400 4194304 7136930 140735182905712 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 194530 189833 384 719 0 193809 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 778120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9265 /proc/meminfo: memFree=777244/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=782636 CPUtime=1800.09 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 191685 0 0 0 173770 6239 0 0 25 0 1 0 1359522 801419264 190997 1992294400 4194304 7136930 140735182905712 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9213/statm: 195659 190997 384 719 0 194938 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 782636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9213 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9266 /proc/meminfo: memFree=777236/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=782636 CPUtime=1800.99 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 191691 0 0 0 173860 6239 0 0 25 0 1 0 1359522 801419264 191003 1992294400 4194304 7136930 140735182905712 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9213/statm: 195659 191003 390 719 0 194938 0 Current children cumulated CPU time (s) 1800.99 Current children cumulated vsize (KiB) 782636 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9266 /proc/meminfo: memFree=777236/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=782636 CPUtime=1801.79 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 191691 0 0 0 173940 6239 0 0 25 0 1 0 1359522 801419264 191003 1992294400 4194304 7136930 140735182905712 18446744073709551615 6166200 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9213/statm: 195659 191003 390 719 0 194938 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 782636 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9266 /proc/meminfo: memFree=777236/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=782636 CPUtime=1801.99 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 191691 0 0 0 173960 6239 0 0 25 0 1 0 1359522 801419264 191003 1992294400 4194304 7136930 140735182905712 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9213/statm: 195659 191003 390 719 0 194938 0 Current children cumulated CPU time (s) 1801.99 Current children cumulated vsize (KiB) 782636 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9266 /proc/meminfo: memFree=777236/2059040 swapFree=4192956/4192956 [pid=9213] ppid=9211 vsize=782636 CPUtime=1802.09 /proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 2331 0 -1 4202496 191691 0 0 0 173970 6239 0 0 25 0 1 0 1359522 801419264 191003 1992294400 4194304 7136930 140735182905712 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9213/statm: 195659 191003 390 719 0 194938 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 782636 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.58 CPU time (s): 1802.18 CPU user time (s): 1739.71 CPU system time (s): 62.4665 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 782636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1739.71 system time used= 62.4665 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 191691 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= 2005 runsolver used 3.12352 second user time and 8.38772 second system time The end
Begin job on node034 at 2010-06-15 13:17:25 IDJOB=2664233 IDBENCH=2902 IDSOLVER=1167 FILE ID=node034/2664233-1276600645 PBS_JOBID= 11172217 Free space on /tmp= 62516 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb 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-2664233-1276600645/watcher-2664233-1276600645 -o /tmp/evaluation-result-2664233-1276600645/solver-2664233-1276600645 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664233-1276600645.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=779326645 node034.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1545092 kB Buffers: 46572 kB Cached: 341484 kB SwapCached: 0 kB Active: 185288 kB Inactive: 262424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1545092 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3236 kB Writeback: 0 kB AnonPages: 59708 kB Mapped: 15488 kB Slab: 44512 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180844 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node034 at 2010-06-15 13:47:27