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/ Multihop/normalized-minisat25_6_4_8_mh.opb |
| MD5SUM | a9be8bbda8fc39e79dda84fd9030ec23 |
| 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 | 7163838 |
| Best CPU time to get the best result obtained on this benchmark | 2683.78 |
| 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 | 31350 |
| Total number of constraints | 73332 |
| Number of constraints which are clauses | 57050 |
| Number of constraints which are cardinality constraints (but not clauses) | 32 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16250 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 925 |
| Number of terms in the objective function | 16825 |
| Biggest coefficient in the objective function | 119095488 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 17168297281 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 119095488 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 17168297281 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.69/0.70 o 739796657 8.76/8.82 o 14779298 9.46/9.51 o 14744302 9.46/9.56 o 14512084 9.66/9.75 o 14471698 10.26/10.38 o 14457704 10.35/10.42 o 14429774 14.15/14.24 o 14422020 14.24/14.39 o 14420510 14.64/14.71 o 12101786 14.74/14.80 o 12048308 14.74/14.84 o 12031770 14.84/14.93 o 11715650 15.14/15.20 o 11715564 15.25/15.32 o 11700164 15.25/15.37 o 11674556 23.94/24.08 o 11207437 27.51/27.66 o 11200797 27.72/27.80 o 11121253 32.71/32.81 o 10898985 40.53/74.96 o 10881281 46.21/80.65 o 10857507 55.28/89.77 o 10836078 59.96/94.47 o 10645558 60.06/94.55 o 10568244 62.15/96.64 o 10567086 64.74/99.25 o 10564125 70.89/114.72 o 10556458 95.27/172.97 o 10398795 95.38/173.06 o 10395262 95.49/173.17 o 10334123 95.67/173.30 o 10282385 95.77/173.42 o 10167503 99.56/177.27 o 10134656 143.86/321.57 o 10106689 162.44/346.57 o 10100639 162.64/346.73 o 10046631 164.35/348.46 o 10042175 164.95/349.05 o 10008366 169.22/353.33 o 9987635 214.43/413.78 o 9599655 214.53/413.87 o 9301096 214.64/413.98 o 9290354 214.75/414.07 o 9269874 214.85/414.19 o 8951226 214.94/414.28 o 8749572 215.43/414.77 o 8746491 218.43/417.77 o 8698832 224.25/428.31 o 8674785 258.76/465.73 o 8230789 302.45/514.09 o 8225722 302.55/514.15 o 8223535 302.63/514.24 o 8218907 302.73/514.32 o 8205652 303.34/514.99 o 8193138 303.63/515.22 o 8177073 337.72/555.54 o 8174345 342.00/559.80 o 8163506 345.00/562.85 o 8156471 345.10/562.95 o 8143682 345.31/563.18 o 8097050 352.67/570.50 o 7575309 407.36/636.53 o 7563918 419.65/661.28 o 7560070 437.80/679.47 o 7544211 438.21/679.89 o 7497579 480.36/728.91 o 7493242 596.87/864.88 o 7465731 596.98/864.95 o 7453304 597.37/865.34 o 7449739 597.37/865.39 o 7436950 700.95/989.59 o 7414844 701.35/990.00 o 7394659 701.46/990.10 o 7361812 2915.93/3631.21 o 7360730 2917.23/3632.55 o 7350677 2917.43/3632.74 o 7338196
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: 64096 MiB (62523 MiB free)
memory of node 1: 64473 MiB (63147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440955-1723986290/watcher-4440955-1723986290 -o /tmp/evaluation-result-4440955-1723986290/solver-4440955-1723986290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1723986290-878625 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440955-1723986290 --seed=1782091171 HOME/instance-4440955-1723986290.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=878684, runsolver pid=878681
[startup+0.10036 s]*
/proc/loadavg: 1.46 0.57 0.26 5/247 878685
/proc/meminfo: memFree=128626564/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=56340 memory=33112 CPUtime=0.1 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 7998 0 0 0 7 3 0 0 20 0 1 0 164999627 57692160 8278 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 14085 8278 770 747 0 13148 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56340 KiB
Current children cumulated memory: 33112 KiB
[startup+0.213835 s]*
/proc/loadavg: 1.46 0.57 0.26 5/247 878685
/proc/meminfo: memFree=128609808/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=66152 memory=42356 CPUtime=0.22 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 9116 0 0 0 18 4 0 0 20 0 1 0 164999627 67739648 10589 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 16538 10589 770 747 0 15601 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 66152 KiB
Current children cumulated memory: 42356 KiB
[startup+0.313362 s]*
/proc/loadavg: 1.46 0.57 0.26 5/247 878685
/proc/meminfo: memFree=128598032/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=84772 memory=55800 CPUtime=0.31 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 12276 0 0 0 26 5 0 0 20 0 1 0 164999627 86806528 13950 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 21193 13950 770 747 0 20256 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 55800 KiB
[startup+0.700339 s]
/proc/loadavg: 1.46 0.57 0.26 5/247 878685
/proc/meminfo: memFree=128583636/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=73176 memory=56460 CPUtime=0.69 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 13645 0 0 0 63 6 0 0 20 0 1 0 164999627 74932224 14115 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 18294 14115 834 747 0 17357 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73176 KiB
Current children cumulated memory: 56460 KiB
[startup+1.50034 s]
/proc/loadavg: 1.46 0.57 0.26 5/247 878685
/proc/meminfo: memFree=128473944/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=89596 memory=65952 CPUtime=1.48 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 16532 0 0 0 139 9 0 0 20 0 1 0 164999627 91746304 16488 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 22399 16488 850 747 0 21462 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89596 KiB
Current children cumulated memory: 65952 KiB
[startup+3.11306 s]
/proc/loadavg: 1.46 0.57 0.26 5/247 878687
/proc/meminfo: memFree=127764464/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=110804 memory=97468 CPUtime=3.09 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 21370 0 0 0 296 13 0 0 20 0 1 0 164999627 113463296 24367 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 27701 24367 850 747 0 26764 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110804 KiB
Current children cumulated memory: 97468 KiB
[startup+6.30033 s]
/proc/loadavg: 1.67 0.62 0.28 5/247 878687
/proc/meminfo: memFree=126985748/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=171420 memory=140192 CPUtime=6.26 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 28608 0 0 0 607 19 0 0 20 0 1 0 164999627 175534080 35048 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 42855 35048 850 747 0 41918 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 171420 KiB
Current children cumulated memory: 140192 KiB
[startup+12.7003 s]
/proc/loadavg: 1.85 0.68 0.30 5/242 878715
/proc/meminfo: memFree=124729228/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=247608 memory=199340 CPUtime=12.65 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 37238 0 0 0 1232 33 0 0 20 0 1 0 164999627 253550592 49835 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 61902 49835 850 747 0 60965 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 247608 KiB
Current children cumulated memory: 199340 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 0.83 0.35 4/240 878722
/proc/meminfo: memFree=122340416/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=515804 memory=452552 CPUtime=25.42 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 68450 0 0 0 2484 58 0 0 20 0 1 0 164999627 528183296 113138 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 128951 113138 850 747 0 128014 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 515804 KiB
Current children cumulated memory: 452552 KiB
[startup+51.1133 s]
/proc/loadavg: 2.57 1.02 0.43 1/238 878726
/proc/meminfo: memFree=121575396/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=541260 memory=473992 CPUtime=33.45 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 70858 0 0 0 3277 68 0 0 20 0 1 0 164999627 554250240 118498 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 135315 118498 850 747 0 134378 0
Current children cumulated CPU time: 33.45 s
Current children cumulated vsize: 541260 KiB
Current children cumulated memory: 473992 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 2.90 1.35 0.58 4/239 878739
/proc/meminfo: memFree=120121984/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=718344 memory=584232 CPUtime=66.07 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 77698 0 0 0 6492 115 0 0 20 0 1 0 164999627 735584256 146058 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3423 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 179586 146058 850 747 0 178649 0
Current children cumulated CPU time: 66.07 s
Current children cumulated vsize: 718344 KiB
Current children cumulated memory: 584232 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.06 1.69 0.74 2/239 878749
/proc/meminfo: memFree=118092992/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=1220756 memory=1004632 CPUtime=88.3 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 123390 0 0 0 8686 144 0 0 20 0 1 0 164999627 1250054144 251158 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4356 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 305189 251158 850 747 0 304252 0
Current children cumulated CPU time: 88.3 s
Current children cumulated vsize: 1220756 KiB
Current children cumulated memory: 1004632 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 3.13 1.96 0.90 1/239 878760
/proc/meminfo: memFree=114305372/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=1305248 memory=1068920 CPUtime=128.13 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 125334 0 0 0 12626 187 0 0 20 0 1 0 164999627 1336573952 267230 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8661 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 326312 267230 850 747 0 325375 0
Current children cumulated CPU time: 128.13 s
Current children cumulated vsize: 1305248 KiB
Current children cumulated memory: 1068920 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 3.21 2.20 1.05 2/237 878770
/proc/meminfo: memFree=113696408/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=1305248 memory=1068920 CPUtime=128.13 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 125334 0 0 0 12626 187 0 0 20 0 1 0 164999627 1336573952 267230 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8661 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 326312 267230 850 747 0 325375 0
Current children cumulated CPU time: 128.13 s
Current children cumulated vsize: 1305248 KiB
Current children cumulated memory: 1068920 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 3.13 2.36 1.18 4/237 878786
/proc/meminfo: memFree=111360172/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=1305248 memory=1071928 CPUtime=158.25 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 125618 0 0 0 15609 216 0 0 20 0 1 0 164999627 1336573952 267982 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18354 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 326312 267982 850 747 0 325375 0
Current children cumulated CPU time: 158.25 s
Current children cumulated vsize: 1305248 KiB
Current children cumulated memory: 1071928 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 3.34 2.56 1.32 4/236 878797
/proc/meminfo: memFree=108372884/131655788 swapFree=131071216/131071996
[pid=878684] ppid=878681 vsize=1873776 memory=1383448 CPUtime=203.06 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 165062 0 0 0 20036 270 0 0 20 0 1 0 164999627 1918746624 345862 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 19862 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 468444 345862 850 747 0 467507 0
Current children cumulated CPU time: 203.06 s
Current children cumulated vsize: 1873776 KiB
Current children cumulated memory: 1383448 KiB
################
# More data... #
################
[pid=878684] ppid=878681 vsize=2073360 memory=1667620 CPUtime=2135.1 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 219833 0 0 0 210917 2593 0 0 20 0 1 0 164999627 2123120640 416905 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 60594 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 518340 416905 850 747 0 517403 0
Current children cumulated CPU time: 2135.1 s
Current children cumulated vsize: 2073360 KiB
Current children cumulated memory: 1667620 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 3.18 3.29 3.18 3/246 879877
/proc/meminfo: memFree=516644/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2074136 memory=1683516 CPUtime=2193.71 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 221056 0 0 0 216692 2679 0 0 20 0 1 0 164999627 2123915264 420879 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 60710 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 518534 420879 850 747 0 517597 0
Current children cumulated CPU time: 2193.71 s
Current children cumulated vsize: 2074136 KiB
Current children cumulated memory: 1683516 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 3.17 3.27 3.18 4/247 879888
/proc/meminfo: memFree=667204/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2074136 memory=1691736 CPUtime=2237.43 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 221504 0 0 0 221001 2742 0 0 20 0 1 0 164999627 2123915264 422934 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 62320 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 518534 422934 850 747 0 517597 0
Current children cumulated CPU time: 2237.43 s
Current children cumulated vsize: 2074136 KiB
Current children cumulated memory: 1691736 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 3.12 3.23 3.17 4/246 879900
/proc/meminfo: memFree=541968/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2074136 memory=1691736 CPUtime=2293.45 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 222300 0 0 0 226527 2818 0 0 20 0 1 0 164999627 2123915264 422934 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 62693 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 518534 422934 850 747 0 517597 0
Current children cumulated CPU time: 2293.45 s
Current children cumulated vsize: 2074136 KiB
Current children cumulated memory: 1691736 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 3.23 3.24 3.18 4/243 879910
/proc/meminfo: memFree=536068/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2077200 memory=1694800 CPUtime=2347.18 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 223340 0 0 0 231823 2895 0 0 20 0 1 0 164999627 2127052800 423700 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 63299 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 519300 423700 850 747 0 518363 0
Current children cumulated CPU time: 2347.18 s
Current children cumulated vsize: 2077200 KiB
Current children cumulated memory: 1694800 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 3.24 3.24 3.18 4/241 880304
/proc/meminfo: memFree=543136/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2077200 memory=1694800 CPUtime=2396.88 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 223887 0 0 0 236724 2964 0 0 20 0 1 0 164999627 2127052800 423700 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 64308 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 519300 423700 850 747 0 518363 0
Current children cumulated CPU time: 2396.88 s
Current children cumulated vsize: 2077200 KiB
Current children cumulated memory: 1694800 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 3.17 3.22 3.18 3/238 880316
/proc/meminfo: memFree=643384/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2077200 memory=1694800 CPUtime=2448.27 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 224958 0 0 0 241785 3042 0 0 20 0 1 0 164999627 2127052800 423700 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 65005 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 519300 423700 850 747 0 518363 0
Current children cumulated CPU time: 2448.27 s
Current children cumulated vsize: 2077200 KiB
Current children cumulated memory: 1694800 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 3.18 3.21 3.18 3/237 880326
/proc/meminfo: memFree=649628/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2077200 memory=1694800 CPUtime=2493.73 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 225608 0 0 0 246270 3103 0 0 20 0 1 0 164999627 2127052800 423700 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 66587 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 519300 423700 850 747 0 518363 0
Current children cumulated CPU time: 2493.73 s
Current children cumulated vsize: 2077200 KiB
Current children cumulated memory: 1694800 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.29 3.23 3.19 3/241 880509
/proc/meminfo: memFree=612580/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2082288 memory=1699888 CPUtime=2542.75 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 227168 0 0 0 251093 3182 0 0 20 0 1 0 164999627 2132262912 424972 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 67661 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520572 424972 850 747 0 519635 0
Current children cumulated CPU time: 2542.75 s
Current children cumulated vsize: 2082288 KiB
Current children cumulated memory: 1699888 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.25 3.23 3.19 6/244 880522
/proc/meminfo: memFree=686972/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2082288 memory=1699888 CPUtime=2594.86 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 227726 0 0 0 256237 3249 0 0 20 0 1 0 164999627 2132262912 424972 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 68433 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520572 424972 850 747 0 519635 0
Current children cumulated CPU time: 2594.86 s
Current children cumulated vsize: 2082288 KiB
Current children cumulated memory: 1699888 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.36 3.27 3.20 4/246 880537
/proc/meminfo: memFree=638144/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2082288 memory=1699888 CPUtime=2649.42 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 228538 0 0 0 261606 3336 0 0 20 0 1 0 164999627 2132262912 424972 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 68955 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520572 424972 850 747 0 519635 0
Current children cumulated CPU time: 2649.42 s
Current children cumulated vsize: 2082288 KiB
Current children cumulated memory: 1699888 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.18 3.23 3.19 4/246 880561
/proc/meminfo: memFree=684044/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2082288 memory=1699888 CPUtime=2706.51 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 229193 0 0 0 267240 3411 0 0 20 0 1 0 164999627 2132262912 424972 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 69226 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520572 424972 850 747 0 519635 0
Current children cumulated CPU time: 2706.51 s
Current children cumulated vsize: 2082288 KiB
Current children cumulated memory: 1699888 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.17 3.22 3.18 4/248 880573
/proc/meminfo: memFree=602400/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2082288 memory=1700212 CPUtime=2765.79 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 229902 0 0 0 273099 3480 0 0 20 0 1 0 164999627 2132262912 425053 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 69278 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520572 425053 850 747 0 519635 0
Current children cumulated CPU time: 2765.79 s
Current children cumulated vsize: 2082288 KiB
Current children cumulated memory: 1700212 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.35 3.25 3.20 2/252 880588
/proc/meminfo: memFree=674088/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2082572 memory=1700496 CPUtime=2818.32 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 230596 0 0 0 278259 3573 0 0 20 0 1 0 164999627 2132553728 425124 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 69706 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520643 425124 850 747 0 519706 0
Current children cumulated CPU time: 2818.32 s
Current children cumulated vsize: 2082572 KiB
Current children cumulated memory: 1700496 KiB
[startup+3582.3 s]
/proc/loadavg: 3.24 3.24 3.19 4/252 880598
/proc/meminfo: memFree=482284/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2083360 memory=1701284 CPUtime=2873.26 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 231420 0 0 0 283679 3647 0 0 20 0 1 0 164999627 2133360640 425321 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70483 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520840 425321 850 747 0 519903 0
Current children cumulated CPU time: 2873.26 s
Current children cumulated vsize: 2083360 KiB
Current children cumulated memory: 1701284 KiB
[startup+3642.3 s]
/proc/loadavg: 3.12 3.20 3.18 4/252 880608
/proc/meminfo: memFree=575300/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2083360 memory=1701368 CPUtime=2927 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) R 878681 878684 876964 0 -1 4194304 232102 0 0 0 288989 3711 0 0 20 0 1 0 164999627 2133360640 425342 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 71092 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 520840 425342 850 747 0 519903 0
Current children cumulated CPU time: 2927 s
Current children cumulated vsize: 2083360 KiB
Current children cumulated memory: 1701368 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.09 3.18 3.17 1/250 880619
/proc/meminfo: memFree=513080/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2085572 memory=1703400 CPUtime=2937.73 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 232637 0 0 0 290039 3734 0 0 20 0 1 0 164999627 2135625728 425850 134679101440 4194304 7250417 140731609086720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 71092 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 521393 425850 850 747 0 520456 0
Current children cumulated CPU time: 2937.73 s
Current children cumulated vsize: 2085572 KiB
Current children cumulated memory: 1703400 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: 3.09 3.18 3.17 1/248 880620
/proc/meminfo: memFree=513024/131655788 swapFree=131064012/131071996
[pid=878684] ppid=878681 vsize=2085572 memory=1703400 CPUtime=2937.73 cores=5,7
/proc/878684/stat : 878684 (Exact_veripb2_n) D 878681 878684 876964 0 -1 4194304 232637 0 0 0 290039 3734 0 0 20 0 1 0 164999627 2135625728 425850 134679101440 4194304 7250417 140731609086720 0 0 256 0 0 8404994 0 0 0 17 5 0 0 71092 0 0 7950792 8015128 45023232 140731609092920 140731609093209 140731609093209 140731609100222 0
/proc/878684/statm: 521393 425850 850 747 0 520456 0
??? kill 878684 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC007 at 2024-08-18 15:04:50 IDJOB=4440955 IDBENCH=155648 IDSOLVER=3080 FILE ID=nodeC007/4440955-1723986290 RUNJOBID= nodeC007-1723986290-878625 SLURM_JOB_ID= 8268138 Free space on /tmp= 723764 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.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-4440955-1723986290/watcher-4440955-1723986290 -o /tmp/evaluation-result-4440955-1723986290/solver-4440955-1723986290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1723986290-878625 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440955-1723986290 --seed=1782091171 HOME/instance-4440955-1723986290.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a9be8bbda8fc39e79dda84fd9030ec23 RANDOM SEED=1782091171 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.233 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.220 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.186 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.221 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.186 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.201 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128720612 kB MemAvailable: 130013580 kB Buffers: 393376 kB Cached: 1748684 kB SwapCached: 100 kB Active: 854688 kB Inactive: 1541868 kB Active(anon): 1404 kB Inactive(anon): 298780 kB Active(file): 853284 kB Inactive(file): 1243088 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 24264 kB Writeback: 0 kB AnonPages: 254436 kB Mapped: 111608 kB Shmem: 45652 kB KReclaimable: 73592 kB Slab: 177536 kB SReclaimable: 73592 kB SUnreclaim: 103944 kB KernelStack: 3776 kB PageTables: 9484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 651064 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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: 310088 kB DirectMap2M: 22663168 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723764 MiB End job on nodeC007 at 2024-08-18 16:07:31