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.2 | 1800.16 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo |
| MD5SUM | 5061ef924a5cd54acce02b550ce78c9d |
| 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 | 80 |
| Best CPU time to get the best result obtained on this benchmark | 0.135979 |
| 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 | 28 |
| 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 | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1294 |
| 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-2693903-1277896849.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 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, 32 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.22 o 178
1.19/1.22 c * 1.0s| 9430 | 5546 | 0 | 0.0 |6207k| 116 | - | 223 |4603 | 0 | 0 | 0 |7245 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
1.19/1.23 o 164
1.19/1.23 c * 1.0s| 9568 | 5678 | 0 | 0.0 |6305k| 116 | - | 223 |4577 | 0 | 0 | 0 |7249 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.19/1.27 c 1.0s| 10000 | 6078 | 0 | 0.0 |6468k| 116 | - | 223 |4423 | 0 | 0 | 0 |7299 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.29/1.30 o 81
1.29/1.30 c * 1.0s| 10328 | 6280 | 0 | 0.0 |6421k| 116 | - | 223 |3865 | 0 | 0 | 0 |7355 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
3.39/3.42 c 2.9s| 20000 | 10277 | 0 | 0.0 | 10M| 116 | - | 223 |6302 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.99/7.06 c 6.2s| 30000 | 11424 | 0 | 0.0 | 15M| 116 | - | 223 | 12k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.99/9.07 c 7.8s| 40000 | 15209 | 0 | 0.0 | 16M| 116 | - | 223 |3125 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.59/12.69 c 11.1s| 50000 | 14630 | 0 | 0.0 | 19M| 116 | - | 223 |7757 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
17.19/17.28 c 15.4s| 60000 | 13541 | 0 | 0.0 | 20M| 116 | - | 223 | 11k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.39/19.43 c 17.2s| 70000 | 18905 | 0 | 0.0 | 21M| 116 | - | 223 |3306 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.00/22.10 c 19.5s| 80000 | 21652 | 0 | 0.0 | 25M| 116 | - | 223 |7071 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.20/28.22 c 25.3s| 90000 | 16927 | 0 | 0.0 | 22M| 116 | - | 223 | 15k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.59/32.68 c 29.5s|100000 | 19455 | 0 | 0.0 | 22M| 116 | - | 223 |8462 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
36.89/36.93 c 33.4s|110000 | 20884 | 0 | 0.0 | 24M| 116 | - | 223 | 10k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
42.00/42.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.00/42.03 c 38.0s|120000 | 21335 | 0 | 0.0 | 26M| 116 | - | 223 | 13k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.99/49.00 c 44.6s|130000 | 19629 | 0 | 0.0 | 26M| 116 | - | 223 | 16k| 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
56.90/56.98 c 52.3s|140000 | 17984 | 0 | 0.0 | 27M| 116 | - | 223 | 16k| 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
67.10/67.16 c 62.0s|150000 | 13747 | 0 | 0.0 | 27M| 116 | - | 223 | 19k| 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
81.30/81.31 c 75.7s|160000 | 5451 | 0 | 0.0 | 19M| 116 | - | 223 | 23k| 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
84.70/84.70 c 78.8s|170000 | 11674 | 0 | 0.0 | 16M| 116 | - | 223 |7663 | 0 | 0 | 0 | 189k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
86.59/86.65 c 80.5s|180000 | 18123 | 0 | 0.0 | 20M| 116 | - | 223 |8974 | 0 | 0 | 0 | 194k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
90.59/90.66 c 84.2s|190000 | 19898 | 0 | 0.0 | 19M| 116 | - | 223 |6950 | 0 | 0 | 0 | 204k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
92.49/92.58 c 85.8s|200000 | 26515 | 0 | 0.0 | 23M| 116 | - | 223 |6484 | 0 | 0 | 0 | 208k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
94.70/94.77 c 87.7s|210000 | 32424 | 0 | 0.0 | 28M| 116 | - | 223 |7324 | 0 | 0 | 0 | 213k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
97.69/97.70 c 90.4s|220000 | 37003 | 0 | 0.0 | 32M| 116 | - | 223 |9368 | 0 | 0 | 0 | 221k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
101.49/101.54 c 93.9s|230000 | 40557 | 0 | 0.0 | 37M| 116 | - | 223 | 11k| 0 | 0 | 0 | 230k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
106.19/106.23 c 98.2s|240000 | 43127 | 0 | 0.0 | 41M| 116 | - | 223 | 13k| 0 | 0 | 0 | 242k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
112.00/112.10 c 104s|250000 | 43623 | 0 | 0.0 | 44M| 116 | - | 223 | 15k| 0 | 0 | 0 | 255k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
116.89/116.93 c 108s|260000 | 46634 | 0 | 0.0 | 45M| 116 | - | 223 | 11k| 0 | 0 | 0 | 263k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
120.50/120.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.50/120.52 c 112s|270000 | 51245 | 0 | 0.0 | 49M| 116 | - | 223 | 11k| 0 | 0 | 0 | 271k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
124.79/124.85 c 116s|280000 | 54829 | 0 | 0.0 | 53M| 116 | - | 223 | 12k| 0 | 0 | 0 | 279k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
129.60/129.60 c 120s|290000 | 57969 | 0 | 0.0 | 56M| 116 | - | 223 | 13k| 0 | 0 | 0 | 288k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
135.09/135.19 c 125s|300000 | 60194 | 0 | 0.0 | 60M| 116 | - | 223 | 15k| 0 | 0 | 0 | 298k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
141.09/141.18 c 131s|310000 | 62245 | 0 | 0.0 | 63M| 116 | - | 223 | 16k| 0 | 0 | 0 | 308k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
148.29/148.30 c 138s|320000 | 63228 | 0 | 0.0 | 67M| 116 | - | 223 | 17k| 0 | 0 | 0 | 321k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
156.49/156.58 c 146s|330000 | 63186 | 0 | 0.0 | 69M| 116 | - | 223 | 19k| 0 | 0 | 0 | 334k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
166.40/166.42 c 155s|340000 | 62139 | 0 | 0.0 | 71M| 116 | - | 223 | 21k| 0 | 0 | 0 | 349k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
177.59/177.69 c 166s|350000 | 60241 | 0 | 0.0 | 73M| 116 | - | 223 | 24k| 0 | 0 | 0 | 364k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
190.30/190.35 c 178s|360000 | 57630 | 0 | 0.0 | 72M| 116 | - | 223 | 27k| 0 | 0 | 0 | 380k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
203.60/203.69 c 191s|370000 | 55688 | 0 | 0.0 | 70M| 116 | - | 223 | 24k| 0 | 0 | 0 | 394k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
214.40/214.45 c 202s|380000 | 56165 | 0 | 0.0 | 72M| 116 | - | 223 | 18k| 0 | 0 | 0 | 406k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
224.50/224.52 c 211s|390000 | 55837 | 0 | 0.0 | 74M| 116 | - | 223 | 17k| 0 | 0 | 0 | 419k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
235.60/235.63 c 222s|400000 | 54685 | 0 | 0.0 | 76M| 116 | - | 223 | 19k| 0 | 0 | 0 | 432k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
248.80/248.82 c 235s|410000 | 52471 | 0 | 0.0 | 78M| 116 | - | 223 | 22k| 0 | 0 | 0 | 446k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
265.60/265.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.60/265.63 c 252s|420000 | 47979 | 0 | 0.0 | 77M| 116 | - | 223 | 25k| 0 | 0 | 0 | 463k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
285.90/285.92 c 271s|430000 | 41621 | 0 | 0.0 | 73M| 116 | - | 223 | 28k| 0 | 0 | 0 | 481k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
309.11/309.15 c 294s|440000 | 32921 | 0 | 0.0 | 65M| 116 | - | 223 | 33k| 0 | 0 | 0 | 501k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
334.50/334.59 c 319s|450000 | 25564 | 0 | 0.0 | 55M| 116 | - | 223 | 25k| 0 | 0 | 0 | 520k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
361.80/361.81 c 346s|460000 | 13147 | 0 | 0.0 | 39M| 116 | - | 223 | 30k| 0 | 0 | 0 | 541k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
382.80/382.87 c 366s|470000 | 6159 | 0 | 0.0 | 22M| 116 | - | 223 | 20k| 0 | 0 | 0 | 558k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
385.70/385.70 c 369s|480000 | 12243 | 0 | 0.0 | 21M| 116 | - | 223 |9103 | 0 | 0 | 0 | 563k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
387.50/387.58 c 371s|490000 | 19259 | 0 | 0.0 | 24M| 116 | - | 223 |7021 | 0 | 0 | 0 | 566k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
389.90/389.94 c 373s|500000 | 24838 | 0 | 0.0 | 29M| 116 | - | 223 |8736 | 0 | 0 | 0 | 572k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
393.60/393.68 c 376s|510000 | 27726 | 0 | 0.0 | 34M| 116 | - | 223 | 11k| 0 | 0 | 0 | 580k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
397.11/397.19 c 379s|520000 | 32193 | 0 | 0.0 | 37M| 116 | - | 223 | 10k| 0 | 0 | 0 | 586k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
400.20/400.25 c 382s|530000 | 37345 | 0 | 0.0 | 41M| 116 | - | 223 | 10k| 0 | 0 | 0 | 591k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
404.10/404.11 c 386s|540000 | 41077 | 0 | 0.0 | 45M| 116 | - | 223 | 12k| 0 | 0 | 0 | 598k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
409.11/409.17 c 390s|550000 | 43201 | 0 | 0.0 | 50M| 116 | - | 223 | 14k| 0 | 0 | 0 | 607k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
415.40/415.48 c 396s|560000 | 43854 | 0 | 0.0 | 53M| 116 | - | 223 | 16k| 0 | 0 | 0 | 617k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
423.90/423.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.90/423.95 c 404s|570000 | 41934 | 0 | 0.0 | 55M| 116 | - | 223 | 18k| 0 | 0 | 0 | 630k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
430.80/430.83 c 411s|580000 | 43950 | 0 | 0.0 | 56M| 116 | - | 223 | 16k| 0 | 0 | 0 | 637k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
437.30/437.31 c 417s|590000 | 45976 | 0 | 0.0 | 60M| 116 | - | 223 | 16k| 0 | 0 | 0 | 644k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
445.10/445.15 c 425s|600000 | 46093 | 0 | 0.0 | 63M| 116 | - | 223 | 18k| 0 | 0 | 0 | 654k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
456.10/456.13 c 435s|610000 | 43459 | 0 | 0.0 | 64M| 116 | - | 223 | 21k| 0 | 0 | 0 | 666k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
470.61/470.62 c 449s|620000 | 37509 | 0 | 0.0 | 61M| 116 | - | 223 | 24k| 0 | 0 | 0 | 680k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
481.41/481.47 c 460s|630000 | 36214 | 0 | 0.0 | 60M| 116 | - | 223 | 19k| 0 | 0 | 0 | 689k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
496.01/496.00 c 474s|640000 | 30153 | 0 | 0.0 | 51M| 116 | - | 223 | 18k| 0 | 0 | 0 | 701k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
501.90/501.95 c 480s|650000 | 31211 | 0 | 0.0 | 48M| 116 | - | 223 | 13k| 0 | 0 | 0 | 710k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
504.70/504.77 c 482s|660000 | 37542 | 0 | 0.0 | 50M| 116 | - | 223 |8724 | 0 | 0 | 0 | 714k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
508.50/508.53 c 486s|670000 | 41224 | 0 | 0.0 | 54M| 116 | - | 223 | 11k| 0 | 0 | 0 | 722k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
513.60/513.70 c 490s|680000 | 42527 | 0 | 0.0 | 56M| 116 | - | 223 |8289 | 0 | 0 | 0 | 732k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
516.80/516.80 c 493s|690000 | 47082 | 0 | 0.0 | 59M| 116 | - | 223 |9451 | 0 | 0 | 0 | 739k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
521.41/521.43 c 497s|700000 | 49632 | 0 | 0.0 | 63M| 116 | - | 223 | 11k| 0 | 0 | 0 | 747k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
527.20/527.29 c 503s|710000 | 50985 | 0 | 0.0 | 67M| 116 | - | 223 | 14k| 0 | 0 | 0 | 758k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
534.60/534.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.60/534.65 c 510s|720000 | 51245 | 0 | 0.0 | 71M| 116 | - | 223 | 18k| 0 | 0 | 0 | 769k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
544.71/544.77 c 520s|730000 | 49536 | 0 | 0.0 | 69M| 116 | - | 223 | 12k| 0 | 0 | 0 | 781k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
550.81/550.84 c 525s|740000 | 49673 | 0 | 0.0 | 70M| 116 | - | 223 | 12k| 0 | 0 | 0 | 793k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
561.31/561.35 c 536s|750000 | 46143 | 0 | 0.0 | 71M| 116 | - | 223 | 19k| 0 | 0 | 0 | 808k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
574.30/574.35 c 548s|760000 | 41352 | 0 | 0.0 | 68M| 116 | - | 223 | 25k| 0 | 0 | 0 | 822k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
582.41/582.42 c 556s|770000 | 42144 | 0 | 0.0 | 65M| 116 | - | 223 | 11k| 0 | 0 | 0 | 832k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
590.41/590.44 c 564s|780000 | 40144 | 0 | 0.0 | 59M| 116 | - | 223 | 12k| 0 | 0 | 0 | 844k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
595.01/595.06 c 568s|790000 | 43809 | 0 | 0.0 | 62M| 116 | - | 223 | 13k| 0 | 0 | 0 | 854k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
601.41/601.41 c 574s|800000 | 45394 | 0 | 0.0 | 65M| 116 | - | 223 | 16k| 0 | 0 | 0 | 866k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
609.00/609.04 c 581s|810000 | 46865 | 0 | 0.0 | 69M| 116 | - | 223 | 19k| 0 | 0 | 0 | 878k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
620.61/620.60 c 592s|820000 | 45132 | 0 | 0.0 | 71M| 116 | - | 223 | 23k| 0 | 0 | 0 | 894k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
635.91/635.93 c 607s|830000 | 40867 | 0 | 0.0 | 67M| 116 | - | 223 | 16k| 0 | 0 | 0 | 910k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
645.91/645.98 c 617s|840000 | 37780 | 0 | 0.0 | 66M| 116 | - | 223 | 19k| 0 | 0 | 0 | 925k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
662.70/662.72 c 633s|850000 | 32114 | 0 | 0.0 | 63M| 116 | - | 223 | 27k| 0 | 0 | 0 | 944k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
679.30/679.34 c 649s|860000 | 26666 | 0 | 0.0 | 50M| 116 | - | 223 | 18k| 0 | 0 | 0 | 960k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
682.91/682.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.91/682.91 c 653s|870000 | 32372 | 0 | 0.0 | 50M| 116 | - | 223 | 11k| 0 | 0 | 0 | 966k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
685.41/685.43 c 655s|880000 | 38816 | 0 | 0.0 | 54M| 116 | - | 223 | 12k| 0 | 0 | 0 | 971k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
690.11/690.13 c 659s|890000 | 42166 | 0 | 0.0 | 58M| 116 | - | 223 | 15k| 0 | 0 | 0 | 980k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
696.11/696.15 c 665s|900000 | 44464 | 0 | 0.0 | 60M| 116 | - | 223 | 15k| 0 | 0 | 0 | 990k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
701.61/701.60 c 670s|910000 | 47915 | 0 | 0.0 | 64M| 116 | - | 223 | 17k| 0 | 0 | 0 | 998k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
709.30/709.39 c 678s|920000 | 49183 | 0 | 0.0 | 68M| 116 | - | 223 | 21k| 0 | 0 | 0 |1009k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
720.31/720.40 c 688s|930000 | 48411 | 0 | 0.0 | 72M| 116 | - | 223 | 26k| 0 | 0 | 0 |1023k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
733.81/733.82 c 701s|940000 | 46614 | 0 | 0.0 | 72M| 116 | - | 223 | 26k| 0 | 0 | 0 |1036k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
745.00/745.02 c 712s|950000 | 47377 | 0 | 0.0 | 74M| 116 | - | 223 | 23k| 0 | 0 | 0 |1047k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
758.80/758.82 c 726s|960000 | 45177 | 0 | 0.0 | 76M| 116 | - | 223 | 26k| 0 | 0 | 0 |1062k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
777.91/777.96 c 744s|970000 | 39546 | 0 | 0.0 | 73M| 116 | - | 223 | 33k| 0 | 0 | 0 |1079k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
801.11/801.19 c 767s|980000 | 32585 | 0 | 0.0 | 65M| 116 | - | 223 | 31k| 0 | 0 | 0 |1096k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
818.01/818.06 c 784s|990000 | 29756 | 0 | 0.0 | 54M| 128 | - | 223 | 19k| 0 | 0 | 0 |1108k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
824.31/824.34 c 789s| 1000k| 33407 | 0 | 0.0 | 55M| 128 | - | 223 | 13k| 0 | 0 | 0 |1116k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
829.91/829.91 c 795s| 1010k| 35822 | 0 | 0.0 | 56M| 128 | - | 223 | 11k| 0 | 0 | 0 |1126k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
832.81/832.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.81/832.85 c 797s| 1020k| 41673 | 0 | 0.0 | 60M| 128 | - | 223 | 13k| 0 | 0 | 0 |1131k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
837.51/837.56 c 802s| 1030k| 44920 | 0 | 0.0 | 64M| 128 | - | 223 | 16k| 0 | 0 | 0 |1141k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
843.71/843.74 c 808s| 1040k| 46604 | 0 | 0.0 | 65M| 128 | - | 223 | 13k| 0 | 0 | 0 |1151k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
848.51/848.59 c 812s| 1050k| 50209 | 0 | 0.0 | 69M| 128 | - | 223 | 15k| 0 | 0 | 0 |1160k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
855.21/855.21 c 819s| 1060k| 52046 | 0 | 0.0 | 73M| 128 | - | 223 | 18k| 0 | 0 | 0 |1172k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
864.31/864.34 c 827s| 1070k| 52030 | 0 | 0.0 | 77M| 128 | - | 223 | 22k| 0 | 0 | 0 |1186k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
876.01/876.09 c 839s| 1080k| 50086 | 0 | 0.0 | 79M| 128 | - | 223 | 26k| 0 | 0 | 0 |1201k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
883.22/883.29 c 846s| 1090k| 53299 | 0 | 0.0 | 76M| 128 | - | 223 | 10k| 0 | 0 | 0 |1209k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
889.71/889.72 c 852s| 1100k| 53538 | 0 | 0.0 | 80M| 128 | - | 223 | 15k| 0 | 0 | 0 |1221k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
900.01/900.09 c 862s| 1110k| 51786 | 0 | 0.0 | 82M| 128 | - | 223 | 20k| 0 | 0 | 0 |1236k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
914.92/914.94 c 876s| 1120k| 47901 | 0 | 0.0 | 82M| 128 | - | 223 | 27k| 0 | 0 | 0 |1253k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
932.72/932.73 c 894s| 1130k| 44316 | 0 | 0.0 | 75M| 128 | - | 223 | 23k| 0 | 0 | 0 |1267k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
936.72/936.76 c 897s| 1140k| 50452 | 0 | 0.0 | 75M| 128 | - | 223 | 11k| 0 | 0 | 0 |1272k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
940.71/940.70 c 901s| 1150k| 55035 | 0 | 0.0 | 79M| 128 | - | 223 | 12k| 0 | 0 | 0 |1280k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
948.42/948.48 c 908s| 1160k| 53718 | 0 | 0.0 | 80M| 128 | - | 223 | 16k| 0 | 0 | 0 |1293k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
960.22/960.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.22/960.30 c 920s| 1170k| 50245 | 0 | 0.0 | 72M| 128 | - | 223 | 17k| 0 | 0 | 0 |1307k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
965.61/965.68 c 925s| 1180k| 54049 | 0 | 0.0 | 73M| 128 | - | 223 | 14k| 0 | 0 | 0 |1315k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
971.22/971.27 c 930s| 1190k| 57510 | 0 | 0.0 | 76M| 128 | - | 223 | 16k| 0 | 0 | 0 |1324k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
978.22/978.29 c 937s| 1200k| 59749 | 0 | 0.0 | 79M| 128 | - | 223 | 18k| 0 | 0 | 0 |1335k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
986.62/986.63 c 945s| 1210k| 60614 | 0 | 0.0 | 82M| 128 | - | 223 | 21k| 0 | 0 | 0 |1348k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
997.12/997.12 c 955s| 1220k| 59674 | 0 | 0.0 | 84M| 128 | - | 223 | 23k| 0 | 0 | 0 |1361k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1008.41/1008.41 c 966s| 1230k| 59083 | 0 | 0.0 | 84M| 128 | - | 223 | 23k| 0 | 0 | 0 |1374k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1019.82/1019.83 c 977s| 1240k| 59275 | 0 | 0.0 | 87M| 128 | - | 223 | 23k| 0 | 0 | 0 |1386k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1034.31/1034.33 c 991s| 1250k| 57505 | 0 | 0.0 | 89M| 128 | - | 223 | 28k| 0 | 0 | 0 |1400k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1051.42/1051.42 c 1008s| 1260k| 54930 | 0 | 0.0 | 91M| 128 | - | 223 | 32k| 0 | 0 | 0 |1415k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1073.02/1073.00 c 1029s| 1270k| 50466 | 0 | 0.0 | 91M| 128 | - | 223 | 37k| 0 | 0 | 0 |1432k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1095.62/1095.63 c 1051s| 1280k| 46338 | 0 | 0.0 | 81M| 128 | - | 223 | 22k| 0 | 0 | 0 |1448k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1104.43/1104.45 c 1060s| 1290k| 45651 | 0 | 0.0 | 79M| 128 | - | 223 | 15k| 0 | 0 | 0 |1460k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1124.02/1124.07 c 1079s| 1300k| 34892 | 0 | 0.0 | 67M| 128 | - | 223 | 26k| 0 | 0 | 0 |1480k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1128.72/1128.70 c 1083s| 1310k| 39445 | 0 | 0.0 | 64M| 128 | - | 223 |9387 | 0 | 0 | 0 |1487k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1133.92/1133.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.92/1133.91 c 1088s| 1320k| 40511 | 0 | 0.0 | 64M| 128 | - | 223 |9598 | 0 | 0 | 0 |1497k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1139.62/1139.69 c 1094s| 1330k| 40753 | 0 | 0.0 | 64M| 128 | - | 223 |9805 | 0 | 0 | 0 |1506k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1146.92/1146.91 c 1101s| 1340k| 39308 | 0 | 0.0 | 63M| 128 | - | 223 | 12k| 0 | 0 | 0 |1517k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1151.52/1151.51 c 1105s| 1350k| 42676 | 0 | 0.0 | 62M| 128 | - | 223 |6359 | 0 | 0 | 0 |1525k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1154.22/1154.24 c 1107s| 1360k| 47497 | 0 | 0.0 | 66M| 128 | - | 223 |8097 | 0 | 0 | 0 |1531k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1159.12/1159.12 c 1112s| 1370k| 48697 | 0 | 0.0 | 70M| 128 | - | 223 | 11k| 0 | 0 | 0 |1541k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1166.12/1166.10 c 1119s| 1380k| 46926 | 0 | 0.0 | 70M| 128 | - | 223 | 13k| 0 | 0 | 0 |1554k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1174.22/1174.25 c 1126s| 1390k| 44651 | 0 | 0.0 | 69M| 128 | - | 223 | 11k| 0 | 0 | 0 |1566k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1180.82/1180.86 c 1133s| 1400k| 44618 | 0 | 0.0 | 67M| 128 | - | 223 |9501 | 0 | 0 | 0 |1577k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1184.82/1184.86 c 1136s| 1410k| 48314 | 0 | 0.0 | 71M| 128 | - | 223 | 10k| 0 | 0 | 0 |1585k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1190.22/1190.25 c 1142s| 1420k| 50093 | 0 | 0.0 | 75M| 128 | - | 223 | 12k| 0 | 0 | 0 |1595k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1197.12/1197.12 c 1148s| 1430k| 50279 | 0 | 0.0 | 78M| 128 | - | 223 | 14k| 0 | 0 | 0 |1607k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1205.82/1205.84 c 1157s| 1440k| 48404 | 0 | 0.0 | 79M| 128 | - | 223 | 17k| 0 | 0 | 0 |1620k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1218.02/1218.04 c 1168s| 1450k| 43095 | 0 | 0.0 | 73M| 128 | - | 223 | 16k| 0 | 0 | 0 |1634k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1225.52/1225.50 c 1175s| 1460k| 43658 | 0 | 0.0 | 74M| 128 | - | 223 | 14k| 0 | 0 | 0 |1646k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1235.33/1235.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.33/1235.35 c 1185s| 1470k| 42212 | 0 | 0.0 | 76M| 128 | - | 223 | 18k| 0 | 0 | 0 |1660k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1249.73/1249.79 c 1199s| 1480k| 37732 | 0 | 0.0 | 74M| 128 | - | 223 | 21k| 0 | 0 | 0 |1676k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1266.03/1266.06 c 1215s| 1490k| 31229 | 0 | 0.0 | 64M| 128 | - | 223 | 16k| 0 | 0 | 0 |1691k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1279.12/1279.14 c 1227s| 1500k| 24189 | 0 | 0.0 | 53M| 128 | - | 223 | 18k| 0 | 0 | 0 |1709k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1282.03/1282.05 c 1230s| 1510k| 30852 | 0 | 0.0 | 54M| 128 | - | 223 |7328 | 0 | 0 | 0 |1714k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1285.22/1285.23 c 1233s| 1520k| 34621 | 0 | 0.0 | 53M| 128 | - | 223 |6253 | 0 | 0 | 0 |1722k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1287.22/1287.26 c 1235s| 1530k| 41126 | 0 | 0.0 | 57M| 128 | - | 223 |6392 | 0 | 0 | 0 |1728k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1290.12/1290.14 c 1237s| 1540k| 45865 | 0 | 0.0 | 62M| 128 | - | 223 |8139 | 0 | 0 | 0 |1737k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1294.22/1294.22 c 1241s| 1550k| 48958 | 0 | 0.0 | 66M| 128 | - | 223 |8905 | 0 | 0 | 0 |1747k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1298.12/1298.16 c 1245s| 1560k| 52452 | 0 | 0.0 | 69M| 128 | - | 223 |9887 | 0 | 0 | 0 |1755k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1301.92/1301.92 c 1248s| 1570k| 55960 | 0 | 0.0 | 71M| 128 | - | 223 |7141 | 0 | 0 | 0 |1763k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1305.63/1305.63 c 1252s| 1580k| 58678 | 0 | 0.0 | 73M| 128 | - | 223 |7383 | 0 | 0 | 0 |1772k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1308.33/1308.35 c 1254s| 1590k| 63915 | 0 | 0.0 | 77M| 128 | - | 223 |7616 | 0 | 0 | 0 |1778k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1312.12/1312.14 c 1258s| 1600k| 67338 | 0 | 0.0 | 81M| 128 | - | 223 |9258 | 0 | 0 | 0 |1786k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1316.83/1316.86 c 1262s| 1610k| 69585 | 0 | 0.0 | 85M| 128 | - | 223 | 10k| 0 | 0 | 0 |1796k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1322.82/1322.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.82/1322.88 c 1268s| 1620k| 69876 | 0 | 0.0 | 88M| 128 | - | 223 | 12k| 0 | 0 | 0 |1808k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1330.73/1330.75 c 1275s| 1630k| 68798 | 0 | 0.0 | 90M| 128 | - | 223 | 14k| 0 | 0 | 0 |1823k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1339.13/1339.11 c 1283s| 1640k| 68606 | 0 | 0.0 | 92M| 128 | - | 223 | 16k| 0 | 0 | 0 |1836k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1348.02/1348.07 c 1292s| 1650k| 67521 | 0 | 0.0 | 94M| 128 | - | 223 | 18k| 0 | 0 | 0 |1850k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1353.72/1353.79 c 1297s| 1660k| 71128 | 0 | 0.0 | 94M| 128 | - | 223 | 11k| 0 | 0 | 0 |1858k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1358.43/1358.43 c 1301s| 1670k| 74033 | 0 | 0.0 | 97M| 128 | - | 223 | 10k| 0 | 0 | 0 |1868k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1365.53/1365.59 c 1308s| 1680k| 72051 | 0 | 0.0 | 97M| 128 | - | 223 |9839 | 0 | 0 | 0 |1882k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1371.02/1371.03 c 1313s| 1690k| 73186 | 0 | 0.0 | 99M| 128 | - | 223 | 10k| 0 | 0 | 0 |1892k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1377.32/1377.38 c 1319s| 1700k| 73800 | 0 | 0.0 | 102M| 128 | - | 223 | 12k| 0 | 0 | 0 |1903k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1385.72/1385.79 c 1327s| 1710k| 71958 | 0 | 0.0 | 104M| 128 | - | 223 | 14k| 0 | 0 | 0 |1916k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1397.13/1397.18 c 1338s| 1720k| 66876 | 0 | 0.0 | 102M| 128 | - | 223 | 18k| 0 | 0 | 0 |1932k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1412.44/1412.49 c 1353s| 1730k| 61410 | 0 | 0.0 | 98M| 128 | - | 223 | 20k| 0 | 0 | 0 |1950k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1423.93/1423.92 c 1364s| 1740k| 60674 | 0 | 0.0 | 95M| 128 | - | 223 | 19k| 0 | 0 | 0 |1962k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1431.42/1431.44 c 1372s| 1750k| 62807 | 0 | 0.0 | 97M| 128 | - | 223 | 16k| 0 | 0 | 0 |1972k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1441.32/1441.37 c 1381s| 1760k| 62030 | 0 | 0.0 | 98M| 128 | - | 223 | 19k| 0 | 0 | 0 |1985k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1453.92/1453.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.92/1453.93 c 1393s| 1770k| 58874 | 0 | 0.0 | 96M| 128 | - | 223 | 20k| 0 | 0 | 0 |2000k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1470.12/1470.17 c 1409s| 1780k| 50367 | 0 | 0.0 | 86M| 128 | - | 223 | 20k| 0 | 0 | 0 |2018k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1483.13/1483.14 c 1422s| 1790k| 47912 | 0 | 0.0 | 82M| 128 | - | 223 | 21k| 0 | 0 | 0 |2032k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1498.82/1498.86 c 1437s| 1800k| 43715 | 0 | 0.0 | 80M| 128 | - | 223 | 24k| 0 | 0 | 0 |2048k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1515.13/1515.12 c 1453s| 1810k| 39759 | 0 | 0.0 | 77M| 128 | - | 223 | 28k| 0 | 0 | 0 |2063k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1535.64/1535.69 c 1473s| 1820k| 32182 | 0 | 0.0 | 67M| 128 | - | 223 | 24k| 0 | 0 | 0 |2080k| 0 | 4.300000e+01 | 8.100000e+01 | 88.37%
1544.53/1544.57 c 1482s| 1830k| 31420 | 0 | 0.0 | 62M| 128 | - | 223 | 10k| 0 | 0 | 0 |2092k| 0 | 4.600000e+01 | 8.100000e+01 | 76.09%
1552.73/1552.77 c 1490s| 1840k| 27300 | 0 | 0.0 | 57M| 128 | - | 223 | 10k| 0 | 0 | 0 |2106k| 0 | 4.700000e+01 | 8.100000e+01 | 72.34%
1556.63/1556.64 c 1493s| 1850k| 30975 | 0 | 0.0 | 57M| 128 | - | 223 |9274 | 0 | 0 | 0 |2115k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1560.03/1560.01 c 1496s| 1860k| 35495 | 0 | 0.0 | 60M| 128 | - | 223 | 10k| 0 | 0 | 0 |2123k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1564.93/1564.98 c 1501s| 1870k| 38576 | 0 | 0.0 | 65M| 128 | - | 223 | 14k| 0 | 0 | 0 |2134k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1570.93/1570.94 c 1506s| 1880k| 40459 | 0 | 0.0 | 67M| 128 | - | 223 | 16k| 0 | 0 | 0 |2144k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1576.33/1576.38 c 1512s| 1890k| 44127 | 0 | 0.0 | 71M| 128 | - | 223 | 17k| 0 | 0 | 0 |2153k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1585.93/1585.98 c 1521s| 1900k| 43799 | 0 | 0.0 | 74M| 128 | - | 223 | 21k| 0 | 0 | 0 |2167k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1599.03/1599.08 c 1534s| 1910k| 40636 | 0 | 0.0 | 73M| 128 | - | 223 | 24k| 0 | 0 | 0 |2182k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1610.13/1610.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.13/1610.15 c 1544s| 1920k| 40184 | 0 | 0.0 | 75M| 128 | - | 223 | 24k| 0 | 0 | 0 |2195k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1626.22/1626.26 c 1560s| 1930k| 34629 | 0 | 0.0 | 70M| 128 | - | 223 | 26k| 0 | 0 | 0 |2212k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1643.34/1643.34 c 1576s| 1940k| 28340 | 0 | 0.0 | 61M| 128 | - | 223 | 23k| 0 | 0 | 0 |2228k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1652.53/1652.50 c 1585s| 1950k| 29562 | 0 | 0.0 | 57M| 128 | - | 223 | 18k| 0 | 0 | 0 |2238k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1658.84/1658.87 c 1591s| 1960k| 32881 | 0 | 0.0 | 59M| 128 | - | 223 | 18k| 0 | 0 | 0 |2248k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1662.93/1662.98 c 1595s| 1970k| 38785 | 0 | 0.0 | 62M| 128 | - | 223 | 18k| 0 | 0 | 0 |2254k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1667.54/1667.57 c 1599s| 1980k| 43974 | 0 | 0.0 | 66M| 128 | - | 223 | 20k| 0 | 0 | 0 |2261k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1673.43/1673.43 c 1605s| 1990k| 47884 | 0 | 0.0 | 71M| 128 | - | 223 | 23k| 0 | 0 | 0 |2270k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1683.04/1683.03 c 1614s| 2000k| 48325 | 0 | 0.0 | 71M| 128 | - | 223 | 22k| 0 | 0 | 0 |2282k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1689.83/1689.86 c 1621s| 2010k| 52257 | 0 | 0.0 | 75M| 128 | - | 223 | 23k| 0 | 0 | 0 |2291k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1698.63/1698.63 c 1629s| 2020k| 54741 | 0 | 0.0 | 79M| 128 | - | 223 | 26k| 0 | 0 | 0 |2302k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1709.83/1709.84 c 1640s| 2030k| 55821 | 0 | 0.0 | 83M| 128 | - | 223 | 29k| 0 | 0 | 0 |2314k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1725.54/1725.56 c 1655s| 2040k| 53829 | 0 | 0.0 | 86M| 128 | - | 223 | 33k| 0 | 0 | 0 |2328k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1745.93/1745.90 c 1675s| 2050k| 49352 | 0 | 0.0 | 81M| 128 | - | 223 | 28k| 0 | 0 | 0 |2344k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1757.54/1757.51 c 1687s| 2060k| 49172 | 0 | 0.0 | 82M| 128 | - | 223 | 26k| 0 | 0 | 0 |2357k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1773.24/1773.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.24/1773.23 c 1702s| 2070k| 46834 | 0 | 0.0 | 84M| 128 | - | 223 | 31k| 0 | 0 | 0 |2373k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1796.94/1796.97 c 1725s| 2080k| 38977 | 0 | 0.0 | 79M| 128 | - | 223 | 39k| 0 | 0 | 0 |2391k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
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) : 1728.08
1800.04/1800.00 c Solving Nodes : 2080972
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (3 solutions)
1800.04/1800.00 c Dual Bound : +5.40000000000000e+01
1800.04/1800.00 c Gap : 50.00 %
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 : 1728.08
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693903-1277896849.wbo
1800.04/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.04/1800.00 c Constraints : 130 initial, 130 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693903-1277896849.wbo
1800.04/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.04/1800.00 c Constraints : 112 initial, 40277 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 2 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 1 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 27 0 17 1 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 : - 5 - - 10 - - - -
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 : 27 0 6341283 0 1271648 317 229149 0 0 0
1800.04/1800.00 c setppc : 49 0 6540574 0 1308788 156081 13442804 0 0 0
1800.04/1800.00 c linear : 27 0 6384496 0 1308786 544202 26871304 0 0 0
1800.04/1800.00 c logicor : 9+ 0 3434949 0 1308726 420465 1775704 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 404402 0 0 12 1270 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1308789 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 : 0.85 0.00 0.42 0.00 0.43
1800.04/1800.00 c setppc : 33.91 0.00 28.14 0.00 5.77
1800.04/1800.00 c linear : 97.72 0.00 97.50 0.00 0.22
1800.04/1800.00 c logicor : 790.06 0.00 789.15 0.00 0.91
1800.04/1800.00 c bounddisjunction : 0.86 0.00 0.86 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.01 0 0 0
1800.04/1800.00 c pseudoobj : 4.57 6541214 517 152086
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 44.00 1121277 1121150 5634251 20.0 300826 14.5 -
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 22 22 62 7.3 6 14.5 -
1800.04/1800.00 c applied globally : - - - 2387905 15.9 - - -
1800.04/1800.00 c applied locally : - - - 5518 33.8 - - -
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 : 7.72 1308786 0 0 0 0 2617572
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.00 - 3
1800.04/1800.00 c oneopt : 0.08 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.01 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 : 2080972
1800.04/1800.00 c nodes (total) : 2080972
1800.04/1800.00 c nodes left : 37671
1800.04/1800.00 c max depth : 128
1800.04/1800.00 c max depth (total): 128
1800.04/1800.00 c backtracks : 829296 (39.9%)
1800.04/1800.00 c delayed cutoffs : 497661
1800.04/1800.00 c repropagations : 2575924 (11668015 domain reductions, 349433 cutoffs)
1800.04/1800.00 c avg switch length: 18.07
1800.04/1800.00 c switching time : 593.42
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 3 (3 improvements)
1800.04/1800.00 c First Solution : +1.78000000000000e+02 (in run 1, after 9430 nodes, 0.97 seconds, depth 88, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 10328 nodes, 1.02 seconds, depth 64, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +5.40000000000000e+01
1800.04/1800.00 c Gap : 50.00 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.14/1800.15 c Time complete: 1800.18.
OK 80
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693903-1277896849/watcher-2693903-1277896849 -o /tmp/evaluation-result-2693903-1277896849/solver-2693903-1277896849 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693903-1277896849.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.03 2.01 2.00 4/196 11508 /proc/meminfo: memFree=31397396/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=8140 CPUtime=0 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 1519 0 0 0 0 0 0 0 21 0 1 0 130981806 8335360 1441 4089446400 4194304 7136930 140734817333632 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11508/statm: 2035 1441 275 719 0 1314 0 [startup+0.0277711 s] /proc/loadavg: 2.03 2.01 2.00 4/196 11508 /proc/meminfo: memFree=31397396/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=11796 CPUtime=0.01 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 4454 0 0 0 1 0 0 0 21 0 1 0 130981806 12079104 2224 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 2949 2224 395 719 0 2228 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11796 [startup+0.100811 s] /proc/loadavg: 2.03 2.01 2.00 4/196 11508 /proc/meminfo: memFree=31397396/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=12628 CPUtime=0.09 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 4691 0 0 0 6 3 0 0 21 0 1 0 130981806 12931072 2461 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 3157 2461 395 719 0 2436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12628 [startup+0.300773 s] /proc/loadavg: 2.03 2.01 2.00 4/196 11508 /proc/meminfo: memFree=31397396/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=14556 CPUtime=0.29 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 5178 0 0 0 21 8 0 0 21 0 1 0 130981806 14905344 2948 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 3639 2948 395 719 0 2918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14556 [startup+0.700709 s] /proc/loadavg: 2.03 2.01 2.00 4/196 11508 /proc/meminfo: memFree=31397396/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=17364 CPUtime=0.69 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 5865 0 0 0 53 16 0 0 22 0 1 0 130981806 17780736 3635 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 4341 3635 395 719 0 3620 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17364 [startup+1.50057 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11509 /proc/meminfo: memFree=31383500/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=20864 CPUtime=1.49 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 6768 0 0 0 118 31 0 0 25 0 1 0 130981806 21364736 4538 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 5216 4538 397 719 0 4495 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20864 [startup+3.10018 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11509 /proc/meminfo: memFree=31380256/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=24856 CPUtime=3.09 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 7747 0 0 0 256 53 0 0 25 0 1 0 130981806 25452544 5517 4089446400 4194304 7136930 140734817333632 18446744073709551615 4240456 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 6214 5517 397 719 0 5493 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24856 [startup+6.30072 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11509 /proc/meminfo: memFree=31373396/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=30036 CPUtime=6.29 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 9041 0 0 0 547 82 0 0 25 0 1 0 130981806 30756864 6811 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 7509 6811 397 719 0 6788 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30036 [startup+12.7006 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11509 /proc/meminfo: memFree=31366084/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=37280 CPUtime=12.69 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 10853 0 0 0 1113 156 0 0 25 0 1 0 130981806 38174720 8623 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 9320 8623 398 719 0 8599 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37280 [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11509 /proc/meminfo: memFree=31356712/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=46880 CPUtime=25.49 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 13246 0 0 0 2276 273 0 0 25 0 1 0 130981806 48005120 11016 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 11720 11016 398 719 0 10999 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46880 [startup+51.1008 s] /proc/loadavg: 2.01 2.01 2.00 3/197 11510 /proc/meminfo: memFree=31352700/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=50944 CPUtime=51.09 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 14194 0 0 0 4662 447 0 0 25 0 1 0 130981806 52166656 11964 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 12736 11964 398 719 0 12015 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 50944 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11511 /proc/meminfo: memFree=31333204/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=65156 CPUtime=102.3 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 17810 0 0 0 9460 770 0 0 25 0 1 0 130981806 66719744 15580 4089446400 4194304 7136930 140734817333632 18446744073709551615 5001190 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 16289 15580 398 719 0 15568 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 65156 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11513 /proc/meminfo: memFree=31298924/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=98664 CPUtime=162.3 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 26266 0 0 0 15123 1107 0 0 25 0 1 0 130981806 101031936 24036 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 24666 24036 398 719 0 23945 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 98664 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11515 /proc/meminfo: memFree=31289800/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=107884 CPUtime=222.3 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 28512 0 0 0 20935 1295 0 0 25 0 1 0 130981806 110473216 26282 4089446400 4194304 7136930 140734817333632 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 26971 26282 398 719 0 26250 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 107884 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11516 /proc/meminfo: memFree=31282196/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=115968 CPUtime=282.29 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 30451 0 0 0 26782 1447 0 0 25 0 1 0 130981806 118751232 28221 4089446400 4194304 7136930 140734817333632 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 28992 28221 398 719 0 28271 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 115968 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11518 /proc/meminfo: memFree=31279548/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=117748 CPUtime=342.3 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 30793 0 0 0 32664 1566 0 0 25 0 1 0 130981806 120573952 28563 4089446400 4194304 7136930 140734817333632 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 29437 28563 398 719 0 28716 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 117748 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11519 /proc/meminfo: memFree=31272164/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=119264 CPUtime=402.3 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 31223 0 0 0 38397 1833 0 0 25 0 1 0 130981806 122126336 28993 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 29816 28993 398 719 0 29095 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 119264 [startup+462.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 11521 /proc/meminfo: memFree=31267516/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=123244 CPUtime=462.3 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 32235 0 0 0 44118 2112 0 0 25 0 1 0 130981806 126201856 30005 4089446400 4194304 7136930 140734817333632 18446744073709551615 4221002 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 30811 30005 398 719 0 30090 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 123244 [startup+522.301 s] /proc/loadavg: 2.07 2.02 2.00 3/197 11523 /proc/meminfo: memFree=31257156/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=124284 CPUtime=522.31 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 32393 0 0 0 49831 2400 0 0 25 0 1 0 130981806 127266816 30163 4089446400 4194304 7136930 140734817333632 18446744073709551615 5004434 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 31071 30163 398 719 0 30350 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 124284 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 11524 /proc/meminfo: memFree=31251628/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=127700 CPUtime=582.31 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 33127 0 0 0 55582 2649 0 0 25 0 1 0 130981806 130764800 30897 4089446400 4194304 7136930 140734817333632 18446744073709551615 5957698 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 31925 30897 398 719 0 31204 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 127700 [startup+642.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 11529 /proc/meminfo: memFree=31241124/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=127700 CPUtime=642.31 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 33129 0 0 0 61342 2889 0 0 25 0 1 0 130981806 130764800 30899 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 31925 30899 398 719 0 31204 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 127700 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11535 /proc/meminfo: memFree=31231608/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=131408 CPUtime=882.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 34003 0 0 0 84468 3764 0 0 25 0 1 0 130981806 134561792 31773 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 32852 31773 398 719 0 32131 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 131408 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11537 /proc/meminfo: memFree=31219900/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=133912 CPUtime=942.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 34558 0 0 0 90261 3971 0 0 25 0 1 0 130981806 137125888 32328 4089446400 4194304 7136930 140734817333632 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 33478 32328 398 719 0 32757 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 133912 [startup+1002.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 11538 /proc/meminfo: memFree=31204568/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=134816 CPUtime=1002.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 34800 0 0 0 96022 4210 0 0 25 0 1 0 130981806 138051584 32570 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 33704 32570 398 719 0 32983 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 134816 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11540 /proc/meminfo: memFree=31184916/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=139200 CPUtime=1062.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 35890 0 0 0 101869 4363 0 0 25 0 1 0 130981806 142540800 33660 4089446400 4194304 7136930 140734817333632 18446744073709551615 4665311 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 34800 33660 398 719 0 34079 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 139200 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11542 /proc/meminfo: memFree=31180916/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=139768 CPUtime=1122.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 36045 0 0 0 107729 4503 0 0 25 0 1 0 130981806 143122432 33815 4089446400 4194304 7136930 140734817333632 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 34942 33815 398 719 0 34221 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 139768 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11543 /proc/meminfo: memFree=31169444/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=139932 CPUtime=1182.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 36082 0 0 0 113395 4837 0 0 25 0 1 0 130981806 143290368 33852 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 34983 33852 398 719 0 34262 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 139932 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11545 /proc/meminfo: memFree=31156616/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=139932 CPUtime=1242.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 36082 0 0 0 119172 5060 0 0 25 0 1 0 130981806 143290368 33852 4089446400 4194304 7136930 140734817333632 18446744073709551615 5950366 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 34983 33852 398 719 0 34262 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 139932 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11546 /proc/meminfo: memFree=31150364/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=140072 CPUtime=1302.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 36134 0 0 0 124855 5378 0 0 25 0 1 0 130981806 143433728 33904 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 35018 33904 398 719 0 34297 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 140072 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11548 /proc/meminfo: memFree=31141248/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=150752 CPUtime=1362.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 38343 0 0 0 130506 5726 0 0 25 0 1 0 130981806 154370048 36113 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 37688 36113 398 719 0 36967 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 150752 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11550 /proc/meminfo: memFree=31135388/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=156644 CPUtime=1422.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39890 0 0 0 136284 5949 0 0 25 0 1 0 130981806 160403456 37660 4089446400 4194304 7136930 140734817333632 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39161 37660 398 719 0 38440 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 156644 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11551 /proc/meminfo: memFree=31134968/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=156780 CPUtime=1482.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39892 0 0 0 142113 6120 0 0 25 0 1 0 130981806 160542720 37662 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39195 37662 398 719 0 38474 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 156780 [startup+1542.3 s] /proc/loadavg: 1.95 1.98 1.99 3/179 11658 /proc/meminfo: memFree=31419796/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=156780 CPUtime=1542.32 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39894 0 0 0 147957 6275 0 0 25 0 1 0 130981806 160542720 37664 4089446400 4194304 7136930 140734817333632 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39195 37664 398 719 0 38474 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 156780 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11659 /proc/meminfo: memFree=31382688/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=156780 CPUtime=1602.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39913 0 0 0 153662 6571 0 0 25 0 1 0 130981806 160542720 37683 4089446400 4194304 7136930 140734817333632 18446744073709551615 4332856 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39195 37683 398 719 0 38474 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 156780 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11661 /proc/meminfo: memFree=31380640/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=157204 CPUtime=1662.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39980 0 0 0 159450 6783 0 0 25 0 1 0 130981806 160976896 37750 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39301 37750 398 719 0 38580 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 157204 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11663 /proc/meminfo: memFree=31333696/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=157204 CPUtime=1722.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39988 0 0 0 165216 7017 0 0 25 0 1 0 130981806 160976896 37758 4089446400 4194304 7136930 140734817333632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39301 37758 398 719 0 38580 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 157204 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11664 /proc/meminfo: memFree=31279940/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=157204 CPUtime=1782.33 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39991 0 0 0 171069 7164 0 0 25 0 1 0 130981806 160976896 37761 4089446400 4194304 7136930 140734817333632 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39301 37761 398 719 0 38580 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 157204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11665 /proc/meminfo: memFree=31267524/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=157204 CPUtime=1800.04 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 39992 0 0 0 172808 7196 0 0 25 0 1 0 130981806 160976896 37762 4089446400 4194304 7136930 140734817333632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11508/statm: 39301 37762 398 719 0 38580 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 157204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11665 /proc/meminfo: memFree=31267524/32950928 swapFree=67111528/67111528 [pid=11508] ppid=11506 vsize=157204 CPUtime=1800.14 /proc/11508/stat : 11508 (pbscip.linux.x8) R 11506 11508 9402 0 -1 4202496 40001 0 0 0 172818 7196 0 0 25 0 1 0 130981806 160976896 37771 4089446400 4194304 7136930 140734817333632 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11508/statm: 39301 37771 403 719 0 38580 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 157204 Child status: 0 Real time (s): 1800.16 CPU time (s): 1800.2 CPU user time (s): 1728.23 CPU system time (s): 71.9691 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 157204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.23 system time used= 71.9691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40008 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= 2511 runsolver used 2.92156 second user time and 5.70513 second system time The end
Begin job on node120 at 2010-06-30 13:20:49 IDJOB=2693903 IDBENCH=78797 IDSOLVER=1206 FILE ID=node120/2693903-1277896849 PBS_JOBID= 11197114 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976157--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-2693903-1277896849/watcher-2693903-1277896849 -o /tmp/evaluation-result-2693903-1277896849/solver-2693903-1277896849 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693903-1277896849.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5061ef924a5cd54acce02b550ce78c9d RANDOM SEED=1048696094 node120.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.820 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.64 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.820 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.80 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.820 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.74 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.68 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.820 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31397800 kB Buffers: 183172 kB Cached: 931520 kB SwapCached: 0 kB Active: 830152 kB Inactive: 581016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31397800 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3288 kB Writeback: 0 kB AnonPages: 296544 kB Mapped: 20636 kB Slab: 78012 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1650988 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node120 at 2010-06-30 13:50:51