Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a1 | SAT (TO) | -54 | 3600.72 | 3612.98 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
| MD5SUM | 3ad6c959019bf046c7e592cfae8de121 |
| 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 | -55 |
| Best CPU time to get the best result obtained on this benchmark | 3586.35 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1400 |
| Total number of constraints | 109379 |
| Number of constraints which are clauses | 109379 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
44.49/44.75 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4484781-1751281110.opb 44.49/44.75 c Solving mode: optimization 44.49/44.75 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 44.49/44.75 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 44.49/44.75 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109379 constraints 44.49/44.75 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00 44.49/44.75 c presolving: 44.49/44.75 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109379 upgd conss, 0 impls, 109379 clqs 44.49/44.75 c (1.5s) probing: 51/1400 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 44.49/44.75 c (1.5s) probing aborted: 50/50 successive totally useless probings 44.49/44.75 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 44.49/44.75 c (2.4s) no symmetry present (symcode time: 0.02) 44.49/44.75 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive): 44.49/44.75 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 44.49/44.75 c 0 implications, 109379 cliques 44.49/44.75 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109379 constraints 44.49/44.75 c 109379 constraints of type <setppc> 44.49/44.75 c transformed objective value is always integral (scale: 1) 44.49/44.75 c Presolving Time: 2.24 44.49/44.75 c transformed 1/1 original solutions to the transformed problem space 44.49/44.75 c 44.49/44.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 44.49/44.75 c p 2.7s| 1 | 0 | 0 | - | clique| 0 |1400 | 109k| 109k| 0 | 0 | 0 | 0 |-1.400000e+03 |-3.500000e+01 |3900.00%| unknown 44.49/44.75 c 3.9s| 1 | 0 | 1400 | - | 493M | 0 |1400 | 109k| 109k| 0 | 0 | 0 | 0 |-7.000000e+02 |-3.500000e+01 |1900.00%| unknown 44.49/44.75 c 5.4s| 1 | 0 | 1687 | - | 521M | 0 |1400 | 109k| 109k| 13 | 1 | 0 | 0 |-6.610000e+02 |-3.500000e+01 |1788.57%| unknown 44.49/44.75 c 8.9s| 1 | 0 | 1935 | - | 535M | 0 |1400 | 109k| 109k| 36 | 2 | 0 | 0 |-6.400000e+02 |-3.500000e+01 |1728.57%| unknown 44.49/44.75 c 13.7s| 1 | 0 | 2306 | - | 547M | 0 |1400 | 109k| 109k| 58 | 3 | 0 | 0 |-6.100000e+02 |-3.500000e+01 |1642.86%| unknown 44.49/44.75 c 16.0s| 1 | 0 | 3116 | - | 558M | 0 |1400 | 109k| 109k| 98 | 4 | 0 | 0 |-5.737500e+02 |-3.500000e+01 |1539.29%| unknown 44.49/44.75 c 17.7s| 1 | 0 | 3806 | - | 570M | 0 |1400 | 109k| 109k| 134 | 5 | 0 | 0 |-5.402500e+02 |-3.500000e+01 |1443.57%| unknown 44.49/44.75 c 19.0s| 1 | 0 | 4747 | - | 582M | 0 |1400 | 109k| 109k| 171 | 6 | 0 | 0 |-5.063333e+02 |-3.500000e+01 |1346.67%| unknown 44.49/44.75 c 20.4s| 1 | 0 | 6010 | - | 594M | 0 |1400 | 109k| 109k| 219 | 7 | 0 | 0 |-4.638333e+02 |-3.500000e+01 |1225.24%| unknown 44.49/44.75 c 21.5s| 1 | 0 | 7096 | - | 605M | 0 |1400 | 109k| 109k| 266 | 8 | 0 | 0 |-4.232500e+02 |-3.500000e+01 |1109.29%| unknown 44.49/44.75 c 22.4s| 1 | 0 | 7936 | - | 616M | 0 |1400 | 109k| 109k| 308 | 9 | 0 | 0 |-4.067500e+02 |-3.500000e+01 |1062.14%| unknown 44.49/44.75 c 23.9s| 1 | 0 | 9713 | - | 628M | 0 |1400 | 109k| 109k| 347 | 10 | 0 | 0 |-3.904167e+02 |-3.500000e+01 |1015.48%| unknown 44.49/44.75 c 25.2s| 1 | 0 | 11782 | - | 640M | 0 |1400 | 109k| 109k| 377 | 11 | 0 | 0 |-3.588333e+02 |-3.500000e+01 | 925.24%| unknown 44.49/44.75 c 26.2s| 1 | 0 | 13073 | - | 652M | 0 |1400 | 109k| 109k| 400 | 12 | 0 | 0 |-3.480833e+02 |-3.500000e+01 | 894.52%| unknown 44.49/44.75 c 27.7s| 1 | 0 | 15638 | - | 663M | 0 |1400 | 109k| 109k| 426 | 13 | 0 | 0 |-3.095000e+02 |-3.500000e+01 | 784.29%| unknown 44.49/44.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 44.49/44.75 c 28.4s| 1 | 0 | 16613 | - | 674M | 0 |1400 | 109k| 109k| 442 | 14 | 0 | 0 |-3.000000e+02 |-3.500000e+01 | 757.14%| unknown 44.49/44.75 c 29.9s| 1 | 0 | 19359 | - | 685M | 0 |1400 | 109k| 109k| 477 | 15 | 0 | 0 |-2.784286e+02 |-3.500000e+01 | 695.51%| unknown 44.49/44.75 c 31.2s| 1 | 0 | 21508 | - | 695M | 0 |1400 | 109k| 109k| 493 | 16 | 0 | 0 |-2.600000e+02 |-3.500000e+01 | 642.86%| unknown 44.49/44.75 c 32.8s| 1 | 0 | 24163 | - | 706M | 0 |1400 | 109k| 109k| 515 | 17 | 0 | 0 |-2.393500e+02 |-3.500000e+01 | 583.86%| unknown 44.49/44.75 c 34.1s| 1 | 0 | 26873 | - | 717M | 0 |1400 | 109k| 109k| 546 | 18 | 0 | 0 |-2.206429e+02 |-3.500000e+01 | 530.41%| unknown 44.49/44.75 c 35.1s| 1 | 0 | 28585 | - | 727M | 0 |1400 | 109k| 109k| 571 | 19 | 0 | 0 |-2.105000e+02 |-3.500000e+01 | 501.43%| unknown 44.49/44.75 c 36.7s| 1 | 0 | 32175 | - | 738M | 0 |1400 | 109k| 109k| 594 | 20 | 0 | 0 |-1.839583e+02 |-3.500000e+01 | 425.60%| unknown 44.49/44.75 c 37.2s| 1 | 0 | 32994 | - | 738M | 0 |1400 | 109k| 109k| 604 | 21 | 0 | 0 |-1.588333e+02 |-3.500000e+01 | 353.81%| unknown 44.49/44.75 c 37.8s| 1 | 0 | 34528 | - | 738M | 0 |1400 | 109k| 109k| 606 | 22 | 0 | 0 |-1.438000e+02 |-3.500000e+01 | 310.86%| unknown 44.49/44.75 c 38.1s| 1 | 0 | 35240 | - | 738M | 0 |1400 | 109k| 109k| 608 | 23 | 0 | 0 |-1.343750e+02 |-3.500000e+01 | 283.93%| unknown 44.49/44.75 c 38.3s| 1 | 0 | 35415 | - | 738M | 0 |1400 | 109k| 109k| 609 | 24 | 0 | 0 |-1.262500e+02 |-3.500000e+01 | 260.71%| unknown 44.49/44.75 c 38.7s| 1 | 0 | 36303 | - | 739M | 0 |1400 | 109k| 109k| 615 | 25 | 0 | 0 |-1.035000e+02 |-3.500000e+01 | 195.71%| unknown 44.49/44.75 c 39.0s| 1 | 0 | 36831 | - | 739M | 0 |1400 | 109k| 109k| 620 | 26 | 0 | 0 |-8.300000e+01 |-3.500000e+01 | 137.14%| unknown 44.49/44.75 c 39.1s| 1 | 0 | 36911 | - | 739M | 0 |1400 | 109k| 109k| 622 | 27 | 0 | 0 |-7.350000e+01 |-3.500000e+01 | 110.00%| unknown 44.49/44.75 c 39.3s| 1 | 0 | 37038 | - | 740M | 0 |1400 | 109k| 109k| 624 | 28 | 0 | 0 |-6.450000e+01 |-3.500000e+01 | 84.29%| unknown 44.49/44.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 44.49/44.75 c 39.5s| 1 | 0 | 37446 | - | 740M | 0 |1400 | 109k| 109k| 626 | 29 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 39.7s| 1 | 0 | 37540 | - | 740M | 0 |1400 | 109k| 109k| 630 | 30 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 39.8s| 1 | 0 | 37611 | - | 741M | 0 |1400 | 109k| 109k| 637 | 31 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.0s| 1 | 0 | 37674 | - | 742M | 0 |1400 | 109k| 109k| 643 | 32 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.1s| 1 | 0 | 37711 | - | 743M | 0 |1400 | 109k| 109k| 649 | 33 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.3s| 1 | 0 | 37789 | - | 744M | 0 |1400 | 109k| 109k| 657 | 34 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.4s| 1 | 0 | 37851 | - | 745M | 0 |1400 | 109k| 109k| 665 | 35 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.6s| 1 | 0 | 37909 | - | 745M | 0 |1400 | 109k| 109k| 672 | 36 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.7s| 1 | 0 | 38004 | - | 745M | 0 |1400 | 109k| 109k| 680 | 37 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 40.9s| 1 | 0 | 38080 | - | 746M | 0 |1400 | 109k| 109k| 689 | 38 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c 41.1s| 1 | 0 | 38162 | - | 747M | 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown 44.49/44.75 c L43.7s| 1 | 0 | 38162 | - | rens| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 47.37%| unknown 997.72/1001.22 c L44.0s| 1 | 0 | 38162 | - | alns| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.000000e+01 | 40.00%| unknown 997.72/1001.22 c 44.0s| 1 | 0 | 38162 | - | 748M | 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.000000e+01 | 40.00%| unknown 997.72/1001.22 c i44.0s| 1 | 0 | 38162 | - | oneopt| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown 997.72/1001.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.72/1001.22 c 44.1s| 1 | 0 | 38211 | - | 748M | 0 |1400 | 109k| 109k| 702 | 40 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown 997.72/1001.22 c 44.2s| 1 | 0 | 38233 | - | 749M | 0 |1400 | 109k| 109k| 710 | 41 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown 997.72/1001.22 c 48.0s| 1 | 2 | 38299 | - | 750M | 0 |1400 | 109k| 109k| 710 | 41 | 0 | 27 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown 997.72/1001.22 c d 112s| 61 | 62 | 45560 | 122.1 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown 997.72/1001.22 c d 112s| 61 | 62 | 45593 | 122.7 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown 997.72/1001.22 c d 112s| 61 | 62 | 45597 | 122.7 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 155s| 100 | 97 | 50801 | 126.9 | 910M | 20 |1400 | 109k| 109k| 965 | 1 | 4 | 942 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 188s| 200 | 175 | 60072 | 109.7 | 987M | 26 |1400 | 109k| 109k|1057 | 1 | 15 |1187 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 204s| 300 | 257 | 68029 | 99.7 | 1003M | 26 |1400 | 109k| 109k|1133 | 1 | 15 |1224 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 221s| 400 | 335 | 75886 | 94.4 | 1028M | 26 |1400 | 109k| 109k|1217 | 2 | 19 |1271 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 244s| 500 | 435 |101399 | 126.6 | 1053M | 26 |1400 | 109k| 109k|1395 | 1 | 111 |1309 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 295s| 600 | 535 |132195 | 156.9 | 1108M | 26 |1400 | 109k| 109k|1665 | 1 | 256 |1352 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 321s| 700 | 635 |149737 | 159.5 | 1134M | 26 |1400 | 109k| 109k|1811 | 1 | 376 |1387 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 357s| 800 | 735 |169396 | 164.2 | 1166M | 26 |1400 | 109k| 109k|2128 | 1 | 510 |1425 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 392s| 900 | 835 |189922 | 168.7 | 1202M | 26 |1400 | 110k| 109k|2347 | 1 | 622 |1456 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.72/1001.22 c 424s| 1000 | 935 |210758 | 172.7 | 1220M | 26 |1400 | 110k| 109k|2585 | 1 | 760 |1496 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 448s| 1100 | 1035 |226589 | 171.4 | 1230M | 26 |1400 | 110k| 109k|2716 | 2 | 902 |1532 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c 488s| 1200 | 1135 |244890 | 172.4 | 1233M | 26 |1400 | 110k| 109k|2866 | 1 |1022 |1575 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown 997.72/1001.22 c d 500s| 1280 | 1187 |257390 | 171.4 |pscostdi| 26 |1400 | 110k| 109k| 0 | 1 |1131 |1601 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 512s| 1300 | 1207 |261449 | 171.8 | 1249M | 26 |1400 | 110k| 109k|3076 | 1 |1165 |1610 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 538s| 1400 | 1307 |280039 | 172.8 | 1266M | 26 |1400 | 110k| 109k|3260 | 1 |1339 |1657 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 564s| 1500 | 1407 |305171 | 178.1 | 1270M | 26 |1400 | 110k| 109k|3356 | 1 |1490 |1685 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 592s| 1600 | 1507 |321296 | 177.0 | 1281M | 26 |1400 | 111k| 109k|3556 | 1 |1641 |1721 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 607s| 1700 | 1607 |334591 | 174.4 | 1297M | 26 |1400 | 111k| 109k|3606 | 1 |1844 |1760 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 626s| 1800 | 1707 |353259 | 175.1 | 1301M | 26 |1400 | 111k| 109k|3680 | 1 |1977 |1792 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 641s| 1900 | 1805 |367571 | 173.4 | 1308M | 26 |1400 | 111k| 109k|3780 | 1 |2143 |1823 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 672s| 2000 | 1905 |385201 | 173.6 | 1311M | 29 |1400 | 111k| 109k|3953 | 1 |2337 |1855 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 706s| 2100 | 2005 |402857 | 173.7 | 1330M | 29 |1400 | 111k| 109k|4116 | 1 |2569 |1930 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 725s| 2200 | 2105 |415267 | 171.5 | 1388M | 42 |1400 | 112k| 109k|4169 | 1 |2717 |1965 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 750s| 2300 | 2203 |427408 | 169.3 | 1424M | 42 |1400 | 112k| 109k|4278 | 1 |2782 |1998 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.72/1001.22 c 757s| 2400 | 2301 |436387 | 166.0 | 1426M | 42 |1400 | 112k| 109k|4296 | 1 |2839 |2020 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 765s| 2500 | 2399 |446047 | 163.2 | 1431M | 42 |1400 | 112k| 109k|4317 | 1 |2905 |2033 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 790s| 2600 | 2497 |457493 | 161.3 | 1491M | 44 |1400 | 112k| 109k|4452 | 2 |2961 |2038 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 817s| 2700 | 2587 |468886 | 159.6 | 1549M | 44 |1400 | 112k| 109k|4647 | 1 |2984 |2040 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 841s| 2800 | 2677 |478569 | 157.3 | 1627M | 44 |1400 | 112k| 109k|4849 | 1 |3029 |2041 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 875s| 2900 | 2773 |490195 | 155.9 | 1685M | 44 |1400 | 112k| 109k|5090 | 1 |3097 |2049 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 909s| 3000 | 2865 |500693 | 154.2 | 1697M | 44 |1400 | 112k| 109k|5366 | 0 |3139 |2070 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 932s| 3100 | 2965 |514603 | 153.7 | 1722M | 44 |1400 | 112k| 109k|5522 | 1 |3197 |2086 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 949s| 3200 | 3065 |527677 | 153.0 | 1737M | 44 |1400 | 112k| 109k|5638 | 1 |3265 |2099 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 974s| 3300 | 3163 |541264 | 152.5 | 1756M | 44 |1400 | 112k| 109k|5792 | 1 |3334 |2121 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown 997.72/1001.22 c 997.72/1001.22 c SCIP Status : solving was interrupted [time limit reached] 997.72/1001.22 c Solving Time (sec) : 1000.00 997.72/1001.22 c Solving Nodes : 3347 997.72/1001.22 c Primal Bound : -4.80000000000000e+01 (735 solutions) 997.72/1001.22 c Dual Bound : -5.60000000000000e+01 997.72/1001.22 c Gap : 16.67 % 997.72/1001.22 c All original constraints are satisfied. 997.72/1001.22 c SCIP's best solution is verified feasible for the original problem. 997.72/1001.22 c ---------------------------------------------------------------------- 997.72/1001.22 c dual bound: -55.99999999999999 -> -56 997.72/1001.22 c primal bound: -48.0 -> -48 997.72/1001.22 c scip-goal-lb: -56 997.72/1001.22 c scip-goal-ub: -48 997.72/1001.22 c writing output to: HOME/tmpi14jf_wd.opb 997.72/1001.22 c appending fixed variable constraints 997.72/1001.22 c scip-fixed vars: 0.00% (0/1400) 997.72/1001.22 c ---------------------------------------------------------------------- 997.72/1001.22 c executing external solver: HOME/naps-1.03a6 997.72/1001.22 c ---------------------------------------------------------------------- 997.72/1001.22 c command: HOME/naps-1.03a6 -goal-lb=-56 -goal-ub=-49 HOME/tmpi14jf_wd.opb 997.72/1001.26 c NaPS 1.03a6. 997.72/1001.26 c Input file name: HOME/tmpi14jf_wd.opb 998.81/1002.31 c single stage optimization mode 3600.01/3612.30 o -49 3600.01/3612.30 o -52 3600.01/3612.30 o -54 3600.01/3612.30 c 3600.01/3612.30 c *** TERMINATED *** by signal 15 3600.01/3612.30 c _____________________________________________________________________________ 3600.01/3612.30 c std/band forms : 5,0 3600.01/3612.30 c 2cl/3cl ITE-codings : 0,0 3600.01/3612.30 c BDD/srt/adr Max costs : 0,98707,0 3600.01/3612.30 c BDDraw/bin/mul/srt/adr: 0,0,0,5,0 3600.01/3612.30 c BDD nodes : 0 3600.01/3612.30 c Es1/CC detections : 0,0 3600.01/3612.30 c CC sort : 4 3600.01/3612.30 c SAT/UNSAT calls : 3,0 3600.01/3612.30 c regenrated variables : 4 3600.01/3612.30 c eliminated fixed lits : 0 3600.01/3612.30 c goal lit flips : 0 3600.01/3612.30 c goal stages : 1 3600.01/3612.30 c goal shrink : 0 3600.01/3612.30 c goal coeff separations: 0 3600.01/3612.30 c restarts : 223383 3600.01/3612.30 c conflicts : 12388620 (4761 /sec) 3600.01/3612.30 c decisions : 16072421 (6177 /sec) 3600.01/3612.30 c propagations : 2650873850 (1018842 /sec) 3600.01/3612.30 c inspects : 0 (0 /sec) 3600.01/3612.30 c CPU time (solving tm) : 2602 s (2601 s, SAT 1110 s, UNSAT 0 s) 3600.01/3612.30 c Time for Opt-base : 0.001286 s 3600.01/3612.30 c Steps for Opt-base : 0 3600.01/3612.30 c Time for BDD coding : 0 s 3600.01/3612.30 c Time for srt coding : 0.02498 s 3600.01/3612.30 c _____________________________________________________________________________ 3600.01/3612.30 s SATISFIABLE 3600.01/3612.30 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 3600.51/3612.88 c received SIGTERM, forwarding to pbsolver... 3600.51/3612.88 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
OK -54
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62191 MiB free)
memory of node 1: 64507 MiB (62460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484781-1751281110/watcher-4484781-1751281110 -o /tmp/evaluation-result-4484781-1751281110/solver-4484781-1751281110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751280833-37157 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484781-1751281110.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=37588, runsolver pid=37585
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.20 3.68 3.70 5/260 37593
/proc/meminfo: memFree=127639952/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=13152 memory=10368 CPUtime=0.06 cores=0,2
/proc/37593/stat : 37593 (python3) D 37588 37588 37147 0 -1 4194304 1587 0 0 0 5 1 0 0 20 0 1 0 43790746 13467648 2592 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 3288 2592 1216 1 0 1459 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 17344 KiB
Current children cumulated memory: 13440 KiB
[startup+0.214716 s]*
/proc/loadavg: 4.18 3.68 3.70 5/260 37593
/proc/meminfo: memFree=127634412/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1186920 memory=31596 CPUtime=0.16 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 3695 0 0 0 13 3 0 0 20 0 1 0 43790746 1215406080 7899 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 296730 7899 4859 1 0 268752 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34668 KiB
[startup+0.313514 s]*
/proc/loadavg: 4.18 3.68 3.70 5/260 37593
/proc/meminfo: memFree=127629624/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1192480 memory=37356 CPUtime=0.25 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 4758 0 0 0 22 3 0 0 20 0 1 0 43790746 1221099520 9339 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 298120 9339 5275 1 0 269794 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1196672 KiB
Current children cumulated memory: 40428 KiB
[startup+0.700341 s]
/proc/loadavg: 4.18 3.68 3.70 5/260 37593
/proc/meminfo: memFree=127604312/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1241972 memory=92780 CPUtime=0.63 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 16470 0 0 0 57 6 0 0 20 0 1 0 43790746 1271779328 23195 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 310493 23195 7611 1 0 281851 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1246164 KiB
Current children cumulated memory: 95852 KiB
[startup+1.50032 s]
/proc/loadavg: 4.18 3.68 3.70 6/260 37593
/proc/meminfo: memFree=127491416/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1386712 memory=238700 CPUtime=1.43 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 52713 0 0 0 130 13 0 0 20 0 1 0 43790746 1419993088 59675 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 346678 59675 7867 1 0 318036 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1390904 KiB
Current children cumulated memory: 241772 KiB
[startup+3.11343 s]
/proc/loadavg: 4.18 3.68 3.70 6/260 37593
/proc/meminfo: memFree=127258720/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1609508 memory=433888 CPUtime=3.03 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 59566 0 0 0 286 17 0 0 20 0 1 0 43790746 1648136192 108472 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 402377 108472 7931 1 0 373735 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1613700 KiB
Current children cumulated memory: 436960 KiB
[startup+6.30034 s]
/proc/loadavg: 4.17 3.69 3.70 6/260 37593
/proc/meminfo: memFree=127102116/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1784380 memory=584372 CPUtime=6.21 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 101069 0 0 0 598 23 0 0 20 0 1 0 43790746 1827205120 146093 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 446095 146093 8123 1 0 417453 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1788572 KiB
Current children cumulated memory: 587444 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 3.69 3.70 6/259 37594
/proc/meminfo: memFree=127091112/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1798480 memory=590032 CPUtime=12.59 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 102001 0 0 0 1236 23 0 0 20 0 1 0 43790746 1841643520 147508 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 449620 147508 8123 1 0 420978 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1802672 KiB
Current children cumulated memory: 593104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 3.70 3.71 6/259 37594
/proc/meminfo: memFree=127088196/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=1895092 memory=597200 CPUtime=25.35 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 103822 0 0 0 2511 24 0 0 20 0 1 0 43790746 1940574208 149300 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 473773 149300 8123 1 0 445131 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1899284 KiB
Current children cumulated memory: 600272 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 3.75 3.73 6/256 37594
/proc/meminfo: memFree=126958548/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=2111820 memory=725840 CPUtime=50.88 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 135978 0 0 0 5059 29 0 0 20 0 1 0 43790746 2162503680 181460 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 527955 181460 8123 1 0 499313 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 2116012 KiB
Current children cumulated memory: 728912 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.80 3.75 6/257 37597
/proc/meminfo: memFree=126965796/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=2140096 memory=725840 CPUtime=101.91 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 135987 0 0 0 10162 29 0 0 20 0 1 0 43790746 2191458304 181460 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 535024 181460 8123 1 0 506382 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2144288 KiB
Current children cumulated memory: 728912 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.86 3.77 6/257 37610
/proc/meminfo: memFree=126863992/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=2228256 memory=773564 CPUtime=161.71 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 157955 0 0 0 16139 32 0 0 20 0 1 0 43790746 2281734144 193391 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 557064 193391 8123 1 0 528422 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2232448 KiB
Current children cumulated memory: 776636 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.90 3.79 6/256 37612
/proc/meminfo: memFree=126822420/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=2359952 memory=895656 CPUtime=221.52 cores=0,2
/proc/37593/stat : 37593 (python3) R 37588 37588 37147 0 -1 4194304 201003 0 0 0 22113 39 0 0 20 0 1 0 43790746 2416590848 223914 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 589988 223914 8219 1 0 561346 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2364144 KiB
################
# More data... #
################
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 63223 0 0 0 227307 31 0 0 20 0 1 0 43890867 184020992 44187 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 44927 44187 608 696 0 44088 0
Current children cumulated CPU time: 3271.13 s
Current children cumulated vsize: 3192828 KiB
Current children cumulated memory: 1475744 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 37906
/proc/meminfo: memFree=127040800/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=3008928 memory=1295924 CPUtime=997.75 cores=0,2
/proc/37593/stat : 37593 (python3) S 37588 37588 37147 0 -1 4194304 319660 0 0 0 99713 62 0 0 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
[pid=37698] ppid=37593 vsize=125672 memory=120520 CPUtime=2333.19 cores=0,2
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 65478 0 0 0 233285 34 0 0 20 0 1 0 43890867 128688128 30130 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 31418 30130 608 696 0 30579 0
Current children cumulated CPU time: 3330.94 s
Current children cumulated vsize: 3138792 KiB
Current children cumulated memory: 1419516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 37908
/proc/meminfo: memFree=126477608/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=3008928 memory=1295924 CPUtime=997.75 cores=0,2
/proc/37593/stat : 37593 (python3) S 37588 37588 37147 0 -1 4194304 319660 0 0 0 99713 62 0 0 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
[pid=37698] ppid=37593 vsize=153676 memory=150636 CPUtime=2392.97 cores=0,2
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 68685 0 0 0 239260 37 0 0 20 0 1 0 43890867 157364224 37659 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 38419 37659 608 696 0 37580 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 3166796 KiB
Current children cumulated memory: 1449632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 37910
/proc/meminfo: memFree=126358252/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=3008928 memory=1295924 CPUtime=997.75 cores=0,2
/proc/37593/stat : 37593 (python3) S 37588 37588 37147 0 -1 4194304 319660 0 0 0 99713 62 0 0 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
[pid=37698] ppid=37593 vsize=188500 memory=185536 CPUtime=2452.78 cores=0,2
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 69767 0 0 0 245239 39 0 0 20 0 1 0 43890867 193024000 46384 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 47125 46384 608 696 0 46286 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 3201620 KiB
Current children cumulated memory: 1484532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 37913
/proc/meminfo: memFree=126226760/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=3008928 memory=1295924 CPUtime=997.75 cores=0,2
/proc/37593/stat : 37593 (python3) S 37588 37588 37147 0 -1 4194304 319660 0 0 0 99713 62 0 0 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
[pid=37698] ppid=37593 vsize=189136 memory=186172 CPUtime=2512.56 cores=0,2
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 71341 0 0 0 251216 40 0 0 20 0 1 0 43890867 193675264 46543 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 47284 46543 608 696 0 46445 0
Current children cumulated CPU time: 3510.31 s
Current children cumulated vsize: 3202256 KiB
Current children cumulated memory: 1485168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 37918
/proc/meminfo: memFree=126173624/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=3008928 memory=1295924 CPUtime=997.75 cores=0,2
/proc/37593/stat : 37593 (python3) S 37588 37588 37147 0 -1 4194304 319660 0 0 0 99713 62 0 0 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
[pid=37698] ppid=37593 vsize=153676 memory=151740 CPUtime=2572.36 cores=0,2
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 72211 0 0 0 257195 41 0 0 20 0 1 0 43890867 157364224 37935 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 38419 37935 608 696 0 37580 0
Current children cumulated CPU time: 3570.11 s
Current children cumulated vsize: 3166796 KiB
Current children cumulated memory: 1450736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 37918
/proc/meminfo: memFree=126094512/131382112 swapFree=33010684/33010684
[pid=37588] ppid=37585 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37588/stat : 37588 (scip-naps-1.00.) S 37585 37588 37147 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 43790743 4292608 768 18446744073709551615 94832184590336 94832185484869 140728307179376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94832185723920 94832185771664 94832192876544 140728307181985 140728307182082 140728307182082 140728307187684 0
/proc/37588/statm: 1048 768 704 219 0 110 0
[pid=37593] ppid=37588 vsize=3008928 memory=1295924 CPUtime=997.75 cores=0,2
/proc/37593/stat : 37593 (python3) S 37588 37588 37147 0 -1 4194304 319660 0 0 0 99713 62 0 0 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
[pid=37698] ppid=37593 vsize=153676 memory=151740 CPUtime=2602.26 cores=0,2
/proc/37698/stat : 37698 (naps-1.03a6) R 37593 37698 37698 0 -1 4194304 73060 0 0 0 260184 42 0 0 20 0 1 0 43890867 157364224 37935 18446744073709551615 4198400 7047149 140727181988144 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40505344 140727181990263 140727181990387 140727181990387 140727181995977 0
/proc/37698/statm: 38419 37935 608 696 0 37580 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3166796 KiB
Current children cumulated memory: 1450736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.32 s]
# the end of solver process 37588 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003394 s, system=0.009673 s
[startup+3612.98 s]
# the end of solver process 37593 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.48 s, system=1.23971 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.42 s]*
/proc/loadavg: 4.06 4.10 4.09 5/256 37918
/proc/meminfo: memFree=126250004/131382112 swapFree=33010684/33010684
[pid=37593] ppid=37585 vsize=3008928 memory=1295924 CPUtime=3600.14 cores=0,2
/proc/37593/stat : 37593 (python3) R 37585 37588 37147 0 -1 4194304 340867 73061 0 0 99722 65 260185 42 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
Current cumulated CPU time of completed processes: 0.013067 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 3008928 KiB
Current children cumulated memory: 1295924 KiB
[startup+3612.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 37918
/proc/meminfo: memFree=126250004/131382112 swapFree=33010684/33010684
[pid=37593] ppid=37585 vsize=3008928 memory=1295924 CPUtime=3600.5 cores=0,2
/proc/37593/stat : 37593 (python3) R 37585 37588 37147 0 -1 4194304 375597 73061 0 0 99753 70 260185 42 20 0 1 0 43790746 3081142272 323981 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 752232 323981 8283 1 0 723590 0
Current cumulated CPU time of completed processes: 0.013067 s
Current children cumulated CPU time: 3600.5 s
Current children cumulated vsize: 3008928 KiB
Current children cumulated memory: 1295924 KiB
[startup+3612.9 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 37918
/proc/meminfo: memFree=126250004/131382112 swapFree=33010684/33010684
[pid=37593] ppid=37585 vsize=2644388 memory=971704 CPUtime=3600.61 cores=0,2
/proc/37593/stat : 37593 (python3) R 37585 37588 37147 0 -1 4194304 391345 73061 0 0 99761 73 260185 42 20 0 1 0 43790746 2707853312 242926 18446744073709551615 94464249741312 94464249741689 140727934145248 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 94464249752984 94464249753604 94464266579968 140727934151015 140727934151202 140727934151202 140727934156775 0
/proc/37593/statm: 661097 242926 8283 1 0 632455 0
Current cumulated CPU time of completed processes: 0.013067 s
Current children cumulated CPU time: 3600.61 s
Current children cumulated vsize: 2644388 KiB
Current children cumulated memory: 971704 KiB
Child status: 0
Real time (s): 3612.98
CPU time (s): 3600.72
CPU user time (s): 3599.48
CPU system time (s): 1.23971
CPU usage (%): 99.6605
Max. virtual memory (cumulated for all children) (KiB): 3212972
Max. memory (cumulated for all children) (KiB): 1495884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 1.23971
maximum resident set size= 1352764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 388
involuntary context switches= 7983
# summary of solver processes directly reported to runsolver:
# pid: 37588,37593
# total CPU time (s): 3600.72
# total CPU user time (s): 3599.48
# total CPU system time (s): 1.23971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.56 second user time and 37.1258 second system time
The end
Begin job on nodeC012 at 2025-06-30 12:58:30 IDJOB=4484781 IDBENCH=146669 IDSOLVER=3368 FILE ID=nodeC012/4484781-1751281110 RUNJOBID= nodeC012-1751280833-37157 SLURM_JOB_ID= 9594230 Free space on /tmp= 433028 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484781-1751281110/watcher-4484781-1751281110 -o /tmp/evaluation-result-4484781-1751281110/solver-4484781-1751281110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751280833-37157 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4484781-1751281110.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121 RANDOM SEED=809660917 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 : 1296.915 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.226 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.457 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 : 1197.675 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 : 3662.222 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 : 3591.468 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.584 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 : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 127644556 kB MemAvailable: 127537692 kB Buffers: 3280 kB Cached: 702184 kB SwapCached: 0 kB Active: 2752044 kB Inactive: 403048 kB Active(anon): 2467588 kB Inactive(anon): 0 kB Active(file): 284456 kB Inactive(file): 403048 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 8284 kB Writeback: 0 kB AnonPages: 2452916 kB Mapped: 124860 kB Shmem: 17960 kB KReclaimable: 90132 kB Slab: 173024 kB SReclaimable: 90132 kB SUnreclaim: 82892 kB KernelStack: 4188 kB PageTables: 8632 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 6227636 kB VmallocTotal: 34359738367 kB VmallocUsed: 149544 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 364544 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 13:58:44