| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | SAT | 519.813 | 521.406 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb |
| MD5SUM | 7a41f646f8fb7a1c0e5845075c21504b |
| 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 | 8.08757 |
| 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 | 3795 |
| Total number of constraints | 3935 |
| Number of constraints which are clauses | 3866 |
| Number of constraints which are cardinality constraints (but not clauses) | 69 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 69 |
| 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 | 70 |
| 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 |
20.09/20.27 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507709-1751184044.opb 20.09/20.27 c Solving mode: decision 20.09/20.27 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 20.09/20.27 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 20.09/20.27 c original problem has 3795 variables (3795 bin, 0 int, 0 impl, 0 cont) and 3935 constraints 20.09/20.27 c presolving: 20.09/20.27 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, 716 clqs 20.09/20.27 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, 703 clqs 20.09/20.27 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, 700 clqs 20.09/20.27 c (round 4, fast) 644 del vars, 352 del conss, 0 add conss, 160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 713 clqs 20.09/20.27 c (round 5, fast) 695 del vars, 391 del conss, 0 add conss, 182 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 735 clqs 20.09/20.27 c (round 6, fast) 717 del vars, 410 del conss, 0 add conss, 189 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 751 clqs 20.09/20.27 c (round 7, fast) 721 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 760 clqs 20.09/20.27 c (round 8, exhaustive) 721 del vars, 479 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 761 clqs 20.09/20.27 c (round 9, exhaustive) 721 del vars, 479 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 3456 upgd conss, 0 impls, 761 clqs 20.09/20.27 c (round 10, exhaustive) 773 del vars, 479 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 49 chg coeffs, 3456 upgd conss, 0 impls, 751 clqs 20.09/20.27 c (round 11, fast) 825 del vars, 531 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 49 chg coeffs, 3456 upgd conss, 0 impls, 751 clqs 20.09/20.27 c (round 12, exhaustive) 851 del vars, 532 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 49 chg coeffs, 3456 upgd conss, 0 impls, 21649 clqs 20.09/20.27 c (round 13, fast) 852 del vars, 558 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 79 chg coeffs, 3456 upgd conss, 0 impls, 21657 clqs 20.09/20.27 c (round 14, exhaustive) 877 del vars, 558 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 81 chg coeffs, 3456 upgd conss, 0 impls, 22042 clqs 20.09/20.27 c (round 15, fast) 877 del vars, 583 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 138 chg coeffs, 3456 upgd conss, 0 impls, 22055 clqs 20.09/20.27 c (round 16, exhaustive) 904 del vars, 583 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 140 chg coeffs, 3456 upgd conss, 0 impls, 22047 clqs 20.09/20.27 c (round 17, fast) 904 del vars, 610 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 199 chg coeffs, 3456 upgd conss, 0 impls, 22062 clqs 20.09/20.27 c (round 18, exhaustive) 929 del vars, 610 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 199 chg coeffs, 3456 upgd conss, 0 impls, 21983 clqs 20.09/20.27 c (round 19, fast) 929 del vars, 635 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 223 chg coeffs, 3456 upgd conss, 0 impls, 21989 clqs 20.09/20.27 c (round 20, exhaustive) 955 del vars, 635 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 223 chg coeffs, 3456 upgd conss, 0 impls, 22066 clqs 20.09/20.27 c (round 21, fast) 956 del vars, 661 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 283 chg coeffs, 3456 upgd conss, 0 impls, 22077 clqs 20.09/20.27 c (round 22, exhaustive) 981 del vars, 661 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 284 chg coeffs, 3456 upgd conss, 0 impls, 21979 clqs 20.09/20.27 c (round 23, fast) 981 del vars, 686 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 296 chg coeffs, 3456 upgd conss, 0 impls, 21980 clqs 20.09/20.27 c (round 24, exhaustive) 1006 del vars, 686 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 296 chg coeffs, 3456 upgd conss, 0 impls, 21825 clqs 20.09/20.27 c (round 25, fast) 1006 del vars, 711 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 303 chg coeffs, 3456 upgd conss, 0 impls, 21825 clqs 20.09/20.27 c (round 26, exhaustive) 1031 del vars, 711 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 303 chg coeffs, 3456 upgd conss, 0 impls, 21666 clqs 20.09/20.27 c (round 27, fast) 1031 del vars, 736 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 309 chg coeffs, 3456 upgd conss, 0 impls, 21666 clqs 20.09/20.27 c (round 28, exhaustive) 1056 del vars, 736 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 309 chg coeffs, 3456 upgd conss, 0 impls, 21723 clqs 20.09/20.27 c (round 29, fast) 1056 del vars, 761 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 342 chg coeffs, 3456 upgd conss, 0 impls, 21724 clqs 20.09/20.27 c (1.5s) probing: 1000/3287 (30.4%) - 228 fixings, 6 aggregations, 317687 implications, 0 bound changes 20.09/20.27 c (round 30, exhaustive) 1081 del vars, 761 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 343 chg coeffs, 3456 upgd conss, 0 impls, 22129 clqs 20.09/20.27 c (round 31, fast) 1082 del vars, 787 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 392 chg coeffs, 3456 upgd conss, 0 impls, 22139 clqs 20.09/20.27 c (round 32, exhaustive) 1108 del vars, 787 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 395 chg coeffs, 3456 upgd conss, 0 impls, 19748 clqs 20.09/20.27 c (round 33, fast) 1108 del vars, 812 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 434 chg coeffs, 3456 upgd conss, 0 impls, 19750 clqs 20.09/20.27 c (2.6s) probing: 2000/3287 (60.8%) - 280 fixings, 6 aggregations, 643592 implications, 0 bound changes 20.09/20.27 c (3.6s) probing: 3000/3287 (91.3%) - 281 fixings, 6 aggregations, 962591 implications, 0 bound changes 20.09/20.27 c (3.8s) probing: 3160/3287 (96.1%) - 281 fixings, 6 aggregations, 1007978 implications, 0 bound changes 20.09/20.27 c (3.8s) probing aborted: 1000/1000 successive useless probings 20.09/20.27 c (round 34, exhaustive) 1119 del vars, 812 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 436 chg coeffs, 3456 upgd conss, 0 impls, 22156 clqs 20.09/20.27 c (round 35, fast) 1119 del vars, 822 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 445 chg coeffs, 3456 upgd conss, 0 impls, 22156 clqs 20.09/20.27 c (3.9s) probing cycle finished: starting next cycle 20.09/20.27 c (3.9s) probing: 25/2997 (0.8%) - 281 fixings, 6 aggregations, 1036198 implications, 0 bound changes 20.09/20.27 c (3.9s) probing aborted: 1000/1000 successive useless probings 20.09/20.27 c (3.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 20.09/20.27 c (3.9s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00) 20.09/20.27 c dynamic symmetry handling statistics: 20.09/20.27 c orbitopal reduction: no components 20.09/20.27 c orbital reduction: no components 20.09/20.27 c lexicographic reduction: 3 permutations with support sizes 300, 118, 112 20.09/20.27 c handled 3 out of 3 symmetry components 20.09/20.27 c presolving (36 rounds: 36 fast, 16 medium, 16 exhaustive): 20.09/20.27 c 1119 deleted vars, 822 deleted constraints, 0 added constraints, 190 tightened bounds, 0 added holes, 0 changed sides, 445 changed coefficients 20.09/20.27 c 0 implications, 22191 cliques 20.09/20.27 c presolved problem has 2997 variables (2997 bin, 0 int, 0 impl, 0 cont) and 3113 constraints 20.09/20.27 c 641 constraints of type <setppc> 20.09/20.27 c 2472 constraints of type <logicor> 20.09/20.27 c transformed objective value is always integral (scale: 1) 20.09/20.27 c Presolving Time: 3.94 20.09/20.27 c 20.09/20.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 20.09/20.27 c 5.4s| 1 | 0 | 6544 | - | 68M | 0 |2997 |3287 |3113 | 0 | 0 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown 20.09/20.27 c 17.7s| 1 | 0 | 41510 | - | 73M | 0 |2997 |3488 |3121 | 8 | 1 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown 20.09/20.27 c 18.5s| 1 | 0 | 43660 | - | 75M | 0 |2997 |3492 |3126 | 13 | 2 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown 20.09/20.27 c 19.3s| 1 | 0 | 46025 | - | 75M | 0 |2997 |3493 |3136 | 23 | 3 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 20.1s| 1 | 0 | 48054 | - | 76M | 0 |2997 |3497 |3145 | 32 | 4 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 20.8s| 1 | 0 | 49877 | - | 76M | 0 |2997 |3505 |3155 | 42 | 5 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 22.1s| 1 | 0 | 53394 | - | 77M | 0 |2997 |3500 |3165 | 52 | 6 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 23.0s| 1 | 0 | 55533 | - | 78M | 0 |2997 |3496 |3172 | 59 | 7 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 23.9s| 1 | 0 | 57517 | - | 79M | 0 |2997 |3494 |3176 | 63 | 8 | 195 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 24.8s| 1 | 0 | 59937 | - | 80M | 0 |2997 |3495 |3184 | 71 | 9 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 26.1s| 1 | 0 | 63261 | - | 80M | 0 |2997 |3497 |3195 | 82 | 10 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 26.8s| 1 | 0 | 65191 | - | 82M | 0 |2997 |3494 |3206 | 93 | 11 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 47.3s| 1 | 2 |108102 | - | 83M | 0 |2997 |3450 |3206 | 93 | 11 | 234 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 88.1s| 100 | 17 |231505 |1679.9 | 89M | 28 |2997 |3488 |3174 | 165 | 0 | 313 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 108s| 200 | 21 |316447 |1262.6 | 93M | 40 |2997 |3520 |3174 | 168 | 0 | 366 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 404.17/405.46 c 127s| 300 | 34 |396377 |1107.6 | 94M | 40 |2997 |3545 |3169 | 174 | 0 | 417 | 11 | 0.000000e+00 | -- | Inf | 1.07% 404.17/405.46 c 139s| 400 | 34 |454231 | 975.0 | 94M | 40 |2997 |3592 |3174 | 182 | 2 | 471 | 11 | 0.000000e+00 | -- | Inf | 1.07% 404.17/405.46 c 149s| 500 | 34 |498717 | 868.8 | 94M | 70 |2997 |3668 |3170 | 184 | 0 | 557 | 11 | 0.000000e+00 | -- | Inf | 1.07% 404.17/405.46 c 163s| 600 | 32 |558972 | 824.3 | 96M | 70 |2997 |3700 | 0 | 222 | 0 | 597 | 11 | 0.000000e+00 | -- | Inf | 1.27% 404.17/405.46 c 175s| 700 | 40 |614845 | 786.3 | 97M | 70 |2997 |3750 |3169 | 230 | 0 | 677 | 11 | 0.000000e+00 | -- | Inf | 1.27% 404.17/405.46 c 186s| 800 | 41 |666927 | 753.1 | 98M | 70 |2997 |3817 |3168 | 234 | 0 | 751 | 11 | 0.000000e+00 | -- | Inf | 1.27% 404.17/405.46 c 200s| 900 | 41 |729546 | 739.0 | 98M | 70 |2997 |3879 |3170 | 252 | 1 | 820 | 11 | 0.000000e+00 | -- | Inf | 1.27% 404.17/405.46 c 213s| 1000 | 45 |789342 | 724.9 | 99M | 70 |2997 |3895 |3169 | 279 | 1 | 890 | 11 | 0.000000e+00 | -- | Inf | 1.37% 404.17/405.46 c 223s| 1100 | 45 |839719 | 704.8 | 99M | 70 |2997 |3951 |3177 | 298 | 1 | 951 | 11 | 0.000000e+00 | -- | Inf | 1.37% 404.17/405.46 c 232s| 1200 | 45 |879406 | 679.1 | 99M | 70 |2997 |4018 |3171 | 306 | 0 |1026 | 11 | 0.000000e+00 | -- | Inf | 1.37% 404.17/405.46 c 243s| 1300 | 45 |927925 | 664.2 | 100M | 70 |2997 |4039 |3168 | 315 | 1 |1103 | 11 | 0.000000e+00 | -- | Inf | 1.37% 404.17/405.46 c 255s| 1400 | 47 |981783 | 655.2 | 101M | 70 |2997 |4050 |3181 | 336 | 2 |1152 | 11 | 0.000000e+00 | -- | Inf | 1.44% 404.17/405.46 c 278s| 1500 | 57 | 1085k| 680.7 | 102M | 70 |2997 |4118 |3169 | 359 | 1 |1282 | 11 | 0.000000e+00 | -- | Inf | 1.44% 404.17/405.46 c 289s| 1600 | 65 | 1136k| 669.9 | 103M | 70 |2997 |4251 |3168 | 364 | 1 |1491 | 11 | 0.000000e+00 | -- | Inf | 1.45% 404.17/405.46 c 300s| 1700 | 63 | 1186k| 660.1 | 104M | 70 |2997 |4239 |3169 | 370 | 0 |1565 | 11 | 0.000000e+00 | -- | Inf | 1.45% 404.17/405.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 404.17/405.46 c 313s| 1800 | 63 | 1242k| 654.7 | 104M | 70 |2997 |4163 |3169 | 374 | 0 |1638 | 11 | 0.000000e+00 | -- | Inf | 1.45% 404.17/405.46 c 327s| 1900 | 69 | 1305k| 653.2 | 105M | 70 |2997 |4148 |3163 | 390 | 1 |1692 | 11 | 0.000000e+00 | -- | Inf | 1.62% 404.17/405.46 c 338s| 2000 | 73 | 1361k| 648.3 | 105M | 70 |2997 |4126 |3168 | 407 | 0 |1752 | 11 | 0.000000e+00 | -- | Inf | 1.75% 404.17/405.46 c 358s| 2100 | 86 | 1454k| 661.7 | 106M | 70 |2997 |4027 |3169 | 428 | 0 |1824 | 11 | 0.000000e+00 | -- | Inf | 1.75% 404.17/405.46 c 369s| 2200 | 88 | 1506k| 655.6 | 106M | 70 |2997 |4039 |3171 | 438 | 1 |1885 | 11 | 0.000000e+00 | -- | Inf | 1.75% 404.17/405.46 c 380s| 2300 | 84 | 1559k| 650.0 | 106M | 70 |2997 |4091 |3168 | 445 | 0 |1947 | 11 | 0.000000e+00 | -- | Inf | 1.75% 404.17/405.46 c 391s| 2400 | 90 | 1612k| 645.0 | 107M | 70 |2997 |4032 |3165 | 472 | 1 |2004 | 11 | 0.000000e+00 | -- | Inf | 1.75% 404.17/405.46 c Restart triggered after 50 consecutive estimations that the remaining tree will be large 404.17/405.46 c (run 1, node 2449) performing user restart 404.17/405.46 c 404.17/405.46 c (restart) converted 40 cuts from the global cut pool into linear constraints 404.17/405.46 c 404.17/405.46 c presolving: 404.17/405.46 c (round 1, fast) 0 del vars, 21 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 19 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c (round 2, exhaustive) 0 del vars, 25 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 19 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c (round 3, exhaustive) 0 del vars, 28 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 19 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c (round 4, exhaustive) 0 del vars, 28 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 19 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c (round 5, medium) 0 del vars, 34 del conss, 11 add conss, 0 chg bounds, 21 chg sides, 52 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c (round 6, exhaustive) 0 del vars, 40 del conss, 11 add conss, 0 chg bounds, 21 chg sides, 81 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c (round 7, exhaustive) 0 del vars, 141 del conss, 11 add conss, 0 chg bounds, 21 chg sides, 584 chg coeffs, 240 upgd conss, 0 impls, 22191 clqs 404.17/405.46 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive): 404.17/405.46 c 0 deleted vars, 143 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 21 changed sides, 615 changed coefficients 404.17/405.46 c 0 implications, 22191 cliques 404.17/405.46 c presolved problem has 2997 variables (2997 bin, 0 int, 0 impl, 0 cont) and 3899 constraints 404.17/405.46 c 28 constraints of type <knapsack> 404.17/405.46 c 858 constraints of type <setppc> 404.17/405.46 c 3 constraints of type <linear> 404.17/405.46 c 3010 constraints of type <logicor> 404.17/405.46 c transformed objective value is always integral (scale: 1) 404.17/405.46 c Presolving Time: 4.06 404.17/405.46 c 404.17/405.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 404.17/405.46 c 398s| 1 | 0 | 1647k| - | 108M | 0 |2997 |3957 |3149 | 0 | 0 |2092 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 399s| 1 | 0 | 1649k| - | 109M | 0 |2997 |3960 |3159 | 10 | 1 |2095 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 399s| 1 | 0 | 1650k| - | 109M | 0 |2997 |3959 |3171 | 22 | 2 |2096 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 400s| 1 | 0 | 1652k| - | 110M | 0 |2997 |3958 |3177 | 28 | 3 |2097 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 401s| 1 | 0 | 1654k| - | 111M | 0 |2997 |3962 |3191 | 42 | 4 |2101 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 402s| 1 | 0 | 1658k| - | 111M | 0 |2997 |3960 |3202 | 53 | 5 |2102 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 403s| 1 | 0 | 1661k| - | 111M | 0 |2997 |3963 |3213 | 64 | 6 |2107 | 11 | 0.000000e+00 | -- | Inf | unknown 404.17/405.46 c 404s| 1 | 0 | 1663k| - | 112M | 0 |2997 |3958 |3223 | 74 | 7 |2108 | 11 | 0.000000e+00 | -- | Inf | unknown 498.56/500.17 c 405s| 1 | 0 | 1666k| - | 112M | 0 |2997 |3961 |3231 | 82 | 8 |2114 | 11 | 0.000000e+00 | -- | Inf | unknown 498.56/500.17 c 406s| 1 | 0 | 1669k| - | 112M | 0 |2997 |3956 |3237 | 88 | 9 |2116 | 11 | 0.000000e+00 | -- | Inf | unknown 498.56/500.17 c 407s| 1 | 0 | 1672k| - | 113M | 0 |2997 |3951 |3246 | 97 | 10 |2118 | 11 | 0.000000e+00 | -- | Inf | unknown 498.56/500.17 c 408s| 1 | 0 | 1675k| - | 113M | 0 |2997 |3942 |3256 | 107 | 11 |2119 | 11 | 0.000000e+00 | -- | Inf | unknown 498.56/500.17 c 428s| 1 | 2 | 1700k| - | 113M | 0 |2997 |3898 |3256 | 107 | 11 |2122 | 22 | 0.000000e+00 | -- | Inf | unknown 498.56/500.17 c 464s| 100 | 27 | 1851k| 686.0 | 114M | 25 |2997 |3917 |3180 | 136 | 1 |2176 | 22 | 0.000000e+00 | -- | Inf | 4.54% 498.56/500.17 c 478s| 200 | 29 | 1915k| 684.1 | 114M | 40 |2997 |3980 |3184 | 140 | 1 |2251 | 22 | 0.000000e+00 | -- | Inf | 4.55% 498.56/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.56/500.17 c 492s| 300 | 31 | 1984k| 684.3 | 115M | 40 |2997 |4002 |3180 | 147 | 1 |2300 | 22 | 0.000000e+00 | -- | Inf | 4.85% 498.56/500.17 c 498.56/500.17 c SCIP Status : solving was interrupted [time limit reached] 498.56/500.17 c Solving Time (sec) : 500.00 498.56/500.17 c Solving Nodes : 360 (total of 2809 nodes in 2 runs) 498.56/500.17 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.56/500.17 c Dual Bound : +0.00000000000000e+00 498.56/500.17 c Gap : infinite 498.56/500.17 c ---------------------------------------------------------------------- 498.56/500.17 c dual bound: 0.0 -> 0 498.56/500.17 c primal bound: 1e+20 -> 100000000000000000000 498.56/500.17 c scip-goal-lb: 0 498.56/500.17 c scip-goal-ub: 100000000000000000000 498.56/500.17 c writing output to: HOME/tmpru0hto97.opb 498.56/500.17 c appending fixed variable constraints 498.56/500.17 c scip-fixed vars: 26.39% (791/2997) 498.56/500.17 c ---------------------------------------------------------------------- 498.56/500.17 c executing external solver: HOME/naps-1.03a6 498.56/500.17 c ---------------------------------------------------------------------- 498.56/500.17 c command: HOME/naps-1.03a6 HOME/tmpru0hto97.opb 498.56/500.17 c NaPS 1.03a6. 498.56/500.17 c Input file name: HOME/tmpru0hto97.opb 519.68/521.35 c _____________________________________________________________________________ 519.68/521.35 c std/band forms : 69,0 519.68/521.35 c 2cl/3cl ITE-codings : 0,0 519.68/521.35 c BDD/srt/adr Max costs : 0,914,0 519.68/521.35 c BDDraw/bin/mul/srt/adr: 0,0,0,69,0 519.68/521.35 c BDD nodes : 0 519.68/521.35 c Es1/CC detections : 0,0 519.68/521.35 c CC sort : 69 519.68/521.35 c SAT/UNSAT calls : 1,0 519.68/521.35 c regenrated variables : 0 519.68/521.35 c eliminated fixed lits : 910 519.68/521.35 c goal lit flips : 0 519.68/521.35 c goal stages : 0 519.68/521.35 c goal shrink : 0 519.68/521.35 c goal coeff separations: 0 519.68/521.35 c restarts : 5222 519.68/521.35 c conflicts : 215526 (10215 /sec) 519.68/521.35 c decisions : 1157566 (54863 /sec) 519.68/521.35 c propagations : 156093681 (7398131 /sec) 519.68/521.35 c inspects : 0 (0 /sec) 519.68/521.35 c CPU time (solving tm) : 21.1 s (21.03 s, SAT 21.03 s, UNSAT 0 s) 519.68/521.35 c Time for Opt-base : 0.000718 s 519.68/521.35 c Steps for Opt-base : 0 519.68/521.35 c Time for BDD coding : 0 s 519.68/521.35 c Time for srt coding : 0.006389 s 519.68/521.35 c _____________________________________________________________________________ 519.68/521.35 s SATISFIABLE 519.68/521.35 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 519.68/521.35 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
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 (62653 MiB free)
memory of node 1: 64465 MiB (60960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507709-1751184044/watcher-4507709-1751184044 -o /tmp/evaluation-result-4507709-1751184044/solver-4507709-1751184044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22500 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507709-1751184044.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
solver pid=22822, runsolver pid=22819
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.29 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126572852/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1186916 memory=31760 CPUtime=0.06 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 3713 0 0 0 5 1 0 0 20 0 1 0 34078963 1215401984 7940 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 296729 7940 4868 1 0 268751 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191108 KiB
Current children cumulated memory: 34704 KiB
[startup+0.205724 s]*
/proc/loadavg: 4.29 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126544628/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1219992 memory=71696 CPUtime=0.16 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 10963 0 0 0 14 2 0 0 20 0 1 0 34078963 1249271808 17924 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 304998 17924 7844 1 0 276356 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1224184 KiB
Current children cumulated memory: 74640 KiB
[startup+0.305679 s]*
/proc/loadavg: 4.29 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126520436/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1230720 memory=81296 CPUtime=0.26 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 13389 0 0 0 23 3 0 0 20 0 1 0 34078963 1260257280 20324 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 307680 20324 7908 1 0 279038 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1234912 KiB
Current children cumulated memory: 84240 KiB
[startup+0.700156 s]
/proc/loadavg: 4.29 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126520476/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1233640 memory=84112 CPUtime=0.65 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 14124 0 0 0 62 3 0 0 20 0 1 0 34078963 1263247360 21028 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 308410 21028 7908 1 0 279768 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1237832 KiB
Current children cumulated memory: 87056 KiB
[startup+1.50017 s]
/proc/loadavg: 4.29 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126520476/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1235244 memory=85520 CPUtime=1.44 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 14457 0 0 0 141 3 0 0 20 0 1 0 34078963 1264889856 21380 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 308811 21380 7908 1 0 280169 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1239436 KiB
Current children cumulated memory: 88464 KiB
[startup+3.10537 s]
/proc/loadavg: 4.29 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126520952/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1235244 memory=85648 CPUtime=3.04 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 14486 0 0 0 301 3 0 0 20 0 1 0 34078963 1264889856 21412 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 308811 21412 7908 1 0 280169 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1239436 KiB
Current children cumulated memory: 88592 KiB
[startup+6.30013 s]
/proc/loadavg: 4.27 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126505344/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1271088 memory=112016 CPUtime=6.22 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 20935 0 0 0 619 3 0 0 20 0 1 0 34078963 1301594112 28004 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 317772 28004 8100 1 0 289130 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1275280 KiB
Current children cumulated memory: 114960 KiB
[startup+12.7001 s]
/proc/loadavg: 4.25 4.11 3.47 5/271 22827
/proc/meminfo: memFree=126508540/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1271424 memory=112528 CPUtime=12.6 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 21066 0 0 0 1257 3 0 0 20 0 1 0 34078963 1301938176 28132 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 317856 28132 8100 1 0 289214 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1275616 KiB
Current children cumulated memory: 115472 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.10 3.48 5/271 22838
/proc/meminfo: memFree=126459044/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1315256 memory=154896 CPUtime=25.37 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 31634 0 0 0 2531 6 0 0 20 0 1 0 34078963 1346822144 38724 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 328814 38724 8132 1 0 300172 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1319448 KiB
Current children cumulated memory: 157840 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 3.50 5/270 22839
/proc/meminfo: memFree=126458876/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1316264 memory=157456 CPUtime=50.9 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 32272 0 0 0 5084 6 0 0 20 0 1 0 34078963 1347854336 39364 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 329066 39364 8132 1 0 300424 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1320456 KiB
Current children cumulated memory: 160400 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.10 3.54 5/269 22889
/proc/meminfo: memFree=126642700/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1319500 memory=160740 CPUtime=101.94 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 38555 0 0 0 10187 7 0 0 20 0 1 0 34078963 1351168000 40185 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 329875 40185 8132 1 0 301233 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1323692 KiB
Current children cumulated memory: 163684 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 3.57 5/268 22892
/proc/meminfo: memFree=126583228/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1320912 memory=162312 CPUtime=161.78 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 41128 0 0 0 16170 8 0 0 20 0 1 0 34078963 1352613888 40578 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 330228 40578 8132 1 0 301586 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1325104 KiB
Current children cumulated memory: 165256 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 3.61 5/268 22894
/proc/meminfo: memFree=126584412/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1320548 memory=161988 CPUtime=221.61 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 45663 0 0 0 22152 9 0 0 20 0 1 0 34078963 1352241152 40497 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 330137 40497 8132 1 0 301495 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1324740 KiB
################
# More data... #
################
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1336840 KiB
Current children cumulated memory: 187116 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 3.73 5/268 22950
/proc/meminfo: memFree=126572880/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1337916 memory=188240 CPUtime=401.08 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 63478 0 0 0 40095 13 0 0 20 0 1 0 34078963 1370025984 47060 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 334479 47060 8132 1 0 305837 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1342108 KiB
Current children cumulated memory: 191184 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 3.75 5/268 22955
/proc/meminfo: memFree=126529972/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1345792 memory=197328 CPUtime=460.89 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 65757 0 0 0 46075 14 0 0 20 0 1 0 34078963 1378091008 49332 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336448 49332 8132 1 0 307806 0
Current children cumulated CPU time: 460.89 s
Current children cumulated vsize: 1349984 KiB
Current children cumulated memory: 200272 KiB
[startup+521.406 s]
# the end of solver process 22822 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=519.642 s, system=0.170635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.13 4.13 3.76 5/269 22957
/proc/meminfo: memFree=126531104/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1345792 memory=197328 CPUtime=484.91 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 65871 0 0 0 48477 14 0 0 20 0 1 0 34078963 1378091008 49332 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336448 49332 8132 1 0 307806 0
Current children cumulated CPU time: 484.91 s
Current children cumulated vsize: 1349984 KiB
Current children cumulated memory: 200272 KiB
[startup+499.2 s]
/proc/loadavg: 4.10 4.12 3.77 5/269 22957
/proc/meminfo: memFree=126526036/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1345792 memory=197328 CPUtime=497.66 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 65871 0 0 0 49752 14 0 0 20 0 1 0 34078963 1378091008 49332 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336448 49332 8132 1 0 307806 0
Current children cumulated CPU time: 497.66 s
Current children cumulated vsize: 1349984 KiB
Current children cumulated memory: 200272 KiB
[startup+512 s]*
/proc/loadavg: 4.08 4.12 3.77 5/270 22958
/proc/meminfo: memFree=126482472/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1347840 memory=199632 CPUtime=498.63 cores=5,7
/proc/22827/stat : 22827 (python3) S 22822 22822 22487 0 -1 4194304 66597 0 0 0 49849 14 0 0 20 0 1 0 34078963 1380188160 49908 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336960 49908 8164 1 0 308318 0
[pid=22958] ppid=22827 vsize=25528 memory=21952 CPUtime=11.78 cores=5,7
/proc/22958/stat : 22958 (naps-1.03a6) R 22827 22958 22958 0 -1 4194304 10836 0 0 0 1177 1 0 0 20 0 1 0 34128978 26140672 5488 18446744073709551615 4198400 7047149 140733142097888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 27140096 140733142104465 140733142104563 140733142104563 140733142110153 0
/proc/22958/statm: 6382 5488 544 696 0 5543 0
Current children cumulated CPU time: 510.41 s
Current children cumulated vsize: 1377560 KiB
Current children cumulated memory: 224528 KiB
[startup+518.4 s]
/proc/loadavg: 4.08 4.11 3.77 5/270 22963
/proc/meminfo: memFree=126489644/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1347840 memory=199632 CPUtime=498.63 cores=5,7
/proc/22827/stat : 22827 (python3) S 22822 22822 22487 0 -1 4194304 66597 0 0 0 49849 14 0 0 20 0 1 0 34078963 1380188160 49908 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336960 49908 8164 1 0 308318 0
[pid=22958] ppid=22827 vsize=25508 memory=21480 CPUtime=18.16 cores=5,7
/proc/22958/stat : 22958 (naps-1.03a6) R 22827 22958 22958 0 -1 4194304 11363 0 0 0 1815 1 0 0 20 0 1 0 34128978 26120192 5370 18446744073709551615 4198400 7047149 140733142097888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 27140096 140733142104465 140733142104563 140733142104563 140733142110153 0
/proc/22958/statm: 6377 5370 544 696 0 5538 0
Current children cumulated CPU time: 516.79 s
Current children cumulated vsize: 1377540 KiB
Current children cumulated memory: 224056 KiB
[startup+520 s]*
/proc/loadavg: 4.07 4.11 3.77 5/270 22963
/proc/meminfo: memFree=126489828/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1347840 memory=199632 CPUtime=498.63 cores=5,7
/proc/22827/stat : 22827 (python3) S 22822 22822 22487 0 -1 4194304 66597 0 0 0 49849 14 0 0 20 0 1 0 34078963 1380188160 49908 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336960 49908 8164 1 0 308318 0
[pid=22958] ppid=22827 vsize=25508 memory=21992 CPUtime=19.76 cores=5,7
/proc/22958/stat : 22958 (naps-1.03a6) R 22827 22958 22958 0 -1 4194304 11482 0 0 0 1975 1 0 0 20 0 1 0 34128978 26120192 5498 18446744073709551615 4198400 7047149 140733142097888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 27140096 140733142104465 140733142104563 140733142104563 140733142110153 0
/proc/22958/statm: 6377 5498 544 696 0 5538 0
Current children cumulated CPU time: 518.39 s
Current children cumulated vsize: 1377540 KiB
Current children cumulated memory: 224568 KiB
[startup+520.8 s]
/proc/loadavg: 4.07 4.11 3.77 5/270 22963
/proc/meminfo: memFree=126489828/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1347840 memory=199632 CPUtime=498.63 cores=5,7
/proc/22827/stat : 22827 (python3) S 22822 22822 22487 0 -1 4194304 66597 0 0 0 49849 14 0 0 20 0 1 0 34078963 1380188160 49908 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336960 49908 8164 1 0 308318 0
[pid=22958] ppid=22827 vsize=25508 memory=21992 CPUtime=20.55 cores=5,7
/proc/22958/stat : 22958 (naps-1.03a6) R 22827 22958 22958 0 -1 4194304 11483 0 0 0 2054 1 0 0 20 0 1 0 34128978 26120192 5498 18446744073709551615 4198400 7047149 140733142097888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 27140096 140733142104465 140733142104563 140733142104563 140733142110153 0
/proc/22958/statm: 6377 5498 544 696 0 5538 0
Current children cumulated CPU time: 519.18 s
Current children cumulated vsize: 1377540 KiB
Current children cumulated memory: 224568 KiB
[startup+521.2 s]
/proc/loadavg: 4.07 4.11 3.77 5/270 22963
/proc/meminfo: memFree=126481636/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1347840 memory=199632 CPUtime=498.63 cores=5,7
/proc/22827/stat : 22827 (python3) S 22822 22822 22487 0 -1 4194304 66597 0 0 0 49849 14 0 0 20 0 1 0 34078963 1380188160 49908 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 336960 49908 8164 1 0 308318 0
[pid=22958] ppid=22827 vsize=25508 memory=22120 CPUtime=20.95 cores=5,7
/proc/22958/stat : 22958 (naps-1.03a6) R 22827 22958 22958 0 -1 4194304 11506 0 0 0 2094 1 0 0 20 0 1 0 34128978 26120192 5530 18446744073709551615 4198400 7047149 140733142097888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 27140096 140733142104465 140733142104563 140733142104563 140733142110153 0
/proc/22958/statm: 6377 5530 544 696 0 5538 0
Current children cumulated CPU time: 519.58 s
Current children cumulated vsize: 1377540 KiB
Current children cumulated memory: 224696 KiB
[startup+521.4 s]
/proc/loadavg: 4.07 4.11 3.77 5/270 22963
/proc/meminfo: memFree=126481636/131249992 swapFree=33010672/33010684
[pid=22822] ppid=22819 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22822/stat : 22822 (scip-naps-1.00.) S 22819 22822 22487 0 -1 4194304 257 335 0 0 0 0 0 0 20 0 1 0 34078961 4292608 736 18446744073709551615 93873322614784 93873323509317 140728430476160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93873323748368 93873323796112 93873330294784 140728430483873 140728430483970 140728430483970 140728430489572 0
/proc/22822/statm: 1048 736 672 219 0 110 0
[pid=22827] ppid=22822 vsize=1338100 memory=193472 CPUtime=519.78 cores=5,7
/proc/22827/stat : 22827 (python3) R 22822 22822 22487 0 -1 4194304 71176 11508 0 0 49853 14 2110 1 20 0 1 0 34078963 1370214400 48368 18446744073709551615 94063469867008 94063469867385 140725695896592 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94063469878680 94063469879300 94063482273792 140725695899992 140725695900194 140725695900194 140725695905767 0
/proc/22827/statm: 334525 48368 8196 1 0 305883 0
Current children cumulated CPU time: 519.78 s
Current children cumulated vsize: 1342292 KiB
Current children cumulated memory: 196416 KiB
Child status: 0
Real time (s): 521.406
CPU time (s): 519.813
CPU user time (s): 519.642
CPU system time (s): 0.170635
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 1381656
Max. memory (cumulated for all children) (KiB): 225296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 519.642
system time used= 0.170635
maximum resident set size= 199632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 385
involuntary context switches= 2940
# summary of solver processes directly reported to runsolver:
# pid: 22822
# total CPU time (s): 519.813
# total CPU user time (s): 519.642
# total CPU system time (s): 0.170635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.940271 second user time and 2.20967 second system time
The end
Begin job on nodeC035 at 2025-06-29 10:00:44 IDJOB=4507709 IDBENCH=158377 IDSOLVER=3368 FILE ID=nodeC035/4507709-1751184044 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_K69.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507709-1751184044/watcher-4507709-1751184044 -o /tmp/evaluation-result-4507709-1751184044/solver-4507709-1751184044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22500 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507709-1751184044.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7a41f646f8fb7a1c0e5845075c21504b RANDOM SEED=1268159029 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.693 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.750 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 : 3599.742 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 : 3599.672 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.750 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 : 3599.745 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 : 3612.930 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 : 3541.805 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: 126581400 kB MemAvailable: 129013324 kB Buffers: 2352 kB Cached: 3226604 kB SwapCached: 8 kB Active: 1013668 kB Inactive: 2976460 kB Active(anon): 773200 kB Inactive(anon): 6040 kB Active(file): 240468 kB Inactive(file): 2970420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5832 kB Writeback: 0 kB AnonPages: 762372 kB Mapped: 130240 kB Shmem: 18056 kB KReclaimable: 120548 kB Slab: 206840 kB SReclaimable: 120548 kB SUnreclaim: 86292 kB KernelStack: 4384 kB PageTables: 5172 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 4307164 kB VmallocTotal: 34359738367 kB VmallocUsed: 150680 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 571392 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:09:26