Trace number 4491441

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1UNSAT 1216.19 1220.88

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM911cf7319fa5fa56cdd8e7a94536c536
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark43.6526
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

569.53/572.24	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491441-1751142855.opb
569.53/572.24	c Solving mode: decision
569.53/572.24	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
569.53/572.24	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
569.53/572.24	c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
569.53/572.24	c presolving:
569.53/572.24	c (round 1, fast)       3721 del vars, 36 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 306157 clqs
569.53/572.24	c (round 2, fast)       7423 del vars, 10819 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 306479 clqs
569.53/572.24	c (round 3, medium)     9917 del vars, 10819 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 301059 clqs
569.53/572.24	c (round 4, fast)       10848 del vars, 17266 del conss, 0 add conss, 92 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 301318 clqs
569.53/572.24	c (round 5, exhaustive) 10848 del vars, 17609 del conss, 0 add conss, 92 chg bounds, 9399 chg sides, 18798 chg coeffs, 469571 upgd conss, 0 impls, 301318 clqs
569.53/572.24	c (round 6, fast)       11191 del vars, 17952 del conss, 0 add conss, 92 chg bounds, 9399 chg sides, 18798 chg coeffs, 469571 upgd conss, 0 impls, 300632 clqs
569.53/572.24	c (round 7, exhaustive) 11191 del vars, 468375 del conss, 150140 add conss, 92 chg bounds, 9399 chg sides, 18798 chg coeffs, 469571 upgd conss, 0 impls, 300632 clqs
569.53/572.24	c (round 8, exhaustive) 11829 del vars, 468505 del conss, 150270 add conss, 92 chg bounds, 9399 chg sides, 18798 chg coeffs, 469571 upgd conss, 0 impls, 299159 clqs
569.53/572.24	c (round 9, fast)       12227 del vars, 468683 del conss, 150270 add conss, 92 chg bounds, 9399 chg sides, 18976 chg coeffs, 469571 upgd conss, 0 impls, 298961 clqs
569.53/572.24	c (round 10, exhaustive) 12249 del vars, 469015 del conss, 150580 add conss, 92 chg bounds, 9399 chg sides, 18976 chg coeffs, 469571 upgd conss, 0 impls, 298917 clqs
569.53/572.24	c (round 11, exhaustive) 13360 del vars, 469053 del conss, 150580 add conss, 92 chg bounds, 9399 chg sides, 18976 chg coeffs, 469573 upgd conss, 0 impls, 321003 clqs
569.53/572.24	c (round 12, fast)       13718 del vars, 469412 del conss, 150580 add conss, 92 chg bounds, 9399 chg sides, 19334 chg coeffs, 469794 upgd conss, 0 impls, 320287 clqs
569.53/572.24	c (round 13, exhaustive) 15132 del vars, 469424 del conss, 150592 add conss, 92 chg bounds, 9399 chg sides, 19334 chg coeffs, 469794 upgd conss, 0 impls, 353020 clqs
569.53/572.24	c (round 14, fast)       15521 del vars, 469814 del conss, 150592 add conss, 92 chg bounds, 9399 chg sides, 19723 chg coeffs, 470016 upgd conss, 0 impls, 352216 clqs
569.53/572.24	c    (9.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
569.53/572.24	c    (10.0s) no symmetry present (symcode time: 0.17)
569.53/572.24	c presolving (15 rounds: 15 fast, 8 medium, 7 exhaustive):
569.53/572.24	c  15607 deleted vars, 469872 deleted constraints, 150649 added constraints, 92 tightened bounds, 0 added holes, 9399 changed sides, 19723 changed coefficients
569.53/572.24	c  0 implications, 358633 cliques
569.53/572.24	c presolved problem has 157245 variables (157245 bin, 0 int, 0 impl, 0 cont) and 166051 constraints
569.53/572.24	c   18798 constraints of type <knapsack>
569.53/572.24	c    1267 constraints of type <setppc>
569.53/572.24	c  145983 constraints of type <and>
569.53/572.24	c       3 constraints of type <logicor>
569.53/572.24	c transformed objective value is always integral (scale: 1)
569.53/572.24	c Presolving Time: 9.19
569.53/572.24	c 
569.53/572.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
569.53/572.24	c  28.6s|     1 |     0 | 13247 |     - |  1864M |   0 | 157k| 166k| 311k|   0 |  0 |  31 |   0 | 0.000000e+00 |      --      |    Inf | unknown
569.53/572.24	c   189s|     1 |     0 | 46848 |     - |  1951M |   0 | 157k| 166k| 312k| 428 |  1 |  33 |   0 | 0.000000e+00 |      --      |    Inf | unknown
569.53/572.24	c   454s|     1 |     0 | 62342 |     - |  1991M |   0 | 157k| 166k| 313k|1382 |  2 |  34 |   0 | 0.000000e+00 |      --      |    Inf | unknown
569.53/572.24	c   568s|     1 |     0 | 62342 |     - |  1992M |   0 | 157k| 166k| 315k|3337 |  3 |  37 |   0 | 0.000000e+00 |      --      |    Inf | unknown
569.53/572.24	c (node 1) LP solver hit time limit in LP 6 -- using pseudo solution instead
569.53/572.24	c 
569.53/572.24	c SCIP Status        : solving was interrupted [time limit reached]
569.53/572.24	c Solving Time (sec) : 568.24
569.53/572.24	c Solving Nodes      : 1
569.53/572.24	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
569.53/572.24	c Dual Bound         : +0.00000000000000e+00
569.53/572.24	c Gap                : infinite
569.53/572.24	c ----------------------------------------------------------------------
569.53/572.24	c dual bound: 0.0 -> 0
569.53/572.24	c primal bound: 1e+20 -> 100000000000000000000
569.53/572.24	c scip-goal-lb: 0
569.53/572.24	c scip-goal-ub: 100000000000000000000
569.53/572.24	c writing output to: HOME/tmpmg4a7rc2.opb
569.53/572.24	c appending fixed variable constraints
569.53/572.24	c scip-fixed vars: 4.83% (7589/157245)
569.53/572.24	c ----------------------------------------------------------------------
569.53/572.24	c executing external solver: HOME/naps-1.03a6
569.53/572.24	c ----------------------------------------------------------------------
569.53/572.24	c command: HOME/naps-1.03a6 HOME/tmpmg4a7rc2.opb
569.58/572.31	c NaPS 1.03a6.
569.58/572.31	c Input file name: HOME/tmpmg4a7rc2.opb
1213.89/1218.66	c _____________________________________________________________________________
1213.89/1218.66	c std/band forms        : 18798,0
1213.89/1218.66	c 2cl/3cl ITE-codings   : 1973604,0
1213.89/1218.66	c BDD/srt/adr Max costs : 292,0,0
1213.89/1218.66	c BDDraw/bin/mul/srt/adr: 562,0,18236,0,0
1213.89/1218.66	c BDD nodes             : 2872940
1213.89/1218.66	c Es1/CC detections     : 0,0
1213.89/1218.66	c CC sort               : 0
1213.89/1218.66	c SAT/UNSAT calls       : 0,1
1213.89/1218.66	c regenrated variables  : 0
1213.89/1218.66	c eliminated fixed lits : 14581
1213.89/1218.66	c goal lit flips        : 0
1213.89/1218.66	c goal stages           : 0
1213.89/1218.66	c goal shrink           : 0
1213.89/1218.66	c goal coeff separations: 0
1213.89/1218.66	c restarts              : 34498
1213.89/1218.66	c conflicts             : 842031         (1311 /sec)
1213.89/1218.66	c decisions             : 23827139       (37112 /sec)
1213.89/1218.66	c propagations          : 2851817494     (4441828 /sec)
1213.89/1218.66	c inspects              : 0              (0 /sec)
1213.89/1218.66	c CPU time (solving tm) : 642 s        (618.5 s, SAT 0 s, UNSAT 618.5 s)
1213.89/1218.66	c Time for Opt-base     : 9.459 s
1213.89/1218.66	c Steps for Opt-base    : 32318649
1213.89/1218.66	c Time for BDD coding   : 17.78 s
1213.89/1218.66	c Time for srt coding   : 0 s
1213.89/1218.66	c _____________________________________________________________________________
1214.00/1218.75	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63837 MiB (63370 MiB free)
  memory of node 1: 64465 MiB (63924 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491441-1751142855/watcher-4491441-1751142855 -o /tmp/evaluation-result-4491441-1751142855/solver-4491441-1751142855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14399 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491441-1751142855.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
solver pid=14466, runsolver pid=14463
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 1.55 1.33 2.10 2/256 14472
/proc/meminfo: memFree=130343980/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=52024 memory=14592 CPUtime=0.05 cores=5,7
/proc/14471/stat : 14471 (python3) D 14466 14466 11315 0 -1 4194304 1916 0 0 0 4 1 0 0 20 0 1 0 29965007 53272576 3648 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 13006 3648 2080 1 0 3431 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 17408 KiB

[startup+0.209617 s]*
/proc/loadavg: 1.55 1.33 2.10 1/256 14472
/proc/meminfo: memFree=130341220/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=58796 memory=16128 CPUtime=0.05 cores=5,7
/proc/14471/stat : 14471 (python3) D 14466 14466 11315 0 -1 4194304 1968 0 14 0 4 1 0 0 20 0 1 0 29965007 60207104 4032 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 1 0 0 17 7 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 14699 4032 2400 1 0 3434 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62988 KiB
Current children cumulated memory: 18944 KiB

[startup+0.308829 s]*
/proc/loadavg: 1.55 1.33 2.10 1/256 14472
/proc/meminfo: memFree=130335928/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=59268 memory=20736 CPUtime=0.07 cores=5,7
/proc/14471/stat : 14471 (python3) D 14466 14466 11315 0 -1 4194304 2351 0 53 0 5 2 0 0 20 0 1 0 29965007 60690432 5184 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 14817 5184 3232 1 0 3537 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63460 KiB
Current children cumulated memory: 23552 KiB

[startup+0.70035 s]
/proc/loadavg: 1.55 1.33 2.10 1/256 14472
/proc/meminfo: memFree=130319056/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=127372 memory=24832 CPUtime=0.11 cores=5,7
/proc/14471/stat : 14471 (python3) D 14466 14466 11315 0 -1 4194304 2859 0 74 0 8 3 0 0 20 0 1 0 29965007 130428928 6208 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 31843 6208 3776 1 0 3946 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 131564 KiB
Current children cumulated memory: 27648 KiB

[startup+1.50059 s]
/proc/loadavg: 1.55 1.33 2.10 5/257 14473
/proc/meminfo: memFree=130274240/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=1207224 memory=58180 CPUtime=0.38 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 7943 0 186 0 31 7 0 0 20 0 1 0 29965007 1236197376 14545 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 301806 14545 7409 1 0 273164 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 1211416 KiB
Current children cumulated memory: 60996 KiB

[startup+3.11344 s]
/proc/loadavg: 1.55 1.33 2.10 5/259 14475
/proc/meminfo: memFree=129458780/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=1527436 memory=376844 CPUtime=1.98 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 87105 0 186 0 168 30 0 0 20 0 1 0 29965007 1564094464 94211 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 381859 94211 7409 1 0 353217 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 1531628 KiB
Current children cumulated memory: 379660 KiB
heavy processes:

[startup+6.30038 s]
/proc/loadavg: 1.74 1.38 2.11 5/259 14475
/proc/meminfo: memFree=128555624/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=2353664 memory=1186928 CPUtime=5.16 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 276620 0 186 0 452 64 0 0 20 0 1 0 29965007 2410151936 296700 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 588416 296732 7697 1 0 559774 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 2357856 KiB
Current children cumulated memory: 1189744 KiB

[startup+12.7004 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14524
/proc/meminfo: memFree=128137968/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=2626644 memory=1459228 CPUtime=11.53 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 332549 0 186 0 1077 76 0 0 20 0 1 0 29965007 2689683456 364807 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 656661 364807 7761 1 0 628019 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 2630836 KiB
Current children cumulated memory: 1462044 KiB

[startup+25.5004 s]
/proc/loadavg: 2.46 1.56 2.16 5/258 14623
/proc/meminfo: memFree=126178288/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3187000 memory=1956900 CPUtime=24.29 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 441040 0 186 0 2332 97 0 0 20 0 1 0 29965007 3263488000 489225 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 796750 489225 7921 1 0 768108 0
Current children cumulated CPU time: 24.3 s
Current children cumulated vsize: 3191192 KiB
Current children cumulated memory: 1959716 KiB

[startup+51.1135 s]
/proc/loadavg: 2.99 1.76 2.21 5/258 14672
/proc/meminfo: memFree=125654908/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3378244 memory=2105516 CPUtime=49.81 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 468709 0 187 0 4879 102 0 0 20 0 1 0 29965007 3459321856 526379 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 844561 526379 7953 1 0 815919 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 3382436 KiB
Current children cumulated memory: 2108332 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.12 2.31 5/259 14678
/proc/meminfo: memFree=124476272/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3680320 memory=2423036 CPUtime=100.83 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 641977 0 187 0 9951 132 0 0 20 0 1 0 29965007 3768647680 605759 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 920080 605759 7985 1 0 891438 0
Current children cumulated CPU time: 100.84 s
Current children cumulated vsize: 3684512 KiB
Current children cumulated memory: 2425852 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.50 2.43 5/259 14684
/proc/meminfo: memFree=124766544/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3680320 memory=2423036 CPUtime=160.67 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 641978 0 187 0 15934 133 0 0 20 0 1 0 29965007 3768647680 605759 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 920080 605759 7985 1 0 891438 0
Current children cumulated CPU time: 160.68 s
Current children cumulated vsize: 3684512 KiB
Current children cumulated memory: 2425852 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 2.82 2.55 5/260 14687
/proc/meminfo: memFree=124466544/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3680320 memory=2427644 CPUtime=220.5 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 644321 0 187 0 21916 134 0 0 20 0 1 0 29965007 3768647680 606911 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 920080 606911 7985 1 0 891438 0
Current children cumulated CPU time: 220.51 s

################
# More data... #
################


[startup+1062.3 s]
/proc/loadavg: 3.63 3.92 3.48 4/251 14858
/proc/meminfo: memFree=122875908/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=569.57 cores=5,7
/proc/14471/stat : 14471 (python3) S 14466 14466 11315 0 -1 4194304 668217 0 187 0 56815 142 0 0 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
[pid=14800] ppid=14471 vsize=1446696 memory=1134440 CPUtime=488.52 cores=5,7
/proc/14800/stat : 14800 (naps-1.03a6) R 14471 14800 14800 0 -1 4194304 189574 0 0 0 48656 196 0 0 20 0 1 0 30022229 1481416704 283610 18446744073709551615 4198400 7047149 140736839803040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13316096 140736839805329 140736839805427 140736839805427 140736839811017 0
/proc/14800/statm: 361674 283610 544 696 0 360835 0
Current children cumulated CPU time: 1058.1 s
Current children cumulated vsize: 5204716 KiB
Current children cumulated memory: 3639488 KiB

[startup+1122.3 s]
/proc/loadavg: 3.26 3.77 3.45 4/251 14860
/proc/meminfo: memFree=122970156/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=569.57 cores=5,7
/proc/14471/stat : 14471 (python3) S 14466 14466 11315 0 -1 4194304 668217 0 187 0 56815 142 0 0 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
[pid=14800] ppid=14471 vsize=1184552 memory=1077100 CPUtime=548.32 cores=5,7
/proc/14800/stat : 14800 (naps-1.03a6) R 14471 14800 14800 0 -1 4194304 191238 0 0 0 54628 204 0 0 20 0 1 0 30022229 1212981248 269275 18446744073709551615 4198400 7047149 140736839803040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13316096 140736839805329 140736839805427 140736839805427 140736839811017 0
/proc/14800/statm: 296138 269275 544 696 0 295299 0
Current children cumulated CPU time: 1117.9 s
Current children cumulated vsize: 4942572 KiB
Current children cumulated memory: 3582148 KiB

[startup+1182.3 s]
/proc/loadavg: 2.54 3.47 3.37 3/243 14892
/proc/meminfo: memFree=125903212/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=569.57 cores=5,7
/proc/14471/stat : 14471 (python3) S 14466 14466 11315 0 -1 4194304 668217 0 187 0 56815 142 0 0 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
[pid=14800] ppid=14471 vsize=1184552 memory=1032044 CPUtime=608.12 cores=5,7
/proc/14800/stat : 14800 (naps-1.03a6) R 14471 14800 14800 0 -1 4194304 196295 0 0 0 60592 220 0 0 20 0 1 0 30022229 1212981248 258011 18446744073709551615 4198400 7047149 140736839803040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13316096 140736839805329 140736839805427 140736839805427 140736839811017 0
/proc/14800/statm: 296138 258011 544 696 0 295299 0
Current children cumulated CPU time: 1177.7 s
Current children cumulated vsize: 4942572 KiB
Current children cumulated memory: 3537092 KiB

[startup+1220.88 s]
# the end of solver process 14466 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1212.06 s, system=4.13226 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1203.2 s]
/proc/loadavg: 2.45 3.39 3.35 3/242 14893
/proc/meminfo: memFree=125841684/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=569.57 cores=5,7
/proc/14471/stat : 14471 (python3) S 14466 14466 11315 0 -1 4194304 668217 0 187 0 56815 142 0 0 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
[pid=14800] ppid=14471 vsize=1184552 memory=1081196 CPUtime=628.95 cores=5,7
/proc/14800/stat : 14800 (naps-1.03a6) R 14471 14800 14800 0 -1 4194304 196334 0 0 0 62674 221 0 0 20 0 1 0 30022229 1212981248 270299 18446744073709551615 4198400 7047149 140736839803040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13316096 140736839805329 140736839805427 140736839805427 140736839811017 0
/proc/14800/statm: 296138 270299 544 696 0 295299 0
Current children cumulated CPU time: 1198.53 s
Current children cumulated vsize: 4942572 KiB
Current children cumulated memory: 3586244 KiB

[startup+1209.6 s]
/proc/loadavg: 2.42 3.37 3.34 3/242 14893
/proc/meminfo: memFree=125841684/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=569.57 cores=5,7
/proc/14471/stat : 14471 (python3) S 14466 14466 11315 0 -1 4194304 668217 0 187 0 56815 142 0 0 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
[pid=14800] ppid=14471 vsize=1184552 memory=1083244 CPUtime=635.34 cores=5,7
/proc/14800/stat : 14800 (naps-1.03a6) R 14471 14800 14800 0 -1 4194304 196346 0 0 0 63312 222 0 0 20 0 1 0 30022229 1212981248 270811 18446744073709551615 4198400 7047149 140736839803040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13316096 140736839805329 140736839805427 140736839805427 140736839811017 0
/proc/14800/statm: 296138 270811 544 696 0 295299 0
Current children cumulated CPU time: 1204.92 s
Current children cumulated vsize: 4942572 KiB
Current children cumulated memory: 3588292 KiB

[startup+1216 s]*
/proc/loadavg: 2.35 3.32 3.32 3/242 14893
/proc/meminfo: memFree=125894496/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=569.57 cores=5,7
/proc/14471/stat : 14471 (python3) S 14466 14466 11315 0 -1 4194304 668217 0 187 0 56815 142 0 0 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
[pid=14800] ppid=14471 vsize=1184552 memory=1032028 CPUtime=641.73 cores=5,7
/proc/14800/stat : 14800 (naps-1.03a6) R 14471 14800 14800 0 -1 4194304 198745 0 0 0 63942 231 0 0 20 0 1 0 30022229 1212981248 258007 18446744073709551615 4198400 7047149 140736839803040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13316096 140736839805329 140736839805427 140736839805427 140736839811017 0
/proc/14800/statm: 296138 258007 544 696 0 295299 0
Current children cumulated CPU time: 1211.31 s
Current children cumulated vsize: 4942572 KiB
Current children cumulated memory: 3537076 KiB

[startup+1219.2 s]
/proc/loadavg: 2.35 3.32 3.32 3/241 14893
/proc/meminfo: memFree=126905608/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3753828 memory=2502232 CPUtime=1214.48 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 817259 199535 187 0 56849 154 64210 235 20 0 1 0 29965007 3843919872 625558 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 938457 625558 8017 1 0 909815 0
Current children cumulated CPU time: 1214.49 s
Current children cumulated vsize: 3758020 KiB
Current children cumulated memory: 2505048 KiB

[startup+1220 s]*
/proc/loadavg: 2.35 3.32 3.32 3/241 14893
/proc/meminfo: memFree=126905608/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3749288 memory=2498264 CPUtime=1215.28 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 876636 199535 187 0 56926 157 64210 235 20 0 1 0 29965007 3839270912 624566 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 937322 624566 8017 1 0 908680 0
Current children cumulated CPU time: 1215.29 s
Current children cumulated vsize: 3753480 KiB
Current children cumulated memory: 2501080 KiB

[startup+1220.4 s]
/proc/loadavg: 2.35 3.32 3.32 3/241 14893
/proc/meminfo: memFree=126905608/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3749288 memory=2498264 CPUtime=1215.67 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 946421 199535 187 0 56959 163 64210 235 20 0 1 0 29965007 3839270912 624566 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 937322 624566 8017 1 0 908680 0
Current children cumulated CPU time: 1215.68 s
Current children cumulated vsize: 3753480 KiB
Current children cumulated memory: 2501080 KiB

[startup+1220.8 s]
/proc/loadavg: 2.35 3.32 3.32 3/241 14893
/proc/meminfo: memFree=126905608/131382116 swapFree=33010684/33010684
[pid=14466] ppid=14463 vsize=4192 memory=2816 CPUtime=0.01 cores=5,7
/proc/14466/stat : 14466 (scip-naps-1.00.) S 14463 14466 11315 0 -1 4194304 256 337 0 0 0 0 0 1 20 0 1 0 29965003 4292608 704 18446744073709551615 93850951827456 93850952721989 140721537523472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93850952961040 93850953008784 93850958880768 140721537530273 140721537530370 140721537530370 140721537535972 0
/proc/14466/statm: 1048 704 672 219 0 110 0
[pid=14471] ppid=14466 vsize=3504712 memory=2321848 CPUtime=1216.07 cores=5,7
/proc/14471/stat : 14471 (python3) R 14466 14466 11315 0 -1 4194304 1037062 199535 187 0 56993 169 64210 235 20 0 1 0 29965007 3588825088 580462 18446744073709551615 94184069795840 94184069796217 140721072048448 0 0 0 0 16781312 0 0 0 0 17 5 0 0 0 0 0 94184069807512 94184069808132 94184086306816 140721072056664 140721072056866 140721072056866 140721072062439 0
/proc/14471/statm: 876178 580462 8017 1 0 847536 0
Current children cumulated CPU time: 1216.08 s
Current children cumulated vsize: 3508904 KiB
Current children cumulated memory: 2324664 KiB

Child status: 0

Real time (s): 1220.88
CPU time (s): 1216.19
CPU user time (s): 1212.06
CPU system time (s): 4.13226
CPU usage (%): 99.6161
Max. virtual memory (cumulated for all children) (KiB): 5709556
Max. memory (cumulated for all children) (KiB): 3957172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1212.06
system time used= 4.13226
maximum resident set size= 2802772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1238828
page faults= 187
swaps= 0
block input operations= 36184
block output operations= 33984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 776
involuntary context switches= 1191


# summary of solver processes directly reported to runsolver:
#   pid: 14466
#   total CPU time (s): 1216.19
#   total CPU user time (s): 1212.06
#   total CPU system time (s): 4.13226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82647 second user time and 12.2503 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-28 22:34:16
IDJOB=4491441
IDBENCH=147705
IDSOLVER=3368
FILE ID=nodeC010/4491441-1751142855
RUNJOBID= nodeC010-1751142855-14399
SLURM_JOB_ID= 9587410
Free space on /tmp= 433020 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491441-1751142855/watcher-4491441-1751142855 -o /tmp/evaluation-result-4491441-1751142855/solver-4491441-1751142855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14399 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4491441-1751142855.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=556527623

nodeC010 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	: 0xb00001f
cpu MHz		: 1197.404
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.504
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.167
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.150
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1895.511
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        130350024 kB
MemAvailable:   129973468 kB
Buffers:            3280 kB
Cached:           413884 kB
SwapCached:            0 kB
Active:           296648 kB
Inactive:         207692 kB
Active(anon):     105172 kB
Inactive(anon):        0 kB
Active(file):     191476 kB
Inactive(file):   207692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46004 kB
Writeback:             4 kB
AnonPages:         90416 kB
Mapped:           102876 kB
Shmem:             17960 kB
KReclaimable:      83600 kB
Slab:             161948 kB
SReclaimable:      83600 kB
SUnreclaim:        78348 kB
KernelStack:        4096 kB
PageTables:         3228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     431724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC010 at 2025-06-28 22:54:37