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) | -50 | 3600.78 | 3612.07 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
| MD5SUM | 05a4468103b1b74e5a90bd7e67aed0d9 |
| 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 | -52 |
| Best CPU time to get the best result obtained on this benchmark | 3585.04 |
| 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 | 1272 |
| Total number of constraints | 94227 |
| Number of constraints which are clauses | 94227 |
| 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 | 1272 |
| 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 | 1272 |
| 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 | 1272 |
| 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 |
70.85/71.18 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4484873-1751281828.opb 70.85/71.18 c Solving mode: optimization 70.85/71.18 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 70.85/71.18 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 70.85/71.18 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints 70.85/71.18 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00 70.85/71.18 c presolving: 70.85/71.18 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94227 upgd conss, 0 impls, 94227 clqs 70.85/71.18 c (1.3s) probing: 51/1272 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 70.85/71.18 c (1.3s) probing aborted: 50/50 successive totally useless probings 70.85/71.18 c (2.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 70.85/71.18 c (2.0s) no symmetry present (symcode time: 0.01) 70.85/71.18 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive): 70.85/71.18 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 70.85/71.18 c 0 implications, 94227 cliques 70.85/71.18 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints 70.85/71.18 c 94227 constraints of type <setppc> 70.85/71.18 c transformed objective value is always integral (scale: 1) 70.85/71.18 c Presolving Time: 1.91 70.85/71.18 c transformed 1/1 original solutions to the transformed problem space 70.85/71.18 c 70.85/71.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 70.85/71.18 c p 2.3s| 1 | 0 | 0 | - | clique| 0 |1272 | 94k| 94k| 0 | 0 | 0 | 0 |-1.272000e+03 |-3.400000e+01 |3641.18%| unknown 70.85/71.18 c p 2.8s| 1 | 0 | 424 | - | vbounds| 0 |1272 | 94k| 94k| 0 | 0 | 0 | 0 |-1.272000e+03 |-3.900000e+01 |3161.54%| unknown 70.85/71.18 c 3.4s| 1 | 0 | 1696 | - | 436M | 0 |1272 | 94k| 94k| 0 | 0 | 0 | 0 |-6.360000e+02 |-3.900000e+01 |1530.77%| unknown 70.85/71.18 c 4.8s| 1 | 0 | 1962 | - | 459M | 0 |1272 | 94k| 94k| 12 | 1 | 0 | 0 |-5.990000e+02 |-3.900000e+01 |1435.90%| unknown 70.85/71.18 c 7.6s| 1 | 0 | 2201 | - | 473M | 0 |1272 | 94k| 94k| 37 | 2 | 0 | 0 |-5.680000e+02 |-3.900000e+01 |1356.41%| unknown 70.85/71.18 c 11.5s| 1 | 0 | 2457 | - | 483M | 0 |1272 | 94k| 94k| 64 | 3 | 0 | 0 |-5.370000e+02 |-3.900000e+01 |1276.92%| unknown 70.85/71.18 c 13.5s| 1 | 0 | 2703 | - | 495M | 0 |1272 | 94k| 94k| 95 | 4 | 0 | 0 |-5.065000e+02 |-3.900000e+01 |1198.72%| unknown 70.85/71.18 c 14.6s| 1 | 0 | 3080 | - | 505M | 0 |1272 | 94k| 94k| 123 | 5 | 0 | 0 |-4.778333e+02 |-3.900000e+01 |1125.21%| unknown 70.85/71.18 c 15.5s| 1 | 0 | 3545 | - | 516M | 0 |1272 | 94k| 94k| 162 | 6 | 0 | 0 |-4.575000e+02 |-3.900000e+01 |1073.08%| unknown 70.85/71.18 c 16.8s| 1 | 0 | 4297 | - | 525M | 0 |1272 | 94k| 94k| 196 | 7 | 0 | 0 |-4.290000e+02 |-3.900000e+01 |1000.00%| unknown 70.85/71.18 c 18.7s| 1 | 0 | 6085 | - | 535M | 0 |1272 | 94k| 94k| 237 | 8 | 0 | 0 |-3.972500e+02 |-3.900000e+01 | 918.59%| unknown 70.85/71.18 c 20.2s| 1 | 0 | 7610 | - | 545M | 0 |1272 | 94k| 94k| 278 | 9 | 0 | 0 |-3.678750e+02 |-3.900000e+01 | 843.27%| unknown 70.85/71.18 c 21.2s| 1 | 0 | 9006 | - | 554M | 0 |1272 | 94k| 94k| 318 | 10 | 0 | 0 |-3.417917e+02 |-3.900000e+01 | 776.39%| unknown 70.85/71.18 c 21.9s| 1 | 0 | 9908 | - | 564M | 0 |1272 | 94k| 94k| 338 | 11 | 0 | 0 |-3.268750e+02 |-3.900000e+01 | 738.14%| unknown 70.85/71.18 c 22.7s| 1 | 0 | 11274 | - | 573M | 0 |1272 | 94k| 94k| 366 | 12 | 0 | 0 |-2.990000e+02 |-3.900000e+01 | 666.67%| unknown 70.85/71.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 70.85/71.18 c 23.6s| 1 | 0 | 12983 | - | 582M | 0 |1272 | 94k| 94k| 386 | 13 | 0 | 0 |-2.717500e+02 |-3.900000e+01 | 596.79%| unknown 70.85/71.18 c 24.5s| 1 | 0 | 14543 | - | 593M | 0 |1272 | 94k| 94k| 415 | 14 | 0 | 0 |-2.440000e+02 |-3.900000e+01 | 525.64%| unknown 70.85/71.18 c 25.0s| 1 | 0 | 15452 | - | 602M | 0 |1272 | 94k| 94k| 428 | 15 | 0 | 0 |-2.161500e+02 |-3.900000e+01 | 454.23%| unknown 70.85/71.18 c 25.5s| 1 | 0 | 16222 | - | 611M | 0 |1272 | 94k| 94k| 451 | 16 | 0 | 0 |-1.964000e+02 |-3.900000e+01 | 403.59%| unknown 70.85/71.18 c 26.1s| 1 | 0 | 17347 | - | 622M | 0 |1272 | 94k| 94k| 477 | 17 | 0 | 0 |-1.780000e+02 |-3.900000e+01 | 356.41%| unknown 70.85/71.18 c 26.7s| 1 | 0 | 18585 | - | 631M | 0 |1272 | 94k| 94k| 503 | 18 | 0 | 0 |-1.588333e+02 |-3.900000e+01 | 307.26%| unknown 70.85/71.18 c 27.2s| 1 | 0 | 19827 | - | 641M | 0 |1272 | 94k| 94k| 531 | 19 | 0 | 0 |-1.489375e+02 |-3.900000e+01 | 281.89%| unknown 70.85/71.18 c 28.1s| 1 | 0 | 22164 | - | 650M | 0 |1272 | 94k| 94k| 554 | 20 | 0 | 0 |-1.330000e+02 |-3.900000e+01 | 241.03%| unknown 70.85/71.18 c 28.3s| 1 | 0 | 22541 | - | 650M | 0 |1272 | 94k| 94k| 559 | 21 | 0 | 0 |-1.250000e+02 |-3.900000e+01 | 220.51%| unknown 70.85/71.18 c 28.5s| 1 | 0 | 22835 | - | 650M | 0 |1272 | 94k| 94k| 562 | 22 | 0 | 0 |-1.167500e+02 |-3.900000e+01 | 199.36%| unknown 70.85/71.18 c 28.8s| 1 | 0 | 23702 | - | 650M | 0 |1272 | 94k| 94k| 565 | 23 | 0 | 0 |-9.600000e+01 |-3.900000e+01 | 146.15%| unknown 70.85/71.18 c 28.9s| 1 | 0 | 23773 | - | 651M | 0 |1272 | 94k| 94k| 566 | 24 | 0 | 0 |-8.708333e+01 |-3.900000e+01 | 123.29%| unknown 70.85/71.18 c 29.1s| 1 | 0 | 23868 | - | 651M | 0 |1272 | 94k| 94k| 569 | 25 | 0 | 0 |-6.908333e+01 |-3.900000e+01 | 77.14%| unknown 70.85/71.18 c 29.2s| 1 | 0 | 23938 | - | 652M | 0 |1272 | 94k| 94k| 571 | 26 | 0 | 0 |-6.170238e+01 |-3.900000e+01 | 58.21%| unknown 70.85/71.18 c 29.3s| 1 | 0 | 24018 | - | 653M | 0 |1272 | 94k| 94k| 574 | 27 | 0 | 0 |-5.416667e+01 |-3.900000e+01 | 38.89%| unknown 70.85/71.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 70.85/71.18 c 29.4s| 1 | 0 | 24074 | - | 654M | 0 |1272 | 94k| 94k| 579 | 28 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 29.5s| 1 | 0 | 24107 | - | 654M | 0 |1272 | 94k| 94k| 583 | 29 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 29.6s| 1 | 0 | 24130 | - | 654M | 0 |1272 | 94k| 94k| 586 | 30 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 29.7s| 1 | 0 | 24186 | - | 655M | 0 |1272 | 94k| 94k| 590 | 31 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 29.8s| 1 | 0 | 24213 | - | 656M | 0 |1272 | 94k| 94k| 597 | 32 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 30.0s| 1 | 0 | 24299 | - | 657M | 0 |1272 | 94k| 94k| 606 | 33 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 30.1s| 1 | 0 | 24359 | - | 658M | 0 |1272 | 94k| 94k| 611 | 34 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 30.2s| 1 | 0 | 24424 | - | 658M | 0 |1272 | 94k| 94k| 618 | 35 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 30.4s| 1 | 0 | 24487 | - | 658M | 0 |1272 | 94k| 94k| 629 | 36 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 30.5s| 1 | 0 | 24555 | - | 659M | 0 |1272 | 94k| 94k| 636 | 37 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 30.6s| 1 | 0 | 24623 | - | 660M | 0 |1272 | 94k| 94k| 644 | 38 | 0 | 0 |-5.350000e+01 |-3.900000e+01 | 37.18%| unknown 70.85/71.18 c 34.2s| 1 | 2 | 24637 | - | 661M | 0 |1272 | 94k| 94k| 644 | 38 | 0 | 20 |-5.300000e+01 |-3.900000e+01 | 35.90%| unknown 774.31/776.89 c *70.7s| 67 | 66 | 28637 | 67.2 |strongbr| 35 |1272 | 94k| 94k| 673 | 1 | 0 | 742 |-5.300000e+01 |-4.200000e+01 | 26.19%| unknown 774.31/776.89 c *71.2s| 71 | 66 | 28679 | 64.0 | LP | 38 |1272 | 94k| 94k| 673 | 1 | 0 | 753 |-5.300000e+01 |-4.300000e+01 | 23.26%| unknown 774.31/776.89 c 82.1s| 100 | 85 | 30284 | 61.5 | 689M | 38 |1272 | 94k| 94k| 678 | 1 | 0 |1011 |-5.300000e+01 |-4.300000e+01 | 23.26%| unknown 774.31/776.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 774.31/776.89 c * 101s| 164 | 117 | 33584 | 57.6 | LP | 38 |1272 | 94k| 94k| 702 | 2 | 15 |1305 |-5.300000e+01 |-4.400000e+01 | 20.45%| unknown 774.31/776.89 c 102s| 200 | 131 | 34836 | 53.5 | 700M | 38 |1272 | 94k| 94k| 704 | 0 | 15 |1323 |-5.300000e+01 |-4.400000e+01 | 20.45%| unknown 774.31/776.89 c 107s| 300 | 167 | 38050 | 46.3 | 713M | 40 |1272 | 94k| 94k| 727 | 2 | 19 |1346 |-5.300000e+01 |-4.400000e+01 | 20.45%| unknown 774.31/776.89 c * 111s| 337 | 155 | 39218 | 44.7 | LP | 40 |1272 | 94k| 94k| 734 | 3 | 19 |1349 |-5.300000e+01 |-4.500000e+01 | 17.78%| unknown 774.31/776.89 c i 111s| 337 | 143 | 39218 | 44.7 | oneopt| 40 |1272 | 94k| 94k| 734 | 3 | 19 |1349 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 122s| 400 | 172 | 41811 | 44.1 | 753M | 40 |1272 | 94k| 94k| 766 | 1 | 29 |1439 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 148s| 500 | 202 | 45601 | 42.9 | 792M | 40 |1272 | 94k| 94k| 841 | 2 | 42 |1617 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 163s| 600 | 246 | 49797 | 42.7 | 800M | 40 |1272 | 94k| 94k| 865 | 1 | 204 |1882 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 168s| 700 | 278 | 54146 | 42.8 | 800M | 40 |1272 | 94k| 94k| 878 | 1 | 280 |1951 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 172s| 800 | 316 | 57732 | 42.0 | 802M | 40 |1272 | 94k| 94k| 894 | 1 | 296 |1973 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 176s| 900 | 356 | 61118 | 41.1 | 804M | 40 |1272 | 94k| 94k| 914 | 1 | 306 |1991 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 179s| 1000 | 390 | 64548 | 40.4 | 805M | 40 |1272 | 94k| 94k| 922 | 0 | 314 |2001 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 182s| 1100 | 418 | 67601 | 39.5 | 805M | 40 |1272 | 94k| 94k| 938 | 0 | 332 |2011 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 187s| 1200 | 502 | 75545 | 42.8 | 821M | 40 |1272 | 94k| 94k| 960 | 1 | 377 |2021 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 201s| 1300 | 586 | 86219 | 47.7 | 825M | 40 |1272 | 94k| 94k|1007 | 1 | 409 |2105 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 774.31/776.89 c 207s| 1400 | 668 | 91697 | 48.2 | 827M | 40 |1272 | 94k| 94k|1028 | 1 | 481 |2168 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 218s| 1500 | 766 |102785 | 52.4 | 830M | 40 |1272 | 94k| 94k|1036 | 1 | 562 |2285 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 226s| 1600 | 864 |113019 | 55.5 | 837M | 40 |1272 | 94k| 94k|1050 | 2 | 660 |2329 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 233s| 1700 | 962 |122947 | 58.1 | 839M | 40 |1272 | 94k| 94k|1058 | 1 | 723 |2368 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 273s| 1800 | 1056 |134742 | 61.4 | 1007M | 44 |1272 | 95k| 94k|1338 | 1 | 785 |2379 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 282s| 1900 | 1156 |147116 | 64.7 | 1013M | 44 |1272 | 95k| 94k|1464 | 1 | 865 |2385 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 315s| 2000 | 1256 |160992 | 68.4 | 1129M | 44 |1272 | 95k| 94k|1695 | 1 | 914 |2499 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 330s| 2100 | 1356 |174579 | 71.6 | 1151M | 44 |1272 | 95k| 94k|1780 | 1 | 961 |2581 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 339s| 2200 | 1454 |184759 | 73.0 | 1154M | 44 |1272 | 95k| 94k|1784 | 1 |1018 |2654 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 356s| 2300 | 1552 |194825 | 74.2 | 1184M | 44 |1272 | 95k| 94k|1861 | 1 |1129 |2665 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 362s| 2400 | 1650 |205511 | 75.6 | 1195M | 44 |1272 | 95k| 94k|1902 | 1 |1164 |2673 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 390s| 2500 | 1738 |215164 | 76.4 | 1215M | 44 |1272 | 95k| 94k|2043 | 1 |1204 |2683 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 451s| 2600 | 1828 |227007 | 78.0 | 1243M | 44 |1272 | 95k| 94k|2322 | 1 |1241 |2696 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 457s| 2700 | 1920 |236782 | 78.8 | 1251M | 44 |1272 | 95k| 94k|2328 | 1 |1291 |2714 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 464s| 2800 | 2018 |248697 | 80.2 | 1256M | 46 |1272 | 95k| 94k|2360 | 1 |1342 |2716 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 774.31/776.89 c 478s| 2900 | 2108 |259347 | 81.1 | 1257M | 46 |1272 | 95k| 94k|2435 | 1 |1417 |2720 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 492s| 3000 | 2202 |269063 | 81.6 | 1266M | 46 |1272 | 95k| 94k|2490 | 1 |1460 |2729 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 514s| 3100 | 2290 |279728 | 82.5 | 1295M | 46 |1272 | 95k| 94k|2634 | 1 |1498 |2738 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 523s| 3200 | 2364 |288533 | 82.6 | 1314M | 46 |1272 | 95k| 94k|2736 | 1 |1550 |2758 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 536s| 3300 | 2456 |297876 | 83.0 | 1317M | 46 |1272 | 95k| 94k|2802 | 1 |1626 |2761 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 558s| 3400 | 2550 |308934 | 83.8 | 1319M | 47 |1272 | 95k| 94k|2936 | 1 |1696 |2769 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 570s| 3500 | 2624 |316720 | 83.6 | 1326M | 47 |1272 | 95k| 94k|2999 | 1 |1731 |2777 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 595s| 3600 | 2714 |326723 | 84.1 | 1341M | 47 |1272 | 96k| 94k|3099 | 0 |1785 |2855 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 623s| 3700 | 2814 |336660 | 84.5 | 1363M | 47 |1272 | 96k| 94k|3227 | 1 |1875 |2934 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 628s| 3800 | 2904 |343497 | 84.0 | 1367M | 47 |1272 | 96k| 94k|3238 | 1 |1926 |2937 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 643s| 3900 | 2992 |354522 | 84.7 | 1376M | 47 |1272 | 96k| 94k|3322 | 2 |1985 |2946 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 657s| 4000 | 3078 |363970 | 85.0 | 1380M | 47 |1272 | 96k| 94k|3387 | 1 |2020 |2955 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 671s| 4100 | 3156 |372186 | 84.9 | 1394M | 47 |1272 | 96k| 94k|3469 | 0 |2068 |2957 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 679s| 4200 | 3256 |382759 | 85.4 | 1397M | 47 |1272 | 96k| 94k|3487 | 1 |2167 |2995 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 695s| 4300 | 3350 |396018 | 86.5 | 1402M | 47 |1272 | 96k| 94k|3542 | 0 |2250 |3049 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 774.31/776.89 c 721s| 4400 | 3442 |407955 | 87.2 | 1406M | 47 |1272 | 96k| 94k|3695 | 1 |2322 |3079 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 732s| 4500 | 3528 |416752 | 87.3 | 1409M | 47 |1272 | 96k| 94k|3732 | 1 |2393 |3104 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 744s| 4600 | 3616 |424372 | 87.0 | 1418M | 47 |1272 | 96k| 94k|3764 | 1 |2457 |3149 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 774.31/776.89 c 765s| 4700 | 3704 |433908 | 87.2 | 1420M | 47 |1272 | 96k| 94k|3866 | 2 |2521 |3193 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 776s| 4800 | 3796 |445074 | 87.7 | 1435M | 47 |1272 | 96k| 94k|3915 | 1 |2577 |3228 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 809s| 4900 | 3880 |454372 | 87.8 | 1441M | 47 |1272 | 96k| 94k|4063 | 1 |2631 |3274 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 829s| 5000 | 3958 |462727 | 87.7 | 1442M | 47 |1272 | 96k| 94k|4153 | 1 |2689 |3316 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 850s| 5100 | 4044 |471542 | 87.7 | 1447M | 47 |1272 | 96k| 94k|4251 | 2 |2736 |3350 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 865s| 5200 | 4134 |480846 | 87.8 | 1455M | 47 |1272 | 96k| 94k|4352 | 2 |2805 |3387 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 877s| 5300 | 4228 |490793 | 88.1 | 1459M | 47 |1272 | 97k| 94k|4415 | 1 |2878 |3430 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 893s| 5400 | 4304 |499938 | 88.1 | 1461M | 47 |1272 | 97k| 94k|4505 | 1 |2924 |3460 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 900s| 5500 | 4384 |508631 | 88.1 | 1463M | 47 |1272 | 97k| 94k|4518 | 1 |2956 |3496 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 911s| 5600 | 4482 |517388 | 88.1 | 1468M | 47 |1272 | 97k| 94k|4595 | 1 |3041 |3521 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 917s| 5700 | 4566 |524563 | 87.8 | 1470M | 47 |1272 | 97k| 94k|4620 | 2 |3103 |3544 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 930s| 5800 | 4650 |534137 | 87.9 | 1473M | 47 |1272 | 97k| 94k|4711 | 1 |3131 |3562 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.51/1000.79 c 938s| 5900 | 4732 |542048 | 87.8 | 1492M | 47 |1272 | 97k| 94k|4756 | 0 |3206 |3567 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 946s| 6000 | 4818 |551609 | 87.9 | 1494M | 47 |1272 | 97k| 94k|4788 | 1 |3299 |3575 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 953s| 6100 | 4904 |561476 | 88.1 | 1498M | 47 |1272 | 97k| 94k|4808 | 1 |3347 |3591 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 958s| 6200 | 4982 |568489 | 87.8 | 1501M | 47 |1272 | 97k| 94k|4822 | 1 |3396 |3596 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 987s| 6300 | 5078 |583490 | 88.8 | 1503M | 47 |1272 | 97k| 94k|4920 | 2 |3496 |3613 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 993s| 6400 | 5154 |591420 | 88.6 | 1507M | 47 |1272 | 97k| 94k|4941 | 0 |3552 |3614 |-5.300000e+01 |-4.600000e+01 | 15.22%| unknown 997.51/1000.79 c 997.51/1000.79 c SCIP Status : solving was interrupted [time limit reached] 997.51/1000.79 c Solving Time (sec) : 1000.00 997.51/1000.79 c Solving Nodes : 6461 997.51/1000.79 c Primal Bound : -4.60000000000000e+01 (785 solutions) 997.51/1000.79 c Dual Bound : -5.30000000000000e+01 997.51/1000.79 c Gap : 15.22 % 997.51/1000.79 c All original constraints are satisfied. 997.51/1000.79 c SCIP's best solution is verified feasible for the original problem. 997.51/1000.79 c ---------------------------------------------------------------------- 997.51/1000.79 c dual bound: -53.0 -> -53 997.51/1000.79 c primal bound: -46.0 -> -46 997.51/1000.79 c scip-goal-lb: -53 997.51/1000.79 c scip-goal-ub: -46 997.51/1000.79 c writing output to: HOME/tmpl9288633.opb 997.51/1000.79 c appending fixed variable constraints 997.51/1000.79 c scip-fixed vars: 0.00% (0/1272) 997.51/1000.79 c ---------------------------------------------------------------------- 997.51/1000.79 c executing external solver: HOME/naps-1.03a6 997.51/1000.79 c ---------------------------------------------------------------------- 997.51/1000.79 c command: HOME/naps-1.03a6 -goal-lb=-53 -goal-ub=-47 HOME/tmpl9288633.opb 997.61/1000.83 c NaPS 1.03a6. 997.61/1000.83 c Input file name: HOME/tmpl9288633.opb 998.20/1001.47 c single stage optimization mode 3600.09/3611.40 o -47 3600.09/3611.40 o -50 3600.09/3611.40 c 3600.09/3611.40 c *** TERMINATED *** by signal 15 3600.09/3611.40 c _____________________________________________________________________________ 3600.09/3611.40 c std/band forms : 4,0 3600.09/3611.40 c 2cl/3cl ITE-codings : 0,0 3600.09/3611.40 c BDD/srt/adr Max costs : 0,87891,0 3600.09/3611.40 c BDDraw/bin/mul/srt/adr: 0,0,0,4,0 3600.09/3611.40 c BDD nodes : 0 3600.09/3611.40 c Es1/CC detections : 0,0 3600.09/3611.40 c CC sort : 3 3600.09/3611.40 c SAT/UNSAT calls : 2,0 3600.09/3611.40 c regenrated variables : 0 3600.09/3611.40 c eliminated fixed lits : 0 3600.09/3611.40 c goal lit flips : 0 3600.09/3611.40 c goal stages : 1 3600.09/3611.40 c goal shrink : 0 3600.09/3611.40 c goal coeff separations: 0 3600.09/3611.40 c restarts : 22540 3600.09/3611.40 c conflicts : 233680 (90 /sec) 3600.09/3611.40 c decisions : 772632 (297 /sec) 3600.09/3611.40 c propagations : 98666070 (37922 /sec) 3600.09/3611.40 c inspects : 0 (0 /sec) 3600.09/3611.40 c CPU time (solving tm) : 2602 s (2601 s, SAT 18.46 s, UNSAT 0 s) 3600.09/3611.40 c Time for Opt-base : 0.000812 s 3600.09/3611.40 c Steps for Opt-base : 0 3600.09/3611.40 c Time for BDD coding : 0 s 3600.09/3611.40 c Time for srt coding : 0.01875 s 3600.09/3611.40 c _____________________________________________________________________________ 3600.09/3611.40 s SATISFIABLE 3600.09/3611.40 v -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.58/3611.97 c received SIGTERM, forwarding to pbsolver... 3600.58/3611.97 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
OK -50
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 (60171 MiB free)
memory of node 1: 64465 MiB (62989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484873-1751281828/watcher-4484873-1751281828 -o /tmp/evaluation-result-4484873-1751281828/solver-4484873-1751281828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40130 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484873-1751281828.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40701, runsolver pid=40698
[startup+0.100069 s]*
/proc/loadavg: 4.10 4.01 3.19 5/254 40706
/proc/meminfo: memFree=126115292/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1185788 memory=30328 CPUtime=0.06 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 3445 0 0 0 5 1 0 0 20 0 1 0 43862192 1214246912 7582 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 296447 7582 4771 1 0 268515 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1189980 KiB
Current children cumulated memory: 33400 KiB
[startup+0.213674 s]*
/proc/loadavg: 4.10 4.01 3.19 5/254 40706
/proc/meminfo: memFree=126101180/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1205424 memory=57080 CPUtime=0.18 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 7568 0 0 0 16 2 0 0 20 0 1 0 43862192 1234354176 14270 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 301356 14270 7587 1 0 272714 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1209616 KiB
Current children cumulated memory: 60152 KiB
[startup+0.313397 s]*
/proc/loadavg: 4.10 4.01 3.19 6/254 40706
/proc/meminfo: memFree=126081020/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1224756 memory=76024 CPUtime=0.28 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 12298 0 0 0 25 3 0 0 20 0 1 0 43862192 1254150144 19006 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 306189 19006 7587 1 0 277547 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1228948 KiB
Current children cumulated memory: 79096 KiB
[startup+0.700427 s]
/proc/loadavg: 4.10 4.01 3.19 5/254 40706
/proc/meminfo: memFree=126024572/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1315888 memory=166904 CPUtime=0.65 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 34731 0 0 0 58 7 0 0 20 0 1 0 43862192 1347469312 41726 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 328972 41726 7875 1 0 300330 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1320080 KiB
Current children cumulated memory: 169976 KiB
[startup+1.50041 s]
/proc/loadavg: 4.18 4.03 3.20 5/254 40706
/proc/meminfo: memFree=125935876/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1366848 memory=217848 CPUtime=1.44 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 47480 0 0 0 135 9 0 0 20 0 1 0 43862192 1399652352 54462 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 341712 54462 7907 1 0 313070 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1371040 KiB
Current children cumulated memory: 220920 KiB
[startup+3.11303 s]
/proc/loadavg: 4.18 4.03 3.20 5/254 40706
/proc/meminfo: memFree=125654824/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1671672 memory=500336 CPUtime=3.05 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 81918 0 0 0 287 18 0 0 20 0 1 0 43862192 1711792128 125084 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 417918 125084 8099 1 0 389276 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1675864 KiB
Current children cumulated memory: 503408 KiB
[startup+6.3004 s]
/proc/loadavg: 4.16 4.03 3.21 5/254 40706
/proc/meminfo: memFree=125629876/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1715268 memory=528364 CPUtime=6.23 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 89232 0 0 0 603 20 0 0 20 0 1 0 43862192 1756434432 132091 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 428817 132091 8099 1 0 400175 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1719460 KiB
Current children cumulated memory: 531436 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.03 3.21 5/256 40708
/proc/meminfo: memFree=124549864/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1735892 memory=531996 CPUtime=12.61 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 90559 0 0 0 1241 20 0 0 20 0 1 0 43862192 1777553408 132999 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 433973 132999 8099 1 0 405331 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1740084 KiB
Current children cumulated memory: 535068 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.03 3.22 5/256 40708
/proc/meminfo: memFree=124002216/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=1851292 memory=542860 CPUtime=25.38 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 92756 0 0 0 2517 21 0 0 20 0 1 0 43862192 1895723008 135715 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 462823 135715 8099 1 0 434181 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1855484 KiB
Current children cumulated memory: 545932 KiB
[startup+51.1136 s]
/proc/loadavg: 4.16 4.04 3.25 5/255 40709
/proc/meminfo: memFree=124039208/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2006516 memory=656396 CPUtime=50.91 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 121139 0 0 0 5066 25 0 0 20 0 1 0 43862192 2054672384 164099 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 501629 164099 8099 1 0 472987 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2010708 KiB
Current children cumulated memory: 659468 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.05 3.30 5/257 40713
/proc/meminfo: memFree=123934452/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2006516 memory=656780 CPUtime=101.93 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 121226 0 0 0 10168 25 0 0 20 0 1 0 43862192 2054672384 164195 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 501629 164195 8099 1 0 472987 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2010708 KiB
Current children cumulated memory: 659852 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.05 3.35 5/257 40715
/proc/meminfo: memFree=123831324/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2144168 memory=762852 CPUtime=161.74 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 154351 0 0 0 16144 30 0 0 20 0 1 0 43862192 2195628032 190713 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 536042 190713 8099 1 0 507400 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2148360 KiB
Current children cumulated memory: 765924 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.06 3.40 5/258 40718
/proc/meminfo: memFree=123697824/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2173284 memory=791752 CPUtime=221.55 cores=1,3
/proc/40706/stat : 40706 (python3) R 40701 40701 40118 0 -1 4194304 169934 0 0 0 22122 33 0 0 20 0 1 0 43862192 2225442816 197938 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 543321 197938 8099 1 0 514679 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 2177476 KiB
################
# More data... #
################
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 2979908 KiB
Current children cumulated memory: 1358492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/255 41018
/proc/meminfo: memFree=126136180/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=123676 memory=122284 CPUtime=2274.27 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 104788 0 0 0 227374 53 0 0 20 0 1 0 43962270 126644224 30571 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 30919 30571 608 696 0 30080 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 2956832 KiB
Current children cumulated memory: 1335584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/255 41020
/proc/meminfo: memFree=125967828/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=152688 memory=151080 CPUtime=2334.11 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 107687 0 0 0 233356 55 0 0 20 0 1 0 43962270 156352512 37770 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 38172 37770 608 696 0 37333 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 2985844 KiB
Current children cumulated memory: 1364380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/256 41023
/proc/meminfo: memFree=125840172/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=151764 memory=150184 CPUtime=2393.94 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 110035 0 0 0 239338 56 0 0 20 0 1 0 43962270 155406336 37546 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 37941 37546 608 696 0 37102 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 2984920 KiB
Current children cumulated memory: 1363484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/255 41025
/proc/meminfo: memFree=125745912/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=109164 memory=107592 CPUtime=2453.78 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 112685 0 0 0 245320 58 0 0 20 0 1 0 43962270 111783936 26898 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 27291 26898 608 696 0 26452 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 2942320 KiB
Current children cumulated memory: 1320892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/255 41027
/proc/meminfo: memFree=125629972/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=155640 memory=154024 CPUtime=2513.61 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 115593 0 0 0 251301 60 0 0 20 0 1 0 43962270 159375360 38506 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 38910 38506 608 696 0 38071 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 2988796 KiB
Current children cumulated memory: 1367324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/255 41029
/proc/meminfo: memFree=125559572/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=128884 memory=125904 CPUtime=2573.44 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 118473 0 0 0 257282 62 0 0 20 0 1 0 43962270 131977216 31476 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 32221 31476 608 696 0 31382 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 2962040 KiB
Current children cumulated memory: 1339204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.09 4.09 4.12 5/255 41031
/proc/meminfo: memFree=125587732/131382112 swapFree=33010684/33010684
[pid=40701] ppid=40698 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40701/stat : 40701 (scip-naps-1.00.) S 40698 40701 40118 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 43862189 4292608 768 18446744073709551615 94385439899648 94385440794181 140729711044208 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385441033232 94385441080976 94385441939456 140729711053217 140729711053314 140729711053314 140729711058916 0
/proc/40701/statm: 1048 768 704 219 0 110 0
[pid=40706] ppid=40701 vsize=2828964 memory=1210228 CPUtime=997.62 cores=1,3
/proc/40706/stat : 40706 (python3) S 40701 40701 40118 0 -1 4194304 259925 0 0 0 99710 52 0 0 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
[pid=40752] ppid=40706 vsize=130932 memory=129376 CPUtime=2602.47 cores=1,3
/proc/40752/stat : 40752 (naps-1.03a6) R 40706 40752 40752 0 -1 4194304 119426 0 0 0 260184 63 0 0 20 0 1 0 43962270 134074368 32344 18446744073709551615 4198400 7047149 140729438914560 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29831168 140729438923127 140729438923251 140729438923251 140729438928841 0
/proc/40752/statm: 32733 32344 608 696 0 31894 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2964088 KiB
Current children cumulated memory: 1342676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.42 s]
# the end of solver process 40701 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.004987 s, system=0.006183 s
[startup+3612.07 s]
# the end of solver process 40706 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.42 s, system=1.35164 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+3611.61 s]
/proc/loadavg: 4.09 4.09 4.12 5/253 41031
/proc/meminfo: memFree=125710612/131382112 swapFree=33010684/33010684
[pid=40706] ppid=40698 vsize=2828964 memory=1210228 CPUtime=3600.29 cores=1,3
/proc/40706/stat : 40706 (python3) R 40698 40701 40118 0 -1 4194304 292615 119427 0 0 99726 56 260184 63 20 0 1 0 43862192 2896859136 302557 18446744073709551615 94851996635136 94851996635513 140733669942944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94851996646808 94851996647428 94852000948224 140733669951847 140733669952034 140733669952034 140733669957607 0
/proc/40706/statm: 707241 302557 8163 1 0 678599 0
Current cumulated CPU time of completed processes: 0.01117 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 2828964 KiB
Current children cumulated memory: 1210228 KiB
[startup+3612 s]*
/proc/loadavg: 4.08 4.09 4.11 5/253 41031
/proc/meminfo: memFree=126001888/131382112 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.01117 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.07
CPU time (s): 3600.78
CPU user time (s): 3599.42
CPU system time (s): 1.35164
CPU usage (%): 99.6872
Max. virtual memory (cumulated for all children) (KiB): 3011068
Max. memory (cumulated for all children) (KiB): 1389596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 1.35164
maximum resident set size= 1210228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384
involuntary context switches= 2035
# summary of solver processes directly reported to runsolver:
# pid: 40701,40706
# total CPU time (s): 3600.78
# total CPU user time (s): 3599.42
# total CPU system time (s): 1.35164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2698 second user time and 39.7645 second system time
The end
Begin job on nodeC005 at 2025-06-30 13:10:28 IDJOB=4484873 IDBENCH=146672 IDSOLVER=3368 FILE ID=nodeC005/4484873-1751281828 RUNJOBID= nodeC005-1751280833-40130 SLURM_JOB_ID= 9594229 Free space on /tmp= 433032 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484873-1751281828/watcher-4484873-1751281828 -o /tmp/evaluation-result-4484873-1751281828/solver-4484873-1751281828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40130 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484873-1751281828.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9 RANDOM SEED=921318269 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 : 3662.666 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 : 2891.010 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.536 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 : 1197.222 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 : 3662.625 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 : 3664.027 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 1197.854 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: 126117056 kB MemAvailable: 126320764 kB Buffers: 3280 kB Cached: 1005776 kB SwapCached: 0 kB Active: 3970948 kB Inactive: 706956 kB Active(anon): 3686828 kB Inactive(anon): 0 kB Active(file): 284120 kB Inactive(file): 706956 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7904 kB Writeback: 0 kB AnonPages: 3671960 kB Mapped: 125504 kB Shmem: 17960 kB KReclaimable: 104516 kB Slab: 187188 kB SReclaimable: 104516 kB SUnreclaim: 82672 kB KernelStack: 4096 kB PageTables: 11160 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 8038908 kB VmallocTotal: 34359738367 kB VmallocUsed: 149512 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1560576 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= 433028 MiB End job on nodeC005 at 2025-06-30 14:10:40