Trace number 4434534

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
NaPS 1.03SAT (TO)-81 3600.04 3609.9

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
MD5SUM28e415f3c4d8dab53aac16682d7f066d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark7.64941
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables223
Total number of constraints386
Number of constraints which are clauses193
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints193
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4434534-1721160528.opb
0.00/0.02	c single stage optimization mode
0.00/0.02	o -81
3600.03/3609.90	c 
3600.03/3609.90	c *** TERMINATED *** by signal 15
3600.03/3609.90	s SATISFIABLE
3600.03/3609.90	c _____________________________________________________________________________
3600.03/3609.90	c std/band forms        : 195,0
3600.03/3609.90	c 2cl/3cl ITE-codings   : 56568,0
3600.03/3609.90	c BDD/srt/adr Max costs : 58161,0,0
3600.03/3609.90	c BDDraw/bin/mul/srt/adr: 195,0,0,0,0
3600.03/3609.90	c BDD nodes             : 58490
3600.03/3609.90	c Es1/CC detections     : 0,0
3600.03/3609.90	c CC sort               : 0
3600.03/3609.90	c SAT/UNSAT calls       : 1,1
3600.03/3609.90	c regenrated variables  : 0
3600.03/3609.90	c eliminated fixed lits : 0
3600.03/3609.90	c goal lit flips        : 7
3600.03/3609.90	c goal stages           : 1
3600.03/3609.90	c goal shrink           : 0
3600.03/3609.90	c goal coeff separations: 0
3600.03/3609.90	c restarts              : 1010
3600.03/3609.90	c conflicts             : 38097          (11 /sec)
3600.03/3609.90	c decisions             : 50760          (14 /sec)
3600.03/3609.90	c propagations          : 75303996       (20919 /sec)
3600.03/3609.90	c inspects              : 0              (0 /sec)
3600.03/3609.90	c CPU time (solving tm) : 3600 s        (3599 s, SAT 0.000173 s, UNSAT 7.316 s)
3600.03/3609.90	c Time for Opt-base     : 0 s
3600.03/3609.90	c Steps for Opt-base    : 0
3600.03/3609.90	c Time for BDD coding   : 0.2311 s
3600.03/3609.90	c Time for srt coding   : 0 s
3600.03/3609.90	c _____________________________________________________________________________
3600.03/3609.90	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30

Verifier Data 

OK	-81

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434534-1721160528/watcher-4434534-1721160528 -o /tmp/evaluation-result-4434534-1721160528/solver-4434534-1721160528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721152700-865417 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434534-1721160528.opb 

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

solver pid=871205, runsolver pid=871202

[startup+0.100519 s]*
/proc/loadavg: 4.10 4.19 4.20 5/245 871210
/proc/meminfo: memFree=123984944/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=9356 memory=8320 CPUtime=0.09 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 1582 0 0 0 9 0 0 0 20 0 1 0 168211580 9580544 2080 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 2339 2080 612 659 0 1543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19288 KiB
Current children cumulated memory: 11032 KiB

[startup+0.213069 s]*
/proc/loadavg: 4.10 4.19 4.20 5/245 871210
/proc/meminfo: memFree=123957668/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=36760 memory=34236 CPUtime=0.21 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 8356 0 0 0 20 1 0 0 20 0 1 0 168211580 37642240 8559 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 9190 8559 644 659 0 8394 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46692 KiB
Current children cumulated memory: 36948 KiB

[startup+0.313472 s]*
/proc/loadavg: 4.10 4.19 4.20 5/245 871210
/proc/meminfo: memFree=123956856/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=37156 memory=34764 CPUtime=0.3 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 8450 0 0 0 29 1 0 0 20 0 1 0 168211580 38047744 8691 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 9289 8691 644 659 0 8493 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47088 KiB
Current children cumulated memory: 37476 KiB

[startup+0.700413 s]
/proc/loadavg: 4.10 4.19 4.20 5/245 871210
/proc/meminfo: memFree=123955680/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=41156 memory=38196 CPUtime=0.67 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 9318 0 0 0 66 1 0 0 20 0 1 0 168211580 42143744 9549 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 10289 9549 644 659 0 9493 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51088 KiB
Current children cumulated memory: 40908 KiB

[startup+1.50044 s]
/proc/loadavg: 4.09 4.18 4.20 5/245 871212
/proc/meminfo: memFree=123951716/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=47040 memory=45144 CPUtime=1.48 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 13653 0 0 0 145 3 0 0 20 0 1 0 168211580 48168960 11286 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 11760 11286 660 659 0 10964 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56972 KiB
Current children cumulated memory: 47856 KiB

