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) | 220 | 3600.1 | 3609.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| 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 | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 473 |
| Total number of constraints | 472 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| 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.09/0.13 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.09/0.13 o 473 0.09/0.13 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.17 c Starting SCIP solver (with time-limit = 1800s) ... 1795.82/1800.27 c SCIP timeout with lower and upper bounds: [137, 220] 1796.02/1800.42 o 220 3600.09/3609.10 3600.09/3609.10 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 3600.09/3609.10 s SATISFIABLE
OK 220
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59887 MiB free)
memory of node 1: 64510 MiB (60117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438678-1721214203/watcher-4438678-1721214203 -o /tmp/evaluation-result-4438678-1721214203/solver-4438678-1721214203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914129 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438678-1721214203.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=920639, runsolver pid=920636
[startup+0.100285 s]*
/proc/loadavg: 4.08 4.09 4.09 5/258 920640
/proc/meminfo: memFree=122880996/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=23248 memory=9024 CPUtime=0.09 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 1497 0 0 0 9 0 0 0 20 0 1 0 173589998 23805952 2256 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 5812 2256 1066 2726 0 2560 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23248 KiB
Current children cumulated memory: 9024 KiB
[startup+0.205452 s]*
/proc/loadavg: 4.08 4.09 4.09 5/258 920642
/proc/meminfo: memFree=122817968/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=90032 memory=79548 CPUtime=0.19 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 18268 0 0 0 18 1 0 0 20 0 1 0 173589998 92192768 19887 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 22508 19887 2538 2726 0 19256 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90032 KiB
Current children cumulated memory: 79548 KiB
[startup+0.30562 s]*
/proc/loadavg: 4.08 4.09 4.09 5/258 920642
/proc/meminfo: memFree=122797332/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=110728 memory=98388 CPUtime=0.3 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 22864 0 0 0 28 2 0 0 20 0 1 0 173589998 113385472 24597 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 27682 24597 2634 2726 0 24430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110728 KiB
Current children cumulated memory: 98388 KiB
[startup+0.700245 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 920642
/proc/meminfo: memFree=122771656/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=138604 memory=125868 CPUtime=0.68 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 29771 0 0 0 66 2 0 0 20 0 1 0 173589998 141930496 31467 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 34651 31467 2666 2726 0 31399 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 138604 KiB
Current children cumulated memory: 125868 KiB
[startup+1.50025 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 920642
/proc/meminfo: memFree=122768940/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=139484 memory=126924 CPUtime=1.48 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 29994 0 0 0 146 2 0 0 20 0 1 0 173589998 142831616 31731 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 34871 31731 2666 2726 0 31619 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139484 KiB
Current children cumulated memory: 126924 KiB
[startup+3.10551 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 920642
/proc/meminfo: memFree=122664040/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=254824 memory=231732 CPUtime=3.08 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 52536 0 0 0 302 6 0 0 20 0 1 0 173589998 260939776 57933 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 63706 57933 2762 2726 0 60454 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 254824 KiB
Current children cumulated memory: 231732 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 920642
/proc/meminfo: memFree=122660936/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=256748 memory=234168 CPUtime=6.27 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 53102 0 0 0 620 7 0 0 20 0 1 0 173589998 262909952 58542 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 64187 58542 2778 2726 0 60935 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 256748 KiB
Current children cumulated memory: 234168 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 920643
/proc/meminfo: memFree=122659920/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=257084 memory=234696 CPUtime=12.65 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 53242 0 0 0 1258 7 0 0 20 0 1 0 173589998 263254016 58674 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 64271 58674 2778 2726 0 61019 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 234696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 920645
/proc/meminfo: memFree=122617632/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=310492 memory=277940 CPUtime=25.42 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 62954 0 0 0 2532 10 0 0 20 0 1 0 173589998 317943808 69485 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 77623 69485 2778 2726 0 74371 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 310492 KiB
Current children cumulated memory: 277940 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 920650
/proc/meminfo: memFree=122496424/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=434988 memory=370180 CPUtime=50.96 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 86073 0 0 0 5081 15 0 0 20 0 1 0 173589998 445427712 92545 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 108747 92545 2778 2726 0 105495 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 434988 KiB
Current children cumulated memory: 370180 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 920659
/proc/meminfo: memFree=122391788/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=563396 memory=473220 CPUtime=102.03 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 111374 0 0 0 10184 19 0 0 20 0 1 0 173589998 576917504 118305 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 140849 118305 2778 2726 0 137597 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 563396 KiB
Current children cumulated memory: 473220 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 920669
/proc/meminfo: memFree=122385756/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=567392 memory=477160 CPUtime=161.89 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 112394 0 0 0 16169 20 0 0 20 0 1 0 173589998 581009408 119290 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 141848 119290 2778 2726 0 138596 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 567392 KiB
Current children cumulated memory: 477160 KiB
[startup+222.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/255 920679
/proc/meminfo: memFree=122380576/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=567392 memory=477160 CPUtime=221.74 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 112394 0 0 0 22154 20 0 0 20 0 1 0 173589998 581009408 119290 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 141848 119290 2778 2726 0 138596 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 567392 KiB
Current children cumulated memory: 477160 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/255 920690
/proc/meminfo: memFree=122325076/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=567392 memory=477160 CPUtime=281.6 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 112394 0 0 0 28139 21 0 0 20 0 1 0 173589998 581009408 119290 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 141848 119290 2778 2726 0 138596 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 567392 KiB
Current children cumulated memory: 477160 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/254 920700
/proc/meminfo: memFree=122293212/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=567392 memory=477160 CPUtime=341.45 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 112394 0 0 0 34124 21 0 0 20 0 1 0 173589998 581009408 119290 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 141848 119290 2778 2726 0 138596 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 567392 KiB
Current children cumulated memory: 477160 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/254 920710
/proc/meminfo: memFree=122264900/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=575644 memory=484288 CPUtime=401.31 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 114153 0 0 0 40109 22 0 0 20 0 1 0 173589998 589459456 121072 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 143911 121072 2778 2726 0 140659 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 575644 KiB
Current children cumulated memory: 484288 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/256 920725
/proc/meminfo: memFree=122262308/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=576700 memory=484816 CPUtime=461.17 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 114313 0 0 0 46094 23 0 0 20 0 1 0 173589998 590540800 121204 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 144175 121204 2778 2726 0 140923 0
################
# More data... #
################
Current children cumulated memory: 604124 KiB
[startup+2922.3 s]
/proc/loadavg: 2.88 3.43 3.80 3/243 921844
/proc/meminfo: memFree=123093728/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=2914.85 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 144654 0 0 0 291453 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 2914.85 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+2982.3 s]
/proc/loadavg: 2.12 3.12 3.67 2/236 921885
/proc/meminfo: memFree=123384132/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=2974.7 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 144739 0 0 0 297438 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 2974.7 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3042.3 s]
/proc/loadavg: 1.47 2.75 3.51 2/236 921897
/proc/meminfo: memFree=123383712/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3034.57 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 144827 0 0 0 303425 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3102.3 s]
/proc/loadavg: 1.22 2.44 3.35 2/236 921907
/proc/meminfo: memFree=123383284/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3094.43 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 144916 0 0 0 309411 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3162.3 s]
/proc/loadavg: 1.12 2.19 3.21 2/237 922303
/proc/meminfo: memFree=123480436/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3154.3 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145006 0 0 0 315398 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.99 3.07 2/236 922313
/proc/meminfo: memFree=123480504/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3214.16 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145087 0 0 0 321384 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.82 2.94 2/235 922325
/proc/meminfo: memFree=123479996/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3274.03 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145179 0 0 0 327371 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.70 2.83 2/237 922505
/proc/meminfo: memFree=123479236/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3333.89 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145264 0 0 0 333357 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.59 2.72 2/237 922515
/proc/meminfo: memFree=123479164/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3393.75 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145354 0 0 0 339343 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.51 2.62 2/239 922542
/proc/meminfo: memFree=123478452/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3453.62 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145442 0 0 0 345330 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.43 2.52 2/237 922553
/proc/meminfo: memFree=123478268/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3513.48 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145520 0 0 0 351316 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.38 2.43 2/237 922564
/proc/meminfo: memFree=123477936/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3573.35 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145622 0 0 0 357303 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.1 s]
/proc/loadavg: 1.07 1.34 2.38 2/237 922567
/proc/meminfo: memFree=123477956/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3600.09 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145646 0 0 0 359977 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 920639 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.78 s, system=0.322144 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.1 s]
/proc/loadavg: 1.07 1.34 2.38 2/237 922567
/proc/meminfo: memFree=123477956/131524600 swapFree=131071996/131071996
[pid=920639] ppid=920636 vsize=628912 memory=604124 CPUtime=3600.09 cores=1,3
/proc/920639/stat : 920639 (CASHWMaxSAT-Dis) R 920636 920639 914117 0 -1 4194304 145646 0 0 0 359977 32 0 0 20 0 1 0 173589998 644005888 151031 134679101440 4194304 15356333 140736113992896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140736114000866 140736114000982 140736114000982 140736114007998 0
/proc/920639/statm: 157228 151031 2826 2726 0 153976 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 628912 KiB
Current children cumulated memory: 604124 KiB
Child status: 10
Real time (s): 3609.11
CPU time (s): 3600.1
CPU user time (s): 3599.78
CPU system time (s): 0.322144
CPU usage (%): 99.7504
Max. virtual memory (cumulated for all children) (KiB): 690640
Max. memory (cumulated for all children) (KiB): 639360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.322144
maximum resident set size= 639576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145646
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= 37
involuntary context switches= 1216
# summary of solver processes directly reported to runsolver:
# pid: 920639
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.78
# total CPU system time (s): 0.322144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29924 second user time and 16.9311 second system time
The end
Begin job on nodeC033 at 2024-07-17 13:03:35 IDJOB=4438678 IDBENCH=147539 IDSOLVER=3074 FILE ID=nodeC033/4438678-1721214203 RUNJOBID= nodeC033-1721206158-914129 SLURM_JOB_ID= 7508907 Free space on /tmp= 890040 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.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-4438678-1721214203/watcher-4438678-1721214203 -o /tmp/evaluation-result-4438678-1721214203/solver-4438678-1721214203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914129 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438678-1721214203.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=400192389 nodeC033.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 : 3671.379 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.50 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 : 3665.959 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.25 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 : 3600.179 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.50 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 : 3663.876 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.25 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 : 3671.394 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.50 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 : 3678.937 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.25 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 : 3600.238 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.50 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 : 3635.569 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.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122886352 kB MemAvailable: 128560000 kB Buffers: 473764 kB Cached: 5966272 kB SwapCached: 0 kB Active: 784080 kB Inactive: 7098796 kB Active(anon): 1556 kB Inactive(anon): 1478976 kB Active(file): 782524 kB Inactive(file): 5619820 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14384 kB Writeback: 0 kB AnonPages: 1438100 kB Mapped: 138732 kB Shmem: 37716 kB KReclaimable: 221904 kB Slab: 343968 kB SReclaimable: 221904 kB SUnreclaim: 122064 kB KernelStack: 4160 kB PageTables: 12332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1746716 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64832 kB HardwareCorrupted: 0 kB AnonHugePages: 1021952 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890068 MiB End job on nodeC033 at 2024-07-17 14:03:44