Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | ? (TO) | -1 | -1 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb |
| MD5SUM | f134d089c54411466f2bcbd6371e604a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3892789 |
| Best CPU time to get the best result obtained on this benchmark | 737.579 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 171879616 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 85431562646 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 171879616 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 85431562646 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.35/0.65 o 67343109 18.91/19.29 o 67229141 19.00/19.30 o 67215535 19.00/19.32 o 67204989 19.00/19.33 o 67193127 19.00/19.36 o 67094895 19.00/19.38 o 67093441 19.21/19.58 o 40929159 19.40/19.73 o 40800247 19.50/19.83 o 40719791 19.60/19.91 o 36432627 19.71/20.01 o 36406739 20.00/20.31 o 36392859 20.10/20.46 o 30463349 20.71/21.09 o 30445059 20.90/21.29 o 30444309 21.00/21.39 o 30429279 21.10/21.41 o 30421955 21.10/21.44 o 30415819 21.10/21.46 o 30292501 21.20/21.58 o 30265253 21.30/21.60 o 30238047 21.30/21.62 o 30224613 21.40/21.75 o 30223263 21.50/21.88 o 30208345 21.60/21.90 o 30206469 21.89/22.23 o 30205719 22.20/22.50 o 30204151 22.30/22.63 o 30178523 22.49/22.89 o 30066079 22.59/22.93 o 30038547 22.70/23.07 o 29818335 22.70/23.10 o 29747163 22.80/23.12 o 29742431 22.89/23.21 o 29737467 22.89/23.24 o 29666295 23.20/23.50 o 29620157 23.20/23.55 o 29605239 23.30/23.60 o 29495723 24.19/24.50 o 29481349 24.59/24.94 o 29471125 24.70/25.06 o 29463051 24.80/25.18 o 29409867 26.39/26.78 o 29408693 26.69/27.07 o 29306283 27.38/27.78 o 29299265 28.58/28.95 o 29272383 29.88/30.28 o 29271789 29.98/30.32 o 29263715 30.18/30.56 o 29203413 30.47/30.81 o 29136901 30.78/31.12 o 29134507 32.07/32.40 o 29091061 32.47/32.87 o 29063557 33.27/33.61 o 29029039 33.42/81.30 o 29017609 33.42/81.37 o 29012913 33.52/81.43 o 29012905 33.52/81.49 o 29008441 34.52/82.47 o 28905881 34.62/82.55 o 28887779 35.91/83.88 o 28859681 36.01/83.94 o 28858931 36.11/84.03 o 28856339 37.41/85.32 o 28819693 37.51/85.44 o 28783611 38.61/86.58 o 28684403 41.60/89.52 o 28679497 43.10/91.02 o 28650601 140.10/329.85 o 28643713 142.89/332.61 o 28630047 142.89/332.63 o 28624545 170.84/361.73 o 28607239 171.83/362.74 o 28604647 171.93/362.82 o 28604245 173.63/364.50 o 28597901 274.08/478.36 o 28487091 274.18/478.45 o 28459595 274.28/478.57 o 28456253 274.38/478.68 o 28450751 341.15/567.32 o 28418633 341.15/567.33 o 28341615 341.15/567.37 o 28330415 341.25/567.47 o 28325683 341.45/567.60 o 28316231 341.57/573.56 o 28284689 341.93/573.94 o 28283523 344.92/576.94 o 28278617 345.12/577.12 o 28247075 382.56/619.58 o 28245203 382.85/619.82 o 28244627 430.23/675.46 o 28236725 430.72/675.98 o 28232253 637.92/938.67 o 28194653 640.25/950.06 o 28193085 640.25/950.09 o 28185011 662.61/974.58 o 28183139 709.72/1024.85 o 28151031 709.82/1024.93 o 28142065 709.82/1024.95 o 28141315 709.82/1024.99 o 28138321 709.92/1025.01 o 28121415 1013.37/1401.95 o 17904997 1013.97/1402.50 o 15946917 1095.14/1495.05 o 12684593 1095.24/1495.12 o 12673495 1095.54/1495.46 o 12667537 1095.83/1495.76 o 12575917 1095.93/1495.82 o 12565827 1096.03/1495.91 o 12538509 1096.53/1496.44 o 12535579 1096.83/1496.71 o 12530041 1098.66/1504.53 o 12526265 1098.66/1504.59 o 12523593 1098.76/1504.67 o 12521513 1098.86/1504.73 o 12512675 1098.96/1504.80 o 12509745 1099.66/1505.59 o 12451843 1099.76/1505.64 o 12449171 1099.86/1505.71 o 12447091 1100.35/1506.26 o 12438253 1100.66/1506.54 o 12432429 1105.15/1511.09 o 12360893 1105.25/1511.15 o 12358221 1105.34/1511.24 o 12356141 1105.44/1511.33 o 12345245 1105.64/1511.50 o 12342573 1108.44/1514.38 o 12331877 1109.24/1515.20 o 12272431 1109.44/1515.37 o 12269759 1110.83/1516.72 o 12257401 1111.23/1517.13 o 12253221 1111.43/1517.31 o 12246569 1114.22/1520.13 o 12244177 1114.92/1520.85 o 12243127 1115.02/1520.95 o 12240471 1115.72/1521.69 o 12232137 1123.46/1529.96 o 12219303 1137.83/1544.39 o 10672293 1147.31/1553.89 o 10642245 1147.41/1553.90 o 10637685 1147.41/1553.91 o 10564857 1147.41/1553.93 o 10533247 1147.41/1553.99 o 10524509 1147.51/1554.01 o 10511887 1147.51/1554.05 o 10495627 1148.20/1554.72 o 10492841 1148.30/1554.88 o 8428477 1148.70/1555.29 o 8422039 1148.80/1555.31 o 8417617 1148.80/1555.33 o 8411383 1148.80/1555.35 o 8401433 1148.80/1555.37 o 8400727 1149.00/1555.51 o 8395943 1150.20/1556.78 o 8387657 1150.30/1556.80 o 8360985 1150.30/1556.82 o 8343417 1150.30/1556.88 o 8333929 1150.40/1556.90 o 8332757 1151.00/1557.59 o 8332375 1151.10/1557.61 o 8313125 1151.30/1557.83 o 8312037 1151.69/1558.22 o 8309067 1151.69/1558.27 o 8302275 1153.61/1560.83 o 8299311 1196.53/1615.40 o 8277833 1196.53/1615.40 o 8277737 1196.53/1615.42 o 8263931 1196.53/1615.43 o 8243803 1196.53/1615.44 o 8239403 1196.53/1615.46 o 8228701 1196.63/1615.53 o 8225731 1197.12/1616.02 o 8213667 1197.12/1616.02 o 8194901 1197.23/1616.11 o 8194707 1197.32/1616.20 o 8192949 1197.32/1616.24 o 6960713 1198.82/1617.77 o 6957095 1199.32/1618.25 o 6947607 1200.22/1619.16 o 6938625 1201.81/1620.71 o 6925983 1203.82/1623.28 o 6915799 1203.92/1623.32 o 6911887 1203.92/1623.35 o 6902461 1204.02/1623.40 o 6880207 1204.02/1623.44 o 6871999 1204.12/1623.51 o 6867337 1357.82/1800.72 o 6859565 1357.82/1800.77 o 6847581 1357.92/1800.82 o 6840397 1358.02/1800.91 o 6833003 1358.02/1800.97 o 6816155 1358.12/1801.02 o 6773695 1358.22/1801.14 o 6771181 1358.22/1801.19 o 6764915 1358.41/1801.33 o 6757615 1358.41/1801.38 o 6754639 1358.51/1801.46 o 6737065 1358.62/1801.55 o 6736815 1358.72/1801.66 o 6726057 1358.82/1801.77 o 6643193 1358.92/1801.83 o 6633501 1359.12/1802.02 o 6620423 1359.22/1802.16 o 6597895 1359.61/1802.57 o 6595521 1361.11/1804.06 o 6578017 1361.51/1804.44 o 6572801 1361.51/1804.49 o 6570167 1361.61/1804.54 o 6563287 1361.71/1804.61 o 6557911 1364.80/1807.78 o 6557257 1364.90/1807.82 o 6550741 1364.90/1807.88 o 6548477 1365.10/1808.01 o 6539983 1370.03/1814.54 o 6519673 1391.29/1835.87 o 6510893 1391.39/1835.93 o 6505857 1391.89/1836.46 o 6502239 1494.31/1957.31 o 6497871 1499.80/1962.84 o 6495151 1511.29/1980.93 o 6482509 1576.42/2051.88 o 6480225 1576.51/2051.91 o 6475617 1576.91/2052.31 o 6466635 1577.41/2052.82 o 6446185 1705.77/2233.43 o 6425271 1705.87/2233.53 o 6423913 1705.97/2233.62 o 6419161 1706.07/2233.71 o 6407359 1706.17/2233.84 o 6400059 1712.86/2240.51 o 6392385 1926.01/2503.11 o 6383055 2051.00/2676.35 o 6375343 2051.30/2676.61 o 6373165 2051.30/2676.68 o 6371807 2051.71/2677.07 o 6371309 2055.79/2681.14 o 6370333 2056.08/2681.43 o 6366079 2175.26/2829.69 o 6359817 2298.97/2980.55 o 6345863 2416.75/3129.98 o 5621957 2416.77/3130.00 o 5177821 2416.87/3130.11 o 5099811 2429.84/3143.13 o 5066661 2429.84/3143.18 o 5064549 2429.93/3143.23 o 5060053 2430.03/3143.31 o 5057733 2433.92/3147.26 o 5057307 2469.18/3186.27 o 5055865 2469.59/3186.62 o 5046633 2469.69/3186.78 o 5014889 2469.89/3186.95 o 5009717 2470.09/3187.17 o 5007659 2471.38/3188.43 o 4995431 2471.38/3188.46 o 4986647 2471.58/3188.66 o 4984349 2472.68/3189.79 o 4983111 2472.98/3190.04 o 4982815 2473.28/3190.33 o 4963965 2473.58/3190.64 o 4963813 2473.58/3190.69 o 4959317 2476.67/3193.74 o 4956181 2490.23/3207.35 o 4954419 2557.99/3288.64 o 4954035 2557.99/3288.65 o 4953285 2557.99/3288.66 o 4951773 2560.28/3290.94 o 4892565 2560.28/3290.96 o 4891815 2561.28/3291.97 o 4890755 2569.66/3300.32 o 4835939 2572.55/3303.26 o 4835001 2577.54/3310.59 o 4810833 2577.64/3310.66 o 4810083 2580.43/3313.44 o 4804457 2596.49/3329.55 o 4790275 2596.49/3329.56 o 4781491
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: 63968 MiB (62405 MiB free)
memory of node 1: 64473 MiB (56746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440927-1723986280/watcher-4440927-1723986280 -o /tmp/evaluation-result-4440927-1723986280/solver-4440927-1723986280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1723986220-901396 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440927-1723986280 --seed=473888208 HOME/instance-4440927-1723986280.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=901940, runsolver pid=901937
[startup+0.100086 s]*
/proc/loadavg: 2.73 0.86 0.35 3/260 901941
/proc/meminfo: memFree=122010424/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 1078198272 126 0 0 0 0 0 0 0 20 0 1 0 165230297 25829376 619 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.20576 s]*
/proc/loadavg: 2.73 0.86 0.35 3/260 901941
/proc/meminfo: memFree=122008584/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 165230297 25829376 619 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.305692 s]*
/proc/loadavg: 2.73 0.86 0.35 4/260 901941
/proc/meminfo: memFree=121980384/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=50272 memory=29176 CPUtime=0.06 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 6528 0 0 0 5 1 0 0 20 0 1 0 165230297 51478528 7294 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 12568 7294 802 747 0 11631 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 50272 KiB
Current children cumulated memory: 29176 KiB
[startup+0.700222 s]
/proc/loadavg: 2.73 0.86 0.35 4/260 901941
/proc/meminfo: memFree=121960924/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=52896 memory=31364 CPUtime=0.45 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 7952 0 0 0 42 3 0 0 20 0 1 0 165230297 54165504 7841 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 13224 7841 850 747 0 12287 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 31364 KiB
[startup+1.5002 s]
/proc/loadavg: 2.73 0.86 0.35 4/260 901941
/proc/meminfo: memFree=121823776/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=216948 memory=157192 CPUtime=1.24 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 16346 0 0 0 114 10 0 0 20 0 1 0 165230297 222154752 39298 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 54237 39298 850 747 0 53300 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 216948 KiB
Current children cumulated memory: 157192 KiB
[startup+3.10556 s]
/proc/loadavg: 3.07 0.96 0.39 3/260 901941
/proc/meminfo: memFree=121453836/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=315252 memory=219692 CPUtime=2.84 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 22211 0 0 0 257 27 0 0 20 0 1 0 165230297 322818048 54923 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 78813 54923 850 747 0 77876 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 315252 KiB
Current children cumulated memory: 219692 KiB
[startup+6.30018 s]
/proc/loadavg: 3.07 0.96 0.39 3/260 901942
/proc/meminfo: memFree=121229160/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=333808 memory=237752 CPUtime=6.03 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 23255 0 0 0 567 36 0 0 20 0 1 0 165230297 341819392 59438 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 83452 59438 850 747 0 82515 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 333808 KiB
Current children cumulated memory: 237752 KiB
[startup+12.7002 s]
/proc/loadavg: 3.23 1.03 0.42 3/260 901942
/proc/meminfo: memFree=120827420/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=404096 memory=308336 CPUtime=12.42 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 25540 0 0 0 1189 53 0 0 20 0 1 0 165230297 413794304 77084 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 101024 77084 850 747 0 100087 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 404096 KiB
Current children cumulated memory: 308336 KiB
[startup+25.5002 s]
/proc/loadavg: 3.40 1.17 0.47 2/260 901945
/proc/meminfo: memFree=120400180/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=430348 memory=337348 CPUtime=25.19 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 27225 0 0 0 2445 74 0 0 20 0 1 0 165230297 440676352 84337 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 107587 84337 850 747 0 106650 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 430348 KiB
Current children cumulated memory: 337348 KiB
[startup+51.105 s]
/proc/loadavg: 3.66 1.42 0.57 1/259 901948
/proc/meminfo: memFree=120103092/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=482136 memory=371892 CPUtime=33.42 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 30744 0 0 0 3261 81 0 0 20 0 1 0 165230297 493707264 92973 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 120534 92973 850 747 0 119597 0
Current children cumulated CPU time: 33.42 s
Current children cumulated vsize: 482136 KiB
Current children cumulated memory: 371892 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.97 1.85 0.77 5/254 901984
/proc/meminfo: memFree=119328864/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=606540 memory=465832 CPUtime=50.24 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 41189 0 0 0 4928 96 0 0 20 0 1 0 165230297 621096960 116458 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5167 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 151635 116458 850 747 0 150698 0
Current children cumulated CPU time: 50.24 s
Current children cumulated vsize: 606540 KiB
Current children cumulated memory: 465832 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 4.12 2.27 0.98 4/254 901995
/proc/meminfo: memFree=115864848/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=869176 memory=661292 CPUtime=86.49 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 58060 0 0 0 8484 165 0 0 20 0 1 0 165230297 890036224 165323 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7534 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 217294 165323 850 747 0 216357 0
Current children cumulated CPU time: 86.49 s
Current children cumulated vsize: 869176 KiB
Current children cumulated memory: 661292 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 3.64 2.50 1.14 2/252 902012
/proc/meminfo: memFree=117802768/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=901944 memory=716788 CPUtime=104.15 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 59481 0 0 0 10216 199 0 0 20 0 1 0 165230297 923590656 179197 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 10359 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 225486 179197 850 747 0 224549 0
Current children cumulated CPU time: 104.15 s
Current children cumulated vsize: 901944 KiB
Current children cumulated memory: 716788 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 3.38 2.63 1.28 2/250 902022
/proc/meminfo: memFree=115841912/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=901944 memory=716788 CPUtime=126.14 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 59530 0 0 0 12383 231 0 0 20 0 1 0 165230297 923590656 179197 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 15323 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 225486 179197 850 747 0 224549 0
Current children cumulated CPU time: 126.14 s
Current children cumulated vsize: 901944 KiB
Current children cumulated memory: 716788 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 3.26 2.74 1.40 4/252 902039
/proc/meminfo: memFree=114620680/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=901944 memory=716812 CPUtime=152.56 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 59595 0 0 0 14993 263 0 0 20 0 1 0 165230297 923590656 179203 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18909 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 225486 179203 850 747 0 224549 0
Current children cumulated CPU time: 152.56 s
Current children cumulated vsize: 901944 KiB
Current children cumulated memory: 716812 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 3.29 2.83 1.52 3/252 902049
/proc/meminfo: memFree=112318928/131524600 swapFree=131071996/131071996
[pid=901940] ppid=901937 vsize=901944 memory=716812 CPUtime=206.31 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 59681 0 0 0 20327 304 0 0 20 0 1 0 165230297 923590656 179203 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19520 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 225486 179203 850 747 0 224549 0
Current children cumulated CPU time: 206.31 s
Current children cumulated vsize: 901944 KiB
Current children cumulated memory: 716812 KiB
heavy processes:
################
# More data... #
################
Current children cumulated CPU time: 2110.14 s
Current children cumulated vsize: 1182772 KiB
Current children cumulated memory: 958092 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 2.13 2.16 2.09 1/247 903153
/proc/meminfo: memFree=644856/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1192344 memory=967788 CPUtime=2160.71 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 89907 0 0 0 212752 3319 0 0 20 0 1 0 165230297 1220960256 241947 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 62841 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298086 241947 850 747 0 297149 0
Current children cumulated CPU time: 2160.71 s
Current children cumulated vsize: 1192344 KiB
Current children cumulated memory: 967788 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 2.28 2.20 2.11 2/247 903165
/proc/meminfo: memFree=647856/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1192344 memory=967788 CPUtime=2202.99 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 89981 0 0 0 216921 3378 0 0 20 0 1 0 165230297 1220960256 241947 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 65329 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298086 241947 850 747 0 297149 0
Current children cumulated CPU time: 2202.99 s
Current children cumulated vsize: 1192344 KiB
Current children cumulated memory: 967788 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 2.31 2.21 2.12 3/247 903175
/proc/meminfo: memFree=668512/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1193304 memory=968636 CPUtime=2260.02 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 91004 0 0 0 222497 3505 0 0 20 0 1 0 165230297 1221943296 242159 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 65647 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298326 242159 850 747 0 297389 0
Current children cumulated CPU time: 2260.02 s
Current children cumulated vsize: 1193304 KiB
Current children cumulated memory: 968636 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 2.26 2.23 2.13 3/247 903185
/proc/meminfo: memFree=596700/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1193304 memory=968648 CPUtime=2300.76 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 91222 0 0 0 226492 3584 0 0 20 0 1 0 165230297 1221943296 242162 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 67563 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298326 242162 850 747 0 297389 0
Current children cumulated CPU time: 2300.76 s
Current children cumulated vsize: 1193304 KiB
Current children cumulated memory: 968648 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 2.18 2.22 2.13 3/250 903585
/proc/meminfo: memFree=609204/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1193304 memory=976440 CPUtime=2354 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 91356 0 0 0 231773 3627 0 0 20 0 1 0 165230297 1221943296 244110 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 68226 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298326 244110 850 747 0 297389 0
Current children cumulated CPU time: 2354 s
Current children cumulated vsize: 1193304 KiB
Current children cumulated memory: 976440 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 2.11 2.19 2.12 3/248 903595
/proc/meminfo: memFree=643680/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1195684 memory=982792 CPUtime=2400.98 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 92810 0 0 0 236323 3775 0 0 20 0 1 0 165230297 1224380416 245698 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 69517 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298921 245698 850 747 0 297984 0
Current children cumulated CPU time: 2400.98 s
Current children cumulated vsize: 1195684 KiB
Current children cumulated memory: 982792 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 2.19 2.20 2.13 3/248 903605
/proc/meminfo: memFree=597992/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1195684 memory=984336 CPUtime=2446.96 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 93026 0 0 0 240833 3863 0 0 20 0 1 0 165230297 1224380416 246084 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 70908 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298921 246084 850 747 0 297984 0
Current children cumulated CPU time: 2446.96 s
Current children cumulated vsize: 1195684 KiB
Current children cumulated memory: 984336 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 2.12 2.18 2.12 3/249 903787
/proc/meminfo: memFree=546216/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1195684 memory=984336 CPUtime=2503.73 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 93197 0 0 0 246453 3920 0 0 20 0 1 0 165230297 1224380416 246084 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 71217 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298921 246084 850 747 0 297984 0
Current children cumulated CPU time: 2503.73 s
Current children cumulated vsize: 1195684 KiB
Current children cumulated memory: 984336 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 2.43 2.25 2.15 2/249 903797
/proc/meminfo: memFree=630516/131524600 swapFree=131071728/131071996
[pid=901940] ppid=901937 vsize=1195684 memory=984336 CPUtime=2553.53 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 93363 0 0 0 251283 4070 0 0 20 0 1 0 165230297 1224380416 246084 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 71217 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298921 246084 850 747 0 297984 0
Current children cumulated CPU time: 2553.53 s
Current children cumulated vsize: 1195684 KiB
Current children cumulated memory: 984336 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 2.26 2.23 2.15 3/248 903811
/proc/meminfo: memFree=545740/131524600 swapFree=131071472/131071996
[pid=901940] ppid=901937 vsize=1195684 memory=984336 CPUtime=2606.65 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 93648 0 0 0 256546 4119 0 0 20 0 1 0 165230297 1224380416 246084 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 72902 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 298921 246084 850 747 0 297984 0
Current children cumulated CPU time: 2606.65 s
Current children cumulated vsize: 1195684 KiB
Current children cumulated memory: 984336 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 2.21 2.23 2.16 3/248 903833
/proc/meminfo: memFree=592320/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1209336 memory=996824 CPUtime=2660.89 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 96350 0 0 0 261864 4225 0 0 20 0 1 0 165230297 1238360064 249206 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 73465 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302334 249206 850 747 0 301397 0
Current children cumulated CPU time: 2660.89 s
Current children cumulated vsize: 1209336 KiB
Current children cumulated memory: 996824 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 2.18 2.22 2.16 3/248 903844
/proc/meminfo: memFree=560044/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1209336 memory=996824 CPUtime=2717.15 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 96586 0 0 0 267390 4325 0 0 20 0 1 0 165230297 1238360064 249206 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 73826 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302334 249206 850 747 0 301397 0
Current children cumulated CPU time: 2717.15 s
Current children cumulated vsize: 1209336 KiB
Current children cumulated memory: 996824 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 2.12 2.19 2.15 2/247 903854
/proc/meminfo: memFree=513004/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1209336 memory=996824 CPUtime=2773.27 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 96867 0 0 0 272946 4381 0 0 20 0 1 0 165230297 1238360064 249206 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 74201 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302334 249206 850 747 0 301397 0
Current children cumulated CPU time: 2773.27 s
Current children cumulated vsize: 1209336 KiB
Current children cumulated memory: 996824 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 2.19 2.20 2.16 3/247 903864
/proc/meminfo: memFree=654748/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1210740 memory=998228 CPUtime=2831.24 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 97762 0 0 0 278595 4529 0 0 20 0 1 0 165230297 1239797760 249557 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 74391 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302685 249557 850 747 0 301748 0
Current children cumulated CPU time: 2831.24 s
Current children cumulated vsize: 1210740 KiB
Current children cumulated memory: 998228 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 2.17 2.19 2.16 3/245 903875
/proc/meminfo: memFree=502188/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1210740 memory=998228 CPUtime=2885.17 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) R 901937 901940 901385 0 -1 4194304 98012 0 0 0 283921 4596 0 0 20 0 1 0 165230297 1239797760 249557 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 74986 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302685 249557 850 747 0 301748 0
Current children cumulated CPU time: 2885.17 s
Current children cumulated vsize: 1210740 KiB
Current children cumulated memory: 998228 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 2.10 2.17 2.15 1/244 903886
/proc/meminfo: memFree=618788/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1210740 memory=998228 CPUtime=2887.8 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 98092 0 0 0 284173 4607 0 0 20 0 1 0 165230297 1239797760 249557 134679101440 4194304 7250417 140722463261184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 74986 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302685 249557 850 747 0 301748 0
Current children cumulated CPU time: 2887.8 s
Current children cumulated vsize: 1210740 KiB
Current children cumulated memory: 998228 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 2.10 2.17 2.15 1/244 903886
/proc/meminfo: memFree=618828/131524600 swapFree=131070960/131071996
[pid=901940] ppid=901937 vsize=1210740 memory=998228 CPUtime=2887.8 cores=4,6
/proc/901940/stat : 901940 (Exact_veripb2_n) D 901937 901940 901385 0 -1 4194304 98092 0 0 0 284173 4607 0 0 20 0 1 0 165230297 1239797760 249557 134679101440 4194304 7250417 140722463261184 0 0 256 0 0 8404994 0 0 0 17 4 0 0 74986 0 0 7950792 8015128 45191168 140722463269685 140722463269973 140722463269973 140722463276990 0
/proc/901940/statm: 302685 249557 850 747 0 301748 0
??? kill 901940 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC033 at 2024-08-18 15:04:40 IDJOB=4440927 IDBENCH=155609 IDSOLVER=3080 FILE ID=nodeC033/4440927-1723986280 RUNJOBID= nodeC033-1723986220-901396 SLURM_JOB_ID= 8268157 Free space on /tmp= 890068 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4440927-1723986280/watcher-4440927-1723986280 -o /tmp/evaluation-result-4440927-1723986280/solver-4440927-1723986280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1723986220-901396 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440927-1723986280 --seed=473888208 HOME/instance-4440927-1723986280.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a RANDOM SEED=473888208 nodeC033.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 : 3641.193 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.99 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 : 3678.206 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 : 7005.79 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 : 3601.289 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.99 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 : 3658.253 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 : 7005.79 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 : 3645.550 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.99 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 : 3689.873 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 : 7005.79 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 : 3619.339 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.99 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 : 3649.303 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 : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122015112 kB MemAvailable: 128724744 kB Buffers: 394728 kB Cached: 7153572 kB SwapCached: 0 kB Active: 899744 kB Inactive: 7808940 kB Active(anon): 1552 kB Inactive(anon): 1204488 kB Active(file): 898192 kB Inactive(file): 6604452 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2104792 kB Writeback: 3432840 kB AnonPages: 1160228 kB Mapped: 120936 kB Shmem: 45912 kB KReclaimable: 93624 kB Slab: 387716 kB SReclaimable: 93624 kB SUnreclaim: 294092 kB KernelStack: 4192 kB PageTables: 11604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1787256 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62944 kB HardwareCorrupted: 0 kB AnonHugePages: 884736 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: 12025856 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 890072 MiB End job on nodeC033 at 2024-08-18 16:07:29