Trace number 4491729

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 507.207 509.265

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUMc8aab35d42bad0d90391f6d533654bf0
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 benchmark1.29058
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40605
Total number of constraints118930
Number of constraints which are clauses117190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1740
Minimum length of a constraint1
Maximum length of a constraint13
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 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

499.07/501.13	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491729-1751143375.opb
499.07/501.13	c Solving mode: decision
499.07/501.13	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
499.07/501.13	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
499.07/501.13	c original problem has 40605 variables (40605 bin, 0 int, 0 impl, 0 cont) and 118930 constraints
499.07/501.13	c presolving:
499.07/501.13	c (round 1, fast)       16 del vars, 7 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 0 upgd conss, 0 impls, 78836 clqs
499.07/501.13	c (round 2, medium)     1131 del vars, 35 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 0 upgd conss, 0 impls, 76631 clqs
499.07/501.13	c (round 3, fast)       1131 del vars, 2244 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 0 upgd conss, 0 impls, 76633 clqs
499.07/501.13	c (round 4, exhaustive) 1131 del vars, 2245 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 116683 upgd conss, 0 impls, 76633 clqs
499.07/501.13	c (round 5, exhaustive) 1132 del vars, 117179 del conss, 38310 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 116683 upgd conss, 0 impls, 76631 clqs
499.07/501.13	c (round 6, exhaustive) 1396 del vars, 117179 del conss, 38310 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 116684 upgd conss, 0 impls, 110008 clqs
499.07/501.13	c (round 7, fast)       1425 del vars, 117208 del conss, 38310 add conss, 1 chg bounds, 870 chg sides, 1769 chg coeffs, 116740 upgd conss, 0 impls, 109951 clqs
499.07/501.13	c (round 8, exhaustive) 1482 del vars, 117268 del conss, 38370 add conss, 1 chg bounds, 870 chg sides, 1769 chg coeffs, 116740 upgd conss, 0 impls, 109836 clqs
499.07/501.13	c (round 9, exhaustive) 1483 del vars, 117336 del conss, 38427 add conss, 1 chg bounds, 870 chg sides, 1769 chg coeffs, 116740 upgd conss, 0 impls, 109858 clqs
499.07/501.13	c (round 10, fast)       1483 del vars, 117391 del conss, 38427 add conss, 1 chg bounds, 870 chg sides, 1769 chg coeffs, 116740 upgd conss, 0 impls, 109858 clqs
499.07/501.13	c (round 11, exhaustive) 1519 del vars, 117430 del conss, 38428 add conss, 1 chg bounds, 870 chg sides, 1769 chg coeffs, 116740 upgd conss, 0 impls, 109768 clqs
499.07/501.13	c (round 12, exhaustive) 1785 del vars, 117433 del conss, 38429 add conss, 1 chg bounds, 870 chg sides, 1769 chg coeffs, 116740 upgd conss, 0 impls, 118570 clqs
499.07/501.13	c (round 13, fast)       2037 del vars, 117685 del conss, 38429 add conss, 1 chg bounds, 870 chg sides, 2021 chg coeffs, 116757 upgd conss, 0 impls, 118123 clqs
499.07/501.13	c (round 14, exhaustive) 2049 del vars, 117714 del conss, 38458 add conss, 1 chg bounds, 870 chg sides, 2021 chg coeffs, 116757 upgd conss, 0 impls, 118088 clqs
499.07/501.13	c (round 15, exhaustive) 2296 del vars, 117730 del conss, 38470 add conss, 1 chg bounds, 870 chg sides, 2021 chg coeffs, 116757 upgd conss, 0 impls, 121195 clqs
499.07/501.13	c (round 16, exhaustive) 2358 del vars, 117754 del conss, 38471 add conss, 1 chg bounds, 870 chg sides, 2040 chg coeffs, 116759 upgd conss, 0 impls, 268425 clqs
499.07/501.13	c (round 17, exhaustive) 2396 del vars, 117842 del conss, 38556 add conss, 1 chg bounds, 870 chg sides, 2043 chg coeffs, 116762 upgd conss, 0 impls, 268114 clqs
499.07/501.13	c (round 18, exhaustive) 2396 del vars, 117877 del conss, 38591 add conss, 1 chg bounds, 870 chg sides, 2043 chg coeffs, 116762 upgd conss, 0 impls, 268160 clqs
499.07/501.13	c    (7.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
499.07/501.13	c    (7.7s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
499.07/501.13	c dynamic symmetry handling statistics:
499.07/501.13	c    orbitopal reduction:       no components
499.07/501.13	c    orbital reduction:         no components
499.07/501.13	c    lexicographic reduction:    2 permutations with support sizes 26074, 1600
499.07/501.13	c handled 2 out of 2 symmetry components
499.07/501.13	c presolving (19 rounds: 19 fast, 14 medium, 13 exhaustive):
499.07/501.13	c  2423 deleted vars, 117878 deleted constraints, 38591 added constraints, 1 tightened bounds, 0 added holes, 870 changed sides, 2043 changed coefficients
499.07/501.13	c  0 implications, 292793 cliques
499.07/501.13	c presolved problem has 38193 variables (38193 bin, 0 int, 0 impl, 0 cont) and 38980 constraints
499.07/501.13	c    1740 constraints of type <knapsack>
499.07/501.13	c     290 constraints of type <setppc>
499.07/501.13	c   36948 constraints of type <and>
499.07/501.13	c       2 constraints of type <logicor>
499.07/501.13	c transformed objective value is always integral (scale: 1)
499.07/501.13	c Presolving Time: 7.46
499.07/501.13	c 
499.07/501.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
499.07/501.13	c   9.9s|     1 |     0 |  2315 |     - |   755M |   0 |  38k|  39k|  75k|   0 |  0 |  36 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c  20.1s|     1 |     0 | 13086 |     - |   778M |   0 |  38k|  39k|  76k| 576 |  1 |  37 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c  33.0s|     1 |     0 | 19074 |     - |   809M |   0 |  38k|  39k|  77k|1816 |  2 |  39 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c  47.5s|     1 |     0 | 26200 |     - |   829M |   0 |  38k|  39k|  78k|2812 |  3 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c  64.7s|     1 |     0 | 34861 |     - |   848M |   0 |  38k|  39k|  79k|4046 |  4 |  41 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c  96.9s|     1 |     0 | 45855 |     - |   861M |   0 |  38k|  39k|  81k|5285 |  5 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   119s|     1 |     0 | 57185 |     - |   861M |   0 |  38k|  39k|  82k|6729 |  6 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   168s|     1 |     0 | 72469 |     - |   877M |   0 |  38k|  39k|  84k|8149 |  7 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   216s|     1 |     0 | 89987 |     - |   878M |   0 |  38k|  39k|  85k|9788 |  8 |  48 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   276s|     1 |     0 |108913 |     - |   878M |   0 |  38k|  39k|  87k|  11k|  9 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   363s|     1 |     0 |128846 |     - |   889M |   0 |  38k|  39k|  88k|  12k| 10 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   442s|     1 |     0 |153613 |     - |   890M |   0 |  38k|  39k|  90k|  14k| 11 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c   500s|     1 |     2 |177258 |     - |   891M |   0 |  38k|  39k|  90k|  14k| 11 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.07/501.13	c 
499.07/501.13	c SCIP Status        : solving was interrupted [time limit reached]
499.07/501.13	c Solving Time (sec) : 500.06
499.07/501.13	c Solving Nodes      : 1
499.07/501.13	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
499.07/501.13	c Dual Bound         : +0.00000000000000e+00
499.07/501.13	c Gap                : infinite
499.07/501.13	c ----------------------------------------------------------------------
499.07/501.13	c dual bound: 0.0 -> 0
499.07/501.13	c primal bound: 1e+20 -> 100000000000000000000
499.07/501.13	c scip-goal-lb: 0
499.07/501.13	c scip-goal-ub: 100000000000000000000
499.07/501.13	c writing output to: HOME/tmpi2ndk7p1.opb
499.07/501.13	c appending fixed variable constraints
499.07/501.13	c scip-fixed vars: 1.98% (757/38193)
499.07/501.13	c ----------------------------------------------------------------------
499.07/501.13	c executing external solver: HOME/naps-1.03a6
499.07/501.13	c ----------------------------------------------------------------------
499.07/501.13	c command: HOME/naps-1.03a6 HOME/tmpi2ndk7p1.opb
499.07/501.17	c NaPS 1.03a6.
499.07/501.17	c Input file name: HOME/tmpi2ndk7p1.opb
505.93/508.08	c _____________________________________________________________________________
505.93/508.08	c std/band forms        : 1740,0
505.93/508.08	c 2cl/3cl ITE-codings   : 122562,0
505.93/508.08	c BDD/srt/adr Max costs : 204,0,0
505.93/508.08	c BDDraw/bin/mul/srt/adr: 0,0,1740,0,0
505.93/508.08	c BDD nodes             : 191884
505.93/508.08	c Es1/CC detections     : 0,0
505.93/508.08	c CC sort               : 0
505.93/508.08	c SAT/UNSAT calls       : 0,1
505.93/508.08	c regenrated variables  : 0
505.93/508.08	c eliminated fixed lits : 1433
505.93/508.08	c goal lit flips        : 0
505.93/508.08	c goal stages           : 0
505.93/508.08	c goal shrink           : 0
505.93/508.08	c goal coeff separations: 0
505.93/508.08	c restarts              : 724
505.93/508.08	c conflicts             : 9203           (1354 /sec)
505.93/508.08	c decisions             : 87834          (12919 /sec)
505.93/508.08	c propagations          : 17392745       (2558207 /sec)
505.93/508.08	c inspects              : 0              (0 /sec)
505.93/508.08	c CPU time (solving tm) : 6.799 s        (3.448 s, SAT 0 s, UNSAT 3.448 s)
505.93/508.08	c Time for Opt-base     : 0.574 s
505.93/508.08	c Steps for Opt-base    : 1396231
505.93/508.08	c Time for BDD coding   : 1.23 s
505.93/508.08	c Time for srt coding   : 0 s
505.93/508.08	c _____________________________________________________________________________
505.93/508.08	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 (60428 MiB free)
  memory of node 1: 64465 MiB (61539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491729-1751143375/watcher-4491729-1751143375 -o /tmp/evaluation-result-4491729-1751143375/solver-4491729-1751143375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14398 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491729-1751143375.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14743, runsolver pid=14740

[startup+0.100068 s]*
/proc/loadavg: 4.14 3.73 3.04 5/254 14748
/proc/meminfo: memFree=124895228/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=19016 memory=14208 CPUtime=0.07 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 1863 0 0 0 6 1 0 0 20 0 1 0 30016959 19472384 3552 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 4818 3552 1984 1 0 1572 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23208 KiB
Current children cumulated memory: 17152 KiB

[startup+0.213472 s]*
/proc/loadavg: 4.14 3.73 3.04 6/254 14748
/proc/meminfo: memFree=124889180/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=1186920 memory=31564 CPUtime=0.16 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 3689 0 0 0 14 2 0 0 20 0 1 0 30016959 1215406080 7891 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 296730 7891 4851 1 0 268752 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34508 KiB

[startup+0.321341 s]*
/proc/loadavg: 4.14 3.73 3.04 5/254 14748
/proc/meminfo: memFree=124885904/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=1190468 memory=35532 CPUtime=0.25 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 4508 0 0 0 22 3 0 0 20 0 1 0 30016959 1219039232 8883 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 297617 8883 5043 1 0 269508 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194660 KiB
Current children cumulated memory: 38476 KiB

[startup+0.700356 s]
/proc/loadavg: 4.14 3.73 3.04 5/254 14748
/proc/meminfo: memFree=124856672/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=1245920 memory=97100 CPUtime=0.59 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 17575 0 0 0 52 7 0 0 20 0 1 0 30016959 1275822080 24275 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 311480 24275 7571 1 0 282838 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 1250112 KiB
Current children cumulated memory: 100044 KiB

[startup+1.50036 s]
/proc/loadavg: 4.13 3.73 3.04 5/254 14748
/proc/meminfo: memFree=124743776/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=1436156 memory=283596 CPUtime=1.38 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 64001 0 0 0 117 21 0 0 20 0 1 0 30016959 1470623744 70899 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 359039 70899 7795 1 0 330397 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 1440348 KiB
Current children cumulated memory: 286540 KiB

[startup+3.11297 s]
/proc/loadavg: 4.13 3.73 3.04 5/254 14748
/proc/meminfo: memFree=124542680/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=1524392 memory=371404 CPUtime=2.99 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 86044 0 0 0 273 26 0 0 20 0 1 0 30016959 1560977408 92851 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 381098 92851 7859 1 0 352456 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 1528584 KiB
Current children cumulated memory: 374348 KiB

[startup+6.30038 s]
/proc/loadavg: 4.12 3.74 3.05 5/254 14748
/proc/meminfo: memFree=124511180/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=1561916 memory=409092 CPUtime=6.17 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 95200 0 0 0 589 28 0 0 20 0 1 0 30016959 1599401984 102273 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 390479 102273 7859 1 0 361837 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 1566108 KiB
Current children cumulated memory: 412036 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 3.74 3.05 5/254 14748
/proc/meminfo: memFree=124160144/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=923584 CPUtime=12.54 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 227059 0 0 0 1207 47 0 0 20 0 1 0 30016959 2263175168 230896 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 230896 8083 1 0 523891 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 926528 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 3.75 3.06 5/255 14749
/proc/meminfo: memFree=123797704/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=926016 CPUtime=25.31 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 227985 0 0 0 2483 48 0 0 20 0 1 0 30016959 2263175168 231504 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231504 8083 1 0 523891 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 928960 KiB

[startup+51.1125 s]
/proc/loadavg: 4.11 3.79 3.10 5/254 14799
/proc/meminfo: memFree=123359116/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=926144 CPUtime=50.83 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228018 0 0 0 5034 49 0 0 20 0 1 0 30016959 2263175168 231536 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231536 8083 1 0 523891 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 929088 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.84 3.15 5/255 14801
/proc/meminfo: memFree=122766520/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=926400 CPUtime=101.84 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228081 0 0 0 10135 49 0 0 20 0 1 0 30016959 2263175168 231600 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231600 8083 1 0 523891 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 929344 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.89 3.21 5/255 14803
/proc/meminfo: memFree=122427492/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=926400 CPUtime=161.6 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228104 0 0 0 16111 49 0 0 20 0 1 0 30016959 2263175168 231600 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231600 8083 1 0 523891 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 929344 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.93 3.27 5/256 14808
/proc/meminfo: memFree=122449288/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=926528 CPUtime=221.35 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228138 0 0 0 22086 49 0 0 20 0 1 0 30016959 2263175168 231632 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231632 8083 1 0 523891 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 2214324 KiB

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

[startup+282.3 s]
/proc/loadavg: 4.07 3.96 3.33 5/256 14814
/proc/meminfo: memFree=122584516/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=926528 CPUtime=281.11 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228141 0 0 0 28062 49 0 0 20 0 1 0 30016959 2263175168 231632 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231632 8083 1 0 523891 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 929472 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.00 3.38 5/256 14816
/proc/meminfo: memFree=122616908/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=927040 CPUtime=340.87 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228273 0 0 0 34038 49 0 0 20 0 1 0 30016959 2263175168 231760 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231760 8083 1 0 523891 0
Current children cumulated CPU time: 340.87 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 929984 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.00 3.42 5/257 14819
/proc/meminfo: memFree=122619160/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=927808 CPUtime=400.62 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228448 0 0 0 40013 49 0 0 20 0 1 0 30016959 2263175168 231952 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 231952 8083 1 0 523891 0
Current children cumulated CPU time: 400.62 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 930752 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.03 3.47 5/258 14822
/proc/meminfo: memFree=122425160/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=929216 CPUtime=460.38 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228800 0 0 0 45989 49 0 0 20 0 1 0 30016959 2263175168 232304 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 232304 8083 1 0 523891 0
Current children cumulated CPU time: 460.38 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 932160 KiB

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

# cumulated CPU time of all completed processes:  user=506.267 s, system=0.93949 s

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

[startup+486.4 s]
/proc/loadavg: 4.08 4.03 3.49 5/258 14824
/proc/meminfo: memFree=122047200/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=929216 CPUtime=484.4 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228800 0 0 0 48391 49 0 0 20 0 1 0 30016959 2263175168 232304 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 232304 8083 1 0 523891 0
Current children cumulated CPU time: 484.4 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 932160 KiB

[startup+499.2 s]
/proc/loadavg: 4.07 4.03 3.49 5/258 14824
/proc/meminfo: memFree=122277600/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2210132 memory=929216 CPUtime=497.15 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 228800 0 0 0 49666 49 0 0 20 0 1 0 30016959 2263175168 232304 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 552533 232304 8083 1 0 523891 0
Current children cumulated CPU time: 497.15 s
Current children cumulated vsize: 2214324 KiB
Current children cumulated memory: 932160 KiB

[startup+505.6 s]
/proc/loadavg: 4.14 4.04 3.50 5/259 14825
/proc/meminfo: memFree=122184592/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2232660 memory=951872 CPUtime=499.1 cores=1,3
/proc/14748/stat : 14748 (python3) S 14743 14743 11315 0 -1 4194304 234643 0 0 0 49858 52 0 0 20 0 1 0 30016959 2286243840 237968 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 558165 237968 8115 1 0 529523 0
[pid=14825] ppid=14748 vsize=152776 memory=138668 CPUtime=4.43 cores=1,3
/proc/14825/stat : 14825 (naps-1.03a6) R 14748 14825 14825 0 -1 4194304 25242 0 0 0 433 10 0 0 20 0 1 0 30067071 156442624 34667 18446744073709551615 4198400 7047149 140727318255552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10334208 140727318260113 140727318260211 140727318260211 140727318265801 0
/proc/14825/statm: 38194 34667 544 696 0 37355 0
Current children cumulated CPU time: 503.53 s
Current children cumulated vsize: 2389628 KiB
Current children cumulated memory: 1093484 KiB

[startup+507.2 s]
/proc/loadavg: 4.13 4.04 3.50 5/259 14825
/proc/meminfo: memFree=122222760/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2232660 memory=951872 CPUtime=499.1 cores=1,3
/proc/14748/stat : 14748 (python3) S 14743 14743 11315 0 -1 4194304 234643 0 0 0 49858 52 0 0 20 0 1 0 30016959 2286243840 237968 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 558165 237968 8115 1 0 529523 0
[pid=14825] ppid=14748 vsize=157088 memory=133148 CPUtime=6.02 cores=1,3
/proc/14825/stat : 14825 (naps-1.03a6) R 14748 14825 14825 0 -1 4194304 26386 0 0 0 592 10 0 0 20 0 1 0 30067071 160858112 33287 18446744073709551615 4198400 7047149 140727318255552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10334208 140727318260113 140727318260211 140727318260211 140727318265801 0
/proc/14825/statm: 39272 33287 544 696 0 38433 0
Current children cumulated CPU time: 505.12 s
Current children cumulated vsize: 2393940 KiB
Current children cumulated memory: 1087964 KiB

[startup+508 s]*
/proc/loadavg: 4.13 4.04 3.50 5/259 14825
/proc/meminfo: memFree=122139076/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2232660 memory=951872 CPUtime=499.1 cores=1,3
/proc/14748/stat : 14748 (python3) S 14743 14743 11315 0 -1 4194304 234643 0 0 0 49858 52 0 0 20 0 1 0 30016959 2286243840 237968 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 558165 237968 8115 1 0 529523 0
[pid=14825] ppid=14748 vsize=124316 memory=114704 CPUtime=6.83 cores=1,3
/proc/14825/stat : 14825 (naps-1.03a6) R 14748 14825 14825 0 -1 4194304 26386 0 0 0 673 10 0 0 20 0 1 0 30067071 127299584 28676 18446744073709551615 4198400 7047149 140727318255552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10334208 140727318260113 140727318260211 140727318260211 140727318265801 0
/proc/14825/statm: 31079 28676 544 696 0 30240 0
Current children cumulated CPU time: 505.93 s
Current children cumulated vsize: 2361168 KiB
Current children cumulated memory: 1069520 KiB

[startup+508.8 s]
/proc/loadavg: 4.13 4.04 3.50 5/259 14825
/proc/meminfo: memFree=122139076/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
[pid=14748] ppid=14743 vsize=2231604 memory=951076 CPUtime=506.72 cores=1,3
/proc/14748/stat : 14748 (python3) R 14743 14743 11315 0 -1 4194304 337273 26389 0 0 49914 67 680 11 20 0 1 0 30016959 2285162496 237769 18446744073709551615 94504214622208 94504214622585 140734963470512 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94504214633880 94504214634500 94504218247168 140734963476824 140734963477026 140734963477026 140734963482599 0
/proc/14748/statm: 557901 237769 8115 1 0 529259 0
Current children cumulated CPU time: 506.72 s
Current children cumulated vsize: 2235796 KiB
Current children cumulated memory: 954020 KiB

[startup+509.2 s]
/proc/loadavg: 4.13 4.04 3.50 5/258 14825
/proc/meminfo: memFree=122220832/131382116 swapFree=33010684/33010684
[pid=14743] ppid=14740 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14743/stat : 14743 (scip-naps-1.00.) S 14740 14743 11315 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30016956 4292608 736 18446744073709551615 94180395274240 94180396168773 140723256091984 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94180396407824 94180396455568 94180397481984 140723256101281 140723256101378 140723256101378 140723256106980 0
/proc/14743/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 509.265
CPU time (s): 507.207
CPU user time (s): 506.267
CPU system time (s): 0.93949
CPU usage (%): 99.5957
Max. virtual memory (cumulated for all children) (KiB): 2393940
Max. memory (cumulated for all children) (KiB): 1093484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 506.267
system time used= 0.93949
maximum resident set size= 951872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357
involuntary context switches= 2808


# summary of solver processes directly reported to runsolver:
#   pid: 14743
#   total CPU time (s): 507.207
#   total CPU user time (s): 506.267
#   total CPU system time (s): 0.93949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.8383 second user time and 5.14702 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-28 22:42:56
IDJOB=4491729
IDBENCH=147734
IDSOLVER=3368
FILE ID=nodeC010/4491729-1751143375
RUNJOBID= nodeC010-1751142855-14398
SLURM_JOB_ID= 9587410
Free space on /tmp= 433000 MiB

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

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

MD5SUM BENCH= c8aab35d42bad0d90391f6d533654bf0
RANDOM SEED=1327921071

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		: 3691.216
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.205
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.324
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.141
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		: 3691.133
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		: 3661.912
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		: 1197.140
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		: 3700.000
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:        124895228 kB
MemAvailable:   124572932 kB
Buffers:            3280 kB
Cached:           489948 kB
SwapCached:            0 kB
Active:          5659220 kB
Inactive:         232692 kB
Active(anon):    5416644 kB
Inactive(anon):        0 kB
Active(file):     242576 kB
Inactive(file):   232692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14876 kB
Writeback:             4 kB
AnonPages:       5401736 kB
Mapped:           127520 kB
Shmem:             17960 kB
KReclaimable:      84128 kB
Slab:             162872 kB
SReclaimable:      84128 kB
SUnreclaim:        78744 kB
KernelStack:        4080 kB
PageTables:        14336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9273108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1060864 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= 432972 MiB
End job on nodeC010 at 2025-06-28 22:51:25