Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-SP 2024-07-10 | SAT (TO) | 23978 | 3600.09 | 3610.01 |
| 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.07 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.07 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.08 c Starting SCIP solver (with time-limit = 1800s) ... 1795.27/1800.08 c SCIP timeout with lower and upper bounds: [17609, 25036] 1795.37/1800.14 o 25036 2124.76/2130.41 o 23978 3600.07/3610.00 3600.07/3610.00 v 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 -x2 -x38 -x74 x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 -x147 -x183 -x219 -x255 x291 -x327 -x4 -x40 -x76 -x112 x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 x329 -x6 -x42 -x78 -x114 -x150 x186 -x222 -x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 x333 x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 -x13 x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268 -x304 -x340 -x17 -x53 x89 -x125 -x161 -x197 -x233 -x269 -x305 -x341 x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 -x91 -x127 -x163 -x199 -x235 x271 -x307 -x343 -x20 -x56 x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 x311 -x347 -x24 x60 -x96 -x132 -x168 -x204 -x240 -x276 -x312 -x348 x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 x62 -x98 -x134 -x170 -x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 -x138 -x174 -x210 x246 -x282 -x318 -x354 -x31 -x67 x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 -x8 x44 x80 x116 -x152 x188 -x224 -x260 x296 -x332 -x15 -x51 -x87 x123 x159 -x195 -x231 x267 x303 x339 x22 -x58 -x94 -x130 x166 x202 x238 -x274 -x310 x346 -x29 -x65 x101 x137 -x173 -x209 -x245 x281 x317 x353 x36 x72 -x108 -x144 x180 x216 x252 -x288 -x324 -x360 x1 x37 x73 -x109 -x145 -x181 x217 x253 -x289 -x325 3600.07/3610.00 s SATISFIABLE
OK 23978
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 (62491 MiB free)
memory of node 1: 64473 MiB (63301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438663-1721207680/watcher-4438663-1721207680 -o /tmp/evaluation-result-4438663-1721207680/solver-4438663-1721207680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721207693-896652 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438663-1721207680.opb -total-t=3600 -no-par -v0
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=896711, runsolver pid=896697
[startup+0.100379 s]*
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128738304/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=51076 memory=41068 CPUtime=0.1 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 8253 0 0 0 10 0 0 0 20 0 1 0 172934689 52301824 10267 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 12769 10267 2618 2726 0 9517 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51076 KiB
Current children cumulated memory: 41068 KiB
[startup+0.21646 s]*
/proc/loadavg: 1.15 1.13 1.35 5/259 896715
/proc/meminfo: memFree=128633292/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=65268 memory=54900 CPUtime=0.2 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 11860 0 0 0 19 1 0 0 20 0 1 0 172934689 66834432 13725 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 16317 13725 2746 2726 0 13065 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65268 KiB
Current children cumulated memory: 54900 KiB
[startup+0.305981 s]*
/proc/loadavg: 1.15 1.13 1.35 6/259 896715
/proc/meminfo: memFree=128607892/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=65444 memory=55164 CPUtime=0.29 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 11932 0 0 0 28 1 0 0 20 0 1 0 172934689 67014656 13791 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 16361 13791 2746 2726 0 13109 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65444 KiB
Current children cumulated memory: 55164 KiB
[startup+0.700179 s]
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128576856/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=65640 memory=55164 CPUtime=0.68 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 11935 0 0 0 67 1 0 0 20 0 1 0 172934689 67215360 13791 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 16410 13791 2746 2726 0 13158 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65640 KiB
Current children cumulated memory: 55164 KiB
[startup+1.50023 s]
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128474272/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=90500 memory=78540 CPUtime=1.48 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 18564 0 0 0 146 2 0 0 20 0 1 0 172934689 92672000 19635 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 22625 19635 2762 2726 0 19373 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90500 KiB
Current children cumulated memory: 78540 KiB
[startup+3.10622 s]
/proc/loadavg: 1.15 1.13 1.35 7/259 896761
/proc/meminfo: memFree=127791596/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=119368 memory=97020 CPUtime=3.09 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 23174 0 0 0 306 3 0 0 20 0 1 0 172934689 122232832 24255 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 29842 24255 2762 2726 0 26590 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 119368 KiB
Current children cumulated memory: 97020 KiB
[startup+6.30021 s]
/proc/loadavg: 1.38 1.17 1.37 7/259 896761
/proc/meminfo: memFree=127492848/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=136472 memory=113880 CPUtime=6.27 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 27364 0 0 0 624 3 0 0 20 0 1 0 172934689 139747328 28470 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 34118 28470 2762 2726 0 30866 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136472 KiB
Current children cumulated memory: 113880 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 1.22 1.38 7/259 896763
/proc/meminfo: memFree=126946800/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=137980 memory=115728 CPUtime=12.65 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 27824 0 0 0 1262 3 0 0 20 0 1 0 172934689 141291520 28932 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 34495 28932 2762 2726 0 31243 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 137980 KiB
Current children cumulated memory: 115728 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.36 1.43 7/259 896764
/proc/meminfo: memFree=126838340/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=180596 memory=149208 CPUtime=25.42 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 36227 0 0 0 2537 5 0 0 20 0 1 0 172934689 184930304 37302 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 45149 37302 2762 2726 0 41897 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 180596 KiB
Current children cumulated memory: 149208 KiB
[startup+51.1064 s]
/proc/loadavg: 2.84 1.59 1.50 7/259 896769
/proc/meminfo: memFree=126715144/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=247044 memory=209796 CPUtime=50.96 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 51796 0 0 0 5086 10 0 0 20 0 1 0 172934689 252973056 52449 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 61761 52449 2762 2726 0 58509 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 247044 KiB
Current children cumulated memory: 209796 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 1.99 1.64 7/256 896777
/proc/meminfo: memFree=126510656/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=247044 memory=212292 CPUtime=102 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 51993 0 0 0 10187 13 0 0 20 0 1 0 172934689 252973056 53073 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 61761 53073 2762 2726 0 58509 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 247044 KiB
Current children cumulated memory: 212292 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.39 1.81 7/256 896788
/proc/meminfo: memFree=126443544/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=266140 memory=245584 CPUtime=161.83 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 57217 0 0 0 16169 14 0 0 20 0 1 0 172934689 272527360 61396 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 66535 61396 2762 2726 0 63283 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 266140 KiB
Current children cumulated memory: 245584 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.72 1.96 7/256 896798
/proc/meminfo: memFree=126264724/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=271276 memory=262660 CPUtime=221.66 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 58655 0 0 0 22152 14 0 0 20 0 1 0 172934689 277786624 65665 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 67819 65665 2762 2726 0 64567 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 271276 KiB
Current children cumulated memory: 262660 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.97 2.09 7/258 896812
/proc/meminfo: memFree=126138436/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=276480 memory=268712 CPUtime=281.5 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 59502 0 0 0 28136 14 0 0 20 0 1 0 172934689 283115520 67178 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 69120 67178 3047 2726 0 65868 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 276480 KiB
Current children cumulated memory: 268712 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.21 2.23 7/256 896825
/proc/meminfo: memFree=125960756/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=277696 memory=269932 CPUtime=341.34 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 61387 0 0 0 34120 14 0 0 20 0 1 0 172934689 284360704 67483 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 69424 67483 3047 2726 0 66172 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 277696 KiB
Current children cumulated memory: 269932 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.37 2.35 7/256 896836
/proc/meminfo: memFree=125861676/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=288088 memory=278788 CPUtime=401.19 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 63800 0 0 0 40104 15 0 0 20 0 1 0 172934689 295002112 69697 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 72022 69697 3047 2726 0 68770 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 288088 KiB
Current children cumulated memory: 278788 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.46 7/256 896846
/proc/meminfo: memFree=125830768/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=288088 memory=279980 CPUtime=461.03 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 64324 0 0 0 46088 15 0 0 20 0 1 0 172934689 295002112 69995 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 72022 69995 3047 2726 0 68770 0
################
# More data... #
################
Current children cumulated memory: 363792 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.01 6/258 898505
/proc/meminfo: memFree=123082480/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=2854.59 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101296 0 0 0 285438 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 2854.59 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+2922.3 s]
/proc/loadavg: 4.32 4.18 4.05 6/258 898516
/proc/meminfo: memFree=123018436/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=2914.41 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101324 0 0 0 291420 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+2982.3 s]
/proc/loadavg: 4.28 4.19 4.06 6/256 898527
/proc/meminfo: memFree=122980776/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=2974.23 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101352 0 0 0 297402 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.06 6/256 898537
/proc/meminfo: memFree=122948700/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3034.04 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101381 0 0 0 303383 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.17 4.07 6/255 898548
/proc/meminfo: memFree=122886644/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3093.87 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101455 0 0 0 309366 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.07 6/255 898559
/proc/meminfo: memFree=122821956/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3153.7 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101496 0 0 0 315349 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.07 6/255 898569
/proc/meminfo: memFree=122710056/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3213.52 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101526 0 0 0 321331 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.08 6/255 898579
/proc/meminfo: memFree=122695268/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3273.34 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101568 0 0 0 327313 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.08 6/257 898593
/proc/meminfo: memFree=122694988/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3333.16 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101594 0 0 0 333295 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.08 6/256 898604
/proc/meminfo: memFree=122686456/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3392.98 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101636 0 0 0 339277 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.08 6/256 898614
/proc/meminfo: memFree=122693020/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3452.81 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101680 0 0 0 345260 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.08 6/257 898626
/proc/meminfo: memFree=122682396/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3512.63 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101709 0 0 0 351242 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/257 898637
/proc/meminfo: memFree=122648788/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3572.45 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101748 0 0 0 357224 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.16 4.13 4.09 6/257 898642
/proc/meminfo: memFree=122697048/131524600 swapFree=131071996/131071996
[pid=896711] ppid=896697 vsize=370788 memory=363792 CPUtime=3600.07 cores=1,3
/proc/896711/stat : 896711 (CASHWMaxSAT-Dis) R 896697 896711 896640 0 -1 4194304 101759 0 0 0 359986 21 0 0 20 0 1 0 172934689 379686912 90948 134679101440 4194304 15356333 140720597036272 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 25714688 140720597038050 140720597038166 140720597038166 140720597045182 0
/proc/896711/statm: 92697 90948 3111 2726 0 89445 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 370788 KiB
Current children cumulated memory: 363792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 896711 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.87 s, system=0.221353 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.01
CPU time (s): 3600.09
CPU user time (s): 3599.87
CPU system time (s): 0.221353
CPU usage (%): 99.7252
Max. virtual memory (cumulated for all children) (KiB): 418972
Max. memory (cumulated for all children) (KiB): 405252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.221353
maximum resident set size= 405780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101759
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= 3291
# summary of solver processes directly reported to runsolver:
# pid: 896711
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.87
# total CPU system time (s): 0.221353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42166 second user time and 19.4938 second system time
The end
Begin job on nodeC027 at 2024-07-17 11:14:53 IDJOB=4438663 IDBENCH=147022 IDSOLVER=3074 FILE ID=nodeC027/4438663-1721207680 RUNJOBID= nodeC027-1721207693-896652 SLURM_JOB_ID= 7508921 Free space on /tmp= 890084 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438663-1721207680/watcher-4438663-1721207680 -o /tmp/evaluation-result-4438663-1721207680/solver-4438663-1721207680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721207693-896652 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438663-1721207680.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=804191980 nodeC027.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 : 3781.697 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 : 7000.36 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 : 3903.766 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 : 7006.29 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 : 3609.706 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 : 7000.36 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 : 3751.524 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 : 7006.29 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 : 3616.739 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 : 7000.36 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 : 3620.877 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 : 7006.29 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 : 3768.005 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 : 7000.36 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 : 3791.081 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 : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128812844 kB MemAvailable: 129755152 kB Buffers: 438748 kB Cached: 1339408 kB SwapCached: 0 kB Active: 781480 kB Inactive: 1333380 kB Active(anon): 1452 kB Inactive(anon): 372988 kB Active(file): 780028 kB Inactive(file): 960392 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 60956 kB Writeback: 8 kB AnonPages: 334796 kB Mapped: 104720 kB Shmem: 37720 kB KReclaimable: 83420 kB Slab: 188788 kB SReclaimable: 83420 kB SUnreclaim: 105368 kB KernelStack: 3888 kB PageTables: 9532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 725040 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64128 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 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: 193236 kB DirectMap2M: 15308800 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 890000 MiB End job on nodeC027 at 2024-07-17 12:15:03