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.32 | 1800.26 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo |
| MD5SUM | 67ae8b264a7332f0f782a64868c40f1f |
| 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 | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.337948 |
| 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 | 1147 |
| 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-2693890-1277896572.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.01/0.02 c (0.0s) probing: 101/211 (47.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (4 rounds):
0.01/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.02 c 48 implications, 39 cliques
0.01/0.02 c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.01/0.02 c 42 constraints of type <indicator>
0.01/0.02 c 1 constraints of type <knapsack>
0.01/0.02 c 39 constraints of type <setppc>
0.01/0.02 c 42 constraints of type <linear>
0.01/0.02 c 6 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.2
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1800
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 3420
0.01/0.02 c
0.01/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.02 c lp/solvefreq = -1
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 2 | 0 | - | 941k| 0 | - | 253 | 130 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.29 c 1.0s| 10000 | 7375 | 0 | 0.0 |6552k| 141 | - | 253 |3448 | 0 | 0 | 0 |6897 | 0 | 0.000000e+00 | -- | Inf
3.09/3.10 c 2.5s| 20000 | 13816 | 0 | 0.0 | 10M| 141 | - | 253 |3437 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
5.19/5.24 c 4.4s| 30000 | 19671 | 0 | 0.0 | 16M| 141 | - | 253 |6250 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
7.99/8.08 c 6.9s| 40000 | 24571 | 0 | 0.0 | 21M| 141 | - | 253 |8439 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
11.59/11.60 c 10.1s| 50000 | 28494 | 0 | 0.0 | 26M| 141 | - | 253 | 11k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
16.09/16.13 c 14.3s| 60000 | 31201 | 0 | 0.0 | 31M| 141 | - | 253 | 16k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
20.99/21.04 c 18.9s| 70000 | 34141 | 0 | 0.0 | 33M| 141 | - | 253 |9777 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
22.19/22.21 c 19.8s| 80000 | 42591 | 0 | 0.0 | 34M| 141 | - | 253 |2240 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
23.29/23.39 c 20.7s| 90000 | 50738 | 0 | 0.0 | 38M| 141 | - | 253 |2662 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
24.69/24.74 c 21.7s|100000 | 58474 | 0 | 0.0 | 42M| 141 | - | 253 |3546 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
26.40/26.44 c 23.1s|110000 | 65451 | 0 | 0.0 | 46M| 141 | - | 253 |5382 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
27.50/27.51 o 252
27.50/27.51 c *24.1s|114787 | 68384 | 0 | 0.0 | 49M| 141 | - | 253 |5957 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.520000e+02 | Inf
27.50/27.52 o 184
27.50/27.52 c *24.1s|114788 | 68324 | 0 | 0.0 | 49M| 141 | - | 253 |5957 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
29.19/29.21 c 25.6s|120000 | 70422 | 0 | 0.0 | 51M| 141 | - | 253 |7294 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
33.39/33.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.39/33.49 c 29.6s|130000 | 73590 | 0 | 0.0 | 56M| 141 | - | 253 | 11k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
38.69/38.80 c 34.5s|140000 | 75815 | 0 | 0.0 | 60M| 141 | - | 253 | 15k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
45.10/45.12 c 40.5s|150000 | 77369 | 0 | 0.0 | 64M| 141 | - | 253 | 17k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
52.39/52.41 c 47.5s|160000 | 78393 | 0 | 0.0 | 68M| 141 | - | 253 | 21k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
61.19/61.21 c 55.9s|170000 | 78408 | 0 | 0.0 | 71M| 141 | - | 253 | 24k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
71.70/71.73 c 66.0s|180000 | 77650 | 0 | 0.0 | 74M| 141 | - | 253 | 30k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
84.89/84.93 c 78.7s|190000 | 75568 | 0 | 0.0 | 76M| 141 | - | 253 | 36k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
90.30/90.34 c 83.8s|200000 | 81783 | 0 | 0.0 | 70M| 141 | - | 253 |4915 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
91.69/91.77 c 85.0s|210000 | 89800 | 0 | 0.0 | 73M| 141 | - | 253 |3937 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
93.40/93.40 c 86.3s|220000 | 97336 | 0 | 0.0 | 77M| 141 | - | 253 |3894 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
94.99/95.01 c 87.7s|230000 |104798 | 0 | 0.0 | 81M| 141 | - | 253 |3743 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
96.59/96.65 c 89.0s|240000 |112188 | 0 | 0.0 | 85M| 141 | - | 253 |3847 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
98.29/98.38 c 90.4s|250000 |119400 | 0 | 0.0 | 89M| 141 | - | 253 |4211 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
100.10/100.15 c 91.9s|260000 |126555 | 0 | 0.0 | 93M| 141 | - | 253 |4172 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
101.90/101.95 c 93.4s|270000 |133621 | 0 | 0.0 | 97M| 141 | - | 253 |4329 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
103.69/103.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.69/103.79 c 94.9s|280000 |140635 | 0 | 0.0 | 101M| 141 | - | 253 |4580 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
105.69/105.77 c 96.7s|290000 |147358 | 0 | 0.0 | 105M| 141 | - | 253 |4781 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
107.80/107.81 c 98.3s|300000 |153992 | 0 | 0.0 | 109M| 141 | - | 253 |5102 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
109.90/109.98 c 100s|310000 |160388 | 0 | 0.0 | 113M| 141 | - | 253 |5675 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
112.20/112.21 c 102s|320000 |166743 | 0 | 0.0 | 117M| 141 | - | 253 |5965 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
114.49/114.58 c 104s|330000 |172913 | 0 | 0.0 | 121M| 141 | - | 253 |6552 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
116.99/117.02 c 106s|340000 |179039 | 0 | 0.0 | 125M| 141 | - | 253 |6937 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
119.49/119.51 c 109s|350000 |185153 | 0 | 0.0 | 129M| 141 | - | 253 |7421 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
122.10/122.16 c 111s|360000 |191056 | 0 | 0.0 | 133M| 141 | - | 253 |7812 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
124.80/124.84 c 113s|370000 |196900 | 0 | 0.0 | 137M| 141 | - | 253 |8272 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
127.50/127.59 c 116s|380000 |202725 | 0 | 0.0 | 141M| 141 | - | 253 |9060 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
130.39/130.48 c 118s|390000 |208459 | 0 | 0.0 | 145M| 141 | - | 253 |9719 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
133.39/133.48 c 121s|400000 |214065 | 0 | 0.0 | 149M| 141 | - | 253 | 10k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
136.69/136.74 c 124s|410000 |219393 | 0 | 0.0 | 153M| 141 | - | 253 | 11k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
140.19/140.24 c 127s|420000 |224495 | 0 | 0.0 | 157M| 141 | - | 253 | 12k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
143.79/143.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.79/143.85 c 130s|430000 |229606 | 0 | 0.0 | 161M| 141 | - | 253 | 13k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
147.99/148.04 c 134s|440000 |233902 | 0 | 0.0 | 165M| 141 | - | 253 | 14k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
153.09/153.19 c 139s|450000 |236975 | 0 | 0.0 | 169M| 141 | - | 253 | 15k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
163.80/163.87 c 149s|460000 |234842 | 0 | 0.0 | 170M| 141 | - | 253 | 20k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
177.80/177.84 c 163s|470000 |232243 | 0 | 0.0 | 171M| 141 | - | 253 | 27k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
194.60/194.64 c 179s|480000 |228685 | 0 | 0.0 | 171M| 141 | - | 253 | 32k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
214.70/214.74 c 199s|490000 |223789 | 0 | 0.0 | 168M| 141 | - | 253 | 37k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
232.99/233.05 c 217s|500000 |222120 | 0 | 0.0 | 159M| 141 | - | 253 | 23k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
236.51/236.54 c 220s|510000 |229247 | 0 | 0.0 | 158M| 141 | - | 253 |8051 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
238.90/238.98 c 222s|520000 |236202 | 0 | 0.0 | 161M| 141 | - | 253 |7886 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
241.60/241.66 c 225s|530000 |242831 | 0 | 0.0 | 165M| 141 | - | 253 |8303 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
244.30/244.37 c 227s|540000 |249375 | 0 | 0.0 | 169M| 141 | - | 253 |8780 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
247.10/247.15 c 229s|550000 |255822 | 0 | 0.0 | 172M| 141 | - | 253 |9209 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
250.19/250.20 c 232s|560000 |261930 | 0 | 0.0 | 176M| 141 | - | 253 |9251 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
253.30/253.37 c 235s|570000 |267788 | 0 | 0.0 | 180M| 141 | - | 253 |8981 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
256.30/256.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.30/256.40 c 238s|580000 |273715 | 0 | 0.0 | 183M| 141 | - | 253 |8632 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
259.50/259.54 c 241s|590000 |279432 | 0 | 0.0 | 187M| 141 | - | 253 |8378 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
262.50/262.59 c 243s|600000 |285185 | 0 | 0.0 | 191M| 141 | - | 253 |8336 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
265.60/265.62 c 246s|610000 |290942 | 0 | 0.0 | 195M| 141 | - | 253 |8535 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
268.70/268.79 c 249s|620000 |296532 | 0 | 0.0 | 198M| 141 | - | 253 |8493 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
272.09/272.13 c 252s|630000 |301834 | 0 | 0.0 | 202M| 141 | - | 253 |8359 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
275.09/275.16 c 255s|640000 |307578 | 0 | 0.0 | 206M| 141 | - | 253 |8794 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
278.40/278.41 c 258s|650000 |313045 | 0 | 0.0 | 209M| 141 | - | 253 |8644 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
281.70/281.78 c 261s|660000 |318275 | 0 | 0.0 | 213M| 141 | - | 253 |8736 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
284.80/284.90 c 263s|670000 |323913 | 0 | 0.0 | 216M| 141 | - | 253 |8615 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
288.21/288.27 c 266s|680000 |329138 | 0 | 0.0 | 220M| 141 | - | 253 |9148 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
291.69/291.70 c 270s|690000 |334430 | 0 | 0.0 | 224M| 141 | - | 253 |9160 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
295.20/295.21 c 273s|700000 |339501 | 0 | 0.0 | 227M| 141 | - | 253 |8834 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
298.50/298.60 c 276s|710000 |344775 | 0 | 0.0 | 230M| 141 | - | 253 |8983 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
302.10/302.16 c 279s|720000 |349654 | 0 | 0.0 | 234M| 141 | - | 253 |8773 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
305.50/305.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.50/305.52 c 282s|730000 |354874 | 0 | 0.0 | 237M| 141 | - | 253 |8785 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
309.10/309.16 c 285s|740000 |359623 | 0 | 0.0 | 241M| 141 | - | 253 |9222 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
312.60/312.67 c 288s|750000 |364702 | 0 | 0.0 | 244M| 141 | - | 253 |9142 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
316.39/316.47 c 292s|760000 |369301 | 0 | 0.0 | 248M| 141 | - | 253 |9353 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
320.20/320.21 c 295s|770000 |374034 | 0 | 0.0 | 251M| 141 | - | 253 |9421 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
324.10/324.16 c 299s|780000 |378445 | 0 | 0.0 | 254M| 141 | - | 253 |9644 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
327.90/327.97 c 302s|790000 |383122 | 0 | 0.0 | 258M| 141 | - | 253 |9622 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
332.00/332.07 c 306s|800000 |387379 | 0 | 0.0 | 261M| 141 | - | 253 | 10k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
335.90/335.92 c 310s|810000 |392088 | 0 | 0.0 | 264M| 141 | - | 253 |9954 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
340.00/340.04 c 314s|820000 |396301 | 0 | 0.0 | 267M| 141 | - | 253 | 10k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
344.00/344.07 c 317s|830000 |400798 | 0 | 0.0 | 271M| 141 | - | 253 | 10k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
348.40/348.40 c 321s|840000 |404790 | 0 | 0.0 | 274M| 141 | - | 253 | 10k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
352.30/352.38 c 325s|850000 |409452 | 0 | 0.0 | 277M| 141 | - | 253 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
356.90/356.97 c 329s|860000 |413082 | 0 | 0.0 | 280M| 141 | - | 253 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
361.30/361.31 c 333s|870000 |417199 | 0 | 0.0 | 283M| 141 | - | 253 | 11k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
365.90/365.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.90/365.96 c 337s|880000 |421003 | 0 | 0.0 | 286M| 141 | - | 253 | 11k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
370.50/370.50 c 342s|890000 |424915 | 0 | 0.0 | 289M| 141 | - | 253 | 12k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
375.30/375.31 c 346s|900000 |428742 | 0 | 0.0 | 292M| 141 | - | 253 | 12k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
380.10/380.17 c 351s|910000 |432314 | 0 | 0.0 | 295M| 141 | - | 253 | 13k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
384.70/384.76 c 355s|920000 |436445 | 0 | 0.0 | 298M| 141 | - | 253 | 13k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
390.10/390.10 c 360s|930000 |439675 | 0 | 0.0 | 301M| 141 | - | 253 | 13k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
395.11/395.13 c 365s|940000 |443348 | 0 | 0.0 | 304M| 141 | - | 253 | 14k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
398.21/398.26 o 140
398.21/398.26 c * 367s|946001 |438683 | 0 | 0.0 | 298M| 141 | - | 253 | 14k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
400.20/400.20 c 369s|950000 |440289 | 0 | 0.0 | 300M| 141 | - | 253 | 14k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
406.01/406.09 c 375s|960000 |443236 | 0 | 0.0 | 303M| 141 | - | 253 | 14k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
411.80/411.89 c 380s|970000 |446213 | 0 | 0.0 | 306M| 141 | - | 253 | 14k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
417.30/417.33 c 385s|980000 |449715 | 0 | 0.0 | 309M| 141 | - | 253 | 14k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
423.01/423.04 c 391s|990000 |452810 | 0 | 0.0 | 312M| 141 | - | 253 | 15k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
428.91/428.97 c 396s| 1000k|455684 | 0 | 0.0 | 315M| 141 | - | 253 | 15k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
435.01/435.09 c 402s| 1010k|458427 | 0 | 0.0 | 318M| 141 | - | 253 | 15k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
441.30/441.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.30/441.36 c 408s| 1020k|461008 | 0 | 0.0 | 320M| 141 | - | 253 | 16k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
447.80/447.84 c 414s| 1030k|463522 | 0 | 0.0 | 323M| 141 | - | 253 | 16k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
454.31/454.35 c 420s| 1040k|466181 | 0 | 0.0 | 326M| 141 | - | 253 | 17k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
461.00/461.04 c 426s| 1050k|468702 | 0 | 0.0 | 328M| 141 | - | 253 | 17k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
467.90/467.99 c 433s| 1060k|471052 | 0 | 0.0 | 330M| 141 | - | 253 | 18k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
474.81/474.85 c 440s| 1070k|473618 | 0 | 0.0 | 333M| 141 | - | 253 | 19k| 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 1.400000e+02 | Large
477.70/477.71 o 135
477.70/477.71 c * 442s| 1073k|472996 | 0 | 0.0 | 333M| 141 | - | 253 | 19k| 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 1.350000e+02 | Large
481.10/481.12 o 121
481.10/481.12 c * 445s| 1078k|472605 | 0 | 0.0 | 334M| 141 | - | 253 | 19k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 1.210000e+02 | Large
482.10/482.10 c 446s| 1080k|472958 | 0 | 0.0 | 334M| 141 | - | 253 | 19k| 0 | 0 | 0 | 885k| 0 | 1.000000e+00 | 1.210000e+02 | Large
490.21/490.27 c 454s| 1090k|474187 | 0 | 0.0 | 338M| 141 | - | 253 | 19k| 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 1.210000e+02 | Large
497.80/497.80 c 461s| 1100k|476084 | 0 | 0.0 | 342M| 141 | - | 253 | 20k| 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 1.210000e+02 | Large
505.70/505.72 c 469s| 1110k|477547 | 0 | 0.0 | 345M| 141 | - | 253 | 20k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 1.210000e+02 | Large
513.61/513.66 c 476s| 1120k|479047 | 0 | 0.0 | 349M| 141 | - | 253 | 19k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 1.210000e+02 | Large
521.91/521.93 c 484s| 1130k|479655 | 0 | 0.0 | 352M| 141 | - | 253 | 20k| 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 1.210000e+02 | Large
531.10/531.13 c 493s| 1140k|479407 | 0 | 0.0 | 356M| 141 | - | 253 | 21k| 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 1.210000e+02 | Large
538.71/538.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.71/538.75 c 500s| 1150k|482023 | 0 | 0.0 | 357M| 141 | - | 253 | 13k| 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 1.210000e+02 | Large
543.31/543.35 c 504s| 1160k|486789 | 0 | 0.0 | 360M| 141 | - | 253 | 10k| 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 1.210000e+02 | Large
547.82/547.88 c 509s| 1170k|491150 | 0 | 0.0 | 364M| 141 | - | 253 | 10k| 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 1.210000e+02 | Large
552.80/552.88 c 513s| 1180k|495190 | 0 | 0.0 | 368M| 141 | - | 253 | 12k| 0 | 0 | 0 | 986k| 0 | 1.000000e+00 | 1.210000e+02 | Large
558.00/558.01 c 518s| 1190k|499452 | 0 | 0.0 | 373M| 141 | - | 253 | 13k| 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 1.210000e+02 | Large
563.61/563.60 c 523s| 1200k|503349 | 0 | 0.0 | 377M| 141 | - | 253 | 14k| 0 | 0 | 0 |1001k| 0 | 1.000000e+00 | 1.210000e+02 | Large
569.51/569.51 c 529s| 1210k|507000 | 0 | 0.0 | 381M| 141 | - | 253 | 15k| 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 1.210000e+02 | Large
575.61/575.65 c 535s| 1220k|510619 | 0 | 0.0 | 385M| 141 | - | 253 | 16k| 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 1.210000e+02 | Large
582.31/582.39 c 541s| 1230k|513805 | 0 | 0.0 | 389M| 141 | - | 253 | 16k| 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 1.210000e+02 | Large
588.71/588.77 c 547s| 1240k|517670 | 0 | 0.0 | 393M| 141 | - | 253 | 16k| 0 | 0 | 0 |1032k| 0 | 1.000000e+00 | 1.210000e+02 | Large
595.30/595.38 c 553s| 1250k|521167 | 0 | 0.0 | 397M| 141 | - | 253 | 17k| 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 1.210000e+02 | Large
601.80/601.82 c 559s| 1260k|524853 | 0 | 0.0 | 401M| 141 | - | 253 | 16k| 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 1.210000e+02 | Large
607.51/607.55 o 119
607.51/607.55 c * 565s| 1268k|526686 | 0 | 0.0 | 403M| 141 | - | 253 | 17k| 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 1.190000e+02 | Large
608.71/608.77 c 566s| 1270k|527328 | 0 | 0.0 | 404M| 141 | - | 253 | 17k| 0 | 0 | 0 |1055k| 0 | 1.000000e+00 | 1.190000e+02 | Large
615.20/615.28 c 572s| 1280k|530946 | 0 | 0.0 | 407M| 141 | - | 253 | 17k| 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 1.190000e+02 | Large
622.62/622.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.62/622.69 c 579s| 1290k|533845 | 0 | 0.0 | 411M| 141 | - | 253 | 17k| 0 | 0 | 0 |1071k| 0 | 1.000000e+00 | 1.190000e+02 | Large
629.30/629.30 c 585s| 1300k|537430 | 0 | 0.0 | 415M| 141 | - | 253 | 17k| 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 1.190000e+02 | Large
636.51/636.58 c 592s| 1310k|540386 | 0 | 0.0 | 418M| 141 | - | 253 | 17k| 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 1.190000e+02 | Large
643.31/643.31 c 599s| 1320k|543867 | 0 | 0.0 | 422M| 141 | - | 253 | 17k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 1.190000e+02 | Large
651.22/651.22 c 606s| 1330k|546110 | 0 | 0.0 | 425M| 141 | - | 253 | 17k| 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 1.190000e+02 | Large
658.21/658.24 c 613s| 1340k|549366 | 0 | 0.0 | 429M| 141 | - | 253 | 17k| 0 | 0 | 0 |1112k| 0 | 1.000000e+00 | 1.190000e+02 | Large
666.01/666.00 c 620s| 1350k|551772 | 0 | 0.0 | 432M| 141 | - | 253 | 18k| 0 | 0 | 0 |1121k| 0 | 1.000000e+00 | 1.190000e+02 | Large
673.22/673.23 c 627s| 1360k|554983 | 0 | 0.0 | 436M| 141 | - | 253 | 18k| 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 1.190000e+02 | Large
681.31/681.33 c 635s| 1370k|557371 | 0 | 0.0 | 439M| 141 | - | 253 | 18k| 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 1.190000e+02 | Large
689.11/689.13 c 642s| 1380k|560227 | 0 | 0.0 | 443M| 141 | - | 253 | 17k| 0 | 0 | 0 |1147k| 0 | 1.000000e+00 | 1.190000e+02 | Large
696.81/696.87 c 650s| 1390k|562730 | 0 | 0.0 | 446M| 141 | - | 253 | 18k| 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 1.190000e+02 | Large
705.12/705.15 c 658s| 1400k|565139 | 0 | 0.0 | 449M| 141 | - | 253 | 18k| 0 | 0 | 0 |1165k| 0 | 1.000000e+00 | 1.190000e+02 | Large
712.81/712.81 c 665s| 1410k|567855 | 0 | 0.0 | 453M| 141 | - | 253 | 18k| 0 | 0 | 0 |1174k| 0 | 1.000000e+00 | 1.190000e+02 | Large
722.01/722.01 c 674s| 1420k|569592 | 0 | 0.0 | 456M| 141 | - | 253 | 19k| 0 | 0 | 0 |1184k| 0 | 1.000000e+00 | 1.190000e+02 | Large
730.52/730.50 c 682s| 1430k|571968 | 0 | 0.0 | 460M| 141 | - | 253 | 19k| 0 | 0 | 0 |1193k| 0 | 1.000000e+00 | 1.190000e+02 | Large
739.71/739.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.71/739.72 c 691s| 1440k|573782 | 0 | 0.0 | 463M| 141 | - | 253 | 20k| 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 1.190000e+02 | Large
748.71/748.79 c 699s| 1450k|576128 | 0 | 0.0 | 466M| 141 | - | 253 | 20k| 0 | 0 | 0 |1212k| 0 | 1.000000e+00 | 1.190000e+02 | Large
758.01/758.06 c 708s| 1460k|577798 | 0 | 0.0 | 469M| 141 | - | 253 | 21k| 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 1.190000e+02 | Large
767.82/767.87 c 718s| 1470k|579740 | 0 | 0.0 | 473M| 141 | - | 253 | 21k| 0 | 0 | 0 |1232k| 0 | 1.000000e+00 | 1.190000e+02 | Large
776.71/776.73 c 726s| 1480k|582144 | 0 | 0.0 | 476M| 141 | - | 253 | 21k| 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 1.190000e+02 | Large
787.52/787.56 c 737s| 1490k|583107 | 0 | 0.0 | 479M| 141 | - | 253 | 21k| 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 1.190000e+02 | Large
797.32/797.33 c 746s| 1500k|585040 | 0 | 0.0 | 482M| 141 | - | 253 | 21k| 0 | 0 | 0 |1262k| 0 | 1.000000e+00 | 1.190000e+02 | Large
807.42/807.47 c 756s| 1510k|586401 | 0 | 0.0 | 485M| 141 | - | 253 | 22k| 0 | 0 | 0 |1273k| 0 | 1.000000e+00 | 1.190000e+02 | Large
817.82/817.85 c 766s| 1520k|588187 | 0 | 0.0 | 488M| 141 | - | 253 | 22k| 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 1.190000e+02 | Large
827.62/827.67 c 775s| 1530k|590207 | 0 | 0.0 | 492M| 141 | - | 253 | 23k| 0 | 0 | 0 |1293k| 0 | 1.000000e+00 | 1.190000e+02 | Large
839.61/839.61 c 787s| 1540k|590791 | 0 | 0.0 | 494M| 141 | - | 253 | 23k| 0 | 0 | 0 |1304k| 0 | 1.000000e+00 | 1.190000e+02 | Large
849.81/849.86 c 797s| 1550k|592713 | 0 | 0.0 | 497M| 141 | - | 253 | 23k| 0 | 0 | 0 |1314k| 0 | 1.000000e+00 | 1.190000e+02 | Large
857.01/857.09 o 109
857.01/857.09 c * 804s| 1556k|589710 | 0 | 0.0 | 495M| 141 | - | 253 | 24k| 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 1.090000e+02 | Large
857.51/857.59 o 89
857.51/857.59 c * 804s| 1556k|529111 | 0 | 0.0 | 442M| 141 | - | 253 | 24k| 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
861.62/861.61 c 808s| 1560k|528858 | 0 | 0.0 | 438M| 141 | - | 253 |4782 | 0 | 0 | 0 |1325k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
868.02/868.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.02/868.08 c 814s| 1570k|529152 | 0 | 0.0 | 442M| 141 | - | 253 |6045 | 0 | 0 | 0 |1335k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
875.02/875.03 c 820s| 1580k|528436 | 0 | 0.0 | 444M| 141 | - | 253 |8719 | 0 | 0 | 0 |1346k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
882.52/882.55 c 827s| 1590k|528754 | 0 | 0.0 | 448M| 141 | - | 253 | 11k| 0 | 0 | 0 |1356k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
891.11/891.13 c 835s| 1600k|527911 | 0 | 0.0 | 449M| 141 | - | 253 | 12k| 0 | 0 | 0 |1367k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
900.22/900.26 c 844s| 1610k|528278 | 0 | 0.0 | 452M| 141 | - | 253 | 12k| 0 | 0 | 0 |1377k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
910.22/910.20 c 854s| 1620k|527067 | 0 | 0.0 | 455M| 141 | - | 253 | 15k| 0 | 0 | 0 |1389k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
920.91/920.92 c 864s| 1630k|526641 | 0 | 0.0 | 457M| 141 | - | 253 | 14k| 0 | 0 | 0 |1400k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
931.52/931.54 c 874s| 1640k|526066 | 0 | 0.0 | 460M| 141 | - | 253 | 18k| 0 | 0 | 0 |1411k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
943.22/943.27 c 885s| 1650k|525136 | 0 | 0.0 | 460M| 141 | - | 253 | 17k| 0 | 0 | 0 |1422k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
954.12/954.16 c 896s| 1660k|525184 | 0 | 0.0 | 464M| 141 | - | 253 | 19k| 0 | 0 | 0 |1432k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
966.32/966.35 c 908s| 1670k|523660 | 0 | 0.0 | 465M| 141 | - | 253 | 18k| 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
978.52/978.52 c 919s| 1680k|522696 | 0 | 0.0 | 467M| 141 | - | 253 | 18k| 0 | 0 | 0 |1455k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
990.42/990.44 c 931s| 1690k|521893 | 0 | 0.0 | 470M| 141 | - | 253 | 20k| 0 | 0 | 0 |1467k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1003.52/1003.55 c 943s| 1700k|520140 | 0 | 0.0 | 471M| 141 | - | 253 | 19k| 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1016.22/1016.26 c 956s| 1710k|518594 | 0 | 0.0 | 472M| 141 | - | 253 | 19k| 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1028.22/1028.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.22/1028.28 c 967s| 1720k|517864 | 0 | 0.0 | 474M| 141 | - | 253 | 19k| 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1041.02/1041.00 c 979s| 1730k|516190 | 0 | 0.0 | 476M| 141 | - | 253 | 21k| 0 | 0 | 0 |1513k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1054.22/1054.29 c 992s| 1740k|513959 | 0 | 0.0 | 477M| 141 | - | 253 | 21k| 0 | 0 | 0 |1526k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1067.42/1067.42 c 1005s| 1750k|511946 | 0 | 0.0 | 478M| 141 | - | 253 | 20k| 0 | 0 | 0 |1538k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1080.83/1080.81 c 1018s| 1760k|509434 | 0 | 0.0 | 479M| 141 | - | 253 | 20k| 0 | 0 | 0 |1550k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1093.92/1094.00 c 1030s| 1770k|507208 | 0 | 0.0 | 481M| 141 | - | 253 | 20k| 0 | 0 | 0 |1562k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1107.23/1107.25 c 1043s| 1780k|504817 | 0 | 0.0 | 482M| 141 | - | 253 | 20k| 0 | 0 | 0 |1575k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1120.42/1120.41 c 1056s| 1790k|502298 | 0 | 0.0 | 482M| 141 | - | 253 | 20k| 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1133.73/1133.73 c 1069s| 1800k|499535 | 0 | 0.0 | 483M| 141 | - | 253 | 20k| 0 | 0 | 0 |1600k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1147.42/1147.43 c 1082s| 1810k|496617 | 0 | 0.0 | 484M| 141 | - | 253 | 20k| 0 | 0 | 0 |1612k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1160.93/1160.95 c 1095s| 1820k|493587 | 0 | 0.0 | 485M| 141 | - | 253 | 20k| 0 | 0 | 0 |1626k| 0 | 1.000000e+00 | 8.900000e+01 |8800.00%
1171.23/1171.23 o 60
1171.23/1171.23 c *1105s| 1826k|365381 | 0 | 0.0 | 370M| 141 | - | 253 | 20k| 0 | 0 | 0 |1635k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1176.52/1176.57 c 1110s| 1830k|361517 | 0 | 0.0 | 366M| 141 | - | 253 | 10k| 0 | 0 | 0 |1643k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1190.63/1190.66 c 1123s| 1840k|349025 | 0 | 0.0 | 358M| 141 | - | 253 | 10k| 0 | 0 | 0 |1665k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1208.73/1208.73 c 1141s| 1850k|341267 | 0 | 0.0 | 359M| 141 | - | 253 | 16k| 0 | 0 | 0 |1686k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1231.13/1231.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.13/1231.14 c 1162s| 1860k|333517 | 0 | 0.0 | 360M| 141 | - | 253 | 21k| 0 | 0 | 0 |1707k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1255.72/1255.72 c 1186s| 1870k|326165 | 0 | 0.0 | 359M| 141 | - | 253 | 22k| 0 | 0 | 0 |1727k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1282.43/1282.45 c 1212s| 1880k|317555 | 0 | 0.0 | 357M| 141 | - | 253 | 23k| 0 | 0 | 0 |1748k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1309.93/1309.96 c 1239s| 1890k|309086 | 0 | 0.0 | 355M| 141 | - | 253 | 27k| 0 | 0 | 0 |1768k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1341.53/1341.50 c 1270s| 1900k|299784 | 0 | 0.0 | 353M| 141 | - | 253 | 30k| 0 | 0 | 0 |1790k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1376.73/1376.75 c 1305s| 1910k|290497 | 0 | 0.0 | 350M| 141 | - | 253 | 31k| 0 | 0 | 0 |1812k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1413.83/1413.89 c 1341s| 1920k|280674 | 0 | 0.0 | 348M| 141 | - | 253 | 36k| 0 | 0 | 0 |1834k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1456.83/1456.85 c 1384s| 1930k|269457 | 0 | 0.0 | 343M| 141 | - | 253 | 38k| 0 | 0 | 0 |1857k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
1492.64/1492.64 o 49
1492.64/1492.64 c *1419s| 1938k|249854 | 0 | 0.0 | 325M| 141 | - | 253 | 42k| 0 | 0 | 0 |1875k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
1503.33/1503.38 c 1430s| 1940k|246894 | 0 | 0.0 | 324M| 141 | - | 253 | 42k| 0 | 0 | 0 |1880k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
1554.04/1554.06 c 1480s| 1950k|232369 | 0 | 0.0 | 314M| 141 | - | 253 | 40k| 0 | 0 | 0 |1907k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
1592.44/1592.42 o 40
1592.44/1592.42 c *1517s| 1958k|200731 | 0 | 0.0 | 287M| 141 | - | 253 | 42k| 0 | 0 | 0 |1928k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
1603.04/1603.06 c 1528s| 1960k|196771 | 0 | 0.0 | 281M| 141 | - | 253 | 34k| 0 | 0 | 0 |1934k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
1652.94/1652.93 c 1577s| 1970k|174915 | 0 | 0.0 | 263M| 141 | - | 253 | 39k| 0 | 0 | 0 |1965k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
1708.94/1708.93 c 1632s| 1980k|149703 | 0 | 0.0 | 238M| 141 | - | 253 | 41k| 0 | 0 | 0 |1995k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
1727.35/1727.32 o 23
1727.35/1727.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.35/1727.32 c *1650s| 1983k|121009 | 0 | 0.0 | 202M| 141 | - | 253 | 41k| 0 | 0 | 0 |2006k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
1754.14/1754.15 c 1676s| 1990k|101080 | 0 | 0.0 | 168M| 141 | - | 253 | 20k| 0 | 0 | 0 |2029k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
1797.35/1797.32 c 1719s| 2000k| 66844 | 0 | 0.0 | 102M| 141 | - | 253 | 16k| 0 | 0 | 0 |2062k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1721.23
1800.05/1800.00 c Solving Nodes : 2006511
1800.05/1800.00 c Primal Bound : +2.30000000000000e+01 (12 solutions)
1800.05/1800.00 c Dual Bound : +1.00000000000000e+00
1800.05/1800.00 c Gap : 2200.00 %
1800.05/1800.00 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.00 v x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1721.23
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693890-1277896572.wbo
1800.05/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.05/1800.00 c Constraints : 144 initial, 144 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693890-1277896572.wbo
1800.05/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.05/1800.00 c Constraints : 130 initial, 43427 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 42 0 14 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 4 - - 8 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 42 0 5466202 0 1294408 16482 2043247 0 0 0
1800.05/1800.00 c knapsack : 1 0 6108843 0 1420508 124683 19161285 0 0 0
1800.05/1800.00 c setppc : 39 0 5984135 0 1420502 583548 6740821 0 0 0
1800.05/1800.00 c linear : 42 0 5400600 0 1420501 95665 3459925 0 0 0
1800.05/1800.00 c logicor : 6+ 0 2762704 0 1405295 42272 1383121 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 263960 0 0 2 13997 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1420513 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 3.00 0.00 1.92 0.00 1.08
1800.05/1800.00 c knapsack : 194.22 0.00 191.57 0.00 2.65
1800.05/1800.00 c setppc : 33.10 0.00 28.30 0.00 4.80
1800.05/1800.00 c linear : 35.80 0.00 35.73 0.00 0.07
1800.05/1800.00 c logicor : 704.12 0.00 703.96 0.00 0.16
1800.05/1800.00 c bounddisjunction : 0.23 0.00 0.23 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.01 2 0 0
1800.05/1800.00 c rootredcost : 0.01 0 0 0
1800.05/1800.00 c pseudoobj : 7.98 6133026 7893 1682495
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 25.74 854063 853389 4541958 23.2 210853 13.7 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.01 136 136 505 14.8 50 13.2 -
1800.05/1800.00 c applied globally : - - - 2018243 16.7 - - -
1800.05/1800.00 c applied locally : - - - 49347 37.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 9.90 1420501 0 0 0 0 2841002
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.57 - 12
1800.05/1800.00 c oneopt : 0.04 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2006511
1800.05/1800.00 c nodes (total) : 2006511
1800.05/1800.00 c nodes left : 70137
1800.05/1800.00 c max depth : 141
1800.05/1800.00 c max depth (total): 141
1800.05/1800.00 c backtracks : 668737 (33.3%)
1800.05/1800.00 c delayed cutoffs : 514407
1800.05/1800.00 c repropagations : 2187689 (9357594 domain reductions, 284683 cutoffs)
1800.05/1800.00 c avg switch length: 25.54
1800.05/1800.00 c switching time : 541.56
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 12 (12 improvements)
1800.05/1800.00 c First Solution : +2.52000000000000e+02 (in run 1, after 114787 nodes, 24.08 seconds, depth 90, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +2.30000000000000e+01 (in run 1, after 1983531 nodes, 1650.09 seconds, depth 80, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +1.00000000000000e+00
1800.05/1800.00 c Gap : 2200.00 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.24/1800.26 c Time complete: 1800.31.
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693890-1277896572/watcher-2693890-1277896572 -o /tmp/evaluation-result-2693890-1277896572/solver-2693890-1277896572 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693890-1277896572.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: 1.99 1.98 1.99 3/178 13634 /proc/meminfo: memFree=31011696/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=8268 CPUtime=0 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 1542 0 0 0 0 0 0 0 21 0 1 0 130951843 8466432 1465 4089446400 4194304 7136930 140737477816704 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13634/statm: 2067 1465 275 719 0 1346 0 [startup+0.018628 s] /proc/loadavg: 1.99 1.98 1.99 3/178 13634 /proc/meminfo: memFree=31011696/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=10976 CPUtime=0.01 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 4252 0 0 0 1 0 0 0 21 0 1 0 130951843 11239424 2023 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 2744 2023 379 719 0 2023 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10976 [startup+0.10061 s] /proc/loadavg: 1.99 1.98 1.99 3/178 13634 /proc/meminfo: memFree=31011696/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=12844 CPUtime=0.09 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 4734 0 0 0 6 3 0 0 21 0 1 0 130951843 13152256 2505 4089446400 4194304 7136930 140737477816704 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 3211 2505 403 719 0 2490 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12844 [startup+0.300585 s] /proc/loadavg: 1.99 1.98 1.99 3/178 13634 /proc/meminfo: memFree=31011696/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=14420 CPUtime=0.29 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 5157 0 0 0 22 7 0 0 21 0 1 0 130951843 14766080 2928 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 3605 2928 403 719 0 2884 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14420 [startup+0.7005 s] /proc/loadavg: 1.99 1.98 1.99 3/178 13634 /proc/meminfo: memFree=31011696/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=16992 CPUtime=0.69 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 5800 0 0 0 52 17 0 0 22 0 1 0 130951843 17399808 3571 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 4248 3571 403 719 0 3527 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16992 [startup+1.50036 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13635 /proc/meminfo: memFree=30994948/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=21232 CPUtime=1.49 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 6848 0 0 0 117 32 0 0 25 0 1 0 130951843 21741568 4619 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 5308 4619 403 719 0 4587 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21232 [startup+3.10106 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13635 /proc/meminfo: memFree=30988128/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=25684 CPUtime=3.09 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 7994 0 0 0 252 57 0 0 25 0 1 0 130951843 26300416 5765 4089446400 4194304 7136930 140737477816704 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 6421 5765 403 719 0 5700 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25684 [startup+6.30048 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13635 /proc/meminfo: memFree=30970148/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=35596 CPUtime=6.29 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 10494 0 0 0 530 99 0 0 25 0 1 0 130951843 36450304 8265 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 8899 8265 403 719 0 8178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35596 [startup+12.7003 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13635 /proc/meminfo: memFree=30937156/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=46932 CPUtime=12.69 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 13345 0 0 0 1112 157 0 0 25 0 1 0 130951843 48058368 11116 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 11733 11116 403 719 0 11012 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46932 [startup+25.501 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13635 /proc/meminfo: memFree=30887756/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=69068 CPUtime=25.49 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 18957 0 0 0 2234 315 0 0 25 0 1 0 130951843 70725632 16728 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 17267 16728 403 719 0 16546 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69068 [startup+51.1003 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13636 /proc/meminfo: memFree=30796640/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=97964 CPUtime=51.09 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 25640 0 0 0 4619 490 0 0 25 0 1 0 130951843 100315136 23411 4089446400 4194304 7136930 140737477816704 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13634/statm: 24491 23411 403 719 0 23770 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 97964 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13637 /proc/meminfo: memFree=30645804/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=141904 CPUtime=102.3 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 36759 0 0 0 9369 861 0 0 25 0 1 0 130951843 145309696 34530 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 35476 34530 406 719 0 34755 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 141904 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13639 /proc/meminfo: memFree=30466812/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=219460 CPUtime=162.29 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 55530 0 0 0 14771 1458 0 0 25 0 1 0 130951843 224727040 53301 4089446400 4194304 7136930 140737477816704 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 54865 53301 406 719 0 54144 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 219460 [startup+222.301 s] /proc/loadavg: 2.04 2.00 2.00 3/179 13641 /proc/meminfo: memFree=30375892/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=226280 CPUtime=222.3 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 57158 0 0 0 20625 1605 0 0 25 0 1 0 130951843 231710720 54929 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 56570 54929 406 719 0 55849 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 226280 [startup+282.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13642 /proc/meminfo: memFree=30252972/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=270528 CPUtime=282.3 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 68435 0 0 0 26104 2126 0 0 25 0 1 0 130951843 277020672 66206 4089446400 4194304 7136930 140737477816704 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 67632 66206 406 719 0 66911 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 270528 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13644 /proc/meminfo: memFree=30112516/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=329936 CPUtime=342.3 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 83593 0 0 0 31558 2672 0 0 25 0 1 0 130951843 337854464 81364 4089446400 4194304 7136930 140737477816704 18446744073709551615 4227222 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 82484 81364 406 719 0 81763 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 329936 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13645 /proc/meminfo: memFree=29995172/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=369512 CPUtime=402.3 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 93701 0 0 0 37126 3104 0 0 25 0 1 0 130951843 378380288 91472 4089446400 4194304 7136930 140737477816704 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 92378 91472 406 719 0 91657 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 369512 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13647 /proc/meminfo: memFree=29843096/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=398304 CPUtime=462.3 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 98937 0 0 0 42767 3463 0 0 25 0 1 0 130951843 407863296 96708 4089446400 4194304 7136930 140737477816704 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 99576 96708 406 719 0 98855 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 398304 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13649 /proc/meminfo: memFree=29740620/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=427296 CPUtime=522.31 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 106120 0 0 0 48450 3781 0 0 25 0 1 0 130951843 437551104 103891 4089446400 4194304 7136930 140737477816704 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 106824 103891 406 719 0 106103 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 427296 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13650 /proc/meminfo: memFree=29609608/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=461136 CPUtime=582.31 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 114739 0 0 0 54090 4141 0 0 25 0 1 0 130951843 472203264 112510 4089446400 4194304 7136930 140737477816704 18446744073709551615 4408919 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 115284 112510 406 719 0 114563 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 461136 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13652 /proc/meminfo: memFree=29438436/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=494656 CPUtime=642.32 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 123185 0 0 0 59782 4450 0 0 25 0 1 0 130951843 506527744 120956 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 123664 120956 406 719 0 122943 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 494656 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13658 /proc/meminfo: memFree=29060936/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=580132 CPUtime=882.31 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 144566 0 0 0 82707 5524 0 0 25 0 1 0 130951843 594055168 142337 4089446400 4194304 7136930 140737477816704 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 145033 142337 406 719 0 144312 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 580132 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13663 /proc/meminfo: memFree=29009648/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=580132 CPUtime=942.32 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 144567 0 0 0 88438 5794 0 0 25 0 1 0 130951843 594055168 142338 4089446400 4194304 7136930 140737477816704 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 145033 142338 406 719 0 144312 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 580132 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13664 /proc/meminfo: memFree=28955356/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=582132 CPUtime=1002.31 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 145069 0 0 0 94208 6023 0 0 25 0 1 0 130951843 596103168 142840 4089446400 4194304 7136930 140737477816704 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 145533 142840 406 719 0 144812 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 582132 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13666 /proc/meminfo: memFree=28890704/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=584600 CPUtime=1062.32 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 145699 0 0 0 99990 6242 0 0 25 0 1 0 130951843 598630400 143470 4089446400 4194304 7136930 140737477816704 18446744073709551615 4223215 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 146150 143470 406 719 0 145429 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 584600 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13668 /proc/meminfo: memFree=28810804/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=587512 CPUtime=1122.33 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 146347 0 0 0 105762 6471 0 0 25 0 1 0 130951843 601612288 144118 4089446400 4194304 7136930 140737477816704 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 146878 144118 406 719 0 146157 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 587512 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13669 /proc/meminfo: memFree=28671760/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=592000 CPUtime=1182.33 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 147416 0 0 0 111518 6715 0 0 25 0 1 0 130951843 606208000 145187 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 148000 145187 406 719 0 147279 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 592000 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13671 /proc/meminfo: memFree=28544256/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=592000 CPUtime=1242.33 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 147416 0 0 0 117328 6905 0 0 25 0 1 0 130951843 606208000 145187 4089446400 4194304 7136930 140737477816704 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 148000 145187 406 719 0 147279 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 592000 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 13672 /proc/meminfo: memFree=28418116/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=592392 CPUtime=1302.33 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 147494 0 0 0 123190 7043 0 0 25 0 1 0 130951843 606609408 145265 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 148098 145265 406 719 0 147377 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 592392 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13674 /proc/meminfo: memFree=28327188/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=593564 CPUtime=1362.33 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 147629 0 0 0 129070 7163 0 0 25 0 1 0 130951843 607809536 145400 4089446400 4194304 7136930 140737477816704 18446744073709551615 4208928 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 148391 145400 406 719 0 147670 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 593564 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13676 /proc/meminfo: memFree=28268008/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=595856 CPUtime=1422.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148234 0 0 0 134971 7263 0 0 25 0 1 0 130951843 610156544 146005 4089446400 4194304 7136930 140737477816704 18446744073709551615 5958398 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 148964 146005 406 719 0 148243 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 595856 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13677 /proc/meminfo: memFree=28197296/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=596272 CPUtime=1482.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148318 0 0 0 140881 7353 0 0 25 0 1 0 130951843 610582528 146089 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 149068 146089 406 719 0 148347 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 596272 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13679 /proc/meminfo: memFree=28068792/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=596800 CPUtime=1542.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148472 0 0 0 146795 7439 0 0 25 0 1 0 130951843 611123200 146243 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 149200 146243 406 719 0 148479 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 596800 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13680 /proc/meminfo: memFree=27954796/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=596800 CPUtime=1602.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148485 0 0 0 152710 7524 0 0 25 0 1 0 130951843 611123200 146256 4089446400 4194304 7136930 140737477816704 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 149200 146256 406 719 0 148479 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 596800 [startup+1662.3 s] /proc/loadavg: 1.93 1.97 1.99 4/179 13731 /proc/meminfo: memFree=30903368/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=596800 CPUtime=1662.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148485 0 0 0 158611 7623 0 0 25 0 1 0 130951843 611123200 146256 4089446400 4194304 7136930 140737477816704 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 149200 146256 406 719 0 148479 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 596800 [startup+1722.3 s] /proc/loadavg: 1.97 1.97 1.99 4/179 13733 /proc/meminfo: memFree=30903168/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=596800 CPUtime=1722.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148499 0 0 0 164521 7713 0 0 25 0 1 0 130951843 611123200 146270 4089446400 4194304 7136930 140737477816704 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 149200 146270 406 719 0 148479 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 596800 [startup+1782.3 s] /proc/loadavg: 1.81 1.92 1.97 3/199 13874 /proc/meminfo: memFree=30713008/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=596800 CPUtime=1782.34 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148499 0 0 0 170405 7829 0 0 25 0 1 0 130951843 611123200 146270 4089446400 4194304 7136930 140737477816704 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 149200 146270 406 719 0 148479 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 596800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.87 1.93 1.97 3/199 13879 /proc/meminfo: memFree=30705920/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=594752 CPUtime=1800.05 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148499 0 0 0 172123 7882 0 0 25 0 1 0 130951843 609026048 145758 4089446400 4194304 7136930 140737477816704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13634/statm: 148688 145758 406 719 0 147967 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 594752 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: 1.87 1.93 1.97 3/199 13879 /proc/meminfo: memFree=30705920/32951124 swapFree=67111528/67111528 [pid=13634] ppid=13632 vsize=593728 CPUtime=1800.24 /proc/13634/stat : 13634 (pbscip.linux.x8) R 13632 13634 11913 0 -1 4202496 148504 0 0 0 172142 7882 0 0 25 0 1 0 130951843 607977472 145507 4089446400 4194304 7136930 140737477816704 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13634/statm: 148432 145507 411 719 0 147711 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 593728 Child status: 0 Real time (s): 1800.26 CPU time (s): 1800.32 CPU user time (s): 1721.47 CPU system time (s): 78.85 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 596800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1721.47 system time used= 78.85 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148511 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= 2 involuntary context switches= 21173 runsolver used 2.47162 second user time and 5.84611 second system time The end
Begin job on node142 at 2010-06-30 13:16:12 IDJOB=2693890 IDBENCH=78788 IDSOLVER=1206 FILE ID=node142/2693890-1277896572 PBS_JOBID= 11197070 Free space on /tmp= 74176 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.1110969860--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-2693890-1277896572/watcher-2693890-1277896572 -o /tmp/evaluation-result-2693890-1277896572/solver-2693890-1277896572 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693890-1277896572.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67ae8b264a7332f0f782a64868c40f1f RANDOM SEED=1907351952 node142.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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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 : 5226.16 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.827 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.82 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.827 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.827 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.82 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.827 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.827 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.827 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: 31012472 kB Buffers: 178808 kB Cached: 1071120 kB SwapCached: 0 kB Active: 966488 kB Inactive: 828580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31012472 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 545168 kB Mapped: 15244 kB Slab: 78804 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 688944 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= 74176 MiB End job on node142 at 2010-06-30 13:46:14