498.77/500.30 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4493313-1751146209.opb
498.77/500.30 c Solving mode: decision
498.77/500.30 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.77/500.30 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.77/500.30 c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
498.77/500.30 c presolving:
498.77/500.30 c (round 1, exhaustive) 0 del vars, 612 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 612 clqs
498.77/500.30 c (round 2, exhaustive) 0 del vars, 612 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
498.77/500.30 c (1.0s) probing: 51/23409 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
498.77/500.30 c (1.0s) probing aborted: 50/50 successive totally useless probings
498.77/500.30 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.77/500.30 c (1.2s) symmetry computation finished: 39 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.17)
498.77/500.30 c dynamic symmetry handling statistics:
498.77/500.30 c orbitopal reduction: no components
498.77/500.30 c orbital reduction: no components
498.77/500.30 c lexicographic reduction: no permutations
498.77/500.30 c handled 1 out of 1 symmetry components
498.77/500.30 c (round 3, exhaustive) 100 del vars, 612 del conss, 35 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
498.77/500.30 c (7.6s) probing: 1000/23409 (4.3%) - 24 fixings, 0 aggregations, 23854 implications, 0 bound changes
498.77/500.30 c (round 4, exhaustive) 134 del vars, 612 del conss, 35 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 24917 clqs
498.77/500.30 c (8.4s) probing: 1118/23409 (4.8%) - 26 fixings, 0 aggregations, 24855 implications, 0 bound changes
498.77/500.30 c (8.4s) probing aborted: 50/50 successive totally useless probings
498.77/500.30 c presolving (5 rounds: 5 fast, 5 medium, 5 exhaustive):
498.77/500.30 c 134 deleted vars, 612 deleted constraints, 35 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
498.77/500.30 c 0 implications, 25178 cliques
498.77/500.30 c presolved problem has 23275 variables (23275 bin, 0 int, 0 impl, 0 cont) and 809 constraints
498.77/500.30 c 162 constraints of type <knapsack>
498.77/500.30 c 612 constraints of type <setppc>
498.77/500.30 c 35 constraints of type <orbitope>
498.77/500.30 c transformed objective value is always integral (scale: 1)
498.77/500.30 c Presolving Time: 8.39
498.77/500.30 c
498.77/500.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.77/500.30 c 500s| 1 | 0 |816967 | - | 490M | 0 | 23k| 881 | 774 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
498.77/500.30 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
498.77/500.30 c
498.77/500.30 c SCIP Status : solving was interrupted [time limit reached]
498.77/500.30 c Solving Time (sec) : 500.02
498.77/500.30 c Solving Nodes : 1
498.77/500.30 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.77/500.30 c Dual Bound : +0.00000000000000e+00
498.77/500.30 c Gap : infinite
498.77/500.30 c ----------------------------------------------------------------------
498.77/500.30 c dual bound: 0.0 -> 0
498.77/500.30 c primal bound: 1e+20 -> 100000000000000000000
498.77/500.30 c scip-goal-lb: 0
498.77/500.30 c scip-goal-ub: 100000000000000000000
498.77/500.30 c writing output to: HOME/tmp12xaeaz2.opb
498.77/500.30 c appending fixed variable constraints
498.77/500.30 c scip-fixed vars: 0.58% (135/23275)
498.77/500.30 c ----------------------------------------------------------------------
498.77/500.30 c executing external solver: HOME/naps-1.03a6
498.77/500.30 c ----------------------------------------------------------------------
498.77/500.30 c command: HOME/naps-1.03a6 HOME/tmp12xaeaz2.opb
498.77/500.31 c NaPS 1.03a6.
498.77/500.31 c Input file name: HOME/tmp12xaeaz2.opb
3600.07/3610.20 c
3600.07/3610.20 c *** TERMINATED *** by signal 15
3600.07/3610.20 c _____________________________________________________________________________
3600.07/3610.20 c std/band forms : 774,0
3600.07/3610.20 c 2cl/3cl ITE-codings : 0,0
3600.07/3610.20 c BDD/srt/adr Max costs : 0,10120,0
3600.07/3610.20 c BDDraw/bin/mul/srt/adr: 0,0,0,774,0
3600.07/3610.20 c BDD nodes : 0
3600.07/3610.20 c Es1/CC detections : 0,0
3600.07/3610.20 c CC sort : 774
3600.07/3610.20 c SAT/UNSAT calls : 0,0
3600.07/3610.20 c regenrated variables : 0
3600.07/3610.20 c eliminated fixed lits : 135
3600.07/3610.20 c goal lit flips : 0
3600.07/3610.20 c goal stages : 0
3600.07/3610.20 c goal shrink : 0
3600.07/3610.20 c goal coeff separations: 0
3600.07/3610.20 c restarts : 0
3600.07/3610.20 c conflicts : 0 (0 /sec)
3600.07/3610.20 c decisions : 0 (0 /sec)
3600.07/3610.20 c propagations : 0 (0 /sec)
3600.07/3610.20 c inspects : 0 (0 /sec)
3600.07/3610.20 c CPU time (solving tm) : 3100 s (3097 s, SAT 0 s, UNSAT 0 s)
3600.07/3610.20 c Time for Opt-base : 0.03324 s
3600.07/3610.20 c Steps for Opt-base : 0
3600.07/3610.20 c Time for BDD coding : 0 s
3600.07/3610.20 c Time for srt coding : 1.163 s
3600.07/3610.20 c _____________________________________________________________________________
3600.07/3610.20 s UNKNOWN
3600.21/3610.33 c received SIGTERM, forwarding to pbsolver...
3600.21/3610.33 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: 63708 MiB (62285 MiB free)
memory of node 1: 64465 MiB (62175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493313-1751146209/watcher-4493313-1751146209 -o /tmp/evaluation-result-4493313-1751146209/solver-4493313-1751146209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19821 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4493313-1751146209.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=21871, runsolver pid=21868
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.15 5.07 5/270 21876
/proc/meminfo: memFree=127448984/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1186492 memory=31068 CPUtime=0.07 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 3593 0 0 0 6 1 0 0 20 0 1 0 30299695 1214967808 7767 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 296623 7767 4831 1 0 268645 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1190684 KiB
Current children cumulated memory: 34140 KiB
[startup+0.205866 s]*
/proc/loadavg: 4.08 4.15 5.07 5/270 21876
/proc/meminfo: memFree=127448984/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1223200 memory=74716 CPUtime=0.17 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 11970 0 0 0 14 3 0 0 20 0 1 0 30299695 1252556800 18679 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 305800 18679 7583 1 0 277158 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1227392 KiB
Current children cumulated memory: 77788 KiB
[startup+0.305627 s]*
/proc/loadavg: 4.08 4.15 5.07 5/270 21876
/proc/meminfo: memFree=127448984/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1274296 memory=126684 CPUtime=0.27 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 24801 0 0 0 22 5 0 0 20 0 1 0 30299695 1304879104 31671 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 318574 31671 7775 1 0 289932 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1278488 KiB
Current children cumulated memory: 129756 KiB
[startup+0.700219 s]
/proc/loadavg: 4.08 4.15 5.07 5/270 21876
/proc/meminfo: memFree=127448984/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1314704 memory=161884 CPUtime=0.65 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 33621 0 0 0 59 6 0 0 20 0 1 0 30299695 1346256896 40471 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 328676 40471 7903 1 0 300034 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1318896 KiB
Current children cumulated memory: 164956 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.15 5.07 5/270 21876
/proc/meminfo: memFree=127356928/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1616376 memory=371764 CPUtime=1.45 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 71101 0 0 0 132 13 0 0 20 0 1 0 30299695 1655169024 92941 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 404094 92941 7967 1 0 375452 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1620568 KiB
Current children cumulated memory: 374836 KiB
[startup+3.10569 s]
/proc/loadavg: 4.08 4.15 5.07 5/270 21876
/proc/meminfo: memFree=127240440/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1624908 memory=378804 CPUtime=3.05 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 72875 0 0 0 292 13 0 0 20 0 1 0 30299695 1663905792 94701 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 406227 94701 7967 1 0 377585 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1629100 KiB
Current children cumulated memory: 381876 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.16 5.07 5/270 21876
/proc/meminfo: memFree=127224560/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1626732 memory=379700 CPUtime=6.23 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 73095 0 0 0 610 13 0 0 20 0 1 0 30299695 1665773568 94925 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 406683 94925 7967 1 0 378041 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1630924 KiB
Current children cumulated memory: 382772 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 5.07 5/270 21876
/proc/meminfo: memFree=127177688/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1681900 memory=433352 CPUtime=12.61 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 85905 0 0 0 1245 16 0 0 20 0 1 0 30299695 1722265600 108338 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 420475 108338 8063 1 0 391833 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1686092 KiB
Current children cumulated memory: 436424 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 5.05 5/270 21876
/proc/meminfo: memFree=127152820/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1696592 memory=446280 CPUtime=25.36 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 89274 0 0 0 2519 17 0 0 20 0 1 0 30299695 1737310208 111570 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 424148 111570 8127 1 0 395506 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1700784 KiB
Current children cumulated memory: 449352 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.16 5.03 5/270 21877
/proc/meminfo: memFree=127123100/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1697832 memory=447432 CPUtime=50.88 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 89557 0 0 0 5071 17 0 0 20 0 1 0 30299695 1738579968 111858 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 424458 111858 8127 1 0 395816 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1702024 KiB
Current children cumulated memory: 450504 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.98 5/271 21880
/proc/meminfo: memFree=127062520/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1698096 memory=447816 CPUtime=101.91 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 89639 0 0 0 10174 17 0 0 20 0 1 0 30299695 1738850304 111954 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 424524 111954 8127 1 0 395882 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1702288 KiB
Current children cumulated memory: 450888 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.92 5/272 21883
/proc/meminfo: memFree=126981292/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1698096 memory=447816 CPUtime=161.74 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 89661 0 0 0 16157 17 0 0 20 0 1 0 30299695 1738850304 111954 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 424524 111954 8127 1 0 395882 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1702288 KiB
Current children cumulated memory: 450888 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.87 5/270 21885
/proc/meminfo: memFree=126877892/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1698096 memory=447816 CPUtime=221.57 cores=4,6
/proc/21876/stat : 21876 (python3) R 21871 21871 19810 0 -1 4194304 89661 0 0 0 22140 17 0 0 20 0 1 0 30299695 1738850304 111954 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 424524 111954 8127 1 0 395882 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1702288 KiB
################
# More data... #
################
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=702496 CPUtime=2714.4 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246644 0 0 0 271264 176 0 0 20 0 1 0 30349724 893415424 175624 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 175624 544 696 0 217280 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1170024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/269 22221
/proc/meminfo: memFree=127812256/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=702496 CPUtime=2774.23 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246696 0 0 0 277247 176 0 0 20 0 1 0 30349724 893415424 175624 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 175624 544 696 0 217280 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1170024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/269 22271
/proc/meminfo: memFree=127630408/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=706596 CPUtime=2834.07 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246710 0 0 0 283230 177 0 0 20 0 1 0 30349724 893415424 176649 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 176649 544 696 0 217280 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1174124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/269 22273
/proc/meminfo: memFree=127628116/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=706596 CPUtime=2893.92 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246786 0 0 0 289215 177 0 0 20 0 1 0 30349724 893415424 176649 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 176649 544 696 0 217280 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1174124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/267 22373
/proc/meminfo: memFree=128281940/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=708644 CPUtime=2953.76 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246835 0 0 0 295199 177 0 0 20 0 1 0 30349724 893415424 177161 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 177161 544 696 0 217280 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1176172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/268 22376
/proc/meminfo: memFree=128264688/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=708644 CPUtime=3013.61 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246860 0 0 0 301184 177 0 0 20 0 1 0 30349724 893415424 177161 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 177161 544 696 0 217280 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1176172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/269 22383
/proc/meminfo: memFree=128254812/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=708644 CPUtime=3073.45 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246898 0 0 0 307168 177 0 0 20 0 1 0 30349724 893415424 177161 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 177161 544 696 0 217280 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1176172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 22387
/proc/meminfo: memFree=128245420/131249992 swapFree=33010684/33010684
[pid=21871] ppid=21868 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21871/stat : 21871 (scip-naps-1.00.) S 21868 21871 19810 0 -1 4194304 256 335 0 0 0 0 0 0 20 0 1 0 30299693 4292608 768 18446744073709551615 94796098584576 94796099479109 140726214626672 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94796099718160 94796099765904 94796115259392 140726214629793 140726214629890 140726214629890 140726214635492 0
/proc/21871/statm: 1048 768 704 219 0 110 0
[pid=21876] ppid=21871 vsize=1713064 memory=464456 CPUtime=498.78 cores=4,6
/proc/21876/stat : 21876 (python3) S 21871 21871 19810 0 -1 4194304 93648 0 0 0 49859 19 0 0 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
[pid=21904] ppid=21876 vsize=872476 memory=708644 CPUtime=3101.29 cores=4,6
/proc/21904/stat : 21904 (naps-1.03a6) R 21876 21904 21904 0 -1 4194304 246935 0 0 0 309951 178 0 0 20 0 1 0 30349724 893415424 177161 18446744073709551615 4198400 7047149 140733940731360 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 20901888 140733940738449 140733940738547 140733940738547 140733940744137 0
/proc/21904/statm: 218119 177161 544 696 0 217280 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2589732 KiB
Current children cumulated memory: 1176172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.23 s]
# the end of solver process 21871 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001855 s, system=0.004463 s
[startup+3610.38 s]
# the end of solver process 21876 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.25 s, system=2.03109 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.33 s]*
/proc/loadavg: 4.09 4.10 4.09 5/267 22387
/proc/meminfo: memFree=128940144/131249992 swapFree=33010684/33010684
[pid=21876] ppid=21868 vsize=1713064 memory=464456 CPUtime=3600.2 cores=4,6
/proc/21876/stat : 21876 (python3) R 21868 21871 19810 0 -1 4194304 148641 246937 0 0 49869 22 309951 178 20 0 1 0 30299695 1754177536 116114 18446744073709551615 94693609803776 94693609804153 140730872047696 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94693609815448 94693609816068 94693624999936 140730872052056 140730872052258 140730872052258 140730872057831 0
/proc/21876/statm: 428266 116114 8127 1 0 399624 0
Current cumulated CPU time of completed processes: 0.006318 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1713064 KiB
Current children cumulated memory: 464456 KiB
Child status: 0
Real time (s): 3610.38
CPU time (s): 3600.28
CPU user time (s): 3598.25
CPU system time (s): 2.03109
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 3416740
Max. memory (cumulated for all children) (KiB): 1860656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.25
system time used= 2.03109
maximum resident set size= 1394536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 360
involuntary context switches= 20696
# summary of solver processes directly reported to runsolver:
# pid: 21871,21876
# total CPU time (s): 3600.28
# total CPU user time (s): 3598.25
# total CPU system time (s): 2.03109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25967 second user time and 16.0551 second system time
The end
Begin job on nodeC025 at 2025-06-28 23:30:09
IDJOB=4493313
IDBENCH=147859
IDSOLVER=3368
FILE ID=nodeC025/4493313-1751146209
RUNJOBID= nodeC025-1751145166-19821
SLURM_JOB_ID= 9587446
Free space on /tmp= 433032 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493313-1751146209/watcher-4493313-1751146209 -o /tmp/evaluation-result-4493313-1751146209/solver-4493313-1751146209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19821 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4493313-1751146209.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1497129267
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.828
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.641
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3603.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3606.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3630.575
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3681.970
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127448768 kB
MemAvailable: 127094720 kB
Buffers: 3280 kB
Cached: 455316 kB
SwapCached: 0 kB
Active: 2805796 kB
Inactive: 197252 kB
Active(anon): 2562536 kB
Inactive(anon): 0 kB
Active(file): 243260 kB
Inactive(file): 197252 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7796 kB
Writeback: 0 kB
AnonPages: 2547552 kB
Mapped: 124764 kB
Shmem: 18084 kB
KReclaimable: 86752 kB
Slab: 170120 kB
SReclaimable: 86752 kB
SUnreclaim: 83368 kB
KernelStack: 4368 kB
PageTables: 8764 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6528892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 391168 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC025 at 2025-06-29 00:30:20