Trace number 4459915

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 NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT-7 51.088 51.2652

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.opb
MD5SUMebac5252404fb179fdef7d7346a4bcb7
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark49.9793
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2952
Sum of products size (including duplicates)5904
Number of different products1476
Sum of products size2952

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 28880896, getVmSize() = 28880896, SCIPgetMemUsed() = 5316879, SCIPgetMemTotal() = 7163271, SCIPgetMemExternEstim() = 3181725
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06	c ** Estimated virtualMemUsedAtSolver = 20417194, getVmSize() = 32370688, SCIPgetMemUsed() = 5634930, SCIPgetMemTotal() = 9538010, SCIPgetMemExternEstim() = 3181725
0.00/0.06	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06	c Original Problem   :
0.00/0.06	c   Problem name     : instance-4459915-1721942013
0.00/0.06	c   Variables        : 1576 (100 binary, 0 integer, 1476 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 1727
0.00/0.06	c   Objective sense  : minimize
0.00/0.06	c Presolved Problem  :
0.00/0.06	c   Variables        : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06	c   Constraints      : 151
0.00/0.06	c Constraints        : Number
0.00/0.06	c   knapsack         : 100 
0.00/0.06	c   setppc           : 50 
0.00/0.06	c   linear           : 1 
0.00/0.06	c ** Instance transfer method used: 0
0.00/0.06	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07	c                                Nodes    Active                                            
0.00/0.07	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.09	c *       0              0           1         1          -4.0000                -          -
0.69/0.79	c *       1              0           1         1          -5.0000                -          -
4.09/4.19	c *       4              2           1         1          -6.0000         -18.4884    208.14%
4.98/5.01	c         5             72          14         1          -6.0000         -18.4476    207.46%
10.25/10.32	c        10           1932         428         1          -6.0000         -15.0739    151.23%
12.24/12.36	c *      12           2422         534         1          -7.0000         -13.9689     99.56%
15.33/15.47	c        15           4212         487         1          -7.0000         -13.1540     87.91%
22.62/22.74	c        23           6580           1         1          -7.0000         -11.8137     68.77%
27.70/27.83	c        28           7470         137         1          -7.0000         -11.8137     68.77%
32.68/32.88	c        33          10875         470         1          -7.0000         -11.8137     68.77%
37.88/38.02	c        38          12884         691         1          -7.0000         -11.8137     68.77%
43.04/43.26	c        43          17420         766         1          -7.0000          -9.8888     41.27%
48.02/48.27	c        48          23090         444         1          -7.0000          -9.1883     31.26%
51.02/51.23	c        51          26939           0         0          -7.0000          -7.0000      0.00%
51.02/51.25	c        51          26939           0         0          -7.0000          -7.0000          -
51.02/51.25	c SCIP Status        : c problem is solved
51.02/51.25	c Total Time         : 51.2400
51.02/51.25	c   solving          : 51.2400
51.02/51.25	c   presolving       : 0.0361 (included in solving)
51.02/51.25	c B&B Tree           :
51.02/51.25	c   nodes (total)    : 26939
51.02/51.25	c Solution           :
51.02/51.25	c   Solutions found  : 5
51.02/51.25	c   Primal Bound     : -7.00000000000000e+00
51.02/51.25	c   Dual Bound       : -7.00000000000000e+00
51.02/51.25	c Gap                : 0.00000 %
51.02/51.25	o -7
51.02/51.25	s OPTIMUM FOUND
51.02/51.25	v -x70 -x61 x84 -x78 -x64 -x63 -x58 -x54 -x72 -x100 -x83 x82 -x95 -x79 -x62 -x51 -x85 -x81 -x80 -x71 x68 -x67 -x60 -x57 -x56 -x87 
51.02/51.25	v -x55 x99 -x88 x98 -x74 -x89 -x93 -x66 x96 x92 -x53 -x90 -x94 -x75 -x59 -x65 -x52 -x77 -x73 -x76 -x91 -x69 -x86 -x97 -x50 -x49 
51.02/51.25	v -x48 -x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 
51.02/51.25	v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-7

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: 64096 MiB (59119 MiB free)
  memory of node 1: 64473 MiB (60534 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459915-1721942013/watcher-4459915-1721942013 -o /tmp/evaluation-result-4459915-1721942013/solver-4459915-1721942013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235369 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459915-1721942013.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=236705, runsolver pid=236702

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.15 3.96 5/248 236708
/proc/meminfo: memFree=122509652/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=114876 memory=27912 CPUtime=0.1 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 4418 0 0 0 9 1 0 0 20 0 3 0 30190728 117633024 6978 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 28719 6978 2910 3032 0 10309 0
[pid=236705/tid=236707] ppid=236702 vsize=114876 memory=4026561586 CPUtime=0.03 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 1251 0 0 0 3 0 0 0 20 0 3 0 30190734 117633024 6978 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=114876 memory=237146210664 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30190735 117633024 6978 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114876 KiB
Current children cumulated memory: 27912 KiB

[startup+0.213262 s]*
/proc/loadavg: 4.08 4.15 3.96 5/248 236708
/proc/meminfo: memFree=122502260/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=114876 memory=35828 CPUtime=0.22 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 6398 0 0 0 20 2 0 0 20 0 3 0 30190728 117633024 8957 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 28719 8957 2910 3032 0 12292 0
[pid=236705/tid=236707] ppid=236702 vsize=114876 memory=4782652875487838339 CPUtime=0.14 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 3231 0 0 0 14 0 0 0 20 0 3 0 30190734 117633024 8957 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=114876 memory=1796009 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30190735 117633024 8957 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 114876 KiB
Current children cumulated memory: 35828 KiB

[startup+0.313124 s]*
/proc/loadavg: 4.08 4.15 3.96 5/248 236708
/proc/meminfo: memFree=122498228/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=115428 memory=38724 CPUtime=0.31 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 7104 0 0 0 29 2 0 0 20 0 3 0 30190728 118198272 9681 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 28857 9681 2910 3032 0 13133 0
[pid=236705/tid=236707] ppid=236702 vsize=115428 memory=-6729334879506578282 CPUtime=0.25 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 3972 0 0 0 24 1 0 0 20 0 3 0 30190734 118198272 9747 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=115428 memory=0 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30190735 118198272 9747 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 115428 KiB
Current children cumulated memory: 38724 KiB

[startup+0.700346 s]
/proc/loadavg: 4.08 4.15 3.96 5/248 236708
/proc/meminfo: memFree=122491592/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=124048 memory=52712 CPUtime=0.69 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 10607 0 0 0 66 3 0 0 20 0 3 0 30190728 127025152 13178 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 31012 13178 2910 3032 0 16751 0
[pid=236705/tid=236707] ppid=236702 vsize=124048 memory=0 CPUtime=0.61 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 7440 0 0 0 60 1 0 0 20 0 3 0 30190734 127025152 13178 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=124048 memory=0 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30190735 127025152 13178 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 124048 KiB
Current children cumulated memory: 52712 KiB

[startup+1.50035 s]
/proc/loadavg: 4.08 4.15 3.96 5/248 236708
/proc/meminfo: memFree=122470060/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=135228 memory=69156 CPUtime=1.49 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 18345 0 0 0 145 4 0 0 20 0 3 0 30190728 138473472 17289 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 33807 17289 2910 3032 0 21159 0
[pid=236705/tid=236707] ppid=236702 vsize=135228 memory=0 CPUtime=1.41 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 15178 0 0 0 139 2 0 0 20 0 3 0 30190734 138473472 17289 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=135228 memory=0 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30190735 138473472 17289 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 135228 KiB
Current children cumulated memory: 69156 KiB

[startup+3.11292 s]
/proc/loadavg: 4.08 4.15 3.96 5/248 236708
/proc/meminfo: memFree=122465496/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=136168 memory=70848 CPUtime=3.1 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 19017 0 0 0 306 4 0 0 20 0 3 0 30190728 139436032 17712 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 34042 17712 2910 3032 0 21616 0
[pid=236705/tid=236707] ppid=236702 vsize=136168 memory=0 CPUtime=3.02 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 15847 0 0 0 300 2 0 0 20 0 3 0 30190734 139436032 17712 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=136168 memory=0 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30190735 139436032 17712 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136168 KiB
Current children cumulated memory: 70848 KiB

[startup+6.30032 s]
/proc/loadavg: 4.07 4.15 3.96 5/248 236709
/proc/meminfo: memFree=122457492/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=141404 memory=78948 CPUtime=6.27 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 21688 0 0 0 623 4 0 0 20 0 3 0 30190728 144797696 19737 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 35351 19737 2958 3032 0 23704 0
[pid=236705/tid=236707] ppid=236702 vsize=141404 memory=-6729334879506578282 CPUtime=6.2 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 18429 0 0 0 617 3 0 0 20 0 3 0 30190734 144797696 19737 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=141404 memory=-6729334879506578282 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30190735 144797696 19737 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 141404 KiB
Current children cumulated memory: 78948 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.15 3.96 5/248 236709
/proc/meminfo: memFree=122452392/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=140664 memory=86132 CPUtime=12.65 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 35468 0 0 0 1258 7 0 0 20 0 3 0 30190728 144039936 21533 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 35166 21533 2974 3032 0 25773 0
[pid=236705/tid=236707] ppid=236702 vsize=140664 memory=-6729334879506578282 CPUtime=12.57 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 32098 0 0 0 1252 5 0 0 20 0 3 0 30190734 144039936 21533 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=140664 memory=83024 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 30190735 144039936 21533 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 140664 KiB
Current children cumulated memory: 86132 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.14 3.96 5/248 236711
/proc/meminfo: memFree=122436740/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=148516 memory=98484 CPUtime=25.41 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 66249 0 0 0 2530 11 0 0 20 0 3 0 30190728 152080384 24621 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 37129 24621 2974 3032 0 28782 0
[pid=236705/tid=236707] ppid=236702 vsize=148516 memory=89132 CPUtime=25.33 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 62787 0 0 0 2524 9 0 0 20 0 3 0 30190734 152080384 24621 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=148516 memory=11616 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 30190735 152080384 24621 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 148516 KiB
Current children cumulated memory: 98484 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.14 3.97 5/248 236715
/proc/meminfo: memFree=122429464/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=152040 memory=106532 CPUtime=50.93 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 98167 0 0 0 5075 18 0 0 20 0 3 0 30190728 155688960 26633 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 38010 26633 3294 3032 0 30498 0
[pid=236705/tid=236707] ppid=236702 vsize=152040 memory=104432 CPUtime=50.83 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 94574 0 0 0 5068 15 0 0 20 0 3 0 30190734 155688960 26633 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=152040 memory=61156 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 30190735 155688960 26633 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 152040 KiB
Current children cumulated memory: 106532 KiB

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

# cumulated CPU time of all completed processes:  user=50.8899 s, system=0.198093 s

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

[startup+51.2005 s]
/proc/loadavg: 4.10 4.14 3.97 5/248 236715
/proc/meminfo: memFree=122429464/131655788 swapFree=131060916/131071996
[pid=236705] ppid=236702 vsize=152040 memory=106532 CPUtime=51.02 cores=1,3
/proc/236705/stat : 236705 (fscip) S 236702 236705 235357 0 -1 1077936128 98407 0 0 0 5084 18 0 0 20 0 3 0 30190728 155688960 26633 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
/proc/236705/statm: 38010 26633 3294 3032 0 30498 0
[pid=236705/tid=236707] ppid=236702 vsize=152040 memory=11616 CPUtime=50.92 cores=1,3
/proc/236705/task/236707/stat : 236707 (fscip) R 236702 236705 235357 0 -1 4194368 94814 0 0 0 5077 15 0 0 20 0 3 0 30190734 155688960 26633 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
[pid=236705/tid=236708] ppid=236702 vsize=152040 memory=25760 CPUtime=0 cores=1,3
/proc/236705/task/236708/stat : 236708 (fscip) S 236702 236705 235357 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 30190735 155688960 26633 134679101440 4194304 16613245 140722742718864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29675520 140722742723608 140722742723724 140722742723724 140722742730736 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 152040 KiB
Current children cumulated memory: 106532 KiB

Child status: 0

Real time (s): 51.2652
CPU time (s): 51.088
CPU user time (s): 50.8899
CPU system time (s): 0.198093
CPU usage (%): 99.6542
Max. virtual memory (cumulated for all children) (KiB): 152040
Max. memory (cumulated for all children) (KiB): 106532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.8899
system time used= 0.198093
maximum resident set size= 106532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 676
involuntary context switches= 118


# summary of solver processes directly reported to runsolver:
#   pid: 236705
#   total CPU time (s): 51.088
#   total CPU user time (s): 50.8899
#   total CPU system time (s): 0.198093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281621 second user time and 0.559329 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-25 23:13:33
IDJOB=4459915
IDBENCH=148663
IDSOLVER=3064
FILE ID=nodeC007/4459915-1721942013
RUNJOBID= nodeC007-1721939462-235369
SLURM_JOB_ID= 8247261
Free space on /tmp= 723700 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459915-1721942013/watcher-4459915-1721942013 -o /tmp/evaluation-result-4459915-1721942013/solver-4459915-1721942013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235369 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459915-1721942013.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ebac5252404fb179fdef7d7346a4bcb7
RANDOM SEED=694240006

nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3672.789
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.67
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		: 3491.845
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.355
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.67
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.204
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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		: 3672.782
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.67
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		: 3662.832
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.558
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.67
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		: 1197.278
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122526788 kB
MemAvailable:   127828632 kB
Buffers:          342368 kB
Cached:          5658052 kB
SwapCached:          152 kB
Active:          1804488 kB
Inactive:        6526008 kB
Active(anon):       2284 kB
Inactive(anon):  2372620 kB
Active(file):    1802204 kB
Inactive(file):  4153388 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:             27980 kB
Writeback:             0 kB
AnonPages:       2329700 kB
Mapped:           125408 kB
Shmem:             45112 kB
KReclaimable:     372904 kB
Slab:             485352 kB
SReclaimable:     372904 kB
SUnreclaim:       112448 kB
KernelStack:        3996 kB
PageTables:        14156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     972088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1738752 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-25 23:14:24