Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.13 | 3609.25 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
| MD5SUM | 0fb77b786bdb5828a2775dbdb30deb06 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 2658 |
| Best CPU time to get the best result obtained on this benchmark | 3600.16 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 336 |
| Total number of constraints | 69031 |
| Number of soft constraints | 69017 |
| Number of constraints which are clauses | 69017 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 24 |
| Top cost | 47694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 9891329 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 25 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.50/0.54 o 16170 0.59/0.61 o 4005 0.79/0.86 o 3816 0.88/0.92 o 3815 1.28/1.30 o 3814 1.89/1.92 o 3617 4.99/5.02 o 3524 25.92/26.05 o 3515 26.02/26.13 o 3514 34.90/35.09 o 3513 82.18/82.46 o 3418 108.21/108.55 o 3408 109.61/109.97 o 3407 152.89/153.34 o 3116 188.49/189.01 o 3107 718.91/720.92 o 3007 872.49/874.94 o 2987 917.97/920.59 o 2979 918.37/920.96 o 2978 1128.75/1131.99 o 2967 1147.80/1151.06 o 2856 3600.07/3609.20 c Program interrupted by user. 3600.07/3609.20 s SATISFIABLE 3600.07/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
OK 2856
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 (56047 MiB free)
memory of node 1: 64510 MiB (60343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425452-1720882989/watcher-4425452-1720882989 -o /tmp/evaluation-result-4425452-1720882989/solver-4425452-1720882989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720878365-714471 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1872363235 HOME/instance-4425452-1720882989.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=717419, runsolver pid=717416
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.08 4.09 4.09 5/257 717420
/proc/meminfo: memFree=119138180/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=78896 memory=58096 CPUtime=0.09 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 14358 0 0 0 7 2 0 0 20 0 1 0 140467226 80789504 14524 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 19724 14524 755 746 0 18788 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 58096 KiB
[startup+0.205681 s]*
/proc/loadavg: 4.08 4.09 4.09 5/257 717420
/proc/meminfo: memFree=119086776/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=126440 memory=105164 CPUtime=0.2 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 22278 0 0 0 16 4 0 0 20 0 1 0 140467226 129474560 26291 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 31610 26291 755 746 0 30674 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126440 KiB
Current children cumulated memory: 105164 KiB
[startup+0.305653 s]*
/proc/loadavg: 4.08 4.09 4.09 5/257 717420
/proc/meminfo: memFree=119053232/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=153192 memory=133872 CPUtime=0.3 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 29579 0 0 0 25 5 0 0 20 0 1 0 140467226 156868608 33468 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 38298 33468 787 746 0 37362 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153192 KiB
Current children cumulated memory: 133872 KiB
[startup+0.700243 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 717420
/proc/meminfo: memFree=119021192/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=189992 memory=178388 CPUtime=0.69 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 38090 0 0 0 63 6 0 0 20 0 1 0 140467226 194551808 44597 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 47498 44597 851 746 0 46562 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 189992 KiB
Current children cumulated memory: 178388 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 717420
/proc/meminfo: memFree=118998960/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=213812 memory=195048 CPUtime=1.49 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 40951 0 0 0 142 7 0 0 20 0 1 0 140467226 218943488 48762 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 53453 48762 851 746 0 52517 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 213812 KiB
Current children cumulated memory: 195048 KiB
[startup+3.10539 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 717420
/proc/meminfo: memFree=118984308/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=216980 memory=204356 CPUtime=3.08 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 41799 0 0 0 301 7 0 0 20 0 1 0 140467226 222187520 51089 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 54245 51089 851 746 0 53309 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 216980 KiB
Current children cumulated memory: 204356 KiB
[startup+6.30022 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 717420
/proc/meminfo: memFree=118944392/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=267612 memory=242000 CPUtime=6.27 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 49095 0 0 0 618 9 0 0 20 0 1 0 140467226 274034688 60500 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 66903 60500 851 746 0 65967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 267612 KiB
Current children cumulated memory: 242000 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 717421
/proc/meminfo: memFree=118895600/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=337932 memory=293672 CPUtime=12.65 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 57352 0 0 0 1254 11 0 0 20 0 1 0 140467226 346042368 73418 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 84483 73418 851 746 0 83547 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 337932 KiB
Current children cumulated memory: 293672 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 717423
/proc/meminfo: memFree=118805180/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=398616 memory=382080 CPUtime=25.42 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 70825 0 0 0 2529 13 0 0 20 0 1 0 140467226 408182784 95520 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 99654 95520 851 746 0 98718 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 398616 KiB
Current children cumulated memory: 382080 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 717428
/proc/meminfo: memFree=118636040/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=599580 memory=548128 CPUtime=50.97 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 96238 0 0 0 5076 21 0 0 20 0 1 0 140467226 613969920 137032 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 149895 137032 851 746 0 148959 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 599580 KiB
Current children cumulated memory: 548128 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 717438
/proc/meminfo: memFree=118304788/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=966540 memory=851012 CPUtime=102.03 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 143067 0 0 0 10167 36 0 0 20 0 1 0 140467226 989736960 212753 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 241635 212753 851 746 0 240699 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 966540 KiB
Current children cumulated memory: 851012 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 717448
/proc/meminfo: memFree=117983760/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=1198356 memory=1167156 CPUtime=161.86 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 172614 0 0 0 16135 51 0 0 20 0 1 0 140467226 1227116544 291789 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 299589 291789 851 746 0 298653 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1198356 KiB
Current children cumulated memory: 1167156 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 717458
/proc/meminfo: memFree=117976920/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=1203684 memory=1172608 CPUtime=221.7 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 174162 0 0 0 22119 51 0 0 20 0 1 0 140467226 1232572416 293152 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 300921 293152 851 746 0 299985 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1203684 KiB
Current children cumulated memory: 1172608 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 717470
/proc/meminfo: memFree=117621768/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2081780 memory=1504712 CPUtime=281.54 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 245395 0 0 0 28081 73 0 0 20 0 1 0 140467226 2131742720 376178 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 520445 376178 851 746 0 519509 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 1504712 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 717480
/proc/meminfo: memFree=117310280/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2092624 memory=1799892 CPUtime=341.37 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 271435 0 0 0 34056 81 0 0 20 0 1 0 140467226 2142846976 449973 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 523156 449973 851 746 0 522220 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2092624 KiB
Current children cumulated memory: 1799892 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 717490
/proc/meminfo: memFree=117273352/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2092624 memory=1799996 CPUtime=401.19 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 271775 0 0 0 40038 81 0 0 20 0 1 0 140467226 2142846976 449999 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 523156 449999 851 746 0 522220 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 2092624 KiB
Current children cumulated memory: 1799996 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 717508
/proc/meminfo: memFree=117152740/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2092624 memory=1799996 CPUtime=461.02 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 272174 0 0 0 46020 82 0 0 20 0 1 0 140467226 2142846976 449999 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 523156 449999 851 746 0 522220 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 1932992 KiB
[startup+2862.3 s]
/proc/loadavg: 1.16 2.29 3.31 2/237 718660
/proc/meminfo: memFree=127589080/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2223136 memory=1932992 CPUtime=2854.59 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 309009 0 0 0 285354 105 0 0 20 0 1 0 140467226 2276491264 483248 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 555784 483248 851 746 0 554848 0
Current children cumulated CPU time: 2854.59 s
Current children cumulated vsize: 2223136 KiB
Current children cumulated memory: 1932992 KiB
[startup+2922.3 s]
/proc/loadavg: 1.11 2.07 3.17 2/237 718670
/proc/meminfo: memFree=127581964/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2229436 memory=1939292 CPUtime=2914.48 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 310576 0 0 0 291343 105 0 0 20 0 1 0 140467226 2282942464 484823 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 557359 484823 851 746 0 556423 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 2229436 KiB
Current children cumulated memory: 1939292 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.89 3.04 2/237 718681
/proc/meminfo: memFree=127581280/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2229436 memory=1939360 CPUtime=2974.36 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 310993 0 0 0 297331 105 0 0 20 0 1 0 140467226 2282942464 484840 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 557359 484840 851 746 0 556423 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 2229436 KiB
Current children cumulated memory: 1939360 KiB
[startup+3042.3 s]
/proc/loadavg: 1.10 1.74 2.91 2/237 718692
/proc/meminfo: memFree=127562792/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2229436 memory=1961548 CPUtime=3034.24 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 311740 0 0 0 303319 105 0 0 20 0 1 0 140467226 2282942464 490387 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 557359 490387 851 746 0 556423 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 2229436 KiB
Current children cumulated memory: 1961548 KiB
[startup+3102.3 s]
/proc/loadavg: 1.08 1.62 2.79 2/237 718703
/proc/meminfo: memFree=127528208/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2236460 memory=1991156 CPUtime=3094.13 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 313662 0 0 0 309307 106 0 0 20 0 1 0 140467226 2290135040 497789 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 559115 497789 851 746 0 558179 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 2236460 KiB
Current children cumulated memory: 1991156 KiB
[startup+3162.3 s]
/proc/loadavg: 1.07 1.52 2.68 2/236 719096
/proc/meminfo: memFree=127499440/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2236460 memory=2018120 CPUtime=3154.02 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 314163 0 0 0 315296 106 0 0 20 0 1 0 140467226 2290135040 504530 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 559115 504530 851 746 0 558179 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 2236460 KiB
Current children cumulated memory: 2018120 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.43 2.58 2/236 719106
/proc/meminfo: memFree=127472364/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2236460 memory=2045084 CPUtime=3213.91 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 314880 0 0 0 321285 106 0 0 20 0 1 0 140467226 2290135040 511271 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 559115 511271 851 746 0 558179 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 2236460 KiB
Current children cumulated memory: 2045084 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.37 2.48 2/236 719117
/proc/meminfo: memFree=127437664/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2243900 memory=2079476 CPUtime=3273.79 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 316946 0 0 0 327273 106 0 0 20 0 1 0 140467226 2297753600 519869 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 560975 519869 851 746 0 560039 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 2243900 KiB
Current children cumulated memory: 2079476 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.33 2.40 2/236 719296
/proc/meminfo: memFree=127423864/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2243900 memory=2092564 CPUtime=3333.68 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 317591 0 0 0 333262 106 0 0 20 0 1 0 140467226 2297753600 523141 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 560975 523141 851 746 0 560039 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 2243900 KiB
Current children cumulated memory: 2092564 KiB
[startup+3402.3 s]
/proc/loadavg: 1.04 1.27 2.31 2/236 719308
/proc/meminfo: memFree=127422880/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2243900 memory=2092976 CPUtime=3393.56 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 318423 0 0 0 339250 106 0 0 20 0 1 0 140467226 2297753600 523244 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 560975 523244 851 746 0 560039 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 2243900 KiB
Current children cumulated memory: 2092976 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.25 2.23 2/236 719332
/proc/meminfo: memFree=127422196/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2243900 memory=2092976 CPUtime=3453.43 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 319233 0 0 0 345236 107 0 0 20 0 1 0 140467226 2297753600 523244 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 560975 523244 851 746 0 560039 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 2243900 KiB
Current children cumulated memory: 2092976 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.21 2.16 2/236 719342
/proc/meminfo: memFree=127413092/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2252524 memory=2101600 CPUtime=3513.32 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 321680 0 0 0 351225 107 0 0 20 0 1 0 140467226 2306584576 525400 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 563131 525400 851 746 0 562195 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 2252524 KiB
Current children cumulated memory: 2101600 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.19 2.09 2/236 719353
/proc/meminfo: memFree=127412356/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2252524 memory=2101600 CPUtime=3573.21 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 322472 0 0 0 357214 107 0 0 20 0 1 0 140467226 2306584576 525400 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 563131 525400 851 746 0 562195 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 2252524 KiB
Current children cumulated memory: 2101600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.05 1.17 2.06 2/235 719358
/proc/meminfo: memFree=127411724/131524600 swapFree=131071996/131071996
[pid=717419] ppid=717416 vsize=2252524 memory=2101600 CPUtime=3600.07 cores=5,7
/proc/717419/stat : 717419 (Exact_nosoplex) R 717416 717419 711737 0 -1 4194304 322877 0 0 0 359900 107 0 0 20 0 1 0 140467226 2306584576 525400 134679101440 4194304 7248369 140733165451568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15675392 140733165454226 140733165454405 140733165454405 140733165461446 0
/proc/717419/statm: 563131 525400 851 746 0 562195 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2252524 KiB
Current children cumulated memory: 2101600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.25 s]
# the end of solver process 717419 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.05 s, system=1.08095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.25
CPU time (s): 3600.13
CPU user time (s): 3599.05
CPU system time (s): 1.08095
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 2252524
Max. memory (cumulated for all children) (KiB): 2101600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.08095
maximum resident set size= 2101600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322900
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= 52
involuntary context switches= 1908
# summary of solver processes directly reported to runsolver:
# pid: 717419
# total CPU time (s): 3600.13
# total CPU user time (s): 3599.05
# total CPU system time (s): 1.08095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63608 second user time and 16.9655 second system time
The end
Begin job on nodeC031 at 2024-07-13 17:03:22 IDJOB=4425452 IDBENCH=143883 IDSOLVER=3039 FILE ID=nodeC031/4425452-1720882989 RUNJOBID= nodeC031-1720878365-714471 SLURM_JOB_ID= 7483772 Free space on /tmp= 890056 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425452-1720882989/watcher-4425452-1720882989 -o /tmp/evaluation-result-4425452-1720882989/solver-4425452-1720882989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720878365-714471 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1872363235 HOME/instance-4425452-1720882989.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06 RANDOM SEED=1872363235 nodeC031.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 : 3663.214 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.55 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 : 3673.672 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.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.877 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.55 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 : 3611.838 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.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.275 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.55 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 : 3654.967 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.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.933 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.55 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 : 3665.943 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.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119184944 kB MemAvailable: 119400000 kB Buffers: 322468 kB Cached: 736204 kB SwapCached: 0 kB Active: 494384 kB Inactive: 11259740 kB Active(anon): 1560 kB Inactive(anon): 10731640 kB Active(file): 492824 kB Inactive(file): 528100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6508 kB Writeback: 0 kB AnonPages: 10693772 kB Mapped: 112488 kB Shmem: 37720 kB KReclaimable: 67556 kB Slab: 165968 kB SReclaimable: 67556 kB SUnreclaim: 98412 kB KernelStack: 4140 kB PageTables: 31032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 12421540 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55776 kB HardwareCorrupted: 0 kB AnonHugePages: 4796416 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: 160468 kB DirectMap2M: 11147264 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 890076 MiB End job on nodeC031 at 2024-07-13 18:03:32