Trace number 4446170

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3588.22 3600.65

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-86.opb
MD5SUM3b78757f10307782e0b04e5cada0d1b0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.36818
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7354
Total number of constraints165969
Number of constraints which are clauses149056
Number of constraints which are cardinality constraints (but not clauses)575
Number of constraints which are nor clauses,nor cardinality constraints16338
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.50/0.53	c Default LC presolving (default).
0.50/0.53	c ** Before presolving: virtualMemUsedAtLc = 414534198, getVmSize() = 271896576, SCIPgetMemUsed() = 213014026, SCIPgetMemTotal() = 237285690, SCIPgetMemExternEstim() = 177248508
0.50/0.53	c ** set memory limit for presolving in LC to 8.79597e+12 for SCIP **
4.18/4.21	c ** Estimated virtualMemUsedAtSolver = 499102159, getVmSize() = 621940736, SCIPgetMemUsed() = 346869307, SCIPgetMemTotal() = 571404731, SCIPgetMemExternEstim() = 177248508
4.18/4.21	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
4.18/4.21	c Original Problem   :
4.18/4.21	c   Problem name     : instance-4446170-1721325583
4.18/4.21	c   Variables        : 7354 (7354 binary, 0 integer, 0 implicit integer, 0 continuous)
4.18/4.21	c   Constraints      : 165969
4.18/4.21	c   Objective sense  : minimize
4.18/4.21	c Presolved Problem  :
4.18/4.21	c   Variables        : 6711 (6711 binary, 0 integer, 0 implicit integer, 0 continuous)
4.18/4.21	c   Constraints      : 142592
4.18/4.21	c Constraints        : Number
4.18/4.21	c   knapsack         : 16597 
4.18/4.21	c   setppc           : 29007 
4.18/4.21	c   linear           : 1 
4.18/4.21	c   logicor          : 96987 
4.18/4.21	c ** Instance transfer method used: 0
4.37/4.44	c ** ParaScipInstance copy does not increase the number of variables. **
4.58/4.62	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.58/4.62	c                                Nodes    Active                                            
4.58/4.62	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
260.56/261.37	c       261              2           1         1                -           0.0000          -
271.73/272.59	c       273             15          14         1                -           0.0000          -
278.01/278.87	c       279             38          35         1                -           0.0000          -
292.18/293.09	c       293             49          42         1                -           0.0000          -
305.25/306.15	c       306             57          48         1                -           0.0000          -
319.11/320.08	c       320             70          56         1                -           0.0000          -
329.38/330.30	c       330             76          62         1                -           0.0000          -
341.16/342.13	c       342             83          69         1                -           0.0000          -
346.53/347.53	c       348             85          71         1                -           0.0000          -
351.81/352.86	c       353             98          84         1                -           0.0000          -
370.08/371.11	c       371            102          86         1                -           0.0000          -
381.14/382.21	c       382            111          93         1                -           0.0000          -
393.61/394.78	c       395            122          98         1                -           0.0000          -
398.69/399.81	c       400            132         106         1                -           0.0000          -
403.88/405.08	c       405            135         109         1                -           0.0000          -
416.85/418.10	c       418            148         119         1                -           0.0000          -
424.93/426.18	c       426            150         121         1                -           0.0000          -
437.98/439.20	c       439            192         163         1                -           0.0000          -
443.66/444.99	c       445            232         189         1                -           0.0000          -
449.34/450.65	c       451            269         222         1                -           0.0000          -
456.03/457.30	c       457            275         226         1                -           0.0000          -
462.11/463.49	c       463            286         237         1                -           0.0000          -
470.49/471.85	c       472            302         251         1                -           0.0000          -
476.07/477.46	c       477            346         287         1                -           0.0000          -
481.15/482.58	c       483            417         348         1                -           0.0000          -
486.74/488.11	c       488            501         418         1                -           0.0000          -
491.92/493.34	c       493            555         470         1                -           0.0000          -
497.49/498.94	c       499            653         536         1                -           0.0000          -
502.78/504.22	c       504            773         599         1                -           0.0000          -
507.86/509.35	c       509            902         699         1                -           0.0000          -
513.44/514.99	c       515            937         730         1                -           0.0000          -
518.93/520.46	c       520            993         780         1                -           0.0000          -
524.11/525.65	c       526           1098         838         1                -           0.0000          -
529.19/530.76	c       531           1273         869         1                -           0.0000          -
534.57/536.14	c       536           1406         846         1                -           0.0000          -
541.25/542.85	c       543           1498         840         1                -           0.0000          -
546.72/548.36	c       548           1597         784         1                -           0.0000          -
553.20/554.80	c       555           1731         688         1                -           0.0000          -
558.79/560.45	c       560           1751         686         1                -           0.0000          -
564.37/566.06	c       566           1903         660         1                -           0.0000          -
569.74/571.46	c       571           1977         640         1                -           0.0000          -
579.12/580.81	c       581           2030         626         1                -           0.0000          -
584.99/586.72	c       587           2178         633         1                -           0.0000          -
590.07/591.87	c       592           2324         689         1                -           0.0000          -
595.15/596.98	c       597           2502         715         1                -           0.0000          -
600.42/602.21	c       602           2680         716         1                -           0.0000          -
605.40/607.29	c       607           2852         701         1                -           0.0000          -
610.59/612.42	c       612           3057         654         1                -           0.0000          -
615.66/617.54	c       618           3264         561         1                -           0.0000          -
785.06/787.40	c       787           3341           1         1                -           0.0000          -
790.35/792.76	c       793           3367          27         1                -           0.0000          -
798.92/801.34	c       801           3382          40         1                -           0.0000          -
811.70/814.12	c       814           3385          43         1                -           0.0000          -
824.76/827.20	c       827           3403          61         1                -           0.0000          -
831.24/833.78	c       834           3411          69         1                -           0.0000          -
837.12/839.63	c       840           3442          98         1                -           0.0000          -
842.40/844.91	c       845           3471         119         1                -           0.0000          -
847.89/850.42	c       850           3491         138         1                -           0.0000          -
876.91/879.51	c       880           3506         153         1                -           0.0000          -
884.09/886.76	c       887           3515         162         1                -           0.0000          -
891.77/894.46	c       894           3527         174         1                -           0.0000          -
908.63/911.36	c       911           3529         176         1                -           0.0000          -
930.77/933.53	c       934           3532         179         1                -           0.0000          -
935.96/938.78	c       939           3541         186         1                -           0.0000          -
941.36/944.17	c       944           3545         190         1                -           0.0000          -
948.73/951.54	c       952           3576         221         1                -           0.0000          -
954.01/956.84	c       957           3581         226         1                -           0.0000          -
959.80/962.62	c       963           3590         233         1                -           0.0000          -
965.08/967.95	c       968           3594         237         1                -           0.0000          -
971.97/974.87	c       975           3600         243         1                -           0.0000          -
977.65/980.56	c       981           3606         249         1                -           0.0000          -
986.14/989.01	c       989           3619         262         1                -           0.0000          -
991.72/994.68	c       995           3622         265         1                -           0.0000          -
998.80/1001.79	c      1002           3627         268         1                -           0.0000          -
1006.78/1009.71	c      1010           3631         270         1                -           0.0000          -
1012.36/1015.33	c      1015           3650         289         1                -           0.0000          -
1020.74/1023.72	c      1024           3663         295         1                -           0.0000          -
1026.82/1029.82	c      1030           3777         317         1                -           0.0000          -
1032.31/1035.38	c      1035           3880         294         1                -           0.0000          -
1041.09/1044.11	c      1044           3979         335         1                -           0.0000          -
1046.36/1049.44	c      1049           4033         383         1                -           0.0000          -
1051.65/1054.76	c      1055           4150         457         1                -           0.0000          -
1056.74/1059.87	c      1060           4274         545         1                -           0.0000          -
1062.62/1065.71	c      1066           4410         643         1                -           0.0000          -
1068.40/1071.56	c      1072           4541         723         1                -           0.0000          -
1073.49/1076.67	c      1077           4684         809         1                -           0.0000          -
1078.67/1081.83	c      1082           4818         891         1                -           0.0000          -
1083.75/1086.95	c      1087           4965         761         1                -           0.0000          -
1089.13/1092.33	c      1092           5142         805         1                -           0.0000          -
1094.22/1097.46	c      1097           5373         838         1                -           0.0000          -
1099.40/1102.60	c      1103           5590         879         1                -           0.0000          -
1104.49/1107.74	c      1108           5776         919         1                -           0.0000          -
1109.57/1112.85	c      1113           5986         934         1                -           0.0000          -
1114.65/1117.94	c      1118           6170         979         1                -           0.0000          -
1119.74/1123.06	c      1123           6371         989         1                -           0.0000          -
1124.91/1128.22	c      1128           6529        1015         1                -           0.0000          -
1129.99/1133.37	c      1133           6714        1063         1                -           0.0000          -
1135.18/1138.51	c      1139           6862        1099         1                -           0.0000          -
1140.26/1143.65	c      1144           7052        1134         1                -           0.0000          -
1145.44/1148.80	c      1149           7258        1150         1                -           0.0000          -
1150.52/1153.92	c      1154           7466        1164         1                -           0.0000          -
1155.62/1159.06	c      1159           7667        1175         1                -           0.0000          -
1160.79/1164.20	c      1164           7863        1179         1                -           0.0000          -
1165.77/1169.28	c      1169           8033        1216         1                -           0.0000          -
1170.96/1174.40	c      1174           8207        1281         1                -           0.0000          -
1176.05/1179.50	c      1180           8401        1306         1                -           0.0000          -
1181.13/1184.64	c      1185           8588        1325         1                -           0.0000          -
1186.21/1189.77	c      1190           8791        1336         1                -           0.0000          -
1191.29/1194.82	c      1195           8978        1342         1                -           0.0000          -
1196.38/1199.95	c      1200           9166        1353         1                -           0.0000          -
1201.46/1205.06	c      1205           9365        1385         1                -           0.0000          -
1206.55/1210.17	c      1210           9570        1392         1                -           0.0000          -
1211.72/1215.35	c      1215           9780        1382         1                -           0.0000          -
1216.80/1220.45	c      1220           9989        1378         1                -           0.0000          -
1221.90/1225.53	c      1226          10206        1315         1                -           0.0000          -
1226.98/1230.61	c      1231          10418        1272         1                -           0.0000          -
1232.06/1235.70	c      1236          10623        1245         1                -           0.0000          -
1237.04/1240.78	c      1241          10827        1245         1                -           0.0000          -
1242.12/1245.90	c      1246          11038        1134         1                -           0.0000          -
1247.31/1251.04	c      1251          11226         662         1                -           0.0000          -
1252.69/1256.41	c      1256          11343         380         1                -           0.0000          -
1257.88/1261.60	c      1262          11391         428         1                -           0.0000          -
1262.87/1266.62	c      1267          11478         485         1                -           0.0000          -
1269.15/1272.98	c      1273          11622         451         1                -           0.0000          -
1274.33/1278.13	c      1278          11797         480         1                -           0.0000          -
1279.41/1283.24	c      1283          11969         505         1                -           0.0000          -
1285.20/1289.07	c      1289          12092         526         1                -           0.0000          -
1290.47/1294.33	c      1294          12235         525         1                -           0.0000          -
1295.75/1299.63	c      1300          12364         530         1                -           0.0000          -
1302.25/1306.15	c      1306          12401         522         1                -           0.0000          -
1307.72/1311.68	c      1312          12427         513         1                -           0.0000          -
1313.31/1317.28	c      1317          12486         502         1                -           0.0000          -
1318.70/1322.62	c      1323          12537         548         1                -           0.0000          -
1368.76/1372.87	c      1373          12565         567         1                -           0.0000          -
1374.35/1378.41	c      1378          12646         620         1                -           0.0000          -
1379.53/1383.60	c      1384          12784         668         1                -           0.0000          -
1384.71/1388.82	c      1389          12943         683         1                -           0.0000          -
1389.89/1394.00	c      1394          13111         658         1                -           0.0000          -
1394.97/1399.14	c      1399          13303         540         1                -           0.0000          -
1400.15/1404.34	c      1404          13455         542         1                -           0.0000          -
1405.42/1409.66	c      1410          13578         547         1                -           0.0000          -
1410.92/1415.11	c      1415          13685         547         1                -           0.0000          -
1416.39/1420.62	c      1421          13778         434         1                -           0.0000          -
1421.57/1425.81	c      1426          13871         432         1                -           0.0000          -
1427.05/1431.32	c      1431          14035         377         1                -           0.0000          -
1432.44/1436.73	c      1437          14110         387         1                -           0.0000          -
1437.52/1441.82	c      1442          14172         389         1                -           0.0000          -
1442.60/1446.96	c      1447          14267         375         1                -           0.0000          -
1447.87/1452.26	c      1452          14398         346         1                -           0.0000          -
1453.96/1458.35	c      1458          14458         348         1                -           0.0000          -
1459.65/1464.05	c      1464          14496         370         1                -           0.0000          -
1465.52/1469.92	c      1470          14596         383         1                -           0.0000          -
1470.80/1475.23	c      1475          14724         408         1                -           0.0000          -
1476.08/1480.56	c      1481          14855         417         1                -           0.0000          -
1481.36/1485.81	c      1486          14996         382         1                -           0.0000          -
1486.56/1491.03	c      1491          15024         394         1                -           0.0000          -
1492.23/1496.79	c      1497          15080         389         1                -           0.0000          -
1498.71/1503.23	c      1503          15114         392         1                -           0.0000          -
1503.90/1508.49	c      1508          15250         398         1                -           0.0000          -
1509.18/1513.75	c      1514          15378         400         1                -           0.0000          -
1514.36/1518.94	c      1519          15496         405         1                -           0.0000          -
1519.54/1524.15	c      1524          15622         398         1                -           0.0000          -
1524.72/1529.39	c      1529          15723         432         1                -           0.0000          -
1530.80/1535.46	c      1535          15846         428         1                -           0.0000          -
1536.09/1540.72	c      1541          15899         435         1                -           0.0000          -
1541.57/1546.21	c      1546          15949         478         1                -           0.0000          -
1547.25/1551.99	c      1552          16079         564         1                -           0.0000          -
1552.53/1557.21	c      1557          16206         643         1                -           0.0000          -
1557.81/1562.50	c      1562          16326         723         1                -           0.0000          -
1562.98/1567.77	c      1568          16493         802         1                -           0.0000          -
1568.47/1573.25	c      1573          16625         876         1                -           0.0000          -
1573.64/1578.48	c      1578          16790         954         1                -           0.0000          -
1578.82/1583.65	c      1584          16971        1015         1                -           0.0000          -
1583.91/1588.77	c      1589          17173        1075         1                -           0.0000          -
1588.99/1593.88	c      1594          17380        1111         1                -           0.0000          -
1594.07/1598.95	c      1599          17590        1142         1                -           0.0000          -
1599.15/1604.07	c      1604          17748        1203         1                -           0.0000          -
1604.24/1609.18	c      1609          17954        1231         1                -           0.0000          -
1609.41/1614.35	c      1614          18147        1302         1                -           0.0000          -
1614.50/1619.44	c      1619          18340        1362         1                -           0.0000          -
1619.58/1624.52	c      1625          18521        1444         1                -           0.0000          -
1624.66/1629.62	c      1630          18707        1498         1                -           0.0000          -
1629.74/1634.71	c      1635          18883        1564         1                -           0.0000          -
1635.72/1640.73	c      1641          19072        1607         1                -           0.0000          -
1640.80/1645.86	c      1646          19278        1648         1                -           0.0000          -
1645.88/1650.99	c      1651          19480        1699         1                -           0.0000          -
1650.97/1656.09	c      1656          19657        1745         1                -           0.0000          -
1656.14/1661.24	c      1661          19833        1776         1                -           0.0000          -
1661.21/1666.36	c      1666          20030        1799         1                -           0.0000          -
1666.30/1671.46	c      1671          20205        1847         1                -           0.0000          -
1671.37/1676.55	c      1677          20379        1886         1                -           0.0000          -
1676.45/1681.69	c      1682          20562        1924         1                -           0.0000          -
1681.63/1686.82	c      1687          20736        1980         1                -           0.0000          -
1686.72/1691.91	c      1692          20931        2015         1                -           0.0000          -
1691.80/1697.05	c      1697          21113        2069         1                -           0.0000          -
1696.88/1702.15	c      1702          21301        2094         1                -           0.0000          -
1701.95/1707.28	c      1707          21486        2131         1                -           0.0000          -
1707.03/1712.36	c      1712          21668        2182         1                -           0.0000          -
1712.11/1717.47	c      1717          21848        2198         1                -           0.0000          -
1717.29/1722.64	c      1723          22034        2241         1                -           0.0000          -
1722.37/1727.76	c      1728          22226        2298         1                -           0.0000          -
1727.45/1732.86	c      1733          22413        2339         1                -           0.0000          -
1732.63/1738.01	c      1738          22613        2381         1                -           0.0000          -
1737.72/1743.13	c      1743          22815        2430         1                -           0.0000          -
1742.79/1748.27	c      1748          23013        2490         1                -           0.0000          -
1747.87/1753.39	c      1753          23200        2532         1                -           0.0000          -
1753.06/1758.54	c      1759          23394        2557         1                -           0.0000          -
1758.44/1763.93	c      1764          23557        2599         1                -           0.0000          -
1763.41/1768.94	c      1769          23701        2636         1                -           0.0000          -
1768.50/1774.05	c      1774          23895        2666         1                -           0.0000          -
1773.58/1779.15	c      1779          24111        2677         1                -           0.0000          -
1778.76/1784.32	c      1784          24308        2715         1                -           0.0000          -
1783.84/1789.44	c      1789          24488        2774         1                -           0.0000          -
1788.93/1794.53	c      1795          24693        2795         1                -           0.0000          -
1794.01/1799.65	c      1800          24888        2829         1                -           0.0000          -
1799.09/1804.76	c      1805          25077        2859         1                -           0.0000          -
1804.66/1810.30	c      1810          25224        2929         1                -           0.0000          -
1809.74/1815.49	c      1815          25397        2998         1                -           0.0000          -
1814.92/1820.62	c      1821          25589        3030         1                -           0.0000          -
1819.99/1825.72	c      1826          25768        3085         1                -           0.0000          -
1824.98/1830.79	c      1831          25967        3109         1                -           0.0000          -
1830.16/1835.90	c      1836          26167        3135         1                -           0.0000          -
1835.24/1841.00	c      1841          26357        3171         1                -           0.0000          -
1840.23/1846.09	c      1846          26546        3201         1                -           0.0000          -
1845.40/1851.20	c      1851          26749        3224         1                -           0.0000          -
1850.49/1856.32	c      1856          26937        3277         1                -           0.0000          -
1855.57/1861.44	c      1861          27120        3337         1                -           0.0000          -
1860.65/1866.52	c      1867          27301        3388         1                -           0.0000          -
1865.63/1871.59	c      1872          27423        3405         1                -           0.0000          -
1870.71/1876.68	c      1877          27604        3463         1                -           0.0000          -
1875.79/1881.79	c      1882          27795        3505         1                -           0.0000          -
1880.87/1886.90	c      1887          27986        3544         1                -           0.0000          -
1886.05/1892.02	c      1892          28172        3579         1                -           0.0000          -
1891.13/1897.12	c      1897          28366        3624         1                -           0.0000          -
1896.21/1902.24	c      1902          28546        3689         1                -           0.0000          -
1901.29/1907.37	c      1907          28729        3763         1                -           0.0000          -
1906.37/1912.49	c      1912          28902        3840         1                -           0.0000          -
1911.55/1917.61	c      1918          29072        3913         1                -           0.0000          -
1916.63/1922.72	c      1923          29250        3996         1                -           0.0000          -
1921.71/1927.85	c      1928          29450        4043         1                -           0.0000          -
1926.80/1932.99	c      1933          29654        4072         1                -           0.0000          -
1931.98/1938.11	c      1938          29836        4138         1                -           0.0000          -
1937.05/1943.24	c      1943          30023        4185         1                -           0.0000          -
1942.13/1948.31	c      1948          30227        4208         1                -           0.0000          -
1947.22/1953.44	c      1953          30409        4255         1                -           0.0000          -
1952.30/1958.59	c      1959          30619        4291         1                -           0.0000          -
1957.48/1963.73	c      1964          30820        4333         1                -           0.0000          -
1962.55/1968.84	c      1969          31018        4368         1                -           0.0000          -
1967.64/1973.95	c      1974          31226        4410         1                -           0.0000          -
1972.72/1979.05	c      1979          31430        4438         1                -           0.0000          -
1977.80/1984.18	c      1984          31618        4479         1                -           0.0000          -
1982.88/1989.28	c      1989          31816        4520         1                -           0.0000          -
1987.96/1994.39	c      1994          32015        4566         1                -           0.0000          -
1993.14/1999.53	c      2000          32200        4589         1                -           0.0000          -
1998.22/2004.63	c      2005          32393        4623         1                -           0.0000          -
2003.30/2009.73	c      2010          32597        4647         1                -           0.0000          -
2008.38/2014.88	c      2015          32792        4702         1                -           0.0000          -
2013.57/2020.02	c      2020          32999        4713         1                -           0.0000          -
2018.65/2025.12	c      2025          33190        4757         1                -           0.0000          -
2023.73/2030.23	c      2030          33395        4788         1                -           0.0000          -
2028.91/2035.41	c      2035          33596        4836         1                -           0.0000          -
2033.99/2040.54	c      2041          33803        4866         1                -           0.0000          -
2039.07/2045.69	c      2046          33999        4914         1                -           0.0000          -
2044.16/2050.79	c      2051          34205        4937         1                -           0.0000          -
2049.23/2055.84	c      2056          34412        4943         1                -           0.0000          -
2054.31/2060.93	c      2061          34613        4987         1                -           0.0000          -
2059.39/2066.05	c      2066          34778        5070         1                -           0.0000          -
2064.47/2071.16	c      2071          34945        5152         1                -           0.0000          -
2069.55/2076.29	c      2076          35141        5222         1                -           0.0000          -
2074.73/2081.41	c      2081          35348        5268         1                -           0.0000          -
2079.82/2086.52	c      2087          35567        5281         1                -           0.0000          -
2084.90/2091.65	c      2092          35782        5288         1                -           0.0000          -
2089.98/2096.78	c      2097          35975        5337         1                -           0.0000          -
2095.16/2101.90	c      2102          36160        5366         1                -           0.0000          -
2100.24/2107.00	c      2107          36364        5376         1                -           0.0000          -
2105.72/2112.57	c      2113          36517        5411         1                -           0.0000          -
2110.90/2117.70	c      2118          36723        5423         1                -           0.0000          -
2115.88/2122.78	c      2123          36927        5437         1                -           0.0000          -
2120.96/2127.86	c      2128          37119        5461         1                -           0.0000          -
2126.04/2132.97	c      2133          37323        5475         1                -           0.0000          -
2131.23/2138.10	c      2138          37512        5505         1                -           0.0000          -
2136.30/2143.21	c      2143          37704        5548         1                -           0.0000          -
2141.28/2148.28	c      2148          37903        5608         1                -           0.0000          -
2146.36/2153.38	c      2153          38103        5642         1                -           0.0000          -
2151.44/2158.48	c      2158          38285        5706         1                -           0.0000          -
2156.72/2163.76	c      2164          38411        5750         1                -           0.0000          -
2162.61/2169.65	c      2170          38480        5778         1                -           0.0000          -
2167.69/2174.78	c      2175          38678        5828         1                -           0.0000          -
2172.77/2179.87	c      2180          38869        5882         1                -           0.0000          -
2177.85/2184.99	c      2185          39055        5946         1                -           0.0000          -
2183.04/2190.12	c      2190          39262        5983         1                -           0.0000          -
2188.11/2195.21	c      2195          39459        6028         1                -           0.0000          -
2193.19/2200.30	c      2200          39658        6045         1                -           0.0000          -
2198.17/2205.39	c      2205          39850        6078         1                -           0.0000          -
2203.34/2210.52	c      2211          40053        6096         1                -           0.0000          -
2208.43/2215.66	c      2216          40263        6100         1                -           0.0000          -
2213.51/2220.77	c      2221          40470        6115         1                -           0.0000          -
2218.68/2225.90	c      2226          40681        6127         1                -           0.0000          -
2223.77/2231.00	c      2231          40894        6151         1                -           0.0000          -
2228.75/2236.09	c      2236          41106        6181         1                -           0.0000          -
2234.23/2241.50	c      2242          41299        6204         1                -           0.0000          -
2239.30/2246.65	c      2247          41513        6216         1                -           0.0000          -
2244.38/2251.76	c      2252          41708        6241         1                -           0.0000          -
2249.46/2256.87	c      2257          41911        6268         1                -           0.0000          -
2254.65/2262.01	c      2262          42107        6331         1                -           0.0000          -
2259.73/2267.11	c      2267          42291        6403         1                -           0.0000          -
2265.01/2272.40	c      2272          42484        6458         1                -           0.0000          -
2270.09/2277.52	c      2278          42700        6493         1                -           0.0000          -
2275.17/2282.61	c      2283          42907        6515         1                -           0.0000          -
2280.25/2287.73	c      2288          43121        6540         1                -           0.0000          -
2285.34/2292.85	c      2293          43331        6576         1                -           0.0000          -
2290.42/2297.95	c      2298          43539        6602         1                -           0.0000          -
2295.50/2303.09	c      2303          43738        6668         1                -           0.0000          -
2300.59/2308.16	c      2308          43948        6713         1                -           0.0000          -
2305.76/2313.30	c      2313          44166        6735         1                -           0.0000          -
2310.84/2318.40	c      2318          44349        6808         1                -           0.0000          -
2315.92/2323.53	c      2324          44541        6875         1                -           0.0000          -
2321.01/2328.62	c      2329          44751        6894         1                -           0.0000          -
2326.08/2333.71	c      2334          44941        6955         1                -           0.0000          -
2331.17/2338.83	c      2339          45150        6970         1                -           0.0000          -
2336.25/2343.93	c      2344          45352        6993         1                -           0.0000          -
2341.33/2349.08	c      2349          45553        7022         1                -           0.0000          -
2346.49/2354.23	c      2354          45757        7051         1                -           0.0000          -
2351.57/2359.38	c      2359          45963        7073         1                -           0.0000          -
2356.75/2364.51	c      2365          46159        7095         1                -           0.0000          -
2361.82/2369.64	c      2370          46368        7112         1                -           0.0000          -
2366.90/2374.75	c      2375          46548        7148         1                -           0.0000          -
2371.97/2379.83	c      2380          46759        7168         1                -           0.0000          -
2377.05/2384.91	c      2385          46961        7188         1                -           0.0000          -
2382.12/2390.01	c      2390          47165        7211         1                -           0.0000          -
2387.10/2395.10	c      2395          47376        7226         1                -           0.0000          -
2392.26/2400.20	c      2400          47595        7237         1                -           0.0000          -
2397.35/2405.30	c      2405          47785        7264         1                -           0.0000          -
2402.42/2410.42	c      2410          47997        7300         1                -           0.0000          -
2407.39/2415.49	c      2415          48203        7325         1                -           0.0000          -
2412.47/2420.56	c      2421          48420        7347         1                -           0.0000          -
2417.55/2425.65	c      2426          48639        7372         1                -           0.0000          -
2422.62/2430.76	c      2431          48856        7416         1                -           0.0000          -
2427.71/2435.87	c      2436          49073        7436         1                -           0.0000          -
2432.78/2440.98	c      2441          49290        7457         1                -           0.0000          -
2437.86/2446.06	c      2446          49500        7473         1                -           0.0000          -
2443.02/2451.21	c      2451          49707        7486         1                -           0.0000          -
2448.09/2456.33	c      2456          49904        7508         1                -           0.0000          -
2453.15/2461.44	c      2461          50097        7535         1                -           0.0000          -
2458.23/2466.57	c      2467          50303        7562         1                -           0.0000          -
2463.60/2472.00	c      2472          50457        7582         1                -           0.0000          -
2468.87/2477.25	c      2477          50643        7647         1                -           0.0000          -
2473.94/2482.37	c      2482          50831        7706         1                -           0.0000          -
2479.11/2487.50	c      2488          51043        7734         1                -           0.0000          -
2484.19/2492.62	c      2493          51250        7756         1                -           0.0000          -
2489.26/2497.72	c      2498          51478        7775         1                -           0.0000          -
2494.34/2502.81	c      2503          51697        7796         1                -           0.0000          -
2499.41/2507.93	c      2508          51926        7812         1                -           0.0000          -
2504.49/2513.04	c      2513          52141        7845         1                -           0.0000          -
2509.57/2518.16	c      2518          52343        7873         1                -           0.0000          -
2514.65/2523.22	c      2523          52567        7892         1                -           0.0000          -
2519.73/2528.32	c      2528          52789        7908         1                -           0.0000          -
2524.81/2533.49	c      2533          53001        7922         1                -           0.0000          -
2529.89/2538.59	c      2539          53220        7951         1                -           0.0000          -
2534.96/2543.67	c      2544          53423        7977         1                -           0.0000          -
2540.05/2548.79	c      2549          53642        8004         1                -           0.0000          -
2545.23/2553.93	c      2554          53864        8023         1                -           0.0000          -
2550.32/2559.04	c      2559          54091        8047         1                -           0.0000          -
2555.40/2564.14	c      2564          54313        8068         1                -           0.0000          -
2560.48/2569.27	c      2569          54526        8097         1                -           0.0000          -
2565.55/2574.36	c      2574          54697        8176         1                -           0.0000          -
2570.63/2579.48	c      2579          54890        8237         1                -           0.0000          -
2575.81/2584.60	c      2585          55091        8279         1                -           0.0000          -
2580.90/2589.72	c      2590          55282        8352         1                -           0.0000          -
2586.19/2595.05	c      2595          55377        8392         1                -           0.0000          -
2592.46/2601.37	c      2601          55402        8396         1                -           0.0000          -
2597.54/2606.49	c      2606          55614        8410         1                -           0.0000          -
2602.62/2611.59	c      2612          55824        8441         1                -           0.0000          -
2607.81/2616.70	c      2617          56026        8463         1                -           0.0000          -
2612.88/2621.80	c      2622          56226        8494         1                -           0.0000          -
2617.96/2626.98	c      2627          56430        8534         1                -           0.0000          -
2623.14/2632.14	c      2632          56650        8564         1                -           0.0000          -
2628.21/2637.25	c      2637          56858        8585         1                -           0.0000          -
2633.30/2642.33	c      2642          57074        8617         1                -           0.0000          -
2638.99/2648.09	c      2648          57258        8655         1                -           0.0000          -
2644.07/2653.18	c      2653          57466        8683         1                -           0.0000          -
2649.25/2658.31	c      2658          57694        8703         1                -           0.0000          -
2654.33/2663.45	c      2663          57908        8742         1                -           0.0000          -
2659.41/2668.58	c      2669          58115        8749         1                -           0.0000          -
2664.58/2673.71	c      2674          58320        8773         1                -           0.0000          -
2669.67/2678.86	c      2679          58545        8796         1                -           0.0000          -
2674.75/2683.98	c      2684          58756        8828         1                -           0.0000          -
2679.94/2689.11	c      2689          58977        8856         1                -           0.0000          -
2685.01/2694.22	c      2694          59172        8883         1                -           0.0000          -
2690.09/2699.36	c      2699          59382        8905         1                -           0.0000          -
2695.27/2704.51	c      2705          59595        8923         1                -           0.0000          -
2700.35/2709.65	c      2710          59806        8956         1                -           0.0000          -
2705.43/2714.77	c      2715          60036        8973         1                -           0.0000          -
2710.62/2719.93	c      2720          60255        8989         1                -           0.0000          -
2715.70/2725.07	c      2725          60481        9015         1                -           0.0000          -
2720.78/2730.18	c      2730          60696        9027         1                -           0.0000          -
2725.97/2735.31	c      2735          60910        9055         1                -           0.0000          -
2731.05/2740.43	c      2740          61126        9074         1                -           0.0000          -
2736.13/2745.53	c      2746          61343        9085         1                -           0.0000          -
2741.20/2750.69	c      2751          61556        9106         1                -           0.0000          -
2746.39/2755.83	c      2756          61761        9139         1                -           0.0000          -
2751.47/2760.95	c      2761          61971        9166         1                -           0.0000          -
2756.55/2766.04	c      2766          62173        9192         1                -           0.0000          -
2761.63/2771.13	c      2771          62399        9210         1                -           0.0000          -
2766.81/2776.35	c      2776          62591        9256         1                -           0.0000          -
2771.90/2781.47	c      2781          62789        9291         1                -           0.0000          -
2776.98/2786.59	c      2787          63022        9318         1                -           0.0000          -
2782.16/2791.75	c      2792          63232        9340         1                -           0.0000          -
2787.24/2796.89	c      2797          63447        9374         1                -           0.0000          -
2792.43/2802.02	c      2802          63646        9403         1                -           0.0000          -
2797.50/2807.17	c      2807          63859        9436         1                -           0.0000          -
2802.57/2812.26	c      2812          64071        9467         1                -           0.0000          -
2807.65/2817.37	c      2817          64287        9497         1                -           0.0000          -
2812.74/2822.46	c      2822          64517        9490         1                -           0.0000          -
2817.82/2827.57	c      2828          64741        9488         1                -           0.0000          -
2822.90/2832.68	c      2833          64971        9497         1                -           0.0000          -
2827.97/2837.78	c      2838          65186        9517         1                -           0.0000          -
2833.06/2842.88	c      2843          65404        9524         1                -           0.0000          -
2838.24/2848.01	c      2848          65617        9546         1                -           0.0000          -
2843.31/2853.13	c      2853          65822        9571         1                -           0.0000          -
2848.39/2858.24	c      2858          66043        9585         1                -           0.0000          -
2853.48/2863.34	c      2863          66259        9610         1                -           0.0000          -
2858.56/2868.49	c      2868          66489        9639         1                -           0.0000          -
2863.74/2873.62	c      2874          66708        9664         1                -           0.0000          -
2868.82/2878.74	c      2879          66939        9678         1                -           0.0000          -
2873.90/2883.88	c      2884          67161        9709         1                -           0.0000          -
2879.09/2889.01	c      2889          67378        9724         1                -           0.0000          -
2884.17/2894.11	c      2894          67621        9738         1                -           0.0000          -
2889.25/2899.21	c      2899          67859        9749         1                -           0.0000          -
2894.33/2904.30	c      2904          68087        9782         1                -           0.0000          -
2899.42/2909.40	c      2909          68311        9811         1                -           0.0000          -
2904.40/2914.49	c      2914          68556        9820         1                -           0.0000          -
2909.57/2919.61	c      2920          68783        9842         1                -           0.0000          -
2914.66/2924.73	c      2925          69007        9872         1                -           0.0000          -
2919.75/2929.86	c      2930          69252        9897         1                -           0.0000          -
2924.83/2934.99	c      2935          69493        9908         1                -           0.0000          -
2929.91/2940.07	c      2940          69711        9938         1                -           0.0000          -
2934.99/2945.19	c      2945          69933        9971         1                -           0.0000          -
2940.07/2950.28	c      2950          70145       10001         1                -           0.0000          -
2945.15/2955.39	c      2955          70355       10040         1                -           0.0000          -
2950.24/2960.49	c      2960          70565       10081         1                -           0.0000          -
2955.31/2965.56	c      2966          70778       10124         1                -           0.0000          -
2960.40/2970.67	c      2971          71003       10146         1                -           0.0000          -
2965.48/2975.77	c      2976          71217       10186         1                -           0.0000          -
2970.56/2980.88	c      2981          71432       10224         1                -           0.0000          -
2975.75/2986.01	c      2986          71649       10272         1                -           0.0000          -
2980.83/2991.14	c      2991          71877       10299         1                -           0.0000          -
2985.91/2996.25	c      2996          72109       10313         1                -           0.0000          -
2990.99/3001.34	c      3001          72340       10331         1                -           0.0000          -
2996.07/3006.47	c      3006          72566       10344         1                -           0.0000          -
3001.15/3011.58	c      3012          72798       10359         1                -           0.0000          -
3006.33/3016.70	c      3017          73022       10378         1                -           0.0000          -
3011.41/3021.82	c      3022          73248       10399         1                -           0.0000          -
3016.49/3026.92	c      3027          73486       10410         1                -           0.0000          -
3021.59/3032.05	c      3032          73710       10432         1                -           0.0000          -
3026.66/3037.12	c      3037          73937       10464         1                -           0.0000          -
3031.74/3042.24	c      3042          74153       10488         1                -           0.0000          -
3037.22/3047.74	c      3048          74362       10521         1                -           0.0000          -
3042.30/3052.82	c      3053          74593       10557         1                -           0.0000          -
3047.29/3057.88	c      3058          74804       10586         1                -           0.0000          -
3052.47/3063.02	c      3063          75037       10616         1                -           0.0000          -
3057.55/3068.12	c      3068          75253       10658         1                -           0.0000          -
3062.63/3073.21	c      3073          75398       10668         1                -           0.0000          -
3067.72/3078.30	c      3078          75627       10683         1                -           0.0000          -
3072.80/3083.41	c      3083          75827       10717         1                -           0.0000          -
3077.88/3088.54	c      3089          76050       10744         1                -           0.0000          -
3082.96/3093.62	c      3094          76282       10761         1                -           0.0000          -
3088.04/3098.71	c      3099          76529       10767         1                -           0.0000          -
3093.12/3103.81	c      3104          76767       10787         1                -           0.0000          -
3098.21/3108.94	c      3109          76997       10812         1                -           0.0000          -
3103.29/3114.03	c      3114          77234       10851         1                -           0.0000          -
3108.37/3119.19	c      3119          77482       10861         1                -           0.0000          -
3113.55/3124.33	c      3124          77716       10880         1                -           0.0000          -
3118.63/3129.45	c      3129          77949       10890         1                -           0.0000          -
3123.72/3134.53	c      3135          78188       10905         1                -           0.0000          -
3128.80/3139.63	c      3140          78427       10926         1                -           0.0000          -
3133.88/3144.71	c      3145          78659       10948         1                -           0.0000          -
3138.85/3149.78	c      3150          78889       10969         1                -           0.0000          -
3143.94/3154.87	c      3155          79120       10997         1                -           0.0000          -
3149.02/3159.95	c      3160          79338       11021         1                -           0.0000          -
3154.10/3165.04	c      3165          79579       11043         1                -           0.0000          -
3159.19/3170.17	c      3170          79794       11084         1                -           0.0000          -
3164.27/3175.25	c      3175          80013       11123         1                -           0.0000          -
3169.44/3180.40	c      3180          80245       11146         1                -           0.0000          -
3174.53/3185.52	c      3186          80478       11175         1                -           0.0000          -
3179.61/3190.64	c      3191          80708       11196         1                -           0.0000          -
3184.69/3195.78	c      3196          80934       11232         1                -           0.0000          -
3189.88/3200.90	c      3201          81164       11251         1                -           0.0000          -
3194.96/3206.02	c      3206          81382       11278         1                -           0.0000          -
3200.04/3211.15	c      3211          81593       11333         1                -           0.0000          -
3205.11/3216.28	c      3216          81810       11376         1                -           0.0000          -
3210.20/3221.39	c      3221          82045       11386         1                -           0.0000          -
3215.28/3226.44	c      3226          82278       11411         1                -           0.0000          -
3220.87/3232.00	c      3232          82398       11419         1                -           0.0000          -
3225.96/3237.15	c      3237          82644       11435         1                -           0.0000          -
3231.13/3242.30	c      3242          82870       11463         1                -           0.0000          -
3236.21/3247.41	c      3247          83098       11504         1                -           0.0000          -
3241.29/3252.54	c      3253          83322       11536         1                -           0.0000          -
3246.37/3257.68	c      3258          83546       11568         1                -           0.0000          -
3251.46/3262.78	c      3263          83784       11578         1                -           0.0000          -
3256.54/3267.88	c      3268          84017       11599         1                -           0.0000          -
3261.73/3273.00	c      3273          84255       11618         1                -           0.0000          -
3266.71/3278.08	c      3278          84487       11655         1                -           0.0000          -
3271.79/3283.19	c      3283          84680       11729         1                -           0.0000          -
3276.97/3288.31	c      3288          84870       11821         1                -           0.0000          -
3282.05/3293.45	c      3293          85088       11864         1                -           0.0000          -
3287.23/3298.60	c      3299          85314       11880         1                -           0.0000          -
3292.71/3304.18	c      3304          85491       11897         1                -           0.0000          -
3297.89/3309.33	c      3309          85721       11944         1                -           0.0000          -
3302.98/3314.41	c      3314          85961       11975         1                -           0.0000          -
3308.35/3319.89	c      3320          86183       12012         1                -           0.0000          -
3313.54/3325.01	c      3325          86407       12040         1                -           0.0000          -
3318.62/3330.11	c      3330          86648       12052         1                -           0.0000          -
3323.70/3335.20	c      3335          86880       12072         1                -           0.0000          -
3328.68/3340.27	c      3340          87095       12123         1                -           0.0000          -
3333.76/3345.34	c      3345          87304       12169         1                -           0.0000          -
3338.84/3350.44	c      3350          87529       12200         1                -           0.0000          -
3343.93/3355.57	c      3356          87754       12250         1                -           0.0000          -
3349.01/3360.66	c      3361          87974       12291         1                -           0.0000          -
3354.09/3365.76	c      3366          88194       12324         1                -           0.0000          -
3359.17/3370.84	c      3371          88436       12333         1                -           0.0000          -
3364.25/3375.97	c      3376          88671       12346         1                -           0.0000          -
3369.34/3381.09	c      3381          88904       12386         1                -           0.0000          -
3374.42/3386.18	c      3386          89152       12392         1                -           0.0000          -
3379.50/3391.27	c      3391          89366       12435         1                -           0.0000          -
3384.58/3396.38	c      3396          89595       12462         1                -           0.0000          -
3389.66/3401.43	c      3401          89821       12482         1                -           0.0000          -
3394.75/3406.56	c      3407          90062       12492         1                -           0.0000          -
3399.82/3411.65	c      3412          90306       12510         1                -           0.0000          -
3404.91/3416.75	c      3417          90539       12537         1                -           0.0000          -
3409.98/3421.86	c      3422          90783       12552         1                -           0.0000          -
3415.07/3426.98	c      3427          91031       12565         1                -           0.0000          -
3420.16/3432.09	c      3432          91262       12593         1                -           0.0000          -
3425.24/3437.17	c      3437          91501       12613         1                -           0.0000          -
3430.31/3442.28	c      3442          91712       12623         1                -           0.0000          -
3435.39/3447.37	c      3447          91942       12636         1                -           0.0000          -
3440.58/3452.54	c      3453          92174       12648         1                -           0.0000          -
3445.66/3457.63	c      3458          92397       12679         1                -           0.0000          -
3450.75/3462.71	c      3463          92626       12716         1                -           0.0000          -
3455.83/3467.83	c      3468          92846       12762         1                -           0.0000          -
3460.91/3472.95	c      3473          93067       12796         1                -           0.0000          -
3466.00/3478.06	c      3478          93305       12814         1                -           0.0000          -
3470.98/3483.08	c      3483          93470       12829         1                -           0.0000          -
3476.96/3489.07	c      3489          93514       12836         1                -           0.0000          -
3482.14/3494.23	c      3494          93742       12874         1                -           0.0000          -
3487.22/3499.32	c      3499          93984       12888         1                -           0.0000          -
3492.30/3504.44	c      3504          94213       12907         1                -           0.0000          -
3497.38/3509.56	c      3510          94446       12915         1                -           0.0000          -
3502.47/3514.67	c      3515          94681       12936         1                -           0.0000          -
3507.65/3519.81	c      3520          94921       12967         1                -           0.0000          -
3512.73/3524.92	c      3525          95154       12992         1                -           0.0000          -
3517.81/3530.00	c      3530          95400       13003         1                -           0.0000          -
3522.80/3535.10	c      3535          95615       13036         1                -           0.0000          -
3527.88/3540.19	c      3540          95825       13070         1                -           0.0000          -
3533.06/3545.33	c      3545          96038       13079         1                -           0.0000          -
3538.14/3550.46	c      3550          96280       13087         1                -           0.0000          -
3543.32/3555.61	c      3556          96506       13111         1                -           0.0000          -
3548.40/3560.71	c      3561          96751       13129         1                -           0.0000          -
3553.49/3565.87	c      3566          96987       13160         1                -           0.0000          -
3558.57/3570.98	c      3571          97209       13203         1                -           0.0000          -
3563.65/3576.07	c      3576          97406       13277         1                -           0.0000          -
3568.83/3581.25	c      3581          97629       13316         1                -           0.0000          -
3573.91/3586.37	c      3586          97887       13313         1                -           0.0000          -
3579.09/3591.54	c      3592          98128       13327         1                -           0.0000          -
3584.18/3596.64	c      3597          98349       13351         1                -           0.0000          -
3587.97/3600.42	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.97/3600.42	c Total Time         : 3600.4200
3587.97/3600.42	c   solving          : 3600.4200
3587.97/3600.42	c   presolving       : 3.6803 (included in solving)
3587.97/3600.42	c B&B Tree           :
3587.97/3600.42	c   nodes (total)    : 1
3587.97/3600.42	c Solution           :
3587.97/3600.42	c   Solutions found  : 0
3587.97/3600.42	c   Primal Bound     :          -
3587.97/3600.42	c   Dual Bound       : +0.00000000000000e+00
3587.97/3600.42	c Gap                :          -
3588.06/3600.59	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (52017 MiB free)
  memory of node 1: 64473 MiB (60513 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446170-1721325583/watcher-4446170-1721325583 -o /tmp/evaluation-result-4446170-1721325583/solver-4446170-1721325583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007727 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446170-1721325583.opb -qsol -t 3600 -sth 1 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1013422, runsolver pid=1013419
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.27 4.14 4.12 5/265 1013423
/proc/meminfo: memFree=115197652/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=59860 memory=46876 CPUtime=0.09 cores=5,7
/proc/1013422/stat : 1013422 (fscip) R 1013419 1013422 1007714 0 -1 4194304 9615 0 0 0 9 0 0 0 20 0 1 0 184726371 61296640 11719 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 14965 11719 2318 3032 0 11365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59860 KiB
Current children cumulated memory: 46876 KiB

[startup+0.205821 s]*
/proc/loadavg: 4.27 4.14 4.12 5/265 1013423
/proc/meminfo: memFree=115165564/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=92080 memory=77976 CPUtime=0.2 cores=5,7
/proc/1013422/stat : 1013422 (fscip) R 1013419 1013422 1007714 0 -1 4194304 17409 0 0 0 18 2 0 0 20 0 1 0 184726371 94289920 19494 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 23020 19494 2318 3032 0 19420 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92080 KiB
Current children cumulated memory: 77976 KiB

[startup+0.305744 s]*
/proc/loadavg: 4.27 4.14 4.12 5/265 1013423
/proc/meminfo: memFree=115135428/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=122412 memory=112044 CPUtime=0.3 cores=5,7
/proc/1013422/stat : 1013422 (fscip) R 1013419 1013422 1007714 0 -1 4194304 26429 0 0 0 27 3 0 0 20 0 1 0 184726371 125349888 28011 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 30603 28011 2542 3032 0 27003 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 122412 KiB
Current children cumulated memory: 112044 KiB

[startup+0.700227 s]
/proc/loadavg: 4.27 4.14 4.12 5/265 1013423
/proc/meminfo: memFree=115011312/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=272964 memory=256088 CPUtime=0.69 cores=5,7
/proc/1013422/stat : 1013422 (fscip) R 1013419 1013422 1007714 0 -1 4194304 62380 0 0 0 61 8 0 0 20 0 1 0 184726371 279515136 64022 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 68241 64022 2606 3032 0 64641 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 272964 KiB
Current children cumulated memory: 256088 KiB

[startup+1.50023 s]
/proc/loadavg: 4.25 4.14 4.12 5/265 1013423
/proc/meminfo: memFree=114869804/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=311004 memory=293068 CPUtime=1.48 cores=5,7
/proc/1013422/stat : 1013422 (fscip) R 1013419 1013422 1007714 0 -1 4194304 77228 0 0 0 136 12 0 0 20 0 1 0 184726371 318468096 73267 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 77751 73267 2686 3032 0 74151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 311004 KiB
Current children cumulated memory: 293068 KiB

[startup+3.10591 s]
/proc/loadavg: 4.25 4.14 4.12 5/265 1013423
/proc/meminfo: memFree=114884032/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=374692 memory=356836 CPUtime=3.09 cores=5,7
/proc/1013422/stat : 1013422 (fscip) R 1013419 1013422 1007714 0 -1 4194304 93509 0 0 0 295 14 0 0 20 0 1 0 184726371 383684608 89209 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 93673 89209 2734 3032 0 90073 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 374692 KiB
Current children cumulated memory: 356836 KiB

[startup+6.30021 s]
/proc/loadavg: 4.23 4.13 4.11 5/267 1013425
/proc/meminfo: memFree=114342052/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1030812 memory=897840 CPUtime=6.27 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 197717 0 0 0 593 34 0 0 20 0 3 0 184726371 1055551488 224460 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 257703 224460 2782 3032 0 238467 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1030812 memory=-7880590079354888829 CPUtime=1.84 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 71238 0 0 0 173 11 0 0 20 0 3 0 184726792 1055551488 224460 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1030812 memory=913012 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184726834 1055551488 224460 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1030812 KiB
Current children cumulated memory: 897840 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.11 5/267 1013428
/proc/meminfo: memFree=114003132/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1372444 memory=1236380 CPUtime=12.65 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 276209 0 0 0 1219 46 0 0 20 0 3 0 184726371 1405382656 309095 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 343111 309095 2926 3032 0 329937 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1372444 memory=11396 CPUtime=8.22 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 149723 0 0 0 799 23 0 0 20 0 3 0 184726792 1405382656 309095 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1372444 memory=1236380 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 184726834 1405382656 309095 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1372444 KiB
Current children cumulated memory: 1236380 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.13 4.11 5/267 1013430
/proc/meminfo: memFree=113810400/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1437980 memory=1261288 CPUtime=25.42 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 325429 0 0 0 2492 50 0 0 20 0 3 0 184726371 1472491520 315322 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 359495 315322 2926 3032 0 340859 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1437980 memory=1261288 CPUtime=20.99 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 198932 0 0 0 2072 27 0 0 20 0 3 0 184726792 1472491520 315322 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1437980 memory=1246852 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 184726834 1472491520 315322 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1437980 KiB
Current children cumulated memory: 1261288 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.13 4.11 5/266 1013435
/proc/meminfo: memFree=113727652/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1516884 memory=1282384 CPUtime=50.96 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 410939 0 0 0 5041 55 0 0 20 0 3 0 184726371 1553289216 320596 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 379221 320596 2926 3032 0 352278 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1516884 memory=-7880590079354888829 CPUtime=46.53 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 284428 0 0 0 4621 32 0 0 20 0 3 0 184726792 1553289216 320596 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1516884 memory=11396 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 184726834 1553289216 320596 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1516884 KiB
Current children cumulated memory: 1282384 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/267 1013457
/proc/meminfo: memFree=113723308/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1516884 memory=1282588 CPUtime=102.02 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 486934 0 0 0 10142 60 0 0 20 0 3 0 184726371 1553289216 320647 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 379221 320647 2926 3032 0 358932 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1516884 memory=11396 CPUtime=97.59 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 360409 0 0 0 9722 37 0 0 20 0 3 0 184726792 1553289216 320647 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1516884 memory=43840 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 184726834 1553289216 320647 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1516884 KiB
Current children cumulated memory: 1282588 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/267 1013467
/proc/meminfo: memFree=113713424/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1530260 memory=1286556 CPUtime=161.85 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 558318 0 0 0 16120 65 0 0 20 0 3 0 184726371 1566986240 321639 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 382565 321639 2926 3032 0 366990 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1530260 memory=1282648 CPUtime=157.41 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 431783 0 0 0 15699 42 0 0 20 0 3 0 184726792 1566986240 321639 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1530260 memory=1282672 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 184726834 1566986240 321639 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1530260 KiB
Current children cumulated memory: 1286556 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/265 1013479
/proc/meminfo: memFree=113701248/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1543636 memory=1295224 CPUtime=221.68 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 587328 0 0 0 22099 69 0 0 20 0 3 0 184726371 1580683264 323806 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 385909 323806 2926 3032 0 372070 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1543636 memory=1295192 CPUtime=217.23 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 460787 0 0 0 21678 45 0 0 20 0 3 0 184726792 1580683264 323806 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=1543636 memory=1295224 CPUtime=0 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 184726834 1580683264 323806 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1543636 KiB
Current children cumulated memory: 1295224 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1013490
/proc/meminfo: memFree=113524348/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=1819152 memory=1470272 CPUtime=281.5 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 709954 0 0 0 28070 80 0 0 20 0 3 0 184726371 1862811648 367568 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 454788 367568 2942 3032 0 426720 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=1819152 memory=1470244 CPUtime=277.07 cores=5,7

################
# More data... #
################

Current children cumulated memory: 2522256 KiB

[startup+3402.3 s]
/proc/loadavg: 1.06 1.58 2.78 2/238 1015170
/proc/meminfo: memFree=126098996/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=3978780 memory=2538612 CPUtime=3390.56 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 3872576 0 0 0 338557 499 0 0 20 0 3 0 184726371 4074270720 634653 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 994695 634653 2990 3032 0 974854 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=3978780 memory=5464 CPUtime=3385.93 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 3743905 0 0 0 338123 470 0 0 20 0 3 0 184726792 4074270720 634653 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=3978780 memory=11396 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 191 0 0 0 1 2 0 0 20 0 3 0 184726834 4074270720 634653 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 3978780 KiB
Current children cumulated memory: 2538612 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.49 2.67 2/238 1015182
/proc/meminfo: memFree=126086232/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=3978780 memory=2546692 CPUtime=3450.35 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 3923654 0 0 0 344530 505 0 0 20 0 3 0 184726371 4074270720 636673 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 994695 636673 2990 3032 0 974854 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=3978780 memory=2546692 CPUtime=3445.71 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 3794955 0 0 0 344096 475 0 0 20 0 3 0 184726792 4074270720 636673 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=3978780 memory=2546692 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 193 0 0 0 1 2 0 0 20 0 3 0 184726834 4074270720 636673 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 3978780 KiB
Current children cumulated memory: 2546692 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.43 2.57 2/240 1015363
/proc/meminfo: memFree=125919772/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2711652 CPUtime=3510.14 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4042174 0 0 0 350498 516 0 0 20 0 3 0 184726371 4208488448 677913 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 677913 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=2692916 CPUtime=3505.51 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 3913447 0 0 0 350064 487 0 0 20 0 3 0 184726792 4208488448 677913 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=2709604 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 195 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 677913 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2711652 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.36 2.48 2/240 1015374
/proc/meminfo: memFree=125902688/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2728220 CPUtime=3569.92 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4121159 0 0 0 356471 521 0 0 20 0 3 0 184726371 4208488448 682055 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 682055 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=13116 CPUtime=3565.29 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 3992432 0 0 0 356037 492 0 0 20 0 3 0 184726792 4208488448 682055 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=2728220 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 195 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 682055 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3569.92 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2728220 KiB

[startup+3600.65 s]
# the end of solver process 1013422 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3582.89 s, system=5.33647 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 1.10 1.36 2.48 2/240 1015374
/proc/meminfo: memFree=125902688/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2728220 CPUtime=3571.62 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4123664 0 0 0 356641 521 0 0 20 0 3 0 184726371 4208488448 682055 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 682055 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=-7096686500032844137 CPUtime=3566.99 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 3994935 0 0 0 356207 492 0 0 20 0 3 0 184726792 4208488448 682055 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=11552 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 197 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 682055 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2728220 KiB

[startup+3590.4 s]
/proc/loadavg: 1.10 1.36 2.47 2/240 1015376
/proc/meminfo: memFree=125900564/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2730264 CPUtime=3578 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4125768 0 0 0 357279 521 0 0 20 0 3 0 184726371 4208488448 682566 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 682566 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=11396 CPUtime=3573.36 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 3997025 0 0 0 356844 492 0 0 20 0 3 0 184726792 4208488448 682566 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=6656426216303648864 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 197 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 682566 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3578 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2730264 KiB

[startup+3596.8 s]
/proc/loadavg: 1.09 1.35 2.46 2/240 1015376
/proc/meminfo: memFree=125900608/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2732308 CPUtime=3584.38 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4128893 0 0 0 357916 522 0 0 20 0 3 0 184726371 4208488448 683077 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 683077 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=11396 CPUtime=3579.74 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 4000138 0 0 0 357482 492 0 0 20 0 3 0 184726792 4208488448 683077 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=43840 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 197 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 683077 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3584.38 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2732308 KiB

[startup+3598.4 s]
/proc/loadavg: 1.08 1.35 2.45 2/240 1015376
/proc/meminfo: memFree=125898560/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2732468 CPUtime=3585.98 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4129265 0 0 0 358076 522 0 0 20 0 3 0 184726371 4208488448 683117 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 683117 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=2732308 CPUtime=3581.33 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 4000510 0 0 0 357641 492 0 0 20 0 3 0 184726792 4208488448 683117 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=43840 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 197 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 683117 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2732468 KiB

[startup+3600 s]*
/proc/loadavg: 1.08 1.35 2.45 2/240 1015378
/proc/meminfo: memFree=125898336/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4109852 memory=2732468 CPUtime=3587.57 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4129828 0 0 0 358235 522 0 0 20 0 3 0 184726371 4208488448 683117 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1027463 683117 2990 3032 0 1005018 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4109852 memory=16236 CPUtime=3582.94 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 4001157 0 0 0 357801 493 0 0 20 0 3 0 184726792 4208488448 683117 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4109852 memory=2212 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 197 0 0 0 1 2 0 0 20 0 3 0 184726834 4208488448 683117 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 4109852 KiB
Current children cumulated memory: 2732468 KiB

[startup+3600.4 s]
/proc/loadavg: 1.08 1.35 2.45 2/240 1015378
/proc/meminfo: memFree=125898336/131524600 swapFree=131071996/131071996
[pid=1013422] ppid=1013419 vsize=4069432 memory=2692176 CPUtime=3587.97 cores=5,7
/proc/1013422/stat : 1013422 (fscip) S 1013419 1013422 1007714 0 -1 1077936128 4188448 0 0 0 358271 526 0 0 20 0 3 0 184726371 4167098368 673044 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
/proc/1013422/statm: 1017358 673044 2990 3032 0 994913 0
[pid=1013422/tid=1013424] ppid=1013419 vsize=4069432 memory=30312 CPUtime=3583.32 cores=5,7
/proc/1013422/task/1013424/stat : 1013424 (fscip) R 1013419 1013422 1007714 0 -1 4194368 4059712 0 0 0 357836 496 0 0 20 0 3 0 184726792 4167098368 673044 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
[pid=1013422/tid=1013425] ppid=1013419 vsize=4069432 memory=7444 CPUtime=0.03 cores=5,7
/proc/1013422/task/1013425/stat : 1013425 (fscip) S 1013419 1013422 1007714 0 -1 1077936192 197 0 0 0 1 2 0 0 20 0 3 0 184726834 4167098368 673044 134679101440 4194304 16613245 140736904299152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47058944 140736904307731 140736904307847 140736904307847 140736904314864 0
Current children cumulated CPU time: 3587.97 s
Current children cumulated vsize: 4069432 KiB
Current children cumulated memory: 2692176 KiB

[startup+3600.6 s]*
/proc/loadavg: 1.08 1.35 2.45 2/239 1015378
/proc/meminfo: memFree=126536764/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3600.65
CPU time (s): 3588.22
CPU user time (s): 3582.89
CPU system time (s): 5.33647
CPU usage (%): 99.6549
Max. virtual memory (cumulated for all children) (KiB): 4109852
Max. memory (cumulated for all children) (KiB): 2732468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.89
system time used= 5.33647
maximum resident set size= 2732468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4218738
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= 9100
involuntary context switches= 2077


# summary of solver processes directly reported to runsolver:
#   pid: 1013422
#   total CPU time (s): 3588.22
#   total CPU user time (s): 3582.89
#   total CPU system time (s): 5.33647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92068 second user time and 19.2879 second system time

The end

Launcher Data

Begin job on nodeC030 at 2024-07-18 19:59:56
IDJOB=4446170
IDBENCH=155502
IDSOLVER=3064
FILE ID=nodeC030/4446170-1721325583
RUNJOBID= nodeC030-1721317650-1007727
SLURM_JOB_ID= 7542666
Free space on /tmp= 889924 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-86.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446170-1721325583/watcher-4446170-1721325583 -o /tmp/evaluation-result-4446170-1721325583/solver-4446170-1721325583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007727 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4446170-1721325583.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0
RANDOM SEED=2030571138

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.649
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.838
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.973
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.801
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.747
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.706
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.764
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115232804 kB
MemAvailable:   116512592 kB
Buffers:          482012 kB
Cached:          1626396 kB
SwapCached:            0 kB
Active:          1179304 kB
Inactive:       14459612 kB
Active(anon):       1548 kB
Inactive(anon): 13566712 kB
Active(file):    1177756 kB
Inactive(file):   892900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             34820 kB
Writeback:             0 kB
AnonPages:      13528748 kB
Mapped:           142132 kB
Shmem:             37720 kB
KReclaimable:      97912 kB
Slab:             210356 kB
SReclaimable:      97912 kB
SUnreclaim:       112444 kB
KernelStack:        4368 kB
PageTables:        36352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10503060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70016 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5310464 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC030 at 2024-07-18 20:59:56