Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 11 | 3600.11 | 3612.12 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb |
| MD5SUM | c3fde33010e6ea586da81d097c34065f |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 509.323 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.09/0.11 o 127 0.09/0.12 o 126 0.09/0.12 o 125 0.09/0.12 o 124 0.09/0.12 o 123 0.09/0.12 o 122 0.09/0.13 o 121 0.09/0.13 o 120 0.09/0.13 o 119 0.09/0.13 o 118 0.09/0.13 o 117 0.09/0.13 o 116 0.09/0.13 o 115 0.09/0.13 o 114 0.09/0.13 o 113 0.09/0.14 o 112 0.09/0.14 o 111 1.58/1.68 o 110 1.58/1.68 o 109 1.58/1.68 o 108 1.58/1.68 o 107 1.58/1.68 o 106 1.58/1.68 o 105 1.58/1.69 o 104 1.58/1.69 o 103 1.58/1.69 o 102 1.58/1.69 o 101 1.58/1.69 o 100 1.58/1.69 o 99 1.58/1.69 o 98 1.58/1.69 o 97 1.58/1.69 o 96 1.58/1.70 o 95 1.68/1.70 o 94 1.68/1.70 o 93 1.68/1.70 o 92 1.68/1.70 o 91 1.68/1.70 o 90 1.68/1.70 o 89 1.68/1.70 o 88 1.68/1.70 o 87 1.68/1.71 o 86 1.68/1.71 o 85 1.68/1.71 o 84 1.68/1.71 o 83 1.68/1.71 o 82 1.68/1.71 o 81 1.68/1.71 o 80 1.68/1.71 o 79 1.68/1.71 o 78 1.68/1.71 o 77 1.68/1.72 o 76 1.68/1.72 o 75 1.68/1.72 o 74 1.68/1.72 o 73 1.68/1.72 o 72 1.68/1.72 o 71 1.68/1.72 o 70 1.68/1.72 o 69 1.68/1.72 o 68 1.68/1.72 o 67 1.68/1.73 o 66 1.68/1.73 o 65 1.68/1.73 o 64 1.68/1.73 o 63 1.68/1.73 o 62 1.68/1.74 o 61 1.68/1.74 o 60 1.68/1.74 o 59 1.68/1.74 o 58 1.68/1.74 o 57 1.68/1.74 o 56 1.68/1.74 o 55 1.68/1.75 o 54 1.68/1.75 o 53 1.68/1.75 o 52 1.68/1.76 o 51 1.68/1.76 o 50 1.68/1.76 o 49 1.68/1.76 o 48 1.68/1.76 o 47 1.68/1.76 o 46 1.68/1.77 o 45 1.68/1.77 o 44 1.68/1.77 o 43 1.68/1.77 o 42 1.68/1.77 o 41 1.68/1.77 o 40 1.68/1.77 o 39 1.68/1.77 o 38 1.68/1.78 o 37 1.68/1.78 o 36 1.68/1.78 o 35 1.68/1.78 o 34 1.68/1.78 o 33 1.68/1.78 o 32 1.68/1.78 o 31 1.68/1.78 o 30 1.68/1.78 o 29 1.68/1.78 o 28 1.68/1.78 o 27 1.68/1.79 o 26 1.68/1.79 o 25 1.68/1.79 o 24 1.68/1.79 o 23 1.68/1.79 o 22 1.68/1.79 o 21 1.78/1.80 o 20 1.78/1.80 o 19 1.78/1.81 o 18 1.78/1.88 o 17 2.37/2.43 o 16 2.77/2.80 o 15 2.77/2.81 o 14 18.12/18.26 o 13 18.22/18.30 o 12 99.45/99.82 o 11 3600.08/3612.11 c Program interrupted by user. 3600.08/3612.11 s SATISFIABLE 3600.08/3612.11 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
OK 11
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: 63968 MiB (61316 MiB free)
memory of node 1: 64473 MiB (62200 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459865-1721943272/watcher-4459865-1721943272 -o /tmp/evaluation-result-4459865-1721943272/solver-4459865-1721943272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721943060-310775 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1764319264 HOME/instance-4459865-1721943272.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=311243, runsolver pid=311240
[startup+0.100923 s]*
/proc/loadavg: 4.02 2.65 1.73 5/260 311244
/proc/meminfo: memFree=126453136/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=53340 memory=32552 CPUtime=0.09 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 8250 0 0 0 8 1 0 0 20 0 1 0 30851200 54620160 8138 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 13335 8138 1044 1005 0 12098 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53340 KiB
Current children cumulated memory: 32552 KiB
[startup+0.205486 s]*
/proc/loadavg: 4.02 2.65 1.73 5/260 311244
/proc/meminfo: memFree=126451680/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=55092 memory=33832 CPUtime=0.19 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 8621 0 0 0 18 1 0 0 20 0 1 0 30851200 56414208 8458 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 13773 8458 1108 1005 0 12536 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55092 KiB
Current children cumulated memory: 33832 KiB
[startup+0.305458 s]*
/proc/loadavg: 4.02 2.65 1.73 5/260 311244
/proc/meminfo: memFree=126451540/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=55092 memory=33832 CPUtime=0.29 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 8624 0 0 0 28 1 0 0 20 0 1 0 30851200 56414208 8458 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 13773 8458 1108 1005 0 12536 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55092 KiB
Current children cumulated memory: 33832 KiB
[startup+0.700165 s]
/proc/loadavg: 4.02 2.65 1.73 5/260 311244
/proc/meminfo: memFree=126448272/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=56552 memory=37192 CPUtime=0.69 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 8992 0 0 0 67 2 0 0 20 0 1 0 30851200 57909248 9298 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 14138 9298 1108 1005 0 12901 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56552 KiB
Current children cumulated memory: 37192 KiB
[startup+1.50019 s]
/proc/loadavg: 4.02 2.65 1.73 5/260 311244
/proc/meminfo: memFree=126447356/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=57912 memory=40556 CPUtime=1.48 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 9306 0 0 0 146 2 0 0 20 0 1 0 30851200 59301888 10139 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 14478 10139 1108 1005 0 13241 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57912 KiB
Current children cumulated memory: 40556 KiB
[startup+3.10545 s]
/proc/loadavg: 4.02 2.65 1.73 5/260 311244
/proc/meminfo: memFree=126436208/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=62832 memory=48952 CPUtime=3.08 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 10394 0 0 0 305 3 0 0 20 0 1 0 30851200 64339968 12238 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 15708 12238 1140 1005 0 14471 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 48952 KiB
[startup+6.30018 s]
/proc/loadavg: 4.02 2.67 1.75 6/260 311245
/proc/meminfo: memFree=126429568/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=66772 memory=56960 CPUtime=6.27 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 11338 0 0 0 623 4 0 0 20 0 1 0 30851200 68374528 14240 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 16693 14240 1140 1005 0 15456 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66772 KiB
Current children cumulated memory: 56960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 2.69 1.76 5/260 311245
/proc/meminfo: memFree=126416208/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=85084 memory=67812 CPUtime=12.65 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 12794 0 0 0 1258 7 0 0 20 0 1 0 30851200 87126016 16953 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 21271 16953 1140 1005 0 20034 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85084 KiB
Current children cumulated memory: 67812 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 2.77 1.80 5/260 311248
/proc/meminfo: memFree=126400844/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=89820 memory=80120 CPUtime=25.4 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 13860 0 0 0 2532 8 0 0 20 0 1 0 30851200 91975680 20030 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 22455 20030 1140 1005 0 21218 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 80120 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 2.87 1.86 5/256 311251
/proc/meminfo: memFree=126386068/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=94792 memory=85528 CPUtime=50.92 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 15185 0 0 0 5076 16 0 0 20 0 1 0 30851200 97067008 21382 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 23698 21382 1140 1005 0 22461 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 94792 KiB
Current children cumulated memory: 85528 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.06 1.98 5/255 311260
/proc/meminfo: memFree=126361956/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=124448 memory=100324 CPUtime=101.94 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 17780 0 0 0 10166 28 0 0 20 0 1 0 30851200 127434752 25081 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 31112 25081 1140 1005 0 29875 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 124448 KiB
Current children cumulated memory: 100324 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 3.32 2.14 6/254 311271
/proc/meminfo: memFree=126353724/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=129752 memory=105756 CPUtime=161.72 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 19171 0 0 0 16130 42 0 0 20 0 1 0 30851200 132866048 26439 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 32438 26439 1140 1005 0 31201 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 129752 KiB
Current children cumulated memory: 105756 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.46 2.26 5/254 311281
/proc/meminfo: memFree=126347216/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=133832 memory=109388 CPUtime=221.51 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 20118 0 0 0 22095 56 0 0 20 0 1 0 30851200 137043968 27347 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 33458 27347 1140 1005 0 32221 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 133832 KiB
Current children cumulated memory: 109388 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 3.61 2.39 5/254 311337
/proc/meminfo: memFree=126318520/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=138024 memory=115596 CPUtime=281.29 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 21195 0 0 0 28055 74 0 0 20 0 1 0 30851200 141336576 28899 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 34506 28899 1140 1005 0 33269 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 138024 KiB
Current children cumulated memory: 115596 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.69 2.50 5/256 311352
/proc/meminfo: memFree=126290596/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=140768 memory=124800 CPUtime=341.05 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 21942 0 0 0 34017 88 0 0 20 0 1 0 30851200 144146432 31200 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 35192 31200 1140 1005 0 33955 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 140768 KiB
Current children cumulated memory: 124800 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.77 2.60 5/257 311363
/proc/meminfo: memFree=126271760/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=144592 memory=131956 CPUtime=400.81 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 22873 0 0 0 39983 98 0 0 20 0 1 0 30851200 148062208 32989 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 36148 32989 1140 1005 0 34911 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 144592 KiB
Current children cumulated memory: 131956 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.84 2.70 5/257 311375
/proc/meminfo: memFree=126259900/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=149016 memory=136412 CPUtime=460.61 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 24009 0 0 0 45949 112 0 0 20 0 1 0 30851200 152592384 34103 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 37254 34103 1140 1005 0 36017 0
################
# More data... #
################
Current children cumulated memory: 200380 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/256 312924
/proc/meminfo: memFree=126113764/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=207088 memory=200836 CPUtime=2912.46 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 40745 0 0 0 290614 632 0 0 20 0 1 0 30851200 212058112 50209 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 51772 50209 1140 1005 0 50535 0
Current children cumulated CPU time: 2912.46 s
Current children cumulated vsize: 207088 KiB
Current children cumulated memory: 200836 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/257 312939
/proc/meminfo: memFree=126112872/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=207088 memory=200844 CPUtime=2972.23 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 40822 0 0 0 296578 645 0 0 20 0 1 0 30851200 212058112 50211 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 51772 50211 1140 1005 0 50535 0
Current children cumulated CPU time: 2972.23 s
Current children cumulated vsize: 207088 KiB
Current children cumulated memory: 200844 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/258 313332
/proc/meminfo: memFree=126110476/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=207540 memory=201228 CPUtime=3032.04 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 41012 0 0 0 302548 656 0 0 20 0 1 0 30851200 212520960 50307 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 51885 50307 1140 1005 0 50648 0
Current children cumulated CPU time: 3032.04 s
Current children cumulated vsize: 207540 KiB
Current children cumulated memory: 201228 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/257 313342
/proc/meminfo: memFree=126101456/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=208172 memory=201924 CPUtime=3091.84 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 41271 0 0 0 308517 667 0 0 20 0 1 0 30851200 213168128 50481 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 52043 50481 1140 1005 0 50806 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 208172 KiB
Current children cumulated memory: 201924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/257 313354
/proc/meminfo: memFree=126098888/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=209720 memory=203472 CPUtime=3151.65 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 41740 0 0 0 314487 678 0 0 20 0 1 0 30851200 214753280 50868 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 52430 50868 1140 1005 0 51193 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 209720 KiB
Current children cumulated memory: 203472 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/257 313364
/proc/meminfo: memFree=126096984/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=210000 memory=203752 CPUtime=3211.46 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 41894 0 0 0 320452 694 0 0 20 0 1 0 30851200 215040000 50938 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 52500 50938 1140 1005 0 51263 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 210000 KiB
Current children cumulated memory: 203752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.17 4.05 5/256 313542
/proc/meminfo: memFree=126092932/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=211212 memory=204856 CPUtime=3271.26 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 42289 0 0 0 326422 704 0 0 20 0 1 0 30851200 216281088 51214 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 52803 51214 1140 1005 0 51566 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 211212 KiB
Current children cumulated memory: 204856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.18 4.06 5/259 313612
/proc/meminfo: memFree=126090076/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=211624 memory=205308 CPUtime=3331.07 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 42477 0 0 0 332391 716 0 0 20 0 1 0 30851200 216702976 51327 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 52906 51327 1140 1005 0 51669 0
Current children cumulated CPU time: 3331.07 s
Current children cumulated vsize: 211624 KiB
Current children cumulated memory: 205308 KiB
[startup+3402.3 s]
/proc/loadavg: 3.99 4.13 4.05 3/245 313684
/proc/meminfo: memFree=126406668/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=214408 memory=207856 CPUtime=3390.88 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 43197 0 0 0 338360 728 0 0 20 0 1 0 30851200 219553792 51964 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 53602 51964 1140 1005 0 52365 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 214408 KiB
Current children cumulated memory: 207856 KiB
[startup+3462.3 s]
/proc/loadavg: 2.77 3.75 3.93 3/245 313695
/proc/meminfo: memFree=126401884/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=214656 memory=208152 CPUtime=3450.71 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 43341 0 0 0 344329 742 0 0 20 0 1 0 30851200 219807744 52038 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 53664 52038 1140 1005 0 52427 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 214656 KiB
Current children cumulated memory: 208152 KiB
[startup+3522.3 s]
/proc/loadavg: 2.38 3.46 3.81 3/245 313705
/proc/meminfo: memFree=126398732/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=215088 memory=208956 CPUtime=3510.53 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 43517 0 0 0 350299 754 0 0 20 0 1 0 30851200 220250112 52239 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 53772 52239 1140 1005 0 52535 0
Current children cumulated CPU time: 3510.53 s
Current children cumulated vsize: 215088 KiB
Current children cumulated memory: 208956 KiB
[startup+3582.3 s]
/proc/loadavg: 2.19 3.21 3.70 3/244 313716
/proc/meminfo: memFree=126396628/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=215556 memory=209184 CPUtime=3570.36 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 43661 0 0 0 356270 766 0 0 20 0 1 0 30851200 220729344 52296 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 53889 52296 1140 1005 0 52652 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 215556 KiB
Current children cumulated memory: 209184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.1 s]
/proc/loadavg: 2.11 3.09 3.65 3/244 313721
/proc/meminfo: memFree=126395340/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=215556 memory=209184 CPUtime=3600.08 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 43700 0 0 0 359235 773 0 0 20 0 1 0 30851200 220729344 52296 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 53889 52296 1140 1005 0 52652 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 215556 KiB
Current children cumulated memory: 209184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 311243 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3592.37 s, system=7.73323 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.1 s]
/proc/loadavg: 2.11 3.09 3.65 3/244 313721
/proc/meminfo: memFree=126395340/131524600 swapFree=131056796/131071996
[pid=311243] ppid=311240 vsize=215556 memory=209184 CPUtime=3600.08 cores=0,2
/proc/311243/stat : 311243 (Exact) R 311240 311243 308641 0 -1 4194304 43700 0 0 0 359235 773 0 0 20 0 1 0 30851200 220729344 52296 134679101440 4194304 8309489 140727137588672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 17494016 140727137592253 140727137592423 140727137592423 140727137599439 0
/proc/311243/statm: 53889 52296 1140 1005 0 52652 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 215556 KiB
Current children cumulated memory: 209184 KiB
Child status: 10
Real time (s): 3612.12
CPU time (s): 3600.11
CPU user time (s): 3592.37
CPU system time (s): 7.73323
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 215556
Max. memory (cumulated for all children) (KiB): 209184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.37
system time used= 7.73323
maximum resident set size= 209184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43702
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= 64
involuntary context switches= 25210
# summary of solver processes directly reported to runsolver:
# pid: 311243
# total CPU time (s): 3600.11
# total CPU user time (s): 3592.37
# total CPU system time (s): 7.73323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56417 second user time and 15.9773 second system time
The end
Begin job on nodeC030 at 2024-07-25 23:34:32 IDJOB=4459865 IDBENCH=148617 IDSOLVER=3060 FILE ID=nodeC030/4459865-1721943272 RUNJOBID= nodeC030-1721943060-310775 SLURM_JOB_ID= 8247250 Free space on /tmp= 890064 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459865-1721943272/watcher-4459865-1721943272 -o /tmp/evaluation-result-4459865-1721943272/solver-4459865-1721943272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721943060-310775 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1764319264 HOME/instance-4459865-1721943272.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c3fde33010e6ea586da81d097c34065f RANDOM SEED=1764319264 nodeC030.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 : 3654.761 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 : 6999.45 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 : 3687.171 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 : 7005.46 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 : 3633.475 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 : 6999.45 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 : 3600.143 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 : 7005.46 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 : 3653.941 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 : 6999.45 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 : 3687.214 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 : 7005.46 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 : 3603.526 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 : 6999.45 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 : 3599.559 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 : 7005.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126481844 kB MemAvailable: 129441608 kB Buffers: 329176 kB Cached: 3418668 kB SwapCached: 212 kB Active: 2637304 kB Inactive: 1719120 kB Active(anon): 2292 kB Inactive(anon): 658872 kB Active(file): 2635012 kB Inactive(file): 1060248 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056796 kB Dirty: 6300 kB Writeback: 0 kB AnonPages: 605836 kB Mapped: 122164 kB Shmem: 52912 kB KReclaimable: 208652 kB Slab: 330276 kB SReclaimable: 208652 kB SUnreclaim: 121624 kB KernelStack: 4224 kB PageTables: 10096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1049004 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18176 kB HardwareCorrupted: 0 kB AnonHugePages: 446464 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: 344788 kB DirectMap2M: 39274496 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890068 MiB End job on nodeC030 at 2024-07-26 00:34:45