Trace number 4498213

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
PRINTEMPS 2025-05-28SAT (TO)-52 3600.02 1821.21

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb
MD5SUMed39d24aeafe7a48e1771826fd23f1dc
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-52
Best CPU time to get the best result obtained on this benchmark1057.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2482
Sum of products size (including duplicates)4964
Number of different products1241
Sum of products size2482

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
0.00/0.02	c #variable: 200
0.00/0.02	c #constraint: 200
0.00/0.02	c #equal: 200
0.00/0.02	c intsize: 8
0.00/0.02	c sizeproduct: 2482
0.00/0.02	c #soft: 0
0.00/0.02	c mincost: 0
0.00/0.02	c maxcost: 0
0.00/0.02	c sumcost: 0
0.00/0.02	c iteration_max: -1
0.00/0.02	c time_max: -1
0.00/0.02	c number_of_threads(move update): 2
0.00/0.02	c number_of_threads(move evaluation): 2
0.00/0.02	c seed: 726885351
0.00/0.06	o -38
0.00/0.06	o -39
0.15/0.11	o -51
0.15/0.14	o -52
3600.00/1821.20	s SATISFIABLE
3600.00/1821.20	v -x1 -x10 -x100 x101 -x102 -x103 x104 x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x12 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x13 -x130 x131 -x132 x133 -x134 x135 -x136 x137 x138 -x139 x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x15 -x150 x151 -x152 -x153 -x154 -x155 x156 x157 -x158 x159 -x16 -x160 x161 -x162 -x163 -x164 x165 -x166 x167 -x168 x169 -x17 -x170 x171 -x172 -x173 -x174 -x175 x176 x177 x178 -x179 -x18 x180 -x181 x182 x183 -x184 x185 -x186 -x187 -x188 x189 -x19 x190 -x191 x192 x193 -x194 -x195 x196 x197 -x198 -x199 -x2 -x20 -x200 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x3 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x6 -x60 x61 -x62 -x63 -x64 x65 x66 -x67 -x68 x69 -x7 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x9 -x90 x91 -x92 x93 -x94 x95 x96 -x97 -x98 -x99

Verifier Data 

OK	-52

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498213-1751275452/watcher-4498213-1751275452 -o /tmp/evaluation-result-4498213-1751275452/solver-4498213-1751275452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751275452-33991 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 726885351 HOME/instance-4498213-1751275452.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=34042, runsolver pid=34032

[startup+0.100073 s]*
/proc/loadavg: 2.10 2.12 2.55 7/256 34054
/proc/meminfo: memFree=129483688/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86520 memory=12696 CPUtime=0.15 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 2965 0 0 0 14 1 0 0 20 0 2 0 43223864 88596480 3174 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21630 3174 672 633 0 4595 0
[pid=34042/tid=34044] ppid=34032 vsize=86520 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 137 0 0 0 6 0 0 0 20 0 2 0 43223864 88596480 3174 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 86520 KiB
Current children cumulated memory: 12696 KiB

[startup+0.214018 s]*
/proc/loadavg: 2.10 2.12 2.55 10/256 34054
/proc/meminfo: memFree=129484312/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86540 memory=12832 CPUtime=0.36 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 3198 0 0 0 34 2 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21635 3208 672 633 0 4600 0
[pid=34042/tid=34044] ppid=34032 vsize=86540 memory=5983648042466672924 CPUtime=0.15 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 137 0 0 0 15 0 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 12832 KiB

[startup+0.313994 s]*
/proc/loadavg: 2.10 2.12 2.55 10/256 34054
/proc/meminfo: memFree=129484312/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86540 memory=12832 CPUtime=0.54 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 3318 0 0 0 52 2 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21635 3208 672 633 0 4600 0
[pid=34042/tid=34044] ppid=34032 vsize=86540 memory=7970671502341521002 CPUtime=0.24 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 137 0 0 0 24 0 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 12832 KiB

[startup+0.700314 s]
/proc/loadavg: 2.10 2.12 2.55 9/256 34054
/proc/meminfo: memFree=129484312/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86540 memory=12832 CPUtime=1.25 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 3798 0 0 0 122 3 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21635 3208 672 633 0 4600 0
[pid=34042/tid=34044] ppid=34032 vsize=86540 memory=18176 CPUtime=0.59 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 137 0 0 0 59 0 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 12832 KiB

