498.92/500.32 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530050-1752261376.opb
498.92/500.32 c Solving mode: decision
498.92/500.32 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.92/500.32 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.92/500.32 c original problem has 36630 variables (36630 bin, 0 int, 0 impl, 0 cont) and 339 constraints
498.92/500.32 c presolving:
498.92/500.32 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 339 upgd conss, 0 impls, 338 clqs
498.92/500.32 c (round 2, exhaustive) 30049 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 339 upgd conss, 0 impls, 338 clqs
498.92/500.32 c (0.9s) probing: 51/6581 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
498.92/500.32 c (0.9s) probing aborted: 50/50 successive totally useless probings
498.92/500.32 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.92/500.32 c (0.9s) no symmetry present (symcode time: 0.00)
498.92/500.32 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
498.92/500.32 c 30049 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
498.92/500.32 c 0 implications, 338 cliques
498.92/500.32 c presolved problem has 6581 variables (6581 bin, 0 int, 0 impl, 0 cont) and 339 constraints
498.92/500.32 c 1 constraints of type <knapsack>
498.92/500.32 c 338 constraints of type <setppc>
498.92/500.32 c transformed objective value is always integral (scale: 1)
498.92/500.32 c Presolving Time: 0.82
498.92/500.32 c
498.92/500.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.92/500.32 c 4.0s| 1 | 0 | 11944 | - | 259M | 0 |6581 | 491 | 339 | 0 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 6.1s| 1 | 0 | 22555 | - | 263M | 0 |6581 | 491 | 347 | 8 | 1 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 6.2s| 1 | 0 | 22611 | - | 264M | 0 |6581 | 501 | 352 | 13 | 2 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 6.4s| 1 | 0 | 22665 | - | 264M | 0 |6581 | 501 | 361 | 22 | 3 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 6.6s| 1 | 0 | 22698 | - | 264M | 0 |6581 | 501 | 369 | 30 | 4 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 6.7s| 1 | 0 | 22736 | - | 264M | 0 |6581 | 509 | 376 | 37 | 5 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 6.9s| 1 | 0 | 22772 | - | 264M | 0 |6581 | 509 | 386 | 47 | 6 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 7.1s| 1 | 0 | 22809 | - | 264M | 0 |6581 | 509 | 393 | 54 | 7 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 7.2s| 1 | 0 | 22827 | - | 264M | 0 |6581 | 514 | 402 | 63 | 8 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 7.4s| 1 | 0 | 22866 | - | 265M | 0 |6581 | 522 | 408 | 69 | 9 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 7.6s| 1 | 0 | 22907 | - | 265M | 0 |6581 | 522 | 414 | 75 | 10 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 7.7s| 1 | 0 | 22934 | - | 265M | 0 |6581 | 522 | 421 | 82 | 11 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 22.2s| 1 | 2 | 63720 | - | 267M | 0 |6581 | 548 | 421 | 82 | 11 | 214 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 153s| 100 | 39 |498445 |4803.4 | 286M | 36 |6581 | 970 | 387 | 105 | 1 | 641 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 177s| 200 | 41 |574579 |2772.2 | 289M | 37 |6581 |1017 | 387 | 107 | 1 | 690 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.92/500.32 c 198s| 300 | 41 |666207 |2151.5 | 290M | 37 |6581 |1074 | 386 | 109 | 0 | 755 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 224s| 400 | 47 |779243 |1895.6 | 291M | 37 |6581 |1134 | 388 | 120 | 1 | 822 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 235s| 500 | 51 |834492 |1626.4 | 292M | 40 |6581 |1184 | 387 | 123 | 1 | 883 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 246s| 600 | 51 |881870 |1434.0 | 293M | 40 |6581 |1242 | 386 | 126 | 1 | 956 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 257s| 700 | 51 |936545 |1307.1 | 293M | 44 |6581 |1296 | 390 | 134 | 1 |1013 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 271s| 800 | 51 | 1000k|1223.1 | 294M | 47 |6581 |1346 | 386 | 137 | 0 |1063 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 279s| 900 | 51 | 1042k|1133.9 | 294M | 47 |6581 |1402 | 386 | 139 | 1 |1120 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 292s| 1000 | 51 | 1105k|1083.8 | 295M | 47 |6581 |1458 | 390 | 146 | 0 |1177 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 302s| 1100 | 53 | 1149k|1025.3 | 295M | 47 |6581 |1512 | 389 | 149 | 0 |1232 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 312s| 1200 | 53 | 1195k| 978.1 | 295M | 47 |6581 |1569 | 388 | 156 | 0 |1291 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 325s| 1300 | 51 | 1257k| 950.6 | 296M | 47 |6581 |1616 | 387 | 159 | 0 |1348 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 340s| 1400 | 51 | 1331k| 935.6 | 296M | 47 |6581 |1668 | 387 | 166 | 0 |1404 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 352s| 1500 | 51 | 1386k| 909.4 | 296M | 47 |6581 |1714 | 388 | 173 | 0 |1454 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 364s| 1600 | 55 | 1444k| 889.0 | 296M | 47 |6581 |1772 | 389 | 176 | 0 |1513 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 377s| 1700 | 59 | 1506k| 873.3 | 297M | 47 |6581 |1823 | 389 | 180 | 1 |1567 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.92/500.32 c 392s| 1800 | 57 | 1580k| 866.0 | 297M | 57 |6581 |1859 | 389 | 186 | 0 |1604 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 406s| 1900 | 57 | 1646k| 855.0 | 297M | 57 |6581 |1906 | 389 | 199 | 0 |1654 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 415s| 2000 | 53 | 1688k| 833.4 | 298M | 57 |6581 |1958 | 390 | 205 | 0 |1706 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 427s| 2100 | 53 | 1743k| 819.8 | 298M | 57 |6581 |2021 | 388 | 210 | 1 |1772 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 441s| 2200 | 53 | 1814k| 814.9 | 299M | 57 |6581 |2070 | 388 | 210 | 1 |1822 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 463s| 2300 | 57 | 1916k| 823.7 | 301M | 57 |6581 |2220 | 389 | 220 | 1 |1981 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 472s| 2400 | 55 | 1965k| 809.6 | 301M | 57 |6581 |2278 | 389 | 220 | 1 |2040 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c 489s| 2500 | 57 | 2045k| 809.2 | 301M | 57 |6581 |2322 | 388 | 220 | 1 |2090 | 19 | 0.000000e+00 | -- | Inf | unknown
498.92/500.32 c
498.92/500.32 c SCIP Status : solving was interrupted [time limit reached]
498.92/500.32 c Solving Time (sec) : 500.00
498.92/500.32 c Solving Nodes : 2598
498.92/500.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.92/500.32 c Dual Bound : +0.00000000000000e+00
498.92/500.32 c Gap : infinite
498.92/500.32 c ----------------------------------------------------------------------
498.92/500.32 c dual bound: 0.0 -> 0
498.92/500.32 c primal bound: 1e+20 -> 100000000000000000000
498.92/500.32 c scip-goal-lb: 0
498.92/500.32 c scip-goal-ub: 100000000000000000000
498.92/500.32 c writing output to: HOME/tmpuj0body3.opb
498.92/500.32 c appending fixed variable constraints
498.92/500.32 c scip-fixed vars: 456.60% (30049/6581)
498.92/500.32 c ----------------------------------------------------------------------
498.92/500.32 c executing external solver: HOME/naps-1.03a6
498.92/500.32 c ----------------------------------------------------------------------
498.92/500.32 c command: HOME/naps-1.03a6 HOME/tmpuj0body3.opb
498.92/500.34 c NaPS 1.03a6.
498.92/500.34 c Input file name: HOME/tmpuj0body3.opb
650.92/652.80 c
650.92/652.80 c *** TERMINATED *** by signal 15
650.92/652.80 c s UNKNOWN
650.92/652.80 c _____________________________________________________________________________
650.92/652.80 c std/band forms : 339,0
650.92/652.80 c 2cl/3cl ITE-codings : 0,0
650.92/652.80 c BDD/srt/adr Max costs : 0,46146209,0
650.92/652.80 c BDDraw/bin/mul/srt/adr: 0,0,0,339,0
650.92/652.80 c BDD nodes : 0
650.92/652.80 c Es1/CC detections : 0,0
650.92/652.80 c CC sort : 338
650.92/652.80 c SAT/UNSAT calls : 0,0
650.92/652.80 c regenrated variables : 0
650.92/652.80 c eliminated fixed lits : 30049
650.92/652.80 c goal lit flips : 0
650.92/652.80 c goal stages : 0
650.92/652.80 c goal shrink : 0
650.92/652.80 c goal coeff separations: 0
650.92/652.80 c restarts : 0
650.92/652.80 c conflicts : 0 (0 /sec)
650.92/652.80 c decisions : 0 (0 /sec)
650.92/652.80 c propagations : 0 (0 /sec)
650.92/652.80 c inspects : 0 (0 /sec)
650.92/652.80 c CPU time (solving tm) : 142.5 s (88.71 s, SAT 0 s, UNSAT 0 s)
650.92/652.80 c Time for Opt-base : 10.75 s
650.92/652.80 c Steps for Opt-base : 57838770
650.92/652.80 c Time for BDD coding : 0 s
650.92/652.80 c Time for srt coding : 24.49 s
650.92/652.80 c _____________________________________________________________________________
650.92/652.80 c received SIGTERM, forwarding to pbsolver...
498.97/653.01 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: 63708 MiB (61248 MiB free)
memory of node 1: 64465 MiB (60747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530050-1752261376/watcher-4530050-1752261376 -o /tmp/evaluation-result-4530050-1752261376/solver-4530050-1752261376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142842 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530050-1752261376.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=144129, runsolver pid=144126
[startup+0.100061 s]*
/proc/loadavg: 4.09 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124914828/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1187380 memory=32428 CPUtime=0.07 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 3822 0 0 0 6 1 0 0 20 0 1 0 141816056 1215877120 8107 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 296845 8107 4915 1 0 268867 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191572 KiB
Current children cumulated memory: 35500 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.09 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124862412/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1243216 memory=93228 CPUtime=0.17 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 16582 0 0 0 15 2 0 0 20 0 1 0 141816056 1273053184 23307 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 310804 23307 7635 1 0 282162 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1247408 KiB
Current children cumulated memory: 96300 KiB
[startup+0.305563 s]*
/proc/loadavg: 4.09 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124806264/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1297184 memory=146988 CPUtime=0.27 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 29810 0 0 0 23 4 0 0 20 0 1 0 141816056 1328316416 36747 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 324296 36747 7859 1 0 295654 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1301376 KiB
Current children cumulated memory: 150060 KiB
[startup+0.70021 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124806016/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1318908 memory=166828 CPUtime=0.66 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 34774 0 0 0 61 5 0 0 20 0 1 0 141816056 1350561792 41707 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 329727 41707 7923 1 0 301085 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1323100 KiB
Current children cumulated memory: 169900 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124724872/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1457580 memory=285676 CPUtime=1.46 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 58788 0 0 0 137 9 0 0 20 0 1 0 141816056 1492561920 71419 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 364395 71419 8147 1 0 335753 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1461772 KiB
Current children cumulated memory: 288748 KiB
[startup+3.10536 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124688520/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1458024 memory=285932 CPUtime=3.05 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 58852 0 0 0 296 9 0 0 20 0 1 0 141816056 1493016576 71483 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 364506 71483 8147 1 0 335864 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1462216 KiB
Current children cumulated memory: 289004 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124688796/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1495684 memory=321388 CPUtime=6.25 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 68914 0 0 0 614 11 0 0 20 0 1 0 141816056 1531580416 80347 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 373921 80347 8147 1 0 345279 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1499876 KiB
Current children cumulated memory: 324460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 144134
/proc/meminfo: memFree=124644884/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1495684 memory=321516 CPUtime=12.63 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 68969 0 0 0 1252 11 0 0 20 0 1 0 141816056 1531580416 80379 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 373921 80379 8147 1 0 345279 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1499876 KiB
Current children cumulated memory: 324588 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 144135
/proc/meminfo: memFree=124645304/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1496172 memory=323820 CPUtime=25.4 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 69526 0 0 0 2529 11 0 0 20 0 1 0 141816056 1532080128 80955 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 374043 80955 8147 1 0 345401 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1500364 KiB
Current children cumulated memory: 326892 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 144135
/proc/meminfo: memFree=124652004/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1502384 memory=329332 CPUtime=50.94 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 77662 0 0 0 5081 13 0 0 20 0 1 0 141816056 1538441216 82333 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 375596 82333 8147 1 0 346954 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1506576 KiB
Current children cumulated memory: 332404 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 144188
/proc/meminfo: memFree=124596448/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1510056 memory=338600 CPUtime=102.01 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 82816 0 0 0 10187 14 0 0 20 0 1 0 141816056 1546297344 84650 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 377514 84650 8147 1 0 348872 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1514248 KiB
Current children cumulated memory: 341672 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 144190
/proc/meminfo: memFree=124604824/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1526312 memory=354472 CPUtime=161.86 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 87736 0 0 0 16171 15 0 0 20 0 1 0 141816056 1562943488 88618 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 381578 88618 8147 1 0 352936 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1530504 KiB
Current children cumulated memory: 357544 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 144289
/proc/meminfo: memFree=124628476/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1544576 memory=373148 CPUtime=221.7 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 93886 0 0 0 22154 16 0 0 20 0 1 0 141816056 1581645824 93287 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 386144 93287 8147 1 0 357502 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1548768 KiB
Current children cumulated memory: 376220 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 144298
/proc/meminfo: memFree=124622448/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1544576 memory=373148 CPUtime=281.55 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 93892 0 0 0 28139 16 0 0 20 0 1 0 141816056 1581645824 93287 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 386144 93287 8147 1 0 357502 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1548768 KiB
Current children cumulated memory: 376220 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 144300
/proc/meminfo: memFree=124620532/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1544576 memory=373148 CPUtime=341.39 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 93900 0 0 0 34123 16 0 0 20 0 1 0 141816056 1581645824 93287 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 386144 93287 8147 1 0 357502 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1548768 KiB
Current children cumulated memory: 376220 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 144302
/proc/meminfo: memFree=124618100/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1544576 memory=373276 CPUtime=401.21 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 93910 0 0 0 40105 16 0 0 20 0 1 0 141816056 1581645824 93319 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 386144 93319 8147 1 0 357502 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1548768 KiB
Current children cumulated memory: 376348 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 144304
/proc/meminfo: memFree=124614160/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1544576 memory=373276 CPUtime=461.03 cores=5,7
/proc/144134/stat : 144134 (python3) R 144129 144129 142829 0 -1 4194304 93914 0 0 0 46087 16 0 0 20 0 1 0 141816056 1581645824 93319 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 386144 93319 8147 1 0 357502 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 1548768 KiB
Current children cumulated memory: 376348 KiB
[startup+522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 144308
/proc/meminfo: memFree=122744776/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1564800 memory=400284 CPUtime=498.96 cores=5,7
/proc/144134/stat : 144134 (python3) S 144129 144129 142829 0 -1 4194304 99171 0 0 0 49878 18 0 0 20 0 1 0 141816056 1602355200 100071 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 391200 100071 8179 1 0 362558 0
[pid=144307] ppid=144134 vsize=1654652 memory=1623660 CPUtime=21.88 cores=5,7
/proc/144307/stat : 144307 (naps-1.03a6) R 144134 144307 144307 0 -1 4194304 175587 0 0 0 2127 61 0 0 20 0 1 0 141866088 1694363648 405915 18446744073709551615 4198400 7047149 140721440066048 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26759168 140721440074127 140721440074225 140721440074225 140721440079817 0
/proc/144307/statm: 413663 405915 544 696 0 412824 0
Current children cumulated CPU time: 520.84 s
Current children cumulated vsize: 3223644 KiB
Current children cumulated memory: 2027016 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 144310
/proc/meminfo: memFree=111992468/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1564800 memory=400412 CPUtime=498.96 cores=5,7
/proc/144134/stat : 144134 (python3) S 144129 144129 142829 0 -1 4194304 99171 0 0 0 49878 18 0 0 20 0 1 0 141816056 1602355200 100103 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 391200 100103 8179 1 0 362558 0
[pid=144307] ppid=144134 vsize=12271800 memory=11082880 CPUtime=81.69 cores=5,7
/proc/144307/stat : 144307 (naps-1.03a6) R 144134 144307 144307 0 -1 4194304 1481665 0 0 0 7551 618 0 0 20 0 1 0 141866088 12566323200 2770720 18446744073709551615 4198400 7047149 140721440066048 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26759168 140721440074127 140721440074225 140721440074225 140721440079817 0
/proc/144307/statm: 3067950 2770720 544 696 0 3067111 0
Current children cumulated CPU time: 580.65 s
Current children cumulated vsize: 13840792 KiB
Current children cumulated memory: 11486364 KiB
[startup+642.3 s]
/proc/loadavg: 4.30 4.16 4.11 5/269 144312
/proc/meminfo: memFree=105109568/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1564800 memory=400412 CPUtime=498.96 cores=5,7
/proc/144134/stat : 144134 (python3) S 144129 144129 142829 0 -1 4194304 99171 0 0 0 49878 18 0 0 20 0 1 0 141816056 1602355200 100103 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 391200 100103 8179 1 0 362558 0
[pid=144307] ppid=144134 vsize=26074968 memory=18823108 CPUtime=141.49 cores=5,7
/proc/144307/stat : 144307 (naps-1.03a6) R 144134 144307 144307 0 -1 4194304 1558431 0 0 0 13242 907 0 0 20 0 1 0 141866088 26700767232 4705777 18446744073709551615 4198400 7047149 140721440066048 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26759168 140721440074127 140721440074225 140721440074225 140721440079817 0
/proc/144307/statm: 6518742 4705777 544 696 0 6517903 0
Current children cumulated CPU time: 640.45 s
Current children cumulated vsize: 27643960 KiB
Current children cumulated memory: 19226592 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+652.8 s]
/proc/loadavg: 4.26 4.16 4.11 5/269 144313
/proc/meminfo: memFree=103125404/131249996 swapFree=33010160/33010684
[pid=144129] ppid=144126 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/144129/stat : 144129 (scip-naps-1.00a) S 144126 144129 142829 0 -1 4194304 261 677 0 0 0 0 0 0 20 0 1 0 141816054 4292608 768 18446744073709551615 94434208997376 94434209891909 140730782186560 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94434210130960 94434210178704 94434240122880 140730782194075 140730782194174 140730782194174 140730782199778 0
/proc/144129/statm: 1048 768 704 219 0 110 0
[pid=144134] ppid=144129 vsize=1564800 memory=400412 CPUtime=498.96 cores=5,7
/proc/144134/stat : 144134 (python3) S 144129 144129 142829 0 -1 4194304 99171 0 0 0 49878 18 0 0 20 0 1 0 141816056 1602355200 100103 18446744073709551615 94917257830400 94917257830777 140730627058720 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94917257842072 94917257842692 94917262086144 140730627062095 140730627062304 140730627062304 140730627067879 0
/proc/144134/statm: 391200 100103 8179 1 0 362558 0
[pid=144307] ppid=144134 vsize=30269272 memory=20977604 CPUtime=151.96 cores=5,7
/proc/144307/stat : 144307 (naps-1.03a6) R 144134 144307 144307 0 -1 4194304 1593151 0 0 0 14247 949 0 0 20 0 1 0 141866088 30995734528 5244401 18446744073709551615 4198400 7047149 140721440066048 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26759168 140721440074127 140721440074225 140721440074225 140721440079817 0
/proc/144307/statm: 7567318 5244401 544 696 0 7566479 0
Current children cumulated CPU time: 650.92 s
Current children cumulated vsize: 31838264 KiB
Current children cumulated memory: 21381088 KiB
Sending SIGTERM to process tree (bottom up)
[startup+652.809 s]
# the end of solver process 144129 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002067 s, system=0.004572 s
Sleeping 2 seconds
[startup+653.206 s]
# the end of solver process 144134 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=641.403 s, system=9.94379 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+653.2 s]*
/proc/loadavg: 4.26 4.16 4.11 5/267 144313
/proc/meminfo: memFree=124350044/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006639 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 653.206
CPU time (s): 651.347
CPU user time (s): 641.403
CPU system time (s): 9.94379
CPU usage (%): 99.7154
Max. virtual memory (cumulated for all children) (KiB): 31838264
Max. memory (cumulated for all children) (KiB): 21381088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.403
system time used= 9.94379
maximum resident set size= 20977604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1740588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 680
# summary of solver processes directly reported to runsolver:
# pid: 144129,144134
# total CPU time (s): 651.347
# total CPU user time (s): 641.403
# total CPU system time (s): 9.94379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25284 second user time and 2.80988 second system time
The end
Begin job on nodeC029 at 2025-07-11 21:16:16
IDJOB=4530050
IDBENCH=164250
IDSOLVER=3388
FILE ID=nodeC029/4530050-1752261376
RUNJOBID= nodeC029-1752253208-142842
SLURM_JOB_ID= 9682582
Free space on /tmp= 432188 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-t1722.0.s.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530050-1752261376/watcher-4530050-1752261376 -o /tmp/evaluation-result-4530050-1752261376/solver-4530050-1752261376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142842 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530050-1752261376.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39768e28ba132eeb426131d5bb977045
RANDOM SEED=1769079874
nodeC029 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.649
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.46
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.710
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.46
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 : 3622.002
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.46
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 : 3603.392
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.46
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.725
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.46
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 : 3588.463
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
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.46
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.308
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 124924136 kB
MemAvailable: 128623600 kB
Buffers: 2128 kB
Cached: 4486400 kB
SwapCached: 40 kB
Active: 1572704 kB
Inactive: 4043168 kB
Active(anon): 1140600 kB
Inactive(anon): 4764 kB
Active(file): 432104 kB
Inactive(file): 4038404 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7368 kB
Writeback: 20 kB
AnonPages: 1125188 kB
Mapped: 133808 kB
Shmem: 18020 kB
KReclaimable: 136392 kB
Slab: 230284 kB
SReclaimable: 136392 kB
SUnreclaim: 93892 kB
KernelStack: 4400 kB
PageTables: 6100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4793364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 565248 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432180 MiB
End job on nodeC029 at 2025-07-11 21:27:10