Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1800.63 | 1800.56 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo |
| MD5SUM | 272549dcfc1a9500042cdae4b8981d82 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.18997 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1255 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2693832-1277895026.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.39 c 1.1s| 10000 | 7235 | 0 | 0.0 |6634k| 183 | - | 295 |3647 | 0 | 0 | 0 |7979 | 0 | 0.000000e+00 | -- | Inf
2.79/2.82 o 647
2.79/2.82 c * 2.4s| 15297 | 9433 | 0 | 0.0 |9743k| 183 | - | 295 |6136 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.470000e+02 | Inf
2.79/2.89 o 624
2.79/2.89 c * 2.5s| 16090 | 10191 | 0 | 0.0 |9806k| 183 | - | 295 |5434 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.240000e+02 | Inf
2.89/2.94 o 512
2.89/2.94 c * 2.5s| 16632 | 10688 | 0 | 0.0 |9829k| 183 | - | 295 |4837 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.120000e+02 | Inf
3.09/3.14 o 326
3.09/3.14 c * 2.7s| 18737 | 12611 | 0 | 0.0 |9863k| 183 | - | 295 |2205 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
3.09/3.14 o 281
3.09/3.14 c * 2.7s| 18738 | 12608 | 0 | 0.0 |9869k| 183 | - | 295 |2205 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
3.19/3.25 c 2.8s| 20000 | 13748 | 0 | 0.0 | 10M| 183 | - | 295 |1602 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
5.09/5.15 c 4.4s| 30000 | 19908 | 0 | 0.0 | 15M| 183 | - | 295 |5379 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
8.29/8.34 c 7.2s| 40000 | 24120 | 0 | 0.0 | 21M| 183 | - | 295 |8708 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
13.09/13.13 c 11.7s| 50000 | 25944 | 0 | 0.0 | 25M| 183 | - | 295 |9126 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
17.79/17.83 c 16.1s| 60000 | 27918 | 0 | 0.0 | 25M| 183 | - | 295 |2698 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
18.79/18.83 c 16.9s| 70000 | 36501 | 0 | 0.0 | 29M| 183 | - | 295 |1567 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
19.80/19.89 c 17.6s| 80000 | 44932 | 0 | 0.0 | 32M| 183 | - | 295 |1460 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
20.90/20.97 c 18.5s| 90000 | 53287 | 0 | 0.0 | 36M| 183 | - | 295 |1265 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
22.09/22.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.09/22.13 c 19.4s|100000 | 61376 | 0 | 0.0 | 40M| 183 | - | 295 |1396 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
22.30/22.35 o 264
22.30/22.35 c *19.6s|101881 | 62883 | 0 | 0.0 | 41M| 183 | - | 295 |1453 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
23.29/23.35 c 20.4s|110000 | 69302 | 0 | 0.0 | 44M| 183 | - | 295 |1852 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
24.59/24.64 c 21.5s|120000 | 77158 | 0 | 0.0 | 48M| 183 | - | 295 |2145 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
25.99/26.00 c 22.6s|130000 | 84755 | 0 | 0.0 | 52M| 183 | - | 295 |2535 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
27.40/27.47 c 23.8s|140000 | 92199 | 0 | 0.0 | 56M| 183 | - | 295 |3259 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
29.19/29.26 c 25.3s|150000 | 99000 | 0 | 0.0 | 61M| 183 | - | 295 |4307 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
32.59/32.68 c 28.4s|160000 |102477 | 0 | 0.0 | 65M| 183 | - | 295 |7054 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
38.49/38.56 c 33.9s|170000 |102600 | 0 | 0.0 | 70M| 183 | - | 295 | 12k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
45.89/45.95 c 40.9s|180000 |102045 | 0 | 0.0 | 73M| 183 | - | 295 | 16k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
55.59/55.69 c 50.3s|190000 | 99465 | 0 | 0.0 | 73M| 183 | - | 295 | 17k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
61.30/61.35 c 55.7s|200000 |102105 | 0 | 0.0 | 68M| 183 | - | 295 |1230 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
62.49/62.58 c 56.7s|210000 |110040 | 0 | 0.0 | 72M| 183 | - | 295 |1839 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
63.80/63.88 c 57.7s|220000 |117834 | 0 | 0.0 | 76M| 183 | - | 295 |2127 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
65.10/65.19 c 58.8s|230000 |125652 | 0 | 0.0 | 80M| 183 | - | 295 |2272 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
65.49/65.54 o 245
65.49/65.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.49/65.54 c *59.0s|232818 |127912 | 0 | 0.0 | 81M| 183 | - | 295 |2429 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
66.39/66.49 c 59.8s|240000 |133551 | 0 | 0.0 | 84M| 183 | - | 295 |2463 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
67.80/67.85 c 60.8s|250000 |141309 | 0 | 0.0 | 88M| 183 | - | 295 |2711 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
69.20/69.23 c 62.0s|260000 |149027 | 0 | 0.0 | 92M| 183 | - | 295 |2931 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
70.69/70.71 c 63.2s|270000 |156490 | 0 | 0.0 | 96M| 183 | - | 295 |3117 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
70.99/71.03 o 222
70.99/71.03 c *63.5s|272368 |158298 | 0 | 0.0 | 96M| 183 | - | 295 |3152 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
72.09/72.19 c 64.5s|280000 |163950 | 0 | 0.0 | 99M| 183 | - | 295 |3084 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
72.19/72.26 o 211
72.19/72.26 c *64.5s|280410 |164203 | 0 | 0.0 | 100M| 183 | - | 295 |3123 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
73.60/73.67 c 65.7s|290000 |171413 | 0 | 0.0 | 103M| 183 | - | 295 |3191 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
75.09/75.15 c 66.9s|300000 |178923 | 0 | 0.0 | 107M| 183 | - | 295 |3120 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
76.60/76.69 c 68.2s|310000 |186274 | 0 | 0.0 | 111M| 183 | - | 295 |3060 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
78.10/78.14 c 69.4s|320000 |193836 | 0 | 0.0 | 115M| 183 | - | 295 |2839 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
79.40/79.48 o 169
79.40/79.48 c *70.5s|329440 |200651 | 0 | 0.0 | 118M| 183 | - | 295 |2663 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
79.50/79.55 c 70.5s|330000 |201112 | 0 | 0.0 | 119M| 183 | - | 295 |2638 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
80.99/81.03 c 71.7s|340000 |208589 | 0 | 0.0 | 123M| 183 | - | 295 |2544 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
80.99/81.07 o 165
80.99/81.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.99/81.07 c *71.8s|340227 |208498 | 0 | 0.0 | 123M| 183 | - | 295 |2519 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
82.40/82.50 c 73.0s|350000 |215826 | 0 | 0.0 | 127M| 183 | - | 295 |2420 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
84.00/84.03 c 74.2s|360000 |223132 | 0 | 0.0 | 131M| 183 | - | 295 |2458 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
85.49/85.53 c 75.5s|370000 |230517 | 0 | 0.0 | 135M| 183 | - | 295 |2401 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
86.99/87.05 c 76.7s|380000 |237868 | 0 | 0.0 | 139M| 183 | - | 295 |2386 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
88.49/88.59 c 78.0s|390000 |245181 | 0 | 0.0 | 143M| 183 | - | 295 |2261 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
90.10/90.16 c 79.3s|400000 |252318 | 0 | 0.0 | 148M| 183 | - | 295 |2249 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
91.69/91.72 c 80.5s|410000 |259550 | 0 | 0.0 | 152M| 183 | - | 295 |2533 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
93.30/93.32 c 81.9s|420000 |266626 | 0 | 0.0 | 156M| 183 | - | 295 |2559 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
94.90/94.94 c 83.2s|430000 |273685 | 0 | 0.0 | 161M| 183 | - | 295 |2738 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
96.49/96.59 c 84.6s|440000 |280689 | 0 | 0.0 | 165M| 183 | - | 295 |2881 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
98.09/98.16 c 85.9s|450000 |287859 | 0 | 0.0 | 169M| 183 | - | 295 |2952 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
99.79/99.81 c 87.3s|460000 |294878 | 0 | 0.0 | 173M| 183 | - | 295 |2686 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
101.40/101.49 c 88.7s|470000 |301765 | 0 | 0.0 | 177M| 183 | - | 295 |2754 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
103.10/103.19 c 90.2s|480000 |308590 | 0 | 0.0 | 182M| 183 | - | 295 |2922 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
104.89/104.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.89/104.90 c 91.6s|490000 |315393 | 0 | 0.0 | 186M| 183 | - | 295 |3139 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
106.49/106.55 c 93.0s|500000 |322408 | 0 | 0.0 | 190M| 183 | - | 295 |3169 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
108.19/108.26 c 94.4s|510000 |329355 | 0 | 0.0 | 194M| 183 | - | 295 |3030 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
110.00/110.03 c 95.9s|520000 |336091 | 0 | 0.0 | 199M| 183 | - | 295 |3351 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
111.80/111.85 c 97.5s|530000 |342776 | 0 | 0.0 | 203M| 183 | - | 295 |3592 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
113.60/113.60 c 99.0s|540000 |349635 | 0 | 0.0 | 207M| 183 | - | 295 |3858 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
115.30/115.36 c 100s|550000 |356563 | 0 | 0.0 | 211M| 183 | - | 295 |3833 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
117.19/117.22 c 102s|560000 |363211 | 0 | 0.0 | 215M| 183 | - | 295 |3852 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
119.09/119.13 c 104s|570000 |369750 | 0 | 0.0 | 220M| 183 | - | 295 |3856 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
121.00/121.07 c 105s|580000 |376204 | 0 | 0.0 | 224M| 183 | - | 295 |4086 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
122.89/122.96 c 107s|590000 |382817 | 0 | 0.0 | 228M| 183 | - | 295 |4177 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
124.79/124.84 c 109s|600000 |389557 | 0 | 0.0 | 232M| 183 | - | 295 |4311 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
126.79/126.89 c 110s|610000 |395878 | 0 | 0.0 | 236M| 183 | - | 295 |4500 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
128.90/128.96 c 112s|620000 |402250 | 0 | 0.0 | 240M| 183 | - | 295 |4762 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
131.00/131.05 c 114s|630000 |408607 | 0 | 0.0 | 245M| 183 | - | 295 |5071 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
133.19/133.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.19/133.23 c 116s|640000 |414832 | 0 | 0.0 | 249M| 183 | - | 295 |5231 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
135.50/135.50 c 118s|650000 |420877 | 0 | 0.0 | 253M| 183 | - | 295 |5099 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
137.70/137.78 c 120s|660000 |427002 | 0 | 0.0 | 257M| 183 | - | 295 |5374 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
140.20/140.25 c 122s|670000 |432753 | 0 | 0.0 | 261M| 183 | - | 295 |5983 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
142.80/142.80 c 124s|680000 |438407 | 0 | 0.0 | 266M| 183 | - | 295 |6311 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
145.29/145.37 c 127s|690000 |444138 | 0 | 0.0 | 270M| 183 | - | 295 |6809 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
148.30/148.37 c 129s|700000 |449126 | 0 | 0.0 | 274M| 183 | - | 295 |7394 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
151.60/151.61 c 132s|710000 |453940 | 0 | 0.0 | 278M| 183 | - | 295 |8116 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
155.00/155.08 c 135s|720000 |458426 | 0 | 0.0 | 282M| 183 | - | 295 |8907 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
159.00/159.00 c 139s|730000 |462333 | 0 | 0.0 | 286M| 183 | - | 295 |9541 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
163.50/163.52 c 143s|740000 |465343 | 0 | 0.0 | 290M| 183 | - | 295 | 10k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
168.20/168.26 c 147s|750000 |468172 | 0 | 0.0 | 293M| 183 | - | 295 | 10k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
170.50/170.58 o 143
170.50/170.58 c * 150s|754358 |466126 | 0 | 0.0 | 292M| 183 | - | 295 | 10k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
173.70/173.77 c 153s|760000 |466915 | 0 | 0.0 | 293M| 183 | - | 295 | 11k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
179.10/179.13 c 158s|770000 |469274 | 0 | 0.0 | 295M| 183 | - | 295 |9121 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
186.79/186.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.79/186.85 c 165s|780000 |467271 | 0 | 0.0 | 286M| 183 | - | 295 |3000 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
188.39/188.43 c 166s|790000 |474521 | 0 | 0.0 | 290M| 183 | - | 295 |2046 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
190.20/190.20 c 168s|800000 |481423 | 0 | 0.0 | 295M| 183 | - | 295 |2618 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
191.80/191.89 c 169s|810000 |488594 | 0 | 0.0 | 299M| 183 | - | 295 |2903 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
193.69/193.73 c 171s|820000 |495428 | 0 | 0.0 | 304M| 183 | - | 295 |3098 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
195.50/195.50 c 172s|830000 |502406 | 0 | 0.0 | 308M| 183 | - | 295 |3391 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
197.39/197.42 c 174s|840000 |509126 | 0 | 0.0 | 312M| 183 | - | 295 |3548 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
199.20/199.28 c 175s|850000 |516068 | 0 | 0.0 | 317M| 183 | - | 295 |3782 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
201.09/201.16 c 177s|860000 |522906 | 0 | 0.0 | 321M| 183 | - | 295 |4001 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
202.90/202.96 c 179s|870000 |529971 | 0 | 0.0 | 326M| 183 | - | 295 |4085 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
204.90/204.96 c 180s|880000 |536657 | 0 | 0.0 | 330M| 183 | - | 295 |4024 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
206.71/206.80 c 182s|890000 |543624 | 0 | 0.0 | 334M| 183 | - | 295 |4442 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
208.80/208.89 c 184s|900000 |550106 | 0 | 0.0 | 338M| 183 | - | 295 |4098 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
210.60/210.66 c 185s|910000 |557262 | 0 | 0.0 | 342M| 183 | - | 295 |4369 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
212.60/212.68 c 187s|920000 |563830 | 0 | 0.0 | 346M| 183 | - | 295 |4225 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
214.60/214.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.60/214.60 c 189s|930000 |570666 | 0 | 0.0 | 351M| 183 | - | 295 |4730 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
216.71/216.74 c 191s|940000 |577005 | 0 | 0.0 | 355M| 183 | - | 295 |4276 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
218.60/218.67 c 192s|950000 |583817 | 0 | 0.0 | 359M| 183 | - | 295 |4903 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
220.80/220.81 c 194s|960000 |590144 | 0 | 0.0 | 363M| 183 | - | 295 |4444 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
222.60/222.65 c 196s|970000 |597170 | 0 | 0.0 | 368M| 183 | - | 295 |4921 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 1.430000e+02 | Large
224.69/224.75 c 197s|980000 |603494 | 0 | 0.0 | 372M| 183 | - | 295 |4584 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.430000e+02 | Large
226.60/226.70 c 199s|990000 |610125 | 0 | 0.0 | 377M| 183 | - | 295 |5107 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 1.430000e+02 | Large
228.70/228.78 c 201s| 1000k|616618 | 0 | 0.0 | 381M| 183 | - | 295 |4859 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 1.430000e+02 | Large
230.80/230.81 c 203s| 1010k|623060 | 0 | 0.0 | 386M| 183 | - | 295 |5270 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 1.430000e+02 | Large
232.70/232.77 c 204s| 1020k|629753 | 0 | 0.0 | 391M| 183 | - | 295 |5599 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 1.430000e+02 | Large
235.00/235.02 c 206s| 1030k|635822 | 0 | 0.0 | 395M| 183 | - | 295 |5222 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 1.430000e+02 | Large
236.90/236.92 c 208s| 1040k|642614 | 0 | 0.0 | 400M| 183 | - | 295 |5528 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 1.430000e+02 | Large
239.00/239.09 c 210s| 1050k|648913 | 0 | 0.0 | 404M| 183 | - | 295 |5268 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.430000e+02 | Large
241.10/241.19 c 212s| 1060k|655261 | 0 | 0.0 | 409M| 183 | - | 295 |5469 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 1.430000e+02 | Large
243.00/243.09 c 213s| 1070k|662136 | 0 | 0.0 | 414M| 183 | - | 295 |5719 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 1.430000e+02 | Large
245.40/245.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.40/245.40 c 215s| 1080k|668139 | 0 | 0.0 | 418M| 183 | - | 295 |5436 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 1.430000e+02 | Large
247.41/247.45 c 217s| 1090k|674671 | 0 | 0.0 | 423M| 183 | - | 295 |5634 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 1.430000e+02 | Large
249.50/249.52 c 219s| 1100k|681208 | 0 | 0.0 | 427M| 183 | - | 295 |5471 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 1.430000e+02 | Large
251.70/251.80 c 221s| 1110k|687186 | 0 | 0.0 | 432M| 183 | - | 295 |5935 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 1.430000e+02 | Large
253.80/253.87 c 223s| 1120k|693793 | 0 | 0.0 | 437M| 183 | - | 295 |5732 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 1.430000e+02 | Large
256.10/256.14 c 225s| 1130k|699886 | 0 | 0.0 | 441M| 183 | - | 295 |5531 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 1.430000e+02 | Large
257.60/257.62 o 132
257.60/257.62 c * 226s| 1136k|702208 | 0 | 0.0 | 442M| 183 | - | 295 |5729 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 1.320000e+02 | Large
258.30/258.33 c 227s| 1140k|704431 | 0 | 0.0 | 444M| 183 | - | 295 |5535 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 1.320000e+02 | Large
260.30/260.33 c 228s| 1150k|711156 | 0 | 0.0 | 449M| 183 | - | 295 |5451 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 1.320000e+02 | Large
262.70/262.74 c 230s| 1160k|716746 | 0 | 0.0 | 453M| 183 | - | 295 |5610 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 1.320000e+02 | Large
264.90/264.90 c 232s| 1170k|722997 | 0 | 0.0 | 458M| 183 | - | 295 |5262 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 1.320000e+02 | Large
267.00/267.08 c 234s| 1180k|729189 | 0 | 0.0 | 462M| 183 | - | 295 |4953 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 1.320000e+02 | Large
269.30/269.35 c 236s| 1190k|735073 | 0 | 0.0 | 467M| 183 | - | 295 |5280 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 1.320000e+02 | Large
271.29/271.38 c 238s| 1200k|741547 | 0 | 0.0 | 472M| 183 | - | 295 |4870 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 1.320000e+02 | Large
273.60/273.61 c 240s| 1210k|747543 | 0 | 0.0 | 476M| 183 | - | 295 |4816 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 1.320000e+02 | Large
275.80/275.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.80/275.81 c 242s| 1220k|753562 | 0 | 0.0 | 481M| 183 | - | 295 |4601 | 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 1.320000e+02 | Large
277.70/277.70 c 243s| 1230k|760251 | 0 | 0.0 | 486M| 183 | - | 295 |4501 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 1.320000e+02 | Large
279.90/279.98 c 245s| 1240k|765981 | 0 | 0.0 | 491M| 183 | - | 295 |4854 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.320000e+02 | Large
282.20/282.26 c 247s| 1250k|771861 | 0 | 0.0 | 495M| 183 | - | 295 |4578 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 1.320000e+02 | Large
284.20/284.21 c 249s| 1260k|778481 | 0 | 0.0 | 500M| 183 | - | 295 |4617 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.320000e+02 | Large
286.40/286.41 c 251s| 1270k|784378 | 0 | 0.0 | 505M| 183 | - | 295 |4691 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 1.320000e+02 | Large
288.50/288.56 c 253s| 1280k|790519 | 0 | 0.0 | 509M| 183 | - | 295 |4208 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 1.320000e+02 | Large
290.50/290.59 c 255s| 1290k|796823 | 0 | 0.0 | 514M| 183 | - | 295 |4246 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 1.320000e+02 | Large
292.70/292.73 c 256s| 1300k|802864 | 0 | 0.0 | 519M| 183 | - | 295 |4499 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 1.320000e+02 | Large
294.90/294.94 c 258s| 1310k|808769 | 0 | 0.0 | 523M| 183 | - | 295 |4286 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 1.320000e+02 | Large
296.80/296.85 c 260s| 1320k|815367 | 0 | 0.0 | 528M| 183 | - | 295 |4102 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 1.320000e+02 | Large
298.70/298.74 c 262s| 1330k|822077 | 0 | 0.0 | 533M| 183 | - | 295 |4380 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 1.320000e+02 | Large
301.10/301.13 c 264s| 1340k|827535 | 0 | 0.0 | 537M| 183 | - | 295 |4412 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 1.320000e+02 | Large
303.20/303.23 c 266s| 1350k|833741 | 0 | 0.0 | 542M| 183 | - | 295 |4178 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 1.320000e+02 | Large
305.20/305.21 c 267s| 1360k|840129 | 0 | 0.0 | 547M| 183 | - | 295 |4370 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.320000e+02 | Large
307.40/307.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.40/307.44 c 269s| 1370k|846016 | 0 | 0.0 | 551M| 183 | - | 295 |4722 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.320000e+02 | Large
309.60/309.69 c 271s| 1380k|851881 | 0 | 0.0 | 556M| 183 | - | 295 |4336 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.320000e+02 | Large
311.71/311.77 c 273s| 1390k|858196 | 0 | 0.0 | 561M| 183 | - | 295 |4329 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 1.320000e+02 | Large
313.71/313.76 c 275s| 1400k|864659 | 0 | 0.0 | 565M| 183 | - | 295 |4537 | 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 1.320000e+02 | Large
316.10/316.14 c 277s| 1410k|870138 | 0 | 0.0 | 570M| 183 | - | 295 |4234 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 1.320000e+02 | Large
318.20/318.26 c 279s| 1420k|876296 | 0 | 0.0 | 575M| 183 | - | 295 |4103 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 1.320000e+02 | Large
320.20/320.23 c 280s| 1430k|882832 | 0 | 0.0 | 580M| 183 | - | 295 |4306 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 1.320000e+02 | Large
322.50/322.57 c 282s| 1440k|888428 | 0 | 0.0 | 584M| 183 | - | 295 |4484 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.320000e+02 | Large
324.81/324.86 c 284s| 1450k|894127 | 0 | 0.0 | 589M| 183 | - | 295 |4282 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 1.320000e+02 | Large
326.91/326.96 c 286s| 1460k|900363 | 0 | 0.0 | 594M| 183 | - | 295 |4310 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 1.320000e+02 | Large
329.01/329.02 c 288s| 1470k|906728 | 0 | 0.0 | 599M| 183 | - | 295 |4595 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 1.320000e+02 | Large
331.30/331.31 c 290s| 1480k|912426 | 0 | 0.0 | 603M| 183 | - | 295 |4487 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 1.320000e+02 | Large
333.60/333.64 c 292s| 1490k|918070 | 0 | 0.0 | 608M| 183 | - | 295 |4567 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 1.320000e+02 | Large
335.80/335.81 c 294s| 1500k|924169 | 0 | 0.0 | 613M| 183 | - | 295 |4360 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 1.320000e+02 | Large
337.91/337.93 c 296s| 1510k|930401 | 0 | 0.0 | 618M| 183 | - | 295 |4757 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 1.320000e+02 | Large
340.31/340.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.31/340.34 c 298s| 1520k|935987 | 0 | 0.0 | 622M| 183 | - | 295 |4643 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 1.320000e+02 | Large
340.70/340.71 o 102
340.70/340.71 c * 298s| 1521k|923586 | 0 | 0.0 | 609M| 183 | - | 295 |4556 | 0 | 0 | 0 | 719k| 0 | 1.000000e+00 | 1.020000e+02 | Large
342.90/342.96 c 300s| 1530k|928107 | 0 | 0.0 | 613M| 183 | - | 295 |4841 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 1.020000e+02 | Large
345.51/345.50 c 302s| 1540k|933816 | 0 | 0.0 | 618M| 183 | - | 295 |4552 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.020000e+02 | Large
348.00/348.07 c 305s| 1550k|939308 | 0 | 0.0 | 623M| 183 | - | 295 |5027 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 1.020000e+02 | Large
350.71/350.78 c 307s| 1560k|944269 | 0 | 0.0 | 628M| 183 | - | 295 |4688 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 1.020000e+02 | Large
353.20/353.27 c 309s| 1570k|949760 | 0 | 0.0 | 633M| 183 | - | 295 |4604 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 1.020000e+02 | Large
353.50/353.56 o 90
353.50/353.56 c * 310s| 1571k|925144 | 0 | 0.0 | 610M| 183 | - | 295 |4542 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
355.90/355.92 c 312s| 1580k|929862 | 0 | 0.0 | 614M| 183 | - | 295 |4114 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
359.00/359.01 c 314s| 1590k|934328 | 0 | 0.0 | 619M| 183 | - | 295 |4538 | 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
361.71/361.77 c 317s| 1600k|939262 | 0 | 0.0 | 624M| 183 | - | 295 |1127 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
364.20/364.25 c 319s| 1610k|944351 | 0 | 0.0 | 628M| 183 | - | 295 |1381 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
366.80/366.86 c 321s| 1620k|949236 | 0 | 0.0 | 633M| 183 | - | 295 |1288 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
369.30/369.31 c 323s| 1630k|954110 | 0 | 0.0 | 638M| 183 | - | 295 |2563 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
371.60/371.70 c 325s| 1640k|959313 | 0 | 0.0 | 643M| 183 | - | 295 |2840 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
374.20/374.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.20/374.27 c 327s| 1650k|964039 | 0 | 0.0 | 648M| 183 | - | 295 |2178 | 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
376.61/376.68 o 73
376.61/376.68 c * 329s| 1659k|930833 | 0 | 0.0 | 620M| 183 | - | 295 |3141 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
376.80/376.89 c 330s| 1660k|931135 | 0 | 0.0 | 620M| 183 | - | 295 |3242 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
380.00/380.03 c 332s| 1670k|935233 | 0 | 0.0 | 625M| 183 | - | 295 | 876 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
383.40/383.40 c 335s| 1680k|938422 | 0 | 0.0 | 629M| 183 | - | 295 |1353 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
386.50/386.55 c 338s| 1690k|941984 | 0 | 0.0 | 634M| 183 | - | 295 |2281 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
389.71/389.78 c 341s| 1700k|945502 | 0 | 0.0 | 638M| 183 | - | 295 |2283 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
393.10/393.12 c 344s| 1710k|948666 | 0 | 0.0 | 642M| 183 | - | 295 |3527 | 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
396.61/396.61 c 347s| 1720k|951990 | 0 | 0.0 | 646M| 183 | - | 295 |2939 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
399.90/399.94 c 350s| 1730k|955106 | 0 | 0.0 | 651M| 183 | - | 295 |3886 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
403.01/403.02 c 353s| 1740k|959121 | 0 | 0.0 | 655M| 183 | - | 295 |3612 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
406.21/406.28 c 356s| 1750k|962828 | 0 | 0.0 | 658M| 183 | - | 295 | 993 | 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
409.41/409.46 c 358s| 1760k|966207 | 0 | 0.0 | 662M| 183 | - | 295 |1711 | 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
412.11/412.17 c 361s| 1770k|970505 | 0 | 0.0 | 667M| 183 | - | 295 |2175 | 0 | 0 | 0 | 862k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
415.11/415.19 c 364s| 1780k|973818 | 0 | 0.0 | 671M| 183 | - | 295 |3566 | 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
418.11/418.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.11/418.16 c 366s| 1790k|977741 | 0 | 0.0 | 675M| 183 | - | 295 |3808 | 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.21/421.29 c 369s| 1800k|981330 | 0 | 0.0 | 679M| 183 | - | 295 |3538 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
424.51/424.50 c 372s| 1810k|984659 | 0 | 0.0 | 683M| 183 | - | 295 |3828 | 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
427.51/427.57 c 375s| 1820k|988624 | 0 | 0.0 | 688M| 183 | - | 295 |3496 | 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
431.01/431.07 c 378s| 1830k|991249 | 0 | 0.0 | 691M| 183 | - | 295 |4091 | 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
434.10/434.10 c 381s| 1840k|995228 | 0 | 0.0 | 696M| 183 | - | 295 |4275 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
437.71/437.74 c 384s| 1850k|997859 | 0 | 0.0 | 699M| 183 | - | 295 |4307 | 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
441.11/441.12 c 387s| 1860k| 1001k| 0 | 0.0 | 704M| 183 | - | 295 |4345 | 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
444.51/444.57 c 390s| 1870k| 1004k| 0 | 0.0 | 707M| 183 | - | 295 |4231 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
448.01/448.09 c 393s| 1880k| 1007k| 0 | 0.0 | 712M| 183 | - | 295 |4793 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
451.31/451.32 c 396s| 1890k| 1011k| 0 | 0.0 | 716M| 183 | - | 295 |3367 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
454.91/454.94 c 400s| 1900k| 1013k| 0 | 0.0 | 720M| 183 | - | 295 |5032 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
458.31/458.33 c 403s| 1910k| 1017k| 0 | 0.0 | 724M| 183 | - | 295 |4809 | 0 | 0 | 0 | 966k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
462.21/462.22 c 406s| 1920k| 1019k| 0 | 0.0 | 728M| 183 | - | 295 |4952 | 0 | 0 | 0 | 975k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
465.70/465.73 c 409s| 1930k| 1023k| 0 | 0.0 | 732M| 183 | - | 295 |4904 | 0 | 0 | 0 | 983k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
469.62/469.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.62/469.64 c 413s| 1940k| 1025k| 0 | 0.0 | 736M| 183 | - | 295 |5440 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
473.41/473.41 c 416s| 1950k| 1028k| 0 | 0.0 | 740M| 183 | - | 295 |5426 | 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
477.42/477.49 c 420s| 1960k| 1030k| 0 | 0.0 | 743M| 183 | - | 295 |5635 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
481.10/481.19 c 424s| 1970k| 1033k| 0 | 0.0 | 748M| 183 | - | 295 |5735 | 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
485.21/485.27 c 427s| 1980k| 1035k| 0 | 0.0 | 751M| 183 | - | 295 |5860 | 0 | 0 | 0 |1028k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
489.11/489.19 c 431s| 1990k| 1038k| 0 | 0.0 | 755M| 183 | - | 295 |6119 | 0 | 0 | 0 |1037k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
493.61/493.64 c 435s| 2000k| 1040k| 0 | 0.0 | 759M| 183 | - | 295 |6179 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
498.01/498.03 c 439s| 2010k| 1042k| 0 | 0.0 | 762M| 183 | - | 295 |5445 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
502.62/502.69 c 443s| 2020k| 1043k| 0 | 0.0 | 766M| 183 | - | 295 |6582 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
507.31/507.36 c 448s| 2030k| 1045k| 0 | 0.0 | 769M| 183 | - | 295 |6722 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
511.91/511.93 c 452s| 2040k| 1047k| 0 | 0.0 | 773M| 183 | - | 295 |6944 | 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
516.92/516.95 c 457s| 2050k| 1048k| 0 | 0.0 | 776M| 183 | - | 295 |7457 | 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
522.11/522.17 c 462s| 2060k| 1049k| 0 | 0.0 | 780M| 183 | - | 295 |8056 | 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
527.91/527.92 c 467s| 2070k| 1050k| 0 | 0.0 | 783M| 183 | - | 295 |8085 | 0 | 0 | 0 |1126k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
533.81/533.85 c 473s| 2080k| 1051k| 0 | 0.0 | 787M| 183 | - | 295 |8719 | 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
540.51/540.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.51/540.52 c 479s| 2090k| 1050k| 0 | 0.0 | 790M| 183 | - | 295 |9886 | 0 | 0 | 0 |1153k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
541.72/541.75 o 55
541.72/541.75 c * 480s| 2091k|927402 | 0 | 0.0 | 674M| 183 | - | 295 |8566 | 0 | 0 | 0 |1155k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
549.01/549.07 c 487s| 2100k|925692 | 0 | 0.0 | 678M| 183 | - | 295 |9412 | 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
557.61/557.64 c 495s| 2110k|923739 | 0 | 0.0 | 681M| 183 | - | 295 | 11k| 0 | 0 | 0 |1186k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
566.91/566.94 c 504s| 2120k|921798 | 0 | 0.0 | 682M| 183 | - | 295 | 11k| 0 | 0 | 0 |1205k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
577.11/577.10 c 514s| 2130k|919130 | 0 | 0.0 | 684M| 183 | - | 295 | 13k| 0 | 0 | 0 |1224k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
588.02/588.05 c 524s| 2140k|915995 | 0 | 0.0 | 685M| 183 | - | 295 | 14k| 0 | 0 | 0 |1244k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
600.32/600.36 c 536s| 2150k|911777 | 0 | 0.0 | 684M| 183 | - | 295 | 15k| 0 | 0 | 0 |1264k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
612.92/612.92 c 548s| 2160k|907269 | 0 | 0.0 | 682M| 183 | - | 295 | 16k| 0 | 0 | 0 |1284k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
618.92/618.93 c 554s| 2170k|909577 | 0 | 0.0 | 684M| 183 | - | 295 | 11k| 0 | 0 | 0 |1292k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
621.91/621.94 c 557s| 2180k|915081 | 0 | 0.0 | 687M| 183 | - | 295 |4876 | 0 | 0 | 0 |1301k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
626.61/626.60 c 561s| 2190k|915749 | 0 | 0.0 | 690M| 183 | - | 295 |4780 | 0 | 0 | 0 |1311k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
632.01/632.00 c 566s| 2200k|916952 | 0 | 0.0 | 695M| 183 | - | 295 |6490 | 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
637.51/637.53 c 571s| 2210k|918496 | 0 | 0.0 | 699M| 183 | - | 295 |7527 | 0 | 0 | 0 |1330k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
643.42/643.47 c 577s| 2220k|919935 | 0 | 0.0 | 704M| 183 | - | 295 |7189 | 0 | 0 | 0 |1339k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
649.22/649.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.22/649.24 c 582s| 2230k|921271 | 0 | 0.0 | 707M| 183 | - | 295 |7952 | 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
655.21/655.26 c 588s| 2240k|922425 | 0 | 0.0 | 711M| 183 | - | 295 |8314 | 0 | 0 | 0 |1357k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
661.02/661.07 c 593s| 2250k|923955 | 0 | 0.0 | 715M| 183 | - | 295 |8259 | 0 | 0 | 0 |1366k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
666.82/666.80 c 599s| 2260k|925319 | 0 | 0.0 | 719M| 183 | - | 295 | 10k| 0 | 0 | 0 |1375k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
672.92/672.97 c 604s| 2270k|926191 | 0 | 0.0 | 722M| 183 | - | 295 | 10k| 0 | 0 | 0 |1384k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
679.52/679.52 c 610s| 2280k|926767 | 0 | 0.0 | 726M| 183 | - | 295 | 10k| 0 | 0 | 0 |1393k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
684.82/684.87 c 615s| 2290k|927749 | 0 | 0.0 | 728M| 183 | - | 295 |6304 | 0 | 0 | 0 |1402k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
690.32/690.34 c 621s| 2300k|928388 | 0 | 0.0 | 732M| 183 | - | 295 |9653 | 0 | 0 | 0 |1412k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
696.82/696.88 c 627s| 2310k|928499 | 0 | 0.0 | 734M| 183 | - | 295 |9892 | 0 | 0 | 0 |1422k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
703.81/703.83 c 633s| 2320k|928688 | 0 | 0.0 | 738M| 183 | - | 295 | 10k| 0 | 0 | 0 |1432k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
710.52/710.56 c 640s| 2330k|929026 | 0 | 0.0 | 742M| 183 | - | 295 | 12k| 0 | 0 | 0 |1442k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
717.91/717.98 c 647s| 2340k|928623 | 0 | 0.0 | 744M| 183 | - | 295 | 11k| 0 | 0 | 0 |1452k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
725.02/725.07 c 654s| 2350k|929337 | 0 | 0.0 | 748M| 183 | - | 295 | 11k| 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
732.53/732.53 c 661s| 2360k|928797 | 0 | 0.0 | 751M| 183 | - | 295 | 13k| 0 | 0 | 0 |1473k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
740.62/740.66 c 668s| 2370k|928189 | 0 | 0.0 | 753M| 183 | - | 295 | 12k| 0 | 0 | 0 |1483k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
742.02/742.00 o 53
742.02/742.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.02/742.00 c * 670s| 2371k|910570 | 0 | 0.0 | 737M| 183 | - | 295 | 12k| 0 | 0 | 0 |1485k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
746.42/746.47 c 674s| 2380k|910715 | 0 | 0.0 | 738M| 183 | - | 295 |4888 | 0 | 0 | 0 |1494k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
752.33/752.40 c 679s| 2390k|909390 | 0 | 0.0 | 740M| 183 | - | 295 |6814 | 0 | 0 | 0 |1505k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
758.52/758.58 c 685s| 2400k|909049 | 0 | 0.0 | 743M| 183 | - | 295 |6600 | 0 | 0 | 0 |1516k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
765.02/765.09 c 691s| 2410k|907439 | 0 | 0.0 | 745M| 183 | - | 295 |8697 | 0 | 0 | 0 |1528k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
771.71/771.72 c 698s| 2420k|906096 | 0 | 0.0 | 747M| 183 | - | 295 |7598 | 0 | 0 | 0 |1540k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
778.32/778.39 c 704s| 2430k|905201 | 0 | 0.0 | 749M| 183 | - | 295 |8501 | 0 | 0 | 0 |1551k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
785.92/785.95 c 711s| 2440k|902980 | 0 | 0.0 | 750M| 183 | - | 295 |8991 | 0 | 0 | 0 |1563k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
793.42/793.44 c 718s| 2450k|901582 | 0 | 0.0 | 753M| 183 | - | 295 |7257 | 0 | 0 | 0 |1575k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
800.73/800.77 c 725s| 2460k|899469 | 0 | 0.0 | 754M| 183 | - | 295 |9378 | 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
808.32/808.40 c 732s| 2470k|896995 | 0 | 0.0 | 756M| 183 | - | 295 |9203 | 0 | 0 | 0 |1599k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
815.72/815.78 c 739s| 2480k|895292 | 0 | 0.0 | 758M| 183 | - | 295 |9052 | 0 | 0 | 0 |1610k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
823.63/823.67 c 747s| 2490k|892220 | 0 | 0.0 | 759M| 183 | - | 295 |9095 | 0 | 0 | 0 |1623k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
831.63/831.69 c 754s| 2500k|889165 | 0 | 0.0 | 760M| 183 | - | 295 |9140 | 0 | 0 | 0 |1636k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
839.62/839.66 c 762s| 2510k|886358 | 0 | 0.0 | 762M| 183 | - | 295 |9478 | 0 | 0 | 0 |1648k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
848.22/848.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.22/848.28 c 770s| 2520k|882630 | 0 | 0.0 | 763M| 183 | - | 295 |9956 | 0 | 0 | 0 |1661k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
856.83/856.85 c 778s| 2530k|878977 | 0 | 0.0 | 763M| 183 | - | 295 |9299 | 0 | 0 | 0 |1674k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
865.32/865.31 c 786s| 2540k|875545 | 0 | 0.0 | 765M| 183 | - | 295 | 10k| 0 | 0 | 0 |1687k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
871.42/871.47 o 36
871.42/871.47 c * 792s| 2546k|807492 | 0 | 0.0 | 701M| 183 | - | 295 | 10k| 0 | 0 | 0 |1696k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
875.42/875.40 c 796s| 2550k|805130 | 0 | 0.0 | 702M| 183 | - | 295 |9517 | 0 | 0 | 0 |1703k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
887.63/887.67 c 808s| 2560k|797900 | 0 | 0.0 | 705M| 183 | - | 295 | 11k| 0 | 0 | 0 |1722k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
900.43/900.45 c 820s| 2570k|790025 | 0 | 0.0 | 705M| 183 | - | 295 | 12k| 0 | 0 | 0 |1741k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
903.72/903.70 o 30
903.72/903.70 c * 823s| 2572k|719813 | 0 | 0.0 | 654M| 183 | - | 295 | 12k| 0 | 0 | 0 |1745k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
914.62/914.60 c 833s| 2580k|712928 | 0 | 0.0 | 653M| 183 | - | 295 | 12k| 0 | 0 | 0 |1760k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
930.03/930.09 c 848s| 2590k|703297 | 0 | 0.0 | 652M| 183 | - | 295 | 13k| 0 | 0 | 0 |1779k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
946.43/946.43 c 864s| 2600k|694262 | 0 | 0.0 | 650M| 183 | - | 295 | 15k| 0 | 0 | 0 |1799k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
963.73/963.77 c 881s| 2610k|685309 | 0 | 0.0 | 648M| 183 | - | 295 | 15k| 0 | 0 | 0 |1819k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
981.83/981.87 o 15
981.83/981.87 c * 898s| 2619k|588837 | 0 | 0.0 | 576M| 183 | - | 295 | 16k| 0 | 0 | 0 |1838k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
982.93/982.99 c 899s| 2620k|588069 | 0 | 0.0 | 575M| 183 | - | 295 | 15k| 0 | 0 | 0 |1839k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1006.73/1006.73 c 922s| 2630k|572077 | 0 | 0.0 | 571M| 183 | - | 295 | 14k| 0 | 0 | 0 |1867k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1028.63/1028.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.63/1028.68 c 944s| 2640k|557800 | 0 | 0.0 | 566M| 183 | - | 295 | 15k| 0 | 0 | 0 |1893k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1051.83/1051.87 c 966s| 2650k|542684 | 0 | 0.0 | 559M| 183 | - | 295 | 18k| 0 | 0 | 0 |1919k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1062.04/1062.03 o 12
1062.04/1062.03 c * 976s| 2654k|492012 | 0 | 0.0 | 525M| 183 | - | 295 | 19k| 0 | 0 | 0 |1929k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1079.73/1079.78 c 993s| 2660k|482353 | 0 | 0.0 | 522M| 183 | - | 295 | 20k| 0 | 0 | 0 |1946k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1109.34/1109.39 c 1022s| 2670k|466984 | 0 | 0.0 | 515M| 183 | - | 295 | 21k| 0 | 0 | 0 |1973k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1140.43/1140.49 c 1053s| 2680k|450931 | 0 | 0.0 | 507M| 183 | - | 295 | 22k| 0 | 0 | 0 |2001k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1172.03/1172.00 c 1084s| 2690k|435175 | 0 | 0.0 | 498M| 183 | - | 295 | 23k| 0 | 0 | 0 |2030k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1203.93/1203.91 c 1115s| 2700k|419563 | 0 | 0.0 | 489M| 183 | - | 295 | 24k| 0 | 0 | 0 |2060k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1236.74/1236.74 c 1147s| 2710k|403992 | 0 | 0.0 | 480M| 183 | - | 295 | 26k| 0 | 0 | 0 |2090k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1273.24/1273.24 c 1183s| 2720k|387007 | 0 | 0.0 | 468M| 183 | - | 295 | 28k| 0 | 0 | 0 |2122k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1308.54/1308.58 c 1217s| 2730k|370226 | 0 | 0.0 | 451M| 183 | - | 295 | 29k| 0 | 0 | 0 |2153k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1344.84/1344.88 c 1253s| 2740k|354550 | 0 | 0.0 | 432M| 183 | - | 295 | 31k| 0 | 0 | 0 |2185k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1380.24/1380.24 c 1288s| 2750k|339779 | 0 | 0.0 | 414M| 183 | - | 295 | 23k| 0 | 0 | 0 |2215k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1398.45/1398.46 c 1305s| 2760k|334250 | 0 | 0.0 | 408M| 183 | - | 295 | 15k| 0 | 0 | 0 |2234k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1406.45/1406.42 c 1313s| 2770k|337411 | 0 | 0.0 | 412M| 183 | - | 295 | 15k| 0 | 0 | 0 |2247k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1416.65/1416.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.65/1416.70 c 1323s| 2780k|337762 | 0 | 0.0 | 416M| 183 | - | 295 | 17k| 0 | 0 | 0 |2264k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1429.64/1429.67 c 1335s| 2790k|327197 | 0 | 0.0 | 404M| 183 | - | 295 | 13k| 0 | 0 | 0 |2286k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1467.14/1467.13 c 1372s| 2800k|301589 | 0 | 0.0 | 390M| 183 | - | 295 | 27k| 0 | 0 | 0 |2326k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1527.45/1527.46 c 1432s| 2810k|267431 | 0 | 0.0 | 360M| 183 | - | 295 | 33k| 0 | 0 | 0 |2370k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1589.46/1589.48 c 1493s| 2820k|231762 | 0 | 0.0 | 314M| 183 | - | 295 | 32k| 0 | 0 | 0 |2413k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1644.75/1644.72 c 1547s| 2830k|206462 | 0 | 0.0 | 273M| 183 | - | 295 | 42k| 0 | 0 | 0 |2450k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1704.66/1704.68 c 1606s| 2840k|184376 | 0 | 0.0 | 232M| 183 | - | 295 | 42k| 0 | 0 | 0 |2486k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1731.06/1731.05 c 1632s| 2850k|181138 | 0 | 0.0 | 218M| 183 | - | 295 | 29k| 0 | 0 | 0 |2505k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1750.66/1750.61 c 1652s| 2860k|179455 | 0 | 0.0 | 214M| 183 | - | 295 | 31k| 0 | 0 | 0 |2524k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1773.06/1773.08 c 1674s| 2870k|176330 | 0 | 0.0 | 209M| 183 | - | 295 | 35k| 0 | 0 | 0 |2544k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1791.66/1791.66 c 1692s| 2880k|177357 | 0 | 0.0 | 205M| 183 | - | 295 | 26k| 0 | 0 | 0 |2559k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1699.97
1800.07/1800.00 c Solving Nodes : 2888822
1800.07/1800.00 c Primal Bound : +1.20000000000000e+01 (22 solutions)
1800.07/1800.00 c Dual Bound : +3.00000000000000e+00
1800.07/1800.00 c Gap : 300.00 %
1800.07/1800.00 s SATISFIABLE
1800.07/1800.00 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1800.07/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127
1800.07/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1800.07/1800.00 v -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82
1800.07/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.07/1800.00 v -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.07/1800.00 v -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.07/1800.00 v -x4 -x3 -x2 -x1
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time : 1699.97
1800.07/1800.00 c Original Problem :
1800.07/1800.00 c Problem name : HOME/instance-2693832-1277895026.wbo
1800.07/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.07/1800.00 c Constraints : 166 initial, 166 maximal
1800.07/1800.00 c Presolved Problem :
1800.07/1800.00 c Problem name : t_HOME/instance-2693832-1277895026.wbo
1800.07/1800.00 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.07/1800.00 c Constraints : 159 initial, 49176 maximal
1800.07/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.07/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.07/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c linear : 0.00 0 0 0 63 0 6 1 0
1800.07/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c root node : - 16 - - 32 - - - -
1800.07/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 63 0 7989476 0 2098321 24118 4203491 0 0 0
1800.07/1800.00 c knapsack : 1 0 8304096 0 2163360 159442 32128352 0 0 0
1800.07/1800.00 c setppc : 23 0 8143010 0 2163198 320984 4362933 0 0 0
1800.07/1800.00 c linear : 63 0 7823648 0 2163349 449726 8045568 0 0 0
1800.07/1800.00 c logicor : 9+ 0 3873198 0 2163131 107789 1918747 0 0 0
1800.07/1800.00 c bounddisjunction : 0+ 0 318150 0 0 4 17315 0 0 0
1800.07/1800.00 c countsols : 0 0 0 0 2163371 0 0 0 0 0
1800.07/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c indicator : 7.11 0.00 4.08 0.00 3.03
1800.07/1800.00 c knapsack : 238.45 0.00 233.60 0.00 4.85
1800.07/1800.00 c setppc : 20.40 0.00 15.76 0.00 4.64
1800.07/1800.00 c linear : 77.91 0.00 77.74 0.00 0.17
1800.07/1800.00 c logicor : 617.39 0.00 615.95 0.00 1.44
1800.07/1800.00 c bounddisjunction : 1.67 0.00 1.67 0.00 0.00
1800.07/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.00 c vbounds : 0.00 2 0 0
1800.07/1800.00 c rootredcost : 0.01 0 0 0
1800.07/1800.00 c pseudoobj : 18.75 8350768 22669 4058884
1800.07/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.00 c propagation : 32.07 1060612 1060435 5107700 21.5 263007 13.4 -
1800.07/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c pseudo solution : 0.00 386 386 1597 22.4 96 13.6 -
1800.07/1800.00 c applied globally : - - - 2522555 16.4 - - -
1800.07/1800.00 c applied locally : - - - 48372 36.7 - - -
1800.07/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.00 c redcost : 0.00 0 0 0 0 0
1800.07/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.00 c intobj : 0.00 0 0 0 0 0
1800.07/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.00 c gomory : 0.00 0 0 0 0 0
1800.07/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.00 c cmir : 0.00 0 0 0 0 0
1800.07/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.00 c clique : 0.00 0 0 0 0 0
1800.07/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.00 c mcf : 0.00 0 0 0 0 0
1800.07/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.00 c Pricers : Time Calls Vars
1800.07/1800.00 c problem variables: 0.00 0 0
1800.07/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c inference : 20.21 2163349 0 0 0 0 4326698
1800.07/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c random : 0.00 0 0 0 0 0 0
1800.07/1800.00 c Primal Heuristics : Time Calls Found
1800.07/1800.00 c LP solutions : 0.00 - 0
1800.07/1800.00 c pseudo solutions : 1.09 - 22
1800.07/1800.00 c oneopt : 0.08 0 0
1800.07/1800.00 c trivial : 0.00 2 0
1800.07/1800.00 c simplerounding : 0.00 0 0
1800.07/1800.00 c zirounding : 0.00 0 0
1800.07/1800.00 c rounding : 0.00 0 0
1800.07/1800.00 c shifting : 0.00 0 0
1800.07/1800.00 c intshifting : 0.00 0 0
1800.07/1800.00 c twoopt : 0.00 0 0
1800.07/1800.00 c fixandinfer : 0.00 0 0
1800.07/1800.00 c feaspump : 0.00 0 0
1800.07/1800.00 c coefdiving : 0.00 0 0
1800.07/1800.00 c pscostdiving : 0.00 0 0
1800.07/1800.00 c fracdiving : 0.00 0 0
1800.07/1800.00 c veclendiving : 0.00 0 0
1800.07/1800.00 c intdiving : 0.00 0 0
1800.07/1800.00 c actconsdiving : 0.00 0 0
1800.07/1800.00 c objpscostdiving : 0.00 0 0
1800.07/1800.00 c rootsoldiving : 0.00 0 0
1800.07/1800.00 c linesearchdiving : 0.00 0 0
1800.07/1800.00 c guideddiving : 0.00 0 0
1800.07/1800.00 c octane : 0.00 0 0
1800.07/1800.00 c rens : 0.00 0 0
1800.07/1800.00 c rins : 0.00 0 0
1800.07/1800.00 c localbranching : 0.00 0 0
1800.07/1800.00 c mutation : 0.00 0 0
1800.07/1800.00 c crossover : 0.00 0 0
1800.07/1800.00 c dins : 0.00 0 0
1800.07/1800.00 c undercover : 0.00 0 0
1800.07/1800.00 c nlp : 0.00 0 0
1800.07/1800.00 c trysol : 0.02 1 0
1800.07/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.00 c (at root node) : - 0 0 0.00 -
1800.07/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.00 c B&B Tree :
1800.07/1800.00 c number of runs : 1
1800.07/1800.00 c nodes : 2888822
1800.07/1800.00 c nodes (total) : 2888822
1800.07/1800.00 c nodes left : 180254
1800.07/1800.00 c max depth : 183
1800.07/1800.00 c max depth (total): 183
1800.07/1800.00 c backtracks : 898059 (31.1%)
1800.07/1800.00 c delayed cutoffs : 767774
1800.07/1800.00 c repropagations : 3135200 (15644252 domain reductions, 359667 cutoffs)
1800.07/1800.00 c avg switch length: 28.42
1800.07/1800.00 c switching time : 523.68
1800.07/1800.00 c Solution :
1800.07/1800.00 c Solutions found : 22 (22 improvements)
1800.07/1800.00 c First Solution : +6.47000000000000e+02 (in run 1, after 15297 nodes, 2.44 seconds, depth 97, found by <relaxation>)
1800.07/1800.00 c Primal Bound : +1.20000000000000e+01 (in run 1, after 2654016 nodes, 975.96 seconds, depth 70, found by <relaxation>)
1800.07/1800.00 c Dual Bound : +3.00000000000000e+00
1800.07/1800.00 c Gap : 300.00 %
1800.07/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Root Iterations : 0
1800.56/1800.56 c Time complete: 1800.62.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693832-1277895026/watcher-2693832-1277895026 -o /tmp/evaluation-result-2693832-1277895026/solver-2693832-1277895026 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693832-1277895026.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.02 1.99 1.99 3/196 10426 /proc/meminfo: memFree=31799476/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=8256 CPUtime=0 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 1545 0 0 0 0 0 0 0 25 0 1 0 130648281 8454144 1467 4089446400 4194304 7136930 140736972098112 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10426/statm: 2064 1467 275 719 0 1343 0 [startup+0.089255 s] /proc/loadavg: 2.02 1.99 1.99 3/196 10426 /proc/meminfo: memFree=31799476/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=13008 CPUtime=0.07 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 5035 0 0 0 6 1 0 0 25 0 1 0 130648281 13320192 2548 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 3252 2548 404 719 0 2531 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13008 [startup+0.100236 s] /proc/loadavg: 2.02 1.99 1.99 3/196 10426 /proc/meminfo: memFree=31799476/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=13144 CPUtime=0.09 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 5062 0 0 0 7 2 0 0 25 0 1 0 130648281 13459456 2575 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 3286 2575 404 719 0 2565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13144 [startup+0.300206 s] /proc/loadavg: 2.02 1.99 1.99 3/196 10426 /proc/meminfo: memFree=31799476/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=14308 CPUtime=0.29 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 5365 0 0 0 23 6 0 0 25 0 1 0 130648281 14651392 2878 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 3577 2878 404 719 0 2856 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14308 [startup+0.701134 s] /proc/loadavg: 2.02 1.99 1.99 3/196 10426 /proc/meminfo: memFree=31799476/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=17236 CPUtime=0.69 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 6108 0 0 0 55 14 0 0 25 0 1 0 130648281 17649664 3621 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 4309 3621 404 719 0 3588 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17236 [startup+1.50097 s] /proc/loadavg: 2.02 1.99 1.99 3/197 10427 /proc/meminfo: memFree=31785704/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=21176 CPUtime=1.49 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 7105 0 0 0 123 26 0 0 25 0 1 0 130648281 21684224 4618 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 5294 4618 404 719 0 4573 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21176 [startup+3.10055 s] /proc/loadavg: 2.02 1.99 1.99 3/197 10428 /proc/meminfo: memFree=31781624/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=25552 CPUtime=3.09 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 8204 0 0 0 265 44 0 0 25 0 1 0 130648281 26165248 5717 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 6388 5717 404 719 0 5667 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25552 [startup+6.30105 s] /proc/loadavg: 2.02 1.99 1.99 3/197 10428 /proc/meminfo: memFree=31772516/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=34268 CPUtime=6.29 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 10408 0 0 0 541 88 0 0 25 0 1 0 130648281 35090432 7921 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 8567 7921 405 719 0 7846 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34268 [startup+12.7008 s] /proc/loadavg: 2.01 1.99 1.99 3/197 10428 /proc/meminfo: memFree=31761756/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=42812 CPUtime=12.69 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 12575 0 0 0 1133 136 0 0 25 0 1 0 130648281 43839488 10088 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 10703 10088 405 719 0 9982 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42812 [startup+25.5004 s] /proc/loadavg: 2.01 1.99 1.99 3/197 10428 /proc/meminfo: memFree=31728176/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=76460 CPUtime=25.49 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 20669 0 0 0 2218 331 0 0 25 0 1 0 130648281 78295040 18182 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 19115 18182 405 719 0 18394 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76460 [startup+51.1005 s] /proc/loadavg: 2.01 1.99 1.99 3/197 10429 /proc/meminfo: memFree=31695992/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=107076 CPUtime=51.09 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 28334 0 0 0 4589 520 0 0 25 0 1 0 130648281 109645824 25847 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 26769 25847 405 719 0 26048 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 107076 [startup+102.307 s] /proc/loadavg: 2.00 1.99 1.99 3/197 10430 /proc/meminfo: memFree=31568344/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=235844 CPUtime=102.3 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 60155 0 0 0 8940 1290 0 0 25 0 1 0 130648281 241504256 57668 4089446400 4194304 7136930 140736972098112 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 58961 57668 407 719 0 58240 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 235844 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 10432 /proc/meminfo: memFree=31452700/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=359412 CPUtime=162.29 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 89505 0 0 0 14189 2040 0 0 25 0 1 0 130648281 368037888 87018 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 89853 87018 407 719 0 89132 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 359412 [startup+222.301 s] /proc/loadavg: 2.06 2.00 2.00 3/197 10433 /proc/meminfo: memFree=31360636/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=446948 CPUtime=222.3 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 111722 0 0 0 19539 2691 0 0 25 0 1 0 130648281 457674752 109235 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 111737 109235 407 719 0 111016 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 446948 [startup+282.3 s] /proc/loadavg: 2.02 2.00 2.00 3/197 10435 /proc/meminfo: memFree=31225016/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=581428 CPUtime=282.3 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 145765 0 0 0 24744 3486 0 0 25 0 1 0 130648281 595382272 143278 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 145357 143278 407 719 0 144636 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 581428 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10436 /proc/meminfo: memFree=31087936/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=715032 CPUtime=342.3 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 179406 0 0 0 29955 4275 0 0 25 0 1 0 130648281 732192768 176919 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 178758 176919 407 719 0 178037 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 715032 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10441 /proc/meminfo: memFree=31047280/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=753916 CPUtime=402.31 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 189064 0 0 0 35222 5009 0 0 25 0 1 0 130648281 772009984 186577 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 188479 186577 407 719 0 187758 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 753916 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10443 /proc/meminfo: memFree=30977692/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=839704 CPUtime=462.31 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 206491 0 0 0 40630 5601 0 0 25 0 1 0 130648281 859856896 204004 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 209926 204004 407 719 0 209205 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 839704 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10444 /proc/meminfo: memFree=30921084/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=895176 CPUtime=522.31 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 220399 0 0 0 46171 6060 0 0 25 0 1 0 130648281 916660224 217912 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 223794 217912 407 719 0 223073 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 895176 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10446 /proc/meminfo: memFree=30912836/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=903552 CPUtime=582.31 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 222394 0 0 0 51872 6359 0 0 25 0 1 0 130648281 925237248 219907 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 225888 219907 407 719 0 225167 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 903552 [startup+642.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 10456 /proc/meminfo: memFree=30908084/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=906344 CPUtime=642.32 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 223064 0 0 0 57546 6686 0 0 25 0 1 0 130648281 928096256 220577 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 226586 220577 407 719 0 225865 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 906344 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10466 /proc/meminfo: memFree=30874328/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=939008 CPUtime=1002.33 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231259 0 0 0 91794 8439 0 0 25 0 1 0 130648281 961544192 228772 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 234752 228772 407 719 0 234031 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 939008 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10468 /proc/meminfo: memFree=30874388/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=939036 CPUtime=1062.33 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231285 0 0 0 97633 8600 0 0 25 0 1 0 130648281 961572864 228798 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 234759 228798 407 719 0 234038 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 939036 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10469 /proc/meminfo: memFree=30872208/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=939916 CPUtime=1122.33 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231398 0 0 0 103492 8741 0 0 25 0 1 0 130648281 962473984 228911 4089446400 4194304 7136930 140736972098112 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 234979 228911 407 719 0 234258 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 939916 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10471 /proc/meminfo: memFree=30871788/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=940160 CPUtime=1182.33 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231460 0 0 0 109365 8868 0 0 25 0 1 0 130648281 962723840 228973 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235040 228973 407 719 0 234319 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 940160 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10529 /proc/meminfo: memFree=30853692/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=941000 CPUtime=1242.34 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231652 0 0 0 115244 8990 0 0 25 0 1 0 130648281 963584000 229165 4089446400 4194304 7136930 140736972098112 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235250 229165 407 719 0 234529 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 941000 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10531 /proc/meminfo: memFree=30789652/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=941540 CPUtime=1302.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231719 0 0 0 121129 9106 0 0 25 0 1 0 130648281 964136960 229232 4089446400 4194304 7136930 140736972098112 18446744073709551615 4665351 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235385 229232 407 719 0 234664 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 941540 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10533 /proc/meminfo: memFree=30675268/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=941868 CPUtime=1362.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231788 0 0 0 127019 9216 0 0 25 0 1 0 130648281 964472832 229301 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235467 229301 407 719 0 234746 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 941868 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10534 /proc/meminfo: memFree=30623140/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=942056 CPUtime=1422.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231841 0 0 0 132827 9408 0 0 25 0 1 0 130648281 964665344 229354 4089446400 4194304 7136930 140736972098112 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235514 229354 407 719 0 234793 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 942056 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10536 /proc/meminfo: memFree=30540996/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=942232 CPUtime=1482.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 231892 0 0 0 138702 9533 0 0 25 0 1 0 130648281 964845568 229405 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235558 229405 407 719 0 234837 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 942232 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10537 /proc/meminfo: memFree=30462452/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=942524 CPUtime=1542.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232003 0 0 0 144612 9623 0 0 25 0 1 0 130648281 965144576 229516 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235631 229516 407 719 0 234910 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 942524 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10539 /proc/meminfo: memFree=30391336/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=943048 CPUtime=1602.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232074 0 0 0 150526 9709 0 0 25 0 1 0 130648281 965681152 229587 4089446400 4194304 7136930 140736972098112 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 235762 229587 407 719 0 235041 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 943048 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10541 /proc/meminfo: memFree=30353336/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=944852 CPUtime=1662.35 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232407 0 0 0 156455 9780 0 0 25 0 1 0 130648281 967528448 229920 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 236213 229920 407 719 0 235492 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 944852 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10542 /proc/meminfo: memFree=30328120/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=945108 CPUtime=1722.36 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232538 0 0 0 162383 9853 0 0 25 0 1 0 130648281 967790592 230051 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 236277 230051 407 719 0 235556 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 945108 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10544 /proc/meminfo: memFree=30305764/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=945660 CPUtime=1782.36 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232585 0 0 0 168273 9963 0 0 25 0 1 0 130648281 968355840 230098 4089446400 4194304 7136930 140736972098112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 236415 230098 407 719 0 235694 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 945660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10544 /proc/meminfo: memFree=30305508/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=945660 CPUtime=1800.07 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232585 0 0 0 169997 10010 0 0 25 0 1 0 130648281 968355840 230098 4089446400 4194304 7136930 140736972098112 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10426/statm: 236415 230098 407 719 0 235694 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 945660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10544 /proc/meminfo: memFree=30305508/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=945660 CPUtime=1800.26 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232590 0 0 0 170016 10010 0 0 25 0 1 0 130648281 968355840 230103 4089446400 4194304 7136930 140736972098112 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10426/statm: 236415 230103 412 719 0 235694 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 945660 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10544 /proc/meminfo: memFree=30305508/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=945508 CPUtime=1800.46 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232590 0 0 0 170036 10010 0 0 25 0 1 0 130648281 968200192 230065 4089446400 4194304 7136930 140736972098112 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10426/statm: 236377 230065 412 719 0 235656 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 945508 [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10544 /proc/meminfo: memFree=30305508/32950928 swapFree=67111528/67111528 [pid=10426] ppid=10424 vsize=923432 CPUtime=1800.56 /proc/10426/stat : 10426 (pbscip.linux.x8) R 10424 10426 8905 0 -1 4202496 232590 0 0 0 170046 10010 0 0 25 0 1 0 130648281 945594368 224546 4089446400 4194304 7136930 140736972098112 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10426/statm: 230793 224481 412 719 0 230072 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (KiB) 923432 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.63 CPU user time (s): 1700.5 CPU system time (s): 100.136 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 945660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1700.5 system time used= 100.136 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232597 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= 5 involuntary context switches= 2155 runsolver used 2.68159 second user time and 5.55516 second system time The end
Begin job on node127 at 2010-06-30 12:50:26 IDJOB=2693832 IDBENCH=78745 IDSOLVER=1206 FILE ID=node127/2693832-1277895026 PBS_JOBID= 11197100 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-33-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-2693832-1277895026/watcher-2693832-1277895026 -o /tmp/evaluation-result-2693832-1277895026/solver-2693832-1277895026 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693832-1277895026.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 272549dcfc1a9500042cdae4b8981d82 RANDOM SEED=442843490 node127.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.828 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.65 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.828 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 : 5332.75 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.828 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.828 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.72 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.828 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.828 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.828 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.82 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.828 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31799996 kB Buffers: 178828 kB Cached: 710664 kB SwapCached: 0 kB Active: 526804 kB Inactive: 484920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31799996 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 121704 kB Mapped: 20416 kB Slab: 75968 kB PageTables: 5036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1637696 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= 74200 MiB End job on node127 at 2010-06-30 13:20:28