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 | ? (TO) | 3602.06 | 3610.71 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_9_ic.opb |
| MD5SUM | 4134a3bbfafa37bf409eb88a166c5118 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 18382767 |
| Best CPU time to get the best result obtained on this benchmark | 3586.82 |
| 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 | 125200 |
| Total number of constraints | 250157 |
| Number of constraints which are clauses | 120150 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 130000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 7400 |
| Biggest coefficient in the objective function | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 48555114814 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 48555114814 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
6.67/6.74 o 359423927 6.67/6.80 o 359105267 6.76/6.85 o 358740755 6.97/7.01 o 358675241 6.97/7.10 o 351110227 7.07/7.16 o 350219961 7.16/7.20 o 349639983 7.16/7.25 o 345953311 7.26/7.30 o 345712507 7.26/7.35 o 345347995 7.36/7.40 o 309004091 7.56/7.61 o 308730409 7.56/7.69 o 300810605 10.55/10.63 o 295048373 10.75/10.81 o 196904237 12.35/12.48 o 196581099 14.84/14.94 o 168373629 14.84/15.00 o 168306265 14.95/15.09 o 168040815 15.05/15.15 o 167711403 15.14/15.20 o 167224699 15.14/15.27 o 167211745 15.34/15.43 o 165353227 15.34/15.48 o 154903683 15.64/15.71 o 154018915 20.93/21.08 o 153801451 21.32/21.49 o 153648043 29.48/29.69 o 126405791 29.58/29.75 o 125362929 29.68/29.80 o 124248391 29.68/29.89 o 123604813 29.78/29.98 o 123158849 29.89/30.07 o 106122531 29.99/30.14 o 105228075 31.09/31.24 o 105158975 31.29/31.49 o 99094543 31.39/31.55 o 99073879 31.49/31.62 o 97315049 37.34/37.59 o 94311957 40.33/40.58 o 91983623 40.43/40.64 o 91881441 40.53/40.70 o 90607519 40.63/40.89 o 90049663 44.82/45.10 o 89807903 45.61/45.86 o 89521457 45.92/46.11 o 89436525 50.29/50.59 o 79776927 50.48/50.72 o 77384925 50.58/50.80 o 76627833 63.64/64.00 o 76298855 63.86/64.11 o 74043363 106.02/106.47 o 73712465 106.12/106.55 o 73313249 106.22/106.61 o 72050517 106.32/106.75 o 71732259 106.42/106.90 o 71399133 106.63/107.02 o 70917667 106.63/107.10 o 67191091 106.74/107.18 o 66857965 106.82/107.28 o 66684533 107.82/108.29 o 66179593 107.92/108.35 o 65251081 110.72/111.12 o 62047189 110.72/111.19 o 61687683 113.01/113.44 o 60905811 120.49/120.93 o 60858291 139.55/140.06 o 60386317 213.44/214.14 o 58987675 253.82/254.63 o 58627291 253.92/254.72 o 57935831 254.12/254.95 o 57519781 254.23/255.04 o 57206113 339.90/340.90 o 56944445 420.99/422.29 o 56417715 421.39/422.62 o 56169355 421.59/422.85 o 55119093 421.69/422.95 o 54990555 421.90/423.15 o 54843797 421.99/423.29 o 54651461 456.20/457.57 o 54432943 483.94/485.33 o 53951921 494.62/496.02 o 53527909 496.50/497.95 o 53261789 562.64/564.24 o 53226471 581.29/582.96 o 53005407 586.18/587.87 o 51959711 586.68/588.36 o 51831173 587.07/588.79 o 51654293 587.17/588.86 o 50760127 587.27/588.92 o 50375627 594.96/596.60 o 50296975 645.24/647.06 o 49906955 645.34/647.12 o 49542427 659.31/661.14 o 49500821 710.37/712.39 o 49487473 841.45/843.78 o 46328757 841.55/843.86 o 46011933 841.65/843.93 o 45025129 841.65/844.00 o 44420713 842.05/844.34 o 44302039 882.67/885.06 o 44205095 892.84/895.21 o 44143571 953.39/955.93 o 44065289 1057.34/1060.18 o 43739337 1057.43/1060.24 o 42554403 1058.83/1061.68 o 42329385 1058.93/1061.75 o 42099581 1285.20/1288.52 o 42034839 1287.71/1291.11 o 41891333 1310.15/1313.55 o 41780079 1488.42/1492.29 o 41286235 1724.78/1729.19 o 40852739 1767.36/1771.87 o 39642085 1767.46/1771.97 o 39590773 1809.77/1814.37 o 39237581 1926.91/1931.78 o 39176823 1944.47/1949.37 o 38945275 1977.40/1982.39 o 38853623 1977.50/1982.44 o 38489449 2103.52/2108.70 o 37616693 2103.52/2108.75 o 37588243 2103.62/2108.82 o 37365383 2212.07/2217.58 o 36716473 2551.73/2557.97 o 36700533 2551.84/2558.05 o 36423905 2551.84/2558.10 o 36152453 2731.54/2738.19 o 33836207 2731.62/2738.26 o 33529789 2731.72/2738.33 o 31477387 2750.09/2756.74 o 29488781 2752.49/2759.12 o 29426565 2769.24/2775.98 o 29137217 2778.02/2784.78 o 28133271 2788.89/2795.68 o 27961983 2847.37/2854.20 o 26938305 2911.31/2918.34 o 25853345 2918.39/2925.47 o 25538533 2918.49/2925.54 o 25336389 2918.59/2925.62 o 25264183 2925.99/2933.02 o 24994847 3073.32/3080.74 o 24809211 3073.42/3080.88 o 24578083
ERROR: no interpretation found !
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 (60167 MiB free)
memory of node 1: 64510 MiB (63183 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433280-1721141629/watcher-4433280-1721141629 -o /tmp/evaluation-result-4433280-1721141629/solver-4433280-1721141629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721138028-849557 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=50438581 HOME/instance-4433280-1721141629.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=851524, runsolver pid=851521
[startup+0.10056 s]*
/proc/loadavg: 4.27 4.14 4.13 5/240 851525
/proc/meminfo: memFree=126238964/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=98804 memory=76288 CPUtime=0.1 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 8894 0 0 0 7 3 0 0 20 0 1 0 166319557 101175296 19072 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 24701 19072 916 1005 0 23464 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98804 KiB
Current children cumulated memory: 76288 KiB
[startup+0.213077 s]*
/proc/loadavg: 4.27 4.14 4.13 3/238 851525
/proc/meminfo: memFree=126239464/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=105000 memory=84932 CPUtime=0.21 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 10557 0 0 0 18 3 0 0 20 0 1 0 166319557 107520000 21233 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 26250 21233 916 1005 0 25013 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 105000 KiB
Current children cumulated memory: 84932 KiB
[startup+0.312835 s]*
/proc/loadavg: 4.27 4.14 4.13 5/238 851537
/proc/meminfo: memFree=126218736/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=111268 memory=93312 CPUtime=0.31 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 12106 0 0 0 27 4 0 0 20 0 1 0 166319557 113938432 23328 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 27817 23328 916 1005 0 26580 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111268 KiB
Current children cumulated memory: 93312 KiB
[startup+0.700333 s]
/proc/loadavg: 4.27 4.14 4.13 3/232 851557
/proc/meminfo: memFree=126240692/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=137080 memory=125316 CPUtime=0.68 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 18580 0 0 0 63 5 0 0 20 0 1 0 166319557 140369920 31329 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 34270 31329 916 1005 0 33033 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137080 KiB
Current children cumulated memory: 125316 KiB
[startup+1.50032 s]
/proc/loadavg: 4.27 4.14 4.13 5/244 851589
/proc/meminfo: memFree=126170004/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=348616 memory=294408 CPUtime=1.48 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 37524 0 0 0 137 11 0 0 20 0 1 0 166319557 356982784 73090 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 87154 73602 1060 1005 0 85917 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 348616 KiB
Current children cumulated memory: 294408 KiB
[startup+3.11277 s]
/proc/loadavg: 4.33 4.16 4.13 7/241 851658
/proc/meminfo: memFree=127455268/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=438100 memory=405788 CPUtime=3.09 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 49634 0 0 0 293 16 0 0 20 0 1 0 166319557 448614400 101447 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 109525 101447 1076 1005 0 108288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 438100 KiB
Current children cumulated memory: 405788 KiB
[startup+6.30026 s]
/proc/loadavg: 4.33 4.16 4.13 6/244 851683
/proc/meminfo: memFree=125641044/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=460892 memory=427364 CPUtime=6.27 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 51821 0 0 0 610 17 0 0 20 0 1 0 166319557 471953408 106841 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 115223 106841 1124 1005 0 113986 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 460892 KiB
Current children cumulated memory: 427364 KiB
[startup+12.7003 s]
/proc/loadavg: 4.46 4.19 4.14 6/244 851729
/proc/meminfo: memFree=123115412/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=515184 memory=473080 CPUtime=12.65 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 56911 0 0 0 1245 20 0 0 20 0 1 0 166319557 527548416 118270 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 128796 118270 1124 1005 0 127559 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 515184 KiB
Current children cumulated memory: 473080 KiB
[startup+25.5003 s]
/proc/loadavg: 4.88 4.29 4.18 6/244 851732
/proc/meminfo: memFree=118401864/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=529904 memory=489788 CPUtime=25.41 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 60701 0 0 0 2521 20 0 0 20 0 1 0 166319557 542621696 122447 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 132476 122447 1124 1005 0 131239 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 529904 KiB
Current children cumulated memory: 489788 KiB
[startup+51.1136 s]
/proc/loadavg: 5.26 4.43 4.23 6/244 851736
/proc/meminfo: memFree=111117048/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=650748 memory=607632 CPUtime=50.9 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 72108 0 0 0 5063 27 0 0 20 0 1 0 166319557 666365952 151908 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 162687 151908 1124 1005 0 161450 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 650748 KiB
Current children cumulated memory: 607632 KiB
[startup+102.3 s]
/proc/loadavg: 5.02 4.52 4.27 6/247 852133
/proc/meminfo: memFree=107876384/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=693728 memory=672056 CPUtime=101.93 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 76240 0 0 0 10162 31 0 0 20 0 1 0 166319557 710377472 168014 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 173432 168014 1124 1005 0 172195 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 693728 KiB
Current children cumulated memory: 672056 KiB
[startup+162.3 s]
/proc/loadavg: 4.41 4.43 4.26 6/247 852144
/proc/meminfo: memFree=107245208/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=693728 memory=677404 CPUtime=161.78 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 76431 0 0 0 16146 32 0 0 20 0 1 0 166319557 710377472 169351 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 173432 169351 1124 1005 0 172195 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 693728 KiB
Current children cumulated memory: 677404 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.40 4.26 6/247 852154
/proc/meminfo: memFree=106740916/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=765504 memory=749444 CPUtime=221.6 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 89282 0 0 0 22125 35 0 0 20 0 1 0 166319557 783876096 187361 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 191376 187361 1140 1005 0 190139 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 765504 KiB
Current children cumulated memory: 749444 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.37 4.26 6/247 852332
/proc/meminfo: memFree=106358096/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=776380 memory=762316 CPUtime=281.45 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 89774 0 0 0 28109 36 0 0 20 0 1 0 166319557 795013120 190579 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 194095 190579 1140 1005 0 192858 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 776380 KiB
Current children cumulated memory: 762316 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.32 4.25 6/247 852343
/proc/meminfo: memFree=105945956/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=784284 memory=773036 CPUtime=341.3 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 90301 0 0 0 34090 40 0 0 20 0 1 0 166319557 803106816 193259 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 196071 193259 1140 1005 0 194834 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 784284 KiB
Current children cumulated memory: 773036 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.27 4.23 6/247 852355
/proc/meminfo: memFree=105754352/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=784284 memory=773716 CPUtime=401.14 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 90683 0 0 0 40074 40 0 0 20 0 1 0 166319557 803106816 193429 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 196071 193429 1140 1005 0 194834 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 784284 KiB
Current children cumulated memory: 773716 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.25 4.23 6/243 852376
/proc/meminfo: memFree=105611900/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=784284 memory=774412 CPUtime=460.99 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 91080 0 0 0 46059 40 0 0 20 0 1 0 166319557 803106816 193603 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 196071 193603 1140 1005 0 194834 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.56 4.31 4.20 6/242 853462
/proc/meminfo: memFree=100905352/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=863320 memory=852124 CPUtime=3094.87 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 118284 0 0 0 309389 98 0 0 20 0 1 0 166319557 884039680 213031 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 215830 213031 1140 1005 0 214593 0
Current children cumulated CPU time: 3094.87 s
Current children cumulated vsize: 863320 KiB
Current children cumulated memory: 852124 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.27 4.18 6/242 853473
/proc/meminfo: memFree=100692680/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=866244 memory=853000 CPUtime=3154.73 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 118820 0 0 0 315373 100 0 0 20 0 1 0 166319557 887033856 213250 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 216561 213250 1140 1005 0 215324 0
Current children cumulated CPU time: 3154.73 s
Current children cumulated vsize: 866244 KiB
Current children cumulated memory: 853000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.25 4.18 6/242 853483
/proc/meminfo: memFree=100689892/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=866244 memory=854468 CPUtime=3214.58 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 119420 0 0 0 321358 100 0 0 20 0 1 0 166319557 887033856 213617 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 216561 213617 1140 1005 0 215324 0
Current children cumulated CPU time: 3214.58 s
Current children cumulated vsize: 866244 KiB
Current children cumulated memory: 854468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.21 4.17 6/242 853493
/proc/meminfo: memFree=100689372/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=866244 memory=854468 CPUtime=3274.44 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 119659 0 0 0 327344 100 0 0 20 0 1 0 166319557 887033856 213617 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 216561 213617 1140 1005 0 215324 0
Current children cumulated CPU time: 3274.44 s
Current children cumulated vsize: 866244 KiB
Current children cumulated memory: 854468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.17 6/242 853504
/proc/meminfo: memFree=100675564/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=882400 memory=867264 CPUtime=3334.3 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 122490 0 0 0 333322 108 0 0 20 0 1 0 166319557 903577600 216816 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 220600 216816 1140 1005 0 219363 0
Current children cumulated CPU time: 3334.3 s
Current children cumulated vsize: 882400 KiB
Current children cumulated memory: 867264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.26 4.20 6/245 853519
/proc/meminfo: memFree=100665800/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=876620 CPUtime=3394.15 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124457 0 0 0 339288 127 0 0 20 0 1 0 166319557 909119488 219155 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219155 1140 1005 0 220716 0
Current children cumulated CPU time: 3394.15 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 876620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.60 4.35 4.23 6/245 853529
/proc/meminfo: memFree=100637676/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=876852 CPUtime=3454 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124601 0 0 0 345268 132 0 0 20 0 1 0 166319557 909119488 219213 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219213 1140 1005 0 220716 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 876852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.28 4.30 4.22 6/245 853540
/proc/meminfo: memFree=100562924/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877064 CPUtime=3513.86 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124784 0 0 0 351248 138 0 0 20 0 1 0 166319557 909119488 219266 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219266 1140 1005 0 220716 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.26 4.21 6/245 853550
/proc/meminfo: memFree=100513596/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877260 CPUtime=3573.71 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124899 0 0 0 357226 145 0 0 20 0 1 0 166319557 909119488 219315 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219315 1140 1005 0 220716 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.15 4.25 4.20 6/245 853555
/proc/meminfo: memFree=100512672/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877320 CPUtime=3600.05 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124995 0 0 0 359857 148 0 0 20 0 1 0 166319557 909119488 219330 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219330 1140 1005 0 220716 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 851524 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.57 s, system=1.49503 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.15 4.25 4.20 6/245 853555
/proc/meminfo: memFree=100512648/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877320 CPUtime=3600.95 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124995 0 0 0 359947 148 0 0 20 0 1 0 166319557 909119488 219330 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219330 1140 1005 0 220716 0
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877320 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.25 4.20 6/245 853555
/proc/meminfo: memFree=100512692/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877320 CPUtime=3601.74 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124995 0 0 0 360026 148 0 0 20 0 1 0 166319557 909119488 219330 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219330 1140 1005 0 220716 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877320 KiB
[startup+3610.6 s]
/proc/loadavg: 4.15 4.25 4.20 6/245 853555
/proc/meminfo: memFree=100512692/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877320 CPUtime=3601.94 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124995 0 0 0 360046 148 0 0 20 0 1 0 166319557 909119488 219330 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219330 1140 1005 0 220716 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877320 KiB
[startup+3610.7 s]
/proc/loadavg: 4.15 4.25 4.20 6/245 853555
/proc/meminfo: memFree=100512692/131655788 swapFree=131071996/131071996
[pid=851524] ppid=851521 vsize=887812 memory=877320 CPUtime=3602.04 cores=4,6
/proc/851524/stat : 851524 (Exact) R 851521 851524 849546 0 -1 4194304 124995 0 0 0 360056 148 0 0 20 0 1 0 166319557 909119488 219330 134679101440 4194304 8309489 140730762975216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 33779712 140730762978240 140730762978408 140730762978408 140730762985423 0
/proc/851524/statm: 221953 219330 1140 1005 0 220716 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 887812 KiB
Current children cumulated memory: 877320 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.71
CPU time (s): 3602.06
CPU user time (s): 3600.57
CPU system time (s): 1.49503
CPU usage (%): 99.7606
Max. virtual memory (cumulated for all children) (KiB): 887812
Max. memory (cumulated for all children) (KiB): 877320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.57
system time used= 1.49503
maximum resident set size= 877368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124995
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= 82
involuntary context switches= 2092
# summary of solver processes directly reported to runsolver:
# pid: 851524
# total CPU time (s): 3602.06
# total CPU user time (s): 3600.57
# total CPU system time (s): 1.49503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8123 second user time and 35.9463 second system time
The end
Begin job on nodeC007 at 2024-07-16 16:54:02 IDJOB=4433280 IDBENCH=155727 IDSOLVER=3060 FILE ID=nodeC007/4433280-1721141629 RUNJOBID= nodeC007-1721138028-849557 SLURM_JOB_ID= 7505714 Free space on /tmp= 723696 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_9_ic.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-4433280-1721141629/watcher-4433280-1721141629 -o /tmp/evaluation-result-4433280-1721141629/solver-4433280-1721141629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721138028-849557 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=50438581 HOME/instance-4433280-1721141629.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4134a3bbfafa37bf409eb88a166c5118 RANDOM SEED=50438581 nodeC007.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 : 3667.957 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.25 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 : 3665.797 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.30 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.331 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.25 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.302 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.30 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 : 3491.630 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.25 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 : 3665.842 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.30 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.153 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.25 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.152 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126311668 kB MemAvailable: 127996660 kB Buffers: 414008 kB Cached: 2095396 kB SwapCached: 0 kB Active: 803168 kB Inactive: 3971880 kB Active(anon): 1484 kB Inactive(anon): 2301856 kB Active(file): 801684 kB Inactive(file): 1670024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22436 kB Writeback: 0 kB AnonPages: 2265676 kB Mapped: 109552 kB Shmem: 37704 kB KReclaimable: 106628 kB Slab: 205320 kB SReclaimable: 106628 kB SUnreclaim: 98692 kB KernelStack: 3836 kB PageTables: 13680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2876560 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52960 kB HardwareCorrupted: 0 kB AnonHugePages: 1189888 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: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723420 MiB End job on nodeC007 at 2024-07-16 17:54:12