998.09/1001.19 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4509299-1751508478.opb
998.09/1001.19 c Solving mode: optimization
998.09/1001.19 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
998.09/1001.19 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
998.09/1001.19 c original problem has 175232 variables (175232 bin, 0 int, 0 impl, 0 cont) and 2994 constraints
998.09/1001.19 c presolving:
998.09/1001.19 c (round 1, fast) 617 del vars, 0 del conss, 0 add conss, 617 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26150 clqs
998.09/1001.19 c (round 2, exhaustive) 617 del vars, 1368 del conss, 0 add conss, 617 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26150 clqs
998.09/1001.19 c (round 3, exhaustive) 617 del vars, 1368 del conss, 0 add conss, 617 chg bounds, 1 chg sides, 0 chg coeffs, 1626 upgd conss, 0 impls, 26150 clqs
998.09/1001.19 c (27.7s) probing: 1000/174615 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
998.09/1001.19 c (27.8s) probing: 1001/174615 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
998.09/1001.19 c (27.8s) probing aborted: 1000/1000 successive useless probings
998.09/1001.19 c (27.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
998.09/1001.19 c symmetry computation terminated early, because number of cells 100070 in Nauty exceeds limit of 100000
998.09/1001.19 c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
998.09/1001.19 c (28.4s) symmetry computation finished: 12 generators found (max: 366, log10 of symmetry group size: 0.0) (symcode time: 0.34)
998.09/1001.19 c dynamic symmetry handling statistics:
998.09/1001.19 c orbitopal reduction: no components
998.09/1001.19 c orbital reduction: 1 components of sizes 12
998.09/1001.19 c lexicographic reduction: 12 permutations with support sizes 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256
998.09/1001.19 c handled 1 out of 1 symmetry components
998.09/1001.19 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
998.09/1001.19 c 617 deleted vars, 1368 deleted constraints, 0 added constraints, 617 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
998.09/1001.19 c 0 implications, 156317 cliques
998.09/1001.19 c presolved problem has 174615 variables (174615 bin, 0 int, 0 impl, 0 cont) and 1626 constraints
998.09/1001.19 c 258 constraints of type <knapsack>
998.09/1001.19 c 1368 constraints of type <setppc>
998.09/1001.19 c transformed objective value is always integral (scale: 1)
998.09/1001.19 c Presolving Time: 28.22
998.09/1001.19 c
998.09/1001.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
998.09/1001.19 c 69.9s| 1 | 0 | 11935 | - | 1468M | 0 | 174k|1671 |1626 | 0 | 0 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 92.7s| 1 | 0 | 19104 | - | 1544M | 0 | 174k|1671 |1759 | 133 | 1 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 101s| 1 | 0 | 21259 | - | 1582M | 0 | 174k|1670 |1891 | 265 | 2 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 112s| 1 | 0 | 24061 | - | 1624M | 0 | 174k|1669 |2028 | 402 | 3 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 125s| 1 | 0 | 26762 | - | 1658M | 0 | 174k|1668 |2165 | 539 | 4 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 136s| 1 | 0 | 28483 | - | 1693M | 0 | 174k|1667 |2297 | 671 | 5 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 155s| 1 | 0 | 32761 | - | 1722M | 0 | 174k|1667 |2431 | 805 | 6 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 179s| 1 | 0 | 37864 | - | 1747M | 0 | 174k|1667 |2560 | 934 | 7 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 196s| 1 | 0 | 42333 | - | 1772M | 0 | 174k|1667 |2681 |1055 | 8 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 207s| 1 | 0 | 45001 | - | 1802M | 0 | 174k|1667 |2808 |1182 | 9 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 222s| 1 | 0 | 47057 | - | 1831M | 0 | 174k|1667 |2934 |1308 | 10 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 239s| 1 | 0 | 49411 | - | 1839M | 0 | 174k|1667 |3059 |1433 | 11 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c 693s| 1 | 2 | 62699 | - | 1842M | 0 | 174k|1656 |3059 |1433 | 11 | 155 | 42 | 1.260000e+02 | -- | Inf | unknown
998.09/1001.19 c
998.09/1001.19 c SCIP Status : solving was interrupted [time limit reached]
998.09/1001.19 c Solving Time (sec) : 1000.05
998.09/1001.19 c Solving Nodes : 71
998.09/1001.19 c Primal Bound : +1.00000000000000e+20 (0 solutions)
998.09/1001.19 c Dual Bound : +1.26000000000000e+02
998.09/1001.19 c Gap : infinite
998.09/1001.19 c ----------------------------------------------------------------------
998.09/1001.19 c dual bound: 126.0 -> 126
998.09/1001.19 c primal bound: 1e+20 -> 100000000000000000000
998.09/1001.19 c scip-goal-lb: 126
998.09/1001.19 c scip-goal-ub: 100000000000000000000
998.09/1001.19 c writing output to: HOME/tmp917ay2l0.opb
998.09/1001.19 c appending fixed variable constraints
998.09/1001.19 c scip-fixed vars: 0.35% (617/174615)
998.09/1001.19 c ----------------------------------------------------------------------
998.09/1001.19 c executing external solver: HOME/naps-1.03a6
998.09/1001.19 c ----------------------------------------------------------------------
998.09/1001.19 c command: HOME/naps-1.03a6 -goal-lb=126 -goal-ub=99999999999999999999 HOME/tmp917ay2l0.opb
998.19/1001.23 c NaPS 1.03a6.
998.19/1001.23 c Input file name: HOME/tmp917ay2l0.opb
1418.27/1422.40 c
1418.27/1422.40 c *** TERMINATED *** by signal 15
1418.27/1422.40 c _____________________________________________________________________________
1418.27/1422.40 c std/band forms : 1656,0
1418.27/1422.40 c 2cl/3cl ITE-codings : 4876,0
1418.27/1422.40 c BDD/srt/adr Max costs : 1249742,589320,0
1418.27/1422.40 c BDDraw/bin/mul/srt/adr: 33,0,0,1623,0
1418.27/1422.40 c BDD nodes : 35413376
1418.27/1422.40 c Es1/CC detections : 0,0
1418.27/1422.40 c CC sort : 1369
1418.27/1422.40 c SAT/UNSAT calls : 0,0
1418.27/1422.40 c regenrated variables : 0
1418.27/1422.40 c eliminated fixed lits : 2468
1418.27/1422.40 c goal lit flips : 0
1418.27/1422.40 c goal stages : 0
1418.27/1422.40 c goal shrink : 0
1418.27/1422.40 c goal coeff separations: 0
1418.27/1422.40 c restarts : 0
1418.27/1422.40 c conflicts : 0 (0 /sec)
1418.27/1422.40 c decisions : 0 (0 /sec)
1418.27/1422.40 c propagations : 0 (0 /sec)
1418.27/1422.40 c inspects : 0 (0 /sec)
1418.27/1422.40 c CPU time (solving tm) : 410.2 s (0 s, SAT 0 s, UNSAT 0 s)
1418.27/1422.40 c Time for Opt-base : 51.29 s
1418.27/1422.40 c Steps for Opt-base : 288342017
1418.27/1422.40 c Time for BDD coding : 192.8 s
1418.27/1422.40 c Time for srt coding : 105.2 s
1418.27/1422.40 c _____________________________________________________________________________
998.22/1422.81 c received SIGTERM, forwarding to pbsolver...
998.22/1422.81 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59583 MiB free)
memory of node 1: 64507 MiB (30438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509299-1751508478/watcher-4509299-1751508478 -o /tmp/evaluation-result-4509299-1751508478/solver-4509299-1751508478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76140 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4509299-1751508478.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=78358, runsolver pid=78355
[startup+0.100069 s]*
/proc/loadavg: 4.15 4.11 4.09 5/271 78363
/proc/meminfo: memFree=92186608/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=1187588 memory=32524 CPUtime=0.07 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 3821 0 0 0 6 1 0 0 20 0 1 0 66525673 1216090112 8131 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 296897 8131 4931 1 0 268919 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191780 KiB
Current children cumulated memory: 35596 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.15 4.11 4.09 5/271 78363
/proc/meminfo: memFree=92186608/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=1261816 memory=111884 CPUtime=0.17 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 21202 0 0 0 14 3 0 0 20 0 1 0 66525673 1292099584 27971 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 315454 27971 7619 1 0 286812 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1266008 KiB
Current children cumulated memory: 114956 KiB
[startup+0.305736 s]*
/proc/loadavg: 4.15 4.11 4.09 5/271 78363
/proc/meminfo: memFree=92186176/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=1355664 memory=205580 CPUtime=0.28 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 44619 0 0 0 21 7 0 0 20 0 1 0 66525673 1388199936 51363 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 338916 51395 7619 1 0 310274 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1359856 KiB
Current children cumulated memory: 208652 KiB
[startup+0.700205 s]
/proc/loadavg: 4.15 4.11 4.09 5/271 78363
/proc/meminfo: memFree=92154424/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=1550816 memory=402444 CPUtime=0.66 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 93660 0 0 0 52 14 0 0 20 0 1 0 66525673 1588035584 100611 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 387704 100611 7811 1 0 359062 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1555008 KiB
Current children cumulated memory: 405516 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.11 4.09 5/271 78363
/proc/meminfo: memFree=91912376/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=1671500 memory=507916 CPUtime=1.46 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 119971 0 0 0 127 19 0 0 20 0 1 0 66525673 1711616000 126979 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 417875 126979 7907 1 0 389233 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1675692 KiB
Current children cumulated memory: 510988 KiB
[startup+3.10557 s]
/proc/loadavg: 4.14 4.11 4.09 5/271 78363
/proc/meminfo: memFree=91548852/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=2094660 memory=896508 CPUtime=3.06 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 191977 0 0 0 273 33 0 0 20 0 1 0 66525673 2144931840 224127 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 523665 224127 7971 1 0 495023 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2098852 KiB
Current children cumulated memory: 899580 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.11 4.09 5/271 78363
/proc/meminfo: memFree=91369904/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=2171824 memory=975004 CPUtime=6.25 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 195262 0 0 0 590 35 0 0 20 0 1 0 66525673 2223947776 243751 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 542956 243751 7971 1 0 514314 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2176016 KiB
Current children cumulated memory: 978076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 78363
/proc/meminfo: memFree=91305348/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=2172892 memory=976028 CPUtime=12.63 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 195518 0 0 0 1228 35 0 0 20 0 1 0 66525673 2225041408 244007 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 543223 244007 7971 1 0 514581 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2177084 KiB
Current children cumulated memory: 979100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 78363
/proc/meminfo: memFree=91183912/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=2172892 memory=976028 CPUtime=25.39 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 195519 0 0 0 2504 35 0 0 20 0 1 0 66525673 2225041408 244007 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 543223 244007 7971 1 0 514581 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2177084 KiB
Current children cumulated memory: 979100 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.09 4.09 5/271 78364
/proc/meminfo: memFree=90632180/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=2755000 memory=1428996 CPUtime=50.93 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 303364 0 0 0 5039 54 0 0 20 0 1 0 66525673 2821120000 357249 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 688750 357249 8163 1 0 660108 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2759192 KiB
Current children cumulated memory: 1432068 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.14 4.10 5/270 78415
/proc/meminfo: memFree=115156884/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=2925436 memory=1585172 CPUtime=101.97 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 337354 0 0 0 10138 59 0 0 20 0 1 0 66525673 2995646464 396293 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 731359 396293 8163 1 0 702717 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2929628 KiB
Current children cumulated memory: 1588244 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/270 78421
/proc/meminfo: memFree=114288168/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3061904 memory=1716488 CPUtime=161.81 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 366209 0 0 0 16116 65 0 0 20 0 1 0 66525673 3135389696 429122 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 765476 429122 8163 1 0 736834 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 3066096 KiB
Current children cumulated memory: 1719560 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 78423
/proc/meminfo: memFree=114231716/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3159128 memory=1821448 CPUtime=221.65 cores=0,2
/proc/78363/stat : 78363 (python3) R 78358 78358 76130 0 -1 4194304 386893 0 0 0 22095 70 0 0 20 0 1 0 66525673 3234947072 455362 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 789782 455362 8163 1 0 761140 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 3163320 KiB
################
# More data... #
################
Current children cumulated CPU time: 1118.96 s
Current children cumulated vsize: 8442372 KiB
Current children cumulated memory: 6813856 KiB
[startup+1182.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/273 78471
/proc/meminfo: memFree=88634420/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3808712 memory=2452948 CPUtime=998.21 cores=0,2
/proc/78363/stat : 78363 (python3) S 78358 78358 76130 0 -1 4194304 704547 0 0 0 99697 124 0 0 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
[pid=78461] ppid=78363 vsize=4924488 memory=4798244 CPUtime=180.59 cores=0,2
/proc/78461/stat : 78461 (naps-1.03a6) R 78363 78461 78461 0 -1 4194304 635933 0 0 0 17878 181 0 0 20 0 1 0 66625792 5042675712 1199561 18446744073709551615 4198400 7047149 140735508551904 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 39505920 140735508556134 140735508556275 140735508556275 140735508561865 0
/proc/78461/statm: 1231122 1199561 544 696 0 1230283 0
Current children cumulated CPU time: 1178.8 s
Current children cumulated vsize: 8737392 KiB
Current children cumulated memory: 7254264 KiB
[startup+1242.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/272 78473
/proc/meminfo: memFree=86056540/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3808712 memory=2452948 CPUtime=998.21 cores=0,2
/proc/78363/stat : 78363 (python3) S 78358 78358 76130 0 -1 4194304 704547 0 0 0 99697 124 0 0 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
[pid=78461] ppid=78363 vsize=6414876 memory=6366516 CPUtime=240.43 cores=0,2
/proc/78461/stat : 78461 (naps-1.03a6) R 78363 78461 78461 0 -1 4194304 673322 0 0 0 23802 241 0 0 20 0 1 0 66625792 6568833024 1591629 18446744073709551615 4198400 7047149 140735508551904 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 39505920 140735508556134 140735508556275 140735508556275 140735508561865 0
/proc/78461/statm: 1603719 1591629 544 696 0 1602880 0
Current children cumulated CPU time: 1238.64 s
Current children cumulated vsize: 10227780 KiB
Current children cumulated memory: 8822536 KiB
[startup+1302.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/272 78476
/proc/meminfo: memFree=72412940/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3808712 memory=2452948 CPUtime=998.21 cores=0,2
/proc/78363/stat : 78363 (python3) S 78358 78358 76130 0 -1 4194304 704547 0 0 0 99697 124 0 0 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
[pid=78461] ppid=78363 vsize=7441708 memory=7116180 CPUtime=300.28 cores=0,2
/proc/78461/stat : 78461 (naps-1.03a6) R 78363 78461 78461 0 -1 4194304 799332 0 0 0 29759 269 0 0 20 0 1 0 66625792 7620308992 1779045 18446744073709551615 4198400 7047149 140735508551904 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 39505920 140735508556134 140735508556275 140735508556275 140735508561865 0
/proc/78461/statm: 1860427 1779045 544 696 0 1859588 0
Current children cumulated CPU time: 1298.49 s
Current children cumulated vsize: 11254612 KiB
Current children cumulated memory: 9572200 KiB
[startup+1362.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/272 78532
/proc/meminfo: memFree=89350436/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3808712 memory=2452948 CPUtime=998.21 cores=0,2
/proc/78363/stat : 78363 (python3) S 78358 78358 76130 0 -1 4194304 704547 0 0 0 99697 124 0 0 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
[pid=78461] ppid=78363 vsize=7694488 memory=7500052 CPUtime=360.11 cores=0,2
/proc/78461/stat : 78461 (naps-1.03a6) R 78363 78461 78461 0 -1 4194304 864595 0 0 0 35728 283 0 0 20 0 1 0 66625792 7879155712 1875013 18446744073709551615 4198400 7047149 140735508551904 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 39505920 140735508556134 140735508556275 140735508556275 140735508561865 0
/proc/78461/statm: 1923622 1875013 544 696 0 1922783 0
Current children cumulated CPU time: 1358.32 s
Current children cumulated vsize: 11507392 KiB
Current children cumulated memory: 9956072 KiB
[startup+1422.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 78535
/proc/meminfo: memFree=70162408/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3808712 memory=2452948 CPUtime=998.21 cores=0,2
/proc/78363/stat : 78363 (python3) S 78358 78358 76130 0 -1 4194304 704547 0 0 0 99697 124 0 0 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
[pid=78461] ppid=78363 vsize=27914608 memory=26820128 CPUtime=419.96 cores=0,2
/proc/78461/stat : 78461 (naps-1.03a6) R 78363 78461 78461 0 -1 4194304 2778724 0 0 0 41009 987 0 0 20 0 1 0 66625792 28584558592 6705032 18446744073709551615 4198400 7047149 140735508551904 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 39505920 140735508556134 140735508556275 140735508556275 140735508561865 0
/proc/78461/statm: 6978652 6705032 544 696 0 6977813 0
Current children cumulated CPU time: 1418.17 s
Current children cumulated vsize: 31727512 KiB
Current children cumulated memory: 29276148 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1422.4 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 78535
/proc/meminfo: memFree=70162408/131249996 swapFree=33010684/33010684
[pid=78358] ppid=78355 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/78358/stat : 78358 (scip-naps-1.00.) S 78355 78358 76130 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 66525671 4292608 768 18446744073709551615 94419129806848 94419130701381 140733271045552 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94419130940432 94419130988176 94419161628672 140733271054753 140733271054850 140733271054850 140733271060452 0
/proc/78358/statm: 1048 768 704 219 0 110 0
[pid=78363] ppid=78358 vsize=3808712 memory=2452948 CPUtime=998.21 cores=0,2
/proc/78363/stat : 78363 (python3) S 78358 78358 76130 0 -1 4194304 704547 0 0 0 99697 124 0 0 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
[pid=78461] ppid=78363 vsize=27938236 memory=26849904 CPUtime=420.06 cores=0,2
/proc/78461/stat : 78461 (naps-1.03a6) R 78363 78461 78461 0 -1 4194304 2784645 0 0 0 41018 988 0 0 20 0 1 0 66625792 28608753664 6712476 18446744073709551615 4198400 7047149 140735508551904 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 39505920 140735508556134 140735508556275 140735508556275 140735508561865 0
/proc/78461/statm: 6984559 6712476 544 696 0 6983720 0
Current children cumulated CPU time: 1418.27 s
Current children cumulated vsize: 31751140 KiB
Current children cumulated memory: 29305924 KiB
Sending SIGTERM to process tree (bottom up)
[startup+1422.41 s]
# the end of solver process 78358 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002061 s, system=0.003807 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1424.49 s]
# the end of solver process 78363 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1408.68 s, system=11.6902 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1423.2 s]
/proc/loadavg: 4.11 4.13 4.10 5/270 78535
/proc/meminfo: memFree=95386924/131249996 swapFree=33010684/33010684
[pid=78363] ppid=78355 vsize=3808712 memory=2452948 CPUtime=1419.05 cores=0,2
/proc/78363/stat : 78363 (python3) R 78355 78358 76130 0 -1 4194304 803855 2784652 0 0 99729 129 41018 1029 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
Current cumulated CPU time of completed processes: 0.005868 s
Current children cumulated CPU time: 1419.05 s
Current children cumulated vsize: 3808712 KiB
Current children cumulated memory: 2452948 KiB
[startup+1424 s]*
/proc/loadavg: 4.11 4.13 4.10 5/270 78535
/proc/meminfo: memFree=95394996/131249996 swapFree=33010684/33010684
[pid=78363] ppid=78355 vsize=3808712 memory=2452948 CPUtime=1419.85 cores=0,2
/proc/78363/stat : 78363 (python3) R 78355 78358 76130 0 -1 4194304 811338 2784652 0 0 99809 129 41018 1029 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
Current cumulated CPU time of completed processes: 0.005868 s
Current children cumulated CPU time: 1419.85 s
Current children cumulated vsize: 3808712 KiB
Current children cumulated memory: 2452948 KiB
[startup+1424.4 s]
/proc/loadavg: 4.11 4.13 4.10 5/270 78535
/proc/meminfo: memFree=95394996/131249996 swapFree=33010684/33010684
[pid=78363] ppid=78355 vsize=3808712 memory=2452948 CPUtime=1420.25 cores=0,2
/proc/78363/stat : 78363 (python3) R 78355 78358 76130 0 -1 4194304 817905 2784652 0 0 99849 129 41018 1029 20 0 1 0 66525673 3900121088 613237 18446744073709551615 94603641585664 94603641586041 140729344628832 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94603641597336 94603641597956 94603646042112 140729344637287 140729344637474 140729344637474 140729344643047 0
/proc/78363/statm: 952178 613237 8195 1 0 923536 0
Current cumulated CPU time of completed processes: 0.005868 s
Current children cumulated CPU time: 1420.25 s
Current children cumulated vsize: 3808712 KiB
Current children cumulated memory: 2452948 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1424.49
CPU time (s): 1420.37
CPU user time (s): 1408.68
CPU system time (s): 11.6902
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 31751140
Max. memory (cumulated for all children) (KiB): 29305924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1408.68
system time used= 11.6901
maximum resident set size= 26850032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3603156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 3251
# summary of solver processes directly reported to runsolver:
# pid: 78358,78363
# total CPU time (s): 1420.37
# total CPU user time (s): 1408.68
# total CPU system time (s): 11.6902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.7377 second user time and 6.81278 second system time
The end
Begin job on nodeC024 at 2025-07-03 04:07:58
IDJOB=4509299
IDBENCH=158606
IDSOLVER=3368
FILE ID=nodeC024/4509299-1751508478
RUNJOBID= nodeC024-1751500140-76140
SLURM_JOB_ID= 9598580
Free space on /tmp= 432320 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509299-1751508478/watcher-4509299-1751508478 -o /tmp/evaluation-result-4509299-1751508478/solver-4509299-1751508478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76140 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4509299-1751508478.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=763020508
nodeC024 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 : 3595.298
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.36
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.682
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.36
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.654
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.36
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 : 3599.127
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.36
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.691
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.36
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.690
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.36
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.235
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.36
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 : 3587.020
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 92182188 kB
MemAvailable: 99796940 kB
Buffers: 3280 kB
Cached: 8382072 kB
SwapCached: 0 kB
Active: 29278880 kB
Inactive: 8073772 kB
Active(anon): 28985364 kB
Inactive(anon): 0 kB
Active(file): 293516 kB
Inactive(file): 8073772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13300 kB
Writeback: 0 kB
AnonPages: 28967892 kB
Mapped: 131768 kB
Shmem: 18064 kB
KReclaimable: 173008 kB
Slab: 265072 kB
SReclaimable: 173008 kB
SUnreclaim: 92064 kB
KernelStack: 4352 kB
PageTables: 61472 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 35323312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 15169536 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432316 MiB
End job on nodeC024 at 2025-07-03 04:31:42