Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | SAT (TO) | 5 | 3600.02 | 3608.9 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb |
| MD5SUM | 5bbd9c37a994af6c8eea19ef18cfb445 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 427 |
| Total number of constraints | 17423 |
| Number of constraints which are clauses | 17409 |
| 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 | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| 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 | 14 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| 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.00/0.03 o 7 0.10/0.10 o 6 0.10/0.10 o 5 3600.01/3608.90 c Program interrupted by user. 3600.01/3608.90 s SATISFIABLE 3600.01/3608.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 -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
OK 5
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 (59644 MiB free)
memory of node 1: 64473 MiB (62934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449795-1721399509/watcher-4449795-1721399509 -o /tmp/evaluation-result-4449795-1721399509/solver-4449795-1721399509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721399515-1034725 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=976194533 HOME/instance-4449795-1721399509.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1034878, runsolver pid=1034875
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 0.42 0.15 0.11 5/256 1034879
/proc/meminfo: memFree=125516680/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=27656 memory=7328 CPUtime=0.1 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 1106 0 0 0 10 0 0 0 20 0 1 0 192113304 28319744 1832 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 6914 1832 835 746 0 5978 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27656 KiB
Current children cumulated memory: 7328 KiB
[startup+0.205393 s]*
/proc/loadavg: 0.42 0.15 0.11 5/256 1034879
/proc/meminfo: memFree=125513652/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=27788 memory=9900 CPUtime=0.2 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 1245 0 0 0 20 0 0 0 20 0 1 0 192113304 28454912 2475 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 6947 2475 835 746 0 6011 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27788 KiB
Current children cumulated memory: 9900 KiB
[startup+0.305145 s]*
/proc/loadavg: 0.42 0.15 0.11 5/256 1034879
/proc/meminfo: memFree=125513176/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=27920 memory=9900 CPUtime=0.3 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 1287 0 0 0 30 0 0 0 20 0 1 0 192113304 28590080 2475 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 6980 2475 835 746 0 6044 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27920 KiB
Current children cumulated memory: 9900 KiB
[startup+0.700188 s]
/proc/loadavg: 0.42 0.15 0.11 5/256 1034879
/proc/meminfo: memFree=125510456/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=28440 memory=12708 CPUtime=0.69 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 1528 0 0 0 69 0 0 0 20 0 1 0 192113304 29122560 3177 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 7110 3177 835 746 0 6174 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28440 KiB
Current children cumulated memory: 12708 KiB
[startup+1.50018 s]
/proc/loadavg: 0.42 0.15 0.11 6/256 1034879
/proc/meminfo: memFree=125509480/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=29056 memory=13336 CPUtime=1.48 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 1992 0 0 0 148 0 0 0 20 0 1 0 192113304 29753344 3334 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 7264 3334 835 746 0 6328 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29056 KiB
Current children cumulated memory: 13336 KiB
[startup+3.10545 s]
/proc/loadavg: 0.70 0.22 0.13 5/256 1034879
/proc/meminfo: memFree=125504408/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=29856 memory=14016 CPUtime=3.08 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 3194 0 0 0 308 0 0 0 20 0 1 0 192113304 30572544 3504 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 7464 3504 835 746 0 6528 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29856 KiB
Current children cumulated memory: 14016 KiB
[startup+6.30016 s]
/proc/loadavg: 0.70 0.22 0.13 5/256 1034879
/proc/meminfo: memFree=125502404/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=30700 memory=14792 CPUtime=6.28 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 4412 0 0 0 627 1 0 0 20 0 1 0 192113304 31436800 3698 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 7675 3698 835 746 0 6739 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 30700 KiB
Current children cumulated memory: 14792 KiB
[startup+12.7002 s]
/proc/loadavg: 1.21 0.34 0.17 5/256 1034880
/proc/meminfo: memFree=125495708/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=32396 memory=18412 CPUtime=12.66 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 8361 0 0 0 1264 2 0 0 20 0 1 0 192113304 33173504 4603 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 8099 4603 835 746 0 7163 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32396 KiB
Current children cumulated memory: 18412 KiB
[startup+25.5002 s]
/proc/loadavg: 1.72 0.48 0.22 6/256 1034882
/proc/meminfo: memFree=125489556/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=33548 memory=19552 CPUtime=25.43 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 14994 0 0 0 2540 3 0 0 20 0 1 0 192113304 34353152 4888 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 8387 4888 835 746 0 7451 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33548 KiB
Current children cumulated memory: 19552 KiB
[startup+51.1054 s]
/proc/loadavg: 2.50 0.76 0.32 5/256 1034886
/proc/meminfo: memFree=125475296/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=35844 memory=23728 CPUtime=50.95 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 26367 0 0 0 5090 5 0 0 20 0 1 0 192113304 36704256 5932 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 8961 5932 835 746 0 8025 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 35844 KiB
Current children cumulated memory: 23728 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.32 0.54 5/255 1034895
/proc/meminfo: memFree=125458804/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=38412 memory=28344 CPUtime=101.99 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 47707 0 0 0 10190 9 0 0 20 0 1 0 192113304 39333888 7086 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 9603 7086 835 746 0 8667 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 28344 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.77 5/255 1034907
/proc/meminfo: memFree=125450208/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=40088 memory=30352 CPUtime=161.84 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 70752 0 0 0 16170 14 0 0 20 0 1 0 192113304 41050112 7588 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 10022 7588 835 746 0 9086 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 30352 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.26 0.98 5/254 1034918
/proc/meminfo: memFree=125440412/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=41136 memory=31392 CPUtime=221.68 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 92628 0 0 0 22151 17 0 0 20 0 1 0 192113304 42123264 7848 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 10284 7848 835 746 0 9348 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 41136 KiB
Current children cumulated memory: 31392 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.61 1.18 5/254 1034928
/proc/meminfo: memFree=125433944/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=41856 memory=32084 CPUtime=281.54 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 112767 0 0 0 28133 21 0 0 20 0 1 0 192113304 42860544 8021 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 10464 8021 835 746 0 9528 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 41856 KiB
Current children cumulated memory: 32084 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 2.86 1.36 5/254 1034939
/proc/meminfo: memFree=125425340/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=43696 memory=33820 CPUtime=341.4 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 131468 0 0 0 34116 24 0 0 20 0 1 0 192113304 44744704 8455 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 10924 8455 835 746 0 9988 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 33820 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 3.15 1.56 5/254 1034950
/proc/meminfo: memFree=125421236/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=44272 memory=34368 CPUtime=401.25 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 148368 0 0 0 40098 27 0 0 20 0 1 0 192113304 45334528 8592 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 11068 8592 835 746 0 10132 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 44272 KiB
Current children cumulated memory: 34368 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 3.35 1.73 5/254 1034960
/proc/meminfo: memFree=125411252/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=45296 memory=37660 CPUtime=461.1 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 164722 0 0 0 46080 30 0 0 20 0 1 0 192113304 46383104 9415 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 11324 9415 835 746 0 10388 0
################
# More data... #
################
Current children cumulated memory: 58580 KiB
[startup+2922.3 s]
/proc/loadavg: 4.41 4.28 4.05 5/257 1035987
/proc/meminfo: memFree=125314504/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=73596 memory=58772 CPUtime=2915.07 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476350 0 0 0 291425 82 0 0 20 0 1 0 192113304 75362304 14693 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18399 14693 835 746 0 17463 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 73596 KiB
Current children cumulated memory: 58772 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.23 4.05 5/257 1035998
/proc/meminfo: memFree=125313508/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74108 memory=59220 CPUtime=2974.92 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476483 0 0 0 297410 82 0 0 20 0 1 0 192113304 75886592 14805 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18527 14805 835 746 0 17591 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 74108 KiB
Current children cumulated memory: 59220 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.21 4.05 5/257 1036008
/proc/meminfo: memFree=125312120/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74108 memory=59220 CPUtime=3034.77 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476504 0 0 0 303395 82 0 0 20 0 1 0 192113304 75886592 14805 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18527 14805 835 746 0 17591 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 74108 KiB
Current children cumulated memory: 59220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.19 4.05 5/257 1036018
/proc/meminfo: memFree=125311524/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74300 memory=59332 CPUtime=3094.63 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476573 0 0 0 309381 82 0 0 20 0 1 0 192113304 76083200 14833 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18575 14833 835 746 0 17639 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 59332 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.17 4.05 5/257 1036031
/proc/meminfo: memFree=125311124/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74300 memory=59476 CPUtime=3154.48 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476610 0 0 0 315366 82 0 0 20 0 1 0 192113304 76083200 14869 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18575 14869 835 746 0 17639 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 59476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.46 4.26 4.09 5/259 1036425
/proc/meminfo: memFree=125310000/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74492 memory=59476 CPUtime=3214.34 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476648 0 0 0 321352 82 0 0 20 0 1 0 192113304 76279808 14869 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18623 14869 835 746 0 17687 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 74492 KiB
Current children cumulated memory: 59476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.28 4.11 5/256 1036435
/proc/meminfo: memFree=125309700/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74492 memory=59604 CPUtime=3274.19 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476687 0 0 0 327337 82 0 0 20 0 1 0 192113304 76279808 14901 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18623 14901 835 746 0 17687 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 74492 KiB
Current children cumulated memory: 59604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.26 4.11 5/256 1036447
/proc/meminfo: memFree=125309296/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74492 memory=59604 CPUtime=3334.05 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476709 0 0 0 333323 82 0 0 20 0 1 0 192113304 76279808 14901 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18623 14901 835 746 0 17687 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 74492 KiB
Current children cumulated memory: 59604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.21 4.10 5/258 1036627
/proc/meminfo: memFree=125308076/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=74876 memory=59924 CPUtime=3393.9 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476827 0 0 0 339308 82 0 0 20 0 1 0 192113304 76673024 14981 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18719 14981 835 746 0 17783 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 74876 KiB
Current children cumulated memory: 59924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.10 5/259 1036638
/proc/meminfo: memFree=125307400/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=75068 memory=60116 CPUtime=3453.76 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 476881 0 0 0 345294 82 0 0 20 0 1 0 192113304 76869632 15029 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18767 15029 835 746 0 17831 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 75068 KiB
Current children cumulated memory: 60116 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/262 1036707
/proc/meminfo: memFree=125305408/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=75580 memory=60572 CPUtime=3513.61 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 477032 0 0 0 351279 82 0 0 20 0 1 0 192113304 77393920 15143 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18895 15143 835 746 0 17959 0
Current children cumulated CPU time: 3513.61 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 60572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/260 1036719
/proc/meminfo: memFree=125305184/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=75580 memory=60652 CPUtime=3573.47 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 477071 0 0 0 357265 82 0 0 20 0 1 0 192113304 77393920 15163 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18895 15163 835 746 0 17959 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 60652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 3.82 4.09 4.07 2/239 1036818
/proc/meminfo: memFree=125543452/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=75580 memory=60652 CPUtime=3600.01 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 477073 0 0 0 359919 82 0 0 20 0 1 0 192113304 77393920 15163 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18895 15163 835 746 0 17959 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 60652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 1034878 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.2 s, system=0.826998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 3.82 4.09 4.07 2/239 1036818
/proc/meminfo: memFree=125543452/131524600 swapFree=131071216/131071996
[pid=1034878] ppid=1034875 vsize=75580 memory=60652 CPUtime=3600.01 cores=5,7
/proc/1034878/stat : 1034878 (Exact_nosoplex) R 1034875 1034878 1034712 0 -1 4194304 477073 0 0 0 359919 82 0 0 20 0 1 0 192113304 77393920 15163 134679101440 4194304 7248369 140722253303216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 38686720 140722253304747 140722253304925 140722253304925 140722253311942 0
/proc/1034878/statm: 18895 15163 835 746 0 17959 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 60652 KiB
Child status: 10
Real time (s): 3608.9
CPU time (s): 3600.02
CPU user time (s): 3599.2
CPU system time (s): 0.826998
CPU usage (%): 99.7539
Max. virtual memory (cumulated for all children) (KiB): 75580
Max. memory (cumulated for all children) (KiB): 60652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.826998
maximum resident set size= 68016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477075
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= 18
involuntary context switches= 2931
# summary of solver processes directly reported to runsolver:
# pid: 1034878
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.2
# total CPU system time (s): 0.826998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61964 second user time and 15.6627 second system time
The end
Begin job on nodeC018 at 2024-07-19 16:32:01 IDJOB=4449795 IDBENCH=176142 IDSOLVER=3061 FILE ID=nodeC018/4449795-1721399509 RUNJOBID= nodeC018-1721399515-1034725 SLURM_JOB_ID= 7545430 Free space on /tmp= 890064 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449795-1721399509/watcher-4449795-1721399509 -o /tmp/evaluation-result-4449795-1721399509/solver-4449795-1721399509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721399515-1034725 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=976194533 HOME/instance-4449795-1721399509.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445 RANDOM SEED=976194533 nodeC018.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 : 3664.139 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.52 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 : 3659.445 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.30 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.174 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.52 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.101 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.30 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 : 3664.291 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.52 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 : 3649.469 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.182 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.52 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 : 3662.258 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125520940 kB MemAvailable: 129659184 kB Buffers: 528740 kB Cached: 4410132 kB SwapCached: 148 kB Active: 1082848 kB Inactive: 4267360 kB Active(anon): 1564 kB Inactive(anon): 455552 kB Active(file): 1081284 kB Inactive(file): 3811808 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 22040 kB Writeback: 0 kB AnonPages: 411204 kB Mapped: 118768 kB Shmem: 45784 kB KReclaimable: 169948 kB Slab: 272884 kB SReclaimable: 169948 kB SUnreclaim: 102936 kB KernelStack: 4112 kB PageTables: 10240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 829188 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 37568 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 283348 kB DirectMap2M: 28850176 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890080 MiB End job on nodeC018 at 2024-07-19 17:32:10