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) | -74 | 3600.09 | 3613.01 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb |
| MD5SUM | fd2f82137517c7c348dacac3fbe759ff |
| 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 | -78 |
| Best CPU time to get the best result obtained on this benchmark | 71365.9 |
| 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 | 25 |
| Maximum length of a constraint | 49 |
| 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) | 15722 |
| Sum of products size (including duplicates) | 31444 |
| Number of different products | 7861 |
| Sum of products size | 15722 |
0.00/0.09 o 0 0.00/0.09 o -1 0.00/0.09 o -2 0.00/0.09 o -3 0.29/0.31 o -4 0.29/0.31 o -5 0.29/0.32 o -6 0.29/0.32 o -7 0.29/0.32 o -8 0.29/0.32 o -9 0.29/0.33 o -10 0.29/0.33 o -11 0.29/0.33 o -12 0.29/0.33 o -13 0.29/0.34 o -14 0.29/0.34 o -15 0.29/0.34 o -16 0.29/0.34 o -17 0.29/0.34 o -18 0.29/0.35 o -19 0.29/0.35 o -20 0.29/0.35 o -21 0.29/0.35 o -22 0.29/0.36 o -23 0.29/0.36 o -24 0.29/0.36 o -25 0.29/0.36 o -26 0.29/0.37 o -27 0.29/0.37 o -28 0.29/0.37 o -29 0.29/0.38 o -30 0.29/0.38 o -31 0.29/0.38 o -32 0.29/0.39 o -33 0.29/0.39 o -34 0.29/0.39 o -35 0.29/0.40 o -36 0.39/0.41 o -37 0.39/0.41 o -38 0.39/0.42 o -39 0.39/0.45 o -40 0.39/0.47 o -41 0.49/0.51 o -42 0.49/0.53 o -43 0.49/0.54 o -44 0.49/0.55 o -45 0.58/0.62 o -46 0.79/0.82 o -47 0.79/0.82 o -48 0.79/0.83 o -49 0.99/1.07 o -50 1.38/1.47 o -51 1.38/1.47 o -52 1.68/1.79 o -53 4.17/4.26 o -54 5.27/5.39 o -55 7.55/7.66 o -56 7.55/7.67 o -57 7.55/7.67 o -58 7.65/7.73 o -59 8.45/8.54 o -60 8.85/8.96 o -61 9.25/9.35 o -62 9.95/10.01 o -63 10.34/10.49 o -64 10.44/10.50 o -65 16.02/16.11 o -66 18.81/18.94 o -67 22.00/22.15 o -68 24.38/24.54 o -69 28.57/28.73 o -70 36.53/36.74 o -71 50.49/50.75 o -72 65.75/66.06 o -73 65.94/66.25 o -74 3600.08/3613.00 c Program interrupted by user. 3600.08/3613.00 s SATISFIABLE 3600.08/3613.00 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 -74
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 (60567 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-4459761-1721943061/watcher-4459761-1721943061 -o /tmp/evaluation-result-4459761-1721943061/solver-4459761-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721943060-255869 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=328473900 HOME/instance-4459761-1721943061.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=256093, runsolver pid=256090
[startup+0.100225 s]*
/proc/loadavg: 2.11 2.09 2.07 4/261 256116
/proc/meminfo: memFree=125764672/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=53824 memory=31228 CPUtime=0.09 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 8543 0 0 0 8 1 0 0 20 0 1 0 30835376 55115776 7807 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 13456 7807 1140 1005 0 12219 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 31228 KiB
[startup+0.205699 s]*
/proc/loadavg: 2.11 2.09 2.07 4/258 256124
/proc/meminfo: memFree=125740836/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=54748 memory=34328 CPUtime=0.19 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 8818 0 0 0 18 1 0 0 20 0 1 0 30835376 56061952 8582 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 13687 8582 1140 1005 0 12450 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54748 KiB
Current children cumulated memory: 34328 KiB
[startup+0.305671 s]*
/proc/loadavg: 2.11 2.09 2.07 4/258 256124
/proc/meminfo: memFree=125730664/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=56800 memory=35912 CPUtime=0.29 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 9226 0 0 0 28 1 0 0 20 0 1 0 30835376 58163200 8978 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 14200 8978 1140 1005 0 12963 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56800 KiB
Current children cumulated memory: 35912 KiB
[startup+0.700193 s]
/proc/loadavg: 2.11 2.09 2.07 4/258 256124
/proc/meminfo: memFree=125721808/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=57552 memory=38484 CPUtime=0.68 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 9321 0 0 0 67 1 0 0 20 0 1 0 30835376 58933248 9621 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 14388 9621 1140 1005 0 13151 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57552 KiB
Current children cumulated memory: 38484 KiB
[startup+1.5002 s]
/proc/loadavg: 2.11 2.09 2.07 6/263 256162
/proc/meminfo: memFree=125704192/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=60064 memory=42852 CPUtime=1.48 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 9946 0 0 0 146 2 0 0 20 0 1 0 30835376 61505536 10713 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 15016 10713 1140 1005 0 13779 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60064 KiB
Current children cumulated memory: 42852 KiB
[startup+3.10561 s]
/proc/loadavg: 2.26 2.12 2.08 5/263 256162
/proc/meminfo: memFree=125670652/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=61160 memory=50288 CPUtime=3.08 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 10298 0 0 0 305 3 0 0 20 0 1 0 30835376 62627840 12572 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 15290 12572 1140 1005 0 14053 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61160 KiB
Current children cumulated memory: 50288 KiB
[startup+6.30021 s]
/proc/loadavg: 2.26 2.12 2.08 5/263 256162
/proc/meminfo: memFree=125639932/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=77108 memory=59520 CPUtime=6.26 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 11805 0 0 0 621 5 0 0 20 0 1 0 30835376 78958592 14880 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 19277 14880 1140 1005 0 18040 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77108 KiB
Current children cumulated memory: 59520 KiB
[startup+12.7002 s]
/proc/loadavg: 2.40 2.16 2.09 6/263 256165
/proc/meminfo: memFree=125617792/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=78640 memory=72120 CPUtime=12.63 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 12258 0 0 0 1255 8 0 0 20 0 1 0 30835376 80527360 18030 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 19660 18030 1140 1005 0 18423 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 78640 KiB
Current children cumulated memory: 72120 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=256093] ppid=256090 vsize=81172 memory=75452 CPUtime=25.38 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 12896 0 0 0 2527 11 0 0 20 0 1 0 30835376 83120128 18863 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 20293 18863 1140 1005 0 19056 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 81172 KiB
Current children cumulated memory: 75452 KiB
[startup+51.1057 s]
/proc/loadavg: 3.30 2.42 2.18 5/263 256171
/proc/meminfo: memFree=125575296/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=108184 memory=81432 CPUtime=50.89 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 14161 0 0 0 5068 21 0 0 20 0 1 0 30835376 110780416 20358 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 27046 20358 1140 1005 0 25809 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 108184 KiB
Current children cumulated memory: 81432 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=256093] ppid=256090 vsize=112324 memory=89944 CPUtime=101.92 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 15308 0 0 0 10155 37 0 0 20 0 1 0 30835376 115019776 22486 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 28081 22486 1140 1005 0 26844 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 112324 KiB
Current children cumulated memory: 89944 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=256093] ppid=256090 vsize=116064 memory=93648 CPUtime=161.72 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 16285 0 0 0 16113 59 0 0 20 0 1 0 30835376 118849536 23412 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 29016 23412 1140 1005 0 27779 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 116064 KiB
Current children cumulated memory: 93648 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=256093] ppid=256090 vsize=118848 memory=96660 CPUtime=221.48 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 17048 0 0 0 22067 81 0 0 20 0 1 0 30835376 121700352 24165 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 29712 24165 1140 1005 0 28475 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 118848 KiB
Current children cumulated memory: 96660 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=256093] ppid=256090 vsize=121380 memory=98904 CPUtime=281.24 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 17686 0 0 0 28021 103 0 0 20 0 1 0 30835376 124293120 24726 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 30345 24726 1140 1005 0 29108 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 121380 KiB
Current children cumulated memory: 98904 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=256093] ppid=256090 vsize=122344 memory=99824 CPUtime=341 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 17955 0 0 0 33976 124 0 0 20 0 1 0 30835376 125280256 24956 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 30586 24956 1140 1005 0 29349 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 122344 KiB
Current children cumulated memory: 99824 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=256093] ppid=256090 vsize=124032 memory=101564 CPUtime=400.77 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 18412 0 0 0 39931 146 0 0 20 0 1 0 30835376 127008768 25391 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 31008 25391 1140 1005 0 29771 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 124032 KiB
Current children cumulated memory: 101564 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=256093] ppid=256090 vsize=125116 memory=102740 CPUtime=460.53 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 18752 0 0 0 45886 167 0 0 20 0 1 0 30835376 128118784 25685 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 31279 25685 1140 1005 0 30042 0
################
# More data... #
################
Current children cumulated memory: 126072 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.13 4.06 5/255 257821
/proc/meminfo: memFree=124734128/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=144680 memory=126424 CPUtime=2852.11 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 25756 0 0 0 284230 981 0 0 20 0 1 0 30835376 148152320 31606 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36170 31606 1140 1005 0 34933 0
Current children cumulated CPU time: 2852.11 s
Current children cumulated vsize: 144680 KiB
Current children cumulated memory: 126424 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=256093] ppid=256090 vsize=145004 memory=126740 CPUtime=2911.92 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 25885 0 0 0 290190 1002 0 0 20 0 1 0 30835376 148484096 31685 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36251 31685 1140 1005 0 35014 0
Current children cumulated CPU time: 2911.92 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 126740 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=256093] ppid=256090 vsize=145004 memory=126792 CPUtime=2971.73 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 25945 0 0 0 296154 1019 0 0 20 0 1 0 30835376 148484096 31698 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36251 31698 1140 1005 0 35014 0
Current children cumulated CPU time: 2971.73 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 126792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/259 257859
/proc/meminfo: memFree=124689072/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=145004 memory=126792 CPUtime=3031.53 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 25995 0 0 0 302117 1036 0 0 20 0 1 0 30835376 148484096 31698 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36251 31698 1140 1005 0 35014 0
Current children cumulated CPU time: 3031.53 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 126792 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=256093] ppid=256090 vsize=145004 memory=126800 CPUtime=3091.32 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26049 0 0 0 308076 1056 0 0 20 0 1 0 30835376 148484096 31700 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36251 31700 1140 1005 0 35014 0
Current children cumulated CPU time: 3091.32 s
Current children cumulated vsize: 145004 KiB
Current children cumulated memory: 126800 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=256093] ppid=256090 vsize=145960 memory=135932 CPUtime=3151.09 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26382 0 0 0 314035 1074 0 0 20 0 1 0 30835376 149463040 33983 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36490 33983 1140 1005 0 35253 0
Current children cumulated CPU time: 3151.09 s
Current children cumulated vsize: 145960 KiB
Current children cumulated memory: 135932 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=256093] ppid=256090 vsize=147148 memory=137124 CPUtime=3210.86 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26705 0 0 0 319990 1096 0 0 20 0 1 0 30835376 150679552 34281 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36787 34281 1140 1005 0 35550 0
Current children cumulated CPU time: 3210.86 s
Current children cumulated vsize: 147148 KiB
Current children cumulated memory: 137124 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=256093] ppid=256090 vsize=147280 memory=137252 CPUtime=3270.63 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26791 0 0 0 325948 1115 0 0 20 0 1 0 30835376 150814720 34313 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36820 34313 1140 1005 0 35583 0
Current children cumulated CPU time: 3270.63 s
Current children cumulated vsize: 147280 KiB
Current children cumulated memory: 137252 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=256093] ppid=256090 vsize=147280 memory=137328 CPUtime=3330.4 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26863 0 0 0 331903 1137 0 0 20 0 1 0 30835376 150814720 34332 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36820 34332 1140 1005 0 35583 0
Current children cumulated CPU time: 3330.4 s
Current children cumulated vsize: 147280 KiB
Current children cumulated memory: 137328 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=256093] ppid=256090 vsize=147280 memory=137328 CPUtime=3390.17 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26910 0 0 0 337861 1156 0 0 20 0 1 0 30835376 150814720 34332 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36820 34332 1140 1005 0 35583 0
Current children cumulated CPU time: 3390.17 s
Current children cumulated vsize: 147280 KiB
Current children cumulated memory: 137328 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=256093] ppid=256090 vsize=147460 memory=137440 CPUtime=3449.94 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 26992 0 0 0 343820 1174 0 0 20 0 1 0 30835376 150999040 34360 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36865 34360 1140 1005 0 35628 0
Current children cumulated CPU time: 3449.94 s
Current children cumulated vsize: 147460 KiB
Current children cumulated memory: 137440 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=256093] ppid=256090 vsize=147460 memory=137444 CPUtime=3509.7 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 27056 0 0 0 349777 1193 0 0 20 0 1 0 30835376 150999040 34361 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36865 34361 1140 1005 0 35628 0
Current children cumulated CPU time: 3509.7 s
Current children cumulated vsize: 147460 KiB
Current children cumulated memory: 137444 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=256093] ppid=256090 vsize=147460 memory=137444 CPUtime=3569.48 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 27112 0 0 0 355733 1215 0 0 20 0 1 0 30835376 150999040 34361 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36865 34361 1140 1005 0 35628 0
Current children cumulated CPU time: 3569.48 s
Current children cumulated vsize: 147460 KiB
Current children cumulated memory: 137444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613 s]*
/proc/loadavg: 4.09 4.11 4.09 4/247 258635
/proc/meminfo: memFree=124927700/131524600 swapFree=131053920/131071996
[pid=256093] ppid=256090 vsize=147460 memory=137444 CPUtime=3600.08 cores=0,2
/proc/256093/stat : 256093 (Exact) R 256090 256093 253719 0 -1 4194304 27115 0 0 0 358784 1224 0 0 20 0 1 0 30835376 150999040 34361 134679101440 4194304 8309489 140723986951616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 37449728 140723986953150 140723986953319 140723986953319 140723986960335 0
/proc/256093/statm: 36865 34361 1140 1005 0 35628 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 147460 KiB
Current children cumulated memory: 137444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.01 s]
# the end of solver process 256093 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3587.85 s, system=12.241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3613.01
CPU time (s): 3600.09
CPU user time (s): 3587.85
CPU system time (s): 12.241
CPU usage (%): 99.6425
Max. virtual memory (cumulated for all children) (KiB): 147460
Max. memory (cumulated for all children) (KiB): 137444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.85
system time used= 12.241
maximum resident set size= 137444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27117
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= 39
involuntary context switches= 24697
# summary of solver processes directly reported to runsolver:
# pid: 256093
# total CPU time (s): 3600.09
# total CPU user time (s): 3587.85
# total CPU system time (s): 12.241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.57916 second user time and 18.8521 second system time
The end
Begin job on nodeC023 at 2024-07-25 23:31:01 IDJOB=4459761 IDBENCH=148535 IDSOLVER=3060 FILE ID=nodeC023/4459761-1721943061 RUNJOBID= nodeC023-1721943060-255869 SLURM_JOB_ID= 8247244 Free space on /tmp= 890084 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.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-4459761-1721943061/watcher-4459761-1721943061 -o /tmp/evaluation-result-4459761-1721943061/solver-4459761-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721943060-255869 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=328473900 HOME/instance-4459761-1721943061.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fd2f82137517c7c348dacac3fbe759ff 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: 125846624 kB MemAvailable: 129694980 kB Buffers: 333476 kB Cached: 4307636 kB SwapCached: 208 kB Active: 1649068 kB Inactive: 3355536 kB Active(anon): 2348 kB Inactive(anon): 413292 kB Active(file): 1646720 kB Inactive(file): 2942244 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 16068 kB Writeback: 216 kB AnonPages: 363200 kB Mapped: 93992 kB Shmem: 52148 kB KReclaimable: 198076 kB Slab: 315124 kB SReclaimable: 198076 kB SUnreclaim: 117048 kB KernelStack: 3952 kB PageTables: 9504 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= 890072 MiB End job on nodeC023 at 2024-07-26 00:31:14