Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.3 | 3611.07 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb |
| MD5SUM | bcacee10cf1a44650f44a3298f043d3d |
| 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 | 36420470 |
| Best CPU time to get the best result obtained on this benchmark | 3600.29 |
| 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 | 2000400 |
| Total number of constraints | 4920807 |
| Number of constraints which are clauses | 3910700 |
| Number of constraints which are cardinality constraints (but not clauses) | 107 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1010000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 14950 |
| Number of terms in the objective function | 1019800 |
| Biggest coefficient in the objective function | 165469149 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 361320367096 |
| Number of bits of the sum of numbers in the objective function | 39 |
| Biggest number in a constraint | 165469149 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 361320367096 |
| Number of bits of the biggest sum of numbers | 39 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
242.11/242.92 o 712402233 243.80/244.66 o 712292678 245.50/246.37 o 712240473 247.31/248.12 o 712220169 258.06/258.99 o 712147899 260.96/261.87 o 710751945 265.15/266.01 o 710126859 267.83/268.79 o 709913987 278.12/279.03 o 709212867 280.79/281.72 o 647411381 283.38/284.35 o 617806129 287.47/288.41 o 616110981 290.07/291.02 o 616083329 300.23/301.29 o 614794965 303.42/304.41 o 613284995 317.38/318.46 o 611175921 323.66/324.70 o 611172337 342.20/343.38 o 610960423 345.59/346.79 o 610038721 356.66/357.87 o 609814009 366.72/367.99 o 609784765 374.81/376.07 o 608864767 378.09/379.33 o 606996563 381.48/382.78 o 606986431 386.16/387.43 o 606280237 389.36/390.67 o 606275105 393.05/394.35 o 604854399 454.67/456.11 o 597943403 458.66/460.19 o 595813683 461.66/463.13 o 585180683 465.12/466.69 o 585159441 467.72/469.27 o 584063057 470.71/472.22 o 584059387 478.19/479.73 o 583126953 481.49/483.03 o 582535289 483.07/484.63 o 581870873 495.95/497.53 o 581536793 501.73/503.39 o 575726825 511.90/513.53 o 574550935 513.79/515.47 o 572511607 516.79/518.43 o 572299693 527.37/529.04 o 569977607 539.03/540.79 o 569334433 570.05/571.89 o 567505239 801.70/804.15 o 566883177 806.69/809.16 o 565618121 830.22/832.74 o 560219237 835.00/837.57 o 560211179 838.51/841.09 o 557596033 842.59/845.16 o 557580577 846.97/849.59 o 557565281 849.47/852.10 o 557501777 854.76/857.35 o 557500071 859.05/861.68 o 557478829 865.03/867.67 o 557472419 877.89/880.57 o 557467437 879.98/882.67 o 557466644 900.13/902.83 o 557417502 932.64/935.49 o 556500334 947.10/949.90 o 556089016 959.28/962.13 o 556074314 969.16/972.09 o 555067266 1010.14/1013.12 o 554668310 1198.16/1201.65 o 280665057 1200.06/1203.51 o 279617815 1205.94/1209.47 o 279603113 1207.83/1211.34 o 279400001 1212.81/1216.35 o 279282174 1214.82/1218.32 o 279263471 1218.01/1221.52 o 279219457 1222.99/1226.54 o 278261479 1376.66/1380.55 o 278249453 1380.05/1383.93 o 278016565 1386.94/1390.84 o 277661831 1399.70/1403.62 o 229216201 1404.89/1408.81 o 225029147 1408.68/1412.63 o 224707093 1413.08/1417.08 o 224695067 1416.66/1420.69 o 224568687 1419.85/1423.88 o 222927319 1426.84/1430.83 o 222840827 1429.93/1433.95 o 222823355 1431.72/1435.77 o 222822562 1443.00/1447.04 o 222720642 1444.99/1449.03 o 222700432 1446.78/1450.82 o 222695530 1622.71/1627.12 o 222632780 1628.49/1632.93 o 222631302 1636.87/1641.36 o 202172636 1639.46/1643.92 o 202161170 1642.66/1647.13 o 196183394 1644.66/1649.11 o 190903040 1647.74/1652.22 o 190898138 1664.00/1668.54 o 189978140 1932.62/1937.76 o 189921358 2291.80/2297.72 o 189918037 2295.10/2301.06 o 189915349 2470.01/2476.39 o 189911981 2547.41/2553.97 o 189865523 2780.81/2787.80 o 189843793
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (39417 MiB free)
memory of node 1: 64510 MiB (58547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433291-1721145241/watcher-4433291-1721145241 -o /tmp/evaluation-result-4433291-1721145241/solver-4433291-1721145241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721138028-849559 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=587927463 HOME/instance-4433291-1721145241.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=853647, runsolver pid=853644
[startup+0.100469 s]*
/proc/loadavg: 4.22 4.26 4.21 5/245 853648
/proc/meminfo: memFree=100206036/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=234904 memory=156240 CPUtime=0.09 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3129 0 0 0 6 3 0 0 20 0 1 0 166680943 240541696 38548 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 58726 38548 821 1005 0 57489 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 234904 KiB
Current children cumulated memory: 156240 KiB
[startup+0.213063 s]*
/proc/loadavg: 4.22 4.26 4.21 5/245 853648
/proc/meminfo: memFree=99794476/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=515972 memory=492908 CPUtime=0.21 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 8064 0 0 0 11 10 0 0 20 0 1 0 166680943 528355328 123227 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 128993 123227 837 1005 0 127756 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 515972 KiB
Current children cumulated memory: 492908 KiB
[startup+0.313178 s]*
/proc/loadavg: 4.22 4.26 4.21 5/245 853648
/proc/meminfo: memFree=99490236/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=712580 memory=689464 CPUtime=0.31 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 8671 0 0 0 17 14 0 0 20 0 1 0 166680943 729681920 172366 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 178145 172366 837 1005 0 176908 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 712580 KiB
Current children cumulated memory: 689464 KiB
[startup+0.700356 s]
/proc/loadavg: 4.22 4.26 4.21 5/245 853648
/proc/meminfo: memFree=98988748/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=1160112 memory=1134212 CPUtime=0.68 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 18864 0 0 0 42 26 0 0 20 0 1 0 166680943 1187954688 283553 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 290028 283553 837 1005 0 288791 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1160112 KiB
Current children cumulated memory: 1134212 KiB
[startup+1.50037 s]
/proc/loadavg: 4.22 4.26 4.21 5/245 853648
/proc/meminfo: memFree=98620024/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=1637016 memory=1615696 CPUtime=1.48 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 85036 0 0 0 106 42 0 0 20 0 1 0 166680943 1676304384 403858 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 409254 403858 916 1005 0 408017 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1637016 KiB
Current children cumulated memory: 1615696 KiB
[startup+3.11279 s]
/proc/loadavg: 4.22 4.26 4.21 5/245 853648
/proc/meminfo: memFree=104568588/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=2164220 memory=2147884 CPUtime=3.09 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 204989 0 0 0 247 62 0 0 20 0 1 0 166680943 2216161280 536971 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 541055 536971 916 1005 0 539818 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2164220 KiB
Current children cumulated memory: 2147884 KiB
[startup+6.30032 s]
/proc/loadavg: 4.20 4.26 4.21 5/239 853697
/proc/meminfo: memFree=122559376/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=2429028 memory=2389024 CPUtime=6.27 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 237956 0 0 0 553 74 0 0 20 0 1 0 166680943 2487324672 597256 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 607257 597256 916 1005 0 606020 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2429028 KiB
Current children cumulated memory: 2389024 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.25 4.21 5/243 853710
/proc/meminfo: memFree=120138300/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=3320036 memory=3092176 CPUtime=12.65 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 394441 0 0 0 1149 116 0 0 20 0 1 0 166680943 3399716864 773044 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 830009 773044 916 1005 0 828772 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3320036 KiB
Current children cumulated memory: 3092176 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.24 4.20 5/246 853744
/proc/meminfo: memFree=108755940/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=7245176 memory=7133792 CPUtime=25.41 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 988179 0 0 0 2272 269 0 0 20 0 1 0 166680943 7419060224 1783448 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 1811294 1783448 916 1005 0 1810057 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 7245176 KiB
Current children cumulated memory: 7133792 KiB
[startup+51.1129 s]
/proc/loadavg: 4.22 4.25 4.21 5/246 853750
/proc/meminfo: memFree=91143840/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=15115636 memory=14956732 CPUtime=50.94 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 1728785 0 0 0 4532 562 0 0 20 0 1 0 166680943 15478411264 3739183 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 3778909 3739183 1060 1005 0 3777672 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 15115636 KiB
Current children cumulated memory: 14956732 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.24 4.20 5/244 854142
/proc/meminfo: memFree=90504560/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=17380524 memory=15208216 CPUtime=101.97 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 1773754 0 0 0 9550 647 0 0 20 0 1 0 166680943 17797656576 3802054 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4345131 3802054 1124 1005 0 4343894 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 17380524 KiB
Current children cumulated memory: 15208216 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.23 4.20 5/244 854152
/proc/meminfo: memFree=89389296/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=18114892 memory=15762268 CPUtime=161.77 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 1815356 0 0 0 15510 667 0 0 20 0 1 0 166680943 18549649408 3940567 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4528723 3940567 1124 1005 0 4527486 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 18114892 KiB
Current children cumulated memory: 15762268 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.21 4.19 5/244 854162
/proc/meminfo: memFree=88613824/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=18114644 memory=16122592 CPUtime=221.58 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 1816976 0 0 0 21480 678 0 0 20 0 1 0 166680943 18549395456 4030648 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4528661 4030648 1124 1005 0 4527424 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 18114644 KiB
Current children cumulated memory: 16122592 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/246 854342
/proc/meminfo: memFree=87440400/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=18513052 memory=16783604 CPUtime=281.38 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 1906787 0 0 0 27438 700 0 0 20 0 1 0 166680943 18957365248 4195901 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4628263 4195901 1124 1005 0 4627026 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 18513052 KiB
Current children cumulated memory: 16783604 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/245 854353
/proc/meminfo: memFree=86943580/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=18673412 memory=17095604 CPUtime=341.2 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 1948663 0 0 0 33407 713 0 0 20 0 1 0 166680943 19121573888 4273901 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4668353 4273901 1124 1005 0 4667116 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 18673412 KiB
Current children cumulated memory: 17095604 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/246 854367
/proc/meminfo: memFree=85776492/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=19084764 memory=17804344 CPUtime=401.02 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 2053573 0 0 0 39364 738 0 0 20 0 1 0 166680943 19542798336 4451086 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4771191 4451086 1124 1005 0 4769954 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 19084764 KiB
Current children cumulated memory: 17804344 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/246 854388
/proc/meminfo: memFree=85105752/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=19133332 memory=17912496 CPUtime=460.84 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 2067901 0 0 0 45340 744 0 0 20 0 1 0 166680943 19592531968 4478124 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 4783333 4478124 1124 1005 0 4782096 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 3.15 3.49 3.85 4/237 855542
/proc/meminfo: memFree=92670568/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28157768 memory=26019132 CPUtime=3034.75 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3369905 0 0 0 302117 1358 0 0 20 0 1 0 166680943 28833554432 6504783 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7039442 6504783 1140 1005 0 7038205 0
Current children cumulated CPU time: 3034.75 s
Current children cumulated vsize: 28157768 KiB
Current children cumulated memory: 26019132 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.42 3.80 4/235 855553
/proc/meminfo: memFree=92670128/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28157768 memory=26019144 CPUtime=3094.61 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3370921 0 0 0 308094 1367 0 0 20 0 1 0 166680943 28833554432 6504786 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7039442 6504786 1140 1005 0 7038205 0
Current children cumulated CPU time: 3094.61 s
Current children cumulated vsize: 28157768 KiB
Current children cumulated memory: 26019144 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.37 3.76 4/235 855563
/proc/meminfo: memFree=92639208/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28177816 memory=26039276 CPUtime=3154.49 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3372074 0 0 0 314071 1378 0 0 20 0 1 0 166680943 28854083584 6509819 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7044454 6509819 1140 1005 0 7043217 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 28177816 KiB
Current children cumulated memory: 26039276 KiB
[startup+3222.3 s]
/proc/loadavg: 3.17 3.33 3.72 4/235 855573
/proc/meminfo: memFree=92615364/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28199192 memory=26062472 CPUtime=3214.38 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3374655 0 0 0 320048 1390 0 0 20 0 1 0 166680943 28875972608 6515618 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7049798 6515618 1140 1005 0 7048561 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 28199192 KiB
Current children cumulated memory: 26062472 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.28 3.68 4/235 855583
/proc/meminfo: memFree=92610036/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28199656 memory=26067456 CPUtime=3274.24 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3376583 0 0 0 326022 1402 0 0 20 0 1 0 166680943 28876447744 6516864 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7049914 6516864 1140 1005 0 7048677 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 28199656 KiB
Current children cumulated memory: 26067456 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.25 3.64 4/235 855594
/proc/meminfo: memFree=92592420/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201772 memory=26069800 CPUtime=3334.1 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3378813 0 0 0 331997 1413 0 0 20 0 1 0 166680943 28878614528 6517450 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050443 6517450 1140 1005 0 7049206 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 28201772 KiB
Current children cumulated memory: 26069800 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.22 3.60 4/236 855607
/proc/meminfo: memFree=92475172/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201772 memory=26069800 CPUtime=3393.99 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3378893 0 0 0 337974 1425 0 0 20 0 1 0 166680943 28878614528 6517450 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050443 6517450 1140 1005 0 7049206 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 28201772 KiB
Current children cumulated memory: 26069800 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.19 3.57 4/236 855617
/proc/meminfo: memFree=92403708/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3453.85 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3380952 0 0 0 343949 1436 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
[startup+3522.3 s]
/proc/loadavg: 3.16 3.20 3.55 4/236 855628
/proc/meminfo: memFree=92403400/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3513.72 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3382071 0 0 0 349925 1447 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.17 3.52 4/237 855639
/proc/meminfo: memFree=92343388/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3573.58 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3383183 0 0 0 355900 1458 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.13 3.17 3.51 4/237 855642
/proc/meminfo: memFree=92330372/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3600.02 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3383212 0 0 0 358539 1463 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.07 s]
# the end of solver process 853647 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3587.4 s, system=14.9093 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.13 3.17 3.51 4/237 855642
/proc/meminfo: memFree=92329980/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3600.82 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3383214 0 0 0 358619 1463 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
[startup+3610.4 s]
/proc/loadavg: 3.20 3.19 3.51 5/237 855643
/proc/meminfo: memFree=92325080/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3601.62 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3383214 0 0 0 358699 1463 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
[startup+3610.8 s]
/proc/loadavg: 3.20 3.19 3.51 5/237 855643
/proc/meminfo: memFree=92325080/131655788 swapFree=131071996/131071996
[pid=853647] ppid=853644 vsize=28201776 memory=26077996 CPUtime=3602.02 cores=5,7
/proc/853647/stat : 853647 (Exact) R 853644 853647 849546 0 -1 4194304 3383214 0 0 0 358739 1463 0 0 20 0 1 0 166680943 28878618624 6519499 134679101440 4194304 8309489 140732029645600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 21385216 140732029653951 140732029654120 140732029654120 140732029661135 0
/proc/853647/statm: 7050444 6519499 1140 1005 0 7049207 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 28201776 KiB
Current children cumulated memory: 26077996 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.07
CPU time (s): 3602.3
CPU user time (s): 3587.4
CPU system time (s): 14.9093
CPU usage (%): 99.7572
Max. virtual memory (cumulated for all children) (KiB): 28201776
Max. memory (cumulated for all children) (KiB): 26077996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.4
system time used= 14.9093
maximum resident set size= 26121540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3383214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 2725
# summary of solver processes directly reported to runsolver:
# pid: 853647
# total CPU time (s): 3602.3
# total CPU user time (s): 3587.4
# total CPU system time (s): 14.9093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1325 second user time and 36.176 second system time
The end
Begin job on nodeC007 at 2024-07-16 17:54:15 IDJOB=4433291 IDBENCH=155754 IDSOLVER=3060 FILE ID=nodeC007/4433291-1721145241 RUNJOBID= nodeC007-1721138028-849559 SLURM_JOB_ID= 7505714 Free space on /tmp= 723016 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_5_mh.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433291-1721145241/watcher-4433291-1721145241 -o /tmp/evaluation-result-4433291-1721145241/solver-4433291-1721145241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721138028-849559 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=587927463 HOME/instance-4433291-1721145241.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bcacee10cf1a44650f44a3298f043d3d RANDOM SEED=587927463 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 : 3500.104 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3517.488 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.208 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.162 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3533.463 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3679.699 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.175 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.140 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 100369524 kB MemAvailable: 102792432 kB Buffers: 416356 kB Cached: 2822308 kB SwapCached: 0 kB Active: 1079008 kB Inactive: 29567884 kB Active(anon): 1460 kB Inactive(anon): 27444464 kB Active(file): 1077548 kB Inactive(file): 2123420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 456152 kB Writeback: 4 kB AnonPages: 27406304 kB Mapped: 116640 kB Shmem: 37704 kB KReclaimable: 123944 kB Slab: 223984 kB SReclaimable: 123944 kB SUnreclaim: 100040 kB KernelStack: 3936 kB PageTables: 63448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 31126124 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53056 kB HardwareCorrupted: 0 kB AnonHugePages: 20541440 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723352 MiB End job on nodeC007 at 2024-07-16 18:54:27