Trace number 4425666

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 1788.29 1793.81

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
MD5SUM100b8721f67ac4f330c7a6443b255629
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 benchmark28.5424
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 661
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.09/0.12	o 477
0.09/0.15	o 457
0.09/0.15	o 450
0.09/0.18	o 448
0.09/0.18	o 406
0.09/0.18	o 398
0.09/0.18	o 390
0.09/0.19	o 374
0.09/0.19	o 363
0.09/0.19	o 361
0.09/0.20	o 329
0.09/0.20	o 266
0.09/0.22	o 246
0.21/0.22	o 221
0.21/0.27	o 220
0.21/0.31	o 178
0.50/0.57	o 174
0.50/0.58	o 171
0.50/0.58	o 170
0.50/0.58	o 151
0.59/0.64	o 147
0.59/0.64	o 145
0.59/0.66	o 139
0.59/0.66	o 138
0.59/0.66	o 136
0.59/0.66	o 100
0.59/0.66	o 92
0.59/0.67	o 71
1.57/1.61	o 69
2.27/2.32	o 59
2.27/2.32	o 58
2.27/2.35	o 56
2.27/2.36	o 53
2.27/2.36	o 33
2.27/2.38	o 25
2.27/2.40	o 18
3.09/3.17	o 17
3.17/3.21	o 11
3.47/3.54	o 9
3.47/3.57	o 4
3.67/3.71	o 3
4.17/4.21	o 2
5.56/5.67	o 1
1788.27/1793.80	s OPTIMUM FOUND
1788.27/1793.80	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: 64059 MiB (63412 MiB free)
  memory of node 1: 64510 MiB (63567 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425666-1720881290/watcher-4425666-1720881290 -o /tmp/evaluation-result-4425666-1720881290/solver-4425666-1720881290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701984 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=631105369 HOME/instance-4425666-1720881290.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=702967, runsolver pid=702964

[startup+0.101898 s]*
/proc/loadavg: 1.33 1.16 1.19 5/247 702968
/proc/meminfo: memFree=130022548/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=32972 memory=10936 CPUtime=0.09 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 1901 0 0 0 9 0 0 0 20 0 1 0 140286042 33763328 2734 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 8243 2734 1076 1005 0 7006 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32972 KiB
Current children cumulated memory: 10936 KiB

[startup+0.212691 s]*
/proc/loadavg: 1.55 1.21 1.21 5/247 702968
/proc/meminfo: memFree=130018208/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=34992 memory=13816 CPUtime=0.21 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 2511 0 0 0 20 1 0 0 20 0 1 0 140286042 35831808 3454 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 8748 3454 1140 1005 0 7511 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34992 KiB
Current children cumulated memory: 13816 KiB

[startup+0.312968 s]*
/proc/loadavg: 1.55 1.21 1.21 5/247 702968
/proc/meminfo: memFree=130011900/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=35868 memory=16604 CPUtime=0.31 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 2725 0 0 0 30 1 0 0 20 0 1 0 140286042 36728832 4151 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 8967 4151 1140 1005 0 7730 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35868 KiB
Current children cumulated memory: 16604 KiB

[startup+0.700275 s]
/proc/loadavg: 1.55 1.21 1.21 5/247 702968
/proc/meminfo: memFree=130010768/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=37024 memory=17656 CPUtime=0.68 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 3030 0 0 0 67 1 0 0 20 0 1 0 140286042 37912576 4414 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 9256 4414 1140 1005 0 8019 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37024 KiB
Current children cumulated memory: 17656 KiB

[startup+1.50029 s]
/proc/loadavg: 1.55 1.21 1.21 5/247 702968
/proc/meminfo: memFree=130008724/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=38524 memory=21260 CPUtime=1.47 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 3390 0 0 0 145 2 0 0 20 0 1 0 140286042 39448576 5315 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 9631 5315 1140 1005 0 8394 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38524 KiB
Current children cumulated memory: 21260 KiB

[startup+3.11269 s]
/proc/loadavg: 1.55 1.21 1.21 5/247 702968
/proc/meminfo: memFree=129994040/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=41808 memory=26728 CPUtime=3.09 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 4231 0 0 0 305 4 0 0 20 0 1 0 140286042 42811392 6682 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 10452 6682 1140 1005 0 9215 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41808 KiB
Current children cumulated memory: 26728 KiB

[startup+6.30025 s]
/proc/loadavg: 1.74 1.25 1.22 5/247 702968
/proc/meminfo: memFree=129987884/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=43068 memory=27776 CPUtime=6.26 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 4517 0 0 0 620 6 0 0 20 0 1 0 140286042 44101632 6944 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 10767 6944 1140 1005 0 9530 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43068 KiB
Current children cumulated memory: 27776 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 1.32 1.25 5/247 702969
/proc/meminfo: memFree=129979336/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=43756 memory=28552 CPUtime=12.65 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 4721 0 0 0 1254 11 0 0 20 0 1 0 140286042 44806144 7138 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 10939 7138 1140 1005 0 9702 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43756 KiB
Current children cumulated memory: 28552 KiB

[startup+25.5003 s]
/proc/loadavg: 2.31 1.40 1.28 5/247 702971
/proc/meminfo: memFree=129973240/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=44436 memory=29324 CPUtime=25.42 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 4908 0 0 0 2523 19 0 0 20 0 1 0 140286042 45502464 7331 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 11109 7331 1140 1005 0 9872 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 44436 KiB
Current children cumulated memory: 29324 KiB

[startup+51.1127 s]
/proc/loadavg: 2.98 1.65 1.36 5/245 703021
/proc/meminfo: memFree=129970004/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=45156 memory=30092 CPUtime=50.95 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 5116 0 0 0 5061 34 0 0 20 0 1 0 140286042 46239744 7523 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 11289 7523 1140 1005 0 10052 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 45156 KiB
Current children cumulated memory: 30092 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.03 1.51 5/243 703075
/proc/meminfo: memFree=129961760/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=46028 memory=31264 CPUtime=102 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 6566 0 0 0 10133 67 0 0 20 0 1 0 140286042 47132672 7816 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 11507 7816 1140 1005 0 10270 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 31264 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.41 1.67 5/243 703133
/proc/meminfo: memFree=129895872/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=46872 memory=31956 CPUtime=161.84 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 8621 0 0 0 16079 105 0 0 20 0 1 0 140286042 47996928 7989 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 11718 7989 1140 1005 0 10481 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 46872 KiB
Current children cumulated memory: 31956 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.72 1.83 5/243 703143
/proc/meminfo: memFree=129800364/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=47660 memory=32832 CPUtime=221.65 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 10455 0 0 0 22026 139 0 0 20 0 1 0 140286042 48803840 8208 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 11915 8208 1140 1005 0 10678 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 47660 KiB
Current children cumulated memory: 32832 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 2.97 1.97 5/243 703198
/proc/meminfo: memFree=129622600/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=47988 memory=33128 CPUtime=281.45 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 12150 0 0 0 27969 176 0 0 20 0 1 0 140286042 49139712 8282 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 11997 8282 1140 1005 0 10760 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 47988 KiB
Current children cumulated memory: 33128 KiB

[startup+342.3 s]
/proc/loadavg: 4.75 3.37 2.17 5/241 703209
/proc/meminfo: memFree=129461052/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=48120 memory=33264 CPUtime=341.26 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 13795 0 0 0 33911 215 0 0 20 0 1 0 140286042 49274880 8316 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12030 8316 1140 1005 0 10793 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 48120 KiB
Current children cumulated memory: 33264 KiB

[startup+402.3 s]
/proc/loadavg: 4.38 3.52 2.30 5/244 703224
/proc/meminfo: memFree=129385260/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=49072 memory=36188 CPUtime=401.08 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 15419 0 0 0 39859 249 0 0 20 0 1 0 140286042 50249728 9047 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12268 9047 1140 1005 0 11031 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 49072 KiB
Current children cumulated memory: 36188 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 3.64 2.42 5/244 703234
/proc/meminfo: memFree=129342096/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=49404 memory=36520 CPUtime=460.89 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 17014 0 0 0 45807 282 0 0 20 0 1 0 140286042 50589696 9130 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12351 9130 1140 1005 0 11114 0
Current children cumulated CPU time: 460.89 s

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

/proc/loadavg: 4.23 4.16 3.49 5/244 703814
/proc/meminfo: memFree=127317732/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=51352 memory=38468 CPUtime=1298.28 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 37585 0 0 0 129032 796 0 0 20 0 1 0 140286042 52584448 9617 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12838 9617 1140 1005 0 11601 0
Current children cumulated CPU time: 1298.28 s
Current children cumulated vsize: 51352 KiB
Current children cumulated memory: 38468 KiB

[startup+1362.3 s]
/proc/loadavg: 4.08 4.13 3.53 5/244 703825
/proc/meminfo: memFree=127315448/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=51356 memory=38472 CPUtime=1358.09 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 39051 0 0 0 134976 833 0 0 20 0 1 0 140286042 52588544 9618 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12839 9618 1140 1005 0 11602 0
Current children cumulated CPU time: 1358.09 s
Current children cumulated vsize: 51356 KiB
Current children cumulated memory: 38472 KiB

[startup+1422.3 s]
/proc/loadavg: 4.07 4.12 3.56 5/244 703835
/proc/meminfo: memFree=127297364/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=51680 memory=38660 CPUtime=1417.91 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 40506 0 0 0 140920 871 0 0 20 0 1 0 140286042 52920320 9665 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12920 9665 1140 1005 0 11683 0
Current children cumulated CPU time: 1417.91 s
Current children cumulated vsize: 51680 KiB
Current children cumulated memory: 38660 KiB

[startup+1482.3 s]
/proc/loadavg: 4.12 4.12 3.60 5/246 704015
/proc/meminfo: memFree=126999944/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=51768 memory=38884 CPUtime=1477.72 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 41882 0 0 0 146867 905 0 0 20 0 1 0 140286042 53010432 9721 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12942 9721 1140 1005 0 11705 0
Current children cumulated CPU time: 1477.72 s
Current children cumulated vsize: 51768 KiB
Current children cumulated memory: 38884 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.11 3.64 5/246 704026
/proc/meminfo: memFree=126961044/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=51772 memory=38888 CPUtime=1537.54 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 43289 0 0 0 152814 940 0 0 20 0 1 0 140286042 53014528 9722 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12943 9722 1140 1005 0 11706 0
Current children cumulated CPU time: 1537.54 s
Current children cumulated vsize: 51772 KiB
Current children cumulated memory: 38888 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.11 3.67 5/244 704050
/proc/meminfo: memFree=126923036/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=51960 memory=39076 CPUtime=1597.36 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 44741 0 0 0 158759 977 0 0 20 0 1 0 140286042 53207040 9769 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 12990 9769 1140 1005 0 11753 0
Current children cumulated CPU time: 1597.36 s
Current children cumulated vsize: 51960 KiB
Current children cumulated memory: 39076 KiB

[startup+1662.3 s]
/proc/loadavg: 4.14 4.12 3.70 5/244 704060
/proc/meminfo: memFree=126890824/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52104 memory=39220 CPUtime=1657.18 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 46208 0 0 0 164707 1011 0 0 20 0 1 0 140286042 53354496 9805 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13026 9805 1140 1005 0 11789 0
Current children cumulated CPU time: 1657.18 s
Current children cumulated vsize: 52104 KiB
Current children cumulated memory: 39220 KiB

[startup+1722.3 s]
/proc/loadavg: 4.09 4.11 3.73 5/244 704070
/proc/meminfo: memFree=126855992/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52148 memory=39264 CPUtime=1716.99 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 47620 0 0 0 170652 1047 0 0 20 0 1 0 140286042 53399552 9816 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13037 9816 1140 1005 0 11800 0
Current children cumulated CPU time: 1716.99 s
Current children cumulated vsize: 52148 KiB
Current children cumulated memory: 39264 KiB

[startup+1782.3 s]
/proc/loadavg: 4.07 4.10 3.75 5/242 704081
/proc/meminfo: memFree=126841992/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52196 memory=39232 CPUtime=1776.81 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49114 0 0 0 176594 1087 0 0 20 0 1 0 140286042 53448704 9808 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13049 9808 1140 1005 0 11812 0
Current children cumulated CPU time: 1776.81 s
Current children cumulated vsize: 52196 KiB
Current children cumulated memory: 39232 KiB

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

# cumulated CPU time of all completed processes:  user=1777.35 s, system=10.9386 s

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

[startup+1785.6 s]
/proc/loadavg: 4.07 4.10 3.75 5/242 704082
/proc/meminfo: memFree=126842244/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52132 memory=39248 CPUtime=1780.09 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49195 0 0 0 176921 1088 0 0 20 0 1 0 140286042 53383168 9812 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13033 9812 1140 1005 0 11796 0
Current children cumulated CPU time: 1780.09 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 39248 KiB

[startup+1788.8 s]
/proc/loadavg: 4.06 4.10 3.75 5/242 704084
/proc/meminfo: memFree=126841916/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52132 memory=39248 CPUtime=1783.28 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49282 0 0 0 177237 1091 0 0 20 0 1 0 140286042 53383168 9812 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13033 9812 1140 1005 0 11796 0
Current children cumulated CPU time: 1783.28 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 39248 KiB

[startup+1792 s]*
/proc/loadavg: 4.14 4.11 3.76 5/244 704088
/proc/meminfo: memFree=126840984/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52132 memory=39248 CPUtime=1786.48 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49369 0 0 0 177556 1092 0 0 20 0 1 0 140286042 53383168 9812 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13033 9812 1140 1005 0 11796 0
Current children cumulated CPU time: 1786.48 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 39248 KiB

[startup+1792.8 s]
/proc/loadavg: 4.14 4.11 3.76 5/244 704088
/proc/meminfo: memFree=126840984/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52132 memory=39248 CPUtime=1787.27 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49369 0 0 0 177634 1093 0 0 20 0 1 0 140286042 53383168 9812 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13033 9812 1140 1005 0 11796 0
Current children cumulated CPU time: 1787.27 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 39248 KiB

[startup+1793.6 s]
/proc/loadavg: 4.14 4.11 3.76 5/244 704088
/proc/meminfo: memFree=126840992/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52132 memory=39248 CPUtime=1788.07 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49369 0 0 0 177714 1093 0 0 20 0 1 0 140286042 53383168 9812 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13033 9812 1140 1005 0 11796 0
Current children cumulated CPU time: 1788.07 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 39248 KiB

[startup+1793.8 s]
/proc/loadavg: 4.14 4.11 3.76 5/244 704088
/proc/meminfo: memFree=126840992/131655788 swapFree=131071996/131071996
[pid=702967] ppid=702964 vsize=52132 memory=39248 CPUtime=1788.27 cores=5,7
/proc/702967/stat : 702967 (Exact) R 702964 702967 697562 0 -1 4194304 49369 0 0 0 177734 1093 0 0 20 0 1 0 140286042 53383168 9812 134679101440 4194304 8309489 140723873903488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34930688 140723873911717 140723873911886 140723873911886 140723873918927 0
/proc/702967/statm: 13033 9812 1140 1005 0 11796 0
Current children cumulated CPU time: 1788.27 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 39248 KiB

Child status: 30

Real time (s): 1793.81
CPU time (s): 1788.29
CPU user time (s): 1777.35
CPU system time (s): 10.9386
CPU usage (%): 99.6922
Max. virtual memory (cumulated for all children) (KiB): 52416
Max. memory (cumulated for all children) (KiB): 39508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.35
system time used= 10.9386
maximum resident set size= 39524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49374
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= 12
involuntary context switches= 2085


# summary of solver processes directly reported to runsolver:
#   pid: 702967
#   total CPU time (s): 1788.29
#   total CPU user time (s): 1777.35
#   total CPU system time (s): 10.9386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.89355 second user time and 16.4802 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-13 16:35:03
IDJOB=4425666
IDBENCH=143587
IDSOLVER=3040
FILE ID=nodeC012/4425666-1720881290
RUNJOBID= nodeC012-1720881298-701984
SLURM_JOB_ID= 7483760
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940--soft-33-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-4425666-1720881290/watcher-4425666-1720881290 -o /tmp/evaluation-result-4425666-1720881290/solver-4425666-1720881290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701984 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=631105369 HOME/instance-4425666-1720881290.wbo

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

MD5SUM BENCH= 100b8721f67ac4f330c7a6443b255629
RANDOM SEED=631105369

nodeC012.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		: 1197.321
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	: 6984.37
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		: 2494.419
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.32
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.339
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	: 6984.37
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.330
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.32
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		: 1795.981
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	: 6984.37
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		: 1396.881
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.32
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.499
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	: 6984.37
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.336
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130028360 kB
MemAvailable:   129952644 kB
Buffers:          321872 kB
Cached:           451368 kB
SwapCached:            0 kB
Active:           479572 kB
Inactive:         653444 kB
Active(anon):       1400 kB
Inactive(anon):   395748 kB
Active(file):     478172 kB
Inactive(file):   257696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             24832 kB
Writeback:            16 kB
AnonPages:        359592 kB
Mapped:           115212 kB
Shmem:             37704 kB
KReclaimable:      56896 kB
Slab:             145896 kB
SReclaimable:      56896 kB
SUnreclaim:        89000 kB
KernelStack:        4064 kB
PageTables:        10036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     907600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45792 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      207688 kB
DirectMap2M:    10182656 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC012 at 2024-07-13 17:04:57