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 | 5 | 29.8578 | 29.9487 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb |
| MD5SUM | b5103574c4a35f60a2227b90ce19b385 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.748043 |
| 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 | 4447 |
| Total number of constraints | 4926 |
| Number of constraints which are clauses | 4205 |
| Number of constraints which are cardinality constraints (but not clauses) | 721 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 27 |
| Number of terms in the objective function | 4447 |
| Biggest coefficient in the objective function | 2128 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 12580 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2128 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 12580 |
| Number of bits of the biggest sum of numbers | 14 |
| 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.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4484548-1751294999.opb>
0.00/0.05 c original problem has 4447 variables (4447 bin, 0 int, 0 impl, 0 cont) and 4926 constraints
0.00/0.05 c problem read in 0.04
0.00/0.09 o 8324
0.00/0.09 o 8284
0.00/0.09 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 8.284000e+03
0.00/0.09 c presolving:
0.09/0.11 c (round 1, fast) 4 del vars, 4 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4211 clqs
0.09/0.14 c (0.1s) running MILP presolver
0.09/0.16 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 3 fixings, 0 bound changes
0.09/0.17 c (round 2, exhaustive) 8 del vars, 9 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4208 clqs
0.09/0.22 c (round 3, exhaustive) 9 del vars, 10 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 4879 upgd conss, 0 impls, 4207 clqs
0.20/0.26 c (round 4, exhaustive) 10 del vars, 10 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 1 chg coeffs, 4916 upgd conss, 0 impls, 4207 clqs
1.18/1.28 c (1.3s) probing: 1000/4437 (22.5%) - 0 fixings, 0 aggregations, 1963 implications, 0 bound changes
1.18/1.28 c (1.3s) probing: 1001/4437 (22.6%) - 0 fixings, 0 aggregations, 1965 implications, 0 bound changes
1.18/1.28 c (1.3s) probing aborted: 1000/1000 successive useless probings
1.18/1.29 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.28/1.31 c (1.3s) no symmetry present (symcode time: 0.00)
1.28/1.31 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1.28/1.31 c 10 deleted vars, 10 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients
1.28/1.31 c 0 implications, 6172 cliques
1.28/1.31 c presolved problem has 4437 variables (4437 bin, 0 int, 0 impl, 0 cont) and 4916 constraints
1.28/1.31 c 700 constraints of type <knapsack>
1.28/1.31 c 4207 constraints of type <setppc>
1.28/1.31 c 9 constraints of type <logicor>
1.28/1.31 c transformed objective value is always integral (scale: 1)
1.28/1.31 c Presolving Time: 1.23
1.28/1.31 c - non default parameters ----------------------------------------------------------------------
1.28/1.31 c # SCIP version 10.0.0
1.28/1.31 c
1.28/1.31 c # maximal time in seconds to run
1.28/1.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.28/1.31 c limits/time = 3596.993064
1.28/1.31 c
1.28/1.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.28/1.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.28/1.31 c limits/memory = 27900
1.28/1.31 c
1.28/1.31 c # belongs reading time to solving time?
1.28/1.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.28/1.31 c timing/reading = TRUE
1.28/1.31 c
1.28/1.31 c -----------------------------------------------------------------------------------------------
1.28/1.31 c start solving
1.28/1.31 c
1.28/1.33 o 8272
1.28/1.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.33 c t 1.3s| 1 | 0 | 0 | - | trivial| 0 |4437 |4916 | 0 | 0 | 0 | 0 | 0 |-2.119000e+03 | 8.272000e+03 | Inf | unknown
1.37/1.44 o 312
1.37/1.44 c p 1.4s| 1 | 0 | 0 | - | clique| 0 |4437 |4916 |4916 | 0 | 0 | 0 | 0 |-2.119000e+03 | 3.120000e+02 | Inf | unknown
1.47/1.52 o 191
1.47/1.52 c p 1.5s| 1 | 0 | 0 | - | vbounds| 0 |4437 |4925 |4916 | 0 | 0 | 9 | 0 |-2.119000e+03 | 1.910000e+02 | Inf | unknown
5.27/5.32 c 5.3s| 1 | 0 | 12943 | - | 53M | 0 |4437 |4939 |4916 | 0 | 0 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
6.16/6.28 c 6.3s| 1 | 0 | 13499 | - | 60M | 0 |4437 |4939 |4925 | 9 | 1 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
6.76/6.87 c 6.9s| 1 | 0 | 14140 | - | 61M | 0 |4437 |4939 |4930 | 14 | 2 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
7.36/7.45 c 7.4s| 1 | 0 | 14701 | - | 62M | 0 |4437 |4939 |4942 | 26 | 3 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
7.86/7.91 c 7.9s| 1 | 0 | 14844 | - | 63M | 0 |4437 |4939 |4947 | 31 | 4 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
8.36/8.41 c 8.4s| 1 | 0 | 15001 | - | 64M | 0 |4437 |4939 |4956 | 40 | 5 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
8.86/8.90 c 8.9s| 1 | 0 | 15127 | - | 65M | 0 |4437 |4939 |4961 | 45 | 6 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
9.35/9.40 c 9.4s| 1 | 0 | 15257 | - | 65M | 0 |4437 |4939 |4964 | 48 | 7 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
9.85/9.93 c 9.9s| 1 | 0 | 15448 | - | 66M | 0 |4437 |4939 |4972 | 56 | 8 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
10.35/10.48 c 10.5s| 1 | 0 | 15611 | - | 67M | 0 |4437 |4939 |4979 | 63 | 9 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
10.96/11.02 c 11.0s| 1 | 0 | 15722 | - | 67M | 0 |4437 |4939 |4983 | 67 | 10 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
11.45/11.52 c 11.5s| 1 | 0 | 16557 | - | 68M | 0 |4437 |4939 |4993 | 77 | 11 | 23 | 0 | 5.000000e+00 | 1.910000e+02 |3720.00%| unknown
21.12/21.20 o 7
21.12/21.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.12/21.20 c d21.2s| 1 | 0 | 47958 | - |farkasdi| 0 |4437 |4939 |4993 | 0 | 11 | 23 | 0 | 5.000000e+00 | 7.000000e+00 | 40.00%| unknown
29.80/29.90 o 5
29.80/29.90 c L29.9s| 1 | 0 | 72366 | - | rens| 0 |4437 |4942 |4993 | 77 | 11 | 26 | 0 | 5.000000e+00 | 5.000000e+00 | 0.00%| unknown
29.80/29.91 c 29.9s| 1 | 0 | 72366 | - | 69M | 0 |4437 |4942 |4993 | 77 | 11 | 26 | 0 | 5.000000e+00 | 5.000000e+00 | 0.00%| unknown
29.80/29.91 c
29.80/29.91 c SCIP Status : problem is solved [optimal solution found]
29.80/29.91 c Solving Time (sec) : 29.89
29.80/29.91 c Solving Nodes : 1
29.80/29.91 c Primal Bound : +5.00000000000000e+00 (9 solutions)
29.80/29.91 c Dual Bound : +5.00000000000000e+00
29.80/29.91 c Gap : 0.00 %
29.80/29.91 s OPTIMUM FOUND
29.80/29.91 v x1 x2860 x2859 x2570 -x4411 x2562 -x4232 x4258 -x2864 x2567 x4412 x2569 -x2857 x4410 -x2858 -x4244 x2566 x3197 -x4236 x2561 -x4231
29.80/29.91 v x4257 x3189 -x4229 x4259 x2568 -x2863 x4413 -x4241 x4401 -x4243 x3194 x2565 x3196 x4240 x2559 x3193 -x4235 -x2787 x3188 -x4230
29.80/29.91 v x4260 -x3111 x2783 -x2861 -x4242 x4405 x2782 x3195 -x4400 -x4398 x2563 -x4239 x2788 -x2560 -x2786 x3192 -x4233 x4255 x3186
29.80/29.91 v x4256 x4252 x4248 -x3112 -x3110 x3598 x4332 -x4447 x4446 -x3479 -x2862 x3475 x4409 -x3473 x2784 x4404 x2785 x2564 x2789 -x4237
29.80/29.91 v -x4399 -x1112 x2770 x4254 x3190 -x3594 -x4234 x4253 x3187 -x3593 x4251 x3113 x4247 -x3097 x3599 x4329 x3597 x4331 x4328
29.80/29.91 v -x2271 x1108 x3483 x1107 -x3478 x4408 -x3474 x4402 x1113 -x2781 x1111 -x4238 -x2769 x3191 -x2767 x3595 x3109 x3596 x4249 x3600
29.80/29.91 v x4245 -x4330 -x4395 -x3101 x3579 -x3096 -x4394 -x3094 -x4327 -x4323 x4201 x2270 -x3948 x3989 -x3985 x3980 x4287 -x2275 -x3981
29.80/29.91 v x4286 x2850 x3482 x1109 -x3476 x4406 x1110 -x2778 x1114 -x2780 x4403 -x574 x2853 x2777 x2854 -x640 -x2232 x2773 x3106 -x1776
29.80/29.91 v -x2768 x3108 x3592 x4250 -x3105 x3580 x4197 x4246 -x2235 x3584 -x2236 -x3100 x3578 x4196 -x4396 -x1237 -x1779 x3576 -x4397
29.80/29.91 v -x1780 -x2141 -x3095 -x4325 x4202 x4381 x4200 -x4324 -x2144 -x2145 x1563 x4445 x1561 -x3930 -x2066 x2272 -x3947 x3988 -x4297
29.80/29.91 v -x3984 x4296 x15 -x2276 x4295 x16 -x570 -x2274 x4291 -x3952 -x569 -x636 x2849 x3480 -x4284 -x4285 -x635 -x2779 x2851 -x3277
29.80/29.91 v -x3477 x4407 -x575 x1106 x2856 -x573 x2855 -x641 x1098 -x639 x2776 -x3280 -x1233 -x2231 -x2771 x3107 -x3281 -x375 x3589 -x1232
29.80/29.91 v -x1775 -x2233 x3591 x113 x2238 x1532 -x1777 x2237 -x3104 -x3588 -x1238 -x1782 -x2667 -x1236 -x1781 -x3098 x3583 x4198 x4199
29.80/29.91 v -x4393 -x2140 -x3577 x4203 -x4326 -x961 x1535 x4182 x4385 x1536 -x2142 -x3013 x4380 x2147 -x3472 -x4378 x2146 x1300 x3464 x1301
29.80/29.91 v x1297 x1564 -x2437 -x3016 x1293 -x1511 x1562 -x3017 -x3929 x18 -x2065 x2273 -x3949 -x3986 x17 -x2277 -x3982 x2259 -x3953
29.80/29.91 v x4294 -x3062 -x3951 x4290 x2070 x571 x3481 x572 x1103 -x371 -x576 x637 x1105 x2852 -x3276 x555 x638 x2836 -x3065 -x3323 -x109
29.80/29.91 v -x370 -x642 x1102 x2835 -x3066 -x3278 x621 x2834 x3283 -x108 -x1097 -x2166 -x2663 x2774 -x3282 -x376 -x4176 -x374 -x4444 x1994
29.80/29.91 v -x2662 -x2772 -x3590 x114 x112 -x957 -x1234 -x2234 x1235 -x2169 x2218 x2668 -x321 -x956 -x1239 x1531 -x1778 -x2170 x2217
29.80/29.91 v -x2666 -x3102 -x3587 -x1218 -x1762 -x1997 -x2216 -x4390 x1533 -x1761 -x1998 -x2713 -x3099 x3581 -x4392 -x962 x1538 -x1760 -x3220
29.80/29.91 v x4195 -x960 x1537 -x2433 x4183 -x4389 -x324 -x3469 -x4187 -x4226 -x325 -x2143 x2432 -x3012 -x3471 x4181 x4384 -x1299 x2127
29.80/29.91 v -x2716 x4179 -x1298 x2126 -x2717 -x3014 -x3468 -x3926 -x4379 x2125 x2438 -x3019 -x2436 -x3018 x3463 -x3925 x1296 -x1957 x1292
29.80/29.91 v -x1510 -x3931 x6 -x2067 x2269 x3950 -x3987 -x5 x2260 -x3319 -x3954 -x3983 -x4 x2071 -x2264 x3936 x4292 x2069 x2258 -x3061
29.80/29.91 v -x3318 -x4288 x2256 -x1104 -x3063 -x3619 -x4172 x568 -x2847 x3068 -x3324 x556 -x2848 -x3067 -x3322 -x4171 x560 x634 -x2844 -x372
29.80/29.91 v x554 x622 -x1101 -x2840 -x3279 -x373 -x552 x626 -x2642 x3263 -x3622 x4177 -x110 -x377 x620 -x1095 -x2165 -x2775 x2832 x3262
29.80/29.91 v -x3623 -x4175 -x111 x356 -x615 x618 x2833 -x3261 x115 -x1726 x1993 -x2167 -x2664 -x3216 x94 x2172 -x2229 -x2665 x1995 x2171
29.80/29.91 v -x2230 x2669 -x3215 -x4222 x1231 -x1773 x2000 -x2226 -x2617 -x2648 -x320 -x958 x1219 -x1633 -x1774 -x1999 -x2222 -x3103 -x3585
29.80/29.91 v -x4221 -x4391 -x959 -x1223 -x1729 -x1770 -x3221 x4192 -x322 -x963 -x1217 x1534 -x1730 -x1766 -x2214 -x2712 -x3219 x3582 x4194
29.80/29.91 v x327 -x942 -x1215 x1518 -x2215 -x4227 -x326 x1517 -x1758 -x1953 -x2714 -x3470 x4191 -x4225 -x4388 -x1516 -x1636 -x1759 x2138
29.80/29.91 v -x2719 -x1637 -x1952 x2139 x2434 -x2718 -x4186 -x4382 -x2120 x2135 x2435 -x1507 x2131 x2439 -x3015 -x3467 x4180 -x1958 x2418
29.80/29.91 v x2999 -x1506 -x1956 -x2123 x2998 -x3461 -x3927 -x911 -x1294 -x2124 x2996 x3928 -x1290 -x1512 x2910 x3932 x14 -x2068 x3946
29.80/29.91 v -x10 -x857 x2072 x2268 -x3544 -x3644 x3937 x2054 -x2252 x3941 -x4293 -x2 -x2253 -x2263 -x2638 -x3320 x3935 -x4289 -x3 x565
29.80/29.91 v -x2846 -x3321 -x3933 x567 -x611 x2257 -x2637 -x2845 -x3064 -x3325 -x3618 x631 x3048 -x3304 -x3548 -x3647 -x564 -x610 x633 x3047
29.80/29.91 v -x3620 -x3648 -x4173 -x2643 -x2843 -x3046 x3274 -x3625 x4174 x559 -x630 -x1099 -x2613 -x2641 -x2839 x3275 -x3624 x4178 x369
29.80/29.91 v -x616 -x3271 -x3417 -x4157 x357 -x553 -x614 x625 -x1096 -x2612 x3267 -x3859 -x107 x361 -x2228 x95 -x355 x619 -x1725 -x2168
29.80/29.91 v -x2227 -x3259 -x99 -x353 -x1228 -x1772 x2152 x2618 -x2661 -x3260 -x93 -x1230 -x1727 -x1771 x1996 -x2151 -x2616 x2649 x3217 -x91
29.80/29.91 v -x283 -x1732 x1980 -x2150 -x2225 -x2653 x3218 -x3862 -x37 x1227 -x1632 -x1731 -x1979 -x2116 -x2221 -x2647 -x3222 -x3586 -x3863
29.80/29.91 v x4193 -x4223 -x955 x1529 -x1769 -x1978 -x2645 -x3201 x4224 -x323 -x943 -x1222 x1530 -x1634 -x1765 x2115 x4228 x307 -x947
29.80/29.91 v -x1526 -x1639 -x2137 -x2887 x4207 x306 -x907 -x941 -x1216 -x1522 -x1638 -x2136 -x2715 -x4190 -x4386 -x40 -x305 -x939 x2121 -x2699
29.80/29.91 v -x41 -x906 -x1514 -x1954 x2119 -x2698 -x2906 -x4184 -x4383 -x1515 x1955 x2134 -x2431 -x2697 x3010 -x1959 x2130 x2419 -x2905
29.80/29.91 v x3011 -x3465 -x912 -x1938 -x2423 x3007 -x910 -x1508 x2417 -x3003 -x3462 -x1295 x1509 -x2415 x2911 x3924 -x1291 -x1513 x2909
29.80/29.91 v x2997 x3920 -x4281 x13 -x2064 -x2255 -x9 -x856 x2055 -x2254 x2267 -x2688 -x2964 x3543 -x3643 -x3945 x2059 -x566 x2053 -x2261
29.80/29.91 v -x3413 -x3645 x3940 -x860 x2051 -x3059 -x3317 x3549 -x3650 -x632 -x861 -x932 x2639 -x3060 -x3305 -x3412 x3547 -x3649 -x3934
29.80/29.91 v x2640 -x2691 -x3056 -x3273 -x3309 -x563 -x612 -x2644 -x2692 -x3052 x3272 -x3303 -x3621 -x366 -x613 -x1262 x2623 -x2841 -x3301
29.80/29.91 v -x3418 -x3605 x4170 -x279 -x368 x557 -x617 -x629 -x1100 -x2837 -x3044 -x3416 -x3604 x4158 -x4432 -x104 x596 -x935 -x3045
29.80/29.91 v -x3270 -x3603 x4162 -x106 -x278 x365 x623 -x784 -x936 -x2614 x3266 -x3858 -x4156 -x2163 x2615 -x2658 -x4154 -x103 x360 -x1229
29.80/29.91 v -x2164 x2619 -x2660 -x2883 -x3860 -x284 x1991 -x2160 -x2598 -x3865 -x4435 -x98 -x282 -x354 -x1728 x1992 x2156 -x2657 -x2882
29.80/29.91 v -x3864 -x4436 -x787 -x952 -x1528 -x1712 -x1988 -x2223 -x2764 x3214 -x36 -x92 -x788 -x954 -x1226 x1527 -x1711 -x1984 -x2148 -x2219
29.80/29.91 v -x2652 x3202 -x318 -x1710 -x1767 -x2149 -x2888 -x3206 x4220 -x38 x319 -x951 -x1220 -x1635 -x1763 -x1976 x2117 -x2646 -x2886
29.80/29.91 v -x3200 x4208 -x43 x315 -x1525 x1619 -x1977 x2118 -x2710 -x3198 -x4212 -x4375 -x42 x311 -x946 -x1521 -x1618 x2122 -x2711 -x4188
29.80/29.91 v x4206 -x4387 -x1617 x2101 -x2428 -x2707 -x3009 x4204 -x303 -x908 -x940 -x2430 -x2703 -x3008 -x4185 -x4277 -x304 x909 -x1951
29.80/29.91 v x2132 -x913 x1939 x2128 -x2427 -x2695 -x2907 -x3466 -x4276 x892 -x1943 -x2696 -x2908 x3006 -x3183 -x3921 -x1937 -x2422 x2912
29.80/29.91 v -x3002 -x3923 x1505 -x1935 x2890 -x4282 -x1366 x1501 -x2416 x3919 -x4280 -x11 x2243 -x7 -x858 -x1258 -x1823 x2063 -x2242
29.80/29.91 v -x2265 -x2687 -x2963 x3545 -x3944 -x863 -x2241 -x3058 -x3314 x3546 -x862 -x1257 -x2058 -x2262 -x2689 -x3057 -x3316 x3550 x3646
29.80/29.91 v x3938 -x2694 -x2967 x3530 x3630 x931 x2052 -x2693 -x2968 -x3313 -x3414 -x3629 -x1263 -x1827 x2636 -x3055 -x3415 -x3616 -x3628
29.80/29.91 v -x4167 -x367 -x561 x933 -x1261 x2624 -x3051 -x3308 -x3419 -x3520 -x3617 x4169 -x609 x938 x2628 -x2842 -x3398 -x3613 -x105
29.80/29.91 v -x558 x597 -x627 -x937 x2622 -x2760 -x2838 -x3302 -x3609 x4166 -x4431 -x601 -x2162 -x2620 -x3268 -x280 -x364 -x595 -x624 -x783
29.80/29.91 v -x2161 -x2659 -x2759 x3264 -x3601 x4161 -x4433 -x281 -x593 -x1990 x2611 -x3523 -x3602 -x4438 -x102 -x285 x358 -x495 -x785
29.80/29.91 v -x1989 x2599 -x3524 -x3861 -x4155 -x4371 -x4437 -x264 -x790 -x1723 -x2159 x2603 -x2765 -x3211 -x3845 -x96 -x789 -x953 -x1724
29.80/29.91 v -x2155 -x2597 -x2656 -x2763 -x2884 -x2931 x3213 -x3844 -x4370 -x317 -x1720 -x1987 -x2224 -x2595 -x2885 -x3843 x4217 -x316 -x1224
29.80/29.91 v -x1716 -x1983 -x2220 -x2650 x2889 -x3210 x4219 -x498 x1630 -x1768 -x2350 -x2709 -x2868 -x4376 -x39 -x446 -x499 -x950 -x1221
29.80/29.91 v x1631 -x1708 -x1764 -x2708 -x3179 -x3205 x4216 -x4374 x23 x314 -x1523 x1627 -x1709 -x2114 -x2934 -x3888 -x22 x310 -x944 -x1519
29.80/29.91 v x1623 x2102 -x2429 -x2935 -x3178 -x3199 -x4189 -x4211 -x21 -x1948 x2106 -x2706 -x1362 -x1615 -x1950 x2100 -x2527 -x2702
29.80/29.91 v x4205 -x449 x905 -x1616 -x2098 -x2133 -x3184 -x450 x893 -x1361 -x1947 -x2129 -x2426 -x3182 -x3922 -x4278 -x813 -x897 x1502 x2904
29.80/29.91 v x3004 -x4279 x891 x1504 -x1942 -x2420 x2892 -x3000 -x4283 -x889 -x1367 -x2530 -x2896 x4261 -x1365 -x1433 x1500 -x1803 -x1932
29.80/29.91 v -x1936 -x2531 x2891 x3918 -x12 -x1339 x2251 -x8 x859 -x1822 -x2062 -x2247 -x2266 -x2965 -x3037 -x3315 -x3942 x845 -x2970
29.80/29.91 v -x3542 x3641 -x545 x844 -x1259 -x2056 -x2239 -x2690 -x2969 x3531 x3642 -x3939 -x843 x1260 -x1828 -x2240 -x2633 x2674 -x3535 -x3615
29.80/29.91 v -x3638 x1264 -x1826 -x2635 -x2673 -x3312 x3529 -x3614 -x3634 -x4168 -x606 x1243 -x2672 -x3041 -x3053 x3411 x3527 -x562
29.80/29.91 v -x608 x934 x2632 -x3049 -x3306 x3399 -x3519 -x3626 -x548 x918 x3403 -x3612 -x3627 -x549 -x605 -x628 x917 -x2627 -x3397 -x3521
29.80/29.91 v -x3608 x4165 x916 -x2608 -x3269 -x3395 x3526 -x362 -x600 -x2346 -x2610 -x2621 -x2761 x3265 -x3525 -x4159 -x4434 -x277 -x1722
29.80/29.91 v -x2762 -x3856 x4418 -x100 x265 x359 -x494 -x594 -x786 -x1721 -x2345 -x2607 -x2766 -x3212 -x3857 -x3884 x4417 -x269 x770 -x2157
29.80/29.91 v -x2745 -x3853 x4416 -x97 -x263 -x496 x769 -x2153 -x2602 -x2654 -x2930 -x3849 -x3883 -x4218 -x4372 -x261 -x501 x768 -x1612
29.80/29.91 v -x1629 -x1719 -x1985 -x2351 -x2881 -x4373 -x500 -x661 -x1225 -x1628 -x1715 -x1981 -x2349 -x2596 -x2651 x2869 -x2932 -x3209 -x3841
29.80/29.91 v x4377 -x34 -x1755 -x2111 -x2873 -x2937 -x3842 -x3889 x4356 -x35 -x445 -x809 -x948 -x2113 -x2867 -x2936 -x2989 -x3203 -x3887
29.80/29.91 v x4215 x31 -x312 -x1524 x1626 -x2865 -x27 x308 -x447 -x808 -x945 -x1520 -x1622 -x1949 x2110 x3180 -x4209 -x452 -x664 -x902
29.80/29.91 v -x2704 x3181 -x19 -x451 -x665 -x904 -x1799 x2105 x2526 -x2700 -x3185 -x4129 -x20 -x814 -x2901 -x2992 -x3164 -x812 x901 -x1363
29.80/29.91 v -x1503 -x1798 -x1928 -x1946 -x2099 -x2424 x2528 -x2903 -x2993 x1364 -x2533 -x3005 x4275 -x896 -x1368 -x1940 -x2421 -x2532 -x2900
29.80/29.91 v -x3001 x4263 x1346 -x1804 -x4132 -x4267 -x890 -x1432 x1499 x1558 -x1802 -x1931 -x2895 -x3256 -x3916 -x4133 -x4262 -x855
29.80/29.91 v -x1317 -x1338 x2250 -x3541 x3640 x854 -x1824 -x2060 -x2246 -x2966 -x3036 -x3540 x3639 -x3668 -x3943 x853 x1825 x2685 -x2952
29.80/29.91 v -x544 x849 -x1829 -x2057 -x2634 x2686 -x2951 x3539 -x1256 -x1343 -x1809 -x2682 -x2950 -x3042 x3408 -x3637 -x546 -x607 -x841 x1244
29.80/29.91 v x2678 -x3040 -x3310 x3410 -x3534 -x3633 -x551 -x842 -x929 x1248 -x3054 -x3672 -x550 x930 x1158 -x1242 -x2631 -x2670 -x3050
29.80/29.91 v -x3307 x3407 -x3528 -x926 -x1240 -x2671 -x3610 -x604 -x759 -x922 -x1608 -x2609 -x2625 x3402 -x3522 -x3606 -x4163 -x274 x3506
29.80/29.91 v -x3855 -x4429 -x276 -x363 -x598 x914 -x1607 -x1751 -x3396 -x3505 -x3854 -x4160 x4430 -x400 x781 -x915 -x1161 -x2758 -x3504
29.80/29.91 v x4426 -x101 -x273 x782 -x1162 x1750 -x2347 -x2606 -x2746 -x4422 -x762 x778 -x1613 -x2158 -x2348 -x2750 -x2878 -x3852 -x268 -x497
29.80/29.91 v -x763 x774 -x1611 -x2154 -x2352 -x2600 -x2655 -x2744 -x2880 -x3848 -x3885 x4414 -x33 -x481 -x1717 x1756 -x1986 -x2331 -x2742
29.80/29.91 v -x3886 -x4369 x4415 -x32 -x262 -x480 -x660 x766 -x1713 x1754 -x1982 -x2112 -x2877 -x2933 -x3207 -x3890 x4357 -x479 x767
29.80/29.91 v x2917 -x3869 x4361 -x662 -x949 -x2872 -x2916 -x2988 -x3204 -x4213 x4355 x30 -x313 x667 x1624 -x2915 -x4353 -x26 x309 x448 -x666
29.80/29.91 v -x810 -x903 -x1620 x2109 -x2866 -x2990 -x4210 x432 -x811 -x2705 -x2995 -x3177 -x431 -x815 -x2103 -x2701 -x2902 -x2994 x3165
29.80/29.91 v -x4128 -x430 -x794 -x3136 x3169 -x4272 -x900 -x1429 -x1554 -x1800 x1927 -x1944 -x2425 x2529 -x3163 -x4130 x4274 -x1360 -x1801
29.80/29.91 v x2513 -x3161 -x4135 -x894 x1348 -x1428 -x1805 x1929 -x1941 -x2512 -x2899 -x4134 -x4271 x1352 x1783 -x1934 -x2510 -x3838 -x300
29.80/29.91 v x1347 -x1434 x1497 x1557 -x1933 -x2893 -x3255 -x3917 -x4266 -x1316 x1340 x2248 x2684 -x2962 -x2061 -x2244 x2683 -x2825 -x2961
29.80/29.91 v -x3038 -x3667 x852 -x1253 -x1344 x1821 -x2960 -x3039 x848 -x1255 -x1342 x1810 -x2956 -x3043 -x3409 -x3538 -x928 -x1321 -x1814
29.80/29.91 v -x2681 -x3023 -x3635 -x3673 -x396 -x547 -x927 x1252 -x1808 -x2677 -x2948 -x3311 -x3532 -x3631 -x3671 x531 -x1806 -x2828
29.80/29.91 v -x2949 -x395 x530 -x711 x1157 -x1247 -x2629 -x2829 x3406 x529 -x925 -x3517 -x3611 -x3977 -x4428 -x275 -x602 -x758 -x921 x1159
29.80/29.91 v -x1241 -x2626 x3400 -x3518 -x3607 -x4164 -x4427 -x401 x780 x1164 -x2755 -x3514 -x399 -x599 -x760 x779 -x1163 -x1609 -x2757
29.80/29.91 v x3510 -x714 -x765 -x1610 x4425 -x272 -x715 -x764 -x1614 x1752 -x2604 -x2754 -x2879 -x3502 -x4421 -x492 x777 -x1593 x1753 -x2344
29.80/29.91 v -x3503 -x3850 -x4366 -x266 -x493 -x773 x1757 x2332 -x2601 -x2749 -x3846 -x4368 -x489 -x1718 -x1736 -x2336 -x2928 x3882 -x485
29.80/29.91 v -x1714 -x2330 -x2743 -x2876 -x2929 -x3132 -x3208 x3870 x4365 -x2328 x2925 -x3874 -x477 x663 -x2870 -x2921 -x3087 -x3131 -x3868
29.80/29.91 v -x4214 x4360 -x28 -x443 -x478 x647 -x1625 -x3174 -x3866 -x24 -x444 x646 -x1621 -x2107 -x2913 x2991 -x3176 x3834 -x4354 -x440
29.80/29.91 v x645 -x807 -x2914 x2975 -x3137 -x436 x795 -x2104 -x2974 -x3135 -x3173 x3833 -x4273 -x799 -x1357 -x2524 -x2973 -x3090 -x428
29.80/29.91 v -x793 -x898 -x1359 x1553 -x1945 -x2525 -x3091 -x3168 -x3252 -x4131 -x429 -x791 -x1797 x2521 -x3839 -x4115 -x895 -x1356 -x1430
29.80/29.91 v x1555 x1785 x1930 -x2517 -x2897 -x3162 -x3251 -x3837 -x4114 -x4270 -x838 x1431 x1560 -x1789 x1913 -x4112 -x299 -x738 -x1351
29.80/29.91 v x1435 -x1498 x1559 -x1784 x1914 -x2511 -x2894 -x3257 -x4264 x1318 x1341 -x1820 -x2249 -x1030 -x1254 -x1345 x1819 -x2245 -x2824
29.80/29.91 v -x3669 x3973 -x850 x1322 x1327 -x2959 -x3035 -x3670 x846 -x1320 -x1818 -x2826 -x2955 x3024 -x3536 -x3674 x3972 -x542 -x2679
29.80/29.91 v -x2831 x3028 -x3636 x3654 x543 x1251 -x1813 -x2675 -x2830 -x3022 -x3533 -x3632 x539 -x3020 -x3516 -x3978 -x397 x535 -x710
29.80/29.91 v -x1245 -x1807 -x2630 x3404 -x3515 -x3976 -x398 -x923 -x402 x527 -x603 -x712 -x919 x1160 -x2756 -x3401 -x381 -x528 -x717 x1144
29.80/29.91 v -x3513 -x134 -x716 -x761 -x1143 x3509 -x491 x745 -x1142 -x1606 -x2341 x4423 -x270 -x490 -x744 -x1080 -x1594 -x2343 -x2605 -x2753
29.80/29.91 v -x4367 -x4419 -x743 x775 -x1598 x1749 -x2927 -x3851 x3879 -x267 -x771 -x1592 x1737 -x2044 -x2340 -x2747 -x2926 -x3847 x3881
29.80/29.91 v -x137 -x488 -x1590 -x1741 -x138 -x484 -x1735 -x2335 -x2874 -x3878 x4364 -x442 x658 -x1083 -x1733 x2924 -x441 x659 -x1084
29.80/29.91 v -x2329 -x2871 -x2920 -x3086 -x3133 -x3175 -x3873 -x4081 x4358 -x29 -x655 -x804 -x2047 x2986 -x3134 -x4320 -x25 x651 -x806 -x834
29.80/29.91 v -x2048 -x2108 x2987 -x3088 -x3138 -x3867 -x439 -x2523 x2983 -x3093 -x3117 -x435 x470 x643 -x734 -x803 -x833 -x1358 -x2522
29.80/29.91 v -x2979 -x3092 -x3172 x3835 x644 -x1794 x3836 -x4084 -x4126 -x296 -x733 -x798 -x899 -x1796 -x2971 -x3166 -x3840 -x4085 -x4127
29.80/29.91 v x839 -x1474 -x1925 x2520 -x2972 -x3819 -x4123 -x295 -x792 x837 -x1355 x1556 x1793 -x1926 -x2516 -x2898 -x3253 -x4119 -x4268
29.80/29.91 v -x473 -x739 x1427 x1539 -x1922 -x3254 -x301 -x474 -x737 -x1349 x1423 x1540 -x1788 -x1918 x3258 -x4113 -x4265 x1319 x1337 -x3034
29.80/29.91 v -x421 -x1029 x1323 x1328 -x3033 -x541 -x851 x1305 x1332 -x2957 x3666 -x540 -x847 -x1326 -x1817 -x2827 -x2953 -x3032 -x3537
29.80/29.91 v x3655 x3974 -x1033 -x1324 -x2680 x2811 -x3659 x3975 -x1034 -x1249 -x1811 -x2676 x2810 -x3027 x3653 -x3979 -x424 -x538 x2809
29.80/29.91 v x3651 x3958 -x425 x534 -x1246 -x1283 -x3021 -x3405 -x394 -x924 -x1155 -x382 -x713 -x920 x1156 -x1658 -x386 -x697 -x756 x1152
29.80/29.91 v -x1603 -x3511 -x133 -x380 -x696 -x757 x1148 -x1605 -x2342 -x3507 -x378 -x695 -x753 -x1286 -x1746 x4424 -x135 -x271 -x749 -x1079
29.80/29.91 v -x1140 -x1287 -x1602 x1748 -x2751 -x3718 x3880 -x4316 -x4420 -x140 x776 -x1141 -x1661 -x1687 -x139 -x741 -x772 -x1081 -x1597
29.80/29.91 v -x1662 x1745 -x2043 -x2339 -x2748 x4315 -x486 x657 -x742 -x1086 -x482 x656 -x1085 -x1591 -x1740 -x2045 -x2333 -x2875 -x3877
29.80/29.91 v x4362 -x2050 -x2922 -x2985 -x3721 x4321 -x159 -x805 -x1470 -x1734 -x2049 -x2918 x2984 -x3722 -x3871 -x4080 -x4319 x4359 -x654
29.80/29.91 v -x3130 x650 -x686 -x1469 -x3089 -x3118 -x4082 -x437 x2982 -x3073 -x3122 -x4087 -x4125 -x433 x469 -x802 -x835 -x1795 -x2978
29.80/29.91 v -x3072 -x3116 -x3170 -x4086 -x4124 -x162 -x524 x836 -x1475 -x1924 -x3071 -x3114 x3832 -x163 x471 -x735 -x796 x840 -x1473 -x1923
29.80/29.91 v -x3167 x3820 -x476 -x689 x736 -x819 -x1424 -x1551 -x2518 x3824 -x4122 x297 -x475 -x690 -x740 -x1353 -x1426 x1552 -x1792 -x2514
29.80/29.91 v -x3818 -x4118 -x4269 x298 -x718 x1548 -x1921 x3250 -x3816 -x88 -x302 -x1350 x1422 x1544 -x1786 -x1917 x3246 x1315 x3665
29.80/29.91 v -x346 -x420 -x1031 x1306 x1336 x3664 x1036 x1310 -x2822 -x2958 -x422 x1007 -x1035 x1304 -x1331 -x1815 -x2823 -x2954 -x3031 -x3663
29.80/29.91 v -x427 -x1302 x2819 x3971 -x426 -x1250 -x1325 -x1812 -x2552 x2815 -x3025 -x3658 x3959 -x349 -x391 -x536 -x1154 x3963 -x350
29.80/29.91 v -x393 -x532 -x1153 -x1282 x1683 x2807 -x3652 x3957 -x708 -x755 -x886 -x1010 -x2808 x3955 -x390 -x709 -x754 -x1011 -x1284 -x1604
29.80/29.91 v -x1657 x1682 -x705 x1151 -x1289 x2555 -x3512 -x385 -x701 x1147 -x1288 -x1659 -x1747 x2556 -x3508 -x752 -x1664 x1688 -x136
29.80/29.91 v -x379 -x693 -x748 -x1601 -x1663 x1686 -x2752 -x3717 -x120 -x694 -x119 -x1082 -x1595 x1744 -x2337 -x3719 x4317 -x118 -x487
29.80/29.91 v x1066 -x3724 x4318 -x483 x520 -x1065 -x1738 -x2046 -x2321 -x2334 -x3723 -x3875 x4322 -x4363 -x1064 x1137 -x2030 -x2923 -x3127
29.80/29.91 v x4301 x158 x519 -x2029 -x2919 -x3129 -x3872 -x652 -x2028 -x3084 x160 x648 -x685 -x1471 -x2503 -x3085 -x3126 -x4083 x165 -x438
29.80/29.91 v -x525 -x1472 -x2324 -x2980 -x3081 -x3697 -x3829 -x4067 x164 -x434 -x523 -x687 -x800 -x1476 -x2325 -x2976 -x3077 -x3121 -x3171
29.80/29.91 v x3831 -x4066 x692 -x832 -x1455 -x1550 -x2023 -x4065 -x84 x472 -x691 -x797 x820 -x1425 -x1549 -x3069 -x3115 -x3828 x456 -x732
29.80/29.91 v x824 -x2506 -x2519 -x3070 x3247 -x4120 -x455 x720 -x818 -x1354 -x1790 -x2507 -x2515 x3249 -x3823 -x4116 -x294 -x453 x724 -x816
29.80/29.91 v -x1547 -x1919 -x3367 -x87 x290 -x719 -x1421 x1543 -x1787 -x1915 x3245 -x3817 -x4060 -x2821 -x345 -x882 x1032 x1314 -x1335
29.80/29.91 v -x2820 x1018 x2803 -x3968 -x347 -x423 -x881 x1006 -x1017 x1309 -x1329 -x1816 -x2804 -x3029 -x3662 x3970 x352 x407 -x1016 -x2818
29.80/29.91 v -x351 -x392 x406 x1008 -x1303 -x2551 x2814 -x3026 -x3656 -x3967 -x405 -x537 -x707 -x887 x1013 -x533 -x706 -x885 x1012 x2553
29.80/29.91 v -x3438 x3962 x2558 -x389 -x1285 x1684 x2557 -x3956 -x704 -x1149 -x1269 x1685 -x383 -x700 -x1133 x1145 -x1268 -x1660 x1689
29.80/29.91 v -x131 -x750 -x1267 -x1644 x1668 -x3441 -x132 -x746 -x1132 -x1599 -x1643 -x3442 -x128 x1077 -x1642 -x62 -x124 x1078 -x1596 -x1742
29.80/29.91 v -x2338 -x3693 -x3720 -x1074 x1138 -x1391 -x2041 -x3704 -x4314 -x116 x1070 x1136 -x1183 -x1739 -x2019 -x2042 -x2320 -x3128
29.80/29.91 v -x3692 -x3703 -x3876 x4302 -x117 -x2038 -x3083 -x3702 -x3813 x4306 x521 -x1062 -x2018 -x2034 -x2322 -x3082 x4300 -x65 x522
29.80/29.91 v -x653 -x1063 -x2195 x2327 -x3698 -x4078 -x4298 -x66 x161 -x526 -x649 -x2026 -x2326 x2502 -x3125 -x3363 -x3696 -x3830 -x4079 x145
29.80/29.91 v -x505 -x829 x1186 -x1468 -x2024 -x2027 -x2981 -x3080 -x4075 x144 -x688 -x801 -x831 x1187 -x1456 -x2022 x2504 -x2977 -x3076
29.80/29.91 v -x3119 -x3362 -x4056 -x4071 -x4105 x143 x467 x672 -x729 -x1460 -x2509 -x83 x468 -x671 -x731 -x828 -x1454 -x2508 -x3248 -x3827
29.80/29.91 v -x4055 -x4063 -x291 x464 -x670 -x1452 -x1910 x3368 -x4064 -x4121 -x85 -x293 -x460 x728 -x823 -x1791 -x3366 -x3821 -x4117 -x90
29.80/29.91 v -x1545 -x1920 x4061 -x4108 -x89 -x289 -x454 x723 -x817 -x1419 -x1541 -x1916 -x2739 x3244 x4059 -x4109 x1028 x2806 x1027 -x1313
29.80/29.91 v -x1333 -x2478 x2805 -x3969 -x418 x1026 x3297 x348 x419 -x883 -x1022 -x1307 -x1330 -x3030 -x3298 -x3660 x332 x415 x884 -x2816
29.80/29.91 v -x331 x411 x888 x1009 -x1014 -x2812 -x3657 -x3966 -x4033 -x330 x867 x993 -x1015 -x2481 -x403 -x992 -x2482 x2554 -x3437
29.80/29.91 v x3960 -x404 -x991 -x1280 x2538 -x387 -x1281 -x1387 x2537 -x3439 -x130 -x702 -x1150 -x1277 -x1655 -x1681 x2536 -x3444 -x4036 -x129
29.80/29.91 v -x384 -x698 x1055 -x1146 -x1273 -x1386 -x1656 x1669 -x3443 -x3809 -x4037 -x751 -x1076 -x1212 -x1652 -x1673 -x747 x1075 -x1134
29.80/29.91 v -x1265 -x1600 -x1648 x1667 -x2191 -x3388 -x3808 -x127 -x1135 -x1266 -x1392 x1665 -x2040 -x3715 -x4012 -x4311 -x61 -x123
29.80/29.91 v x1139 -x1390 -x1640 -x1743 -x2039 -x2190 -x3716 -x4313 -x986 x1058 -x1073 x1118 -x1641 -x3712 -x3814 -x63 x1059 -x1069 -x1182
29.80/29.91 v -x3694 -x3708 -x3812 -x4310 x68 -x2037 -x2196 x3391 -x3695 -x4077 x67 -x1184 -x1906 -x2020 -x2033 -x2194 x2323 -x3392 -x3699
29.80/29.91 v -x3700 -x4076 -x4305 -x156 x518 x1189 -x1465 -x2021 x2307 -x3678 -x3701 -x157 x506 -x830 x1188 -x1467 -x1905 -x2025 -x2306
29.80/29.91 v -x3123 -x4299 -x153 -x466 x510 -x683 x2004 -x2305 -x3078 -x4074 x149 -x465 -x504 -x684 -x730 -x1464 x2505 -x3074 -x3120 -x3364
29.80/29.91 v -x4070 -x4104 -x502 x680 -x1416 -x1911 x2489 -x3365 x141 -x292 -x676 -x827 -x1459 -x1909 -x2488 -x2735 x3369 -x3825 -x4057
29.80/29.91 v -x4106 -x142 -x463 -x2095 -x2487 x3348 -x4058 -x4111 -x86 -x459 -x668 x727 -x821 -x1453 -x3822 x4062 -x4110 x69 -x669 -x1546
29.80/29.91 v x4040 -x70 -x288 x721 -x1420 -x1542 -x1885 -x2738 x3242 -x417 -x2207 x2794 x3300 -x416 -x1311 -x1334 x2371 -x2477 -x2793 x3299
29.80/29.91 v -x343 x1025 -x2792 x344 -x1021 -x1308 -x2479 -x3661 x340 -x414 x880 -x1004 x2484 -x2817 x336 -x410 x868 x1005 -x1208 -x2483
29.80/29.91 v -x2813 -x3964 -x4032 x872 x1001 -x1279 -x2374 -x2549 -x328 x866 -x997 -x1207 -x1278 -x2375 x2550 -x3961 x4008 -x4034 -x329 x864
29.80/29.91 v -x1654 -x1678 -x2546 x4039 -x388 -x982 -x989 -x1653 -x1680 -x2542 x3440 x4007 -x4038 -x703 -x990 -x1213 -x1276 x3424 -x699
29.80/29.91 v -x981 x1054 -x1211 -x1272 -x1388 -x1583 -x1677 x2534 -x3423 -x1389 -x1651 x2535 -x3422 -x3714 -x4013 x1056 -x1393 -x1647 -x1672
29.80/29.91 v x3387 -x3713 -x3810 -x4011 -x4312 -x125 -x987 x1061 -x1131 -x1372 -x3811 -x121 -x985 x1060 x1119 -x1666 -x2192 x3389 -x3569
29.80/29.91 v -x3815 -x1071 x1123 -x1586 x2193 x3394 -x3711 -x3794 -x64 -x1067 x1117 -x1412 -x1587 -x2197 x3393 -x3707 -x4309 x48 -x155
29.80/29.91 v -x515 x1115 -x2035 -x2176 -x2318 x3691 -x3747 -x47 -x154 -x517 -x1185 -x1411 -x1466 -x2031 -x2091 -x2319 x3679 -x4303 -x46 -x682
29.80/29.91 v x1169 x2017 -x2315 -x3572 x3683 -x514 -x681 -x1168 -x1907 x2005 -x2090 -x2296 -x2311 -x3124 -x3573 -x3677 -x152 -x1167 x1417
29.80/29.91 v -x1908 -x2009 x2500 -x3079 -x3675 -x3772 -x4072 -x148 x509 -x1415 -x1463 -x1912 x2003 -x2303 x2501 -x3075 -x4068 -x679 x1891
29.80/29.91 v -x2001 -x2096 -x2304 -x2497 -x3361 -x503 -x675 -x825 -x1457 -x2094 -x2493 -x2734 x3349 -x3826 -x4107 -x81 -x461 -x2299 -x3353
29.80/29.91 v x4054 -x4091 -x82 -x457 x725 -x822 -x2300 -x2485 -x2736 -x3347 x4042 -x4090 -x78 -x2486 x2741 -x3345 x4046 -x4088 x74 -x286
29.80/29.91 v -x722 x1884 -x2740 -x3243 x4041 -x342 x2206 -x2802 x3288 -x341 -x1312 x2370 x2798 x3287 -x877 -x1003 -x1023 x3286 -x879
29.80/29.91 v -x1002 -x1019 x2372 -x2480 -x2790 x339 -x412 -x2211 -x2377 x2464 -x2548 -x2791 x335 -x408 x876 -x2376 -x2463 -x2547 -x3965 x1000
29.80/29.91 v -x2462 -x871 -x996 -x1209 -x1679 x4035 -x1210 -x2545 -x3435 x4019 x865 -x1214 -x2408 -x2541 -x3436 x4009 x4018 x1193 -x1274
29.80/29.91 v -x3432 x4010 x4017 -x983 -x1270 -x1582 -x1676 -x3428 -x3743 x4014 -x984 -x1128 -x1385 -x1649 x3993 -x988 x1057 -x1130 -x1373
29.80/29.91 v x1584 -x1645 -x1670 -x3420 -x3742 -x126 -x967 x1041 -x1377 -x1589 -x2411 -x3421 -x3807 -x122 -x1040 -x1127 -x1371 -x1588 -x2412
29.80/29.91 v x3390 -x3568 -x3768 -x3795 -x59 -x1039 -x1072 -x1369 x2189 -x2317 x3374 -x3688 -x3709 x3748 -x3799 -x60 -x516 -x1068 -x1122
29.80/29.91 v x2177 -x2316 x3373 -x3570 x3690 -x3705 -x3746 -x3767 -x3793 -x4307 x56 -x1180 -x2014 -x2036 x2181 -x3372 -x3575 -x3791 -x52
29.80/29.91 v -x230 x1116 -x1181 -x1413 x2016 -x2032 -x2175 -x3574 x3687 -x4304 x1177 x1414 -x2173 -x2314 -x2499 -x3773 -x44 -x513 -x1173
29.80/29.91 v x1418 -x2013 -x2092 -x2295 -x2310 x2498 x3682 -x3771 -x45 -x150 x1397 -x1904 -x2093 -x3358 -x4073 -x146 -x205 x507 -x1165
29.80/29.91 v -x1461 x1892 -x2008 -x2097 -x2297 -x3360 -x3676 -x4069 -x80 -x233 -x677 -x1166 -x1868 x1896 x2076 -x2302 -x2496 -x4051 -x4102
29.80/29.91 v -x79 -x234 -x673 -x826 -x1458 -x1881 x1890 -x2002 -x2301 -x2492 -x3357 -x4053 -x4103 -x462 x1888 -x4099 -x458 x726 x1880 -x2737
29.80/29.91 v -x3352 -x4050 -x4095 -x77 -x208 x2720 -x3913 x73 -x209 -x287 x1886 -x2721 -x3158 -x3346 x4045 -x4089 x2208 -x2801 x3296 -x878
29.80/29.91 v x2797 x3292 -x1024 -x2212 -x2475 -x2944 -x1020 -x2210 x2373 -x2476 -x2945 x3284 -x337 -x413 x2357 x2472 -x3285 x333 -x409
29.80/29.91 v -x875 -x2356 -x2468 x998 -x2355 -x3434 -x4030 -x869 -x994 -x2460 -x3433 -x4031 x1206 -x2461 -x2543 x4027 -x254 x1194 -x2407
29.80/29.91 v -x2539 x4023 x1198 -x1275 -x1382 -x3431 x4006 -x1129 x1192 -x1271 -x1384 -x1674 -x2409 -x2588 -x3427 x3994 x4015 -x980 -x1052
29.80/29.91 v -x1190 -x1650 x2414 -x3804 -x3998 x4016 x968 -x1053 -x1381 x1585 -x1646 -x1671 -x2413 -x3744 -x3806 -x3992 -x58 -x257 -x972
29.80/29.91 v -x1049 x1569 x2186 -x3385 -x3745 -x3990 -x57 -x258 -x966 -x1045 -x1126 -x1376 -x1568 x2188 -x3386 -x3689 x3749 -x3803 -x964
29.80/29.91 v -x1179 -x1567 x2591 -x3382 -x3710 -x3728 -x1037 -x1120 -x1178 -x1370 -x1864 -x2015 x2185 -x2592 x3378 -x3571 -x3706 -x3769 -x3798
29.80/29.91 v -x4308 -x55 -x1038 x3555 -x3770 -x51 -x229 -x1863 x2180 -x3370 -x3554 x3686 -x3774 -x3792 -x1176 x1410 -x1901 -x2312 -x3371
29.80/29.91 v -x3553 x3753 x231 -x511 -x1172 x1398 -x1903 -x2012 -x2174 -x2308 -x3359 -x3680 -x3909 -x151 x236 -x1402 -x1869 x2089 -x4101
29.80/29.91 v -x147 -x181 -x204 -x235 -x508 -x1396 -x1462 -x1867 -x1900 -x2006 x2077 x2298 -x3154 -x3908 -x4052 -x4100 -x678 -x1394 -x2081
29.80/29.91 v x2282 -x2494 -x206 -x674 -x1895 x2075 -x2281 -x2490 -x3153 -x3356 -x211 -x2073 -x2280 x2732 -x3914 -x4098 -x210 x1882 x1889
29.80/29.91 v x2733 -x3350 -x3912 -x4049 -x4094 -x75 -x184 x1883 -x2729 -x3159 -x71 -x185 x1887 x2725 -x3157 -x3239 -x3458 x4043 x2209 -x2474
29.80/29.91 v -x2799 x2947 -x3295 -x2213 -x2473 x2795 -x2946 x3291 -x2201 x2368 x2369 x3784 -x338 x2365 -x2471 -x4029 x334 -x873 x2361
29.80/29.91 v -x2467 -x4028 -x999 x1203 -x870 -x995 x1205 -x2353 -x2354 -x2544 -x3787 x4003 x4026 -x253 x1202 -x1383 -x2540 -x3788 x4005 x4022
29.80/29.91 v -x977 -x1051 -x3429 -x255 -x979 -x1050 x1197 -x1675 -x2410 -x2587 -x3425 -x3805 -x4002 -x4346 -x260 -x1580 -x2387 x2394
29.80/29.91 v -x3384 -x259 -x976 -x1191 -x1380 x1581 x2187 -x2393 -x2589 -x3383 -x3997 -x1048 -x1577 -x2392 x2594 x3741 -x971 -x1044 -x1124
29.80/29.91 v -x1374 -x1573 -x2453 x2593 x3729 -x3802 -x3991 -x3381 -x3499 -x3566 x3733 -x4349 -x965 -x1121 -x1565 -x2184 -x3377 x3567 -x3727
29.80/29.91 v -x3796 -x4350 -x53 -x1407 -x1566 x3563 -x3725 -x3766 -x49 x1409 -x1490 -x1865 -x1902 -x2178 -x3559 x3684 x3754 -x1174 x1866
29.80/29.91 v -x2086 -x2313 -x2456 x3758 -x4151 x232 -x512 -x1170 -x1406 -x1870 -x2010 -x2088 -x2309 -x2457 -x3551 -x3681 x3752 x216 x1849
29.80/29.91 v -x2293 -x3552 x3750 -x180 x215 -x1401 -x1899 -x2007 -x2085 x2294 -x3235 -x3338 -x3910 x214 -x1493 -x1705 -x2290 -x2495 x2731
29.80/29.91 v x3911 -x182 -x207 -x1395 -x1494 -x1893 -x2080 -x2286 -x2491 x2730 x3155 -x3234 -x3354 -x3454 -x3915 x187 x191 x3156 -x3894
29.80/29.91 v -x4096 x186 x190 -x2074 -x2278 -x3160 -x3351 -x4047 -x4092 -x76 x188 x1879 -x2279 -x2728 x3139 -x3240 -x3341 -x72 x1875 x2724
29.80/29.91 v -x3238 -x3342 -x3457 -x4044 x4443 x2367 -x2800 -x3293 -x1088 x2366 -x2796 -x2941 x3289 -x2205 -x2940 -x2200 x3783 -x2198 x2364
29.80/29.91 v -x2469 -x874 -x1204 x2360 -x2383 -x2465 x3785 -x1091 x3790 -x1092 -x2382 -x3789 x4004 x4024 -x978 x1201 x3495 x4020 -x1579
29.80/29.91 v -x2388 -x2405 -x3430 -x256 -x586 x1195 -x1578 -x2386 -x2406 -x3426 x3494 -x4001 -x4345 x241 -x2402 -x3738 x240 -x975 -x1378
29.80/29.91 v -x1839 -x2398 x2590 x3740 -x3995 -x4147 -x4347 x239 -x1046 -x1576 x2575 -x3500 -x3565 x4352 -x969 -x1042 -x1125 -x1375 -x1572
29.80/29.91 v -x2390 -x2452 x2574 -x3498 -x3564 x3737 -x3800 -x4146 -x4351 -x589 -x2391 x2573 -x3379 -x3763 -x590 -x1408 -x1701 -x2182 -x2454
29.80/29.91 v -x3375 -x3732 -x3765 -x3797 -x54 -x1842 -x2459 -x3562 x4152 -x50 x1445 -x1489 -x1700 -x1843 -x2087 -x2179 -x2458 -x3558
29.80/29.91 v x3685 -x3726 x3762 -x4150 -x227 -x1175 -x1862 -x2292 -x228 -x1171 -x1405 -x1491 x1850 -x1969 -x2011 -x2291 -x3757 x224 x1496
29.80/29.91 v x1706 -x1854 x220 -x1399 -x1495 -x1704 -x1848 -x1897 -x2084 -x3337 x3751 -x202 -x1448 -x1846 -x2289 x3907 -x183 -x203 x212 -x1449
29.80/29.91 v -x1894 -x2078 -x2285 -x3236 -x3339 -x3355 -x3453 x3895 x169 x199 -x213 -x1876 -x1972 -x3152 -x3237 -x3344 -x3899 -x4097
29.80/29.91 v -x168 x195 x1878 -x1973 x3141 -x3241 -x3343 -x3455 -x3893 -x4048 -x4093 -x166 -x2726 -x3144 x3223 -x3460 -x3891 -x189 x1874 -x2722
29.80/29.91 v x3140 -x3459 -x3294 -x1087 x3290 x1089 -x2204 -x2938 x1094 x2362 -x2470 -x2939 x1093 -x2199 -x2358 -x2466 x3786 -x2384
29.80/29.91 v -x3778 -x2385 -x2404 -x3777 x4025 x1199 x2389 -x2403 -x4021 x251 -x2381 x252 -x585 -x1196 x3496 -x3739 -x3999 -x248 -x2401 x2585
29.80/29.91 v x3497 -x245 -x587 -x973 -x1379 -x1838 -x2397 x2586 x3501 -x3996 x4348 -x592 -x1047 -x1574 -x2582 -x3487 x4337 x237 -x591
29.80/29.91 v -x970 -x1043 -x1570 x1840 -x2579 -x3736 -x3764 -x3801 -x4148 x4336 x238 -x1845 -x3380 x4149 x4335 -x1844 -x2183 -x2455 x2571
29.80/29.91 v -x3376 -x3730 x4153 -x226 -x1859 -x2444 -x2572 -x3560 x4139 -x225 x1444 x1702 -x1861 -x2443 -x3556 -x3761 x1703 -x2442 -x1403
29.80/29.91 v x1446 -x1492 x1707 -x1858 -x1968 -x3755 -x201 x223 -x1451 x1481 -x1693 -x3904 -x200 -x219 -x1400 -x1450 x1480 -x1853 -x1898
29.80/29.91 v x1970 -x2082 -x3906 -x178 x1479 -x1975 -x2287 -x3149 -x179 -x1847 -x1877 -x1974 -x2079 -x2283 -x3151 -x3340 -x3903 -x175 -x198
29.80/29.91 v x3233 -x3329 -x172 x194 -x3148 x3225 -x3328 x3456 -x3898 -x2727 x3226 -x3326 x3445 -x167 x1873 -x2723 -x3142 x3224 -x3446 -x3892
29.80/29.91 v x3780 x1090 -x2202 x2942 x3779 -x2363 x2943 x3781 -x2203 -x2359 x4442 x3782 -x250 x4441 x4440 -x249 x1200 x3491 -x3775
29.80/29.91 v -x247 x584 x4439 -x2400 -x2584 x3490 -x3776 -x4342 x583 -x2380 x2583 x3492 -x4000 -x4341 -x246 x582 -x1837 -x2378 -x2399 -x2581
29.80/29.91 v x3493 x4343 -x244 x588 -x974 -x1836 -x2379 -x2395 x3488 -x4143 x4344 x581 -x1575 x1835 -x2449 -x2580 -x3489 -x3735 x4142 -x4340
29.80/29.91 v -x242 -x580 -x1571 x1841 -x2396 -x2448 -x2578 -x3486 -x3734 x4144 x4338 -x243 -x579 x1834 -x2450 -x3484 x4145 x4339 -x577
29.80/29.91 v -x1697 x1833 -x1860 -x2451 -x2576 -x3485 -x3731 x4140 x4333 -x578 -x1443 -x1486 -x1696 x1832 -x1856 -x2447 -x2577 -x3561 -x3760
29.80/29.91 v x4141 x4334 x1442 -x1485 x1698 -x1830 -x2445 -x3557 -x3759 x4138 -x222 x1441 -x1487 x1699 -x1831 -x1855 -x1967 -x2446 x4136
29.80/29.91 v -x1404 x1447 x1488 x1694 -x1857 -x1966 -x2440 -x3756 -x3905 -x4137 -x177 -x221 x1440 -x1484 x1695 x1965 -x2441 -x3334 -x3901
29.80/29.91 v -x176 -x217 x1439 -x1482 -x1692 -x1851 x1971 -x2083 -x3150 x3231 -x3333 -x174 -x197 x1438 -x1483 -x1690 x1964 -x2288 -x3146
29.80/29.91 v x3230 -x3335 -x3450 -x3900 -x218 x1436 x1477 -x1691 -x1852 -x1963 -x2284 x3232 -x3336 -x3449 -x3902 -x173 -x196 x1437 -x1478
29.80/29.91 v -x1962 -x3145 x3229 -x3332 x3451 -x170 x192 -x1960 -x3147 x3228 -x3330 x3452 -x3896 -x1872 -x1961 -x3331 x3448 -x171 x193
29.80/29.91 v -x1871 -x3143 x3227 -x3327 x3447 -x3897
29.80/29.91 c SCIP Status : problem is solved [optimal solution found]
29.80/29.91 c Total Time : 29.89
29.80/29.91 c solving : 29.89
29.80/29.91 c presolving : 1.23 (included in solving)
29.80/29.91 c reading : 0.04 (included in solving)
29.80/29.91 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
29.80/29.91 c Original Problem :
29.80/29.91 c Problem name : HOME/instance-4484548-1751294999.opb
29.80/29.91 c Variables : 4447 (4447 binary, 0 integer, 0 implicit integer, 0 continuous)
29.80/29.91 c Constraints : 4926 initial, 4926 maximal
29.80/29.91 c Objective : minimize, 4447 non-zeros (abs.min = 1, abs.max = 2128)
29.80/29.91 c Presolved Problem :
29.80/29.91 c Problem name : t_HOME/instance-4484548-1751294999.opb
29.80/29.91 c Variables : 4437 (4437 binary, 0 integer, 0 implicit integer, 0 continuous)
29.80/29.91 c Constraints : 4916 initial, 4942 maximal
29.80/29.91 c Objective : minimize, 4437 non-zeros (abs.min = 1, abs.max = 4)
29.80/29.91 c Nonzeros : 18773 constraint, 12387 clique table
29.80/29.91 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
29.80/29.91 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
29.80/29.91 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
29.80/29.91 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c milp : 0.04 0.00 1 3 0 0 0 0 0 0 0 0
29.80/29.91 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
29.80/29.91 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c dualfix : 0.00 0.00 5 3 0 0 0 0 0 0 0 0
29.80/29.91 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c probing : 0.98 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c pseudoobj : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
29.80/29.91 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c knapsack : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
29.80/29.91 c setppc : 0.03 0.00 6 0 1 0 0 0 0 0 0 1
29.80/29.91 c linear : 0.07 0.00 7 1 2 0 1 0 10 0 0 0
29.80/29.91 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
29.80/29.91 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c root node : - - - 0 - - 0 - - - - -
29.80/29.91 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
29.80/29.91 c benderslp : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
29.80/29.91 c integral : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
29.80/29.91 c knapsack : 700+ 701 11 29776 0 0 0 20 13 2 0 0 0 0 0
29.80/29.91 c setppc : 4207+ 4228 11 29631 0 0 0 7 71 21 0 0 0 0 0
29.80/29.91 c logicor : 9+ 13 11 123 0 0 0 7 0 1 0 0 0 0 0
29.80/29.91 c benders : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
29.80/29.91 c fixedvar : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
29.80/29.91 c countsols : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
29.80/29.91 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
29.80/29.91 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c knapsack : 0.25 0.00 0.07 0.17 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c setppc : 0.22 0.00 0.00 0.21 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c Propagators : #Propagate #ResProp Cutoffs DomReds
29.80/29.91 c dualfix : 2 0 0 0
29.80/29.91 c genvbounds : 0 0 0 0
29.80/29.91 c nlobbt : 0 0 0 0
29.80/29.91 c obbt : 0 0 0 0
29.80/29.91 c probing : 0 0 0 0
29.80/29.91 c pseudoobj : 15 0 0 0
29.80/29.91 c redcost : 13 0 0 0
29.80/29.91 c rootredcost : 0 0 0 0
29.80/29.91 c symmetry : 0 0 0 0
29.80/29.91 c vbounds : 24438 0 0 0
29.80/29.91 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
29.80/29.91 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c probing : 0.98 0.00 0.98 0.00 0.00 0.00
29.80/29.91 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
29.80/29.91 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
29.80/29.91 c symmetry : 0.02 0.00 0.01 0.00 0.00 0.00
29.80/29.91 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
29.80/29.91 c Symmetry :
29.80/29.91 c orbitopal red. : 0 reductions applied, 0 cutoffs
29.80/29.91 c orbital reduction: 0 reductions applied, 0 cutoffs
29.80/29.91 c lexicographic red: 0 reductions applied, 0 cutoffs
29.80/29.91 c shadow tree time : 0.00 s
29.80/29.91 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
29.80/29.91 c propagation : 0.00 24 24 - 24 2.5 0 0.0 - - -
29.80/29.91 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
29.80/29.91 c bound exceed. LP : 0.07 4 1 - 1 2.0 0 0.0 1 22.0 30
29.80/29.91 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
29.80/29.91 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
29.80/29.91 c applied globally : 0.00 - - 0 25 2.5 - - 1 - -
29.80/29.91 c applied locally : - - - 0 0 0.0 - - 0 - -
29.80/29.91 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
29.80/29.91 c cut pool : 0.00 - 21 21 - - 109 180 - - - - - (maximal pool size: 109)
29.80/29.91 c aggregation : 0.07 0.00 11 11 0 0 0 0 0 0 0 0 0
29.80/29.91 c > cmir : - - - - - - - 0 0 0 0 0 -
29.80/29.91 c > flowcover : - - - - - - - 0 0 0 0 0 -
29.80/29.91 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
29.80/29.91 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c clique : 0.97 0.00 11 11 0 0 0 0 0 0 0 0 0
29.80/29.91 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c gomory : 2.51 0.00 10 10 0 0 39 108 0 7 7 0 0
29.80/29.91 c > gomorymi : - - - - - - - 45 0 1 1 0 -
29.80/29.91 c > strongcg : - - - - - - - 63 0 6 6 0 -
29.80/29.91 c impliedbounds : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
29.80/29.91 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c multilinear : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
29.80/29.91 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.80/29.91 c rapidlearning : 0.21 0.00 1 1 0 0 0 0 0 0 0 0 0
29.80/29.91 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
29.80/29.91 c zerohalf : 0.37 0.00 11 11 0 0 70 72 0 70 70 0 0
29.80/29.91 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
29.80/29.91 c hybrid : 0.00 0.00 11 11 77 0 103 77 0 103
29.80/29.91 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c Pricers : ExecTime SetupTime Calls Vars
29.80/29.91 c problem variables: 0.00 - 0 0
29.80/29.91 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
29.80/29.91 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.91 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c random : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
29.80/29.92 c Primal Heuristics : ExecTime SetupTime Calls Found Best
29.80/29.92 c LP solutions : 0.00 - - 0 0
29.80/29.92 c relax solutions : 0.00 - - 0 0
29.80/29.92 c pseudo solutions : 0.00 - - 0 0
29.80/29.92 c strong branching : 0.00 - - 0 0
29.80/29.92 c actconsdiving : 0.00 0.00 0 0 0
29.80/29.92 c adaptivediving : 0.00 0.00 0 0 0
29.80/29.92 c alns : 0.00 0.00 0 0 0
29.80/29.92 c bound : 0.00 0.00 0 0 0
29.80/29.92 c clique : 0.12 0.00 1 1 1
29.80/29.92 c coefdiving : 0.00 0.00 0 0 0
29.80/29.92 c completesol : 0.00 0.00 0 0 0
29.80/29.92 c conflictdiving : 6.10 0.00 1 0 0
29.80/29.92 c crossover : 0.00 0.00 0 0 0
29.80/29.92 c dins : 0.00 0.00 0 0 0
29.80/29.92 c distributiondivin: 0.00 0.00 0 0 0
29.80/29.92 c dps : 0.00 0.00 0 0 0
29.80/29.92 c dualval : 0.00 0.00 0 0 0
29.80/29.92 c farkasdiving : 9.67 0.00 1 1 1
29.80/29.92 c feasjump : 0.00 0.00 0 0 0
29.80/29.92 c feaspump : 0.75 0.00 1 1 0
29.80/29.92 c fixandinfer : 0.00 0.00 0 0 0
29.80/29.92 c fracdiving : 0.00 0.00 0 0 0
29.80/29.92 c gins : 0.00 0.00 0 0 0
29.80/29.92 c guideddiving : 0.00 0.00 0 0 0
29.80/29.92 c indcoefdiving : 0.00 0.00 0 0 0
29.80/29.92 c indicator : 0.00 0.00 0 0 0
29.80/29.92 c indicatordiving : 0.00 0.00 0 0 0
29.80/29.92 c indoneopt : 0.00 0.00 0 0 0
29.80/29.92 c indrounding : 0.00 0.00 0 0 0
29.80/29.92 c indtwoopt : 0.00 0.00 0 0 0
29.80/29.92 c intdiving : 0.00 0.00 0 0 0
29.80/29.92 c intshifting : 0.00 0.00 0 0 0
29.80/29.92 c linesearchdiving : 0.00 0.00 0 0 0
29.80/29.92 c localbranching : 0.00 0.00 0 0 0
29.80/29.92 c locks : 0.05 0.00 1 0 0
29.80/29.92 c lpface : 0.00 0.00 0 0 0
29.80/29.92 c mpec : 0.00 0.00 0 0 0
29.80/29.92 c multistart : 0.00 0.00 0 0 0
29.80/29.92 c mutation : 0.00 0.00 0 0 0
29.80/29.92 c nlpdiving : 0.00 0.00 0 0 0
29.80/29.92 c objpscostdiving : 0.00 0.00 0 0 0
29.80/29.92 c octane : 0.00 0.00 0 0 0
29.80/29.92 c ofins : 0.00 0.00 0 0 0
29.80/29.92 c oneopt : 0.00 0.00 1 0 0
29.80/29.92 c padm : 0.00 0.00 0 0 0
29.80/29.92 c proximity : 0.00 0.00 0 0 0
29.80/29.92 c pscostdiving : 0.00 0.00 0 0 0
29.80/29.92 c randrounding : 0.10 0.00 12 0 0
29.80/29.92 c rens : 1.83 0.00 1 1 1
29.80/29.92 c reoptsols : 0.00 0.00 0 0 0
29.80/29.92 c repair : 0.00 0.00 0 0 0
29.80/29.92 c rins : 0.00 0.00 0 0 0
29.80/29.92 c rootsoldiving : 0.00 0.00 0 0 0
29.80/29.92 c rounding : 0.18 0.00 12 0 0
29.80/29.92 c scheduler : 0.00 0.00 0 0 0
29.80/29.92 c shiftandpropagate: 0.00 0.00 0 0 0
29.80/29.92 c shifting : 0.19 0.00 12 0 0
29.80/29.92 c simplerounding : 0.00 0.00 12 0 0
29.80/29.92 c smallcard : 0.00 0.00 0 0 0
29.80/29.92 c subnlp : 0.00 0.00 0 0 0
29.80/29.92 c trivial : 0.01 0.00 2 4 3
29.80/29.92 c trivialnegation : 0.00 0.00 0 0 0
29.80/29.92 c trustregion : 0.00 0.00 0 0 0
29.80/29.92 c trysol : 0.00 0.00 0 0 0
29.80/29.92 c twoopt : 0.00 0.00 0 0 0
29.80/29.92 c undercover : 0.00 0.00 0 0 0
29.80/29.92 c vbounds : 0.12 0.00 1 1 1
29.80/29.92 c veclendiving : 0.00 0.00 0 0 0
29.80/29.92 c zeroobj : 0.00 0.00 0 0 0
29.80/29.92 c zirounding : 0.00 0.00 1 0 0
29.80/29.92 c other solutions : - - - 0 -
29.80/29.92 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 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
29.80/29.92 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
29.80/29.92 c primal LP : 0.00 0 0 0.00 - 0.00 0
29.80/29.92 c dual LP : 5.24 12 16557 1379.75 3158.56 0.00 0
29.80/29.92 c lex dual LP : 0.00 0 0 0.00 -
29.80/29.92 c barrier LP : 0.00 0 0 0.00 - 0.00 0
29.80/29.92 c resolve instable : 0.00 0 0 0.00 -
29.80/29.92 c diving/probing LP: 16.30 253 55809 220.59 3423.42
29.80/29.92 c strong branching : 0.00 0 0 0.00 - - - 0
29.80/29.92 c (at root node) : - 0 0 0.00 -
29.80/29.92 c conflict analysis: 0.03 3 30 10.00 907.77
29.80/29.92 c B&B Tree :
29.80/29.92 c number of runs : 1
29.80/29.92 c nodes : 1 (0 internal, 1 leaves)
29.80/29.92 c feasible leaves : 0
29.80/29.92 c infeas. leaves : 0
29.80/29.92 c objective leaves : 1
29.80/29.92 c nodes (total) : 1 (0 internal, 1 leaves)
29.80/29.92 c nodes left : 0
29.80/29.92 c max depth : 0
29.80/29.92 c max depth (total): 0
29.80/29.92 c backtracks : 0 (0.0%)
29.80/29.92 c early backtracks : 0 (0.0%)
29.80/29.92 c nodes exc. ref. : 0 (0.0%)
29.80/29.92 c delayed cutoffs : 0
29.80/29.92 c repropagations : 0 (0 domain reductions, 0 cutoffs)
29.80/29.92 c avg switch length: 2.00
29.80/29.92 c switching time : 0.00
29.80/29.92 c Root Node :
29.80/29.92 c First LP value : +5.00000000000000e+00
29.80/29.92 c First LP Iters : 12943 (3493.72 Iter/sec)
29.80/29.92 c First LP Time : 3.70
29.80/29.92 c Final Dual Bound : +5.00000000000000e+00
29.80/29.92 c Final Root Iters : 16557
29.80/29.92 c Root LP Estimate : -
29.80/29.92 c Solution :
29.80/29.92 c Solutions found : 9 (7 improvements)
29.80/29.92 c First Solution : +8.32400000000000e+03 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
29.80/29.92 c Gap First Sol. : infinite
29.80/29.92 c Gap Last Sol. : 0.00 %
29.80/29.92 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1 nodes, 29.88 seconds, depth 0, found by <rens>)
29.80/29.92 c Dual Bound : +5.00000000000000e+00
29.80/29.92 c Gap : 0.00 %
29.80/29.92 c Integrals : Total Avg%
29.80/29.92 c primal-dual : 2325.46 77.79
29.80/29.92 c primal-ref : - - (not evaluated)
29.80/29.92 c dual-ref : - - (not evaluated)
29.80/29.94 c Time complete: 29.8456.
OK 5
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: 63794 MiB (61904 MiB free)
memory of node 1: 64507 MiB (61160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484548-1751294999/watcher-4484548-1751294999 -o /tmp/evaluation-result-4484548-1751294999/solver-4484548-1751294999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42123 --watchdog 3760 pbscip -f HOME/instance-4484548-1751294999.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42820, runsolver pid=42817
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 4.05 4.06 3.60 5/251 42821
/proc/meminfo: memFree=126019512/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=64564 memory=37248 CPUtime=0.09 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 6101 0 0 0 8 1 0 0 20 0 1 0 45179635 66113536 9312 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 16141 9312 3552 3530 0 7592 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64564 KiB
Current children cumulated memory: 37248 KiB
[startup+0.213104 s]*
/proc/loadavg: 4.05 4.06 3.60 5/251 42821
/proc/meminfo: memFree=126019512/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=71148 memory=44540 CPUtime=0.2 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 8407 0 0 0 18 2 0 0 20 0 1 0 45179635 72855552 11135 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 17787 11135 3712 3530 0 9238 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71148 KiB
Current children cumulated memory: 44540 KiB
[startup+0.313082 s]*
/proc/loadavg: 4.05 4.06 3.60 5/251 42821
/proc/meminfo: memFree=126019512/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=74764 memory=47484 CPUtime=0.31 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 9106 0 0 0 28 3 0 0 20 0 1 0 45179635 76558336 11871 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 18691 11871 3744 3530 0 10142 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74764 KiB
Current children cumulated memory: 47484 KiB
[startup+0.70035 s]
/proc/loadavg: 4.05 4.06 3.60 5/251 42821
/proc/meminfo: memFree=126019764/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=75264 memory=47996 CPUtime=0.68 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 9219 0 0 0 65 3 0 0 20 0 1 0 45179635 77070336 11999 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 18816 11999 3744 3530 0 10267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 47996 KiB
[startup+1.50033 s]
/proc/loadavg: 4.05 4.06 3.60 5/251 42821
/proc/meminfo: memFree=126019764/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=98768 memory=64124 CPUtime=1.47 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 13720 0 0 0 144 3 0 0 20 0 1 0 45179635 101138432 16031 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 24692 16031 3904 3530 0 16143 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 98768 KiB
Current children cumulated memory: 64124 KiB
[startup+3.11266 s]
/proc/loadavg: 4.05 4.06 3.60 5/251 42821
/proc/meminfo: memFree=126019772/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=104640 memory=68988 CPUtime=3.09 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 14950 0 0 0 305 4 0 0 20 0 1 0 45179635 107151360 17247 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 26160 17247 3904 3530 0 17611 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 104640 KiB
Current children cumulated memory: 68988 KiB
[startup+6.30033 s]
/proc/loadavg: 4.04 4.06 3.61 5/251 42822
/proc/meminfo: memFree=126043580/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=138424 memory=100232 CPUtime=6.26 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 25008 0 0 0 620 6 0 0 20 0 1 0 45179635 141746176 25058 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 34606 25058 3936 3530 0 26057 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 138424 KiB
Current children cumulated memory: 100232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.06 3.61 5/251 42822
/proc/meminfo: memFree=126043992/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=138424 memory=100488 CPUtime=12.65 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 25090 0 0 0 1259 6 0 0 20 0 1 0 45179635 141746176 25122 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 34606 25122 3936 3530 0 26057 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138424 KiB
Current children cumulated memory: 100488 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126040724/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=137712 memory=100108 CPUtime=25.41 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 25152 0 0 0 2535 6 0 0 20 0 1 0 45179635 141017088 25027 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 34428 25027 3936 3530 0 25879 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 137712 KiB
Current children cumulated memory: 100108 KiB
[startup+29.9486 s]
# the end of solver process 42820 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=29.7873 s, system=0.070566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126040724/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=137712 memory=100108 CPUtime=25.51 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 25152 0 0 0 2545 6 0 0 20 0 1 0 45179635 141017088 25027 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 34428 25027 3936 3530 0 25879 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 137712 KiB
Current children cumulated memory: 100108 KiB
[startup+27.2002 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126040728/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=137712 memory=100108 CPUtime=27.11 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 25152 0 0 0 2705 6 0 0 20 0 1 0 45179635 141017088 25027 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 34428 25027 3936 3530 0 25879 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 137712 KiB
Current children cumulated memory: 100108 KiB
[startup+28.8002 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126040728/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=159736 memory=121356 CPUtime=28.7 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 30476 0 0 0 2864 6 0 0 20 0 1 0 45179635 163569664 30339 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 39934 30339 3936 3530 0 31385 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 159736 KiB
Current children cumulated memory: 121356 KiB
[startup+29.6002 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126032916/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=161488 memory=122892 CPUtime=29.5 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 30880 0 0 0 2944 6 0 0 20 0 1 0 45179635 165363712 30723 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 40372 30723 3936 3530 0 31823 0
Current children cumulated CPU time: 29.5 s
Current children cumulated vsize: 161488 KiB
Current children cumulated memory: 122892 KiB
[startup+29.8002 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126032916/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=161864 memory=123404 CPUtime=29.7 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 31011 0 0 0 2964 6 0 0 20 0 1 0 45179635 165748736 30851 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 40466 30851 3936 3530 0 31917 0
Current children cumulated CPU time: 29.7 s
Current children cumulated vsize: 161864 KiB
Current children cumulated memory: 123404 KiB
[startup+29.9002 s]
/proc/loadavg: 4.03 4.05 3.62 5/251 42822
/proc/meminfo: memFree=126032916/131382116 swapFree=33010684/33010684
[pid=42820] ppid=42817 vsize=163484 memory=124428 CPUtime=29.8 cores=4,6
/proc/42820/stat : 42820 (pbscip) R 42817 42820 42112 0 -1 4194304 31268 0 0 0 2974 6 0 0 20 0 1 0 45179635 167407616 31107 18446744073709551615 4235264 18693293 140735256342192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38293504 140735256344969 140735256345068 140735256345068 140735256350670 0
/proc/42820/statm: 40871 31107 3936 3530 0 32322 0
Current children cumulated CPU time: 29.8 s
Current children cumulated vsize: 163484 KiB
Current children cumulated memory: 124428 KiB
Child status: 0
Real time (s): 29.9487
CPU time (s): 29.8578
CPU user time (s): 29.7873
CPU system time (s): 0.070566
CPU usage (%): 99.6968
Max. virtual memory (cumulated for all children) (KiB): 163484
Max. memory (cumulated for all children) (KiB): 124428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7873
system time used= 0.070566
maximum resident set size= 124556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31302
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= 80
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 42820
# total CPU time (s): 29.8578
# total CPU user time (s): 29.7873
# total CPU system time (s): 0.070566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173634 second user time and 0.332231 second system time
The end
Begin job on nodeC011 at 2025-06-30 16:49:59 IDJOB=4484548 IDBENCH=146659 IDSOLVER=3365 FILE ID=nodeC011/4484548-1751294999 RUNJOBID= nodeC011-1751293853-42123 SLURM_JOB_ID= 9594269 Free space on /tmp= 432988 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484548-1751294999/watcher-4484548-1751294999 -o /tmp/evaluation-result-4484548-1751294999/solver-4484548-1751294999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42123 --watchdog 3760 pbscip -f HOME/instance-4484548-1751294999.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385 RANDOM SEED=1264300516 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 3608.794 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 3594.306 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1198.030 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.301 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 3691.626 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.283 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.367 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 126020196 kB MemAvailable: 125946492 kB Buffers: 3280 kB Cached: 734616 kB SwapCached: 0 kB Active: 4282240 kB Inactive: 435744 kB Active(anon): 3998048 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 435744 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18932 kB Writeback: 0 kB AnonPages: 3981300 kB Mapped: 138036 kB Shmem: 17960 kB KReclaimable: 91588 kB Slab: 172364 kB SReclaimable: 91588 kB SUnreclaim: 80776 kB KernelStack: 4048 kB PageTables: 11116 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 4774192 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1726464 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432968 MiB End job on nodeC011 at 2025-06-30 16:50:29