Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 2312 | 2994.21 | 3003.05 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-50.lin.opb |
| MD5SUM | 11852bf7a05815ba1c78428ce5d4534c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2312 |
| Best CPU time to get the best result obtained on this benchmark | 2994.21 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3825 |
| Total number of constraints | 7400 |
| Number of constraints which are clauses | 3675 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3675 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3675 |
| Biggest coefficient in the objective function | 49 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 62475 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 49 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 62475 |
| Number of bits of the biggest sum of numbers | 16 |
| 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 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4432929-1721168395.opb>
0.00/0.02 c original problem has 3825 variables (3825 bin, 0 int, 0 impl, 0 cont) and 7400 constraints
0.00/0.02 c problem read in 0.02
0.00/0.03 c presolving:
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.08 c (0.1s) MILP presolver found nothing
0.00/0.09 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3725 upgd conss, 0 impls, 50 clqs
0.09/0.10 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7400 upgd conss, 0 impls, 50 clqs
0.09/0.13 c (round 3, medium) 0 del vars, 3675 del conss, 7350 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7400 upgd conss, 0 impls, 7400 clqs
0.09/0.15 c (round 4, exhaustive) 0 del vars, 14700 del conss, 11025 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7400 upgd conss, 0 impls, 7400 clqs
0.59/0.67 c (0.7s) probing: 1000/3825 (26.1%) - 0 fixings, 0 aggregations, 179358 implications, 0 bound changes
0.59/0.67 c (0.7s) probing: 1001/3825 (26.2%) - 0 fixings, 0 aggregations, 179551 implications, 0 bound changes
0.59/0.67 c (0.7s) probing aborted: 1000/1000 successive useless probings
0.59/0.67 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.59/0.68 c (0.7s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.59/0.69 c dynamic symmetry handling statistics:
0.59/0.69 c orbitopal reduction: no components
0.59/0.69 c orbital reduction: 1 components of sizes 3
0.59/0.69 c lexicographic reduction: 3 permutations with support sizes 2550, 2550, 3750
0.59/0.69 c handled 1 out of 1 symmetry components
0.59/0.69 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
0.59/0.69 c 0 deleted vars, 14700 deleted constraints, 11025 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.69 c 0 implications, 22175 cliques
0.59/0.69 c presolved problem has 3825 variables (3825 bin, 0 int, 0 impl, 0 cont) and 3725 constraints
0.59/0.69 c 50 constraints of type <setppc>
0.59/0.69 c 3675 constraints of type <and>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.66
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 10.0.0
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.59/0.69 c limits/time = 3596.998006
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.59/0.69 c limits/memory = 27900
0.59/0.69 c
0.59/0.69 c # belongs reading time to solving time?
0.59/0.69 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c timing/reading = TRUE
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.59/0.69 c
0.69/0.73 o 20825
0.69/0.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.69/0.73 c p 0.7s| 1 | 0 | 0 | - | clique| 0 |3825 |3725 |7400 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.082500e+04 | Inf | unknown
0.69/0.75 o 18424
0.69/0.75 c p 0.8s| 1 | 0 | 0 | - | vbounds| 0 |3825 |3725 |7400 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.842400e+04 | Inf | unknown
0.79/0.80 c 0.8s| 1 | 0 | 100 | - | 85M | 0 |3825 |3725 |7400 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.842400e+04 | Inf | unknown
0.89/0.99 c 1.0s| 1 | 0 | 120 | - | 88M | 0 |3825 |3725 |7406 | 6 | 1 | 0 | 0 | 0.000000e+00 | 1.842400e+04 | Inf | unknown
2.28/2.38 c 2.4s| 1 | 0 | 258 | - | 189M | 0 |3825 |3725 |7448 | 48 | 2 | 0 | 0 | 0.000000e+00 | 1.842400e+04 | Inf | unknown
3.38/3.48 c 3.5s| 1 | 0 | 402 | - | 191M | 0 |3825 |3725 |7489 | 89 | 3 | 0 | 0 | 0.000000e+00 | 1.842400e+04 | Inf | unknown
5.27/5.31 c 5.3s| 1 | 0 | 517 | - | 207M | 0 |3825 |3725 |7516 | 116 | 4 | 0 | 0 | 0.000000e+00 | 1.842400e+04 | Inf | unknown
7.17/7.26 c 7.3s| 1 | 0 | 839 | - | 215M | 0 |3825 |3725 |7546 | 146 | 5 | 0 | 0 | 1.354713e+00 | 1.842400e+04 | Large | unknown
9.27/9.31 c 9.3s| 1 | 0 | 1244 | - | 223M | 0 |3825 |3725 |7569 | 169 | 6 | 0 | 0 | 1.134130e+01 | 1.842400e+04 | Large | unknown
11.36/11.46 c 11.5s| 1 | 0 | 1576 | - | 229M | 0 |3825 |3725 |7598 | 198 | 7 | 0 | 0 | 2.289701e+01 | 1.842400e+04 | Large | unknown
13.56/13.65 c 13.7s| 1 | 0 | 1965 | - | 234M | 0 |3825 |3725 |7624 | 224 | 8 | 0 | 0 | 3.234467e+01 | 1.842400e+04 | Large | unknown
15.75/15.89 c 15.9s| 1 | 0 | 2288 | - | 242M | 0 |3825 |3725 |7652 | 252 | 9 | 0 | 0 | 4.183101e+01 | 1.842400e+04 | Large | unknown
18.05/18.15 c 18.2s| 1 | 0 | 2558 | - | 253M | 0 |3825 |3725 |7679 | 279 | 10 | 0 | 0 | 5.140429e+01 | 1.842400e+04 | Large | unknown
18.14/18.23 c 18.2s| 1 | 0 | 2727 | - | 254M | 0 |3825 |3725 |7692 | 296 | 11 | 0 | 0 | 5.567502e+01 | 1.842400e+04 | Large | unknown
18.14/18.28 c 18.3s| 1 | 0 | 2773 | - | 254M | 0 |3825 |3725 |7699 | 303 | 12 | 0 | 0 | 5.634968e+01 | 1.842400e+04 | Large | unknown
18.24/18.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.24/18.33 c 18.3s| 1 | 0 | 2855 | - | 255M | 0 |3825 |3725 |7704 | 308 | 13 | 0 | 0 | 5.749955e+01 | 1.842400e+04 | Large | unknown
18.24/18.38 c 18.4s| 1 | 0 | 2902 | - | 256M | 0 |3825 |3725 |7706 | 310 | 14 | 0 | 0 | 5.816298e+01 | 1.842400e+04 | Large | unknown
18.34/18.43 c 18.4s| 1 | 0 | 2978 | - | 257M | 0 |3825 |3725 |7707 | 311 | 15 | 0 | 0 | 5.979832e+01 | 1.842400e+04 | Large | unknown
18.34/18.49 c 18.5s| 1 | 0 | 3076 | - | 258M | 0 |3825 |3725 |7712 | 316 | 16 | 0 | 0 | 6.085308e+01 | 1.842400e+04 | Large | unknown
18.44/18.53 c 18.5s| 1 | 0 | 3144 | - | 259M | 0 |3825 |3726 |7689 | 319 | 17 | 1 | 0 | 6.163607e+01 | 1.842400e+04 | Large | unknown
18.44/18.58 c 18.6s| 1 | 0 | 3201 | - | 260M | 0 |3825 |3726 |7692 | 322 | 18 | 1 | 0 | 6.187850e+01 | 1.842400e+04 | Large | unknown
18.54/18.62 c 18.6s| 1 | 0 | 3226 | - | 260M | 0 |3825 |3726 |7697 | 327 | 19 | 1 | 0 | 6.191967e+01 | 1.842400e+04 | Large | unknown
18.54/18.67 c 18.7s| 1 | 0 | 3300 | - | 261M | 0 |3825 |3727 |7699 | 329 | 20 | 2 | 0 | 6.265244e+01 | 1.842400e+04 | Large | unknown
18.64/18.70 c 18.7s| 1 | 0 | 3332 | - | 261M | 0 |3825 |3727 |7702 | 332 | 21 | 2 | 0 | 6.270825e+01 | 1.842400e+04 | Large | unknown
21.54/21.67 o 7111
21.54/21.67 c d21.7s| 1 | 0 | 12792 | - |conflict| 0 |3825 |3732 |7702 | 0 | 22 | 7 | 0 | 6.270825e+01 | 7.111000e+03 | Large | unknown
22.13/22.25 c 22.3s| 1 | 0 | 12792 | - | 264M | 0 |3825 |3732 |7702 | 332 | 22 | 7 | 0 | 6.270825e+01 | 7.111000e+03 | Large | unknown
30.71/30.83 c 30.8s| 1 | 2 | 12792 | - | 264M | 0 |3825 |3732 |7702 | 332 | 23 | 7 | 47 | 6.979991e+01 | 7.111000e+03 | Large | unknown
53.64/53.86 o 4056
53.64/53.86 c d53.9s| 14 | 15 | 19597 |1251.2 |pscostdi| 13 |3825 |3732 |7742 | 0 | 1 | 7 | 324 | 6.979991e+01 | 4.056000e+03 |5710.90%| unknown
79.89/80.19 c 80.2s| 100 | 99 | 79230 | 766.6 | 301M | 17 |3825 |3640 |7929 |1472 | 2 | 14 | 384 | 5.017500e+02 | 4.056000e+03 | 708.37%| 19.40%
121.68/122.09 o 3599
121.68/122.09 c d 122s| 162 | 146 |212066 |1296.5 |linesear| 18 |3825 |3631 |7845 | 0 | 1 | 69 | 436 | 7.015671e+02 | 3.599000e+03 | 412.99%| 20.30%
154.68/155.18 o 3504
154.68/155.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
154.68/155.18 c d 155s| 200 | 177 |304620 |1514.0 |linesear| 18 |3825 |3706 |7734 | 0 | 2 | 144 | 472 | 7.447500e+02 | 3.504000e+03 | 370.49%| 21.13%
181.91/182.48 o 3079
181.91/182.48 c d 182s| 242 | 201 |375933 |1546.1 |linesear| 18 |3825 |3633 |7953 | 0 | 2 | 185 | 510 | 8.260000e+02 | 3.079000e+03 | 272.76%| 22.10%
276.87/277.61 c 278s| 300 | 257 |572985 |1905.2 | 869M | 18 |3825 |3751 |8423 | 11k| 19 | 303 | 607 | 8.445000e+02 | 3.079000e+03 | 264.59%| 23.83%
441.16/442.36 c 442s| 400 | 335 |936922 |2339.8 | 1153M | 18 |3825 |3887 |8580 | 20k| 3 | 441 | 780 | 9.586557e+02 | 3.079000e+03 | 221.18%| 26.74%
555.86/557.35 o 3014
555.86/557.35 c L 557s| 442 | 363 | 1174k|2655.7 | rins| 18 |3825 |3941 |8748 | 25k| 3 | 495 | 896 | 9.637727e+02 | 3.014000e+03 | 212.73%| 27.91%
829.24/831.58 c 832s| 500 | 411 | 1593k|3186.8 | 1445M | 18 |3825 |3982 |9566 | 33k| 2 | 536 |1090 | 9.977500e+02 | 3.014000e+03 | 202.08%| 29.24%
908.40/910.91 o 2951
908.40/910.91 c d 911s| 521 | 422 | 1723k|3308.8 |linesear| 18 |3825 |3982 |9418 | 0 | 2 | 536 |1169 | 1.004500e+03 | 2.951000e+03 | 193.78%| 29.79%
974.70/977.49 c 977s| 600 | 455 | 1889k|3149.4 | 1790M | 25 |3825 |4031 |9484 | 37k| 0 | 586 |1233 | 1.033417e+03 | 2.951000e+03 | 185.56%| 30.07%
1012.28/1015.18 o 2705
1012.28/1015.18 c *1015s| 644 | 397 | 1955k|3035.9 | LP | 25 |3825 |3670 |9456 | 38k| 1 | 597 |1266 | 1.039964e+03 | 2.705000e+03 | 160.11%| 30.56%
1124.43/1127.67 c 1128s| 700 | 419 | 2148k|3068.4 | 1818M | 25 |3825 |3724 |9381 | 41k| 2 | 651 |1378 | 1.088000e+03 | 2.705000e+03 | 148.62%| 31.18%
1253.12/1256.71 c 1257s| 800 | 447 | 2496k|3119.8 | 1906M | 25 |3825 |3842 |9607 | 44k| 0 | 769 |1511 | 1.099750e+03 | 2.705000e+03 | 145.96%| 31.62%
1321.82/1325.69 o 2372
1321.82/1325.69 c *1326s| 832 | 352 | 2613k|3141.0 | LP | 25 |3825 |3711 |9691 | 45k| 1 | 828 |1593 | 1.177250e+03 | 2.372000e+03 | 101.49%| 32.77%
1322.71/1326.54 o 2312
1322.71/1326.54 c *1327s| 836 | 328 | 2616k|3129.2 |strongbr| 25 |3825 |3711 |9722 | 45k| 4 | 828 |1593 | 1.177250e+03 | 2.312000e+03 | 96.39%| 33.21%
1461.80/1466.07 c 1466s| 900 | 324 | 2846k|3162.6 | 1940M | 25 |3825 |3857 |9194 | 48k| 2 | 974 |1764 | 1.186750e+03 | 2.312000e+03 | 94.82%| 36.58%
1687.80/1692.73 c 1693s| 1000 | 313 | 3223k|3222.9 | 1975M | 25 |3825 |4004 |9892 | 53k| 9 |1121 |2000 | 1.223975e+03 | 2.312000e+03 | 88.89%| 41.46%
1931.08/1936.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1931.08/1936.79 c 1937s| 1100 | 281 | 3665k|3332.6 | 1999M | 25 |3825 |4127 |9598 | 57k| 5 |1246 |2264 | 1.227625e+03 | 2.312000e+03 | 88.33%| 49.98%
2129.78/2136.04 c 2136s| 1200 | 239 | 4052k|3376.7 | 2012M | 25 |3825 |4292 | 10k| 60k| 0 |1414 |2502 | 1.265417e+03 | 2.312000e+03 | 82.71%| 59.00%
2327.48/2334.37 c 2334s| 1300 | 195 | 4458k|3429.9 | 2028M | 25 |3825 |4367 | 10k| 63k| 0 |1491 |2614 | 1.293750e+03 | 2.312000e+03 | 78.71%| 65.18%
2552.00/2559.50 c 2560s| 1400 | 163 | 4843k|3459.8 | 2042M | 25 |3825 |4597 |9268 | 66k| 5 |1726 |2967 | 1.321590e+03 | 2.312000e+03 | 74.94%| 71.28%
2758.48/2766.61 c 2767s| 1500 | 121 | 5214k|3476.4 | 2059M | 25 |3825 |4779 |9362 | 69k| 4 |1911 |3201 | 1.451750e+03 | 2.312000e+03 | 59.26%| 78.74%
2902.63/2911.20 c 2911s| 1600 | 79 | 5532k|3458.1 | 2065M | 25 |3825 |4991 | 12k| 72k| 0 |2131 |3413 | 1.468250e+03 | 2.312000e+03 | 57.47%| 87.26%
2992.06/3000.98 c 3001s| 1700 | 3 | 5745k|3379.6 | 2067M | 25 |3825 |4430 |8460 | 73k| 2 |2196 |3465 | 2.145031e+03 | 2.312000e+03 | 7.78%| 99.91%
2994.05/3002.97 c
2994.05/3002.97 c SCIP Status : problem is solved [optimal solution found]
2994.05/3002.97 c Solving Time (sec) : 3002.97
2994.05/3002.97 c Solving Nodes : 1708
2994.05/3002.97 c Primal Bound : +2.31200000000000e+03 (20 solutions)
2994.05/3002.97 c Dual Bound : +2.31200000000000e+03
2994.05/3002.97 c Gap : 0.00 %
2994.05/3002.98 s OPTIMUM FOUND
2994.05/3002.98 v -x150 x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 x128
2994.05/3002.98 v -x127 -x126 x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 x107 -x106
2994.05/3002.98 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 x81
2994.05/3002.98 v -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 -x55 x54
2994.05/3002.98 v -x53 -x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29 x28 -x27
2994.05/3002.98 v -x26 x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1 -x3825 x3824
2994.05/3002.98 v -x3823 -x3822 -x3821 x3820 x3819 -x3818 -x3817 -x3816 -x3815 -x3814 x3813 x3812 x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805
2994.05/3002.98 v -x3804 x3803 x3802 x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 x3790 x3789 x3788 x3787 x3786
2994.05/3002.98 v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 x3774 x3773 x3772 x3771 x3770 x3769 -x3768
2994.05/3002.98 v -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 x3755 x3754 x3753 x3752 x3751 x3750 x3749
2994.05/3002.98 v -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 x3733 x3732 x3731 x3730
2994.05/3002.98 v x3729 x3728 x3727 x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712
2994.05/3002.98 v -x3711 -x3710 -x3709 x3708 x3707 x3706 x3705 x3704 x3703 x3702 x3701 x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693
2994.05/3002.98 v -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 x3680 x3679 x3678 x3677 x3676 x3675 x3674
2994.05/3002.98 v x3673 x3672 x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656
2994.05/3002.98 v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 x3649 x3648 x3647 x3646 x3645 x3644 x3643 x3642 x3641 x3640 x3639 -x3638 -x3637 -x3636
2994.05/3002.98 v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618
2994.05/3002.98 v -x3617 -x3616 x3615 x3614 x3613 x3612 x3611 x3610 x3609 x3608 x3607 x3606 x3605 x3604 -x3603 -x3602 -x3601 -x3600 -x3599
2994.05/3002.98 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
2994.05/3002.98 v -x3580 -x3579 x3578 x3577 x3576 x3575 x3574 x3573 x3572 x3571 x3570 x3569 x3568 x3567 x3566 -x3565 -x3564 -x3563 -x3562 -x3561
2994.05/3002.98 v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543
2994.05/3002.98 v -x3542 -x3541 -x3540 -x3539 x3538 x3537 x3536 x3535 x3534 x3533 x3532 x3531 x3530 x3529 x3528 x3527 x3526 x3525 -x3524 -x3523
2994.05/3002.98 v -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506
2994.05/3002.98 v -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 x3495 x3494 x3493 x3492 x3491 x3490 x3489 x3488 x3487 x3486
2994.05/3002.98 v x3485 x3484 x3483 x3482 x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468
2994.05/3002.98 v -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450
2994.05/3002.98 v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432
2994.05/3002.98 v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414
2994.05/3002.98 v -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 x3401 -x3400 -x3399 -x3398 -x3397 -x3396
2994.05/3002.98 v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378
2994.05/3002.98 v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360
2994.05/3002.98 v -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 x3350 x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
2994.05/3002.98 v -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324
2994.05/3002.98 v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307
2994.05/3002.98 v -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 x3296 x3295 x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288
2994.05/3002.98 v -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270
2994.05/3002.98 v -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253
2994.05/3002.98 v -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 x3239 x3238 x3237 x3236 -x3235 -x3234
2994.05/3002.98 v -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216
2994.05/3002.98 v -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198
2994.05/3002.98 v -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
2994.05/3002.98 v -x3180 x3179 x3178 x3177 x3176 x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162
2994.05/3002.98 v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144
2994.05/3002.98 v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126
2994.05/3002.98 v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 x3116 x3115 x3114 x3113 x3112 x3111 -x3110 -x3109 -x3108
2994.05/3002.98 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
2994.05/3002.98 v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
2994.05/3002.98 v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054
2994.05/3002.98 v -x3053 -x3052 -x3051 x3050 x3049 x3048 x3047 x3046 x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
2994.05/3002.98 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017
2994.05/3002.98 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999
2994.05/3002.98 v -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982
2994.05/3002.98 v x2981 x2980 x2979 x2978 x2977 x2976 x2975 x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
2994.05/3002.98 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
2994.05/3002.98 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
2994.05/3002.98 v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 x2909
2994.05/3002.98 v x2908 x2907 x2906 x2905 x2904 x2903 x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
2994.05/3002.98 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
2994.05/3002.98 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854
2994.05/3002.98 v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
2994.05/3002.98 v -x2835 x2834 x2833 x2832 x2831 x2830 x2829 x2828 x2827 x2826 x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
2994.05/3002.98 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799
2994.05/3002.98 v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
2994.05/3002.98 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
2994.05/3002.98 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 x2756 x2755 x2754 x2753 x2752 x2751 x2750 x2749 x2748 x2747 x2746 -x2745 -x2744
2994.05/3002.98 v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726
2994.05/3002.98 v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708
2994.05/3002.98 v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690
2994.05/3002.98 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 x2674 x2673 x2672
2994.05/3002.98 v x2671 x2670 x2669 x2668 x2667 x2666 x2665 x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
2994.05/3002.98 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
2994.05/3002.98 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
2994.05/3002.98 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
2994.05/3002.98 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 x2590 x2589 x2588 x2587 x2586 x2585 x2584 x2583 x2582 x2581 x2580
2994.05/3002.98 v x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
2994.05/3002.98 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
2994.05/3002.98 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
2994.05/3002.98 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
2994.05/3002.98 v -x2507 -x2506 -x2505 x2504 x2503 x2502 x2501 x2500 x2499 x2498 x2497 x2496 x2495 x2494 x2493 x2492 x2491 -x2490 -x2489 -x2488
2994.05/3002.98 v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
2994.05/3002.98 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
2994.05/3002.98 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
2994.05/3002.98 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
2994.05/3002.98 v -x2416 -x2415 x2414 x2413 x2412 x2411 x2410 x2409 x2408 x2407 x2406 x2405 x2404 x2403 x2402 x2401 x2400 -x2399 -x2398 -x2397
2994.05/3002.98 v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
2994.05/3002.98 v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361
2994.05/3002.98 v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
2994.05/3002.98 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
2994.05/3002.98 v -x2325 -x2324 -x2323 -x2322 x2321 x2320 x2319 x2318 x2317 x2316 x2315 x2314 x2313 x2312 x2311 x2310 x2309 x2308 x2307 x2306 -x2305
2994.05/3002.98 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288
2994.05/3002.98 v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270
2994.05/3002.98 v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252
2994.05/3002.98 v -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234
2994.05/3002.98 v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
2994.05/3002.98 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
2994.05/3002.98 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
2994.05/3002.98 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163
2994.05/3002.98 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145
2994.05/3002.98 v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127
2994.05/3002.98 v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109
2994.05/3002.98 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
2994.05/3002.98 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073
2994.05/3002.98 v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055
2994.05/3002.98 v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037
2994.05/3002.98 v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020
2994.05/3002.98 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002
2994.05/3002.98 v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984
2994.05/3002.98 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
2994.05/3002.98 v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
2994.05/3002.98 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930
2994.05/3002.98 v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912
2994.05/3002.98 v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894
2994.05/3002.98 v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876
2994.05/3002.98 v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
2994.05/3002.98 v -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
2994.05/3002.98 v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822
2994.05/3002.98 v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
2994.05/3002.98 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
2994.05/3002.98 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
2994.05/3002.98 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
2994.05/3002.98 v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733
2994.05/3002.98 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 x1720 x1719 x1718 x1717 -x1716 -x1715
2994.05/3002.98 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
2994.05/3002.98 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
2994.05/3002.98 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661
2994.05/3002.98 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643
2994.05/3002.98 v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
2994.05/3002.98 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608
2994.05/3002.98 v x1607 x1606 x1605 x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
2994.05/3002.98 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571
2994.05/3002.98 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553
2994.05/3002.98 v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535
2994.05/3002.98 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
2994.05/3002.98 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500
2994.05/3002.98 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 x1490 x1489 x1488 x1487 x1486 -x1485 -x1484 -x1483 -x1482 -x1481
2994.05/3002.98 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
2994.05/3002.98 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445
2994.05/3002.98 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
2994.05/3002.98 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
2994.05/3002.98 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
2994.05/3002.98 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
2994.05/3002.98 v -x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
2994.05/3002.98 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
2994.05/3002.98 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
2994.05/3002.98 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
2994.05/3002.98 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
2994.05/3002.98 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
2994.05/3002.98 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 x1249 x1248 x1247
2994.05/3002.98 v x1246 x1245 x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
2994.05/3002.98 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
2994.05/3002.98 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
2994.05/3002.98 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
2994.05/3002.98 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
2994.05/3002.98 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
2994.05/3002.98 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 x1123 x1122 x1121
2994.05/3002.98 v x1120 x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
2994.05/3002.98 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
2994.05/3002.98 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
2994.05/3002.98 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
2994.05/3002.98 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
2994.05/3002.98 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
2994.05/3002.98 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 x996 x995 x994
2994.05/3002.98 v x993 x992 x991 x990 x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
2994.05/3002.98 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951
2994.05/3002.98 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931
2994.05/3002.98 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
2994.05/3002.98 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889
2994.05/3002.98 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
2994.05/3002.98 v -x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845
2994.05/3002.98 v -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825
2994.05/3002.98 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
2994.05/3002.98 v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
2994.05/3002.98 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
2994.05/3002.98 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741
2994.05/3002.98 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 -x720 -x719 -x718
2994.05/3002.98 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
2994.05/3002.98 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
2994.05/3002.98 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
2994.05/3002.98 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
2994.05/3002.98 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
2994.05/3002.98 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 x594 x593
2994.05/3002.98 v x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570
2994.05/3002.98 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
2994.05/3002.98 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
2994.05/3002.98 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
2994.05/3002.98 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
2994.05/3002.98 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
2994.05/3002.98 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 x454 x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 x443
2994.05/3002.98 v x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
2994.05/3002.98 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
2994.05/3002.98 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
2994.05/3002.98 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
2994.05/3002.98 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
2994.05/3002.98 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
2994.05/3002.98 v -x317 -x316 -x315 -x314 -x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 -x297 -x296 -x295
2994.05/3002.98 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
2994.05/3002.98 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
2994.05/3002.98 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
2994.05/3002.98 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
2994.05/3002.98 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
2994.05/3002.98 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
2994.05/3002.98 v -x169 -x168 -x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151
2994.05/3002.98 c SCIP Status : problem is solved [optimal solution found]
2994.05/3002.98 c Total Time : 3002.97
2994.05/3002.98 c solving : 3002.97
2994.05/3002.98 c presolving : 0.66 (included in solving)
2994.05/3002.98 c reading : 0.02 (included in solving)
2994.05/3002.98 c copying : 0.08 (10 #copies) (minimal 0.01, maximal 0.01, average 0.01)
2994.05/3002.98 c Original Problem :
2994.05/3002.98 c Problem name : HOME/instance-4432929-1721168395.opb
2994.05/3002.98 c Variables : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
2994.05/3002.98 c Constraints : 7400 initial, 7400 maximal
2994.05/3002.98 c Objective : minimize, 3675 non-zeros (abs.min = 1, abs.max = 49)
2994.05/3002.98 c Presolved Problem :
2994.05/3002.98 c Problem name : t_HOME/instance-4432929-1721168395.opb
2994.05/3002.98 c Variables : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
2994.05/3002.98 c Constraints : 3725 initial, 5034 maximal
2994.05/3002.98 c Objective : minimize, 3675 non-zeros (abs.min = 1, abs.max = 49)
2994.05/3002.98 c Nonzeros : 11175 constraint, 42925 clique table
2994.05/3002.98 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
2994.05/3002.98 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c gateextraction : 0.02 0.00 2 0 0 0 0 0 11025 3675 0 0
2994.05/3002.98 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c probing : 0.51 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c knapsack : 0.02 0.00 2 0 0 0 0 0 3675 7350 0 0
2994.05/3002.98 c setppc : 0.01 0.00 10 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c and : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c linear : 0.03 0.00 4 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c root node : - - - 2537 - - 2537 - - - - -
2994.05/3002.98 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
2994.05/3002.98 c benderslp : 0 0 0 0 1223 0 0 182 0 0 0 0 0 0 0
2994.05/3002.98 c integral : 0 0 0 0 1223 0 0 182 0 0 2429 0 0 1129 1976
2994.05/3002.98 c knapsack : 0+ 1 0 6611 0 0 0 0 0 1 0 0 0 0 0
2994.05/3002.98 c setppc : 50+ 1481 23 44503 2 0 0 176 5221 63 2616 0 0 0 0
2994.05/3002.98 c and : 3675 3675 3499 44440 2 0 0 34 24565 100 178473 27050 15197 0 0
2994.05/3002.98 c linear : 0+ 3 0 12057 0 0 0 3 1 1 0 0 0 0 0
2994.05/3002.98 c logicor : 0+ 1428 4 10624 0 0 0 0 236 21 133 0 0 0 0
2994.05/3002.98 c benders : 0 0 0 0 2 0 0 20 0 0 0 0 0 0 0
2994.05/3002.98 c fixedvar : 0 0 0 0 2 0 0 20 0 0 0 0 0 0 0
2994.05/3002.98 c countsols : 0 0 0 0 2 0 0 20 0 0 0 0 0 0 0
2994.05/3002.98 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
2994.05/3002.98 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c integral : 749.85 0.00 0.00 0.00 749.85 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c setppc : 0.05 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.03
2994.05/3002.98 c and : 6.77 0.00 3.42 1.57 0.00 0.00 0.00 0.01 0.01 1.76
2994.05/3002.98 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c logicor : 0.09 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.03
2994.05/3002.98 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c Propagators : #Propagate #ResProp Cutoffs DomReds
2994.05/3002.98 c dualfix : 3 0 0 0
2994.05/3002.98 c genvbounds : 0 0 0 0
2994.05/3002.98 c nlobbt : 0 0 0 0
2994.05/3002.98 c obbt : 0 0 0 0
2994.05/3002.98 c probing : 0 0 0 0
2994.05/3002.98 c pseudoobj : 6078 0 0 0
2994.05/3002.98 c redcost : 3080 0 0 146756
2994.05/3002.98 c rootredcost : 10 0 0 0
2994.05/3002.98 c symmetry : 37675 0 0 263
2994.05/3002.98 c vbounds : 23232 0 0 0
2994.05/3002.98 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
2994.05/3002.98 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
2994.05/3002.98 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c probing : 0.51 0.00 0.51 0.00 0.00 0.00
2994.05/3002.98 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
2994.05/3002.98 c redcost : 0.34 0.00 0.00 0.34 0.00 0.00
2994.05/3002.98 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
2994.05/3002.98 c symmetry : 0.51 0.00 0.02 0.37 0.00 0.12
2994.05/3002.98 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.01
2994.05/3002.98 c Symmetry :
2994.05/3002.98 c orbitopal red. : 0 reductions applied, 0 cutoffs
2994.05/3002.98 c orbital reduction: 247 reductions applied, 0 cutoffs
2994.05/3002.98 c lexicographic red: 118 reductions applied, 0 cutoffs
2994.05/3002.98 c shadow tree time : 0.01 s
2994.05/3002.98 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
2994.05/3002.98 c propagation : 0.00 185 182 - 291 16.3 0 0.0 - - -
2994.05/3002.98 c infeasible LP : 0.00 4 4 - 5 156.2 0 0.0 4 139.2 0
2994.05/3002.98 c bound exceed. LP : 3.30 1004 405 - 4631 50.3 0 0.0 1 374.0 5989
2994.05/3002.98 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
2994.05/3002.98 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
2994.05/3002.98 c applied globally : 0.05 - - 0 2201 30.4 - - 5 - -
2994.05/3002.98 c applied locally : - - - 0 0 0.0 - - 0 - -
2994.05/3002.98 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
2994.05/3002.98 c cut pool : 5.00 - 2707 43 - - 33131 293870 - - - - - (maximal pool size: 4283)
2994.05/3002.98 c aggregation : 10.47 0.00 1162 23 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c > cmir : - - - - - - - 0 0 0 0 0 -
2994.05/3002.98 c > flowcover : - - - - - - - 0 0 0 0 0 -
2994.05/3002.98 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
2994.05/3002.98 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c clique : 0.06 0.00 23 23 0 0 28 28 0 3 3 0 0
2994.05/3002.98 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c gomory : 248.69 0.00 578 10 0 0 21846 35874 0 1366 1366 0 0
2994.05/3002.98 c > gomorymi : - - - - - - - 13653 0 173 173 0 -
2994.05/3002.98 c > strongcg : - - - - - - - 22221 0 1193 1193 0 -
2994.05/3002.98 c impliedbounds : 1.05 0.00 1162 23 0 0 4146 13120 0 4706 4706 0 0
2994.05/3002.98 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c multilinear : 0.00 0.00 131 23 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
2994.05/3002.98 c rlt : 184.98 0.00 133 10 0 0 5239 188195 0 43420 43420 0 0
2994.05/3002.98 c zerohalf : 11.37 0.00 588 20 0 0 1872 56653 0 8635 8635 0 0
2994.05/3002.98 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
2994.05/3002.98 c hybrid : 0.48 0.00 3359 21 73327 0 247593 332 0 1785
2994.05/3002.98 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c Pricers : ExecTime SetupTime Calls Vars
2994.05/3002.98 c problem variables: 0.00 - 0 0
2994.05/3002.98 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
2994.05/3002.98 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c random : 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c relpscost : 749.85 0.00 1221 0 0 0 2429 0 1134 1976
2994.05/3002.98 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
2994.05/3002.98 c Primal Heuristics : ExecTime SetupTime Calls Found Best
2994.05/3002.98 c LP solutions : 0.01 - - 2 2
2994.05/3002.98 c relax solutions : 0.00 - - 0 0
2994.05/3002.98 c pseudo solutions : 0.00 - - 0 0
2994.05/3002.98 c strong branching : 0.01 - - 1 1
2994.05/3002.98 c actconsdiving : 0.00 0.00 0 0 0
2994.05/3002.98 c adaptivediving : 8.27 0.00 13 0 0
2994.05/3002.98 c alns : 0.13 0.00 5 0 0
2994.05/3002.98 c bound : 0.00 0.00 0 0 0
2994.05/3002.98 c clique : 0.03 0.00 1 1 1
2994.05/3002.98 c coefdiving : 0.00 0.00 0 0 0
2994.05/3002.98 c completesol : 0.00 0.00 0 0 0
2994.05/3002.98 c conflictdiving : 12.99 0.00 19 1 1
2994.05/3002.98 c crossover : 0.03 0.00 1 0 0
2994.05/3002.98 c dins : 0.00 0.00 0 0 0
2994.05/3002.98 c distributiondivin: 12.13 0.00 15 0 0
2994.05/3002.98 c dps : 0.00 0.00 0 0 0
2994.05/3002.98 c dualval : 0.00 0.00 0 0 0
2994.05/3002.98 c farkasdiving : 1.72 0.00 1 0 0
2994.05/3002.98 c feasjump : 0.00 0.00 0 0 0
2994.05/3002.98 c feaspump : 0.55 0.00 1 0 0
2994.05/3002.98 c fixandinfer : 0.00 0.00 0 0 0
2994.05/3002.98 c fracdiving : 6.96 0.00 16 0 0
2994.05/3002.98 c gins : 0.01 0.00 0 0 0
2994.05/3002.98 c guideddiving : 8.70 0.00 19 0 0
2994.05/3002.98 c indcoefdiving : 0.00 0.00 0 0 0
2994.05/3002.98 c indicator : 0.00 0.00 0 0 0
2994.05/3002.98 c indicatordiving : 0.00 0.00 0 0 0
2994.05/3002.98 c indoneopt : 0.00 0.00 0 0 0
2994.05/3002.98 c indrounding : 0.00 0.00 0 0 0
2994.05/3002.98 c indtwoopt : 0.00 0.00 0 0 0
2994.05/3002.98 c intdiving : 0.00 0.00 0 0 0
2994.05/3002.98 c intshifting : 0.00 0.00 0 0 0
2994.05/3002.98 c linesearchdiving : 9.87 0.00 16 4 4
2994.05/3002.98 c localbranching : 0.00 0.00 0 0 0
2994.05/3002.98 c locks : 0.01 0.00 1 0 0
2994.05/3002.98 c lpface : 0.00 0.00 0 0 0
2994.05/3002.98 c mpec : 0.00 0.00 0 0 0
2994.05/3002.98 c multistart : 0.00 0.00 0 0 0
2994.05/3002.98 c mutation : 0.00 0.00 0 0 0
2994.05/3002.98 c nlpdiving : 0.00 0.00 0 0 0
2994.05/3002.98 c objpscostdiving : 43.76 0.00 5 2 0
2994.05/3002.98 c octane : 0.00 0.00 0 0 0
2994.05/3002.98 c ofins : 0.00 0.00 0 0 0
2994.05/3002.98 c oneopt : 0.02 0.00 11 0 0
2994.05/3002.98 c padm : 0.00 0.00 0 0 0
2994.05/3002.98 c proximity : 0.00 0.00 0 0 0
2994.05/3002.98 c pscostdiving : 8.13 0.00 18 1 1
2994.05/3002.98 c randrounding : 0.22 0.00 157 0 0
2994.05/3002.98 c rens : 0.55 0.00 1 0 0
2994.05/3002.98 c reoptsols : 0.00 0.00 0 0 0
2994.05/3002.98 c repair : 0.00 0.00 0 0 0
2994.05/3002.98 c rins : 0.13 0.00 2 1 1
2994.05/3002.98 c rootsoldiving : 11.50 0.00 6 6 0
2994.05/3002.98 c rounding : 0.29 0.00 882 0 0
2994.05/3002.98 c scheduler : 0.00 0.00 0 0 0
2994.05/3002.98 c shiftandpropagate: 0.00 0.00 0 0 0
2994.05/3002.98 c shifting : 1.48 0.00 519 0 0
2994.05/3002.98 c simplerounding : 0.00 0.00 0 0 0
2994.05/3002.98 c smallcard : 0.00 0.00 0 0 0
2994.05/3002.98 c subnlp : 0.00 0.00 0 0 0
2994.05/3002.98 c trivial : 0.00 0.00 2 0 0
2994.05/3002.98 c trivialnegation : 0.00 0.00 0 0 0
2994.05/3002.98 c trustregion : 0.00 0.00 0 0 0
2994.05/3002.98 c trysol : 0.00 0.00 0 0 0
2994.05/3002.98 c twoopt : 0.00 0.00 0 0 0
2994.05/3002.98 c undercover : 0.08 0.00 1 0 0
2994.05/3002.98 c vbounds : 0.05 0.00 1 1 1
2994.05/3002.98 c veclendiving : 7.59 0.00 16 0 0
2994.05/3002.98 c zeroobj : 0.00 0.00 0 0 0
2994.05/3002.98 c zirounding : 0.22 0.00 988 0 0
2994.05/3002.98 c other solutions : - - - 0 -
2994.05/3002.98 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
2994.05/3002.98 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2994.05/3002.98 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
2994.05/3002.98 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
2994.05/3002.98 c primal LP : 0.93 494 0 0.00 0.00 0.93 494
2994.05/3002.98 c dual LP : 1638.59 5887 5193744 981.80 3169.63 1.22 597
2994.05/3002.98 c lex dual LP : 0.00 0 0 0.00 -
2994.05/3002.98 c barrier LP : 0.00 0 0 0.00 - 0.00 0
2994.05/3002.98 c resolve instable : 0.00 0 0 0.00 -
2994.05/3002.98 c diving/probing LP: 125.98 3753 558180 148.73 4430.53
2994.05/3002.98 c strong branching : 737.32 3471 2382589 686.43 3231.42 - - 3812
2994.05/3002.98 c (at root node) : - 47 31336 666.72 -
2994.05/3002.98 c conflict analysis: 2.15 600 5989 9.98 2781.77
2994.05/3002.98 c B&B Tree :
2994.05/3002.98 c number of runs : 1
2994.05/3002.98 c nodes : 1708 (988 internal, 720 leaves)
2994.05/3002.98 c feasible leaves : 2
2994.05/3002.98 c infeas. leaves : 26
2994.05/3002.98 c objective leaves : 692
2994.05/3002.98 c nodes (total) : 1708 (988 internal, 720 leaves)
2994.05/3002.98 c nodes left : 0
2994.05/3002.98 c max depth : 25
2994.05/3002.98 c max depth (total): 25
2994.05/3002.98 c backtracks : 721 (42.2%)
2994.05/3002.98 c early backtracks : 0 (0.0%)
2994.05/3002.98 c nodes exc. ref. : 0 (0.0%)
2994.05/3002.98 c delayed cutoffs : 2
2994.05/3002.98 c repropagations : 63 (3766 domain reductions, 2 cutoffs)
2994.05/3002.98 c avg switch length: 6.86
2994.05/3002.98 c switching time : 1.63
2994.05/3002.98 c Root Node :
2994.05/3002.98 c First LP value : +0.00000000000000e+00
2994.05/3002.98 c First LP Iters : 100 (14768.87 Iter/sec)
2994.05/3002.98 c First LP Time : 0.01
2994.05/3002.98 c Final Dual Bound : +2.31200000000000e+03
2994.05/3002.98 c Final Root Iters : 3332
2994.05/3002.98 c Root LP Estimate : +6.68472326848561e+03
2994.05/3002.98 c Solution :
2994.05/3002.98 c Solutions found : 20 (12 improvements)
2994.05/3002.98 c First Solution : +2.08250000000000e+04 (in run 1, after 1 nodes, 0.72 seconds, depth 52, found by <clique>)
2994.05/3002.98 c Gap First Sol. : infinite
2994.05/3002.98 c Gap Last Sol. : 96.39 %
2994.05/3002.98 c Primal Bound : +2.31200000000000e+03 (in run 1, after 836 nodes, 1326.54 seconds, depth 22, found by <relaxation>)
2994.05/3002.98 c Dual Bound : +2.31200000000000e+03
2994.05/3002.98 c Gap : 0.00 %
2994.05/3002.98 c Integrals : Total Avg%
2994.05/3002.98 c primal-dual : 164660.51 54.83
2994.05/3002.98 c primal-ref : - - (not evaluated)
2994.05/3002.98 c dual-ref : - - (not evaluated)
2994.15/3003.03 c Time complete: 2994.2.
OK 2312
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61705 MiB free)
memory of node 1: 64510 MiB (58269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432929-1721168395/watcher-4432929-1721168395 -o /tmp/evaluation-result-4432929-1721168395/solver-4432929-1721168395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900913 --watchdog 3760 pbscip -f HOME/instance-4432929-1721168395.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=904069, runsolver pid=904066
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122823820/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=81852 memory=42744 CPUtime=0.09 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 8184 0 0 0 9 0 0 0 20 0 1 0 169001348 83816448 10686 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 20463 10686 3760 3540 0 8720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81852 KiB
Current children cumulated memory: 42744 KiB
[startup+0.205463 s]*
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122809884/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=93792 memory=55068 CPUtime=0.2 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 11206 0 0 0 19 1 0 0 20 0 1 0 169001348 96043008 13767 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 23448 13767 3808 3540 0 11705 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93792 KiB
Current children cumulated memory: 55068 KiB
[startup+0.305422 s]*
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122807652/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=95640 memory=56916 CPUtime=0.3 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 11665 0 0 0 29 1 0 0 20 0 1 0 169001348 97935360 14229 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 23910 14229 3808 3540 0 12167 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95640 KiB
Current children cumulated memory: 56916 KiB
[startup+0.700174 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122807652/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=131224 memory=78096 CPUtime=0.69 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 16934 0 0 0 67 2 0 0 20 0 1 0 169001348 134373376 19524 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 32806 19524 3824 3540 0 21063 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131224 KiB
Current children cumulated memory: 78096 KiB
[startup+1.50022 s]
/proc/loadavg: 4.07 4.13 4.09 6/251 904087
/proc/meminfo: memFree=123094872/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=205436 memory=151068 CPUtime=1.48 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 37079 0 0 0 142 6 0 0 20 0 1 0 169001348 210366464 37767 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 51359 37767 4000 3540 0 39616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205436 KiB
Current children cumulated memory: 151068 KiB
[startup+3.10534 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904116
/proc/meminfo: memFree=122689928/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=262344 memory=205736 CPUtime=3.09 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 50800 0 0 0 301 8 0 0 20 0 1 0 169001348 268640256 51434 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 65586 51434 4000 3540 0 53843 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 262344 KiB
Current children cumulated memory: 205736 KiB
[startup+6.30021 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904121
/proc/meminfo: memFree=122620804/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=271076 memory=213920 CPUtime=6.27 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 52873 0 0 0 619 8 0 0 20 0 1 0 169001348 277581824 53480 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 67769 53480 4000 3540 0 56026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 271076 KiB
Current children cumulated memory: 213920 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=123091880/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=291692 memory=231012 CPUtime=12.65 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 57162 0 0 0 1256 9 0 0 20 0 1 0 169001348 298692608 57753 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 72923 57753 4000 3540 0 61180 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 291692 KiB
Current children cumulated memory: 231012 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 904216
/proc/meminfo: memFree=122039288/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=350168 memory=278748 CPUtime=25.42 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 69139 0 0 0 2530 12 0 0 20 0 1 0 169001348 358572032 69687 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 87542 69687 4000 3540 0 75799 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 350168 KiB
Current children cumulated memory: 278748 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 904220
/proc/meminfo: memFree=121271864/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=350168 memory=281024 CPUtime=50.96 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 69348 0 0 0 5083 13 0 0 20 0 1 0 169001348 358572032 70256 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 87542 70256 4000 3540 0 75799 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 350168 KiB
Current children cumulated memory: 281024 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 904230
/proc/meminfo: memFree=120974124/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=580568 memory=476652 CPUtime=102.02 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 76864 0 0 0 10184 18 0 0 20 0 1 0 169001348 594501632 119163 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 145142 119163 4015 3540 0 133399 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 580568 KiB
Current children cumulated memory: 476652 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 904240
/proc/meminfo: memFree=120328512/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=617144 memory=509584 CPUtime=161.86 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 81280 0 0 0 16167 19 0 0 20 0 1 0 169001348 631955456 127396 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 154286 127396 4015 3540 0 142543 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 617144 KiB
Current children cumulated memory: 509584 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 904250
/proc/meminfo: memFree=120014384/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=752828 memory=660552 CPUtime=221.71 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 92476 0 0 0 22148 23 0 0 20 0 1 0 169001348 770895872 165138 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 188207 165138 4015 3540 0 176464 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 752828 KiB
Current children cumulated memory: 660552 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 904262
/proc/meminfo: memFree=119084712/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=918192 memory=852976 CPUtime=281.55 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 100804 0 0 0 28129 26 0 0 20 0 1 0 169001348 940228608 213244 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 229548 213244 4015 3540 0 217805 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 918192 KiB
Current children cumulated memory: 852976 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 904657
/proc/meminfo: memFree=118744092/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=979988 memory=893924 CPUtime=341.41 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 107008 0 0 0 34113 28 0 0 20 0 1 0 169001348 1003507712 223481 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 244997 223481 4015 3540 0 233254 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 979988 KiB
Current children cumulated memory: 893924 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 904667
/proc/meminfo: memFree=118476352/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=1104764 memory=994144 CPUtime=401.27 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 114357 0 0 0 40097 30 0 0 20 0 1 0 169001348 1131278336 248536 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 276191 248536 4015 3540 0 264448 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1104764 KiB
Current children cumulated memory: 994144 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 904678
/proc/meminfo: memFree=118389396/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=1205932 memory=1040508 CPUtime=461.12 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 121202 0 0 0 46080 32 0 0 20 0 1 0 169001348 1234874368 260127 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 301483 260127 4015 3540 0 289740 0
################
# More data... #
################
/proc/loadavg: 4.07 4.11 4.13 5/259 905866
/proc/meminfo: memFree=116769460/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2069360 memory=1700032 CPUtime=2554.79 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 185446 0 0 0 255417 62 0 0 20 0 1 0 169001348 2119024640 425008 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 517340 425008 4031 3540 0 505597 0
Current children cumulated CPU time: 2554.79 s
Current children cumulated vsize: 2069360 KiB
Current children cumulated memory: 1700032 KiB
[startup+2622.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 905876
/proc/meminfo: memFree=116766008/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2082616 memory=1703180 CPUtime=2614.62 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 186618 0 0 0 261399 63 0 0 20 0 1 0 169001348 2132598784 425795 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 520654 425795 4031 3540 0 508911 0
Current children cumulated CPU time: 2614.62 s
Current children cumulated vsize: 2082616 KiB
Current children cumulated memory: 1703180 KiB
[startup+2682.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/258 905888
/proc/meminfo: memFree=116759856/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2087688 memory=1708428 CPUtime=2674.43 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 188812 0 0 0 267380 63 0 0 20 0 1 0 169001348 2137792512 427107 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 521922 427107 4031 3540 0 510179 0
Current children cumulated CPU time: 2674.43 s
Current children cumulated vsize: 2087688 KiB
Current children cumulated memory: 1708428 KiB
[startup+2742.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/255 905898
/proc/meminfo: memFree=116755944/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2087688 memory=1708428 CPUtime=2734.25 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 189220 0 0 0 273361 64 0 0 20 0 1 0 169001348 2137792512 427107 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 521922 427107 4031 3540 0 510179 0
Current children cumulated CPU time: 2734.25 s
Current children cumulated vsize: 2087688 KiB
Current children cumulated memory: 1708428 KiB
[startup+2802.3 s]
/proc/loadavg: 4.60 4.24 4.16 5/254 905908
/proc/meminfo: memFree=116704524/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2087928 memory=1708712 CPUtime=2794.07 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 189707 0 0 0 279342 65 0 0 20 0 1 0 169001348 2138038272 427178 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 521982 427178 4031 3540 0 510239 0
Current children cumulated CPU time: 2794.07 s
Current children cumulated vsize: 2087928 KiB
Current children cumulated memory: 1708712 KiB
[startup+2862.3 s]
/proc/loadavg: 4.34 4.23 4.16 5/255 905920
/proc/meminfo: memFree=116699556/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2089744 memory=1710480 CPUtime=2853.88 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 190622 0 0 0 285323 65 0 0 20 0 1 0 169001348 2139897856 427620 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 522436 427620 4031 3540 0 510693 0
Current children cumulated CPU time: 2853.88 s
Current children cumulated vsize: 2089744 KiB
Current children cumulated memory: 1710480 KiB
[startup+2922.3 s]
/proc/loadavg: 4.24 4.21 4.16 5/255 905930
/proc/meminfo: memFree=116677812/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093068 memory=1712752 CPUtime=2913.69 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 191610 0 0 0 291304 65 0 0 20 0 1 0 169001348 2143301632 428188 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523267 428188 4031 3540 0 511524 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 2093068 KiB
Current children cumulated memory: 1712752 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.15 6/255 905940
/proc/meminfo: memFree=116676664/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093392 memory=1712856 CPUtime=2973.51 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192054 0 0 0 297285 66 0 0 20 0 1 0 169001348 2143633408 428214 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523348 428214 4031 3540 0 511605 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 2093392 KiB
Current children cumulated memory: 1712856 KiB
[startup+3003.05 s]
# the end of solver process 904069 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2993.52 s, system=0.693884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2982.4 s]
/proc/loadavg: 4.14 4.19 4.15 6/255 905940
/proc/meminfo: memFree=116676664/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093392 memory=1712856 CPUtime=2973.61 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192055 0 0 0 297295 66 0 0 20 0 1 0 169001348 2143633408 428214 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523348 428214 4031 3540 0 511605 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 2093392 KiB
Current children cumulated memory: 1712856 KiB
[startup+2995.2 s]
/proc/loadavg: 4.11 4.18 4.15 5/255 905943
/proc/meminfo: memFree=116676120/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093788 memory=1713300 CPUtime=2986.37 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192277 0 0 0 298571 66 0 0 20 0 1 0 169001348 2144038912 428325 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523447 428325 4031 3540 0 511704 0
Current children cumulated CPU time: 2986.37 s
Current children cumulated vsize: 2093788 KiB
Current children cumulated memory: 1713300 KiB
[startup+2998.4 s]
/proc/loadavg: 4.18 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675708/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2093984 memory=1713564 CPUtime=2989.57 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192343 0 0 0 298891 66 0 0 20 0 1 0 169001348 2144239616 428391 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523496 428391 4031 3540 0 511753 0
Current children cumulated CPU time: 2989.57 s
Current children cumulated vsize: 2093984 KiB
Current children cumulated memory: 1713564 KiB
[startup+3001.6 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675656/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2094176 memory=1713660 CPUtime=2992.75 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192445 0 0 0 299209 66 0 0 20 0 1 0 169001348 2144436224 428415 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523544 428415 4031 3540 0 511801 0
Current children cumulated CPU time: 2992.75 s
Current children cumulated vsize: 2094176 KiB
Current children cumulated memory: 1713660 KiB
[startup+3002.4 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675572/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2094368 memory=1713900 CPUtime=2993.55 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192494 0 0 0 299289 66 0 0 20 0 1 0 169001348 2144632832 428475 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523592 428475 4031 3540 0 511849 0
Current children cumulated CPU time: 2993.55 s
Current children cumulated vsize: 2094368 KiB
Current children cumulated memory: 1713900 KiB
[startup+3002.8 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675572/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2094368 memory=1713900 CPUtime=2993.95 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192496 0 0 0 299329 66 0 0 20 0 1 0 169001348 2144632832 428475 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 523592 428475 4031 3540 0 511849 0
Current children cumulated CPU time: 2993.95 s
Current children cumulated vsize: 2094368 KiB
Current children cumulated memory: 1713900 KiB
[startup+3003 s]*
/proc/loadavg: 4.17 4.19 4.16 5/255 905943
/proc/meminfo: memFree=116675376/131524600 swapFree=131071996/131071996
[pid=904069] ppid=904066 vsize=2091380 memory=1711056 CPUtime=2994.15 cores=4,6
/proc/904069/stat : 904069 (pbscip) R 904066 904069 900902 0 -1 4194304 192496 0 0 0 299349 66 0 0 20 0 1 0 169001348 2141573120 427764 134679101440 4194304 18693293 140734180561408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29208576 140734180570116 140734180570215 140734180570215 140734180577230 0
/proc/904069/statm: 522845 427764 4031 3540 0 511102 0
Current children cumulated CPU time: 2994.15 s
Current children cumulated vsize: 2091380 KiB
Current children cumulated memory: 1711056 KiB
Child status: 0
Real time (s): 3003.05
CPU time (s): 2994.21
CPU user time (s): 2993.52
CPU system time (s): 0.693884
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 2094368
Max. memory (cumulated for all children) (KiB): 1713900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2993.52
system time used= 0.693884
maximum resident set size= 1713900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192544
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= 48
involuntary context switches= 3562
# summary of solver processes directly reported to runsolver:
# pid: 904069
# total CPU time (s): 2994.21
# total CPU user time (s): 2993.52
# total CPU system time (s): 0.693884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.58827 second user time and 13.4129 second system time
The end
Begin job on nodeC017 at 2024-07-17 00:20:07 IDJOB=4432929 IDBENCH=158576 IDSOLVER=3059 FILE ID=nodeC017/4432929-1721168395 RUNJOBID= nodeC017-1721164808-900913 SLURM_JOB_ID= 7505785 Free space on /tmp= 890016 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432929-1721168395/watcher-4432929-1721168395 -o /tmp/evaluation-result-4432929-1721168395/solver-4432929-1721168395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900913 --watchdog 3760 pbscip -f HOME/instance-4432929-1721168395.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c RANDOM SEED=817372733 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.216 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.456 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.781 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.125 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.524 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.440 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.165 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.084 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122854844 kB MemAvailable: 127543304 kB Buffers: 440176 kB Cached: 5036076 kB SwapCached: 0 kB Active: 1017496 kB Inactive: 6944892 kB Active(anon): 1520 kB Inactive(anon): 2522328 kB Active(file): 1015976 kB Inactive(file): 4422564 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 37448 kB Writeback: 0 kB AnonPages: 2486144 kB Mapped: 139488 kB Shmem: 37720 kB KReclaimable: 179136 kB Slab: 295172 kB SReclaimable: 179136 kB SUnreclaim: 116036 kB KernelStack: 4064 kB PageTables: 14560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3019704 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62880 kB HardwareCorrupted: 0 kB AnonHugePages: 2111488 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 246484 kB DirectMap2M: 33081344 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 889992 MiB End job on nodeC017 at 2024-07-17 01:10:11