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 | OPTIMUM | 1626.79 | 1626.74 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo |
| MD5SUM | 9949b87f9004912630b1e1d8508ff079 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.212967 |
| 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 | 69 |
| 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 | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1209 |
| 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-2693840-1277895332.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 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, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 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 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.20/1.21 c 1.1s| 10000 | 6844 | 0 | 0.0 |6994k| 166 | - | 305 |3670 | 0 | 0 | 0 |8186 | 0 | 0.000000e+00 | -- | Inf
2.89/2.96 c 2.8s| 20000 | 12563 | 0 | 0.0 | 11M| 166 | - | 305 |5143 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.60/5.68 c 5.4s| 30000 | 16769 | 0 | 0.0 | 17M| 166 | - | 305 |9590 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
9.29/9.33 c 9.0s| 40000 | 19548 | 0 | 0.0 | 22M| 166 | - | 305 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
13.39/13.42 c 13.0s| 50000 | 21720 | 0 | 0.0 | 25M| 166 | - | 305 | 11k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
14.99/15.08 c 14.5s| 60000 | 28699 | 0 | 0.0 | 28M| 166 | - | 305 |6097 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
15.50/15.51 o 599
15.50/15.51 c *14.9s| 64089 | 32263 | 0 | 0.0 | 29M| 166 | - | 305 |3229 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
16.49/16.60 c 16.0s| 70000 | 35528 | 0 | 0.0 | 32M| 166 | - | 305 |5614 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
20.49/20.54 c 19.8s| 80000 | 37600 | 0 | 0.0 | 37M| 166 | - | 305 | 11k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
26.70/26.77 c 26.0s| 90000 | 37295 | 0 | 0.0 | 42M| 166 | - | 305 | 17k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
34.40/34.45 c 33.5s|100000 | 36227 | 0 | 0.0 | 44M| 166 | - | 305 | 21k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
43.19/43.23 c 42.2s|110000 | 34582 | 0 | 0.0 | 46M| 166 | - | 305 | 26k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
47.79/47.80 c 46.7s|120000 | 39583 | 0 | 0.0 | 43M| 166 | - | 305 |6591 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
50.39/50.49 c 49.3s|130000 | 45279 | 0 | 0.0 | 48M| 166 | - | 305 |7914 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
53.40/53.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.40/53.45 c 52.2s|140000 | 50386 | 0 | 0.0 | 52M| 166 | - | 305 |9428 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
56.99/57.00 c 55.6s|150000 | 54390 | 0 | 0.0 | 57M| 166 | - | 305 | 12k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
60.79/60.86 c 59.4s|160000 | 58774 | 0 | 0.0 | 60M| 166 | - | 305 | 11k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 5.990000e+02 | Inf
61.19/61.26 o 379
61.19/61.26 c *59.7s|165930 | 64650 | 0 | 0.0 | 59M| 166 | - | 305 |1494 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 3.790000e+02 | Inf
61.19/61.26 o 300
61.19/61.26 c *59.7s|165931 | 64589 | 0 | 0.0 | 59M| 166 | - | 305 |1494 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
61.49/61.53 c 60.0s|170000 | 68422 | 0 | 0.0 | 60M| 166 | - | 305 | 716 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
61.79/61.82 o 90
61.79/61.82 c *60.2s|174841 | 69818 | 0 | 0.0 | 61M| 166 | - | 305 | 709 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
61.79/61.85 o 89
61.79/61.85 c *60.3s|175246 | 69404 | 0 | 0.0 | 61M| 166 | - | 305 | 756 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
62.10/62.15 o 83
62.10/62.15 c *60.5s|178616 | 71193 | 0 | 0.0 | 61M| 166 | - | 305 | 712 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
62.19/62.23 o 77
62.19/62.23 c *60.6s|179551 | 71686 | 0 | 0.0 | 61M| 166 | - | 305 | 759 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
62.19/62.27 c 60.6s|180000 | 72072 | 0 | 0.0 | 62M| 166 | - | 305 | 802 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
63.09/63.11 o 73
63.09/63.11 c *61.4s|188875 | 77482 | 0 | 0.0 | 65M| 166 | - | 305 |1392 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
63.19/63.23 c 61.5s|190000 | 78325 | 0 | 0.0 | 66M| 166 | - | 305 |1498 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
64.59/64.60 c 62.8s|200000 | 85417 | 0 | 0.0 | 71M| 166 | - | 305 |2086 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
68.09/68.20 c 66.3s|210000 | 86423 | 0 | 0.0 | 77M| 166 | - | 305 |7526 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
77.00/77.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.00/77.04 c 75.0s|220000 | 81342 | 0 | 0.0 | 75M| 166 | - | 305 | 15k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
87.20/87.20 c 85.0s|230000 | 76197 | 0 | 0.0 | 64M| 166 | - | 305 |8610 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
90.69/90.79 c 88.5s|240000 | 79730 | 0 | 0.0 | 67M| 166 | - | 305 |8156 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
94.89/94.97 c 92.5s|250000 | 82463 | 0 | 0.0 | 71M| 166 | - | 305 |9229 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
99.49/99.52 c 97.0s|260000 | 84759 | 0 | 0.0 | 74M| 166 | - | 305 | 10k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
104.29/104.34 c 102s|270000 | 86806 | 0 | 0.0 | 77M| 166 | - | 305 | 10k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
109.20/109.25 c 106s|280000 | 88743 | 0 | 0.0 | 80M| 166 | - | 305 | 12k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
114.69/114.74 c 112s|290000 | 89957 | 0 | 0.0 | 83M| 166 | - | 305 | 14k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
121.99/122.00 c 119s|300000 | 89373 | 0 | 0.0 | 85M| 166 | - | 305 | 18k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
127.50/127.50 c 124s|310000 | 92667 | 0 | 0.0 | 83M| 166 | - | 305 |4116 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
128.89/128.97 c 126s|320000 |100447 | 0 | 0.0 | 88M| 166 | - | 305 |3739 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
130.70/130.74 c 127s|330000 |107694 | 0 | 0.0 | 92M| 166 | - | 305 |4945 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
132.50/132.56 c 129s|340000 |114982 | 0 | 0.0 | 97M| 166 | - | 305 |5760 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
134.40/134.48 c 131s|350000 |122225 | 0 | 0.0 | 101M| 166 | - | 305 |6536 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
136.30/136.36 c 133s|360000 |129611 | 0 | 0.0 | 106M| 166 | - | 305 |6993 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
138.29/138.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.29/138.38 c 135s|370000 |136841 | 0 | 0.0 | 110M| 166 | - | 305 |7422 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.40/140.42 c 137s|380000 |144020 | 0 | 0.0 | 115M| 166 | - | 305 |7981 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
142.50/142.58 c 139s|390000 |151050 | 0 | 0.0 | 120M| 166 | - | 305 |8344 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
144.80/144.80 c 141s|400000 |157990 | 0 | 0.0 | 124M| 166 | - | 305 |9167 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
147.30/147.33 c 143s|410000 |164576 | 0 | 0.0 | 129M| 166 | - | 305 |9539 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
149.80/149.84 c 146s|420000 |171139 | 0 | 0.0 | 134M| 166 | - | 305 | 10k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
152.49/152.53 c 148s|430000 |177647 | 0 | 0.0 | 138M| 166 | - | 305 | 10k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
155.40/155.43 c 151s|440000 |183822 | 0 | 0.0 | 143M| 166 | - | 305 | 11k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
158.59/158.61 c 154s|450000 |189655 | 0 | 0.0 | 148M| 166 | - | 305 | 12k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
162.00/162.00 c 158s|460000 |195159 | 0 | 0.0 | 153M| 166 | - | 305 | 13k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.90/165.99 c 161s|470000 |200233 | 0 | 0.0 | 158M| 166 | - | 305 | 13k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
170.29/170.38 c 166s|480000 |204748 | 0 | 0.0 | 164M| 166 | - | 305 | 14k| 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
175.00/175.03 c 170s|490000 |208936 | 0 | 0.0 | 170M| 166 | - | 305 | 15k| 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
180.30/180.36 c 175s|500000 |212129 | 0 | 0.0 | 176M| 166 | - | 305 | 16k| 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
186.40/186.45 c 181s|510000 |214049 | 0 | 0.0 | 178M| 166 | - | 305 | 11k| 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
193.49/193.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.49/193.57 c 188s|520000 |214800 | 0 | 0.0 | 183M| 166 | - | 305 | 18k| 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
204.20/204.28 c 199s|530000 |214055 | 0 | 0.0 | 187M| 166 | - | 305 | 24k| 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
217.20/217.23 c 212s|540000 |213130 | 0 | 0.0 | 189M| 166 | - | 305 | 28k| 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
232.80/232.85 c 227s|550000 |211125 | 0 | 0.0 | 191M| 166 | - | 305 | 30k| 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
249.20/249.24 c 244s|560000 |208958 | 0 | 0.0 | 191M| 166 | - | 305 | 32k| 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
267.50/267.50 c 262s|570000 |205902 | 0 | 0.0 | 191M| 166 | - | 305 | 33k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
283.20/283.20 c 277s|580000 |205188 | 0 | 0.0 | 190M| 166 | - | 305 | 32k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
288.20/288.28 c 282s|590000 |211716 | 0 | 0.0 | 186M| 166 | - | 305 |2940 | 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
290.30/290.32 c 284s|600000 |218018 | 0 | 0.0 | 190M| 166 | - | 305 |3562 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
292.30/292.39 c 286s|610000 |224377 | 0 | 0.0 | 195M| 166 | - | 305 |3767 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
294.51/294.56 c 288s|620000 |230495 | 0 | 0.0 | 200M| 166 | - | 305 |4465 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
296.70/296.73 c 290s|630000 |236782 | 0 | 0.0 | 205M| 166 | - | 305 |4410 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
299.00/299.03 c 293s|640000 |242769 | 0 | 0.0 | 210M| 166 | - | 305 |4594 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
301.41/301.43 c 295s|650000 |248546 | 0 | 0.0 | 214M| 166 | - | 305 |5064 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
303.80/303.81 c 297s|660000 |254436 | 0 | 0.0 | 219M| 166 | - | 305 |5451 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
306.30/306.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.30/306.30 c 300s|670000 |260061 | 0 | 0.0 | 224M| 166 | - | 305 |5885 | 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
308.90/308.99 c 302s|680000 |265349 | 0 | 0.0 | 228M| 166 | - | 305 |6055 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
311.70/311.70 c 305s|690000 |270811 | 0 | 0.0 | 233M| 166 | - | 305 |5243 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
314.40/314.41 c 307s|700000 |276110 | 0 | 0.0 | 238M| 166 | - | 305 |6242 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
317.20/317.20 c 310s|710000 |281311 | 0 | 0.0 | 242M| 166 | - | 305 |6153 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
319.80/319.89 c 313s|720000 |286796 | 0 | 0.0 | 247M| 166 | - | 305 |6650 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
322.70/322.78 c 315s|730000 |291877 | 0 | 0.0 | 251M| 166 | - | 305 |6990 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
325.30/325.32 c 318s|740000 |297764 | 0 | 0.0 | 256M| 166 | - | 305 |7268 | 0 | 0 | 0 | 776k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
328.20/328.28 c 321s|750000 |302879 | 0 | 0.0 | 261M| 166 | - | 305 |7144 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
330.90/330.97 c 323s|760000 |308480 | 0 | 0.0 | 265M| 166 | - | 305 |7390 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
334.00/334.04 c 326s|770000 |313445 | 0 | 0.0 | 270M| 166 | - | 305 |7404 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
336.80/336.85 c 329s|780000 |318874 | 0 | 0.0 | 274M| 166 | - | 305 |7446 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
339.90/339.92 c 332s|790000 |323863 | 0 | 0.0 | 279M| 166 | - | 305 |7459 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
342.80/342.81 c 335s|800000 |329169 | 0 | 0.0 | 284M| 166 | - | 305 |7697 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
345.90/345.98 c 338s|810000 |333980 | 0 | 0.0 | 288M| 166 | - | 305 |7677 | 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
348.90/348.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.90/348.90 c 341s|820000 |339313 | 0 | 0.0 | 293M| 166 | - | 305 |7937 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
352.11/352.12 c 344s|830000 |344092 | 0 | 0.0 | 298M| 166 | - | 305 |7718 | 0 | 0 | 0 | 838k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
355.20/355.21 c 347s|840000 |349002 | 0 | 0.0 | 303M| 166 | - | 305 |8185 | 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
358.30/358.39 c 350s|850000 |353771 | 0 | 0.0 | 307M| 166 | - | 305 |8031 | 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
361.40/361.49 c 353s|860000 |358681 | 0 | 0.0 | 312M| 166 | - | 305 |8330 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
364.61/364.65 c 356s|870000 |363462 | 0 | 0.0 | 317M| 166 | - | 305 |8076 | 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
367.81/367.89 c 359s|880000 |368147 | 0 | 0.0 | 321M| 166 | - | 305 |8290 | 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
371.01/371.09 c 362s|890000 |372780 | 0 | 0.0 | 326M| 166 | - | 305 |8116 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
374.30/374.38 c 365s|900000 |377272 | 0 | 0.0 | 331M| 166 | - | 305 |8637 | 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
377.80/377.81 c 369s|910000 |381561 | 0 | 0.0 | 336M| 166 | - | 305 |8941 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
381.20/381.23 c 372s|920000 |385960 | 0 | 0.0 | 341M| 166 | - | 305 |9652 | 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
384.90/384.92 c 376s|930000 |389964 | 0 | 0.0 | 345M| 166 | - | 305 |9082 | 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
388.21/388.30 c 379s|940000 |394502 | 0 | 0.0 | 351M| 166 | - | 305 |9924 | 0 | 0 | 0 | 921k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
392.30/392.32 c 383s|950000 |398022 | 0 | 0.0 | 355M| 166 | - | 305 |9835 | 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
396.01/396.08 c 387s|960000 |402245 | 0 | 0.0 | 360M| 166 | - | 305 |9793 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
400.00/400.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.00/400.07 c 390s|970000 |405920 | 0 | 0.0 | 365M| 166 | - | 305 | 10k| 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
404.20/404.24 c 395s|980000 |409456 | 0 | 0.0 | 369M| 166 | - | 305 | 10k| 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
408.21/408.24 c 398s|990000 |413282 | 0 | 0.0 | 374M| 166 | - | 305 | 10k| 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
412.31/412.31 c 402s| 1000k|416975 | 0 | 0.0 | 379M| 166 | - | 305 | 11k| 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
416.60/416.61 c 407s| 1010k|420330 | 0 | 0.0 | 383M| 166 | - | 305 | 12k| 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.20/421.28 c 411s| 1020k|423489 | 0 | 0.0 | 388M| 166 | - | 305 | 12k| 0 | 0 | 0 | 991k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
425.90/425.99 c 416s| 1030k|426627 | 0 | 0.0 | 392M| 166 | - | 305 | 12k| 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
430.81/430.88 c 421s| 1040k|429660 | 0 | 0.0 | 397M| 166 | - | 305 | 13k| 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
436.30/436.38 c 426s| 1050k|432044 | 0 | 0.0 | 401M| 166 | - | 305 | 14k| 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
442.21/442.29 c 432s| 1060k|434133 | 0 | 0.0 | 405M| 166 | - | 305 | 14k| 0 | 0 | 0 |1029k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
448.92/448.96 c 438s| 1070k|435456 | 0 | 0.0 | 409M| 166 | - | 305 | 15k| 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
457.30/457.32 c 446s| 1080k|434879 | 0 | 0.0 | 412M| 166 | - | 305 | 17k| 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
462.11/462.10 c 451s| 1090k|438611 | 0 | 0.0 | 411M| 166 | - | 305 |6911 | 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
464.51/464.52 c 453s| 1100k|443843 | 0 | 0.0 | 414M| 166 | - | 305 |4505 | 0 | 0 | 0 |1066k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
467.21/467.24 c 456s| 1110k|448178 | 0 | 0.0 | 417M| 166 | - | 305 |5662 | 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
474.70/474.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.70/474.76 c 463s| 1120k|445169 | 0 | 0.0 | 413M| 166 | - | 305 | 11k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
479.21/479.20 c 468s| 1130k|449798 | 0 | 0.0 | 416M| 166 | - | 305 |8285 | 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
483.11/483.10 c 472s| 1140k|454692 | 0 | 0.0 | 421M| 166 | - | 305 |9449 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
487.71/487.73 c 476s| 1150k|458891 | 0 | 0.0 | 425M| 166 | - | 305 | 10k| 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
492.21/492.23 c 481s| 1160k|463506 | 0 | 0.0 | 429M| 166 | - | 305 | 11k| 0 | 0 | 0 |1132k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
497.11/497.13 c 485s| 1170k|467828 | 0 | 0.0 | 433M| 166 | - | 305 | 12k| 0 | 0 | 0 |1141k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
502.21/502.26 c 490s| 1180k|472087 | 0 | 0.0 | 437M| 166 | - | 305 | 12k| 0 | 0 | 0 |1150k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
507.60/507.63 c 496s| 1190k|476186 | 0 | 0.0 | 441M| 166 | - | 305 | 13k| 0 | 0 | 0 |1159k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
512.80/512.89 c 501s| 1200k|480297 | 0 | 0.0 | 445M| 166 | - | 305 | 14k| 0 | 0 | 0 |1167k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
517.91/517.98 c 506s| 1210k|484887 | 0 | 0.0 | 449M| 166 | - | 305 | 14k| 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
523.72/523.78 c 512s| 1220k|488618 | 0 | 0.0 | 453M| 166 | - | 305 | 14k| 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
528.81/528.80 c 516s| 1230k|493202 | 0 | 0.0 | 457M| 166 | - | 305 | 14k| 0 | 0 | 0 |1193k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
534.71/534.73 c 522s| 1240k|496654 | 0 | 0.0 | 461M| 166 | - | 305 | 15k| 0 | 0 | 0 |1203k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
540.22/540.27 c 528s| 1250k|500642 | 0 | 0.0 | 466M| 166 | - | 305 | 15k| 0 | 0 | 0 |1211k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
545.72/545.71 c 533s| 1260k|504459 | 0 | 0.0 | 471M| 166 | - | 305 | 16k| 0 | 0 | 0 |1220k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
551.81/551.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.81/551.81 c 539s| 1270k|508046 | 0 | 0.0 | 475M| 166 | - | 305 | 15k| 0 | 0 | 0 |1229k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
557.01/557.04 c 544s| 1280k|512288 | 0 | 0.0 | 480M| 166 | - | 305 | 16k| 0 | 0 | 0 |1238k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
563.81/563.83 c 551s| 1290k|515357 | 0 | 0.0 | 484M| 166 | - | 305 | 17k| 0 | 0 | 0 |1248k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
565.41/565.42 o 63
565.41/565.42 c * 552s| 1292k|475199 | 0 | 0.0 | 422M| 166 | - | 305 | 16k| 0 | 0 | 0 |1250k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
570.41/570.46 c 557s| 1300k|477359 | 0 | 0.0 | 425M| 166 | - | 305 | 16k| 0 | 0 | 0 |1257k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
578.00/578.04 c 565s| 1310k|479761 | 0 | 0.0 | 430M| 166 | - | 305 | 16k| 0 | 0 | 0 |1268k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
582.90/582.90 o 47
582.90/582.90 c * 570s| 1316k|421378 | 0 | 0.0 | 359M| 166 | - | 305 | 16k| 0 | 0 | 0 |1275k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
585.01/585.04 c 572s| 1320k|421919 | 0 | 0.0 | 357M| 166 | - | 305 |3775 | 0 | 0 | 0 |1280k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
589.01/589.05 c 576s| 1330k|422380 | 0 | 0.0 | 360M| 166 | - | 305 |3654 | 0 | 0 | 0 |1295k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
592.81/592.88 c 579s| 1340k|423128 | 0 | 0.0 | 364M| 166 | - | 305 |2491 | 0 | 0 | 0 |1309k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
597.01/597.03 c 583s| 1350k|423405 | 0 | 0.0 | 367M| 166 | - | 305 |4901 | 0 | 0 | 0 |1325k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
600.71/600.76 c 587s| 1360k|424205 | 0 | 0.0 | 370M| 166 | - | 305 |3598 | 0 | 0 | 0 |1339k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
605.11/605.12 c 591s| 1370k|424183 | 0 | 0.0 | 372M| 166 | - | 305 |3541 | 0 | 0 | 0 |1354k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
609.42/609.41 c 595s| 1380k|423876 | 0 | 0.0 | 375M| 166 | - | 305 |5647 | 0 | 0 | 0 |1370k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
613.81/613.85 c 600s| 1390k|423676 | 0 | 0.0 | 378M| 166 | - | 305 |3817 | 0 | 0 | 0 |1386k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
618.51/618.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.51/618.59 c 604s| 1400k|422994 | 0 | 0.0 | 380M| 166 | - | 305 |5061 | 0 | 0 | 0 |1403k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
622.71/622.79 c 609s| 1410k|423176 | 0 | 0.0 | 384M| 166 | - | 305 |4080 | 0 | 0 | 0 |1418k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
628.01/628.00 c 614s| 1420k|421613 | 0 | 0.0 | 385M| 166 | - | 305 |3570 | 0 | 0 | 0 |1436k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
632.31/632.39 c 618s| 1430k|421250 | 0 | 0.0 | 389M| 166 | - | 305 |7338 | 0 | 0 | 0 |1452k| 0 | 2.000000e+00 | 4.700000e+01 |2250.00%
633.31/633.39 o 36
633.31/633.39 c * 619s| 1431k|394988 | 0 | 0.0 | 358M| 166 | - | 305 |7253 | 0 | 0 | 0 |1455k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
640.01/640.09 c 625s| 1440k|392786 | 0 | 0.0 | 364M| 166 | - | 305 | 12k| 0 | 0 | 0 |1472k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
651.32/651.35 c 637s| 1450k|388520 | 0 | 0.0 | 367M| 166 | - | 305 | 17k| 0 | 0 | 0 |1495k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
666.01/666.00 c 651s| 1460k|383907 | 0 | 0.0 | 369M| 166 | - | 305 | 21k| 0 | 0 | 0 |1517k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
683.22/683.26 c 668s| 1470k|379279 | 0 | 0.0 | 371M| 166 | - | 305 | 25k| 0 | 0 | 0 |1540k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
702.41/702.44 c 687s| 1480k|374724 | 0 | 0.0 | 373M| 166 | - | 305 | 28k| 0 | 0 | 0 |1562k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
724.51/724.51 c 709s| 1490k|369288 | 0 | 0.0 | 373M| 166 | - | 305 | 30k| 0 | 0 | 0 |1585k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
748.92/748.96 c 733s| 1500k|363103 | 0 | 0.0 | 373M| 166 | - | 305 | 33k| 0 | 0 | 0 |1609k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
773.51/773.50 c 758s| 1510k|357589 | 0 | 0.0 | 373M| 166 | - | 305 | 36k| 0 | 0 | 0 |1631k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
800.72/800.70 c 785s| 1520k|351178 | 0 | 0.0 | 373M| 166 | - | 305 | 39k| 0 | 0 | 0 |1655k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
831.01/831.03 c 815s| 1530k|343697 | 0 | 0.0 | 372M| 166 | - | 305 | 42k| 0 | 0 | 0 |1679k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
864.51/864.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.51/864.52 c 848s| 1540k|335429 | 0 | 0.0 | 371M| 166 | - | 305 | 47k| 0 | 0 | 0 |1704k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
909.22/909.29 c 893s| 1550k|322128 | 0 | 0.0 | 368M| 166 | - | 305 | 53k| 0 | 0 | 0 |1731k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
946.32/946.32 c 930s| 1560k|313374 | 0 | 0.0 | 358M| 166 | - | 305 | 36k| 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
961.62/961.66 c 945s| 1570k|314202 | 0 | 0.0 | 355M| 166 | - | 305 | 26k| 0 | 0 | 0 |1768k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
970.42/970.45 c 954s| 1580k|316683 | 0 | 0.0 | 353M| 166 | - | 305 | 18k| 0 | 0 | 0 |1780k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
977.12/977.10 c 960s| 1590k|319856 | 0 | 0.0 | 355M| 166 | - | 305 | 18k| 0 | 0 | 0 |1792k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
984.02/984.08 c 967s| 1600k|323191 | 0 | 0.0 | 359M| 166 | - | 305 | 20k| 0 | 0 | 0 |1803k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
992.32/992.39 c 975s| 1610k|325233 | 0 | 0.0 | 363M| 166 | - | 305 | 22k| 0 | 0 | 0 |1816k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
998.22/998.29 c 981s| 1620k|329972 | 0 | 0.0 | 364M| 166 | - | 305 | 13k| 0 | 0 | 0 |1825k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
1001.42/1001.47 o 26
1001.42/1001.47 c * 984s| 1625k|314710 | 0 | 0.0 | 348M| 166 | - | 305 | 12k| 0 | 0 | 0 |1832k| 0 | 2.000000e+00 | 2.600000e+01 |1200.00%
1010.53/1010.54 c 993s| 1630k|309123 | 0 | 0.0 | 351M| 166 | - | 305 | 16k| 0 | 0 | 0 |1845k| 0 | 2.000000e+00 | 2.600000e+01 |1200.00%
1041.62/1041.67 c 1024s| 1640k|295014 | 0 | 0.0 | 353M| 166 | - | 305 | 24k| 0 | 0 | 0 |1873k| 0 | 2.000000e+00 | 2.600000e+01 |1200.00%
1079.33/1079.32 c 1062s| 1650k|280969 | 0 | 0.0 | 353M| 166 | - | 305 | 30k| 0 | 0 | 0 |1902k| 0 | 2.000000e+00 | 2.600000e+01 |1200.00%
1118.62/1118.67 c 1101s| 1660k|268840 | 0 | 0.0 | 351M| 166 | - | 305 | 35k| 0 | 0 | 0 |1928k| 0 | 2.000000e+00 | 2.600000e+01 |1200.00%
1153.93/1153.93 o 18
1153.93/1153.93 c *1136s| 1668k|218226 | 0 | 0.0 | 310M| 166 | - | 305 | 38k| 0 | 0 | 0 |1950k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1161.53/1161.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.53/1161.55 c 1143s| 1670k|215724 | 0 | 0.0 | 308M| 166 | - | 305 | 35k| 0 | 0 | 0 |1954k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1210.43/1210.48 c 1192s| 1680k|198119 | 0 | 0.0 | 300M| 166 | - | 305 | 40k| 0 | 0 | 0 |1986k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1225.53/1225.59 c 1207s| 1690k|182265 | 0 | 0.0 | 278M| 166 | - | 305 | 10k| 0 | 0 | 0 |2004k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1239.93/1239.94 c 1221s| 1700k|167182 | 0 | 0.0 | 264M| 166 | - | 305 | 13k| 0 | 0 | 0 |2022k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1250.84/1250.85 o 8
1250.84/1250.85 c *1232s| 1706k| 95101 | 0 | 0.0 | 179M| 166 | - | 305 | 15k| 0 | 0 | 0 |2034k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1263.13/1263.19 c 1244s| 1710k| 79410 | 0 | 0.0 | 157M| 166 | - | 305 | 13k| 0 | 0 | 0 |2046k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1276.23/1276.24 c 1257s| 1720k| 68976 | 0 | 0.0 | 135M| 166 | - | 305 |9726 | 0 | 0 | 0 |2064k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1282.74/1282.77 c 1263s| 1730k| 67350 | 0 | 0.0 | 129M| 166 | - | 305 |8909 | 0 | 0 | 0 |2076k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1289.13/1289.19 c 1270s| 1740k| 66696 | 0 | 0.0 | 128M| 166 | - | 305 | 10k| 0 | 0 | 0 |2088k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1296.73/1296.76 c 1277s| 1750k| 65136 | 0 | 0.0 | 126M| 166 | - | 305 | 12k| 0 | 0 | 0 |2100k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1306.53/1306.54 c 1287s| 1760k| 61748 | 0 | 0.0 | 124M| 166 | - | 305 | 15k| 0 | 0 | 0 |2114k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1317.33/1317.31 c 1297s| 1770k| 58378 | 0 | 0.0 | 117M| 166 | - | 305 | 10k| 0 | 0 | 0 |2126k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1320.73/1320.70 c 1301s| 1780k| 62107 | 0 | 0.0 | 118M| 166 | - | 305 |6934 | 0 | 0 | 0 |2133k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1325.43/1325.43 c 1305s| 1790k| 62936 | 0 | 0.0 | 117M| 166 | - | 305 | 10k| 0 | 0 | 0 |2143k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1329.72/1329.72 c 1309s| 1800k| 65103 | 0 | 0.0 | 114M| 166 | - | 305 |4137 | 0 | 0 | 0 |2150k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1336.13/1336.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.13/1336.13 c 1316s| 1810k| 55649 | 0 | 0.0 | 92M| 166 | - | 305 |6404 | 0 | 0 | 0 |2165k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
1345.73/1345.76 c 1325s| 1820k| 49930 | 0 | 0.0 | 79M| 166 | - | 305 | 17k| 0 | 0 | 0 |2183k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1361.03/1361.04 c 1340s| 1830k| 46102 | 0 | 0.0 | 78M| 166 | - | 305 | 25k| 0 | 0 | 0 |2199k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1382.13/1382.11 c 1361s| 1840k| 40937 | 0 | 0.0 | 77M| 166 | - | 305 | 33k| 0 | 0 | 0 |2217k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1405.13/1405.11 c 1384s| 1850k| 36929 | 0 | 0.0 | 73M| 166 | - | 305 | 38k| 0 | 0 | 0 |2233k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1420.14/1420.19 c 1399s| 1860k| 39317 | 0 | 0.0 | 72M| 166 | - | 305 | 29k| 0 | 0 | 0 |2242k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1435.54/1435.59 c 1414s| 1870k| 39073 | 0 | 0.0 | 72M| 166 | - | 305 | 26k| 0 | 0 | 0 |2255k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1450.14/1450.17 c 1429s| 1880k| 38322 | 0 | 0.0 | 74M| 166 | - | 305 | 30k| 0 | 0 | 0 |2267k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1467.33/1467.31 c 1446s| 1890k| 36546 | 0 | 0.0 | 73M| 166 | - | 305 | 34k| 0 | 0 | 0 |2281k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1474.83/1474.81 c 1453s| 1900k| 42801 | 0 | 0.0 | 72M| 166 | - | 305 | 16k| 0 | 0 | 0 |2285k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1480.44/1480.42 c 1459s| 1910k| 46815 | 0 | 0.0 | 75M| 166 | - | 305 | 14k| 0 | 0 | 0 |2292k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1488.93/1488.96 c 1467s| 1920k| 46153 | 0 | 0.0 | 73M| 166 | - | 305 | 13k| 0 | 0 | 0 |2304k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1499.83/1499.84 c 1478s| 1930k| 40287 | 0 | 0.0 | 58M| 166 | - | 305 | 19k| 0 | 0 | 0 |2321k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1513.34/1513.33 c 1491s| 1940k| 38735 | 0 | 0.0 | 59M| 166 | - | 305 | 24k| 0 | 0 | 0 |2336k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1531.83/1531.81 c 1509s| 1950k| 34957 | 0 | 0.0 | 58M| 166 | - | 305 | 31k| 0 | 0 | 0 |2352k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1554.03/1554.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.03/1554.04 c 1532s| 1960k| 30051 | 0 | 0.0 | 55M| 166 | - | 305 | 40k| 0 | 0 | 0 |2369k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1565.93/1565.95 c 1543s| 1970k| 34289 | 0 | 0.0 | 53M| 166 | - | 305 | 21k| 0 | 0 | 0 |2377k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1573.54/1573.55 c 1551s| 1980k| 37666 | 0 | 0.0 | 55M| 166 | - | 305 | 16k| 0 | 0 | 0 |2385k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1581.23/1581.28 c 1558s| 1990k| 39976 | 0 | 0.0 | 59M| 166 | - | 305 | 17k| 0 | 0 | 0 |2395k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1590.34/1590.39 c 1568s| 2000k| 40897 | 0 | 0.0 | 62M| 166 | - | 305 | 19k| 0 | 0 | 0 |2405k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1601.34/1601.31 c 1578s| 2010k| 40033 | 0 | 0.0 | 64M| 166 | - | 305 | 23k| 0 | 0 | 0 |2417k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1617.44/1617.41 c 1594s| 2020k| 34868 | 0 | 0.0 | 58M| 166 | - | 305 | 23k| 0 | 0 | 0 |2433k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1623.13/1623.18 o 6
1623.13/1623.18 c *1600s| 2022k| 1816 | 0 | 0.0 | 22M| 166 | - | 305 | 27k| 0 | 0 | 0 |2439k| 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
1626.64/1626.69 c
1626.64/1626.69 c SCIP Status : problem is solved [optimal solution found]
1626.64/1626.69 c Solving Time (sec) : 1603.51
1626.64/1626.69 c Solving Nodes : 2024113
1626.64/1626.69 c Primal Bound : +6.00000000000000e+00 (15 solutions)
1626.64/1626.69 c Dual Bound : +6.00000000000000e+00
1626.64/1626.69 c Gap : 0.00 %
1626.64/1626.69 s OPTIMUM FOUND
1626.64/1626.69 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
1626.64/1626.69 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127
1626.64/1626.69 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1626.64/1626.69 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
1626.64/1626.69 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
1626.64/1626.69 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
1626.64/1626.69 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
1626.64/1626.69 v -x4 -x3 -x2 -x1
1626.64/1626.69 c SCIP Status : problem is solved [optimal solution found]
1626.64/1626.69 c Solving Time : 1603.51
1626.64/1626.69 c Original Problem :
1626.64/1626.69 c Problem name : HOME/instance-2693840-1277895332.wbo
1626.64/1626.69 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1626.64/1626.69 c Constraints : 171 initial, 171 maximal
1626.64/1626.69 c Presolved Problem :
1626.64/1626.69 c Problem name : t_HOME/instance-2693840-1277895332.wbo
1626.64/1626.69 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1626.64/1626.69 c Constraints : 166 initial, 55915 maximal
1626.64/1626.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1626.64/1626.69 c trivial : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c dualfix : 0.00 2 0 0 0 0 0 0 0
1626.64/1626.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c implics : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c probing : 0.01 0 0 0 0 0 0 0 0
1626.64/1626.69 c indicator : 0.00 0 0 0 0 0 1 0 0
1626.64/1626.69 c setppc : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c linear : 0.00 0 0 0 68 0 4 1 0
1626.64/1626.69 c logicor : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1626.64/1626.69 c root node : - 55 - - 110 - - - -
1626.64/1626.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1626.64/1626.69 c integral : 0 0 0 0 0 0 0 0 0 0
1626.64/1626.69 c indicator : 68 0 5867508 0 1342656 13952 2741350 0 0 0
1626.64/1626.69 c setppc : 20 0 6290756 0 1429537 35967 4751276 0 0 0
1626.64/1626.69 c linear : 68 0 6254918 0 1429571 659027 27171418 0 0 0
1626.64/1626.69 c logicor : 10+ 0 3075877 0 1429284 155456 1874856 0 0 0
1626.64/1626.69 c bounddisjunction : 0+ 0 531340 0 0 23 7574 0 0 0
1626.64/1626.69 c countsols : 0 0 0 0 1429586 0 0 0 0 0
1626.64/1626.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1626.64/1626.69 c integral : 0.00 0.00 0.00 0.00 0.00
1626.64/1626.69 c indicator : 5.77 0.00 4.11 0.00 1.66
1626.64/1626.69 c setppc : 15.24 0.00 11.94 0.00 3.30
1626.64/1626.69 c linear : 146.88 0.00 146.08 0.00 0.80
1626.64/1626.69 c logicor : 658.31 0.00 656.81 0.00 1.50
1626.64/1626.69 c bounddisjunction : 18.21 0.00 18.21 0.00 0.00
1626.64/1626.69 c countsols : 0.25 0.00 0.00 0.00 0.25
1626.64/1626.69 c Propagators : Time Calls Cutoffs DomReds
1626.64/1626.69 c vbounds : 1.60 2 0 0
1626.64/1626.69 c rootredcost : 1.47 0 0 0
1626.64/1626.69 c pseudoobj : 18.32 6323052 18382 2560379
1626.64/1626.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1626.64/1626.69 c propagation : 48.20 868854 868590 4851116 23.8 187045 14.1 -
1626.64/1626.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1626.64/1626.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1626.64/1626.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1626.64/1626.69 c pseudo solution : 0.01 182 182 682 15.2 50 16.7 -
1626.64/1626.69 c applied globally : - - - 2398014 17.5 - - -
1626.64/1626.69 c applied locally : - - - 45445 36.7 - - -
1626.64/1626.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1626.64/1626.69 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1626.64/1626.69 c redcost : 0.00 0 0 0 0 0
1626.64/1626.69 c impliedbounds : 0.00 0 0 0 0 0
1626.64/1626.69 c intobj : 0.00 0 0 0 0 0
1626.64/1626.69 c cgmip : 0.00 0 0 0 0 0
1626.64/1626.69 c gomory : 0.00 0 0 0 0 0
1626.64/1626.69 c strongcg : 0.00 0 0 0 0 0
1626.64/1626.69 c cmir : 0.00 0 0 0 0 0
1626.64/1626.69 c flowcover : 0.00 0 0 0 0 0
1626.64/1626.69 c clique : 0.00 0 0 0 0 0
1626.64/1626.69 c zerohalf : 0.00 0 0 0 0 0
1626.64/1626.69 c mcf : 0.00 0 0 0 0 0
1626.64/1626.69 c rapidlearning : 0.00 0 0 0 0 0
1626.64/1626.69 c Pricers : Time Calls Vars
1626.64/1626.69 c problem variables: 0.00 0 0
1626.64/1626.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1626.64/1626.69 c relpscost : 0.00 0 0 0 0 0 0
1626.64/1626.69 c pscost : 0.00 0 0 0 0 0 0
1626.64/1626.69 c inference : 10.10 1429571 0 0 0 0 2859142
1626.64/1626.69 c mostinf : 0.00 0 0 0 0 0 0
1626.64/1626.69 c leastinf : 0.00 0 0 0 0 0 0
1626.64/1626.69 c fullstrong : 0.00 0 0 0 0 0 0
1626.64/1626.69 c allfullstrong : 0.00 0 0 0 0 0 0
1626.64/1626.69 c random : 0.00 0 0 0 0 0 0
1626.64/1626.69 c Primal Heuristics : Time Calls Found
1626.64/1626.69 c LP solutions : 0.00 - 0
1626.64/1626.69 c pseudo solutions : 0.65 - 15
1626.64/1626.69 c oneopt : 0.84 0 0
1626.64/1626.69 c trivial : 0.00 2 0
1626.64/1626.69 c simplerounding : 0.00 0 0
1626.64/1626.69 c zirounding : 0.00 0 0
1626.64/1626.69 c rounding : 0.00 0 0
1626.64/1626.69 c shifting : 0.00 0 0
1626.64/1626.69 c intshifting : 0.00 0 0
1626.64/1626.69 c twoopt : 0.00 0 0
1626.64/1626.69 c fixandinfer : 0.00 0 0
1626.64/1626.69 c feaspump : 0.00 0 0
1626.64/1626.69 c coefdiving : 0.00 0 0
1626.64/1626.69 c pscostdiving : 0.00 0 0
1626.64/1626.69 c fracdiving : 0.00 0 0
1626.64/1626.69 c veclendiving : 0.00 0 0
1626.64/1626.69 c intdiving : 0.00 0 0
1626.64/1626.69 c actconsdiving : 0.00 0 0
1626.64/1626.69 c objpscostdiving : 0.00 0 0
1626.64/1626.69 c rootsoldiving : 0.00 0 0
1626.64/1626.69 c linesearchdiving : 0.00 0 0
1626.64/1626.69 c guideddiving : 0.00 0 0
1626.64/1626.69 c octane : 0.00 0 0
1626.64/1626.69 c rens : 0.00 0 0
1626.64/1626.69 c rins : 0.00 0 0
1626.64/1626.69 c localbranching : 0.00 0 0
1626.64/1626.69 c mutation : 0.00 0 0
1626.64/1626.69 c crossover : 0.00 0 0
1626.64/1626.69 c dins : 0.00 0 0
1626.64/1626.69 c undercover : 0.00 0 0
1626.64/1626.69 c nlp : 0.50 0 0
1626.64/1626.69 c trysol : 0.46 1 0
1626.64/1626.69 c LP : Time Calls Iterations Iter/call Iter/sec
1626.64/1626.69 c primal LP : 0.00 0 0 0.00 -
1626.64/1626.69 c dual LP : 0.00 0 0 0.00 -
1626.64/1626.69 c lex dual LP : 0.00 0 0 0.00 -
1626.64/1626.69 c barrier LP : 0.00 0 0 0.00 -
1626.64/1626.69 c diving/probing LP: 0.00 0 0 0.00 -
1626.64/1626.69 c strong branching : 0.00 0 0 0.00 -
1626.64/1626.69 c (at root node) : - 0 0 0.00 -
1626.64/1626.69 c conflict analysis: 0.00 0 0 0.00 -
1626.64/1626.69 c B&B Tree :
1626.64/1626.69 c number of runs : 1
1626.64/1626.69 c nodes : 2024113
1626.64/1626.69 c nodes (total) : 2024113
1626.64/1626.69 c nodes left : 0
1626.64/1626.69 c max depth : 166
1626.64/1626.69 c max depth (total): 166
1626.64/1626.69 c backtracks : 686589 (33.9%)
1626.64/1626.69 c delayed cutoffs : 549026
1626.64/1626.69 c repropagations : 2427661 (10647370 domain reductions, 288462 cutoffs)
1626.64/1626.69 c avg switch length: 24.44
1626.64/1626.69 c switching time : 527.48
1626.64/1626.69 c Solution :
1626.64/1626.69 c Solutions found : 15 (15 improvements)
1626.64/1626.69 c First Solution : +5.99000000000000e+02 (in run 1, after 64089 nodes, 14.94 seconds, depth 121, found by <relaxation>)
1626.64/1626.69 c Primal Bound : +6.00000000000000e+00 (in run 1, after 2022618 nodes, 1599.97 seconds, depth 71, found by <relaxation>)
1626.64/1626.69 c Dual Bound : +6.00000000000000e+00
1626.64/1626.69 c Gap : 0.00 %
1626.64/1626.69 c Root Dual Bound : +0.00000000000000e+00
1626.64/1626.69 c Root Iterations : 0
1626.74/1626.74 c Time complete: 1626.78.
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693840-1277895332/watcher-2693840-1277895332 -o /tmp/evaluation-result-2693840-1277895332/solver-2693840-1277895332 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693840-1277895332.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.01 2.01 2.00 4/178 10809 /proc/meminfo: memFree=31222928/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=8252 CPUtime=0 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 130830898 8450048 1470 4089446400 4194304 7136930 140736080485888 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10809/statm: 2063 1470 275 719 0 1342 0 [startup+0.10131 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10809 /proc/meminfo: memFree=31222928/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=13060 CPUtime=0.09 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 4777 0 0 0 8 1 0 0 25 0 1 0 130830898 13373440 2548 4089446400 4194304 7136930 140736080485888 18446744073709551615 5901823 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 3265 2548 395 719 0 2544 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13060 [startup+0.200281 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10809 /proc/meminfo: memFree=31222928/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=14216 CPUtime=0.19 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 5078 0 0 0 17 2 0 0 25 0 1 0 130830898 14557184 2849 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 3554 2849 395 719 0 2833 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14216 [startup+0.300261 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10809 /proc/meminfo: memFree=31222928/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=15144 CPUtime=0.29 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 5293 0 0 0 26 3 0 0 25 0 1 0 130830898 15507456 3064 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 3786 3064 395 719 0 3065 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15144 [startup+0.700193 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10809 /proc/meminfo: memFree=31222928/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=17976 CPUtime=0.69 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 6037 0 0 0 63 6 0 0 25 0 1 0 130830898 18407424 3808 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 4494 3808 395 719 0 3773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17976 [startup+1.50104 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10810 /proc/meminfo: memFree=31206464/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=22408 CPUtime=1.5 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 7137 0 0 0 139 11 0 0 25 0 1 0 130830898 22945792 4908 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 5602 4908 395 719 0 4881 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 22408 [startup+3.10077 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10810 /proc/meminfo: memFree=31201876/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=27820 CPUtime=3.09 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 8524 0 0 0 291 18 0 0 25 0 1 0 130830898 28487680 6295 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 6955 6295 395 719 0 6234 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27820 [startup+6.30018 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10810 /proc/meminfo: memFree=31190216/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=36392 CPUtime=6.29 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 10642 0 0 0 602 27 0 0 25 0 1 0 130830898 37265408 8413 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 9098 8413 395 719 0 8377 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36392 [startup+12.701 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10810 /proc/meminfo: memFree=31175268/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=46024 CPUtime=12.69 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 13046 0 0 0 1225 44 0 0 25 0 1 0 130830898 47128576 10817 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 11506 10817 395 719 0 10785 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46024 [startup+25.5007 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10811 /proc/meminfo: memFree=31148028/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=63728 CPUtime=25.49 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 17496 0 0 0 2470 79 0 0 25 0 1 0 130830898 65257472 15267 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 15932 15267 395 719 0 15211 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63728 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10811 /proc/meminfo: memFree=31103224/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=80476 CPUtime=51.09 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 21613 0 0 0 4987 122 0 0 25 0 1 0 130830898 82407424 19384 4089446400 4194304 7136930 140736080485888 18446744073709551615 4431718 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 20119 19384 395 719 0 19398 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 80476 [startup+102.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10813 /proc/meminfo: memFree=31060020/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=116140 CPUtime=102.3 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 30155 0 0 0 9969 261 0 0 25 0 1 0 130830898 118927360 27926 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 29035 27926 398 719 0 28314 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 116140 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10814 /proc/meminfo: memFree=30842844/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=207340 CPUtime=162.29 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 53130 0 0 0 15786 443 0 0 25 0 1 0 130830898 212316160 50901 4089446400 4194304 7136930 140736080485888 18446744073709551615 4219802 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 51835 50901 398 719 0 51114 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 207340 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10815 /proc/meminfo: memFree=30784636/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=252280 CPUtime=222.31 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 63164 0 0 0 21690 541 0 0 25 0 1 0 130830898 258334720 60935 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 63070 60935 398 719 0 62349 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 252280 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10817 /proc/meminfo: memFree=30768932/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=259768 CPUtime=282.3 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 65020 0 0 0 27640 590 0 0 25 0 1 0 130830898 266002432 62791 4089446400 4194304 7136930 140736080485888 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 64942 62791 398 719 0 64221 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 259768 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10828 /proc/meminfo: memFree=30645932/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=368784 CPUtime=342.3 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 92441 0 0 0 33435 795 0 0 25 0 1 0 130830898 377634816 90212 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 92196 90212 398 719 0 91475 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 368784 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10830 /proc/meminfo: memFree=30563656/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=446388 CPUtime=402.31 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 111882 0 0 0 39266 965 0 0 25 0 1 0 130830898 457101312 109653 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 111597 109653 398 719 0 110876 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 446388 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10831 /proc/meminfo: memFree=30498744/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=506804 CPUtime=462.3 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 126937 0 0 0 45134 1096 0 0 25 0 1 0 130830898 518967296 124708 4089446400 4194304 7136930 140736080485888 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 126701 124708 398 719 0 125980 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 506804 [startup+522.301 s] /proc/loadavg: 2.06 2.02 2.00 3/179 10832 /proc/meminfo: memFree=30451204/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=553392 CPUtime=522.31 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 136697 0 0 0 51007 1224 0 0 25 0 1 0 130830898 566673408 134468 4089446400 4194304 7136930 140736080485888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 138348 134468 398 719 0 137627 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 553392 [startup+582.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10834 /proc/meminfo: memFree=30414436/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=582012 CPUtime=582.31 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 143959 0 0 0 56908 1323 0 0 25 0 1 0 130830898 595980288 141730 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 145503 141730 398 719 0 144782 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 582012 [startup+642.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 10836 /proc/meminfo: memFree=30407556/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=582156 CPUtime=642.31 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 143983 0 0 0 62762 1469 0 0 25 0 1 0 130830898 596127744 141754 4089446400 4194304 7136930 140736080485888 18446744073709551615 5000581 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 145539 141754 398 719 0 144818 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 582156 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30368104/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=607572 CPUtime=1002.32 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150253 0 0 0 98499 1733 0 0 25 0 1 0 130830898 622153728 148024 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 151893 148024 398 719 0 151172 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 607572 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10847 /proc/meminfo: memFree=30366552/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=607572 CPUtime=1062.32 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150280 0 0 0 104462 1770 0 0 25 0 1 0 130830898 622153728 148051 4089446400 4194304 7136930 140736080485888 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 151893 148051 398 719 0 151172 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 607572 [startup+1122.3 s] /proc/loadavg: 2.10 2.03 2.01 3/179 10848 /proc/meminfo: memFree=30364868/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=608600 CPUtime=1122.33 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150564 0 0 0 110435 1798 0 0 25 0 1 0 130830898 623206400 148335 4089446400 4194304 7136930 140736080485888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152150 148335 398 719 0 151429 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 608600 [startup+1182.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 10850 /proc/meminfo: memFree=30364560/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=609400 CPUtime=1182.33 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150686 0 0 0 116411 1822 0 0 25 0 1 0 130830898 624025600 148457 4089446400 4194304 7136930 140736080485888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152350 148457 398 719 0 151629 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 609400 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 10852 /proc/meminfo: memFree=30363632/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1242.33 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150798 0 0 0 122342 1891 0 0 25 0 1 0 130830898 625090560 148569 4089446400 4194304 7136930 140736080485888 18446744073709551615 4925429 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148569 398 719 0 151889 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 610440 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 10854 /proc/meminfo: memFree=30358216/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1302.33 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150798 0 0 0 128246 1987 0 0 25 0 1 0 130830898 625090560 148569 4089446400 4194304 7136930 140736080485888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148569 398 719 0 151889 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 610440 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10855 /proc/meminfo: memFree=30358416/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1362.33 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150798 0 0 0 134146 2087 0 0 25 0 1 0 130830898 625090560 148569 4089446400 4194304 7136930 140736080485888 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148569 398 719 0 151889 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 610440 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10856 /proc/meminfo: memFree=30358464/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1422.34 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150801 0 0 0 140106 2128 0 0 25 0 1 0 130830898 625090560 148572 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148572 398 719 0 151889 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 610440 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10858 /proc/meminfo: memFree=30358268/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1482.33 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150833 0 0 0 146047 2186 0 0 25 0 1 0 130830898 625090560 148604 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148604 398 719 0 151889 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 610440 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10860 /proc/meminfo: memFree=30358460/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1542.34 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150833 0 0 0 151990 2244 0 0 25 0 1 0 130830898 625090560 148604 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148604 398 719 0 151889 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 610440 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10862 /proc/meminfo: memFree=30357768/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=610440 CPUtime=1602.34 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150895 0 0 0 157931 2303 0 0 25 0 1 0 130830898 625090560 148666 4089446400 4194304 7136930 140736080485888 18446744073709551615 5955631 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152610 148666 398 719 0 151889 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 610440 Solver just ended. Dumping a history of the last processes samples [startup+1612.8 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10862 /proc/meminfo: memFree=30357884/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=609660 CPUtime=1612.84 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150896 0 0 0 158973 2311 0 0 25 0 1 0 130830898 624291840 148472 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152415 148472 398 719 0 151694 0 Current children cumulated CPU time (s) 1612.84 Current children cumulated vsize (KiB) 609660 [startup+1619.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10862 /proc/meminfo: memFree=30358004/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=609660 CPUtime=1619.25 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150896 0 0 0 159609 2316 0 0 25 0 1 0 130830898 624291840 148472 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152415 148472 398 719 0 151694 0 Current children cumulated CPU time (s) 1619.25 Current children cumulated vsize (KiB) 609660 [startup+1622.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10862 /proc/meminfo: memFree=30357872/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=609660 CPUtime=1622.44 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150896 0 0 0 159926 2318 0 0 25 0 1 0 130830898 624291840 148472 4089446400 4194304 7136930 140736080485888 18446744073709551615 5000135 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 152415 148472 398 719 0 151694 0 Current children cumulated CPU time (s) 1622.44 Current children cumulated vsize (KiB) 609660 [startup+1624 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10862 /proc/meminfo: memFree=30360104/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=607320 CPUtime=1624.04 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150897 0 0 0 160085 2319 0 0 25 0 1 0 130830898 621895680 147888 4089446400 4194304 7136930 140736080485888 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 151830 147888 398 719 0 151109 0 Current children cumulated CPU time (s) 1624.04 Current children cumulated vsize (KiB) 607320 [startup+1625.6 s] /proc/loadavg: 2.08 2.02 2.01 3/179 10862 /proc/meminfo: memFree=30360336/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=606800 CPUtime=1625.64 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150897 0 0 0 160242 2322 0 0 25 0 1 0 130830898 621363200 147758 4089446400 4194304 7136930 140736080485888 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 151700 147758 398 719 0 150979 0 Current children cumulated CPU time (s) 1625.64 Current children cumulated vsize (KiB) 606800 [startup+1626.4 s] /proc/loadavg: 2.08 2.02 2.01 3/179 10862 /proc/meminfo: memFree=30360832/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=603680 CPUtime=1626.44 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150897 0 0 0 160321 2323 0 0 25 0 1 0 130830898 618168320 146978 4089446400 4194304 7136930 140736080485888 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 150920 146978 398 719 0 150199 0 Current children cumulated CPU time (s) 1626.44 Current children cumulated vsize (KiB) 603680 [startup+1626.6 s] /proc/loadavg: 2.08 2.02 2.01 3/179 10862 /proc/meminfo: memFree=30360832/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=601612 CPUtime=1626.64 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150897 0 0 0 160341 2323 0 0 25 0 1 0 130830898 616050688 146461 4089446400 4194304 7136930 140736080485888 18446744073709551615 4679107 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10809/statm: 150403 146461 398 719 0 149682 0 Current children cumulated CPU time (s) 1626.64 Current children cumulated vsize (KiB) 601612 [startup+1626.7 s] /proc/loadavg: 2.08 2.02 2.01 3/179 10862 /proc/meminfo: memFree=30360832/32951124 swapFree=67111528/67111528 [pid=10809] ppid=10807 vsize=591272 CPUtime=1626.74 /proc/10809/stat : 10809 (pbscip.linux.x8) R 10807 10809 9243 0 -1 4202496 150902 0 0 0 160351 2323 0 0 25 0 1 0 130830898 605462528 143881 4089446400 4194304 7136930 140736080485888 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10809/statm: 147818 143881 403 719 0 147097 0 Current children cumulated CPU time (s) 1626.74 Current children cumulated vsize (KiB) 591272 Child status: 0 Real time (s): 1626.74 CPU time (s): 1626.79 CPU user time (s): 1603.54 CPU system time (s): 23.2515 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 610440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1603.54 system time used= 23.2515 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150909 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2015 runsolver used 2.68959 second user time and 5.32019 second system time The end
Begin job on node106 at 2010-06-30 12:55:32 IDJOB=2693840 IDBENCH=78752 IDSOLVER=1206 FILE ID=node106/2693840-1277895332 PBS_JOBID= 11197142 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763--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-2693840-1277895332/watcher-2693840-1277895332 -o /tmp/evaluation-result-2693840-1277895332/solver-2693840-1277895332 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693840-1277895332.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9949b87f9004912630b1e1d8508ff079 RANDOM SEED=340007738 node106.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.825 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 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.76 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.825 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.825 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.73 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.825 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.83 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31223456 kB Buffers: 177140 kB Cached: 1271868 kB SwapCached: 0 kB Active: 568756 kB Inactive: 1017664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31223456 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3032 kB Writeback: 0 kB AnonPages: 137220 kB Mapped: 16132 kB Slab: 78292 kB PageTables: 4940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 281204 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 node106 at 2010-06-30 13:22:39