Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | ? (TO) | 2796.28 | 3704.68 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_5.opb |
| MD5SUM | 353b00be857f2760978c5d5f587e868e |
| 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 | 5383147 |
| Best CPU time to get the best result obtained on this benchmark | 3585.28 |
| 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 | 20200 |
| Total number of constraints | 30206 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 30000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4950 |
| Number of terms in the objective function | 19900 |
| Biggest coefficient in the objective function | 172808693 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 174373725764 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 172808693 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 174373725764 |
| Number of bits of the biggest sum of numbers | 38 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.57/1.67 o 97964023 48.92/174.74 o 97927353 48.92/174.77 o 97818435 49.02/174.80 o 97691427 49.62/175.42 o 68679587 49.62/175.48 o 68640403 50.41/176.27 o 46935479 50.62/176.49 o 46794531 51.72/177.50 o 40854025 51.72/177.54 o 40840455 51.91/177.78 o 40688639 52.32/178.19 o 40625577 52.41/178.22 o 40570349 52.71/178.54 o 40444269 52.81/178.66 o 40421431 53.70/179.59 o 40415391 54.70/180.55 o 40408325 55.21/181.06 o 40389431 55.40/181.25 o 40350201 55.50/181.32 o 40343541 57.20/183.09 o 40328367 57.60/183.43 o 40257585 58.90/184.73 o 40242231 59.30/185.16 o 40156327 59.39/185.20 o 40123707 62.38/188.28 o 40108315 70.32/219.21 o 40099933 71.52/220.44 o 40084535 71.52/220.49 o 40083223 71.72/220.65 o 40058575 73.52/222.45 o 40056253 75.61/224.56 o 40001509 75.81/224.78 o 39997171 83.52/237.12 o 39949613 83.61/237.20 o 39948301 83.61/237.29 o 39923653 86.10/239.76 o 39921331 88.20/241.80 o 39879009 88.20/241.87 o 39848081 88.30/241.96 o 39826555 124.37/391.45 o 39763121 124.57/391.64 o 39758447 127.07/394.10 o 39743055 128.56/395.67 o 39742851 129.56/396.61 o 39738513 130.76/397.88 o 39677699 131.16/398.27 o 39675377 134.67/404.30 o 39673877 139.56/409.23 o 39535881 139.86/409.59 o 39509921 149.23/418.95 o 39502035 152.43/422.12 o 39486643 171.38/458.96 o 39486277 173.08/460.67 o 39386829 174.67/462.27 o 39377397 177.16/464.71 o 39376253 208.25/501.36 o 39315095 246.35/559.75 o 39299909 249.64/563.04 o 39253003 249.64/563.09 o 39210911 249.74/563.15 o 39205157 253.23/566.66 o 39200139 253.53/566.91 o 39194803 268.08/588.77 o 39043523 268.18/588.88 o 39030729 269.77/590.46 o 38969499 282.98/604.40 o 38965981 343.07/688.64 o 38928763 343.77/689.35 o 33642971 347.72/700.01 o 33473987 347.72/700.07 o 33464107 348.30/700.60 o 33453889 348.30/700.65 o 33436189 348.61/701.00 o 28697183 348.81/701.14 o 28695871 349.71/702.09 o 28690219 350.11/702.48 o 28686403 350.20/702.54 o 28680649 350.30/702.60 o 28600799 350.60/702.97 o 28563835 350.71/703.01 o 28562523 353.89/706.27 o 28555283 354.09/706.42 o 28529897 356.18/708.54 o 28408755 356.38/708.71 o 28407731 356.38/708.77 o 28351815 363.36/715.76 o 28320991 363.46/715.83 o 28289683 373.53/736.08 o 28280587 377.31/739.89 o 28197311 407.34/772.03 o 28195261 407.54/772.28 o 28188483 407.84/772.54 o 28170541 407.94/772.66 o 28170311 408.14/772.81 o 28147703 411.34/776.01 o 28115783 411.44/776.18 o 28115553 411.63/776.38 o 28100729 419.80/784.51 o 28095947 429.08/793.86 o 28066451 432.69/799.33 o 28050957 519.99/887.13 o 27975179 519.99/887.16 o 27971501 519.99/887.18 o 27909803 520.20/887.30 o 27886319 520.79/887.97 o 27870749 526.78/893.96 o 27863219 528.36/895.56 o 27862837 528.46/895.64 o 27862539 528.87/896.02 o 27860151 532.86/900.03 o 27816723 535.91/920.31 o 27803853 547.08/931.91 o 27801685 547.19/932.02 o 27801387 562.74/947.62 o 27793299 579.63/985.02 o 27764059 579.73/985.10 o 27762747 579.82/985.27 o 27754963 588.51/993.93 o 27748525 698.82/1182.46 o 27734281 699.52/1183.11 o 27724531 721.96/1212.96 o 27686093 722.07/1213.05 o 27685795 722.17/1213.15 o 27671269 733.93/1224.94 o 27651387 752.04/1245.74 o 27639817 831.37/1338.08 o 27628047 831.47/1338.10 o 27598287 831.47/1338.14 o 27595779 831.57/1338.23 o 27592903 839.45/1346.16 o 27585089 839.55/1346.21 o 27583777 855.72/1368.63 o 27575993 867.10/1380.09 o 27550581 1040.66/1594.19 o 27545631 1040.75/1594.20 o 27451353 1040.75/1594.24 o 27433181 1040.75/1594.26 o 27407491 1041.85/1595.34 o 27401671 1052.85/1607.66 o 27321669 1052.95/1607.73 o 27303497 1052.95/1607.79 o 27178579 1054.95/1609.72 o 27172337 1075.79/1630.67 o 27153275 1084.04/1645.19 o 27017193 1084.83/1645.92 o 27009579 1117.41/1679.55 o 26891963 1117.51/1679.69 o 26883609 1117.81/1679.98 o 26880737 1118.71/1680.80 o 26875473 1132.27/1694.40 o 26871051 1176.33/1743.72 o 26852573 1176.73/1744.19 o 26847071 1176.93/1744.37 o 26835011 1177.13/1744.53 o 26832503 1182.22/1749.66 o 26828663 1188.19/1755.68 o 26825847 1194.28/1761.72 o 26823405 1206.30/1774.50 o 26822971 1222.96/1791.28 o 26804683 1223.16/1791.43 o 26775553 1223.36/1791.61 o 26723857 1223.46/1791.73 o 26722545 1223.65/1791.94 o 26715797 1226.94/1795.24 o 26678833 1230.80/1800.49 o 26674993 1256.84/1826.53 o 26674873 1258.16/1828.67 o 26670577 1264.24/1834.79 o 26670043 1313.11/1886.06 o 26539915 1313.21/1886.19 o 26536099 1314.40/1887.37 o 26493459 1411.22/2002.81 o 26430591 1411.22/2002.84 o 26392315 1424.58/2016.24 o 26384851 1428.78/2020.42 o 26374253 1456.29/2051.24 o 26372345 1501.55/2097.97 o 26344367 1501.85/2098.24 o 26324917 1503.24/2099.66 o 26297455 1503.75/2100.19 o 26255881 1505.13/2101.50 o 26247647 1511.62/2108.04 o 26247527 1520.09/2117.51 o 26245139 1521.78/2119.23 o 26244367 1527.87/2125.34 o 26243807 1529.86/2127.36 o 26243687 1530.06/2127.58 o 26241299 1583.15/2193.87 o 26227835 1583.25/2193.97 o 26222885 1583.35/2194.08 o 26205307 1583.45/2194.18 o 26200261 1583.64/2194.32 o 26116469 1584.14/2194.82 o 26095627 1824.56/2512.51 o 26076157 1824.56/2512.59 o 26069497 1824.76/2512.71 o 26043537 1825.96/2513.92 o 26021227 1829.16/2517.19 o 26020547 1856.47/2544.59 o 25995875 1856.57/2544.69 o 25995731 1856.76/2544.84 o 25988201 1858.86/2546.94 o 25987641 1880.10/2568.21 o 25865761 1881.19/2569.31 o 25858087 2048.14/2760.18 o 25844679 2145.84/2880.22 o 25787715 2145.84/2880.23 o 25766189 2145.84/2880.26 o 25762373 2145.84/2880.28 o 25760887 2146.33/2880.71 o 25758879 2146.74/2881.16 o 25755385 2147.13/2881.53 o 25751559 2148.73/2883.15 o 25747575 2195.37/2935.19 o 25742937 2243.82/2986.17 o 25726293 2244.02/2986.34 o 25704767 2560.73/3460.72 o 25545089 2718.93/3623.77 o 25488697
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: 63931 MiB (61875 MiB free)
memory of node 1: 64510 MiB (58523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441326-1723986229/watcher-4441326-1723986229 -o /tmp/evaluation-result-4441326-1723986229/solver-4441326-1723986229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1723986219-901176 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441326-1723986229 --seed=83732635 HOME/instance-4441326-1723986229.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 419430400 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=901330, runsolver pid=901325
[startup+0.100121 s]*
/proc/loadavg: 0.63 0.20 0.13 5/259 901335
/proc/meminfo: memFree=123200648/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=76908 memory=55044 CPUtime=0.08 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 11219 0 0 0 7 1 0 0 20 0 1 0 165224605 78753792 13761 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 19227 13761 931 1006 0 17988 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76908 KiB
Current children cumulated memory: 55044 KiB
[startup+0.205935 s]*
/proc/loadavg: 0.63 0.20 0.13 5/259 901335
/proc/meminfo: memFree=123192408/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=68196 memory=49844 CPUtime=0.19 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 11221 0 0 0 18 1 0 0 20 0 1 0 165224605 69832704 12461 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 17049 12461 931 1006 0 15810 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68196 KiB
Current children cumulated memory: 49844 KiB
[startup+0.305871 s]*
/proc/loadavg: 0.63 0.20 0.13 5/259 901335
/proc/meminfo: memFree=123134500/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=95312 memory=76772 CPUtime=0.29 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 15833 0 0 0 27 2 0 0 20 0 1 0 165224605 97599488 19193 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 23828 19193 1075 1006 0 22589 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 95312 KiB
Current children cumulated memory: 76772 KiB
[startup+0.700231 s]
/proc/loadavg: 0.63 0.20 0.13 5/259 901335
/proc/meminfo: memFree=123103364/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=111164 memory=92144 CPUtime=0.68 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 19610 0 0 0 65 3 0 0 20 0 1 0 165224605 113831936 23036 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 27791 23036 1091 1006 0 26552 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111164 KiB
Current children cumulated memory: 92144 KiB
[startup+1.50021 s]
/proc/loadavg: 0.63 0.20 0.13 4/254 901343
/proc/meminfo: memFree=123315452/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=113496 memory=97476 CPUtime=1.48 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 20458 0 0 0 142 6 0 0 20 0 1 0 165224605 116219904 24369 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 28374 24369 1123 1006 0 27135 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113496 KiB
Current children cumulated memory: 97476 KiB
[startup+3.10564 s]
/proc/loadavg: 0.63 0.20 0.13 3/256 901345
/proc/meminfo: memFree=122745004/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=417076 memory=292696 CPUtime=2.52 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 29202 0 0 0 236 16 0 0 20 0 1 0 165224605 427085824 73174 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 104269 73174 1139 1006 0 103030 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 417076 KiB
Current children cumulated memory: 292696 KiB
[startup+6.30021 s]
/proc/loadavg: 0.90 0.26 0.15 5/261 901383
/proc/meminfo: memFree=121493064/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=489004 memory=373124 CPUtime=5.41 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 36836 0 0 0 502 39 0 0 20 0 1 0 165224605 500740096 93281 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 86 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 122251 93281 1139 1006 0 121012 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 489004 KiB
Current children cumulated memory: 373124 KiB
[startup+12.7002 s]
/proc/loadavg: 1.23 0.34 0.17 5/262 901480
/proc/meminfo: memFree=117930236/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=1211464 memory=950216 CPUtime=11.79 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 46253 0 0 0 1068 111 0 0 20 0 1 0 165224605 1240539136 237554 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 86 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 302866 237554 1139 1006 0 301627 0
Current children cumulated CPU time: 11.79 s
Current children cumulated vsize: 1211464 KiB
Current children cumulated memory: 950216 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 0.54 0.24 5/260 901495
/proc/meminfo: memFree=115097488/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2079508 memory=1405344 CPUtime=24.55 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 58951 0 0 0 2250 205 0 0 20 0 1 0 165224605 2129416192 351336 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 86 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 519877 351336 1139 1006 0 518638 0
Current children cumulated CPU time: 24.55 s
Current children cumulated vsize: 2079508 KiB
Current children cumulated memory: 1405344 KiB
[startup+51.1041 s]
/proc/loadavg: 2.29 0.74 0.32 1/255 901517
/proc/meminfo: memFree=111365920/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2407192 memory=1762428 CPUtime=37.77 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 67386 0 0 0 3501 276 0 0 20 0 1 0 165224605 2464964608 440607 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 86 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 601798 440607 1139 1006 0 600559 0
Current children cumulated CPU time: 37.77 s
Current children cumulated vsize: 2407192 KiB
Current children cumulated memory: 1762428 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 2.74 1.10 0.47 1/254 901527
/proc/meminfo: memFree=109973696/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2407192 memory=1762428 CPUtime=37.77 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 67386 0 0 0 3501 276 0 0 20 0 1 0 165224605 2464964608 440607 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 86 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 601798 440607 1139 1006 0 600559 0
Current children cumulated CPU time: 37.77 s
Current children cumulated vsize: 2407192 KiB
Current children cumulated memory: 1762428 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 2.98 1.47 0.63 4/254 901539
/proc/meminfo: memFree=108798220/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2407192 memory=1762428 CPUtime=38.15 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 67784 0 0 0 3534 281 0 0 20 0 1 0 165224605 2464964608 440607 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12400 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 601798 440607 1139 1006 0 600559 0
Current children cumulated CPU time: 38.15 s
Current children cumulated vsize: 2407192 KiB
Current children cumulated memory: 1762428 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 3.11 1.78 0.79 2/254 901550
/proc/meminfo: memFree=103509352/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2599388 memory=1898508 CPUtime=73.41 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 85112 0 0 0 7014 327 0 0 20 0 1 0 165224605 2661773312 474627 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14866 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 649847 474627 1155 1006 0 648608 0
Current children cumulated CPU time: 73.41 s
Current children cumulated vsize: 2599388 KiB
Current children cumulated memory: 1898508 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 3.12 2.03 0.94 1/254 901561
/proc/meminfo: memFree=102535216/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2841592 memory=2079044 CPUtime=102.34 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 101943 0 0 0 9856 378 0 0 20 0 1 0 165224605 2909790208 519761 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15333 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 710398 519761 1155 1006 0 709159 0
Current children cumulated CPU time: 102.34 s
Current children cumulated vsize: 2841592 KiB
Current children cumulated memory: 2079044 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 3.07 2.23 1.08 2/250 901572
/proc/meminfo: memFree=102205900/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2841592 memory=2079044 CPUtime=102.34 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 101943 0 0 0 9856 378 0 0 20 0 1 0 165224605 2909790208 519761 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15333 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 710398 519761 1155 1006 0 709159 0
Current children cumulated CPU time: 102.34 s
Current children cumulated vsize: 2841592 KiB
Current children cumulated memory: 2079044 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 3.11 2.40 1.21 2/252 901588
/proc/meminfo: memFree=99166376/131524600 swapFree=131071996/131071996
[pid=901330] ppid=901325 vsize=2952988 memory=2263528 CPUtime=132.81 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 117988 0 0 0 12880 401 0 0 20 0 1 0 165224605 3023859712 565882 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 26665 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 738247 565882 1155 1006 0 737008 0
Current children cumulated CPU time: 132.81 s
Current children cumulated vsize: 2952988 KiB
Current children cumulated memory: 2263528 KiB
heavy processes:
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 3.20 3.21 3.10 3/254 903121
/proc/meminfo: memFree=574148/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885204 memory=3048868 CPUtime=2354.67 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 1855659 0 0 0 231101 4366 0 0 20 0 1 0 165224605 3978448896 762217 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 79367 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971301 762217 1155 1006 0 970062 0
Current children cumulated CPU time: 2354.67 s
Current children cumulated vsize: 3885204 KiB
Current children cumulated memory: 3048868 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.17 3.20 3.10 4/255 903133
/proc/meminfo: memFree=505056/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885204 memory=3048868 CPUtime=2380.24 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 1881316 0 0 0 233557 4467 0 0 20 0 1 0 165224605 3978448896 762217 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 83525 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971301 762217 1155 1006 0 970062 0
Current children cumulated CPU time: 2380.24 s
Current children cumulated vsize: 3885204 KiB
Current children cumulated memory: 3048868 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.11 3.17 3.10 2/258 903316
/proc/meminfo: memFree=687832/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885204 memory=3048868 CPUtime=2423.64 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) D 901325 901330 901163 0 -1 4194304 2019442 0 0 0 237636 4728 0 0 20 0 1 0 165224605 3978448896 762217 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 85092 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971301 762217 1155 1006 0 970062 0
Current children cumulated CPU time: 2423.64 s
Current children cumulated vsize: 3885204 KiB
Current children cumulated memory: 3048868 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.19 3.18 3.10 4/257 903327
/proc/meminfo: memFree=499956/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3987508 memory=3151064 CPUtime=2460.13 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2211575 0 0 0 241101 4912 0 0 20 0 1 0 165224605 4083208192 787766 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 87515 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 996877 787766 1155 1006 0 995638 0
Current children cumulated CPU time: 2460.13 s
Current children cumulated vsize: 3987508 KiB
Current children cumulated memory: 3151064 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.94 3.37 3.17 4/256 903340
/proc/meminfo: memFree=527668/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885464 memory=3049136 CPUtime=2503.24 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2219301 0 0 0 245308 5016 0 0 20 0 1 0 165224605 3978715136 762284 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89192 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971366 762284 1155 1006 0 970127 0
Current children cumulated CPU time: 2503.24 s
Current children cumulated vsize: 3885464 KiB
Current children cumulated memory: 3049136 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.42 3.33 3.17 4/258 903364
/proc/meminfo: memFree=622868/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885464 memory=3049136 CPUtime=2562.33 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2219858 0 0 0 251192 5041 0 0 20 0 1 0 165224605 3978715136 762284 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89266 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971366 762284 1155 1006 0 970127 0
Current children cumulated CPU time: 2562.33 s
Current children cumulated vsize: 3885464 KiB
Current children cumulated memory: 3049136 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.30 3.31 3.18 4/258 903375
/proc/meminfo: memFree=615984/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885464 memory=3049136 CPUtime=2620.65 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2220714 0 0 0 256964 5101 0 0 20 0 1 0 165224605 3978715136 762284 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89418 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971366 762284 1155 1006 0 970127 0
Current children cumulated CPU time: 2620.65 s
Current children cumulated vsize: 3885464 KiB
Current children cumulated memory: 3049136 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 3.32 3.32 3.18 3/256 903385
/proc/meminfo: memFree=555216/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3885464 memory=3049136 CPUtime=2677.92 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2221235 0 0 0 262668 5124 0 0 20 0 1 0 165224605 3978715136 762284 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89676 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 971366 762284 1155 1006 0 970127 0
Current children cumulated CPU time: 2677.92 s
Current children cumulated vsize: 3885464 KiB
Current children cumulated memory: 3049136 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 3.32 3.32 3.19 3/255 903395
/proc/meminfo: memFree=624932/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3892816 memory=3056440 CPUtime=2736.72 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2243882 0 0 0 268502 5170 0 0 20 0 1 0 165224605 3986243584 764110 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89780 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 973204 764110 1155 1006 0 971965 0
Current children cumulated CPU time: 2736.72 s
Current children cumulated vsize: 3892816 KiB
Current children cumulated memory: 3056440 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.19 3.28 3.18 2/255 903408
/proc/meminfo: memFree=822148/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3898448 memory=3062096 CPUtime=2794.26 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2247232 0 0 0 274195 5231 0 0 20 0 1 0 165224605 3992010752 765524 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89780 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 974612 765524 1155 1006 0 973373 0
Current children cumulated CPU time: 2794.26 s
Current children cumulated vsize: 3898448 KiB
Current children cumulated memory: 3062096 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3704.68 s]
# the end of solver process 901330 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=2743.95 s, system=52.3343 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 3.19 3.28 3.18 2/255 903408
/proc/meminfo: memFree=822148/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3898448 memory=3062096 CPUtime=2795.05 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2247232 0 0 0 274274 5231 0 0 20 0 1 0 165224605 3992010752 765524 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89780 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 974612 765524 1155 1006 0 973373 0
Current children cumulated CPU time: 2795.05 s
Current children cumulated vsize: 3898448 KiB
Current children cumulated memory: 3062096 KiB
[startup+3701.6 s]
/proc/loadavg: 3.17 3.27 3.18 2/255 903408
/proc/meminfo: memFree=822148/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3898448 memory=3062096 CPUtime=2795.86 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2247233 0 0 0 274354 5232 0 0 20 0 1 0 165224605 3992010752 765524 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89780 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 974612 765524 1155 1006 0 973373 0
Current children cumulated CPU time: 2795.86 s
Current children cumulated vsize: 3898448 KiB
Current children cumulated memory: 3062096 KiB
[startup+3702 s]*
/proc/loadavg: 3.17 3.27 3.18 2/255 903408
/proc/meminfo: memFree=822176/131524600 swapFree=131070704/131071996
[pid=901330] ppid=901325 vsize=3898448 memory=3062096 CPUtime=2796.26 cores=5,7
/proc/901330/stat : 901330 (Exact_veripb2) R 901325 901330 901163 0 -1 4194304 2247234 0 0 0 274394 5232 0 0 20 0 1 0 165224605 3992010752 765524 134679101440 4194304 8311665 140734518301520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89780 0 0 9173656 9252184 22904832 140734518309704 140734518309982 140734518309982 140734518316999 0
/proc/901330/statm: 974612 765524 1155 1006 0 973373 0
Current children cumulated CPU time: 2796.26 s
Current children cumulated vsize: 3898448 KiB
Current children cumulated memory: 3062096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3704.68
CPU time (s): 2796.28
CPU user time (s): 2743.95
CPU system time (s): 52.3343
CPU usage (%): 75.4798
Max. virtual memory (cumulated for all children) (KiB): 4150872
Max. memory (cumulated for all children) (KiB): 3314520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2743.95
system time used= 52.3343
maximum resident set size= 3314520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2247234
page faults= 0
swaps= 0
block input operations= 0
block output operations= 149343800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144
involuntary context switches= 4297
# summary of solver processes directly reported to runsolver:
# pid: 901330
# total CPU time (s): 2796.28
# total CPU user time (s): 2743.95
# total CPU system time (s): 52.3343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00733 second user time and 17.3266 second system time
The end
Begin job on nodeC031 at 2024-08-18 15:03:49 IDJOB=4441326 IDBENCH=155632 IDSOLVER=3081 FILE ID=nodeC031/4441326-1723986229 RUNJOBID= nodeC031-1723986219-901176 SLURM_JOB_ID= 8268155 Free space on /tmp= 890028 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat100_4_32_5.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441326-1723986229/watcher-4441326-1723986229 -o /tmp/evaluation-result-4441326-1723986229/solver-4441326-1723986229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1723986219-901176 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441326-1723986229 --seed=83732635 HOME/instance-4441326-1723986229.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 353b00be857f2760978c5d5f587e868e RANDOM SEED=83732635 nodeC031.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 : 3603.961 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.95 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 : 3682.694 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3646.900 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.95 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 : 3617.884 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.522 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.95 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 : 3668.066 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.869 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.95 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 : 3663.174 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123301072 kB MemAvailable: 129088580 kB Buffers: 391912 kB Cached: 6230524 kB SwapCached: 0 kB Active: 944716 kB Inactive: 6638936 kB Active(anon): 1560 kB Inactive(anon): 1005624 kB Active(file): 943156 kB Inactive(file): 5633312 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 583616 kB Writeback: 4 kB AnonPages: 961068 kB Mapped: 118272 kB Shmem: 45912 kB KReclaimable: 101372 kB Slab: 229876 kB SReclaimable: 101372 kB SUnreclaim: 128504 kB KernelStack: 4128 kB PageTables: 11208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1299348 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63520 kB HardwareCorrupted: 0 kB AnonHugePages: 555008 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: 330452 kB DirectMap2M: 22511616 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890040 MiB End job on nodeC031 at 2024-08-18 16:05:34