Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | 6 | 3600.07 | 3610.11 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb |
| MD5SUM | bf082a5f314776883f0e32420df0edd0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 21.8846 |
| 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 | 351 |
| Total number of constraints | 12753 |
| Number of constraints which are clauses | 12740 |
| 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.09/0.20 c 12753 constraints 0.09/0.20 c after presolve 14266 0.09/0.21 c Finish cloning data from SAT to LS 0.09/0.21 c intsize: 4 60.16/60.33 c Use LS-small 60.16/60.33 o 12 60.16/60.33 o 9 60.16/60.33 o 8 60.16/60.33 o 6 60.16/60.33 c SAT by LS-small 60.16/60.33 o 6 3600.06/3610.11 c Program interrupted by user. 3600.06/3610.11 s SATISFIABLE 3600.06/3610.11 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
OK 6
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: 63837 MiB (62794 MiB free)
memory of node 1: 64465 MiB (63456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517697-1751520503/watcher-4517697-1751520503 -o /tmp/evaluation-result-4517697-1751520503/solver-4517697-1751520503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751516821-70542 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517697-1751520503.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=71091, runsolver pid=71088
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.30 4.16 4.11 5/250 71092
/proc/meminfo: memFree=129277368/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=55372 memory=14192 CPUtime=0.09 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 2429 0 0 0 9 0 0 0 20 0 1 0 67729152 56700928 3548 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 13843 3548 1792 2271 0 8481 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55372 KiB
Current children cumulated memory: 14192 KiB
[startup+0.212655 s]*
/proc/loadavg: 4.30 4.16 4.11 5/250 71092
/proc/meminfo: memFree=129266784/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=0.2 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4801 0 0 0 19 1 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+0.312715 s]*
/proc/loadavg: 4.30 4.16 4.11 5/250 71092
/proc/meminfo: memFree=129266532/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=0.3 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 28 2 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+0.700235 s]
/proc/loadavg: 4.30 4.16 4.11 5/250 71092
/proc/meminfo: memFree=129266536/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=0.68 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 64 4 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+1.50024 s]
/proc/loadavg: 4.30 4.16 4.11 6/250 71092
/proc/meminfo: memFree=129266536/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=1.48 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 139 9 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+3.11195 s]
/proc/loadavg: 4.30 4.16 4.11 6/250 71092
/proc/meminfo: memFree=129266820/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=3.08 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 289 19 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+6.30023 s]
/proc/loadavg: 4.36 4.18 4.12 6/250 71092
/proc/meminfo: memFree=129267364/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=6.27 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 587 40 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+12.7002 s]
/proc/loadavg: 4.49 4.21 4.13 6/250 71092
/proc/meminfo: memFree=129263532/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=12.66 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 1185 81 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.83 4.29 4.16 6/250 71092
/proc/meminfo: memFree=129274044/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=25.43 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 2378 165 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+51.1119 s]
/proc/loadavg: 5.30 4.45 4.21 6/250 71093
/proc/meminfo: memFree=129253300/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=63236 memory=22356 CPUtime=50.99 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 4804 0 0 0 4754 345 0 0 20 0 1 0 67729152 64753664 5589 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 15809 5589 1888 2271 0 10447 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 63236 KiB
Current children cumulated memory: 22356 KiB
[startup+102.3 s]
/proc/loadavg: 5.28 4.58 4.27 6/249 71096
/proc/meminfo: memFree=129235376/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=71616 memory=39060 CPUtime=102.05 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 6907 0 0 0 9786 419 0 0 20 0 1 0 67729152 73334784 9765 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 17904 9765 1920 2271 0 12542 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 71616 KiB
Current children cumulated memory: 39060 KiB
[startup+162.3 s]
/proc/loadavg: 4.66 4.55 4.28 6/250 71104
/proc/meminfo: memFree=129211392/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=73828 memory=44180 CPUtime=161.88 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 7478 0 0 0 15757 431 0 0 20 0 1 0 67729152 75599872 11045 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 18457 11045 1920 2271 0 13095 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 73828 KiB
Current children cumulated memory: 44180 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 4.48 4.27 6/250 71106
/proc/meminfo: memFree=129219224/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=76508 memory=46868 CPUtime=221.72 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 8160 0 0 0 21729 443 0 0 20 0 1 0 67729152 78344192 11717 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 19127 11717 1920 2271 0 13765 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 76508 KiB
Current children cumulated memory: 46868 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.40 4.26 6/250 71108
/proc/meminfo: memFree=129221628/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=77620 memory=49948 CPUtime=281.56 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 8442 0 0 0 27701 455 0 0 20 0 1 0 67729152 79482880 12487 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 19405 12487 1920 2271 0 14043 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 77620 KiB
Current children cumulated memory: 49948 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.34 4.25 6/250 71110
/proc/meminfo: memFree=129222280/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=78000 memory=50460 CPUtime=341.4 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 8559 0 0 0 33672 468 0 0 20 0 1 0 67729152 79872000 12615 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 19500 12615 1920 2271 0 14138 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 78000 KiB
Current children cumulated memory: 50460 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.31 4.24 6/251 71113
/proc/meminfo: memFree=129210500/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=79212 memory=51612 CPUtime=401.24 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 8853 0 0 0 39642 482 0 0 20 0 1 0 67729152 81113088 12903 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 19803 12903 1920 2271 0 14441 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 79212 KiB
Current children cumulated memory: 51612 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.26 4.23 6/250 71115
/proc/meminfo: memFree=129206536/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=80904 memory=53276 CPUtime=461.08 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 9279 0 0 0 45611 497 0 0 20 0 1 0 67729152 82845696 13319 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 20226 13319 1920 2271 0 14864 0
Current children cumulated CPU time: 461.08 s
Current children cumulated vsize: 80904 KiB
################
# More data... #
################
Current children cumulated memory: 65580 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/250 71243
/proc/meminfo: memFree=129175436/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=91372 memory=65708 CPUtime=2914.26 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 11923 0 0 0 290403 1023 0 0 20 0 1 0 67729152 93564928 16427 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 22843 16427 1920 2271 0 17481 0
Current children cumulated CPU time: 2914.26 s
Current children cumulated vsize: 91372 KiB
Current children cumulated memory: 65708 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 71245
/proc/meminfo: memFree=129172896/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=91372 memory=65708 CPUtime=2974.11 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 11923 0 0 0 296375 1036 0 0 20 0 1 0 67729152 93564928 16427 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 22843 16427 1920 2271 0 17481 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 91372 KiB
Current children cumulated memory: 65708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/249 71247
/proc/meminfo: memFree=129174012/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=91372 memory=65708 CPUtime=3033.94 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 11923 0 0 0 302347 1047 0 0 20 0 1 0 67729152 93564928 16427 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 22843 16427 1920 2271 0 17481 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 91372 KiB
Current children cumulated memory: 65708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/250 71252
/proc/meminfo: memFree=129173768/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=91664 memory=65964 CPUtime=3093.78 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 11996 0 0 0 308320 1058 0 0 20 0 1 0 67729152 93863936 16491 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 22916 16491 1920 2271 0 17554 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 91664 KiB
Current children cumulated memory: 65964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/250 71258
/proc/meminfo: memFree=129172792/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92012 memory=66348 CPUtime=3153.62 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12083 0 0 0 314291 1071 0 0 20 0 1 0 67729152 94220288 16587 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23003 16587 1920 2271 0 17641 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 92012 KiB
Current children cumulated memory: 66348 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/250 71260
/proc/meminfo: memFree=129172224/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92012 memory=66348 CPUtime=3213.46 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12083 0 0 0 320263 1083 0 0 20 0 1 0 67729152 94220288 16587 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23003 16587 1920 2271 0 17641 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 92012 KiB
Current children cumulated memory: 66348 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/250 71262
/proc/meminfo: memFree=129172096/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92012 memory=66348 CPUtime=3273.3 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12083 0 0 0 326236 1094 0 0 20 0 1 0 67729152 94220288 16587 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23003 16587 1920 2271 0 17641 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 92012 KiB
Current children cumulated memory: 66348 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/250 71264
/proc/meminfo: memFree=129163568/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92376 memory=66732 CPUtime=3333.11 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12174 0 0 0 332207 1104 0 0 20 0 1 0 67729152 94593024 16683 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23094 16683 1920 2271 0 17732 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 92376 KiB
Current children cumulated memory: 66732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/250 71266
/proc/meminfo: memFree=129163364/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92376 memory=66732 CPUtime=3392.92 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12184 0 0 0 338176 1116 0 0 20 0 1 0 67729152 94593024 16683 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23094 16683 1920 2271 0 17732 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 92376 KiB
Current children cumulated memory: 66732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 71269
/proc/meminfo: memFree=129162708/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92508 memory=66860 CPUtime=3452.73 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12204 0 0 0 344143 1130 0 0 20 0 1 0 67729152 94728192 16715 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23127 16715 1920 2271 0 17765 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 92508 KiB
Current children cumulated memory: 66860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 71271
/proc/meminfo: memFree=129162436/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=92904 memory=67244 CPUtime=3512.54 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12307 0 0 0 350110 1144 0 0 20 0 1 0 67729152 95133696 16811 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23226 16811 1920 2271 0 17864 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 92904 KiB
Current children cumulated memory: 67244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 71317
/proc/meminfo: memFree=129260724/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=93036 memory=67372 CPUtime=3572.35 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12359 0 0 0 356081 1154 0 0 20 0 1 0 67729152 95268864 16843 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23259 16843 1920 2271 0 17897 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 93036 KiB
Current children cumulated memory: 67372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 71408
/proc/meminfo: memFree=129295128/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=93036 memory=67372 CPUtime=3600.06 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12363 0 0 0 358845 1161 0 0 20 0 1 0 67729152 95268864 16843 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23259 16843 1920 2271 0 17897 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 93036 KiB
Current children cumulated memory: 67372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 71091 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3588.45 s, system=11.6135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 71408
/proc/meminfo: memFree=129295128/131382120 swapFree=33010416/33010684
[pid=71091] ppid=71088 vsize=93036 memory=67372 CPUtime=3600.06 cores=5,7
/proc/71091/stat : 71091 (ExactPR) R 71088 71091 70529 0 -1 4194304 12363 0 0 0 358845 1161 0 0 20 0 1 0 67729152 95268864 16843 18446744073709551615 94901253640192 94901262940037 140736371519216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94901264726336 94901264765416 94901293379584 140736371521925 140736371522060 140736371522060 140736371527662 0
/proc/71091/statm: 23259 16843 1920 2271 0 17897 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 93036 KiB
Current children cumulated memory: 67372 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.07
CPU user time (s): 3588.45
CPU system time (s): 11.6135
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 93036
Max. memory (cumulated for all children) (KiB): 67372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.45
system time used= 11.6135
maximum resident set size= 67756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12377
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= 127
involuntary context switches= 1873
# summary of solver processes directly reported to runsolver:
# pid: 71091
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.45
# total CPU system time (s): 11.6135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1284 second user time and 31.5538 second system time
The end
Begin job on nodeC002 at 2025-07-03 07:28:23 IDJOB=4517697 IDBENCH=176167 IDSOLVER=3324 FILE ID=nodeC002/4517697-1751520503 RUNJOBID= nodeC002-1751516821-70542 SLURM_JOB_ID= 9598630 Free space on /tmp= 432712 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=7.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517697-1751520503/watcher-4517697-1751520503 -o /tmp/evaluation-result-4517697-1751520503/solver-4517697-1751520503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751516821-70542 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517697-1751520503.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0 RANDOM SEED=1406440024 nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 3662.437 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 2993.012 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 1197.283 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 1197.183 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 3662.370 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 1197.219 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129282152 kB MemAvailable: 129831256 kB Buffers: 2128 kB Cached: 1355120 kB SwapCached: 28 kB Active: 452984 kB Inactive: 1052024 kB Active(anon): 159296 kB Inactive(anon): 6404 kB Active(file): 293688 kB Inactive(file): 1045620 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 32996 kB Writeback: 4 kB AnonPages: 150860 kB Mapped: 113984 kB Shmem: 17932 kB KReclaimable: 98848 kB Slab: 182200 kB SReclaimable: 98848 kB SUnreclaim: 83352 kB KernelStack: 4032 kB PageTables: 3372 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 560936 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432700 MiB End job on nodeC002 at 2025-07-03 08:28:34