998.30/1001.37 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530438-1752259387.opb
998.30/1001.37 c Solving mode: optimization
998.30/1001.37 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
998.30/1001.37 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
998.30/1001.37 c original problem has 175232 variables (175232 bin, 0 int, 0 impl, 0 cont) and 2994 constraints
998.30/1001.37 c presolving:
998.30/1001.37 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.30/1001.37 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.30/1001.37 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.30/1001.37 c (27.0s) probing: 1000/174615 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
998.30/1001.38 c (27.1s) probing: 1001/174615 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
998.30/1001.38 c (27.1s) probing aborted: 1000/1000 successive useless probings
998.30/1001.38 c (27.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
998.30/1001.38 c symmetry computation terminated early, because number of cells 100070 in Nauty exceeds limit of 100000
998.30/1001.38 c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
998.30/1001.38 c (27.7s) symmetry computation finished: 12 generators found (max: 366, log10 of symmetry group size: 0.0) (symcode time: 0.34)
998.30/1001.38 c dynamic symmetry handling statistics:
998.30/1001.38 c orbitopal reduction: no components
998.30/1001.38 c orbital reduction: 1 components of sizes 12
998.30/1001.38 c lexicographic reduction: 12 permutations with support sizes 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256
998.30/1001.38 c handled 1 out of 1 symmetry components
998.30/1001.38 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
998.30/1001.38 c 617 deleted vars, 1368 deleted constraints, 0 added constraints, 617 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
998.30/1001.38 c 0 implications, 156317 cliques
998.30/1001.38 c presolved problem has 174615 variables (174615 bin, 0 int, 0 impl, 0 cont) and 1626 constraints
998.30/1001.38 c 258 constraints of type <knapsack>
998.30/1001.38 c 1368 constraints of type <setppc>
998.30/1001.38 c transformed objective value is always integral (scale: 1)
998.30/1001.38 c Presolving Time: 27.54
998.30/1001.38 c
998.30/1001.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
998.30/1001.38 c 68.9s| 1 | 0 | 11935 | - | 1468M | 0 | 174k|1671 |1626 | 0 | 0 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 91.9s| 1 | 0 | 19104 | - | 1544M | 0 | 174k|1671 |1759 | 133 | 1 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 99.9s| 1 | 0 | 21259 | - | 1582M | 0 | 174k|1670 |1891 | 265 | 2 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 111s| 1 | 0 | 24061 | - | 1624M | 0 | 174k|1669 |2028 | 402 | 3 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 125s| 1 | 0 | 26762 | - | 1658M | 0 | 174k|1668 |2165 | 539 | 4 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 136s| 1 | 0 | 28483 | - | 1693M | 0 | 174k|1667 |2297 | 671 | 5 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 155s| 1 | 0 | 32761 | - | 1722M | 0 | 174k|1667 |2431 | 805 | 6 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 179s| 1 | 0 | 37864 | - | 1747M | 0 | 174k|1667 |2560 | 934 | 7 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 196s| 1 | 0 | 42333 | - | 1772M | 0 | 174k|1667 |2681 |1055 | 8 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 207s| 1 | 0 | 45001 | - | 1802M | 0 | 174k|1667 |2808 |1182 | 9 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 222s| 1 | 0 | 47057 | - | 1831M | 0 | 174k|1667 |2934 |1308 | 10 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 239s| 1 | 0 | 49411 | - | 1839M | 0 | 174k|1667 |3059 |1433 | 11 | 155 | 0 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c 694s| 1 | 2 | 62699 | - | 1842M | 0 | 174k|1656 |3059 |1433 | 11 | 155 | 42 | 1.260000e+02 | -- | Inf | unknown
998.30/1001.38 c
998.30/1001.38 c SCIP Status : solving was interrupted [time limit reached]
998.30/1001.38 c Solving Time (sec) : 1000.20
998.30/1001.38 c Solving Nodes : 72
998.30/1001.38 c Primal Bound : +1.00000000000000e+20 (0 solutions)
998.30/1001.38 c Dual Bound : +1.26000000000000e+02
998.30/1001.38 c Gap : infinite
998.30/1001.38 c ----------------------------------------------------------------------
998.30/1001.38 c dual bound: 126.0 -> 126
998.30/1001.38 c primal bound: 1e+20 -> 100000000000000000000
998.30/1001.38 c scip-goal-lb: 126
998.30/1001.38 c scip-goal-ub: 100000000000000000000
998.30/1001.38 c writing output to: HOME/tmpyj_vxgog.opb
998.30/1001.38 c appending fixed variable constraints
998.30/1001.38 c scip-fixed vars: 0.35% (617/174615)
998.30/1001.38 c ----------------------------------------------------------------------
998.30/1001.38 c executing external solver: HOME/naps-1.03a6
998.30/1001.38 c ----------------------------------------------------------------------
998.30/1001.38 c command: HOME/naps-1.03a6 -goal-lb=126 -goal-ub=99999999999999999999 HOME/tmpyj_vxgog.opb
998.40/1001.42 c NaPS 1.03a6.
998.40/1001.42 c Input file name: HOME/tmpyj_vxgog.opb
1426.55/1430.80 c
1426.55/1430.80 c *** TERMINATED *** by signal 15
1426.55/1430.80 c s UNKNOWN
1426.55/1430.80 c _____________________________________________________________________________
1426.55/1430.80 c std/band forms : 1656,0
1426.55/1430.80 c 2cl/3cl ITE-codings : 4876,0
1426.55/1430.80 c BDD/srt/adr Max costs : 1249742,589320,0
1426.55/1430.80 c BDDraw/bin/mul/srt/adr: 33,0,0,1623,0
1426.55/1430.80 c BDD nodes : 35413376
1426.55/1430.80 c Es1/CC detections : 0,0
1426.55/1430.80 c CC sort : 1369
1426.55/1430.80 c SAT/UNSAT calls : 0,0
1426.55/1430.80 c regenrated variables : 0
1426.55/1430.80 c eliminated fixed lits : 2468
1426.55/1430.80 c goal lit flips : 0
1426.55/1430.80 c goal stages : 0
1426.55/1430.80 c goal shrink : 0
1426.55/1430.80 c goal coeff separations: 0
1426.55/1430.80 c restarts : 0
1426.55/1430.80 c conflicts : 0 (0 /sec)
1426.55/1430.80 c decisions : 0 (0 /sec)
1426.55/1430.80 c propagations : 0 (0 /sec)
1426.55/1430.80 c inspects : 0 (0 /sec)
1426.55/1430.80 c CPU time (solving tm) : 418.1 s (0 s, SAT 0 s, UNSAT 0 s)
1426.55/1430.80 c Time for Opt-base : 51.53 s
1426.55/1430.80 c Steps for Opt-base : 288342017
1426.55/1430.80 c Time for BDD coding : 197 s
1426.55/1430.80 c Time for srt coding : 107.6 s
1426.55/1430.80 c _____________________________________________________________________________
1426.55/1430.80 c received SIGTERM, forwarding to pbsolver...
998.41/1431.22 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 (46840 MiB free)
memory of node 1: 64507 MiB (47688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530438-1752259387/watcher-4530438-1752259387 -o /tmp/evaluation-result-4530438-1752259387/solver-4530438-1752259387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752258008-113133 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530438-1752259387.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=113360, runsolver pid=113357
[startup+0.100069 s]*
/proc/loadavg: 4.31 4.24 3.72 5/269 113365
/proc/meminfo: memFree=96524004/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=1186976 memory=32088 CPUtime=0.06 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 3736 0 0 0 5 1 0 0 20 0 1 0 141618550 1215463424 8022 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 296744 8022 4924 1 0 268766 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191168 KiB
Current children cumulated memory: 35160 KiB
[startup+0.205794 s]*
/proc/loadavg: 4.31 4.24 3.72 5/269 113365
/proc/meminfo: memFree=96470756/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=1260848 memory=110936 CPUtime=0.17 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 20988 0 0 0 13 4 0 0 20 0 1 0 141618550 1291108352 27734 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 315212 27734 7612 1 0 286570 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1265040 KiB
Current children cumulated memory: 114008 KiB
[startup+0.305765 s]*
/proc/loadavg: 4.31 4.24 3.72 5/269 113365
/proc/meminfo: memFree=96474320/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=1355720 memory=205912 CPUtime=0.27 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 44740 0 0 0 20 7 0 0 20 0 1 0 141618550 1388257280 51478 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 338930 51478 7612 1 0 310288 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1359912 KiB
Current children cumulated memory: 208984 KiB
[startup+0.700225 s]
/proc/loadavg: 4.31 4.24 3.72 5/269 113365
/proc/meminfo: memFree=96394684/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=1553924 memory=404824 CPUtime=0.66 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 94271 0 0 0 51 15 0 0 20 0 1 0 141618550 1591218176 101206 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 388481 101206 7804 1 0 359839 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1558116 KiB
Current children cumulated memory: 407896 KiB
[startup+1.50022 s]
/proc/loadavg: 4.31 4.24 3.72 5/269 113365
/proc/meminfo: memFree=96930684/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=1671548 memory=507864 CPUtime=1.46 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 119982 0 0 0 126 20 0 0 20 0 1 0 141618550 1711665152 126966 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 417887 126966 7900 1 0 389245 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1675740 KiB
Current children cumulated memory: 510936 KiB
[startup+3.10563 s]
/proc/loadavg: 4.29 4.24 3.72 5/269 113365
/proc/meminfo: memFree=97549512/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=2119276 memory=920856 CPUtime=3.05 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 192995 0 0 0 272 33 0 0 20 0 1 0 141618550 2170138624 230214 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 529819 230214 7932 1 0 501177 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2123468 KiB
Current children cumulated memory: 923928 KiB
[startup+6.30021 s]
/proc/loadavg: 4.29 4.24 3.72 5/269 113365
/proc/meminfo: memFree=97561840/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=2171856 memory=974888 CPUtime=6.24 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 195243 0 0 0 589 35 0 0 20 0 1 0 141618550 2223980544 243722 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 542964 243722 7932 1 0 514322 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2176048 KiB
Current children cumulated memory: 977960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.23 3.72 5/269 113365
/proc/meminfo: memFree=97586448/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=2172924 memory=975912 CPUtime=12.62 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 195499 0 0 0 1227 35 0 0 20 0 1 0 141618550 2225074176 243978 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 543231 243978 7932 1 0 514589 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2177116 KiB
Current children cumulated memory: 978984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.22 3.73 5/269 113365
/proc/meminfo: memFree=97603288/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=2172924 memory=975912 CPUtime=25.38 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 195500 0 0 0 2503 35 0 0 20 0 1 0 141618550 2225074176 243978 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 543231 243978 7932 1 0 514589 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2177116 KiB
Current children cumulated memory: 978984 KiB
[startup+51.1058 s]
/proc/loadavg: 4.20 4.22 3.74 5/269 113366
/proc/meminfo: memFree=97397932/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=2755048 memory=1427796 CPUtime=50.92 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 300930 0 0 0 5037 55 0 0 20 0 1 0 141618550 2821169152 356949 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 688762 356949 8156 1 0 660120 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2759240 KiB
Current children cumulated memory: 1430868 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.20 3.76 5/268 113418
/proc/meminfo: memFree=100359900/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=2936800 memory=1591144 CPUtime=101.95 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 333615 0 0 0 10133 62 0 0 20 0 1 0 141618550 3007283200 397786 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 734200 397786 8156 1 0 705558 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2940992 KiB
Current children cumulated memory: 1594216 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.17 3.78 5/269 113421
/proc/meminfo: memFree=100464856/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3062296 memory=1716264 CPUtime=161.77 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 359942 0 0 0 16109 68 0 0 20 0 1 0 141618550 3135791104 429066 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 765574 429066 8156 1 0 736932 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 3066488 KiB
Current children cumulated memory: 1719336 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.17 3.81 5/269 113520
/proc/meminfo: memFree=100787320/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3159656 memory=1820496 CPUtime=221.58 cores=5,7
/proc/113365/stat : 113365 (python3) R 113360 113360 113120 0 -1 4194304 380991 0 0 0 22084 74 0 0 20 0 1 0 141618550 3235487744 455124 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 789914 455124 8156 1 0 761272 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 3163848 KiB
################
# More data... #
################
Current children cumulated CPU time: 1118.94 s
Current children cumulated vsize: 8372336 KiB
Current children cumulated memory: 6734876 KiB
[startup+1182.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/272 113582
/proc/meminfo: memFree=95587632/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3809032 memory=2449936 CPUtime=998.4 cores=5,7
/proc/113365/stat : 113365 (python3) S 113360 113360 113120 0 -1 4194304 622600 0 0 0 99721 119 0 0 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
[pid=113565] ppid=113365 vsize=4798032 memory=4664152 CPUtime=180.36 cores=5,7
/proc/113565/stat : 113565 (naps-1.03a6) R 113365 113565 113565 0 -1 4194304 602389 0 0 0 17860 176 0 0 20 0 1 0 141718688 4913184768 1166038 18446744073709551615 4198400 7047149 140724611950272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17412096 140724611955044 140724611955185 140724611955185 140724611960777 0
/proc/113565/statm: 1199508 1166038 544 696 0 1198669 0
Current children cumulated CPU time: 1178.76 s
Current children cumulated vsize: 8611256 KiB
Current children cumulated memory: 7117160 KiB
[startup+1242.3 s]
/proc/loadavg: 4.43 4.20 4.05 5/272 113584
/proc/meminfo: memFree=93957484/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3809032 memory=2449936 CPUtime=998.4 cores=5,7
/proc/113365/stat : 113365 (python3) S 113360 113360 113120 0 -1 4194304 622600 0 0 0 99721 119 0 0 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
[pid=113565] ppid=113365 vsize=6358644 memory=6300488 CPUtime=240.19 cores=5,7
/proc/113565/stat : 113565 (naps-1.03a6) R 113365 113565 113565 0 -1 4194304 657839 0 0 0 23780 239 0 0 20 0 1 0 141718688 6511251456 1575122 18446744073709551615 4198400 7047149 140724611950272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17412096 140724611955044 140724611955185 140724611955185 140724611960777 0
/proc/113565/statm: 1589661 1575122 544 696 0 1588822 0
Current children cumulated CPU time: 1238.59 s
Current children cumulated vsize: 10171868 KiB
Current children cumulated memory: 8753496 KiB
[startup+1302.3 s]
/proc/loadavg: 4.22 4.17 4.05 5/270 113586
/proc/meminfo: memFree=92929300/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3809032 memory=2449936 CPUtime=998.4 cores=5,7
/proc/113365/stat : 113365 (python3) S 113360 113360 113120 0 -1 4194304 622600 0 0 0 99721 119 0 0 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
[pid=113565] ppid=113365 vsize=7364356 memory=7016632 CPUtime=300.01 cores=5,7
/proc/113565/stat : 113565 (naps-1.03a6) R 113365 113565 113565 0 -1 4194304 778922 0 0 0 29738 263 0 0 20 0 1 0 141718688 7541100544 1754158 18446744073709551615 4198400 7047149 140724611950272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17412096 140724611955044 140724611955185 140724611955185 140724611960777 0
/proc/113565/statm: 1841089 1754158 544 696 0 1840250 0
Current children cumulated CPU time: 1298.41 s
Current children cumulated vsize: 11177580 KiB
Current children cumulated memory: 9469640 KiB
[startup+1362.3 s]
/proc/loadavg: 4.13 4.16 4.05 5/270 113588
/proc/meminfo: memFree=92625852/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3809032 memory=2449936 CPUtime=998.4 cores=5,7
/proc/113365/stat : 113365 (python3) S 113360 113360 113120 0 -1 4194304 622600 0 0 0 99721 119 0 0 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
[pid=113565] ppid=113365 vsize=7694488 memory=7482008 CPUtime=359.84 cores=5,7
/proc/113565/stat : 113565 (naps-1.03a6) R 113365 113565 113565 0 -1 4194304 863670 0 0 0 35703 281 0 0 20 0 1 0 141718688 7879155712 1870502 18446744073709551615 4198400 7047149 140724611950272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17412096 140724611955044 140724611955185 140724611955185 140724611960777 0
/proc/113565/statm: 1923622 1870502 544 696 0 1922783 0
Current children cumulated CPU time: 1358.24 s
Current children cumulated vsize: 11507712 KiB
Current children cumulated memory: 9935016 KiB
[startup+1422.3 s]
/proc/loadavg: 4.08 4.14 4.05 5/270 113590
/proc/meminfo: memFree=75281296/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3809032 memory=2449936 CPUtime=998.4 cores=5,7
/proc/113365/stat : 113365 (python3) S 113360 113360 113120 0 -1 4194304 622600 0 0 0 99721 119 0 0 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
[pid=113565] ppid=113365 vsize=25261288 memory=24197948 CPUtime=419.67 cores=5,7
/proc/113565/stat : 113565 (naps-1.03a6) R 113365 113565 113565 0 -1 4194304 2294595 0 0 0 41070 897 0 0 20 0 1 0 141718688 25867558912 6049487 18446744073709551615 4198400 7047149 140724611950272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17412096 140724611955044 140724611955185 140724611955185 140724611960777 0
/proc/113565/statm: 6315322 6049487 544 696 0 6314483 0
Current children cumulated CPU time: 1418.07 s
Current children cumulated vsize: 29074512 KiB
Current children cumulated memory: 26650956 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1430.8 s]
/proc/loadavg: 4.07 4.13 4.05 5/270 113590
/proc/meminfo: memFree=73068556/131250000 swapFree=33010416/33010684
[pid=113360] ppid=113357 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/113360/stat : 113360 (scip-naps-1.00a) S 113357 113360 113120 0 -1 4194304 259 345 0 0 0 0 0 0 20 0 1 0 141618548 4292608 768 18446744073709551615 94746503864320 94746504758853 140721888038512 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94746504997904 94746505045648 94746509819904 140721888045467 140721888045566 140721888045566 140721888051170 0
/proc/113360/statm: 1048 768 704 219 0 110 0
[pid=113365] ppid=113360 vsize=3809032 memory=2449936 CPUtime=998.4 cores=5,7
/proc/113365/stat : 113365 (python3) S 113360 113360 113120 0 -1 4194304 622600 0 0 0 99721 119 0 0 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
[pid=113565] ppid=113365 vsize=27942592 memory=26859768 CPUtime=428.15 cores=5,7
/proc/113565/stat : 113565 (naps-1.03a6) R 113365 113565 113565 0 -1 4194304 2788733 0 0 0 41814 1001 0 0 20 0 1 0 141718688 28613214208 6714942 18446744073709551615 4198400 7047149 140724611950272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17412096 140724611955044 140724611955185 140724611955185 140724611960777 0
/proc/113565/statm: 6985648 6714942 544 696 0 6984809 0
Current children cumulated CPU time: 1426.55 s
Current children cumulated vsize: 31755816 KiB
Current children cumulated memory: 29312776 KiB
Sending SIGTERM to process tree (bottom up)
[startup+1430.81 s]
# the end of solver process 113360 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003372 s, system=0.003314 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1432.89 s]
# the end of solver process 113365 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1416.86 s, system=11.7892 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+1432 s]*
/proc/loadavg: 4.07 4.13 4.05 5/268 113590
/proc/meminfo: memFree=98163904/131250000 swapFree=33010416/33010684
[pid=113365] ppid=113357 vsize=3809032 memory=2449936 CPUtime=1427.76 cores=5,7
/proc/113365/stat : 113365 (python3) R 113357 113360 113120 0 -1 4194304 724345 2788740 0 0 99793 126 41814 1043 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
Current cumulated CPU time of completed processes: 0.006686 s
Current children cumulated CPU time: 1427.76 s
Current children cumulated vsize: 3809032 KiB
Current children cumulated memory: 2449936 KiB
[startup+1432.4 s]
/proc/loadavg: 4.07 4.13 4.05 5/268 113590
/proc/meminfo: memFree=98163904/131250000 swapFree=33010416/33010684
[pid=113365] ppid=113357 vsize=3809032 memory=2449936 CPUtime=1428.14 cores=5,7
/proc/113365/stat : 113365 (python3) R 113357 113360 113120 0 -1 4194304 727482 2788740 0 0 99831 126 41814 1043 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
Current cumulated CPU time of completed processes: 0.006686 s
Current children cumulated CPU time: 1428.14 s
Current children cumulated vsize: 3809032 KiB
Current children cumulated memory: 2449936 KiB
[startup+1432.8 s]
/proc/loadavg: 4.07 4.13 4.05 5/268 113590
/proc/meminfo: memFree=98163904/131250000 swapFree=33010416/33010684
[pid=113365] ppid=113357 vsize=3809032 memory=2449936 CPUtime=1428.54 cores=5,7
/proc/113365/stat : 113365 (python3) R 113357 113360 113120 0 -1 4194304 732607 2788740 0 0 99871 126 41814 1043 20 0 1 0 141618550 3900448768 612484 18446744073709551615 94514594447360 94514594447737 140733512406224 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94514594459032 94514594459652 94514604113920 140733512411486 140733512411680 140733512411680 140733512417255 0
/proc/113365/statm: 952258 612484 8156 1 0 923616 0
Current cumulated CPU time of completed processes: 0.006686 s
Current children cumulated CPU time: 1428.54 s
Current children cumulated vsize: 3809032 KiB
Current children cumulated memory: 2449936 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1432.89
CPU time (s): 1428.65
CPU user time (s): 1416.86
CPU system time (s): 11.7892
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 31755816
Max. memory (cumulated for all children) (KiB): 29312776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1416.86
system time used= 11.7892
maximum resident set size= 26859768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3521953
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= 358
involuntary context switches= 1861
# summary of solver processes directly reported to runsolver:
# pid: 113360,113365
# total CPU time (s): 1428.65
# total CPU user time (s): 1416.86
# total CPU system time (s): 11.7892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.01974 second user time and 7.03082 second system time
The end
Begin job on nodeC027 at 2025-07-11 20:43:07
IDJOB=4530438
IDBENCH=158606
IDSOLVER=3388
FILE ID=nodeC027/4530438-1752259387
RUNJOBID= nodeC027-1752258008-113133
SLURM_JOB_ID= 9682611
Free space on /tmp= 431048 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530438-1752259387/watcher-4530438-1752259387 -o /tmp/evaluation-result-4530438-1752259387/solver-4530438-1752259387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752258008-113133 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530438-1752259387.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1484783143
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 : 3599.595
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.523
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 : 3589.819
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 : 3598.773
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.640
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 : 3598.700
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 : 3695.280
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 : 3599.670
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: 96933252 kB
MemAvailable: 98843480 kB
Buffers: 2488 kB
Cached: 2702512 kB
SwapCached: 12 kB
Active: 30303800 kB
Inactive: 2091688 kB
Active(anon): 29705752 kB
Inactive(anon): 2792 kB
Active(file): 598048 kB
Inactive(file): 2088896 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13260 kB
Writeback: 0 kB
AnonPages: 29682996 kB
Mapped: 136400 kB
Shmem: 18056 kB
KReclaimable: 124644 kB
Slab: 217332 kB
SReclaimable: 124644 kB
SUnreclaim: 92688 kB
KernelStack: 4352 kB
PageTables: 62136 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 36779348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 15398912 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= 431036 MiB
End job on nodeC027 at 2025-07-11 21:07:00