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) | 23916 | 3600.02 | 3610.8 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3441.35 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.09 o 30277 0.00/0.10 o 29873 0.10/0.10 o 29482 0.10/0.11 o 29269 0.10/0.11 o 28319 0.10/0.11 o 28075 0.10/0.20 o 27495 0.10/0.21 o 27075 0.20/0.24 o 26940 0.30/0.36 o 26758 0.89/0.91 o 26734 0.99/1.04 o 26602 0.99/1.05 o 26574 0.99/1.07 o 26118 0.99/1.09 o 25907 1.09/1.12 o 25885 1.09/1.12 o 25771 1.09/1.12 o 25455 1.78/1.84 o 25437 5.57/5.61 o 25259 6.87/6.92 o 25213 12.75/12.88 o 25132 14.95/15.06 o 25085 23.52/23.66 o 24828 26.51/26.67 o 24793 32.39/32.59 o 24720 40.67/40.87 o 24664 460.26/461.79 o 24619 499.83/501.47 o 24534 499.83/501.47 o 24396 501.63/503.27 o 24342 514.20/515.83 o 24016 514.20/515.89 o 23978 534.44/536.19 o 23916 3600.00/3610.80 c Program interrupted by user. 3600.00/3610.80 s SATISFIABLE 3600.00/3610.80 v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -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 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540
OK 23916
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62205 MiB free)
memory of node 1: 64473 MiB (63234 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433021-1721072654/watcher-4433021-1721072654 -o /tmp/evaluation-result-4433021-1721072654/solver-4433021-1721072654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721072667-858464 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1714785014 HOME/instance-4433021-1721072654.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=858519, runsolver pid=858507
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 3.77 4.02 4.07 6/257 858525
/proc/meminfo: memFree=128425716/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=31756 memory=11776 CPUtime=0.1 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 1854 0 0 0 10 0 0 0 20 0 1 0 159433513 32518144 2944 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 7939 2944 1060 1005 0 6702 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31756 KiB
Current children cumulated memory: 11776 KiB
[startup+0.206318 s]*
/proc/loadavg: 3.77 4.02 4.07 6/256 858539
/proc/meminfo: memFree=128411400/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=31888 memory=12340 CPUtime=0.2 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 1902 0 0 0 20 0 0 0 20 0 1 0 159433513 32653312 3085 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 7972 3085 1140 1005 0 6735 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31888 KiB
Current children cumulated memory: 12340 KiB
[startup+0.304891 s]*
/proc/loadavg: 3.77 4.02 4.07 6/255 858551
/proc/meminfo: memFree=128381628/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=32020 memory=12340 CPUtime=0.3 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 1927 0 0 0 30 0 0 0 20 0 1 0 159433513 32788480 3085 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 8005 3085 1140 1005 0 6768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32020 KiB
Current children cumulated memory: 12340 KiB
[startup+0.700149 s]
/proc/loadavg: 3.77 4.02 4.07 6/259 858571
/proc/meminfo: memFree=128362024/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=33584 memory=15968 CPUtime=0.69 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 2306 0 0 0 69 0 0 0 20 0 1 0 159433513 34390016 3992 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 8396 3992 1140 1005 0 7159 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 15968 KiB
[startup+1.50017 s]
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128318284/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=33732 memory=15968 CPUtime=1.48 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 2340 0 0 0 148 0 0 0 20 0 1 0 159433513 34541568 3992 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 8433 3992 1140 1005 0 7196 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33732 KiB
Current children cumulated memory: 15968 KiB
[startup+3.10633 s]
/proc/loadavg: 3.77 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128291064/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=34400 memory=18792 CPUtime=3.08 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 2503 0 0 0 308 0 0 0 20 0 1 0 159433513 35225600 4698 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 8600 4698 1140 1005 0 7363 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34400 KiB
Current children cumulated memory: 18792 KiB
[startup+6.30015 s]
/proc/loadavg: 3.78 4.02 4.07 5/259 858571
/proc/meminfo: memFree=128269780/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=35480 memory=21876 CPUtime=6.27 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 2779 0 0 0 625 2 0 0 20 0 1 0 159433513 36331520 5469 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 8870 5469 1140 1005 0 7633 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35480 KiB
Current children cumulated memory: 21876 KiB
[startup+12.7002 s]
/proc/loadavg: 3.88 4.04 4.07 5/259 858572
/proc/meminfo: memFree=128248964/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=36144 memory=22636 CPUtime=12.65 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 2955 0 0 0 1262 3 0 0 20 0 1 0 159433513 37011456 5659 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 9036 5659 1140 1005 0 7799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 36144 KiB
Current children cumulated memory: 22636 KiB
[startup+25.5002 s]
/proc/loadavg: 3.91 4.03 4.07 5/259 858574
/proc/meminfo: memFree=128216776/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=37336 memory=23668 CPUtime=25.41 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 3248 0 0 0 2534 7 0 0 20 0 1 0 159433513 38232064 5917 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 9334 5917 1140 1005 0 8097 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 37336 KiB
Current children cumulated memory: 23668 KiB
[startup+51.1064 s]
/proc/loadavg: 4.00 4.05 4.07 5/259 858579
/proc/meminfo: memFree=128188084/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=38340 memory=26724 CPUtime=50.94 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 3518 0 0 0 5082 12 0 0 20 0 1 0 159433513 39260160 6681 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 9585 6681 1140 1005 0 8348 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 38340 KiB
Current children cumulated memory: 26724 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.07 4.08 5/257 858588
/proc/meminfo: memFree=128161828/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=39200 memory=27828 CPUtime=101.98 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 3791 0 0 0 10174 24 0 0 20 0 1 0 159433513 40140800 6957 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 9800 6957 1140 1005 0 8563 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 39200 KiB
Current children cumulated memory: 27828 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.09 4.09 5/256 858599
/proc/meminfo: memFree=128145760/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=40272 memory=28764 CPUtime=161.79 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 4047 0 0 0 16139 40 0 0 20 0 1 0 159433513 41238528 7191 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 10068 7191 1140 1005 0 8831 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 28764 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 858612
/proc/meminfo: memFree=128137512/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=40772 memory=31340 CPUtime=221.61 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 4183 0 0 0 22104 57 0 0 20 0 1 0 159433513 41750528 7835 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 10193 7835 1140 1005 0 8956 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 40772 KiB
Current children cumulated memory: 31340 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 858622
/proc/meminfo: memFree=128129180/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=41212 memory=31784 CPUtime=281.42 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 4328 0 0 0 28069 73 0 0 20 0 1 0 159433513 42201088 7946 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 10303 7946 1140 1005 0 9066 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 31784 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 858632
/proc/meminfo: memFree=128121044/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=41668 memory=32272 CPUtime=341.23 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 4435 0 0 0 34035 88 0 0 20 0 1 0 159433513 42668032 8068 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 10417 8068 1140 1005 0 9180 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 41668 KiB
Current children cumulated memory: 32272 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 858647
/proc/meminfo: memFree=128109612/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=42396 memory=33016 CPUtime=401.05 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 4621 0 0 0 39998 107 0 0 20 0 1 0 159433513 43413504 8254 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 10599 8254 1140 1005 0 9362 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 42396 KiB
Current children cumulated memory: 33016 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 858658
/proc/meminfo: memFree=128098288/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=42568 memory=33240 CPUtime=460.86 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 4674 0 0 0 45964 122 0 0 20 0 1 0 159433513 43589632 8310 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 10642 8310 1140 1005 0 9405 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 42956 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/256 860283
/proc/meminfo: memFree=127932156/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=52492 memory=43072 CPUtime=2853.83 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7665 0 0 0 284595 788 0 0 20 0 1 0 159433513 53751808 10768 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13123 10768 1140 1005 0 11886 0
Current children cumulated CPU time: 2853.83 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 43072 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.11 5/256 860293
/proc/meminfo: memFree=127930044/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=52492 memory=43072 CPUtime=2913.65 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7685 0 0 0 290560 805 0 0 20 0 1 0 159433513 53751808 10768 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13123 10768 1140 1005 0 11886 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 43072 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/256 860305
/proc/meminfo: memFree=127928364/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=52492 memory=43072 CPUtime=2973.46 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7701 0 0 0 296524 822 0 0 20 0 1 0 159433513 53751808 10768 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13123 10768 1140 1005 0 11886 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 43072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/256 860315
/proc/meminfo: memFree=127927256/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=52628 memory=43168 CPUtime=3033.27 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7728 0 0 0 302486 841 0 0 20 0 1 0 159433513 53891072 10792 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13157 10792 1140 1005 0 11920 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 43168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/255 860325
/proc/meminfo: memFree=127925704/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53092 memory=43628 CPUtime=3093.09 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7881 0 0 0 308451 858 0 0 20 0 1 0 159433513 54366208 10907 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13273 10907 1140 1005 0 12036 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 53092 KiB
Current children cumulated memory: 43628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/255 860336
/proc/meminfo: memFree=127922840/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53280 memory=43764 CPUtime=3152.9 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7925 0 0 0 314418 872 0 0 20 0 1 0 159433513 54558720 10941 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13320 10941 1140 1005 0 12083 0
Current children cumulated CPU time: 3152.9 s
Current children cumulated vsize: 53280 KiB
Current children cumulated memory: 43764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/255 860347
/proc/meminfo: memFree=127921208/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53412 memory=44120 CPUtime=3212.72 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7968 0 0 0 320383 889 0 0 20 0 1 0 159433513 54693888 11030 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13353 11030 1140 1005 0 12116 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 53412 KiB
Current children cumulated memory: 44120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/255 860358
/proc/meminfo: memFree=127917400/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53412 memory=44120 CPUtime=3272.52 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 7987 0 0 0 326349 903 0 0 20 0 1 0 159433513 54693888 11030 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13353 11030 1140 1005 0 12116 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 53412 KiB
Current children cumulated memory: 44120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 860368
/proc/meminfo: memFree=127915868/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53412 memory=44120 CPUtime=3332.34 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 8025 0 0 0 332314 920 0 0 20 0 1 0 159433513 54693888 11030 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13353 11030 1140 1005 0 12116 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 53412 KiB
Current children cumulated memory: 44120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 860386
/proc/meminfo: memFree=127915116/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53412 memory=44208 CPUtime=3392.16 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 8042 0 0 0 338279 937 0 0 20 0 1 0 159433513 54693888 11052 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13353 11052 1140 1005 0 12116 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 53412 KiB
Current children cumulated memory: 44208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 860397
/proc/meminfo: memFree=127913188/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53548 memory=44208 CPUtime=3451.97 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 8071 0 0 0 344243 954 0 0 20 0 1 0 159433513 54833152 11052 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13387 11052 1140 1005 0 12150 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 53548 KiB
Current children cumulated memory: 44208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 860407
/proc/meminfo: memFree=127909164/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53680 memory=44360 CPUtime=3511.78 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 8142 0 0 0 350207 971 0 0 20 0 1 0 159433513 54968320 11090 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13420 11090 1140 1005 0 12183 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 53680 KiB
Current children cumulated memory: 44360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 860419
/proc/meminfo: memFree=127907572/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53824 memory=44556 CPUtime=3571.6 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 8189 0 0 0 356173 987 0 0 20 0 1 0 159433513 55115776 11139 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13456 11139 1140 1005 0 12219 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 44556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 860517
/proc/meminfo: memFree=128094976/131524600 swapFree=131071996/131071996
[pid=858519] ppid=858507 vsize=53824 memory=44556 CPUtime=3600 cores=5,7
/proc/858519/stat : 858519 (Exact) R 858507 858519 858451 0 -1 4194304 8197 0 0 0 359005 995 0 0 20 0 1 0 159433513 55115776 11139 134679101440 4194304 8309489 140721111040208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24477696 140721111049150 140721111049320 140721111049320 140721111056335 0
/proc/858519/statm: 13456 11139 1140 1005 0 12219 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 44556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 858519 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3590.06 s, system=9.95688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.8
CPU time (s): 3600.02
CPU user time (s): 3590.06
CPU system time (s): 9.95688
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 53824
Max. memory (cumulated for all children) (KiB): 44556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.06
system time used= 9.95688
maximum resident set size= 44556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 1857
# summary of solver processes directly reported to runsolver:
# pid: 858519
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.06
# total CPU system time (s): 9.95688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60767 second user time and 18.9979 second system time
The end
Begin job on nodeC030 at 2024-07-15 21:44:27 IDJOB=4433021 IDBENCH=147022 IDSOLVER=3060 FILE ID=nodeC030/4433021-1721072654 RUNJOBID= nodeC030-1721072667-858464 SLURM_JOB_ID= 7505540 Free space on /tmp= 890076 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.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-4433021-1721072654/watcher-4433021-1721072654 -o /tmp/evaluation-result-4433021-1721072654/solver-4433021-1721072654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721072667-858464 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1714785014 HOME/instance-4433021-1721072654.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=1714785014 nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3743.135 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.28 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 : 3693.717 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 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 : 3558.582 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.28 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 : 3585.955 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 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 : 3640.058 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.28 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 : 3593.305 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 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 : 3687.121 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.28 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 : 3588.904 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128451556 kB MemAvailable: 129708600 kB Buffers: 370692 kB Cached: 1713456 kB SwapCached: 0 kB Active: 832332 kB Inactive: 1627116 kB Active(anon): 1440 kB Inactive(anon): 411672 kB Active(file): 830892 kB Inactive(file): 1215444 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 26800 kB Writeback: 0 kB AnonPages: 375052 kB Mapped: 103636 kB Shmem: 37720 kB KReclaimable: 101060 kB Slab: 207152 kB SReclaimable: 101060 kB SUnreclaim: 106092 kB KernelStack: 3936 kB PageTables: 9880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 702660 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62240 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 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: 234196 kB DirectMap2M: 18413568 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890052 MiB End job on nodeC030 at 2024-07-15 22:44:38