516.23/518.04 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529912-1752260350.opb
516.23/518.04 c Solving mode: decision
516.23/518.04 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
516.23/518.04 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
516.23/518.04 c original problem has 2766336 variables (2766336 bin, 0 int, 0 impl, 0 cont) and 11830 constraints
516.23/518.04 c presolving:
516.23/518.04 c (round 1, fast) 3874 del vars, 2 del conss, 0 add conss, 3362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 868110 clqs
516.23/518.04 c (round 2, exhaustive) 3874 del vars, 5404 del conss, 0 add conss, 3362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 868110 clqs
516.23/518.04 c (round 3, exhaustive) 3874 del vars, 5404 del conss, 0 add conss, 3362 chg bounds, 0 chg sides, 0 chg coeffs, 6426 upgd conss, 0 impls, 868209 clqs
516.23/518.04 c (500.3s) probing: 986/2761950 (0.0%) - 0 fixings, 0 aggregations, 503348 implications, 0 bound changes
516.23/518.04 c (500.3s) probing aborted: solving stopped
516.23/518.04 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
516.23/518.04 c 4386 deleted vars, 5405 deleted constraints, 0 added constraints, 3362 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
516.23/518.04 c 0 implications, 868265 cliques
516.23/518.04 c presolving was interrupted.
516.23/518.04 c Presolving Time: 494.88
516.23/518.04 c presolving:
516.23/518.04 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
516.23/518.04 c 4386 deleted vars, 5405 deleted constraints, 0 added constraints, 3362 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
516.23/518.04 c 0 implications, 868265 cliques
516.23/518.04 c presolving was interrupted.
516.23/518.04 c Presolving Time: 494.88
516.23/518.04 c
516.23/518.04 c SCIP Status : solving was interrupted [time limit reached]
516.23/518.04 c Solving Time (sec) : 500.76
516.23/518.04 c Solving Nodes : 0
516.23/518.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
516.23/518.04 c ----------------------------------------------------------------------
516.23/518.04 c dual bound: -1e+20 -> -100000000000000000000
516.23/518.04 c primal bound: 1e+20 -> 100000000000000000000
516.23/518.04 c scip-goal-lb: -100000000000000000000
516.23/518.04 c scip-goal-ub: 100000000000000000000
516.23/518.04 c writing output to: HOME/tmpdkw7o5dq.opb
516.23/518.04 c appending fixed variable constraints
516.23/518.04 c scip-fixed vars: 0.16% (4386/2761950)
516.23/518.04 c ----------------------------------------------------------------------
516.23/518.04 c executing external solver: HOME/naps-1.03a6
516.23/518.04 c ----------------------------------------------------------------------
516.23/518.04 c command: HOME/naps-1.03a6 HOME/tmpdkw7o5dq.opb
516.38/518.28 c NaPS 1.03a6.
516.38/518.28 c Input file name: HOME/tmpdkw7o5dq.opb
865.55/868.30 c
865.55/868.30 c *** TERMINATED *** by signal 15
865.55/868.30 c s UNKNOWN
865.55/868.30 c _____________________________________________________________________________
865.55/868.30 c std/band forms : 108,0
865.55/868.30 c 2cl/3cl ITE-codings : 0,0
865.55/868.30 c BDD/srt/adr Max costs : 612001,2284873,0
865.55/868.30 c BDDraw/bin/mul/srt/adr: 2,0,0,106,0
865.55/868.30 c BDD nodes : 614922
865.55/868.30 c Es1/CC detections : 0,0
865.55/868.30 c CC sort : 0
865.55/868.30 c SAT/UNSAT calls : 0,0
865.55/868.30 c regenrated variables : 0
865.55/868.30 c eliminated fixed lits : 14409
865.55/868.30 c goal lit flips : 0
865.55/868.30 c goal stages : 0
865.55/868.30 c goal shrink : 0
865.55/868.30 c goal coeff separations: 0
865.55/868.30 c restarts : 0
865.55/868.30 c conflicts : 0 (0 /sec)
865.55/868.30 c decisions : 0 (0 /sec)
865.55/868.30 c propagations : 0 (0 /sec)
865.55/868.30 c inspects : 0 (0 /sec)
865.55/868.30 c CPU time (solving tm) : 342.8 s (0 s, SAT 0 s, UNSAT 0 s)
865.55/868.30 c Time for Opt-base : 65.96 s
865.55/868.30 c Steps for Opt-base : 357921000
865.55/868.30 c Time for BDD coding : 2.82 s
865.55/868.30 c Time for srt coding : 241.5 s
865.55/868.30 c _____________________________________________________________________________
865.55/868.30 c received SIGTERM, forwarding to pbsolver...
516.40/868.58 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: 63708 MiB (40788 MiB free)
memory of node 1: 64465 MiB (60218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529912-1752260350/watcher-4529912-1752260350 -o /tmp/evaluation-result-4529912-1752260350/solver-4529912-1752260350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132452 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529912-1752260350.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=133424, runsolver pid=133421
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.10 4.09 4/272 133429
/proc/meminfo: memFree=103426868/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=127424 memory=26412 CPUtime=0.05 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 3040 0 0 0 4 1 0 0 20 0 1 0 141712694 130482176 6603 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 31856 6603 4146 1 0 3958 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 131616 KiB
Current children cumulated memory: 29356 KiB
[startup+0.205799 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 133429
/proc/meminfo: memFree=103394372/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=1235616 memory=87340 CPUtime=0.15 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 15052 0 0 0 12 3 0 0 20 0 1 0 141712694 1265270784 21835 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 308904 21835 7634 1 0 280262 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1239808 KiB
Current children cumulated memory: 90284 KiB
[startup+0.305684 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 133429
/proc/meminfo: memFree=103297604/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=1323432 memory=173740 CPUtime=0.25 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 36658 0 0 0 19 6 0 0 20 0 1 0 141712694 1355194368 43435 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 330858 43435 7634 1 0 302216 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1327624 KiB
Current children cumulated memory: 176684 KiB
[startup+0.700212 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 133429
/proc/meminfo: memFree=103128260/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=1642504 memory=492408 CPUtime=0.64 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 113766 0 0 0 46 18 0 0 20 0 1 0 141712694 1681924096 123102 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 410626 123102 7634 1 0 381984 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1646696 KiB
Current children cumulated memory: 495352 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 133429
/proc/meminfo: memFree=102717776/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=2322144 memory=1171124 CPUtime=1.44 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 278332 0 0 0 102 42 0 0 20 0 1 0 141712694 2377875456 292781 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 580536 292781 7634 1 0 551894 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2326336 KiB
Current children cumulated memory: 1174068 KiB
[startup+3.10558 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 133429
/proc/meminfo: memFree=101097920/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=3682992 memory=2532200 CPUtime=3.04 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 606348 0 0 0 210 94 0 0 20 0 1 0 141712694 3771383808 633050 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 920748 633050 7634 1 0 892106 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3687184 KiB
Current children cumulated memory: 2535144 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 133429
/proc/meminfo: memFree=100799560/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=4134732 memory=2963964 CPUtime=6.22 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 724390 0 0 0 510 112 0 0 20 0 1 0 141712694 4233965568 740991 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 1033683 740991 7794 1 0 1005041 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 4138924 KiB
Current children cumulated memory: 2966908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 133429
/proc/meminfo: memFree=97143744/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=7873404 memory=6654304 CPUtime=12.6 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 1525309 0 0 0 1028 232 0 0 20 0 1 0 141712694 8062365696 1663576 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 1968351 1663576 7858 1 0 1939709 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 7877596 KiB
Current children cumulated memory: 6657248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 133429
/proc/meminfo: memFree=96450636/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=8385500 memory=7160824 CPUtime=25.36 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 1648342 0 0 0 2284 252 0 0 20 0 1 0 141712694 8586752000 1790206 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 2096375 1790206 7890 1 0 2067733 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 8389692 KiB
Current children cumulated memory: 7163768 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 133429
/proc/meminfo: memFree=96207184/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=8723232 memory=7336224 CPUtime=50.86 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 1672784 0 0 0 4827 259 0 0 20 0 1 0 141712694 8932589568 1834056 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 2180808 1834056 7890 1 0 2152166 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 8727424 KiB
Current children cumulated memory: 7339168 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 133436
/proc/meminfo: memFree=91711008/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=13334016 memory=11762832 CPUtime=101.9 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 2489679 0 0 0 9776 414 0 0 20 0 1 0 141712694 13654032384 2940708 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3333504 2940708 7954 1 0 3304862 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 13338208 KiB
Current children cumulated memory: 11765776 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 133450
/proc/meminfo: memFree=91642540/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=13334016 memory=11762832 CPUtime=161.7 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 2489758 0 0 0 15755 415 0 0 20 0 1 0 141712694 13654032384 2940708 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3333504 2940708 7954 1 0 3304862 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 13338208 KiB
Current children cumulated memory: 11765776 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 133453
/proc/meminfo: memFree=91596920/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=13334016 memory=11762832 CPUtime=221.5 cores=0,2
/proc/133429/stat : 133429 (python3) R 133424 133424 132442 0 -1 4194304 2489791 0 0 0 21733 417 0 0 20 0 1 0 141712694 13654032384 2940708 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3333504 2940708 7954 1 0 3304862 0
Current children cumulated CPU time: 221.51 s
################
# More data... #
################
/proc/meminfo: memFree=82347896/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=14970692 memory=13400484 CPUtime=516.37 cores=0,2
/proc/133429/stat : 133429 (python3) S 133424 133424 132442 0 -1 4194304 2879402 0 0 0 51105 532 0 0 20 0 1 0 141712694 15329988608 3350121 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3742673 3350121 8018 1 0 3714031 0
[pid=133566] ppid=133429 vsize=7949432 memory=7595472 CPUtime=123.78 cores=0,2
/proc/133566/stat : 133566 (naps-1.03a6) R 133429 133566 133566 0 -1 4194304 916975 0 0 0 12069 309 0 0 20 0 1 0 141764507 8140218368 1898868 18446744073709551615 4198400 7047149 140722418683712 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19021824 140722418690447 140722418690545 140722418690545 140722418696137 0
/proc/133566/statm: 1987358 1898868 544 696 0 1986519 0
Current children cumulated CPU time: 640.16 s
Current children cumulated vsize: 22924316 KiB
Current children cumulated memory: 20998900 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 133576
/proc/meminfo: memFree=79642960/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=14970692 memory=13400484 CPUtime=516.37 cores=0,2
/proc/133429/stat : 133429 (python3) S 133424 133424 132442 0 -1 4194304 2879402 0 0 0 51105 532 0 0 20 0 1 0 141712694 15329988608 3350121 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3742673 3350121 8018 1 0 3714031 0
[pid=133566] ppid=133429 vsize=10672968 memory=9670792 CPUtime=183.62 cores=0,2
/proc/133566/stat : 133566 (naps-1.03a6) R 133429 133566 133566 0 -1 4194304 1268084 0 0 0 17969 393 0 0 20 0 1 0 141764507 10929119232 2417698 18446744073709551615 4198400 7047149 140722418683712 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19021824 140722418690447 140722418690545 140722418690545 140722418696137 0
/proc/133566/statm: 2668242 2417698 544 696 0 2667403 0
Current children cumulated CPU time: 700 s
Current children cumulated vsize: 25647852 KiB
Current children cumulated memory: 23074220 KiB
[startup+762.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 133582
/proc/meminfo: memFree=72908632/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=14970692 memory=13400484 CPUtime=516.37 cores=0,2
/proc/133429/stat : 133429 (python3) S 133424 133424 132442 0 -1 4194304 2879402 0 0 0 51105 532 0 0 20 0 1 0 141712694 15329988608 3350121 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3742673 3350121 8018 1 0 3714031 0
[pid=133566] ppid=133429 vsize=16655244 memory=15939816 CPUtime=243.45 cores=0,2
/proc/133566/stat : 133566 (naps-1.03a6) R 133429 133566 133566 0 -1 4194304 1420105 0 0 0 23809 536 0 0 20 0 1 0 141764507 17054969856 3984954 18446744073709551615 4198400 7047149 140722418683712 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19021824 140722418690447 140722418690545 140722418690545 140722418696137 0
/proc/133566/statm: 4163811 3984954 544 696 0 4162972 0
Current children cumulated CPU time: 759.83 s
Current children cumulated vsize: 31630128 KiB
Current children cumulated memory: 29343244 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 133584
/proc/meminfo: memFree=73862008/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=14970692 memory=13400484 CPUtime=516.37 cores=0,2
/proc/133429/stat : 133429 (python3) S 133424 133424 132442 0 -1 4194304 2879402 0 0 0 51105 532 0 0 20 0 1 0 141712694 15329988608 3350121 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3742673 3350121 8018 1 0 3714031 0
[pid=133566] ppid=133429 vsize=16081704 memory=14623228 CPUtime=303.29 cores=0,2
/proc/133566/stat : 133566 (naps-1.03a6) R 133429 133566 133566 0 -1 4194304 1658174 0 0 0 29731 598 0 0 20 0 1 0 141764507 16467664896 3655807 18446744073709551615 4198400 7047149 140722418683712 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19021824 140722418690447 140722418690545 140722418690545 140722418696137 0
/proc/133566/statm: 4020426 3655807 544 696 0 4019587 0
Current children cumulated CPU time: 819.67 s
Current children cumulated vsize: 31056588 KiB
Current children cumulated memory: 28026656 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+868.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 133587
/proc/meminfo: memFree=73084212/131250000 swapFree=33010160/33010684
[pid=133424] ppid=133421 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/133424/stat : 133424 (scip-naps-1.00a) S 133421 133424 132442 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 141712690 4292608 736 18446744073709551615 94909566615552 94909567510085 140728447120176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94909567749136 94909567796880 94909570248704 140728447125915 140728447126014 140728447126014 140728447131618 0
/proc/133424/statm: 1048 736 672 219 0 110 0
[pid=133429] ppid=133424 vsize=14970692 memory=13400484 CPUtime=516.37 cores=0,2
/proc/133429/stat : 133429 (python3) S 133424 133424 132442 0 -1 4194304 2879402 0 0 0 51105 532 0 0 20 0 1 0 141712694 15329988608 3350121 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3742673 3350121 8018 1 0 3714031 0
[pid=133566] ppid=133429 vsize=16771108 memory=15650428 CPUtime=349.17 cores=0,2
/proc/133566/stat : 133566 (naps-1.03a6) R 133429 133566 133566 0 -1 4194304 1834923 0 0 0 34276 641 0 0 20 0 1 0 141764507 17173614592 3912607 18446744073709551615 4198400 7047149 140722418683712 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 19021824 140722418690447 140722418690545 140722418690545 140722418696137 0
/proc/133566/statm: 4192777 3912607 544 696 0 4191938 0
Current children cumulated CPU time: 865.55 s
Current children cumulated vsize: 31745992 KiB
Current children cumulated memory: 29053856 KiB
Sending SIGTERM to process tree (bottom up)
[startup+868.309 s]
# the end of solver process 133424 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.009074 s, system=0.019741 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+870.748 s]
# the end of solver process 133429 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=855.288 s, system=12.739 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+868.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 133587
/proc/meminfo: memFree=76331688/131250000 swapFree=33010160/33010684
[pid=133429] ppid=133421 vsize=15013896 memory=13400484 CPUtime=866.03 cores=0,2
/proc/133429/stat : 133429 (python3) R 133421 133424 132442 0 -1 4194304 3143281 1834925 0 0 51115 543 34276 669 20 0 1 0 141712694 15374229504 3350121 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3753474 3350121 8018 1 0 3724832 0
Current cumulated CPU time of completed processes: 0.028815 s
Current children cumulated CPU time: 866.03 s
Current children cumulated vsize: 15013896 KiB
Current children cumulated memory: 13400484 KiB
[startup+869.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 133587
/proc/meminfo: memFree=88714004/131250000 swapFree=33010160/33010684
[pid=133429] ppid=133421 vsize=14959912 memory=13346500 CPUtime=866.84 cores=0,2
/proc/133429/stat : 133429 (python3) R 133421 133424 132442 0 -1 4194304 3247424 1834925 0 0 51188 551 34276 669 20 0 1 0 141712694 15318949888 3336625 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3739978 3336625 8018 1 0 3711336 0
Current cumulated CPU time of completed processes: 0.028815 s
Current children cumulated CPU time: 866.84 s
Current children cumulated vsize: 14959912 KiB
Current children cumulated memory: 13346500 KiB
[startup+870 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 133587
/proc/meminfo: memFree=88714140/131250000 swapFree=33010160/33010684
[pid=133429] ppid=133421 vsize=14959912 memory=13346500 CPUtime=867.24 cores=0,2
/proc/133429/stat : 133429 (python3) R 133421 133424 132442 0 -1 4194304 3312862 1834925 0 0 51224 555 34276 669 20 0 1 0 141712694 15318949888 3336625 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3739978 3336625 8018 1 0 3711336 0
Current cumulated CPU time of completed processes: 0.028815 s
Current children cumulated CPU time: 867.24 s
Current children cumulated vsize: 14959912 KiB
Current children cumulated memory: 13346500 KiB
[startup+870.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 133587
/proc/meminfo: memFree=88714140/131250000 swapFree=33010160/33010684
[pid=133429] ppid=133421 vsize=14959912 memory=13346500 CPUtime=867.43 cores=0,2
/proc/133429/stat : 133429 (python3) R 133421 133424 132442 0 -1 4194304 3344178 1834925 0 0 51242 556 34276 669 20 0 1 0 141712694 15318949888 3336625 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3739978 3336625 8018 1 0 3711336 0
Current cumulated CPU time of completed processes: 0.028815 s
Current children cumulated CPU time: 867.43 s
Current children cumulated vsize: 14959912 KiB
Current children cumulated memory: 13346500 KiB
[startup+870.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 133587
/proc/meminfo: memFree=88714140/131250000 swapFree=33010160/33010684
[pid=133429] ppid=133421 vsize=14959912 memory=13346500 CPUtime=867.53 cores=0,2
/proc/133429/stat : 133429 (python3) R 133421 133424 132442 0 -1 4194304 3359730 1834925 0 0 51251 557 34276 669 20 0 1 0 141712694 15318949888 3336625 18446744073709551615 93921781600256 93921781600633 140733787754416 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93921781611928 93921781612548 93921808146432 140733787760975 140733787761184 140733787761184 140733787766759 0
/proc/133429/statm: 3739978 3336625 8018 1 0 3711336 0
Current cumulated CPU time of completed processes: 0.028815 s
Current children cumulated CPU time: 867.53 s
Current children cumulated vsize: 14959912 KiB
Current children cumulated memory: 13346500 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 870.748
CPU time (s): 868.027
CPU user time (s): 855.288
CPU system time (s): 12.739
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 31745992
Max. memory (cumulated for all children) (KiB): 29343244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 855.288
system time used= 12.739
maximum resident set size= 15939816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5195267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 271096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339
involuntary context switches= 1959
# summary of solver processes directly reported to runsolver:
# pid: 133424,133429
# total CPU time (s): 868.027
# total CPU user time (s): 855.288
# total CPU system time (s): 12.739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51419 second user time and 4.45718 second system time
The end
Begin job on nodeC016 at 2025-07-11 20:59:11
IDJOB=4529912
IDBENCH=160490
IDSOLVER=3388
FILE ID=nodeC016/4529912-1752260350
RUNJOBID= nodeC016-1752256628-132452
SLURM_JOB_ID= 9682603
Free space on /tmp= 430428 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529912-1752260350/watcher-4529912-1752260350 -o /tmp/evaluation-result-4529912-1752260350/solver-4529912-1752260350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132452 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529912-1752260350.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e74907d75b3430f44949ac6e798f9f2
RANDOM SEED=1101283105
nodeC016 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.731
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.48
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 : 3599.740
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.48
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 : 3636.151
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.48
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 : 3601.218
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.48
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 : 3600.036
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.48
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.722
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.48
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 : 3599.507
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.48
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 : 3584.970
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 103431032 kB
MemAvailable: 115810680 kB
Buffers: 2144 kB
Cached: 13091432 kB
SwapCached: 28 kB
Active: 14471864 kB
Inactive: 12356888 kB
Active(anon): 13751116 kB
Inactive(anon): 2112 kB
Active(file): 720748 kB
Inactive(file): 12354776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 141068 kB
Writeback: 0 kB
AnonPages: 13736420 kB
Mapped: 131284 kB
Shmem: 18044 kB
KReclaimable: 286728 kB
Slab: 384064 kB
SReclaimable: 286728 kB
SUnreclaim: 97336 kB
KernelStack: 4384 kB
PageTables: 30700 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 19224628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6129664 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= 430292 MiB
End job on nodeC016 at 2025-07-11 21:13:42