[startup+1.50019 s]
/proc/loadavg: 2.10 2.12 2.55 9/256 34054
/proc/meminfo: memFree=129484060/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86540 memory=12832 CPUtime=2.82 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 10654 0 0 0 277 5 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21635 3208 672 633 0 4600 0
[pid=34042/tid=34044] ppid=34032 vsize=86540 memory=18176 CPUtime=1.38 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 155 0 0 0 138 0 0 0 20 0 2 0 43223864 88616960 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 12832 KiB

[startup+3.10535 s]
/proc/loadavg: 2.50 2.20 2.58 9/256 34054
/proc/meminfo: memFree=129484636/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12832 CPUtime=5.99 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 26479 0 0 0 588 11 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3208 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=16504 CPUtime=2.95 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 190 0 0 0 295 0 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12832 KiB

[startup+6.30016 s]
/proc/loadavg: 2.50 2.20 2.58 9/256 34054
/proc/meminfo: memFree=129484788/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12832 CPUtime=12.31 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 69429 0 0 0 1209 22 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3208 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12832 CPUtime=6.09 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 237 0 0 0 609 0 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12832 KiB

[startup+12.7002 s]
/proc/loadavg: 2.94 2.30 2.61 8/255 34054
/proc/meminfo: memFree=129485316/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12832 CPUtime=24.96 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 156970 0 0 0 2449 47 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3208 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=7970108552388099434 CPUtime=12.39 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 313 0 0 0 1237 2 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 24.96 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12832 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 2.58 2.69 9/255 34055
/proc/meminfo: memFree=129486388/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12832 CPUtime=50.26 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 336306 0 0 0 4933 93 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3208 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12832 CPUtime=24.97 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 426 0 0 0 2493 4 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 50.26 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12832 KiB

[startup+51.1052 s]
/proc/loadavg: 5.34 3.00 2.83 9/255 34055
/proc/meminfo: memFree=129488464/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12916 CPUtime=100.85 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 678133 0 0 0 9896 189 0 0 20 0 2 0 43223864 88719360 3229 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3229 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=16504 CPUtime=50.13 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 708 0 0 0 5005 8 0 0 20 0 2 0 43223864 88719360 3229 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 100.85 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12916 KiB

[startup+102.3 s]
/proc/loadavg: 6.75 3.75 3.10 9/255 34057
/proc/meminfo: memFree=129487980/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12888 CPUtime=202.11 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 1391772 0 0 0 19846 365 0 0 20 0 2 0 43223864 88719360 3222 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3222 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86772 memory=16504 CPUtime=100.56 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 1114 0 0 0 10041 15 0 0 20 0 2 0 43223864 88854528 3222 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 202.11 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12888 KiB

[startup+162.3 s]
/proc/loadavg: 7.60 4.55 3.41 9/257 34063
/proc/meminfo: memFree=129489484/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12988 CPUtime=320.8 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 2228490 0 0 0 31498 582 0 0 20 0 2 0 43223864 88719360 3247 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3247 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12860 CPUtime=159.63 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 1398 0 0 0 15937 26 0 0 20 0 2 0 43223864 88719360 3247 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 320.8 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12988 KiB

[startup+222.3 s]
/proc/loadavg: 7.62 5.12 3.68 9/257 34069
/proc/meminfo: memFree=129497028/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12832 CPUtime=439.46 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 3077078 0 0 0 43144 802 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3208 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=3200 CPUtime=218.71 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 1401 0 0 0 21834 37 0 0 20 0 2 0 43223864 88719360 3208 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 439.46 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12832 KiB

[startup+282.3 s]
/proc/loadavg: 7.93 5.66 3.96 9/257 34071
/proc/meminfo: memFree=129495648/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12868 CPUtime=558.14 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 3966762 0 0 0 54787 1027 0 0 20 0 2 0 43223864 88719360 3217 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3217 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12920 CPUtime=277.78 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 1416 0 0 0 27732 46 0 0 20 0 2 0 43223864 88719360 3217 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 558.14 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12868 KiB

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