[startup+3.11278 s]
/proc/loadavg: 4.09 4.18 4.20 5/245 871212
/proc/meminfo: memFree=123946464/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=45576 memory=43708 CPUtime=3.08 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 13965 0 0 0 305 3 0 0 20 0 1 0 168211580 46669824 10927 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 11394 10927 660 659 0 10598 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55508 KiB
Current children cumulated memory: 46420 KiB

[startup+6.30041 s]
/proc/loadavg: 4.09 4.18 4.20 5/245 871213
/proc/meminfo: memFree=123898944/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=45576 memory=43708 CPUtime=6.26 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 13968 0 0 0 623 3 0 0 20 0 1 0 168211580 46669824 10927 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 11394 10927 660 659 0 10598 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55508 KiB
Current children cumulated memory: 46420 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.18 4.20 5/245 871214
/proc/meminfo: memFree=123926016/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=62324 memory=60192 CPUtime=12.65 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 20803 0 0 0 1260 5 0 0 20 0 1 0 168211580 63819776 15048 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 15581 15048 660 659 0 14785 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 72256 KiB
Current children cumulated memory: 62904 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.19 4.20 5/245 871216
/proc/meminfo: memFree=123949392/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=73608 memory=69216 CPUtime=25.4 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 24345 0 0 0 2535 5 0 0 20 0 1 0 168211580 75374592 17304 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 18402 17304 660 659 0 17606 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 83540 KiB
Current children cumulated memory: 71928 KiB

[startup+51.1128 s]
/proc/loadavg: 4.09 4.17 4.19 5/245 871220
/proc/meminfo: memFree=123916824/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=73608 memory=69216 CPUtime=50.94 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 24352 0 0 0 5089 5 0 0 20 0 1 0 168211580 75374592 17304 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 18402 17304 660 659 0 17606 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 83540 KiB
Current children cumulated memory: 71928 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.19 5/247 871233
/proc/meminfo: memFree=123949696/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=73608 memory=69444 CPUtime=101.98 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 24363 0 0 0 10193 5 0 0 20 0 1 0 168211580 75374592 17361 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 18402 17361 660 659 0 17606 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 83540 KiB
Current children cumulated memory: 72156 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.18 5/247 871243
/proc/meminfo: memFree=123924192/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=79276 memory=74868 CPUtime=161.81 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 25484 0 0 0 16175 6 0 0 20 0 1 0 168211580 81178624 18717 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 19819 18717 660 659 0 19023 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 89208 KiB
Current children cumulated memory: 77580 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/247 871254
/proc/meminfo: memFree=123896388/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=72348 memory=68324 CPUtime=221.63 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 26845 0 0 0 22157 6 0 0 20 0 1 0 168211580 74084352 17081 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 18087 17081 660 659 0 17291 0

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

/proc/loadavg: 4.12 4.13 4.17 5/248 872986
/proc/meminfo: memFree=122992640/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=126080 memory=124176 CPUtime=3093.74 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 66299 0 0 0 309349 25 0 0 20 0 1 0 168211580 129105920 31044 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 31520 31044 660 659 0 30724 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 136012 KiB
Current children cumulated memory: 126888 KiB

[startup+3162.3 s]
/proc/loadavg: 3.72 4.04 4.13 4/240 873038
/proc/meminfo: memFree=123429260/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=126080 memory=124176 CPUtime=3153.59 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 66337 0 0 0 315334 25 0 0 20 0 1 0 168211580 129105920 31044 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 31520 31044 660 659 0 30724 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 136012 KiB
Current children cumulated memory: 126888 KiB

[startup+3222.3 s]
/proc/loadavg: 3.34 3.87 4.07 4/240 873049
/proc/meminfo: memFree=123412452/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=141412 memory=139508 CPUtime=3213.44 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 67142 0 0 0 321318 26 0 0 20 0 1 0 168211580 144805888 34877 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 35353 34877 660 659 0 34557 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 151344 KiB
Current children cumulated memory: 142220 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.74 4.01 4/240 873059
/proc/meminfo: memFree=123438560/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=111632 memory=109728 CPUtime=3273.27 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 68227 0 0 0 327301 26 0 0 20 0 1 0 168211580 114311168 27432 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 27908 27432 660 659 0 27112 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 121564 KiB
Current children cumulated memory: 112440 KiB

[startup+3342.3 s]
/proc/loadavg: 3.02 3.60 3.94 3/231 873101
/proc/meminfo: memFree=123735876/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=125016 memory=123020 CPUtime=3333.12 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69056 0 0 0 333285 27 0 0 20 0 1 0 168211580 128016384 30755 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 31254 30755 660 659 0 30458 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 134948 KiB
Current children cumulated memory: 125732 KiB

