Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2024-06-18 | OPT | 0 | 2843.01 | 2850.43 |
| Name | PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb |
| MD5SUM | 1b486f52a53fb7825baee6455587fecd |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.137882 |
| 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 | 584 |
| Total number of constraints | 427 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 394 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 34 |
| Number of terms in the objective function | 182 |
| 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 | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 182 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2406 |
| Sum of products size (including duplicates) | 10572 |
| Number of different products | 2406 |
| Sum of products size | 10572 |
0.00/0.01 c solving HOME/instance-4460004-1721943062.opb (Picat 3.6#12) 159.60/160.06 o 71 260.73/261.43 o 69 407.67/408.79 o 46 754.17/756.13 o 30 1261.21/1264.54 o 20 1744.74/1749.32 o 13 2223.87/2229.71 o 8 2703.21/2710.32 o 4 2812.34/2819.80 o 2 2842.97/2850.42 o 0 2842.97/2850.42 s OPTIMUM FOUND 2842.97/2850.42 v ~x584 ~x68 ~x173 ~x271 ~x376 ~x481 ~x69 ~x174 x272 x377 2842.97/2850.42 v ~x482 ~x70 ~x175 ~x273 ~x378 x483 ~x71 ~x176 x274 ~x379 2842.97/2850.42 v ~x484 ~x72 ~x177 ~x275 x380 x485 ~x73 ~x178 x276 ~x381 2842.97/2850.42 v ~x486 ~x74 ~x179 ~x277 x382 x487 ~x75 ~x180 ~x278 x383 2842.97/2850.42 v ~x488 ~x76 ~x181 ~x279 ~x384 ~x489 ~x77 ~x182 x280 ~x385 2842.97/2850.42 v x490 ~x78 ~x281 x386 ~x491 ~x79 ~x282 x387 ~x492 ~x80 2842.97/2850.42 v x283 x388 ~x493 ~x81 ~x284 x389 ~x494 ~x82 ~x285 x390 2842.97/2850.42 v x495 ~x83 x286 ~x391 x496 ~x84 x183 x287 ~x392 x497 2842.97/2850.42 v ~x85 ~x184 ~x288 ~x393 ~x498 ~x86 x185 x289 ~x394 ~x499 2842.97/2850.42 v ~x87 ~x186 ~x290 x395 x500 ~x88 x187 x291 x396 ~x501 2842.97/2850.42 v ~x89 ~x188 x292 x397 x502 ~x90 ~x189 x293 x398 x503 2842.97/2850.42 v ~x91 ~x190 x294 ~x399 ~x504 ~x92 ~x191 x295 ~x400 ~x505 2842.97/2850.42 v ~x93 ~x192 x296 x401 ~x506 ~x94 x193 x297 x402 x507 2842.97/2850.42 v ~x95 x194 x298 ~x403 ~x508 ~x96 x195 x299 x404 ~x509 2842.97/2850.42 v ~x97 ~x196 x300 ~x405 ~x510 ~x98 x197 ~x301 ~x406 ~x511 2842.97/2850.42 v ~x99 x198 x302 ~x407 x512 ~x100 x199 x303 ~x408 x513 2842.97/2850.42 v ~x101 x200 x304 ~x409 ~x514 ~x102 ~x201 x305 x410 ~x515 2842.97/2850.42 v ~x103 x202 ~x306 x411 x516 ~x104 x203 x307 ~x412 x517 2842.97/2850.42 v ~x105 x204 ~x308 x413 x518 ~x1 ~x106 ~x205 x309 x414 2842.97/2850.42 v ~x519 ~x2 ~x107 ~x206 ~x310 ~x415 x520 ~x3 ~x108 x207 2842.97/2850.42 v x311 ~x416 x521 ~x4 ~x109 ~x208 x312 x417 x522 ~x5 2842.97/2850.42 v ~x110 ~x209 x313 ~x418 x523 ~x6 ~x111 ~x210 x314 ~x419 2842.97/2850.42 v ~x7 ~x112 x211 x315 ~x420 x524 ~x8 ~x113 x212 ~x316 2842.97/2850.42 v ~x421 ~x525 ~x9 ~x114 ~x213 ~x317 x422 x526 ~x10 ~x115 2842.97/2850.42 v x214 ~x318 x423 ~x527 ~x11 ~x116 ~x215 x319 ~x424 ~x528 2842.97/2850.42 v ~x12 ~x117 ~x216 ~x320 ~x425 ~x529 ~x13 ~x118 ~x217 x321 2842.97/2850.42 v x426 x530 ~x14 ~x119 x218 x322 x427 ~x531 ~x15 ~x120 2842.97/2850.42 v ~x219 x323 x428 x532 ~x16 ~x121 x220 ~x324 x429 ~x533 2842.97/2850.42 v ~x17 ~x122 x221 ~x325 x430 ~x534 ~x18 ~x123 ~x222 x326 2842.97/2850.42 v ~x431 ~x535 ~x19 ~x124 x223 ~x327 x432 ~x536 ~x20 ~x125 2842.97/2850.42 v ~x224 ~x328 x433 ~x537 ~x21 ~x126 x225 ~x329 ~x434 ~x538 2842.97/2850.42 v ~x22 ~x127 ~x226 x330 ~x435 x539 ~x23 ~x128 x227 ~x331 2842.97/2850.42 v ~x436 ~x540 ~x24 ~x129 ~x228 ~x332 x437 x541 ~x25 ~x130 2842.97/2850.42 v ~x229 ~x333 ~x438 x542 ~x26 ~x131 ~x230 x334 x439 x543 2842.97/2850.42 v ~x27 ~x132 ~x231 ~x335 x440 x544 ~x28 ~x133 x232 x336 2842.97/2850.42 v ~x441 x545 ~x29 ~x134 ~x233 x337 x442 ~x546 ~x30 ~x135 2842.97/2850.42 v x234 x338 x443 x547 ~x31 ~x136 x235 ~x339 ~x444 ~x548 2842.97/2850.42 v ~x32 ~x137 x236 ~x340 ~x445 ~x549 ~x33 ~x138 ~x237 ~x341 2842.97/2850.42 v ~x446 x550 ~x34 ~x139 ~x238 x342 x447 ~x551 ~x35 ~x140 2842.97/2850.42 v x239 ~x343 x448 x552 ~x36 ~x141 ~x240 x344 ~x449 x553 2842.97/2850.42 v ~x37 ~x142 ~x241 x345 x450 x554 ~x38 ~x143 x242 x346 2842.97/2850.42 v ~x451 x555 ~x39 ~x144 ~x243 x347 x452 ~x556 ~x40 ~x145 2842.97/2850.42 v x244 ~x348 x453 ~x557 ~x41 ~x146 ~x245 ~x349 x454 ~x558 2842.97/2850.42 v ~x42 ~x147 ~x246 ~x350 x455 ~x559 ~x43 ~x148 ~x247 ~x351 2842.97/2850.42 v ~x456 x560 ~x44 ~x149 x248 ~x352 x457 ~x561 ~x45 ~x150 2842.97/2850.42 v ~x249 ~x353 ~x458 ~x562 ~x46 ~x151 ~x250 ~x354 x459 x563 2842.97/2850.42 v ~x47 ~x152 ~x251 ~x355 ~x460 x564 ~x48 ~x153 ~x252 x356 2842.97/2850.42 v ~x461 ~x565 ~x49 ~x154 ~x253 ~x357 x462 ~x566 ~x50 ~x155 2842.97/2850.42 v ~x254 x358 x463 ~x567 ~x51 ~x156 x255 ~x359 ~x464 x568 2842.97/2850.42 v ~x52 ~x157 x256 x360 ~x465 x569 ~x53 ~x158 ~x257 x361 2842.97/2850.42 v ~x466 ~x570 ~x54 ~x159 ~x258 ~x362 ~x467 ~x571 ~x55 ~x160 2842.97/2850.42 v ~x259 x363 ~x468 x572 ~x56 ~x161 ~x260 x364 ~x469 ~x573 2842.97/2850.42 v ~x57 ~x162 x365 x470 x574 ~x58 ~x163 x261 ~x366 x471 2842.97/2850.42 v x575 ~x59 ~x164 x262 x367 ~x472 ~x576 ~x60 ~x165 x263 2842.97/2850.42 v x368 ~x473 ~x577 ~x61 ~x166 x264 ~x369 ~x474 x578 ~x62 2842.97/2850.42 v ~x167 ~x265 ~x370 ~x475 ~x579 ~x63 ~x168 x266 ~x371 x476 2842.97/2850.42 v x580 ~x64 ~x169 x267 ~x372 ~x477 x581 ~x65 ~x170 x268 2842.97/2850.42 v x373 x478 x582 ~x66 ~x171 ~x269 ~x374 ~x479 ~x583 ~x67 2842.97/2850.42 v ~x172 ~x270 ~x375 ~x480
OK 0
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: 64059 MiB (24512 MiB free)
memory of node 1: 64510 MiB (59021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460004-1721943062/watcher-4460004-1721943062 -o /tmp/evaluation-result-4460004-1721943062/solver-4460004-1721943062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721943061-298446 --watchdog 3760 pb_picat HOME/instance-4460004-1721943062.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=298554, runsolver pid=298551
[startup+0.100669 s]*
/proc/loadavg: 1.20 1.18 1.40 5/248 298555
/proc/meminfo: memFree=85452412/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2033608 memory=29208 CPUtime=0.1 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 845 0 0 0 9 1 0 0 20 0 1 0 30295761 2082414592 7302 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 508402 7302 1554 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 29208 KiB
[startup+0.214312 s]*
/proc/loadavg: 1.20 1.18 1.40 7/248 298555
/proc/meminfo: memFree=85382232/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2041424 memory=39448 CPUtime=0.21 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 854 0 0 0 20 1 0 0 20 0 1 0 30295761 2090418176 9862 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 510356 9862 1554 439 0 505785 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 39448 KiB
[startup+0.313924 s]*
/proc/loadavg: 1.20 1.18 1.40 5/248 298555
/proc/meminfo: memFree=85348584/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2041424 memory=43764 CPUtime=0.31 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 920 0 0 0 30 1 0 0 20 0 1 0 30295761 2090418176 10941 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 510356 10941 1554 439 0 505785 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 43764 KiB
[startup+0.700346 s]
/proc/loadavg: 1.20 1.18 1.40 5/248 298555
/proc/meminfo: memFree=85261240/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2041424 memory=90028 CPUtime=0.69 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 1120 0 0 0 66 3 0 0 20 0 1 0 30295761 2090418176 22507 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 510356 22507 1618 439 0 505785 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 90028 KiB
[startup+1.50034 s]
/proc/loadavg: 1.20 1.18 1.40 5/248 298555
/proc/meminfo: memFree=84942760/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2232568 memory=259476 CPUtime=1.48 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 8744 0 0 0 140 8 0 0 20 0 1 0 30295761 2286149632 64869 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 558142 64869 1730 439 0 553571 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2232568 KiB
Current children cumulated memory: 259476 KiB
[startup+3.11287 s]
/proc/loadavg: 1.43 1.23 1.42 5/248 298557
/proc/meminfo: memFree=83614300/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3000784 memory=699252 CPUtime=3.09 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 18914 0 0 0 291 18 0 0 20 0 1 0 30295761 3072802816 174813 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 750196 174813 1730 439 0 745625 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 3000784 KiB
Current children cumulated memory: 699252 KiB
[startup+6.30031 s]
/proc/loadavg: 1.43 1.23 1.42 5/248 298557
/proc/meminfo: memFree=83319172/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3263316 memory=814468 CPUtime=6.27 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 20277 0 0 0 602 25 0 0 20 0 1 0 30295761 3341635584 203617 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 815829 203617 1746 439 0 811258 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3263316 KiB
Current children cumulated memory: 814468 KiB
[startup+12.7003 s]
/proc/loadavg: 1.63 1.28 1.43 5/248 298558
/proc/meminfo: memFree=83299712/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3272456 memory=817464 CPUtime=12.66 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 35182 0 0 0 1228 38 0 0 20 0 1 0 30295761 3350994944 204366 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 818114 204366 1746 439 0 813543 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3272456 KiB
Current children cumulated memory: 817464 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 1.41 1.47 5/248 298561
/proc/meminfo: memFree=83208680/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3261548 memory=845240 CPUtime=25.42 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 40541 0 0 0 2496 46 0 0 20 0 1 0 30295761 3339825152 211310 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 815387 211310 1746 439 0 810816 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3261548 KiB
Current children cumulated memory: 845240 KiB
[startup+51.1135 s]
/proc/loadavg: 2.86 1.64 1.55 5/248 298565
/proc/meminfo: memFree=83153692/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3296800 memory=877080 CPUtime=50.97 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 46285 0 0 0 5041 56 0 0 20 0 1 0 30295761 3375923200 219270 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 824200 219270 1746 439 0 819629 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3296800 KiB
Current children cumulated memory: 877080 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.02 1.68 5/248 298575
/proc/meminfo: memFree=83363632/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3009844 memory=836768 CPUtime=102.02 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 53979 0 0 0 10132 70 0 0 20 0 1 0 30295761 3082080256 209192 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 752461 209192 1746 439 0 747890 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 3009844 KiB
Current children cumulated memory: 836768 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.40 1.84 5/247 298585
/proc/meminfo: memFree=83329948/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3008448 memory=755872 CPUtime=161.88 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 64325 0 0 0 16096 92 0 0 20 0 1 0 30295761 3080650752 188968 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 752112 188968 1746 439 0 747541 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 3008448 KiB
Current children cumulated memory: 755872 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 2.77 2.00 5/247 298595
/proc/meminfo: memFree=83448328/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2898812 memory=689244 CPUtime=221.73 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 87829 0 0 0 22038 135 0 0 20 0 1 0 30295761 2968383488 172311 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 724703 172311 1746 439 0 720132 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2898812 KiB
Current children cumulated memory: 689244 KiB
[startup+282.3 s]
/proc/loadavg: 4.69 3.18 2.19 5/246 298606
/proc/meminfo: memFree=83042396/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2790284 memory=606636 CPUtime=281.58 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 109901 0 0 0 27983 175 0 0 20 0 1 0 30295761 2857250816 151659 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 697571 151659 1746 439 0 693000 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2790284 KiB
Current children cumulated memory: 606636 KiB
[startup+342.3 s]
/proc/loadavg: 4.30 3.34 2.31 5/242 298616
/proc/meminfo: memFree=83417880/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3032052 memory=855208 CPUtime=341.43 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 121685 0 0 0 33942 201 0 0 20 0 1 0 30295761 3104821248 213802 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 758013 213802 1746 439 0 753442 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 3032052 KiB
Current children cumulated memory: 855208 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.50 2.43 5/243 298627
/proc/meminfo: memFree=83705684/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2505704 memory=528860 CPUtime=401.27 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 125375 0 0 0 39918 209 0 0 20 0 1 0 30295761 2565840896 132215 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 626426 132215 1746 439 0 621855 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 2505704 KiB
Current children cumulated memory: 528860 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.60 2.54 5/243 298638
/proc/meminfo: memFree=83480532/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3033672 memory=778832 CPUtime=461.13 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 153021 0 0 0 45850 263 0 0 20 0 1 0 30295761 3106480128 194708 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 758418 194708 1746 439 0 753847 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.00 5/248 300103
/proc/meminfo: memFree=84145636/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2747956 memory=556524 CPUtime=2435.95 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 472201 0 0 0 242907 688 0 0 20 0 1 0 30295761 2813906944 139131 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 686989 139131 1746 439 0 682418 0
Current children cumulated CPU time: 2435.95 s
Current children cumulated vsize: 2747956 KiB
Current children cumulated memory: 556524 KiB
[startup+2502.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/248 300114
/proc/meminfo: memFree=84102204/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2615668 memory=538924 CPUtime=2495.79 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 474730 0 0 0 248886 693 0 0 20 0 1 0 30295761 2678444032 134731 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 653917 134731 1746 439 0 649346 0
Current children cumulated CPU time: 2495.79 s
Current children cumulated vsize: 2615668 KiB
Current children cumulated memory: 538924 KiB
[startup+2562.3 s]
/proc/loadavg: 4.13 4.11 4.01 5/245 300125
/proc/meminfo: memFree=84438512/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2416164 memory=410400 CPUtime=2555.63 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 481211 0 0 0 254862 701 0 0 20 0 1 0 30295761 2474151936 102600 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 604041 102600 1746 439 0 599470 0
Current children cumulated CPU time: 2555.63 s
Current children cumulated vsize: 2416164 KiB
Current children cumulated memory: 410400 KiB
[startup+2622.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/244 300135
/proc/meminfo: memFree=84600860/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2348192 memory=383636 CPUtime=2615.46 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 488733 0 0 0 260840 706 0 0 20 0 1 0 30295761 2404548608 95909 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 587048 95909 1746 439 0 582477 0
Current children cumulated CPU time: 2615.46 s
Current children cumulated vsize: 2348192 KiB
Current children cumulated memory: 383636 KiB
[startup+2682.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/242 300146
/proc/meminfo: memFree=84364660/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2265372 memory=299284 CPUtime=2675.28 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 499014 0 0 0 266817 711 0 0 20 0 1 0 30295761 2319740928 74821 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 566343 74821 1746 439 0 561772 0
Current children cumulated CPU time: 2675.28 s
Current children cumulated vsize: 2265372 KiB
Current children cumulated memory: 299284 KiB
[startup+2742.3 s]
/proc/loadavg: 4.18 4.12 4.02 5/242 300156
/proc/meminfo: memFree=83814408/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3019988 memory=845072 CPUtime=2735.13 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 530095 0 0 0 272754 759 0 0 20 0 1 0 30295761 3092467712 211268 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 754997 211268 1746 439 0 750426 0
Current children cumulated CPU time: 2735.13 s
Current children cumulated vsize: 3019988 KiB
Current children cumulated memory: 845072 KiB
[startup+2802.3 s]
/proc/loadavg: 4.21 4.14 4.03 5/242 300167
/proc/meminfo: memFree=83533512/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2635880 memory=597308 CPUtime=2794.99 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 542664 0 0 0 278716 783 0 0 20 0 1 0 30295761 2699141120 149327 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 658970 149327 1746 439 0 654399 0
Current children cumulated CPU time: 2794.99 s
Current children cumulated vsize: 2635880 KiB
Current children cumulated memory: 597308 KiB
[startup+2850.43 s]
# the end of solver process 298554 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2834.73 s, system=8.28028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2816 s]*
/proc/loadavg: 4.16 4.14 4.03 5/242 300169
/proc/meminfo: memFree=83573960/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2504808 memory=515368 CPUtime=2808.67 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 542874 0 0 0 280083 784 0 0 20 0 1 0 30295761 2564923392 128842 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 626202 128842 1746 439 0 621631 0
Current children cumulated CPU time: 2808.67 s
Current children cumulated vsize: 2504808 KiB
Current children cumulated memory: 515368 KiB
[startup+2828.8 s]
/proc/loadavg: 4.14 4.13 4.03 5/242 300172
/proc/meminfo: memFree=83282240/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3038456 memory=847360 CPUtime=2821.42 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 560193 0 0 0 281328 814 0 0 20 0 1 0 30295761 3111378944 211840 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 759614 211840 1746 439 0 755043 0
Current children cumulated CPU time: 2821.42 s
Current children cumulated vsize: 3038456 KiB
Current children cumulated memory: 847360 KiB
[startup+2841.6 s]
/proc/loadavg: 4.19 4.14 4.04 5/242 300173
/proc/meminfo: memFree=83401804/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3018980 memory=794776 CPUtime=2834.19 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 564012 0 0 0 282596 823 0 0 20 0 1 0 30295761 3091435520 198694 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 754745 198694 1746 439 0 750174 0
Current children cumulated CPU time: 2834.19 s
Current children cumulated vsize: 3018980 KiB
Current children cumulated memory: 794776 KiB
[startup+2844.8 s]
/proc/loadavg: 4.17 4.14 4.03 5/242 300175
/proc/meminfo: memFree=83723252/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3281124 memory=868724 CPUtime=2837.38 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 564559 0 0 0 282914 824 0 0 20 0 1 0 30295761 3359870976 217181 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 820281 217181 1746 439 0 815710 0
Current children cumulated CPU time: 2837.38 s
Current children cumulated vsize: 3281124 KiB
Current children cumulated memory: 868724 KiB
[startup+2848 s]*
/proc/loadavg: 4.17 4.14 4.03 5/242 300175
/proc/meminfo: memFree=83260696/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=3323424 memory=981400 CPUtime=2840.58 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 564614 0 0 0 283232 826 0 0 20 0 1 0 30295761 3403186176 245350 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 830856 245350 1746 439 0 826285 0
Current children cumulated CPU time: 2840.58 s
Current children cumulated vsize: 3323424 KiB
Current children cumulated memory: 981400 KiB
[startup+2849.6 s]
/proc/loadavg: 4.16 4.14 4.03 5/242 300176
/proc/meminfo: memFree=83519548/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2887908 memory=718544 CPUtime=2842.17 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 564954 0 0 0 283390 827 0 0 20 0 1 0 30295761 2957217792 179636 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 721977 179636 1746 439 0 717406 0
Current children cumulated CPU time: 2842.17 s
Current children cumulated vsize: 2887908 KiB
Current children cumulated memory: 718544 KiB
[startup+2850 s]*
/proc/loadavg: 4.16 4.14 4.03 5/242 300176
/proc/meminfo: memFree=83443932/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2887908 memory=718544 CPUtime=2842.59 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 564954 0 0 0 283432 827 0 0 20 0 1 0 30295761 2957217792 179636 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 721977 179636 1746 439 0 717406 0
Current children cumulated CPU time: 2842.59 s
Current children cumulated vsize: 2887908 KiB
Current children cumulated memory: 718544 KiB
[startup+2850.4 s]
/proc/loadavg: 4.16 4.14 4.03 5/242 300176
/proc/meminfo: memFree=83443932/131655788 swapFree=131058856/131071996
[pid=298554] ppid=298551 vsize=2887908 memory=718544 CPUtime=2842.97 cores=4,6
/proc/298554/stat : 298554 (pb_picat) R 298551 298554 296373 0 -1 4194304 564954 0 0 0 283470 827 0 0 20 0 1 0 30295761 2957217792 179636 134679101440 4194304 5989780 140724140076144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 35807232 140724140078104 140724140078180 140724140078180 140724140085196 0
/proc/298554/statm: 721977 179636 1746 439 0 717406 0
Current children cumulated CPU time: 2842.97 s
Current children cumulated vsize: 2887908 KiB
Current children cumulated memory: 718544 KiB
Child status: 0
Real time (s): 2850.43
CPU time (s): 2843.01
CPU user time (s): 2834.73
CPU system time (s): 8.28028
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 3360840
Max. memory (cumulated for all children) (KiB): 1084780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2834.73
system time used= 8.28028
maximum resident set size= 1084780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564959
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= 3
involuntary context switches= 2635
# summary of solver processes directly reported to runsolver:
# pid: 298554
# total CPU time (s): 2843.01
# total CPU user time (s): 2834.73
# total CPU system time (s): 8.28028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0143 second user time and 28.5454 second system time
The end
Begin job on nodeC010 at 2024-07-25 23:31:02 IDJOB=4460004 IDBENCH=155313 IDSOLVER=3068 FILE ID=nodeC010/4460004-1721943062 RUNJOBID= nodeC010-1721943061-298446 SLURM_JOB_ID= 8247264 Free space on /tmp= 723764 MiB SOLVER NAME= Picat 2024-06-18 BENCH NAME= PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_0_errors.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460004-1721943062/watcher-4460004-1721943062 -o /tmp/evaluation-result-4460004-1721943062/solver-4460004-1721943062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721943061-298446 --watchdog 3760 pb_picat HOME/instance-4460004-1721943062.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1b486f52a53fb7825baee6455587fecd RANDOM SEED=1222600948 nodeC010.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 : 0xb00001f cpu MHz : 1503.300 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1501.775 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.276 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.268 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1602.218 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.373 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 85568004 kB MemAvailable: 129606556 kB Buffers: 334192 kB Cached: 44028868 kB SwapCached: 192 kB Active: 2268044 kB Inactive: 42595260 kB Active(anon): 1984 kB Inactive(anon): 551788 kB Active(file): 2266060 kB Inactive(file): 42043472 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 14736 kB Writeback: 0 kB AnonPages: 500368 kB Mapped: 109852 kB Shmem: 53520 kB KReclaimable: 790764 kB Slab: 911700 kB SReclaimable: 790764 kB SUnreclaim: 120936 kB KernelStack: 4032 kB PageTables: 10196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 6699644 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 202752 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723760 MiB End job on nodeC010 at 2024-07-26 00:18:33