/proc/meminfo: memFree=129473132/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12948 CPUtime=2337.16 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 17197311 0 0 0 229431 4285 0 0 20 0 2 0 43223864 88719360 3237 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3237 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12900 CPUtime=1163.17 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2127 0 0 0 116088 229 0 0 20 0 2 0 43223864 88719360 3237 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2337.16 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12948 KiB

[startup+1242.3 s]
/proc/loadavg: 8.02 7.89 6.57 9/254 34113
/proc/meminfo: memFree=129472452/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12948 CPUtime=2455.73 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 18108335 0 0 0 241063 4510 0 0 20 0 2 0 43223864 88719360 3237 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3237 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12820 CPUtime=1222.18 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2141 0 0 0 121978 240 0 0 20 0 2 0 43223864 88719360 3237 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2455.73 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12948 KiB

[startup+1302.3 s]
/proc/loadavg: 7.84 7.87 6.65 9/254 34115
/proc/meminfo: memFree=129472420/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12904 CPUtime=2574.35 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 18992324 0 0 0 252697 4738 0 0 20 0 2 0 43223864 88719360 3226 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3226 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12776 CPUtime=1281.21 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2327 0 0 0 127869 252 0 0 20 0 2 0 43223864 88719360 3226 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2574.35 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12904 KiB

[startup+1362.3 s]
/proc/loadavg: 7.79 7.86 6.73 7/254 34119
/proc/meminfo: memFree=129472492/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86772 memory=12876 CPUtime=2692.95 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 19902478 0 0 0 264330 4965 0 0 20 0 2 0 43223864 88854528 3219 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21693 3219 672 633 0 4658 0
[pid=34042/tid=34044] ppid=34032 vsize=86772 memory=12776 CPUtime=1340.25 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2327 0 0 0 133762 263 0 0 20 0 2 0 43223864 88854528 3219 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2692.95 s
Current children cumulated vsize: 86772 KiB
Current children cumulated memory: 12876 KiB

[startup+1422.3 s]
/proc/loadavg: 7.81 7.85 6.80 9/253 34125
/proc/meminfo: memFree=129472444/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12932 CPUtime=2811.58 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 20806743 0 0 0 275971 5187 0 0 20 0 2 0 43223864 88719360 3233 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3233 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12776 CPUtime=1399.29 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2476 0 0 0 139657 272 0 0 20 0 2 0 43223864 88719360 3233 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2811.58 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12932 KiB

[startup+1482.3 s]
/proc/loadavg: 7.80 7.85 6.87 8/253 34127
/proc/meminfo: memFree=129472100/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86772 memory=12924 CPUtime=2930.17 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 21712392 0 0 0 287606 5411 0 0 20 0 2 0 43223864 88854528 3231 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21693 3231 672 633 0 4658 0
[pid=34042/tid=34044] ppid=34032 vsize=86772 memory=16504 CPUtime=1458.32 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2476 0 0 0 145552 280 0 0 20 0 2 0 43223864 88854528 3231 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 2930.17 s
Current children cumulated vsize: 86772 KiB
Current children cumulated memory: 12924 KiB

[startup+1542.3 s]
/proc/loadavg: 7.88 7.85 6.93 9/253 34129
/proc/meminfo: memFree=129472536/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12864 CPUtime=3048.77 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 22619266 0 0 0 299240 5637 0 0 20 0 2 0 43223864 88719360 3216 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3216 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12864 CPUtime=1517.36 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2476 0 0 0 151441 295 0 0 20 0 2 0 43223864 88719360 3216 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 3048.77 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12864 KiB

[startup+1602.3 s]
/proc/loadavg: 7.89 7.86 7.00 9/253 34132
/proc/meminfo: memFree=129471936/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12828 CPUtime=3167.36 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 23530272 0 0 0 310877 5859 0 0 20 0 2 0 43223864 88719360 3207 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3207 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12828 CPUtime=1576.36 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2483 0 0 0 157330 306 0 0 20 0 2 0 43223864 88719360 3207 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 3167.36 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12828 KiB

[startup+1662.3 s]
/proc/loadavg: 7.98 7.89 7.06 9/253 34134
/proc/meminfo: memFree=129471220/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12956 CPUtime=3285.93 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 24429923 0 0 0 322509 6084 0 0 20 0 2 0 43223864 88719360 3239 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3239 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=16504 CPUtime=1635.38 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2496 0 0 0 163219 319 0 0 20 0 2 0 43223864 88719360 3239 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 3285.93 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12956 KiB

