997.75/1000.70 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4523989-1751595602.opb
997.75/1000.70 c Solving mode: optimization
997.75/1000.70 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.75/1000.70 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.75/1000.70 c original problem has 35169 variables (35169 bin, 0 int, 0 impl, 0 cont) and 28729 constraints
997.75/1000.70 c presolving:
997.75/1000.70 c (round 1, fast) 6273 del vars, 6273 del conss, 112 add conss, 0 chg bounds, 560 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 2800 clqs
997.75/1000.70 c (round 2, exhaustive) 6273 del vars, 6273 del conss, 112 add conss, 0 chg bounds, 560 chg sides, 3248 chg coeffs, 22344 upgd conss, 0 impls, 2800 clqs
997.75/1000.70 c (round 3, medium) 6273 del vars, 28225 del conss, 44016 add conss, 0 chg bounds, 560 chg sides, 3248 chg coeffs, 22344 upgd conss, 0 impls, 46704 clqs
997.75/1000.70 c (round 4, exhaustive) 6273 del vars, 28225 del conss, 44016 add conss, 0 chg bounds, 560 chg sides, 3248 chg coeffs, 22456 upgd conss, 0 impls, 46704 clqs
997.75/1000.70 c (11.8s) probing: 1000/28896 (3.5%) - 0 fixings, 0 aggregations, 445554 implications, 0 bound changes
997.75/1000.70 c (11.8s) probing: 1001/28896 (3.5%) - 0 fixings, 0 aggregations, 446000 implications, 0 bound changes
997.75/1000.70 c (11.8s) probing aborted: 1000/1000 successive useless probings
997.75/1000.70 c (11.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.75/1000.70 c (12.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.08)
997.75/1000.70 c dynamic symmetry handling statistics:
997.75/1000.70 c orbitopal reduction: no components
997.75/1000.70 c orbital reduction: 1 components of sizes 2
997.75/1000.70 c lexicographic reduction: 2 permutations with support sizes 28896, 28400
997.75/1000.70 c handled 1 out of 1 symmetry components
997.75/1000.70 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
997.75/1000.70 c 6273 deleted vars, 28225 deleted constraints, 44016 added constraints, 0 tightened bounds, 0 added holes, 560 changed sides, 3248 changed coefficients
997.75/1000.70 c 0 implications, 101977 cliques
997.75/1000.70 c presolved problem has 28896 variables (28896 bin, 0 int, 0 impl, 0 cont) and 44520 constraints
997.75/1000.70 c 44016 constraints of type <setppc>
997.75/1000.70 c 112 constraints of type <linear>
997.75/1000.70 c 392 constraints of type <logicor>
997.75/1000.70 c transformed objective value is always integral (scale: 1)
997.75/1000.70 c Presolving Time: 12.02
997.75/1000.70 c
997.75/1000.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.75/1000.70 c 123s| 1 | 0 | 36322 | - | 528M | 0 | 28k| 44k| 44k| 0 | 0 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 306s| 1 | 0 |126244 | - | 554M | 0 | 28k| 44k| 44k| 49 | 1 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 434s| 1 | 0 |143868 | - | 566M | 0 | 28k| 44k| 44k| 102 | 2 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 588s| 1 | 0 |162074 | - | 575M | 0 | 28k| 44k| 44k| 148 | 3 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 730s| 1 | 0 |179968 | - | 582M | 0 | 28k| 44k| 44k| 186 | 4 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 861s| 1 | 0 |196125 | - | 590M | 0 | 28k| 44k| 44k| 216 | 5 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 995s| 1 | 0 |211862 | - | 597M | 0 | 28k| 44k| 44k| 248 | 6 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c 1000s| 1 | 0 |211862 | - | 597M | 0 | 28k| 44k| 44k| 262 | 7 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
997.75/1000.70 c (node 1) LP solver hit time limit in LP 12 -- using pseudo solution instead
997.75/1000.70 c
997.75/1000.70 c SCIP Status : solving was interrupted [time limit reached]
997.75/1000.70 c Solving Time (sec) : 1000.00
997.75/1000.70 c Solving Nodes : 1
997.75/1000.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
997.75/1000.70 c Dual Bound : +0.00000000000000e+00
997.75/1000.70 c Gap : infinite
997.75/1000.70 c ----------------------------------------------------------------------
997.75/1000.70 c dual bound: 0.0 -> 0
997.75/1000.70 c primal bound: 1e+20 -> 100000000000000000000
997.75/1000.70 c scip-goal-lb: 0
997.75/1000.70 c scip-goal-ub: 100000000000000000000
997.75/1000.70 c writing output to: HOME/tmpp2yzqyli.opb
997.75/1000.70 c appending fixed variable constraints
997.75/1000.70 c scip-fixed vars: 0.00% (1/28896)
997.75/1000.70 c ----------------------------------------------------------------------
997.75/1000.70 c executing external solver: HOME/naps-1.03a6
997.75/1000.70 c ----------------------------------------------------------------------
997.75/1000.70 c command: HOME/naps-1.03a6 -goal-lb=0 -goal-ub=99999999999999999999 HOME/tmpp2yzqyli.opb
997.75/1000.72 c NaPS 1.03a6.
997.75/1000.72 c Input file name: HOME/tmpp2yzqyli.opb
1000.04/1003.05 c single stage optimization mode
3600.05/3610.70 c
3600.05/3610.70 c *** TERMINATED *** by signal 15
3600.05/3610.70 c _____________________________________________________________________________
3600.05/3610.70 c std/band forms : 22064,112
3600.05/3610.70 c 2cl/3cl ITE-codings : 0,203952
3600.05/3610.70 c BDD/srt/adr Max costs : 2022,928,0
3600.05/3610.70 c BDDraw/bin/mul/srt/adr: 21952,0,112,112,0
3600.05/3610.70 c BDD nodes : 292544
3600.05/3610.70 c Es1/CC detections : 0,0
3600.05/3610.70 c CC sort : 112
3600.05/3610.70 c SAT/UNSAT calls : 0,0
3600.05/3610.70 c regenrated variables : 0
3600.05/3610.70 c eliminated fixed lits : 2
3600.05/3610.70 c goal lit flips : 0
3600.05/3610.70 c goal stages : 1
3600.05/3610.70 c goal shrink : 0
3600.05/3610.70 c goal coeff separations: 0
3600.05/3610.70 c restarts : 0
3600.05/3610.70 c conflicts : 0 (0 /sec)
3600.05/3610.70 c decisions : 0 (0 /sec)
3600.05/3610.70 c propagations : 0 (0 /sec)
3600.05/3610.70 c inspects : 0 (0 /sec)
3600.05/3610.70 c CPU time (solving tm) : 2601 s (2599 s, SAT 0 s, UNSAT 0 s)
3600.05/3610.70 c Time for Opt-base : 0.09325 s
3600.05/3610.70 c Steps for Opt-base : 307440
3600.05/3610.70 c Time for BDD coding : 1.419 s
3600.05/3610.70 c Time for srt coding : 0.00985 s
3600.05/3610.70 c _____________________________________________________________________________
3600.05/3610.71 c received SIGTERM, forwarding to pbsolver...
3600.05/3610.71 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (56927 MiB free)
memory of node 1: 64465 MiB (27710 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523989-1751595602/watcher-4523989-1751595602 -o /tmp/evaluation-result-4523989-1751595602/solver-4523989-1751595602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751592140-93468 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4523989-1751595602.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=94059, runsolver pid=94056
[startup+0.100108 s]*
/proc/loadavg: 4.14 4.12 4.03 5/256 94064
/proc/meminfo: memFree=86663428/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=18828 memory=11008 CPUtime=0.06 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 1664 0 0 0 5 1 0 0 20 0 1 0 75239316 19279872 2720 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 4707 2720 1312 1 0 1562 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 23020 KiB
Current children cumulated memory: 14080 KiB
[startup+0.213577 s]*
/proc/loadavg: 4.14 4.12 4.03 5/256 94064
/proc/meminfo: memFree=86657408/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1186492 memory=31312 CPUtime=0.17 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 3581 0 0 0 14 3 0 0 20 0 1 0 75239316 1214967808 7828 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 296623 7828 4884 1 0 268645 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190684 KiB
Current children cumulated memory: 34384 KiB
[startup+0.313624 s]*
/proc/loadavg: 4.14 4.12 4.03 5/256 94064
/proc/meminfo: memFree=86653628/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1190880 memory=36176 CPUtime=0.26 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 4577 0 0 0 23 3 0 0 20 0 1 0 75239316 1219461120 9044 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 297720 9044 5140 1 0 269611 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1195072 KiB
Current children cumulated memory: 39248 KiB
[startup+0.700438 s]
/proc/loadavg: 4.14 4.12 4.03 5/256 94064
/proc/meminfo: memFree=86611292/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1286180 memory=137424 CPUtime=0.63 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 27406 0 0 0 53 10 0 0 20 0 1 0 75239316 1317048320 34356 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 321545 34356 7828 1 0 292903 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1290372 KiB
Current children cumulated memory: 140496 KiB
[startup+1.50042 s]
/proc/loadavg: 4.14 4.12 4.03 5/256 94064
/proc/meminfo: memFree=86525352/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1382384 memory=228944 CPUtime=1.43 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 50248 0 0 0 128 15 0 0 20 0 1 0 75239316 1415561216 57236 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 345596 57236 7956 1 0 316954 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1386576 KiB
Current children cumulated memory: 232016 KiB
[startup+3.11316 s]
/proc/loadavg: 4.13 4.12 4.03 5/256 94064
/proc/meminfo: memFree=85825036/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1428044 memory=272468 CPUtime=3.04 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 60318 0 0 0 287 17 0 0 20 0 1 0 75239316 1462317056 68117 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 357011 68117 7956 1 0 328369 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1432236 KiB
Current children cumulated memory: 275540 KiB
[startup+6.30042 s]
/proc/loadavg: 4.13 4.12 4.03 5/256 94064
/proc/meminfo: memFree=85567176/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1429068 memory=273492 CPUtime=6.22 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 60581 0 0 0 605 17 0 0 20 0 1 0 75239316 1463365632 68373 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 357267 68373 7956 1 0 328625 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1433260 KiB
Current children cumulated memory: 276564 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.12 4.03 5/256 94064
/proc/meminfo: memFree=85559336/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1600852 memory=373248 CPUtime=12.59 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 88140 0 0 0 1238 21 0 0 20 0 1 0 75239316 1639272448 93312 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 400468 93312 8020 1 0 371826 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1605044 KiB
Current children cumulated memory: 376320 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.03 5/256 94064
/proc/meminfo: memFree=85418468/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1769648 memory=515672 CPUtime=25.33 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 124678 0 0 0 2506 27 0 0 20 0 1 0 75239316 1812119552 128918 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 442412 128918 8148 1 0 413770 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 1773840 KiB
Current children cumulated memory: 518744 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 4.12 4.03 5/256 94065
/proc/meminfo: memFree=85504208/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1769648 memory=516056 CPUtime=50.85 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 124782 0 0 0 5058 27 0 0 20 0 1 0 75239316 1812119552 129014 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 442412 129014 8148 1 0 413770 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1773840 KiB
Current children cumulated memory: 519128 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/257 94068
/proc/meminfo: memFree=85499436/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1775080 memory=521768 CPUtime=101.88 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 125179 0 0 0 10161 27 0 0 20 0 1 0 75239316 1817681920 130442 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 443770 130442 8148 1 0 415128 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1779272 KiB
Current children cumulated memory: 524840 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/257 94070
/proc/meminfo: memFree=84902916/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1777792 memory=523176 CPUtime=161.71 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 125549 0 0 0 16144 27 0 0 20 0 1 0 75239316 1820459008 130794 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 444448 130794 8148 1 0 415806 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1781984 KiB
Current children cumulated memory: 526248 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/257 94072
/proc/meminfo: memFree=84830864/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1840600 memory=580320 CPUtime=221.53 cores=4,6
/proc/94064/stat : 94064 (python3) R 94059 94059 93457 0 -1 4194304 135827 0 0 0 22123 30 0 0 20 0 1 0 75239316 1884774400 145080 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 460150 145080 8148 1 0 431508 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1844792 KiB
################
# More data... #
################
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160699 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160699 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=301864 memory=296260 CPUtime=2274.83 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 109702 0 0 0 227376 107 0 0 20 0 1 0 75339384 309108736 74065 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 75466 74065 608 696 0 74627 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 2220184 KiB
Current children cumulated memory: 942128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.34 4.36 4.23 5/257 94472
/proc/meminfo: memFree=93066332/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1914128 memory=642796 CPUtime=997.76 cores=4,6
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160699 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160699 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=343604 memory=337904 CPUtime=2334.66 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 111073 0 0 0 233357 109 0 0 20 0 1 0 75339384 351850496 84476 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 85901 84476 608 696 0 85062 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 2261924 KiB
Current children cumulated memory: 983772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.31 4.22 5/258 94479
/proc/meminfo: memFree=92738344/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1914128 memory=642796 CPUtime=997.76 cores=4,6
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160699 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160699 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=387612 memory=381912 CPUtime=2394.48 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 112387 0 0 0 239335 113 0 0 20 0 1 0 75339384 396914688 95478 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 96903 95478 608 696 0 96064 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 2305932 KiB
Current children cumulated memory: 1027780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.26 4.21 5/258 94483
/proc/meminfo: memFree=92963268/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1914128 memory=642796 CPUtime=997.76 cores=4,6
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160699 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160699 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=449456 memory=443852 CPUtime=2454.32 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 113405 0 0 0 245314 118 0 0 20 0 1 0 75339384 460242944 110963 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 112364 110963 608 696 0 111525 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 2367776 KiB
Current children cumulated memory: 1089720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.24 4.20 5/257 94534
/proc/meminfo: memFree=99946120/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1914128 memory=642796 CPUtime=997.76 cores=4,6
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160699 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160699 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=346144 memory=340540 CPUtime=2514.14 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 115006 0 0 0 251292 122 0 0 20 0 1 0 75339384 354451456 85135 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 86536 85135 608 696 0 85697 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 2264464 KiB
Current children cumulated memory: 986408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/257 94536
/proc/meminfo: memFree=85304316/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1914128 memory=642796 CPUtime=997.76 cores=4,6
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160699 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160699 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=353176 memory=347476 CPUtime=2573.97 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 116267 0 0 0 257272 125 0 0 20 0 1 0 75339384 361652224 86869 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 88294 86869 608 696 0 87455 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 2271496 KiB
Current children cumulated memory: 993344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.22 4.24 4.20 5/257 94537
/proc/meminfo: memFree=84314468/131382112 swapFree=33005784/33010684
[pid=94059] ppid=94056 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/94059/stat : 94059 (scip-naps-1.00.) S 94056 94059 93457 0 -1 4194304 254 343 0 0 0 0 0 0 20 0 1 0 75239313 4292608 768 18446744073709551615 94070883807232 94070884701765 140736276567216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94070884940816 94070884988560 94070887264256 140736276568481 140736276568578 140736276568578 140736276574180 0
/proc/94059/statm: 1048 768 704 219 0 110 0
[pid=94064] ppid=94059 vsize=1914128 memory=642924 CPUtime=997.76 cores=4,6
/proc/94064/stat : 94064 (python3) S 94059 94059 93457 0 -1 4194304 147311 0 0 0 99741 35 0 0 20 0 1 0 75239316 1960067072 160731 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160731 8180 1 0 449890 0
[pid=94165] ppid=94064 vsize=301864 memory=296260 CPUtime=2602.29 cores=4,6
/proc/94165/stat : 94165 (naps-1.03a6) R 94064 94165 94165 0 -1 4194304 116267 0 0 0 260104 125 0 0 20 0 1 0 75339384 309108736 74065 18446744073709551615 4198400 7047149 140723522979760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9838592 140723522984296 140723522984435 140723522984435 140723522990025 0
/proc/94165/statm: 75466 74065 608 696 0 74627 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2220184 KiB
Current children cumulated memory: 942256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.72 s]
# the end of solver process 94059 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002582 s, system=0.011947 s
[startup+3611.35 s]
# the end of solver process 94064 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.89 s, system=1.79688 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
[startup+3610.82 s]*
/proc/loadavg: 4.22 4.24 4.20 5/255 94537
/proc/meminfo: memFree=84695164/131382112 swapFree=33005784/33010684
[pid=94064] ppid=94056 vsize=1914128 memory=642924 CPUtime=3600.17 cores=4,6
/proc/94064/stat : 94064 (python3) R 94056 94059 93457 0 -1 4194304 170020 116268 0 0 99749 38 260104 126 20 0 1 0 75239316 1960067072 160731 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 478532 160731 8180 1 0 449890 0
Current cumulated CPU time of completed processes: 0.014529 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 1914128 KiB
Current children cumulated memory: 642924 KiB
[startup+3611.2 s]
/proc/loadavg: 4.22 4.24 4.20 5/255 94537
/proc/meminfo: memFree=84695164/131382112 swapFree=33005784/33010684
[pid=94064] ppid=94056 vsize=1881184 memory=621360 CPUtime=3600.52 cores=4,6
/proc/94064/stat : 94064 (python3) R 94056 94059 93457 0 -1 4194304 228526 116268 0 0 99776 46 260104 126 20 0 1 0 75239316 1926332416 155340 18446744073709551615 94225647685632 94225647686009 140723532849136 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94225647697304 94225647697924 94225678716928 140723532851559 140723532851746 140723532851746 140723532857319 0
/proc/94064/statm: 470296 155340 8180 1 0 441654 0
Current cumulated CPU time of completed processes: 0.014529 s
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 1881184 KiB
Current children cumulated memory: 621360 KiB
[startup+3611.3 s]*
/proc/loadavg: 4.22 4.24 4.20 5/255 94537
/proc/meminfo: memFree=84756236/131382112 swapFree=33005784/33010684
Current cumulated CPU time of completed processes: 0.014529 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.35
CPU time (s): 3600.69
CPU user time (s): 3598.89
CPU system time (s): 1.79688
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 2490480
Max. memory (cumulated for all children) (KiB): 1212328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.79688
maximum resident set size= 642924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 2681
# summary of solver processes directly reported to runsolver:
# pid: 94059,94064
# total CPU time (s): 3600.69
# total CPU user time (s): 3598.89
# total CPU system time (s): 1.79688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9608 second user time and 37.5719 second system time
The end
Begin job on nodeC007 at 2025-07-04 04:20:02
IDJOB=4523989
IDBENCH=180463
IDSOLVER=3368
FILE ID=nodeC007/4523989-1751595602
RUNJOBID= nodeC007-1751592140-93468
SLURM_JOB_ID= 9598854
Free space on /tmp= 430956 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523989-1751595602/watcher-4523989-1751595602 -o /tmp/evaluation-result-4523989-1751595602/solver-4523989-1751595602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751592140-93468 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4523989-1751595602.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=623372658
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.572
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.473
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.482
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.673
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.593
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 86669312 kB
MemAvailable: 96503964 kB
Buffers: 16 kB
Cached: 10502512 kB
SwapCached: 252 kB
Active: 33560612 kB
Inactive: 10185872 kB
Active(anon): 33209744 kB
Inactive(anon): 47716 kB
Active(file): 350868 kB
Inactive(file): 10138156 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7004 kB
Writeback: 0 kB
AnonPages: 33246812 kB
Mapped: 123852 kB
Shmem: 13504 kB
KReclaimable: 370508 kB
Slab: 461608 kB
SReclaimable: 370508 kB
SUnreclaim: 91100 kB
KernelStack: 4112 kB
PageTables: 69872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 37986376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10584064 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430268 MiB
End job on nodeC007 at 2025-07-04 05:20:13