| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.11 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-66-100-0.wbo |
| MD5SUM | 229cdc62bd8923cf935a8d792017a43b |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.039993 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1804 |
| Total number of constraints | 4931 |
| Number of soft constraints | 1692 |
| Number of constraints which are clauses | 4707 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 224 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 86670 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 86669 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 64 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-2693626-1277913419.wbo>
0.00/0.04 c original problem has 5188 variables (3496 bin, 0 int, 0 impl, 1692 cont) and 6624 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.06 c presolving:
0.06/0.09 c (round 1) 67 del vars, 51 del conss, 16 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 34653 impls, 0 clqs
0.06/0.09 c (round 2) 77 del vars, 174 del conss, 16 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 34653 impls, 0 clqs
0.09/0.10 c (round 3) 90 del vars, 177 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 34653 impls, 0 clqs
0.09/0.13 c (round 4) 93 del vars, 177 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3097 upgd conss, 34653 impls, 0 clqs
0.49/0.57 c (0.5s) probing: 1000/3416 (29.3%) - 0 fixings, 4 aggregations, 3785 implications, 0 bound changes
0.69/0.78 c (0.7s) probing: 1716/3416 (50.2%) - 0 fixings, 4 aggregations, 3843 implications, 0 bound changes
0.69/0.78 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.69/0.78 c (round 5) 97 del vars, 177 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3097 upgd conss, 50633 impls, 0 clqs
0.69/0.80 c (0.7s) probing: 1726/3416 (50.5%) - 0 fixings, 4 aggregations, 3843 implications, 0 bound changes
0.69/0.80 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.69/0.80 c presolving (6 rounds):
0.69/0.80 c 97 deleted vars, 177 deleted constraints, 1695 tightened bounds, 0 added holes, 112 changed sides, 234 changed coefficients
0.69/0.80 c 50633 implications, 0 cliques
0.69/0.80 c presolved problem has 5091 variables (3412 bin, 0 int, 0 impl, 1679 cont) and 6447 constraints
0.69/0.80 c 1679 constraints of type <indicator>
0.69/0.80 c 8 constraints of type <varbound>
0.69/0.80 c 137 constraints of type <knapsack>
0.69/0.80 c 1671 constraints of type <linear>
0.69/0.80 c 2952 constraints of type <logicor>
0.69/0.80 c transformed objective value is always integral (scale: 1)
0.69/0.80 c Presolving Time: 0.70
0.69/0.80 c - non default parameters ----------------------------------------------------------------------
0.69/0.80 c # SCIP version 1.2.1.2
0.69/0.80 c
0.69/0.80 c # frequency for displaying node information lines
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.80 c display/freq = 10000
0.69/0.80 c
0.69/0.80 c # maximal time in seconds to run
0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.80 c limits/time = 1799.96
0.69/0.80 c
0.69/0.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/memory = 3420
0.79/0.80 c
0.79/0.80 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80 c lp/solvefreq = -1
0.79/0.80 c
0.79/0.80 c # should presolving try to simplify inequalities
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/linear/simplifyinequalities = TRUE
0.79/0.80 c
0.79/0.80 c # should presolving try to simplify knapsacks
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.80 c
0.79/0.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80 c separating/rapidlearning/freq = 0
0.79/0.80 c
0.79/0.80 c -----------------------------------------------------------------------------------------------
0.79/0.80 c start solving
0.79/0.80 c
0.79/0.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.80 c 0.7s| 1 | 2 | 0 | - | 18M| 0 | - |5091 |6447 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.19/9.26 c 9.0s| 10000 | 9993 | 0 | 0.0 | 26M| 59 | - |5091 |6451 | 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
17.09/17.19 c 16.7s| 20000 | 19987 | 0 | 0.0 | 32M| 77 | - |5091 |6454 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
25.10/25.13 c 24.5s| 30000 | 29981 | 0 | 0.0 | 39M| 83 | - |5091 |6455 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
33.00/33.05 c 32.3s| 40000 | 39977 | 0 | 0.0 | 45M| 83 | - |5091 |6456 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
40.50/40.58 c 39.6s| 50000 | 49975 | 0 | 0.0 | 50M| 83 | - |5091 |6456 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
48.40/48.47 c 47.4s| 60000 | 59974 | 0 | 0.0 | 56M| 83 | - |5091 |6455 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
56.19/56.20 c 54.9s| 70000 | 69972 | 0 | 0.0 | 62M| 83 | - |5091 |6454 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
63.80/63.84 c 62.4s| 80000 | 79972 | 0 | 0.0 | 68M| 83 | - |5091 |6454 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
71.40/71.45 c 69.9s| 90000 | 89972 | 0 | 0.0 | 73M| 83 | - |5091 |6454 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
78.89/78.98 c 77.2s|100000 | 99972 | 0 | 0.0 | 79M| 83 | - |5091 |6454 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
86.50/86.53 c 84.6s|110000 |109972 | 0 | 0.0 | 84M| 83 | - |5091 |6454 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
94.40/94.40 c 92.3s|120000 |119972 | 0 | 0.0 | 90M| 83 | - |5091 |6454 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
102.10/102.19 c 99.9s|130000 |129972 | 0 | 0.0 | 96M| 83 | - |5091 |6453 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
109.79/109.86 c 107s|140000 |139970 | 0 | 0.0 | 101M| 87 | - |5091 |6454 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
117.40/117.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.40/117.49 c 115s|150000 |149968 | 0 | 0.0 | 107M| 87 | - |5091 |6455 | 0 | 0 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
125.00/125.08 c 122s|160000 |159964 | 0 | 0.0 | 112M| 87 | - |5091 |6457 | 0 | 0 | 0 | 15 | 0 | 0.000000e+00 | -- | Inf
132.60/132.65 c 130s|170000 |169950 | 0 | 0.0 | 118M| 87 | - |5091 |6464 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
140.10/140.16 c 137s|180000 |179931 | 0 | 0.0 | 123M| 87 | - |5091 |6469 | 0 | 0 | 0 | 27 | 0 | 0.000000e+00 | -- | Inf
147.60/147.65 c 144s|190000 |189911 | 0 | 0.0 | 129M| 87 | - |5091 |6472 | 0 | 0 | 0 | 30 | 0 | 0.000000e+00 | -- | Inf
155.00/155.04 c 152s|200000 |199898 | 0 | 0.0 | 134M| 87 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
162.40/162.40 c 159s|210000 |209898 | 0 | 0.0 | 139M| 87 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
169.70/169.74 c 166s|220000 |219898 | 0 | 0.0 | 144M| 87 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
177.00/177.03 c 173s|230000 |229898 | 0 | 0.0 | 149M| 87 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
184.19/184.29 c 180s|240000 |239898 | 0 | 0.0 | 154M| 87 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
191.50/191.50 c 187s|250000 |249898 | 0 | 0.0 | 159M| 87 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
198.70/198.71 c 194s|260000 |259898 | 0 | 0.0 | 164M| 89 | - |5091 |6474 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
206.60/206.65 c 202s|270000 |269898 | 0 | 0.0 | 170M| 89 | - |5091 |6460 | 0 | 0 | 0 | 32 | 0 | 0.000000e+00 | -- | Inf
214.50/214.59 c 210s|280000 |279896 | 0 | 0.0 | 176M| 89 | - |5091 |6459 | 0 | 0 | 0 | 33 | 0 | 0.000000e+00 | -- | Inf
222.40/222.44 c 218s|290000 |289896 | 0 | 0.0 | 182M| 89 | - |5091 |6458 | 0 | 0 | 0 | 33 | 0 | 0.000000e+00 | -- | Inf
230.20/230.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.20/230.27 c 225s|300000 |299894 | 0 | 0.0 | 188M| 89 | - |5091 |6459 | 0 | 0 | 0 | 34 | 0 | 0.000000e+00 | -- | Inf
238.00/238.03 c 233s|310000 |309894 | 0 | 0.0 | 194M| 89 | - |5091 |6459 | 0 | 0 | 0 | 34 | 0 | 0.000000e+00 | -- | Inf
245.70/245.78 c 240s|320000 |319894 | 0 | 0.0 | 200M| 89 | - |5091 |6459 | 0 | 0 | 0 | 34 | 0 | 0.000000e+00 | -- | Inf
253.40/253.48 c 248s|330000 |329892 | 0 | 0.0 | 205M| 89 | - |5091 |6460 | 0 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf
261.20/261.20 c 256s|340000 |339892 | 0 | 0.0 | 211M| 89 | - |5091 |6460 | 0 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf
268.80/268.86 c 263s|350000 |349892 | 0 | 0.0 | 217M| 89 | - |5091 |6460 | 0 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf
276.50/276.57 c 271s|360000 |359892 | 0 | 0.0 | 222M| 89 | - |5091 |6460 | 0 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf
284.20/284.24 c 278s|370000 |369888 | 0 | 0.0 | 228M| 89 | - |5091 |6462 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
291.80/291.85 c 286s|380000 |379888 | 0 | 0.0 | 233M| 89 | - |5091 |6462 | 0 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf
299.50/299.51 c 293s|390000 |389882 | 0 | 0.0 | 239M| 89 | - |5091 |6465 | 0 | 0 | 0 | 40 | 0 | 0.000000e+00 | -- | Inf
307.00/307.08 c 300s|400000 |399880 | 0 | 0.0 | 245M| 89 | - |5091 |6464 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
314.71/314.74 c 308s|410000 |409870 | 0 | 0.0 | 250M| 89 | - |5091 |6468 | 0 | 0 | 0 | 46 | 0 | 0.000000e+00 | -- | Inf
322.21/322.30 c 315s|420000 |419868 | 0 | 0.0 | 256M| 89 | - |5091 |6468 | 0 | 0 | 0 | 46 | 0 | 0.000000e+00 | -- | Inf
329.90/329.93 c 323s|430000 |429854 | 0 | 0.0 | 262M| 89 | - |5091 |6474 | 0 | 0 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf
337.50/337.50 c 330s|440000 |439854 | 0 | 0.0 | 267M| 89 | - |5091 |6473 | 0 | 0 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf
345.11/345.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.11/345.13 c 338s|450000 |449848 | 0 | 0.0 | 273M| 89 | - |5091 |6473 | 0 | 0 | 0 | 55 | 0 | 0.000000e+00 | -- | Inf
352.60/352.67 c 345s|460000 |459848 | 0 | 0.0 | 278M| 89 | - |5091 |6473 | 0 | 0 | 0 | 55 | 0 | 0.000000e+00 | -- | Inf
360.20/360.26 c 352s|470000 |469836 | 0 | 0.0 | 284M| 89 | - |5091 |6478 | 0 | 0 | 0 | 60 | 0 | 0.000000e+00 | -- | Inf
367.71/367.78 c 360s|480000 |479836 | 0 | 0.0 | 289M| 89 | - |5091 |6478 | 0 | 0 | 0 | 60 | 0 | 0.000000e+00 | -- | Inf
375.30/375.37 c 367s|490000 |489832 | 0 | 0.0 | 295M| 89 | - |5091 |6479 | 0 | 0 | 0 | 62 | 0 | 0.000000e+00 | -- | Inf
382.91/382.90 c 374s|500000 |499832 | 0 | 0.0 | 300M| 89 | - |5091 |6479 | 0 | 0 | 0 | 62 | 0 | 0.000000e+00 | -- | Inf
390.41/390.49 c 382s|510000 |509830 | 0 | 0.0 | 306M| 89 | - |5091 |6480 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
398.01/398.04 c 389s|520000 |519826 | 0 | 0.0 | 311M| 89 | - |5091 |6479 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
405.61/405.60 c 397s|530000 |529824 | 0 | 0.0 | 317M| 89 | - |5091 |6480 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
413.10/413.11 c 404s|540000 |539824 | 0 | 0.0 | 322M| 89 | - |5091 |6478 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
420.61/420.62 c 411s|550000 |549824 | 0 | 0.0 | 327M| 89 | - |5091 |6478 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
428.10/428.10 c 419s|560000 |559824 | 0 | 0.0 | 333M| 89 | - |5091 |6478 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
435.51/435.52 c 426s|570000 |569824 | 0 | 0.0 | 338M| 97 | - |5091 |6478 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
442.91/442.91 c 433s|580000 |579824 | 0 | 0.0 | 343M| 97 | - |5091 |6478 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
450.41/450.43 c 441s|590000 |589824 | 0 | 0.0 | 349M| 97 | - |5091 |6476 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
458.01/458.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.01/458.05 c 448s|600000 |599824 | 0 | 0.0 | 354M| 97 | - |5091 |6475 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
465.70/465.74 c 456s|610000 |609824 | 0 | 0.0 | 360M| 97 | - |5091 |6472 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
473.31/473.31 c 463s|620000 |619824 | 0 | 0.0 | 365M| 97 | - |5091 |6470 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
480.91/480.91 c 470s|630000 |629824 | 0 | 0.0 | 371M| 105 | - |5091 |6467 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
488.11/488.20 c 478s|640000 |639824 | 0 | 0.0 | 376M| 119 | - |5091 |6467 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
495.40/495.49 c 485s|650000 |649824 | 0 | 0.0 | 381M| 119 | - |5091 |6466 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
502.81/502.81 c 492s|660000 |659824 | 0 | 0.0 | 386M| 119 | - |5091 |6466 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
510.10/510.13 c 499s|670000 |669824 | 0 | 0.0 | 392M| 119 | - |5091 |6466 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
517.41/517.47 c 506s|680000 |679824 | 0 | 0.0 | 397M| 119 | - |5091 |6466 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
524.71/524.76 c 513s|690000 |689824 | 0 | 0.0 | 402M| 121 | - |5091 |6466 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
532.01/532.06 c 520s|700000 |699824 | 0 | 0.0 | 407M| 121 | - |5091 |6466 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
539.61/539.68 c 528s|710000 |709824 | 0 | 0.0 | 413M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
547.21/547.24 c 535s|720000 |719824 | 0 | 0.0 | 418M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
554.81/554.80 c 543s|730000 |729824 | 0 | 0.0 | 424M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
562.30/562.30 c 550s|740000 |739824 | 0 | 0.0 | 429M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
569.82/569.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.82/569.82 c 557s|750000 |749824 | 0 | 0.0 | 435M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
577.31/577.32 c 565s|760000 |759824 | 0 | 0.0 | 440M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
584.71/584.78 c 572s|770000 |769824 | 0 | 0.0 | 446M| 121 | - |5091 |6460 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
592.11/592.19 c 579s|780000 |779824 | 0 | 0.0 | 451M| 121 | - |5091 |6459 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
599.52/599.55 c 586s|790000 |789818 | 0 | 0.0 | 457M| 121 | - |5091 |6462 | 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf
606.91/606.92 c 594s|800000 |799818 | 0 | 0.0 | 462M| 123 | - |5091 |6462 | 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf
614.21/614.20 c 601s|810000 |809818 | 0 | 0.0 | 468M| 123 | - |5091 |6461 | 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf
621.51/621.53 c 608s|820000 |819808 | 0 | 0.0 | 473M| 123 | - |5091 |6466 | 0 | 0 | 0 | 72 | 0 | 0.000000e+00 | -- | Inf
628.82/628.86 c 615s|830000 |829807 | 0 | 0.0 | 478M| 123 | - |5091 |6466 | 0 | 0 | 0 | 72 | 0 | 0.000000e+00 | -- | Inf
636.11/636.13 c 622s|840000 |839807 | 0 | 0.0 | 484M| 123 | - |5091 |6466 | 0 | 0 | 0 | 72 | 0 | 0.000000e+00 | -- | Inf
643.31/643.38 c 629s|850000 |849799 | 0 | 0.0 | 489M| 123 | - |5091 |6469 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
650.61/650.63 c 636s|860000 |859799 | 0 | 0.0 | 494M| 123 | - |5091 |6469 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
657.82/657.86 c 644s|870000 |869799 | 0 | 0.0 | 499M| 127 | - |5091 |6469 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
665.01/665.03 c 651s|880000 |879799 | 0 | 0.0 | 505M| 127 | - |5091 |6469 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
672.21/672.23 c 658s|890000 |889797 | 0 | 0.0 | 510M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
679.42/679.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.42/679.44 c 665s|900000 |899797 | 0 | 0.0 | 515M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
686.61/686.62 c 672s|910000 |909797 | 0 | 0.0 | 520M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
693.81/693.83 c 679s|920000 |919797 | 0 | 0.0 | 525M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
700.91/700.99 c 686s|930000 |929797 | 0 | 0.0 | 531M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
708.11/708.19 c 693s|940000 |939797 | 0 | 0.0 | 536M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
715.41/715.42 c 700s|950000 |949797 | 0 | 0.0 | 541M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
722.52/722.59 c 707s|960000 |959797 | 0 | 0.0 | 546M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
729.72/729.74 c 714s|970000 |969797 | 0 | 0.0 | 551M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
736.82/736.89 c 721s|980000 |979797 | 0 | 0.0 | 557M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
744.02/744.07 c 728s|990000 |989797 | 0 | 0.0 | 562M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
751.23/751.29 c 735s| 1000k|999797 | 0 | 0.0 | 567M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
758.42/758.43 c 742s| 1010k| 1009k| 0 | 0.0 | 572M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
765.52/765.54 c 749s| 1020k| 1019k| 0 | 0.0 | 577M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
772.62/772.65 c 756s| 1030k| 1029k| 0 | 0.0 | 582M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
779.82/779.84 c 763s| 1040k| 1039k| 0 | 0.0 | 588M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
787.02/787.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.02/787.03 c 770s| 1050k| 1049k| 0 | 0.0 | 593M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
794.12/794.12 c 777s| 1060k| 1059k| 0 | 0.0 | 598M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
801.12/801.18 c 784s| 1070k| 1069k| 0 | 0.0 | 603M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
808.22/808.27 c 791s| 1080k| 1079k| 0 | 0.0 | 608M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
815.42/815.40 c 798s| 1090k| 1089k| 0 | 0.0 | 613M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
822.52/822.54 c 805s| 1100k| 1099k| 0 | 0.0 | 619M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
829.61/829.63 c 812s| 1110k| 1109k| 0 | 0.0 | 624M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
836.71/836.72 c 819s| 1120k| 1119k| 0 | 0.0 | 629M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
843.82/843.82 c 825s| 1130k| 1129k| 0 | 0.0 | 634M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
850.92/850.96 c 832s| 1140k| 1139k| 0 | 0.0 | 639M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
858.12/858.13 c 840s| 1150k| 1149k| 0 | 0.0 | 644M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
865.22/865.25 c 846s| 1160k| 1159k| 0 | 0.0 | 650M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
872.33/872.35 c 853s| 1170k| 1169k| 0 | 0.0 | 655M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
879.42/879.46 c 860s| 1180k| 1179k| 0 | 0.0 | 660M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
886.53/886.57 c 867s| 1190k| 1189k| 0 | 0.0 | 665M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
893.72/893.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.72/893.74 c 874s| 1200k| 1199k| 0 | 0.0 | 670M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
900.82/900.89 c 881s| 1210k| 1209k| 0 | 0.0 | 675M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
908.02/908.02 c 888s| 1220k| 1219k| 0 | 0.0 | 681M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
915.13/915.18 c 895s| 1230k| 1229k| 0 | 0.0 | 686M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
922.32/922.36 c 902s| 1240k| 1239k| 0 | 0.0 | 691M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
929.52/929.54 c 909s| 1250k| 1249k| 0 | 0.0 | 696M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
936.62/936.69 c 916s| 1260k| 1259k| 0 | 0.0 | 701M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
943.82/943.84 c 923s| 1270k| 1269k| 0 | 0.0 | 707M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
951.02/951.02 c 930s| 1280k| 1279k| 0 | 0.0 | 712M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
958.13/958.19 c 937s| 1290k| 1289k| 0 | 0.0 | 717M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
965.32/965.35 c 944s| 1300k| 1299k| 0 | 0.0 | 722M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
972.52/972.51 c 951s| 1310k| 1309k| 0 | 0.0 | 727M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
979.62/979.67 c 958s| 1320k| 1319k| 0 | 0.0 | 732M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
986.82/986.80 c 965s| 1330k| 1329k| 0 | 0.0 | 738M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
993.92/993.95 c 972s| 1340k| 1339k| 0 | 0.0 | 743M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1001.13/1001.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.13/1001.11 c 979s| 1350k| 1349k| 0 | 0.0 | 748M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1008.22/1008.27 c 986s| 1360k| 1359k| 0 | 0.0 | 753M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1015.42/1015.41 c 993s| 1370k| 1369k| 0 | 0.0 | 758M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1022.52/1022.53 c 1000s| 1380k| 1379k| 0 | 0.0 | 764M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1029.63/1029.64 c 1007s| 1390k| 1389k| 0 | 0.0 | 769M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1036.72/1036.80 c 1014s| 1400k| 1399k| 0 | 0.0 | 774M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1043.83/1043.86 c 1021s| 1410k| 1409k| 0 | 0.0 | 779M| 127 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1050.92/1050.95 c 1028s| 1420k| 1419k| 0 | 0.0 | 784M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1058.02/1058.01 c 1035s| 1430k| 1429k| 0 | 0.0 | 789M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1065.02/1065.00 c 1042s| 1440k| 1439k| 0 | 0.0 | 794M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1071.93/1071.96 c 1049s| 1450k| 1449k| 0 | 0.0 | 799M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1079.03/1079.01 c 1056s| 1460k| 1459k| 0 | 0.0 | 805M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1086.12/1086.11 c 1063s| 1470k| 1469k| 0 | 0.0 | 810M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1093.13/1093.19 c 1070s| 1480k| 1479k| 0 | 0.0 | 815M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1100.23/1100.20 c 1076s| 1490k| 1489k| 0 | 0.0 | 820M| 139 | - |5091 |6470 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1107.53/1107.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.53/1107.57 c 1084s| 1500k| 1499k| 0 | 0.0 | 826M| 139 | - |5091 |6467 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1115.03/1115.02 c 1091s| 1510k| 1509k| 0 | 0.0 | 831M| 139 | - |5091 |6464 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1122.43/1122.46 c 1098s| 1520k| 1519k| 0 | 0.0 | 837M| 139 | - |5091 |6464 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1129.83/1129.85 c 1105s| 1530k| 1529k| 0 | 0.0 | 842M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1137.23/1137.25 c 1113s| 1540k| 1539k| 0 | 0.0 | 848M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1144.63/1144.64 c 1120s| 1550k| 1549k| 0 | 0.0 | 853M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1152.03/1152.01 c 1127s| 1560k| 1559k| 0 | 0.0 | 859M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1159.33/1159.34 c 1134s| 1570k| 1569k| 0 | 0.0 | 864M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1166.73/1166.73 c 1142s| 1580k| 1579k| 0 | 0.0 | 870M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1174.03/1174.09 c 1149s| 1590k| 1589k| 0 | 0.0 | 875M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1181.44/1181.43 c 1156s| 1600k| 1599k| 0 | 0.0 | 881M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1188.73/1188.72 c 1163s| 1610k| 1609k| 0 | 0.0 | 886M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1196.03/1196.08 c 1170s| 1620k| 1619k| 0 | 0.0 | 892M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1203.43/1203.46 c 1177s| 1630k| 1629k| 0 | 0.0 | 897M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1210.73/1210.79 c 1185s| 1640k| 1639k| 0 | 0.0 | 903M| 139 | - |5091 |6463 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
1218.04/1218.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.04/1218.08 c 1192s| 1650k| 1649k| 0 | 0.0 | 908M| 139 | - |5091 |6464 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1225.34/1225.38 c 1199s| 1660k| 1659k| 0 | 0.0 | 914M| 139 | - |5091 |6464 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1232.73/1232.71 c 1206s| 1670k| 1669k| 0 | 0.0 | 919M| 139 | - |5091 |6464 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1240.03/1240.04 c 1213s| 1680k| 1679k| 0 | 0.0 | 925M| 139 | - |5091 |6464 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1247.34/1247.32 c 1220s| 1690k| 1689k| 0 | 0.0 | 930M| 139 | - |5091 |6464 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1254.63/1254.64 c 1228s| 1700k| 1699k| 0 | 0.0 | 935M| 139 | - |5091 |6463 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1261.93/1261.95 c 1235s| 1710k| 1709k| 0 | 0.0 | 941M| 139 | - |5091 |6463 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
1269.24/1269.26 c 1242s| 1720k| 1719k| 0 | 0.0 | 946M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1276.54/1276.53 c 1249s| 1730k| 1729k| 0 | 0.0 | 952M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1283.83/1283.82 c 1256s| 1740k| 1739k| 0 | 0.0 | 957M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1291.04/1291.07 c 1263s| 1750k| 1749k| 0 | 0.0 | 963M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1298.33/1298.35 c 1270s| 1760k| 1759k| 0 | 0.0 | 968M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1305.63/1305.67 c 1278s| 1770k| 1769k| 0 | 0.0 | 973M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1312.94/1312.96 c 1285s| 1780k| 1779k| 0 | 0.0 | 979M| 139 | - |5091 |6464 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
1320.24/1320.24 c 1292s| 1790k| 1789k| 0 | 0.0 | 984M| 139 | - |5091 |6466 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
1327.53/1327.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.53/1327.52 c 1299s| 1800k| 1799k| 0 | 0.0 | 990M| 139 | - |5091 |6466 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
1334.83/1334.82 c 1306s| 1810k| 1809k| 0 | 0.0 | 995M| 139 | - |5091 |6466 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
1342.04/1342.05 c 1313s| 1820k| 1819k| 0 | 0.0 |1001M| 139 | - |5091 |6466 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
1349.34/1349.33 c 1320s| 1830k| 1829k| 0 | 0.0 |1006M| 139 | - |5091 |6466 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
1356.64/1356.60 c 1327s| 1840k| 1839k| 0 | 0.0 |1011M| 139 | - |5091 |6466 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
1363.84/1363.83 c 1334s| 1850k| 1849k| 0 | 0.0 |1017M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1371.03/1371.08 c 1341s| 1860k| 1859k| 0 | 0.0 |1022M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1378.34/1378.33 c 1349s| 1870k| 1869k| 0 | 0.0 |1027M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1385.54/1385.52 c 1356s| 1880k| 1879k| 0 | 0.0 |1033M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1392.74/1392.74 c 1363s| 1890k| 1889k| 0 | 0.0 |1038M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1399.93/1399.97 c 1370s| 1900k| 1899k| 0 | 0.0 |1044M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1407.24/1407.22 c 1377s| 1910k| 1909k| 0 | 0.0 |1049M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1414.43/1414.47 c 1384s| 1920k| 1919k| 0 | 0.0 |1054M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1421.74/1421.70 c 1391s| 1930k| 1929k| 0 | 0.0 |1060M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1428.94/1428.91 c 1398s| 1940k| 1939k| 0 | 0.0 |1065M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1436.14/1436.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.14/1436.12 c 1405s| 1950k| 1949k| 0 | 0.0 |1070M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1443.34/1443.32 c 1412s| 1960k| 1959k| 0 | 0.0 |1076M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1450.54/1450.50 c 1419s| 1970k| 1969k| 0 | 0.0 |1081M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1457.64/1457.69 c 1426s| 1980k| 1979k| 0 | 0.0 |1086M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1464.94/1464.90 c 1433s| 1990k| 1989k| 0 | 0.0 |1092M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1472.14/1472.12 c 1440s| 2000k| 1999k| 0 | 0.0 |1097M| 139 | - |5091 |6468 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
1479.34/1479.39 c 1447s| 2010k| 2009k| 0 | 0.0 |1102M| 139 | - |5091 |6469 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1486.54/1486.54 c 1454s| 2020k| 2019k| 0 | 0.0 |1108M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1493.75/1493.72 c 1461s| 2030k| 2029k| 0 | 0.0 |1113M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1500.94/1500.92 c 1468s| 2040k| 2039k| 0 | 0.0 |1118M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1508.14/1508.10 c 1476s| 2050k| 2049k| 0 | 0.0 |1124M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1515.24/1515.25 c 1483s| 2060k| 2059k| 0 | 0.0 |1129M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1522.44/1522.47 c 1490s| 2070k| 2069k| 0 | 0.0 |1134M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1529.74/1529.72 c 1497s| 2080k| 2079k| 0 | 0.0 |1140M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1536.94/1536.92 c 1504s| 2090k| 2089k| 0 | 0.0 |1145M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1544.14/1544.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.14/1544.10 c 1511s| 2100k| 2099k| 0 | 0.0 |1150M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1551.24/1551.29 c 1518s| 2110k| 2109k| 0 | 0.0 |1156M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1558.44/1558.44 c 1525s| 2120k| 2119k| 0 | 0.0 |1161M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1565.64/1565.63 c 1532s| 2130k| 2129k| 0 | 0.0 |1166M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1572.74/1572.78 c 1539s| 2140k| 2139k| 0 | 0.0 |1171M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1579.95/1579.95 c 1546s| 2150k| 2149k| 0 | 0.0 |1177M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1587.14/1587.15 c 1553s| 2160k| 2159k| 0 | 0.0 |1182M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1594.34/1594.31 c 1560s| 2170k| 2169k| 0 | 0.0 |1187M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1601.44/1601.49 c 1567s| 2180k| 2179k| 0 | 0.0 |1193M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1608.65/1608.68 c 1574s| 2190k| 2189k| 0 | 0.0 |1198M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1615.85/1615.81 c 1581s| 2200k| 2199k| 0 | 0.0 |1203M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1622.95/1622.98 c 1588s| 2210k| 2209k| 0 | 0.0 |1209M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1630.15/1630.16 c 1595s| 2220k| 2219k| 0 | 0.0 |1214M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1637.34/1637.30 c 1602s| 2230k| 2229k| 0 | 0.0 |1219M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1644.45/1644.42 c 1609s| 2240k| 2239k| 0 | 0.0 |1224M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1651.54/1651.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.54/1651.57 c 1616s| 2250k| 2249k| 0 | 0.0 |1230M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1658.65/1658.69 c 1623s| 2260k| 2259k| 0 | 0.0 |1235M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1665.85/1665.82 c 1630s| 2270k| 2269k| 0 | 0.0 |1240M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1672.95/1672.99 c 1637s| 2280k| 2279k| 0 | 0.0 |1246M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1680.15/1680.16 c 1644s| 2290k| 2289k| 0 | 0.0 |1251M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1687.35/1687.32 c 1651s| 2300k| 2299k| 0 | 0.0 |1256M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1694.45/1694.47 c 1658s| 2310k| 2309k| 0 | 0.0 |1261M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1701.65/1701.61 c 1665s| 2320k| 2319k| 0 | 0.0 |1267M| 139 | - |5091 |6468 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1708.75/1708.77 c 1672s| 2330k| 2329k| 0 | 0.0 |1272M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1715.95/1715.91 c 1679s| 2340k| 2339k| 0 | 0.0 |1277M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1723.05/1723.03 c 1686s| 2350k| 2349k| 0 | 0.0 |1283M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1730.15/1730.16 c 1693s| 2360k| 2359k| 0 | 0.0 |1288M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1737.34/1737.35 c 1700s| 2370k| 2369k| 0 | 0.0 |1293M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1744.56/1744.54 c 1707s| 2380k| 2379k| 0 | 0.0 |1299M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1751.65/1751.69 c 1714s| 2390k| 2389k| 0 | 0.0 |1304M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1758.85/1758.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.85/1758.82 c 1721s| 2400k| 2399k| 0 | 0.0 |1309M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1765.95/1765.95 c 1728s| 2410k| 2409k| 0 | 0.0 |1314M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1773.16/1773.10 c 1735s| 2420k| 2419k| 0 | 0.0 |1320M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1780.35/1780.31 c 1742s| 2430k| 2429k| 0 | 0.0 |1325M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1787.45/1787.45 c 1749s| 2440k| 2439k| 0 | 0.0 |1330M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1794.54/1794.59 c 1756s| 2450k| 2449k| 0 | 0.0 |1336M| 139 | - |5091 |6467 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1761.07
1800.05/1800.00 c Solving Nodes : 2457543
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1761.07
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693626-1277913419.wbo
1800.05/1800.00 c Variables : 5188 (3496 binary, 0 integer, 0 implicit integer, 1692 continuous)
1800.05/1800.00 c Constraints : 6624 initial, 6624 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693626-1277913419.wbo
1800.05/1800.00 c Variables : 5091 (3412 binary, 0 integer, 0 implicit integer, 1679 continuous)
1800.05/1800.00 c Constraints : 6447 initial, 6480 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 26 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 50 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.62 0 4 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 13 0 0
1800.05/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.05 16 1 0 1695 0 164 112 234
1800.05/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 1679 0 6945972 0 2457437 0 1413587 0 0 0
1800.05/1800.00 c varbound : 8 0 6698773 0 2333380 0 155812 0 0 0
1800.05/1800.00 c knapsack : 137 0 6945972 0 2457437 0 0 0 0 0
1800.05/1800.00 c linear : 1671 0 6945972 0 2457437 0 1095026 0 0 0
1800.05/1800.00 c logicor : 2952+ 0 5190255 0 2457437 106 7642837 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 2457437 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 328.62 0.00 115.53 0.00 213.09
1800.05/1800.00 c varbound : 4.21 0.00 2.62 0.00 1.59
1800.05/1800.00 c knapsack : 14.40 0.00 13.14 0.00 1.26
1800.05/1800.00 c linear : 86.43 0.00 85.48 0.00 0.95
1800.05/1800.00 c logicor : 417.76 0.00 17.25 0.00 400.51
1800.05/1800.00 c countsols : 0.56 0.00 0.00 0.00 0.56
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 2.62 231391 0 108
1800.05/1800.00 c rootredcost : 1.39 0 0 0
1800.05/1800.00 c pseudoobj : 258.11 6941829 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 106 84 84 4.1 0 0.0 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 84 4.1 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 565.20 2457437 0 0 0 0 4914874
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.54 0 0
1800.05/1800.00 c trivial : 0.01 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.59 0 0
1800.05/1800.00 c trysol : 0.67 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2457543
1800.05/1800.00 c nodes (total) : 2457543
1800.05/1800.00 c nodes left : 2457323
1800.05/1800.00 c max depth : 139
1800.05/1800.00 c max depth (total): 139
1800.05/1800.00 c backtracks : 37704 (1.5%)
1800.05/1800.00 c delayed cutoffs : 9
1800.05/1800.00 c repropagations : 728 (917 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 2.60
1800.05/1800.00 c switching time : 30.69
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693626-1277913419/watcher-2693626-1277913419 -o /tmp/evaluation-result-2693626-1277913419/solver-2693626-1277913419 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693626-1277913419.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.89 2.00 2.20 3/178 13212 /proc/meminfo: memFree=31774140/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=8168 CPUtime=0 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 1552 0 0 0 0 0 0 0 25 0 1 0 132487530 8364032 1474 4089446400 4194304 7136930 140736807304496 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13212/statm: 2042 1474 275 719 0 1321 0 [startup+0.0761439 s] /proc/loadavg: 1.89 2.00 2.20 3/178 13212 /proc/meminfo: memFree=31774140/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=29576 CPUtime=0.06 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 6986 0 0 0 6 0 0 0 25 0 1 0 132487530 30285824 6554 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 7394 6554 342 719 0 6673 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 29576 [startup+0.101139 s] /proc/loadavg: 1.89 2.00 2.20 3/178 13212 /proc/meminfo: memFree=31774140/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=31072 CPUtime=0.09 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 8148 0 0 0 8 1 0 0 25 0 1 0 132487530 31817728 6945 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 7768 6945 356 719 0 7047 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31072 [startup+0.301101 s] /proc/loadavg: 1.89 2.00 2.20 3/178 13212 /proc/meminfo: memFree=31774140/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=36112 CPUtime=0.29 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 11263 0 0 0 27 2 0 0 25 0 1 0 132487530 36978688 8255 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 9028 8255 388 719 0 8307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36112 [startup+0.701024 s] /proc/loadavg: 1.89 2.00 2.20 3/178 13212 /proc/meminfo: memFree=31774140/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=37072 CPUtime=0.69 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 11489 0 0 0 66 3 0 0 25 0 1 0 132487530 37961728 8481 4089446400 4194304 7136930 140736807304496 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 9268 8481 394 719 0 8547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37072 [startup+1.50087 s] /proc/loadavg: 1.90 2.00 2.20 3/179 13213 /proc/meminfo: memFree=31740404/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=38988 CPUtime=1.49 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 12992 0 0 0 143 6 0 0 25 0 1 0 132487530 39923712 8956 4089446400 4194304 7136930 140736807304496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 9747 8956 410 719 0 9026 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38988 [startup+3.10057 s] /proc/loadavg: 1.90 2.00 2.20 3/179 13213 /proc/meminfo: memFree=31739776/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=40996 CPUtime=3.09 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 13511 0 0 0 299 10 0 0 25 0 1 0 132487530 41979904 9475 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 10249 9475 410 719 0 9528 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40996 [startup+6.30095 s] /proc/loadavg: 1.90 2.00 2.20 3/179 13213 /proc/meminfo: memFree=31736624/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=44156 CPUtime=6.29 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 14299 0 0 0 612 17 0 0 25 0 1 0 132487530 45215744 10263 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 11039 10263 410 719 0 10318 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44156 [startup+12.7007 s] /proc/loadavg: 1.91 2.00 2.19 3/179 13213 /proc/meminfo: memFree=31728184/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=50264 CPUtime=12.69 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 15860 0 0 0 1238 31 0 0 25 0 1 0 132487530 51470336 11824 4089446400 4194304 7136930 140736807304496 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 12566 11824 410 719 0 11845 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50264 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.20 3/179 13213 /proc/meminfo: memFree=31706280/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=60920 CPUtime=25.49 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 18596 0 0 0 2492 57 0 0 25 0 1 0 132487530 62382080 14560 4089446400 4194304 7136930 140736807304496 18446744073709551615 4834679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 15230 14560 410 719 0 14509 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60920 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.19 3/179 13214 /proc/meminfo: memFree=31667320/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=84944 CPUtime=51.1 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 24732 0 0 0 4999 111 0 0 25 0 1 0 132487530 86982656 20696 4089446400 4194304 7136930 140736807304496 18446744073709551615 4643166 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 21236 20696 410 719 0 20515 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 84944 [startup+102.307 s] /proc/loadavg: 2.00 2.01 2.18 3/179 13215 /proc/meminfo: memFree=31597340/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=122824 CPUtime=102.3 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 33958 0 0 0 10009 221 0 0 25 0 1 0 132487530 125771776 29922 4089446400 4194304 7136930 140736807304496 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 30706 29922 410 719 0 29985 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 122824 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.16 3/179 13217 /proc/meminfo: memFree=31507256/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=173988 CPUtime=162.3 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 46032 0 0 0 15884 346 0 0 25 0 1 0 132487530 178163712 41996 4089446400 4194304 7136930 140736807304496 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 43497 41996 410 719 0 42776 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 173988 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.15 3/179 13219 /proc/meminfo: memFree=31419284/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=214556 CPUtime=222.3 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 56461 0 0 0 21752 478 0 0 25 0 1 0 132487530 219705344 52425 4089446400 4194304 7136930 140736807304496 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13212/statm: 53639 52425 410 719 0 52918 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 214556 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.14 3/179 13229 /proc/meminfo: memFree=31325884/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=260220 CPUtime=282.3 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 68202 0 0 0 27627 603 0 0 25 0 1 0 132487530 266465280 64166 4089446400 4194304 7136930 140736807304496 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13212/statm: 65055 64166 410 719 0 64334 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 260220 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.13 3/179 13231 /proc/meminfo: memFree=31231708/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=306152 CPUtime=342.3 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 79994 0 0 0 33490 740 0 0 25 0 1 0 132487530 313499648 75958 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13212/statm: 76538 75958 410 719 0 75817 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 306152 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.12 3/179 13232 /proc/meminfo: memFree=31137276/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=355452 CPUtime=402.3 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 90582 0 0 0 39353 877 0 0 25 0 1 0 132487530 363982848 86546 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13212/statm: 88863 86546 410 719 0 88142 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 355452 [startup+462.301 s] /proc/loadavg: 2.04 2.01 2.11 3/179 13234 /proc/meminfo: memFree=31045220/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=399276 CPUtime=462.31 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 101850 0 0 0 45221 1010 0 0 25 0 1 0 132487530 408858624 97814 4089446400 4194304 7136930 140736807304496 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 99819 97814 410 719 0 99098 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 399276 [startup+522.3 s] /proc/loadavg: 2.01 2.01 2.10 3/179 13236 /proc/meminfo: memFree=30955760/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=442572 CPUtime=522.31 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 112988 0 0 0 51092 1139 0 0 25 0 1 0 132487530 453193728 108952 4089446400 4194304 7136930 140736807304496 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 110643 108952 410 719 0 109922 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 442572 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.09 3/179 13237 /proc/meminfo: memFree=30858992/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=487436 CPUtime=582.31 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 124499 0 0 0 56959 1272 0 0 25 0 1 0 132487530 499134464 120463 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 121859 120463 410 719 0 121138 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 487436 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 13239 /proc/meminfo: memFree=30767664/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=532620 CPUtime=642.32 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 136121 0 0 0 62832 1400 0 0 25 0 1 0 132487530 545402880 132085 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 133155 132085 410 719 0 132434 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 532620 [startup+702.301 s] ################ # More data... # ################ /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 201087 0 0 0 98061 2171 0 0 25 0 1 0 132487530 820187136 197051 4089446400 4194304 7136930 140736807304496 18446744073709551615 4414743 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 200241 197051 410 719 0 199520 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 800964 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13250 /proc/meminfo: memFree=30141376/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=848136 CPUtime=1062.33 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 213212 0 0 0 103935 2298 0 0 25 0 1 0 132487530 868491264 209176 4089446400 4194304 7136930 140736807304496 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 212034 209176 410 719 0 211313 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 848136 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 13252 /proc/meminfo: memFree=30049932/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=895248 CPUtime=1122.33 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 225314 0 0 0 109808 2425 0 0 25 0 1 0 132487530 916733952 221278 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 223812 221278 410 719 0 223091 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 895248 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 13253 /proc/meminfo: memFree=29958004/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=936956 CPUtime=1182.33 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 236061 0 0 0 115678 2555 0 0 25 0 1 0 132487530 959442944 232025 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 234239 232025 410 719 0 233518 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 936956 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13255 /proc/meminfo: memFree=29869040/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=980556 CPUtime=1242.34 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 247281 0 0 0 121549 2685 0 0 25 0 1 0 132487530 1004089344 243245 4089446400 4194304 7136930 140736807304496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 245139 243245 410 719 0 244418 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 980556 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 13256 /proc/meminfo: memFree=29777604/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1023416 CPUtime=1302.34 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 258318 0 0 0 127424 2810 0 0 25 0 1 0 132487530 1047977984 254282 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 255854 254282 410 719 0 255133 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1023416 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 13258 /proc/meminfo: memFree=29685908/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1070392 CPUtime=1362.33 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 270384 0 0 0 133291 2942 0 0 25 0 1 0 132487530 1096081408 266348 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 267598 266348 410 719 0 266877 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1070392 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.01 3/179 13260 /proc/meminfo: memFree=29593976/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1115856 CPUtime=1422.34 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 282046 0 0 0 139158 3076 0 0 25 0 1 0 132487530 1142636544 278010 4089446400 4194304 7136930 140736807304496 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 278964 278010 410 719 0 278243 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1115856 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13261 /proc/meminfo: memFree=29507748/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1158216 CPUtime=1482.34 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 292962 0 0 0 145032 3202 0 0 25 0 1 0 132487530 1186013184 288926 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 289554 288926 410 719 0 288833 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1158216 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13263 /proc/meminfo: memFree=29420260/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1233844 CPUtime=1542.34 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 304003 0 0 0 150905 3329 0 0 25 0 1 0 132487530 1263456256 299967 4089446400 4194304 7136930 140736807304496 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 308461 299967 410 719 0 307740 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1233844 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 13264 /proc/meminfo: memFree=29327952/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1279532 CPUtime=1602.35 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 315750 0 0 0 156772 3463 0 0 25 0 1 0 132487530 1310240768 311714 4089446400 4194304 7136930 140736807304496 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 319883 311714 410 719 0 319162 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1279532 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13266 /proc/meminfo: memFree=29236896/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1323688 CPUtime=1662.35 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 327116 0 0 0 162638 3597 0 0 25 0 1 0 132487530 1355456512 323080 4089446400 4194304 7136930 140736807304496 18446744073709551615 4827073 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 330922 323080 410 719 0 330201 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1323688 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13268 /proc/meminfo: memFree=29157984/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1366176 CPUtime=1722.34 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 338065 0 0 0 168510 3724 0 0 25 0 1 0 132487530 1398964224 334029 4089446400 4194304 7136930 140736807304496 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 341544 334029 410 719 0 340823 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1366176 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13361 /proc/meminfo: memFree=30300248/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1406608 CPUtime=1782.35 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 348501 0 0 0 174379 3856 0 0 25 0 1 0 132487530 1440366592 344465 4089446400 4194304 7136930 140736807304496 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 351652 344465 410 719 0 350931 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1406608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13390 /proc/meminfo: memFree=30346068/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1419692 CPUtime=1800.05 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 351886 0 0 0 176111 3894 0 0 25 0 1 0 132487530 1453764608 347850 4089446400 4194304 7136930 140736807304496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13212/statm: 354923 347850 410 719 0 354202 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1419692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13212 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13391 /proc/meminfo: memFree=30346308/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1419692 CPUtime=1801.45 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 351892 0 0 0 176251 3894 0 0 25 0 1 0 132487530 1453764608 347856 4089446400 4194304 7136930 140736807304496 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13212/statm: 354923 347856 416 719 0 354202 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1419692 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13391 /proc/meminfo: memFree=30347424/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1419176 CPUtime=1801.85 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 351892 0 0 0 176291 3894 0 0 25 0 1 0 132487530 1453236224 347727 4089446400 4194304 7136930 140736807304496 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13212/statm: 354794 347727 416 719 0 354073 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1419176 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 13391 /proc/meminfo: memFree=30347424/32950928 swapFree=67111528/67111528 [pid=13212] ppid=13210 vsize=1418528 CPUtime=1802.05 /proc/13212/stat : 13212 (pbscip.linux.x8) R 13210 13212 12623 0 -1 4202496 351892 0 0 0 176311 3894 0 0 25 0 1 0 132487530 1452572672 347565 4089446400 4194304 7136930 140736807304496 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13212/statm: 354632 347565 416 719 0 353911 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1418528 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.11 CPU user time (s): 1763.12 CPU system time (s): 38.9891 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1419692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.12 system time used= 38.9891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 351892 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= 3 involuntary context switches= 1478 runsolver used 3.57546 second user time and 6.09907 second system time The end
Begin job on node127 at 2010-06-30 17:56:59 IDJOB=2693626 IDBENCH=79015 IDSOLVER=1206 FILE ID=node127/2693626-1277913419 PBS_JOBID= 11197272 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--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-2693626-1277913419/watcher-2693626-1277913419 -o /tmp/evaluation-result-2693626-1277913419/solver-2693626-1277913419 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693626-1277913419.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 229cdc62bd8923cf935a8d792017a43b RANDOM SEED=279890021 node127.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.828 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.828 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.828 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.828 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.72 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 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.82 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.828 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: 32950928 kB MemFree: 31774668 kB Buffers: 200804 kB Cached: 716972 kB SwapCached: 0 kB Active: 535568 kB Inactive: 500072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31774668 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9164 kB Writeback: 0 kB AnonPages: 118160 kB Mapped: 17104 kB Slab: 77620 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 264992 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= 74200 MiB End job on node127 at 2010-06-30 18:27:01