[startup+1722.3 s]
/proc/loadavg: 7.89 7.88 7.11 9/253 34136
/proc/meminfo: memFree=129470652/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12904 CPUtime=3404.5 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 25309291 0 0 0 334149 6301 0 0 20 0 2 0 43223864 88719360 3226 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3226 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=12956 CPUtime=1694.38 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2496 0 0 0 169107 331 0 0 20 0 2 0 43223864 88719360 3226 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 3404.5 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12904 KiB

[startup+1782.3 s]
/proc/loadavg: 7.89 7.89 7.16 9/254 34139
/proc/meminfo: memFree=129470608/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12820 CPUtime=3523.11 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 26190903 0 0 0 345806 6505 0 0 20 0 2 0 43223864 88719360 3205 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3205 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=16504 CPUtime=1753.39 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2507 0 0 0 174988 351 0 0 20 0 2 0 43223864 88719360 3205 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 3523.11 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1821.2 s]
/proc/loadavg: 7.80 7.87 7.19 8/254 34141
/proc/meminfo: memFree=129470552/131382120 swapFree=33010684/33010684
[pid=34042] ppid=34032 vsize=86640 memory=12948 CPUtime=3600 cores=0,2
/proc/34042/stat : 34042 (pb_competition_) R 34032 34042 33067 0 -1 4194304 26762303 0 0 0 353363 6637 0 0 20 0 2 0 43223864 88719360 3237 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
/proc/34042/statm: 21660 3237 672 633 0 4625 0
[pid=34042/tid=34044] ppid=34032 vsize=86640 memory=245635481903 CPUtime=1791.63 cores=0,2
/proc/34042/task/34044/stat : 34044 (pb_competition_) R 34032 34042 33067 0 -1 4194368 2507 0 0 0 178801 362 0 0 20 0 2 0 43223864 88719360 3237 18446744073709551615 4198400 6788177 140731147033152 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34480128 140731147041114 140731147041240 140731147041240 140731147046842 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 86640 KiB
Current children cumulated memory: 12948 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3533.65 s, system=66.3725 s

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

Child status: 0

Real time (s): 1821.21
CPU time (s): 3600.02
CPU user time (s): 3533.65
CPU system time (s): 66.3725
CPU usage (%): 197.672
Max. virtual memory (cumulated for all children) (KiB): 86776
Max. memory (cumulated for all children) (KiB): 13004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3533.65
system time used= 66.3725
maximum resident set size= 13004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26762599
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= 150982
involuntary context switches= 35567


# summary of solver processes directly reported to runsolver:
#   pid: 34042
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3533.65
#   total CPU system time (s): 66.3725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2027 second user time and 7.70161 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-30 11:24:12
IDJOB=4498213
IDBENCH=148561
IDSOLVER=3347
FILE ID=nodeC003/4498213-1751275452
RUNJOBID= nodeC003-1751275452-33991
SLURM_JOB_ID= 9594170
Free space on /tmp= 432756 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498213-1751275452/watcher-4498213-1751275452 -o /tmp/evaluation-result-4498213-1751275452/solver-4498213-1751275452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751275452-33991 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 726885351 HOME/instance-4498213-1751275452.opb

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

MD5SUM BENCH= ed39d24aeafe7a48e1771826fd23f1dc
RANDOM SEED=726885351

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.211
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.44
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.184
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.44
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.319
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.44
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		: 1199.055
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.527
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.44
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.560
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.44
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.159
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129494344 kB
MemAvailable:   129901560 kB
Buffers:            3280 kB
Cached:          1212976 kB
SwapCached:            0 kB
Active:           319352 kB
Inactive:         963704 kB
Active(anon):      84816 kB
Inactive(anon):        0 kB
Active(file):     234536 kB
Inactive(file):   963704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20836 kB
Writeback:             0 kB
AnonPages:         70040 kB
Mapped:           103188 kB
Shmem:             17960 kB
KReclaimable:      97208 kB
Slab:             179560 kB
SReclaimable:      97208 kB
SUnreclaim:        82352 kB
KernelStack:        3732 kB
PageTables:         2520 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432736 MiB
End job on nodeC003 at 2025-06-30 11:54:33