Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | -27 | 3600.04 | 3671.81 |
| 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.10/0.11 o -2 0.10/0.11 o -3 0.10/0.11 o -4 0.10/0.11 o -5 0.10/0.11 o -6 0.10/0.12 o -7 0.10/0.12 o -8 0.10/0.13 o -9 0.10/0.22 o -10 0.31/0.38 o -11 0.31/0.39 o -12 0.41/0.45 o -13 0.41/0.48 o -14 1.58/1.61 o -15 2.47/2.53 o -16 3.57/3.65 o -17 4.46/4.57 o -18 6.17/6.37 o -19 8.56/8.74 o -20 15.44/15.68 o -21 32.19/32.49 o -22 48.47/48.81 o -23 91.03/92.34 o -24 126.25/127.76 o -25 803.22/812.76 o -26 2239.56/2269.96 o -27 3600.02/3671.60 c Program interrupted by user. 3600.02/3671.60 s SATISFIABLE 3600.02/3671.60 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: 64096 MiB (61126 MiB free)
memory of node 1: 64473 MiB (61403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440755-1721752156/watcher-4440755-1721752156 -o /tmp/evaluation-result-4440755-1721752156/solver-4440755-1721752156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721752156-107287 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440755-1721752156 --seed=63401044 HOME/instance-4440755-1721752156.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=107326, runsolver pid=107322
[startup+0.100614 s]*
/proc/loadavg: 2.21 2.20 2.18 5/250 107348
/proc/meminfo: memFree=125439292/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=29364 memory=8040 CPUtime=0.1 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 2346 0 0 0 9 1 0 0 20 0 1 0 11204513 30068736 2010 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 7341 2010 754 747 0 6404 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 8040 KiB
[startup+0.21453 s]*
/proc/loadavg: 2.21 2.20 2.18 5/250 107348
/proc/meminfo: memFree=125414832/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=29364 memory=11176 CPUtime=0.21 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 2584 0 0 0 20 1 0 0 20 0 1 0 11204513 30068736 2794 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 7341 2794 834 747 0 6404 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 11176 KiB
[startup+0.312867 s]*
/proc/loadavg: 2.21 2.20 2.18 5/250 107348
/proc/meminfo: memFree=125408152/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=29364 memory=11176 CPUtime=0.31 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 2584 0 0 0 30 1 0 0 20 0 1 0 11204513 30068736 2794 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 7341 2794 834 747 0 6404 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 11176 KiB
[startup+0.700278 s]
/proc/loadavg: 2.21 2.20 2.18 5/250 107348
/proc/meminfo: memFree=125416504/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=29364 memory=11176 CPUtime=0.68 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 2584 0 0 0 67 1 0 0 20 0 1 0 11204513 30068736 2794 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 7341 2794 834 747 0 6404 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 11176 KiB
[startup+1.50027 s]
/proc/loadavg: 2.21 2.20 2.18 5/250 107348
/proc/meminfo: memFree=125409520/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=30496 memory=14536 CPUtime=1.48 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 2870 0 0 0 147 1 0 0 20 0 1 0 11204513 31227904 3634 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 7624 3634 834 747 0 6687 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30496 KiB
Current children cumulated memory: 14536 KiB
[startup+3.11328 s]
/proc/loadavg: 2.35 2.23 2.19 5/250 107348
/proc/meminfo: memFree=125356584/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=32632 memory=22240 CPUtime=3.08 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 3319 0 0 0 307 1 0 0 20 0 1 0 11204513 33415168 5560 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 8158 5560 834 747 0 7221 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32632 KiB
Current children cumulated memory: 22240 KiB
[startup+6.3003 s]
/proc/loadavg: 2.35 2.23 2.19 5/250 107348
/proc/meminfo: memFree=125304120/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=35064 memory=28952 CPUtime=6.17 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 3933 0 0 0 615 2 0 0 20 0 1 0 11204513 35905536 7238 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 8766 7238 834 747 0 7829 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 35064 KiB
Current children cumulated memory: 28952 KiB
[startup+12.7003 s]
/proc/loadavg: 2.49 2.26 2.20 5/250 107350
/proc/meminfo: memFree=125236456/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=49284 memory=38072 CPUtime=12.54 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 4878 0 0 0 1251 3 0 0 20 0 1 0 11204513 50466816 9518 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 12321 9518 834 747 0 11384 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 49284 KiB
Current children cumulated memory: 38072 KiB
[startup+25.5003 s]
/proc/loadavg: 2.82 2.35 2.23 5/250 107351
/proc/meminfo: memFree=125151020/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=52176 memory=42920 CPUtime=25.31 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 5503 0 0 0 2527 4 0 0 20 0 1 0 11204513 53428224 10730 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 13044 10730 834 747 0 12107 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 52176 KiB
Current children cumulated memory: 42920 KiB
[startup+51.1133 s]
/proc/loadavg: 3.22 2.48 2.28 5/251 107360
/proc/meminfo: memFree=125030188/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=55256 memory=47724 CPUtime=50.77 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 6285 0 0 0 5070 7 0 0 20 0 1 0 11204513 56582144 11931 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 13814 11931 834 747 0 12877 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 55256 KiB
Current children cumulated memory: 47724 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.73 2.38 5/254 107427
/proc/meminfo: memFree=124792980/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=61272 memory=53320 CPUtime=100.93 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 7680 0 0 0 10079 14 0 0 20 0 1 0 11204513 62742528 13330 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 103 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 15318 13330 834 747 0 14381 0
Current children cumulated CPU time: 100.93 s
Current children cumulated vsize: 61272 KiB
Current children cumulated memory: 53320 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.00 2.49 5/252 107438
/proc/meminfo: memFree=124472652/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=66972 memory=61028 CPUtime=160.64 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 9126 0 0 0 16041 23 0 0 20 0 1 0 11204513 68579328 15257 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 115 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 16743 15257 834 747 0 15806 0
Current children cumulated CPU time: 160.64 s
Current children cumulated vsize: 66972 KiB
Current children cumulated memory: 61028 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.20 2.59 5/252 107449
/proc/meminfo: memFree=124110600/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=72284 memory=66220 CPUtime=220.31 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 10473 0 0 0 21996 35 0 0 20 0 1 0 11204513 74018816 16555 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 130 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 18071 16555 834 747 0 17134 0
Current children cumulated CPU time: 220.31 s
Current children cumulated vsize: 72284 KiB
Current children cumulated memory: 66220 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.38 2.70 5/249 107460
/proc/meminfo: memFree=123724768/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=99220 memory=71656 CPUtime=279.59 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) D 107322 107326 107275 0 -1 4194304 11745 0 0 0 27912 47 0 0 20 0 1 0 11204513 101601280 17914 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 3 0 0 138 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 24805 17914 834 747 0 23868 0
Current children cumulated CPU time: 279.59 s
Current children cumulated vsize: 99220 KiB
Current children cumulated memory: 71656 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.51 2.79 5/249 107470
/proc/meminfo: memFree=123319920/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=102100 memory=74532 CPUtime=338.74 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 12494 0 0 0 33817 57 0 0 20 0 1 0 11204513 104550400 18633 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 232 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 25525 18633 834 747 0 24588 0
Current children cumulated CPU time: 338.74 s
Current children cumulated vsize: 102100 KiB
Current children cumulated memory: 74532 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.62 2.87 5/247 107481
/proc/meminfo: memFree=122887900/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=104468 memory=77060 CPUtime=398.01 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 13133 0 0 0 39735 66 0 0 20 0 1 0 11204513 106975232 19265 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 290 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 26117 19265 834 747 0 25180 0
Current children cumulated CPU time: 398.01 s
Current children cumulated vsize: 104468 KiB
Current children cumulated memory: 77060 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.70 2.95 5/247 107494
/proc/meminfo: memFree=122447480/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=106324 memory=80348 CPUtime=456.68 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 13646 0 0 0 45591 77 0 0 20 0 1 0 11204513 108875776 20087 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 403 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 26581 20087 834 747 0 25644 0
################
# More data... #
################
Current children cumulated memory: 113328 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.16 4.06 5/246 108530
/proc/meminfo: memFree=101245004/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=135256 memory=113572 CPUtime=2925.88 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 22524 0 0 0 292073 515 0 0 20 0 1 0 11204513 138502144 28393 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 4705 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 33814 28393 834 747 0 32877 0
Current children cumulated CPU time: 2925.88 s
Current children cumulated vsize: 135256 KiB
Current children cumulated memory: 113572 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.07 5/245 108541
/proc/meminfo: memFree=100799224/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=135512 memory=113736 CPUtime=2985.62 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 22641 0 0 0 298033 529 0 0 20 0 1 0 11204513 138764288 28434 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 4714 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 33878 28434 834 747 0 32941 0
Current children cumulated CPU time: 2985.62 s
Current children cumulated vsize: 135512 KiB
Current children cumulated memory: 113736 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.13 4.06 5/250 108558
/proc/meminfo: memFree=100188940/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=135896 memory=114120 CPUtime=3045.02 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 22790 0 0 0 303960 542 0 0 20 0 1 0 11204513 139157504 28530 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 4754 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 33974 28530 834 747 0 33037 0
Current children cumulated CPU time: 3045.02 s
Current children cumulated vsize: 135896 KiB
Current children cumulated memory: 114120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.06 5/250 108569
/proc/meminfo: memFree=99614904/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=135896 memory=114248 CPUtime=3104.45 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 22840 0 0 0 309894 551 0 0 20 0 1 0 11204513 139157504 28562 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 4796 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 33974 28562 834 747 0 33037 0
Current children cumulated CPU time: 3104.45 s
Current children cumulated vsize: 135896 KiB
Current children cumulated memory: 114248 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/250 108579
/proc/meminfo: memFree=99089136/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=135896 memory=114248 CPUtime=3163.44 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 22892 0 0 0 315783 561 0 0 20 0 1 0 11204513 139157504 28562 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 3 0 0 4850 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 33974 28562 834 747 0 33037 0
Current children cumulated CPU time: 3163.44 s
Current children cumulated vsize: 135896 KiB
Current children cumulated memory: 114248 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/250 108590
/proc/meminfo: memFree=98569864/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=136152 memory=114376 CPUtime=3222.63 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 22974 0 0 0 321690 573 0 0 20 0 1 0 11204513 139419648 28594 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 4901 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34038 28594 834 747 0 33101 0
Current children cumulated CPU time: 3222.63 s
Current children cumulated vsize: 136152 KiB
Current children cumulated memory: 114376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/249 108601
/proc/meminfo: memFree=98180252/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=136152 memory=114376 CPUtime=3272.03 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23026 0 0 0 326622 581 0 0 20 0 1 0 11204513 139419648 28594 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5946 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34038 28594 834 747 0 33101 0
Current children cumulated CPU time: 3272.03 s
Current children cumulated vsize: 136152 KiB
Current children cumulated memory: 114376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/247 108995
/proc/meminfo: memFree=97686248/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=136408 memory=114632 CPUtime=3331.83 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23145 0 0 0 332592 591 0 0 20 0 1 0 11204513 139681792 28658 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5951 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34102 28658 834 747 0 33165 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 136408 KiB
Current children cumulated memory: 114632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/248 109007
/proc/meminfo: memFree=97162912/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=136664 memory=116936 CPUtime=3391.57 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23262 0 0 0 338556 601 0 0 20 0 1 0 11204513 139943936 29234 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5958 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34166 29234 834 747 0 33229 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 136664 KiB
Current children cumulated memory: 116936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/248 109017
/proc/meminfo: memFree=96689168/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=137432 memory=117704 CPUtime=3451.38 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23507 0 0 0 344529 609 0 0 20 0 1 0 11204513 140730368 29426 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5961 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34358 29426 834 747 0 33421 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 137432 KiB
Current children cumulated memory: 117704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/250 109197
/proc/meminfo: memFree=96206080/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=137432 memory=117704 CPUtime=3511.05 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23553 0 0 0 350486 619 0 0 20 0 1 0 11204513 140730368 29426 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5977 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34358 29426 834 747 0 33421 0
Current children cumulated CPU time: 3511.05 s
Current children cumulated vsize: 137432 KiB
Current children cumulated memory: 117704 KiB
[startup+3642.3 s]
/proc/loadavg: 4.40 4.18 4.10 5/250 109208
/proc/meminfo: memFree=95738456/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=137432 memory=117704 CPUtime=3570.82 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23610 0 0 0 356453 629 0 0 20 0 1 0 11204513 140730368 29426 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5982 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34358 29426 834 747 0 33421 0
Current children cumulated CPU time: 3570.82 s
Current children cumulated vsize: 137432 KiB
Current children cumulated memory: 117704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3671.6 s]
/proc/loadavg: 4.64 4.26 4.13 5/249 109214
/proc/meminfo: memFree=95478240/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=137432 memory=117704 CPUtime=3600.02 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) R 107322 107326 107275 0 -1 4194304 23614 0 0 0 359369 633 0 0 20 0 1 0 11204513 140730368 29426 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 5984 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 34358 29426 834 747 0 33421 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 137432 KiB
Current children cumulated memory: 117704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3671.81 s]
# the end of solver process 107326 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3593.7 s, system=6.34035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3671.8 s]
/proc/loadavg: 4.64 4.26 4.13 5/249 109214
/proc/meminfo: memFree=95478240/131655788 swapFree=131071996/131071996
[pid=107326] ppid=107322 vsize=13156 memory=8672 CPUtime=3600.03 cores=1,3
/proc/107326/stat : 107326 (Exact_veripb2_n) D 107322 107326 107275 0 -1 4194304 23614 0 0 0 359369 634 0 0 20 0 1 0 11204513 13471744 2168 134679101440 4194304 7250417 140725630514048 0 0 0 0 0 8404994 1 0 0 17 3 0 0 6012 0 0 7950792 8015128 31166464 140725630518072 140725630518359 140725630518359 140725630525374 0
/proc/107326/statm: 3289 2168 834 747 0 2352 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 13156 KiB
Current children cumulated memory: 8672 KiB
Child status: 10
Real time (s): 3671.81
CPU time (s): 3600.04
CPU user time (s): 3593.7
CPU system time (s): 6.34035
CPU usage (%): 98.0454
Max. virtual memory (cumulated for all children) (KiB): 137432
Max. memory (cumulated for all children) (KiB): 117704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.7
system time used= 6.34035
maximum resident set size= 117704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13539208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1819
involuntary context switches= 7609
# summary of solver processes directly reported to runsolver:
# pid: 107326
# total CPU time (s): 3600.04
# total CPU user time (s): 3593.7
# total CPU system time (s): 6.34035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.402 second user time and 35.971 second system time
The end
Begin job on nodeC004 at 2024-07-23 18:29:16 IDJOB=4440755 IDBENCH=146689 IDSOLVER=3080 FILE ID=nodeC004/4440755-1721752156 RUNJOBID= nodeC004-1721752156-107287 SLURM_JOB_ID= 7770653 Free space on /tmp= 723780 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 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_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440755-1721752156/watcher-4440755-1721752156 -o /tmp/evaluation-result-4440755-1721752156/solver-4440755-1721752156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721752156-107287 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440755-1721752156 --seed=63401044 HOME/instance-4440755-1721752156.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8 RANDOM SEED=63401044 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3448.856 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.306 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.280 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.282 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125477240 kB MemAvailable: 129931636 kB Buffers: 173192 kB Cached: 5065516 kB SwapCached: 0 kB Active: 1093520 kB Inactive: 4479052 kB Active(anon): 1340 kB Inactive(anon): 370228 kB Active(file): 1092180 kB Inactive(file): 4108824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16180 kB Writeback: 12 kB AnonPages: 332988 kB Mapped: 102512 kB Shmem: 37704 kB KReclaimable: 187184 kB Slab: 289760 kB SReclaimable: 187184 kB SUnreclaim: 102576 kB KernelStack: 3728 kB PageTables: 9940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 567532 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18656 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723760 MiB End job on nodeC004 at 2024-07-23 19:30:28