| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a1 | ? (TO) | 3600.4 | 3613.75 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 3f10ffbf957f8216a1934b9362956d36 |
| 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 | 32 |
| Best CPU time to get the best result obtained on this benchmark | 0.861547 |
| 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 | 11744 |
| Total number of constraints | 798 |
| Number of constraints which are clauses | 366 |
| Number of constraints which are cardinality constraints (but not clauses) | 366 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 367 |
| Number of terms in the objective function | 32 |
| 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 | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 133314 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 283127 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
678.84/681.22 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4509621-1751522701.opb 678.84/681.22 c Solving mode: optimization 678.84/681.22 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 678.84/681.22 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 678.84/681.22 c original problem has 11744 variables (11744 bin, 0 int, 0 impl, 0 cont) and 798 constraints 678.84/681.22 c presolving: 678.84/681.22 c (round 1, fast) 32 del vars, 2 del conss, 0 add conss, 32 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 960 clqs 678.84/681.22 c (round 2, exhaustive) 32 del vars, 368 del conss, 0 add conss, 32 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 960 clqs 678.84/681.22 c (round 3, exhaustive) 32 del vars, 368 del conss, 0 add conss, 32 chg bounds, 1 chg sides, 0 chg coeffs, 430 upgd conss, 0 impls, 960 clqs 678.84/681.22 c (0.3s) probing: 51/11712 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 678.84/681.22 c (0.3s) probing aborted: 50/50 successive totally useless probings 678.84/681.22 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 678.84/681.22 c (1.9s) symmetry computation finished: 332 generators found (max: 1500, log10 of symmetry group size: 260.0) (symcode time: 1.50) 678.84/681.22 c dynamic symmetry handling statistics: 678.84/681.22 c orbitopal reduction: no components 678.84/681.22 c orbital reduction: 1 components of sizes 332 678.84/681.22 c lexicographic reduction: 332 permutations with support sizes 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 732, 732, 1782, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732, 732 678.84/681.22 c handled 1 out of 1 symmetry components 678.84/681.22 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive): 678.84/681.22 c 32 deleted vars, 368 deleted constraints, 0 added constraints, 32 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 678.84/681.22 c 0 implications, 960 cliques 678.84/681.22 c presolved problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 430 constraints 678.84/681.22 c 64 constraints of type <knapsack> 678.84/681.22 c 366 constraints of type <setppc> 678.84/681.22 c transformed objective value is always integral (scale: 1) 678.84/681.22 c Presolving Time: 1.96 678.84/681.22 c 678.84/681.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 678.84/681.22 c 2.5s| 1 | 0 | 2681 | - | 211M | 0 | 11k| 511 | 430 | 0 | 0 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 2.8s| 1 | 0 | 3828 | - | 218M | 0 | 11k| 511 | 463 | 33 | 1 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 2.9s| 1 | 0 | 3920 | - | 223M | 0 | 11k| 511 | 496 | 66 | 2 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.0s| 1 | 0 | 4026 | - | 228M | 0 | 11k| 511 | 529 | 99 | 3 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.1s| 1 | 0 | 4173 | - | 232M | 0 | 11k| 511 | 560 | 130 | 4 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.3s| 1 | 0 | 4411 | - | 234M | 0 | 11k| 511 | 592 | 162 | 5 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.4s| 1 | 0 | 4529 | - | 236M | 0 | 11k| 511 | 621 | 191 | 6 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.6s| 1 | 0 | 4698 | - | 239M | 0 | 11k| 511 | 652 | 222 | 7 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.7s| 1 | 0 | 4823 | - | 240M | 0 | 11k| 511 | 681 | 251 | 8 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 3.8s| 1 | 0 | 4942 | - | 244M | 0 | 11k| 511 | 711 | 281 | 9 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 4.0s| 1 | 0 | 5075 | - | 249M | 0 | 11k| 511 | 741 | 311 | 10 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 4.1s| 1 | 0 | 5267 | - | 250M | 0 | 11k| 511 | 771 | 341 | 11 | 80 | 0 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 6.7s| 1 | 2 | 10116 | - | 250M | 0 | 11k| 521 | 771 | 341 | 11 | 90 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 29.2s| 100 | 101 | 82447 | 779.6 | 271M | 44 | 11k| 585 | 707 | 846 | 1 | 154 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 88.1s| 200 | 195 |327011 |1616.8 | 294M | 44 | 11k| 687 | 713 |1546 | 1 | 260 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 678.84/681.22 c 127s| 300 | 293 |472407 |1562.3 | 304M | 44 | 11k| 712 | 725 |2182 | 2 | 306 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 166s| 400 | 393 |625472 |1554.4 | 305M | 44 | 11k| 688 | 716 |2959 | 1 | 306 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 219s| 500 | 493 |828520 |1649.8 | 306M | 44 | 11k| 689 | 654 |3733 | 1 | 327 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 258s| 600 | 593 |976482 |1621.4 | 310M | 44 | 11k| 707 | 708 |4601 | 1 | 349 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 303s| 700 | 693 | 1156k|1646.3 | 316M | 44 | 11k| 707 | 667 |5351 | 1 | 379 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 350s| 800 | 793 | 1332k|1661.6 | 322M | 44 | 11k| 701 | 667 |6067 | 1 | 389 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 391s| 900 | 893 | 1494k|1656.5 | 323M | 44 | 11k| 672 | 667 |6875 | 1 | 389 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 418s| 1000 | 993 | 1588k|1584.8 | 323M | 44 | 11k| 685 | 654 |7784 | 1 | 413 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 437s| 1100 | 1093 | 1651k|1498.3 | 324M | 44 | 11k| 663 | 667 |8531 | 1 | 413 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 465s| 1200 | 1193 | 1752k|1457.2 | 325M | 44 | 11k| 661 | 692 |9574 | 1 | 424 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 506s| 1300 | 1293 | 1908k|1464.8 | 326M | 44 | 11k| 697 | 694 | 10k| 1 | 478 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 541s| 1400 | 1393 | 2046k|1459.3 | 326M | 44 | 11k| 709 | 708 | 11k| 1 | 499 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 571s| 1500 | 1493 | 2155k|1434.5 | 327M | 44 | 11k| 708 | 669 | 12k| 1 | 514 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 614s| 1600 | 1593 | 2327k|1452.6 | 331M | 44 | 11k| 726 | 626 | 13k| 1 | 556 | 23 | 3.200000e+01 | -- | Inf | unknown 678.84/681.22 c 647s| 1700 | 1693 | 2451k|1439.9 | 332M | 44 | 11k| 725 | 714 | 13k| 1 | 567 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 997.06/1000.48 c 681s| 1800 | 1793 | 2580k|1431.4 | 332M | 44 | 11k| 718 | 663 | 14k| 1 | 578 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 724s| 1900 | 1893 | 2745k|1442.9 | 333M | 44 | 11k| 721 | 721 | 15k| 2 | 594 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 754s| 2000 | 1993 | 2858k|1427.2 | 333M | 45 | 11k| 711 | 649 | 16k| 1 | 594 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 793s| 2100 | 2093 | 3005k|1429.2 | 335M | 45 | 11k| 697 | 700 | 17k| 1 | 604 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 825s| 2200 | 2193 | 3131k|1421.8 | 338M | 45 | 11k| 706 | 667 | 18k| 1 | 627 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 858s| 2300 | 2293 | 3249k|1411.1 | 338M | 45 | 11k| 710 | 649 | 19k| 1 | 638 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 887s| 2400 | 2393 | 3354k|1395.9 | 339M | 45 | 11k| 704 | 725 | 20k| 2 | 638 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 911s| 2500 | 2493 | 3434k|1372.1 | 341M | 45 | 11k| 692 | 705 | 21k| 1 | 638 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 950s| 2600 | 2593 | 3581k|1376.0 | 342M | 45 | 11k| 706 | 719 | 22k| 1 | 659 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 993s| 2700 | 2693 | 3745k|1385.8 | 344M | 45 | 11k| 703 | 718 | 23k| 1 | 672 | 23 | 3.200000e+01 | -- | Inf | unknown 997.06/1000.48 c 997.06/1000.48 c SCIP Status : solving was interrupted [time limit reached] 997.06/1000.48 c Solving Time (sec) : 1000.00 997.06/1000.48 c Solving Nodes : 2734 997.06/1000.48 c Primal Bound : +1.00000000000000e+20 (0 solutions) 997.06/1000.48 c Dual Bound : +3.20000000000000e+01 997.06/1000.48 c Gap : infinite 997.06/1000.48 c ---------------------------------------------------------------------- 997.06/1000.48 c dual bound: 32.0 -> 32 997.06/1000.48 c primal bound: 1e+20 -> 100000000000000000000 997.06/1000.48 c scip-goal-lb: 32 997.06/1000.48 c scip-goal-ub: 100000000000000000000 997.06/1000.48 c writing output to: HOME/tmp8lponmx0.opb 997.06/1000.48 c appending fixed variable constraints 997.06/1000.48 c scip-fixed vars: 0.27% (32/11712) 997.06/1000.48 c ---------------------------------------------------------------------- 997.06/1000.48 c executing external solver: HOME/naps-1.03a6 997.06/1000.48 c ---------------------------------------------------------------------- 997.06/1000.48 c command: HOME/naps-1.03a6 -goal-lb=32 -goal-ub=99999999999999999999 HOME/tmp8lponmx0.opb 997.06/1000.48 c NaPS 1.03a6. 997.06/1000.48 c Input file name: HOME/tmp8lponmx0.opb 1062.74/1066.38 c single stage optimization mode 3600.02/3613.40 c 3600.02/3613.40 c *** TERMINATED *** by signal 15 3600.02/3613.40 c _____________________________________________________________________________ 3600.02/3613.40 c std/band forms : 432,0 3600.02/3613.40 c 2cl/3cl ITE-codings : 8042146,0 3600.02/3613.40 c BDD/srt/adr Max costs : 612020,112924,0 3600.02/3613.40 c BDDraw/bin/mul/srt/adr: 16,0,0,416,0 3600.02/3613.40 c BDD nodes : 9486549 3600.02/3613.40 c Es1/CC detections : 0,0 3600.02/3613.40 c CC sort : 366 3600.02/3613.40 c SAT/UNSAT calls : 0,0 3600.02/3613.40 c regenrated variables : 0 3600.02/3613.40 c eliminated fixed lits : 224 3600.02/3613.40 c goal lit flips : 0 3600.02/3613.40 c goal stages : 1 3600.02/3613.40 c goal shrink : 0 3600.02/3613.40 c goal coeff separations: 0 3600.02/3613.40 c restarts : 0 3600.02/3613.40 c conflicts : 0 (0 /sec) 3600.02/3613.40 c decisions : 0 (0 /sec) 3600.02/3613.40 c propagations : 0 (0 /sec) 3600.02/3613.40 c inspects : 0 (0 /sec) 3600.02/3613.40 c CPU time (solving tm) : 2580 s (2516 s, SAT 0 s, UNSAT 0 s) 3600.02/3613.40 c Time for Opt-base : 2.076 s 3600.02/3613.40 c Steps for Opt-base : 11778612 3600.02/3613.40 c Time for BDD coding : 44.35 s 3600.02/3613.40 c Time for srt coding : 2.742 s 3600.02/3613.40 c _____________________________________________________________________________ 997.16/3613.53 c received SIGTERM, forwarding to pbsolver... 997.16/3613.53 s UNKNOWN
ERROR: no interpretation found !
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 (62948 MiB free)
memory of node 1: 64507 MiB (61958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509621-1751522701/watcher-4509621-1751522701 -o /tmp/evaluation-result-4509621-1751522701/solver-4509621-1751522701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751522701-77803 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4509621-1751522701.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=77858, runsolver pid=77844
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 1.02 2.16 3.16 6/256 77876
/proc/meminfo: memFree=127891700/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=11932 memory=9088 CPUtime=0.05 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 1315 0 0 0 4 1 0 0 20 0 1 0 67949832 12218368 2272 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 2983 2272 1120 1 0 1231 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16124 KiB
Current children cumulated memory: 12032 KiB
[startup+0.214405 s]*
/proc/loadavg: 1.02 2.16 3.16 7/256 77876
/proc/meminfo: memFree=127877124/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1185152 memory=29448 CPUtime=0.15 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 3264 0 3 0 12 3 0 0 20 0 1 0 67949832 1213595648 7362 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 296288 7362 4741 1 0 268356 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1189344 KiB
Current children cumulated memory: 32392 KiB
[startup+0.314669 s]*
/proc/loadavg: 1.02 2.16 3.16 6/256 77876
/proc/meminfo: memFree=127860252/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1189544 memory=34440 CPUtime=0.25 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 4311 0 4 0 20 5 0 0 20 0 1 0 67949832 1218093056 8610 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 297386 8610 4997 1 0 269295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1193736 KiB
Current children cumulated memory: 37384 KiB
[startup+0.700451 s]
/proc/loadavg: 1.02 2.16 3.16 6/256 77876
/proc/meminfo: memFree=127731760/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1258012 memory=107656 CPUtime=0.62 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 20070 0 7 0 51 11 0 0 20 0 1 0 67949832 1288204288 26914 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 314503 26914 7877 1 0 285861 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1262204 KiB
Current children cumulated memory: 110600 KiB
[startup+1.50043 s]
/proc/loadavg: 1.02 2.16 3.16 6/256 77877
/proc/meminfo: memFree=127556968/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1300208 memory=131328 CPUtime=1.41 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 25424 0 7 0 129 12 0 0 20 0 1 0 67949832 1331412992 32832 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 325052 32832 7941 1 0 296410 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 1304400 KiB
Current children cumulated memory: 134272 KiB
[startup+3.11646 s]
/proc/loadavg: 1.26 2.19 3.17 5/253 77889
/proc/meminfo: memFree=127255648/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1415032 memory=239412 CPUtime=3.03 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 52652 0 7 0 286 17 0 0 20 0 1 0 67949832 1448992768 59853 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 353758 59853 8069 1 0 325116 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1419224 KiB
Current children cumulated memory: 242356 KiB
[startup+6.3004 s]
/proc/loadavg: 1.26 2.19 3.17 6/256 77926
/proc/meminfo: memFree=126611396/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1504800 memory=328508 CPUtime=6.19 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 71378 0 7 0 598 21 0 0 20 0 1 0 67949832 1540915200 82127 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 376200 82127 8069 1 0 347558 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1508992 KiB
Current children cumulated memory: 331452 KiB
[startup+12.7004 s]
/proc/loadavg: 1.48 2.22 3.17 6/256 77926
/proc/meminfo: memFree=126482992/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1504800 memory=328892 CPUtime=12.57 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 71466 0 7 0 1236 21 0 0 20 0 1 0 67949832 1540915200 82223 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 376200 82223 8069 1 0 347558 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1508992 KiB
Current children cumulated memory: 331836 KiB
[startup+25.5004 s]
/proc/loadavg: 2.18 2.34 3.20 6/256 77926
/proc/meminfo: memFree=126323064/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1526148 memory=346940 CPUtime=25.32 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 76002 0 7 0 2509 23 0 0 20 0 1 0 67949832 1562775552 86735 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 381537 86735 8069 1 0 352895 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1530340 KiB
Current children cumulated memory: 349884 KiB
[startup+51.1137 s]
/proc/loadavg: 2.80 2.47 3.22 6/256 77926
/proc/meminfo: memFree=126243628/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1533196 memory=355900 CPUtime=50.83 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 78246 0 7 0 5059 24 0 0 20 0 1 0 67949832 1569992704 88975 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 383299 88975 8069 1 0 354657 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 1537388 KiB
Current children cumulated memory: 358844 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.74 3.27 6/257 78026
/proc/meminfo: memFree=126337732/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1533196 memory=356156 CPUtime=101.8 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 78313 0 7 0 10153 27 0 0 20 0 1 0 67949832 1569992704 89039 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 383299 89039 8069 1 0 354657 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 1537388 KiB
Current children cumulated memory: 359100 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.99 3.33 6/256 78028
/proc/meminfo: memFree=126298048/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1533196 memory=356156 CPUtime=161.59 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 78317 0 7 0 16131 28 0 0 20 0 1 0 67949832 1569992704 89039 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 383299 89039 8069 1 0 354657 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 1537388 KiB
Current children cumulated memory: 359100 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.19 3.38 6/256 78031
/proc/meminfo: memFree=126225144/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1533196 memory=356156 CPUtime=221.37 cores=5,7
/proc/77875/stat : 77875 (python3) R 77858 77858 77790 0 -1 4194304 78318 0 7 0 22109 28 0 0 20 0 1 0 67949832 1569992704 89039 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 383299 89039 8069 1 0 354657 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 1537388 KiB
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.12 6/258 78572
/proc/meminfo: memFree=111789772/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7898348 memory=7477936 CPUtime=2273.02 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1109393 0 0 0 225115 2187 0 0 20 0 1 0 68049875 8087908352 1869484 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974587 1869484 640 696 0 1973748 0
Current children cumulated CPU time: 3270.16 s
Current children cumulated vsize: 9473216 KiB
Current children cumulated memory: 7893356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.12 6/258 78574
/proc/meminfo: memFree=111956176/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7898348 memory=7477936 CPUtime=2332.79 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1110000 0 0 0 231089 2190 0 0 20 0 1 0 68049875 8087908352 1869484 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974587 1869484 640 696 0 1973748 0
Current children cumulated CPU time: 3329.93 s
Current children cumulated vsize: 9473216 KiB
Current children cumulated memory: 7893356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.10 6/258 78587
/proc/meminfo: memFree=111931568/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7898880 memory=7478468 CPUtime=2392.57 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1111781 0 0 0 237050 2207 0 0 20 0 1 0 68049875 8088453120 1869617 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974720 1869617 640 696 0 1973881 0
Current children cumulated CPU time: 3389.71 s
Current children cumulated vsize: 9473748 KiB
Current children cumulated memory: 7893888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 6/260 78595
/proc/meminfo: memFree=111963388/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7898880 memory=7478468 CPUtime=2452.35 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1112616 0 0 0 243025 2210 0 0 20 0 1 0 68049875 8088453120 1869617 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974720 1869617 640 696 0 1973881 0
Current children cumulated CPU time: 3449.49 s
Current children cumulated vsize: 9473748 KiB
Current children cumulated memory: 7893888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.10 6/260 78599
/proc/meminfo: memFree=111956032/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7898880 memory=7480400 CPUtime=2512.12 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1118931 0 0 0 248961 2251 0 0 20 0 1 0 68049875 8088453120 1870100 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974720 1870100 640 696 0 1973881 0
Current children cumulated CPU time: 3509.26 s
Current children cumulated vsize: 9473748 KiB
Current children cumulated memory: 7895820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/259 78601
/proc/meminfo: memFree=111907708/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7899048 memory=7478636 CPUtime=2571.9 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1122688 0 0 0 254904 2286 0 0 20 0 1 0 68049875 8088625152 1869659 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974762 1869659 640 696 0 1973923 0
Current children cumulated CPU time: 3569.04 s
Current children cumulated vsize: 9473916 KiB
Current children cumulated memory: 7894056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/253 78610
/proc/meminfo: memFree=117758756/131382116 swapFree=33010684/33010684
[pid=77858] ppid=77844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77858/stat : 77858 (scip-naps-1.00.) S 77844 77858 77790 0 -1 4194304 253 338 0 0 0 0 0 0 20 0 1 0 67949827 4292608 736 18446744073709551615 94387201802240 94387202696773 140734589846368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94387202935824 94387202983568 94387228491776 140734589847969 140734589848066 140734589848066 140734589853668 0
/proc/77858/statm: 1048 736 672 219 0 110 0
[pid=77875] ppid=77858 vsize=1570676 memory=412476 CPUtime=997.14 cores=5,7
/proc/77875/stat : 77875 (python3) S 77858 77858 77790 0 -1 4194304 88748 0 7 0 99677 37 0 0 20 0 1 0 67949832 1608372224 103119 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 392669 103119 8101 1 0 364027 0
[pid=78073] ppid=77875 vsize=7899048 memory=7480684 CPUtime=2602.88 cores=5,7
/proc/78073/stat : 78073 (naps-1.03a6) R 77875 78073 78073 0 -1 4194304 1127813 0 0 0 257973 2315 0 0 20 0 1 0 68049875 8088625152 1870171 18446744073709551615 4198400 7047149 140731874450304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40681472 140731874457959 140731874458099 140731874458099 140731874463689 0
/proc/78073/statm: 1974762 1870171 640 696 0 1973923 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 9473916 KiB
Current children cumulated memory: 7896104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.41 s]
# the end of solver process 77858 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003746 s, system=0.01296 s
[startup+3613.75 s]
# the end of solver process 77875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.68 s, system=23.7169 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+3613.61 s]
/proc/loadavg: 4.05 4.09 4.09 5/253 78622
/proc/meminfo: memFree=121314152/131382116 swapFree=33010684/33010684
[pid=77875] ppid=77844 vsize=1553928 memory=395800 CPUtime=3600.23 cores=5,7
/proc/77875/stat : 77875 (python3) R 77844 77858 77790 0 -1 4194304 91334 1127814 7 0 99683 39 257973 2328 20 0 1 0 67949832 1591222272 98950 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 388482 98950 8101 1 0 359840 0
Current cumulated CPU time of completed processes: 0.016706 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 1553928 KiB
Current children cumulated memory: 395800 KiB
[startup+3613.7 s]
/proc/loadavg: 4.05 4.09 4.09 5/253 78622
/proc/meminfo: memFree=121314152/131382116 swapFree=33010684/33010684
[pid=77875] ppid=77844 vsize=1526284 memory=380808 CPUtime=3600.31 cores=5,7
/proc/77875/stat : 77875 (python3) R 77844 77858 77790 0 -1 4194304 94320 1127814 7 0 99691 39 257973 2328 20 0 1 0 67949832 1562914816 95202 18446744073709551615 94470815014912 94470815015289 140720597136848 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94470815026584 94470815027204 94470848221184 140720597145959 140720597146146 140720597146146 140720597151719 0
/proc/77875/statm: 381571 95202 8133 1 0 352929 0
Current cumulated CPU time of completed processes: 0.016706 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 1526284 KiB
Current children cumulated memory: 380808 KiB
Child status: 0
Real time (s): 3613.75
CPU time (s): 3600.4
CPU user time (s): 3576.68
CPU system time (s): 23.7169
CPU usage (%): 99.6305
Max. virtual memory (cumulated for all children) (KiB): 12111076
Max. memory (cumulated for all children) (KiB): 10432772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.68
system time used= 23.7169
maximum resident set size= 10017352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1224846
page faults= 7
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 566
involuntary context switches= 21130
# summary of solver processes directly reported to runsolver:
# pid: 77858,77875
# total CPU time (s): 3600.4
# total CPU user time (s): 3576.68
# total CPU system time (s): 23.7169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2319 second user time and 39.398 second system time
The end
Begin job on nodeC011 at 2025-07-03 08:05:01 IDJOB=4509621 IDBENCH=158625 IDSOLVER=3368 FILE ID=nodeC011/4509621-1751522701 RUNJOBID= nodeC011-1751522701-77803 SLURM_JOB_ID= 9598647 Free space on /tmp= 430540 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509621-1751522701/watcher-4509621-1751522701 -o /tmp/evaluation-result-4509621-1751522701/solver-4509621-1751522701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751522701-77803 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4509621-1751522701.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36 RANDOM SEED=765074845 nodeC011 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 : 1198.926 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 : 6984.20 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 : 1197.434 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 : 6984.20 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.269 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 : 6984.20 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.289 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.613 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 : 6984.20 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 : 1197.223 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 : 6984.20 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.291 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 : 6984.20 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.470 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 127908876 kB MemAvailable: 129926252 kB Buffers: 3276 kB Cached: 2818964 kB SwapCached: 0 kB Active: 510648 kB Inactive: 2379900 kB Active(anon): 84164 kB Inactive(anon): 2104 kB Active(file): 426484 kB Inactive(file): 2377796 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22680 kB Writeback: 0 kB AnonPages: 71700 kB Mapped: 102548 kB Shmem: 17960 kB KReclaimable: 105060 kB Slab: 190152 kB SReclaimable: 105060 kB SUnreclaim: 85092 kB KernelStack: 3732 kB PageTables: 2384 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 333716 kB VmallocTotal: 34359738367 kB VmallocUsed: 149304 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430504 MiB End job on nodeC011 at 2025-07-03 09:05:15