| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.08 | 1802.04 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo |
| MD5SUM | f80d40564f1db7b3506c9182fa0d36f6 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.72189 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2152 |
| Total number of constraints | 5613 |
| Number of soft constraints | 1896 |
| Number of constraints which are clauses | 5137 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 96673 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 96672 |
| Biggest number in a constraint | 35 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 129 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-2693691-1277914852.wbo>
0.02/0.05 c original problem has 5944 variables (4048 bin, 0 int, 0 impl, 1896 cont) and 7510 constraints
0.02/0.05 c problem read
0.02/0.05 c presolving settings loaded
0.02/0.06 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.02/0.08 c presolving:
0.09/0.11 c (round 1) 54 del vars, 9 del conss, 1 chg bounds, 238 chg sides, 478 chg coeffs, 0 upgd conss, 29637 impls, 0 clqs
0.09/0.11 c (round 2) 56 del vars, 112 del conss, 1 chg bounds, 238 chg sides, 478 chg coeffs, 0 upgd conss, 29637 impls, 0 clqs
0.09/0.13 c (round 3) 59 del vars, 114 del conss, 1894 chg bounds, 238 chg sides, 478 chg coeffs, 0 upgd conss, 29637 impls, 0 clqs
0.09/0.16 c (round 4) 60 del vars, 114 del conss, 1894 chg bounds, 238 chg sides, 478 chg coeffs, 3612 upgd conss, 29637 impls, 0 clqs
0.49/0.54 c (0.5s) probing: 769/3991 (19.3%) - 0 fixings, 2 aggregations, 520 implications, 0 bound changes
0.49/0.54 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.54 c (round 5) 62 del vars, 114 del conss, 1894 chg bounds, 238 chg sides, 478 chg coeffs, 3612 upgd conss, 31477 impls, 0 clqs
0.59/0.64 c (0.6s) probing: 1000/3991 (25.1%) - 0 fixings, 2 aggregations, 533 implications, 0 bound changes
0.59/0.64 c (0.6s) probing: 1005/3991 (25.2%) - 0 fixings, 2 aggregations, 533 implications, 0 bound changes
0.59/0.64 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.64 c presolving (6 rounds):
0.59/0.64 c 62 deleted vars, 114 deleted constraints, 1894 tightened bounds, 0 added holes, 238 changed sides, 478 changed coefficients
0.59/0.64 c 31503 implications, 0 cliques
0.59/0.64 c presolved problem has 5882 variables (3989 bin, 0 int, 0 impl, 1893 cont) and 7396 constraints
0.59/0.64 c 1893 constraints of type <indicator>
0.59/0.64 c 2 constraints of type <varbound>
0.59/0.64 c 308 constraints of type <knapsack>
0.59/0.64 c 1891 constraints of type <linear>
0.59/0.64 c 3302 constraints of type <logicor>
0.59/0.64 c transformed objective value is always integral (scale: 1)
0.59/0.64 c Presolving Time: 0.54
0.59/0.64 c - non default parameters ----------------------------------------------------------------------
0.59/0.64 c # SCIP version 1.2.1.2
0.59/0.64 c
0.59/0.64 c # frequency for displaying node information lines
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64 c display/freq = 10000
0.59/0.64 c
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = 1799.95
0.59/0.64 c
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = 3420
0.59/0.64 c
0.59/0.64 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c lp/solvefreq = -1
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify inequalities
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/linear/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify knapsacks
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c separating/rapidlearning/freq = 0
0.59/0.64 c
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving
0.59/0.64 c
0.59/0.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.65 c 0.6s| 1 | 2 | 0 | - | 21M| 0 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.59/10.60 c 10.3s| 10000 | 10001 | 0 | 0.0 | 27M| 109 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.19/20.26 c 19.8s| 20000 | 20001 | 0 | 0.0 | 34M| 111 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.70/29.71 c 29.1s| 30000 | 30001 | 0 | 0.0 | 40M| 143 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.79/38.84 c 38.1s| 40000 | 40001 | 0 | 0.0 | 45M| 145 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.79/47.86 c 46.9s| 50000 | 50001 | 0 | 0.0 | 51M| 145 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.69/56.75 c 55.7s| 60000 | 60001 | 0 | 0.0 | 56M| 145 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
65.69/65.72 c 64.5s| 70000 | 70001 | 0 | 0.0 | 62M| 151 | - |5882 |7396 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.09/75.19 c 73.8s| 80000 | 79999 | 0 | 0.0 | 68M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
84.49/84.56 c 83.0s| 90000 | 89999 | 0 | 0.0 | 74M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
93.79/93.87 c 92.2s|100000 | 99999 | 0 | 0.0 | 79M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
103.09/103.15 c 101s|110000 |109999 | 0 | 0.0 | 85M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
112.39/112.43 c 110s|120000 |119999 | 0 | 0.0 | 90M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
121.60/121.62 c 119s|130000 |129999 | 0 | 0.0 | 96M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
130.90/130.90 c 129s|140000 |139999 | 0 | 0.0 | 102M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
140.09/140.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.09/140.17 c 138s|150000 |149999 | 0 | 0.0 | 107M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
149.29/149.39 c 147s|160000 |159999 | 0 | 0.0 | 113M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
158.49/158.57 c 156s|170000 |169999 | 0 | 0.0 | 118M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
167.70/167.75 c 165s|180000 |179999 | 0 | 0.0 | 123M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
176.90/176.93 c 174s|190000 |189999 | 0 | 0.0 | 129M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
186.00/186.01 c 183s|200000 |199999 | 0 | 0.0 | 134M| 151 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
195.09/195.10 c 192s|210000 |209999 | 0 | 0.0 | 140M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
204.19/204.20 c 201s|220000 |219999 | 0 | 0.0 | 145M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
213.19/213.21 c 210s|230000 |229999 | 0 | 0.0 | 150M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
222.20/222.23 c 218s|240000 |239999 | 0 | 0.0 | 155M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
231.19/231.29 c 227s|250000 |249999 | 0 | 0.0 | 161M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
240.29/240.33 c 236s|260000 |259999 | 0 | 0.0 | 166M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
249.29/249.38 c 245s|270000 |269999 | 0 | 0.0 | 171M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
258.40/258.46 c 254s|280000 |279999 | 0 | 0.0 | 176M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
267.49/267.55 c 263s|290000 |289999 | 0 | 0.0 | 181M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
276.59/276.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.59/276.63 c 272s|300000 |299999 | 0 | 0.0 | 187M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
285.60/285.69 c 281s|310000 |309999 | 0 | 0.0 | 192M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
294.70/294.77 c 290s|320000 |319999 | 0 | 0.0 | 197M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
303.79/303.86 c 299s|330000 |329999 | 0 | 0.0 | 202M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
312.89/312.93 c 308s|340000 |339999 | 0 | 0.0 | 207M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
322.00/322.01 c 317s|350000 |349999 | 0 | 0.0 | 213M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
331.00/331.09 c 326s|360000 |359999 | 0 | 0.0 | 218M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
340.10/340.15 c 334s|370000 |369999 | 0 | 0.0 | 223M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
349.10/349.18 c 343s|380000 |379999 | 0 | 0.0 | 228M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
358.20/358.22 c 352s|390000 |389999 | 0 | 0.0 | 233M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
367.20/367.25 c 361s|400000 |399999 | 0 | 0.0 | 239M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
376.30/376.30 c 370s|410000 |409999 | 0 | 0.0 | 244M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
385.30/385.34 c 379s|420000 |419999 | 0 | 0.0 | 249M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
394.30/394.35 c 388s|430000 |429999 | 0 | 0.0 | 254M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
403.30/403.35 c 397s|440000 |439999 | 0 | 0.0 | 259M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
412.30/412.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.30/412.34 c 405s|450000 |449999 | 0 | 0.0 | 264M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
421.21/421.28 c 414s|460000 |459999 | 0 | 0.0 | 270M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
430.20/430.28 c 423s|470000 |469999 | 0 | 0.0 | 275M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
439.20/439.25 c 432s|480000 |479999 | 0 | 0.0 | 280M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
448.20/448.22 c 441s|490000 |489999 | 0 | 0.0 | 285M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
457.10/457.17 c 449s|500000 |499999 | 0 | 0.0 | 290M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
466.10/466.12 c 458s|510000 |509999 | 0 | 0.0 | 295M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
475.00/475.07 c 466s|520000 |519999 | 0 | 0.0 | 301M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
484.00/484.07 c 475s|530000 |529999 | 0 | 0.0 | 306M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
492.99/493.04 c 483s|540000 |539999 | 0 | 0.0 | 311M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
501.89/501.98 c 492s|550000 |549999 | 0 | 0.0 | 316M| 155 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
510.90/510.90 c 500s|560000 |559999 | 0 | 0.0 | 321M| 159 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
519.60/519.69 c 508s|570000 |569999 | 0 | 0.0 | 327M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
528.29/528.37 c 517s|580000 |579999 | 0 | 0.0 | 332M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
537.09/537.11 c 525s|590000 |589999 | 0 | 0.0 | 337M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
545.80/545.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.80/545.86 c 533s|600000 |599999 | 0 | 0.0 | 342M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
554.50/554.58 c 541s|610000 |609999 | 0 | 0.0 | 347M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
563.21/563.24 c 550s|620000 |619999 | 0 | 0.0 | 352M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
571.90/571.94 c 558s|630000 |629999 | 0 | 0.0 | 357M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
580.60/580.67 c 566s|640000 |639999 | 0 | 0.0 | 362M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
589.40/589.40 c 574s|650000 |649999 | 0 | 0.0 | 367M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
598.00/598.05 c 583s|660000 |659999 | 0 | 0.0 | 372M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
606.70/606.77 c 591s|670000 |669999 | 0 | 0.0 | 377M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
615.40/615.48 c 599s|680000 |679999 | 0 | 0.0 | 382M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
624.10/624.17 c 607s|690000 |689999 | 0 | 0.0 | 388M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
632.80/632.85 c 616s|700000 |699999 | 0 | 0.0 | 393M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
641.50/641.56 c 624s|710000 |709999 | 0 | 0.0 | 398M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
650.20/650.25 c 632s|720000 |719999 | 0 | 0.0 | 403M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
658.80/658.85 c 640s|730000 |729999 | 0 | 0.0 | 408M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
667.40/667.49 c 648s|740000 |739999 | 0 | 0.0 | 413M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
676.10/676.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.10/676.17 c 657s|750000 |749999 | 0 | 0.0 | 418M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
684.81/684.81 c 665s|760000 |759999 | 0 | 0.0 | 423M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
693.30/693.39 c 673s|770000 |769999 | 0 | 0.0 | 428M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
702.00/702.08 c 681s|780000 |779999 | 0 | 0.0 | 433M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
710.71/710.76 c 689s|790000 |789999 | 0 | 0.0 | 439M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
719.31/719.38 c 698s|800000 |799999 | 0 | 0.0 | 444M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
728.00/728.02 c 706s|810000 |809999 | 0 | 0.0 | 449M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
736.70/736.70 c 714s|820000 |819999 | 0 | 0.0 | 454M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
745.31/745.36 c 722s|830000 |829999 | 0 | 0.0 | 459M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
754.00/754.05 c 730s|840000 |839999 | 0 | 0.0 | 464M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
762.70/762.77 c 739s|850000 |849999 | 0 | 0.0 | 469M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
771.30/771.35 c 747s|860000 |859999 | 0 | 0.0 | 474M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
779.91/779.96 c 755s|870000 |869999 | 0 | 0.0 | 479M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
788.61/788.67 c 763s|880000 |879999 | 0 | 0.0 | 485M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
797.21/797.20 c 771s|890000 |889999 | 0 | 0.0 | 490M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
805.81/805.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.81/805.82 c 780s|900000 |899999 | 0 | 0.0 | 495M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
814.41/814.46 c 788s|910000 |909999 | 0 | 0.0 | 500M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
822.90/822.99 c 796s|920000 |919999 | 0 | 0.0 | 505M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
831.51/831.60 c 804s|930000 |929999 | 0 | 0.0 | 510M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
840.11/840.17 c 812s|940000 |939999 | 0 | 0.0 | 515M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
848.70/848.72 c 820s|950000 |949999 | 0 | 0.0 | 520M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
857.30/857.33 c 829s|960000 |959999 | 0 | 0.0 | 525M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
865.80/865.84 c 837s|970000 |969999 | 0 | 0.0 | 530M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
874.41/874.46 c 845s|980000 |979999 | 0 | 0.0 | 535M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
883.01/883.01 c 853s|990000 |989999 | 0 | 0.0 | 541M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
891.50/891.55 c 861s| 1000k|999999 | 0 | 0.0 | 546M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
900.11/900.10 c 869s| 1010k| 1009k| 0 | 0.0 | 551M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
908.51/908.58 c 877s| 1020k| 1019k| 0 | 0.0 | 556M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
917.11/917.16 c 885s| 1030k| 1029k| 0 | 0.0 | 561M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
925.61/925.66 c 894s| 1040k| 1039k| 0 | 0.0 | 566M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
934.11/934.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.11/934.18 c 902s| 1050k| 1049k| 0 | 0.0 | 571M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
942.61/942.67 c 910s| 1060k| 1059k| 0 | 0.0 | 576M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
951.01/951.06 c 918s| 1070k| 1069k| 0 | 0.0 | 581M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
959.41/959.41 c 926s| 1080k| 1079k| 0 | 0.0 | 586M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
967.61/967.68 c 934s| 1090k| 1089k| 0 | 0.0 | 591M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
975.91/975.95 c 942s| 1100k| 1099k| 0 | 0.0 | 596M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
984.11/984.17 c 949s| 1110k| 1109k| 0 | 0.0 | 600M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
992.31/992.38 c 957s| 1120k| 1119k| 0 | 0.0 | 605M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1000.61/1000.61 c 965s| 1130k| 1129k| 0 | 0.0 | 610M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1008.81/1008.84 c 973s| 1140k| 1139k| 0 | 0.0 | 615M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1017.01/1017.07 c 981s| 1150k| 1149k| 0 | 0.0 | 620M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1025.22/1025.25 c 989s| 1160k| 1159k| 0 | 0.0 | 624M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1033.41/1033.44 c 996s| 1170k| 1169k| 0 | 0.0 | 629M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1041.51/1041.58 c 1004s| 1180k| 1179k| 0 | 0.0 | 634M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1049.71/1049.79 c 1012s| 1190k| 1189k| 0 | 0.0 | 639M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1057.91/1057.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1057.91/1057.96 c 1020s| 1200k| 1199k| 0 | 0.0 | 644M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1066.11/1066.16 c 1028s| 1210k| 1209k| 0 | 0.0 | 648M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1074.32/1074.32 c 1035s| 1220k| 1219k| 0 | 0.0 | 653M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1082.41/1082.44 c 1043s| 1230k| 1229k| 0 | 0.0 | 658M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1090.52/1090.54 c 1051s| 1240k| 1239k| 0 | 0.0 | 663M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1098.62/1098.62 c 1059s| 1250k| 1249k| 0 | 0.0 | 668M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1106.71/1106.70 c 1066s| 1260k| 1259k| 0 | 0.0 | 672M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1114.71/1114.74 c 1074s| 1270k| 1269k| 0 | 0.0 | 677M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1123.32/1123.37 c 1082s| 1280k| 1279k| 0 | 0.0 | 682M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1132.51/1132.54 c 1091s| 1290k| 1289k| 0 | 0.0 | 688M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1141.61/1141.63 c 1100s| 1300k| 1299k| 0 | 0.0 | 693M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1150.62/1150.68 c 1108s| 1310k| 1309k| 0 | 0.0 | 699M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1159.62/1159.65 c 1117s| 1320k| 1319k| 0 | 0.0 | 704M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1168.71/1168.72 c 1125s| 1330k| 1329k| 0 | 0.0 | 709M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1177.71/1177.76 c 1134s| 1340k| 1339k| 0 | 0.0 | 715M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1186.82/1186.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.82/1186.84 c 1143s| 1350k| 1349k| 0 | 0.0 | 720M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1195.81/1195.88 c 1151s| 1360k| 1359k| 0 | 0.0 | 725M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1204.92/1204.91 c 1160s| 1370k| 1369k| 0 | 0.0 | 731M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1213.91/1213.96 c 1169s| 1380k| 1379k| 0 | 0.0 | 736M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1223.02/1223.04 c 1177s| 1390k| 1389k| 0 | 0.0 | 742M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1232.11/1232.11 c 1186s| 1400k| 1399k| 0 | 0.0 | 747M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1241.11/1241.10 c 1194s| 1410k| 1409k| 0 | 0.0 | 752M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1250.11/1250.11 c 1203s| 1420k| 1419k| 0 | 0.0 | 757M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1259.01/1259.06 c 1211s| 1430k| 1429k| 0 | 0.0 | 763M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1268.02/1268.09 c 1220s| 1440k| 1439k| 0 | 0.0 | 768M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1277.02/1277.09 c 1229s| 1450k| 1449k| 0 | 0.0 | 773M| 189 | - |5882 |7397 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1286.01/1286.08 c 1237s| 1460k| 1459k| 0 | 0.0 | 779M| 189 | - |5882 |7404 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
1295.02/1295.02 c 1246s| 1470k| 1469k| 0 | 0.0 | 784M| 189 | - |5882 |7407 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
1304.02/1304.01 c 1254s| 1480k| 1479k| 0 | 0.0 | 789M| 189 | - |5882 |7407 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
1312.92/1312.98 c 1263s| 1490k| 1489k| 0 | 0.0 | 794M| 189 | - |5882 |7408 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
1321.91/1321.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.91/1321.97 c 1271s| 1500k| 1499k| 0 | 0.0 | 800M| 189 | - |5882 |7408 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
1330.92/1330.95 c 1280s| 1510k| 1509k| 0 | 0.0 | 805M| 189 | - |5882 |7408 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
1339.92/1339.92 c 1288s| 1520k| 1519k| 0 | 0.0 | 810M| 189 | - |5882 |7408 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
1348.82/1348.85 c 1297s| 1530k| 1529k| 0 | 0.0 | 816M| 189 | - |5882 |7408 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
1357.72/1357.79 c 1305s| 1540k| 1539k| 0 | 0.0 | 821M| 189 | - |5882 |7410 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
1366.71/1366.75 c 1314s| 1550k| 1549k| 0 | 0.0 | 826M| 189 | - |5882 |7413 | 0 | 0 | 0 | 17 | 0 | 0.000000e+00 | -- | Inf
1375.72/1375.71 c 1322s| 1560k| 1559k| 0 | 0.0 | 831M| 189 | - |5882 |7414 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1384.62/1384.60 c 1330s| 1570k| 1569k| 0 | 0.0 | 836M| 189 | - |5882 |7414 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1393.52/1393.56 c 1339s| 1580k| 1579k| 0 | 0.0 | 841M| 189 | - |5882 |7414 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1402.52/1402.51 c 1347s| 1590k| 1589k| 0 | 0.0 | 847M| 189 | - |5882 |7417 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
1411.42/1411.49 c 1356s| 1600k| 1599k| 0 | 0.0 | 852M| 189 | - |5882 |7417 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
1420.32/1420.36 c 1364s| 1610k| 1609k| 0 | 0.0 | 857M| 189 | - |5882 |7417 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
1429.22/1429.28 c 1373s| 1620k| 1619k| 0 | 0.0 | 862M| 189 | - |5882 |7417 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
1438.12/1438.16 c 1381s| 1630k| 1629k| 0 | 0.0 | 867M| 189 | - |5882 |7417 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
1447.02/1447.08 c 1390s| 1640k| 1639k| 0 | 0.0 | 872M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1456.02/1456.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.02/1456.03 c 1398s| 1650k| 1649k| 0 | 0.0 | 878M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1465.02/1465.00 c 1407s| 1660k| 1659k| 0 | 0.0 | 883M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1473.93/1473.95 c 1415s| 1670k| 1669k| 0 | 0.0 | 888M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1482.82/1482.82 c 1424s| 1680k| 1679k| 0 | 0.0 | 893M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1491.72/1491.76 c 1432s| 1690k| 1689k| 0 | 0.0 | 898M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1500.62/1500.68 c 1441s| 1700k| 1699k| 0 | 0.0 | 903M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1509.52/1509.51 c 1449s| 1710k| 1709k| 0 | 0.0 | 908M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1518.42/1518.43 c 1458s| 1720k| 1719k| 0 | 0.0 | 914M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1527.32/1527.31 c 1466s| 1730k| 1729k| 0 | 0.0 | 919M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1536.22/1536.21 c 1475s| 1740k| 1739k| 0 | 0.0 | 924M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1545.13/1545.11 c 1483s| 1750k| 1749k| 0 | 0.0 | 929M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1554.02/1554.02 c 1491s| 1760k| 1759k| 0 | 0.0 | 934M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1562.92/1562.91 c 1500s| 1770k| 1769k| 0 | 0.0 | 939M| 189 | - |5882 |7418 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf
1571.83/1571.86 c 1508s| 1780k| 1779k| 0 | 0.0 | 944M| 189 | - |5882 |7419 | 0 | 0 | 0 | 23 | 0 | 0.000000e+00 | -- | Inf
1580.73/1580.78 c 1517s| 1790k| 1789k| 0 | 0.0 | 949M| 189 | - |5882 |7420 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
1589.63/1589.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.63/1589.65 c 1525s| 1800k| 1799k| 0 | 0.0 | 954M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1598.43/1598.47 c 1534s| 1810k| 1809k| 0 | 0.0 | 960M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1607.22/1607.25 c 1542s| 1820k| 1819k| 0 | 0.0 | 965M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1616.02/1616.01 c 1550s| 1830k| 1829k| 0 | 0.0 | 970M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1624.74/1624.78 c 1559s| 1840k| 1839k| 0 | 0.0 | 975M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1633.53/1633.58 c 1567s| 1850k| 1849k| 0 | 0.0 | 980M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1642.33/1642.39 c 1575s| 1860k| 1859k| 0 | 0.0 | 985M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1651.13/1651.19 c 1584s| 1870k| 1869k| 0 | 0.0 | 990M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1660.03/1660.02 c 1592s| 1880k| 1879k| 0 | 0.0 | 995M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1668.82/1668.83 c 1601s| 1890k| 1889k| 0 | 0.0 |1000M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1677.63/1677.64 c 1609s| 1900k| 1899k| 0 | 0.0 |1005M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1686.43/1686.49 c 1617s| 1910k| 1909k| 0 | 0.0 |1010M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1695.33/1695.31 c 1626s| 1920k| 1919k| 0 | 0.0 |1015M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1704.23/1704.20 c 1634s| 1930k| 1929k| 0 | 0.0 |1020M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1713.13/1713.11 c 1643s| 1940k| 1939k| 0 | 0.0 |1026M| 189 | - |5882 |7421 | 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf
1721.93/1721.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.93/1721.94 c 1651s| 1950k| 1949k| 0 | 0.0 |1031M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1730.73/1730.76 c 1660s| 1960k| 1959k| 0 | 0.0 |1036M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1739.53/1739.51 c 1668s| 1970k| 1969k| 0 | 0.0 |1041M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1748.23/1748.28 c 1676s| 1980k| 1979k| 0 | 0.0 |1046M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1757.03/1757.06 c 1684s| 1990k| 1989k| 0 | 0.0 |1051M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1765.83/1765.85 c 1693s| 2000k| 1999k| 0 | 0.0 |1056M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1774.63/1774.66 c 1701s| 2010k| 2009k| 0 | 0.0 |1061M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1783.33/1783.38 c 1709s| 2020k| 2019k| 0 | 0.0 |1066M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1792.23/1792.21 c 1718s| 2030k| 2029k| 0 | 0.0 |1071M| 189 | - |5882 |7422 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1725.14
1800.03/1800.00 c Solving Nodes : 2038813
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1725.14
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693691-1277914852.wbo
1800.03/1800.00 c Variables : 5944 (4048 binary, 0 integer, 0 implicit integer, 1896 continuous)
1800.03/1800.00 c Constraints : 7510 initial, 7510 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693691-1277914852.wbo
1800.03/1800.00 c Variables : 5882 (3989 binary, 0 integer, 0 implicit integer, 1893 continuous)
1800.03/1800.00 c Constraints : 7396 initial, 7422 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 6 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.01 0 49 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.42 0 2 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 3 0 0
1800.03/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.07 1 4 0 1894 0 111 238 478
1800.03/1800.00 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 1893 0 6544096 0 2038788 0 189903 0 0 0
1800.03/1800.00 c varbound : 2 0 6544096 0 2038788 0 1 0 0 0
1800.03/1800.00 c knapsack : 308 0 6544096 0 2038788 0 1 0 0 0
1800.03/1800.00 c linear : 1891 0 6544096 0 2038788 0 189681 0 0 0
1800.03/1800.00 c logicor : 3302+ 0 5585582 0 2038788 25 7449550 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 2038788 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 308.25 0.00 114.22 0.00 194.03
1800.03/1800.00 c varbound : 0.77 0.00 0.48 0.00 0.29
1800.03/1800.00 c knapsack : 25.21 0.00 24.14 0.00 1.07
1800.03/1800.00 c linear : 88.69 0.00 88.49 0.00 0.20
1800.03/1800.00 c logicor : 400.78 0.00 15.97 0.00 384.81
1800.03/1800.00 c countsols : 0.08 0.00 0.00 0.00 0.08
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.52 60691 0 216
1800.03/1800.00 c rootredcost : 0.42 0 0 0
1800.03/1800.00 c pseudoobj : 266.20 6541853 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.00 25 25 26 4.2 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 26 4.2 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 580.65 2038788 0 0 0 0 4077576
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.14 0 0
1800.03/1800.00 c trivial : 0.02 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.12 0 0
1800.03/1800.00 c trysol : 0.14 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2038813
1800.03/1800.00 c nodes (total) : 2038813
1800.03/1800.00 c nodes left : 2038748
1800.03/1800.00 c max depth : 189
1800.03/1800.00 c max depth (total): 189
1800.03/1800.00 c backtracks : 20976 (1.0%)
1800.03/1800.00 c delayed cutoffs : 16
1800.03/1800.00 c repropagations : 212 (555 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 2.52
1800.03/1800.00 c switching time : 28.28
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/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-2693691-1277914852/watcher-2693691-1277914852 -o /tmp/evaluation-result-2693691-1277914852/solver-2693691-1277914852 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693691-1277914852.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 2.03 4/196 12948 /proc/meminfo: memFree=31376472/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=8168 CPUtime=0 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 1522 0 0 0 0 0 0 0 25 0 1 0 132783227 8364032 1445 4089446400 4194304 7136930 140735768541296 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12948/statm: 2042 1450 275 719 0 1321 0 [startup+0.025468 s] /proc/loadavg: 1.99 1.98 2.03 4/196 12948 /proc/meminfo: memFree=31376472/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=11860 CPUtime=0.02 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 2459 0 0 0 2 0 0 0 25 0 1 0 132783227 12144640 2381 4089446400 4194304 7136930 140735768541296 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12948/statm: 2965 2381 275 719 0 2244 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11860 [startup+0.100467 s] /proc/loadavg: 1.99 1.98 2.03 4/196 12948 /proc/meminfo: memFree=31376472/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=36964 CPUtime=0.09 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 8847 0 0 0 9 0 0 0 25 0 1 0 132783227 37851136 8415 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12948/statm: 9241 8415 350 719 0 8520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36964 [startup+0.300419 s] /proc/loadavg: 1.99 1.98 2.03 4/196 12948 /proc/meminfo: memFree=31376472/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=41504 CPUtime=0.29 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 12608 0 0 0 28 1 0 0 25 0 1 0 132783227 42500096 9598 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12948/statm: 10376 9598 388 719 0 9655 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41504 [startup+0.700351 s] /proc/loadavg: 1.99 1.98 2.03 4/196 12948 /proc/meminfo: memFree=31376472/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=43388 CPUtime=0.68 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 14095 0 0 0 66 2 0 0 25 0 1 0 132783227 44429312 10057 4089446400 4194304 7136930 140735768541296 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 10847 10057 406 719 0 10126 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 43388 [startup+1.50021 s] /proc/loadavg: 1.99 1.98 2.03 3/197 12949 /proc/meminfo: memFree=31337156/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=43808 CPUtime=1.49 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 14226 0 0 0 146 3 0 0 25 0 1 0 132783227 44859392 10188 4089446400 4194304 7136930 140735768541296 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 10952 10188 406 719 0 10231 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43808 [startup+3.10093 s] /proc/loadavg: 1.99 1.98 2.03 3/197 12949 /proc/meminfo: memFree=31335048/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=45320 CPUtime=3.09 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 14603 0 0 0 302 7 0 0 25 0 1 0 132783227 46407680 10565 4089446400 4194304 7136930 140735768541296 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 11330 10565 406 719 0 10609 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45320 [startup+6.30036 s] /proc/loadavg: 1.99 1.98 2.03 3/197 12949 /proc/meminfo: memFree=31331516/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=47700 CPUtime=6.29 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 15187 0 0 0 616 13 0 0 25 0 1 0 132783227 48844800 11149 4089446400 4194304 7136930 140735768541296 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 11925 11149 406 719 0 11204 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47700 [startup+12.7002 s] /proc/loadavg: 1.99 1.98 2.03 3/197 12949 /proc/meminfo: memFree=31326932/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=51696 CPUtime=12.69 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 16210 0 0 0 1245 24 0 0 25 0 1 0 132783227 52936704 12172 4089446400 4194304 7136930 140735768541296 18446744073709551615 4407911 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 12924 12172 406 719 0 12203 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51696 [startup+25.501 s] /proc/loadavg: 1.99 1.98 2.03 3/197 12949 /proc/meminfo: memFree=31315412/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=60944 CPUtime=25.49 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 18571 0 0 0 2504 45 0 0 25 0 1 0 132783227 62406656 14533 4089446400 4194304 7136930 140735768541296 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 15236 14533 406 719 0 14515 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60944 [startup+51.1005 s] /proc/loadavg: 2.12 2.02 2.04 3/197 12951 /proc/meminfo: memFree=31291632/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=79056 CPUtime=51.09 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 23228 0 0 0 5016 93 0 0 25 0 1 0 132783227 80953344 19190 4089446400 4194304 7136930 140735768541296 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 19764 19190 406 719 0 19043 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 79056 [startup+102.306 s] /proc/loadavg: 2.05 2.01 2.03 3/197 12951 /proc/meminfo: memFree=31249916/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=112332 CPUtime=102.3 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 31250 0 0 0 10055 175 0 0 25 0 1 0 132783227 115027968 27212 4089446400 4194304 7136930 140735768541296 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 28083 27212 410 719 0 27362 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 112332 [startup+162.301 s] /proc/loadavg: 2.28 2.08 2.06 3/197 12953 /proc/meminfo: memFree=31198892/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=150076 CPUtime=162.29 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 40935 0 0 0 15952 277 0 0 25 0 1 0 132783227 153677824 36897 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 37519 36897 410 719 0 36798 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 150076 [startup+222.3 s] /proc/loadavg: 2.10 2.06 2.05 3/197 12955 /proc/meminfo: memFree=31151084/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=191044 CPUtime=222.29 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 50382 0 0 0 21854 375 0 0 25 0 1 0 132783227 195629056 46344 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 47761 46344 410 719 0 47040 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 191044 [startup+282.301 s] /proc/loadavg: 2.04 2.05 2.04 3/197 12957 /proc/meminfo: memFree=31105152/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=225832 CPUtime=282.3 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 59370 0 0 0 27760 470 0 0 25 0 1 0 132783227 231251968 55332 4089446400 4194304 7136930 140735768541296 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 56458 55332 410 719 0 55737 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 225832 [startup+342.301 s] /proc/loadavg: 2.05 2.05 2.04 3/197 12958 /proc/meminfo: memFree=31060964/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=256944 CPUtime=342.3 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 67405 0 0 0 33661 569 0 0 25 0 1 0 132783227 263110656 63367 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 64236 63367 410 719 0 63515 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 256944 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.04 3/197 12959 /proc/meminfo: memFree=31012540/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=295644 CPUtime=402.3 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 77309 0 0 0 39562 668 0 0 25 0 1 0 132783227 302739456 73271 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12948/statm: 73911 73271 410 719 0 73190 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 295644 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.03 3/197 12961 /proc/meminfo: memFree=30970928/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=334388 CPUtime=462.29 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 85239 0 0 0 45392 837 0 0 25 0 1 0 132783227 342413312 81201 4089446400 4194304 7136930 140735768541296 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 83597 81201 410 719 0 82876 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 334388 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.03 3/197 12963 /proc/meminfo: memFree=30929720/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=370300 CPUtime=522.3 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 94481 0 0 0 51086 1144 0 0 25 0 1 0 132783227 379187200 90443 4089446400 4194304 7136930 140735768541296 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 92575 90443 410 719 0 91854 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 370300 [startup+582.301 s] /proc/loadavg: 2.19 2.08 2.04 3/197 12965 /proc/meminfo: memFree=30888628/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=401256 CPUtime=582.3 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 102487 0 0 0 56764 1466 0 0 25 0 1 0 132783227 410886144 98449 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 100314 98449 410 719 0 99593 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 401256 [startup+642.3 s] /proc/loadavg: 2.11 2.08 2.04 3/197 12969 /proc/meminfo: memFree=30841308/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=437800 CPUtime=642.31 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 111895 0 0 0 62452 1779 0 0 25 0 1 0 132783227 448307200 107857 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 109450 107857 410 719 0 108729 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 437800 [startup+702.301 s] ################ # More data... # ################ /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 166669 0 0 0 96672 3559 0 0 25 0 1 0 132783227 682708992 162631 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 166677 162631 410 719 0 165956 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 666708 [startup+1062.3 s] /proc/loadavg: 2.00 2.05 2.04 3/197 12980 /proc/meminfo: memFree=30570376/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=698912 CPUtime=1062.31 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 175008 0 0 0 102395 3836 0 0 25 0 1 0 132783227 715685888 170970 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 174728 170970 410 719 0 174007 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 698912 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.03 3/197 12982 /proc/meminfo: memFree=30531516/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=736892 CPUtime=1122.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 184789 0 0 0 108111 4121 0 0 25 0 1 0 132783227 754577408 180751 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 184223 180751 410 719 0 183502 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 736892 [startup+1182.3 s] /proc/loadavg: 2.05 2.04 2.03 3/197 12984 /proc/meminfo: memFree=30495616/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=770836 CPUtime=1182.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 193502 0 0 0 113844 4388 0 0 25 0 1 0 132783227 789336064 189464 4089446400 4194304 7136930 140735768541296 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 192709 189464 410 719 0 191988 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 770836 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 2.02 3/197 12985 /proc/meminfo: memFree=30456512/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=808416 CPUtime=1242.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 203188 0 0 0 119551 4681 0 0 25 0 1 0 132783227 827817984 199150 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 202104 199150 410 719 0 201383 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 808416 [startup+1302.3 s] /proc/loadavg: 2.52 2.14 2.06 3/197 12986 /proc/meminfo: memFree=30423588/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=839980 CPUtime=1302.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 211327 0 0 0 125245 4987 0 0 25 0 1 0 132783227 860139520 207289 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 209995 207289 410 719 0 209274 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 839980 [startup+1362.3 s] /proc/loadavg: 2.19 2.11 2.05 9/197 12988 /proc/meminfo: memFree=30386840/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=875572 CPUtime=1362.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 220492 0 0 0 130937 5295 0 0 25 0 1 0 132783227 896585728 216454 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 218893 216454 410 719 0 218172 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 875572 [startup+1422.31 s] /proc/loadavg: 2.13 2.10 2.05 3/197 12990 /proc/meminfo: memFree=30350696/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=910176 CPUtime=1422.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 229400 0 0 0 136636 5596 0 0 25 0 1 0 132783227 932020224 225362 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 227544 225362 410 719 0 226823 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 910176 [startup+1482.3 s] /proc/loadavg: 2.05 2.08 2.04 3/197 12992 /proc/meminfo: memFree=30312584/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=946024 CPUtime=1482.33 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 238622 0 0 0 142346 5887 0 0 25 0 1 0 132783227 968728576 234584 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 236506 234584 410 719 0 235785 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 946024 [startup+1542.3 s] /proc/loadavg: 2.02 2.06 2.04 3/197 12993 /proc/meminfo: memFree=30271648/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=981444 CPUtime=1542.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 247741 0 0 0 148041 6191 0 0 25 0 1 0 132783227 1004998656 243703 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 245361 243703 410 719 0 244640 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 981444 [startup+1602.3 s] /proc/loadavg: 1.94 2.03 2.03 3/179 13024 /proc/meminfo: memFree=30484232/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=1016696 CPUtime=1602.33 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 256785 0 0 0 153737 6496 0 0 25 0 1 0 132783227 1041096704 252747 4089446400 4194304 7136930 140735768541296 18446744073709551615 4696948 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 254174 252747 410 719 0 253453 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1016696 [startup+1662.3 s] /proc/loadavg: 1.98 2.03 2.02 3/179 13026 /proc/meminfo: memFree=30442588/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=1048412 CPUtime=1662.33 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 265013 0 0 0 159451 6782 0 0 25 0 1 0 132783227 1073573888 260975 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 262103 260975 410 719 0 261382 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1048412 [startup+1722.3 s] /proc/loadavg: 2.06 2.04 2.02 3/179 13028 /proc/meminfo: memFree=30402004/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=1081664 CPUtime=1722.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 273589 0 0 0 165152 7080 0 0 25 0 1 0 132783227 1107623936 269551 4089446400 4194304 7136930 140735768541296 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 270416 269551 410 719 0 269695 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1081664 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.02 3/179 13030 /proc/meminfo: memFree=30354476/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=1116772 CPUtime=1782.32 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 282633 0 0 0 170843 7389 0 0 25 0 1 0 132783227 1143574528 278595 4089446400 4194304 7136930 140735768541296 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 279193 278595 410 719 0 278472 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1116772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.02 2.01 3/179 13030 /proc/meminfo: memFree=30340828/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=1160364 CPUtime=1800.03 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 285416 0 0 0 172519 7484 0 0 25 0 1 0 132783227 1188212736 281378 4089446400 4194304 7136930 140735768541296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12948/statm: 290091 281378 410 719 0 289370 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1160364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12948 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.02 2.01 3/180 13031 /proc/meminfo: memFree=30340200/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=1091908 CPUtime=1801.42 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 285422 0 0 0 172658 7484 0 0 19 0 1 0 132783227 1118113792 264270 4089446400 4194304 7136930 140735768541296 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12948/statm: 272977 264270 416 719 0 272256 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1091908 [startup+1801.81 s] /proc/loadavg: 2.01 2.02 2.01 3/180 13031 /proc/meminfo: memFree=30483048/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=972776 CPUtime=1801.84 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 285422 0 0 0 172699 7485 0 0 20 0 1 0 132783227 996122624 234487 4089446400 4194304 7136930 140735768541296 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12948/statm: 243194 234487 416 719 0 242473 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 972776 [startup+1802 s] /proc/loadavg: 2.01 2.02 2.01 3/180 13031 /proc/meminfo: memFree=30483048/32951124 swapFree=67111528/67111528 [pid=12948] ppid=12946 vsize=897956 CPUtime=1802.03 /proc/12948/stat : 12948 (pbscip.linux.x8) R 12946 12948 12487 0 -1 4202496 285422 0 0 0 172718 7485 0 0 21 0 1 0 132783227 919506944 215782 4089446400 4194304 7136930 140735768541296 18446744073709551615 6166167 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12948/statm: 224489 215782 416 719 0 223768 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 897956 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.04 CPU time (s): 1802.08 CPU user time (s): 1727.19 CPU system time (s): 74.8846 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1160364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1727.19 system time used= 74.8846 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285422 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= 7 involuntary context switches= 1138 runsolver used 2.80357 second user time and 5.97309 second system time The end
Begin job on node103 at 2010-06-30 18:20:52 IDJOB=2693691 IDBENCH=79043 IDSOLVER=1206 FILE ID=node103/2693691-1277914852 PBS_JOBID= 11197269 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.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-2693691-1277914852/watcher-2693691-1277914852 -o /tmp/evaluation-result-2693691-1277914852/solver-2693691-1277914852 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693691-1277914852.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f80d40564f1db7b3506c9182fa0d36f6 RANDOM SEED=2085885372 node103.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.817 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.63 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.817 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.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31377000 kB Buffers: 201796 kB Cached: 905552 kB SwapCached: 0 kB Active: 786960 kB Inactive: 646284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31377000 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3412 kB Writeback: 0 kB AnonPages: 325592 kB Mapped: 20368 kB Slab: 77996 kB PageTables: 5836 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648292 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 node103 at 2010-06-30 18:50:54