Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP-NaPS 1.00a2 | UNSAT | 30.7597 | 30.8665 |
Name | PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb |
MD5SUM | acb3bfa25be6cee6deaef298d2d917c1 |
Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.387219 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 12566 |
Total number of constraints | 41514 |
Number of constraints which are clauses | 41106 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 408 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 233 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.66/0.77 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529794-1752254323.opb 0.66/0.77 c Solving mode: decision 0.66/0.77 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 0.66/0.77 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 0.66/0.77 c original problem has 12566 variables (12566 bin, 0 int, 0 impl, 0 cont) and 41514 constraints 0.66/0.77 c presolving: 0.66/0.77 c (round 1, fast) 7602 del vars, 8021 del conss, 0 add conss, 2089 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12350 clqs 0.66/0.77 c (round 2, fast) 12821 del vars, 28384 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12076 clqs 0.66/0.77 c (round 3, fast) 12821 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12381 clqs 0.66/0.77 c (round 4, medium) 12826 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12323 clqs 0.66/0.77 c (round 5, fast) 12843 del vars, 28959 del conss, 0 add conss, 2089 chg bounds, 35 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 12317 clqs 0.66/0.77 c (round 6, exhaustive) 12843 del vars, 28967 del conss, 0 add conss, 2089 chg bounds, 35 chg sides, 34 chg coeffs, 12547 upgd conss, 0 impls, 12317 clqs 0.66/0.77 c (round 7, fast) 12843 del vars, 28971 del conss, 8 add conss, 2089 chg bounds, 53 chg sides, 83 chg coeffs, 12547 upgd conss, 0 impls, 12317 clqs 0.66/0.77 c (round 8, medium) 12843 del vars, 28987 del conss, 83 add conss, 2089 chg bounds, 128 chg sides, 284 chg coeffs, 12547 upgd conss, 0 impls, 12351 clqs 0.66/0.77 c (round 9, fast) 12843 del vars, 28991 del conss, 85 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12352 clqs 0.66/0.77 c (round 10, exhaustive) 12843 del vars, 35551 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12352 clqs 0.66/0.77 c (round 11, fast) 12845 del vars, 35573 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12728 clqs 0.66/0.77 c (round 12, fast) 12848 del vars, 35598 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12696 clqs 0.66/0.77 c (round 13, fast) 12850 del vars, 35616 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12665 clqs 0.66/0.77 c (round 14, fast) 12852 del vars, 35641 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12635 clqs 0.66/0.77 c (round 15, fast) 12854 del vars, 35669 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12605 clqs 0.66/0.77 c (round 16, fast) 12856 del vars, 35694 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12575 clqs 0.66/0.77 c (round 17, fast) 12857 del vars, 35720 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12574 clqs 0.66/0.77 c (round 18, fast) 12858 del vars, 35744 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12545 clqs 0.66/0.77 c (round 19, fast) 12860 del vars, 35751 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12519 clqs 0.66/0.77 c (round 20, fast) 12861 del vars, 35771 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12518 clqs 0.66/0.77 c (round 21, fast) 12862 del vars, 35790 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12492 clqs 0.66/0.77 c (round 22, fast) 12864 del vars, 35811 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12470 clqs 0.66/0.77 c (round 23, fast) 12866 del vars, 35823 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12448 clqs 0.66/0.77 c (round 24, fast) 12868 del vars, 35838 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12427 clqs 0.66/0.77 c (round 25, fast) 12869 del vars, 35851 del conss, 2134 add conss, 2089 chg bounds, 140 chg sides, 322 chg coeffs, 12547 upgd conss, 0 impls, 12426 clqs 0.66/0.77 c (round 26, medium) 12886 del vars, 35868 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12349 clqs 0.66/0.77 c (round 27, fast) 12887 del vars, 35884 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12333 clqs 0.66/0.77 c (round 28, fast) 12892 del vars, 35953 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12264 clqs 0.66/0.77 c (round 29, fast) 12898 del vars, 35999 del conss, 2134 add conss, 2089 chg bounds, 153 chg sides, 335 chg coeffs, 12547 upgd conss, 0 impls, 12212 clqs 0.66/0.77 c (round 30, medium) 12904 del vars, 36007 del conss, 2134 add conss, 2089 chg bounds, 155 chg sides, 343 chg coeffs, 12547 upgd conss, 0 impls, 12204 clqs 0.66/0.77 c (round 31, exhaustive) 12938 del vars, 36008 del conss, 2134 add conss, 2089 chg bounds, 155 chg sides, 370 chg coeffs, 12547 upgd conss, 0 impls, 14181 clqs 0.66/0.77 c (round 32, fast) 12954 del vars, 36114 del conss, 2134 add conss, 2089 chg bounds, 157 chg sides, 390 chg coeffs, 12547 upgd conss, 0 impls, 14119 clqs 0.66/0.77 c (round 33, medium) 12956 del vars, 36119 del conss, 2139 add conss, 2089 chg bounds, 165 chg sides, 412 chg coeffs, 12547 upgd conss, 0 impls, 14118 clqs 0.66/0.77 c (round 34, medium) 12960 del vars, 36121 del conss, 2139 add conss, 2089 chg bounds, 169 chg sides, 445 chg coeffs, 12547 upgd conss, 0 impls, 14110 clqs 0.66/0.77 c (round 35, exhaustive) 12996 del vars, 36122 del conss, 2139 add conss, 2089 chg bounds, 171 chg sides, 453 chg coeffs, 12547 upgd conss, 0 impls, 14487 clqs 0.66/0.77 c (round 36, fast) 13029 del vars, 36261 del conss, 2139 add conss, 2089 chg bounds, 173 chg sides, 490 chg coeffs, 12547 upgd conss, 0 impls, 14320 clqs 0.66/0.77 c (round 37, medium) 13035 del vars, 36263 del conss, 2139 add conss, 2089 chg bounds, 175 chg sides, 497 chg coeffs, 12547 upgd conss, 0 impls, 14291 clqs 0.66/0.77 c (round 38, fast) 13039 del vars, 36278 del conss, 2139 add conss, 2089 chg bounds, 177 chg sides, 507 chg coeffs, 12547 upgd conss, 0 impls, 14280 clqs 0.66/0.77 c (round 39, exhaustive) 13043 del vars, 36280 del conss, 2139 add conss, 2089 chg bounds, 179 chg sides, 516 chg coeffs, 12547 upgd conss, 0 impls, 14272 clqs 0.66/0.77 c (round 40, exhaustive) 13047 del vars, 36282 del conss, 2139 add conss, 2089 chg bounds, 181 chg sides, 525 chg coeffs, 12547 upgd conss, 0 impls, 14263 clqs 0.66/0.77 c (round 41, exhaustive) 13051 del vars, 36284 del conss, 2139 add conss, 2089 chg bounds, 183 chg sides, 535 chg coeffs, 12547 upgd conss, 0 impls, 14251 clqs 0.66/0.77 c (round 42, exhaustive) 13055 del vars, 36286 del conss, 2139 add conss, 2089 chg bounds, 185 chg sides, 545 chg coeffs, 12547 upgd conss, 0 impls, 14239 clqs 0.66/0.77 c (round 43, exhaustive) 13059 del vars, 36288 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14227 clqs 0.66/0.77 c (round 44, exhaustive) 13063 del vars, 36290 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14215 clqs 0.66/0.77 c (round 45, exhaustive) 13067 del vars, 36292 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14200 clqs 0.66/0.77 c (round 46, exhaustive) 13071 del vars, 36294 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14180 clqs 0.66/0.77 c (round 47, exhaustive) 13075 del vars, 36296 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14153 clqs 0.66/0.77 c (round 48, fast) 13079 del vars, 36403 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 14023 clqs 7.54/7.68 c (round 49, exhaustive) 13114 del vars, 36403 del conss, 2139 add conss, 2089 chg bounds, 187 chg sides, 555 chg coeffs, 12547 upgd conss, 0 impls, 24622 clqs 7.54/7.68 c (round 50, fast) 13143 del vars, 36545 del conss, 2139 add conss, 2089 chg bounds, 197 chg sides, 629 chg coeffs, 12547 upgd conss, 0 impls, 24211 clqs 7.54/7.68 c (round 51, exhaustive) 13145 del vars, 36551 del conss, 2139 add conss, 2089 chg bounds, 198 chg sides, 635 chg coeffs, 12547 upgd conss, 0 impls, 24176 clqs 7.54/7.68 c (round 52, exhaustive) 13147 del vars, 36560 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 637 chg coeffs, 12547 upgd conss, 0 impls, 24162 clqs 7.54/7.68 c (round 53, exhaustive) 13203 del vars, 36560 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 637 chg coeffs, 12547 upgd conss, 0 impls, 23779 clqs 7.54/7.68 c (round 54, fast) 13243 del vars, 36762 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 677 chg coeffs, 12547 upgd conss, 0 impls, 23449 clqs 7.54/7.68 c (round 55, exhaustive) 13269 del vars, 36762 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 677 chg coeffs, 12547 upgd conss, 0 impls, 59208 clqs 7.54/7.68 c (round 56, fast) 13287 del vars, 36849 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 693 chg coeffs, 12547 upgd conss, 0 impls, 58956 clqs 7.54/7.68 c (round 57, exhaustive) 13288 del vars, 36857 del conss, 2146 add conss, 2089 chg bounds, 198 chg sides, 700 chg coeffs, 12547 upgd conss, 0 impls, 58924 clqs 7.54/7.68 c (round 58, exhaustive) 13291 del vars, 36878 del conss, 2165 add conss, 2089 chg bounds, 198 chg sides, 702 chg coeffs, 12547 upgd conss, 0 impls, 58900 clqs 7.54/7.68 c (round 59, exhaustive) 13319 del vars, 36878 del conss, 2165 add conss, 2089 chg bounds, 198 chg sides, 702 chg coeffs, 12547 upgd conss, 0 impls, 95403 clqs 7.54/7.68 c (round 60, fast) 13335 del vars, 36982 del conss, 2165 add conss, 2089 chg bounds, 198 chg sides, 726 chg coeffs, 12547 upgd conss, 0 impls, 94115 clqs 7.54/7.68 c (round 61, exhaustive) 13335 del vars, 37144 del conss, 2327 add conss, 2089 chg bounds, 202 chg sides, 740 chg coeffs, 12547 upgd conss, 0 impls, 94115 clqs 7.54/7.68 c (round 62, exhaustive) 13369 del vars, 37144 del conss, 2327 add conss, 2089 chg bounds, 202 chg sides, 741 chg coeffs, 12547 upgd conss, 0 impls, 94387 clqs 7.54/7.68 c (round 63, fast) 13391 del vars, 37245 del conss, 2327 add conss, 2089 chg bounds, 202 chg sides, 755 chg coeffs, 12547 upgd conss, 0 impls, 93064 clqs 7.54/7.68 c (round 64, medium) 13391 del vars, 37245 del conss, 2332 add conss, 2089 chg bounds, 208 chg sides, 784 chg coeffs, 12547 upgd conss, 0 impls, 93064 clqs 7.54/7.68 c (round 65, exhaustive) 13391 del vars, 37266 del conss, 2353 add conss, 2089 chg bounds, 208 chg sides, 790 chg coeffs, 12547 upgd conss, 0 impls, 93064 clqs 7.54/7.68 c (round 66, medium) 13391 del vars, 37267 del conss, 2357 add conss, 2089 chg bounds, 213 chg sides, 802 chg coeffs, 12547 upgd conss, 0 impls, 93087 clqs 7.54/7.68 c (2.2s) probing: 1000/4367 (22.9%) - 253 fixings, 6 aggregations, 278996 implications, 0 bound changes 7.54/7.68 c (round 67, exhaustive) 13422 del vars, 37267 del conss, 2357 add conss, 2089 chg bounds, 216 chg sides, 812 chg coeffs, 12547 upgd conss, 0 impls, 93868 clqs 7.54/7.68 c (round 68, fast) 13443 del vars, 37368 del conss, 2357 add conss, 2089 chg bounds, 216 chg sides, 828 chg coeffs, 12547 upgd conss, 0 impls, 93129 clqs 7.54/7.68 c (round 69, exhaustive) 13443 del vars, 37392 del conss, 2381 add conss, 2089 chg bounds, 216 chg sides, 830 chg coeffs, 12547 upgd conss, 0 impls, 93129 clqs 7.54/7.68 c (round 70, exhaustive) 13469 del vars, 37392 del conss, 2381 add conss, 2089 chg bounds, 216 chg sides, 830 chg coeffs, 12547 upgd conss, 0 impls, 94114 clqs 7.54/7.68 c (round 71, fast) 13483 del vars, 37485 del conss, 2381 add conss, 2089 chg bounds, 216 chg sides, 842 chg coeffs, 12547 upgd conss, 0 impls, 93304 clqs 7.54/7.68 c (round 72, exhaustive) 13483 del vars, 37503 del conss, 2399 add conss, 2089 chg bounds, 217 chg sides, 850 chg coeffs, 12547 upgd conss, 0 impls, 93304 clqs 7.54/7.68 c (round 73, exhaustive) 13517 del vars, 37503 del conss, 2399 add conss, 2089 chg bounds, 219 chg sides, 859 chg coeffs, 12547 upgd conss, 0 impls, 94101 clqs 7.54/7.68 c (round 74, fast) 13546 del vars, 37619 del conss, 2399 add conss, 2089 chg bounds, 219 chg sides, 883 chg coeffs, 12547 upgd conss, 0 impls, 92865 clqs 7.54/7.68 c (round 75, medium) 13548 del vars, 37621 del conss, 2403 add conss, 2089 chg bounds, 225 chg sides, 910 chg coeffs, 12547 upgd conss, 0 impls, 92225 clqs 7.54/7.68 c (round 76, fast) 13550 del vars, 37627 del conss, 2403 add conss, 2089 chg bounds, 225 chg sides, 910 chg coeffs, 12547 upgd conss, 0 impls, 92136 clqs 7.54/7.68 c (round 77, exhaustive) 13550 del vars, 37647 del conss, 2423 add conss, 2089 chg bounds, 226 chg sides, 915 chg coeffs, 12547 upgd conss, 0 impls, 92136 clqs 7.54/7.68 c (round 78, exhaustive) 13575 del vars, 37647 del conss, 2423 add conss, 2089 chg bounds, 226 chg sides, 915 chg coeffs, 12547 upgd conss, 0 impls, 95296 clqs 7.54/7.68 c (round 79, fast) 13600 del vars, 37752 del conss, 2423 add conss, 2089 chg bounds, 226 chg sides, 938 chg coeffs, 12547 upgd conss, 0 impls, 94338 clqs 7.54/7.68 c (round 80, medium) 13602 del vars, 37755 del conss, 2424 add conss, 2089 chg bounds, 229 chg sides, 950 chg coeffs, 12547 upgd conss, 0 impls, 94309 clqs 7.54/7.68 c (round 81, exhaustive) 13602 del vars, 37776 del conss, 2445 add conss, 2089 chg bounds, 229 chg sides, 989 chg coeffs, 12547 upgd conss, 0 impls, 94309 clqs 7.54/7.68 c (round 82, exhaustive) 13630 del vars, 37776 del conss, 2447 add conss, 2089 chg bounds, 231 chg sides, 1006 chg coeffs, 12547 upgd conss, 0 impls, 95433 clqs 7.54/7.68 c (round 83, fast) 13661 del vars, 37892 del conss, 2447 add conss, 2089 chg bounds, 231 chg sides, 1028 chg coeffs, 12547 upgd conss, 0 impls, 94540 clqs 7.54/7.68 c (round 84, medium) 13663 del vars, 37895 del conss, 2449 add conss, 2089 chg bounds, 233 chg sides, 1035 chg coeffs, 12547 upgd conss, 0 impls, 94263 clqs 7.54/7.68 c (round 85, exhaustive) 13663 del vars, 37902 del conss, 2456 add conss, 2089 chg bounds, 233 chg sides, 1037 chg coeffs, 12547 upgd conss, 0 impls, 94263 clqs 7.54/7.68 c (4.1s) probing: 2000/4367 (45.8%) - 379 fixings, 12 aggregations, 631588 implications, 0 bound changes 7.54/7.68 c (round 86, exhaustive) 13688 del vars, 37902 del conss, 2456 add conss, 2089 chg bounds, 233 chg sides, 1037 chg coeffs, 12547 upgd conss, 0 impls, 95505 clqs 7.54/7.68 c (round 87, fast) 13708 del vars, 37991 del conss, 2456 add conss, 2089 chg bounds, 233 chg sides, 1056 chg coeffs, 12548 upgd conss, 0 impls, 94590 clqs 7.54/7.68 c (round 88, exhaustive) 13708 del vars, 37996 del conss, 2461 add conss, 2089 chg bounds, 235 chg sides, 1110 chg coeffs, 12548 upgd conss, 0 impls, 94591 clqs 7.54/7.68 c (5.4s) probing: 3000/4367 (68.7%) - 390 fixings, 14 aggregations, 828519 implications, 0 bound changes 7.54/7.68 c (6.2s) probing: 4000/4367 (91.6%) - 401 fixings, 14 aggregations, 977801 implications, 0 bound changes 7.54/7.68 c (6.2s) probing cycle finished: starting next cycle 7.54/7.68 c (round 89, exhaustive) 13758 del vars, 37996 del conss, 2462 add conss, 2089 chg bounds, 236 chg sides, 1116 chg coeffs, 12548 upgd conss, 0 impls, 90370 clqs 7.54/7.68 c (round 90, fast) 13800 del vars, 38162 del conss, 2462 add conss, 2089 chg bounds, 236 chg sides, 1129 chg coeffs, 12550 upgd conss, 0 impls, 88365 clqs 7.54/7.68 c (round 91, medium) 13804 del vars, 38162 del conss, 2463 add conss, 2089 chg bounds, 237 chg sides, 1134 chg coeffs, 12550 upgd conss, 0 impls, 88255 clqs 7.54/7.68 c (round 92, fast) 13804 del vars, 38169 del conss, 2463 add conss, 2089 chg bounds, 237 chg sides, 1134 chg coeffs, 12550 upgd conss, 0 impls, 88255 clqs 7.54/7.68 c (round 93, exhaustive) 13836 del vars, 38171 del conss, 2465 add conss, 2089 chg bounds, 237 chg sides, 1179 chg coeffs, 12550 upgd conss, 0 impls, 94287 clqs 7.54/7.68 c (round 94, fast) 13852 del vars, 38266 del conss, 2465 add conss, 2089 chg bounds, 237 chg sides, 1197 chg coeffs, 12551 upgd conss, 0 impls, 92767 clqs 7.54/7.68 c (round 95, medium) 13852 del vars, 38269 del conss, 2473 add conss, 2089 chg bounds, 243 chg sides, 1211 chg coeffs, 12551 upgd conss, 0 impls, 92788 clqs 7.54/7.68 c (round 96, exhaustive) 13852 del vars, 38304 del conss, 2507 add conss, 2089 chg bounds, 243 chg sides, 1234 chg coeffs, 12551 upgd conss, 0 impls, 92788 clqs 23.90/24.06 c (7.5s) probing: 1000/3563 (28.1%) - 458 fixings, 24 aggregations, 1100355 implications, 0 bound changes 23.90/24.06 c (round 97, exhaustive) 13877 del vars, 38304 del conss, 2507 add conss, 2089 chg bounds, 243 chg sides, 1243 chg coeffs, 12551 upgd conss, 0 impls, 96256 clqs 23.90/24.06 c (round 98, fast) 13896 del vars, 38381 del conss, 2507 add conss, 2089 chg bounds, 243 chg sides, 1262 chg coeffs, 12551 upgd conss, 0 impls, 95754 clqs 23.90/24.06 c (round 99, medium) 13898 del vars, 38387 del conss, 2509 add conss, 2089 chg bounds, 247 chg sides, 1280 chg coeffs, 12551 upgd conss, 0 impls, 95480 clqs 23.90/24.06 c (round 100, exhaustive) 13898 del vars, 38418 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1282 chg coeffs, 12551 upgd conss, 0 impls, 95482 clqs 23.90/24.06 c (8.8s) probing: 2000/3563 (56.1%) - 487 fixings, 28 aggregations, 1359614 implications, 0 bound changes 23.90/24.06 c (10.0s) probing: 3000/3563 (84.2%) - 501 fixings, 28 aggregations, 1536029 implications, 0 bound changes 23.90/24.06 c (round 101, exhaustive) 13923 del vars, 38418 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1283 chg coeffs, 12553 upgd conss, 0 impls, 96672 clqs 23.90/24.06 c (round 102, fast) 13935 del vars, 38453 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1292 chg coeffs, 12565 upgd conss, 0 impls, 95859 clqs 23.90/24.06 c (round 103, medium) 13962 del vars, 38457 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1292 chg coeffs, 12565 upgd conss, 0 impls, 95396 clqs 23.90/24.06 c (round 104, fast) 13965 del vars, 38493 del conss, 2540 add conss, 2089 chg bounds, 247 chg sides, 1292 chg coeffs, 12565 upgd conss, 0 impls, 95368 clqs 23.90/24.06 c (round 105, exhaustive) 13965 del vars, 38501 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1303 chg coeffs, 12565 upgd conss, 0 impls, 95368 clqs 23.90/24.06 c (10.5s) probing cycle finished: starting next cycle 23.90/24.06 c (round 106, exhaustive) 13992 del vars, 38501 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1304 chg coeffs, 12566 upgd conss, 0 impls, 94777 clqs 23.90/24.06 c (round 107, fast) 14014 del vars, 38596 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1324 chg coeffs, 12566 upgd conss, 0 impls, 93550 clqs 23.90/24.06 c (11.6s) probing: 1000/3308 (30.2%) - 529 fixings, 35 aggregations, 1727929 implications, 0 bound changes 23.90/24.06 c (round 108, exhaustive) 14041 del vars, 38598 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1343 chg coeffs, 12566 upgd conss, 0 impls, 95411 clqs 23.90/24.06 c (round 109, fast) 14047 del vars, 38646 del conss, 2548 add conss, 2089 chg bounds, 247 chg sides, 1350 chg coeffs, 12566 upgd conss, 0 impls, 95043 clqs 23.90/24.06 c (round 110, exhaustive) 14047 del vars, 38702 del conss, 2604 add conss, 2089 chg bounds, 247 chg sides, 1360 chg coeffs, 12566 upgd conss, 0 impls, 95046 clqs 23.90/24.06 c (round 111, medium) 14047 del vars, 38704 del conss, 2608 add conss, 2089 chg bounds, 251 chg sides, 1370 chg coeffs, 12566 upgd conss, 0 impls, 95105 clqs 23.90/24.06 c (round 112, exhaustive) 14072 del vars, 38706 del conss, 2610 add conss, 2089 chg bounds, 251 chg sides, 1375 chg coeffs, 12566 upgd conss, 0 impls, 95409 clqs 23.90/24.06 c (round 113, fast) 14088 del vars, 38788 del conss, 2610 add conss, 2089 chg bounds, 251 chg sides, 1395 chg coeffs, 12566 upgd conss, 0 impls, 94302 clqs 23.90/24.06 c (round 114, exhaustive) 14088 del vars, 38798 del conss, 2620 add conss, 2089 chg bounds, 252 chg sides, 1454 chg coeffs, 12566 upgd conss, 0 impls, 94302 clqs 23.90/24.06 c (12.9s) probing: 2000/3308 (60.5%) - 564 fixings, 44 aggregations, 1945537 implications, 0 bound changes 23.90/24.06 c (14.0s) probing: 3000/3308 (90.7%) - 572 fixings, 45 aggregations, 2110424 implications, 0 bound changes 23.90/24.06 c (14.3s) probing cycle finished: starting next cycle 23.90/24.06 c (round 115, exhaustive) 14116 del vars, 38798 del conss, 2622 add conss, 2089 chg bounds, 254 chg sides, 1466 chg coeffs, 12566 upgd conss, 0 impls, 96318 clqs 23.90/24.06 c (round 116, fast) 14119 del vars, 38834 del conss, 2622 add conss, 2089 chg bounds, 254 chg sides, 1467 chg coeffs, 12568 upgd conss, 0 impls, 96216 clqs 23.90/24.06 c (round 117, medium) 14120 del vars, 38837 del conss, 2623 add conss, 2089 chg bounds, 255 chg sides, 1471 chg coeffs, 12568 upgd conss, 0 impls, 96084 clqs 23.90/24.06 c (round 118, exhaustive) 14124 del vars, 38845 del conss, 2627 add conss, 2089 chg bounds, 255 chg sides, 1481 chg coeffs, 12568 upgd conss, 0 impls, 96051 clqs 23.90/24.06 c (15.3s) probing: 1000/3185 (31.4%) - 581 fixings, 65 aggregations, 2257270 implications, 0 bound changes 23.90/24.06 c (round 119, exhaustive) 14149 del vars, 38845 del conss, 2627 add conss, 2089 chg bounds, 255 chg sides, 1486 chg coeffs, 12568 upgd conss, 0 impls, 94062 clqs 23.90/24.06 c (round 120, fast) 14161 del vars, 38902 del conss, 2627 add conss, 2089 chg bounds, 255 chg sides, 1492 chg coeffs, 12568 upgd conss, 0 impls, 93453 clqs 23.90/24.06 c (round 121, medium) 14161 del vars, 38902 del conss, 2629 add conss, 2089 chg bounds, 261 chg sides, 1520 chg coeffs, 12568 upgd conss, 0 impls, 93455 clqs 23.90/24.06 c (round 122, exhaustive) 14161 del vars, 38944 del conss, 2671 add conss, 2089 chg bounds, 261 chg sides, 1530 chg coeffs, 12568 upgd conss, 0 impls, 93455 clqs 23.90/24.06 c (round 123, exhaustive) 14186 del vars, 38945 del conss, 2672 add conss, 2089 chg bounds, 262 chg sides, 1538 chg coeffs, 12568 upgd conss, 0 impls, 95766 clqs 23.90/24.06 c (round 124, fast) 14205 del vars, 39021 del conss, 2672 add conss, 2089 chg bounds, 262 chg sides, 1549 chg coeffs, 12568 upgd conss, 0 impls, 95123 clqs 23.90/24.06 c (round 125, medium) 14207 del vars, 39031 del conss, 2687 add conss, 2089 chg bounds, 279 chg sides, 1607 chg coeffs, 12568 upgd conss, 0 impls, 94531 clqs 23.90/24.06 c (round 126, fast) 14208 del vars, 39037 del conss, 2689 add conss, 2089 chg bounds, 279 chg sides, 1607 chg coeffs, 12568 upgd conss, 0 impls, 94510 clqs 23.90/24.06 c (round 127, exhaustive) 14208 del vars, 39078 del conss, 2730 add conss, 2089 chg bounds, 279 chg sides, 1640 chg coeffs, 12568 upgd conss, 0 impls, 94510 clqs 23.90/24.06 c (round 128, exhaustive) 14208 del vars, 39080 del conss, 2731 add conss, 2089 chg bounds, 281 chg sides, 1651 chg coeffs, 12568 upgd conss, 0 impls, 94557 clqs 23.90/24.06 c (16.5s) probing: 2000/3185 (62.8%) - 615 fixings, 71 aggregations, 2433805 implications, 0 bound changes 23.90/24.06 c (17.5s) probing: 3000/3185 (94.2%) - 617 fixings, 71 aggregations, 2590609 implications, 0 bound changes 23.90/24.06 c (17.7s) probing cycle finished: starting next cycle 23.90/24.06 c (18.6s) probing: 1000/3070 (32.6%) - 630 fixings, 80 aggregations, 2702109 implications, 0 bound changes 23.90/24.06 c (round 129, exhaustive) 14233 del vars, 39080 del conss, 2731 add conss, 2089 chg bounds, 281 chg sides, 1654 chg coeffs, 12568 upgd conss, 0 impls, 95038 clqs 23.90/24.06 c (round 130, fast) 14243 del vars, 39145 del conss, 2731 add conss, 2089 chg bounds, 281 chg sides, 1659 chg coeffs, 12568 upgd conss, 0 impls, 94762 clqs 23.90/24.06 c (round 131, medium) 14244 del vars, 39153 del conss, 2744 add conss, 2089 chg bounds, 294 chg sides, 1700 chg coeffs, 12568 upgd conss, 0 impls, 94756 clqs 23.90/24.06 c (round 132, exhaustive) 14244 del vars, 39161 del conss, 2752 add conss, 2089 chg bounds, 294 chg sides, 1739 chg coeffs, 12568 upgd conss, 0 impls, 94757 clqs 23.90/24.06 c (19.7s) probing: 2000/3070 (65.1%) - 632 fixings, 82 aggregations, 2870122 implications, 0 bound changes 23.90/24.06 c (20.7s) probing: 3000/3070 (97.7%) - 637 fixings, 83 aggregations, 3035315 implications, 0 bound changes 23.90/24.06 c (20.8s) probing cycle finished: starting next cycle 23.90/24.06 c (round 133, exhaustive) 14269 del vars, 39161 del conss, 2752 add conss, 2089 chg bounds, 295 chg sides, 1752 chg coeffs, 12569 upgd conss, 0 impls, 96307 clqs 23.90/24.06 c (round 134, fast) 14274 del vars, 39213 del conss, 2752 add conss, 2089 chg bounds, 295 chg sides, 1761 chg coeffs, 12569 upgd conss, 0 impls, 96036 clqs 23.90/24.06 c (round 135, exhaustive) 14274 del vars, 39231 del conss, 2770 add conss, 2089 chg bounds, 295 chg sides, 1773 chg coeffs, 12569 upgd conss, 0 impls, 96038 clqs 23.90/24.06 c (21.8s) probing: 1000/3030 (33.0%) - 641 fixings, 95 aggregations, 3137335 implications, 0 bound changes 23.90/24.06 c (22.8s) probing: 2000/3030 (66.0%) - 644 fixings, 98 aggregations, 3300584 implications, 0 bound changes 23.90/24.06 c (23.8s) probing: 3000/3030 (99.0%) - 645 fixings, 99 aggregations, 3468647 implications, 0 bound changes 30.57/30.79 c (23.8s) probing cycle finished: starting next cycle 30.57/30.79 c (round 136, exhaustive) 14284 del vars, 39231 del conss, 2770 add conss, 2089 chg bounds, 295 chg sides, 1775 chg coeffs, 12569 upgd conss, 0 impls, 97522 clqs 30.57/30.79 c (round 137, fast) 14285 del vars, 39251 del conss, 2770 add conss, 2089 chg bounds, 296 chg sides, 1788 chg coeffs, 12569 upgd conss, 0 impls, 97489 clqs 30.57/30.79 c (round 138, exhaustive) 14285 del vars, 39282 del conss, 2801 add conss, 2089 chg bounds, 296 chg sides, 1790 chg coeffs, 12569 upgd conss, 0 impls, 97489 clqs 30.57/30.79 c (24.8s) probing: 1000/3004 (33.3%) - 646 fixings, 100 aggregations, 3558382 implications, 0 bound changes 30.57/30.79 c (24.9s) probing: 1093/3004 (36.4%) - 646 fixings, 100 aggregations, 3572055 implications, 0 bound changes 30.57/30.79 c (24.9s) probing aborted: 1000/1000 successive useless probings 30.57/30.79 c (24.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 30.57/30.79 c (24.9s) no symmetry present (symcode time: 0.00) 30.57/30.79 c presolving (139 rounds: 139 fast, 83 medium, 62 exhaustive): 30.57/30.79 c 14285 deleted vars, 39282 deleted constraints, 2801 added constraints, 2089 tightened bounds, 0 added holes, 296 changed sides, 1791 changed coefficients 30.57/30.79 c 0 implications, 98435 cliques 30.57/30.79 c presolved problem has 3002 variables (3002 bin, 0 int, 0 impl, 0 cont) and 4987 constraints 30.57/30.79 c 342 constraints of type <knapsack> 30.57/30.79 c 4050 constraints of type <setppc> 30.57/30.79 c 591 constraints of type <and> 30.57/30.79 c 4 constraints of type <logicor> 30.57/30.79 c transformed objective value is always integral (scale: 1) 30.57/30.79 c Presolving Time: 24.89 30.57/30.79 c 30.57/30.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 30.57/30.79 c 25.6s| 1 | 0 | 3901 | - | 110M | 0 |3002 |5017 |5578 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown 30.57/30.79 c 30.6s| 1 | 0 | 25798 | - | 115M | 0 |3002 |5218 |5578 | 0 | 1 | 30 | 0 | cutoff | -- | 0.00%| unknown 30.57/30.79 c 30.6s| 1 | 0 | 25798 | - | 115M | 0 |3002 |5218 |5578 | 0 | 1 | 30 | 0 | cutoff | -- | 0.00%| unknown 30.57/30.79 c 30.57/30.79 c SCIP Status : problem is solved [infeasible] 30.57/30.79 c Solving Time (sec) : 30.57 30.57/30.79 c Solving Nodes : 1 30.57/30.79 c Primal Bound : +1.00000000000000e+20 (0 solutions) 30.57/30.79 c Dual Bound : +1.00000000000000e+20 30.57/30.79 c Gap : 0.00 % 30.57/30.79 c SCIP found the problem to be infeasible. 30.57/30.79 s UNSATISFIABLE
ERROR: no interpretation found !
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 (60756 MiB free) memory of node 1: 64507 MiB (62309 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529794-1752254323/watcher-4529794-1752254323 -o /tmp/evaluation-result-4529794-1752254323/solver-4529794-1752254323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111199 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529794-1752254323.opb 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=112607, runsolver pid=112604 Current StackSize limit: 8192 KiB [startup+0.100062 s]* /proc/loadavg: 4.18 4.05 3.59 5/268 112612 /proc/meminfo: memFree=126018900/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1188028 memory=32928 CPUtime=0.07 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 3982 0 0 0 6 1 0 0 20 0 1 0 141112142 1216540672 8232 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 297007 8232 4904 1 0 268998 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 1192220 KiB Current children cumulated memory: 36000 KiB [startup+0.205685 s]* /proc/loadavg: 4.18 4.05 3.59 5/268 112612 /proc/meminfo: memFree=126018900/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1229028 memory=80288 CPUtime=0.17 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 13368 0 0 0 15 2 0 0 20 0 1 0 141112142 1258524672 20072 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 307257 20072 7592 1 0 278615 0 Current children cumulated CPU time: 0.17 s Current children cumulated vsize: 1233220 KiB Current children cumulated memory: 83360 KiB [startup+0.305547 s]* /proc/loadavg: 4.18 4.05 3.59 5/268 112612 /proc/meminfo: memFree=125994960/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1280256 memory=130720 CPUtime=0.27 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 25766 0 0 0 23 4 0 0 20 0 1 0 141112142 1310982144 32680 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 320064 32680 7816 1 0 291422 0 Current children cumulated CPU time: 0.27 s Current children cumulated vsize: 1284448 KiB Current children cumulated memory: 133792 KiB [startup+0.700195 s] /proc/loadavg: 4.18 4.05 3.59 6/268 112612 /proc/meminfo: memFree=125986648/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1288920 memory=140832 CPUtime=0.66 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 28223 0 0 0 62 4 0 0 20 0 1 0 141112142 1319854080 35208 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 322230 35208 7912 1 0 293588 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 1293112 KiB Current children cumulated memory: 143904 KiB [startup+1.50019 s] /proc/loadavg: 4.17 4.05 3.59 5/268 112612 /proc/meminfo: memFree=125986648/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1294648 memory=146080 CPUtime=1.46 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29515 0 0 0 141 5 0 0 20 0 1 0 141112142 1325719552 36520 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 323662 36520 7912 1 0 295020 0 Current children cumulated CPU time: 1.46 s Current children cumulated vsize: 1298840 KiB Current children cumulated memory: 149152 KiB [startup+3.10544 s] /proc/loadavg: 4.17 4.05 3.59 5/268 112612 /proc/meminfo: memFree=125901324/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1295436 memory=146848 CPUtime=3.06 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29703 0 0 0 301 5 0 0 20 0 1 0 141112142 1326526464 36712 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 323859 36712 7912 1 0 295217 0 Current children cumulated CPU time: 3.06 s Current children cumulated vsize: 1299628 KiB Current children cumulated memory: 149920 KiB [startup+6.30018 s] /proc/loadavg: 4.15 4.05 3.59 5/268 112612 /proc/meminfo: memFree=125902516/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1295436 memory=146848 CPUtime=6.25 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29703 0 0 0 620 5 0 0 20 0 1 0 141112142 1326526464 36712 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 323859 36712 7912 1 0 295217 0 Current children cumulated CPU time: 6.25 s Current children cumulated vsize: 1299628 KiB Current children cumulated memory: 149920 KiB [startup+12.7002 s] /proc/loadavg: 4.14 4.05 3.59 5/268 112612 /proc/meminfo: memFree=125902648/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1296148 memory=147488 CPUtime=12.63 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 29876 0 0 0 1258 5 0 0 20 0 1 0 141112142 1327255552 36872 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 324037 36872 7912 1 0 295395 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 1300340 KiB Current children cumulated memory: 150560 KiB [startup+25.5002 s] /proc/loadavg: 4.20 4.06 3.60 5/268 112612 /proc/meminfo: memFree=126003100/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1316072 memory=162956 CPUtime=25.39 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 33916 0 0 0 2533 6 0 0 20 0 1 0 141112142 1347657728 40739 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 329018 40739 8104 1 0 300376 0 Current children cumulated CPU time: 25.39 s Current children cumulated vsize: 1320264 KiB Current children cumulated memory: 166028 KiB [startup+30.8665 s] # the end of solver process 112607 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=30.655 s, system=0.104726 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6002 s] /proc/loadavg: 4.20 4.06 3.60 5/268 112612 /proc/meminfo: memFree=126003100/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1316072 memory=162956 CPUtime=25.49 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 33922 0 0 0 2543 6 0 0 20 0 1 0 141112142 1347657728 40739 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 329018 40739 8104 1 0 300376 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 1320264 KiB Current children cumulated memory: 166028 KiB [startup+28.8002 s] /proc/loadavg: 4.18 4.06 3.61 5/268 112612 /proc/meminfo: memFree=125987224/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1317408 memory=164236 CPUtime=28.68 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 34228 0 0 0 2862 6 0 0 20 0 1 0 141112142 1349025792 41059 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 329352 41059 8104 1 0 300710 0 Current children cumulated CPU time: 28.68 s Current children cumulated vsize: 1321600 KiB Current children cumulated memory: 167308 KiB [startup+29.6002 s] /proc/loadavg: 4.18 4.06 3.61 5/268 112612 /proc/meminfo: memFree=125987224/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1351392 memory=195980 CPUtime=29.48 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 42199 0 0 0 2941 7 0 0 20 0 1 0 141112142 1383825408 48995 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 337848 48995 8104 1 0 309206 0 Current children cumulated CPU time: 29.48 s Current children cumulated vsize: 1355584 KiB Current children cumulated memory: 199052 KiB [startup+30.4002 s] /proc/loadavg: 4.18 4.06 3.61 5/268 112612 /proc/meminfo: memFree=125946904/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1360884 memory=205324 CPUtime=30.28 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 44535 0 0 0 3020 8 0 0 20 0 1 0 141112142 1393545216 51331 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 340221 51331 8104 1 0 311579 0 Current children cumulated CPU time: 30.28 s Current children cumulated vsize: 1365076 KiB Current children cumulated memory: 208396 KiB [startup+30.8002 s] /proc/loadavg: 4.18 4.06 3.61 5/268 112612 /proc/meminfo: memFree=125946904/131250000 swapFree=33010416/33010684 [pid=112607] ppid=112604 vsize=4192 memory=3072 CPUtime=0 cores=4,6 /proc/112607/stat : 112607 (scip-naps-1.00a) S 112604 112607 110042 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 141112140 4292608 768 18446744073709551615 94643563323392 94643564217925 140735878140192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94643564456976 94643564504720 94643594407936 140735878142363 140735878142462 140735878142462 140735878148066 0 /proc/112607/statm: 1048 768 704 219 0 110 0 [pid=112612] ppid=112607 vsize=1360732 memory=205392 CPUtime=30.68 cores=4,6 /proc/112612/stat : 112612 (python3) R 112607 112607 110042 0 -1 4194304 45177 0 0 0 3059 9 0 0 20 0 1 0 141112142 1393389568 51348 18446744073709551615 94152718184448 94152718184825 140721501614912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94152718196120 94152718196740 94152749297664 140721501616463 140721501616672 140721501616672 140721501622247 0 /proc/112612/statm: 340183 51348 8104 1 0 311541 0 Current children cumulated CPU time: 30.68 s Current children cumulated vsize: 1364924 KiB Current children cumulated memory: 208464 KiB Child status: 0 Real time (s): 30.8665 CPU time (s): 30.7597 CPU user time (s): 30.655 CPU system time (s): 0.104726 CPU usage (%): 99.6539 Max. virtual memory (cumulated for all children) (KiB): 1367384 Max. memory (cumulated for all children) (KiB): 210828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.655 system time used= 0.104726 maximum resident set size= 207884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45820 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 334 involuntary context switches= 53 # summary of solver processes directly reported to runsolver: # pid: 112607 # total CPU time (s): 30.7597 # total CPU user time (s): 30.655 # total CPU system time (s): 0.104726 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.07915 second user time and 0.153767 second system time The end
Begin job on nodeC027 at 2025-07-11 19:18:43 IDJOB=4529794 IDBENCH=152011 IDSOLVER=3388 FILE ID=nodeC027/4529794-1752254323 RUNJOBID= nodeC027-1752253254-111199 SLURM_JOB_ID= 9682567 Free space on /tmp= 431160 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j6021_1-unsat.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529794-1752254323/watcher-4529794-1752254323 -o /tmp/evaluation-result-4529794-1752254323/solver-4529794-1752254323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111199 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529794-1752254323.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= acb3bfa25be6cee6deaef298d2d917c1 RANDOM SEED=1381786735 nodeC027 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 : 3599.638 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 : 6999.29 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 : 3599.654 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 : 6999.29 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 : 3497.097 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 : 6999.29 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 : 3601.416 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 : 6999.29 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 : 3599.642 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 : 6999.29 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 : 3599.655 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 : 6999.29 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 : 3564.218 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 : 6999.29 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 : 3700.000 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126019148 kB MemAvailable: 127809416 kB Buffers: 2488 kB Cached: 2582644 kB SwapCached: 12 kB Active: 2564536 kB Inactive: 1971808 kB Active(anon): 1966488 kB Inactive(anon): 2792 kB Active(file): 598048 kB Inactive(file): 1969016 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6824 kB Writeback: 8 kB AnonPages: 1950808 kB Mapped: 131536 kB Shmem: 18056 kB KReclaimable: 124488 kB Slab: 217240 kB SReclaimable: 124488 kB SUnreclaim: 92752 kB KernelStack: 4272 kB PageTables: 7720 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 5740980 kB VmallocTotal: 34359738367 kB VmallocUsed: 150648 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 651264 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431156 MiB End job on nodeC027 at 2025-07-11 19:19:14