| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | SAT | 501.459 | 502.879 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb |
| MD5SUM | 20bd7084da444bf6829119f4b61cf926 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.539647 |
| 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 | 4125 |
| Total number of constraints | 4277 |
| Number of constraints which are clauses | 4202 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 75 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
19.10/19.29 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507637-1751183540.opb 19.10/19.29 c Solving mode: decision 19.10/19.29 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 19.10/19.29 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 19.10/19.29 c original problem has 4125 variables (4125 bin, 0 int, 0 impl, 0 cont) and 4277 constraints 19.10/19.29 c presolving: 19.10/19.29 c (round 1, fast) 174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 782 clqs 19.10/19.29 c (round 2, fast) 434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 769 clqs 19.10/19.29 c (round 3, fast) 551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 766 clqs 19.10/19.29 c (round 4, fast) 644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 777 clqs 19.10/19.29 c (round 5, fast) 701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 799 clqs 19.10/19.29 c (round 6, fast) 723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 817 clqs 19.10/19.29 c (round 7, fast) 727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 826 clqs 19.10/19.29 c (round 8, exhaustive) 727 del vars, 485 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 827 clqs 19.10/19.29 c (round 9, exhaustive) 727 del vars, 485 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3792 upgd conss, 0 impls, 827 clqs 19.10/19.29 c (round 10, exhaustive) 779 del vars, 485 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 49 chg coeffs, 3792 upgd conss, 0 impls, 817 clqs 19.10/19.29 c (round 11, fast) 831 del vars, 537 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 49 chg coeffs, 3792 upgd conss, 0 impls, 817 clqs 19.10/19.29 c (round 12, exhaustive) 856 del vars, 538 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 49 chg coeffs, 3792 upgd conss, 0 impls, 23123 clqs 19.10/19.29 c (round 13, fast) 856 del vars, 563 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 74 chg coeffs, 3792 upgd conss, 0 impls, 23127 clqs 19.10/19.29 c (round 14, exhaustive) 881 del vars, 563 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 76 chg coeffs, 3792 upgd conss, 0 impls, 23954 clqs 19.10/19.29 c (round 15, fast) 881 del vars, 588 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 133 chg coeffs, 3792 upgd conss, 0 impls, 23970 clqs 19.10/19.29 c (round 16, exhaustive) 906 del vars, 588 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 133 chg coeffs, 3792 upgd conss, 0 impls, 23958 clqs 19.10/19.29 c (round 17, fast) 906 del vars, 613 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 186 chg coeffs, 3792 upgd conss, 0 impls, 23968 clqs 19.10/19.29 c (round 18, exhaustive) 931 del vars, 613 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 188 chg coeffs, 3792 upgd conss, 0 impls, 23896 clqs 19.10/19.29 c (round 19, fast) 931 del vars, 638 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 217 chg coeffs, 3792 upgd conss, 0 impls, 23907 clqs 19.10/19.29 c (round 20, exhaustive) 956 del vars, 638 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 217 chg coeffs, 3792 upgd conss, 0 impls, 23969 clqs 19.10/19.29 c (round 21, fast) 956 del vars, 663 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 269 chg coeffs, 3792 upgd conss, 0 impls, 23977 clqs 19.10/19.29 c (round 22, exhaustive) 981 del vars, 663 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 269 chg coeffs, 3792 upgd conss, 0 impls, 23867 clqs 19.10/19.29 c (round 23, fast) 981 del vars, 688 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 279 chg coeffs, 3792 upgd conss, 0 impls, 23867 clqs 19.10/19.29 c (round 24, exhaustive) 1006 del vars, 688 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 279 chg coeffs, 3792 upgd conss, 0 impls, 23722 clqs 19.10/19.29 c (round 25, fast) 1006 del vars, 713 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 285 chg coeffs, 3792 upgd conss, 0 impls, 23722 clqs 19.10/19.29 c (round 26, exhaustive) 1031 del vars, 713 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 285 chg coeffs, 3792 upgd conss, 0 impls, 23598 clqs 19.10/19.29 c (round 27, fast) 1031 del vars, 738 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 295 chg coeffs, 3792 upgd conss, 0 impls, 23598 clqs 19.10/19.29 c (1.2s) probing: 1000/3617 (27.6%) - 207 fixings, 6 aggregations, 344709 implications, 0 bound changes 19.10/19.29 c (round 28, exhaustive) 1056 del vars, 738 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 295 chg coeffs, 3792 upgd conss, 0 impls, 23968 clqs 19.10/19.29 c (round 29, fast) 1056 del vars, 763 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 326 chg coeffs, 3792 upgd conss, 0 impls, 23976 clqs 19.10/19.29 c (round 30, exhaustive) 1083 del vars, 763 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 326 chg coeffs, 3792 upgd conss, 0 impls, 24048 clqs 19.10/19.29 c (round 31, fast) 1085 del vars, 790 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 382 chg coeffs, 3792 upgd conss, 0 impls, 24061 clqs 19.10/19.29 c (round 32, exhaustive) 1110 del vars, 790 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 382 chg coeffs, 3792 upgd conss, 0 impls, 24055 clqs 19.10/19.29 c (round 33, fast) 1110 del vars, 815 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 416 chg coeffs, 3792 upgd conss, 0 impls, 24058 clqs 19.10/19.29 c (2.1s) probing: 2000/3617 (55.3%) - 284 fixings, 6 aggregations, 663708 implications, 0 bound changes 19.10/19.29 c (2.7s) probing: 2777/3617 (76.8%) - 284 fixings, 6 aggregations, 929991 implications, 0 bound changes 19.10/19.29 c (2.7s) probing aborted: 1000/1000 successive useless probings 19.10/19.29 c (round 34, exhaustive) 1125 del vars, 815 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 416 chg coeffs, 3792 upgd conss, 0 impls, 24084 clqs 19.10/19.29 c (round 35, fast) 1125 del vars, 830 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 438 chg coeffs, 3792 upgd conss, 0 impls, 24084 clqs 19.10/19.29 c (2.8s) probing: 2877/3617 (79.5%) - 284 fixings, 6 aggregations, 962128 implications, 0 bound changes 19.10/19.29 c (2.8s) probing aborted: 1000/1000 successive useless probings 19.10/19.29 c (2.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 19.10/19.29 c (2.8s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00) 19.10/19.29 c dynamic symmetry handling statistics: 19.10/19.29 c orbitopal reduction: no components 19.10/19.29 c orbital reduction: no components 19.10/19.29 c lexicographic reduction: 3 permutations with support sizes 336, 130, 124 19.10/19.29 c handled 3 out of 3 symmetry components 19.10/19.29 c presolving (36 rounds: 36 fast, 16 medium, 16 exhaustive): 19.10/19.29 c 1125 deleted vars, 830 deleted constraints, 0 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 438 changed coefficients 19.10/19.29 c 0 implications, 24103 cliques 19.10/19.29 c presolved problem has 3325 variables (3325 bin, 0 int, 0 impl, 0 cont) and 3447 constraints 19.10/19.29 c 705 constraints of type <setppc> 19.10/19.29 c 2742 constraints of type <logicor> 19.10/19.29 c transformed objective value is always integral (scale: 1) 19.10/19.29 c Presolving Time: 2.80 19.10/19.29 c 19.10/19.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 19.10/19.29 c 5.2s| 1 | 0 | 10465 | - | 75M | 0 |3325 |3603 |3447 | 0 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown 19.10/19.29 c 15.9s| 1 | 0 | 47654 | - | 80M | 0 |3325 |3805 |3453 | 6 | 1 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown 19.10/19.29 c 16.6s| 1 | 0 | 49703 | - | 81M | 0 |3325 |3805 |3462 | 15 | 2 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown 19.10/19.29 c 17.6s| 1 | 0 | 52487 | - | 82M | 0 |3325 |3809 |3467 | 20 | 3 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown 19.10/19.29 c 18.3s| 1 | 0 | 54185 | - | 82M | 0 |3325 |3811 |3473 | 26 | 4 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 19.1s| 1 | 0 | 56211 | - | 83M | 0 |3325 |3815 |3482 | 35 | 5 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 20.0s| 1 | 0 | 58027 | - | 84M | 0 |3325 |3813 |3491 | 44 | 6 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 21.3s| 1 | 0 | 61547 | - | 85M | 0 |3325 |3815 |3502 | 55 | 7 | 202 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 22.6s| 1 | 0 | 64746 | - | 87M | 0 |3325 |3818 |3509 | 62 | 8 | 206 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 23.5s| 1 | 0 | 66767 | - | 88M | 0 |3325 |3819 |3524 | 77 | 9 | 207 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 24.7s| 1 | 0 | 69580 | - | 88M | 0 |3325 |3817 |3537 | 90 | 10 | 209 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 25.8s| 1 | 0 | 72734 | - | 90M | 0 |3325 |3810 |3550 | 103 | 11 | 210 | 0 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 46.1s| 1 | 2 |124142 | - | 90M | 0 |3325 |3759 |3550 | 103 | 11 | 216 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 119s| 100 | 37 |371429 |3017.1 | 98M | 31 |3325 |3836 |3517 | 157 | 1 | 341 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 131s| 200 | 35 |424933 |1769.8 | 103M | 42 |3325 |3913 | 0 | 182 | 0 | 424 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 498.69/500.17 c 149s| 300 | 42 |501763 |1434.9 | 105M | 42 |3325 |3955 |3512 | 204 | 0 | 526 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 189s| 400 | 66 |655808 |1461.3 | 108M | 42 |3325 |4021 |3508 | 269 | 0 | 677 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 294s| 500 | 130 | 1059k|1977.3 | 113M | 42 |3325 |4084 |3511 | 395 | 0 | 971 | 11 | 0.000000e+00 | -- | Inf | 3.20% 498.69/500.17 c 318s| 600 | 150 | 1160k|1815.9 | 115M | 42 |3325 |4139 |3517 | 423 | 1 |1123 | 11 | 0.000000e+00 | -- | Inf | 3.21% 498.69/500.17 c 328s| 700 | 154 | 1205k|1620.5 | 116M | 42 |3325 |4195 |3516 | 438 | 1 |1313 | 11 | 0.000000e+00 | -- | Inf | 3.22% 498.69/500.17 c 338s| 800 | 156 | 1254k|1479.4 | 118M | 42 |3325 |4269 | 0 | 485 | 0 |1473 | 11 | 0.000000e+00 | -- | Inf | 3.36% 498.69/500.17 c 354s| 900 | 168 | 1324k|1392.2 | 119M | 42 |3325 |4331 |3510 | 510 | 1 |1629 | 11 | 0.000000e+00 | -- | Inf | 3.47% 498.69/500.17 c 371s| 1000 | 176 | 1399k|1328.1 | 119M | 42 |3325 |4326 |3511 | 513 | 1 |1750 | 11 | 0.000000e+00 | -- | Inf | 3.47% 498.69/500.17 c 380s| 1100 | 180 | 1441k|1245.6 | 120M | 42 |3325 |4345 |3516 | 526 | 0 |1879 | 11 | 0.000000e+00 | -- | Inf | 3.48% 498.69/500.17 c 388s| 1200 | 184 | 1482k|1175.7 | 122M | 42 |3325 |4371 |3511 | 538 | 1 |1952 | 11 | 0.000000e+00 | -- | Inf | 3.48% 498.69/500.17 c 398s| 1300 | 184 | 1532k|1123.8 | 124M | 42 |3325 |4358 |3515 | 571 | 1 |1993 | 11 | 0.000000e+00 | -- | Inf | 3.53% 498.69/500.17 c 403s| 1400 | 184 | 1559k|1063.0 | 124M | 42 |3325 |4481 |3514 | 589 | 0 |2136 | 11 | 0.000000e+00 | -- | Inf | 3.53% 498.69/500.17 c 412s| 1500 | 186 | 1601k|1020.1 | 126M | 42 |3325 |4520 |3514 | 606 | 1 |2228 | 11 | 0.000000e+00 | -- | Inf | 3.95% 498.69/500.17 c Restart triggered after 50 consecutive estimations that the remaining tree will be large 498.69/500.17 c (run 1, node 1549) performing user restart 498.69/500.17 c 498.69/500.17 c (restart) converted 48 cuts from the global cut pool into linear constraints 498.69/500.17 c 498.69/500.17 c presolving: 498.69/500.17 c (round 1, fast) 0 del vars, 59 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c (round 2, exhaustive) 0 del vars, 63 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c (round 3, exhaustive) 0 del vars, 70 del conss, 2 add conss, 0 chg bounds, 6 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c (round 4, exhaustive) 0 del vars, 70 del conss, 2 add conss, 0 chg bounds, 6 chg sides, 1 chg coeffs, 222 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c (round 5, medium) 0 del vars, 73 del conss, 7 add conss, 0 chg bounds, 21 chg sides, 23 chg coeffs, 222 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c (round 6, exhaustive) 0 del vars, 83 del conss, 7 add conss, 0 chg bounds, 21 chg sides, 47 chg coeffs, 222 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c (round 7, exhaustive) 0 del vars, 335 del conss, 7 add conss, 0 chg bounds, 21 chg sides, 842 chg coeffs, 222 upgd conss, 0 impls, 24103 clqs 498.69/500.17 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive): 498.69/500.17 c 0 deleted vars, 335 deleted constraints, 7 added constraints, 0 tightened bounds, 0 added holes, 21 changed sides, 916 changed coefficients 498.69/500.17 c 0 implications, 24103 cliques 498.69/500.17 c presolved problem has 3325 variables (3325 bin, 0 int, 0 impl, 0 cont) and 4229 constraints 498.69/500.17 c 32 constraints of type <knapsack> 498.69/500.17 c 801 constraints of type <setppc> 498.69/500.17 c 2 constraints of type <linear> 498.69/500.17 c 3394 constraints of type <logicor> 498.69/500.17 c transformed objective value is always integral (scale: 1) 498.69/500.17 c Presolving Time: 2.97 498.69/500.17 c 498.69/500.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 498.69/500.17 c 420s| 1 | 0 | 1638k| - | 127M | 0 |3325 |4288 |3485 | 0 | 0 |2320 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 421s| 1 | 0 | 1639k| - | 128M | 0 |3325 |4288 |3494 | 9 | 1 |2325 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 422s| 1 | 0 | 1641k| - | 129M | 0 |3325 |4283 |3511 | 26 | 2 |2326 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 423s| 1 | 0 | 1644k| - | 129M | 0 |3325 |4283 |3518 | 33 | 3 |2332 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 424s| 1 | 0 | 1646k| - | 130M | 0 |3325 |4283 |3529 | 44 | 4 |2334 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 425s| 1 | 0 | 1649k| - | 130M | 0 |3325 |4275 |3537 | 52 | 5 |2336 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 426s| 1 | 0 | 1651k| - | 130M | 0 |3325 |4277 |3549 | 64 | 6 |2339 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 427s| 1 | 0 | 1654k| - | 132M | 0 |3325 |4269 |3563 | 78 | 7 |2341 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 429s| 1 | 0 | 1658k| - | 132M | 0 |3325 |4270 |3577 | 92 | 8 |2347 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 430s| 1 | 0 | 1663k| - | 133M | 0 |3325 |4269 |3591 | 106 | 9 |2348 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 432s| 1 | 0 | 1667k| - | 133M | 0 |3325 |4268 |3561 | 115 | 10 |2351 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 433s| 1 | 0 | 1671k| - | 134M | 0 |3325 |4247 |3568 | 122 | 11 |2352 | 11 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 456s| 1 | 2 | 1699k| - | 134M | 0 |3325 |4167 |3568 | 122 | 11 |2364 | 22 | 0.000000e+00 | -- | Inf | unknown 498.69/500.17 c 498.69/500.17 c SCIP Status : solving was interrupted [time limit reached] 498.69/500.17 c Solving Time (sec) : 500.00 498.69/500.17 c Solving Nodes : 16 (total of 1565 nodes in 2 runs) 498.69/500.17 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.69/500.17 c Dual Bound : +0.00000000000000e+00 498.69/500.17 c Gap : infinite 498.69/500.17 c ---------------------------------------------------------------------- 498.69/500.17 c dual bound: 0.0 -> 0 498.69/500.17 c primal bound: 1e+20 -> 100000000000000000000 498.69/500.17 c scip-goal-lb: 0 498.69/500.17 c scip-goal-ub: 100000000000000000000 498.69/500.17 c writing output to: HOME/tmps9kx1m9v.opb 498.69/500.17 c appending fixed variable constraints 498.69/500.17 c scip-fixed vars: 23.85% (793/3325) 498.69/500.17 c ---------------------------------------------------------------------- 498.69/500.17 c executing external solver: HOME/naps-1.03a6 498.69/500.17 c ---------------------------------------------------------------------- 498.69/500.17 c command: HOME/naps-1.03a6 HOME/tmps9kx1m9v.opb 498.69/500.17 c NaPS 1.03a6. 498.69/500.17 c Input file name: HOME/tmps9kx1m9v.opb 501.36/502.82 c _____________________________________________________________________________ 501.36/502.82 c std/band forms : 75,0 501.36/502.82 c 2cl/3cl ITE-codings : 0,0 501.36/502.82 c BDD/srt/adr Max costs : 0,914,0 501.36/502.82 c BDDraw/bin/mul/srt/adr: 0,0,0,75,0 501.36/502.82 c BDD nodes : 0 501.36/502.82 c Es1/CC detections : 0,0 501.36/502.82 c CC sort : 75 501.36/502.82 c SAT/UNSAT calls : 1,0 501.36/502.82 c regenrated variables : 0 501.36/502.82 c eliminated fixed lits : 912 501.36/502.82 c goal lit flips : 0 501.36/502.82 c goal stages : 0 501.36/502.82 c goal shrink : 0 501.36/502.82 c goal coeff separations: 0 501.36/502.82 c restarts : 444 501.36/502.82 c conflicts : 16299 (6232 /sec) 501.36/502.82 c decisions : 141482 (54095 /sec) 501.36/502.82 c propagations : 16346555 (6250033 /sec) 501.36/502.82 c inspects : 0 (0 /sec) 501.36/502.82 c CPU time (solving tm) : 2.615 s (2.544 s, SAT 2.544 s, UNSAT 0 s) 501.36/502.82 c Time for Opt-base : 0.000733 s 501.36/502.82 c Steps for Opt-base : 0 501.36/502.82 c Time for BDD coding : 0 s 501.36/502.82 c Time for srt coding : 0.007657 s 501.36/502.82 c _____________________________________________________________________________ 501.36/502.83 s SATISFIABLE 501.36/502.83 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 501.36/502.83 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 501.36/502.83 v -x4000 -x4001 -x4002 x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 x4125
OK 0
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: 63708 MiB (62775 MiB free)
memory of node 1: 64465 MiB (61006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507637-1751183540/watcher-4507637-1751183540 -o /tmp/evaluation-result-4507637-1751183540/solver-4507637-1751183540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22500 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507637-1751183540.opb
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
Current StackSize limit: 8192 KiB
solver pid=22697, runsolver pid=22694
[startup+0.100062 s]*
/proc/loadavg: 4.07 3.56 2.90 5/272 22702
/proc/meminfo: memFree=126752876/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1187344 memory=32296 CPUtime=0.07 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 3806 0 0 0 6 1 0 0 20 0 1 0 34028525 1215840256 8074 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 296836 8074 4906 1 0 268858 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191536 KiB
Current children cumulated memory: 35368 KiB
[startup+0.205674 s]*
/proc/loadavg: 4.07 3.56 2.90 5/272 22702
/proc/meminfo: memFree=126727424/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1223232 memory=75048 CPUtime=0.17 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 11827 0 0 0 15 2 0 0 20 0 1 0 34028525 1252589568 18762 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 305808 18762 7818 1 0 277166 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1227424 KiB
Current children cumulated memory: 78120 KiB
[startup+0.305734 s]*
/proc/loadavg: 4.07 3.56 2.90 5/272 22702
/proc/meminfo: memFree=126712304/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1235664 memory=85800 CPUtime=0.27 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 14530 0 0 0 25 2 0 0 20 0 1 0 34028525 1265319936 21450 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 308916 21450 7882 1 0 280274 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1239856 KiB
Current children cumulated memory: 88872 KiB
[startup+0.70017 s]
/proc/loadavg: 4.07 3.56 2.90 5/272 22702
/proc/meminfo: memFree=126712304/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1237612 memory=87720 CPUtime=0.65 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 15027 0 0 0 63 2 0 0 20 0 1 0 34028525 1267314688 21930 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 309403 21930 7882 1 0 280761 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1241804 KiB
Current children cumulated memory: 90792 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 3.56 2.90 5/272 22702
/proc/meminfo: memFree=126702476/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1239148 memory=89000 CPUtime=1.45 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 15351 0 0 0 143 2 0 0 20 0 1 0 34028525 1268887552 22250 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 309787 22250 7882 1 0 281145 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1243340 KiB
Current children cumulated memory: 92072 KiB
[startup+3.10562 s]
/proc/loadavg: 4.14 3.58 2.92 5/272 22702
/proc/meminfo: memFree=126678336/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1276752 memory=116136 CPUtime=3.05 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 21942 0 0 0 302 3 0 0 20 0 1 0 34028525 1307394048 29034 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 319188 29034 8106 1 0 290546 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1280944 KiB
Current children cumulated memory: 119208 KiB
[startup+6.30013 s]
/proc/loadavg: 4.14 3.58 2.92 5/272 22702
/proc/meminfo: memFree=126613844/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1278904 memory=118312 CPUtime=6.24 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 22487 0 0 0 621 3 0 0 20 0 1 0 34028525 1309597696 29578 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 319726 29578 8106 1 0 291084 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1283096 KiB
Current children cumulated memory: 121384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 3.59 2.92 5/272 22702
/proc/meminfo: memFree=126589596/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1316616 memory=154024 CPUtime=12.62 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 31422 0 0 0 1257 5 0 0 20 0 1 0 34028525 1348214784 38506 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 329154 38506 8106 1 0 300512 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1320808 KiB
Current children cumulated memory: 157096 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.61 2.94 5/271 22702
/proc/meminfo: memFree=126526096/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1326624 memory=164392 CPUtime=25.38 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 34024 0 0 0 2533 5 0 0 20 0 1 0 34028525 1358462976 41098 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 331656 41098 8106 1 0 303014 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1330816 KiB
Current children cumulated memory: 167464 KiB
[startup+51.1052 s]
/proc/loadavg: 4.15 3.66 2.97 5/270 22702
/proc/meminfo: memFree=126421080/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1326336 memory=166116 CPUtime=50.92 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 36675 0 0 0 5086 6 0 0 20 0 1 0 34028525 1358168064 41529 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 331584 41529 8106 1 0 302942 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1330528 KiB
Current children cumulated memory: 169188 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 3.71 3.03 5/270 22704
/proc/meminfo: memFree=126404808/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1327884 memory=168012 CPUtime=101.97 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 37552 0 0 0 10191 6 0 0 20 0 1 0 34028525 1359753216 42003 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 331971 42003 8234 1 0 303329 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1332076 KiB
Current children cumulated memory: 171084 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.78 3.10 5/270 22706
/proc/meminfo: memFree=126384016/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1334900 memory=175092 CPUtime=161.8 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 41080 0 0 0 16174 6 0 0 20 0 1 0 34028525 1366937600 43773 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 333725 43773 8234 1 0 305083 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1339092 KiB
Current children cumulated memory: 178164 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.86 3.17 5/270 22708
/proc/meminfo: memFree=126386616/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1339328 memory=181284 CPUtime=221.65 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 47130 0 0 0 22157 8 0 0 20 0 1 0 34028525 1371471872 45321 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 334832 45321 8234 1 0 306190 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1343520 KiB
################
# More data... #
################
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1340548 memory=191760 CPUtime=281.47 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 49806 0 0 0 28139 8 0 0 20 0 1 0 34028525 1372721152 47940 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 335137 47940 8234 1 0 306495 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1344740 KiB
Current children cumulated memory: 194832 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.98 3.30 5/270 22766
/proc/meminfo: memFree=126487328/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1345812 memory=196572 CPUtime=341.3 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 56327 0 0 0 34121 9 0 0 20 0 1 0 34028525 1378111488 49143 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 336453 49143 8234 1 0 307811 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1350004 KiB
Current children cumulated memory: 199644 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.01 3.36 5/270 22772
/proc/meminfo: memFree=126460764/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1348512 memory=198576 CPUtime=401.13 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 60607 0 0 0 40104 9 0 0 20 0 1 0 34028525 1380876288 49644 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 337128 49644 8234 1 0 308486 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1352704 KiB
Current children cumulated memory: 201648 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 4.08 3.42 5/270 22774
/proc/meminfo: memFree=126457232/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1363484 memory=214820 CPUtime=460.98 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 69474 0 1 0 46086 12 0 0 20 0 1 0 34028525 1396207616 53705 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 340871 53705 8234 1 0 312229 0
Current children cumulated CPU time: 460.98 s
Current children cumulated vsize: 1367676 KiB
Current children cumulated memory: 217892 KiB
[startup+502.879 s]
# the end of solver process 22697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=501.299 s, system=0.160223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.41 4.12 3.46 5/270 22774
/proc/meminfo: memFree=126457248/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1363484 memory=214820 CPUtime=485.02 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 69474 0 1 0 48490 12 0 0 20 0 1 0 34028525 1396207616 53705 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 340871 53705 8234 1 0 312229 0
Current children cumulated CPU time: 485.02 s
Current children cumulated vsize: 1367676 KiB
Current children cumulated memory: 217892 KiB
[startup+492.8 s]
/proc/loadavg: 4.38 4.12 3.46 5/270 22775
/proc/meminfo: memFree=126457248/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1366496 memory=217508 CPUtime=491.4 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 70196 0 1 0 49128 12 0 0 20 0 1 0 34028525 1399291904 54377 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 341624 54377 8234 1 0 312982 0
Current children cumulated CPU time: 491.4 s
Current children cumulated vsize: 1370688 KiB
Current children cumulated memory: 220580 KiB
[startup+499.2 s]
/proc/loadavg: 4.32 4.11 3.47 5/271 22776
/proc/meminfo: memFree=126448868/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1366496 memory=217508 CPUtime=497.78 cores=5,7
/proc/22702/stat : 22702 (python3) R 22697 22697 22487 0 -1 4194304 70196 0 1 0 49766 12 0 0 20 0 1 0 34028525 1399291904 54377 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 341624 54377 8234 1 0 312982 0
Current children cumulated CPU time: 497.78 s
Current children cumulated vsize: 1370688 KiB
Current children cumulated memory: 220580 KiB
[startup+500.8 s]
/proc/loadavg: 4.32 4.11 3.47 5/271 22776
/proc/meminfo: memFree=126448868/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1368800 memory=219940 CPUtime=498.76 cores=5,7
/proc/22702/stat : 22702 (python3) S 22697 22697 22487 0 -1 4194304 70975 0 1 0 49864 12 0 0 20 0 1 0 34028525 1401651200 54985 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 342200 54985 8266 1 0 313558 0
Current children cumulated CPU time: 498.76 s
Current children cumulated vsize: 1372992 KiB
Current children cumulated memory: 223012 KiB
[startup+501.6 s]
/proc/loadavg: 4.32 4.11 3.47 5/272 22777
/proc/meminfo: memFree=126414532/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1368800 memory=219940 CPUtime=498.76 cores=5,7
/proc/22702/stat : 22702 (python3) S 22697 22697 22487 0 -1 4194304 70975 0 1 0 49864 12 0 0 20 0 1 0 34028525 1401651200 54985 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 342200 54985 8266 1 0 313558 0
[pid=22777] ppid=22702 vsize=26788 memory=21816 CPUtime=1.4 cores=5,7
/proc/22777/stat : 22777 (naps-1.03a6) R 22702 22777 22777 0 -1 4194304 9381 0 0 0 139 1 0 0 20 0 1 0 34078540 27430912 5454 18446744073709551615 4198400 7047149 140720781403584 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 36118528 140720781408657 140720781408755 140720781408755 140720781414345 0
/proc/22777/statm: 6697 5454 544 696 0 5858 0
Current children cumulated CPU time: 500.16 s
Current children cumulated vsize: 1399780 KiB
Current children cumulated memory: 244828 KiB
[startup+502.4 s]
/proc/loadavg: 4.32 4.11 3.47 5/272 22777
/proc/meminfo: memFree=126414552/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1368800 memory=219940 CPUtime=498.76 cores=5,7
/proc/22702/stat : 22702 (python3) S 22697 22697 22487 0 -1 4194304 70975 0 1 0 49864 12 0 0 20 0 1 0 34028525 1401651200 54985 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 342200 54985 8266 1 0 313558 0
[pid=22777] ppid=22702 vsize=25764 memory=22044 CPUtime=2.2 cores=5,7
/proc/22777/stat : 22777 (naps-1.03a6) R 22702 22777 22777 0 -1 4194304 10322 0 0 0 219 1 0 0 20 0 1 0 34078540 26382336 5511 18446744073709551615 4198400 7047149 140720781403584 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36118528 140720781408657 140720781408755 140720781408755 140720781414345 0
/proc/22777/statm: 6441 5511 544 696 0 5602 0
Current children cumulated CPU time: 500.96 s
Current children cumulated vsize: 1398756 KiB
Current children cumulated memory: 245056 KiB
[startup+502.8 s]
/proc/loadavg: 4.32 4.11 3.47 5/272 22777
/proc/meminfo: memFree=126414552/131249992 swapFree=33010672/33010684
[pid=22697] ppid=22694 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22697/stat : 22697 (scip-naps-1.00.) S 22694 22697 22487 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 34028523 4292608 768 18446744073709551615 94233485180928 94233486075461 140724138046208 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94233486314512 94233486362256 94233499152384 140724138052001 140724138052098 140724138052098 140724138057700 0
/proc/22697/statm: 1048 768 704 219 0 110 0
[pid=22702] ppid=22697 vsize=1368800 memory=219940 CPUtime=498.76 cores=5,7
/proc/22702/stat : 22702 (python3) S 22697 22697 22487 0 -1 4194304 70975 0 1 0 49864 12 0 0 20 0 1 0 34028525 1401651200 54985 18446744073709551615 93929105707008 93929105707385 140723487588240 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93929105718680 93929105719300 93929110876160 140723487590744 140723487590946 140723487590946 140723487596519 0
/proc/22702/statm: 342200 54985 8266 1 0 313558 0
[pid=22777] ppid=22702 vsize=26788 memory=22744 CPUtime=2.6 cores=5,7
/proc/22777/stat : 22777 (naps-1.03a6) R 22702 22777 22777 0 -1 4194304 10743 0 0 0 258 2 0 0 20 0 1 0 34078540 27430912 5686 18446744073709551615 4198400 7047149 140720781403584 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 36118528 140720781408657 140720781408755 140720781408755 140720781414345 0
/proc/22777/statm: 6697 5686 544 696 0 5858 0
Current children cumulated CPU time: 501.36 s
Current children cumulated vsize: 1399780 KiB
Current children cumulated memory: 245756 KiB
Child status: 0
Real time (s): 502.879
CPU time (s): 501.459
CPU user time (s): 501.299
CPU system time (s): 0.160223
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 1401828
Max. memory (cumulated for all children) (KiB): 246108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.299
system time used= 0.160223
maximum resident set size= 219940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86686
page faults= 1
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370
involuntary context switches= 2820
# summary of solver processes directly reported to runsolver:
# pid: 22697
# total CPU time (s): 501.459
# total CPU user time (s): 501.299
# total CPU system time (s): 0.160223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.963296 second user time and 2.13015 second system time
The end
Begin job on nodeC035 at 2025-06-29 09:52:20 IDJOB=4507637 IDBENCH=158373 IDSOLVER=3368 FILE ID=nodeC035/4507637-1751183540 RUNJOBID= nodeC035-1751183027-22500 SLURM_JOB_ID= 9587567 Free space on /tmp= 433044 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507637-1751183540/watcher-4507637-1751183540 -o /tmp/evaluation-result-4507637-1751183540/solver-4507637-1751183540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22500 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507637-1751183540.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 20bd7084da444bf6829119f4b61cf926 RANDOM SEED=1376436920 nodeC035 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.752 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.51 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.756 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.51 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 : 3591.504 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.51 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 : 3605.069 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.51 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.747 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.51 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.973 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.51 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 : 3563.136 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.51 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 : 3599.740 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 126752924 kB MemAvailable: 129184288 kB Buffers: 2352 kB Cached: 3226048 kB SwapCached: 8 kB Active: 889472 kB Inactive: 2975916 kB Active(anon): 649004 kB Inactive(anon): 6040 kB Active(file): 240468 kB Inactive(file): 2969876 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 11648 kB Writeback: 0 kB AnonPages: 637984 kB Mapped: 130096 kB Shmem: 18056 kB KReclaimable: 120516 kB Slab: 207188 kB SReclaimable: 120516 kB SUnreclaim: 86672 kB KernelStack: 4368 kB PageTables: 4872 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 4176036 kB VmallocTotal: 34359738367 kB VmallocUsed: 150648 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 360448 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433040 MiB End job on nodeC035 at 2025-06-29 10:00:43