498.71/500.31 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529750-1752253302.opb
498.71/500.31 c Solving mode: decision
498.71/500.31 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.71/500.31 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.71/500.31 c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
498.71/500.31 c presolving:
498.71/500.31 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.71/500.31 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.71/500.31 c (0.9s) probing: 51/23409 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
498.71/500.31 c (0.9s) probing aborted: 50/50 successive totally useless probings
498.71/500.31 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.71/500.31 c (1.1s) symmetry computation finished: 39 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.16)
498.71/500.31 c dynamic symmetry handling statistics:
498.71/500.31 c orbitopal reduction: no components
498.71/500.31 c orbital reduction: no components
498.71/500.31 c lexicographic reduction: no permutations
498.71/500.31 c handled 1 out of 1 symmetry components
498.71/500.31 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.71/500.31 c (6.7s) probing: 1000/23409 (4.3%) - 24 fixings, 0 aggregations, 23854 implications, 0 bound changes
498.71/500.31 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.71/500.31 c (7.5s) probing: 1118/23409 (4.8%) - 26 fixings, 0 aggregations, 24855 implications, 0 bound changes
498.71/500.31 c (7.5s) probing aborted: 50/50 successive totally useless probings
498.71/500.31 c presolving (5 rounds: 5 fast, 5 medium, 5 exhaustive):
498.71/500.31 c 134 deleted vars, 612 deleted constraints, 35 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
498.71/500.31 c 0 implications, 25178 cliques
498.71/500.31 c presolved problem has 23275 variables (23275 bin, 0 int, 0 impl, 0 cont) and 809 constraints
498.71/500.31 c 162 constraints of type <knapsack>
498.71/500.31 c 612 constraints of type <setppc>
498.71/500.31 c 35 constraints of type <orbitope>
498.71/500.31 c transformed objective value is always integral (scale: 1)
498.71/500.31 c Presolving Time: 7.45
498.71/500.31 c
498.71/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.71/500.31 c 500s| 1 | 0 |823912 | - | 490M | 0 | 23k| 881 | 774 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
498.71/500.31 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
498.71/500.31 c
498.71/500.31 c SCIP Status : solving was interrupted [time limit reached]
498.71/500.31 c Solving Time (sec) : 500.01
498.71/500.31 c Solving Nodes : 1
498.71/500.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.71/500.31 c Dual Bound : +0.00000000000000e+00
498.71/500.31 c Gap : infinite
498.71/500.31 c ----------------------------------------------------------------------
498.71/500.31 c dual bound: 0.0 -> 0
498.71/500.31 c primal bound: 1e+20 -> 100000000000000000000
498.71/500.31 c scip-goal-lb: 0
498.71/500.31 c scip-goal-ub: 100000000000000000000
498.71/500.31 c writing output to: HOME/tmpe8e08nqg.opb
498.71/500.31 c appending fixed variable constraints
498.71/500.31 c scip-fixed vars: 0.58% (135/23275)
498.71/500.31 c ----------------------------------------------------------------------
498.71/500.31 c executing external solver: HOME/naps-1.03a6
498.71/500.31 c ----------------------------------------------------------------------
498.71/500.31 c command: HOME/naps-1.03a6 HOME/tmpe8e08nqg.opb
498.71/500.32 c NaPS 1.03a6.
498.71/500.32 c Input file name: HOME/tmpe8e08nqg.opb
3600.01/3609.20 c
3600.01/3609.20 c *** TERMINATED *** by signal 15
3600.01/3609.20 c s UNKNOWN
3600.01/3609.20 c _____________________________________________________________________________
3600.01/3609.20 c std/band forms : 774,0
3600.01/3609.20 c 2cl/3cl ITE-codings : 0,0
3600.01/3609.20 c BDD/srt/adr Max costs : 0,10120,0
3600.01/3609.20 c BDDraw/bin/mul/srt/adr: 0,0,0,774,0
3600.01/3609.20 c BDD nodes : 0
3600.01/3609.20 c Es1/CC detections : 0,0
3600.01/3609.20 c CC sort : 774
3600.01/3609.20 c SAT/UNSAT calls : 0,0
3600.01/3609.20 c regenrated variables : 0
3600.01/3609.20 c eliminated fixed lits : 135
3600.01/3609.20 c goal lit flips : 0
3600.01/3609.20 c goal stages : 0
3600.01/3609.20 c goal shrink : 0
3600.01/3609.20 c goal coeff separations: 0
3600.01/3609.20 c restarts : 0
3600.01/3609.20 c conflicts : 0 (0 /sec)
3600.01/3609.20 c decisions : 0 (0 /sec)
3600.01/3609.20 c propagations : 0 (0 /sec)
3600.01/3609.20 c inspects : 0 (0 /sec)
3600.01/3609.20 c CPU time (solving tm) : 3100 s (3097 s, SAT 0 s, UNSAT 0 s)
3600.01/3609.20 c Time for Opt-base : 0.03509 s
3600.01/3609.20 c Steps for Opt-base : 0
3600.01/3609.20 c Time for BDD coding : 0 s
3600.01/3609.20 c Time for srt coding : 1.301 s
3600.01/3609.20 c _____________________________________________________________________________
3600.01/3609.20 s UNKNOWN
3600.14/3609.33 c received SIGTERM, forwarding to pbsolver...
3600.14/3609.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: 63665 MiB (58626 MiB free)
memory of node 1: 64507 MiB (63630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529750-1752253302/watcher-4529750-1752253302 -o /tmp/evaluation-result-4529750-1752253302/solver-4529750-1752253302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111200 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529750-1752253302.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=111970, runsolver pid=111967
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 2.62 1.70 2.44 5/270 111975
/proc/meminfo: memFree=125186708/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1186972 memory=31780 CPUtime=0.06 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 3707 0 0 0 5 1 0 0 20 0 1 0 141010054 1215459328 7945 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 296743 7945 4882 1 0 268765 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34852 KiB
[startup+0.205738 s]*
/proc/loadavg: 2.62 1.70 2.44 5/270 111975
/proc/meminfo: memFree=125154452/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1223256 memory=74788 CPUtime=0.16 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 11986 0 0 0 14 2 0 0 20 0 1 0 141010054 1252614144 18697 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 305814 18697 7570 1 0 277172 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1227448 KiB
Current children cumulated memory: 77860 KiB
[startup+0.305623 s]*
/proc/loadavg: 2.62 1.70 2.44 5/270 111975
/proc/meminfo: memFree=125154452/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1278432 memory=129444 CPUtime=0.26 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 25438 0 0 0 21 5 0 0 20 0 1 0 141010054 1309114368 32361 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 319608 32361 7826 1 0 290966 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1282624 KiB
Current children cumulated memory: 132516 KiB
[startup+0.700215 s]
/proc/loadavg: 2.62 1.70 2.44 5/270 111975
/proc/meminfo: memFree=125154640/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1353600 memory=193204 CPUtime=0.65 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 36870 0 0 0 58 7 0 0 20 0 1 0 141010054 1386086400 48301 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 338400 48301 7922 1 0 309758 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1357792 KiB
Current children cumulated memory: 196276 KiB
[startup+1.50021 s]
/proc/loadavg: 2.62 1.70 2.44 5/270 111975
/proc/meminfo: memFree=125071152/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1623516 memory=377640 CPUtime=1.44 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 72585 0 0 0 130 14 0 0 20 0 1 0 141010054 1662480384 94410 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 405879 94410 7986 1 0 377237 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1627708 KiB
Current children cumulated memory: 380712 KiB
[startup+3.10562 s]
/proc/loadavg: 2.73 1.73 2.45 5/270 111975
/proc/meminfo: memFree=124950588/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1624960 memory=379176 CPUtime=3.05 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 72970 0 0 0 290 15 0 0 20 0 1 0 141010054 1663959040 94794 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 406240 94794 7986 1 0 377598 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1629152 KiB
Current children cumulated memory: 382248 KiB
[startup+6.3002 s]
/proc/loadavg: 2.73 1.73 2.45 5/270 111975
/proc/meminfo: memFree=124950864/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1626760 memory=380072 CPUtime=6.24 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 73199 0 0 0 609 15 0 0 20 0 1 0 141010054 1665802240 95018 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 406690 95018 7986 1 0 378048 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1630952 KiB
Current children cumulated memory: 383144 KiB
[startup+12.7002 s]
/proc/loadavg: 3.01 1.83 2.47 5/270 111975
/proc/meminfo: memFree=124898700/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1683300 memory=434996 CPUtime=12.61 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 86343 0 0 0 1245 16 0 0 20 0 1 0 141010054 1723699200 108749 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 420825 108749 8050 1 0 392183 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1687492 KiB
Current children cumulated memory: 438068 KiB
[startup+25.5002 s]
/proc/loadavg: 3.16 1.90 2.49 5/270 111975
/proc/meminfo: memFree=124431744/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1696652 memory=446900 CPUtime=25.37 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 89437 0 0 0 2520 17 0 0 20 0 1 0 141010054 1737371648 111725 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 424163 111725 8114 1 0 395521 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1700844 KiB
Current children cumulated memory: 449972 KiB
[startup+51.1055 s]
/proc/loadavg: 3.45 2.07 2.53 5/270 111976
/proc/meminfo: memFree=124423444/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1697892 memory=447796 CPUtime=50.91 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 89683 0 0 0 5074 17 0 0 20 0 1 0 141010054 1738641408 111949 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 424473 111949 8114 1 0 395831 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1702084 KiB
Current children cumulated memory: 450868 KiB
[startup+102.3 s]
/proc/loadavg: 3.89 2.42 2.63 5/270 111978
/proc/meminfo: memFree=124425940/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1698156 memory=448180 CPUtime=101.96 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 89767 0 0 0 10179 17 0 0 20 0 1 0 141010054 1738911744 112045 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 424539 112045 8114 1 0 395897 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1702348 KiB
Current children cumulated memory: 451252 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.73 2.72 5/270 111980
/proc/meminfo: memFree=124097920/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1698156 memory=448308 CPUtime=161.77 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 89789 0 0 0 16160 17 0 0 20 0 1 0 141010054 1738911744 112077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 424539 112077 8114 1 0 395897 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1702348 KiB
Current children cumulated memory: 451380 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.98 2.81 5/270 111988
/proc/meminfo: memFree=123992248/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1698156 memory=448308 CPUtime=221.59 cores=1,3
/proc/111975/stat : 111975 (python3) R 111970 111970 110042 0 -1 4194304 89789 0 0 0 22142 17 0 0 20 0 1 0 141010054 1738911744 112077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 424539 112077 8114 1 0 395897 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=704772 CPUtime=2715.21 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 220435 0 0 0 271361 160 0 0 20 0 1 0 141060084 893415424 176193 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 176193 544 696 0 217280 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1172152 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.12 3.33 4/263 112948
/proc/meminfo: memFree=125435396/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=708872 CPUtime=2775.09 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 220500 0 0 0 277348 161 0 0 20 0 1 0 141060084 893415424 177218 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177218 544 696 0 217280 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1176252 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.13 3.32 4/263 112950
/proc/meminfo: memFree=125429796/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=710152 CPUtime=2834.96 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 220881 0 0 0 283335 161 0 0 20 0 1 0 141060084 893415424 177538 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177538 544 696 0 217280 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1177532 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.11 3.31 4/264 112953
/proc/meminfo: memFree=125436640/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=710152 CPUtime=2894.83 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 220939 0 0 0 289322 161 0 0 20 0 1 0 141060084 893415424 177538 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177538 544 696 0 217280 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1177532 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.12 3.29 4/264 112955
/proc/meminfo: memFree=125461604/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=710152 CPUtime=2954.7 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 220974 0 0 0 295309 161 0 0 20 0 1 0 141060084 893415424 177538 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177538 544 696 0 217280 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1177532 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.11 3.28 4/264 112957
/proc/meminfo: memFree=125443776/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=710152 CPUtime=3014.57 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 221016 0 0 0 301296 161 0 0 20 0 1 0 141060084 893415424 177538 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177538 544 696 0 217280 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1177532 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.12 3.27 4/263 112970
/proc/meminfo: memFree=125435884/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=710152 CPUtime=3074.44 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 221067 0 0 0 307283 161 0 0 20 0 1 0 141060084 893415424 177538 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177538 544 696 0 217280 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1177532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 3.10 3.11 3.26 4/263 112971
/proc/meminfo: memFree=125438500/131250000 swapFree=33010416/33010684
[pid=111970] ppid=111967 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/111970/stat : 111970 (scip-naps-1.00a) S 111967 111970 110042 0 -1 4194304 257 340 0 0 0 0 0 0 20 0 1 0 141010052 4292608 768 18446744073709551615 94494952136704 94494953031237 140727447331056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94494953270288 94494953318032 94494982406144 140727447333275 140727447333374 140727447333374 140727447338978 0
/proc/111970/statm: 1048 768 704 219 0 110 0
[pid=111975] ppid=111970 vsize=1713124 memory=464308 CPUtime=498.73 cores=1,3
/proc/111975/stat : 111975 (python3) S 111970 111970 110042 0 -1 4194304 93745 0 0 0 49854 19 0 0 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
[pid=112196] ppid=111975 vsize=872476 memory=710152 CPUtime=3101.28 cores=1,3
/proc/112196/stat : 112196 (naps-1.03a6) R 111975 112196 112196 0 -1 4194304 221078 0 0 0 309967 161 0 0 20 0 1 0 141060084 893415424 177538 18446744073709551615 4198400 7047149 140723732598576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29343744 140723732601231 140723732601329 140723732601329 140723732606921 0
/proc/112196/statm: 218119 177538 544 696 0 217280 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2589792 KiB
Current children cumulated memory: 1177532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.22 s]
# the end of solver process 111970 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001487 s, system=0.0058 s
[startup+3609.37 s]
# the end of solver process 111975 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.34 s, system=1.86514 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+3609.32 s]*
/proc/loadavg: 3.10 3.11 3.26 4/261 112971
/proc/meminfo: memFree=126132996/131250000 swapFree=33010416/33010684
[pid=111975] ppid=111967 vsize=1713124 memory=464308 CPUtime=3600.13 cores=1,3
/proc/111975/stat : 111975 (python3) R 111967 111970 110042 0 -1 4194304 147572 221079 0 0 49863 22 309967 161 20 0 1 0 141010054 1754238976 116077 18446744073709551615 94757574828032 94757574828409 140720399763936 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94757574839704 94757574840324 94757586329600 140720399771983 140720399772192 140720399772192 140720399777767 0
/proc/111975/statm: 428281 116077 8114 1 0 399639 0
Current cumulated CPU time of completed processes: 0.007287 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 1713124 KiB
Current children cumulated memory: 464308 KiB
Child status: 0
Real time (s): 3609.37
CPU time (s): 3600.21
CPU user time (s): 3598.34
CPU system time (s): 1.86514
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 3416800
Max. memory (cumulated for all children) (KiB): 1860764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.34
system time used= 1.86514
maximum resident set size= 1394280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377472
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= 401
involuntary context switches= 1935
# summary of solver processes directly reported to runsolver:
# pid: 111970,111975
# total CPU time (s): 3600.21
# total CPU user time (s): 3598.34
# total CPU system time (s): 1.86514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38224 second user time and 16.3724 second system time
The end
Begin job on nodeC027 at 2025-07-11 19:01:42
IDJOB=4529750
IDBENCH=147859
IDSOLVER=3388
FILE ID=nodeC027/4529750-1752253302
RUNJOBID= nodeC027-1752253254-111200
SLURM_JOB_ID= 9682567
Free space on /tmp= 431148 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529750-1752253302/watcher-4529750-1752253302 -o /tmp/evaluation-result-4529750-1752253302/solver-4529750-1752253302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111200 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529750-1752253302.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=123845030
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.852
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.612
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.700
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.639
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3585.611
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125192012 kB
MemAvailable: 126993864 kB
Buffers: 2488 kB
Cached: 2594568 kB
SwapCached: 12 kB
Active: 3296744 kB
Inactive: 1983840 kB
Active(anon): 2699116 kB
Inactive(anon): 2792 kB
Active(file): 597628 kB
Inactive(file): 1981048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7460 kB
Writeback: 48 kB
AnonPages: 2687060 kB
Mapped: 128096 kB
Shmem: 18056 kB
KReclaimable: 124432 kB
Slab: 217044 kB
SReclaimable: 124432 kB
SUnreclaim: 92612 kB
KernelStack: 4368 kB
PageTables: 9068 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6404392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 135168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431152 MiB
End job on nodeC027 at 2025-07-11 20:01:51