Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a1 | SAT (TO) | -54 | 3600.8 | 3613.09 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
| MD5SUM | 71e47456366b2ddac308424c74922847 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -56 |
| Best CPU time to get the best result obtained on this benchmark | 3587 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1400 |
| Total number of constraints | 110038 |
| Number of constraints which are clauses | 110038 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
65.63/66.01 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4484735-1751281027.opb 65.63/66.01 c Solving mode: optimization 65.63/66.01 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 65.63/66.01 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 65.63/66.01 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 110038 constraints 65.63/66.01 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00 65.63/66.01 c presolving: 65.63/66.01 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 110038 upgd conss, 0 impls, 110038 clqs 65.63/66.01 c (1.7s) probing: 51/1400 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 65.63/66.01 c (1.7s) probing aborted: 50/50 successive totally useless probings 65.63/66.01 c (2.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 65.63/66.01 c (2.5s) no symmetry present (symcode time: 0.02) 65.63/66.01 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive): 65.63/66.01 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 65.63/66.01 c 0 implications, 110038 cliques 65.63/66.01 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 110038 constraints 65.63/66.01 c 110038 constraints of type <setppc> 65.63/66.01 c transformed objective value is always integral (scale: 1) 65.63/66.01 c Presolving Time: 2.35 65.63/66.01 c transformed 1/1 original solutions to the transformed problem space 65.63/66.01 c 65.63/66.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 65.63/66.01 c p 2.9s| 1 | 0 | 0 | - | clique| 0 |1400 | 110k| 110k| 0 | 0 | 0 | 0 |-1.400000e+03 |-3.800000e+01 |3584.21%| unknown 65.63/66.01 c 4.4s| 1 | 0 | 1824 | - | 492M | 0 |1400 | 110k| 110k| 0 | 0 | 0 | 0 |-7.000000e+02 |-3.800000e+01 |1742.11%| unknown 65.63/66.01 c 6.1s| 1 | 0 | 2011 | - | 519M | 0 |1400 | 110k| 110k| 8 | 1 | 0 | 0 |-6.635000e+02 |-3.800000e+01 |1646.05%| unknown 65.63/66.01 c 9.5s| 1 | 0 | 2356 | - | 532M | 0 |1400 | 110k| 110k| 25 | 2 | 0 | 0 |-6.350000e+02 |-3.800000e+01 |1571.05%| unknown 65.63/66.01 c 14.2s| 1 | 0 | 2727 | - | 543M | 0 |1400 | 110k| 110k| 69 | 3 | 0 | 0 |-5.940000e+02 |-3.800000e+01 |1463.16%| unknown 65.63/66.01 c 20.7s| 1 | 0 | 2963 | - | 555M | 0 |1400 | 110k| 110k| 91 | 4 | 0 | 0 |-5.655000e+02 |-3.800000e+01 |1388.16%| unknown 65.63/66.01 c 22.8s| 1 | 0 | 3235 | - | 568M | 0 |1400 | 110k| 110k| 116 | 5 | 0 | 0 |-5.360000e+02 |-3.800000e+01 |1310.53%| unknown 65.63/66.01 c 23.8s| 1 | 0 | 3551 | - | 581M | 0 |1400 | 110k| 110k| 141 | 6 | 0 | 0 |-5.196667e+02 |-3.800000e+01 |1267.54%| unknown 65.63/66.01 c 25.0s| 1 | 0 | 4305 | - | 594M | 0 |1400 | 110k| 110k| 184 | 7 | 0 | 0 |-4.985000e+02 |-3.800000e+01 |1211.84%| unknown 65.63/66.01 c 26.3s| 1 | 0 | 4922 | - | 606M | 0 |1400 | 110k| 110k| 223 | 8 | 0 | 0 |-4.685000e+02 |-3.800000e+01 |1132.89%| unknown 65.63/66.01 c 27.3s| 1 | 0 | 5399 | - | 618M | 0 |1400 | 110k| 110k| 255 | 9 | 0 | 0 |-4.390000e+02 |-3.800000e+01 |1055.26%| unknown 65.63/66.01 c 29.0s| 1 | 0 | 6722 | - | 630M | 0 |1400 | 110k| 110k| 286 | 10 | 0 | 0 |-4.025000e+02 |-3.800000e+01 | 959.21%| unknown 65.63/66.01 c 30.0s| 1 | 0 | 7931 | - | 640M | 0 |1400 | 110k| 110k| 303 | 11 | 0 | 0 |-3.822500e+02 |-3.800000e+01 | 905.92%| unknown 65.63/66.01 c 31.3s| 1 | 0 | 9707 | - | 651M | 0 |1400 | 110k| 110k| 325 | 12 | 0 | 0 |-3.615000e+02 |-3.800000e+01 | 851.32%| unknown 65.63/66.01 c 33.1s| 1 | 0 | 12132 | - | 662M | 0 |1400 | 110k| 110k| 353 | 13 | 0 | 0 |-3.265000e+02 |-3.800000e+01 | 759.21%| unknown 65.63/66.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 65.63/66.01 c 34.2s| 1 | 0 | 13828 | - | 673M | 0 |1400 | 110k| 110k| 378 | 14 | 0 | 0 |-3.004167e+02 |-3.800000e+01 | 690.57%| unknown 65.63/66.01 c 35.2s| 1 | 0 | 15274 | - | 683M | 0 |1400 | 110k| 110k| 400 | 15 | 0 | 0 |-2.700000e+02 |-3.800000e+01 | 610.53%| unknown 65.63/66.01 c 35.9s| 1 | 0 | 16180 | - | 695M | 0 |1400 | 110k| 110k| 413 | 16 | 0 | 0 |-2.495000e+02 |-3.800000e+01 | 556.58%| unknown 65.63/66.01 c 36.5s| 1 | 0 | 17130 | - | 706M | 0 |1400 | 110k| 110k| 436 | 17 | 0 | 0 |-2.292500e+02 |-3.800000e+01 | 503.29%| unknown 65.63/66.01 c 37.7s| 1 | 0 | 19392 | - | 716M | 0 |1400 | 110k| 110k| 463 | 18 | 0 | 0 |-1.910000e+02 |-3.800000e+01 | 402.63%| unknown 65.63/66.01 c 39.0s| 1 | 0 | 22260 | - | 727M | 0 |1400 | 110k| 110k| 497 | 19 | 0 | 0 |-1.700000e+02 |-3.800000e+01 | 347.37%| unknown 65.63/66.01 c 39.3s| 1 | 0 | 22674 | - | 739M | 0 |1400 | 110k| 110k| 520 | 20 | 0 | 0 |-1.593333e+02 |-3.800000e+01 | 319.30%| unknown 65.63/66.01 c 39.7s| 1 | 0 | 23372 | - | 740M | 0 |1400 | 110k| 110k| 523 | 21 | 0 | 0 |-1.520000e+02 |-3.800000e+01 | 300.00%| unknown 65.63/66.01 c 40.4s| 1 | 0 | 24530 | - | 740M | 0 |1400 | 110k| 110k| 526 | 22 | 0 | 0 |-1.428750e+02 |-3.800000e+01 | 275.99%| unknown 65.63/66.01 c 40.9s| 1 | 0 | 25679 | - | 740M | 0 |1400 | 110k| 110k| 530 | 23 | 0 | 0 |-1.350000e+02 |-3.800000e+01 | 255.26%| unknown 65.63/66.01 c 41.2s| 1 | 0 | 26191 | - | 740M | 0 |1400 | 110k| 110k| 534 | 24 | 0 | 0 |-1.160000e+02 |-3.800000e+01 | 205.26%| unknown 65.63/66.01 c 41.5s| 1 | 0 | 26693 | - | 740M | 0 |1400 | 110k| 110k| 540 | 25 | 0 | 0 |-1.075000e+02 |-3.800000e+01 | 182.89%| unknown 65.63/66.01 c 41.7s| 1 | 0 | 26825 | - | 740M | 0 |1400 | 110k| 110k| 541 | 26 | 0 | 0 |-9.850000e+01 |-3.800000e+01 | 159.21%| unknown 65.63/66.01 c 42.1s| 1 | 0 | 27825 | - | 741M | 0 |1400 | 110k| 110k| 544 | 27 | 0 | 0 |-8.150000e+01 |-3.800000e+01 | 114.47%| unknown 65.63/66.01 c 42.4s| 1 | 0 | 28218 | - | 741M | 0 |1400 | 110k| 110k| 547 | 28 | 0 | 0 |-6.450000e+01 |-3.800000e+01 | 69.74%| unknown 65.63/66.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 65.63/66.01 c 42.6s| 1 | 0 | 28358 | - | 741M | 0 |1400 | 110k| 110k| 550 | 29 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 42.7s| 1 | 0 | 28408 | - | 741M | 0 |1400 | 110k| 110k| 555 | 30 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 42.9s| 1 | 0 | 28445 | - | 742M | 0 |1400 | 110k| 110k| 561 | 31 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 43.0s| 1 | 0 | 28501 | - | 743M | 0 |1400 | 110k| 110k| 567 | 32 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 43.2s| 1 | 0 | 28551 | - | 744M | 0 |1400 | 110k| 110k| 571 | 33 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 43.3s| 1 | 0 | 28612 | - | 745M | 0 |1400 | 110k| 110k| 577 | 34 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 43.5s| 1 | 0 | 28672 | - | 745M | 0 |1400 | 110k| 110k| 586 | 35 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 43.6s| 1 | 0 | 28701 | - | 746M | 0 |1400 | 110k| 110k| 593 | 36 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 43.8s| 1 | 0 | 28743 | - | 747M | 0 |1400 | 110k| 110k| 600 | 37 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 44.0s| 1 | 0 | 28801 | - | 748M | 0 |1400 | 110k| 110k| 605 | 38 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 44.1s| 1 | 0 | 28862 | - | 748M | 0 |1400 | 110k| 110k| 613 | 39 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown 65.63/66.01 c 48.9s| 1 | 2 | 28879 | - | 750M | 0 |1400 | 110k| 110k| 613 | 39 | 0 | 20 |-5.600000e+01 |-3.800000e+01 | 47.37%| unknown 757.73/760.49 c d65.2s| 35 | 36 | 31113 | 78.7 |pscostdi| 26 |1400 | 110k| 110k| 0 | 1 | 0 | 239 |-5.600000e+01 |-4.100000e+01 | 36.59%| unknown 757.73/760.49 c i65.3s| 36 | 35 | 31135 | 77.1 | oneopt| 26 |1400 | 110k| 110k| 634 | 0 | 0 | 239 |-5.600000e+01 |-4.200000e+01 | 33.33%| unknown 757.73/760.49 c * 102s| 97 | 96 | 38333 | 103.1 |strongbr| 39 |1400 | 110k| 110k| 658 | 1 | 8 | 834 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown 757.73/760.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 757.73/760.49 c 104s| 100 | 97 | 38495 | 101.6 | 791M | 39 |1400 | 110k| 110k| 658 | 1 | 8 | 871 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown 757.73/760.49 c * 129s| 165 | 141 | 43649 | 92.8 |strongbr| 40 |1400 | 110k| 110k| 675 | 1 | 8 |1243 |-5.600000e+01 |-4.500000e+01 | 24.44%| unknown 757.73/760.49 c 132s| 200 | 158 | 45202 | 84.2 | 809M | 40 |1400 | 110k| 110k| 678 | 0 | 8 |1265 |-5.600000e+01 |-4.500000e+01 | 24.44%| unknown 757.73/760.49 c * 137s| 249 | 174 | 47551 | 77.1 | LP | 40 |1400 | 110k| 110k| 690 | 4 | 8 |1280 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown 757.73/760.49 c 142s| 300 | 205 | 50625 | 74.2 | 835M | 40 |1400 | 110k| 110k| 697 | 1 | 8 |1348 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown 757.73/760.49 c o 160s| 364 | 243 | 53658 | 69.5 |objpscos| 40 |1400 | 110k| 110k| 727 | 1 | 18 |1534 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 757.73/760.49 c o 160s| 364 | 243 | 53671 | 69.5 |objpscos| 40 |1400 | 110k| 110k| 727 | 1 | 18 |1534 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 161s| 400 | 217 | 54569 | 65.5 | 873M | 40 |1400 | 110k| 110k| 727 | 1 | 18 |1543 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 177s| 500 | 283 | 59014 | 61.3 | 897M | 40 |1400 | 110k| 110k| 766 | 1 | 23 |1566 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 183s| 600 | 335 | 62120 | 56.2 | 900M | 40 |1400 | 110k| 110k| 780 | 1 | 23 |1601 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 191s| 700 | 385 | 65561 | 53.1 | 914M | 40 |1400 | 110k| 110k| 801 | 1 | 31 |1630 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 195s| 800 | 423 | 68939 | 50.7 | 916M | 40 |1400 | 110k| 110k| 810 | 0 | 36 |1654 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 199s| 900 | 470 | 72321 | 48.8 | 917M | 40 |1400 | 110k| 110k| 816 | 1 | 41 |1677 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 206s| 1000 | 532 | 77949 | 49.6 | 943M | 40 |1400 | 110k| 110k| 843 | 1 | 76 |1709 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 213s| 1100 | 630 | 85109 | 51.6 | 947M | 40 |1400 | 110k| 110k| 866 | 1 | 176 |1753 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 757.73/760.49 c 220s| 1200 | 728 | 91739 | 52.8 | 949M | 40 |1400 | 110k| 110k| 883 | 1 | 235 |1780 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 228s| 1300 | 824 | 98713 | 54.1 | 954M | 40 |1400 | 110k| 110k| 895 | 2 | 303 |1846 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 236s| 1400 | 918 |105602 | 55.2 | 956M | 40 |1400 | 110k| 110k| 918 | 1 | 371 |1891 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 243s| 1500 | 1010 |112422 | 56.0 | 959M | 40 |1400 | 110k| 110k| 924 | 1 | 425 |1928 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 252s| 1600 | 1108 |121727 | 58.3 | 964M | 40 |1400 | 110k| 110k| 929 | 1 | 507 |1965 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 265s| 1700 | 1204 |129644 | 59.6 | 967M | 40 |1400 | 110k| 110k| 953 | 1 | 592 |2013 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 272s| 1800 | 1298 |137394 | 60.6 | 972M | 40 |1400 | 110k| 110k| 958 | 1 | 673 |2040 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 279s| 1900 | 1396 |144681 | 61.2 | 974M | 40 |1400 | 110k| 110k| 963 | 1 | 747 |2081 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 289s| 2000 | 1496 |158685 | 65.2 | 977M | 40 |1400 | 110k| 110k| 969 | 1 | 814 |2138 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 323s| 2100 | 1596 |173730 | 69.2 | 1056M | 40 |1400 | 110k| 110k|1124 | 1 | 899 |2198 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 358s| 2200 | 1694 |190522 | 73.7 | 1117M | 41 |1400 | 111k| 110k|1279 | 1 |1014 |2247 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 370s| 2300 | 1794 |204302 | 76.5 | 1122M | 41 |1400 | 111k| 110k|1331 | 1 |1122 |2287 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 385s| 2400 | 1894 |215376 | 77.9 | 1154M | 41 |1400 | 111k| 110k|1422 | 1 |1197 |2333 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 398s| 2500 | 1994 |227256 | 79.6 | 1158M | 41 |1400 | 111k| 110k|1465 | 1 |1258 |2367 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 413s| 2600 | 2094 |240476 | 81.6 | 1184M | 41 |1400 | 111k| 110k|1539 | 1 |1360 |2410 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 757.73/760.49 c 428s| 2700 | 2190 |251089 | 82.5 | 1199M | 42 |1400 | 111k| 110k|1593 | 1 |1399 |2448 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 459s| 2800 | 2290 |261168 | 83.1 | 1243M | 42 |1400 | 111k| 110k|1694 | 1 |1487 |2491 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 468s| 2900 | 2386 |272364 | 84.1 | 1248M | 42 |1400 | 111k| 110k|1702 | 1 |1617 |2535 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 485s| 3000 | 2486 |284693 | 85.4 | 1251M | 42 |1400 | 111k| 110k|1747 | 1 |1696 |2582 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 516s| 3100 | 2586 |298164 | 87.0 | 1257M | 42 |1400 | 111k| 110k|1848 | 1 |1806 |2629 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 526s| 3200 | 2684 |312712 | 88.9 | 1264M | 42 |1400 | 111k| 110k|1851 | 1 |1870 |2675 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 548s| 3300 | 2784 |323111 | 89.3 | 1324M | 42 |1400 | 111k| 110k|1933 | 6 |1945 |2684 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 556s| 3400 | 2884 |335728 | 90.4 | 1331M | 44 |1400 | 112k| 110k|1982 | 1 |2013 |2692 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 563s| 3500 | 2980 |347494 | 91.2 | 1333M | 44 |1400 | 112k| 110k|2002 | 1 |2075 |2693 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 597s| 3600 | 3070 |360454 | 92.3 | 1379M | 44 |1400 | 112k| 110k|2111 | 1 |2158 |2722 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 606s| 3700 | 3166 |373758 | 93.4 | 1383M | 44 |1400 | 112k| 110k|2189 | 1 |2224 |2722 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 619s| 3800 | 3260 |384998 | 93.9 | 1385M | 44 |1400 | 112k| 110k|2266 | 1 |2253 |2732 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 642s| 3900 | 3356 |396400 | 94.4 | 1413M | 44 |1400 | 112k| 110k|2368 | 2 |2313 |2743 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 680s| 4000 | 3456 |411109 | 95.7 | 1502M | 44 |1400 | 112k| 110k|2606 | 1 |2372 |2780 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 696s| 4100 | 3556 |421762 | 96.0 | 1503M | 44 |1400 | 112k| 110k|2656 | 1 |2445 |2815 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 757.73/760.49 c 705s| 4200 | 3654 |431375 | 96.0 | 1508M | 44 |1400 | 112k| 110k|2686 | 1 |2499 |2836 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 718s| 4300 | 3748 |441054 | 96.0 | 1511M | 44 |1400 | 112k| 110k|2715 | 1 |2541 |2864 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 729s| 4400 | 3848 |451915 | 96.3 | 1524M | 44 |1400 | 112k| 110k|2787 | 1 |2632 |2871 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 757.73/760.49 c 747s| 4500 | 3946 |460413 | 96.0 | 1542M | 44 |1400 | 112k| 110k|2838 | 1 |2696 |2879 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 760s| 4600 | 4042 |468999 | 95.8 | 1555M | 44 |1400 | 112k| 110k|2905 | 1 |2753 |2882 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 776s| 4700 | 4138 |479387 | 96.0 | 1559M | 44 |1400 | 112k| 110k|2992 | 1 |2801 |2905 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 784s| 4800 | 4234 |489871 | 96.2 | 1565M | 44 |1400 | 112k| 110k|3042 | 1 |2870 |2909 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 798s| 4900 | 4332 |500050 | 96.3 | 1568M | 44 |1400 | 112k| 110k|3089 | 1 |2954 |2911 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 805s| 5000 | 4430 |511170 | 96.6 | 1572M | 44 |1400 | 113k| 110k|3096 | 1 |3017 |2918 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 812s| 5100 | 4526 |520517 | 96.5 | 1574M | 44 |1400 | 113k| 110k|3116 | 1 |3084 |2918 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 824s| 5200 | 4618 |531633 | 96.8 | 1577M | 44 |1400 | 113k| 110k|3161 | 1 |3137 |2933 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 837s| 5300 | 4704 |541445 | 96.8 | 1580M | 44 |1400 | 113k| 110k|3179 | 1 |3192 |2964 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 851s| 5400 | 4798 |550750 | 96.7 | 1583M | 44 |1400 | 113k| 110k|3219 | 1 |3246 |2994 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 863s| 5500 | 4890 |560629 | 96.8 | 1586M | 44 |1400 | 113k| 110k|3253 | 1 |3305 |3016 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 879s| 5600 | 4988 |571237 | 96.9 | 1599M | 44 |1400 | 113k| 110k|3325 | 1 |3364 |3042 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.50/1001.18 c 895s| 5700 | 5082 |581753 | 97.1 | 1608M | 44 |1400 | 113k| 110k|3388 | 1 |3461 |3078 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 903s| 5800 | 5172 |589890 | 96.8 | 1610M | 44 |1400 | 113k| 110k|3396 | 1 |3522 |3119 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 917s| 5900 | 5260 |598330 | 96.6 | 1612M | 44 |1400 | 113k| 110k|3422 | 1 |3587 |3165 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 924s| 6000 | 5356 |607304 | 96.5 | 1616M | 44 |1400 | 113k| 110k|3430 | 1 |3668 |3185 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 950s| 6100 | 5452 |616902 | 96.5 | 1622M | 44 |1400 | 113k| 110k|3492 | 1 |3725 |3215 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 967s| 6200 | 5550 |626902 | 96.5 | 1635M | 44 |1400 | 113k| 110k|3550 | 1 |3797 |3233 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 979s| 6300 | 5642 |636172 | 96.5 | 1639M | 44 |1400 | 113k| 110k|3592 | 1 |3865 |3261 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 988s| 6400 | 5736 |643633 | 96.1 | 1655M | 44 |1400 | 113k| 110k|3629 | 1 |3935 |3298 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.50/1001.18 c 997.50/1001.18 c SCIP Status : solving was interrupted [time limit reached] 997.50/1001.18 c Solving Time (sec) : 1000.00 997.50/1001.18 c Solving Nodes : 6478 997.50/1001.18 c Primal Bound : -4.80000000000000e+01 (792 solutions) 997.50/1001.18 c Dual Bound : -5.60000000000000e+01 997.50/1001.18 c Gap : 16.67 % 997.50/1001.18 c All original constraints are satisfied. 997.50/1001.18 c SCIP's best solution is verified feasible for the original problem. 997.50/1001.18 c ---------------------------------------------------------------------- 997.50/1001.18 c dual bound: -56.0 -> -56 997.50/1001.18 c primal bound: -48.0 -> -48 997.50/1001.18 c scip-goal-lb: -56 997.50/1001.18 c scip-goal-ub: -48 997.50/1001.18 c writing output to: HOME/tmpbrm0nn0v.opb 997.50/1001.18 c appending fixed variable constraints 997.50/1001.18 c scip-fixed vars: 0.00% (0/1400) 997.50/1001.18 c ---------------------------------------------------------------------- 997.50/1001.18 c executing external solver: HOME/naps-1.03a6 997.50/1001.18 c ---------------------------------------------------------------------- 997.50/1001.18 c command: HOME/naps-1.03a6 -goal-lb=-56 -goal-ub=-49 HOME/tmpbrm0nn0v.opb 997.57/1001.22 c NaPS 1.03a6. 997.57/1001.22 c Input file name: HOME/tmpbrm0nn0v.opb 998.94/1002.61 c single stage optimization mode 3600.09/3612.40 o -49 3600.09/3612.40 o -52 3600.09/3612.40 o -54 3600.09/3612.40 c 3600.09/3612.40 c *** TERMINATED *** by signal 15 3600.09/3612.40 c _____________________________________________________________________________ 3600.09/3612.40 c std/band forms : 5,0 3600.09/3612.40 c 2cl/3cl ITE-codings : 0,0 3600.09/3612.40 c BDD/srt/adr Max costs : 0,98707,0 3600.09/3612.40 c BDDraw/bin/mul/srt/adr: 0,0,0,5,0 3600.09/3612.40 c BDD nodes : 0 3600.09/3612.40 c Es1/CC detections : 0,0 3600.09/3612.40 c CC sort : 4 3600.09/3612.40 c SAT/UNSAT calls : 3,0 3600.09/3612.40 c regenrated variables : 8 3600.09/3612.40 c eliminated fixed lits : 0 3600.09/3612.40 c goal lit flips : 0 3600.09/3612.40 c goal stages : 1 3600.09/3612.40 c goal shrink : 0 3600.09/3612.40 c goal coeff separations: 0 3600.09/3612.40 c restarts : 61703 3600.09/3612.40 c conflicts : 1779216 (684 /sec) 3600.09/3612.40 c decisions : 3223137 (1239 /sec) 3600.09/3612.40 c propagations : 550764507 (211663 /sec) 3600.09/3612.40 c inspects : 0 (0 /sec) 3600.09/3612.40 c CPU time (solving tm) : 2602 s (2601 s, SAT 147.3 s, UNSAT 0 s) 3600.09/3612.40 c Time for Opt-base : 0.001311 s 3600.09/3612.40 c Steps for Opt-base : 0 3600.09/3612.40 c Time for BDD coding : 0 s 3600.09/3612.40 c Time for srt coding : 0.02898 s 3600.09/3612.40 c _____________________________________________________________________________ 3600.09/3612.40 s SATISFIABLE 3600.09/3612.40 v -x1400 -x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 3600.60/3612.99 c received SIGTERM, forwarding to pbsolver... 3600.60/3612.99 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
OK -54
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: 63837 MiB (61793 MiB free)
memory of node 1: 64465 MiB (61684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484735-1751281027/watcher-4484735-1751281027 -o /tmp/evaluation-result-4484735-1751281027/solver-4484735-1751281027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40129 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484735-1751281027.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40601, runsolver pid=40598
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 3.96 2.55 1.88 5/259 40606
/proc/meminfo: memFree=126436400/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=18944 memory=13952 CPUtime=0.07 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 1836 0 0 0 6 1 0 0 20 0 1 0 43782108 19398656 3488 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 4736 3488 1952 1 0 1509 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23136 KiB
Current children cumulated memory: 17024 KiB
[startup+0.213723 s]*
/proc/loadavg: 3.96 2.55 1.88 5/259 40606
/proc/meminfo: memFree=126436672/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1186916 memory=31564 CPUtime=0.18 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 3693 0 0 0 16 2 0 0 20 0 1 0 43782108 1215401984 7891 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 296729 7891 4859 1 0 268751 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1191108 KiB
Current children cumulated memory: 34636 KiB
[startup+0.313601 s]*
/proc/loadavg: 3.96 2.55 1.88 5/259 40606
/proc/meminfo: memFree=126436432/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1192476 memory=37324 CPUtime=0.28 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 4752 0 0 0 25 3 0 0 20 0 1 0 43782108 1221095424 9331 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 298119 9331 5275 1 0 269793 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1196668 KiB
Current children cumulated memory: 40396 KiB
[startup+0.700415 s]
/proc/loadavg: 3.96 2.55 1.88 5/259 40606
/proc/meminfo: memFree=126436432/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1244912 memory=95948 CPUtime=0.64 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 17250 0 0 0 58 6 0 0 20 0 1 0 43782108 1274789888 23987 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 311228 23987 7611 1 0 282586 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1249104 KiB
Current children cumulated memory: 99020 KiB
[startup+1.50042 s]
/proc/loadavg: 3.96 2.55 1.88 5/259 40606
/proc/meminfo: memFree=126355792/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1386468 memory=238156 CPUtime=1.44 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 52580 0 0 0 129 15 0 0 20 0 1 0 43782108 1419743232 59539 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 346617 59539 7867 1 0 317975 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1390660 KiB
Current children cumulated memory: 241228 KiB
[startup+3.11358 s]
/proc/loadavg: 3.96 2.57 1.90 5/259 40606
/proc/meminfo: memFree=126091104/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1609580 memory=433704 CPUtime=3.05 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 61050 0 0 0 285 20 0 0 20 0 1 0 43782108 1648209920 108426 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 402395 108426 7931 1 0 373753 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1613772 KiB
Current children cumulated memory: 436776 KiB
[startup+6.30043 s]
/proc/loadavg: 3.96 2.57 1.90 5/259 40606
/proc/meminfo: memFree=125966636/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1761756 memory=570764 CPUtime=6.23 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 100216 0 0 0 597 26 0 0 20 0 1 0 43782108 1804038144 142691 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 440439 142691 8123 1 0 411797 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1765948 KiB
Current children cumulated memory: 573836 KiB
[startup+12.7004 s]
/proc/loadavg: 3.97 2.62 1.92 5/259 40606
/proc/meminfo: memFree=125923040/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1792932 memory=582908 CPUtime=12.61 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 104160 0 0 0 1234 27 0 0 20 0 1 0 43782108 1835962368 145727 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 448233 145727 8123 1 0 419591 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1797124 KiB
Current children cumulated memory: 585980 KiB
[startup+25.5004 s]
/proc/loadavg: 3.97 2.66 1.94 5/259 40606
/proc/meminfo: memFree=125911812/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=1851004 memory=593176 CPUtime=25.37 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 105216 0 0 0 2510 27 0 0 20 0 1 0 43782108 1895428096 148294 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 462751 148294 8123 1 0 434109 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1855196 KiB
Current children cumulated memory: 596248 KiB
[startup+51.1136 s]
/proc/loadavg: 4.05 2.79 2.00 5/259 40607
/proc/meminfo: memFree=125767776/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2115592 memory=733720 CPUtime=50.9 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 140334 0 0 0 5058 32 0 0 20 0 1 0 43782108 2166366208 183430 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 528898 183430 8123 1 0 500256 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2119784 KiB
Current children cumulated memory: 736792 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.01 2.13 5/259 40609
/proc/meminfo: memFree=125745928/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2111768 memory=730192 CPUtime=101.91 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 149067 0 0 0 10157 34 0 0 20 0 1 0 43782108 2162450432 182548 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 527942 182548 8123 1 0 499300 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2115960 KiB
Current children cumulated memory: 733264 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.21 2.25 5/254 40611
/proc/meminfo: memFree=125636556/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2142748 memory=730576 CPUtime=161.72 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 149169 0 0 0 16137 35 0 0 20 0 1 0 43782108 2194173952 182644 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 535687 182644 8123 1 0 507045 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2146940 KiB
Current children cumulated memory: 733648 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.38 2.37 5/254 40620
/proc/meminfo: memFree=125527136/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2242836 memory=802296 CPUtime=221.47 cores=4,6
/proc/40606/stat : 40606 (python3) R 40601 40601 40118 0 -1 4194304 193711 0 0 0 22104 43 0 0 20 0 1 0 43782108 2296664064 200574 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 560709 200574 8123 1 0 532067 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 2247028 KiB
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.16 4.32 4.21 5/258 40824
/proc/meminfo: memFree=122449452/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=159084 memory=156140 CPUtime=2273.67 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 65396 0 0 0 227323 44 0 0 20 0 1 0 43882225 162902016 39035 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 39771 39035 608 696 0 38932 0
Current children cumulated CPU time: 3271.24 s
Current children cumulated vsize: 3101300 KiB
Current children cumulated memory: 1471468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.27 4.20 5/258 40826
/proc/meminfo: memFree=122267512/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=160968 memory=157932 CPUtime=2333.47 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 65867 0 0 0 233303 44 0 0 20 0 1 0 43882225 164831232 39483 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 40242 39483 608 696 0 39403 0
Current children cumulated CPU time: 3331.04 s
Current children cumulated vsize: 3103184 KiB
Current children cumulated memory: 1473260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.25 4.19 5/258 40828
/proc/meminfo: memFree=122184576/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=160968 memory=157932 CPUtime=2393.27 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 65868 0 0 0 239283 44 0 0 20 0 1 0 43882225 164831232 39483 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 40242 39483 608 696 0 39403 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 3103184 KiB
Current children cumulated memory: 1473260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.20 4.18 5/256 40927
/proc/meminfo: memFree=125990964/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=160968 memory=157932 CPUtime=2453.05 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 65868 0 0 0 245260 45 0 0 20 0 1 0 43882225 164831232 39483 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 40242 39483 608 696 0 39403 0
Current children cumulated CPU time: 3450.62 s
Current children cumulated vsize: 3103184 KiB
Current children cumulated memory: 1473260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/255 40929
/proc/meminfo: memFree=125926812/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=160968 memory=157932 CPUtime=2512.79 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 65868 0 0 0 251234 45 0 0 20 0 1 0 43882225 164831232 39483 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 40242 39483 608 696 0 39403 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 3103184 KiB
Current children cumulated memory: 1473260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/257 40933
/proc/meminfo: memFree=125795376/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=161664 memory=158700 CPUtime=2572.55 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 66071 0 0 0 257210 45 0 0 20 0 1 0 43882225 165543936 39675 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 40416 39675 608 696 0 39577 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 3103880 KiB
Current children cumulated memory: 1474028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.07 4.16 4.17 5/258 40936
/proc/meminfo: memFree=125717764/131382112 swapFree=33010684/33010684
[pid=40601] ppid=40598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40601/stat : 40601 (scip-naps-1.00.) S 40598 40601 40118 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 43782105 4292608 768 18446744073709551615 94902943428608 94902944323141 140725387696640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94902944562192 94902944609936 94902966312960 140725387700641 140725387700738 140725387700738 140725387706340 0
/proc/40601/statm: 1048 768 704 219 0 110 0
[pid=40606] ppid=40601 vsize=2938024 memory=1312256 CPUtime=997.57 cores=4,6
/proc/40606/stat : 40606 (python3) S 40601 40601 40118 0 -1 4194304 319552 0 4 0 99683 74 0 0 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
[pid=40717] ppid=40606 vsize=163388 memory=160364 CPUtime=2602.52 cores=4,6
/proc/40717/stat : 40717 (naps-1.03a6) R 40606 40717 40717 0 -1 4194304 66502 0 0 0 260207 45 0 0 20 0 1 0 43882225 167309312 40091 18446744073709551615 4198400 7047149 140723397920592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29392896 140723397925239 140723397925363 140723397925363 140723397930953 0
/proc/40717/statm: 40847 40091 608 696 0 40008 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3105604 KiB
Current children cumulated memory: 1475692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.42 s]
# the end of solver process 40601 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.005833 s, system=0.008964 s
[startup+3613.09 s]
# the end of solver process 40606 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.42 s, system=1.37881 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.15 4.17 4.17 5/256 40936
/proc/meminfo: memFree=125863468/131382112 swapFree=33010684/33010684
[pid=40606] ppid=40598 vsize=2938024 memory=1312256 CPUtime=3600.49 cores=4,6
/proc/40606/stat : 40606 (python3) R 40598 40601 40118 0 -1 4194304 370646 66503 4 0 99714 82 260207 46 20 0 1 0 43782108 3008536576 328064 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 734506 328064 8283 1 0 705864 0
Current cumulated CPU time of completed processes: 0.014797 s
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 2938024 KiB
Current children cumulated memory: 1312256 KiB
[startup+3613 s]*
/proc/loadavg: 4.15 4.17 4.17 5/256 40936
/proc/meminfo: memFree=126113724/131382112 swapFree=33010684/33010684
[pid=40606] ppid=40598 vsize=2646872 memory=1053808 CPUtime=3600.69 cores=4,6
/proc/40606/stat : 40606 (python3) R 40598 40601 40118 0 -1 4194304 394759 66503 4 0 99732 84 260207 46 20 0 1 0 43782108 2710396928 263452 18446744073709551615 94685231300608 94685231300985 140728766156320 0 0 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0 94685231312280 94685231312900 94685263245312 140728766159207 140728766159394 140728766159394 140728766164967 0
/proc/40606/statm: 661718 263452 8283 1 0 633076 0
Current cumulated CPU time of completed processes: 0.014797 s
Current children cumulated CPU time: 3600.69 s
Current children cumulated vsize: 2646872 KiB
Current children cumulated memory: 1053808 KiB
Child status: 0
Real time (s): 3613.09
CPU time (s): 3600.8
CPU user time (s): 3599.42
CPU system time (s): 1.37881
CPU usage (%): 99.6598
Max. virtual memory (cumulated for all children) (KiB): 3131620
Max. memory (cumulated for all children) (KiB): 1500852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 1.37881
maximum resident set size= 1312256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463601
page faults= 4
swaps= 0
block input operations= 928
block output operations= 5288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 19321
# summary of solver processes directly reported to runsolver:
# pid: 40601,40606
# total CPU time (s): 3600.8
# total CPU user time (s): 3599.42
# total CPU system time (s): 1.37881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8531 second user time and 34.8068 second system time
The end
Begin job on nodeC005 at 2025-06-30 12:57:07 IDJOB=4484735 IDBENCH=146666 IDSOLVER=3368 FILE ID=nodeC005/4484735-1751281027 RUNJOBID= nodeC005-1751280833-40129 SLURM_JOB_ID= 9594229 Free space on /tmp= 433024 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484735-1751281027/watcher-4484735-1751281027 -o /tmp/evaluation-result-4484735-1751281027/solver-4484735-1751281027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40129 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484735-1751281027.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 71e47456366b2ddac308424c74922847 RANDOM SEED=477519008 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.391 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.481 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.406 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.976 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.492 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.242 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 126442616 kB MemAvailable: 126651984 kB Buffers: 3280 kB Cached: 1011412 kB SwapCached: 0 kB Active: 3548952 kB Inactive: 713076 kB Active(anon): 3265296 kB Inactive(anon): 0 kB Active(file): 283656 kB Inactive(file): 713076 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 8324 kB Writeback: 0 kB AnonPages: 3250440 kB Mapped: 124300 kB Shmem: 17960 kB KReclaimable: 104524 kB Slab: 187144 kB SReclaimable: 104524 kB SUnreclaim: 82620 kB KernelStack: 4160 kB PageTables: 10216 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7207728 kB VmallocTotal: 34359738367 kB VmallocUsed: 149560 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 370688 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC005 at 2025-06-30 13:57:20