997.20/1001.54 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4486621-1751324274.opb
997.20/1001.54 c Solving mode: optimization
997.20/1001.54 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.20/1001.54 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.20/1001.54 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 5250 constraints
997.20/1001.54 c presolving:
997.20/1001.54 c (round 1, exhaustive) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5232 upgd conss, 0 impls, 999 clqs
997.20/1001.54 c (round 2, exhaustive) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5249 upgd conss, 0 impls, 999 clqs
997.20/1001.54 c (0.1s) probing: 51/1999 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
997.20/1001.54 c (0.1s) probing aborted: 50/50 successive totally useless probings
997.20/1001.54 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.20/1001.54 c (0.1s) no symmetry present (symcode time: 0.00)
997.20/1001.54 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
997.20/1001.54 c 1 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
997.20/1001.54 c 0 implications, 999 cliques
997.20/1001.54 c presolved problem has 1999 variables (1999 bin, 0 int, 0 impl, 0 cont) and 5249 constraints
997.20/1001.54 c 999 constraints of type <setppc>
997.20/1001.54 c 4250 constraints of type <logicor>
997.20/1001.54 c transformed objective value is always integral (scale: 1)
997.20/1001.54 c Presolving Time: 0.05
997.20/1001.54 c
997.20/1001.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.20/1001.54 c 9.9s| 1 | 0 | 18906 | - | 28M | 0 |1999 |5282 |5249 | 0 | 0 | 33 | 0 | 6.656667e+02 | -- | Inf | unknown
997.20/1001.54 c 36.0s| 1 | 2 | 66613 | - | 44M | 0 |1999 |5499 |5249 | 0 | 1 | 50 | 20 | 6.659246e+02 | -- | Inf | unknown
997.20/1001.54 c 503s| 100 | 101 |831821 |7729.4 | 51M | 11 |1999 |5666 |5249 | 0 | 1 | 226 | 364 | 6.720000e+02 | -- | Inf | unknown
997.20/1001.54 c 811s| 200 | 201 | 1398k|6693.4 | 59M | 13 |1999 |5874 |5252 | 29 | 1 | 603 | 538 | 6.744321e+02 | -- | Inf | unknown
997.20/1001.54 c
997.20/1001.54 c SCIP Status : solving was interrupted [time limit reached]
997.20/1001.54 c Solving Time (sec) : 1000.00
997.20/1001.54 c Solving Nodes : 281
997.20/1001.54 c Primal Bound : +1.00000000000000e+20 (0 solutions)
997.20/1001.54 c Dual Bound : +6.74926192944525e+02
997.20/1001.54 c Gap : infinite
997.20/1001.54 c ----------------------------------------------------------------------
997.20/1001.54 c dual bound: 674.926192944525 -> 675
997.20/1001.54 c primal bound: 1e+20 -> 100000000000000000000
997.20/1001.54 c scip-goal-lb: 675
997.20/1001.54 c scip-goal-ub: 100000000000000000000
997.20/1001.54 c writing output to: HOME/tmp9xf8memn.opb
997.20/1001.54 c appending fixed variable constraints
997.20/1001.54 c scip-fixed vars: 0.05% (1/1999)
997.20/1001.54 c ----------------------------------------------------------------------
997.20/1001.54 c executing external solver: HOME/naps-1.03a6
997.20/1001.54 c ----------------------------------------------------------------------
997.20/1001.54 c command: HOME/naps-1.03a6 -goal-lb=675 -goal-ub=99999999999999999999 HOME/tmp9xf8memn.opb
997.20/1001.55 c NaPS 1.03a6.
997.20/1001.55 c Input file name: HOME/tmp9xf8memn.opb
997.25/1001.67 c single stage optimization mode
3600.04/3612.20 c
3600.04/3612.20 c *** TERMINATED *** by signal 15
3600.04/3612.20 c _____________________________________________________________________________
3600.04/3612.20 c std/band forms : 1,0
3600.04/3612.20 c 2cl/3cl ITE-codings : 0,0
3600.04/3612.20 c BDD/srt/adr Max costs : 0,114044,0
3600.04/3612.20 c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
3600.04/3612.20 c BDD nodes : 0
3600.04/3612.20 c Es1/CC detections : 0,0
3600.04/3612.20 c CC sort : 1
3600.04/3612.20 c SAT/UNSAT calls : 0,0
3600.04/3612.20 c regenrated variables : 0
3600.04/3612.20 c eliminated fixed lits : 3
3600.04/3612.20 c goal lit flips : 0
3600.04/3612.20 c goal stages : 1
3600.04/3612.20 c goal shrink : 0
3600.04/3612.20 c goal coeff separations: 0
3600.04/3612.20 c restarts : 0
3600.04/3612.20 c conflicts : 0 (0 /sec)
3600.04/3612.20 c decisions : 0 (0 /sec)
3600.04/3612.20 c propagations : 0 (0 /sec)
3600.04/3612.20 c inspects : 0 (0 /sec)
3600.04/3612.20 c CPU time (solving tm) : 2602 s (2602 s, SAT 0 s, UNSAT 0 s)
3600.04/3612.20 c Time for Opt-base : 0.000234 s
3600.04/3612.20 c Steps for Opt-base : 0
3600.04/3612.20 c Time for BDD coding : 0 s
3600.04/3612.20 c Time for srt coding : 0.006626 s
3600.04/3612.20 c _____________________________________________________________________________
3600.04/3612.20 s UNKNOWN
3600.04/3612.21 c received SIGTERM, forwarding to pbsolver...
3600.04/3612.21 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
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 (62866 MiB free)
memory of node 1: 64507 MiB (62443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486621-1751324274/watcher-4486621-1751324274 -o /tmp/evaluation-result-4486621-1751324274/solver-4486621-1751324274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751324274-42409 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486621-1751324274.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=42458, runsolver pid=42449
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.50 2.68 4.97 3/269 42483
/proc/meminfo: memFree=128311480/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=20336 memory=14208 CPUtime=0.02 cores=4,6
/proc/42479/stat : 42479 (python3) D 42458 42458 42398 0 -1 4194304 1883 0 0 0 2 0 0 0 20 0 1 0 48106988 20824064 3552 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 5084 3552 1984 1 0 1838 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 24528 KiB
Current children cumulated memory: 17280 KiB
[startup+0.204864 s]*
/proc/loadavg: 1.50 2.68 4.97 1/270 42484
/proc/meminfo: memFree=128311692/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=45028 memory=14464 CPUtime=0.02 cores=4,6
/proc/42479/stat : 42479 (python3) D 42458 42458 42398 0 -1 4194304 1899 0 5 0 2 0 0 0 20 0 1 0 48106988 46108672 3616 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 11257 3616 2048 1 0 3405 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 49220 KiB
Current children cumulated memory: 17536 KiB
[startup+0.304751 s]*
/proc/loadavg: 1.50 2.68 4.97 1/270 42484
/proc/meminfo: memFree=128311696/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=49716 memory=14592 CPUtime=0.02 cores=4,6
/proc/42479/stat : 42479 (python3) D 42458 42458 42398 0 -1 4194304 1906 0 7 0 2 0 0 0 20 0 1 0 48106988 50909184 3648 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 12429 3648 2080 1 0 3429 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 53908 KiB
Current children cumulated memory: 17664 KiB
[startup+0.700258 s]
/proc/loadavg: 1.50 2.68 4.97 1/272 42486
/proc/meminfo: memFree=128308168/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=75428 memory=23936 CPUtime=0.05 cores=4,6
/proc/42479/stat : 42479 (python3) D 42458 42458 42398 0 -1 4194304 2836 0 63 0 3 2 0 0 20 0 1 0 48106988 77238272 5984 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 1 0 0 17 6 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 18857 5984 3616 1 0 3880 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 79620 KiB
Current children cumulated memory: 27008 KiB
[startup+1.50016 s]
/proc/loadavg: 1.50 2.68 4.97 5/272 42486
/proc/meminfo: memFree=128288272/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1195588 memory=43012 CPUtime=0.13 cores=4,6
/proc/42479/stat : 42479 (python3) D 42458 42458 42398 0 -1 4194304 5268 0 135 0 9 4 0 0 20 0 1 0 48106988 1224282112 10753 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 1 0 0 17 6 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 298897 10753 6250 1 0 270255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 1199780 KiB
Current children cumulated memory: 46084 KiB
[startup+3.10519 s]
/proc/loadavg: 1.70 2.71 4.96 4/267 42494
/proc/meminfo: memFree=127887936/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1232728 memory=81796 CPUtime=1.7 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 13409 0 184 0 164 6 0 0 20 0 1 0 48106988 1262313472 20449 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 308182 20449 7946 1 0 279540 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 1236920 KiB
Current children cumulated memory: 84868 KiB
heavy processes:
[startup+6.30014 s]
/proc/loadavg: 1.70 2.71 4.96 5/272 42535
/proc/meminfo: memFree=127672052/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1234980 memory=83444 CPUtime=4.88 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 14050 0 185 0 481 7 0 0 20 0 1 0 48106988 1264619520 20861 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 308745 20861 7946 1 0 280103 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 1239172 KiB
Current children cumulated memory: 86516 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 2.14 2.77 4.96 5/272 42535
/proc/meminfo: memFree=127668756/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1235728 memory=84468 CPUtime=11.26 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 14333 0 185 0 1119 7 0 0 20 0 1 0 48106988 1265385472 21117 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 308932 21117 7946 1 0 280290 0
Current children cumulated CPU time: 11.26 s
Current children cumulated vsize: 1239920 KiB
Current children cumulated memory: 87540 KiB
[startup+25.5002 s]
/proc/loadavg: 2.42 2.81 4.95 5/272 42682
/proc/meminfo: memFree=127546524/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1236504 memory=85236 CPUtime=23.99 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 14522 0 185 0 2388 11 0 0 20 0 1 0 48106988 1266180096 21309 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 309126 21309 7946 1 0 280484 0
Current children cumulated CPU time: 23.99 s
Current children cumulated vsize: 1240696 KiB
Current children cumulated memory: 88308 KiB
[startup+51.1051 s]
/proc/loadavg: 2.96 2.90 4.92 5/271 42683
/proc/meminfo: memFree=127440748/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1277112 memory=123508 CPUtime=49.51 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 24054 0 185 0 4939 12 0 0 20 0 1 0 48106988 1307762688 30877 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 319278 30877 7978 1 0 290636 0
Current children cumulated CPU time: 49.51 s
Current children cumulated vsize: 1281304 KiB
Current children cumulated memory: 126580 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 3.12 4.88 5/271 42685
/proc/meminfo: memFree=127416292/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1280980 memory=128884 CPUtime=100.55 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 25420 0 185 0 10043 12 0 0 20 0 1 0 48106988 1311723520 32221 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 320245 32221 7978 1 0 291603 0
Current children cumulated CPU time: 100.55 s
Current children cumulated vsize: 1285172 KiB
Current children cumulated memory: 131956 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 3.28 4.82 5/271 42784
/proc/meminfo: memFree=126881164/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1280980 memory=129012 CPUtime=160.36 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 25429 0 185 0 16024 12 0 0 20 0 1 0 48106988 1311723520 32253 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 320245 32253 7978 1 0 291603 0
Current children cumulated CPU time: 160.36 s
Current children cumulated vsize: 1285172 KiB
Current children cumulated memory: 132084 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.43 4.77 5/272 42806
/proc/meminfo: memFree=126771140/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1281952 memory=129908 CPUtime=220.17 cores=4,6
/proc/42479/stat : 42479 (python3) R 42458 42458 42398 0 -1 4194304 25650 0 185 0 22005 12 0 0 20 0 1 0 48106988 1312718848 32477 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 320488 32477 7978 1 0 291846 0
################
# More data... #
################
[pid=42840] ppid=42479 vsize=156116 memory=147816 CPUtime=2154.27 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 70260 0 0 0 215393 34 0 0 20 0 1 0 48207139 159862784 36954 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 39029 36954 608 696 0 38190 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 1459140 KiB
Current children cumulated memory: 303824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.19 4.17 5/271 42952
/proc/meminfo: memFree=124655464/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=157644 memory=149352 CPUtime=2214.08 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 70642 0 0 0 221374 34 0 0 20 0 1 0 48207139 161427456 37338 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 39411 37338 608 696 0 38572 0
Current children cumulated CPU time: 3211.33 s
Current children cumulated vsize: 1460668 KiB
Current children cumulated memory: 305360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.17 4.16 6/272 42955
/proc/meminfo: memFree=124698744/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=136892 memory=128452 CPUtime=2273.9 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 72895 0 0 0 227354 36 0 0 20 0 1 0 48207139 140177408 32113 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 34223 32113 608 696 0 33384 0
Current children cumulated CPU time: 3271.15 s
Current children cumulated vsize: 1439916 KiB
Current children cumulated memory: 284460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/273 42958
/proc/meminfo: memFree=124769448/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=139048 memory=130800 CPUtime=2333.72 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 74275 0 0 0 233335 37 0 0 20 0 1 0 48207139 142385152 32700 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 34762 32700 608 696 0 33923 0
Current children cumulated CPU time: 3330.97 s
Current children cumulated vsize: 1442072 KiB
Current children cumulated memory: 286808 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/273 42960
/proc/meminfo: memFree=124857092/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=138516 memory=130404 CPUtime=2393.53 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 74688 0 0 0 239316 37 0 0 20 0 1 0 48207139 141840384 32601 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 34629 32601 608 696 0 33790 0
Current children cumulated CPU time: 3390.78 s
Current children cumulated vsize: 1441540 KiB
Current children cumulated memory: 286412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/273 42962
/proc/meminfo: memFree=124817988/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=159596 memory=151272 CPUtime=2453.35 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 74820 0 0 0 245297 38 0 0 20 0 1 0 48207139 163426304 37818 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 39899 37818 608 696 0 39060 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 1462620 KiB
Current children cumulated memory: 307280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/272 42964
/proc/meminfo: memFree=124850060/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=160016 memory=151784 CPUtime=2513.16 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 74925 0 0 0 251278 38 0 0 20 0 1 0 48207139 163856384 37946 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 40004 37946 608 696 0 39165 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 1463040 KiB
Current children cumulated memory: 307792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/271 42966
/proc/meminfo: memFree=124865368/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=120776 memory=112680 CPUtime=2572.98 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 76467 0 0 0 257258 40 0 0 20 0 1 0 48207139 123674624 28170 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 30194 28170 608 696 0 29355 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 1423800 KiB
Current children cumulated memory: 268688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.10 4.12 4.14 4/261 42979
/proc/meminfo: memFree=126788432/131249996 swapFree=33010416/33010684
[pid=42458] ppid=42449 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42458/stat : 42458 (scip-naps-1.00.) S 42449 42458 42398 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 48106984 4292608 768 18446744073709551615 94183442739200 94183443633733 140721050787040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94183443872784 94183443920528 94183457345536 140721050790305 140721050790402 140721050790402 140721050796004 0
/proc/42458/statm: 1048 768 704 219 0 110 0
[pid=42479] ppid=42458 vsize=1298832 memory=152936 CPUtime=997.25 cores=4,6
/proc/42479/stat : 42479 (python3) S 42458 42458 42398 0 -1 4194304 30916 0 186 0 99711 14 0 0 20 0 1 0 48106988 1330003968 38234 18446744073709551615 94828376342528 94828376342905 140729976627184 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94828376354200 94828376354820 94828396654592 140729976633703 140729976633890 140729976633890 140729976639463 0
/proc/42479/statm: 324708 38234 8010 1 0 296066 0
[pid=42840] ppid=42479 vsize=120848 memory=112752 CPUtime=2602.79 cores=4,6
/proc/42840/stat : 42840 (naps-1.03a6) R 42479 42840 42840 0 -1 4194304 77587 0 0 0 260238 41 0 0 20 0 1 0 48207139 123748352 28188 18446744073709551615 4198400 7047149 140731212823920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 31846400 140731212826982 140731212827123 140731212827123 140731212832713 0
/proc/42840/statm: 30212 28188 608 696 0 29373 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1423872 KiB
Current children cumulated memory: 268760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.22 s]
# the end of solver process 42458 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00036 s, system=0.006211 s
[startup+3612.23 s]
# the end of solver process 42479 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.566894 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.23
CPU time (s): 3600.09
CPU user time (s): 3599.52
CPU system time (s): 0.566894
CPU usage (%): 99.6639
Max. virtual memory (cumulated for all children) (KiB): 1488132
Max. memory (cumulated for all children) (KiB): 328388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.566894
maximum resident set size= 176860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111848
page faults= 186
swaps= 0
block input operations= 26728
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 995
involuntary context switches= 1450
# summary of solver processes directly reported to runsolver:
# pid: 42458,42479
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.566894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1226 second user time and 13.8236 second system time
The end
Begin job on nodeC030 at 2025-07-01 00:57:54
IDJOB=4486621
IDBENCH=147028
IDSOLVER=3368
FILE ID=nodeC030/4486621-1751324274
RUNJOBID= nodeC030-1751324274-42409
SLURM_JOB_ID= 9594345
Free space on /tmp= 433036 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486621-1751324274/watcher-4486621-1751324274 -o /tmp/evaluation-result-4486621-1751324274/solver-4486621-1751324274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751324274-42409 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486621-1751324274.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9f2b1fc4917344504b6167976088a05
RANDOM SEED=323246395
nodeC030 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 : 3600.350
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.373
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 : 7000.62
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 : 3597.052
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 : 7000.62
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 : 3600.156
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 : 7000.62
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.418
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 : 7000.62
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 : 3600.344
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 : 7000.62
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 : 3600.340
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 : 7000.62
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 : 3600.855
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128318772 kB
MemAvailable: 129756576 kB
Buffers: 2564 kB
Cached: 2232180 kB
SwapCached: 16 kB
Active: 363388 kB
Inactive: 1931860 kB
Active(anon): 73892 kB
Inactive(anon): 4660 kB
Active(file): 289496 kB
Inactive(file): 1927200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25596 kB
Writeback: 0 kB
AnonPages: 63588 kB
Mapped: 102832 kB
Shmem: 18048 kB
KReclaimable: 120292 kB
Slab: 206936 kB
SReclaimable: 120292 kB
SUnreclaim: 86644 kB
KernelStack: 4040 kB
PageTables: 2332 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC030 at 2025-07-01 01:58:06