Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | MSAT (TO) | 3600.16 | 3611.97 |
| 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.68/0.79 o 14929 0.78/0.86 o 3774 0.88/0.96 o 3674 0.98/1.04 o 3656 1.09/1.12 o 3639 1.09/1.16 o 3348 1.28/1.32 o 3277 1.88/1.95 o 3179 2.67/2.72 o 3068 8.86/8.92 o 3067 18.42/18.58 o 3018 56.70/56.92 o 3016 59.49/59.77 o 3015 61.48/61.78 o 3008 71.95/72.27 o 3007 72.54/72.84 o 2986 72.64/72.96 o 2985 76.83/77.13 o 2923 771.69/774.37 o 2893 771.79/774.46 o 2891 772.09/774.73 o 2880 772.19/774.85 o 2878 951.70/954.93 o 2876 977.32/980.60 o 2859 983.49/986.86 o 2858 997.05/1000.45 o 2848 1919.39/1925.81 o 2837 1921.69/1928.11 o 2770 1921.78/1928.26 o 2769 1921.98/1928.49 o 2767 1930.65/1937.13 o 2749 1932.93/1939.44 o 2669 2490.78/2499.39 o 2668 2491.58/2500.11 o 2658 3600.08/3611.90 c Program interrupted by user. 3600.08/3611.90 s SATISFIABLE 3600.08/3611.90 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 2658
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 (55881 MiB free)
memory of node 1: 64473 MiB (60758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425729-1720883417/watcher-4425729-1720883417 -o /tmp/evaluation-result-4425729-1720883417/solver-4425729-1720883417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720877976-712350 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=43666216 HOME/instance-4425729-1720883417.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=716951, runsolver pid=716948
[startup+0.100426 s]*
/proc/loadavg: 4.13 4.13 4.09 5/256 716952
/proc/meminfo: memFree=119385508/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=73972 memory=53516 CPUtime=0.09 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 14062 0 0 0 7 2 0 0 20 0 1 0 140512598 75747328 13379 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 18493 13379 884 1005 0 17256 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73972 KiB
Current children cumulated memory: 53516 KiB
[startup+0.205645 s]*
/proc/loadavg: 4.13 4.13 4.09 5/256 716952
/proc/meminfo: memFree=119341864/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=127660 memory=104328 CPUtime=0.2 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 23482 0 0 0 16 4 0 0 20 0 1 0 140512598 130723840 26082 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 31915 26082 884 1005 0 30678 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127660 KiB
Current children cumulated memory: 104328 KiB
[startup+0.305824 s]*
/proc/loadavg: 4.13 4.13 4.09 5/256 716952
/proc/meminfo: memFree=119305968/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=154412 memory=135028 CPUtime=0.3 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 31191 0 0 0 25 5 0 0 20 0 1 0 140512598 158117888 33757 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 38603 33757 900 1005 0 37366 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154412 KiB
Current children cumulated memory: 135028 KiB
[startup+0.700238 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 716952
/proc/meminfo: memFree=119233280/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=264868 memory=243988 CPUtime=0.68 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 50221 0 0 0 60 8 0 0 20 0 1 0 140512598 271224832 60997 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 66217 60997 1108 1005 0 64980 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 264868 KiB
Current children cumulated memory: 243988 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 716952
/proc/meminfo: memFree=119180152/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=321112 memory=300112 CPUtime=1.48 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 58346 0 0 0 138 10 0 0 20 0 1 0 140512598 328818688 75028 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 80278 75028 1140 1005 0 79041 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 321112 KiB
Current children cumulated memory: 300112 KiB
[startup+3.10564 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 716953
/proc/meminfo: memFree=119136964/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=325428 memory=306400 CPUtime=3.08 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 58400 0 0 0 298 10 0 0 20 0 1 0 140512598 333238272 76600 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 81357 76600 1140 1005 0 80120 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 325428 KiB
Current children cumulated memory: 306400 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 716953
/proc/meminfo: memFree=119121972/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=358136 memory=322440 CPUtime=6.27 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 60310 0 0 0 615 12 0 0 20 0 1 0 140512598 366731264 80610 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 89534 80610 1140 1005 0 88297 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 358136 KiB
Current children cumulated memory: 322440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 716957
/proc/meminfo: memFree=119076008/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=423696 memory=366988 CPUtime=12.64 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 66828 0 0 0 1250 14 0 0 20 0 1 0 140512598 433864704 91747 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 105924 91747 1140 1005 0 104687 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 423696 KiB
Current children cumulated memory: 366988 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 716958
/proc/meminfo: memFree=119003216/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=461596 memory=445784 CPUtime=25.41 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 78446 0 0 0 2523 18 0 0 20 0 1 0 140512598 472674304 111446 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 115399 111446 1140 1005 0 114162 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 461596 KiB
Current children cumulated memory: 445784 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 716961
/proc/meminfo: memFree=118877524/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=606424 memory=557488 CPUtime=50.93 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 96564 0 0 0 5068 25 0 0 20 0 1 0 140512598 620978176 139372 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 151606 139372 1140 1005 0 150369 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 606424 KiB
Current children cumulated memory: 557488 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.16 4.10 5/257 716972
/proc/meminfo: memFree=118629592/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=861784 memory=761716 CPUtime=101.94 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 123929 0 0 0 10158 36 0 0 20 0 1 0 140512598 882466816 190429 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 215446 190429 1140 1005 0 214209 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 861784 KiB
Current children cumulated memory: 761716 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/257 716984
/proc/meminfo: memFree=118387812/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=1108028 memory=914148 CPUtime=161.75 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 139993 0 0 0 16126 49 0 0 20 0 1 0 140512598 1134620672 228537 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 277007 228537 1140 1005 0 275770 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1108028 KiB
Current children cumulated memory: 914148 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 716995
/proc/meminfo: memFree=118090036/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=1354716 memory=1180300 CPUtime=221.55 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 183260 0 0 0 22097 58 0 0 20 0 1 0 140512598 1387229184 295075 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 338679 295075 1140 1005 0 337442 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1354716 KiB
Current children cumulated memory: 1180300 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 717006
/proc/meminfo: memFree=117725536/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=1808128 memory=1501508 CPUtime=281.34 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 220099 0 0 0 28055 79 0 0 20 0 1 0 140512598 1851523072 375377 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 452032 375377 1140 1005 0 450795 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1808128 KiB
Current children cumulated memory: 1501508 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/255 717016
/proc/meminfo: memFree=117671512/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=1808128 memory=1502148 CPUtime=341.11 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 220504 0 0 0 34029 82 0 0 20 0 1 0 140512598 1851523072 375537 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 452032 375537 1140 1005 0 450795 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1808128 KiB
Current children cumulated memory: 1502148 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/254 717026
/proc/meminfo: memFree=117644168/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=1816100 memory=1511772 CPUtime=400.92 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 223101 0 0 0 40007 85 0 0 20 0 1 0 140512598 1859686400 377943 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 454025 377943 1140 1005 0 452788 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 1816100 KiB
Current children cumulated memory: 1511772 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 717039
/proc/meminfo: memFree=116759944/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=2979540 memory=2357356 CPUtime=460.72 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 338827 0 0 0 45940 132 0 0 20 0 1 0 140512598 3051048960 589339 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 744885 589339 1140 1005 0 743648 0
Current children cumulated CPU time: 460.72 s
################
# More data... #
################
Current children cumulated memory: 2477216 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.27 2.90 3/245 718713
/proc/meminfo: memFree=126137716/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3106196 memory=2485060 CPUtime=2912.35 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 381020 0 0 0 290992 243 0 0 20 0 1 0 140512598 3180744704 621265 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 776549 621265 1140 1005 0 775312 0
Current children cumulated CPU time: 2912.35 s
Current children cumulated vsize: 3106196 KiB
Current children cumulated memory: 2485060 KiB
[startup+2982.3 s]
/proc/loadavg: 2.08 2.24 2.85 3/246 718726
/proc/meminfo: memFree=126125056/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3118452 memory=2496596 CPUtime=2972.18 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 383004 0 0 0 296973 245 0 0 20 0 1 0 140512598 3193294848 624149 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 779613 624149 1140 1005 0 778376 0
Current children cumulated CPU time: 2972.18 s
Current children cumulated vsize: 3118452 KiB
Current children cumulated memory: 2496596 KiB
[startup+3042.3 s]
/proc/loadavg: 2.06 2.20 2.80 3/245 718748
/proc/meminfo: memFree=126119156/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3119052 memory=2501956 CPUtime=3032.01 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 383467 0 0 0 302953 248 0 0 20 0 1 0 140512598 3193909248 625489 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 779763 625489 1140 1005 0 778526 0
Current children cumulated CPU time: 3032.01 s
Current children cumulated vsize: 3119052 KiB
Current children cumulated memory: 2501956 KiB
[startup+3102.3 s]
/proc/loadavg: 2.06 2.18 2.75 3/245 718758
/proc/meminfo: memFree=126117856/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3119732 memory=2502388 CPUtime=3091.84 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 384030 0 0 0 308934 250 0 0 20 0 1 0 140512598 3194605568 625597 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 779933 625597 1140 1005 0 778696 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 3119732 KiB
Current children cumulated memory: 2502388 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.18 2.71 3/245 718769
/proc/meminfo: memFree=126108584/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3127500 memory=2507200 CPUtime=3151.66 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 385650 0 0 0 314914 252 0 0 20 0 1 0 140512598 3202560000 626800 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 781875 626800 1140 1005 0 780638 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 3127500 KiB
Current children cumulated memory: 2507200 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.16 2.67 3/243 718780
/proc/meminfo: memFree=126097728/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3127500 memory=2508972 CPUtime=3211.5 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 386389 0 0 0 320895 255 0 0 20 0 1 0 140512598 3202560000 627243 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 781875 627243 1140 1005 0 780638 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 3127500 KiB
Current children cumulated memory: 2508972 KiB
[startup+3282.3 s]
/proc/loadavg: 2.16 2.16 2.64 3/241 718790
/proc/meminfo: memFree=126096584/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3127832 memory=2509628 CPUtime=3271.33 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 387066 0 0 0 326876 257 0 0 20 0 1 0 140512598 3202899968 627407 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 781958 627407 1140 1005 0 780721 0
Current children cumulated CPU time: 3271.33 s
Current children cumulated vsize: 3127832 KiB
Current children cumulated memory: 2509628 KiB
[startup+3342.3 s]
/proc/loadavg: 2.04 2.13 2.59 2/234 718831
/proc/meminfo: memFree=126992604/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3143744 memory=2522016 CPUtime=3331.17 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 390855 0 0 0 332857 260 0 0 20 0 1 0 140512598 3219193856 630504 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 785936 630504 1140 1005 0 784699 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 3143744 KiB
Current children cumulated memory: 2522016 KiB
[startup+3402.3 s]
/proc/loadavg: 1.43 1.93 2.50 2/234 718842
/proc/meminfo: memFree=126988352/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3143960 memory=2525272 CPUtime=3391.02 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 392094 0 0 0 338839 263 0 0 20 0 1 0 140512598 3219415040 631318 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 785990 631318 1140 1005 0 784753 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 3143960 KiB
Current children cumulated memory: 2525272 KiB
[startup+3462.3 s]
/proc/loadavg: 1.27 1.79 2.41 2/235 718854
/proc/meminfo: memFree=126986704/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3143960 memory=2526384 CPUtime=3450.86 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 393048 0 0 0 344819 267 0 0 20 0 1 0 140512598 3219415040 631596 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 785990 631596 1140 1005 0 784753 0
Current children cumulated CPU time: 3450.86 s
Current children cumulated vsize: 3143960 KiB
Current children cumulated memory: 2526384 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.66 2.33 2/234 718864
/proc/meminfo: memFree=126971680/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3144200 memory=2540692 CPUtime=3510.7 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 394746 0 0 0 350800 270 0 0 20 0 1 0 140512598 3219660800 635173 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 786050 635173 1140 1005 0 784813 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 3144200 KiB
Current children cumulated memory: 2540692 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 1.57 2.25 2/237 718881
/proc/meminfo: memFree=126956360/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3151012 memory=2555208 CPUtime=3570.56 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 396056 0 0 0 356780 276 0 0 20 0 1 0 140512598 3226636288 638802 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 787753 638802 1140 1005 0 786516 0
Current children cumulated CPU time: 3570.56 s
Current children cumulated vsize: 3151012 KiB
Current children cumulated memory: 2555208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 1.16 1.53 2.21 2/237 718885
/proc/meminfo: memFree=126952336/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3151012 memory=2559144 CPUtime=3600.08 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 396624 0 0 0 359731 277 0 0 20 0 1 0 140512598 3226636288 639786 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 787753 639786 1140 1005 0 786516 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3151012 KiB
Current children cumulated memory: 2559144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.97 s]
# the end of solver process 716951 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.36 s, system=2.79596 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 1.16 1.53 2.21 2/237 718885
/proc/meminfo: memFree=126952336/131524600 swapFree=131071996/131071996
[pid=716951] ppid=716948 vsize=3151012 memory=2559144 CPUtime=3600.08 cores=0,2
/proc/716951/stat : 716951 (Exact) R 716948 716951 709774 0 -1 4194304 396624 0 0 0 359731 277 0 0 20 0 1 0 140512598 3226636288 639786 134679101440 4194304 8309489 140731766492480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 39653376 140731766498214 140731766498382 140731766498382 140731766505423 0
/proc/716951/statm: 787753 639786 1140 1005 0 786516 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3151012 KiB
Current children cumulated memory: 2559144 KiB
Child status: 10
Real time (s): 3611.97
CPU time (s): 3600.16
CPU user time (s): 3597.36
CPU system time (s): 2.79596
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 3846820
Max. memory (cumulated for all children) (KiB): 2823612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 2.79596
maximum resident set size= 3071420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396652
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= 34
involuntary context switches= 24683
# summary of solver processes directly reported to runsolver:
# pid: 716951
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.36
# total CPU system time (s): 2.79596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68307 second user time and 17.5425 second system time
The end
Begin job on nodeC035 at 2024-07-13 17:10:30 IDJOB=4425729 IDBENCH=143883 IDSOLVER=3040 FILE ID=nodeC035/4425729-1720883417 RUNJOBID= nodeC035-1720877976-712350 SLURM_JOB_ID= 7483776 Free space on /tmp= 890044 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425729-1720883417/watcher-4425729-1720883417 -o /tmp/evaluation-result-4425729-1720883417/solver-4425729-1720883417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720877976-712350 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=43666216 HOME/instance-4425729-1720883417.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06 RANDOM SEED=43666216 nodeC035.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 : 3652.703 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.65 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 : 3687.294 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3624.117 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.65 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.351 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3672.714 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.65 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 : 3687.342 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3613.877 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.65 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 : 3599.895 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119438668 kB MemAvailable: 119674176 kB Buffers: 320716 kB Cached: 758544 kB SwapCached: 0 kB Active: 504372 kB Inactive: 10997400 kB Active(anon): 1536 kB Inactive(anon): 10458688 kB Active(file): 502836 kB Inactive(file): 538712 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7660 kB Writeback: 0 kB AnonPages: 10413560 kB Mapped: 115488 kB Shmem: 37720 kB KReclaimable: 67568 kB Slab: 165416 kB SReclaimable: 67568 kB SUnreclaim: 97848 kB KernelStack: 4128 kB PageTables: 30420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 12537396 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56032 kB HardwareCorrupted: 0 kB AnonHugePages: 6113280 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: 174804 kB DirectMap2M: 7987200 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890076 MiB End job on nodeC035 at 2024-07-13 18:10:42