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) | -27 | 3600.05 | 3611.7 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
| MD5SUM | 3e791e4af881e2fe08ee2208e231d7f8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 5.15888 |
| 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 | 450 |
| Total number of constraints | 17827 |
| Number of constraints which are clauses | 17827 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| 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 | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 o 0 0.00/0.08 o -1 0.00/0.08 o -2 0.00/0.08 o -3 0.09/0.11 o -4 0.09/0.11 o -5 0.09/0.11 o -6 0.09/0.11 o -7 0.09/0.11 o -8 0.09/0.11 o -9 0.09/0.12 o -10 0.09/0.12 o -11 0.09/0.16 o -12 0.09/0.18 o -13 0.09/0.18 o -14 0.20/0.26 o -15 0.20/0.27 o -16 0.29/0.31 o -17 0.60/0.61 o -18 0.89/0.93 o -19 5.57/5.60 o -20 7.17/7.26 o -21 13.64/13.70 o -22 13.64/13.70 o -23 13.64/13.77 o -24 23.81/23.99 o -25 60.50/60.77 o -26 458.09/459.61 o -27 3600.03/3611.70 c Program interrupted by user. 3600.03/3611.70 s SATISFIABLE 3600.03/3611.70 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 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
OK -27
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 (62903 MiB free)
memory of node 1: 64510 MiB (61417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433098-1721059635/watcher-4433098-1721059635 -o /tmp/evaluation-result-4433098-1721059635/solver-4433098-1721059635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808121 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1188355995 HOME/instance-4433098-1721059635.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
solver pid=808168, runsolver pid=808160
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 3.78 4.05 4.09 6/255 808184
/proc/meminfo: memFree=127241680/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=39028 memory=18224 CPUtime=0.09 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 4563 0 0 0 9 0 0 0 20 0 1 0 158128453 39964672 4556 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 9757 4556 1140 1005 0 8520 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 18224 KiB
[startup+0.206094 s]*
/proc/loadavg: 3.78 4.05 4.09 6/255 808184
/proc/meminfo: memFree=127191944/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=39964 memory=21324 CPUtime=0.2 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 4800 0 0 0 20 0 0 0 20 0 1 0 158128453 40923136 5331 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 9991 5331 1140 1005 0 8754 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39964 KiB
Current children cumulated memory: 21324 KiB
[startup+0.305956 s]*
/proc/loadavg: 3.78 4.05 4.09 6/255 808184
/proc/meminfo: memFree=127187752/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=40500 memory=21852 CPUtime=0.29 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 4956 0 0 0 29 0 0 0 20 0 1 0 158128453 41472000 5463 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 10125 5463 1140 1005 0 8888 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40500 KiB
Current children cumulated memory: 21852 KiB
[startup+0.700177 s]
/proc/loadavg: 3.78 4.05 4.09 6/255 808184
/proc/meminfo: memFree=127176600/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=42172 memory=25480 CPUtime=0.69 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 5350 0 0 0 68 1 0 0 20 0 1 0 158128453 43184128 6370 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 10543 6370 1140 1005 0 9306 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42172 KiB
Current children cumulated memory: 25480 KiB
[startup+1.50018 s]
/proc/loadavg: 3.78 4.05 4.09 6/255 808184
/proc/meminfo: memFree=127167428/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=42796 memory=28052 CPUtime=1.49 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 5450 0 0 0 148 1 0 0 20 0 1 0 158128453 43823104 7013 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 10699 7013 1140 1005 0 9462 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42796 KiB
Current children cumulated memory: 28052 KiB
[startup+3.1059 s]
/proc/loadavg: 3.79 4.05 4.09 6/255 808184
/proc/meminfo: memFree=127127952/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=43696 memory=34960 CPUtime=3.08 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 5679 0 0 0 307 1 0 0 20 0 1 0 158128453 44744704 8740 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 10924 8740 1140 1005 0 9687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 34960 KiB
[startup+6.30019 s]
/proc/loadavg: 3.79 4.05 4.09 6/255 808186
/proc/meminfo: memFree=127091920/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=62128 memory=47660 CPUtime=6.27 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 7525 0 0 0 625 2 0 0 20 0 1 0 158128453 63619072 11915 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 15532 11915 1140 1005 0 14295 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62128 KiB
Current children cumulated memory: 47660 KiB
[startup+12.7002 s]
/proc/loadavg: 3.91 4.07 4.09 6/255 808186
/proc/meminfo: memFree=127059400/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=63372 memory=50684 CPUtime=12.64 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 7781 0 0 0 1260 4 0 0 20 0 1 0 158128453 64892928 12671 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 15843 12671 1140 1005 0 14606 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 63372 KiB
Current children cumulated memory: 50684 KiB
[startup+25.5002 s]
/proc/loadavg: 3.92 4.06 4.09 6/255 808187
/proc/meminfo: memFree=127026088/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=64776 memory=56420 CPUtime=25.41 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 8251 0 0 0 2534 7 0 0 20 0 1 0 158128453 66330624 14105 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 16194 14105 1140 1005 0 14957 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64776 KiB
Current children cumulated memory: 56420 KiB
[startup+51.1059 s]
/proc/loadavg: 3.95 4.06 4.09 6/254 808192
/proc/meminfo: memFree=127000576/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=67832 memory=59436 CPUtime=50.93 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 9055 0 0 0 5082 11 0 0 20 0 1 0 158128453 69459968 14859 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 16958 14859 1140 1005 0 15721 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 67832 KiB
Current children cumulated memory: 59436 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.09 6/254 808200
/proc/meminfo: memFree=126982844/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=73244 memory=64880 CPUtime=101.96 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 10433 0 0 0 10173 23 0 0 20 0 1 0 158128453 75001856 16220 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 18311 16220 1140 1005 0 17074 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 64880 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.06 4.09 6/257 808215
/proc/meminfo: memFree=126950268/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=79084 memory=73040 CPUtime=161.75 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 11913 0 0 0 16139 36 0 0 20 0 1 0 158128453 80982016 18260 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 19771 18260 1140 1005 0 18534 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 79084 KiB
Current children cumulated memory: 73040 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.06 4.09 6/258 808227
/proc/meminfo: memFree=126928248/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=83764 memory=78876 CPUtime=221.56 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 13103 0 0 0 22106 50 0 0 20 0 1 0 158128453 85774336 19719 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 20941 19719 1140 1005 0 19704 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 83764 KiB
Current children cumulated memory: 78876 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.06 4.09 6/258 808237
/proc/meminfo: memFree=126902148/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=87544 memory=82700 CPUtime=281.36 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 14100 0 0 0 28072 64 0 0 20 0 1 0 158128453 89645056 20675 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 21886 20675 1140 1005 0 20649 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 87544 KiB
Current children cumulated memory: 82700 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.06 4.09 6/258 808247
/proc/meminfo: memFree=126885104/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=92048 memory=87056 CPUtime=341.16 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 15224 0 0 0 34040 76 0 0 20 0 1 0 158128453 94257152 21764 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 23012 21764 1140 1005 0 21775 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 92048 KiB
Current children cumulated memory: 87056 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.08 4.09 6/258 808259
/proc/meminfo: memFree=126873452/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=95316 memory=89852 CPUtime=400.97 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 15927 0 0 0 40007 90 0 0 20 0 1 0 158128453 97603584 22463 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 23829 22463 1140 1005 0 22592 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 95316 KiB
Current children cumulated memory: 89852 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.08 4.09 6/258 808269
/proc/meminfo: memFree=126853960/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=121620 memory=94172 CPUtime=460.77 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 17437 0 0 0 45973 104 0 0 20 0 1 0 158128453 124538880 23543 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 30405 23543 1140 1005 0 29168 0
################
# More data... #
################
Current children cumulated memory: 139220 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.09 4.12 6/257 809707
/proc/meminfo: memFree=126569052/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=156764 memory=140040 CPUtime=2912.86 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28072 0 0 0 290615 671 0 0 20 0 1 0 158128453 160526336 35010 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39191 35010 1140 1005 0 37954 0
Current children cumulated CPU time: 2912.86 s
Current children cumulated vsize: 156764 KiB
Current children cumulated memory: 140040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.12 6/257 809718
/proc/meminfo: memFree=126568316/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=156764 memory=140288 CPUtime=2972.66 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28158 0 0 0 296583 683 0 0 20 0 1 0 158128453 160526336 35072 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39191 35072 1140 1005 0 37954 0
Current children cumulated CPU time: 2972.66 s
Current children cumulated vsize: 156764 KiB
Current children cumulated memory: 140288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.12 6/259 809899
/proc/meminfo: memFree=126565708/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=156900 memory=140364 CPUtime=3032.46 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28226 0 0 0 302548 698 0 0 20 0 1 0 158128453 160665600 35091 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39225 35091 1140 1005 0 37988 0
Current children cumulated CPU time: 3032.46 s
Current children cumulated vsize: 156900 KiB
Current children cumulated memory: 140364 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.11 6/259 809909
/proc/meminfo: memFree=126564800/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=156900 memory=140364 CPUtime=3092.27 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28283 0 0 0 308514 713 0 0 20 0 1 0 158128453 160665600 35091 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39225 35091 1140 1005 0 37988 0
Current children cumulated CPU time: 3092.27 s
Current children cumulated vsize: 156900 KiB
Current children cumulated memory: 140364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.10 6/261 809923
/proc/meminfo: memFree=126562356/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=156900 memory=140392 CPUtime=3152.08 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28348 0 0 0 314484 724 0 0 20 0 1 0 158128453 160665600 35098 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39225 35098 1140 1005 0 37988 0
Current children cumulated CPU time: 3152.08 s
Current children cumulated vsize: 156900 KiB
Current children cumulated memory: 140392 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.10 6/259 809945
/proc/meminfo: memFree=126560896/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=157056 memory=140524 CPUtime=3211.89 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28439 0 0 0 320449 740 0 0 20 0 1 0 158128453 160825344 35131 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39264 35131 1140 1005 0 38027 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 157056 KiB
Current children cumulated memory: 140524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/259 809955
/proc/meminfo: memFree=126557312/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=157232 memory=140544 CPUtime=3271.69 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28540 0 0 0 326416 753 0 0 20 0 1 0 158128453 161005568 35136 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39308 35136 1140 1005 0 38071 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 157232 KiB
Current children cumulated memory: 140544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/258 809965
/proc/meminfo: memFree=126553868/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=157884 memory=141384 CPUtime=3331.5 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28767 0 0 0 332379 771 0 0 20 0 1 0 158128453 161673216 35346 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39471 35346 1140 1005 0 38234 0
Current children cumulated CPU time: 3331.5 s
Current children cumulated vsize: 157884 KiB
Current children cumulated memory: 141384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/256 809977
/proc/meminfo: memFree=126553484/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=157884 memory=141408 CPUtime=3391.31 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 28831 0 0 0 338345 786 0 0 20 0 1 0 158128453 161673216 35352 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39471 35352 1140 1005 0 38234 0
Current children cumulated CPU time: 3391.31 s
Current children cumulated vsize: 157884 KiB
Current children cumulated memory: 141408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/256 809987
/proc/meminfo: memFree=126550460/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=158488 memory=141916 CPUtime=3451.12 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 29024 0 0 0 344312 800 0 0 20 0 1 0 158128453 162291712 35479 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39622 35479 1140 1005 0 38385 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 158488 KiB
Current children cumulated memory: 141916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/254 809997
/proc/meminfo: memFree=126549828/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=158776 memory=142200 CPUtime=3510.92 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 29158 0 0 0 350277 815 0 0 20 0 1 0 158128453 162586624 35550 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39694 35550 1140 1005 0 38457 0
Current children cumulated CPU time: 3510.92 s
Current children cumulated vsize: 158776 KiB
Current children cumulated memory: 142200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/254 810007
/proc/meminfo: memFree=126548016/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=158776 memory=142248 CPUtime=3570.73 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 29217 0 0 0 356248 825 0 0 20 0 1 0 158128453 162586624 35562 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39694 35562 1140 1005 0 38457 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 158776 KiB
Current children cumulated memory: 142248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126870092/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=158776 memory=142248 CPUtime=3600.03 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 29226 0 0 0 359171 832 0 0 20 0 1 0 158128453 162586624 35562 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39694 35562 1140 1005 0 38457 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 158776 KiB
Current children cumulated memory: 142248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.7 s]
# the end of solver process 808168 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.72 s, system=8.32763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126870092/131524600 swapFree=131071996/131071996
[pid=808168] ppid=808160 vsize=158776 memory=142248 CPUtime=3600.03 cores=0,2
/proc/808168/stat : 808168 (Exact) R 808160 808168 808111 0 -1 4194304 29226 0 0 0 359171 832 0 0 20 0 1 0 158128453 162586624 35562 134679101440 4194304 8309489 140720427498688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39219200 140720427500478 140720427500648 140720427500648 140720427507663 0
/proc/808168/statm: 39694 35562 1140 1005 0 38457 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 158776 KiB
Current children cumulated memory: 142248 KiB
Child status: 10
Real time (s): 3611.7
CPU time (s): 3600.05
CPU user time (s): 3591.72
CPU system time (s): 8.32763
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 158776
Max. memory (cumulated for all children) (KiB): 142248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.72
system time used= 8.32763
maximum resident set size= 142248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29228
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= 36
involuntary context switches= 24659
# summary of solver processes directly reported to runsolver:
# pid: 808168
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.72
# total CPU system time (s): 8.32763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26013 second user time and 17.4477 second system time
The end
Begin job on nodeC024 at 2024-07-15 18:07:29 IDJOB=4433098 IDBENCH=146689 IDSOLVER=3060 FILE ID=nodeC024/4433098-1721059635 RUNJOBID= nodeC024-1721059648-808121 SLURM_JOB_ID= 7505503 Free space on /tmp= 890080 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.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-4433098-1721059635/watcher-4433098-1721059635 -o /tmp/evaluation-result-4433098-1721059635/solver-4433098-1721059635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808121 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1188355995 HOME/instance-4433098-1721059635.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8 RANDOM SEED=1188355995 nodeC024.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 : 3615.084 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.60 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 : 3532.928 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 : 7007.08 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 : 3525.845 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.60 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 : 3662.849 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 : 7007.08 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 : 3516.918 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.60 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 : 2919.948 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 : 7007.08 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 : 3623.414 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.60 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 : 3494.396 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127312332 kB MemAvailable: 129712512 kB Buffers: 366900 kB Cached: 2846676 kB SwapCached: 0 kB Active: 580020 kB Inactive: 2991912 kB Active(anon): 1468 kB Inactive(anon): 394600 kB Active(file): 578552 kB Inactive(file): 2597312 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19768 kB Writeback: 0 kB AnonPages: 358608 kB Mapped: 103408 kB Shmem: 37720 kB KReclaimable: 127928 kB Slab: 236784 kB SReclaimable: 127928 kB SUnreclaim: 108856 kB KernelStack: 3992 kB PageTables: 9492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 702792 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59648 kB HardwareCorrupted: 0 kB AnonHugePages: 385024 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: 226004 kB DirectMap2M: 19470336 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890052 MiB End job on nodeC024 at 2024-07-15 19:07:40