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) | 222 | 3600.04 | 3609.2 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| 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 | 181 |
| 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 | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.14 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.10/0.14 o 476 0.10/0.14 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.10/0.19 c Starting SCIP solver (with time-limit = 1800s) ... 1795.79/1800.19 c SCIP timeout with lower and upper bounds: [138, 222] 1795.99/1800.33 o 222 3600.02/3609.20 3600.02/3609.20 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 3600.02/3609.20 s SATISFIABLE
OK 222
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 (62244 MiB free)
memory of node 1: 64473 MiB (62725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438676-1721214902/watcher-4438676-1721214902 -o /tmp/evaluation-result-4438676-1721214902/solver-4438676-1721214902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721207693-896651 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438676-1721214902.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=900705, runsolver pid=900702
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.13 4.09 4/252 900720
/proc/meminfo: memFree=127965936/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=23364 memory=9032 CPUtime=0.1 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 1494 0 0 0 10 0 0 0 20 0 1 0 173656862 23924736 2258 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 5841 2258 1066 2726 0 2589 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23364 KiB
Current children cumulated memory: 9032 KiB
[startup+0.20557 s]*
/proc/loadavg: 4.10 4.13 4.09 5/250 900730
/proc/meminfo: memFree=127912608/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=80684 memory=70296 CPUtime=0.2 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 15951 0 0 0 18 2 0 0 20 0 1 0 173656862 82620416 17574 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 20171 17574 2538 2726 0 16919 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80684 KiB
Current children cumulated memory: 70296 KiB
[startup+0.305739 s]*
/proc/loadavg: 4.10 4.13 4.09 6/250 900747
/proc/meminfo: memFree=127882724/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=112132 memory=98904 CPUtime=0.3 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 23009 0 0 0 28 2 0 0 20 0 1 0 173656862 114823168 24726 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 28033 24726 2634 2726 0 24781 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112132 KiB
Current children cumulated memory: 98904 KiB
[startup+0.70024 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 900752
/proc/meminfo: memFree=127793696/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=145972 memory=132408 CPUtime=0.68 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 31398 0 0 0 65 3 0 0 20 0 1 0 173656862 149475328 33102 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 36493 33102 2650 2726 0 33241 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145972 KiB
Current children cumulated memory: 132408 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 900752
/proc/meminfo: memFree=127727860/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=147644 memory=134052 CPUtime=1.48 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 31803 0 0 0 145 3 0 0 20 0 1 0 173656862 151187456 33513 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 36911 33513 2666 2726 0 33659 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147644 KiB
Current children cumulated memory: 134052 KiB
[startup+3.10549 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 900752
/proc/meminfo: memFree=127525296/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=261296 memory=238436 CPUtime=3.08 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 54778 0 0 0 300 8 0 0 20 0 1 0 173656862 267567104 59609 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 65324 59609 2746 2726 0 62072 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 261296 KiB
Current children cumulated memory: 238436 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 900798
/proc/meminfo: memFree=127573500/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=266268 memory=243560 CPUtime=6.27 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 56041 0 0 0 618 9 0 0 20 0 1 0 173656862 272658432 60890 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 66567 60890 2778 2726 0 63315 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 266268 KiB
Current children cumulated memory: 243560 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 900800
/proc/meminfo: memFree=127519864/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=267592 memory=244616 CPUtime=12.65 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 56331 0 0 0 1256 9 0 0 20 0 1 0 173656862 274014208 61154 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 66898 61154 2778 2726 0 63646 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 267592 KiB
Current children cumulated memory: 244616 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 900801
/proc/meminfo: memFree=127408576/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=316548 memory=285092 CPUtime=25.43 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 65308 0 0 0 2531 12 0 0 20 0 1 0 173656862 324145152 71273 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 79137 71273 2778 2726 0 75885 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 316548 KiB
Current children cumulated memory: 285092 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 900806
/proc/meminfo: memFree=127162476/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=414428 memory=355840 CPUtime=50.96 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 83028 0 0 0 5081 15 0 0 20 0 1 0 173656862 424374272 88960 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 103607 88960 2778 2726 0 100355 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 414428 KiB
Current children cumulated memory: 355840 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 900815
/proc/meminfo: memFree=127005836/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=476252 memory=383716 CPUtime=102.03 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 89550 0 0 0 10187 16 0 0 20 0 1 0 173656862 487682048 95929 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 119063 95929 2778 2726 0 115811 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 476252 KiB
Current children cumulated memory: 383716 KiB
[startup+162.3 s]
/proc/loadavg: 4.46 4.22 4.12 5/255 900826
/proc/meminfo: memFree=126797952/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=582448 memory=486244 CPUtime=161.9 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 115176 0 0 0 16169 21 0 0 20 0 1 0 173656862 596426752 121561 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 145612 121561 2778 2726 0 142360 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 582448 KiB
Current children cumulated memory: 486244 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.20 4.12 5/255 900836
/proc/meminfo: memFree=126795340/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=583568 memory=488088 CPUtime=221.77 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 115659 0 0 0 22155 22 0 0 20 0 1 0 173656862 597573632 122022 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 145892 122022 2778 2726 0 142640 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 583568 KiB
Current children cumulated memory: 488088 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/254 900846
/proc/meminfo: memFree=126795080/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=583568 memory=488088 CPUtime=281.63 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 115659 0 0 0 28141 22 0 0 20 0 1 0 173656862 597573632 122022 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 145892 122022 2778 2726 0 142640 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 583568 KiB
Current children cumulated memory: 488088 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.16 4.11 5/257 900862
/proc/meminfo: memFree=126778272/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=588488 memory=492576 CPUtime=341.49 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 116810 0 0 0 34126 23 0 0 20 0 1 0 173656862 602611712 123144 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 147122 123144 2778 2726 0 143870 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 588488 KiB
Current children cumulated memory: 492576 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 900872
/proc/meminfo: memFree=126775420/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=588488 memory=494008 CPUtime=401.35 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 117887 0 0 0 40112 23 0 0 20 0 1 0 173656862 602611712 123502 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 147122 123502 2778 2726 0 143870 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 588488 KiB
Current children cumulated memory: 494008 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 900883
/proc/meminfo: memFree=126776860/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=588488 memory=498972 CPUtime=461.2 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 117982 0 0 0 46097 23 0 0 20 0 1 0 173656862 602611712 124743 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 147122 124743 2778 2726 0 143870 0
################
# More data... #
################
Current children cumulated memory: 709684 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 902540
/proc/meminfo: memFree=125176400/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=2855.23 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184300 0 0 0 285486 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 2855.23 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 902551
/proc/meminfo: memFree=125325912/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=2915.06 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184378 0 0 0 291469 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 2915.06 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 902562
/proc/meminfo: memFree=125342288/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=2974.89 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184467 0 0 0 297452 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 902572
/proc/meminfo: memFree=125469884/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3034.72 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184542 0 0 0 303435 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 902582
/proc/meminfo: memFree=125248744/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3094.55 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184614 0 0 0 309418 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 902593
/proc/meminfo: memFree=125187828/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3154.38 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184690 0 0 0 315401 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 902603
/proc/meminfo: memFree=125031748/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3214.21 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184779 0 0 0 321384 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 902613
/proc/meminfo: memFree=124917336/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3274.04 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184852 0 0 0 327367 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 902628
/proc/meminfo: memFree=125105656/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3333.87 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 184945 0 0 0 333350 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 902638
/proc/meminfo: memFree=124892820/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3393.7 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 185012 0 0 0 339333 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.20 4.12 5/256 902648
/proc/meminfo: memFree=125054800/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3453.53 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 185101 0 0 0 345316 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/256 902659
/proc/meminfo: memFree=124832904/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3513.36 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 185172 0 0 0 351299 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/256 902670
/proc/meminfo: memFree=124825824/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3573.2 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 185251 0 0 0 357283 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 902676
/proc/meminfo: memFree=124825680/131524600 swapFree=131071996/131071996
[pid=900705] ppid=900702 vsize=757420 memory=709684 CPUtime=3600.02 cores=4,6
/proc/900705/stat : 900705 (CASHWMaxSAT-Dis) R 900702 900705 896640 0 -1 4194304 185283 0 0 0 359965 37 0 0 20 0 1 0 173656862 775598080 177421 134679101440 4194304 15356333 140733549986032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38035456 140733549990882 140733549990998 140733549990998 140733549998014 0
/proc/900705/statm: 189355 177421 2826 2726 0 186103 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 757420 KiB
Current children cumulated memory: 709684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 900705 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.66 s, system=0.381905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.2
CPU time (s): 3600.04
CPU user time (s): 3599.66
CPU system time (s): 0.381905
CPU usage (%): 99.7461
Max. virtual memory (cumulated for all children) (KiB): 820244
Max. memory (cumulated for all children) (KiB): 741560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.381905
maximum resident set size= 741560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185283
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= 39
involuntary context switches= 1242
# summary of solver processes directly reported to runsolver:
# pid: 900705
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.66
# total CPU system time (s): 0.381905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75847 second user time and 16.6838 second system time
The end
Begin job on nodeC027 at 2024-07-17 13:15:15 IDJOB=4438676 IDBENCH=147545 IDSOLVER=3074 FILE ID=nodeC027/4438676-1721214902 RUNJOBID= nodeC027-1721207693-896651 SLURM_JOB_ID= 7508921 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_16.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-4438676-1721214902/watcher-4438676-1721214902 -o /tmp/evaluation-result-4438676-1721214902/solver-4438676-1721214902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721207693-896651 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438676-1721214902.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=2017369591 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 : 3658.489 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 : 3669.071 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 : 3600.530 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 : 3600.583 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 : 3641.837 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 : 3681.576 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 : 3665.560 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 : 3671.077 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: 127969660 kB MemAvailable: 128947048 kB Buffers: 441648 kB Cached: 1371232 kB SwapCached: 0 kB Active: 796936 kB Inactive: 2157992 kB Active(anon): 1576 kB Inactive(anon): 1178224 kB Active(file): 795360 kB Inactive(file): 979768 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14400 kB Writeback: 0 kB AnonPages: 1140140 kB Mapped: 127896 kB Shmem: 37720 kB KReclaimable: 84168 kB Slab: 189876 kB SReclaimable: 84168 kB SUnreclaim: 105708 kB KernelStack: 4108 kB PageTables: 11560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1608992 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64352 kB HardwareCorrupted: 0 kB AnonHugePages: 1069056 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= 890012 MiB End job on nodeC027 at 2024-07-17 14:15:24