Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | ? (TO) | -1 | -1 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_8_mh.opb |
| MD5SUM | 5ec413d62d676bec20b33bb55db2fffa |
| 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 | 2458141 |
| Best CPU time to get the best result obtained on this benchmark | 3600.49 |
| 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 | 250200 |
| Total number of constraints | 605407 |
| Number of constraints which are clauses | 477850 |
| Number of constraints which are cardinality constraints (but not clauses) | 57 |
| Number of constraints which are nor clauses,nor cardinality constraints | 127500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3725 |
| Number of terms in the objective function | 129900 |
| Biggest coefficient in the objective function | 130323843 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 60462692152 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 130323843 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 60462692152 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
25.75/29.61 o 207216374 799.91/1340.27 o 207214963 800.60/1340.96 o 206792910 801.10/1341.44 o 206787011 803.90/1344.21 o 206765998 805.09/1345.40 o 206751137 806.29/1346.67 o 182210599 807.88/1348.24 o 134045205 811.47/1351.81 o 134025224 811.87/1352.23 o 134016448 820.26/1360.68 o 133986291 820.76/1361.13 o 133985369 822.54/1362.99 o 133955381 823.05/1363.43 o 133885544 825.20/1371.41 o 118686362 826.00/1372.22 o 118520349 826.49/1372.79 o 118215329 826.99/1373.27 o 118187809 829.99/1376.29 o 118069817 830.49/1376.72 o 118035713 831.19/1377.44 o 117935208 831.58/1377.86 o 117924511 833.58/1379.83 o 117897421 833.98/1380.25 o 117896150 835.89/1382.17 o 117874452 836.37/1382.61 o 117841957 836.78/1383.08 o 117837616 839.36/1385.64 o 117764209 839.78/1386.08 o 117739499 840.26/1386.53 o 117724410 840.77/1387.02 o 117720589 846.95/1393.22 o 117633739 848.86/1395.17 o 117612596 849.93/1396.25 o 117598120 850.44/1396.72 o 117589416 852.34/1402.68 o 117562705 852.93/1403.25 o 117529264 854.64/1404.92 o 117408218 856.12/1406.48 o 117403389 865.11/1415.48 o 117396719 881.83/1433.39 o 117316015 882.64/1434.12 o 117308039 883.13/1434.69 o 117300522 896.09/1447.64 o 117268433 896.61/1448.13 o 117264760 897.09/1448.60 o 117247314 898.19/1449.73 o 117215240 926.21/1483.67 o 117129592 983.26/1551.08 o 117079629 985.85/1553.61 o 117054931 986.75/1554.55 o 117020068 987.43/1557.56 o 117002850 990.72/1560.85 o 116984925 999.60/1569.77 o 116979087 1000.40/1570.52 o 116968085 1084.58/1667.88 o 116927571 1085.27/1668.58 o 116916805 1087.88/1671.17 o 116897822 1089.07/1672.34 o 116894116 1089.67/1672.99 o 116881229 1090.36/1673.64 o 116877543 1092.66/1675.91 o 116876867 1093.25/1676.57 o 116867746 1097.34/1680.64 o 116865658 1098.74/1682.01 o 116834006 1099.44/1682.72 o 116830474 1113.20/1696.53 o 116829875 2320.52/3184.81 o 116823142 2322.71/3187.07 o 116800618 2323.11/3187.46 o 116762868 2328.10/3192.49 o 116755636 2551.43/3441.14 o 116646244 2633.20/3524.09 o 116643822 2636.79/3527.63 o 116627055 2714.84/3612.41 o 116624439 2718.52/3616.14 o 116616450 2743.49/3643.12 o 116615694 2745.49/3645.16 o 116612508 2757.05/3656.71 o 116565078 2762.24/3661.95 o 116548012 2779.49/3679.34 o 116467777 2780.39/3680.26 o 116458144 2781.18/3681.03 o 116344862 2783.17/3683.05 o 116342611
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 (62595 MiB free)
memory of node 1: 64510 MiB (63147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441363-1723986232/watcher-4441363-1723986232 -o /tmp/evaluation-result-4441363-1723986232/solver-4441363-1723986232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1723986219-873119 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441363-1723986232 --seed=83732635 HOME/instance-4441363-1723986232.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 419430400 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=873341, runsolver pid=873338
Current StackSize limit: 8192 KiB
[startup+0.100631 s]*
/proc/loadavg: 0.77 0.23 0.14 6/236 873342
/proc/meminfo: memFree=128638468/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=142104 memory=118980 CPUtime=0.09 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 7752 0 0 0 4 5 0 0 20 0 1 0 164993941 145514496 29745 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 35526 29745 852 1006 0 34287 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 142104 KiB
Current children cumulated memory: 118980 KiB
[startup+0.212271 s]*
/proc/loadavg: 0.77 0.23 0.14 5/236 873342
/proc/meminfo: memFree=128610536/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=171112 memory=147860 CPUtime=0.2 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 14182 0 0 0 12 8 0 0 20 0 1 0 164993941 175218688 36965 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 42778 36965 852 1006 0 41539 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 171112 KiB
Current children cumulated memory: 147860 KiB
[startup+0.309303 s]*
/proc/loadavg: 0.77 0.23 0.14 4/236 873342
/proc/meminfo: memFree=128532980/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=201540 memory=178276 CPUtime=0.3 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 19452 0 0 0 19 11 0 0 20 0 1 0 164993941 206376960 44569 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 50385 44569 852 1006 0 49146 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 201540 KiB
Current children cumulated memory: 178276 KiB
[startup+0.700324 s]
/proc/loadavg: 0.77 0.23 0.14 5/235 873351
/proc/meminfo: memFree=128496328/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=262972 memory=236496 CPUtime=0.68 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 29815 0 0 0 52 16 0 0 20 0 1 0 164993941 269283328 59124 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 65743 59124 899 1006 0 64504 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 262972 KiB
Current children cumulated memory: 236496 KiB
[startup+1.50036 s]
/proc/loadavg: 1.10 0.31 0.16 6/245 873373
/proc/meminfo: memFree=128098856/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=487728 memory=366644 CPUtime=1.48 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 48058 0 0 0 124 24 0 0 20 0 1 0 164993941 499433472 91661 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 121965 91661 899 1006 0 120726 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 487728 KiB
Current children cumulated memory: 366644 KiB
[startup+3.11298 s]
/proc/loadavg: 1.10 0.31 0.16 5/245 873373
/proc/meminfo: memFree=127110708/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=578532 memory=558556 CPUtime=3.09 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 77408 0 0 0 273 36 0 0 20 0 1 0 164993941 592416768 139639 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 144633 139639 1075 1006 0 143394 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 578532 KiB
Current children cumulated memory: 558556 KiB
[startup+6.30033 s]
/proc/loadavg: 1.34 0.38 0.18 5/245 873373
/proc/meminfo: memFree=126003540/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=904396 memory=850524 CPUtime=6.26 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 92016 0 0 0 579 47 0 0 20 0 1 0 164993941 926101504 212631 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 226099 212631 1091 1006 0 224860 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 904396 KiB
Current children cumulated memory: 850524 KiB
[startup+12.7003 s]
/proc/loadavg: 1.55 0.44 0.20 5/245 873375
/proc/meminfo: memFree=125118616/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=907212 memory=882224 CPUtime=12.64 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 94487 0 0 0 1215 49 0 0 20 0 1 0 164993941 928985088 220556 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 226803 220556 1139 1006 0 225564 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 907212 KiB
Current children cumulated memory: 882224 KiB
[startup+25.5004 s]
/proc/loadavg: 1.93 0.55 0.25 3/245 873376
/proc/meminfo: memFree=123925284/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=953236 memory=904716 CPUtime=21.67 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 97133 0 0 0 2114 53 0 0 20 0 1 0 164993941 976113664 226179 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 374 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 238309 226179 1139 1006 0 237070 0
Current children cumulated CPU time: 21.67 s
Current children cumulated vsize: 953236 KiB
Current children cumulated memory: 904716 KiB
[startup+51.1129 s]
/proc/loadavg: 2.74 0.89 0.37 5/245 873381
/proc/meminfo: memFree=121563852/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=1258056 memory=1161072 CPUtime=47.2 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 115765 0 0 0 4623 97 0 0 20 0 1 0 164993941 1288249344 290268 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 374 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 314514 290268 1139 1006 0 313275 0
Current children cumulated CPU time: 47.2 s
Current children cumulated vsize: 1258056 KiB
Current children cumulated memory: 1161072 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.40 0.57 4/243 873390
/proc/meminfo: memFree=118729388/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=1522020 memory=1334832 CPUtime=66.74 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 135629 0 0 0 6548 126 0 0 20 0 1 0 164993941 1558548480 333708 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3531 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 380505 333708 1139 1006 0 379266 0
Current children cumulated CPU time: 66.74 s
Current children cumulated vsize: 1522020 KiB
Current children cumulated memory: 1334832 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 4.03 1.93 0.81 5/243 873402
/proc/meminfo: memFree=113617032/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=2083024 memory=1916936 CPUtime=113.4 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 206433 0 0 0 11151 189 0 0 20 0 1 0 164993941 2133016576 479234 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4851 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 520756 479234 1155 1006 0 519517 0
Current children cumulated CPU time: 113.4 s
Current children cumulated vsize: 2083024 KiB
Current children cumulated memory: 1916936 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.17 2.36 1.03 1/243 873412
/proc/meminfo: memFree=105089464/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=5670004 memory=4057496 CPUtime=161.74 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) D 873338 873341 873106 0 -1 4194304 244988 0 0 0 15670 504 0 0 20 0 1 0 164993941 5806084096 1014374 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5736 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 1417501 1014374 1155 1006 0 1416262 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 5670004 KiB
Current children cumulated memory: 4057496 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.10 2.67 1.22 1/243 873423
/proc/meminfo: memFree=104010304/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=5670004 memory=4057496 CPUtime=161.74 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) D 873338 873341 873106 0 -1 4194304 244988 0 0 0 15670 504 0 0 20 0 1 0 164993941 5806084096 1014374 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5736 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 1417501 1014374 1155 1006 0 1416262 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 5670004 KiB
Current children cumulated memory: 4057496 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.14 2.95 1.41 1/242 873434
/proc/meminfo: memFree=102873064/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=5670004 memory=4057496 CPUtime=161.74 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) D 873338 873341 873106 0 -1 4194304 244988 0 0 0 15670 504 0 0 20 0 1 0 164993941 5806084096 1014374 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5736 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 1417501 1014374 1155 1006 0 1416262 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 5670004 KiB
Current children cumulated memory: 4057496 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.50 3.25 1.61 5/244 873450
/proc/meminfo: memFree=99398952/131655788 swapFree=131071472/131071996
[pid=873341] ppid=873338 vsize=6194292 memory=4582044 CPUtime=191.16 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 248321 0 0 0 18549 567 0 0 20 0 1 0 164993941 6342955008 1145511 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 21056 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 1548573 1145511 1155 1006 0 1547334 0
Current children cumulated CPU time: 191.16 s
Current children cumulated vsize: 6194292 KiB
Current children cumulated memory: 4582044 KiB
heavy processes:
################
# More data... #
################
Current children cumulated CPU time: 1943.19 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16786960 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 4.36 4.43 4.23 5/255 874545
/proc/meminfo: memFree=594352/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787040 CPUtime=1980.04 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 11649329 0 0 0 188792 9212 0 0 20 0 1 0 164993941 24164220928 4196760 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 81621 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196760 1151 1006 0 5898229 0
Current children cumulated CPU time: 1980.04 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787040 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 4.18 4.36 4.22 4/256 874556
/proc/meminfo: memFree=526940/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787044 CPUtime=2027.84 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12019857 0 0 0 193396 9388 0 0 20 0 1 0 164993941 24164220928 4196761 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82825 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196761 1151 1006 0 5898229 0
Current children cumulated CPU time: 2027.84 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787044 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 4.14 4.31 4.21 5/256 874566
/proc/meminfo: memFree=514528/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787056 CPUtime=2079.09 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12034328 0 0 0 198470 9439 0 0 20 0 1 0 164993941 24164220928 4196764 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 83685 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196764 1151 1006 0 5898229 0
Current children cumulated CPU time: 2079.09 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787056 KiB
heavy processes:
[startup+2982.31 s]
/proc/loadavg: 4.24 4.30 4.21 3/251 874578
/proc/meminfo: memFree=592636/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787056 CPUtime=2129.81 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) D 873338 873341 873106 0 -1 4194304 12048525 0 0 0 203491 9490 0 0 20 0 1 0 164993941 24164220928 4196764 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 83864 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196764 1151 1006 0 5898229 0
Current children cumulated CPU time: 2129.81 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787056 KiB
heavy processes:
[startup+3042.31 s]
/proc/loadavg: 4.26 4.29 4.21 5/250 874588
/proc/meminfo: memFree=518004/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787060 CPUtime=2183.38 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12064551 0 0 0 208801 9537 0 0 20 0 1 0 164993941 24164220928 4196765 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 85228 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196765 1151 1006 0 5898229 0
Current children cumulated CPU time: 2183.38 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787060 KiB
heavy processes:
[startup+3102.31 s]
/proc/loadavg: 3.84 4.19 4.18 4/244 875014
/proc/meminfo: memFree=37709052/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787060 CPUtime=2243.22 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12110440 0 0 0 214612 9710 0 0 20 0 1 0 164993941 24164220928 4196765 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 85228 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196765 1151 1006 0 5898229 0
Current children cumulated CPU time: 2243.22 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787060 KiB
heavy processes:
[startup+3162.31 s]
/proc/loadavg: 3.36 3.98 4.10 4/241 875026
/proc/meminfo: memFree=36235256/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23597872 memory=16787060 CPUtime=2298.09 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12113278 0 0 0 220094 9715 0 0 20 0 1 0 164993941 24164220928 4196765 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 85729 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5899468 4196765 1151 1006 0 5898229 0
Current children cumulated CPU time: 2298.09 s
Current children cumulated vsize: 23597872 KiB
Current children cumulated memory: 16787060 KiB
heavy processes:
[startup+3222.31 s]
/proc/loadavg: 3.35 3.86 4.05 2/241 875036
/proc/meminfo: memFree=33030336/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23627668 memory=16809812 CPUtime=2350.94 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12118552 0 0 0 225328 9766 0 0 20 0 1 0 164993941 24194732032 4202453 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 86428 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5906917 4202453 1151 1006 0 5905678 0
Current children cumulated CPU time: 2350.94 s
Current children cumulated vsize: 23627668 KiB
Current children cumulated memory: 16809812 KiB
heavy processes:
[startup+3282.31 s]
/proc/loadavg: 3.25 3.74 4.00 3/247 875220
/proc/meminfo: memFree=30313916/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23635192 memory=16816668 CPUtime=2405.37 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12123148 0 0 0 230703 9834 0 0 20 0 1 0 164993941 24202436608 4204167 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 7 0 0 86947 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5908798 4204167 1151 1006 0 5907559 0
Current children cumulated CPU time: 2405.37 s
Current children cumulated vsize: 23635192 KiB
Current children cumulated memory: 16816668 KiB
heavy processes:
[startup+3342.31 s]
/proc/loadavg: 3.09 3.60 3.93 4/246 875231
/proc/meminfo: memFree=28127432/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23635192 memory=16817228 CPUtime=2455.33 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12127775 0 0 0 235645 9888 0 0 20 0 1 0 164993941 24202436608 4204307 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 7 0 0 87904 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5908798 4204307 1151 1006 0 5907559 0
Current children cumulated CPU time: 2455.33 s
Current children cumulated vsize: 23635192 KiB
Current children cumulated memory: 16817228 KiB
heavy processes:
[startup+3402.31 s]
/proc/loadavg: 3.17 3.53 3.89 4/247 875248
/proc/meminfo: memFree=26261532/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23639968 memory=16828888 CPUtime=2512.82 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12133155 0 0 0 241348 9934 0 0 20 0 1 0 164993941 24207327232 4207222 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 88108 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5909992 4207222 1151 1006 0 5908753 0
Current children cumulated CPU time: 2512.82 s
Current children cumulated vsize: 23639968 KiB
Current children cumulated memory: 16828888 KiB
heavy processes:
[startup+3462.31 s]
/proc/loadavg: 3.42 3.52 3.86 4/250 875275
/proc/meminfo: memFree=23927868/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23639968 memory=16828888 CPUtime=2572.57 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12137112 0 0 0 247284 9973 0 0 20 0 1 0 164993941 24207327232 4207222 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 88108 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5909992 4207222 1151 1006 0 5908753 0
Current children cumulated CPU time: 2572.57 s
Current children cumulated vsize: 23639968 KiB
Current children cumulated memory: 16828888 KiB
heavy processes:
[startup+3522.31 s]
/proc/loadavg: 3.93 3.68 3.89 4/254 875289
/proc/meminfo: memFree=21023804/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23639968 memory=16828888 CPUtime=2631.51 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12161382 0 0 0 253119 10032 0 0 20 0 1 0 164993941 24207327232 4207222 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 88194 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5909992 4207222 1151 1006 0 5908753 0
Current children cumulated CPU time: 2631.51 s
Current children cumulated vsize: 23639968 KiB
Current children cumulated memory: 16828888 KiB
heavy processes:
[startup+3582.31 s]
/proc/loadavg: 3.53 3.60 3.85 4/251 875300
/proc/meminfo: memFree=17724804/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23639968 memory=16828888 CPUtime=2686.26 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12167824 0 0 0 258536 10090 0 0 20 0 1 0 164993941 24207327232 4207222 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 88705 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5909992 4207222 1151 1006 0 5908753 0
Current children cumulated CPU time: 2686.26 s
Current children cumulated vsize: 23639968 KiB
Current children cumulated memory: 16828888 KiB
heavy processes:
[startup+3642.31 s]
/proc/loadavg: 3.24 3.50 3.80 3/252 875312
/proc/meminfo: memFree=14743384/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23639968 memory=16828888 CPUtime=2742.71 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) R 873338 873341 873106 0 -1 4194304 12176613 0 0 0 264129 10142 0 0 20 0 1 0 164993941 24207327232 4207222 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89044 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5909992 4207222 1151 1006 0 5908753 0
Current children cumulated CPU time: 2742.71 s
Current children cumulated vsize: 23639968 KiB
Current children cumulated memory: 16828888 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]
/proc/loadavg: 3.21 3.45 3.76 4/252 875322
/proc/meminfo: memFree=11738928/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23667892 memory=16857256 CPUtime=2799.57 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) D 873338 873341 873106 0 -1 4194304 12200255 0 0 0 269766 10191 0 0 20 0 1 0 164993941 24235921408 4214314 134679101440 4194304 8311665 140731306244304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89055 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5916973 4214314 1151 1006 0 5915734 0
Current children cumulated CPU time: 2799.57 s
Current children cumulated vsize: 23667892 KiB
Current children cumulated memory: 16857256 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.20 3.44 3.76 1/251 875324
/proc/meminfo: memFree=13499776/131655788 swapFree=131062720/131071996
[pid=873341] ppid=873338 vsize=23667892 memory=16857256 CPUtime=2799.57 cores=5,7
/proc/873341/stat : 873341 (Exact_veripb2) D 873338 873341 873106 0 -1 4194304 12200255 0 0 0 269766 10191 0 0 20 0 1 0 164993941 24235921408 4214314 134679101440 4194304 8311665 140731306244304 0 0 256 0 0 8404994 0 0 0 17 5 0 0 89055 0 0 9173656 9252184 43597824 140731306246988 140731306247266 140731306247266 140731306254279 0
/proc/873341/statm: 5916973 4214314 1151 1006 0 5915734 0
??? kill 873341 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC008 at 2024-08-18 15:03:52 IDJOB=4441363 IDBENCH=155670 IDSOLVER=3081 FILE ID=nodeC008/4441363-1723986232 RUNJOBID= nodeC008-1723986219-873119 SLURM_JOB_ID= 8268139 Free space on /tmp= 723740 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_8_mh.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441363-1723986232/watcher-4441363-1723986232 -o /tmp/evaluation-result-4441363-1723986232/solver-4441363-1723986232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1723986219-873119 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441363-1723986232 --seed=83732635 HOME/instance-4441363-1723986232.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5ec413d62d676bec20b33bb55db2fffa RANDOM SEED=83732635 nodeC008.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.409 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 : 6984.63 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.499 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.27 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.373 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 : 6984.63 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 : 1402.796 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.27 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.365 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 : 6984.63 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.374 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.27 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.369 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 : 6984.63 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 : 1327.957 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128766468 kB MemAvailable: 129921472 kB Buffers: 395540 kB Cached: 1609368 kB SwapCached: 72 kB Active: 812288 kB Inactive: 1541328 kB Active(anon): 1448 kB Inactive(anon): 392920 kB Active(file): 810840 kB Inactive(file): 1148408 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 52736 kB Writeback: 0 kB AnonPages: 348676 kB Mapped: 113772 kB Shmem: 45680 kB KReclaimable: 71572 kB Slab: 174028 kB SReclaimable: 71572 kB SUnreclaim: 102456 kB KernelStack: 3792 kB PageTables: 10096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 630680 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52000 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 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: 273224 kB DirectMap2M: 23748608 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 723724 MiB End job on nodeC008 at 2024-08-18 16:06:53