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) | 24619 | 3600.06 | 3609.4 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| 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 | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3585.75 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.12 c 4626 constraints 0.08/0.12 c after presolve 4922 0.08/0.12 c Finish cloning data from SAT to LS 0.08/0.12 c intsize: 17 60.05/60.24 c Use LS-small 60.05/60.24 o 36519 60.05/60.24 o 29623 60.05/60.24 o 29239 60.05/60.24 o 28354 60.05/60.24 o 27938 60.05/60.24 o 27018 60.05/60.24 o 26456 60.05/60.24 o 25397 60.05/60.24 o 25385 60.05/60.24 o 25314 60.05/60.24 o 25246 60.05/60.24 o 24779 60.05/60.24 o 24619 60.05/60.24 c SAT by LS-small 60.05/60.24 o 24619 3600.04/3609.40 c Program interrupted by user. 3600.04/3609.40 s SATISFIABLE 3600.04/3609.40 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 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 x538 x539 -x540
OK 24619
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: 63665 MiB (62917 MiB free)
memory of node 1: 64507 MiB (60907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486493-1751326014/watcher-4486493-1751326014 -o /tmp/evaluation-result-4486493-1751326014/solver-4486493-1751326014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47595 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486493-1751326014.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47652, runsolver pid=47637
[startup+0.100059 s]*
/proc/loadavg: 1.25 1.42 2.31 6/266 47653
/proc/meminfo: memFree=126790212/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=54036 memory=13192 CPUtime=0.08 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2072 0 0 0 7 1 0 0 20 0 1 0 48279192 55332864 3298 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 13509 3298 1792 2271 0 8147 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54036 KiB
Current children cumulated memory: 13192 KiB
[startup+0.205099 s]*
/proc/loadavg: 1.25 1.42 2.31 6/266 47653
/proc/meminfo: memFree=126783344/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=0.18 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 16 2 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+0.305308 s]*
/proc/loadavg: 1.25 1.42 2.31 6/266 47653
/proc/meminfo: memFree=126733696/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=0.28 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 25 3 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+0.700095 s]
/proc/loadavg: 1.25 1.42 2.31 6/266 47653
/proc/meminfo: memFree=126733696/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=0.66 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 60 6 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+1.50009 s]
/proc/loadavg: 1.25 1.42 2.31 6/266 47653
/proc/meminfo: memFree=126733696/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=1.47 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 134 13 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+3.10445 s]
/proc/loadavg: 1.25 1.42 2.31 6/266 47653
/proc/meminfo: memFree=126718880/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=3.06 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 279 27 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+6.30009 s]
/proc/loadavg: 1.56 1.48 2.33 6/266 47653
/proc/meminfo: memFree=126719528/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=6.26 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 569 57 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+12.7001 s]
/proc/loadavg: 1.75 1.52 2.34 6/266 47653
/proc/meminfo: memFree=126719300/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=12.65 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 1149 116 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+25.5001 s]
/proc/loadavg: 2.25 1.64 2.36 6/266 47654
/proc/meminfo: memFree=126719332/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=25.41 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 2302 239 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+51.1044 s]
/proc/loadavg: 2.93 1.85 2.41 6/266 47654
/proc/meminfo: memFree=126719468/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=56336 memory=15624 CPUtime=50.97 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 2617 0 0 0 4611 486 0 0 20 0 1 0 48279192 57688064 3906 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 14084 3906 1856 2271 0 8722 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 15624 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.20 2.50 6/266 47705
/proc/meminfo: memFree=126620440/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=64716 memory=32252 CPUtime=102.04 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 4724 0 0 0 9623 581 0 0 20 0 1 0 48279192 66269184 8063 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 16179 8063 1856 2271 0 10817 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 64716 KiB
Current children cumulated memory: 32252 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.55 2.61 6/266 47707
/proc/meminfo: memFree=126534852/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=67984 memory=35452 CPUtime=161.89 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 5520 0 0 0 15593 596 0 0 20 0 1 0 48279192 69615616 8863 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 16996 8863 1856 2271 0 11634 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 67984 KiB
Current children cumulated memory: 35452 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.83 2.70 6/266 47712
/proc/meminfo: memFree=126555172/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=69052 memory=36476 CPUtime=221.75 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 5785 0 0 0 21564 611 0 0 20 0 1 0 48279192 70709248 9119 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 17263 9119 1856 2271 0 11901 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 69052 KiB
Current children cumulated memory: 36476 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.06 2.79 6/266 47714
/proc/meminfo: memFree=126541460/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=69396 memory=39420 CPUtime=281.59 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 5902 0 0 0 27534 625 0 0 20 0 1 0 48279192 71061504 9855 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 17349 9855 1856 2271 0 11987 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 39420 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.25 2.87 6/264 47716
/proc/meminfo: memFree=126518988/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=69596 memory=39676 CPUtime=341.41 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 5970 0 0 0 33502 639 0 0 20 0 1 0 48279192 71266304 9919 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 17399 9919 1856 2271 0 12037 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 69596 KiB
Current children cumulated memory: 39676 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.42 2.96 6/264 47718
/proc/meminfo: memFree=126531136/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=70292 memory=42272 CPUtime=401.24 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 6139 0 0 0 39471 653 0 0 20 0 1 0 48279192 71979008 10568 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 17573 10568 1856 2271 0 12211 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 70292 KiB
Current children cumulated memory: 42272 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.53 3.03 6/264 47720
/proc/meminfo: memFree=126539144/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=70468 memory=42528 CPUtime=461.06 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 6185 0 0 0 45439 667 0 0 20 0 1 0 48279192 72159232 10632 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 17617 10632 1856 2271 0 12255 0
Current children cumulated CPU time: 461.06 s
################
# More data... #
################
Current children cumulated memory: 49824 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/264 47851
/proc/meminfo: memFree=126487744/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=77844 memory=49952 CPUtime=2854.75 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8101 0 0 0 284208 1267 0 0 20 0 1 0 48279192 79712256 12488 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19461 12488 1856 2271 0 14099 0
Current children cumulated CPU time: 2854.75 s
Current children cumulated vsize: 77844 KiB
Current children cumulated memory: 49952 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/264 47853
/proc/meminfo: memFree=126487784/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=77844 memory=49952 CPUtime=2914.61 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8104 0 0 0 290180 1281 0 0 20 0 1 0 48279192 79712256 12488 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19461 12488 1856 2271 0 14099 0
Current children cumulated CPU time: 2914.61 s
Current children cumulated vsize: 77844 KiB
Current children cumulated memory: 49952 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.03 6/264 47855
/proc/meminfo: memFree=126487636/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=77844 memory=49952 CPUtime=2974.46 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8112 0 0 0 296150 1296 0 0 20 0 1 0 48279192 79712256 12488 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19461 12488 1856 2271 0 14099 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 77844 KiB
Current children cumulated memory: 49952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/264 47859
/proc/meminfo: memFree=126488100/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78208 memory=50336 CPUtime=3034.31 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8212 0 0 0 302120 1311 0 0 20 0 1 0 48279192 80084992 12584 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19552 12584 1856 2271 0 14190 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 50336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.03 6/264 47866
/proc/meminfo: memFree=126487800/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78208 memory=50336 CPUtime=3094.17 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8223 0 0 0 308090 1327 0 0 20 0 1 0 48279192 80084992 12584 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19552 12584 1856 2271 0 14190 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 50336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/263 47868
/proc/meminfo: memFree=126488012/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78208 memory=50336 CPUtime=3154.02 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8226 0 0 0 314062 1340 0 0 20 0 1 0 48279192 80084992 12584 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19552 12584 1856 2271 0 14190 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 50336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/264 47871
/proc/meminfo: memFree=126483788/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78208 memory=50464 CPUtime=3213.87 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8229 0 0 0 320031 1356 0 0 20 0 1 0 48279192 80084992 12616 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19552 12616 1856 2271 0 14190 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 50464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.03 6/264 47873
/proc/meminfo: memFree=126487104/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78384 memory=50464 CPUtime=3273.74 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8236 0 0 0 326000 1374 0 0 20 0 1 0 48279192 80265216 12616 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19596 12616 1856 2271 0 14234 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 78384 KiB
Current children cumulated memory: 50464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.03 6/264 47875
/proc/meminfo: memFree=126487036/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78556 memory=50592 CPUtime=3333.59 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8269 0 0 0 331969 1390 0 0 20 0 1 0 48279192 80441344 12648 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19639 12648 1856 2271 0 14277 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 78556 KiB
Current children cumulated memory: 50592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.03 6/263 47877
/proc/meminfo: memFree=126486988/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78556 memory=50592 CPUtime=3393.45 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8281 0 0 0 337938 1407 0 0 20 0 1 0 48279192 80441344 12648 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19639 12648 1856 2271 0 14277 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 78556 KiB
Current children cumulated memory: 50592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.04 6/263 47879
/proc/meminfo: memFree=126487608/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78760 memory=50848 CPUtime=3453.3 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8331 0 0 0 343909 1421 0 0 20 0 1 0 48279192 80650240 12712 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19690 12712 1856 2271 0 14328 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 78760 KiB
Current children cumulated memory: 50848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.03 6/262 47881
/proc/meminfo: memFree=126487784/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=78928 memory=50976 CPUtime=3513.15 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8373 0 0 0 349878 1437 0 0 20 0 1 0 48279192 80822272 12744 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19732 12744 1856 2271 0 14370 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 78928 KiB
Current children cumulated memory: 50976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.45 4.17 4.07 6/262 47883
/proc/meminfo: memFree=126487644/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=79084 memory=51104 CPUtime=3573.01 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8407 0 0 0 355850 1451 0 0 20 0 1 0 48279192 80982016 12776 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19771 12776 1856 2271 0 14409 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 79084 KiB
Current children cumulated memory: 51104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.30 4.16 4.07 6/263 47887
/proc/meminfo: memFree=126487352/131249996 swapFree=33010684/33010684
[pid=47652] ppid=47637 vsize=79084 memory=51104 CPUtime=3600.04 cores=1,3
/proc/47652/stat : 47652 (ExactPR) R 47637 47652 47583 0 -1 4194304 8411 0 0 0 358546 1458 0 0 20 0 1 0 48279192 80982016 12776 18446744073709551615 94159106203648 94159115503493 140730218553424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94159117289792 94159117328872 94159135883264 140730218555781 140730218555916 140730218555916 140730218561518 0
/proc/47652/statm: 19771 12776 1856 2271 0 14409 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 79084 KiB
Current children cumulated memory: 51104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 47652 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3585.47 s, system=14.5893 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.4
CPU time (s): 3600.06
CPU user time (s): 3585.47
CPU system time (s): 14.5893
CPU usage (%): 99.7411
Max. virtual memory (cumulated for all children) (KiB): 79084
Max. memory (cumulated for all children) (KiB): 51104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.47
system time used= 14.5893
maximum resident set size= 51744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8429
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= 194
involuntary context switches= 5979
# summary of solver processes directly reported to runsolver:
# pid: 47652
# total CPU time (s): 3600.06
# total CPU user time (s): 3585.47
# total CPU system time (s): 14.5893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99821 second user time and 12.85 second system time
The end
Begin job on nodeC017 at 2025-07-01 01:26:54 IDJOB=4486493 IDBENCH=147022 IDSOLVER=3324 FILE ID=nodeC017/4486493-1751326014 RUNJOBID= nodeC017-1751326014-47595 SLURM_JOB_ID= 9594357 Free space on /tmp= 433012 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.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-4486493-1751326014/watcher-4486493-1751326014 -o /tmp/evaluation-result-4486493-1751326014/solver-4486493-1751326014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47595 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486493-1751326014.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=1569815279 nodeC017 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 : 0xb00002a cpu MHz : 3726.863 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 pti ibrs ibpb stibp 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 : 7000.12 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 : 3597.062 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 pti ibrs ibpb stibp 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 : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.062 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 pti ibrs ibpb stibp 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 : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.082 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 pti ibrs ibpb stibp 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 : 7000.12 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 : 3600.062 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 pti ibrs ibpb stibp 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 : 7000.12 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 : 3600.056 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 pti ibrs ibpb stibp 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 : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.692 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 pti ibrs ibpb stibp 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 : 7000.12 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 : 3600.566 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 pti ibrs ibpb stibp 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 : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126799152 kB MemAvailable: 129689068 kB Buffers: 2380 kB Cached: 3660812 kB SwapCached: 0 kB Active: 375804 kB Inactive: 3355284 kB Active(anon): 85964 kB Inactive(anon): 12 kB Active(file): 289840 kB Inactive(file): 3355272 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 52100 kB Writeback: 0 kB AnonPages: 70968 kB Mapped: 103052 kB Shmem: 18080 kB KReclaimable: 167688 kB Slab: 256752 kB SReclaimable: 167688 kB SUnreclaim: 89064 kB KernelStack: 4032 kB PageTables: 2740 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330064 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432964 MiB End job on nodeC017 at 2025-07-01 02:27:04