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) | -80 | 3600.02 | 3612.12 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb |
| MD5SUM | 609ffeb3252de5d8ecab6cf3f101c41d |
| 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 | -80 |
| Best CPU time to get the best result obtained on this benchmark | 2.03794 |
| 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 | 441 |
| Total number of constraints | 576 |
| Number of constraints which are clauses | 288 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 288 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 389 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 420 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 420 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.04 c 576 constraints 0.00/0.04 c after presolve 977 0.00/0.05 c Finish cloning data from SAT to LS 0.00/0.05 c intsize: 9 60.00/60.23 c Use LS-small 60.00/60.23 o 0 60.00/60.23 o -2 60.00/60.23 o -4 60.00/60.23 o -6 60.00/60.23 o -8 60.00/60.23 o -10 60.00/60.23 o -12 60.00/60.23 o -14 60.00/60.23 o -16 60.00/60.23 o -57 60.00/60.23 o -61 60.00/60.23 o -66 60.00/60.23 o -69 60.00/60.23 o -72 60.00/60.23 o -73 60.00/60.23 o -74 60.00/60.23 o -76 60.00/60.23 o -77 60.00/60.23 o -78 60.00/60.23 o -79 60.00/60.23 o -80 60.00/60.23 c SAT by LS-small 60.00/60.23 o -80 3600.01/3612.11 c Program interrupted by user. 3600.01/3612.11 s SATISFIABLE 3600.01/3612.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 -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 -x428 -x429 -x430 -x431 x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441
OK -80
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 (63121 MiB free)
memory of node 1: 64465 MiB (63791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508757-1751513882/watcher-4508757-1751513882 -o /tmp/evaluation-result-4508757-1751513882/solver-4508757-1751513882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71038 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4508757-1751513882.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71083, runsolver pid=71072
[startup+0.100073 s]*
/proc/loadavg: 0.48 1.07 1.90 7/248 71084
/proc/meminfo: memFree=129943060/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=0.09 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 8 1 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+0.214002 s]*
/proc/loadavg: 0.48 1.07 1.90 7/249 71085
/proc/meminfo: memFree=129939376/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=0.2 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 17 3 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+0.31392 s]*
/proc/loadavg: 0.48 1.07 1.90 6/251 71088
/proc/meminfo: memFree=129931564/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=0.3 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 25 5 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+0.700302 s]
/proc/loadavg: 0.48 1.07 1.90 7/253 71094
/proc/meminfo: memFree=129801196/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=0.68 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 57 11 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+1.50024 s]
/proc/loadavg: 0.48 1.07 1.90 7/253 71094
/proc/meminfo: memFree=129706056/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=1.47 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 124 23 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+3.11327 s]
/proc/loadavg: 0.84 1.13 1.91 7/253 71094
/proc/meminfo: memFree=129533788/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=3.07 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 260 47 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+6.30024 s]
/proc/loadavg: 0.84 1.13 1.91 7/253 71094
/proc/meminfo: memFree=129059092/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=6.25 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 987 0 0 0 520 105 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+12.7003 s]
/proc/loadavg: 1.33 1.23 1.94 7/253 71094
/proc/meminfo: memFree=129059276/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=12.64 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 989 0 0 0 1044 220 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+25.5003 s]
/proc/loadavg: 1.74 1.32 1.96 7/253 71094
/proc/meminfo: memFree=129059100/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=25.4 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 989 0 0 0 2092 448 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+51.1128 s]
/proc/loadavg: 2.51 1.53 2.01 7/253 71095
/proc/meminfo: memFree=129058912/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=50968 memory=10624 CPUtime=50.93 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 989 0 0 0 4178 915 0 0 20 0 1 0 67067299 52191232 2656 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 12742 2656 1888 2271 0 7380 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 10624 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.97 2.14 7/253 71098
/proc/meminfo: memFree=128414680/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=68312 memory=39180 CPUtime=101.94 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 5722 0 0 0 9080 1114 0 0 20 0 1 0 67067299 69951488 9795 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 17078 9795 1888 2271 0 11716 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 68312 KiB
Current children cumulated memory: 39180 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.35 2.26 7/253 71100
/proc/meminfo: memFree=128177684/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=73772 memory=44280 CPUtime=161.7 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 7670 0 0 0 15019 1151 0 0 20 0 1 0 67067299 75542528 11070 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 18443 11070 1888 2271 0 13081 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 73772 KiB
Current children cumulated memory: 44280 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.69 2.38 7/253 71103
/proc/meminfo: memFree=128071448/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=77360 memory=49668 CPUtime=221.47 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 8925 0 0 0 20962 1185 0 0 20 0 1 0 67067299 79216640 12417 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 19340 12417 1888 2271 0 13978 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 77360 KiB
Current children cumulated memory: 49668 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.93 2.49 7/252 71109
/proc/meminfo: memFree=127967728/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=79416 memory=52080 CPUtime=281.22 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 9827 0 0 0 26901 1221 0 0 20 0 1 0 67067299 81321984 13020 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 19854 13020 1888 2271 0 14492 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 79416 KiB
Current children cumulated memory: 52080 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.16 2.60 7/251 71111
/proc/meminfo: memFree=127857316/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=95176 memory=58652 CPUtime=340.99 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 11293 0 0 0 32842 1257 0 0 20 0 1 0 67067299 97460224 14663 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 23794 14663 1888 2271 0 18432 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 95176 KiB
Current children cumulated memory: 58652 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.33 2.69 7/250 71113
/proc/meminfo: memFree=127745664/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=101544 memory=67940 CPUtime=400.75 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 12575 0 0 0 38782 1293 0 0 20 0 1 0 67067299 103981056 16985 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 25386 16985 1888 2271 0 20024 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 101544 KiB
Current children cumulated memory: 67940 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.47 2.78 7/250 71115
/proc/meminfo: memFree=127698136/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=102760 memory=69348 CPUtime=460.52 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 12937 0 0 0 44727 1325 0 0 20 0 1 0 67067299 105226240 17337 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 25690 17337 1888 2271 0 20328 0
################
# More data... #
################
Current children cumulated memory: 98008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.03 7/250 71240
/proc/meminfo: memFree=116898392/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=120684 memory=98392 CPUtime=2912.34 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17550 0 0 0 288704 2530 0 0 20 0 1 0 67067299 123580416 24598 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30171 24598 1888 2271 0 24809 0
Current children cumulated CPU time: 2912.34 s
Current children cumulated vsize: 120684 KiB
Current children cumulated memory: 98392 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.03 7/250 71242
/proc/meminfo: memFree=111907092/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=120684 memory=98392 CPUtime=2972.16 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17550 0 0 0 294658 2558 0 0 20 0 1 0 67067299 123580416 24598 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30171 24598 1888 2271 0 24809 0
Current children cumulated CPU time: 2972.16 s
Current children cumulated vsize: 120684 KiB
Current children cumulated memory: 98392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.03 7/250 71245
/proc/meminfo: memFree=116807480/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121324 memory=98904 CPUtime=3031.97 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17686 0 0 0 300606 2591 0 0 20 0 1 0 67067299 124235776 24726 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30331 24726 1888 2271 0 24969 0
Current children cumulated CPU time: 3031.97 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 98904 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.03 7/249 71247
/proc/meminfo: memFree=116754204/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121324 memory=98904 CPUtime=3091.79 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17692 0 0 0 306558 2621 0 0 20 0 1 0 67067299 124235776 24726 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30331 24726 1888 2271 0 24969 0
Current children cumulated CPU time: 3091.79 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 98904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.03 7/249 71249
/proc/meminfo: memFree=116723616/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121324 memory=98904 CPUtime=3151.59 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17692 0 0 0 312505 2654 0 0 20 0 1 0 67067299 124235776 24726 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30331 24726 1888 2271 0 24969 0
Current children cumulated CPU time: 3151.59 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 98904 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.03 7/250 71252
/proc/meminfo: memFree=116704776/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121324 memory=98904 CPUtime=3211.41 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17692 0 0 0 318458 2683 0 0 20 0 1 0 67067299 124235776 24726 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30331 24726 1888 2271 0 24969 0
Current children cumulated CPU time: 3211.41 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 98904 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.04 7/250 71258
/proc/meminfo: memFree=116641972/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121324 memory=99032 CPUtime=3271.22 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17722 0 0 0 324411 2711 0 0 20 0 1 0 67067299 124235776 24758 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30331 24758 1888 2271 0 24969 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 99032 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.03 7/250 71260
/proc/meminfo: memFree=116602072/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121324 memory=99032 CPUtime=3331.04 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17725 0 0 0 330362 2742 0 0 20 0 1 0 67067299 124235776 24758 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30331 24758 1888 2271 0 24969 0
Current children cumulated CPU time: 3331.04 s
Current children cumulated vsize: 121324 KiB
Current children cumulated memory: 99032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.04 7/250 71262
/proc/meminfo: memFree=116541200/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121580 memory=99160 CPUtime=3390.85 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17756 0 0 0 336311 2774 0 0 20 0 1 0 67067299 124497920 24790 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30395 24790 1888 2271 0 25033 0
Current children cumulated CPU time: 3390.85 s
Current children cumulated vsize: 121580 KiB
Current children cumulated memory: 99160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.04 7/250 71264
/proc/meminfo: memFree=116464364/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=121772 memory=99416 CPUtime=3450.67 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17821 0 0 0 342262 2805 0 0 20 0 1 0 67067299 124694528 24854 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30443 24854 1888 2271 0 25081 0
Current children cumulated CPU time: 3450.67 s
Current children cumulated vsize: 121772 KiB
Current children cumulated memory: 99416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.04 7/250 71266
/proc/meminfo: memFree=116396024/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=122156 memory=99928 CPUtime=3510.48 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 17935 0 0 0 348210 2838 0 0 20 0 1 0 67067299 125087744 24982 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30539 24982 1888 2271 0 25177 0
Current children cumulated CPU time: 3510.48 s
Current children cumulated vsize: 122156 KiB
Current children cumulated memory: 99928 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.04 7/249 71268
/proc/meminfo: memFree=116308300/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=122988 memory=100568 CPUtime=3570.3 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 18107 0 0 0 354165 2865 0 0 20 0 1 0 67067299 125939712 25142 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30747 25142 1888 2271 0 25385 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 122988 KiB
Current children cumulated memory: 100568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.15 4.10 4.05 5/244 71351
/proc/meminfo: memFree=129763284/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=122988 memory=100568 CPUtime=3600.01 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 18108 0 0 0 357121 2880 0 0 20 0 1 0 67067299 125939712 25142 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30747 25142 1888 2271 0 25385 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122988 KiB
Current children cumulated memory: 100568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 71083 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3571.21 s, system=28.8086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.15 4.10 4.05 5/244 71351
/proc/meminfo: memFree=129763284/131382120 swapFree=33010160/33010684
[pid=71083] ppid=71072 vsize=122988 memory=100568 CPUtime=3600.01 cores=5,7
/proc/71083/stat : 71083 (ExactPR) R 71072 71083 71022 0 -1 4194304 18108 0 0 0 357121 2880 0 0 20 0 1 0 67067299 125939712 25142 18446744073709551615 94096291627008 94096300926853 140730331954768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94096302713152 94096302752232 94096331747328 140730331957637 140730331957772 140730331957772 140730331963374 0
/proc/71083/statm: 30747 25142 1888 2271 0 25385 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122988 KiB
Current children cumulated memory: 100568 KiB
Child status: 10
Real time (s): 3612.12
CPU time (s): 3600.02
CPU user time (s): 3571.21
CPU system time (s): 28.8086
CPU usage (%): 99.6651
Max. virtual memory (cumulated for all children) (KiB): 122988
Max. memory (cumulated for all children) (KiB): 100568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.21
system time used= 28.8086
maximum resident set size= 101080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18124
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= 165
involuntary context switches= 20444
# summary of solver processes directly reported to runsolver:
# pid: 71083
# total CPU time (s): 3600.02
# total CPU user time (s): 3571.21
# total CPU system time (s): 28.8086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2357 second user time and 33.0632 second system time
The end
Begin job on nodeC008 at 2025-07-03 05:38:02 IDJOB=4508757 IDBENCH=158472 IDSOLVER=3324 FILE ID=nodeC008/4508757-1751513882 RUNJOBID= nodeC008-1751513882-71038 SLURM_JOB_ID= 9598620 Free space on /tmp= 432824 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.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-4508757-1751513882/watcher-4508757-1751513882 -o /tmp/evaluation-result-4508757-1751513882/solver-4508757-1751513882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71038 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4508757-1751513882.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d RANDOM SEED=660360674 nodeC008 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 : 1197.282 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.72 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 : 3700.000 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.72 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.214 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.72 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.205 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.72 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 : 1197.216 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.72 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.207 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.72 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 : 1197.207 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.72 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.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129973144 kB MemAvailable: 129967560 kB Buffers: 2128 kB Cached: 790324 kB SwapCached: 16 kB Active: 599220 kB Inactive: 271604 kB Active(anon): 59788 kB Inactive(anon): 36544 kB Active(file): 539432 kB Inactive(file): 235060 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 42128 kB Writeback: 0 kB AnonPages: 81468 kB Mapped: 103496 kB Shmem: 17920 kB KReclaimable: 119100 kB Slab: 203104 kB SReclaimable: 119100 kB SUnreclaim: 84004 kB KernelStack: 3872 kB PageTables: 2820 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 339048 kB VmallocTotal: 34359738367 kB VmallocUsed: 149288 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: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432760 MiB End job on nodeC008 at 2025-07-03 06:38:14