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.51 | 1800.47 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo |
| MD5SUM | bda3418eb2779577fc492619368d84b3 |
| 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 | 49 |
| Best CPU time to get the best result obtained on this benchmark | 0.151976 |
| 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 | 26 |
| 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 | 1243 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 1242 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1220 |
| 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-2693925-1277897568.wbo>
0.00/0.00 c original problem has 221 variables (195 bin, 0 int, 0 impl, 26 cont) and 128 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, 34 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 3) 2 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 4) 4 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 61 upgd conss, 34 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/193 (52.3%) - 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 4 deleted vars, 19 deleted constraints, 24 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 34 implications, 49 cliques
0.00/0.02 c presolved problem has 217 variables (193 bin, 0 int, 0 impl, 24 cont) and 109 constraints
0.00/0.02 c 24 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 24 constraints of type <linear>
0.00/0.02 c 11 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 | - | 851k| 0 | - | 217 | 109 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.20/1.25 c 1.2s| 10000 | 7101 | 0 | 0.0 |5949k| 140 | - | 217 |2826 | 0 | 0 | 0 |4811 | 0 | 0.000000e+00 | -- | Inf
3.09/3.17 c 3.0s| 20000 | 12681 | 0 | 0.0 | 10M| 140 | - | 217 |3212 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
5.69/5.73 c 5.5s| 30000 | 17052 | 0 | 0.0 | 15M| 140 | - | 217 |6448 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
9.09/9.17 c 8.8s| 40000 | 20109 | 0 | 0.0 | 19M| 140 | - | 217 |8312 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
13.09/13.12 c 12.6s| 50000 | 22136 | 0 | 0.0 | 24M| 140 | - | 217 | 12k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
16.19/16.21 c 15.6s| 60000 | 27000 | 0 | 0.0 | 25M| 140 | - | 217 |4309 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
19.19/19.22 c 18.4s| 70000 | 30572 | 0 | 0.0 | 29M| 140 | - | 217 |6905 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
23.99/24.01 c 23.1s| 80000 | 31800 | 0 | 0.0 | 33M| 140 | - | 217 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
30.59/30.63 c 29.6s| 90000 | 31890 | 0 | 0.0 | 37M| 140 | - | 217 | 17k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
39.39/39.40 c 38.2s|100000 | 30742 | 0 | 0.0 | 39M| 140 | - | 217 | 21k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
48.99/49.01 c 47.7s|110000 | 28841 | 0 | 0.0 | 40M| 140 | - | 217 | 25k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
53.59/53.68 c 52.3s|120000 | 34271 | 0 | 0.0 | 38M| 140 | - | 217 |8004 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
55.89/55.93 c 54.4s|130000 | 40497 | 0 | 0.0 | 41M| 140 | - | 217 |5967 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
58.40/58.49 c 56.8s|140000 | 45810 | 0 | 0.0 | 46M| 140 | - | 217 |7837 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
61.69/61.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.69/61.73 c 60.0s|150000 | 50062 | 0 | 0.0 | 50M| 140 | - | 217 | 10k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
68.20/68.25 c 66.3s|160000 | 49553 | 0 | 0.0 | 52M| 140 | - | 217 | 14k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
80.09/80.11 c 78.0s|170000 | 44909 | 0 | 0.0 | 51M| 140 | - | 217 | 23k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
94.79/94.87 c 92.6s|180000 | 40209 | 0 | 0.0 | 44M| 140 | - | 217 | 21k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
100.39/100.49 c 98.1s|190000 | 44200 | 0 | 0.0 | 44M| 140 | - | 217 | 10k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
104.60/104.64 c 102s|200000 | 47930 | 0 | 0.0 | 46M| 140 | - | 217 |9945 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
108.79/108.83 c 106s|210000 | 51315 | 0 | 0.0 | 50M| 140 | - | 217 | 10k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
113.49/113.50 c 111s|220000 | 54221 | 0 | 0.0 | 53M| 140 | - | 217 | 12k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
118.39/118.44 c 116s|230000 | 57191 | 0 | 0.0 | 55M| 140 | - | 217 | 15k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
124.29/124.38 c 121s|240000 | 59446 | 0 | 0.0 | 58M| 140 | - | 217 | 18k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
131.39/131.46 c 128s|250000 | 60783 | 0 | 0.0 | 61M| 140 | - | 217 | 22k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
144.40/144.43 c 141s|260000 | 57421 | 0 | 0.0 | 54M| 140 | - | 217 | 20k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
154.90/154.95 c 151s|270000 | 56237 | 0 | 0.0 | 54M| 140 | - | 217 | 16k| 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
163.50/163.55 c 160s|280000 | 55831 | 0 | 0.0 | 56M| 140 | - | 217 | 16k| 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
171.49/171.56 c 168s|290000 | 56319 | 0 | 0.0 | 59M| 140 | - | 217 | 19k| 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | -- | Inf
180.30/180.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.30/180.31 c 176s|300000 | 56678 | 0 | 0.0 | 61M| 140 | - | 217 | 22k| 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | -- | Inf
189.99/190.02 c 186s|310000 | 56950 | 0 | 0.0 | 64M| 140 | - | 217 | 25k| 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
201.10/201.17 c 197s|320000 | 56659 | 0 | 0.0 | 66M| 140 | - | 217 | 29k| 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | -- | Inf
214.89/214.91 c 210s|330000 | 54527 | 0 | 0.0 | 67M| 140 | - | 217 | 32k| 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | -- | Inf
233.90/233.91 c 229s|340000 | 49828 | 0 | 0.0 | 62M| 140 | - | 217 | 26k| 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | -- | Inf
249.70/249.78 c 245s|350000 | 46115 | 0 | 0.0 | 60M| 140 | - | 217 | 32k| 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | -- | Inf
264.70/264.74 o 88
264.70/264.74 c * 260s|356413 | 37026 | 0 | 0.0 | 52M| 140 | - | 217 | 36k| 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
270.60/270.68 c 266s|360000 | 34827 | 0 | 0.0 | 44M| 140 | - | 217 | 17k| 0 | 0 | 0 | 358k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
272.69/272.72 c 268s|370000 | 42619 | 0 | 0.0 | 45M| 140 | - | 217 |7175 | 0 | 0 | 0 | 360k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
275.70/275.74 c 270s|380000 | 46507 | 0 | 0.0 | 46M| 140 | - | 217 |3312 | 0 | 0 | 0 | 367k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
277.20/277.22 c 272s|390000 | 53985 | 0 | 0.0 | 50M| 140 | - | 217 |3454 | 0 | 0 | 0 | 370k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
279.09/279.11 c 274s|400000 | 60649 | 0 | 0.0 | 55M| 140 | - | 217 |5771 | 0 | 0 | 0 | 375k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
281.40/281.46 c 276s|410000 | 66838 | 0 | 0.0 | 59M| 140 | - | 217 |7336 | 0 | 0 | 0 | 380k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
284.30/284.33 c 279s|420000 | 72231 | 0 | 0.0 | 63M| 140 | - | 217 |9534 | 0 | 0 | 0 | 386k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
288.39/288.43 c 283s|430000 | 75839 | 0 | 0.0 | 68M| 140 | - | 217 | 12k| 0 | 0 | 0 | 393k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
293.09/293.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.09/293.18 c 287s|440000 | 79154 | 0 | 0.0 | 68M| 140 | - | 217 |4831 | 0 | 0 | 0 | 400k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
295.50/295.57 c 290s|450000 | 84425 | 0 | 0.0 | 72M| 140 | - | 217 |4901 | 0 | 0 | 0 | 406k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
298.00/298.10 c 292s|460000 | 89560 | 0 | 0.0 | 76M| 140 | - | 217 |4534 | 0 | 0 | 0 | 412k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
301.10/301.11 c 295s|470000 | 94445 | 0 | 0.0 | 80M| 140 | - | 217 |7045 | 0 | 0 | 0 | 419k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
304.90/304.90 c 299s|480000 | 98438 | 0 | 0.0 | 85M| 140 | - | 217 |8606 | 0 | 0 | 0 | 428k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
309.30/309.30 c 303s|490000 |101695 | 0 | 0.0 | 89M| 140 | - | 217 | 10k| 0 | 0 | 0 | 437k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
314.20/314.26 c 308s|500000 |104576 | 0 | 0.0 | 92M| 140 | - | 217 | 11k| 0 | 0 | 0 | 447k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
319.70/319.80 c 313s|510000 |107081 | 0 | 0.0 | 96M| 140 | - | 217 | 13k| 0 | 0 | 0 | 456k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
326.70/326.75 c 320s|520000 |108269 | 0 | 0.0 | 100M| 140 | - | 217 | 15k| 0 | 0 | 0 | 468k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
335.20/335.26 c 328s|530000 |108038 | 0 | 0.0 | 103M| 140 | - | 217 | 18k| 0 | 0 | 0 | 480k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
345.70/345.72 c 338s|540000 |106478 | 0 | 0.0 | 104M| 140 | - | 217 | 22k| 0 | 0 | 0 | 494k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
356.10/356.11 c 349s|550000 |105936 | 0 | 0.0 | 100M| 140 | - | 217 |5391 | 0 | 0 | 0 | 505k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
359.00/359.00 c 352s|560000 |110806 | 0 | 0.0 | 104M| 140 | - | 217 |6011 | 0 | 0 | 0 | 511k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
362.30/362.32 c 355s|570000 |115017 | 0 | 0.0 | 108M| 140 | - | 217 |7679 | 0 | 0 | 0 | 517k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
366.30/366.33 c 359s|580000 |118284 | 0 | 0.0 | 112M| 140 | - | 217 |9030 | 0 | 0 | 0 | 525k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
371.20/371.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.20/371.26 c 363s|590000 |120157 | 0 | 0.0 | 115M| 140 | - | 217 | 10k| 0 | 0 | 0 | 533k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
373.50/373.53 c 365s|600000 |126428 | 0 | 0.0 | 117M| 140 | - | 217 |4751 | 0 | 0 | 0 | 537k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
378.30/378.38 c 370s|610000 |127767 | 0 | 0.0 | 121M| 140 | - | 217 |9499 | 0 | 0 | 0 | 549k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
385.30/385.35 c 377s|620000 |128500 | 0 | 0.0 | 125M| 140 | - | 217 | 13k| 0 | 0 | 0 | 562k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
395.20/395.23 c 387s|630000 |127127 | 0 | 0.0 | 127M| 140 | - | 217 | 16k| 0 | 0 | 0 | 577k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
407.11/407.12 c 398s|640000 |124453 | 0 | 0.0 | 128M| 140 | - | 217 | 19k| 0 | 0 | 0 | 593k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
421.80/421.88 c 413s|650000 |120295 | 0 | 0.0 | 127M| 140 | - | 217 | 23k| 0 | 0 | 0 | 610k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
440.30/440.33 c 431s|660000 |113575 | 0 | 0.0 | 123M| 140 | - | 217 | 29k| 0 | 0 | 0 | 629k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
451.70/451.76 c 443s|670000 |112085 | 0 | 0.0 | 116M| 140 | - | 217 |9854 | 0 | 0 | 0 | 642k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
457.90/457.96 c 449s|680000 |113148 | 0 | 0.0 | 119M| 140 | - | 217 | 12k| 0 | 0 | 0 | 653k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
465.20/465.20 c 456s|690000 |113514 | 0 | 0.0 | 121M| 140 | - | 217 | 14k| 0 | 0 | 0 | 664k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
472.40/472.41 c 463s|700000 |114220 | 0 | 0.0 | 123M| 140 | - | 217 | 15k| 0 | 0 | 0 | 674k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
480.50/480.51 c 471s|710000 |114067 | 0 | 0.0 | 125M| 140 | - | 217 | 17k| 0 | 0 | 0 | 685k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
487.41/487.42 c 478s|720000 |116793 | 0 | 0.0 | 124M| 140 | - | 217 | 10k| 0 | 0 | 0 | 693k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
489.80/489.87 c 480s|730000 |123545 | 0 | 0.0 | 127M| 140 | - | 217 |5183 | 0 | 0 | 0 | 697k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
492.60/492.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.60/492.66 c 483s|740000 |128961 | 0 | 0.0 | 131M| 140 | - | 217 |6343 | 0 | 0 | 0 | 702k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
496.80/496.81 c 487s|750000 |131951 | 0 | 0.0 | 135M| 140 | - | 217 |8364 | 0 | 0 | 0 | 710k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
504.30/504.36 c 494s|760000 |129549 | 0 | 0.0 | 136M| 140 | - | 217 | 13k| 0 | 0 | 0 | 723k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
522.90/522.98 c 512s|770000 |119273 | 0 | 0.0 | 126M| 140 | - | 217 | 24k| 0 | 0 | 0 | 746k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
535.90/535.98 c 525s|780000 |115719 | 0 | 0.0 | 121M| 140 | - | 217 | 16k| 0 | 0 | 0 | 762k| 0 | 1.700000e+01 | 8.800000e+01 | 417.65%
548.30/548.31 c 537s|790000 |111744 | 0 | 0.0 | 119M| 140 | - | 217 | 19k| 0 | 0 | 0 | 777k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
561.11/561.15 c 550s|800000 |107525 | 0 | 0.0 | 118M| 140 | - | 217 | 23k| 0 | 0 | 0 | 792k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
570.00/570.02 c 559s|810000 |110430 | 0 | 0.0 | 117M| 140 | - | 217 | 14k| 0 | 0 | 0 | 800k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
574.90/574.94 c 563s|820000 |114664 | 0 | 0.0 | 119M| 140 | - | 217 |9618 | 0 | 0 | 0 | 807k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
579.61/579.65 c 568s|830000 |118089 | 0 | 0.0 | 122M| 140 | - | 217 |9496 | 0 | 0 | 0 | 814k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
584.90/584.97 c 573s|840000 |120603 | 0 | 0.0 | 126M| 140 | - | 217 | 10k| 0 | 0 | 0 | 823k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
591.70/591.76 c 580s|850000 |121619 | 0 | 0.0 | 128M| 140 | - | 217 | 12k| 0 | 0 | 0 | 833k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
599.91/599.90 c 588s|860000 |121095 | 0 | 0.0 | 130M| 140 | - | 217 | 15k| 0 | 0 | 0 | 844k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
611.31/611.36 c 599s|870000 |117140 | 0 | 0.0 | 128M| 140 | - | 217 | 18k| 0 | 0 | 0 | 858k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
623.21/623.25 c 611s|880000 |115480 | 0 | 0.0 | 125M| 140 | - | 217 | 17k| 0 | 0 | 0 | 871k| 0 | 1.800000e+01 | 8.800000e+01 | 388.89%
633.21/633.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.21/633.21 c 621s|890000 |115355 | 0 | 0.0 | 126M| 140 | - | 217 | 15k| 0 | 0 | 0 | 882k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
644.20/644.28 c 632s|900000 |113518 | 0 | 0.0 | 127M| 140 | - | 217 | 16k| 0 | 0 | 0 | 896k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
657.41/657.44 c 645s|910000 |110439 | 0 | 0.0 | 128M| 140 | - | 217 | 20k| 0 | 0 | 0 | 911k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
673.90/673.92 c 661s|920000 |105234 | 0 | 0.0 | 127M| 140 | - | 217 | 24k| 0 | 0 | 0 | 927k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
692.81/692.86 c 680s|930000 | 99895 | 0 | 0.0 | 123M| 140 | - | 217 | 25k| 0 | 0 | 0 | 944k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
716.41/716.48 c 703s|940000 | 91991 | 0 | 0.0 | 113M| 140 | - | 217 | 25k| 0 | 0 | 0 | 962k| 0 | 1.900000e+01 | 8.800000e+01 | 363.16%
722.91/722.97 c 709s|950000 | 96535 | 0 | 0.0 | 109M| 140 | - | 217 | 10k| 0 | 0 | 0 | 967k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
726.61/726.68 c 713s|960000 |101055 | 0 | 0.0 | 111M| 140 | - | 217 |3791 | 0 | 0 | 0 | 972k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
729.81/729.84 c 716s|970000 |105543 | 0 | 0.0 | 115M| 140 | - | 217 |4172 | 0 | 0 | 0 | 978k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
733.71/733.80 c 720s|980000 |108757 | 0 | 0.0 | 118M| 140 | - | 217 |5224 | 0 | 0 | 0 | 985k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
739.41/739.40 c 725s|990000 |109287 | 0 | 0.0 | 121M| 140 | - | 217 |6643 | 0 | 0 | 0 | 994k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
743.90/743.99 c 730s| 1000k|111879 | 0 | 0.0 | 121M| 140 | - | 217 |4313 | 0 | 0 | 0 |1001k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
746.11/746.11 c 732s| 1010k|118644 | 0 | 0.0 | 126M| 140 | - | 217 |5777 | 0 | 0 | 0 |1004k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
749.61/749.65 c 735s| 1020k|123050 | 0 | 0.0 | 130M| 140 | - | 217 |8370 | 0 | 0 | 0 |1009k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
756.01/756.03 c 742s| 1030k|123656 | 0 | 0.0 | 132M| 140 | - | 217 |4715 | 0 | 0 | 0 |1018k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
760.71/760.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.71/760.74 c 746s| 1040k|125439 | 0 | 0.0 | 134M| 140 | - | 217 |5135 | 0 | 0 | 0 |1026k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
765.91/765.90 c 751s| 1050k|126971 | 0 | 0.0 | 136M| 140 | - | 217 |6091 | 0 | 0 | 0 |1035k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
771.71/771.78 c 757s| 1060k|127482 | 0 | 0.0 | 138M| 140 | - | 217 |7017 | 0 | 0 | 0 |1045k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
778.10/778.11 c 763s| 1070k|127336 | 0 | 0.0 | 138M| 140 | - | 217 |8785 | 0 | 0 | 0 |1054k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
780.71/780.74 c 766s| 1080k|133723 | 0 | 0.0 | 141M| 140 | - | 217 |7892 | 0 | 0 | 0 |1059k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
784.10/784.15 c 769s| 1090k|138983 | 0 | 0.0 | 146M| 140 | - | 217 |9128 | 0 | 0 | 0 |1064k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
788.11/788.12 c 773s| 1100k|143750 | 0 | 0.0 | 150M| 140 | - | 217 | 10k| 0 | 0 | 0 |1070k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
792.81/792.84 c 777s| 1110k|147795 | 0 | 0.0 | 154M| 140 | - | 217 | 12k| 0 | 0 | 0 |1076k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
798.51/798.59 c 783s| 1120k|151037 | 0 | 0.0 | 158M| 140 | - | 217 | 13k| 0 | 0 | 0 |1083k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
805.21/805.20 c 789s| 1130k|153661 | 0 | 0.0 | 162M| 140 | - | 217 | 14k| 0 | 0 | 0 |1091k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
813.10/813.14 c 797s| 1140k|154878 | 0 | 0.0 | 165M| 140 | - | 217 | 15k| 0 | 0 | 0 |1100k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
823.71/823.74 c 808s| 1150k|153383 | 0 | 0.0 | 164M| 140 | - | 217 | 12k| 0 | 0 | 0 |1111k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
831.81/831.89 c 816s| 1160k|152578 | 0 | 0.0 | 164M| 140 | - | 217 |8818 | 0 | 0 | 0 |1122k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
840.11/840.11 c 824s| 1170k|151028 | 0 | 0.0 | 164M| 140 | - | 217 | 10k| 0 | 0 | 0 |1133k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
849.91/849.90 c 833s| 1180k|148268 | 0 | 0.0 | 164M| 140 | - | 217 | 13k| 0 | 0 | 0 |1146k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
853.11/853.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.11/853.13 c 837s| 1190k|154489 | 0 | 0.0 | 166M| 140 | - | 217 | 10k| 0 | 0 | 0 |1150k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
859.01/859.09 c 842s| 1200k|155781 | 0 | 0.0 | 168M| 140 | - | 217 |9571 | 0 | 0 | 0 |1159k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
864.91/864.94 c 848s| 1210k|157703 | 0 | 0.0 | 172M| 140 | - | 217 | 11k| 0 | 0 | 0 |1168k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
872.90/872.94 c 856s| 1220k|157996 | 0 | 0.0 | 175M| 140 | - | 217 | 14k| 0 | 0 | 0 |1178k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
882.32/882.36 c 865s| 1230k|157664 | 0 | 0.0 | 178M| 140 | - | 217 | 16k| 0 | 0 | 0 |1189k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
893.91/893.94 c 877s| 1240k|155923 | 0 | 0.0 | 180M| 140 | - | 217 | 18k| 0 | 0 | 0 |1201k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
907.21/907.24 c 890s| 1250k|153338 | 0 | 0.0 | 180M| 140 | - | 217 | 19k| 0 | 0 | 0 |1213k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
923.22/923.20 c 906s| 1260k|149005 | 0 | 0.0 | 179M| 140 | - | 217 | 21k| 0 | 0 | 0 |1227k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
942.82/942.83 c 925s| 1270k|142508 | 0 | 0.0 | 173M| 140 | - | 217 | 19k| 0 | 0 | 0 |1242k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
959.91/959.96 c 942s| 1280k|136231 | 0 | 0.0 | 168M| 140 | - | 217 | 19k| 0 | 0 | 0 |1257k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
964.41/964.46 c 946s| 1290k|142837 | 0 | 0.0 | 170M| 140 | - | 217 | 14k| 0 | 0 | 0 |1262k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
969.91/969.91 c 952s| 1300k|147588 | 0 | 0.0 | 175M| 140 | - | 217 | 16k| 0 | 0 | 0 |1270k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
977.11/977.19 c 959s| 1310k|150397 | 0 | 0.0 | 179M| 140 | - | 217 | 18k| 0 | 0 | 0 |1279k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
988.61/988.61 c 970s| 1320k|149206 | 0 | 0.0 | 179M| 140 | - | 217 | 17k| 0 | 0 | 0 |1290k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1004.42/1004.49 c 986s| 1330k|144461 | 0 | 0.0 | 176M| 140 | - | 217 | 20k| 0 | 0 | 0 |1305k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1031.21/1031.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.21/1031.24 c 1012s| 1340k|133297 | 0 | 0.0 | 164M| 140 | - | 217 | 26k| 0 | 0 | 0 |1323k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1040.21/1040.24 c 1021s| 1350k|137653 | 0 | 0.0 | 166M| 140 | - | 217 | 25k| 0 | 0 | 0 |1331k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1050.31/1050.35 c 1031s| 1360k|140874 | 0 | 0.0 | 169M| 140 | - | 217 | 23k| 0 | 0 | 0 |1341k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1062.61/1062.68 c 1044s| 1370k|142089 | 0 | 0.0 | 172M| 140 | - | 217 | 26k| 0 | 0 | 0 |1353k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1077.31/1077.31 c 1058s| 1380k|141980 | 0 | 0.0 | 175M| 140 | - | 217 | 28k| 0 | 0 | 0 |1366k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1096.62/1096.69 c 1077s| 1390k|138405 | 0 | 0.0 | 174M| 140 | - | 217 | 33k| 0 | 0 | 0 |1382k| 0 | 2.400000e+01 | 8.800000e+01 | 266.67%
1106.82/1106.89 o 87
1106.82/1106.89 c *1087s| 1396k|136910 | 0 | 0.0 | 169M| 140 | - | 217 | 24k| 0 | 0 | 0 |1389k| 0 | 2.400000e+01 | 8.700000e+01 | 262.50%
1111.12/1111.14 c 1091s| 1400k|136461 | 0 | 0.0 | 168M| 140 | - | 217 | 25k| 0 | 0 | 0 |1394k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1127.82/1127.87 c 1108s| 1410k|135251 | 0 | 0.0 | 171M| 140 | - | 217 | 28k| 0 | 0 | 0 |1409k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1152.82/1152.81 c 1133s| 1420k|130001 | 0 | 0.0 | 171M| 140 | - | 217 | 33k| 0 | 0 | 0 |1428k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1185.21/1185.28 c 1165s| 1430k|120882 | 0 | 0.0 | 166M| 140 | - | 217 | 42k| 0 | 0 | 0 |1450k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1193.82/1193.80 c 1173s| 1440k|126566 | 0 | 0.0 | 160M| 140 | - | 217 | 13k| 0 | 0 | 0 |1454k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1198.82/1198.86 c 1178s| 1450k|130615 | 0 | 0.0 | 163M| 140 | - | 217 | 12k| 0 | 0 | 0 |1461k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1205.01/1205.05 c 1184s| 1460k|131619 | 0 | 0.0 | 163M| 140 | - | 217 | 10k| 0 | 0 | 0 |1469k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1210.51/1210.53 c 1190s| 1470k|133945 | 0 | 0.0 | 159M| 140 | - | 217 |8978 | 0 | 0 | 0 |1478k| 0 | 2.600000e+01 | 8.700000e+01 | 234.62%
1213.72/1213.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.72/1213.79 c 1193s| 1480k|140055 | 0 | 0.0 | 163M| 140 | - | 217 | 10k| 0 | 0 | 0 |1483k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1218.12/1218.12 c 1197s| 1490k|145253 | 0 | 0.0 | 168M| 140 | - | 217 | 12k| 0 | 0 | 0 |1489k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1223.52/1223.55 c 1202s| 1500k|149503 | 0 | 0.0 | 172M| 140 | - | 217 | 14k| 0 | 0 | 0 |1496k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1230.11/1230.11 c 1209s| 1510k|152831 | 0 | 0.0 | 176M| 140 | - | 217 | 15k| 0 | 0 | 0 |1504k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1237.92/1237.90 c 1216s| 1520k|154481 | 0 | 0.0 | 180M| 140 | - | 217 | 16k| 0 | 0 | 0 |1513k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1245.72/1245.74 c 1224s| 1530k|156186 | 0 | 0.0 | 181M| 140 | - | 217 | 12k| 0 | 0 | 0 |1522k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1250.72/1250.72 c 1229s| 1540k|159978 | 0 | 0.0 | 182M| 140 | - | 217 |9825 | 0 | 0 | 0 |1528k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1255.02/1255.03 c 1233s| 1550k|163842 | 0 | 0.0 | 185M| 140 | - | 217 |9158 | 0 | 0 | 0 |1535k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1258.42/1258.43 c 1236s| 1560k|169585 | 0 | 0.0 | 189M| 140 | - | 217 | 10k| 0 | 0 | 0 |1541k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1263.72/1263.73 c 1241s| 1570k|173475 | 0 | 0.0 | 194M| 140 | - | 217 | 14k| 0 | 0 | 0 |1549k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1271.52/1271.54 c 1249s| 1580k|175796 | 0 | 0.0 | 198M| 140 | - | 217 | 18k| 0 | 0 | 0 |1559k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1281.62/1281.60 c 1259s| 1590k|177224 | 0 | 0.0 | 202M| 140 | - | 217 | 22k| 0 | 0 | 0 |1570k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1293.63/1293.61 c 1271s| 1600k|177869 | 0 | 0.0 | 205M| 140 | - | 217 | 24k| 0 | 0 | 0 |1581k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1307.72/1307.75 c 1285s| 1610k|177206 | 0 | 0.0 | 208M| 140 | - | 217 | 26k| 0 | 0 | 0 |1594k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1323.33/1323.34 c 1300s| 1620k|175792 | 0 | 0.0 | 210M| 140 | - | 217 | 28k| 0 | 0 | 0 |1607k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1340.72/1340.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.72/1340.74 c 1317s| 1630k|173246 | 0 | 0.0 | 210M| 140 | - | 217 | 28k| 0 | 0 | 0 |1620k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1356.22/1356.24 c 1333s| 1640k|172121 | 0 | 0.0 | 207M| 140 | - | 217 | 24k| 0 | 0 | 0 |1632k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1364.32/1364.30 c 1341s| 1650k|175819 | 0 | 0.0 | 208M| 140 | - | 217 | 16k| 0 | 0 | 0 |1640k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1372.12/1372.10 c 1348s| 1660k|178049 | 0 | 0.0 | 212M| 140 | - | 217 | 16k| 0 | 0 | 0 |1649k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1381.32/1381.37 c 1358s| 1670k|177723 | 0 | 0.0 | 215M| 140 | - | 217 | 18k| 0 | 0 | 0 |1661k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1390.53/1390.52 c 1367s| 1680k|178901 | 0 | 0.0 | 216M| 140 | - | 217 | 16k| 0 | 0 | 0 |1672k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1400.53/1400.57 c 1376s| 1690k|179439 | 0 | 0.0 | 219M| 140 | - | 217 | 19k| 0 | 0 | 0 |1683k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1413.32/1413.30 c 1389s| 1700k|179036 | 0 | 0.0 | 223M| 140 | - | 217 | 23k| 0 | 0 | 0 |1697k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1430.12/1430.13 c 1406s| 1710k|177263 | 0 | 0.0 | 225M| 140 | - | 217 | 27k| 0 | 0 | 0 |1711k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1451.12/1451.15 c 1426s| 1720k|173728 | 0 | 0.0 | 225M| 140 | - | 217 | 32k| 0 | 0 | 0 |1727k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1478.62/1478.61 c 1454s| 1730k|167182 | 0 | 0.0 | 221M| 140 | - | 217 | 37k| 0 | 0 | 0 |1746k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1505.02/1505.07 c 1480s| 1740k|162913 | 0 | 0.0 | 215M| 140 | - | 217 | 33k| 0 | 0 | 0 |1761k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1519.02/1519.10 c 1494s| 1750k|164556 | 0 | 0.0 | 215M| 140 | - | 217 | 25k| 0 | 0 | 0 |1773k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1533.92/1533.99 c 1509s| 1760k|164057 | 0 | 0.0 | 218M| 140 | - | 217 | 28k| 0 | 0 | 0 |1786k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1551.23/1551.25 c 1526s| 1770k|162228 | 0 | 0.0 | 219M| 140 | - | 217 | 31k| 0 | 0 | 0 |1801k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1571.03/1571.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.03/1571.00 c 1545s| 1780k|159058 | 0 | 0.0 | 217M| 140 | - | 217 | 33k| 0 | 0 | 0 |1815k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1601.13/1601.19 c 1575s| 1790k|150959 | 0 | 0.0 | 210M| 140 | - | 217 | 35k| 0 | 0 | 0 |1835k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1632.93/1632.93 c 1607s| 1800k|143175 | 0 | 0.0 | 199M| 140 | - | 217 | 30k| 0 | 0 | 0 |1855k| 0 | 2.900000e+01 | 8.700000e+01 | 200.00%
1659.33/1659.32 c 1633s| 1810k|137232 | 0 | 0.0 | 196M| 140 | - | 217 | 37k| 0 | 0 | 0 |1874k| 0 | 3.000000e+01 | 8.700000e+01 | 190.00%
1686.03/1686.06 c 1659s| 1820k|130984 | 0 | 0.0 | 184M| 140 | - | 217 | 29k| 0 | 0 | 0 |1891k| 0 | 3.000000e+01 | 8.700000e+01 | 190.00%
1693.73/1693.79 c 1667s| 1830k|135306 | 0 | 0.0 | 175M| 140 | - | 217 |7520 | 0 | 0 | 0 |1896k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1697.03/1697.02 c 1670s| 1840k|140362 | 0 | 0.0 | 179M| 140 | - | 217 |8475 | 0 | 0 | 0 |1901k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1700.93/1700.92 c 1674s| 1850k|144394 | 0 | 0.0 | 181M| 140 | - | 217 |5666 | 0 | 0 | 0 |1907k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1702.73/1702.76 c 1676s| 1860k|152023 | 0 | 0.0 | 185M| 140 | - | 217 |5641 | 0 | 0 | 0 |1910k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1705.03/1705.01 c 1678s| 1870k|158874 | 0 | 0.0 | 189M| 140 | - | 217 |7046 | 0 | 0 | 0 |1914k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1708.73/1708.70 c 1681s| 1880k|163525 | 0 | 0.0 | 194M| 140 | - | 217 |9139 | 0 | 0 | 0 |1920k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1713.53/1713.52 c 1686s| 1890k|166865 | 0 | 0.0 | 198M| 140 | - | 217 | 10k| 0 | 0 | 0 |1927k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1719.93/1719.93 c 1692s| 1900k|167750 | 0 | 0.0 | 202M| 140 | - | 217 | 10k| 0 | 0 | 0 |1937k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1727.53/1727.55 c 1700s| 1910k|166091 | 0 | 0.0 | 202M| 140 | - | 217 |9724 | 0 | 0 | 0 |1948k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1731.63/1731.69 c 1704s| 1920k|170509 | 0 | 0.0 | 205M| 140 | - | 217 |8641 | 0 | 0 | 0 |1955k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1735.23/1735.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.23/1735.20 c 1707s| 1930k|176085 | 0 | 0.0 | 209M| 140 | - | 217 |9550 | 0 | 0 | 0 |1961k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1739.33/1739.34 c 1711s| 1940k|181060 | 0 | 0.0 | 213M| 140 | - | 217 | 11k| 0 | 0 | 0 |1967k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1744.23/1744.20 c 1716s| 1950k|185361 | 0 | 0.0 | 217M| 140 | - | 217 | 12k| 0 | 0 | 0 |1974k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1749.63/1749.62 c 1721s| 1960k|189334 | 0 | 0.0 | 221M| 140 | - | 217 | 13k| 0 | 0 | 0 |1981k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1755.63/1755.61 c 1727s| 1970k|192761 | 0 | 0.0 | 225M| 140 | - | 217 | 14k| 0 | 0 | 0 |1989k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1762.03/1762.07 c 1733s| 1980k|195649 | 0 | 0.0 | 229M| 140 | - | 217 | 15k| 0 | 0 | 0 |1997k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1769.43/1769.42 c 1741s| 1990k|197827 | 0 | 0.0 | 232M| 140 | - | 217 | 16k| 0 | 0 | 0 |2006k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1778.03/1778.03 c 1749s| 2000k|198936 | 0 | 0.0 | 235M| 140 | - | 217 | 16k| 0 | 0 | 0 |2016k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1787.53/1787.53 c 1758s| 2010k|199158 | 0 | 0.0 | 238M| 140 | - | 217 | 17k| 0 | 0 | 0 |2027k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1798.93/1798.92 c 1770s| 2020k|197563 | 0 | 0.0 | 239M| 140 | - | 217 | 18k| 0 | 0 | 0 |2040k| 0 | 3.400000e+01 | 8.700000e+01 | 155.88%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1770.76
1800.03/1800.00 c Solving Nodes : 2020889
1800.03/1800.00 c Primal Bound : +8.70000000000000e+01 (2 solutions)
1800.03/1800.00 c Dual Bound : +3.40000000000000e+01
1800.03/1800.00 c Gap : 155.88 %
1800.03/1800.00 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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 -x56
1800.03/1800.00 v -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.03/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.03/1800.00 v -x4 x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1770.76
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693925-1277897568.wbo
1800.03/1800.00 c Variables : 221 (195 binary, 0 integer, 0 implicit integer, 26 continuous)
1800.03/1800.00 c Constraints : 128 initial, 128 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693925-1277897568.wbo
1800.03/1800.00 c Variables : 217 (193 binary, 0 integer, 0 implicit integer, 24 continuous)
1800.03/1800.00 c Constraints : 109 initial, 43788 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 24 0 17 2 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 24 0 5952149 0 1238824 2297 531728 0 0 0
1800.03/1800.00 c knapsack : 1 0 6389634 0 1321896 131154 23728585 0 0 0
1800.03/1800.00 c setppc : 49 0 6258478 0 1321896 768363 9529297 0 0 0
1800.03/1800.00 c linear : 24 0 5490116 0 1321892 27148 2162810 0 0 0
1800.03/1800.00 c logicor : 11+ 0 2780250 0 1321891 67593 1329734 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 93931 0 0 5 7256 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1321894 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 3.62 0.00 2.62 0.00 1.00
1800.03/1800.00 c knapsack : 201.24 0.00 198.33 0.00 2.91
1800.03/1800.00 c setppc : 47.50 0.00 41.05 0.00 6.45
1800.03/1800.00 c linear : 23.87 0.00 23.32 0.00 0.55
1800.03/1800.00 c logicor : 707.72 0.00 706.43 0.00 1.29
1800.03/1800.00 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.03/1800.00 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.60 2 0 0
1800.03/1800.00 c rootredcost : 1.22 0 0 0
1800.03/1800.00 c pseudoobj : 6.58 6392405 670 347545
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 24.16 994933 994737 4802380 18.3 33288 15.6 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 35 35 80 6.2 2 17.0 -
1800.03/1800.00 c applied globally : - - - 2033096 14.9 - - -
1800.03/1800.00 c applied locally : - - - 8227 35.3 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 9.25 1321892 0 0 0 0 2643784
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.02 - 2
1800.03/1800.00 c oneopt : 0.58 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.66 0 0
1800.03/1800.00 c trysol : 0.64 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2020889
1800.03/1800.00 c nodes (total) : 2020889
1800.03/1800.00 c nodes left : 197347
1800.03/1800.00 c max depth : 140
1800.03/1800.00 c max depth (total): 140
1800.03/1800.00 c backtracks : 725898 (35.9%)
1800.03/1800.00 c delayed cutoffs : 420585
1800.03/1800.00 c repropagations : 2391526 (9781008 domain reductions, 298270 cutoffs)
1800.03/1800.00 c avg switch length: 18.48
1800.03/1800.00 c switching time : 558.11
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 2 (2 improvements)
1800.03/1800.00 c First Solution : +8.80000000000000e+01 (in run 1, after 356413 nodes, 259.74 seconds, depth 45, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +8.70000000000000e+01 (in run 1, after 1396771 nodes, 1087.20 seconds, depth 27, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +3.40000000000000e+01
1800.03/1800.00 c Gap : 155.88 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.43/1800.46 c Time complete: 1800.5.
OK 87
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693925-1277897568/watcher-2693925-1277897568 -o /tmp/evaluation-result-2693925-1277897568/solver-2693925-1277897568 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693925-1277897568.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.00 2.02 2.00 4/178 12605 /proc/meminfo: memFree=31305128/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=8144 CPUtime=0 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 1519 0 0 0 0 0 0 0 25 0 1 0 131053602 8339456 1442 4089446400 4194304 7136930 140735580996096 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12605/statm: 2036 1442 276 719 0 1315 0 [startup+0.105503 s] /proc/loadavg: 2.00 2.02 2.00 4/178 12605 /proc/meminfo: memFree=31305128/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=12524 CPUtime=0.1 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 4915 0 0 0 9 1 0 0 25 0 1 0 131053602 12824576 2429 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 3131 2429 404 719 0 2410 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12524 [startup+0.200485 s] /proc/loadavg: 2.00 2.02 2.00 4/178 12605 /proc/meminfo: memFree=31305128/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=13132 CPUtime=0.19 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 5061 0 0 0 18 1 0 0 25 0 1 0 131053602 13447168 2575 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 3283 2575 404 719 0 2562 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13132 [startup+0.300471 s] /proc/loadavg: 2.00 2.02 2.00 4/178 12605 /proc/meminfo: memFree=31305128/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=14204 CPUtime=0.29 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 5330 0 0 0 27 2 0 0 25 0 1 0 131053602 14544896 2844 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 3551 2844 404 719 0 2830 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14204 [startup+0.700398 s] /proc/loadavg: 2.00 2.02 2.00 4/178 12605 /proc/meminfo: memFree=31305128/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=16864 CPUtime=0.69 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 6017 0 0 0 65 4 0 0 25 0 1 0 131053602 17268736 3531 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 4216 3531 404 719 0 3495 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16864 [startup+1.50026 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12606 /proc/meminfo: memFree=31290736/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=20288 CPUtime=1.49 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 6876 0 0 0 142 7 0 0 25 0 1 0 131053602 20774912 4390 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 5072 4390 404 719 0 4351 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20288 [startup+3.10097 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12606 /proc/meminfo: memFree=31287060/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=25368 CPUtime=3.09 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 8165 0 0 0 297 12 0 0 25 0 1 0 131053602 25976832 5679 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 6342 5679 404 719 0 5621 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25368 [startup+6.30041 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12606 /proc/meminfo: memFree=31277760/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=32976 CPUtime=6.29 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 10096 0 0 0 601 28 0 0 25 0 1 0 131053602 33767424 7610 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 8244 7610 404 719 0 7523 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32976 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12607 /proc/meminfo: memFree=31268868/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=40756 CPUtime=12.69 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 12031 0 0 0 1217 52 0 0 25 0 1 0 131053602 41734144 9545 4089446400 4194304 7136930 140735580996096 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 10189 9545 404 719 0 9468 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40756 [startup+25.501 s] /proc/loadavg: 2.00 2.02 2.00 4/179 12607 /proc/meminfo: memFree=31253092/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=56600 CPUtime=25.49 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 15996 0 0 0 2458 91 0 0 25 0 1 0 131053602 57958400 13510 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 14150 13510 404 719 0 13429 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56600 [startup+51.1005 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12607 /proc/meminfo: memFree=31244128/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=64808 CPUtime=51.09 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 17990 0 0 0 4975 134 0 0 25 0 1 0 131053602 66363392 15504 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 16202 15504 404 719 0 15481 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 64808 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12609 /proc/meminfo: memFree=31207016/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=84448 CPUtime=102.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 22866 0 0 0 9988 242 0 0 25 0 1 0 131053602 86474752 20380 4089446400 4194304 7136930 140735580996096 18446744073709551615 5921682 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 21112 20380 404 719 0 20391 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 84448 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 4/179 12610 /proc/meminfo: memFree=31180188/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=94760 CPUtime=162.29 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 25416 0 0 0 15861 368 0 0 25 0 1 0 131053602 97034240 22930 4089446400 4194304 7136930 140735580996096 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 23690 22930 404 719 0 22969 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 94760 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12612 /proc/meminfo: memFree=31146036/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=104132 CPUtime=222.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 27586 0 0 0 21774 456 0 0 25 0 1 0 131053602 106631168 25100 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 26033 25100 404 719 0 25312 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 104132 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12613 /proc/meminfo: memFree=31139180/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=108252 CPUtime=282.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 28140 0 0 0 27666 564 0 0 25 0 1 0 131053602 110850048 25654 4089446400 4194304 7136930 140735580996096 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 27063 25654 407 719 0 26342 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 108252 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12615 /proc/meminfo: memFree=31099436/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=145684 CPUtime=342.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 37703 0 0 0 33511 719 0 0 25 0 1 0 131053602 149180416 35217 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 36421 35217 407 719 0 35700 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 145684 [startup+402.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12617 /proc/meminfo: memFree=31048292/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=170832 CPUtime=402.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 44095 0 0 0 39374 856 0 0 25 0 1 0 131053602 174931968 41609 4089446400 4194304 7136930 140735580996096 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 42708 41609 407 719 0 41987 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 170832 [startup+462.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12619 /proc/meminfo: memFree=31040940/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=174936 CPUtime=462.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 45016 0 0 0 45292 938 0 0 25 0 1 0 131053602 179134464 42530 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 43734 42530 407 719 0 43013 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 174936 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12620 /proc/meminfo: memFree=31032708/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=183080 CPUtime=522.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 47080 0 0 0 51161 1069 0 0 25 0 1 0 131053602 187473920 44594 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 45770 44594 407 719 0 45049 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 183080 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12621 /proc/meminfo: memFree=31032780/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=183080 CPUtime=582.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 47104 0 0 0 57057 1173 0 0 25 0 1 0 131053602 187473920 44618 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 45770 44618 407 719 0 45049 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 183080 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12623 /proc/meminfo: memFree=31032104/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=183472 CPUtime=642.3 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 47183 0 0 0 62957 1273 0 0 25 0 1 0 131053602 187875328 44697 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12605/statm: 45868 44697 407 719 0 45147 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 183472 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12631 /proc/meminfo: memFree=30984872/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=229640 CPUtime=942.31 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 58804 0 0 0 92455 1776 0 0 25 0 1 0 131053602 235151360 56318 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12605/statm: 57410 56318 407 719 0 56689 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 229640 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12633 /proc/meminfo: memFree=30984568/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=229640 CPUtime=1002.31 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 58805 0 0 0 98378 1853 0 0 25 0 1 0 131053602 235151360 56319 4089446400 4194304 7136930 140735580996096 18446744073709551615 4210310 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12605/statm: 57410 56319 407 719 0 56689 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 229640 [startup+1062.3 s] /proc/loadavg: 1.85 1.97 1.99 2/171 12655 /proc/meminfo: memFree=31231992/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=230372 CPUtime=1062.31 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 59011 0 0 0 104315 1916 0 0 25 0 1 0 131053602 235900928 56525 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 57593 56525 407 719 0 56872 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 230372 [startup+1122.3 s] /proc/loadavg: 1.94 1.97 1.99 3/179 12684 /proc/meminfo: memFree=31222724/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=231428 CPUtime=1122.32 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 59284 0 0 0 110242 1990 0 0 25 0 1 0 131053602 236982272 56798 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 57857 56798 407 719 0 57136 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 231428 [startup+1182.3 s] /proc/loadavg: 1.98 1.97 1.99 3/197 12730 /proc/meminfo: memFree=31198172/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=234660 CPUtime=1182.31 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 59948 0 0 0 116198 2033 0 0 25 0 1 0 131053602 240291840 57462 4089446400 4194304 7136930 140735580996096 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 58665 57462 407 719 0 57944 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 234660 [startup+1242.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 12787 /proc/meminfo: memFree=31140880/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=242152 CPUtime=1242.32 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 61704 0 0 0 122059 2173 0 0 25 0 1 0 131053602 247963648 59218 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 60538 59218 407 719 0 59817 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 242152 [startup+1302.3 s] /proc/loadavg: 2.05 1.99 1.99 3/179 12789 /proc/meminfo: memFree=31082916/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=263236 CPUtime=1302.32 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 67061 0 0 0 127949 2283 0 0 25 0 1 0 131053602 269553664 64575 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 65809 64575 407 719 0 65088 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 263236 [startup+1362.3 s] /proc/loadavg: 2.02 1.99 1.99 3/179 12790 /proc/meminfo: memFree=30985380/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=267696 CPUtime=1362.32 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 68110 0 0 0 133880 2352 0 0 25 0 1 0 131053602 274120704 65624 4089446400 4194304 7136930 140735580996096 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 66924 65624 407 719 0 66203 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 267696 [startup+1422.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12792 /proc/meminfo: memFree=30913396/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=276380 CPUtime=1422.32 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 70326 0 0 0 139784 2448 0 0 25 0 1 0 131053602 283013120 67840 4089446400 4194304 7136930 140735580996096 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 69095 67840 407 719 0 68374 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 276380 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12793 /proc/meminfo: memFree=30810048/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=282016 CPUtime=1482.32 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 71762 0 0 0 145735 2497 0 0 25 0 1 0 131053602 288784384 69276 4089446400 4194304 7136930 140735580996096 18446744073709551615 4210365 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 70504 69276 407 719 0 69783 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 282016 [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12795 /proc/meminfo: memFree=30756420/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=282884 CPUtime=1542.33 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 71922 0 0 0 151675 2558 0 0 25 0 1 0 131053602 289673216 69436 4089446400 4194304 7136930 140735580996096 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 70721 69436 407 719 0 70000 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 282884 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12797 /proc/meminfo: memFree=30720532/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=283584 CPUtime=1602.33 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 72095 0 0 0 157629 2604 0 0 25 0 1 0 131053602 290390016 69609 4089446400 4194304 7136930 140735580996096 18446744073709551615 4221380 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 70896 69609 407 719 0 70175 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 283584 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12799 /proc/meminfo: memFree=30649660/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=283584 CPUtime=1662.33 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 72097 0 0 0 163587 2646 0 0 25 0 1 0 131053602 290390016 69611 4089446400 4194304 7136930 140735580996096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 70896 69611 407 719 0 70175 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 283584 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12809 /proc/meminfo: memFree=30591496/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=283776 CPUtime=1722.33 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 72157 0 0 0 169469 2764 0 0 25 0 1 0 131053602 290586624 69671 4089446400 4194304 7136930 140735580996096 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 70944 69671 407 719 0 70223 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 283776 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12810 /proc/meminfo: memFree=30553360/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=301224 CPUtime=1782.33 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 75572 0 0 0 175332 2901 0 0 25 0 1 0 131053602 308453376 73086 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 75306 73086 407 719 0 74585 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 301224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12811 /proc/meminfo: memFree=30550620/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=304212 CPUtime=1800.03 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 76315 0 0 0 177076 2927 0 0 25 0 1 0 131053602 311513088 73829 4089446400 4194304 7136930 140735580996096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12605/statm: 76053 73829 407 719 0 75332 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 304212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12811 /proc/meminfo: memFree=30550620/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=304212 CPUtime=1800.33 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 76320 0 0 0 177106 2927 0 0 18 0 1 0 131053602 311513088 73834 4089446400 4194304 7136930 140735580996096 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12605/statm: 76053 73834 412 719 0 75332 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 304212 [startup+1800.4 s] /proc/loadavg: 2.00 1.99 1.99 3/179 12811 /proc/meminfo: memFree=30550620/32950928 swapFree=67111528/67111528 [pid=12605] ppid=12603 vsize=302164 CPUtime=1800.43 /proc/12605/stat : 12605 (pbscip.linux.x8) R 12603 12605 12014 0 -1 4202496 76320 0 0 0 177116 2927 0 0 18 0 1 0 131053602 309415936 73322 4089446400 4194304 7136930 140735580996096 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12605/statm: 75541 73322 412 719 0 74820 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 302164 Child status: 0 Real time (s): 1800.47 CPU time (s): 1800.51 CPU user time (s): 1771.22 CPU system time (s): 29.2905 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 304212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.22 system time used= 29.2905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76327 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= 2648 runsolver used 3.32549 second user time and 6.23305 second system time The end
Begin job on node123 at 2010-06-30 13:32:48 IDJOB=2693925 IDBENCH=78813 IDSOLVER=1206 FILE ID=node123/2693925-1277897568 PBS_JOBID= 11197166 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.1111227012--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693925-1277897568/watcher-2693925-1277897568 -o /tmp/evaluation-result-2693925-1277897568/solver-2693925-1277897568 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693925-1277897568.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bda3418eb2779577fc492619368d84b3 RANDOM SEED=1931377918 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.75 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.804 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.75 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.804 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.71 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.804 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.74 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31305532 kB Buffers: 182300 kB Cached: 1108252 kB SwapCached: 0 kB Active: 724276 kB Inactive: 778784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31305532 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3432 kB Writeback: 0 kB AnonPages: 212360 kB Mapped: 16132 kB Slab: 79068 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 362788 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= 74204 MiB End job on node123 at 2010-06-30 14:02:50