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.27 | 1800.22 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo |
| MD5SUM | fe65609ab6055158a33ec1709a24fe9b |
| 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 | 23 |
| Best CPU time to get the best result obtained on this benchmark | 0.309952 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3426 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3425 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1242 |
| 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-2693867-1277896149.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 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, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 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 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.14 c 1.1s| 10000 | 7104 | 0 | 0.0 |6810k| 176 | - | 293 |3391 | 0 | 0 | 0 |7642 | 0 | 0.000000e+00 | -- | Inf
2.89/2.99 c 2.8s| 20000 | 12704 | 0 | 0.0 | 11M| 176 | - | 293 |5122 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.39/5.46 c 5.2s| 30000 | 17572 | 0 | 0.0 | 17M| 176 | - | 293 |8481 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
8.79/8.85 c 8.5s| 40000 | 21043 | 0 | 0.0 | 22M| 176 | - | 293 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
13.10/13.19 c 12.7s| 50000 | 22836 | 0 | 0.0 | 27M| 176 | - | 293 | 16k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
16.29/16.38 c 15.8s| 60000 | 28052 | 0 | 0.0 | 28M| 176 | - | 293 |7126 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
17.09/17.16 o 810
17.09/17.16 c *16.6s| 62901 | 29370 | 0 | 0.0 | 29M| 176 | - | 293 |7462 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+02 | Inf
17.19/17.21 o 702
17.19/17.21 c *16.6s| 63438 | 29878 | 0 | 0.0 | 29M| 176 | - | 293 |6736 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
18.99/19.08 c 18.4s| 70000 | 32507 | 0 | 0.0 | 32M| 176 | - | 293 |8501 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
23.89/23.93 c 23.2s| 80000 | 33890 | 0 | 0.0 | 37M| 176 | - | 293 | 14k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
30.49/30.54 c 29.7s| 90000 | 34607 | 0 | 0.0 | 42M| 176 | - | 293 | 20k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
38.89/38.94 c 37.9s|100000 | 34704 | 0 | 0.0 | 46M| 176 | - | 293 | 25k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
49.59/49.65 c 48.5s|110000 | 33654 | 0 | 0.0 | 49M| 176 | - | 293 | 30k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
60.99/61.00 c 59.8s|120000 | 33778 | 0 | 0.0 | 46M| 176 | - | 293 | 17k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
64.59/64.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.59/64.70 c 63.4s|130000 | 38943 | 0 | 0.0 | 47M| 176 | - | 293 |9540 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
68.49/68.59 c 67.2s|140000 | 42723 | 0 | 0.0 | 52M| 176 | - | 293 | 11k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.020000e+02 | Inf
73.39/73.45 o 496
73.39/73.45 c *71.9s|149533 | 44917 | 0 | 0.0 | 54M| 176 | - | 293 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 4.960000e+02 | Inf
73.39/73.45 o 353
73.39/73.45 c *71.9s|149534 | 44908 | 0 | 0.0 | 54M| 176 | - | 293 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
73.49/73.55 c 72.0s|150000 | 45294 | 0 | 0.0 | 54M| 176 | - | 293 |9062 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
74.80/74.83 c 73.2s|160000 | 53628 | 0 | 0.0 | 56M| 176 | - | 293 |4333 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.530000e+02 | Inf
75.29/75.37 o 303
75.29/75.37 c *73.7s|164136 | 56887 | 0 | 0.0 | 58M| 176 | - | 293 |4599 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.030000e+02 | Inf
75.49/75.52 o 259
75.49/75.52 c *73.9s|165207 | 57689 | 0 | 0.0 | 58M| 176 | - | 293 |4670 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
76.19/76.24 c 74.5s|170000 | 61192 | 0 | 0.0 | 60M| 176 | - | 293 |5155 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
80.09/80.11 c 78.3s|180000 | 63134 | 0 | 0.0 | 65M| 176 | - | 293 | 11k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
90.39/90.48 c 88.5s|190000 | 59356 | 0 | 0.0 | 67M| 176 | - | 293 | 23k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
107.09/107.11 c 105s|200000 | 53599 | 0 | 0.0 | 64M| 176 | - | 293 | 34k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
119.69/119.78 c 118s|210000 | 53633 | 0 | 0.0 | 57M| 176 | - | 293 | 14k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
126.69/126.79 c 124s|220000 | 54815 | 0 | 0.0 | 59M| 176 | - | 293 | 14k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
134.99/135.05 c 133s|230000 | 54580 | 0 | 0.0 | 62M| 176 | - | 293 | 19k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
145.20/145.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.20/145.29 c 143s|240000 | 53199 | 0 | 0.0 | 64M| 176 | - | 293 | 24k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
156.59/156.68 c 154s|250000 | 52500 | 0 | 0.0 | 62M| 176 | - | 293 | 21k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
159.09/159.13 c 156s|260000 | 60423 | 0 | 0.0 | 62M| 176 | - | 293 |7795 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
160.19/160.27 o 254
160.19/160.27 c * 157s|266226 | 65133 | 0 | 0.0 | 64M| 176 | - | 293 |6109 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
160.80/160.88 c 158s|270000 | 68007 | 0 | 0.0 | 65M| 176 | - | 293 |5913 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
161.19/161.28 o 222
161.19/161.28 c * 158s|272268 | 69643 | 0 | 0.0 | 66M| 176 | - | 293 |5838 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
161.80/161.88 o 197
161.80/161.88 c * 159s|275862 | 72290 | 0 | 0.0 | 67M| 176 | - | 293 |6009 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
162.49/162.59 c 160s|280000 | 75345 | 0 | 0.0 | 69M| 176 | - | 293 |6202 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
164.20/164.29 c 161s|290000 | 82735 | 0 | 0.0 | 73M| 176 | - | 293 |6884 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
166.10/166.18 c 163s|300000 | 89859 | 0 | 0.0 | 77M| 176 | - | 293 |7416 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
168.10/168.16 c 165s|310000 | 96809 | 0 | 0.0 | 81M| 176 | - | 293 |8236 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
170.20/170.21 c 167s|320000 |103706 | 0 | 0.0 | 85M| 176 | - | 293 |8422 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
172.40/172.43 c 169s|330000 |110290 | 0 | 0.0 | 89M| 176 | - | 293 |9133 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
174.80/174.83 c 171s|340000 |116591 | 0 | 0.0 | 93M| 176 | - | 293 |9042 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
177.39/177.45 c 174s|350000 |122398 | 0 | 0.0 | 97M| 176 | - | 293 |9444 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
179.99/180.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.99/180.07 c 176s|360000 |128256 | 0 | 0.0 | 101M| 176 | - | 293 | 10k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
182.70/182.75 c 179s|370000 |134035 | 0 | 0.0 | 105M| 176 | - | 293 | 10k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
185.50/185.56 c 182s|380000 |139636 | 0 | 0.0 | 109M| 176 | - | 293 | 10k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
188.50/188.51 c 185s|390000 |144862 | 0 | 0.0 | 113M| 176 | - | 293 | 11k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
189.40/189.48 o 196
189.40/189.48 c * 186s|392959 |146102 | 0 | 0.0 | 114M| 176 | - | 293 | 11k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
191.00/191.05 c 187s|400000 |150842 | 0 | 0.0 | 115M| 176 | - | 293 |3130 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
197.40/197.47 c 193s|410000 |147618 | 0 | 0.0 | 111M| 176 | - | 293 | 12k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 1.960000e+02 | Large
208.39/208.41 c 204s|420000 |143980 | 0 | 0.0 | 113M| 176 | - | 293 | 20k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 1.960000e+02 | Large
224.20/224.26 c 220s|430000 |137897 | 0 | 0.0 | 111M| 176 | - | 293 | 31k| 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 1.960000e+02 | Large
235.79/235.89 c 231s|440000 |138719 | 0 | 0.0 | 105M| 176 | - | 293 | 20k| 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.960000e+02 | Large
239.80/239.83 c 235s|450000 |145482 | 0 | 0.0 | 106M| 176 | - | 293 | 11k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.960000e+02 | Large
242.80/242.82 c 238s|460000 |152223 | 0 | 0.0 | 109M| 176 | - | 293 |8948 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 1.960000e+02 | Large
245.40/245.41 c 241s|470000 |158708 | 0 | 0.0 | 113M| 176 | - | 293 |7549 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 1.960000e+02 | Large
247.70/247.77 c 243s|480000 |165331 | 0 | 0.0 | 116M| 176 | - | 293 |7600 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 1.960000e+02 | Large
250.00/250.07 c 245s|490000 |172024 | 0 | 0.0 | 120M| 176 | - | 293 |7718 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 1.960000e+02 | Large
252.49/252.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.49/252.56 c 247s|500000 |178410 | 0 | 0.0 | 124M| 176 | - | 293 |8149 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 1.960000e+02 | Large
255.00/255.06 c 250s|510000 |184788 | 0 | 0.0 | 128M| 176 | - | 293 |8161 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.960000e+02 | Large
256.40/256.48 o 174
256.40/256.48 c * 251s|515364 |187800 | 0 | 0.0 | 130M| 176 | - | 293 |8076 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 1.740000e+02 | Large
257.60/257.67 c 252s|520000 |190715 | 0 | 0.0 | 132M| 176 | - | 293 |8272 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.740000e+02 | Large
260.20/260.25 c 255s|530000 |196993 | 0 | 0.0 | 136M| 176 | - | 293 |8474 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.740000e+02 | Large
262.80/262.88 c 257s|540000 |203235 | 0 | 0.0 | 140M| 176 | - | 293 |8538 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.740000e+02 | Large
265.50/265.50 c 260s|550000 |209438 | 0 | 0.0 | 144M| 176 | - | 293 |8947 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 1.740000e+02 | Large
268.10/268.17 c 263s|560000 |215499 | 0 | 0.0 | 148M| 176 | - | 293 |9166 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 1.740000e+02 | Large
270.80/270.88 c 265s|570000 |221620 | 0 | 0.0 | 152M| 176 | - | 293 |9451 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 1.740000e+02 | Large
273.70/273.74 c 268s|580000 |227530 | 0 | 0.0 | 156M| 176 | - | 293 |9594 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 1.740000e+02 | Large
276.60/276.69 c 271s|590000 |233331 | 0 | 0.0 | 160M| 176 | - | 293 |9767 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 1.740000e+02 | Large
279.70/279.71 c 274s|600000 |238948 | 0 | 0.0 | 164M| 176 | - | 293 | 10k| 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 1.740000e+02 | Large
282.70/282.75 c 277s|610000 |244592 | 0 | 0.0 | 168M| 176 | - | 293 | 10k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 1.740000e+02 | Large
285.70/285.73 c 280s|620000 |250295 | 0 | 0.0 | 172M| 176 | - | 293 | 10k| 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 1.740000e+02 | Large
288.40/288.48 c 282s|630000 |256289 | 0 | 0.0 | 177M| 176 | - | 293 | 11k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.740000e+02 | Large
291.69/291.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.69/291.71 c 285s|640000 |261686 | 0 | 0.0 | 180M| 176 | - | 293 | 10k| 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 1.740000e+02 | Large
294.70/294.78 c 288s|650000 |267287 | 0 | 0.0 | 184M| 176 | - | 293 | 10k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 1.740000e+02 | Large
297.79/297.86 c 291s|660000 |272965 | 0 | 0.0 | 188M| 176 | - | 293 | 11k| 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 1.740000e+02 | Large
299.80/299.86 o 169
299.80/299.86 c * 293s|666546 |276241 | 0 | 0.0 | 190M| 176 | - | 293 | 11k| 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 1.690000e+02 | Large
300.80/300.83 c 294s|670000 |278331 | 0 | 0.0 | 192M| 176 | - | 293 | 12k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 1.690000e+02 | Large
304.00/304.09 c 297s|680000 |283773 | 0 | 0.0 | 196M| 176 | - | 293 | 11k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.690000e+02 | Large
307.39/307.41 c 301s|690000 |289069 | 0 | 0.0 | 199M| 176 | - | 293 | 11k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.690000e+02 | Large
310.79/310.82 c 304s|700000 |294215 | 0 | 0.0 | 203M| 176 | - | 293 | 11k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 1.690000e+02 | Large
313.90/313.93 c 307s|710000 |299842 | 0 | 0.0 | 207M| 176 | - | 293 | 12k| 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 1.690000e+02 | Large
317.20/317.24 c 310s|720000 |305137 | 0 | 0.0 | 211M| 176 | - | 293 | 12k| 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 1.690000e+02 | Large
320.90/320.94 c 314s|730000 |309945 | 0 | 0.0 | 215M| 176 | - | 293 | 12k| 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 1.690000e+02 | Large
324.60/324.69 c 317s|740000 |314761 | 0 | 0.0 | 218M| 176 | - | 293 | 12k| 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 1.690000e+02 | Large
325.51/325.53 o 147
325.51/325.53 c * 318s|742433 |312404 | 0 | 0.0 | 216M| 176 | - | 293 | 12k| 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 1.470000e+02 | Large
328.60/328.60 c 321s|750000 |315759 | 0 | 0.0 | 218M| 176 | - | 293 | 13k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 1.470000e+02 | Large
332.70/332.74 c 325s|760000 |320205 | 0 | 0.0 | 222M| 176 | - | 293 | 13k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.470000e+02 | Large
332.80/332.86 o 126
332.80/332.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.80/332.86 c * 325s|760243 |314462 | 0 | 0.0 | 216M| 176 | - | 293 | 13k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.260000e+02 | Large
337.10/337.15 c 330s|770000 |318237 | 0 | 0.0 | 221M| 176 | - | 293 | 13k| 0 | 0 | 0 | 789k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
341.90/341.91 c 334s|780000 |321407 | 0 | 0.0 | 226M| 176 | - | 293 | 14k| 0 | 0 | 0 | 798k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
346.50/346.53 c 339s|790000 |324743 | 0 | 0.0 | 231M| 176 | - | 293 | 14k| 0 | 0 | 0 | 806k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
351.30/351.35 c 343s|800000 |327784 | 0 | 0.0 | 236M| 176 | - | 293 | 15k| 0 | 0 | 0 | 815k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
356.50/356.56 c 348s|810000 |330416 | 0 | 0.0 | 241M| 176 | - | 293 | 15k| 0 | 0 | 0 | 824k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
362.00/362.01 c 354s|820000 |332673 | 0 | 0.0 | 246M| 176 | - | 293 | 14k| 0 | 0 | 0 | 834k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
367.31/367.36 c 359s|830000 |334736 | 0 | 0.0 | 250M| 176 | - | 293 | 14k| 0 | 0 | 0 | 843k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
368.60/368.62 o 119
368.60/368.62 c * 360s|832490 |334347 | 0 | 0.0 | 251M| 176 | - | 293 | 14k| 0 | 0 | 0 | 845k| 0 | 2.000000e+00 | 1.190000e+02 |5850.00%
372.70/372.72 c 364s|840000 |335546 | 0 | 0.0 | 255M| 176 | - | 293 | 15k| 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 1.190000e+02 |5850.00%
376.30/376.32 o 113
376.30/376.32 c * 368s|846382 |333434 | 0 | 0.0 | 255M| 176 | - | 293 | 14k| 0 | 0 | 0 | 859k| 0 | 2.000000e+00 | 1.130000e+02 |5550.00%
377.50/377.53 o 91
377.50/377.53 c * 369s|848609 |321976 | 0 | 0.0 | 246M| 176 | - | 293 | 15k| 0 | 0 | 0 | 862k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
378.21/378.29 c 370s|850000 |322336 | 0 | 0.0 | 246M| 176 | - | 293 | 13k| 0 | 0 | 0 | 863k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
381.90/381.92 c 373s|860000 |327343 | 0 | 0.0 | 249M| 176 | - | 293 |5274 | 0 | 0 | 0 | 873k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
385.20/385.25 c 376s|870000 |331782 | 0 | 0.0 | 254M| 176 | - | 293 |7531 | 0 | 0 | 0 | 884k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
389.80/389.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.80/389.88 c 381s|880000 |334442 | 0 | 0.0 | 257M| 176 | - | 293 |5872 | 0 | 0 | 0 | 898k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
393.40/393.43 c 384s|890000 |338809 | 0 | 0.0 | 262M| 176 | - | 293 |7094 | 0 | 0 | 0 | 908k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
397.01/397.07 c 388s|900000 |343343 | 0 | 0.0 | 268M| 176 | - | 293 |8604 | 0 | 0 | 0 | 918k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
401.10/401.15 c 392s|910000 |347395 | 0 | 0.0 | 273M| 176 | - | 293 |9393 | 0 | 0 | 0 | 928k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
405.20/405.20 c 396s|920000 |351472 | 0 | 0.0 | 278M| 176 | - | 293 |9890 | 0 | 0 | 0 | 938k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
409.81/409.86 c 400s|930000 |354781 | 0 | 0.0 | 283M| 176 | - | 293 | 11k| 0 | 0 | 0 | 949k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
414.81/414.89 c 405s|940000 |357940 | 0 | 0.0 | 288M| 176 | - | 293 | 11k| 0 | 0 | 0 | 960k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
418.01/418.01 o 79
418.01/418.01 c * 408s|945944 |314317 | 0 | 0.0 | 254M| 176 | - | 293 | 11k| 0 | 0 | 0 | 967k| 0 | 2.000000e+00 | 7.900000e+01 |3850.00%
418.40/418.42 o 75
418.40/418.42 c * 409s|946688 |313310 | 0 | 0.0 | 253M| 176 | - | 293 | 12k| 0 | 0 | 0 | 968k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
420.61/420.63 c 411s|950000 |313844 | 0 | 0.0 | 255M| 176 | - | 293 | 10k| 0 | 0 | 0 | 972k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
426.81/426.82 c 417s|960000 |315779 | 0 | 0.0 | 260M| 176 | - | 293 | 11k| 0 | 0 | 0 | 985k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
433.31/433.31 c 423s|970000 |317506 | 0 | 0.0 | 264M| 176 | - | 293 | 12k| 0 | 0 | 0 | 997k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
440.71/440.74 c 431s|980000 |318666 | 0 | 0.0 | 269M| 176 | - | 293 | 14k| 0 | 0 | 0 |1011k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
448.30/448.38 c 438s|990000 |320062 | 0 | 0.0 | 273M| 176 | - | 293 | 14k| 0 | 0 | 0 |1024k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
455.90/455.90 c 446s| 1000k|321677 | 0 | 0.0 | 277M| 176 | - | 293 | 15k| 0 | 0 | 0 |1037k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
463.91/463.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.91/463.90 c 453s| 1010k|322785 | 0 | 0.0 | 282M| 176 | - | 293 | 16k| 0 | 0 | 0 |1050k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
472.11/472.16 c 462s| 1020k|323968 | 0 | 0.0 | 286M| 176 | - | 293 | 17k| 0 | 0 | 0 |1063k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
480.71/480.78 c 470s| 1030k|324706 | 0 | 0.0 | 290M| 176 | - | 293 | 18k| 0 | 0 | 0 |1076k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
489.80/489.80 c 479s| 1040k|325487 | 0 | 0.0 | 294M| 176 | - | 293 | 19k| 0 | 0 | 0 |1090k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
498.60/498.68 c 488s| 1050k|326362 | 0 | 0.0 | 298M| 176 | - | 293 | 19k| 0 | 0 | 0 |1103k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
507.80/507.84 c 497s| 1060k|327013 | 0 | 0.0 | 303M| 176 | - | 293 | 21k| 0 | 0 | 0 |1116k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
518.50/518.55 c 507s| 1070k|326631 | 0 | 0.0 | 306M| 176 | - | 293 | 21k| 0 | 0 | 0 |1131k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
528.51/528.54 c 517s| 1080k|327018 | 0 | 0.0 | 310M| 176 | - | 293 | 22k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 7.500000e+01 |3650.00%
533.20/533.28 o 53
533.20/533.28 c * 522s| 1084k|248065 | 0 | 0.0 | 236M| 176 | - | 293 | 23k| 0 | 0 | 0 |1150k| 0 | 2.000000e+00 | 5.300000e+01 |2550.00%
539.80/539.84 o 52
539.80/539.84 c * 528s| 1087k|245167 | 0 | 0.0 | 238M| 176 | - | 293 | 20k| 0 | 0 | 0 |1159k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
543.81/543.81 c 532s| 1090k|243356 | 0 | 0.0 | 239M| 176 | - | 293 | 20k| 0 | 0 | 0 |1165k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
558.41/558.40 c 547s| 1100k|234329 | 0 | 0.0 | 236M| 176 | - | 293 | 11k| 0 | 0 | 0 |1190k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
571.61/571.65 c 560s| 1110k|223805 | 0 | 0.0 | 233M| 176 | - | 293 | 16k| 0 | 0 | 0 |1217k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
588.00/588.06 c 576s| 1120k|211374 | 0 | 0.0 | 227M| 176 | - | 293 | 19k| 0 | 0 | 0 |1245k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
603.01/603.06 c 591s| 1130k|200707 | 0 | 0.0 | 214M| 176 | - | 293 |5260 | 0 | 0 | 0 |1273k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
608.60/608.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.60/608.63 c 596s| 1140k|200775 | 0 | 0.0 | 217M| 176 | - | 293 |8444 | 0 | 0 | 0 |1292k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
615.71/615.79 c 603s| 1150k|199220 | 0 | 0.0 | 219M| 176 | - | 293 |9558 | 0 | 0 | 0 |1313k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
622.71/622.76 c 610s| 1160k|197814 | 0 | 0.0 | 219M| 176 | - | 293 |7869 | 0 | 0 | 0 |1333k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
635.21/635.25 c 622s| 1170k|189355 | 0 | 0.0 | 219M| 176 | - | 293 | 14k| 0 | 0 | 0 |1363k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
639.91/639.93 o 47
639.91/639.93 c * 627s| 1172k|185598 | 0 | 0.0 | 218M| 176 | - | 293 | 16k| 0 | 0 | 0 |1371k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
646.91/646.91 o 30
646.91/646.91 c * 634s| 1176k|143370 | 0 | 0.0 | 186M| 176 | - | 293 | 18k| 0 | 0 | 0 |1382k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
656.72/656.77 c 643s| 1180k|137477 | 0 | 0.0 | 184M| 176 | - | 293 | 20k| 0 | 0 | 0 |1395k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
684.91/684.99 c 671s| 1190k|120550 | 0 | 0.0 | 172M| 176 | - | 293 | 25k| 0 | 0 | 0 |1428k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
712.21/712.28 c 698s| 1200k|103565 | 0 | 0.0 | 154M| 176 | - | 293 | 31k| 0 | 0 | 0 |1457k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
738.31/738.32 c 724s| 1210k| 91981 | 0 | 0.0 | 138M| 176 | - | 293 | 28k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
758.51/758.53 c 744s| 1220k| 87116 | 0 | 0.0 | 135M| 176 | - | 293 | 29k| 0 | 0 | 0 |1510k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
771.12/771.13 o 23
771.12/771.13 c * 757s| 1225k| 79822 | 0 | 0.0 | 129M| 176 | - | 293 | 31k| 0 | 0 | 0 |1524k| 0 | 2.000000e+00 | 2.300000e+01 |1050.00%
779.41/779.44 c 765s| 1230k| 78154 | 0 | 0.0 | 127M| 176 | - | 293 | 31k| 0 | 0 | 0 |1533k| 0 | 2.000000e+00 | 2.300000e+01 |1050.00%
790.92/790.96 c 777s| 1240k| 80284 | 0 | 0.0 | 123M| 176 | - | 293 | 17k| 0 | 0 | 0 |1549k| 0 | 2.000000e+00 | 2.300000e+01 |1050.00%
810.12/810.17 c 796s| 1250k| 67892 | 0 | 0.0 | 104M| 176 | - | 293 | 28k| 0 | 0 | 0 |1578k| 0 | 3.000000e+00 | 2.300000e+01 | 666.67%
824.72/824.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.72/824.72 c 810s| 1260k| 67973 | 0 | 0.0 | 97M| 176 | - | 293 | 20k| 0 | 0 | 0 |1594k| 0 | 3.000000e+00 | 2.300000e+01 | 666.67%
830.61/830.62 c 816s| 1270k| 73301 | 0 | 0.0 | 99M| 176 | - | 293 | 21k| 0 | 0 | 0 |1606k| 0 | 4.000000e+00 | 2.300000e+01 | 475.00%
840.32/840.34 c 825s| 1280k| 75084 | 0 | 0.0 | 104M| 176 | - | 293 | 26k| 0 | 0 | 0 |1623k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
849.12/849.10 c 834s| 1290k| 76834 | 0 | 0.0 | 102M| 176 | - | 293 | 19k| 0 | 0 | 0 |1638k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
855.31/855.37 c 840s| 1300k| 81465 | 0 | 0.0 | 105M| 176 | - | 293 | 19k| 0 | 0 | 0 |1651k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
862.01/862.00 c 847s| 1310k| 85850 | 0 | 0.0 | 110M| 176 | - | 293 | 20k| 0 | 0 | 0 |1666k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
871.02/871.01 c 856s| 1320k| 88634 | 0 | 0.0 | 115M| 176 | - | 293 | 24k| 0 | 0 | 0 |1682k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
883.72/883.76 c 868s| 1330k| 89479 | 0 | 0.0 | 120M| 176 | - | 293 | 30k| 0 | 0 | 0 |1702k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
901.62/901.60 c 886s| 1340k| 87889 | 0 | 0.0 | 123M| 176 | - | 293 | 35k| 0 | 0 | 0 |1724k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
916.62/916.63 c 901s| 1350k| 89444 | 0 | 0.0 | 120M| 176 | - | 293 | 21k| 0 | 0 | 0 |1740k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
926.02/926.00 c 910s| 1360k| 91076 | 0 | 0.0 | 123M| 176 | - | 293 | 25k| 0 | 0 | 0 |1759k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
937.52/937.53 c 922s| 1370k| 92662 | 0 | 0.0 | 126M| 176 | - | 293 | 26k| 0 | 0 | 0 |1777k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
952.52/952.54 c 936s| 1380k| 92680 | 0 | 0.0 | 130M| 176 | - | 293 | 29k| 0 | 0 | 0 |1798k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
970.12/970.10 c 954s| 1390k| 91772 | 0 | 0.0 | 133M| 176 | - | 293 | 33k| 0 | 0 | 0 |1819k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
995.23/995.25 c 979s| 1400k| 87292 | 0 | 0.0 | 132M| 176 | - | 293 | 41k| 0 | 0 | 0 |1844k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1017.42/1017.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.42/1017.40 c 1001s| 1410k| 86834 | 0 | 0.0 | 128M| 176 | - | 293 | 33k| 0 | 0 | 0 |1864k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1033.83/1033.90 c 1017s| 1420k| 86479 | 0 | 0.0 | 130M| 176 | - | 293 | 31k| 0 | 0 | 0 |1886k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1056.22/1056.26 c 1039s| 1430k| 82826 | 0 | 0.0 | 129M| 176 | - | 293 | 33k| 0 | 0 | 0 |1911k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1088.93/1088.91 c 1072s| 1440k| 73729 | 0 | 0.0 | 121M| 176 | - | 293 | 42k| 0 | 0 | 0 |1940k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1116.13/1116.10 c 1099s| 1450k| 69926 | 0 | 0.0 | 115M| 176 | - | 293 | 37k| 0 | 0 | 0 |1963k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
1147.23/1147.22 c 1130s| 1460k| 62547 | 0 | 0.0 | 106M| 176 | - | 293 | 41k| 0 | 0 | 0 |1990k| 0 | 7.000000e+00 | 2.300000e+01 | 228.57%
1158.83/1158.82 c 1141s| 1470k| 66057 | 0 | 0.0 | 98M| 176 | - | 293 | 22k| 0 | 0 | 0 |2002k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1163.12/1163.12 c 1146s| 1480k| 72238 | 0 | 0.0 | 97M| 176 | - | 293 | 10k| 0 | 0 | 0 |2013k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1166.93/1166.98 c 1149s| 1490k| 77908 | 0 | 0.0 | 103M| 176 | - | 293 | 15k| 0 | 0 | 0 |2027k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1174.43/1174.47 c 1157s| 1500k| 80803 | 0 | 0.0 | 109M| 176 | - | 293 | 22k| 0 | 0 | 0 |2046k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1182.43/1182.47 c 1165s| 1510k| 84032 | 0 | 0.0 | 109M| 176 | - | 293 | 13k| 0 | 0 | 0 |2061k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1192.44/1192.48 c 1175s| 1520k| 80222 | 0 | 0.0 | 108M| 176 | - | 293 | 11k| 0 | 0 | 0 |2084k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1205.83/1205.84 c 1188s| 1530k| 73002 | 0 | 0.0 | 105M| 176 | - | 293 | 13k| 0 | 0 | 0 |2109k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1220.03/1220.07 c 1202s| 1540k| 63993 | 0 | 0.0 | 99M| 176 | - | 293 | 14k| 0 | 0 | 0 |2133k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1232.63/1232.60 c 1214s| 1550k| 55659 | 0 | 0.0 | 91M| 176 | - | 293 | 14k| 0 | 0 | 0 |2154k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1238.03/1238.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.03/1238.02 c 1220s| 1560k| 60653 | 0 | 0.0 | 96M| 176 | - | 293 | 16k| 0 | 0 | 0 |2170k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1245.53/1245.52 c 1227s| 1570k| 64445 | 0 | 0.0 | 101M| 176 | - | 293 | 21k| 0 | 0 | 0 |2188k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1255.14/1255.12 c 1236s| 1580k| 67533 | 0 | 0.0 | 106M| 176 | - | 293 | 27k| 0 | 0 | 0 |2207k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1270.53/1270.57 c 1252s| 1590k| 67693 | 0 | 0.0 | 111M| 176 | - | 293 | 33k| 0 | 0 | 0 |2230k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1293.44/1293.44 c 1274s| 1600k| 64295 | 0 | 0.0 | 112M| 176 | - | 293 | 42k| 0 | 0 | 0 |2258k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1304.94/1304.99 c 1286s| 1610k| 68656 | 0 | 0.0 | 108M| 176 | - | 293 | 18k| 0 | 0 | 0 |2271k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1311.53/1311.57 c 1292s| 1620k| 72495 | 0 | 0.0 | 113M| 176 | - | 293 | 19k| 0 | 0 | 0 |2287k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1318.84/1318.88 c 1300s| 1630k| 76319 | 0 | 0.0 | 115M| 176 | - | 293 | 15k| 0 | 0 | 0 |2302k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1331.13/1331.15 c 1312s| 1640k| 71404 | 0 | 0.0 | 109M| 176 | - | 293 | 17k| 0 | 0 | 0 |2326k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1342.73/1342.74 c 1323s| 1650k| 68844 | 0 | 0.0 | 106M| 176 | - | 293 | 19k| 0 | 0 | 0 |2351k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1354.14/1354.17 c 1334s| 1660k| 70199 | 0 | 0.0 | 111M| 176 | - | 293 | 25k| 0 | 0 | 0 |2374k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1370.13/1370.12 c 1350s| 1670k| 70223 | 0 | 0.0 | 115M| 176 | - | 293 | 31k| 0 | 0 | 0 |2399k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1390.83/1390.83 c 1371s| 1680k| 68932 | 0 | 0.0 | 119M| 176 | - | 293 | 37k| 0 | 0 | 0 |2426k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1420.14/1420.14 c 1400s| 1690k| 64248 | 0 | 0.0 | 118M| 176 | - | 293 | 44k| 0 | 0 | 0 |2456k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1450.94/1450.95 c 1431s| 1700k| 60619 | 0 | 0.0 | 109M| 176 | - | 293 | 33k| 0 | 0 | 0 |2482k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1463.74/1463.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.74/1463.73 c 1443s| 1710k| 62809 | 0 | 0.0 | 110M| 176 | - | 293 | 24k| 0 | 0 | 0 |2501k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1476.54/1476.50 c 1456s| 1720k| 63712 | 0 | 0.0 | 113M| 176 | - | 293 | 28k| 0 | 0 | 0 |2522k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1491.94/1491.95 c 1471s| 1730k| 63140 | 0 | 0.0 | 116M| 176 | - | 293 | 35k| 0 | 0 | 0 |2545k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1506.34/1506.32 c 1486s| 1740k| 65407 | 0 | 0.0 | 115M| 176 | - | 293 | 27k| 0 | 0 | 0 |2563k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1513.84/1513.83 c 1493s| 1750k| 70128 | 0 | 0.0 | 117M| 176 | - | 293 | 20k| 0 | 0 | 0 |2576k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1525.24/1525.29 c 1504s| 1760k| 71232 | 0 | 0.0 | 120M| 176 | - | 293 | 23k| 0 | 0 | 0 |2596k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1545.74/1545.72 c 1525s| 1770k| 64576 | 0 | 0.0 | 116M| 176 | - | 293 | 33k| 0 | 0 | 0 |2628k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1581.94/1581.93 c 1561s| 1780k| 56028 | 0 | 0.0 | 106M| 176 | - | 293 | 41k| 0 | 0 | 0 |2662k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1607.64/1607.62 c 1586s| 1790k| 52926 | 0 | 0.0 | 102M| 176 | - | 293 | 39k| 0 | 0 | 0 |2687k| 0 | 1.400000e+01 | 2.300000e+01 | 64.29%
1637.54/1637.50 c 1616s| 1800k| 48186 | 0 | 0.0 | 101M| 176 | - | 293 | 52k| 0 | 0 | 0 |2715k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1669.14/1669.17 c 1648s| 1810k| 45771 | 0 | 0.0 | 99M| 176 | - | 293 | 54k| 0 | 0 | 0 |2739k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1689.14/1689.18 c 1667s| 1820k| 48821 | 0 | 0.0 | 97M| 176 | - | 293 | 35k| 0 | 0 | 0 |2757k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1705.54/1705.50 c 1684s| 1830k| 50533 | 0 | 0.0 | 99M| 176 | - | 293 | 30k| 0 | 0 | 0 |2776k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1722.24/1722.24 c 1700s| 1840k| 50304 | 0 | 0.0 | 101M| 176 | - | 293 | 32k| 0 | 0 | 0 |2797k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1742.15/1742.12 c 1720s| 1850k| 48147 | 0 | 0.0 | 98M| 176 | - | 293 | 24k| 0 | 0 | 0 |2821k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1757.85/1757.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.85/1757.87 c 1736s| 1860k| 43330 | 0 | 0.0 | 90M| 176 | - | 293 | 33k| 0 | 0 | 0 |2846k| 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
1779.14/1779.10 c 1757s| 1870k| 42537 | 0 | 0.0 | 91M| 176 | - | 293 | 35k| 0 | 0 | 0 |2870k| 0 | 1.600000e+01 | 2.300000e+01 | 43.75%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1777.47
1800.05/1800.01 c Solving Nodes : 1878936
1800.05/1800.01 c Primal Bound : +2.30000000000000e+01 (24 solutions)
1800.05/1800.01 c Dual Bound : +1.60000000000000e+01
1800.05/1800.01 c Gap : 43.75 %
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1800.05/1800.01 v -x147 -x146 -x145 x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.01 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1800.05/1800.01 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.05/1800.01 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.05/1800.01 v -x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31
1800.05/1800.01 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.05/1800.01 v -x4 -x3 -x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1777.47
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2693867-1277896149.wbo
1800.05/1800.01 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.05/1800.01 c Constraints : 166 initial, 166 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2693867-1277896149.wbo
1800.05/1800.01 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.05/1800.01 c Constraints : 158 initial, 63283 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.00 0 0 0 62 0 6 2 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 62 0 5348850 0 1195757 8780 1811312 0 0 0
1800.05/1800.01 c setppc : 30 0 5823255 0 1290176 43374 6208911 0 0 0
1800.05/1800.01 c linear : 62 0 5779989 0 1290201 593668 25269553 0 0 0
1800.05/1800.01 c logicor : 4+ 0 2684067 0 1281805 186474 1661359 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 106526 0 0 3 14219 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1290225 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 4.97 0.00 3.52 0.00 1.45
1800.05/1800.01 c setppc : 19.11 0.00 14.89 0.00 4.22
1800.05/1800.01 c linear : 131.88 0.00 131.38 0.00 0.50
1800.05/1800.01 c logicor : 790.81 0.00 790.13 0.00 0.68
1800.05/1800.01 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
1800.05/1800.01 c countsols : 0.15 0.00 0.00 0.00 0.15
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.44 2 0 0
1800.05/1800.01 c rootredcost : 1.25 0 0 0
1800.05/1800.01 c pseudoobj : 14.86 5844360 12341 1651887
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 46.56 835859 835652 4431867 25.4 422329 14.3 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.01 88 88 376 25.2 40 16.1 -
1800.05/1800.01 c applied globally : - - - 2826537 17.8 - - -
1800.05/1800.01 c applied locally : - - - 66673 37.3 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 10.48 1290201 0 0 0 0 2580402
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.40 - 24
1800.05/1800.01 c oneopt : 0.70 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.38 0 0
1800.05/1800.01 c trysol : 0.40 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 1878936
1800.05/1800.01 c nodes (total) : 1878936
1800.05/1800.01 c nodes left : 40652
1800.05/1800.01 c max depth : 176
1800.05/1800.01 c max depth (total): 176
1800.05/1800.01 c backtracks : 658764 (35.1%)
1800.05/1800.01 c delayed cutoffs : 465730
1800.05/1800.01 c repropagations : 2401420 (9751822 domain reductions, 256017 cutoffs)
1800.05/1800.01 c avg switch length: 20.55
1800.05/1800.01 c switching time : 579.23
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 24 (24 improvements)
1800.05/1800.01 c First Solution : +8.10000000000000e+02 (in run 1, after 62901 nodes, 16.58 seconds, depth 92, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +2.30000000000000e+01 (in run 1, after 1225954 nodes, 756.87 seconds, depth 62, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +1.60000000000000e+01
1800.05/1800.01 c Gap : 43.75 %
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
1800.24/1800.21 c Time complete: 1800.26.
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693867-1277896149/watcher-2693867-1277896149 -o /tmp/evaluation-result-2693867-1277896149/solver-2693867-1277896149 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693867-1277896149.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.07 2.01 2.00 4/196 1970 /proc/meminfo: memFree=31544852/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=6584 CPUtime=0 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 1052 0 0 0 0 0 0 0 25 0 1 0 131043238 6742016 975 4089446400 4194304 7136930 140735507906192 18446744073709551615 6346856 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/1970/statm: 1646 988 254 719 0 925 0 [startup+0.0285029 s] /proc/loadavg: 2.07 2.01 2.00 4/196 1970 /proc/meminfo: memFree=31544852/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=11952 CPUtime=0.02 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 4495 0 0 0 2 0 0 0 25 0 1 0 131043238 12238848 2265 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 2988 2265 391 719 0 2267 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11952 [startup+0.100487 s] /proc/loadavg: 2.07 2.01 2.00 4/196 1970 /proc/meminfo: memFree=31544852/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=13096 CPUtime=0.09 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 4789 0 0 0 8 1 0 0 25 0 1 0 131043238 13410304 2559 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 3274 2559 395 719 0 2553 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13096 [startup+0.30045 s] /proc/loadavg: 2.07 2.01 2.00 4/196 1970 /proc/meminfo: memFree=31544852/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=14900 CPUtime=0.29 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 5237 0 0 0 26 3 0 0 25 0 1 0 131043238 15257600 3007 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 3725 3007 395 719 0 3004 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14900 [startup+0.700375 s] /proc/loadavg: 2.07 2.01 2.00 4/196 1970 /proc/meminfo: memFree=31544852/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=18052 CPUtime=0.69 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 6052 0 0 0 64 5 0 0 25 0 1 0 131043238 18485248 3822 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 4513 3822 395 719 0 3792 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18052 [startup+1.50023 s] /proc/loadavg: 2.07 2.01 2.00 3/197 1971 /proc/meminfo: memFree=31529344/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=22160 CPUtime=1.49 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 7073 0 0 0 140 9 0 0 25 0 1 0 131043238 22691840 4843 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 5540 4843 395 719 0 4819 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22160 [startup+3.10093 s] /proc/loadavg: 2.07 2.01 2.00 3/197 1971 /proc/meminfo: memFree=31524632/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=28324 CPUtime=3.09 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 8631 0 0 0 292 17 0 0 25 0 1 0 131043238 29003776 6401 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 7081 6401 395 719 0 6360 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28324 [startup+6.30035 s] /proc/loadavg: 2.07 2.01 2.00 3/197 1971 /proc/meminfo: memFree=31513780/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=36392 CPUtime=6.29 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 10649 0 0 0 602 27 0 0 25 0 1 0 131043238 37265408 8419 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/1970/statm: 9098 8419 395 719 0 8377 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36392 [startup+12.7001 s] /proc/loadavg: 2.06 2.01 2.00 3/197 1971 /proc/meminfo: memFree=31504560/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=45448 CPUtime=12.69 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 12909 0 0 0 1224 45 0 0 25 0 1 0 131043238 46538752 10679 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 11362 10679 395 719 0 10641 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45448 [startup+25.5008 s] /proc/loadavg: 2.20 2.05 2.01 3/197 1974 /proc/meminfo: memFree=31487664/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=61212 CPUtime=25.49 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 16876 0 0 0 2472 77 0 0 25 0 1 0 131043238 62681088 14646 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 15303 14646 395 719 0 14582 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61212 [startup+51.101 s] /proc/loadavg: 2.13 2.04 2.01 3/197 1975 /proc/meminfo: memFree=31472072/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=77360 CPUtime=51.09 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 20780 0 0 0 4996 113 0 0 25 0 1 0 131043238 79216640 18550 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 19340 18550 395 719 0 18619 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 77360 [startup+102.306 s] /proc/loadavg: 2.06 2.03 2.00 3/197 1976 /proc/meminfo: memFree=31446948/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=102856 CPUtime=102.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 27109 0 0 0 10025 205 0 0 25 0 1 0 131043238 105324544 24879 4089446400 4194304 7136930 140735507906192 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 25714 24879 396 719 0 24993 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 102856 [startup+162.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 1978 /proc/meminfo: memFree=31440964/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=111816 CPUtime=162.29 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 28838 0 0 0 15934 295 0 0 25 0 1 0 131043238 114499584 26608 4089446400 4194304 7136930 140735507906192 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 27954 26608 396 719 0 27233 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 111816 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 4/197 1979 /proc/meminfo: memFree=31388200/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=162348 CPUtime=222.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 41768 0 0 0 21783 447 0 0 25 0 1 0 131043238 166244352 39538 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 40587 39538 396 719 0 39866 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 162348 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 1981 /proc/meminfo: memFree=31327752/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=226752 CPUtime=282.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 57120 0 0 0 27616 614 0 0 25 0 1 0 131043238 232194048 54890 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999886 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 56688 54890 398 719 0 55967 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 226752 [startup+342.301 s] /proc/loadavg: 2.06 2.02 2.00 3/197 1983 /proc/meminfo: memFree=31257512/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=294832 CPUtime=342.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 74368 0 0 0 33452 778 0 0 25 0 1 0 131043238 301907968 72138 4089446400 4194304 7136930 140735507906192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 73708 72138 398 719 0 72987 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 294832 [startup+402.301 s] /proc/loadavg: 2.02 2.02 2.00 3/197 1984 /proc/meminfo: memFree=31205488/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=347616 CPUtime=402.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 87561 0 0 0 39300 930 0 0 25 0 1 0 131043238 355958784 85331 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 86904 85331 398 719 0 86183 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 347616 [startup+462.301 s] /proc/loadavg: 2.02 2.01 2.00 4/200 2086 /proc/meminfo: memFree=31215548/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=371936 CPUtime=462.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 93596 0 0 0 45191 1039 0 0 25 0 1 0 131043238 380862464 91366 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 92984 91366 398 719 0 92263 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 371936 [startup+522.3 s] /proc/loadavg: 2.11 2.05 2.01 3/179 2117 /proc/meminfo: memFree=31289556/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=392532 CPUtime=522.31 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 98600 0 0 0 51106 1125 0 0 25 0 1 0 131043238 401952768 96370 4089446400 4194304 7136930 140735507906192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 98133 96370 398 719 0 97412 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 392532 [startup+582.3 s] /proc/loadavg: 2.04 2.04 2.00 3/179 2200 /proc/meminfo: memFree=31320832/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=395580 CPUtime=582.3 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 99409 0 0 0 57012 1218 0 0 25 0 1 0 131043238 405073920 97179 4089446400 4194304 7136930 140735507906192 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 98895 97179 398 719 0 98174 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 395580 [startup+642.301 s] /proc/loadavg: 2.01 2.03 2.00 3/179 2202 /proc/meminfo: memFree=31267052/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=395580 CPUtime=642.31 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 99409 0 0 0 62911 1320 0 0 25 0 1 0 131043238 405073920 97179 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 98895 97179 398 719 0 98174 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 395580 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2208 /proc/meminfo: memFree=31172864/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=398992 CPUtime=882.32 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 99986 0 0 0 86686 1546 0 0 25 0 1 0 131043238 408567808 97756 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 99748 97756 398 719 0 99027 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 398992 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2210 /proc/meminfo: memFree=31162044/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=399596 CPUtime=942.32 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100153 0 0 0 92630 1602 0 0 25 0 1 0 131043238 409186304 97923 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 99899 97923 398 719 0 99178 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 399596 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2211 /proc/meminfo: memFree=31157536/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=400576 CPUtime=1002.32 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100351 0 0 0 98585 1647 0 0 25 0 1 0 131043238 410189824 98121 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100144 98121 398 719 0 99423 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 400576 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 2213 /proc/meminfo: memFree=31156872/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=400776 CPUtime=1062.32 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100412 0 0 0 104547 1685 0 0 25 0 1 0 131043238 410394624 98182 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100194 98182 398 719 0 99473 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 400776 [startup+1122.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 2214 /proc/meminfo: memFree=31156696/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=401176 CPUtime=1122.33 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100473 0 0 0 110518 1715 0 0 25 0 1 0 131043238 410804224 98243 4089446400 4194304 7136930 140735507906192 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100294 98243 398 719 0 99573 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 401176 [startup+1182.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 2216 /proc/meminfo: memFree=31155652/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=401884 CPUtime=1182.33 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100611 0 0 0 116460 1773 0 0 25 0 1 0 131043238 411529216 98381 4089446400 4194304 7136930 140735507906192 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100471 98381 398 719 0 99750 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 401884 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 2218 /proc/meminfo: memFree=31155116/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=401884 CPUtime=1242.33 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100611 0 0 0 122377 1856 0 0 25 0 1 0 131043238 411529216 98381 4089446400 4194304 7136930 140735507906192 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100471 98381 398 719 0 99750 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 401884 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2219 /proc/meminfo: memFree=31154572/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=401884 CPUtime=1302.34 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100661 0 0 0 128328 1906 0 0 25 0 1 0 131043238 411529216 98431 4089446400 4194304 7136930 140735507906192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100471 98431 398 719 0 99750 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 401884 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2221 /proc/meminfo: memFree=31153552/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=401884 CPUtime=1362.33 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100666 0 0 0 134254 1979 0 0 25 0 1 0 131043238 411529216 98436 4089446400 4194304 7136930 140735507906192 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100471 98436 398 719 0 99750 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 401884 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2222 /proc/meminfo: memFree=31152988/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=402268 CPUtime=1422.34 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100744 0 0 0 140219 2015 0 0 25 0 1 0 131043238 411922432 98514 4089446400 4194304 7136930 140735507906192 18446744073709551615 6166894 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100567 98514 398 719 0 99846 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 402268 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2224 /proc/meminfo: memFree=31152700/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=402268 CPUtime=1482.33 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100780 0 0 0 146178 2055 0 0 25 0 1 0 131043238 411922432 98550 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100567 98550 398 719 0 99846 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 402268 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2226 /proc/meminfo: memFree=31152400/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=402904 CPUtime=1542.34 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100849 0 0 0 152123 2111 0 0 25 0 1 0 131043238 412573696 98619 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100726 98619 398 719 0 100005 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 402904 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 2227 /proc/meminfo: memFree=31151976/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=402904 CPUtime=1602.34 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 100869 0 0 0 158096 2138 0 0 25 0 1 0 131043238 412573696 98639 4089446400 4194304 7136930 140735507906192 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 100726 98639 398 719 0 100005 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 402904 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 2229 /proc/meminfo: memFree=31148712/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=406060 CPUtime=1662.35 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 101416 0 0 0 164066 2169 0 0 25 0 1 0 131043238 415805440 99186 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 101515 99186 398 719 0 100794 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 406060 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2230 /proc/meminfo: memFree=31147920/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=406060 CPUtime=1722.34 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 101482 0 0 0 170028 2206 0 0 25 0 1 0 131043238 415805440 99252 4089446400 4194304 7136930 140735507906192 18446744073709551615 4222921 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 101515 99252 398 719 0 100794 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 406060 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2232 /proc/meminfo: memFree=31147732/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=406744 CPUtime=1782.35 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 101537 0 0 0 175985 2250 0 0 25 0 1 0 131043238 416505856 99307 4089446400 4194304 7136930 140735507906192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 101686 99307 398 719 0 100965 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 406744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2233 /proc/meminfo: memFree=31147724/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=406744 CPUtime=1800.05 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 101537 0 0 0 177746 2259 0 0 25 0 1 0 131043238 416505856 99307 4089446400 4194304 7136930 140735507906192 18446744073709551615 4209075 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/1970/statm: 101686 99307 398 719 0 100965 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 406744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 2233 /proc/meminfo: memFree=31147724/32951124 swapFree=67111528/67111528 [pid=1970] ppid=1968 vsize=327940 CPUtime=1800.24 /proc/1970/stat : 1970 (pbscip.linux.x8) R 1968 1970 473 0 -1 4202496 101542 0 0 0 177765 2259 0 0 18 0 1 0 131043238 335810560 79615 4089446400 4194304 7136930 140735507906192 18446744073709551615 5953359 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/1970/statm: 81985 79615 403 719 0 81264 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 327940 Child status: 0 Real time (s): 1800.22 CPU time (s): 1800.27 CPU user time (s): 1777.66 CPU system time (s): 22.6126 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 406744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.66 system time used= 22.6126 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101549 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= 4 involuntary context switches= 2702 runsolver used 3.33449 second user time and 6.23105 second system time The end
Begin job on node111 at 2010-06-30 13:09:09 IDJOB=2693867 IDBENCH=78773 IDSOLVER=1206 FILE ID=node111/2693867-1277896149 PBS_JOBID= 11197132 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.1110968094--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693867-1277896149/watcher-2693867-1277896149 -o /tmp/evaluation-result-2693867-1277896149/solver-2693867-1277896149 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693867-1277896149.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe65609ab6055158a33ec1709a24fe9b RANDOM SEED=1558702042 node111.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.850 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.70 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.850 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.82 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.850 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.850 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.85 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.82 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.850 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.850 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: 32951124 kB MemFree: 31545380 kB Buffers: 182060 kB Cached: 786216 kB SwapCached: 0 kB Active: 693244 kB Inactive: 572408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31545380 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 296968 kB Mapped: 20320 kB Slab: 76360 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1643836 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 node111 at 2010-06-30 13:39:11