Trace number 4425662

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact 2024-07-05OPTIMUM 1620.41 1624.49

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
MD5SUM72fe16d1fc7fd28b9f4f62909a70b72d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark30.7079
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.04	o 470
0.00/0.04	o 430
0.00/0.04	o 397
0.00/0.04	o 391
0.00/0.05	o 321
0.00/0.05	o 300
0.00/0.05	o 287
0.00/0.05	o 196
0.00/0.05	o 187
0.00/0.05	o 155
0.00/0.05	o 141
0.00/0.05	o 125
0.00/0.06	o 122
0.00/0.06	o 111
0.00/0.07	o 103
0.00/0.07	o 83
0.00/0.08	o 78
0.09/0.15	o 76
0.09/0.15	o 75
0.09/0.16	o 74
0.09/0.16	o 70
0.09/0.17	o 58
0.19/0.21	o 38
0.19/0.21	o 37
0.19/0.24	o 26
0.68/0.71	o 21
0.68/0.71	o 16
0.88/0.98	o 7
0.88/0.98	o 1
1620.31/1624.48	s OPTIMUM FOUND
1620.31/1624.48	v -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 -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 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231

Verifier Data 

OK	1

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: 63931 MiB (62962 MiB free)
  memory of node 1: 64510 MiB (63861 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425662-1720881327/watcher-4425662-1720881327 -o /tmp/evaluation-result-4425662-1720881327/solver-4425662-1720881327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720881340-710403 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1252720244 HOME/instance-4425662-1720881327.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=710436, runsolver pid=710433

[startup+0.100235 s]*
/proc/loadavg: 1.15 1.12 1.17 5/255 710466
/proc/meminfo: memFree=129829784/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=32432 memory=11088 CPUtime=0.09 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 1943 0 0 0 9 0 0 0 20 0 1 0 140300144 33210368 2772 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8108 2772 1140 1005 0 6871 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32432 KiB
Current children cumulated memory: 11088 KiB

[startup+0.205334 s]*
/proc/loadavg: 1.15 1.12 1.17 5/255 710466
/proc/meminfo: memFree=129824312/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=32988 memory=11880 CPUtime=0.19 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 2188 0 0 0 19 0 0 0 20 0 1 0 140300144 33779712 2970 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8247 2970 1140 1005 0 7010 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 11880 KiB

[startup+0.304893 s]*
/proc/loadavg: 1.15 1.12 1.17 5/255 710466
/proc/meminfo: memFree=129817364/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=33280 memory=14716 CPUtime=0.29 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 2368 0 0 0 29 0 0 0 20 0 1 0 140300144 34078720 3679 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8320 3679 1140 1005 0 7083 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 14716 KiB

[startup+0.700156 s]
/proc/loadavg: 1.15 1.12 1.17 5/255 710466
/proc/meminfo: memFree=129811928/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=33868 memory=15244 CPUtime=0.68 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 2477 0 0 0 67 1 0 0 20 0 1 0 140300144 34680832 3811 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8467 3811 1140 1005 0 7230 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33868 KiB
Current children cumulated memory: 15244 KiB

[startup+1.50017 s]
/proc/loadavg: 1.15 1.12 1.17 6/255 710466
/proc/meminfo: memFree=129808852/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=34328 memory=15772 CPUtime=1.48 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 2624 0 0 0 147 1 0 0 20 0 1 0 140300144 35151872 3943 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8582 3943 1140 1005 0 7345 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34328 KiB
Current children cumulated memory: 15772 KiB

[startup+3.10528 s]
/proc/loadavg: 1.15 1.12 1.17 5/255 710466
/proc/meminfo: memFree=129793280/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=35196 memory=18604 CPUtime=3.08 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 2812 0 0 0 306 2 0 0 20 0 1 0 140300144 36040704 4651 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8799 4651 1140 1005 0 7562 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35196 KiB
Current children cumulated memory: 18604 KiB

[startup+6.30016 s]
/proc/loadavg: 1.38 1.17 1.19 5/255 710468
/proc/meminfo: memFree=129787540/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=35912 memory=19384 CPUtime=6.27 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 3022 0 0 0 622 5 0 0 20 0 1 0 140300144 36773888 4846 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 8978 4846 1140 1005 0 7741 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 19384 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.22 1.20 5/255 710468
/proc/meminfo: memFree=129784448/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=36456 memory=20028 CPUtime=12.65 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 3165 0 0 0 1255 10 0 0 20 0 1 0 140300144 37330944 5007 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 9114 5007 1140 1005 0 7877 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 36456 KiB
Current children cumulated memory: 20028 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.36 1.25 5/255 710471
/proc/meminfo: memFree=129777376/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=37912 memory=23328 CPUtime=25.42 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 3504 0 0 0 2525 17 0 0 20 0 1 0 140300144 38821888 5832 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 9478 5832 1140 1005 0 8241 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 23328 KiB

[startup+51.1053 s]
/proc/loadavg: 2.84 1.58 1.33 5/255 710474
/proc/meminfo: memFree=129769528/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=38648 memory=24328 CPUtime=50.96 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 3730 0 0 0 5063 33 0 0 20 0 1 0 140300144 39575552 6082 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 9662 6082 1140 1005 0 8425 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 38648 KiB
Current children cumulated memory: 24328 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.98 1.48 5/255 710530
/proc/meminfo: memFree=129722368/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=39852 memory=25328 CPUtime=102 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4026 0 0 0 10134 66 0 0 20 0 1 0 140300144 40808448 6332 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 9963 6332 1140 1005 0 8726 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 39852 KiB
Current children cumulated memory: 25328 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.36 1.64 5/255 710585
/proc/meminfo: memFree=129511720/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=40484 memory=26036 CPUtime=161.82 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4204 0 0 0 16079 103 0 0 20 0 1 0 140300144 41455616 6509 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 10121 6509 1140 1005 0 8884 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 26036 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.69 1.80 5/255 710595
/proc/meminfo: memFree=129322480/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=41028 memory=26552 CPUtime=221.63 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4342 0 0 0 22024 139 0 0 20 0 1 0 140300144 42012672 6638 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 10257 6638 1140 1005 0 9020 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 41028 KiB
Current children cumulated memory: 26552 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.96 1.95 5/257 711022
/proc/meminfo: memFree=128494304/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=41360 memory=27092 CPUtime=281.43 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4449 0 0 0 27965 178 0 0 20 0 1 0 140300144 42352640 6773 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 10340 6773 1140 1005 0 9103 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 27092 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.17 2.09 5/256 711033
/proc/meminfo: memFree=128226604/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=41560 memory=27096 CPUtime=341.29 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4502 0 0 0 33917 212 0 0 20 0 1 0 140300144 42557440 6774 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 10390 6774 1140 1005 0 9153 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 27096 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.34 2.22 5/256 711043
/proc/meminfo: memFree=127946192/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=41948 memory=27548 CPUtime=401.15 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4622 0 0 0 39865 250 0 0 20 0 1 0 140300144 42954752 6887 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 10487 6887 1140 1005 0 9250 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 27548 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.48 2.34 5/256 711054
/proc/meminfo: memFree=127783076/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=42096 memory=27812 CPUtime=461.01 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 4668 0 0 0 45819 282 0 0 20 0 1 0 140300144 43106304 6953 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 10524 6953 1140 1005 0 9287 0
Current children cumulated CPU time: 461.01 s

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

/proc/loadavg: 4.17 4.09 3.28 5/257 711221
/proc/meminfo: memFree=122266620/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44172 memory=29792 CPUtime=1119.43 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5263 0 0 0 111276 667 0 0 20 0 1 0 140300144 45232128 7448 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11043 7448 1140 1005 0 9806 0
Current children cumulated CPU time: 1119.43 s
Current children cumulated vsize: 44172 KiB
Current children cumulated memory: 29792 KiB

[startup+1182.3 s]
/proc/loadavg: 4.06 4.07 3.33 5/254 711231
/proc/meminfo: memFree=121620168/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44172 memory=29792 CPUtime=1179.28 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5280 0 0 0 117225 703 0 0 20 0 1 0 140300144 45232128 7448 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11043 7448 1140 1005 0 9806 0
Current children cumulated CPU time: 1179.28 s
Current children cumulated vsize: 44172 KiB
Current children cumulated memory: 29792 KiB

[startup+1242.3 s]
/proc/loadavg: 4.06 4.07 3.38 5/256 711625
/proc/meminfo: memFree=120712332/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44172 memory=29948 CPUtime=1239.14 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5310 0 0 0 123177 737 0 0 20 0 1 0 140300144 45232128 7487 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11043 7487 1140 1005 0 9806 0
Current children cumulated CPU time: 1239.14 s
Current children cumulated vsize: 44172 KiB
Current children cumulated memory: 29948 KiB

[startup+1302.3 s]
/proc/loadavg: 4.18 4.10 3.44 5/256 711636
/proc/meminfo: memFree=120618296/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44468 memory=29948 CPUtime=1298.99 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5364 0 0 0 129126 773 0 0 20 0 1 0 140300144 45535232 7487 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11117 7487 1140 1005 0 9880 0
Current children cumulated CPU time: 1298.99 s
Current children cumulated vsize: 44468 KiB
Current children cumulated memory: 29948 KiB

[startup+1362.3 s]
/proc/loadavg: 4.12 4.10 3.48 5/257 711817
/proc/meminfo: memFree=120281688/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44468 memory=30176 CPUtime=1358.83 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5396 0 0 0 135074 809 0 0 20 0 1 0 140300144 45535232 7544 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11117 7544 1140 1005 0 9880 0
Current children cumulated CPU time: 1358.83 s
Current children cumulated vsize: 44468 KiB
Current children cumulated memory: 30176 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.09 3.52 5/257 711827
/proc/meminfo: memFree=120168132/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44636 memory=32224 CPUtime=1418.69 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5433 0 0 0 141024 845 0 0 20 0 1 0 140300144 45707264 8056 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11159 8056 1140 1005 0 9922 0
Current children cumulated CPU time: 1418.69 s
Current children cumulated vsize: 44636 KiB
Current children cumulated memory: 32224 KiB

[startup+1482.3 s]
/proc/loadavg: 4.13 4.10 3.56 5/257 711840
/proc/meminfo: memFree=120079892/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44636 memory=32412 CPUtime=1478.55 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5450 0 0 0 146973 882 0 0 20 0 1 0 140300144 45707264 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11159 8103 1140 1005 0 9922 0
Current children cumulated CPU time: 1478.55 s
Current children cumulated vsize: 44636 KiB
Current children cumulated memory: 32412 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.11 3.60 5/255 711862
/proc/meminfo: memFree=119944828/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44636 memory=32412 CPUtime=1538.41 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5475 0 0 0 152921 920 0 0 20 0 1 0 140300144 45707264 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11159 8103 1140 1005 0 9922 0
Current children cumulated CPU time: 1538.41 s
Current children cumulated vsize: 44636 KiB
Current children cumulated memory: 32412 KiB

[startup+1602.3 s]
/proc/loadavg: 4.08 4.10 3.64 5/255 711872
/proc/meminfo: memFree=119565588/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44768 memory=32412 CPUtime=1598.27 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5485 0 0 0 158872 955 0 0 20 0 1 0 140300144 45842432 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11192 8103 1140 1005 0 9955 0
Current children cumulated CPU time: 1598.27 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 32412 KiB

[startup+1624.49 s]
# the end of solver process 710436 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1610.72 s, system=9.68673 s

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

[startup+1612.8 s]
/proc/loadavg: 4.07 4.10 3.64 5/255 711873
/proc/meminfo: memFree=119558948/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44768 memory=32412 CPUtime=1608.74 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5485 0 0 0 159914 960 0 0 20 0 1 0 140300144 45842432 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11192 8103 1140 1005 0 9955 0
Current children cumulated CPU time: 1608.74 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 32412 KiB

[startup+1619.2 s]
/proc/loadavg: 4.06 4.10 3.64 5/255 711875
/proc/meminfo: memFree=119556916/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44768 memory=32412 CPUtime=1615.12 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5485 0 0 0 160548 964 0 0 20 0 1 0 140300144 45842432 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11192 8103 1140 1005 0 9955 0
Current children cumulated CPU time: 1615.12 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 32412 KiB

[startup+1622.4 s]
/proc/loadavg: 4.06 4.10 3.65 5/255 711876
/proc/meminfo: memFree=119555776/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44768 memory=32412 CPUtime=1618.32 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5485 0 0 0 160865 967 0 0 20 0 1 0 140300144 45842432 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11192 8103 1140 1005 0 9955 0
Current children cumulated CPU time: 1618.32 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 32412 KiB

[startup+1623.2 s]
/proc/loadavg: 4.06 4.10 3.65 5/255 711876
/proc/meminfo: memFree=119555272/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=44768 memory=32412 CPUtime=1619.11 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5485 0 0 0 160944 967 0 0 20 0 1 0 140300144 45842432 8103 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11192 8103 1140 1005 0 9955 0
Current children cumulated CPU time: 1619.11 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 32412 KiB

[startup+1624 s]*
/proc/loadavg: 4.06 4.10 3.65 5/255 711877
/proc/meminfo: memFree=119553948/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=46336 memory=33620 CPUtime=1619.91 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5768 0 0 0 161024 967 0 0 20 0 1 0 140300144 47448064 8405 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11584 8405 1140 1005 0 10347 0
Current children cumulated CPU time: 1619.91 s
Current children cumulated vsize: 46336 KiB
Current children cumulated memory: 33620 KiB

[startup+1624.4 s]
/proc/loadavg: 4.06 4.10 3.65 5/255 711877
/proc/meminfo: memFree=119553948/131524600 swapFree=131071996/131071996
[pid=710436] ppid=710433 vsize=46336 memory=33620 CPUtime=1620.31 cores=4,6
/proc/710436/stat : 710436 (Exact) R 710433 710436 706101 0 -1 4194304 5768 0 0 0 161063 968 0 0 20 0 1 0 140300144 47448064 8405 134679101440 4194304 8309489 140735498823408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35540992 140735498826660 140735498826830 140735498826830 140735498833871 0
/proc/710436/statm: 11584 8405 1140 1005 0 10347 0
Current children cumulated CPU time: 1620.31 s
Current children cumulated vsize: 46336 KiB
Current children cumulated memory: 33620 KiB

Child status: 30

Real time (s): 1624.49
CPU time (s): 1620.41
CPU user time (s): 1610.72
CPU system time (s): 9.68673
CPU usage (%): 99.7488
Max. virtual memory (cumulated for all children) (KiB): 46336
Max. memory (cumulated for all children) (KiB): 33620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1610.72
system time used= 9.68673
maximum resident set size= 33620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5769
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= 8
involuntary context switches= 926


# summary of solver processes directly reported to runsolver:
#   pid: 710436
#   total CPU time (s): 1620.41
#   total CPU user time (s): 1610.72
#   total CPU system time (s): 9.68673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.95418 second user time and 7.26377 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-13 16:35:40
IDJOB=4425662
IDBENCH=143597
IDSOLVER=3040
FILE ID=nodeC029/4425662-1720881327
RUNJOBID= nodeC029-1720881340-710403
SLURM_JOB_ID= 7483770
Free space on /tmp= 890084 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425662-1720881327/watcher-4425662-1720881327 -o /tmp/evaluation-result-4425662-1720881327/solver-4425662-1720881327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720881340-710403 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1252720244 HOME/instance-4425662-1720881327.wbo

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

MD5SUM BENCH= 72fe16d1fc7fd28b9f4f62909a70b72d
RANDOM SEED=1252720244

nodeC029.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	: 0xb00002a
cpu MHz		: 3381.278
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.09
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	: 0xb00002a
cpu MHz		: 3318.234
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
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	: 0xb00002a
cpu MHz		: 3377.938
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.09
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	: 0xb00002a
cpu MHz		: 3539.895
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
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	: 0xb00002a
cpu MHz		: 3574.683
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.09
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	: 0xb00002a
cpu MHz		: 3350.907
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
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	: 0xb00002a
cpu MHz		: 3593.768
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.09
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	: 0xb00002a
cpu MHz		: 2622.751
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129875092 kB
MemAvailable:   129797188 kB
Buffers:          320076 kB
Cached:           450420 kB
SwapCached:            0 kB
Active:           477880 kB
Inactive:         622320 kB
Active(anon):       1392 kB
Inactive(anon):   366084 kB
Active(file):     476488 kB
Inactive(file):   256236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             11700 kB
Writeback:            12 kB
AnonPages:        329792 kB
Mapped:           102012 kB
Shmem:             37720 kB
KReclaimable:      58040 kB
Slab:             154612 kB
SReclaimable:      58040 kB
SUnreclaim:        96572 kB
KernelStack:        3788 kB
PageTables:         9144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     722548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      170708 kB
DirectMap2M:    10088448 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC029 at 2024-07-13 17:02:45