513.14/514.78 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542436-1753217107.opb
513.14/514.78 c Solving mode: decision
513.14/514.78 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
513.14/514.78 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
513.14/514.78 c original problem has 2878950 variables (2878950 bin, 0 int, 0 impl, 0 cont) and 128479 constraints
513.14/514.78 c presolving:
513.14/514.78 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 69779 upgd conss, 0 impls, 58650 clqs
513.14/514.78 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 128479 upgd conss, 0 impls, 58650 clqs
513.14/514.78 c (40.7s) probing: 51/2878950 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
513.14/514.78 c (40.7s) probing aborted: 50/50 successive totally useless probings
513.14/514.78 c (42.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
513.14/514.78 c symmetry computation terminated early, because number of cells 100060 in Nauty exceeds limit of 100000
513.14/514.78 c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
513.14/514.78 c (57.9s) symmetry computation finished: 22 generators found (max: 22, log10 of symmetry group size: 0.0) (symcode time: 14.09)
513.14/514.78 c dynamic symmetry handling statistics:
513.14/514.78 c orbitopal reduction: no components
513.14/514.78 c orbital reduction: 1 components of sizes 21
513.14/514.78 c lexicographic reduction: 21 permutations with support sizes 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96
513.14/514.78 c handled 2 out of 2 symmetry components
513.14/514.78 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
513.14/514.78 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
513.14/514.78 c 0 implications, 58651 cliques
513.14/514.78 c presolved problem has 2878950 variables (2878950 bin, 0 int, 0 impl, 0 cont) and 128480 constraints
513.14/514.78 c 4952 constraints of type <knapsack>
513.14/514.78 c 58650 constraints of type <setppc>
513.14/514.78 c 1 constraints of type <linear>
513.14/514.78 c 64877 constraints of type <logicor>
513.14/514.78 c transformed objective value is always integral (scale: 1)
513.14/514.78 c Presolving Time: 54.87
513.14/514.78 c
513.14/514.78 c
513.14/514.78 c SCIP Status : solving was interrupted [time limit reached]
513.14/514.78 c Solving Time (sec) : 500.04
513.14/514.78 c Solving Nodes : 1
513.14/514.78 c Primal Bound : +1.00000000000000e+20 (0 solutions)
513.14/514.78 c Dual Bound : +0.00000000000000e+00
513.14/514.78 c Gap : infinite
513.14/514.78 c ----------------------------------------------------------------------
513.14/514.78 c dual bound: 0.0 -> 0
513.14/514.78 c primal bound: 1e+20 -> 100000000000000000000
513.14/514.78 c scip-goal-lb: 0
513.14/514.78 c scip-goal-ub: 100000000000000000000
513.14/514.78 c writing output to: HOME/tmpmeken081.opb
513.14/514.78 c appending fixed variable constraints
513.14/514.78 c scip-fixed vars: 0.00% (0/2878950)
513.14/514.78 c ----------------------------------------------------------------------
513.14/514.78 c executing external solver: HOME/naps-1.03a6
513.14/514.78 c ----------------------------------------------------------------------
513.14/514.78 c command: HOME/naps-1.03a6 HOME/tmpmeken081.opb
513.31/514.94 c NaPS 1.03a6.
513.31/514.94 c Input file name: HOME/tmpmeken081.opb
3600.01/3611.00 c
3600.01/3611.00 c *** TERMINATED *** by signal 15
3600.01/3611.00 c _____________________________________________________________________________
3600.01/3611.00 c std/band forms : 63602,0
3600.01/3611.00 c 2cl/3cl ITE-codings : 0,0
3600.01/3611.00 c BDD/srt/adr Max costs : 0,846,0
3600.01/3611.00 c BDDraw/bin/mul/srt/adr: 0,0,0,63602,0
3600.01/3611.00 c BDD nodes : 0
3600.01/3611.00 c Es1/CC detections : 0,0
3600.01/3611.00 c CC sort : 63602
3600.01/3611.00 c SAT/UNSAT calls : 0,0
3600.01/3611.00 c regenrated variables : 0
3600.01/3611.00 c eliminated fixed lits : 0
3600.01/3611.00 c goal lit flips : 0
3600.01/3611.00 c goal stages : 0
3600.01/3611.00 c goal shrink : 0
3600.01/3611.00 c goal coeff separations: 0
3600.01/3611.00 c restarts : 0
3600.01/3611.00 c conflicts : 0 (0 /sec)
3600.01/3611.00 c decisions : 0 (0 /sec)
3600.01/3611.00 c propagations : 0 (0 /sec)
3600.01/3611.00 c inspects : 0 (0 /sec)
3600.01/3611.00 c CPU time (solving tm) : 3070 s (3014 s, SAT 0 s, UNSAT 0 s)
3600.01/3611.00 c Time for Opt-base : 0.7397 s
3600.01/3611.00 c Steps for Opt-base : 0
3600.01/3611.00 c Time for BDD coding : 0 s
3600.01/3611.00 c Time for srt coding : 33.01 s
3600.01/3611.00 c _____________________________________________________________________________
3600.01/3611.09 c received SIGTERM, forwarding to pbsolver...
3600.01/3611.09 s UNKNOWN
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: 63665 MiB (61898 MiB free)
memory of node 1: 64507 MiB (62744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542436-1753217107/watcher-4542436-1753217107 -o /tmp/evaluation-result-4542436-1753217107/solver-4542436-1753217107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753209881-162574 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542436-1753217107.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=163578, runsolver pid=163575
[startup+0.100062 s]*
/proc/loadavg: 4.04 4.07 4.08 5/273 163583
/proc/meminfo: memFree=127625844/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=127372 memory=27004 CPUtime=0.04 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 3041 0 0 0 4 0 0 0 20 0 1 0 237388619 130428928 6751 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 31843 6751 4287 1 0 3945 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 131564 KiB
Current children cumulated memory: 29948 KiB
[startup+0.205754 s]*
/proc/loadavg: 4.04 4.07 4.08 5/273 163583
/proc/meminfo: memFree=127579488/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=1237292 memory=88828 CPUtime=0.15 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 15422 0 0 0 12 3 0 0 20 0 1 0 237388619 1266987008 22207 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 309323 22207 7647 1 0 280681 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1241484 KiB
Current children cumulated memory: 91772 KiB
[startup+0.305761 s]*
/proc/loadavg: 4.04 4.07 4.08 5/273 163583
/proc/meminfo: memFree=127498848/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=1319640 memory=169980 CPUtime=0.25 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 35713 0 0 0 20 5 0 0 20 0 1 0 237388619 1351311360 42495 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 329910 42495 7647 1 0 301268 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1323832 KiB
Current children cumulated memory: 172924 KiB
[startup+0.700222 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 163583
/proc/meminfo: memFree=127353696/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=1602540 memory=452112 CPUtime=0.64 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 105730 0 0 0 48 16 0 0 20 0 1 0 237388619 1641000960 113028 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 400635 113028 7647 1 0 371993 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1606732 KiB
Current children cumulated memory: 455056 KiB
[startup+1.50021 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 163583
/proc/meminfo: memFree=126999896/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=2163844 memory=1014860 CPUtime=1.44 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 239254 0 0 0 109 35 0 0 20 0 1 0 237388619 2215776256 253715 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 540961 253715 7647 1 0 512319 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2168036 KiB
Current children cumulated memory: 1017804 KiB
[startup+3.10565 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 163583
/proc/meminfo: memFree=125593056/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=3313236 memory=2161636 CPUtime=3.03 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 514227 0 0 0 226 77 0 0 20 0 1 0 237388619 3392753664 540409 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 828309 540409 7647 1 0 799667 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 3317428 KiB
Current children cumulated memory: 2164580 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 163583
/proc/meminfo: memFree=123072288/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=5979240 memory=4821592 CPUtime=6.22 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 1149442 0 0 0 454 168 0 0 20 0 1 0 237388619 6122741760 1205398 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 1494810 1205398 7807 1 0 1466168 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 5983432 KiB
Current children cumulated memory: 4824536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 163583
/proc/meminfo: memFree=120395072/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=8672468 memory=7256600 CPUtime=12.61 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 1624284 0 0 0 1016 245 0 0 20 0 1 0 237388619 8880607232 1814150 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 2168117 1814150 7871 1 0 2139475 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 8676660 KiB
Current children cumulated memory: 7259544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 163583
/proc/meminfo: memFree=119583196/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=9535776 memory=8115028 CPUtime=25.37 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 1670808 0 0 0 2273 264 0 0 20 0 1 0 237388619 9764634624 2028757 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 2383944 2028757 7935 1 0 2355302 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 9539968 KiB
Current children cumulated memory: 8117972 KiB
[startup+51.1058 s]
/proc/loadavg: 4.13 4.09 4.09 5/273 163584
/proc/meminfo: memFree=118184348/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=11883952 memory=9424692 CPUtime=50.91 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 1724852 0 0 0 4787 304 0 0 20 0 1 0 237388619 12169166848 2356173 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 2970988 2356173 7999 1 0 2942346 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 11888144 KiB
Current children cumulated memory: 9427636 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 163585
/proc/meminfo: memFree=116955548/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=12651324 memory=10625464 CPUtime=101.96 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 2100435 0 0 0 9790 406 0 0 20 0 1 0 237388619 12954955776 2656366 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3162831 2656366 8095 1 0 3134189 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 12655516 KiB
Current children cumulated memory: 10628408 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/271 163690
/proc/meminfo: memFree=103407132/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=12651324 memory=10625464 CPUtime=161.79 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 2100713 0 0 0 15771 408 0 0 20 0 1 0 237388619 12954955776 2656366 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3162831 2656366 8095 1 0 3134189 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 12655516 KiB
Current children cumulated memory: 10628408 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 163693
/proc/meminfo: memFree=101237576/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=12651324 memory=10625464 CPUtime=221.61 cores=1,3
/proc/163583/stat : 163583 (python3) R 163578 163578 162562 0 -1 4194304 2100880 0 0 0 21748 413 0 0 20 0 1 0 237388619 12954955776 2656366 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3162831 2656366 8095 1 0 3134189 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/163583/stat : 163583 (python3) S 163578 163578 162562 0 -1 4194304 2508054 0 0 0 50814 516 0 0 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
[pid=163709] ppid=163583 vsize=7671956 memory=6350520 CPUtime=2818.82 cores=1,3
/proc/163709/stat : 163709 (naps-1.03a6) R 163583 163709 163709 0 -1 4194304 2585610 0 0 0 280265 1617 0 0 20 0 1 0 237440102 7856082944 1587630 18446744073709551615 4198400 7047149 140729891744368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 7909376 140729891752335 140729891752433 140729891752433 140729891758025 0
/proc/163709/statm: 1917989 1587630 544 696 0 1917150 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 22136060 KiB
Current children cumulated memory: 18787036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 163926
/proc/meminfo: memFree=61170072/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=14459912 memory=12433572 CPUtime=513.3 cores=1,3
/proc/163583/stat : 163583 (python3) S 163578 163578 162562 0 -1 4194304 2508054 0 0 0 50814 516 0 0 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
[pid=163709] ppid=163583 vsize=7934100 memory=6561464 CPUtime=2878.62 cores=1,3
/proc/163709/stat : 163709 (naps-1.03a6) R 163583 163709 163709 0 -1 4194304 2590840 0 0 0 286227 1635 0 0 20 0 1 0 237440102 8124518400 1640366 18446744073709551615 4198400 7047149 140729891744368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 7909376 140729891752335 140729891752433 140729891752433 140729891758025 0
/proc/163709/statm: 1983525 1640366 544 696 0 1982686 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 22398204 KiB
Current children cumulated memory: 18997980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 163929
/proc/meminfo: memFree=61261416/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=14459912 memory=12433572 CPUtime=513.3 cores=1,3
/proc/163583/stat : 163583 (python3) S 163578 163578 162562 0 -1 4194304 2508054 0 0 0 50814 516 0 0 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
[pid=163709] ppid=163583 vsize=7934100 memory=6579900 CPUtime=2938.44 cores=1,3
/proc/163709/stat : 163709 (naps-1.03a6) R 163583 163709 163709 0 -1 4194304 2591428 0 0 0 292207 1637 0 0 20 0 1 0 237440102 8124518400 1644975 18446744073709551615 4198400 7047149 140729891744368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 7909376 140729891752335 140729891752433 140729891752433 140729891758025 0
/proc/163709/statm: 1983525 1644975 544 696 0 1982686 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 22398204 KiB
Current children cumulated memory: 19016416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 163933
/proc/meminfo: memFree=60318308/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=14459912 memory=12433572 CPUtime=513.3 cores=1,3
/proc/163583/stat : 163583 (python3) S 163578 163578 162562 0 -1 4194304 2508054 0 0 0 50814 516 0 0 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
[pid=163709] ppid=163583 vsize=7671956 memory=6340288 CPUtime=2998.27 cores=1,3
/proc/163709/stat : 163709 (naps-1.03a6) R 163583 163709 163709 0 -1 4194304 2593015 0 0 0 298184 1643 0 0 20 0 1 0 237440102 7856082944 1585072 18446744073709551615 4198400 7047149 140729891744368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 7909376 140729891752335 140729891752433 140729891752433 140729891758025 0
/proc/163709/statm: 1917989 1585072 544 696 0 1917150 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 22136060 KiB
Current children cumulated memory: 18776804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 163936
/proc/meminfo: memFree=57944920/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=14459912 memory=12433572 CPUtime=513.3 cores=1,3
/proc/163583/stat : 163583 (python3) S 163578 163578 162562 0 -1 4194304 2508054 0 0 0 50814 516 0 0 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
[pid=163709] ppid=163583 vsize=7934100 memory=6414016 CPUtime=3058.08 cores=1,3
/proc/163709/stat : 163709 (naps-1.03a6) R 163583 163709 163709 0 -1 4194304 2594299 0 0 0 304163 1645 0 0 20 0 1 0 237440102 8124518400 1603504 18446744073709551615 4198400 7047149 140729891744368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 7909376 140729891752335 140729891752433 140729891752433 140729891758025 0
/proc/163709/statm: 1983525 1603504 544 696 0 1982686 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 22398204 KiB
Current children cumulated memory: 18850532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 163938
/proc/meminfo: memFree=57809520/131250000 swapFree=33010416/33010684
[pid=163578] ppid=163575 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/163578/stat : 163578 (scip-naps-1.00.) S 163575 163578 162562 0 -1 4194304 257 340 0 0 0 0 0 1 20 0 1 0 237388616 4292608 736 18446744073709551615 94623045169152 94623046063685 140729857440768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94623046302736 94623046350480 94623052623872 140729857444255 140729857444352 140729857444352 140729857449956 0
/proc/163578/statm: 1048 736 672 219 0 110 0
[pid=163583] ppid=163578 vsize=14459912 memory=12433572 CPUtime=513.3 cores=1,3
/proc/163583/stat : 163583 (python3) S 163578 163578 162562 0 -1 4194304 2508054 0 0 0 50814 516 0 0 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
[pid=163709] ppid=163583 vsize=7934100 memory=6426304 CPUtime=3086.7 cores=1,3
/proc/163709/stat : 163709 (naps-1.03a6) R 163583 163709 163709 0 -1 4194304 2594549 0 0 0 307024 1646 0 0 20 0 1 0 237440102 8124518400 1606576 18446744073709551615 4198400 7047149 140729891744368 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 7909376 140729891752335 140729891752433 140729891752433 140729891758025 0
/proc/163709/statm: 1983525 1606576 544 696 0 1982686 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 22398204 KiB
Current children cumulated memory: 18862820 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 163578 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001284 s, system=0.016375 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.33 s]
# the end of solver process 163583 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3580.1 s, system=22.2507 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.21 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 163938
/proc/meminfo: memFree=64229428/131250000 swapFree=33010416/33010684
[pid=163583] ppid=163575 vsize=14459912 memory=12433572 CPUtime=3600.19 cores=1,3
/proc/163583/stat : 163583 (python3) R 163575 163578 162562 0 -1 4194304 2573139 2594550 0 0 50821 519 307024 1655 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
Current cumulated CPU time of completed processes: 0.017659 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 14459912 KiB
Current children cumulated memory: 12433572 KiB
[startup+3612 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 163938
/proc/meminfo: memFree=64224864/131250000 swapFree=33010416/33010684
[pid=163583] ppid=163575 vsize=14459912 memory=12433572 CPUtime=3600.99 cores=1,3
/proc/163583/stat : 163583 (python3) R 163575 163578 162562 0 -1 4194304 2790768 2594550 0 0 50892 528 307024 1655 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
Current cumulated CPU time of completed processes: 0.017659 s
Current children cumulated CPU time: 3600.99 s
Current children cumulated vsize: 14459912 KiB
Current children cumulated memory: 12433572 KiB
[startup+3612.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 163938
/proc/meminfo: memFree=64224864/131250000 swapFree=33010416/33010684
[pid=163583] ppid=163575 vsize=14459912 memory=12433572 CPUtime=3601.78 cores=1,3
/proc/163583/stat : 163583 (python3) R 163575 163578 162562 0 -1 4194304 2915166 2594550 0 0 50965 534 307024 1655 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
Current cumulated CPU time of completed processes: 0.017659 s
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 14459912 KiB
Current children cumulated memory: 12433572 KiB
[startup+3613 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 163938
/proc/meminfo: memFree=64220768/131250000 swapFree=33010416/33010684
[pid=163583] ppid=163575 vsize=14459912 memory=12433572 CPUtime=3601.98 cores=1,3
/proc/163583/stat : 163583 (python3) R 163575 163578 162562 0 -1 4194304 2940854 2594550 0 0 50984 535 307024 1655 20 0 1 0 237388619 14806949888 3108393 18446744073709551615 94575942569984 94575942570361 140724406365664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94575942581656 94575942582276 94575953059840 140724406372694 140724406372896 140724406372896 140724406378471 0
/proc/163583/statm: 3614978 3108393 8127 1 0 3586336 0
Current cumulated CPU time of completed processes: 0.017659 s
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 14459912 KiB
Current children cumulated memory: 12433572 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.33
CPU time (s): 3602.35
CPU user time (s): 3580.1
CPU system time (s): 22.2507
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 26830036
Max. memory (cumulated for all children) (KiB): 21798072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.1
system time used= 22.2507
maximum resident set size= 12469588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5536087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 141264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 7322
# summary of solver processes directly reported to runsolver:
# pid: 163578,163583
# total CPU time (s): 3602.35
# total CPU user time (s): 3580.1
# total CPU system time (s): 22.2507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48076 second user time and 18.9762 second system time
The end
Begin job on nodeC018 at 2025-07-22 22:45:08
IDJOB=4542436
IDBENCH=163926
IDSOLVER=3368
FILE ID=nodeC018/4542436-1753217107
RUNJOBID= nodeC018-1753209881-162574
SLURM_JOB_ID= 9687775
Free space on /tmp= 432924 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542436-1753217107/watcher-4542436-1753217107 -o /tmp/evaluation-result-4542436-1753217107/solver-4542436-1753217107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753209881-162574 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542436-1753217107.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7e0508be19eaed927bf3c4f26c43c105
RANDOM SEED=1613162073
nodeC018 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 : 0xb00002a
cpu MHz : 3599.824
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3600.149
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3619.164
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.828
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.788
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3599.532
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3598.655
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
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 : 0xb00002a
cpu MHz : 3473.071
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127635084 kB
MemAvailable: 128277340 kB
Buffers: 2128 kB
Cached: 1393004 kB
SwapCached: 28 kB
Active: 2550248 kB
Inactive: 314780 kB
Active(anon): 1495852 kB
Inactive(anon): 284 kB
Active(file): 1054396 kB
Inactive(file): 314496 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 76152 kB
Writeback: 0 kB
AnonPages: 1463992 kB
Mapped: 138024 kB
Shmem: 26240 kB
KReclaimable: 224804 kB
Slab: 320900 kB
SReclaimable: 224804 kB
SUnreclaim: 96096 kB
KernelStack: 4400 kB
PageTables: 6568 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5128428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1142784 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432544 MiB
End job on nodeC018 at 2025-07-22 23:45:21