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) | 2 | 3600.04 | 3608.7 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=11.opb |
| MD5SUM | 9b5c30834c5e817deb28aeb7d8484ce1 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 403 |
| Total number of constraints | 13065 |
| Number of constraints which are clauses | 13052 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| 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 | 13 |
| 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 | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| 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.02 o 8 0.00/0.09 o 7 0.00/0.09 o 6 0.00/0.09 o 5 0.00/0.09 o 4 0.00/0.09 o 3 0.00/0.09 o 2 3600.03/3608.70 c Program interrupted by user. 3600.03/3608.70 s SATISFIABLE 3600.03/3608.70 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
OK 2
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 (62533 MiB free)
memory of node 1: 64473 MiB (62168 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449830-1721403111/watcher-4449830-1721403111 -o /tmp/evaluation-result-4449830-1721403111/solver-4449830-1721403111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721403124-1020753 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1887123091 HOME/instance-4449830-1721403111.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
Current StackSize limit: 8192 KiB
solver pid=1020803, runsolver pid=1020794
[startup+0.100514 s]*
/proc/loadavg: 1.08 1.08 1.05 8/260 1020814
/proc/meminfo: memFree=127679176/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=27412 memory=6804 CPUtime=0.1 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 1002 0 0 0 10 0 0 0 20 0 1 0 192474969 28069888 1701 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 6853 1701 835 746 0 5917 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27412 KiB
Current children cumulated memory: 6804 KiB
[startup+0.206362 s]*
/proc/loadavg: 1.32 1.13 1.06 5/260 1020814
/proc/meminfo: memFree=127671636/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=27544 memory=9644 CPUtime=0.2 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 1194 0 0 0 20 0 0 0 20 0 1 0 192474969 28205056 2411 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 6886 2411 835 746 0 5950 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27544 KiB
Current children cumulated memory: 9644 KiB
[startup+0.305045 s]*
/proc/loadavg: 1.32 1.13 1.06 6/260 1020814
/proc/meminfo: memFree=127668460/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=27676 memory=9904 CPUtime=0.3 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 1238 0 0 0 30 0 0 0 20 0 1 0 192474969 28340224 2476 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 6919 2476 835 746 0 5983 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27676 KiB
Current children cumulated memory: 9904 KiB
[startup+0.700162 s]
/proc/loadavg: 1.32 1.13 1.06 6/260 1020814
/proc/meminfo: memFree=127663400/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=28548 memory=12572 CPUtime=0.69 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 1554 0 0 0 69 0 0 0 20 0 1 0 192474969 29233152 3143 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 7137 3143 835 746 0 6201 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 12572 KiB
[startup+1.50015 s]
/proc/loadavg: 1.32 1.13 1.06 5/253 1020845
/proc/meminfo: memFree=127668472/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=29036 memory=13352 CPUtime=1.49 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 1990 0 0 0 149 0 0 0 20 0 1 0 192474969 29732864 3338 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 7259 3338 835 746 0 6323 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29036 KiB
Current children cumulated memory: 13352 KiB
[startup+3.10594 s]
/proc/loadavg: 1.32 1.13 1.06 5/253 1020847
/proc/meminfo: memFree=127665292/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=29660 memory=13976 CPUtime=3.09 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 2657 0 0 0 309 0 0 0 20 0 1 0 192474969 30371840 3494 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 7415 3494 835 746 0 6479 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29660 KiB
Current children cumulated memory: 13976 KiB
[startup+6.30016 s]
/proc/loadavg: 1.45 1.16 1.07 5/253 1020847
/proc/meminfo: memFree=127663040/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=30080 memory=14396 CPUtime=6.27 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 3569 0 0 0 627 0 0 0 20 0 1 0 192474969 30801920 3599 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 7520 3599 835 746 0 6584 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30080 KiB
Current children cumulated memory: 14396 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.21 1.09 5/253 1020849
/proc/meminfo: memFree=127659780/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=31208 memory=15488 CPUtime=12.65 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 5568 0 0 0 1265 0 0 0 20 0 1 0 192474969 31956992 3872 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 7802 3872 835 746 0 6866 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31208 KiB
Current children cumulated memory: 15488 KiB
[startup+25.5002 s]
/proc/loadavg: 1.86 1.27 1.11 5/253 1020850
/proc/meminfo: memFree=127650396/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=32884 memory=19132 CPUtime=25.41 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 8991 0 0 0 2540 1 0 0 20 0 1 0 192474969 33673216 4783 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 8221 4783 835 746 0 7285 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 32884 KiB
Current children cumulated memory: 19132 KiB
[startup+51.106 s]
/proc/loadavg: 2.31 1.44 1.17 5/253 1020853
/proc/meminfo: memFree=127641052/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=34136 memory=20268 CPUtime=50.94 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 15078 0 0 0 5092 2 0 0 20 0 1 0 192474969 34955264 5067 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 8534 5067 835 746 0 7598 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 34136 KiB
Current children cumulated memory: 20268 KiB
[startup+102.3 s]
/proc/loadavg: 2.77 1.70 1.28 5/252 1020864
/proc/meminfo: memFree=127631860/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=35792 memory=21952 CPUtime=101.99 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 26111 0 0 0 10195 4 0 0 20 0 1 0 192474969 36651008 5488 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 8948 5488 835 746 0 8012 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 35792 KiB
Current children cumulated memory: 21952 KiB
[startup+162.3 s]
/proc/loadavg: 2.97 1.95 1.39 5/252 1020875
/proc/meminfo: memFree=127626284/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=37424 memory=23844 CPUtime=161.84 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 37334 0 0 0 16178 6 0 0 20 0 1 0 192474969 38322176 5961 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 9356 5961 835 746 0 8420 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 37424 KiB
Current children cumulated memory: 23844 KiB
[startup+222.3 s]
/proc/loadavg: 3.03 2.16 1.50 5/248 1020885
/proc/meminfo: memFree=127623056/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=38032 memory=24452 CPUtime=221.7 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 48058 0 0 0 22162 8 0 0 20 0 1 0 192474969 38944768 6113 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 9508 6113 835 746 0 8572 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 38032 KiB
Current children cumulated memory: 24452 KiB
[startup+282.3 s]
/proc/loadavg: 3.04 2.33 1.60 5/248 1020895
/proc/meminfo: memFree=127617340/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=39396 memory=27836 CPUtime=281.55 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 57927 0 0 0 28146 9 0 0 20 0 1 0 192474969 40341504 6959 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 9849 6959 835 746 0 8913 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 39396 KiB
Current children cumulated memory: 27836 KiB
[startup+342.3 s]
/proc/loadavg: 3.06 2.47 1.70 5/247 1020907
/proc/meminfo: memFree=127613944/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=40420 memory=28788 CPUtime=341.41 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 67840 0 0 0 34130 11 0 0 20 0 1 0 192474969 41390080 7197 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 10105 7197 835 746 0 9169 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 28788 KiB
[startup+402.3 s]
/proc/loadavg: 3.13 2.60 1.79 5/247 1020917
/proc/meminfo: memFree=127608728/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=41332 memory=29680 CPUtime=401.26 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 77970 0 0 0 40114 12 0 0 20 0 1 0 192474969 42323968 7420 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 10333 7420 835 746 0 9397 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 41332 KiB
Current children cumulated memory: 29680 KiB
[startup+462.3 s]
/proc/loadavg: 3.10 2.69 1.87 5/247 1020927
/proc/meminfo: memFree=127606104/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=42004 memory=30328 CPUtime=461.12 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 87832 0 0 0 46098 14 0 0 20 0 1 0 192474969 43012096 7582 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 10501 7582 835 746 0 9565 0
################
# More data... #
################
Current children cumulated memory: 48428 KiB
[startup+2922.3 s]
/proc/loadavg: 3.04 3.08 3.01 5/251 1021944
/proc/meminfo: memFree=127538052/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=56120 memory=48428 CPUtime=2915.26 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 263717 0 0 0 291483 43 0 0 20 0 1 0 192474969 57466880 12107 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14030 12107 835 746 0 13094 0
Current children cumulated CPU time: 2915.26 s
Current children cumulated vsize: 56120 KiB
Current children cumulated memory: 48428 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.09 3.02 5/251 1021955
/proc/meminfo: memFree=127536956/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=56120 memory=48556 CPUtime=2975.12 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 263750 0 0 0 297469 43 0 0 20 0 1 0 192474969 57466880 12139 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14030 12139 835 746 0 13094 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 56120 KiB
Current children cumulated memory: 48556 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.09 3.02 5/251 1021965
/proc/meminfo: memFree=127535944/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=56312 memory=48808 CPUtime=3034.97 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 263833 0 0 0 303454 43 0 0 20 0 1 0 192474969 57663488 12202 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14078 12202 835 746 0 13142 0
Current children cumulated CPU time: 3034.97 s
Current children cumulated vsize: 56312 KiB
Current children cumulated memory: 48808 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.08 3.02 5/251 1021976
/proc/meminfo: memFree=127534556/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=56792 memory=49228 CPUtime=3094.83 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 263946 0 0 0 309440 43 0 0 20 0 1 0 192474969 58155008 12307 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14198 12307 835 746 0 13262 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 56792 KiB
Current children cumulated memory: 49228 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.08 3.02 5/251 1021987
/proc/meminfo: memFree=127533400/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=57048 memory=49380 CPUtime=3154.68 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264022 0 0 0 315425 43 0 0 20 0 1 0 192474969 58417152 12345 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14262 12345 835 746 0 13326 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 57048 KiB
Current children cumulated memory: 49380 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.10 3.02 5/249 1022384
/proc/meminfo: memFree=127632348/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=57208 memory=49644 CPUtime=3214.54 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264080 0 0 0 321411 43 0 0 20 0 1 0 192474969 58580992 12411 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14302 12411 835 746 0 13366 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 57208 KiB
Current children cumulated memory: 49644 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.11 3.03 5/249 1022394
/proc/meminfo: memFree=127631272/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=57208 memory=49644 CPUtime=3274.4 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264114 0 0 0 327397 43 0 0 20 0 1 0 192474969 58580992 12411 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14302 12411 835 746 0 13366 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 57208 KiB
Current children cumulated memory: 49644 KiB
[startup+3342.3 s]
/proc/loadavg: 3.06 3.08 3.02 5/249 1022405
/proc/meminfo: memFree=127630136/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=57624 memory=50024 CPUtime=3334.26 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264238 0 0 0 333383 43 0 0 20 0 1 0 192474969 59006976 12506 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14406 12506 835 746 0 13470 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 57624 KiB
Current children cumulated memory: 50024 KiB
[startup+3402.3 s]
/proc/loadavg: 3.06 3.08 3.02 5/251 1022585
/proc/meminfo: memFree=127628880/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=57624 memory=50024 CPUtime=3394.11 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264256 0 0 0 339368 43 0 0 20 0 1 0 192474969 59006976 12506 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14406 12506 835 746 0 13470 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 57624 KiB
Current children cumulated memory: 50024 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.10 3.03 5/251 1022595
/proc/meminfo: memFree=127627792/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=57816 memory=50140 CPUtime=3453.97 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264323 0 0 0 345354 43 0 0 20 0 1 0 192474969 59203584 12535 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14454 12535 835 746 0 13518 0
Current children cumulated CPU time: 3453.97 s
Current children cumulated vsize: 57816 KiB
Current children cumulated memory: 50140 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.09 3.03 5/252 1022663
/proc/meminfo: memFree=127624492/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=59864 memory=52364 CPUtime=3513.83 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264854 0 0 0 351340 43 0 0 20 0 1 0 192474969 61300736 13091 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14966 13091 835 746 0 14030 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 59864 KiB
Current children cumulated memory: 52364 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.09 3.03 5/252 1022674
/proc/meminfo: memFree=127623136/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=59864 memory=52364 CPUtime=3573.69 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264872 0 0 0 357326 43 0 0 20 0 1 0 192474969 61300736 13091 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14966 13091 835 746 0 14030 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 59864 KiB
Current children cumulated memory: 52364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 3.07 3.08 3.02 5/252 1022678
/proc/meminfo: memFree=127622508/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=59864 memory=52364 CPUtime=3600.03 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264888 0 0 0 359960 43 0 0 20 0 1 0 192474969 61300736 13091 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14966 13091 835 746 0 14030 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 59864 KiB
Current children cumulated memory: 52364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 1020803 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.434959 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 3.07 3.08 3.02 5/252 1022678
/proc/meminfo: memFree=127622508/131524600 swapFree=131071996/131071996
[pid=1020803] ppid=1020794 vsize=59864 memory=52364 CPUtime=3600.03 cores=5,7
/proc/1020803/stat : 1020803 (Exact_nosoplex) R 1020794 1020803 1018839 0 -1 4194304 264888 0 0 0 359960 43 0 0 20 0 1 0 192474969 61300736 13091 134679101440 4194304 7248369 140733047919392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43986944 140733047927722 140733047927901 140733047927901 140733047934918 0
/proc/1020803/statm: 14966 13091 835 746 0 14030 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 59864 KiB
Current children cumulated memory: 52364 KiB
Child status: 10
Real time (s): 3608.7
CPU time (s): 3600.04
CPU user time (s): 3599.6
CPU system time (s): 0.434959
CPU usage (%): 99.7599
Max. virtual memory (cumulated for all children) (KiB): 59864
Max. memory (cumulated for all children) (KiB): 52364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.434959
maximum resident set size= 54220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264889
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= 17
involuntary context switches= 3115
# summary of solver processes directly reported to runsolver:
# pid: 1020803
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.434959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01181 second user time and 17.3304 second system time
The end
Begin job on nodeC021 at 2024-07-19 17:32:04 IDJOB=4449830 IDBENCH=176148 IDSOLVER=3061 FILE ID=nodeC021/4449830-1721403111 RUNJOBID= nodeC021-1721403124-1020753 SLURM_JOB_ID= 7545443 Free space on /tmp= 890084 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=13-t=11.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-4449830-1721403111/watcher-4449830-1721403111 -o /tmp/evaluation-result-4449830-1721403111/solver-4449830-1721403111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721403124-1020753 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1887123091 HOME/instance-4449830-1721403111.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1 RANDOM SEED=1887123091 nodeC021.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 : 3408.641 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.42 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 : 3506.390 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.23 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 : 3496.704 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.42 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 : 3542.497 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.23 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 : 3176.902 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.42 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 : 3594.148 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.23 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 : 3586.046 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.42 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 : 3611.336 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127696716 kB MemAvailable: 129682880 kB Buffers: 534640 kB Cached: 2280208 kB SwapCached: 0 kB Active: 1053568 kB Inactive: 2125020 kB Active(anon): 1440 kB Inactive(anon): 408900 kB Active(file): 1052128 kB Inactive(file): 1716120 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20704 kB Writeback: 164 kB AnonPages: 363724 kB Mapped: 106600 kB Shmem: 45912 kB KReclaimable: 115480 kB Slab: 230784 kB SReclaimable: 115480 kB SUnreclaim: 115304 kB KernelStack: 3888 kB PageTables: 9540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 749032 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71328 kB HardwareCorrupted: 0 kB AnonHugePages: 239616 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: 260820 kB DirectMap2M: 25726976 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 890068 MiB End job on nodeC021 at 2024-07-19 18:32:13