[startup+3402.3 s]
/proc/loadavg: 2.43 3.32 3.83 3/230 873111
/proc/meminfo: memFree=123740624/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=125252 memory=123348 CPUtime=3392.95 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69157 0 0 0 339268 27 0 0 20 0 1 0 168211580 128258048 30837 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 31313 30837 660 659 0 30517 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 135184 KiB
Current children cumulated memory: 126060 KiB

[startup+3462.3 s]
/proc/loadavg: 2.24 3.10 3.71 3/229 873122
/proc/meminfo: memFree=123738004/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=127872 memory=125968 CPUtime=3452.8 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69360 0 0 0 345253 27 0 0 20 0 1 0 168211580 130940928 31492 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 31968 31492 660 659 0 31172 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 137804 KiB
Current children cumulated memory: 128680 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.91 3.61 3/229 873132
/proc/meminfo: memFree=123741484/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=128472 memory=126568 CPUtime=3512.65 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69551 0 0 0 351238 27 0 0 20 0 1 0 168211580 131555328 31642 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 32118 31642 660 659 0 31322 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 138404 KiB
Current children cumulated memory: 129280 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.76 3.51 3/229 873142
/proc/meminfo: memFree=123735876/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=129624 memory=127548 CPUtime=3572.5 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69897 0 0 0 357223 27 0 0 20 0 1 0 168211580 132734976 31887 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 32406 31887 660 659 0 31610 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 139556 KiB
Current children cumulated memory: 130260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.21 2.73 3.48 3/229 873146
/proc/meminfo: memFree=123735820/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=129624 memory=127548 CPUtime=3600.03 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69904 0 0 0 359976 27 0 0 20 0 1 0 168211580 132734976 31887 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 32406 31887 660 659 0 31610 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 139556 KiB
Current children cumulated memory: 130260 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.9 s]
# the end of solver process 871205 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.77 s, system=0.277574 s

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

[startup+3609.9 s]
/proc/loadavg: 2.21 2.73 3.48 3/229 873146
/proc/meminfo: memFree=123735820/131655788 swapFree=131071996/131071996
[pid=871205] ppid=871202 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/871205/stat : 871205 (naps-1.03.sh) S 871202 871205 865371 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168211580 10170368 678 134679101440 94610160304128 94610161383448 140735666246688 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94610163481904 94610163529092 94610163638272 140735666250724 140735666250849 140735666250849 140735666257864 0
/proc/871205/statm: 2483 678 600 264 0 134 0
[pid=871210] ppid=871205 vsize=129624 memory=127548 CPUtime=3600.03 cores=1,3
/proc/871210/stat : 871210 (naps-1.03) R 871205 871205 865371 0 -1 4194304 69904 0 0 0 359976 27 0 0 20 0 1 0 168211580 132734976 31887 134679101440 4194304 6891213 140731957103488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 21483520 140731957109749 140731957109861 140731957109861 140731957116875 0
/proc/871210/statm: 32406 31887 660 659 0 31610 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 139556 KiB
Current children cumulated memory: 130260 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.04
CPU user time (s): 3599.77
CPU system time (s): 0.277574
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 151344
Max. memory (cumulated for all children) (KiB): 142220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.77
system time used= 0.277574
maximum resident set size= 139508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70380
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= 37
involuntary context switches= 1433


# summary of solver processes directly reported to runsolver:
#   pid: 871205
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.77
#   total CPU system time (s): 0.277574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3894 second user time and 34.5767 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-16 22:09:00
IDJOB=4434534
IDBENCH=158535
IDSOLVER=3063
FILE ID=nodeC005/4434534-1721160528
RUNJOBID= nodeC005-1721152700-865417
SLURM_JOB_ID= 7505754
Free space on /tmp= 723764 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434534-1721160528/watcher-4434534-1721160528 -o /tmp/evaluation-result-4434534-1721160528/solver-4434534-1721160528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721152700-865417 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434534-1721160528.opb

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

MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d
RANDOM SEED=291577302

nodeC005.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		: 3595.966
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.53
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.774
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.35
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.389
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.53
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.184
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.35
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		: 3573.230
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.53
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		: 3609.276
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.35
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.366
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.53
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.267
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123990260 kB
MemAvailable:   128962940 kB
Buffers:          412356 kB
Cached:          5339040 kB
SwapCached:            0 kB
Active:           803652 kB
Inactive:        6186304 kB
Active(anon):       3472 kB
Inactive(anon):  1272792 kB
Active(file):     800180 kB
Inactive(file):  4913512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5544 kB
Writeback:             0 kB
AnonPages:       1235260 kB
Mapped:           113724 kB
Shmem:             37704 kB
KReclaimable:     198372 kB
Slab:             312300 kB
SReclaimable:     198372 kB
SUnreclaim:       113928 kB
KernelStack:        3936 kB
PageTables:        11920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1667760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54080 kB
HardwareCorrupted:     0 kB
AnonHugePages:    774144 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-16 23:09:10