Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | -39 | 3600.07 | 3609.31 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb |
| MD5SUM | 2a4ebf3c72122f3b44af8d9c3b5c44b1 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -41 |
| Best CPU time to get the best result obtained on this benchmark | 71224 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 103 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37366 |
| Sum of products size (including duplicates) | 74732 |
| Number of different products | 18683 |
| Sum of products size | 37366 |
0.20/0.24 o 0 0.20/0.24 o -1 0.20/0.24 o -2 0.20/0.24 o -3 0.20/0.29 o -4 0.20/0.29 o -5 0.20/0.29 o -6 0.20/0.29 o -7 0.20/0.30 o -8 0.20/0.30 o -9 0.20/0.30 o -10 0.29/0.31 o -11 0.29/0.31 o -12 0.29/0.31 o -13 0.29/0.32 o -14 0.29/0.32 o -15 0.29/0.33 o -16 0.29/0.33 o -17 0.29/0.34 o -18 0.29/0.35 o -19 0.29/0.39 o -20 0.29/0.40 o -21 0.29/0.40 o -22 0.68/0.75 o -23 1.09/1.18 o -24 1.18/1.20 o -25 1.58/1.65 o -26 1.78/1.87 o -27 1.78/1.87 o -28 2.17/2.22 o -29 2.17/2.23 o -30 4.27/4.37 o -31 5.28/5.34 o -32 6.37/6.42 o -33 8.36/8.42 o -34 16.25/16.33 o -35 43.48/43.68 o -36 76.81/77.04 o -37 134.55/134.92 o -38 147.73/148.18 o -39 3600.05/3609.30 c Program interrupted by user. 3600.05/3609.30 s SATISFIABLE 3600.05/3609.30 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
OK -39
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: 63931 MiB (60569 MiB free)
memory of node 1: 64510 MiB (62313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459753-1721943061/watcher-4459753-1721943061 -o /tmp/evaluation-result-4459753-1721943061/solver-4459753-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721943060-255870 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=328473900 HOME/instance-4459753-1721943061.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=256100, runsolver pid=256096
[startup+0.101025 s]*
/proc/loadavg: 2.11 2.09 2.07 4/261 256116
/proc/meminfo: memFree=125761736/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=57700 memory=37004 CPUtime=0.09 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 10794 0 0 0 8 1 0 0 20 0 1 0 30835377 59084800 9251 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 14425 9251 900 1005 0 13188 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 37004 KiB
[startup+0.20474 s]*
/proc/loadavg: 2.11 2.09 2.07 4/258 256124
/proc/meminfo: memFree=125739828/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=80444 memory=58972 CPUtime=0.2 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 15807 0 0 0 18 2 0 0 20 0 1 0 30835377 82374656 14743 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 20111 14743 1060 1005 0 18874 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80444 KiB
Current children cumulated memory: 58972 KiB
[startup+0.304786 s]*
/proc/loadavg: 2.11 2.09 2.07 4/258 256124
/proc/meminfo: memFree=125730336/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=88332 memory=66168 CPUtime=0.29 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 17570 0 0 0 27 2 0 0 20 0 1 0 30835377 90451968 16542 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 22083 16542 1140 1005 0 20846 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88332 KiB
Current children cumulated memory: 66168 KiB
[startup+0.700148 s]
/proc/loadavg: 2.11 2.09 2.07 5/258 256124
/proc/meminfo: memFree=125721808/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=88912 memory=71052 CPUtime=0.68 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 17746 0 0 0 66 2 0 0 20 0 1 0 30835377 91045888 17763 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 22228 17763 1140 1005 0 20991 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88912 KiB
Current children cumulated memory: 71052 KiB
[startup+1.50019 s]
/proc/loadavg: 2.11 2.09 2.07 5/263 256162
/proc/meminfo: memFree=125703856/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=94436 memory=76524 CPUtime=1.48 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 18639 0 0 0 145 3 0 0 20 0 1 0 30835377 96702464 19131 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 23609 19131 1140 1005 0 22372 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94436 KiB
Current children cumulated memory: 76524 KiB
[startup+3.10524 s]
/proc/loadavg: 2.26 2.12 2.08 5/263 256162
/proc/meminfo: memFree=125670640/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=96740 memory=83236 CPUtime=3.08 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 19282 0 0 0 304 4 0 0 20 0 1 0 30835377 99061760 20809 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 24185 20809 1140 1005 0 22948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96740 KiB
Current children cumulated memory: 83236 KiB
[startup+6.30018 s]
/proc/loadavg: 2.26 2.12 2.08 5/263 256162
/proc/meminfo: memFree=125639932/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=112268 memory=92752 CPUtime=6.27 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 20360 0 0 0 622 5 0 0 20 0 1 0 30835377 114962432 23188 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 28067 23188 1140 1005 0 26830 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112268 KiB
Current children cumulated memory: 92752 KiB
[startup+12.7002 s]
/proc/loadavg: 2.40 2.16 2.09 5/263 256165
/proc/meminfo: memFree=125617792/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=114596 memory=101792 CPUtime=12.65 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 21197 0 0 0 1259 6 0 0 20 0 1 0 30835377 117346304 25448 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 28649 25448 1140 1005 0 27412 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 114596 KiB
Current children cumulated memory: 101792 KiB
[startup+25.5002 s]
/proc/loadavg: 2.76 2.25 2.12 5/263 256167
/proc/meminfo: memFree=125587864/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=139876 memory=110444 CPUtime=25.42 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 22220 0 0 0 2533 9 0 0 20 0 1 0 30835377 143233024 27611 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 34969 27611 1140 1005 0 33732 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 139876 KiB
Current children cumulated memory: 110444 KiB
[startup+51.1054 s]
/proc/loadavg: 3.30 2.42 2.18 5/263 256171
/proc/meminfo: memFree=125575128/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=142156 memory=112716 CPUtime=50.97 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 22815 0 0 0 5085 12 0 0 20 0 1 0 30835377 145567744 28179 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 35539 28179 1140 1005 0 34302 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 142156 KiB
Current children cumulated memory: 112716 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 2.68 2.29 5/263 256225
/proc/meminfo: memFree=125276436/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=146584 memory=120260 CPUtime=102.04 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 24022 0 0 0 10184 20 0 0 20 0 1 0 30835377 150102016 30065 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 36646 30065 1140 1005 0 35409 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 146584 KiB
Current children cumulated memory: 120260 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.94 2.40 5/261 256236
/proc/meminfo: memFree=125237244/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=149580 memory=123440 CPUtime=161.89 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 24786 0 0 0 16161 28 0 0 20 0 1 0 30835377 153169920 30860 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 37395 30860 1140 1005 0 36158 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 149580 KiB
Current children cumulated memory: 123440 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.15 2.51 5/260 256246
/proc/meminfo: memFree=125216304/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=153480 memory=127180 CPUtime=221.75 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 25830 0 0 0 22137 38 0 0 20 0 1 0 30835377 157163520 31795 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 38370 31795 1140 1005 0 37133 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 153480 KiB
Current children cumulated memory: 127180 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 3.36 2.62 5/256 256256
/proc/meminfo: memFree=125169252/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=158124 memory=131992 CPUtime=281.61 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 27030 0 0 0 28115 46 0 0 20 0 1 0 30835377 161918976 32998 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 39531 32998 1140 1005 0 38294 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 158124 KiB
Current children cumulated memory: 131992 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.52 2.73 5/255 256266
/proc/meminfo: memFree=125146704/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=160460 memory=134412 CPUtime=341.47 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 27684 0 0 0 34091 56 0 0 20 0 1 0 30835377 164311040 33603 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 40115 33603 1140 1005 0 38878 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 160460 KiB
Current children cumulated memory: 134412 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.64 2.82 5/255 256277
/proc/meminfo: memFree=125126204/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=163544 memory=139412 CPUtime=401.33 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 28511 0 0 0 40068 65 0 0 20 0 1 0 30835377 167469056 34853 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 40886 34853 1140 1005 0 39649 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 163544 KiB
Current children cumulated memory: 139412 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.72 2.90 5/255 256287
/proc/meminfo: memFree=125107792/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=167392 memory=143416 CPUtime=461.19 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 29533 0 0 0 46043 76 0 0 20 0 1 0 30835377 171409408 35854 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 41848 35854 1140 1005 0 40611 0
################
# More data... #
################
Current children cumulated memory: 184728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.15 4.07 5/255 257831
/proc/meminfo: memFree=124731536/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201180 memory=185180 CPUtime=2914.67 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41235 0 0 0 290999 468 0 0 20 0 1 0 30835377 206008320 46295 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50295 46295 1140 1005 0 49058 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 201180 KiB
Current children cumulated memory: 185180 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.12 4.06 5/258 257847
/proc/meminfo: memFree=124730760/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201180 memory=185340 CPUtime=2974.53 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41342 0 0 0 296977 476 0 0 20 0 1 0 30835377 206008320 46335 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50295 46335 1140 1005 0 49058 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 201180 KiB
Current children cumulated memory: 185340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/259 257859
/proc/meminfo: memFree=124689080/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201180 memory=185340 CPUtime=3034.4 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41421 0 0 0 302956 484 0 0 20 0 1 0 30835377 206008320 46335 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50295 46335 1140 1005 0 49058 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 201180 KiB
Current children cumulated memory: 185340 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/259 257869
/proc/meminfo: memFree=124682212/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201180 memory=185340 CPUtime=3094.26 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41504 0 0 0 308934 492 0 0 20 0 1 0 30835377 206008320 46335 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50295 46335 1140 1005 0 49058 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 201180 KiB
Current children cumulated memory: 185340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/259 257882
/proc/meminfo: memFree=124668272/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201652 memory=185720 CPUtime=3154.11 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41701 0 0 0 314908 503 0 0 20 0 1 0 30835377 206491648 46430 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50413 46430 1140 1005 0 49176 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 201652 KiB
Current children cumulated memory: 185720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/259 257892
/proc/meminfo: memFree=124665856/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201972 memory=186144 CPUtime=3213.98 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41871 0 0 0 320885 513 0 0 20 0 1 0 30835377 206819328 46536 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50493 46536 1140 1005 0 49256 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 201972 KiB
Current children cumulated memory: 186144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/257 258284
/proc/meminfo: memFree=124664832/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=201972 memory=186168 CPUtime=3273.84 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 41960 0 0 0 326862 522 0 0 20 0 1 0 30835377 206819328 46542 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50493 46542 1140 1005 0 49256 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 201972 KiB
Current children cumulated memory: 186168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/256 258294
/proc/meminfo: memFree=124663640/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=202120 memory=186320 CPUtime=3333.7 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42077 0 0 0 332840 530 0 0 20 0 1 0 30835377 206970880 46580 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50530 46580 1140 1005 0 49293 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 202120 KiB
Current children cumulated memory: 186320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/256 258306
/proc/meminfo: memFree=124662540/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=202276 memory=186468 CPUtime=3393.56 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42196 0 0 0 338817 539 0 0 20 0 1 0 30835377 207130624 46617 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50569 46617 1140 1005 0 49332 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 202276 KiB
Current children cumulated memory: 186468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/259 258487
/proc/meminfo: memFree=124660712/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=202808 memory=186984 CPUtime=3453.42 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42410 0 0 0 344793 549 0 0 20 0 1 0 30835377 207675392 46746 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50702 46746 1140 1005 0 49465 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 202808 KiB
Current children cumulated memory: 186984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.08 5/259 258497
/proc/meminfo: memFree=124659664/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=202808 memory=187000 CPUtime=3513.28 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42485 0 0 0 350769 559 0 0 20 0 1 0 30835377 207675392 46750 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50702 46750 1140 1005 0 49465 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 202808 KiB
Current children cumulated memory: 187000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/261 258567
/proc/meminfo: memFree=124632420/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=203088 memory=187272 CPUtime=3573.14 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42644 0 0 0 356745 569 0 0 20 0 1 0 30835377 207962112 46818 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50772 46818 1140 1005 0 49535 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 203088 KiB
Current children cumulated memory: 187272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.09 4.11 4.09 4/256 258581
/proc/meminfo: memFree=124729600/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=203088 memory=187272 CPUtime=3600.05 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42647 0 0 0 359433 572 0 0 20 0 1 0 30835377 207962112 46818 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50772 46818 1140 1005 0 49535 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 203088 KiB
Current children cumulated memory: 187272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 256100 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3594.35 s, system=5.7249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.09 4.11 4.09 4/256 258581
/proc/meminfo: memFree=124729600/131524600 swapFree=131053920/131071996
[pid=256100] ppid=256096 vsize=203088 memory=187272 CPUtime=3600.05 cores=4,6
/proc/256100/stat : 256100 (Exact) R 256096 256100 253719 0 -1 4194304 42647 0 0 0 359433 572 0 0 20 0 1 0 30835377 207962112 46818 134679101440 4194304 8309489 140734181569104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 21237760 140734181573566 140734181573735 140734181573735 140734181580751 0
/proc/256100/statm: 50772 46818 1140 1005 0 49535 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 203088 KiB
Current children cumulated memory: 187272 KiB
Child status: 10
Real time (s): 3609.31
CPU time (s): 3600.07
CPU user time (s): 3594.35
CPU system time (s): 5.7249
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 203088
Max. memory (cumulated for all children) (KiB): 187272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.35
system time used= 5.7249
maximum resident set size= 187272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42650
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= 46
involuntary context switches= 2709
# summary of solver processes directly reported to runsolver:
# pid: 256100
# total CPU time (s): 3600.07
# total CPU user time (s): 3594.35
# total CPU system time (s): 5.7249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62348 second user time and 14.7587 second system time
The end
Begin job on nodeC023 at 2024-07-25 23:31:01 IDJOB=4459753 IDBENCH=148534 IDSOLVER=3060 FILE ID=nodeC023/4459753-1721943061 RUNJOBID= nodeC023-1721943060-255870 SLURM_JOB_ID= 8247244 Free space on /tmp= 890076 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459753-1721943061/watcher-4459753-1721943061 -o /tmp/evaluation-result-4459753-1721943061/solver-4459753-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721943060-255870 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=328473900 HOME/instance-4459753-1721943061.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2a4ebf3c72122f3b44af8d9c3b5c44b1 RANDOM SEED=328473900 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3561.873 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 2782.940 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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 : 3437.303 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3379.422 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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 : 3590.058 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 2597.994 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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 : 3539.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3472.116 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125844164 kB MemAvailable: 129694772 kB Buffers: 333476 kB Cached: 4309920 kB SwapCached: 208 kB Active: 1649076 kB Inactive: 3357508 kB Active(anon): 2356 kB Inactive(anon): 413012 kB Active(file): 1646720 kB Inactive(file): 2944496 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 18336 kB Writeback: 216 kB AnonPages: 362932 kB Mapped: 93932 kB Shmem: 52148 kB KReclaimable: 198076 kB Slab: 315164 kB SReclaimable: 198076 kB SUnreclaim: 117088 kB KernelStack: 3984 kB PageTables: 9784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 764496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 410324 kB DirectMap2M: 61229056 kB DirectMap1G: 74448896 kB Free space on /tmp at the end= 890064 MiB End job on nodeC023 at 2024-07-26 00:31:11