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