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) | -28 | 3600.04 | 3609.3 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
| MD5SUM | 6f27158fc75cdb45f11467b416377039 |
| 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 | 2.23031 |
| 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 | 17794 |
| Number of constraints which are clauses | 17794 |
| 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.09/0.10 o -3 0.09/0.10 o -4 0.09/0.10 o -5 0.09/0.11 o -6 0.09/0.11 o -7 0.09/0.11 o -8 0.09/0.12 o -9 0.09/0.20 o -10 0.30/0.35 o -11 0.30/0.35 o -12 0.30/0.36 o -13 0.30/0.36 o -14 0.88/0.91 o -15 0.88/0.95 o -16 1.09/1.15 o -17 1.18/1.27 o -18 1.48/1.52 o -19 1.98/2.02 o -20 1.98/2.07 o -21 4.08/4.13 o -22 11.35/11.49 o -23 14.75/14.85 o -24 25.71/25.87 o -25 26.51/26.64 o -26 57.62/57.81 o -27 385.62/386.66 o -28 3600.03/3609.30 c Program interrupted by user. 3600.03/3609.30 s SATISFIABLE 3600.03/3609.30 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 -28
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 (62902 MiB free)
memory of node 1: 64510 MiB (61418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433099-1721059635/watcher-4433099-1721059635 -o /tmp/evaluation-result-4433099-1721059635/solver-4433099-1721059635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808123 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1188355995 HOME/instance-4433099-1721059635.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=808164, runsolver pid=808159
[startup+0.100494 s]*
/proc/loadavg: 3.78 4.05 4.09 5/255 808184
/proc/meminfo: memFree=127242352/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=39132 memory=19432 CPUtime=0.09 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 4327 0 0 0 9 0 0 0 20 0 1 0 158128452 40071168 4858 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 9783 4858 1140 1005 0 8546 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39132 KiB
Current children cumulated memory: 19432 KiB
[startup+0.206307 s]*
/proc/loadavg: 3.78 4.05 4.09 5/255 808184
/proc/meminfo: memFree=127191944/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=39264 memory=19696 CPUtime=0.2 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 4372 0 0 0 20 0 0 0 20 0 1 0 158128452 40206336 4924 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 9816 4924 1140 1005 0 8579 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39264 KiB
Current children cumulated memory: 19696 KiB
[startup+0.305812 s]*
/proc/loadavg: 3.78 4.05 4.09 5/255 808184
/proc/meminfo: memFree=127187752/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=40328 memory=22532 CPUtime=0.3 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 4628 0 0 0 30 0 0 0 20 0 1 0 158128452 41295872 5633 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 10082 5633 1140 1005 0 8845 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40328 KiB
Current children cumulated memory: 22532 KiB
[startup+0.700237 s]
/proc/loadavg: 3.78 4.05 4.09 5/255 808184
/proc/meminfo: memFree=127176600/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=42280 memory=26692 CPUtime=0.69 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 5108 0 0 0 69 0 0 0 20 0 1 0 158128452 43294720 6673 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 10570 6673 1140 1005 0 9333 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42280 KiB
Current children cumulated memory: 26692 KiB
[startup+1.50023 s]
/proc/loadavg: 3.78 4.05 4.09 5/255 808184
/proc/meminfo: memFree=127167428/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=42920 memory=28996 CPUtime=1.48 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 5207 0 0 0 148 0 0 0 20 0 1 0 158128452 43950080 7249 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 10730 7249 1140 1005 0 9493 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 28996 KiB
[startup+3.10592 s]
/proc/loadavg: 3.79 4.05 4.09 5/255 808184
/proc/meminfo: memFree=127127952/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=44968 memory=35444 CPUtime=3.08 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 5782 0 0 0 307 1 0 0 20 0 1 0 158128452 46047232 8861 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 11242 8861 1140 1005 0 10005 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 35444 KiB
[startup+6.30018 s]
/proc/loadavg: 3.79 4.05 4.09 5/255 808186
/proc/meminfo: memFree=127091920/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=46544 memory=41356 CPUtime=6.27 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 6228 0 0 0 625 2 0 0 20 0 1 0 158128452 47661056 10339 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 11636 10339 1140 1005 0 10399 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 41356 KiB
[startup+12.7002 s]
/proc/loadavg: 3.91 4.07 4.09 5/255 808186
/proc/meminfo: memFree=127059400/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=63284 memory=47696 CPUtime=12.65 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 7576 0 0 0 1262 3 0 0 20 0 1 0 158128452 64802816 11924 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 15821 11924 1140 1005 0 14584 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63284 KiB
Current children cumulated memory: 47696 KiB
[startup+25.5002 s]
/proc/loadavg: 3.92 4.06 4.09 5/255 808187
/proc/meminfo: memFree=127026088/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=64656 memory=55204 CPUtime=25.41 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 7928 0 0 0 2536 5 0 0 20 0 1 0 158128452 66207744 13801 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 16164 13801 1140 1005 0 14927 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64656 KiB
Current children cumulated memory: 55204 KiB
[startup+51.1059 s]
/proc/loadavg: 3.95 4.06 4.09 5/254 808192
/proc/meminfo: memFree=127000576/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=68332 memory=62612 CPUtime=50.94 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 8818 0 0 0 5084 10 0 0 20 0 1 0 158128452 69971968 15653 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 17083 15653 1140 1005 0 15846 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 68332 KiB
Current children cumulated memory: 62612 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.09 5/254 808200
/proc/meminfo: memFree=126982844/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=72300 memory=67348 CPUtime=101.98 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 9935 0 0 0 10177 21 0 0 20 0 1 0 158128452 74035200 16837 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 18075 16837 1140 1005 0 16838 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 72300 KiB
Current children cumulated memory: 67348 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.06 4.09 5/257 808215
/proc/meminfo: memFree=126950268/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=79704 memory=74484 CPUtime=161.84 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 11709 0 0 0 16149 35 0 0 20 0 1 0 158128452 81616896 18621 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 19926 18621 1140 1005 0 18689 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 79704 KiB
Current children cumulated memory: 74484 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.06 4.09 5/258 808227
/proc/meminfo: memFree=126928248/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=85388 memory=79924 CPUtime=221.7 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 13115 0 0 0 22120 50 0 0 20 0 1 0 158128452 87437312 19981 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 21347 19981 1140 1005 0 20110 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 85388 KiB
Current children cumulated memory: 79924 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.06 4.09 5/258 808237
/proc/meminfo: memFree=126902148/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=111492 memory=84868 CPUtime=281.56 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 14254 0 0 0 28088 68 0 0 20 0 1 0 158128452 114167808 21217 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 27873 21217 1140 1005 0 26636 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 111492 KiB
Current children cumulated memory: 84868 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.06 4.09 5/258 808247
/proc/meminfo: memFree=126885104/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=113496 memory=86876 CPUtime=341.43 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 14789 0 0 0 34059 84 0 0 20 0 1 0 158128452 116219904 21719 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 28374 21719 1140 1005 0 27137 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 113496 KiB
Current children cumulated memory: 86876 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/258 808259
/proc/meminfo: memFree=126873452/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=115636 memory=89136 CPUtime=401.28 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 15367 0 0 0 40030 98 0 0 20 0 1 0 158128452 118411264 22284 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 28909 22284 1140 1005 0 27672 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 115636 KiB
Current children cumulated memory: 89136 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/258 808269
/proc/meminfo: memFree=126853960/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=118944 memory=92192 CPUtime=461.14 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 16184 0 0 0 45999 115 0 0 20 0 1 0 158128452 121798656 23048 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 29736 23048 1140 1005 0 28499 0
################
# More data... #
################
Current children cumulated memory: 135460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/257 809707
/proc/meminfo: memFree=126569052/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=153420 memory=135532 CPUtime=2914.59 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 26623 0 0 0 290738 721 0 0 20 0 1 0 158128452 157102080 33883 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 38355 33883 1140 1005 0 37118 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 153420 KiB
Current children cumulated memory: 135532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/257 809718
/proc/meminfo: memFree=126568316/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=153708 memory=136080 CPUtime=2974.45 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 26759 0 0 0 296713 732 0 0 20 0 1 0 158128452 157396992 34020 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 38427 34020 1140 1005 0 37190 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 153708 KiB
Current children cumulated memory: 136080 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/259 809899
/proc/meminfo: memFree=126565708/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=154116 memory=136500 CPUtime=3034.32 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 26917 0 0 0 302685 747 0 0 20 0 1 0 158128452 157814784 34125 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 38529 34125 1140 1005 0 37292 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 154116 KiB
Current children cumulated memory: 136500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/259 809909
/proc/meminfo: memFree=126564800/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=154560 memory=136924 CPUtime=3094.18 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27088 0 0 0 308657 761 0 0 20 0 1 0 158128452 158269440 34231 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 38640 34231 1140 1005 0 37403 0
Current children cumulated CPU time: 3094.18 s
Current children cumulated vsize: 154560 KiB
Current children cumulated memory: 136924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/261 809923
/proc/meminfo: memFree=126562356/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=155732 memory=138032 CPUtime=3154.05 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27434 0 0 0 314629 776 0 0 20 0 1 0 158128452 159469568 34508 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 38933 34508 1140 1005 0 37696 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 155732 KiB
Current children cumulated memory: 138032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/259 809945
/proc/meminfo: memFree=126560896/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156288 memory=138580 CPUtime=3213.9 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27637 0 0 0 320602 788 0 0 20 0 1 0 158128452 160038912 34645 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39072 34645 1140 1005 0 37835 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 156288 KiB
Current children cumulated memory: 138580 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 809955
/proc/meminfo: memFree=126557312/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156288 memory=138684 CPUtime=3273.77 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27699 0 0 0 326576 801 0 0 20 0 1 0 158128452 160038912 34671 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39072 34671 1140 1005 0 37835 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 156288 KiB
Current children cumulated memory: 138684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 809965
/proc/meminfo: memFree=126553868/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156464 memory=138700 CPUtime=3333.63 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27788 0 0 0 332549 814 0 0 20 0 1 0 158128452 160219136 34675 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39116 34675 1140 1005 0 37879 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 156464 KiB
Current children cumulated memory: 138700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 809977
/proc/meminfo: memFree=126553484/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156464 memory=138872 CPUtime=3393.49 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27862 0 0 0 338521 828 0 0 20 0 1 0 158128452 160219136 34718 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39116 34718 1140 1005 0 37879 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 156464 KiB
Current children cumulated memory: 138872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/256 809987
/proc/meminfo: memFree=126550460/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156464 memory=138908 CPUtime=3453.36 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27923 0 0 0 344492 844 0 0 20 0 1 0 158128452 160219136 34727 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39116 34727 1140 1005 0 37879 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 156464 KiB
Current children cumulated memory: 138908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 809997
/proc/meminfo: memFree=126549828/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156464 memory=138924 CPUtime=3513.23 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 27992 0 0 0 350464 859 0 0 20 0 1 0 158128452 160219136 34731 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39116 34731 1140 1005 0 37879 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 156464 KiB
Current children cumulated memory: 138924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/254 810007
/proc/meminfo: memFree=126548016/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156464 memory=138956 CPUtime=3573.09 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 28057 0 0 0 356433 876 0 0 20 0 1 0 158128452 160219136 34739 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39116 34739 1140 1005 0 37879 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 156464 KiB
Current children cumulated memory: 138956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.07 4.08 4.09 4/248 810046
/proc/meminfo: memFree=126732496/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156604 memory=138956 CPUtime=3600.03 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 28066 0 0 0 359121 882 0 0 20 0 1 0 158128452 160362496 34739 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39151 34739 1140 1005 0 37914 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 156604 KiB
Current children cumulated memory: 138956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 808164 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.22 s, system=8.82617 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.07 4.08 4.09 4/248 810046
/proc/meminfo: memFree=126732496/131524600 swapFree=131071996/131071996
[pid=808164] ppid=808159 vsize=156604 memory=138956 CPUtime=3600.03 cores=1,3
/proc/808164/stat : 808164 (Exact) R 808159 808164 808111 0 -1 4194304 28066 0 0 0 359121 882 0 0 20 0 1 0 158128452 160362496 34739 134679101440 4194304 8309489 140732665199328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27574272 140732665205694 140732665205864 140732665205864 140732665212879 0
/proc/808164/statm: 39151 34739 1140 1005 0 37914 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 156604 KiB
Current children cumulated memory: 138956 KiB
Child status: 10
Real time (s): 3609.3
CPU time (s): 3600.04
CPU user time (s): 3591.22
CPU system time (s): 8.82617
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 156604
Max. memory (cumulated for all children) (KiB): 138956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.22
system time used= 8.82617
maximum resident set size= 138956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28069
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= 41
involuntary context switches= 2030
# summary of solver processes directly reported to runsolver:
# pid: 808164
# total CPU time (s): 3600.04
# total CPU user time (s): 3591.22
# total CPU system time (s): 8.82617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53318 second user time and 19.9285 second system time
The end
Begin job on nodeC024 at 2024-07-15 18:07:29 IDJOB=4433099 IDBENCH=146688 IDSOLVER=3060 FILE ID=nodeC024/4433099-1721059635 RUNJOBID= nodeC024-1721059648-808123 SLURM_JOB_ID= 7505503 Free space on /tmp= 890084 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-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-4433099-1721059635/watcher-4433099-1721059635 -o /tmp/evaluation-result-4433099-1721059635/solver-4433099-1721059635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808123 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1188355995 HOME/instance-4433099-1721059635.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039 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: 127312684 kB MemAvailable: 129712864 kB Buffers: 366900 kB Cached: 2846676 kB SwapCached: 0 kB Active: 580020 kB Inactive: 2991588 kB Active(anon): 1468 kB Inactive(anon): 394276 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: 358284 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= 890056 MiB End job on nodeC024 at 2024-07-15 19:07:38