513.28/514.92 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542443-1753217224.opb
513.28/514.92 c Solving mode: decision
513.28/514.92 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
513.28/514.92 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
513.28/514.92 c original problem has 2878950 variables (2878950 bin, 0 int, 0 impl, 0 cont) and 128479 constraints
513.28/514.92 c presolving:
513.28/514.92 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 69779 upgd conss, 0 impls, 58650 clqs
513.28/514.92 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 128479 upgd conss, 0 impls, 58650 clqs
513.28/514.92 c (40.7s) probing: 51/2878950 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
513.28/514.92 c (40.7s) probing aborted: 50/50 successive totally useless probings
513.28/514.92 c (42.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
513.28/514.92 c symmetry computation terminated early, because number of cells 100060 in Nauty exceeds limit of 100000
513.28/514.92 c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
513.28/514.92 c (58.1s) symmetry computation finished: 22 generators found (max: 22, log10 of symmetry group size: 0.0) (symcode time: 14.24)
513.28/514.92 c dynamic symmetry handling statistics:
513.28/514.92 c orbitopal reduction: no components
513.28/514.92 c orbital reduction: 1 components of sizes 21
513.28/514.92 c lexicographic reduction: 21 permutations with support sizes 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96
513.28/514.92 c handled 2 out of 2 symmetry components
513.28/514.92 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
513.28/514.92 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
513.28/514.92 c 0 implications, 58651 cliques
513.28/514.92 c presolved problem has 2878950 variables (2878950 bin, 0 int, 0 impl, 0 cont) and 128480 constraints
513.28/514.92 c 4952 constraints of type <knapsack>
513.28/514.92 c 58650 constraints of type <setppc>
513.28/514.92 c 1 constraints of type <linear>
513.28/514.92 c 64877 constraints of type <logicor>
513.28/514.92 c transformed objective value is always integral (scale: 1)
513.28/514.92 c Presolving Time: 55.01
513.28/514.92 c
513.28/514.92 c
513.28/514.92 c SCIP Status : solving was interrupted [time limit reached]
513.28/514.92 c Solving Time (sec) : 500.04
513.28/514.92 c Solving Nodes : 1
513.28/514.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
513.28/514.92 c Dual Bound : +0.00000000000000e+00
513.28/514.92 c Gap : infinite
513.28/514.92 c ----------------------------------------------------------------------
513.28/514.92 c dual bound: 0.0 -> 0
513.28/514.92 c primal bound: 1e+20 -> 100000000000000000000
513.28/514.92 c scip-goal-lb: 0
513.28/514.92 c scip-goal-ub: 100000000000000000000
513.28/514.92 c writing output to: HOME/tmpc7hlj_6t.opb
513.28/514.92 c appending fixed variable constraints
513.28/514.92 c scip-fixed vars: 0.00% (0/2878950)
513.28/514.92 c ----------------------------------------------------------------------
513.28/514.92 c executing external solver: HOME/naps-1.03a6
513.28/514.92 c ----------------------------------------------------------------------
513.28/514.92 c command: HOME/naps-1.03a6 HOME/tmpc7hlj_6t.opb
513.38/515.09 c NaPS 1.03a6.
513.38/515.09 c Input file name: HOME/tmpc7hlj_6t.opb
3600.04/3611.40 c
3600.04/3611.40 c *** TERMINATED *** by signal 15
3600.04/3611.40 c s UNKNOWN
3600.04/3611.40 c _____________________________________________________________________________
3600.04/3611.40 c std/band forms : 63602,0
3600.04/3611.40 c 2cl/3cl ITE-codings : 0,0
3600.04/3611.40 c BDD/srt/adr Max costs : 0,846,0
3600.04/3611.40 c BDDraw/bin/mul/srt/adr: 0,0,0,63602,0
3600.04/3611.40 c BDD nodes : 0
3600.04/3611.40 c Es1/CC detections : 0,0
3600.04/3611.40 c CC sort : 63602
3600.04/3611.40 c SAT/UNSAT calls : 0,0
3600.04/3611.40 c regenrated variables : 0
3600.04/3611.40 c eliminated fixed lits : 0
3600.04/3611.40 c goal lit flips : 0
3600.04/3611.40 c goal stages : 0
3600.04/3611.40 c goal shrink : 0
3600.04/3611.40 c goal coeff separations: 0
3600.04/3611.40 c restarts : 0
3600.04/3611.40 c conflicts : 0 (0 /sec)
3600.04/3611.40 c decisions : 0 (0 /sec)
3600.04/3611.40 c propagations : 0 (0 /sec)
3600.04/3611.40 c inspects : 0 (0 /sec)
3600.04/3611.40 c CPU time (solving tm) : 3070 s (3014 s, SAT 0 s, UNSAT 0 s)
3600.04/3611.40 c Time for Opt-base : 0.7379 s
3600.04/3611.40 c Steps for Opt-base : 0
3600.04/3611.40 c Time for BDD coding : 0 s
3600.04/3611.40 c Time for srt coding : 33.26 s
3600.04/3611.40 c _____________________________________________________________________________
3600.04/3611.40 c received SIGTERM, forwarding to pbsolver...
3600.04/3611.49 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59140 MiB free)
memory of node 1: 64507 MiB (52400 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542443-1753217224/watcher-4542443-1753217224 -o /tmp/evaluation-result-4542443-1753217224/solver-4542443-1753217224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174952 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542443-1753217224.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=175931, runsolver pid=175928
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.15 4.15 4.12 5/272 175936
/proc/meminfo: memFree=114209936/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=1176112 memory=27696 CPUtime=0.05 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 3099 0 0 0 4 1 0 0 20 0 1 0 237402326 1204338688 6924 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 294028 6924 4435 1 0 266125 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1180304 KiB
Current children cumulated memory: 30768 KiB
[startup+0.205633 s]*
/proc/loadavg: 4.15 4.15 4.12 5/272 175936
/proc/meminfo: memFree=114159788/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=1234524 memory=86064 CPUtime=0.14 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 14738 0 0 0 12 2 0 0 20 0 1 0 237402326 1264152576 21516 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 308631 21516 7635 1 0 279989 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1238716 KiB
Current children cumulated memory: 89136 KiB
[startup+0.305658 s]*
/proc/loadavg: 4.15 4.15 4.12 5/272 175936
/proc/meminfo: memFree=114079400/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=1319692 memory=168496 CPUtime=0.24 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 35369 0 0 0 19 5 0 0 20 0 1 0 237402326 1351364608 42124 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 329923 42124 7635 1 0 301281 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1323884 KiB
Current children cumulated memory: 171568 KiB
[startup+0.700216 s]
/proc/loadavg: 4.15 4.15 4.12 5/272 175936
/proc/meminfo: memFree=113942312/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=1596452 memory=446932 CPUtime=0.63 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 104442 0 0 0 48 15 0 0 20 0 1 0 237402326 1634766848 111733 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 399113 111733 7635 1 0 370471 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1600644 KiB
Current children cumulated memory: 450004 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.15 4.12 5/272 175936
/proc/meminfo: memFree=113580584/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=2151548 memory=1002380 CPUtime=1.43 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 236151 0 0 0 107 36 0 0 20 0 1 0 237402326 2203185152 250595 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 537887 250595 7635 1 0 509245 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 2155740 KiB
Current children cumulated memory: 1005452 KiB
[startup+3.10547 s]
/proc/loadavg: 4.14 4.14 4.12 6/272 175936
/proc/meminfo: memFree=112185488/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=3285132 memory=2133292 CPUtime=3.03 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 507647 0 0 0 227 76 0 0 20 0 1 0 237402326 3363975168 533323 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 821283 533323 7635 1 0 792641 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 3289324 KiB
Current children cumulated memory: 2136364 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.14 4.12 5/272 175936
/proc/meminfo: memFree=109826776/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=5885852 memory=4728152 CPUtime=6.22 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 1127128 0 0 0 458 164 0 0 20 0 1 0 237402326 6027112448 1182038 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 1471463 1182038 7795 1 0 1442821 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 5890044 KiB
Current children cumulated memory: 4731224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.12 6/272 175936
/proc/meminfo: memFree=107125140/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=8665060 memory=7247656 CPUtime=12.6 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 1622059 0 0 0 1017 243 0 0 20 0 1 0 237402326 8873021440 1811914 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 2166265 1811914 7859 1 0 2137623 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 8669252 KiB
Current children cumulated memory: 7250728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.11 5/272 175936
/proc/meminfo: memFree=106210148/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=9535828 memory=8116132 CPUtime=25.37 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 1671612 0 0 0 2273 264 0 0 20 0 1 0 237402326 9764687872 2029033 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 2383957 2029033 7923 1 0 2355315 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 9540020 KiB
Current children cumulated memory: 8119204 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.12 4.11 5/273 175938
/proc/meminfo: memFree=104800836/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=11880760 memory=9428220 CPUtime=50.91 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 1724299 0 0 0 4787 304 0 0 20 0 1 0 237402326 12165898240 2357055 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 2970190 2357055 7987 1 0 2941548 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 11884952 KiB
Current children cumulated memory: 9431292 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/272 175988
/proc/meminfo: memFree=99249556/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=12651264 memory=10629512 CPUtime=101.95 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 2097940 0 0 0 9792 403 0 0 20 0 1 0 237402326 12954894336 2657378 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3162816 2657378 8083 1 0 3134174 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 12655456 KiB
Current children cumulated memory: 10632584 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/271 176038
/proc/meminfo: memFree=90115668/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=12651264 memory=10629512 CPUtime=161.77 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 2098223 0 0 0 15771 406 0 0 20 0 1 0 237402326 12954894336 2657378 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3162816 2657378 8083 1 0 3134174 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 12655456 KiB
Current children cumulated memory: 10632584 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/270 176044
/proc/meminfo: memFree=87900872/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=12651264 memory=10629512 CPUtime=221.6 cores=5,7
/proc/175936/stat : 175936 (python3) R 175931 175931 174935 0 -1 4194304 2098381 0 0 0 21747 413 0 0 20 0 1 0 237402326 12954894336 2657378 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3162816 2657378 8083 1 0 3134174 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 22398144 KiB
Current children cumulated memory: 19059356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/271 176266
/proc/meminfo: memFree=47844788/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=14459852 memory=12437616 CPUtime=513.38 cores=5,7
/proc/175936/stat : 175936 (python3) S 175931 175931 174935 0 -1 4194304 2505084 0 0 0 50822 516 0 0 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
[pid=176056] ppid=175936 vsize=7671956 memory=6346284 CPUtime=2818.42 cores=5,7
/proc/176056/stat : 176056 (naps-1.03a6) R 175936 176056 176056 0 -1 4194304 2570557 0 0 0 280246 1596 0 0 20 0 1 0 237453824 7856082944 1586571 18446744073709551615 4198400 7047149 140721914613168 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 9244672 140721914620303 140721914620401 140721914620401 140721914625993 0
/proc/176056/statm: 1917989 1586571 544 696 0 1917150 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 22136000 KiB
Current children cumulated memory: 18786972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 176268
/proc/meminfo: memFree=47789016/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=14459852 memory=12437616 CPUtime=513.38 cores=5,7
/proc/175936/stat : 175936 (python3) S 175931 175931 174935 0 -1 4194304 2505084 0 0 0 50822 516 0 0 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
[pid=176056] ppid=175936 vsize=7934100 memory=6559276 CPUtime=2878.22 cores=5,7
/proc/176056/stat : 176056 (naps-1.03a6) R 175936 176056 176056 0 -1 4194304 2575622 0 0 0 286208 1614 0 0 20 0 1 0 237453824 8124518400 1639819 18446744073709551615 4198400 7047149 140721914613168 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 9244672 140721914620303 140721914620401 140721914620401 140721914625993 0
/proc/176056/statm: 1983525 1639819 544 696 0 1982686 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 22398144 KiB
Current children cumulated memory: 18999964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/271 176270
/proc/meminfo: memFree=47702920/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=14459852 memory=12437616 CPUtime=513.38 cores=5,7
/proc/175936/stat : 175936 (python3) S 175931 175931 174935 0 -1 4194304 2505084 0 0 0 50822 516 0 0 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
[pid=176056] ppid=175936 vsize=7934100 memory=6575664 CPUtime=2938.02 cores=5,7
/proc/176056/stat : 176056 (naps-1.03a6) R 175936 176056 176056 0 -1 4194304 2576147 0 0 0 292187 1615 0 0 20 0 1 0 237453824 8124518400 1643916 18446744073709551615 4198400 7047149 140721914613168 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 9244672 140721914620303 140721914620401 140721914620401 140721914625993 0
/proc/176056/statm: 1983525 1643916 544 696 0 1982686 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 22398144 KiB
Current children cumulated memory: 19016352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 176272
/proc/meminfo: memFree=47322996/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=14459852 memory=12437616 CPUtime=513.38 cores=5,7
/proc/175936/stat : 175936 (python3) S 175931 175931 174935 0 -1 4194304 2505084 0 0 0 50822 516 0 0 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
[pid=176056] ppid=175936 vsize=7671956 memory=6336052 CPUtime=2997.85 cores=5,7
/proc/176056/stat : 176056 (naps-1.03a6) R 175936 176056 176056 0 -1 4194304 2578133 0 0 0 298164 1621 0 0 20 0 1 0 237453824 7856082944 1584013 18446744073709551615 4198400 7047149 140721914613168 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 9244672 140721914620303 140721914620401 140721914620401 140721914625993 0
/proc/176056/statm: 1917989 1584013 544 696 0 1917150 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 22136000 KiB
Current children cumulated memory: 18776740 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 176277
/proc/meminfo: memFree=44483932/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=14459852 memory=12437616 CPUtime=513.38 cores=5,7
/proc/175936/stat : 175936 (python3) S 175931 175931 174935 0 -1 4194304 2505084 0 0 0 50822 516 0 0 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
[pid=176056] ppid=175936 vsize=7934100 memory=6411828 CPUtime=3057.66 cores=5,7
/proc/176056/stat : 176056 (naps-1.03a6) R 175936 176056 176056 0 -1 4194304 2579412 0 0 0 304143 1623 0 0 20 0 1 0 237453824 8124518400 1602957 18446744073709551615 4198400 7047149 140721914613168 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 9244672 140721914620303 140721914620401 140721914620401 140721914625993 0
/proc/176056/statm: 1983525 1602957 544 696 0 1982686 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 22398144 KiB
Current children cumulated memory: 18852516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/273 176279
/proc/meminfo: memFree=44401916/131250000 swapFree=33010416/33010684
[pid=175931] ppid=175928 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175931/stat : 175931 (scip-naps-1.00a) S 175928 175931 174935 0 -1 4194304 258 334 0 0 0 0 0 0 20 0 1 0 237402323 4292608 768 18446744073709551615 94605111021568 94605111916101 140726896362192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94605112155152 94605112202896 94605124648960 140726896368027 140726896368126 140726896368126 140726896373730 0
/proc/175931/statm: 1048 768 704 219 0 110 0
[pid=175936] ppid=175931 vsize=14459852 memory=12437616 CPUtime=513.38 cores=5,7
/proc/175936/stat : 175936 (python3) S 175931 175931 174935 0 -1 4194304 2505084 0 0 0 50822 516 0 0 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
[pid=176056] ppid=175936 vsize=7934100 memory=6422068 CPUtime=3086.66 cores=5,7
/proc/176056/stat : 176056 (naps-1.03a6) R 175936 176056 176056 0 -1 4194304 2579613 0 0 0 307043 1623 0 0 20 0 1 0 237453824 8124518400 1605517 18446744073709551615 4198400 7047149 140721914613168 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 9244672 140721914620303 140721914620401 140721914620401 140721914625993 0
/proc/176056/statm: 1983525 1605517 544 696 0 1982686 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 22398144 KiB
Current children cumulated memory: 18862756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 175931 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.006926 s, system=0.010751 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.73 s]
# the end of solver process 175936 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3580.35 s, system=22.0453 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+3612.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 176279
/proc/meminfo: memFree=50816392/131250000 swapFree=33010416/33010684
[pid=175936] ppid=175928 vsize=14459852 memory=12437616 CPUtime=3601.44 cores=5,7
/proc/175936/stat : 175936 (python3) R 175928 175931 174935 0 -1 4194304 2872349 2579614 0 0 50935 533 307043 1633 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
Current cumulated CPU time of completed processes: 0.017677 s
Current children cumulated CPU time: 3601.44 s
Current children cumulated vsize: 14459852 KiB
Current children cumulated memory: 12437616 KiB
[startup+3613.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 176279
/proc/meminfo: memFree=50808200/131250000 swapFree=33010416/33010684
[pid=175936] ppid=175928 vsize=14459852 memory=12437616 CPUtime=3601.84 cores=5,7
/proc/175936/stat : 175936 (python3) R 175928 175931 174935 0 -1 4194304 2915438 2579614 0 0 50972 536 307043 1633 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
Current cumulated CPU time of completed processes: 0.017677 s
Current children cumulated CPU time: 3601.84 s
Current children cumulated vsize: 14459852 KiB
Current children cumulated memory: 12437616 KiB
[startup+3613.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 176279
/proc/meminfo: memFree=50808200/131250000 swapFree=33010416/33010684
[pid=175936] ppid=175928 vsize=14459852 memory=12437616 CPUtime=3602.04 cores=5,7
/proc/175936/stat : 175936 (python3) R 175928 175931 174935 0 -1 4194304 2940368 2579614 0 0 50991 537 307043 1633 20 0 1 0 237402326 14806888448 3109404 18446744073709551615 94497466523648 94497466524025 140729827582464 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94497466535320 94497466535940 94497472495616 140729827588431 140729827588640 140729827588640 140729827594215 0
/proc/175936/statm: 3614963 3109404 8115 1 0 3586321 0
Current cumulated CPU time of completed processes: 0.017677 s
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 14459852 KiB
Current children cumulated memory: 12437616 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.73
CPU time (s): 3602.4
CPU user time (s): 3580.35
CPU system time (s): 22.0453
CPU usage (%): 99.6865
Max. virtual memory (cumulated for all children) (KiB): 26829976
Max. memory (cumulated for all children) (KiB): 21802412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.35
system time used= 22.0453
maximum resident set size= 12473592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5520588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 141264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 4884
# summary of solver processes directly reported to runsolver:
# pid: 175931,175936
# total CPU time (s): 3602.4
# total CPU user time (s): 3580.35
# total CPU system time (s): 22.0453
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75584 second user time and 17.3442 second system time
The end
Begin job on nodeC027 at 2025-07-22 22:47:04
IDJOB=4542443
IDBENCH=163926
IDSOLVER=3388
FILE ID=nodeC027/4542443-1753217224
RUNJOBID= nodeC027-1753210000-174952
SLURM_JOB_ID= 9687782
Free space on /tmp= 432908 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542443-1753217224/watcher-4542443-1753217224 -o /tmp/evaluation-result-4542443-1753217224/solver-4542443-1753217224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174952 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542443-1753217224.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7e0508be19eaed927bf3c4f26c43c105
RANDOM SEED=1658269562
nodeC027 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.673
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.29
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.631
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.29
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 : 3695.935
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.29
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 : 3598.491
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.634
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.29
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 : 3476.506
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.29
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.751
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.29
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 : 3599.438
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 114218240 kB
MemAvailable: 128225384 kB
Buffers: 2488 kB
Cached: 14773088 kB
SwapCached: 8 kB
Active: 2622476 kB
Inactive: 13676340 kB
Active(anon): 1546704 kB
Inactive(anon): 2788 kB
Active(file): 1075772 kB
Inactive(file): 13673552 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 76148 kB
Writeback: 0 kB
AnonPages: 1518800 kB
Mapped: 138220 kB
Shmem: 26252 kB
KReclaimable: 193720 kB
Slab: 289784 kB
SReclaimable: 193720 kB
SUnreclaim: 96064 kB
KernelStack: 4384 kB
PageTables: 6676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5218784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1116160 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432524 MiB
End job on nodeC027 at 2025-07-22 23:47:18