517.40/519.01 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529906-1752260357.opb
517.40/519.01 c Solving mode: decision
517.40/519.01 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
517.40/519.01 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
517.40/519.01 c original problem has 2771456 variables (2771456 bin, 0 int, 0 impl, 0 cont) and 11850 constraints
517.40/519.01 c presolving:
517.40/519.01 c (round 1, fast) 3916 del vars, 2 del conss, 0 add conss, 3404 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 945927 clqs
517.40/519.01 c (round 2, exhaustive) 3916 del vars, 5414 del conss, 0 add conss, 3404 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 945927 clqs
517.40/519.01 c (round 3, exhaustive) 3916 del vars, 5414 del conss, 0 add conss, 3404 chg bounds, 0 chg sides, 0 chg coeffs, 6436 upgd conss, 0 impls, 946029 clqs
517.40/519.01 c (500.3s) probing: 952/2767028 (0.0%) - 0 fixings, 0 aggregations, 486070 implications, 0 bound changes
517.40/519.01 c (500.3s) probing aborted: solving stopped
517.40/519.01 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
517.40/519.01 c 4428 deleted vars, 5415 deleted constraints, 0 added constraints, 3404 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
517.40/519.01 c 0 implications, 946043 cliques
517.40/519.01 c presolving was interrupted.
517.40/519.01 c Presolving Time: 494.24
517.40/519.01 c presolving:
517.40/519.01 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
517.40/519.01 c 4428 deleted vars, 5415 deleted constraints, 0 added constraints, 3404 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
517.40/519.01 c 0 implications, 946043 cliques
517.40/519.01 c presolving was interrupted.
517.40/519.01 c Presolving Time: 494.24
517.40/519.01 c
517.40/519.01 c SCIP Status : solving was interrupted [time limit reached]
517.40/519.01 c Solving Time (sec) : 500.69
517.40/519.01 c Solving Nodes : 0
517.40/519.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
517.40/519.01 c ----------------------------------------------------------------------
517.40/519.01 c dual bound: -1e+20 -> -100000000000000000000
517.40/519.01 c primal bound: 1e+20 -> 100000000000000000000
517.40/519.01 c scip-goal-lb: -100000000000000000000
517.40/519.01 c scip-goal-ub: 100000000000000000000
517.40/519.01 c writing output to: HOME/tmp4bhqmbg2.opb
517.40/519.01 c appending fixed variable constraints
517.40/519.01 c scip-fixed vars: 0.16% (4428/2767028)
517.40/519.01 c ----------------------------------------------------------------------
517.40/519.01 c executing external solver: HOME/naps-1.03a6
517.40/519.01 c ----------------------------------------------------------------------
517.40/519.01 c command: HOME/naps-1.03a6 HOME/tmp4bhqmbg2.opb
517.62/519.38 c NaPS 1.03a6.
517.62/519.38 c Input file name: HOME/tmp4bhqmbg2.opb
847.80/850.11 c
847.80/850.11 c *** TERMINATED *** by signal 15
847.80/850.11 c s UNKNOWN
847.80/850.11 c _____________________________________________________________________________
847.80/850.11 c std/band forms : 103,0
847.80/850.11 c 2cl/3cl ITE-codings : 0,0
847.80/850.11 c BDD/srt/adr Max costs : 0,2302850,0
847.80/850.11 c BDDraw/bin/mul/srt/adr: 0,0,0,103,0
847.80/850.11 c BDD nodes : 0
847.80/850.11 c Es1/CC detections : 0,0
847.80/850.11 c CC sort : 0
847.80/850.11 c SAT/UNSAT calls : 0,0
847.80/850.11 c regenrated variables : 0
847.80/850.11 c eliminated fixed lits : 17172
847.80/850.11 c goal lit flips : 0
847.80/850.11 c goal stages : 0
847.80/850.11 c goal shrink : 0
847.80/850.11 c goal coeff separations: 0
847.80/850.11 c restarts : 0
847.80/850.11 c conflicts : 0 (0 /sec)
847.80/850.11 c decisions : 0 (0 /sec)
847.80/850.11 c propagations : 0 (0 /sec)
847.80/850.11 c inspects : 0 (0 /sec)
847.80/850.11 c CPU time (solving tm) : 323.7 s (0 s, SAT 0 s, UNSAT 0 s)
847.80/850.11 c Time for Opt-base : 59.52 s
847.80/850.11 c Steps for Opt-base : 325064480
847.80/850.11 c Time for BDD coding : 0 s
847.80/850.11 c Time for srt coding : 229.9 s
847.80/850.11 c _____________________________________________________________________________
847.80/850.11 c received SIGTERM, forwarding to pbsolver...
517.63/850.38 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: 63837 MiB (55989 MiB free)
memory of node 1: 64465 MiB (53759 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529906-1752260357/watcher-4529906-1752260357 -o /tmp/evaluation-result-4529906-1752260357/solver-4529906-1752260357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752258608-128091 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529906-1752260357.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=128830, runsolver pid=128827
[startup+0.100094 s]*
/proc/loadavg: 4.18 4.20 3.78 5/256 128835
/proc/meminfo: memFree=112380268/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=9800 memory=6528 CPUtime=0.01 cores=4,6
/proc/128835/stat : 128835 (python3) D 128830 128830 128080 0 -1 4456448 741 0 0 0 1 0 0 0 20 0 1 0 141715122 10035200 1632 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 2450 1632 1024 1 0 706 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13992 KiB
Current children cumulated memory: 9600 KiB
[startup+0.205953 s]*
/proc/loadavg: 4.18 4.20 3.78 5/256 128835
/proc/meminfo: memFree=112371460/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=60364 memory=22656 CPUtime=0.11 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 2705 0 0 0 9 2 0 0 20 0 1 0 141715122 61812736 5664 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 15091 5664 3360 1 0 3807 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 64556 KiB
Current children cumulated memory: 25728 KiB
[startup+0.305897 s]*
/proc/loadavg: 4.18 4.20 3.78 5/256 128835
/proc/meminfo: memFree=112236704/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=1188032 memory=33000 CPUtime=0.21 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 3968 0 0 0 18 3 0 0 20 0 1 0 141715122 1216544768 8250 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 297008 8250 4930 1 0 269000 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1192224 KiB
Current children cumulated memory: 36072 KiB
[startup+0.700329 s]
/proc/loadavg: 4.18 4.20 3.78 5/256 128835
/proc/meminfo: memFree=111965560/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=1304968 memory=155752 CPUtime=0.6 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 32142 0 0 0 48 12 0 0 20 0 1 0 141715122 1336287232 38938 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 326242 38938 7650 1 0 297600 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1309160 KiB
Current children cumulated memory: 158824 KiB
[startup+1.50042 s]
/proc/loadavg: 4.18 4.20 3.78 5/256 128835
/proc/meminfo: memFree=111536388/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=1726188 memory=576908 CPUtime=1.39 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 134886 0 0 0 104 35 0 0 20 0 1 0 141715122 1767616512 144227 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 431547 144227 7650 1 0 402905 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1730380 KiB
Current children cumulated memory: 579980 KiB
[startup+3.11333 s]
/proc/loadavg: 4.17 4.20 3.78 5/256 128835
/proc/meminfo: memFree=109743972/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=2902364 memory=1751248 CPUtime=3 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 423349 0 0 0 216 84 0 0 20 0 1 0 141715122 2972020736 437780 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 725591 437812 7650 1 0 696949 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2906556 KiB
Current children cumulated memory: 1754320 KiB
[startup+6.30039 s]
/proc/loadavg: 4.17 4.20 3.78 5/256 128835
/proc/meminfo: memFree=107812052/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=3854808 memory=2703636 CPUtime=6.18 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 649461 0 0 0 495 123 0 0 20 0 1 0 141715122 3947323392 675909 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 963702 675909 7650 1 0 935060 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 3859000 KiB
Current children cumulated memory: 2706708 KiB
[startup+12.7004 s]
/proc/loadavg: 4.23 4.21 3.79 5/256 128835
/proc/meminfo: memFree=101826860/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=7316712 memory=6163848 CPUtime=12.56 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 1470751 0 0 0 1005 251 0 0 20 0 1 0 141715122 7492313088 1540962 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 1829178 1540962 7810 1 0 1800536 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 7320904 KiB
Current children cumulated memory: 6166920 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.20 3.79 5/256 128835
/proc/meminfo: memFree=96306740/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=8301388 memory=7077064 CPUtime=25.32 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 1630014 0 0 0 2248 284 0 0 20 0 1 0 141715122 8500621312 1769266 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 2075347 1769266 7906 1 0 2046705 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 8305580 KiB
Current children cumulated memory: 7080136 KiB
[startup+51.1136 s]
/proc/loadavg: 4.25 4.22 3.81 5/256 128837
/proc/meminfo: memFree=92560536/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=8767672 memory=7382216 CPUtime=50.85 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 1679774 0 0 0 4789 296 0 0 20 0 1 0 141715122 8978096128 1845554 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 2191918 1845554 7906 1 0 2163276 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 8771864 KiB
Current children cumulated memory: 7385288 KiB
[startup+102.3 s]
/proc/loadavg: 4.75 4.36 3.88 5/257 128853
/proc/meminfo: memFree=75122852/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=13383300 memory=11795512 CPUtime=101.91 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 2498748 0 0 0 9749 442 0 0 20 0 1 0 141715122 13704499200 2948878 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3345825 2948878 7970 1 0 3317183 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 13387492 KiB
Current children cumulated memory: 11798584 KiB
[startup+162.3 s]
/proc/loadavg: 4.43 4.35 3.91 5/257 128859
/proc/meminfo: memFree=75093940/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=13383300 memory=11815852 CPUtime=161.74 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 2499419 0 0 0 15727 447 0 0 20 0 1 0 141715122 13704499200 2953963 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3345825 2953963 7970 1 0 3317183 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 13387492 KiB
Current children cumulated memory: 11818924 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.30 3.92 5/256 128861
/proc/meminfo: memFree=73548624/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=13383300 memory=11815852 CPUtime=221.58 cores=4,6
/proc/128835/stat : 128835 (python3) R 128830 128830 128080 0 -1 4194304 2499617 0 0 0 21706 452 0 0 20 0 1 0 141715122 13704499200 2953963 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3345825 2953963 7970 1 0 3317183 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 13387492 KiB
################
# More data... #
################
/proc/128835/stat : 128835 (python3) S 128830 128830 128080 0 -1 4194304 2888989 0 0 0 51203 554 0 0 20 0 1 0 141715122 15395442688 3365550 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3758653 3365550 8034 1 0 3730011 0
[pid=128874] ppid=128835 vsize=5789288 memory=5244016 CPUtime=63.01 cores=4,6
/proc/128874/stat : 128874 (naps-1.03a6) R 128835 128874 128874 0 -1 4194304 622499 0 0 0 6091 210 0 0 20 0 1 0 141767025 5928230912 1311004 18446744073709551615 4198400 7047149 140730582929808 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37629952 140730582935951 140730582936049 140730582936049 140730582941641 0
/proc/128874/statm: 1447322 1311004 544 696 0 1446483 0
Current children cumulated CPU time: 580.63 s
Current children cumulated vsize: 20828092 KiB
Current children cumulated memory: 18709288 KiB
[startup+642.3 s]
/proc/loadavg: 4.21 4.30 4.07 5/259 128878
/proc/meminfo: memFree=49069452/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=15034612 memory=13462200 CPUtime=517.57 cores=4,6
/proc/128835/stat : 128835 (python3) S 128830 128830 128080 0 -1 4194304 2888989 0 0 0 51203 554 0 0 20 0 1 0 141715122 15395442688 3365550 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3758653 3365550 8034 1 0 3730011 0
[pid=128874] ppid=128835 vsize=8690056 memory=7913776 CPUtime=122.87 cores=4,6
/proc/128874/stat : 128874 (naps-1.03a6) R 128835 128874 128874 0 -1 4194304 961557 0 0 0 11955 332 0 0 20 0 1 0 141767025 8898617344 1978444 18446744073709551615 4198400 7047149 140730582929808 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37629952 140730582935951 140730582936049 140730582936049 140730582941641 0
/proc/128874/statm: 2172514 1978444 544 696 0 2171675 0
Current children cumulated CPU time: 640.49 s
Current children cumulated vsize: 23728860 KiB
Current children cumulated memory: 21379048 KiB
[startup+702.3 s]
/proc/loadavg: 4.18 4.27 4.07 5/257 128931
/proc/meminfo: memFree=71521652/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=15034612 memory=13462200 CPUtime=517.57 cores=4,6
/proc/128835/stat : 128835 (python3) S 128830 128830 128080 0 -1 4194304 2888989 0 0 0 51203 554 0 0 20 0 1 0 141715122 15395442688 3365550 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3758653 3365550 8034 1 0 3730011 0
[pid=128874] ppid=128835 vsize=10875276 memory=9978672 CPUtime=182.74 cores=4,6
/proc/128874/stat : 128874 (naps-1.03a6) R 128835 128874 128874 0 -1 4194304 1311496 0 0 0 17857 417 0 0 20 0 1 0 141767025 11136282624 2494668 18446744073709551615 4198400 7047149 140730582929808 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37629952 140730582935951 140730582936049 140730582936049 140730582941641 0
/proc/128874/statm: 2718819 2494668 544 696 0 2717980 0
Current children cumulated CPU time: 700.36 s
Current children cumulated vsize: 25914080 KiB
Current children cumulated memory: 23443944 KiB
[startup+762.3 s]
/proc/loadavg: 4.16 4.25 4.08 5/257 128938
/proc/meminfo: memFree=68255432/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=15034612 memory=13462200 CPUtime=517.57 cores=4,6
/proc/128835/stat : 128835 (python3) S 128830 128830 128080 0 -1 4194304 2888989 0 0 0 51203 554 0 0 20 0 1 0 141715122 15395442688 3365550 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3758653 3365550 8034 1 0 3730011 0
[pid=128874] ppid=128835 vsize=14098476 memory=13458028 CPUtime=242.58 cores=4,6
/proc/128874/stat : 128874 (naps-1.03a6) R 128835 128874 128874 0 -1 4194304 1448596 0 0 0 23705 553 0 0 20 0 1 0 141767025 14436839424 3364507 18446744073709551615 4198400 7047149 140730582929808 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37629952 140730582935951 140730582936049 140730582936049 140730582941641 0
/proc/128874/statm: 3524619 3364507 544 696 0 3523780 0
Current children cumulated CPU time: 760.2 s
Current children cumulated vsize: 29137280 KiB
Current children cumulated memory: 26923300 KiB
[startup+822.3 s]
/proc/loadavg: 4.10 4.22 4.08 5/257 128940
/proc/meminfo: memFree=67254588/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=15034612 memory=13462200 CPUtime=517.57 cores=4,6
/proc/128835/stat : 128835 (python3) S 128830 128830 128080 0 -1 4194304 2888989 0 0 0 51203 554 0 0 20 0 1 0 141715122 15395442688 3365550 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3758653 3365550 8034 1 0 3730011 0
[pid=128874] ppid=128835 vsize=16293644 memory=14945312 CPUtime=302.44 cores=4,6
/proc/128874/stat : 128874 (naps-1.03a6) R 128835 128874 128874 0 -1 4194304 1704019 0 0 0 29623 621 0 0 20 0 1 0 141767025 16684691456 3736328 18446744073709551615 4198400 7047149 140730582929808 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37629952 140730582935951 140730582936049 140730582936049 140730582941641 0
/proc/128874/statm: 4073411 3736328 544 696 0 4072572 0
Current children cumulated CPU time: 820.06 s
Current children cumulated vsize: 31332448 KiB
Current children cumulated memory: 28410584 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+850.113 s]
/proc/loadavg: 4.11 4.21 4.08 5/258 128943
/proc/meminfo: memFree=64979108/131382116 swapFree=33009904/33010684
[pid=128830] ppid=128827 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/128830/stat : 128830 (scip-naps-1.00a) S 128827 128830 128080 0 -1 4194304 260 340 0 0 0 0 1 4 20 0 1 0 141715114 4292608 768 18446744073709551615 94490078355456 94490079249989 140722951380432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94490079489040 94490079536784 94490097770496 140722951387547 140722951387646 140722951387646 140722951393250 0
/proc/128830/statm: 1048 768 704 219 0 110 0
[pid=128835] ppid=128830 vsize=15034612 memory=13462200 CPUtime=517.57 cores=4,6
/proc/128835/stat : 128835 (python3) S 128830 128830 128080 0 -1 4194304 2888989 0 0 0 51203 554 0 0 20 0 1 0 141715122 15395442688 3365550 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3758653 3365550 8034 1 0 3730011 0
[pid=128874] ppid=128835 vsize=16705432 memory=15557804 CPUtime=330.18 cores=4,6
/proc/128874/stat : 128874 (naps-1.03a6) R 128835 128874 128874 0 -1 4194304 1808801 0 0 0 32371 647 0 0 20 0 1 0 141767025 17106362368 3889451 18446744073709551615 4198400 7047149 140730582929808 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37629952 140730582935951 140730582936049 140730582936049 140730582941641 0
/proc/128874/statm: 4176358 3889451 544 696 0 4175519 0
Current children cumulated CPU time: 847.8 s
Current children cumulated vsize: 31744236 KiB
Current children cumulated memory: 29023076 KiB
Sending SIGTERM to process tree (bottom up)
[startup+850.123 s]
# the end of solver process 128830 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.017962 s, system=0.042302 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+852.524 s]
# the end of solver process 128835 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=837.021 s, system=13.2049 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+851.2 s]
/proc/loadavg: 4.11 4.21 4.08 5/256 128943
/proc/meminfo: memFree=80474536/131382116 swapFree=33009904/33010684
[pid=128835] ppid=128827 vsize=15023732 memory=13408200 CPUtime=848.83 cores=4,6
/proc/128835/stat : 128835 (python3) R 128827 128830 128080 0 -1 4194304 3191915 1808803 0 0 51245 593 32371 674 20 0 1 0 141715122 15384301568 3352050 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3755933 3352050 8034 1 0 3727291 0
Current cumulated CPU time of completed processes: 0.060264 s
Current children cumulated CPU time: 848.83 s
Current children cumulated vsize: 15023732 KiB
Current children cumulated memory: 13408200 KiB
[startup+851.6 s]
/proc/loadavg: 4.11 4.21 4.08 5/256 128943
/proc/meminfo: memFree=80474536/131382116 swapFree=33009904/33010684
[pid=128835] ppid=128827 vsize=15023732 memory=13408200 CPUtime=849.22 cores=4,6
/proc/128835/stat : 128835 (python3) R 128827 128830 128080 0 -1 4194304 3223150 1808803 0 0 51282 595 32371 674 20 0 1 0 141715122 15384301568 3352050 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3755933 3352050 8034 1 0 3727291 0
Current cumulated CPU time of completed processes: 0.060264 s
Current children cumulated CPU time: 849.22 s
Current children cumulated vsize: 15023732 KiB
Current children cumulated memory: 13408200 KiB
[startup+852 s]*
/proc/loadavg: 4.11 4.21 4.08 5/256 128943
/proc/meminfo: memFree=80529016/131382116 swapFree=33009904/33010684
[pid=128835] ppid=128827 vsize=15023732 memory=13408200 CPUtime=849.64 cores=4,6
/proc/128835/stat : 128835 (python3) R 128827 128830 128080 0 -1 4194304 3283981 1808803 0 0 51319 600 32371 674 20 0 1 0 141715122 15384301568 3352050 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3755933 3352050 8034 1 0 3727291 0
Current cumulated CPU time of completed processes: 0.060264 s
Current children cumulated CPU time: 849.64 s
Current children cumulated vsize: 15023732 KiB
Current children cumulated memory: 13408200 KiB
[startup+852.113 s]
/proc/loadavg: 4.11 4.21 4.08 5/256 128943
/proc/meminfo: memFree=80529016/131382116 swapFree=33009904/33010684
[pid=128835] ppid=128827 vsize=15023732 memory=13408200 CPUtime=849.74 cores=4,6
/proc/128835/stat : 128835 (python3) R 128827 128830 128080 0 -1 4194304 3299220 1808803 0 0 51328 601 32371 674 20 0 1 0 141715122 15384301568 3352050 18446744073709551615 94873548427264 94873548427641 140721525085584 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94873548438936 94873548439556 94873572503552 140721525090639 140721525090848 140721525090848 140721525096423 0
/proc/128835/statm: 3755933 3352050 8034 1 0 3727291 0
Current cumulated CPU time of completed processes: 0.060264 s
Current children cumulated CPU time: 849.74 s
Current children cumulated vsize: 15023732 KiB
Current children cumulated memory: 13408200 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 852.524
CPU time (s): 850.226
CPU user time (s): 837.021
CPU system time (s): 13.2049
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 31744236
Max. memory (cumulated for all children) (KiB): 29402980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.021
system time used= 13.2049
maximum resident set size= 15937708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5108647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 271624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 896
# summary of solver processes directly reported to runsolver:
# pid: 128830,128835
# total CPU time (s): 850.226
# total CPU user time (s): 837.021
# total CPU system time (s): 13.2049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51366 second user time and 9.03127 second system time
The end
Begin job on nodeC004 at 2025-07-11 20:59:19
IDJOB=4529906
IDBENCH=160491
IDSOLVER=3388
FILE ID=nodeC004/4529906-1752260357
RUNJOBID= nodeC004-1752258608-128091
SLURM_JOB_ID= 9682614
Free space on /tmp= 431396 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm100p-dec.opb.negationfix.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529906-1752260357/watcher-4529906-1752260357 -o /tmp/evaluation-result-4529906-1752260357/solver-4529906-1752260357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752258608-128091 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529906-1752260357.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 87dcb6b5c21e845aafa503750cb7c14f
RANDOM SEED=256553221
nodeC004 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 : 3491.872
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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 : 3491.872
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.477
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.470
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.217
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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 : 3661.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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 : 3492.018
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.874
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 112451936 kB
MemAvailable: 113846428 kB
Buffers: 2128 kB
Cached: 2139856 kB
SwapCached: 32 kB
Active: 16543132 kB
Inactive: 1533304 kB
Active(anon): 15941660 kB
Inactive(anon): 10724 kB
Active(file): 601472 kB
Inactive(file): 1522580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 194320 kB
Writeback: 9716 kB
AnonPages: 15937476 kB
Mapped: 130780 kB
Shmem: 17932 kB
KReclaimable: 220132 kB
Slab: 310004 kB
SReclaimable: 220132 kB
SUnreclaim: 89872 kB
KernelStack: 4112 kB
PageTables: 34788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 20355968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5142528 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431380 MiB
End job on nodeC004 at 2025-07-11 21:13:32