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) | -49 | 3600.4 | 3611.42 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
| MD5SUM | f240478745515edc7850a10c9aa5c21f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -50 |
| Best CPU time to get the best result obtained on this benchmark | 1849.76 |
| 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 | 1150 |
| Total number of constraints | 80035 |
| Number of constraints which are clauses | 80035 |
| 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 | 1150 |
| 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 | 1150 |
| 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 | 1150 |
| 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 |
28.62/28.99 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4484965-1751284451.opb 28.62/28.99 c Solving mode: optimization 28.62/28.99 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 28.62/28.99 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 28.62/28.99 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints 28.62/28.99 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00 28.62/28.99 c presolving: 28.62/28.99 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80035 upgd conss, 0 impls, 80035 clqs 28.62/28.99 c (1.2s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 28.62/28.99 c (1.2s) probing aborted: 50/50 successive totally useless probings 28.62/28.99 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 28.62/28.99 c (1.8s) no symmetry present (symcode time: 0.01) 28.62/28.99 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive): 28.62/28.99 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 28.62/28.99 c 0 implications, 80035 cliques 28.62/28.99 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints 28.62/28.99 c 80035 constraints of type <setppc> 28.62/28.99 c transformed objective value is always integral (scale: 1) 28.62/28.99 c Presolving Time: 1.72 28.62/28.99 c transformed 1/1 original solutions to the transformed problem space 28.62/28.99 c 28.62/28.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 28.62/28.99 c p 2.1s| 1 | 0 | 0 | - | clique| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-2.800000e+01 |4007.14%| unknown 28.62/28.99 c p 2.1s| 1 | 0 | 0 | - | locks| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.100000e+01 |3609.68%| unknown 28.62/28.99 c p 2.5s| 1 | 0 | 362 | - | vbounds| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.500000e+01 |3185.71%| unknown 28.62/28.99 c 2.9s| 1 | 0 | 1512 | - | 406M | 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-5.750000e+02 |-3.500000e+01 |1542.86%| unknown 28.62/28.99 c 3.8s| 1 | 0 | 1731 | - | 427M | 0 |1150 | 80k| 80k| 13 | 1 | 0 | 0 |-5.390000e+02 |-3.500000e+01 |1440.00%| unknown 28.62/28.99 c 5.7s| 1 | 0 | 1897 | - | 438M | 0 |1150 | 80k| 80k| 36 | 2 | 0 | 0 |-5.095000e+02 |-3.500000e+01 |1355.71%| unknown 28.62/28.99 c 8.7s| 1 | 0 | 2224 | - | 447M | 0 |1150 | 80k| 80k| 62 | 3 | 0 | 0 |-4.810000e+02 |-3.500000e+01 |1274.29%| unknown 28.62/28.99 c 13.6s| 1 | 0 | 2631 | - | 455M | 0 |1150 | 80k| 80k| 87 | 4 | 0 | 0 |-4.540000e+02 |-3.500000e+01 |1197.14%| unknown 28.62/28.99 c 14.4s| 1 | 0 | 3196 | - | 463M | 0 |1150 | 80k| 80k| 123 | 5 | 0 | 0 |-4.332500e+02 |-3.500000e+01 |1137.86%| unknown 28.62/28.99 c 15.0s| 1 | 0 | 3736 | - | 471M | 0 |1150 | 80k| 80k| 166 | 6 | 0 | 0 |-4.010000e+02 |-3.500000e+01 |1045.71%| unknown 28.62/28.99 c 15.8s| 1 | 0 | 4763 | - | 481M | 0 |1150 | 80k| 80k| 203 | 7 | 0 | 0 |-3.625000e+02 |-3.500000e+01 | 935.71%| unknown 28.62/28.99 c 16.4s| 1 | 0 | 5514 | - | 489M | 0 |1150 | 80k| 80k| 240 | 8 | 0 | 0 |-3.348750e+02 |-3.500000e+01 | 856.79%| unknown 28.62/28.99 c 17.3s| 1 | 0 | 6417 | - | 500M | 0 |1150 | 80k| 80k| 274 | 9 | 0 | 0 |-3.223750e+02 |-3.500000e+01 | 821.07%| unknown 28.62/28.99 c 18.7s| 1 | 0 | 8255 | - | 510M | 0 |1150 | 80k| 80k| 295 | 10 | 0 | 0 |-2.938333e+02 |-3.500000e+01 | 739.52%| unknown 28.62/28.99 c 19.7s| 1 | 0 | 9870 | - | 518M | 0 |1150 | 80k| 80k| 320 | 11 | 0 | 0 |-2.690000e+02 |-3.500000e+01 | 668.57%| unknown 28.62/28.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 28.62/28.99 c 20.7s| 1 | 0 | 11608 | - | 527M | 0 |1150 | 80k| 80k| 337 | 12 | 0 | 0 |-2.515000e+02 |-3.500000e+01 | 618.57%| unknown 28.62/28.99 c 21.5s| 1 | 0 | 13105 | - | 535M | 0 |1150 | 80k| 80k| 359 | 13 | 0 | 0 |-2.314091e+02 |-3.500000e+01 | 561.17%| unknown 28.62/28.99 c 22.1s| 1 | 0 | 14540 | - | 543M | 0 |1150 | 80k| 80k| 384 | 14 | 0 | 0 |-2.133571e+02 |-3.500000e+01 | 509.59%| unknown 28.62/28.99 c 22.7s| 1 | 0 | 15975 | - | 552M | 0 |1150 | 80k| 80k| 405 | 15 | 0 | 0 |-1.950000e+02 |-3.500000e+01 | 457.14%| unknown 28.62/28.99 c 23.5s| 1 | 0 | 17720 | - | 560M | 0 |1150 | 80k| 80k| 431 | 16 | 0 | 0 |-1.775000e+02 |-3.500000e+01 | 407.14%| unknown 28.62/28.99 c 24.4s| 1 | 0 | 20025 | - | 567M | 0 |1150 | 80k| 80k| 462 | 17 | 0 | 0 |-1.694688e+02 |-3.500000e+01 | 384.20%| unknown 28.62/28.99 c 24.8s| 1 | 0 | 20929 | - | 575M | 0 |1150 | 80k| 80k| 488 | 18 | 0 | 0 |-1.512500e+02 |-3.500000e+01 | 332.14%| unknown 28.62/28.99 c 25.3s| 1 | 0 | 21982 | - | 583M | 0 |1150 | 80k| 80k| 513 | 19 | 0 | 0 |-1.437639e+02 |-3.500000e+01 | 310.75%| unknown 28.62/28.99 c 25.7s| 1 | 0 | 22856 | - | 591M | 0 |1150 | 80k| 80k| 537 | 20 | 0 | 0 |-1.270000e+02 |-3.500000e+01 | 262.86%| unknown 28.62/28.99 c 25.9s| 1 | 0 | 23276 | - | 591M | 0 |1150 | 80k| 80k| 542 | 21 | 0 | 0 |-1.182500e+02 |-3.500000e+01 | 237.86%| unknown 28.62/28.99 c 26.3s| 1 | 0 | 24521 | - | 591M | 0 |1150 | 80k| 80k| 546 | 22 | 0 | 0 |-1.026875e+02 |-3.500000e+01 | 193.39%| unknown 28.62/28.99 c 26.5s| 1 | 0 | 24918 | - | 591M | 0 |1150 | 80k| 80k| 548 | 23 | 0 | 0 |-9.543750e+01 |-3.500000e+01 | 172.68%| unknown 28.62/28.99 c 26.6s| 1 | 0 | 25118 | - | 591M | 0 |1150 | 80k| 80k| 551 | 24 | 0 | 0 |-7.968750e+01 |-3.500000e+01 | 127.68%| unknown 28.62/28.99 c 26.7s| 1 | 0 | 25231 | - | 592M | 0 |1150 | 80k| 80k| 554 | 25 | 0 | 0 |-6.675000e+01 |-3.500000e+01 | 90.71%| unknown 28.62/28.99 c 26.9s| 1 | 0 | 25453 | - | 593M | 0 |1150 | 80k| 80k| 557 | 26 | 0 | 0 |-5.100000e+01 |-3.500000e+01 | 45.71%| unknown 28.62/28.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 28.62/28.99 c 27.0s| 1 | 0 | 25514 | - | 593M | 0 |1150 | 80k| 80k| 561 | 27 | 0 | 0 |-5.100000e+01 |-3.500000e+01 | 45.71%| unknown 28.62/28.99 c 27.1s| 1 | 0 | 25601 | - | 594M | 0 |1150 | 80k| 80k| 568 | 28 | 0 | 0 |-5.085714e+01 |-3.500000e+01 | 45.31%| unknown 28.62/28.99 c 27.2s| 1 | 0 | 25670 | - | 594M | 0 |1150 | 80k| 80k| 576 | 29 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.3s| 1 | 0 | 25713 | - | 594M | 0 |1150 | 80k| 80k| 580 | 30 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.4s| 1 | 0 | 25761 | - | 595M | 0 |1150 | 80k| 80k| 588 | 31 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.5s| 1 | 0 | 25816 | - | 596M | 0 |1150 | 80k| 80k| 594 | 32 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.6s| 1 | 0 | 25864 | - | 596M | 0 |1150 | 80k| 80k| 602 | 33 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.7s| 1 | 0 | 25893 | - | 597M | 0 |1150 | 80k| 80k| 606 | 34 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.8s| 1 | 0 | 25938 | - | 597M | 0 |1150 | 80k| 80k| 615 | 35 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 27.9s| 1 | 0 | 26005 | - | 598M | 0 |1150 | 80k| 80k| 624 | 36 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 28.0s| 1 | 0 | 26045 | - | 599M | 0 |1150 | 80k| 80k| 632 | 37 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 28.62/28.99 c 28.2s| 1 | 0 | 26106 | - | 599M | 0 |1150 | 80k| 80k| 640 | 38 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 664.03/666.38 c 28.3s| 1 | 0 | 26198 | - | 600M | 0 |1150 | 80k| 80k| 649 | 39 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 664.03/666.38 c 31.9s| 1 | 2 | 26229 | - | 601M | 0 |1150 | 80k| 80k| 649 | 39 | 0 | 23 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown 664.03/666.38 c d53.1s| 34 | 35 | 28821 | 90.5 |pscostdi| 19 |1150 | 80k| 80k| 0 | 1 | 0 | 282 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown 664.03/666.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 664.03/666.38 c 92.8s| 100 | 101 | 34184 | 84.3 | 691M | 19 |1150 | 80k| 80k| 847 | 1 | 5 | 727 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown 664.03/666.38 c * 110s| 135 | 134 | 36924 | 82.7 |strongbr| 24 |1150 | 80k| 80k| 878 | 1 | 5 | 933 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 134s| 200 | 185 | 41059 | 76.5 | 714M | 26 |1150 | 80k| 80k| 927 | 1 | 5 |1467 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 153s| 300 | 265 | 46626 | 69.5 | 732M | 26 |1150 | 80k| 80k| 970 | 1 | 15 |1752 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 172s| 400 | 353 | 54213 | 71.1 | 749M | 26 |1150 | 80k| 80k|1067 | 1 | 15 |1788 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 181s| 500 | 423 | 59391 | 67.2 | 753M | 29 |1150 | 80k| 80k|1104 | 1 | 15 |1824 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 192s| 600 | 501 | 65522 | 66.3 | 763M | 31 |1150 | 80k| 80k|1158 | 0 | 15 |1853 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 199s| 700 | 579 | 70143 | 63.4 | 765M | 31 |1150 | 80k| 80k|1188 | 1 | 19 |1884 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c 212s| 800 | 655 | 75742 | 62.5 | 767M | 31 |1150 | 80k| 80k|1228 | 1 | 19 |1925 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown 664.03/666.38 c o 228s| 898 | 753 | 89262 | 70.7 |objpscos| 31 |1150 | 80k| 80k|1327 | 1 | 82 |1966 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 232s| 900 | 578 | 89376 | 70.7 | 788M | 31 |1150 | 80k| 80k|1346 | 1 | 82 |1966 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 257s| 1000 | 678 |100632 | 74.9 | 814M | 31 |1150 | 80k| 80k|1505 | 2 | 231 |2003 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 271s| 1100 | 778 |116614 | 82.6 | 823M | 31 |1150 | 80k| 80k|1551 | 1 | 402 |2042 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 291s| 1200 | 878 |130596 | 87.4 | 825M | 31 |1150 | 80k| 80k|1644 | 1 | 581 |2074 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 304s| 1300 | 978 |141458 | 89.0 | 830M | 31 |1150 | 80k| 80k|1715 | 1 | 729 |2129 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 664.03/666.38 c 321s| 1400 | 1074 |151858 | 90.1 | 842M | 31 |1150 | 80k| 80k|1802 | 1 | 858 |2152 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 334s| 1500 | 1174 |164634 | 92.6 | 847M | 31 |1150 | 81k| 80k|1869 | 1 | 987 |2175 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 353s| 1600 | 1274 |176653 | 94.3 | 866M | 31 |1150 | 81k| 80k|1973 | 2 |1106 |2223 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 360s| 1700 | 1374 |187856 | 95.4 | 871M | 31 |1150 | 81k| 80k|1981 | 1 |1244 |2243 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 375s| 1800 | 1474 |200415 | 97.0 | 872M | 31 |1150 | 81k| 80k|2064 | 2 |1416 |2273 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 401s| 1900 | 1572 |211852 | 98.0 | 885M | 31 |1150 | 81k| 80k|2183 | 1 |1544 |2329 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 420s| 2000 | 1670 |223355 | 98.8 | 901M | 31 |1150 | 81k| 80k|2326 | 2 |1691 |2338 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 435s| 2100 | 1766 |234123 | 99.2 | 910M | 31 |1150 | 81k| 80k|2406 | 1 |1780 |2344 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c Restart triggered after 50 consecutive estimations that the remaining tree will be large 664.03/666.38 c (run 1, node 2186) performing user restart 664.03/666.38 c 664.03/666.38 c (restart) converted 92 cuts from the global cut pool into linear constraints 664.03/666.38 c 664.03/666.38 c presolving: 664.03/666.38 c (round 1, exhaustive) 0 del vars, 12 del conss, 1 add conss, 0 chg bounds, 8 chg sides, 470 chg coeffs, 95 upgd conss, 0 impls, 80127 clqs 664.03/666.38 c (round 2, exhaustive) 0 del vars, 105 del conss, 1 add conss, 0 chg bounds, 8 chg sides, 496 chg coeffs, 95 upgd conss, 0 impls, 80127 clqs 664.03/666.38 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive): 664.03/666.38 c 0 deleted vars, 106 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 849 changed coefficients 664.03/666.38 c 0 implications, 80127 cliques 664.03/666.38 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81908 constraints 664.03/666.38 c 5 constraints of type <knapsack> 664.03/666.38 c 80127 constraints of type <setppc> 664.03/666.38 c 1776 constraints of type <logicor> 664.03/666.38 c transformed objective value is always integral (scale: 1) 664.03/666.38 c Presolving Time: 2.37 664.03/666.38 c transformed 89/100 original solutions to the transformed problem space 664.03/666.38 c 664.03/666.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 664.03/666.38 c 460s| 1 | 0 |243046 | - | 898M | 0 |1150 | 81k| 80k| 0 | 0 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 462s| 1 | 0 |243130 | - | 898M | 0 |1150 | 81k| 80k| 12 | 1 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 465s| 1 | 0 |243177 | - | 898M | 0 |1150 | 81k| 80k| 24 | 2 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 467s| 1 | 0 |243243 | - | 906M | 0 |1150 | 81k| 80k| 34 | 3 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 469s| 1 | 0 |243324 | - | 914M | 0 |1150 | 81k| 80k| 46 | 4 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 472s| 1 | 0 |243390 | - | 923M | 0 |1150 | 81k| 80k| 57 | 5 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 473s| 1 | 0 |243474 | - | 932M | 0 |1150 | 81k| 80k| 68 | 6 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 475s| 1 | 0 |243541 | - | 940M | 0 |1150 | 81k| 80k| 78 | 7 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 476s| 1 | 0 |243602 | - | 949M | 0 |1150 | 81k| 80k| 86 | 8 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 477s| 1 | 0 |243661 | - | 958M | 0 |1150 | 81k| 80k| 97 | 9 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 478s| 1 | 0 |243710 | - | 968M | 0 |1150 | 81k| 80k| 108 | 10 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 478s| 1 | 0 |243776 | - | 977M | 0 |1150 | 81k| 80k| 119 | 11 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 478s| 1 | 0 |243830 | - | 985M | 0 |1150 | 81k| 80k| 129 | 12 |1892 |2364 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 484s| 1 | 2 |244666 | - | 985M | 0 |1150 | 81k| 80k| 129 | 12 |1922 |2419 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 499s| 100 | 101 |255600 | 99.7 | 990M | 39 |1150 | 82k| 80k| 155 | 1 |2052 |2634 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 664.03/666.38 c 557s| 200 | 187 |267911 | 100.7 | 1197M | 44 |1150 | 82k| 80k| 492 | 3 |2095 |2685 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 593s| 300 | 277 |279483 | 101.3 | 1286M | 44 |1150 | 82k| 80k| 857 | 1 |2196 |2746 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 664.03/666.38 c 629s| 400 | 363 |288966 | 101.0 | 1307M | 44 |1150 | 82k| 80k|1068 | 1 |2289 |2799 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 666s| 500 | 433 |297866 | 100.6 | 1356M | 44 |1150 | 82k| 80k|1391 | 1 |2354 |2841 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 686s| 600 | 515 |311391 | 101.8 | 1374M | 47 |1150 | 82k| 80k|1552 | 1 |2418 |2907 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 726s| 700 | 609 |324464 | 102.8 | 1386M | 47 |1150 | 82k| 80k|1893 | 1 |2487 |2963 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 763s| 800 | 703 |337270 | 103.7 | 1423M | 47 |1150 | 82k| 80k|2150 | 1 |2559 |3007 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 816s| 900 | 783 |351460 | 104.9 | 1442M | 48 |1150 | 82k| 80k|2641 | 1 |2604 |3075 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 826s| 1000 | 865 |359765 | 104.2 | 1446M | 58 |1150 | 82k| 80k|2797 | 1 |2655 |3124 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 847s| 1100 | 913 |365509 | 102.8 | 1447M | 64 |1150 | 82k| 80k|2931 | 1 |2663 |3168 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 857s| 1200 | 975 |371990 | 101.7 | 1450M | 64 |1150 | 82k| 80k|3007 | 1 |2696 |3211 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 890s| 1300 | 1039 |379645 | 101.0 | 1475M | 64 |1150 | 82k| 80k|3291 | 1 |2708 |3258 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 907s| 1400 | 1111 |386702 | 100.1 | 1512M | 64 |1150 | 82k| 80k|3434 | 1 |2737 |3291 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 911s| 1500 | 1163 |391613 | 98.7 | 1515M | 64 |1150 | 82k| 80k|3481 | 1 |2753 |3332 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 928s| 1600 | 1223 |398446 | 97.9 | 1516M | 64 |1150 | 82k| 80k|3625 | 0 |2788 |3375 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.63/1000.99 c 948s| 1700 | 1269 |404926 | 97.1 | 1516M | 64 |1150 | 82k| 80k|3789 | 1 |2796 |3404 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 961s| 1800 | 1315 |410277 | 96.0 | 1526M | 64 |1150 | 82k| 80k|3908 | 1 |2831 |3450 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 972s| 1900 | 1375 |417247 | 95.3 | 1528M | 66 |1150 | 82k| 80k|4048 | 0 |2863 |3492 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 997s| 2000 | 1449 |425787 | 95.1 | 1530M | 66 |1150 | 82k| 80k|4227 | 1 |2887 |3545 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown 997.63/1000.99 c 997.63/1000.99 c SCIP Status : solving was interrupted [time limit reached] 997.63/1000.99 c Solving Time (sec) : 1000.00 997.63/1000.99 c Solving Nodes : 2004 (total of 4190 nodes in 2 runs) 997.63/1000.99 c Primal Bound : -4.40000000000000e+01 (725 solutions) 997.63/1000.99 c Dual Bound : -5.00000000000000e+01 997.63/1000.99 c Gap : 13.64 % 997.63/1000.99 c All original constraints are satisfied. 997.63/1000.99 c SCIP's best solution is verified feasible for the original problem. 997.63/1000.99 c ---------------------------------------------------------------------- 997.63/1000.99 c dual bound: -50.0 -> -50 997.63/1000.99 c primal bound: -44.0 -> -44 997.63/1000.99 c scip-goal-lb: -50 997.63/1000.99 c scip-goal-ub: -44 997.63/1000.99 c writing output to: HOME/tmpc1wclqy8.opb 997.63/1000.99 c appending fixed variable constraints 997.63/1000.99 c scip-fixed vars: 0.00% (0/1150) 997.63/1000.99 c ---------------------------------------------------------------------- 997.63/1000.99 c executing external solver: HOME/naps-1.03a6 997.63/1000.99 c ---------------------------------------------------------------------- 997.63/1000.99 c command: HOME/naps-1.03a6 -goal-lb=-50 -goal-ub=-45 HOME/tmpc1wclqy8.opb 997.63/1001.02 c NaPS 1.03a6. 997.63/1001.02 c Input file name: HOME/tmpc1wclqy8.opb 998.70/1002.05 c single stage optimization mode 3600.00/3611.01 o -45 3600.00/3611.01 o -47 3600.00/3611.01 o -49 3600.00/3611.01 c 3600.00/3611.01 c *** TERMINATED *** by signal 15 3600.00/3611.01 c _____________________________________________________________________________ 3600.00/3611.01 c std/band forms : 5,0 3600.00/3611.01 c 2cl/3cl ITE-codings : 0,0 3600.00/3611.01 c BDD/srt/adr Max costs : 0,76315,0 3600.00/3611.01 c BDDraw/bin/mul/srt/adr: 0,0,0,5,0 3600.00/3611.01 c BDD nodes : 0 3600.00/3611.01 c Es1/CC detections : 0,0 3600.00/3611.01 c CC sort : 4 3600.00/3611.01 c SAT/UNSAT calls : 3,0 3600.00/3611.01 c regenrated variables : 0 3600.00/3611.01 c eliminated fixed lits : 0 3600.00/3611.01 c goal lit flips : 0 3600.00/3611.01 c goal stages : 1 3600.00/3611.01 c goal shrink : 0 3600.00/3611.01 c goal coeff separations: 0 3600.00/3611.01 c restarts : 215860 3600.00/3611.01 c conflicts : 13065716 (5022 /sec) 3600.00/3611.01 c decisions : 15517166 (5964 /sec) 3600.00/3611.01 c propagations : 2766307963 (1063313 /sec) 3600.00/3611.01 c inspects : 0 (0 /sec) 3600.00/3611.01 c CPU time (solving tm) : 2602 s (2601 s, SAT 1048 s, UNSAT 0 s) 3600.00/3611.01 c Time for Opt-base : 0.001269 s 3600.00/3611.01 c Steps for Opt-base : 0 3600.00/3611.01 c Time for BDD coding : 0 s 3600.00/3611.01 c Time for srt coding : 0.02529 s 3600.00/3611.01 c _____________________________________________________________________________ 3600.00/3611.01 s SATISFIABLE 3600.00/3611.01 v -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.28/3611.36 c received SIGTERM, forwarding to pbsolver... 3600.28/3611.36 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
OK -49
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: 63794 MiB (61793 MiB free)
memory of node 1: 64507 MiB (62503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484965-1751284451/watcher-4484965-1751284451 -o /tmp/evaluation-result-4484965-1751284451/solver-4484965-1751284451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751280833-37160 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484965-1751284451.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37887, runsolver pid=37883
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.08 4.11 4.09 4/253 37897
/proc/meminfo: memFree=127274480/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=13228 memory=10368 CPUtime=0.05 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 1595 0 0 0 5 0 0 0 20 0 1 0 44124809 13545472 2592 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 3307 2592 1216 1 0 1459 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 13312 KiB
[startup+0.213653 s]*
/proc/loadavg: 4.08 4.11 4.09 5/256 37906
/proc/meminfo: memFree=127273864/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1186040 memory=30452 CPUtime=0.15 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 3467 0 0 0 13 2 0 0 20 0 1 0 44124809 1214504960 7613 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 296510 7613 4765 1 0 268578 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1190232 KiB
Current children cumulated memory: 33396 KiB
[startup+0.313548 s]*
/proc/loadavg: 4.08 4.11 4.09 5/256 37906
/proc/meminfo: memFree=127274216/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1189536 memory=34548 CPUtime=0.23 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 4287 0 0 0 21 2 0 0 20 0 1 0 44124809 1218084864 8637 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 297384 8637 5021 1 0 269293 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1193728 KiB
Current children cumulated memory: 37492 KiB
[startup+0.700309 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 37906
/proc/meminfo: memFree=127245752/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1240940 memory=91764 CPUtime=0.58 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 16207 0 0 0 52 6 0 0 20 0 1 0 44124809 1270722560 22941 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 310235 22941 7613 1 0 281593 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 1245132 KiB
Current children cumulated memory: 94708 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 37906
/proc/meminfo: memFree=127096240/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1343832 memory=195188 CPUtime=1.36 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 41793 0 0 0 123 13 0 0 20 0 1 0 44124809 1376083968 48797 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 335958 48797 7901 1 0 307316 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 1348024 KiB
Current children cumulated memory: 198132 KiB
[startup+3.10552 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 37906
/proc/meminfo: memFree=126728928/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1633972 memory=453596 CPUtime=2.95 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 75409 0 0 0 274 21 0 0 20 0 1 0 44124809 1673187328 113399 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 408493 113399 8093 1 0 379851 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 1638164 KiB
Current children cumulated memory: 456540 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 37906
/proc/meminfo: memFree=126704024/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1679516 memory=478232 CPUtime=6.12 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 82049 0 0 0 589 23 0 0 20 0 1 0 44124809 1719824384 119558 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 419879 119558 8093 1 0 391237 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 1683708 KiB
Current children cumulated memory: 481176 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 37906
/proc/meminfo: memFree=126638068/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1691560 memory=483588 CPUtime=12.46 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 83335 0 0 0 1223 23 0 0 20 0 1 0 44124809 1732157440 120897 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 422890 120897 8093 1 0 394248 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 1695752 KiB
Current children cumulated memory: 486532 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.13 4.10 5/256 37906
/proc/meminfo: memFree=126606984/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1817296 memory=504068 CPUtime=25.23 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 88469 0 0 0 2499 24 0 0 20 0 1 0 44124809 1860911104 126017 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 454324 126017 8093 1 0 425682 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 1821488 KiB
Current children cumulated memory: 507012 KiB
[startup+51.1135 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 37907
/proc/meminfo: memFree=126503584/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1940628 memory=603220 CPUtime=50.76 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 112756 0 0 0 5047 29 0 0 20 0 1 0 44124809 1987203072 150805 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 485157 150805 8093 1 0 456515 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 1944820 KiB
Current children cumulated memory: 606164 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 37908
/proc/meminfo: memFree=126401592/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=1970676 memory=603348 CPUtime=101.8 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 112768 0 0 0 10150 30 0 0 20 0 1 0 44124809 2017972224 150837 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 492669 150837 8093 1 0 464027 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 1974868 KiB
Current children cumulated memory: 606292 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 37910
/proc/meminfo: memFree=126245408/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2065668 memory=698832 CPUtime=161.6 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 161566 0 0 0 16122 38 0 0 20 0 1 0 44124809 2115244032 174708 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 516417 174708 8093 1 0 487775 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 2069860 KiB
Current children cumulated memory: 701776 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 37913
/proc/meminfo: memFree=126170668/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2086996 memory=720080 CPUtime=221.43 cores=5,7
/proc/37893/stat : 37893 (python3) R 37887 37887 37147 0 -1 4194304 166893 0 0 0 22103 40 0 0 20 0 1 0 44124809 2137083904 180020 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 521749 180020 8093 1 0 493107 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 2091188 KiB
################
# More data... #
################
Current children cumulated CPU time: 3212.49 s
Current children cumulated vsize: 2900316 KiB
Current children cumulated memory: 1221256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 38319
/proc/meminfo: memFree=123355696/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=169996 memory=168204 CPUtime=2274.59 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 57867 0 0 0 227399 60 0 0 20 0 1 0 44224906 174075904 42051 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 42499 42051 640 696 0 41660 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 2928416 KiB
Current children cumulated memory: 1249404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 38324
/proc/meminfo: memFree=123238292/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=169996 memory=168204 CPUtime=2334.4 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 58387 0 0 0 233379 61 0 0 20 0 1 0 44224906 174075904 42051 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 42499 42051 640 696 0 41660 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 2928416 KiB
Current children cumulated memory: 1249404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 38331
/proc/meminfo: memFree=123235080/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=111564 memory=109900 CPUtime=2394.22 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 59236 0 0 0 239359 63 0 0 20 0 1 0 44224906 114241536 27475 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 27891 27475 640 696 0 27052 0
Current children cumulated CPU time: 3391.94 s
Current children cumulated vsize: 2869984 KiB
Current children cumulated memory: 1191100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 38333
/proc/meminfo: memFree=123134816/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=144696 memory=142860 CPUtime=2454.03 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 64910 0 0 0 245337 66 0 0 20 0 1 0 44224906 148168704 35715 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 36174 35715 640 696 0 35335 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 2903116 KiB
Current children cumulated memory: 1224060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 38335
/proc/meminfo: memFree=122987420/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=191132 memory=189284 CPUtime=2513.84 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 65843 0 0 0 251317 67 0 0 20 0 1 0 44224906 195719168 47321 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 47783 47321 640 696 0 46944 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 2949552 KiB
Current children cumulated memory: 1270484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 38337
/proc/meminfo: memFree=122373588/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=110600 memory=108936 CPUtime=2573.65 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 66464 0 0 0 257297 68 0 0 20 0 1 0 44224906 113254400 27234 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 27650 27234 640 696 0 26811 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 2869020 KiB
Current children cumulated memory: 1190136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.06 4.09 4.09 5/258 38337
/proc/meminfo: memFree=122297260/131382112 swapFree=33010684/33010684
[pid=37887] ppid=37883 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37887/stat : 37887 (scip-naps-1.00.) S 37883 37887 37147 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 44124806 4292608 736 18446744073709551615 94389949464576 94389950359109 140722977016592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94389950598160 94389950645904 94389953400832 140722977024417 140722977024514 140722977024514 140722977030116 0
/proc/37887/statm: 1048 736 672 219 0 110 0
[pid=37893] ppid=37887 vsize=2754228 memory=1078256 CPUtime=997.72 cores=5,7
/proc/37893/stat : 37893 (python3) S 37887 37887 37147 0 -1 4194304 207202 0 0 0 99714 58 0 0 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
[pid=38066] ppid=37893 vsize=170520 memory=168716 CPUtime=2602.28 cores=5,7
/proc/38066/stat : 38066 (naps-1.03a6) R 37893 38066 38066 0 -1 4194304 67615 0 0 0 260159 69 0 0 20 0 1 0 44224906 174612480 42179 18446744073709551615 4198400 7047149 140728144565680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18014208 140728144574839 140728144574963 140728144574963 140728144580553 0
/proc/38066/statm: 42630 42179 640 696 0 41791 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2928940 KiB
Current children cumulated memory: 1249916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.03 s]
# the end of solver process 37887 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002116 s, system=0.01058 s
[startup+3611.42 s]
# the end of solver process 37893 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.07 s, system=1.32924 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.21 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 38337
/proc/meminfo: memFree=122453152/131382112 swapFree=33010684/33010684
[pid=37893] ppid=37883 vsize=2754228 memory=1078256 CPUtime=3600.18 cores=5,7
/proc/37893/stat : 37893 (python3) R 37883 37887 37147 0 -1 4194304 209549 67616 0 0 99731 59 260159 69 20 0 1 0 44124809 2820329472 269564 18446744073709551615 94401249366016 94401249366393 140721574604544 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94401249377688 94401249378308 94401263566848 140721574607207 140721574607394 140721574607394 140721574612967 0
/proc/37893/statm: 688557 269564 8285 1 0 659915 0
Current cumulated CPU time of completed processes: 0.012696 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 2754228 KiB
Current children cumulated memory: 1078256 KiB
[startup+3611.4 s]*
/proc/loadavg: 4.06 4.09 4.09 5/256 38338
/proc/meminfo: memFree=123449120/131382112 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.012696 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): 3611.42
CPU time (s): 3600.4
CPU user time (s): 3599.07
CPU system time (s): 1.32924
CPU usage (%): 99.6951
Max. virtual memory (cumulated for all children) (KiB): 2964516
Max. memory (cumulated for all children) (KiB): 1282088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 1.32925
maximum resident set size= 1078256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 489
involuntary context switches= 2058
# summary of solver processes directly reported to runsolver:
# pid: 37887,37893
# total CPU time (s): 3600.4
# total CPU user time (s): 3599.07
# total CPU system time (s): 1.32924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4182 second user time and 37.7774 second system time
The end
Begin job on nodeC012 at 2025-06-30 13:54:11 IDJOB=4484965 IDBENCH=146676 IDSOLVER=3368 FILE ID=nodeC012/4484965-1751284451 RUNJOBID= nodeC012-1751280833-37160 SLURM_JOB_ID= 9594230 Free space on /tmp= 433020 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484965-1751284451/watcher-4484965-1751284451 -o /tmp/evaluation-result-4484965-1751284451/solver-4484965-1751284451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751280833-37160 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484965-1751284451.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f RANDOM SEED=921318269 nodeC012 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 : 3691.206 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.39 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.224 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.39 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.505 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.39 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.39 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 : 3700.000 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.39 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 : 1496.440 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.39 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.746 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.39 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.210 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 127280740 kB MemAvailable: 127167004 kB Buffers: 3280 kB Cached: 695248 kB SwapCached: 0 kB Active: 3123116 kB Inactive: 396108 kB Active(anon): 2838656 kB Inactive(anon): 0 kB Active(file): 284460 kB Inactive(file): 396108 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7576 kB Writeback: 16 kB AnonPages: 2823784 kB Mapped: 130592 kB Shmem: 17960 kB KReclaimable: 90260 kB Slab: 172884 kB SReclaimable: 90260 kB SUnreclaim: 82624 kB KernelStack: 4000 kB PageTables: 9492 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 6434844 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 569344 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC012 at 2025-06-30 14:54:23