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.77 | 1800.73 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo |
| MD5SUM | 569bc66899871f531ac68d505b942740 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 49 |
| Best CPU time to get the best result obtained on this benchmark | 0.155976 |
| 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 | 1227 |
| 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-2693853-1277895737.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 144 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 48 impls, 39 clqs
0.00/0.02 c (0.0s) probing: 101/211 (47.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 48 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 39 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 6 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 941k| 0 | - | 253 | 130 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.31 c 1.0s| 10000 | 7244 | 0 | 0.0 |6582k| 141 | - | 253 |3611 | 0 | 0 | 0 |6697 | 0 | 0.000000e+00 | -- | Inf
3.20/3.21 c 2.6s| 20000 | 13404 | 0 | 0.0 | 10M| 141 | - | 253 |3581 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
5.69/5.70 c 4.8s| 30000 | 18601 | 0 | 0.0 | 16M| 141 | - | 253 |7385 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
8.80/8.86 c 7.7s| 40000 | 23133 | 0 | 0.0 | 21M| 141 | - | 253 | 10k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
13.39/13.40 c 11.9s| 50000 | 25611 | 0 | 0.0 | 26M| 141 | - | 253 | 14k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
17.98/18.08 c 16.3s| 60000 | 28822 | 0 | 0.0 | 27M| 141 | - | 253 |8160 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
19.39/19.41 c 17.3s| 70000 | 36944 | 0 | 0.0 | 29M| 141 | - | 253 |2500 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
20.39/20.45 o 429
20.39/20.45 c *18.2s| 76602 | 41708 | 0 | 0.0 | 32M| 141 | - | 253 |3298 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 4.290000e+02 | Inf
20.39/20.45 o 415
20.39/20.45 c *18.2s| 76605 | 41707 | 0 | 0.0 | 32M| 141 | - | 253 |3298 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
20.99/21.09 c 18.7s| 80000 | 43910 | 0 | 0.0 | 34M| 141 | - | 253 |4141 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
24.09/24.16 c 21.4s| 90000 | 48064 | 0 | 0.0 | 38M| 141 | - | 253 |6600 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
29.09/29.10 c 26.0s|100000 | 49563 | 0 | 0.0 | 43M| 141 | - | 253 | 11k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
35.99/36.08 c 32.6s|110000 | 49601 | 0 | 0.0 | 47M| 141 | - | 253 | 16k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
44.99/45.06 c 41.2s|120000 | 48419 | 0 | 0.0 | 50M| 141 | - | 253 | 21k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
55.59/55.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.59/55.67 c 51.4s|130000 | 47077 | 0 | 0.0 | 53M| 141 | - | 253 | 26k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
67.29/67.38 c 62.7s|140000 | 44951 | 0 | 0.0 | 55M| 141 | - | 253 | 33k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
71.69/71.72 c 66.8s|150000 | 51984 | 0 | 0.0 | 50M| 141 | - | 253 |5736 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
73.49/73.60 c 68.3s|160000 | 59206 | 0 | 0.0 | 53M| 141 | - | 253 |4274 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
75.49/75.55 c 70.0s|170000 | 66112 | 0 | 0.0 | 57M| 141 | - | 253 |4133 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 4.150000e+02 | Inf
77.39/77.42 o 262
77.39/77.42 c *71.6s|179242 | 72220 | 0 | 0.0 | 61M| 141 | - | 253 |4565 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
77.49/77.58 c 71.7s|180000 | 72736 | 0 | 0.0 | 61M| 141 | - | 253 |4529 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
79.69/79.71 c 73.5s|190000 | 79274 | 0 | 0.0 | 65M| 141 | - | 253 |4632 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
81.99/82.02 c 75.5s|200000 | 85411 | 0 | 0.0 | 69M| 141 | - | 253 |5072 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
84.49/84.54 c 77.7s|210000 | 91141 | 0 | 0.0 | 72M| 141 | - | 253 |5482 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
87.39/87.48 c 80.3s|220000 | 96141 | 0 | 0.0 | 77M| 141 | - | 253 |6574 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
90.59/90.69 c 83.1s|230000 |100793 | 0 | 0.0 | 81M| 141 | - | 253 |7544 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
94.09/94.17 c 86.3s|240000 |105236 | 0 | 0.0 | 85M| 141 | - | 253 |8797 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
97.99/98.08 c 89.8s|250000 |109129 | 0 | 0.0 | 89M| 141 | - | 253 | 10k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
102.49/102.51 c 93.9s|260000 |112362 | 0 | 0.0 | 93M| 141 | - | 253 | 12k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
107.89/107.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.89/107.96 c 98.9s|270000 |114490 | 0 | 0.0 | 96M| 141 | - | 253 | 13k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
118.59/118.67 c 109s|280000 |110267 | 0 | 0.0 | 95M| 141 | - | 253 | 20k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
134.70/134.73 c 125s|290000 |104004 | 0 | 0.0 | 91M| 141 | - | 253 | 32k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
143.19/143.29 o 232
143.19/143.29 c * 133s|298111 |105914 | 0 | 0.0 | 85M| 141 | - | 253 | 12k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
144.00/144.03 c 134s|300000 |106986 | 0 | 0.0 | 85M| 141 | - | 253 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
147.40/147.46 c 137s|310000 |112346 | 0 | 0.0 | 88M| 141 | - | 253 |7665 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
150.70/150.70 c 140s|320000 |117545 | 0 | 0.0 | 91M| 141 | - | 253 |7747 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
154.09/154.16 c 143s|330000 |122357 | 0 | 0.0 | 95M| 141 | - | 253 |7883 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
157.79/157.82 c 146s|340000 |126698 | 0 | 0.0 | 98M| 141 | - | 253 |8421 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
161.59/161.70 c 150s|350000 |130790 | 0 | 0.0 | 102M| 141 | - | 253 |8649 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
165.49/165.50 c 153s|360000 |134892 | 0 | 0.0 | 105M| 141 | - | 253 |8983 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
169.40/169.48 c 157s|370000 |138708 | 0 | 0.0 | 108M| 141 | - | 253 |9149 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
173.60/173.67 c 161s|380000 |142236 | 0 | 0.0 | 111M| 141 | - | 253 |9613 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
178.00/178.06 c 165s|390000 |145491 | 0 | 0.0 | 114M| 141 | - | 253 |9777 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
182.50/182.57 c 169s|400000 |148576 | 0 | 0.0 | 116M| 141 | - | 253 |9760 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
187.10/187.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.10/187.10 c 173s|410000 |151628 | 0 | 0.0 | 119M| 141 | - | 253 |9904 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
191.89/191.93 c 178s|420000 |154288 | 0 | 0.0 | 122M| 141 | - | 253 | 10k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
196.80/196.88 c 182s|430000 |156835 | 0 | 0.0 | 124M| 141 | - | 253 | 10k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
202.09/202.12 c 187s|440000 |159055 | 0 | 0.0 | 127M| 141 | - | 253 | 10k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
203.29/203.31 o 230
203.29/203.31 c * 188s|442331 |159574 | 0 | 0.0 | 127M| 141 | - | 253 | 10k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
207.19/207.23 c 192s|450000 |161487 | 0 | 0.0 | 129M| 141 | - | 253 | 11k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
211.19/211.28 o 209
211.19/211.28 c * 196s|457594 |163170 | 0 | 0.0 | 131M| 141 | - | 253 | 11k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.090000e+02 | Inf
211.19/211.29 o 143
211.19/211.29 c * 196s|457595 |162444 | 0 | 0.0 | 130M| 141 | - | 253 | 11k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
212.79/212.84 c 197s|460000 |162481 | 0 | 0.0 | 130M| 141 | - | 253 | 11k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
218.20/218.24 c 202s|470000 |164581 | 0 | 0.0 | 132M| 141 | - | 253 | 11k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
223.79/223.84 c 207s|480000 |166698 | 0 | 0.0 | 135M| 141 | - | 253 | 12k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
229.69/229.73 c 213s|490000 |168590 | 0 | 0.0 | 137M| 141 | - | 253 | 13k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
236.09/236.17 c 219s|500000 |170098 | 0 | 0.0 | 139M| 141 | - | 253 | 15k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
243.19/243.26 c 226s|510000 |171236 | 0 | 0.0 | 141M| 141 | - | 253 | 16k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.430000e+02 | Large
250.29/250.30 c 232s|520000 |172775 | 0 | 0.0 | 144M| 141 | - | 253 | 18k| 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 1.430000e+02 | Large
257.79/257.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.79/257.86 c 239s|530000 |173943 | 0 | 0.0 | 147M| 141 | - | 253 | 20k| 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 1.430000e+02 | Large
265.79/265.82 c 247s|540000 |174937 | 0 | 0.0 | 151M| 141 | - | 253 | 22k| 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.430000e+02 | Large
275.79/275.82 c 256s|550000 |174198 | 0 | 0.0 | 152M| 141 | - | 253 | 24k| 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.430000e+02 | Large
284.40/284.40 c 265s|560000 |175635 | 0 | 0.0 | 153M| 141 | - | 253 | 14k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 1.430000e+02 | Large
291.69/291.71 c 271s|570000 |176847 | 0 | 0.0 | 155M| 141 | - | 253 | 14k| 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 1.430000e+02 | Large
298.80/298.89 c 278s|580000 |178167 | 0 | 0.0 | 159M| 141 | - | 253 | 16k| 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 1.430000e+02 | Large
306.69/306.80 c 286s|590000 |179215 | 0 | 0.0 | 162M| 141 | - | 253 | 17k| 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.430000e+02 | Large
314.80/314.80 c 293s|600000 |180668 | 0 | 0.0 | 165M| 141 | - | 253 | 19k| 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 1.430000e+02 | Large
323.50/323.50 c 302s|610000 |181732 | 0 | 0.0 | 168M| 141 | - | 253 | 21k| 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 1.430000e+02 | Large
332.59/332.64 c 310s|620000 |182924 | 0 | 0.0 | 171M| 141 | - | 253 | 23k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 1.430000e+02 | Large
342.59/342.68 c 320s|630000 |183915 | 0 | 0.0 | 174M| 141 | - | 253 | 25k| 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 1.430000e+02 | Large
353.60/353.67 c 331s|640000 |184683 | 0 | 0.0 | 177M| 141 | - | 253 | 27k| 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 1.430000e+02 | Large
365.30/365.34 c 342s|650000 |185298 | 0 | 0.0 | 180M| 141 | - | 253 | 29k| 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 1.430000e+02 | Large
377.31/377.37 c 354s|660000 |185927 | 0 | 0.0 | 182M| 141 | - | 253 | 29k| 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 1.430000e+02 | Large
390.20/390.22 c 366s|670000 |186176 | 0 | 0.0 | 184M| 141 | - | 253 | 30k| 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 1.430000e+02 | Large
394.60/394.66 o 121
394.60/394.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.60/394.66 c * 370s|673190 |184675 | 0 | 0.0 | 183M| 141 | - | 253 | 30k| 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 1.210000e+02 | Large
404.10/404.10 c 380s|680000 |184664 | 0 | 0.0 | 185M| 141 | - | 253 | 31k| 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 1.210000e+02 | Large
418.29/418.31 c 393s|690000 |184438 | 0 | 0.0 | 187M| 141 | - | 253 | 31k| 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 1.210000e+02 | Large
432.80/432.86 c 407s|700000 |184175 | 0 | 0.0 | 189M| 141 | - | 253 | 32k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.210000e+02 | Large
448.30/448.35 c 422s|710000 |183348 | 0 | 0.0 | 190M| 141 | - | 253 | 32k| 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 1.210000e+02 | Large
464.30/464.35 c 438s|720000 |182404 | 0 | 0.0 | 191M| 141 | - | 253 | 32k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 1.210000e+02 | Large
479.80/479.84 c 453s|730000 |181715 | 0 | 0.0 | 192M| 141 | - | 253 | 32k| 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 1.210000e+02 | Large
495.60/495.64 c 468s|740000 |181027 | 0 | 0.0 | 194M| 141 | - | 253 | 32k| 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 1.210000e+02 | Large
513.00/513.06 c 485s|750000 |179060 | 0 | 0.0 | 194M| 141 | - | 253 | 32k| 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 1.210000e+02 | Large
530.21/530.28 c 502s|760000 |177489 | 0 | 0.0 | 194M| 141 | - | 253 | 33k| 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 1.210000e+02 | Large
547.60/547.67 c 519s|770000 |175675 | 0 | 0.0 | 195M| 141 | - | 253 | 34k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 1.210000e+02 | Large
565.60/565.65 c 537s|780000 |173770 | 0 | 0.0 | 196M| 141 | - | 253 | 36k| 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 1.210000e+02 | Large
583.91/583.90 c 555s|790000 |171770 | 0 | 0.0 | 196M| 141 | - | 253 | 38k| 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 1.210000e+02 | Large
603.70/603.73 c 574s|800000 |168682 | 0 | 0.0 | 194M| 141 | - | 253 | 37k| 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 1.210000e+02 | Large
625.10/625.18 c 595s|810000 |166134 | 0 | 0.0 | 193M| 141 | - | 253 | 33k| 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 1.210000e+02 | Large
645.51/645.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.51/645.55 c 615s|820000 |163715 | 0 | 0.0 | 193M| 141 | - | 253 | 36k| 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 1.210000e+02 | Large
667.50/667.60 c 637s|830000 |160889 | 0 | 0.0 | 194M| 141 | - | 253 | 40k| 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 1.210000e+02 | Large
691.00/691.06 c 660s|840000 |158242 | 0 | 0.0 | 194M| 141 | - | 253 | 44k| 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 1.210000e+02 | Large
716.40/716.49 c 685s|850000 |155617 | 0 | 0.0 | 195M| 141 | - | 253 | 49k| 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 1.210000e+02 | Large
745.21/745.24 c 713s|860000 |152432 | 0 | 0.0 | 195M| 141 | - | 253 | 53k| 0 | 0 | 0 |1012k| 0 | 1.000000e+00 | 1.210000e+02 | Large
777.61/777.62 c 745s|870000 |148802 | 0 | 0.0 | 194M| 141 | - | 253 | 55k| 0 | 0 | 0 |1028k| 0 | 1.000000e+00 | 1.210000e+02 | Large
812.70/812.75 c 780s|880000 |144410 | 0 | 0.0 | 191M| 141 | - | 253 | 56k| 0 | 0 | 0 |1044k| 0 | 1.000000e+00 | 1.210000e+02 | Large
835.41/835.46 o 90
835.41/835.46 c * 802s|886035 |130181 | 0 | 0.0 | 177M| 141 | - | 253 | 54k| 0 | 0 | 0 |1055k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
852.20/852.28 c 818s|890000 |127079 | 0 | 0.0 | 172M| 141 | - | 253 | 48k| 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
885.01/885.09 c 851s|900000 |118908 | 0 | 0.0 | 159M| 141 | - | 253 | 32k| 0 | 0 | 0 |1084k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
905.81/905.84 c 871s|910000 |111447 | 0 | 0.0 | 151M| 141 | - | 253 | 30k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
929.71/929.74 c 894s|920000 |105815 | 0 | 0.0 | 139M| 141 | - | 253 | 18k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
934.11/934.17 c 898s|930000 |110324 | 0 | 0.0 | 138M| 141 | - | 253 |5007 | 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
938.91/938.92 c 903s|940000 |111970 | 0 | 0.0 | 141M| 141 | - | 253 |8034 | 0 | 0 | 0 |1140k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
944.31/944.30 c 908s|950000 |113319 | 0 | 0.0 | 142M| 141 | - | 253 |8726 | 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
950.51/950.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.51/950.59 c 914s|960000 |113078 | 0 | 0.0 | 142M| 141 | - | 253 | 11k| 0 | 0 | 0 |1165k| 0 | 1.000000e+00 | 9.000000e+01 |8900.00%
953.62/953.65 o 87
953.62/953.65 c * 916s|963687 |111338 | 0 | 0.0 | 140M| 141 | - | 253 | 12k| 0 | 0 | 0 |1171k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
955.61/955.69 c 918s|970000 |115666 | 0 | 0.0 | 141M| 141 | - | 253 |7899 | 0 | 0 | 0 |1175k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
959.41/959.46 c 922s|980000 |120893 | 0 | 0.0 | 147M| 141 | - | 253 | 11k| 0 | 0 | 0 |1185k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
966.21/966.29 c 928s|990000 |123016 | 0 | 0.0 | 152M| 141 | - | 253 | 15k| 0 | 0 | 0 |1199k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
973.91/973.95 c 935s| 1000k|123698 | 0 | 0.0 | 152M| 141 | - | 253 |7198 | 0 | 0 | 0 |1213k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
979.61/979.66 c 941s| 1010k|124778 | 0 | 0.0 | 154M| 141 | - | 253 |9544 | 0 | 0 | 0 |1226k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
986.41/986.40 c 947s| 1020k|125120 | 0 | 0.0 | 156M| 141 | - | 253 |9593 | 0 | 0 | 0 |1241k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
993.71/993.72 c 954s| 1030k|123893 | 0 | 0.0 | 157M| 141 | - | 253 | 10k| 0 | 0 | 0 |1257k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
999.61/999.62 c 959s| 1040k|125827 | 0 | 0.0 | 159M| 141 | - | 253 | 11k| 0 | 0 | 0 |1270k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1005.42/1005.47 c 965s| 1050k|129452 | 0 | 0.0 | 164M| 141 | - | 253 | 16k| 0 | 0 | 0 |1283k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1013.12/1013.14 c 972s| 1060k|132149 | 0 | 0.0 | 169M| 141 | - | 253 | 19k| 0 | 0 | 0 |1297k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1023.02/1023.07 c 982s| 1070k|133482 | 0 | 0.0 | 173M| 141 | - | 253 | 22k| 0 | 0 | 0 |1313k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1036.61/1036.61 c 995s| 1080k|132777 | 0 | 0.0 | 176M| 141 | - | 253 | 28k| 0 | 0 | 0 |1331k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1053.91/1053.94 c 1012s| 1090k|129937 | 0 | 0.0 | 171M| 141 | - | 253 | 15k| 0 | 0 | 0 |1351k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1065.21/1065.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.21/1065.28 c 1022s| 1100k|126737 | 0 | 0.0 | 169M| 141 | - | 253 | 14k| 0 | 0 | 0 |1368k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1076.92/1076.97 c 1034s| 1110k|123076 | 0 | 0.0 | 165M| 141 | - | 253 | 12k| 0 | 0 | 0 |1386k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1084.32/1084.34 c 1041s| 1120k|124810 | 0 | 0.0 | 169M| 141 | - | 253 | 15k| 0 | 0 | 0 |1404k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1099.11/1099.15 c 1055s| 1130k|122358 | 0 | 0.0 | 173M| 141 | - | 253 | 24k| 0 | 0 | 0 |1426k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1120.41/1120.44 c 1076s| 1140k|118285 | 0 | 0.0 | 174M| 141 | - | 253 | 32k| 0 | 0 | 0 |1450k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1147.51/1147.57 c 1103s| 1150k|112108 | 0 | 0.0 | 170M| 141 | - | 253 | 40k| 0 | 0 | 0 |1475k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1166.82/1166.81 c 1121s| 1160k|108699 | 0 | 0.0 | 154M| 141 | - | 253 |7524 | 0 | 0 | 0 |1491k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1168.31/1168.35 c 1123s| 1170k|116646 | 0 | 0.0 | 157M| 141 | - | 253 |3208 | 0 | 0 | 0 |1495k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1170.62/1170.69 c 1125s| 1180k|122962 | 0 | 0.0 | 162M| 141 | - | 253 |6307 | 0 | 0 | 0 |1503k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1179.41/1179.47 c 1133s| 1190k|119828 | 0 | 0.0 | 161M| 141 | - | 253 | 15k| 0 | 0 | 0 |1524k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1192.32/1192.32 c 1145s| 1200k|117170 | 0 | 0.0 | 146M| 141 | - | 253 |8784 | 0 | 0 | 0 |1541k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1194.42/1194.43 c 1147s| 1210k|124746 | 0 | 0.0 | 148M| 141 | - | 253 |4741 | 0 | 0 | 0 |1544k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1196.42/1196.49 c 1149s| 1220k|131939 | 0 | 0.0 | 152M| 141 | - | 253 |5071 | 0 | 0 | 0 |1549k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1198.82/1198.83 c 1151s| 1230k|138705 | 0 | 0.0 | 156M| 141 | - | 253 |6014 | 0 | 0 | 0 |1554k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1201.52/1201.55 c 1153s| 1240k|144979 | 0 | 0.0 | 160M| 141 | - | 253 |7095 | 0 | 0 | 0 |1561k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1204.52/1204.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.52/1204.57 c 1156s| 1250k|150947 | 0 | 0.0 | 164M| 141 | - | 253 |7972 | 0 | 0 | 0 |1568k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1207.72/1207.75 c 1159s| 1260k|156795 | 0 | 0.0 | 168M| 141 | - | 253 |9165 | 0 | 0 | 0 |1575k| 0 | 6.000000e+00 | 8.700000e+01 |1350.00%
1212.02/1212.05 c 1163s| 1270k|161393 | 0 | 0.0 | 171M| 141 | - | 253 | 10k| 0 | 0 | 0 |1585k| 0 | 7.000000e+00 | 8.700000e+01 |1142.86%
1217.31/1217.33 c 1168s| 1280k|165183 | 0 | 0.0 | 175M| 141 | - | 253 | 12k| 0 | 0 | 0 |1597k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1223.42/1223.43 c 1174s| 1290k|168239 | 0 | 0.0 | 179M| 141 | - | 253 | 14k| 0 | 0 | 0 |1610k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1231.01/1231.00 c 1181s| 1300k|169944 | 0 | 0.0 | 183M| 141 | - | 253 | 17k| 0 | 0 | 0 |1624k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1236.91/1236.94 c 1186s| 1310k|174371 | 0 | 0.0 | 185M| 141 | - | 253 | 10k| 0 | 0 | 0 |1633k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1240.42/1240.48 c 1189s| 1320k|179871 | 0 | 0.0 | 187M| 141 | - | 253 |6467 | 0 | 0 | 0 |1641k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1243.02/1243.09 c 1192s| 1330k|186236 | 0 | 0.0 | 191M| 141 | - | 253 |5506 | 0 | 0 | 0 |1647k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1246.11/1246.10 c 1194s| 1340k|191828 | 0 | 0.0 | 195M| 141 | - | 253 |6486 | 0 | 0 | 0 |1655k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1249.41/1249.49 c 1197s| 1350k|196982 | 0 | 0.0 | 199M| 141 | - | 253 |7599 | 0 | 0 | 0 |1664k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1253.42/1253.41 c 1201s| 1360k|201607 | 0 | 0.0 | 203M| 141 | - | 253 |8294 | 0 | 0 | 0 |1674k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1257.52/1257.52 c 1205s| 1370k|206000 | 0 | 0.0 | 207M| 141 | - | 253 |8819 | 0 | 0 | 0 |1684k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1261.72/1261.73 c 1209s| 1380k|210265 | 0 | 0.0 | 211M| 141 | - | 253 |9086 | 0 | 0 | 0 |1694k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1266.22/1266.23 c 1213s| 1390k|214218 | 0 | 0.0 | 215M| 141 | - | 253 |9405 | 0 | 0 | 0 |1705k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1271.02/1271.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.02/1271.09 c 1217s| 1400k|217781 | 0 | 0.0 | 218M| 141 | - | 253 | 10k| 0 | 0 | 0 |1716k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1276.41/1276.42 c 1222s| 1410k|220984 | 0 | 0.0 | 222M| 141 | - | 253 | 10k| 0 | 0 | 0 |1728k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1281.92/1281.99 c 1227s| 1420k|223903 | 0 | 0.0 | 226M| 141 | - | 253 | 12k| 0 | 0 | 0 |1740k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1288.21/1288.20 c 1233s| 1430k|226551 | 0 | 0.0 | 230M| 141 | - | 253 | 13k| 0 | 0 | 0 |1753k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1294.72/1294.75 c 1239s| 1440k|229087 | 0 | 0.0 | 233M| 141 | - | 253 | 14k| 0 | 0 | 0 |1766k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1301.72/1301.77 c 1246s| 1450k|231464 | 0 | 0.0 | 237M| 141 | - | 253 | 15k| 0 | 0 | 0 |1778k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1309.22/1309.25 c 1253s| 1460k|233614 | 0 | 0.0 | 240M| 141 | - | 253 | 16k| 0 | 0 | 0 |1792k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1316.82/1316.86 c 1260s| 1470k|235910 | 0 | 0.0 | 244M| 141 | - | 253 | 17k| 0 | 0 | 0 |1805k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1325.22/1325.22 c 1268s| 1480k|237815 | 0 | 0.0 | 247M| 141 | - | 253 | 18k| 0 | 0 | 0 |1819k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1334.52/1334.58 c 1277s| 1490k|239189 | 0 | 0.0 | 250M| 141 | - | 253 | 20k| 0 | 0 | 0 |1833k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1344.12/1344.16 c 1286s| 1500k|240657 | 0 | 0.0 | 253M| 141 | - | 253 | 21k| 0 | 0 | 0 |1847k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1354.52/1354.55 c 1296s| 1510k|241637 | 0 | 0.0 | 256M| 141 | - | 253 | 23k| 0 | 0 | 0 |1862k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1366.02/1366.06 c 1307s| 1520k|242137 | 0 | 0.0 | 259M| 141 | - | 253 | 26k| 0 | 0 | 0 |1878k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1379.43/1379.49 c 1320s| 1530k|241324 | 0 | 0.0 | 261M| 141 | - | 253 | 30k| 0 | 0 | 0 |1895k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1392.32/1392.33 c 1333s| 1540k|242617 | 0 | 0.0 | 261M| 141 | - | 253 | 26k| 0 | 0 | 0 |1907k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1398.72/1398.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.72/1398.76 c 1339s| 1550k|248674 | 0 | 0.0 | 262M| 141 | - | 253 | 15k| 0 | 0 | 0 |1915k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1403.63/1403.64 c 1343s| 1560k|254206 | 0 | 0.0 | 265M| 141 | - | 253 | 15k| 0 | 0 | 0 |1923k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1408.92/1408.90 c 1348s| 1570k|259124 | 0 | 0.0 | 269M| 141 | - | 253 | 16k| 0 | 0 | 0 |1933k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1415.52/1415.60 c 1355s| 1580k|262389 | 0 | 0.0 | 273M| 141 | - | 253 | 18k| 0 | 0 | 0 |1945k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1420.62/1420.62 c 1359s| 1590k|267969 | 0 | 0.0 | 275M| 141 | - | 253 | 11k| 0 | 0 | 0 |1953k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1425.32/1425.30 c 1364s| 1600k|272560 | 0 | 0.0 | 279M| 141 | - | 253 | 10k| 0 | 0 | 0 |1961k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1430.52/1430.51 c 1369s| 1610k|275857 | 0 | 0.0 | 282M| 141 | - | 253 |9270 | 0 | 0 | 0 |1971k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1436.02/1436.07 c 1374s| 1620k|278576 | 0 | 0.0 | 286M| 141 | - | 253 |9995 | 0 | 0 | 0 |1982k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1442.13/1442.15 c 1379s| 1630k|280953 | 0 | 0.0 | 289M| 141 | - | 253 | 11k| 0 | 0 | 0 |1993k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1449.02/1449.01 c 1386s| 1640k|282702 | 0 | 0.0 | 293M| 141 | - | 253 | 12k| 0 | 0 | 0 |2006k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1456.43/1456.46 c 1393s| 1650k|284020 | 0 | 0.0 | 296M| 141 | - | 253 | 13k| 0 | 0 | 0 |2019k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1464.73/1464.79 c 1401s| 1660k|284619 | 0 | 0.0 | 299M| 141 | - | 253 | 13k| 0 | 0 | 0 |2033k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1473.53/1473.54 c 1409s| 1670k|284839 | 0 | 0.0 | 302M| 141 | - | 253 | 15k| 0 | 0 | 0 |2048k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1483.03/1483.03 c 1418s| 1680k|284815 | 0 | 0.0 | 304M| 141 | - | 253 | 16k| 0 | 0 | 0 |2063k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1493.03/1493.08 c 1428s| 1690k|284614 | 0 | 0.0 | 306M| 141 | - | 253 | 17k| 0 | 0 | 0 |2079k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1503.93/1503.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.93/1503.94 c 1438s| 1700k|283857 | 0 | 0.0 | 308M| 141 | - | 253 | 18k| 0 | 0 | 0 |2095k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1515.32/1515.37 c 1449s| 1710k|283269 | 0 | 0.0 | 310M| 141 | - | 253 | 19k| 0 | 0 | 0 |2111k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1528.12/1528.17 c 1462s| 1720k|281994 | 0 | 0.0 | 311M| 141 | - | 253 | 21k| 0 | 0 | 0 |2129k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1540.82/1540.87 c 1474s| 1730k|281214 | 0 | 0.0 | 313M| 141 | - | 253 | 22k| 0 | 0 | 0 |2145k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1554.42/1554.40 c 1487s| 1740k|280279 | 0 | 0.0 | 314M| 141 | - | 253 | 24k| 0 | 0 | 0 |2162k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1569.23/1569.24 c 1502s| 1750k|278829 | 0 | 0.0 | 315M| 141 | - | 253 | 26k| 0 | 0 | 0 |2180k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1584.83/1584.86 c 1517s| 1760k|277283 | 0 | 0.0 | 316M| 141 | - | 253 | 28k| 0 | 0 | 0 |2197k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1601.43/1601.47 c 1533s| 1770k|275527 | 0 | 0.0 | 317M| 141 | - | 253 | 30k| 0 | 0 | 0 |2214k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1621.03/1621.09 c 1552s| 1780k|272392 | 0 | 0.0 | 317M| 141 | - | 253 | 35k| 0 | 0 | 0 |2233k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1643.43/1643.47 c 1574s| 1790k|268531 | 0 | 0.0 | 313M| 141 | - | 253 | 35k| 0 | 0 | 0 |2251k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1657.93/1657.97 c 1588s| 1800k|270333 | 0 | 0.0 | 313M| 141 | - | 253 | 24k| 0 | 0 | 0 |2263k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1669.93/1669.96 c 1600s| 1810k|271362 | 0 | 0.0 | 314M| 141 | - | 253 | 19k| 0 | 0 | 0 |2276k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1680.62/1680.64 c 1610s| 1820k|272004 | 0 | 0.0 | 316M| 141 | - | 253 | 17k| 0 | 0 | 0 |2289k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1690.74/1690.80 c 1620s| 1830k|272642 | 0 | 0.0 | 319M| 141 | - | 253 | 18k| 0 | 0 | 0 |2303k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1700.83/1700.84 c 1629s| 1840k|273695 | 0 | 0.0 | 322M| 141 | - | 253 | 20k| 0 | 0 | 0 |2316k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1711.13/1711.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.13/1711.17 c 1639s| 1850k|275200 | 0 | 0.0 | 325M| 141 | - | 253 | 22k| 0 | 0 | 0 |2328k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1721.53/1721.52 c 1649s| 1860k|277152 | 0 | 0.0 | 329M| 141 | - | 253 | 24k| 0 | 0 | 0 |2341k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1732.03/1732.09 c 1659s| 1870k|279141 | 0 | 0.0 | 332M| 141 | - | 253 | 27k| 0 | 0 | 0 |2354k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1743.93/1743.98 c 1671s| 1880k|280637 | 0 | 0.0 | 336M| 141 | - | 253 | 31k| 0 | 0 | 0 |2367k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1757.03/1757.04 c 1683s| 1890k|281323 | 0 | 0.0 | 339M| 141 | - | 253 | 34k| 0 | 0 | 0 |2382k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1764.13/1764.16 c 1690s| 1900k|287943 | 0 | 0.0 | 338M| 141 | - | 253 | 17k| 0 | 0 | 0 |2388k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1768.93/1768.96 c 1695s| 1910k|293713 | 0 | 0.0 | 341M| 141 | - | 253 | 14k| 0 | 0 | 0 |2397k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1773.93/1773.90 c 1699s| 1920k|298720 | 0 | 0.0 | 346M| 141 | - | 253 | 15k| 0 | 0 | 0 |2406k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1781.83/1781.85 c 1707s| 1930k|300811 | 0 | 0.0 | 350M| 141 | - | 253 | 19k| 0 | 0 | 0 |2420k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1794.23/1794.22 c 1719s| 1940k|299486 | 0 | 0.0 | 350M| 141 | - | 253 | 19k| 0 | 0 | 0 |2435k| 0 | 9.000000e+00 | 8.700000e+01 | 866.67%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1724.34
1800.04/1800.00 c Solving Nodes : 1943972
1800.04/1800.00 c Primal Bound : +8.70000000000000e+01 (10 solutions)
1800.04/1800.00 c Dual Bound : +9.00000000000000e+00
1800.04/1800.00 c Gap : 866.67 %
1800.04/1800.00 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.00 v -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1724.34
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693853-1277895737.wbo
1800.04/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.04/1800.00 c Constraints : 144 initial, 144 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693853-1277895737.wbo
1800.04/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.04/1800.00 c Constraints : 130 initial, 57129 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 42 0 14 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 42 0 5427655 0 1215455 13673 1117695 0 0 0
1800.04/1800.00 c knapsack : 1 0 5856112 0 1299447 120739 25724752 0 0 0
1800.04/1800.00 c setppc : 39 0 5735302 0 1299435 512980 6605815 0 0 0
1800.04/1800.00 c linear : 42 0 5222373 0 1299443 205845 3376645 0 0 0
1800.04/1800.00 c logicor : 6+ 0 2676479 0 1296808 51310 1129345 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 308704 0 0 129 35671 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1299453 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 2.08 0.00 1.01 0.00 1.07
1800.04/1800.00 c knapsack : 188.13 0.00 185.42 0.00 2.71
1800.04/1800.00 c setppc : 32.20 0.00 27.84 0.00 4.36
1800.04/1800.00 c linear : 40.55 0.00 40.46 0.00 0.09
1800.04/1800.00 c logicor : 717.05 0.00 716.95 0.00 0.10
1800.04/1800.00 c bounddisjunction : 0.59 0.00 0.59 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 7.36 5875444 5838 915196
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 26.08 896841 896766 4657703 20.0 354736 13.9 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 87 87 399 18.1 35 13.4 -
1800.04/1800.00 c applied globally : - - - 2424966 15.6 - - -
1800.04/1800.00 c applied locally : - - - 17159 35.2 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 9.96 1299443 0 0 0 0 2598886
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.04 - 10
1800.04/1800.00 c oneopt : 0.03 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1943972
1800.04/1800.00 c nodes (total) : 1943972
1800.04/1800.00 c nodes left : 298398
1800.04/1800.00 c max depth : 141
1800.04/1800.00 c max depth (total): 141
1800.04/1800.00 c backtracks : 645160 (33.2%)
1800.04/1800.00 c delayed cutoffs : 343099
1800.04/1800.00 c repropagations : 2094658 (9774945 domain reductions, 266082 cutoffs)
1800.04/1800.00 c avg switch length: 20.78
1800.04/1800.00 c switching time : 535.83
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 10 (10 improvements)
1800.04/1800.00 c First Solution : +4.29000000000000e+02 (in run 1, after 76602 nodes, 18.18 seconds, depth 77, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.70000000000000e+01 (in run 1, after 963687 nodes, 916.39 seconds, depth 52, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +9.00000000000000e+00
1800.04/1800.00 c Gap : 866.67 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.74/1800.73 c Time complete: 1800.76.
OK 86
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693853-1277895737/watcher-2693853-1277895737 -o /tmp/evaluation-result-2693853-1277895737/solver-2693853-1277895737 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693853-1277895737.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.05 2.01 2.00 3/196 12973 /proc/meminfo: memFree=31186208/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=8124 CPUtime=0 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 1514 0 0 0 0 0 0 0 21 0 1 0 130868312 8318976 1437 4089446400 4194304 7136930 140737388371392 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12973/statm: 2031 1437 275 719 0 1310 0 [startup+0.0773291 s] /proc/loadavg: 2.05 2.01 2.00 3/196 12973 /proc/meminfo: memFree=31186208/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=12688 CPUtime=0.06 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 4699 0 0 0 5 1 0 0 22 0 1 0 130868312 12992512 2470 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 3172 2470 403 719 0 2451 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12688 [startup+0.100328 s] /proc/loadavg: 2.05 2.01 2.00 3/196 12973 /proc/meminfo: memFree=31186208/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=12820 CPUtime=0.09 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 4728 0 0 0 7 2 0 0 22 0 1 0 130868312 13127680 2499 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 3205 2499 403 719 0 2484 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12820 [startup+0.300323 s] /proc/loadavg: 2.05 2.01 2.00 3/196 12973 /proc/meminfo: memFree=31186208/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=14196 CPUtime=0.29 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 5072 0 0 0 21 8 0 0 22 0 1 0 130868312 14536704 2843 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 3549 2846 403 719 0 2828 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14196 [startup+0.700235 s] /proc/loadavg: 2.05 2.01 2.00 3/196 12973 /proc/meminfo: memFree=31186208/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=17008 CPUtime=0.69 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 5797 0 0 0 53 16 0 0 24 0 1 0 130868312 17416192 3568 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 4252 3568 403 719 0 3531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17008 [startup+1.50109 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12974 /proc/meminfo: memFree=31172436/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=20824 CPUtime=1.49 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 6754 0 0 0 120 29 0 0 25 0 1 0 130868312 21323776 4525 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 5206 4525 403 719 0 4485 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20824 [startup+3.10081 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12974 /proc/meminfo: memFree=31168256/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=26044 CPUtime=3.09 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 8068 0 0 0 253 56 0 0 25 0 1 0 130868312 26669056 5839 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 6511 5839 403 719 0 5790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26044 [startup+6.30025 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12974 /proc/meminfo: memFree=31159700/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=34120 CPUtime=6.29 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 10114 0 0 0 539 90 0 0 25 0 1 0 130868312 34938880 7885 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12973/statm: 8530 7885 403 719 0 7809 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34120 [startup+12.7011 s] /proc/loadavg: 2.04 2.01 2.00 3/197 12974 /proc/meminfo: memFree=31149424/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=43840 CPUtime=12.69 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 12543 0 0 0 1127 142 0 0 25 0 1 0 130868312 44892160 10314 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 10960 10314 403 719 0 10239 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43840 [startup+25.5009 s] /proc/loadavg: 2.03 2.01 2.00 3/197 12975 /proc/meminfo: memFree=31129504/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=63676 CPUtime=25.48 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 17544 0 0 0 2265 283 0 0 25 0 1 0 130868312 65204224 15315 4089446400 4194304 7136930 140737388371392 18446744073709551615 4223040 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 15919 15315 403 719 0 15198 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63676 [startup+51.1004 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12976 /proc/meminfo: memFree=31112464/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=81836 CPUtime=51.09 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 22027 0 0 0 4699 410 0 0 25 0 1 0 130868312 83800064 19798 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 20459 19798 403 719 0 19738 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 81836 [startup+102.306 s] /proc/loadavg: 2.01 2.00 2.00 3/197 12977 /proc/meminfo: memFree=31064300/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=129932 CPUtime=102.29 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 33714 0 0 0 9367 862 0 0 25 0 1 0 130868312 133050368 31485 4089446400 4194304 7136930 140737388371392 18446744073709551615 5000302 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 32483 31485 406 719 0 31762 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 129932 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12978 /proc/meminfo: memFree=31049992/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=144916 CPUtime=162.29 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 37498 0 0 0 15040 1189 0 0 25 0 1 0 130868312 148393984 35269 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 36229 35269 406 719 0 35508 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 144916 [startup+222.3 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12980 /proc/meminfo: memFree=31012116/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=181244 CPUtime=222.29 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 46730 0 0 0 20584 1645 0 0 25 0 1 0 130868312 185593856 44501 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 45311 44501 406 719 0 44590 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 181244 [startup+282.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12982 /proc/meminfo: memFree=30989132/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=203212 CPUtime=282.29 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 52295 0 0 0 26257 1972 0 0 25 0 1 0 130868312 208089088 50066 4089446400 4194304 7136930 140737388371392 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 50803 50066 406 719 0 50082 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 203212 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12984 /proc/meminfo: memFree=30969228/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=223612 CPUtime=342.3 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 57279 0 0 0 31976 2254 0 0 25 0 1 0 130868312 228978688 55050 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 55903 55050 406 719 0 55182 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 223612 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12985 /proc/meminfo: memFree=30958992/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=233968 CPUtime=402.3 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 59868 0 0 0 37780 2450 0 0 25 0 1 0 130868312 239583232 57639 4089446400 4194304 7136930 140737388371392 18446744073709551615 4212430 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 58492 57639 406 719 0 57771 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 233968 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12986 /proc/meminfo: memFree=30948888/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=241240 CPUtime=462.3 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 61696 0 0 0 43606 2624 0 0 25 0 1 0 130868312 247029760 59467 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 60310 59467 406 719 0 59589 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 241240 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12988 /proc/meminfo: memFree=30945480/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=244440 CPUtime=522.3 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 62491 0 0 0 49449 2781 0 0 25 0 1 0 130868312 250306560 60262 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 61110 60262 406 719 0 60389 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 244440 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12990 /proc/meminfo: memFree=30939232/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=250872 CPUtime=582.3 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 63948 0 0 0 55300 2930 0 0 25 0 1 0 130868312 256892928 61719 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 62718 61719 406 719 0 61997 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 250872 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13049 /proc/meminfo: memFree=31068436/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=252508 CPUtime=642.3 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 64337 0 0 0 61176 3054 0 0 25 0 1 0 130868312 258568192 62108 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 63127 62108 406 719 0 62406 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 252508 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13085 /proc/meminfo: memFree=30591384/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=260396 CPUtime=1002.31 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 66219 0 0 0 96177 4054 0 0 25 0 1 0 130868312 266645504 63990 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 65099 63990 406 719 0 64378 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 260396 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13086 /proc/meminfo: memFree=30475516/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=260396 CPUtime=1062.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 66221 0 0 0 101962 4270 0 0 25 0 1 0 130868312 266645504 63992 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 65099 63992 406 719 0 64378 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 260396 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13088 /proc/meminfo: memFree=30402668/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=260656 CPUtime=1122.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 66342 0 0 0 107767 4465 0 0 25 0 1 0 130868312 266911744 64113 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 65164 64113 406 719 0 64443 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 260656 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13090 /proc/meminfo: memFree=30303164/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=260656 CPUtime=1182.31 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 66365 0 0 0 113564 4667 0 0 25 0 1 0 130868312 266911744 64136 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 65164 64136 406 719 0 64443 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 260656 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13092 /proc/meminfo: memFree=30239984/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=264548 CPUtime=1242.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 67303 0 0 0 119108 5124 0 0 25 0 1 0 130868312 270897152 65074 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 66137 65074 406 719 0 65416 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 264548 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13093 /proc/meminfo: memFree=30143200/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=304120 CPUtime=1302.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 76332 0 0 0 124649 5583 0 0 25 0 1 0 130868312 311418880 74103 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 76030 74103 406 719 0 75309 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 304120 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13094 /proc/meminfo: memFree=30089704/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=321096 CPUtime=1362.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 80633 0 0 0 130382 5850 0 0 25 0 1 0 130868312 328802304 78404 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 80274 78404 406 719 0 79553 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 321096 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13096 /proc/meminfo: memFree=30024172/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=343668 CPUtime=1422.33 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 86397 0 0 0 136098 6135 0 0 25 0 1 0 130868312 351916032 84168 4089446400 4194304 7136930 140737388371392 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 85917 84168 406 719 0 85196 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 343668 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13098 /proc/meminfo: memFree=29948244/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=367308 CPUtime=1482.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 92403 0 0 0 141759 6473 0 0 25 0 1 0 130868312 376123392 90174 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 91827 90174 406 719 0 91106 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 367308 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13100 /proc/meminfo: memFree=29871808/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=377424 CPUtime=1542.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 94958 0 0 0 147535 6697 0 0 25 0 1 0 130868312 386482176 92729 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 94356 92729 406 719 0 93635 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 377424 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13101 /proc/meminfo: memFree=29824148/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=380792 CPUtime=1602.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 95755 0 0 0 153369 6863 0 0 25 0 1 0 130868312 389931008 93526 4089446400 4194304 7136930 140737388371392 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 95198 93526 406 719 0 94477 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 380792 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13102 /proc/meminfo: memFree=29822100/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=382820 CPUtime=1662.32 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 96275 0 0 0 159215 7017 0 0 25 0 1 0 130868312 392007680 94046 4089446400 4194304 7136930 140737388371392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 95705 94046 406 719 0 94984 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 382820 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13104 /proc/meminfo: memFree=29811156/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=392680 CPUtime=1722.33 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 98722 0 0 0 164976 7257 0 0 25 0 1 0 130868312 402104320 96493 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 98170 96493 406 719 0 97449 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 392680 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13109 /proc/meminfo: memFree=29781444/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=420012 CPUtime=1782.33 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 105529 0 0 0 170714 7519 0 0 25 0 1 0 130868312 430092288 103300 4089446400 4194304 7136930 140737388371392 18446744073709551615 4210590 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 105003 103300 406 719 0 104282 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 420012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13109 /proc/meminfo: memFree=29777584/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=420784 CPUtime=1800.04 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 105723 0 0 0 172434 7570 0 0 25 0 1 0 130868312 430882816 103494 4089446400 4194304 7136930 140737388371392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12973/statm: 105196 103494 406 719 0 104475 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 420784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13109 /proc/meminfo: memFree=29777584/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=420784 CPUtime=1800.23 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 105728 0 0 0 172453 7570 0 0 18 0 1 0 130868312 430882816 103499 4089446400 4194304 7136930 140737388371392 18446744073709551615 4212060 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12973/statm: 105196 103499 411 719 0 104475 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 420784 [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13110 /proc/meminfo: memFree=29777576/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=419760 CPUtime=1800.64 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 105728 0 0 0 172494 7570 0 0 18 0 1 0 130868312 429834240 103243 4089446400 4194304 7136930 140737388371392 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12973/statm: 104940 103243 411 719 0 104219 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 419760 [startup+1800.71 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13110 /proc/meminfo: memFree=29777576/32951124 swapFree=67111528/67111528 [pid=12973] ppid=12971 vsize=398256 CPUtime=1800.74 /proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 11713 0 -1 4202496 105728 0 0 0 172504 7570 0 0 18 0 1 0 130868312 407814144 97868 4089446400 4194304 7136930 140737388371392 18446744073709551615 5950410 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12973/statm: 99564 97868 411 719 0 98843 0 Current children cumulated CPU time (s) 1800.74 Current children cumulated vsize (KiB) 398256 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.77 CPU user time (s): 1725.05 CPU system time (s): 75.7165 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 420784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.05 system time used= 75.7165 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105735 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= 2094 runsolver used 2.38864 second user time and 5.83211 second system time The end
Begin job on node144 at 2010-06-30 13:02:17 IDJOB=2693853 IDBENCH=78763 IDSOLVER=1206 FILE ID=node144/2693853-1277895737 PBS_JOBID= 11197065 Free space on /tmp= 74180 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.1110969170--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-2693853-1277895737/watcher-2693853-1277895737 -o /tmp/evaluation-result-2693853-1277895737/solver-2693853-1277895737 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693853-1277895737.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 569bc66899871f531ac68d505b942740 RANDOM SEED=1164624243 node144.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.848 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.69 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.848 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.83 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.82 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31186984 kB Buffers: 178524 kB Cached: 1242300 kB SwapCached: 0 kB Active: 691144 kB Inactive: 927640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31186984 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 197780 kB Mapped: 20244 kB Slab: 79732 kB PageTables: 5004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1640688 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= 74172 MiB End job on node144 at 2010-06-30 13:32:19