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.31 | 1800.27 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo |
| MD5SUM | 666d5c712f5e475011fc9b955250b39c |
| 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 | 51 |
| Best CPU time to get the best result obtained on this benchmark | 0.169973 |
| 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 | 42 |
| 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 | 1838 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 1837 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1298 |
| 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-2693969-1277898704.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 144 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, 48 impls, 39 clqs
0.00/0.01 c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 48 impls, 39 clqs
0.00/0.02 c (0.0s) probing: 101/211 (47.9%) - 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 (4 rounds):
0.00/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 48 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 39 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 6 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 | - | 941k| 0 | - | 253 | 130 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.37 c 1.3s| 10000 | 7124 | 0 | 0.0 |6702k| 141 | - | 253 |3815 | 0 | 0 | 0 |7615 | 0 | 0.000000e+00 | -- | Inf
3.39/3.43 c 3.2s| 20000 | 12776 | 0 | 0.0 | 11M| 141 | - | 253 |4012 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
6.29/6.31 c 6.0s| 30000 | 17027 | 0 | 0.0 | 16M| 141 | - | 253 |8149 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
10.29/10.35 c 10.0s| 40000 | 19668 | 0 | 0.0 | 21M| 141 | - | 253 | 12k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
14.89/14.97 c 14.5s| 50000 | 22098 | 0 | 0.0 | 24M| 141 | - | 253 | 11k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
16.29/16.38 c 15.8s| 60000 | 30213 | 0 | 0.0 | 25M| 141 | - | 253 |2797 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
18.19/18.22 c 17.5s| 70000 | 36768 | 0 | 0.0 | 30M| 141 | - | 253 |5090 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
22.19/22.22 c 21.4s| 80000 | 39157 | 0 | 0.0 | 34M| 141 | - | 253 |8837 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
28.39/28.50 c 27.6s| 90000 | 39254 | 0 | 0.0 | 39M| 141 | - | 253 | 16k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
37.69/37.72 c 36.7s|100000 | 37607 | 0 | 0.0 | 42M| 141 | - | 253 | 21k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
48.30/48.37 c 47.2s|110000 | 35011 | 0 | 0.0 | 43M| 141 | - | 253 | 28k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
52.60/52.62 c 51.4s|120000 | 41326 | 0 | 0.0 | 39M| 141 | - | 253 |4543 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
54.49/54.57 c 53.2s|130000 | 48142 | 0 | 0.0 | 43M| 141 | - | 253 |4308 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
56.59/56.70 c 55.2s|140000 | 54593 | 0 | 0.0 | 46M| 141 | - | 253 |4584 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
58.99/59.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.99/59.02 c 57.5s|150000 | 60637 | 0 | 0.0 | 50M| 141 | - | 253 |5289 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
61.50/61.53 c 59.9s|160000 | 66348 | 0 | 0.0 | 54M| 141 | - | 253 |5711 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
64.39/64.47 c 62.7s|170000 | 71224 | 0 | 0.0 | 58M| 141 | - | 253 |6650 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
67.79/67.89 c 66.0s|180000 | 75380 | 0 | 0.0 | 62M| 141 | - | 253 |7653 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
71.59/71.68 c 69.7s|190000 | 79101 | 0 | 0.0 | 66M| 141 | - | 253 |9528 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
76.10/76.14 c 74.0s|200000 | 82068 | 0 | 0.0 | 69M| 141 | - | 253 | 11k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
81.99/82.08 c 79.9s|210000 | 83284 | 0 | 0.0 | 72M| 141 | - | 253 | 13k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
94.09/94.11 c 91.7s|220000 | 77032 | 0 | 0.0 | 69M| 141 | - | 253 | 24k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
101.50/101.51 c 99.0s|230000 | 79926 | 0 | 0.0 | 63M| 141 | - | 253 |7833 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
104.50/104.50 c 102s|240000 | 85256 | 0 | 0.0 | 66M| 141 | - | 253 |5965 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
104.59/104.61 o 314
104.59/104.61 c * 102s|240380 | 85456 | 0 | 0.0 | 66M| 141 | - | 253 |5969 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
107.70/107.72 c 105s|250000 | 90037 | 0 | 0.0 | 69M| 141 | - | 253 |6583 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
111.19/111.26 c 108s|260000 | 94369 | 0 | 0.0 | 72M| 141 | - | 253 |6906 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
114.90/114.96 c 112s|270000 | 98302 | 0 | 0.0 | 75M| 141 | - | 253 |6926 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
118.80/118.80 c 116s|280000 |101922 | 0 | 0.0 | 79M| 141 | - | 253 |7457 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
122.99/123.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.99/123.02 c 120s|290000 |105016 | 0 | 0.0 | 81M| 141 | - | 253 |8150 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
127.60/127.62 c 124s|300000 |107626 | 0 | 0.0 | 84M| 141 | - | 253 |8594 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
132.40/132.43 c 129s|310000 |110107 | 0 | 0.0 | 86M| 141 | - | 253 |9500 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
137.50/137.57 c 134s|320000 |112250 | 0 | 0.0 | 87M| 141 | - | 253 | 10k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
142.90/142.92 c 139s|330000 |114346 | 0 | 0.0 | 90M| 141 | - | 253 | 11k| 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 3.140000e+02 | Large
148.70/148.72 c 145s|340000 |116267 | 0 | 0.0 | 94M| 141 | - | 253 | 12k| 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 3.140000e+02 | Large
155.10/155.14 c 151s|350000 |117593 | 0 | 0.0 | 97M| 141 | - | 253 | 13k| 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 3.140000e+02 | Large
156.89/156.98 o 166
156.89/156.98 c * 153s|352691 |117576 | 0 | 0.0 | 97M| 141 | - | 253 | 14k| 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 1.660000e+02 | Large
161.89/161.94 c 158s|360000 |118573 | 0 | 0.0 | 99M| 141 | - | 253 | 15k| 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 1.660000e+02 | Large
164.00/164.04 o 162
164.00/164.04 c * 160s|362864 |118678 | 0 | 0.0 | 100M| 141 | - | 253 | 15k| 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 1.620000e+02 | Large
169.40/169.45 c 165s|370000 |119060 | 0 | 0.0 | 102M| 141 | - | 253 | 16k| 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 1.620000e+02 | Large
177.40/177.45 c 173s|380000 |119606 | 0 | 0.0 | 105M| 141 | - | 253 | 19k| 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 1.620000e+02 | Large
186.49/186.54 c 182s|390000 |119488 | 0 | 0.0 | 107M| 141 | - | 253 | 21k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 1.620000e+02 | Large
197.70/197.72 c 193s|400000 |118227 | 0 | 0.0 | 107M| 141 | - | 253 | 19k| 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 1.620000e+02 | Large
204.09/204.15 c 200s|410000 |120602 | 0 | 0.0 | 108M| 141 | - | 253 |9601 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 1.620000e+02 | Large
208.30/208.37 o 135
208.30/208.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.30/208.37 c * 204s|418331 |122169 | 0 | 0.0 | 109M| 141 | - | 253 |9781 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 1.350000e+02 | Large
209.30/209.30 c 205s|420000 |122516 | 0 | 0.0 | 110M| 141 | - | 253 |9888 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 1.350000e+02 | Large
215.20/215.22 c 210s|430000 |123936 | 0 | 0.0 | 113M| 141 | - | 253 | 10k| 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 1.350000e+02 | Large
221.50/221.59 c 217s|440000 |125011 | 0 | 0.0 | 115M| 141 | - | 253 | 11k| 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 1.350000e+02 | Large
228.19/228.27 c 223s|450000 |125988 | 0 | 0.0 | 118M| 141 | - | 253 | 13k| 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 1.350000e+02 | Large
235.80/235.89 c 231s|460000 |126347 | 0 | 0.0 | 121M| 141 | - | 253 | 14k| 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 1.350000e+02 | Large
243.70/243.79 c 238s|470000 |126871 | 0 | 0.0 | 123M| 141 | - | 253 | 15k| 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 1.350000e+02 | Large
252.30/252.31 c 247s|480000 |127100 | 0 | 0.0 | 125M| 141 | - | 253 | 17k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.350000e+02 | Large
261.10/261.10 c 256s|490000 |127631 | 0 | 0.0 | 128M| 141 | - | 253 | 18k| 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 1.350000e+02 | Large
270.79/270.89 c 265s|500000 |127482 | 0 | 0.0 | 130M| 141 | - | 253 | 19k| 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 1.350000e+02 | Large
281.30/281.31 c 275s|510000 |127395 | 0 | 0.0 | 132M| 141 | - | 253 | 21k| 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 1.350000e+02 | Large
292.30/292.36 c 286s|520000 |127106 | 0 | 0.0 | 133M| 141 | - | 253 | 22k| 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 1.350000e+02 | Large
304.10/304.19 c 298s|530000 |126626 | 0 | 0.0 | 135M| 141 | - | 253 | 25k| 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 1.350000e+02 | Large
317.40/317.46 c 311s|540000 |125671 | 0 | 0.0 | 136M| 141 | - | 253 | 28k| 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 1.350000e+02 | Large
322.30/322.34 o 107
322.30/322.34 c * 316s|543420 |123797 | 0 | 0.0 | 135M| 141 | - | 253 | 29k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 1.070000e+02 | Large
332.30/332.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.30/332.37 c 326s|550000 |122526 | 0 | 0.0 | 135M| 141 | - | 253 | 29k| 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 1.070000e+02 | Large
349.10/349.14 c 343s|560000 |119206 | 0 | 0.0 | 130M| 141 | - | 253 | 17k| 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 1.070000e+02 | Large
359.50/359.58 c 353s|570000 |118320 | 0 | 0.0 | 130M| 141 | - | 253 | 16k| 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 1.070000e+02 | Large
371.50/371.54 c 365s|580000 |116046 | 0 | 0.0 | 131M| 141 | - | 253 | 18k| 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 1.070000e+02 | Large
385.70/385.79 c 379s|590000 |113247 | 0 | 0.0 | 132M| 141 | - | 253 | 22k| 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.070000e+02 | Large
402.60/402.69 c 395s|600000 |109786 | 0 | 0.0 | 131M| 141 | - | 253 | 26k| 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 1.070000e+02 | Large
423.41/423.47 c 416s|610000 |105023 | 0 | 0.0 | 129M| 141 | - | 253 | 30k| 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 1.070000e+02 | Large
447.30/447.36 c 440s|620000 | 99589 | 0 | 0.0 | 127M| 141 | - | 253 | 34k| 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 1.070000e+02 | Large
467.90/467.93 c 460s|630000 | 95549 | 0 | 0.0 | 120M| 141 | - | 253 | 25k| 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 1.070000e+02 | Large
485.40/485.41 o 98
485.40/485.41 c * 478s|636888 | 88699 | 0 | 0.0 | 116M| 141 | - | 253 | 28k| 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
485.90/485.97 o 83
485.90/485.97 c * 478s|637053 | 76517 | 0 | 0.0 | 104M| 141 | - | 253 | 29k| 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
491.00/491.03 c 483s|640000 | 72328 | 0 | 0.0 | 94M| 141 | - | 253 |7911 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
493.70/493.79 c 486s|650000 | 77369 | 0 | 0.0 | 95M| 141 | - | 253 |5191 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
497.40/497.45 c 489s|660000 | 80281 | 0 | 0.0 | 98M| 141 | - | 253 |3644 | 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
502.40/502.46 c 494s|670000 | 79632 | 0 | 0.0 | 98M| 141 | - | 253 |5245 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
507.01/507.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.01/507.08 c 499s|680000 | 80467 | 0 | 0.0 | 97M| 141 | - | 253 |6414 | 0 | 0 | 0 | 777k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
509.80/509.85 c 501s|690000 | 86716 | 0 | 0.0 | 102M| 141 | - | 253 |9317 | 0 | 0 | 0 | 785k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
513.50/513.54 c 505s|700000 | 92167 | 0 | 0.0 | 107M| 141 | - | 253 | 12k| 0 | 0 | 0 | 795k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
518.11/518.11 c 509s|710000 | 96761 | 0 | 0.0 | 111M| 141 | - | 253 | 13k| 0 | 0 | 0 | 806k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
524.71/524.76 c 516s|720000 | 98441 | 0 | 0.0 | 115M| 141 | - | 253 | 16k| 0 | 0 | 0 | 818k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
531.61/531.61 c 523s|730000 | 99654 | 0 | 0.0 | 114M| 141 | - | 253 |7321 | 0 | 0 | 0 | 829k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
537.20/537.21 c 528s|740000 |100179 | 0 | 0.0 | 115M| 141 | - | 253 |7968 | 0 | 0 | 0 | 840k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
543.41/543.41 c 534s|750000 |100408 | 0 | 0.0 | 116M| 141 | - | 253 |9729 | 0 | 0 | 0 | 853k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
548.91/548.96 c 540s|760000 |103727 | 0 | 0.0 | 121M| 141 | - | 253 | 13k| 0 | 0 | 0 | 865k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
556.51/556.52 c 547s|770000 |105818 | 0 | 0.0 | 125M| 141 | - | 253 | 16k| 0 | 0 | 0 | 879k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
565.40/565.47 c 556s|780000 |107024 | 0 | 0.0 | 129M| 141 | - | 253 | 18k| 0 | 0 | 0 | 894k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
576.20/576.26 c 566s|790000 |107069 | 0 | 0.0 | 132M| 141 | - | 253 | 22k| 0 | 0 | 0 | 910k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
588.61/588.64 c 579s|800000 |106401 | 0 | 0.0 | 135M| 141 | - | 253 | 24k| 0 | 0 | 0 | 927k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
601.10/601.10 c 591s|810000 |105316 | 0 | 0.0 | 137M| 141 | - | 253 | 23k| 0 | 0 | 0 | 944k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
614.31/614.32 c 604s|820000 |103033 | 0 | 0.0 | 138M| 141 | - | 253 | 25k| 0 | 0 | 0 | 963k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
626.11/626.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.11/626.13 c 616s|830000 |102529 | 0 | 0.0 | 134M| 141 | - | 253 | 13k| 0 | 0 | 0 | 976k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
635.50/635.55 c 625s|840000 |100286 | 0 | 0.0 | 134M| 141 | - | 253 | 11k| 0 | 0 | 0 | 990k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
642.41/642.48 c 632s|850000 |100866 | 0 | 0.0 | 136M| 141 | - | 253 | 12k| 0 | 0 | 0 |1004k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
657.10/657.12 c 646s|860000 | 96926 | 0 | 0.0 | 138M| 141 | - | 253 | 22k| 0 | 0 | 0 |1026k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
678.90/678.91 c 668s|870000 | 90809 | 0 | 0.0 | 136M| 141 | - | 253 | 31k| 0 | 0 | 0 |1050k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
707.32/707.39 c 696s|880000 | 82192 | 0 | 0.0 | 129M| 141 | - | 253 | 38k| 0 | 0 | 0 |1075k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
733.11/733.14 c 722s|890000 | 74831 | 0 | 0.0 | 115M| 141 | - | 253 | 23k| 0 | 0 | 0 |1096k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
740.41/740.49 c 729s|900000 | 78308 | 0 | 0.0 | 110M| 141 | - | 253 |4260 | 0 | 0 | 0 |1103k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
742.41/742.49 c 731s|910000 | 85217 | 0 | 0.0 | 114M| 141 | - | 253 |5457 | 0 | 0 | 0 |1107k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
749.21/749.23 c 738s|920000 | 82054 | 0 | 0.0 | 108M| 141 | - | 253 | 13k| 0 | 0 | 0 |1124k| 0 | 6.000000e+00 | 8.300000e+01 |1283.33%
754.11/754.16 c 743s|930000 | 85648 | 0 | 0.0 | 101M| 141 | - | 253 |3124 | 0 | 0 | 0 |1131k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
756.31/756.34 c 745s|940000 | 92227 | 0 | 0.0 | 105M| 141 | - | 253 |4429 | 0 | 0 | 0 |1136k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
759.11/759.14 c 747s|950000 | 97880 | 0 | 0.0 | 110M| 141 | - | 253 |6185 | 0 | 0 | 0 |1142k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
762.91/762.94 c 751s|960000 |102099 | 0 | 0.0 | 115M| 141 | - | 253 |7793 | 0 | 0 | 0 |1149k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
767.61/767.70 c 756s|970000 |105054 | 0 | 0.0 | 119M| 141 | - | 253 |8742 | 0 | 0 | 0 |1157k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
773.11/773.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.11/773.17 c 761s|980000 |106756 | 0 | 0.0 | 122M| 141 | - | 253 |9488 | 0 | 0 | 0 |1166k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
779.31/779.31 c 767s|990000 |107834 | 0 | 0.0 | 125M| 141 | - | 253 |9865 | 0 | 0 | 0 |1177k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
781.60/781.65 c 769s| 1000k|114820 | 0 | 0.0 | 128M| 141 | - | 253 |4404 | 0 | 0 | 0 |1181k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
783.91/783.99 c 772s| 1010k|121097 | 0 | 0.0 | 132M| 141 | - | 253 |2890 | 0 | 0 | 0 |1186k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
786.21/786.25 c 774s| 1020k|127098 | 0 | 0.0 | 136M| 141 | - | 253 |4326 | 0 | 0 | 0 |1191k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
789.11/789.12 c 776s| 1030k|132453 | 0 | 0.0 | 141M| 141 | - | 253 |6120 | 0 | 0 | 0 |1196k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
792.81/792.86 c 780s| 1040k|136701 | 0 | 0.0 | 146M| 141 | - | 253 |7921 | 0 | 0 | 0 |1203k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
797.31/797.33 c 784s| 1050k|140230 | 0 | 0.0 | 151M| 141 | - | 253 |9299 | 0 | 0 | 0 |1210k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
802.61/802.64 c 790s| 1060k|142652 | 0 | 0.0 | 155M| 141 | - | 253 | 11k| 0 | 0 | 0 |1219k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
809.11/809.17 c 796s| 1070k|143895 | 0 | 0.0 | 158M| 141 | - | 253 | 12k| 0 | 0 | 0 |1229k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
817.01/817.08 c 804s| 1080k|144171 | 0 | 0.0 | 161M| 141 | - | 253 | 15k| 0 | 0 | 0 |1241k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
827.22/827.22 c 814s| 1090k|142875 | 0 | 0.0 | 163M| 141 | - | 253 | 17k| 0 | 0 | 0 |1254k| 0 | 9.000000e+00 | 8.300000e+01 | 822.22%
828.61/828.66 o 67
828.61/828.66 c * 815s| 1091k|137289 | 0 | 0.0 | 158M| 141 | - | 253 | 17k| 0 | 0 | 0 |1255k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
837.91/837.98 c 824s| 1100k|134454 | 0 | 0.0 | 157M| 141 | - | 253 | 15k| 0 | 0 | 0 |1270k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
846.11/846.17 c 832s| 1110k|135848 | 0 | 0.0 | 155M| 141 | - | 253 |7744 | 0 | 0 | 0 |1281k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
849.81/849.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.81/849.82 c 836s| 1120k|140667 | 0 | 0.0 | 159M| 141 | - | 253 |6397 | 0 | 0 | 0 |1288k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
854.01/854.01 c 840s| 1130k|143953 | 0 | 0.0 | 163M| 141 | - | 253 |6713 | 0 | 0 | 0 |1295k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
859.02/859.05 c 845s| 1140k|145672 | 0 | 0.0 | 167M| 141 | - | 253 |8250 | 0 | 0 | 0 |1306k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
863.81/863.86 c 850s| 1150k|148634 | 0 | 0.0 | 170M| 141 | - | 253 |5350 | 0 | 0 | 0 |1315k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
866.31/866.35 c 852s| 1160k|154498 | 0 | 0.0 | 174M| 141 | - | 253 |4606 | 0 | 0 | 0 |1321k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
870.51/870.59 c 856s| 1170k|157179 | 0 | 0.0 | 178M| 141 | - | 253 |7934 | 0 | 0 | 0 |1330k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
878.11/878.13 c 864s| 1180k|156862 | 0 | 0.0 | 182M| 141 | - | 253 | 13k| 0 | 0 | 0 |1343k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
889.11/889.17 c 874s| 1190k|155214 | 0 | 0.0 | 185M| 141 | - | 253 | 18k| 0 | 0 | 0 |1358k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
903.81/903.84 c 889s| 1200k|152509 | 0 | 0.0 | 187M| 141 | - | 253 | 22k| 0 | 0 | 0 |1374k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
922.52/922.59 c 908s| 1210k|147723 | 0 | 0.0 | 186M| 141 | - | 253 | 26k| 0 | 0 | 0 |1392k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
946.61/946.62 c 931s| 1220k|140739 | 0 | 0.0 | 181M| 141 | - | 253 | 29k| 0 | 0 | 0 |1412k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
955.41/955.42 c 940s| 1230k|144180 | 0 | 0.0 | 180M| 141 | - | 253 | 12k| 0 | 0 | 0 |1420k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
963.81/963.86 c 948s| 1240k|144150 | 0 | 0.0 | 182M| 141 | - | 253 | 12k| 0 | 0 | 0 |1432k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
973.31/973.30 c 958s| 1250k|143177 | 0 | 0.0 | 183M| 141 | - | 253 | 14k| 0 | 0 | 0 |1445k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
983.51/983.57 c 968s| 1260k|142132 | 0 | 0.0 | 184M| 141 | - | 253 | 16k| 0 | 0 | 0 |1459k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
994.81/994.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.81/994.85 c 979s| 1270k|140421 | 0 | 0.0 | 184M| 141 | - | 253 | 20k| 0 | 0 | 0 |1473k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
999.31/999.38 c 983s| 1280k|146255 | 0 | 0.0 | 183M| 141 | - | 253 |4725 | 0 | 0 | 0 |1480k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1001.81/1001.89 c 986s| 1290k|151909 | 0 | 0.0 | 187M| 141 | - | 253 |3923 | 0 | 0 | 0 |1486k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1005.72/1005.73 c 989s| 1300k|154782 | 0 | 0.0 | 191M| 141 | - | 253 |4904 | 0 | 0 | 0 |1495k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1010.92/1010.93 c 995s| 1310k|154553 | 0 | 0.0 | 194M| 141 | - | 253 |6742 | 0 | 0 | 0 |1507k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1022.82/1022.81 c 1006s| 1320k|149412 | 0 | 0.0 | 194M| 141 | - | 253 | 16k| 0 | 0 | 0 |1524k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1038.11/1038.17 c 1021s| 1330k|143859 | 0 | 0.0 | 190M| 141 | - | 253 | 13k| 0 | 0 | 0 |1541k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1052.32/1052.34 c 1036s| 1340k|139482 | 0 | 0.0 | 188M| 141 | - | 253 | 19k| 0 | 0 | 0 |1558k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1069.41/1069.42 c 1052s| 1350k|135815 | 0 | 0.0 | 187M| 141 | - | 253 | 25k| 0 | 0 | 0 |1574k| 0 | 9.000000e+00 | 6.700000e+01 | 644.44%
1085.11/1085.10 c 1068s| 1360k|135244 | 0 | 0.0 | 184M| 141 | - | 253 | 13k| 0 | 0 | 0 |1587k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1090.91/1090.96 c 1074s| 1370k|137184 | 0 | 0.0 | 186M| 141 | - | 253 |7032 | 0 | 0 | 0 |1597k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1096.81/1096.82 c 1079s| 1380k|137304 | 0 | 0.0 | 188M| 141 | - | 253 |7258 | 0 | 0 | 0 |1610k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1104.22/1104.29 c 1087s| 1390k|135243 | 0 | 0.0 | 190M| 141 | - | 253 |9447 | 0 | 0 | 0 |1624k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1113.42/1113.40 c 1096s| 1400k|131689 | 0 | 0.0 | 187M| 141 | - | 253 |4141 | 0 | 0 | 0 |1639k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1121.92/1121.96 c 1104s| 1410k|126951 | 0 | 0.0 | 185M| 141 | - | 253 | 13k| 0 | 0 | 0 |1656k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1133.12/1133.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.12/1133.10 c 1115s| 1420k|123202 | 0 | 0.0 | 182M| 141 | - | 253 | 11k| 0 | 0 | 0 |1673k| 0 | 1.000000e+01 | 6.700000e+01 | 570.00%
1146.82/1146.86 c 1129s| 1430k|116101 | 0 | 0.0 | 178M| 141 | - | 253 | 15k| 0 | 0 | 0 |1692k| 0 | 1.100000e+01 | 6.700000e+01 | 509.09%
1154.01/1154.04 c 1136s| 1440k|116178 | 0 | 0.0 | 174M| 141 | - | 253 |5175 | 0 | 0 | 0 |1704k| 0 | 1.100000e+01 | 6.700000e+01 | 509.09%
1158.52/1158.51 c 1140s| 1450k|117564 | 0 | 0.0 | 175M| 141 | - | 253 |4207 | 0 | 0 | 0 |1715k| 0 | 1.100000e+01 | 6.700000e+01 | 509.09%
1164.32/1164.31 c 1146s| 1460k|115484 | 0 | 0.0 | 171M| 141 | - | 253 |8471 | 0 | 0 | 0 |1728k| 0 | 1.100000e+01 | 6.700000e+01 | 509.09%
1169.12/1169.15 c 1150s| 1470k|119192 | 0 | 0.0 | 175M| 141 | - | 253 | 11k| 0 | 0 | 0 |1739k| 0 | 1.200000e+01 | 6.700000e+01 | 458.33%
1173.92/1173.97 c 1155s| 1480k|123646 | 0 | 0.0 | 177M| 141 | - | 253 |6407 | 0 | 0 | 0 |1747k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1178.32/1178.31 c 1159s| 1490k|126533 | 0 | 0.0 | 179M| 141 | - | 253 |6791 | 0 | 0 | 0 |1757k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1183.12/1183.11 c 1164s| 1500k|128788 | 0 | 0.0 | 182M| 141 | - | 253 |7310 | 0 | 0 | 0 |1767k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1187.92/1187.96 c 1169s| 1510k|130736 | 0 | 0.0 | 184M| 141 | - | 253 |7538 | 0 | 0 | 0 |1778k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1195.42/1195.48 c 1176s| 1520k|131178 | 0 | 0.0 | 189M| 141 | - | 253 | 15k| 0 | 0 | 0 |1793k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1205.91/1205.95 c 1187s| 1530k|131640 | 0 | 0.0 | 190M| 141 | - | 253 | 16k| 0 | 0 | 0 |1807k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1209.82/1209.86 c 1190s| 1540k|137533 | 0 | 0.0 | 192M| 141 | - | 253 |7692 | 0 | 0 | 0 |1813k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1213.92/1213.97 c 1194s| 1550k|141668 | 0 | 0.0 | 195M| 141 | - | 253 |8403 | 0 | 0 | 0 |1821k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1219.72/1219.79 c 1200s| 1560k|143677 | 0 | 0.0 | 199M| 141 | - | 253 | 10k| 0 | 0 | 0 |1832k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1227.02/1227.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.02/1227.08 c 1207s| 1570k|144377 | 0 | 0.0 | 201M| 141 | - | 253 | 11k| 0 | 0 | 0 |1844k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1233.92/1233.93 c 1214s| 1580k|146632 | 0 | 0.0 | 205M| 141 | - | 253 | 15k| 0 | 0 | 0 |1857k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1243.92/1243.95 c 1224s| 1590k|146115 | 0 | 0.0 | 206M| 141 | - | 253 | 13k| 0 | 0 | 0 |1872k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1256.72/1256.80 c 1236s| 1600k|141620 | 0 | 0.0 | 202M| 141 | - | 253 | 20k| 0 | 0 | 0 |1892k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1263.72/1263.80 c 1243s| 1610k|144923 | 0 | 0.0 | 202M| 141 | - | 253 | 10k| 0 | 0 | 0 |1901k| 0 | 1.400000e+01 | 6.700000e+01 | 378.57%
1270.12/1270.16 c 1250s| 1620k|147216 | 0 | 0.0 | 206M| 141 | - | 253 | 11k| 0 | 0 | 0 |1911k| 0 | 1.500000e+01 | 6.700000e+01 | 346.67%
1278.12/1278.20 c 1258s| 1630k|147904 | 0 | 0.0 | 210M| 141 | - | 253 | 13k| 0 | 0 | 0 |1923k| 0 | 1.500000e+01 | 6.700000e+01 | 346.67%
1288.42/1288.40 c 1268s| 1640k|146830 | 0 | 0.0 | 213M| 141 | - | 253 | 17k| 0 | 0 | 0 |1937k| 0 | 1.500000e+01 | 6.700000e+01 | 346.67%
1300.42/1300.47 c 1280s| 1650k|145619 | 0 | 0.0 | 215M| 141 | - | 253 | 21k| 0 | 0 | 0 |1953k| 0 | 1.500000e+01 | 6.700000e+01 | 346.67%
1314.62/1314.67 c 1294s| 1660k|145279 | 0 | 0.0 | 219M| 141 | - | 253 | 27k| 0 | 0 | 0 |1971k| 0 | 1.500000e+01 | 6.700000e+01 | 346.67%
1335.82/1335.81 c 1315s| 1670k|141673 | 0 | 0.0 | 216M| 141 | - | 253 | 24k| 0 | 0 | 0 |1991k| 0 | 1.500000e+01 | 6.700000e+01 | 346.67%
1343.42/1343.40 o 51
1343.42/1343.40 c *1322s| 1675k| 97272 | 0 | 0.0 | 150M| 141 | - | 253 | 16k| 0 | 0 | 0 |1999k| 0 | 1.500000e+01 | 5.100000e+01 | 240.00%
1349.32/1349.35 c 1328s| 1680k| 95813 | 0 | 0.0 | 150M| 141 | - | 253 | 14k| 0 | 0 | 0 |2006k| 0 | 1.500000e+01 | 5.100000e+01 | 240.00%
1366.72/1366.77 c 1345s| 1690k| 87794 | 0 | 0.0 | 146M| 141 | - | 253 | 21k| 0 | 0 | 0 |2026k| 0 | 1.500000e+01 | 5.100000e+01 | 240.00%
1394.02/1394.09 c 1372s| 1700k| 77793 | 0 | 0.0 | 134M| 141 | - | 253 | 14k| 0 | 0 | 0 |2053k| 0 | 1.500000e+01 | 5.100000e+01 | 240.00%
1402.93/1402.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.93/1402.99 c 1381s| 1710k| 77142 | 0 | 0.0 | 126M| 141 | - | 253 | 12k| 0 | 0 | 0 |2066k| 0 | 1.500000e+01 | 5.100000e+01 | 240.00%
1408.42/1408.48 c 1386s| 1720k| 79915 | 0 | 0.0 | 127M| 141 | - | 253 |9199 | 0 | 0 | 0 |2076k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1411.62/1411.65 c 1390s| 1730k| 86329 | 0 | 0.0 | 132M| 141 | - | 253 | 11k| 0 | 0 | 0 |2084k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1417.02/1417.09 c 1395s| 1740k| 90312 | 0 | 0.0 | 137M| 141 | - | 253 | 15k| 0 | 0 | 0 |2095k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1426.12/1426.18 c 1404s| 1750k| 89937 | 0 | 0.0 | 137M| 141 | - | 253 | 10k| 0 | 0 | 0 |2110k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1434.12/1434.18 c 1412s| 1760k| 88169 | 0 | 0.0 | 137M| 141 | - | 253 | 13k| 0 | 0 | 0 |2126k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1439.22/1439.27 c 1417s| 1770k| 93094 | 0 | 0.0 | 141M| 141 | - | 253 | 15k| 0 | 0 | 0 |2137k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1447.12/1447.15 c 1424s| 1780k| 95627 | 0 | 0.0 | 146M| 141 | - | 253 | 18k| 0 | 0 | 0 |2151k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1459.73/1459.79 c 1437s| 1790k| 94915 | 0 | 0.0 | 149M| 141 | - | 253 | 23k| 0 | 0 | 0 |2169k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1478.12/1478.11 c 1455s| 1800k| 90814 | 0 | 0.0 | 146M| 141 | - | 253 | 19k| 0 | 0 | 0 |2189k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1490.52/1490.57 c 1467s| 1810k| 88740 | 0 | 0.0 | 142M| 141 | - | 253 | 12k| 0 | 0 | 0 |2206k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1504.62/1504.67 c 1481s| 1820k| 84845 | 0 | 0.0 | 144M| 141 | - | 253 | 21k| 0 | 0 | 0 |2228k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1528.32/1528.35 c 1505s| 1830k| 76874 | 0 | 0.0 | 137M| 141 | - | 253 | 25k| 0 | 0 | 0 |2253k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1535.83/1535.82 c 1512s| 1840k| 81188 | 0 | 0.0 | 136M| 141 | - | 253 | 15k| 0 | 0 | 0 |2263k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1545.22/1545.23 c 1521s| 1850k| 77564 | 0 | 0.0 | 132M| 141 | - | 253 |8662 | 0 | 0 | 0 |2278k| 0 | 1.900000e+01 | 5.100000e+01 | 168.42%
1552.23/1552.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.23/1552.26 c 1528s| 1860k| 76760 | 0 | 0.0 | 128M| 141 | - | 253 | 11k| 0 | 0 | 0 |2294k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1559.93/1559.99 c 1536s| 1870k| 78765 | 0 | 0.0 | 134M| 141 | - | 253 | 17k| 0 | 0 | 0 |2310k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1570.23/1570.29 c 1546s| 1880k| 79359 | 0 | 0.0 | 136M| 141 | - | 253 | 16k| 0 | 0 | 0 |2326k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1577.33/1577.39 c 1553s| 1890k| 81399 | 0 | 0.0 | 134M| 141 | - | 253 |7335 | 0 | 0 | 0 |2336k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1584.22/1584.20 c 1560s| 1900k| 82852 | 0 | 0.0 | 138M| 141 | - | 253 | 14k| 0 | 0 | 0 |2355k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1596.83/1596.82 c 1572s| 1910k| 81723 | 0 | 0.0 | 141M| 141 | - | 253 | 24k| 0 | 0 | 0 |2376k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1612.83/1612.80 c 1588s| 1920k| 79584 | 0 | 0.0 | 138M| 141 | - | 253 | 19k| 0 | 0 | 0 |2395k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1617.52/1617.58 c 1593s| 1930k| 84888 | 0 | 0.0 | 139M| 141 | - | 253 |8894 | 0 | 0 | 0 |2403k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1622.03/1622.01 c 1597s| 1940k| 88710 | 0 | 0.0 | 142M| 141 | - | 253 |9529 | 0 | 0 | 0 |2413k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1629.83/1629.81 c 1605s| 1950k| 85598 | 0 | 0.0 | 137M| 141 | - | 253 |8277 | 0 | 0 | 0 |2430k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1646.12/1646.19 c 1621s| 1960k| 79423 | 0 | 0.0 | 135M| 141 | - | 253 | 25k| 0 | 0 | 0 |2459k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1654.13/1654.16 c 1629s| 1970k| 83939 | 0 | 0.0 | 135M| 141 | - | 253 | 14k| 0 | 0 | 0 |2469k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1661.93/1661.93 c 1636s| 1980k| 87026 | 0 | 0.0 | 140M| 141 | - | 253 | 18k| 0 | 0 | 0 |2482k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1672.03/1672.00 c 1646s| 1990k| 89080 | 0 | 0.0 | 143M| 141 | - | 253 | 19k| 0 | 0 | 0 |2497k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1681.53/1681.55 c 1656s| 2000k| 91057 | 0 | 0.0 | 145M| 141 | - | 253 | 18k| 0 | 0 | 0 |2512k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1692.63/1692.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.63/1692.65 c 1667s| 2010k| 90733 | 0 | 0.0 | 146M| 141 | - | 253 | 19k| 0 | 0 | 0 |2527k| 0 | 2.200000e+01 | 5.100000e+01 | 131.82%
1702.83/1702.85 c 1677s| 2020k| 88515 | 0 | 0.0 | 140M| 141 | - | 253 |6256 | 0 | 0 | 0 |2542k| 0 | 2.400000e+01 | 5.100000e+01 | 112.50%
1708.03/1708.02 c 1682s| 2030k| 92081 | 0 | 0.0 | 147M| 141 | - | 253 | 15k| 0 | 0 | 0 |2557k| 0 | 2.400000e+01 | 5.100000e+01 | 112.50%
1720.33/1720.40 c 1694s| 2040k| 91908 | 0 | 0.0 | 152M| 141 | - | 253 | 25k| 0 | 0 | 0 |2576k| 0 | 2.400000e+01 | 5.100000e+01 | 112.50%
1741.43/1741.49 c 1715s| 2050k| 88616 | 0 | 0.0 | 154M| 141 | - | 253 | 32k| 0 | 0 | 0 |2599k| 0 | 2.400000e+01 | 5.100000e+01 | 112.50%
1763.23/1763.23 c 1737s| 2060k| 86519 | 0 | 0.0 | 153M| 141 | - | 253 | 28k| 0 | 0 | 0 |2618k| 0 | 2.400000e+01 | 5.100000e+01 | 112.50%
1784.23/1784.25 c 1758s| 2070k| 82539 | 0 | 0.0 | 152M| 141 | - | 253 | 30k| 0 | 0 | 0 |2639k| 0 | 2.400000e+01 | 5.100000e+01 | 112.50%
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) : 1773.16
1800.03/1800.00 c Solving Nodes : 2078906
1800.03/1800.00 c Primal Bound : +5.10000000000000e+01 (9 solutions)
1800.03/1800.00 c Dual Bound : +2.40000000000000e+01
1800.03/1800.00 c Gap : 112.50 %
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 : 1773.16
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693969-1277898704.wbo
1800.03/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.03/1800.00 c Constraints : 144 initial, 144 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693969-1277898704.wbo
1800.03/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.03/1800.00 c Constraints : 130 initial, 38837 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 0 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 0 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 42 0 14 0 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 : - 5 - - 10 - - - -
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 : 42 0 6580176 0 1275279 11979 1161600 0 0 0
1800.03/1800.00 c knapsack : 1 0 6890799 0 1336274 116123 31905629 0 0 0
1800.03/1800.00 c setppc : 39 0 6774626 0 1336267 667978 7266993 0 0 0
1800.03/1800.00 c linear : 42 0 6106679 0 1336270 182452 4176566 0 0 0
1800.03/1800.00 c logicor : 6+ 0 2917287 0 1324778 47876 1340251 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 169219 0 0 11 8225 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1336279 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 : 4.61 0.00 3.28 0.00 1.33
1800.03/1800.00 c knapsack : 203.16 0.00 199.96 0.00 3.20
1800.03/1800.00 c setppc : 42.47 0.00 36.48 0.00 5.99
1800.03/1800.00 c linear : 46.74 0.00 46.10 0.00 0.64
1800.03/1800.00 c logicor : 683.20 0.00 682.27 0.00 0.93
1800.03/1800.00 c bounddisjunction : 0.44 0.00 0.44 0.00 0.00
1800.03/1800.00 c countsols : 0.19 0.00 0.00 0.00 0.19
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.80 2 0 0
1800.03/1800.00 c rootredcost : 1.38 0 0 0
1800.03/1800.00 c pseudoobj : 12.12 6908371 5781 979804
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 28.58 1020221 1020118 4921042 18.6 276097 13.4 -
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 92 92 413 13.9 27 14.9 -
1800.03/1800.00 c applied globally : - - - 2643065 14.8 - - -
1800.03/1800.00 c applied locally : - - - 14525 35.1 - - -
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 : 10.45 1336270 0 0 0 0 2672540
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.18 - 9
1800.03/1800.00 c oneopt : 0.77 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.44 0 0
1800.03/1800.00 c trysol : 0.51 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 : 2078906
1800.03/1800.00 c nodes (total) : 2078906
1800.03/1800.00 c nodes left : 78739
1800.03/1800.00 c max depth : 141
1800.03/1800.00 c max depth (total): 141
1800.03/1800.00 c backtracks : 788739 (37.9%)
1800.03/1800.00 c delayed cutoffs : 452007
1800.03/1800.00 c repropagations : 2896792 (11354010 domain reductions, 289665 cutoffs)
1800.03/1800.00 c avg switch length: 22.01
1800.03/1800.00 c switching time : 551.19
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 9 (9 improvements)
1800.03/1800.00 c First Solution : +3.14000000000000e+02 (in run 1, after 240380 nodes, 102.01 seconds, depth 48, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +5.10000000000000e+01 (in run 1, after 1675431 nodes, 1321.94 seconds, depth 23, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +2.40000000000000e+01
1800.03/1800.00 c Gap : 112.50 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.23/1800.27 c Time complete: 1800.31.
OK 51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693969-1277898704/watcher-2693969-1277898704 -o /tmp/evaluation-result-2693969-1277898704/solver-2693969-1277898704 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693969-1277898704.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.38 2.15 2.05 4/196 23671 /proc/meminfo: memFree=31351620/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=8264 CPUtime=0 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 1542 0 0 0 0 0 0 0 25 0 1 0 163509953 8462336 1465 4089446400 4194304 7136930 140736766640368 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23671/statm: 2066 1465 275 719 0 1345 0 [startup+0.044898 s] /proc/loadavg: 2.38 2.15 2.05 4/196 23671 /proc/meminfo: memFree=31351620/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=12292 CPUtime=0.03 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 4606 0 0 0 3 0 0 0 25 0 1 0 163509953 12587008 2377 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 3073 2377 403 719 0 2352 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12292 [startup+0.100885 s] /proc/loadavg: 2.38 2.15 2.05 4/196 23671 /proc/meminfo: memFree=31351620/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=12824 CPUtime=0.09 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 4733 0 0 0 8 1 0 0 25 0 1 0 163509953 13131776 2504 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 3206 2504 403 719 0 2485 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12824 [startup+0.30085 s] /proc/loadavg: 2.38 2.15 2.05 4/196 23671 /proc/meminfo: memFree=31351620/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=14576 CPUtime=0.29 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 5172 0 0 0 27 2 0 0 25 0 1 0 163509953 14925824 2943 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 3644 2943 403 719 0 2923 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14576 [startup+0.70078 s] /proc/loadavg: 2.38 2.15 2.05 4/196 23671 /proc/meminfo: memFree=31351620/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=17152 CPUtime=0.69 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 5821 0 0 0 64 5 0 0 25 0 1 0 163509953 17563648 3592 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 4288 3592 403 719 0 3567 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17152 [startup+1.50065 s] /proc/loadavg: 2.38 2.15 2.05 3/197 23673 /proc/meminfo: memFree=31337476/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=20760 CPUtime=1.49 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 6749 0 0 0 140 9 0 0 25 0 1 0 163509953 21258240 4520 4089446400 4194304 7136930 140736766640368 18446744073709551615 4209098 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 5190 4520 403 719 0 4469 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20760 [startup+3.10037 s] /proc/loadavg: 2.38 2.15 2.05 3/197 23673 /proc/meminfo: memFree=31332392/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=25616 CPUtime=3.09 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 7990 0 0 0 292 17 0 0 25 0 1 0 163509953 26230784 5761 4089446400 4194304 7136930 140736766640368 18446744073709551615 4220974 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 6404 5761 403 719 0 5683 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25616 [startup+6.3008 s] /proc/loadavg: 2.35 2.15 2.05 3/197 23673 /proc/meminfo: memFree=31324792/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=33256 CPUtime=6.29 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 9875 0 0 0 601 28 0 0 25 0 1 0 163509953 34054144 7646 4089446400 4194304 7136930 140736766640368 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 8314 7646 403 719 0 7593 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33256 [startup+12.7007 s] /proc/loadavg: 2.32 2.14 2.05 3/197 23673 /proc/meminfo: memFree=31312964/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=40860 CPUtime=12.69 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 11788 0 0 0 1225 44 0 0 25 0 1 0 163509953 41840640 9559 4089446400 4194304 7136930 140736766640368 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 10215 9559 403 719 0 9494 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40860 [startup+25.5004 s] /proc/loadavg: 2.25 2.14 2.05 3/197 23674 /proc/meminfo: memFree=31293632/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=60852 CPUtime=25.49 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 16785 0 0 0 2461 88 0 0 25 0 1 0 163509953 62312448 14556 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 15213 14556 403 719 0 14492 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60852 [startup+51.1009 s] /proc/loadavg: 2.16 2.13 2.05 3/197 23674 /proc/meminfo: memFree=31277796/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=69872 CPUtime=51.09 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 19024 0 0 0 4987 122 0 0 25 0 1 0 163509953 71548928 16795 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 17468 16795 403 719 0 16747 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 69872 [startup+102.306 s] /proc/loadavg: 2.06 2.10 2.04 3/197 23676 /proc/meminfo: memFree=31236212/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=109920 CPUtime=102.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 28610 0 0 0 9979 251 0 0 25 0 1 0 163509953 112558080 26381 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 27480 26381 403 719 0 26759 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 109920 [startup+162.3 s] /proc/loadavg: 2.02 2.08 2.04 3/197 23677 /proc/meminfo: memFree=31193880/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=143200 CPUtime=162.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 37023 0 0 0 15834 396 0 0 25 0 1 0 163509953 146636800 34794 4089446400 4194304 7136930 140736766640368 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 35800 34794 403 719 0 35079 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 143200 [startup+222.301 s] /proc/loadavg: 2.01 2.06 2.03 3/197 23678 /proc/meminfo: memFree=31168772/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=162856 CPUtime=222.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 41953 0 0 0 21732 498 0 0 25 0 1 0 163509953 166764544 39724 4089446400 4194304 7136930 140736766640368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 40714 39724 406 719 0 39993 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 162856 [startup+282.3 s] /proc/loadavg: 2.00 2.05 2.02 3/197 23680 /proc/meminfo: memFree=31148260/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=177012 CPUtime=282.29 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 45434 0 0 0 27639 590 0 0 25 0 1 0 163509953 181260288 43205 4089446400 4194304 7136930 140736766640368 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 44253 43205 406 719 0 43532 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 177012 [startup+342.301 s] /proc/loadavg: 2.00 2.04 2.02 3/197 23682 /proc/meminfo: memFree=31138164/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=186848 CPUtime=342.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 47812 0 0 0 33572 658 0 0 25 0 1 0 163509953 191332352 45583 4089446400 4194304 7136930 140736766640368 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 46712 45583 406 719 0 45991 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 186848 [startup+402.3 s] /proc/loadavg: 2.08 2.04 2.02 3/197 23684 /proc/meminfo: memFree=31135148/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=187768 CPUtime=402.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 48055 0 0 0 39509 721 0 0 25 0 1 0 163509953 192274432 45826 4089446400 4194304 7136930 140736766640368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 46942 45826 406 719 0 46221 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 187768 [startup+462.301 s] /proc/loadavg: 2.09 2.05 2.02 3/197 23685 /proc/meminfo: memFree=31130888/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=192252 CPUtime=462.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 49003 0 0 0 45464 766 0 0 25 0 1 0 163509953 196866048 46774 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 48063 46774 406 719 0 47342 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 192252 [startup+522.3 s] /proc/loadavg: 2.03 2.04 2.01 3/197 23686 /proc/meminfo: memFree=31129592/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=193276 CPUtime=522.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 49270 0 0 0 51345 885 0 0 25 0 1 0 163509953 197914624 47041 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 48319 47041 406 719 0 47598 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 193276 [startup+582.301 s] /proc/loadavg: 2.01 2.03 2.01 3/197 23697 /proc/meminfo: memFree=31116712/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=200448 CPUtime=582.3 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 51099 0 0 0 57243 987 0 0 25 0 1 0 163509953 205258752 48870 4089446400 4194304 7136930 140736766640368 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 50112 48870 406 719 0 49391 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 200448 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 23699 /proc/meminfo: memFree=31113428/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=203936 CPUtime=642.31 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 51867 0 0 0 63172 1059 0 0 25 0 1 0 163509953 208830464 49638 4089446400 4194304 7136930 140736766640368 18446744073709551615 5958398 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 50984 49638 406 719 0 50263 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 203936 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23705 /proc/meminfo: memFree=31054100/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=247840 CPUtime=882.31 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 62996 0 0 0 86763 1468 0 0 25 0 1 0 163509953 253788160 60767 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 61960 60767 406 719 0 61239 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 247840 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23707 /proc/meminfo: memFree=31033720/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=253076 CPUtime=942.31 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 64237 0 0 0 92707 1524 0 0 25 0 1 0 163509953 259149824 62008 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 63269 62008 406 719 0 62548 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 253076 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23709 /proc/meminfo: memFree=31029580/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=256840 CPUtime=1002.31 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 65170 0 0 0 98615 1616 0 0 25 0 1 0 163509953 263004160 62941 4089446400 4194304 7136930 140736766640368 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 64210 62941 406 719 0 63489 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 256840 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 23710 /proc/meminfo: memFree=31015164/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=260812 CPUtime=1062.32 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 66181 0 0 0 104537 1695 0 0 25 0 1 0 163509953 267071488 63952 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 65203 63952 406 719 0 64482 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 260812 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 23711 /proc/meminfo: memFree=31013752/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=261648 CPUtime=1122.32 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 66409 0 0 0 110444 1788 0 0 25 0 1 0 163509953 267927552 64180 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 65412 64180 406 719 0 64691 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 261648 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23713 /proc/meminfo: memFree=30994368/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=261648 CPUtime=1182.32 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 66416 0 0 0 116328 1904 0 0 25 0 1 0 163509953 267927552 64187 4089446400 4194304 7136930 140736766640368 18446744073709551615 4209075 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 65412 64187 406 719 0 64691 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 261648 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23715 /proc/meminfo: memFree=30972360/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=269688 CPUtime=1242.32 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 68409 0 0 0 122218 2014 0 0 25 0 1 0 163509953 276160512 66180 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 67422 66180 406 719 0 66701 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 269688 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23717 /proc/meminfo: memFree=30945160/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=278656 CPUtime=1302.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 70513 0 0 0 128131 2102 0 0 25 0 1 0 163509953 285343744 68284 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 69664 68284 406 719 0 68943 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 278656 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23718 /proc/meminfo: memFree=30941780/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=281952 CPUtime=1362.32 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71272 0 0 0 134074 2158 0 0 25 0 1 0 163509953 288718848 69043 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70488 69043 406 719 0 69767 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 281952 [startup+1422.31 s] /proc/loadavg: 1.85 1.97 1.99 3/175 23760 /proc/meminfo: memFree=31331640/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1422.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71377 0 0 0 139996 2237 0 0 25 0 1 0 163509953 289144832 69148 4089446400 4194304 7136930 140736766640368 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69148 406 719 0 69871 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 282368 [startup+1482.3 s] /proc/loadavg: 1.94 1.97 1.99 3/179 23772 /proc/meminfo: memFree=31170132/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1482.32 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71377 0 0 0 145914 2318 0 0 25 0 1 0 163509953 289144832 69148 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69148 406 719 0 69871 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 282368 [startup+1542.3 s] /proc/loadavg: 1.98 1.97 1.99 3/179 23774 /proc/meminfo: memFree=31021292/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1542.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71388 0 0 0 151849 2384 0 0 25 0 1 0 163509953 289144832 69159 4089446400 4194304 7136930 140736766640368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69159 406 719 0 69871 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 282368 [startup+1602.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23776 /proc/meminfo: memFree=30891664/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1602.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71405 0 0 0 157759 2474 0 0 25 0 1 0 163509953 289144832 69176 4089446400 4194304 7136930 140736766640368 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69176 406 719 0 69871 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 282368 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23777 /proc/meminfo: memFree=30754956/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1662.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71416 0 0 0 163676 2557 0 0 25 0 1 0 163509953 289144832 69187 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69187 406 719 0 69871 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 282368 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23805 /proc/meminfo: memFree=31232832/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1722.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71421 0 0 0 169599 2634 0 0 25 0 1 0 163509953 289144832 69192 4089446400 4194304 7136930 140736766640368 18446744073709551615 4209991 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69192 406 719 0 69871 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 282368 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23807 /proc/meminfo: memFree=31075536/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1782.33 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71475 0 0 0 175560 2673 0 0 25 0 1 0 163509953 289144832 69246 4089446400 4194304 7136930 140736766640368 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69246 406 719 0 69871 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 282368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 1.99 1.99 3/179 23807 /proc/meminfo: memFree=31032116/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1800.03 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71475 0 0 0 177316 2687 0 0 25 0 1 0 163509953 289144832 69246 4089446400 4194304 7136930 140736766640368 18446744073709551615 5957425 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69246 406 719 0 69871 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 282368 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.07 1.99 1.99 3/179 23807 /proc/meminfo: memFree=31032116/32951124 swapFree=67111528/67111528 [pid=23671] ppid=23669 vsize=282368 CPUtime=1800.23 /proc/23671/stat : 23671 (pbscip.linux.x8) R 23669 23671 21063 0 -1 4202496 71480 0 0 0 177336 2687 0 0 25 0 1 0 163509953 289144832 69251 4089446400 4194304 7136930 140736766640368 18446744073709551615 4670424 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23671/statm: 70592 69251 411 719 0 69871 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 282368 Child status: 0 Real time (s): 1800.27 CPU time (s): 1800.31 CPU user time (s): 1773.42 CPU system time (s): 26.8919 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 282368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.42 system time used= 26.8919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71487 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= 1 involuntary context switches= 2420 runsolver used 2.50462 second user time and 5.69213 second system time The end
Begin job on node119 at 2010-06-30 13:51:45 IDJOB=2693969 IDBENCH=78845 IDSOLVER=1206 FILE ID=node119/2693969-1277898704 PBS_JOBID= 11197115 Free space on /tmp= 74212 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.1110966483--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-2693969-1277898704/watcher-2693969-1277898704 -o /tmp/evaluation-result-2693969-1277898704/solver-2693969-1277898704 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693969-1277898704.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 666d5c712f5e475011fc9b955250b39c RANDOM SEED=29000284 node119.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.802 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.802 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.802 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.802 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.802 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.73 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.802 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.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31352148 kB Buffers: 182884 kB Cached: 951004 kB SwapCached: 0 kB Active: 835108 kB Inactive: 622400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31352148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3384 kB Writeback: 0 kB AnonPages: 323352 kB Mapped: 20440 kB Slab: 78764 kB PageTables: 5800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654568 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 node119 at 2010-06-30 14:21:47