Trace number 4464653

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-30? 3587.61 3598.06

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
MD5SUMb3190b6d7590b4907713913d99d6bfc0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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.00/0.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 47263744, getVmSize() = 47263744, SCIPgetMemUsed() = 21373489, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13408067
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.31	c ** Estimated virtualMemUsedAtSolver = 39302046, getVmSize() = 69894144, SCIPgetMemUsed() = 25019610, SCIPgetMemTotal() = 45545002, SCIPgetMemExternEstim() = 13408067
0.30/0.31	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.30/0.31	c Original Problem   :
0.30/0.31	c   Problem name     : instance-4464653-1722386295
0.30/0.31	c   Variables        : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.31	c   Constraints      : 9520
0.30/0.31	c   Objective sense  : minimize
0.30/0.31	c Presolved Problem  :
0.30/0.31	c   Variables        : 3346 (3346 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.31	c   Constraints      : 7761
0.30/0.31	c Constraints        : Number
0.30/0.31	c   and              : 32 
0.30/0.31	c   linear           : 1315 
0.30/0.31	c   logicor          : 6414 
0.30/0.31	c ** Instance transfer method used: 0
0.30/0.33	c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.34	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34	c                                Nodes    Active                                            
0.30/0.34	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
38.07/38.22	c        38              2           1         1                -           0.0000          -
45.75/45.99	c        46             25          24         1                -           0.0000          -
50.83/51.05	c        51             28          27         1                -           0.0000          -
57.61/57.82	c        58             32          31         1                -           0.0000          -
64.10/64.39	c        64             38          37         1                -           0.0000          -
233.27/233.92	c       234             42          41         1                -           0.0000          -
240.65/241.39	c       241             48          47         1                -           0.0000          -
250.53/251.21	c       251             55          54         1                -           0.0000          -
256.91/257.60	c       258             62          61         1                -           0.0000          -
262.59/263.34	c       263             65          64         1                -           0.0000          -
267.67/268.48	c       268             69          68         1                -           0.0000          -
279.64/280.48	c       280             75          74         1                -           0.0000          -
284.73/285.57	c       286             78          77         1                -           0.0000          -
291.62/292.44	c       292             85          84         1                -           0.0000          -
298.20/299.04	c       299             92          91         1                -           0.0000          -
306.08/306.97	c       307             98          97         1                -           0.0000          -
315.65/316.54	c       317            105         104         1                -           0.0000          -
321.53/322.43	c       322            108         107         1                -           0.0000          -
333.90/334.82	c       335            122         121         1                -           0.0000          -
342.87/343.80	c       344            128         127         1                -           0.0000          -
348.66/349.62	c       350            143         142         1                -           0.0000          -
353.94/354.90	c       355            148         147         1                -           0.0000          -
359.62/360.61	c       361            155         154         1                -           0.0000          -
367.50/368.58	c       369            165         164         1                -           0.0000          -
373.58/374.61	c       375            182         181         1                -           0.0000          -
387.54/388.63	c       389            202         201         1                -           0.0000          -
392.52/393.67	c       394            205         204         1                -           0.0000          -
398.71/399.87	c       400            208         207         1                -           0.0000          -
404.69/405.89	c       406            254         253         1                -           0.0000          -
409.99/411.14	c       411            262         261         1                -           0.0000          -
415.97/417.16	c       417            275         274         1                -           0.0000          -
423.64/424.85	c       425            305         304         1                -           0.0000          -
430.42/431.65	c       432            335         334         1                -           0.0000          -
436.51/437.73	c       438            342         341         1                -           0.0000          -
441.99/443.25	c       443            367         366         1                -           0.0000          -
447.27/448.50	c       449            378         377         1                -           0.0000          -
452.45/453.72	c       454            399         398         1                -           0.0000          -
459.84/461.10	c       461            410         409         1                -           0.0000          -
466.32/467.63	c       468            416         415         1                -           0.0000          -
472.70/474.03	c       474            465         464         1                -           0.0000          -
482.67/484.09	c       484            474         473         1                -           0.0000          -
489.05/490.42	c       490            482         481         1                -           0.0000          -
499.92/501.36	c       501            506         505         1                -           0.0000          -
506.30/507.71	c       508            514         513         1                -           0.0000          -
512.08/513.51	c       514            535         534         1                -           0.0000          -
517.57/519.04	c       519            579         578         1                -           0.0000          -
523.16/524.63	c       525            603         602         1                -           0.0000          -
531.83/533.36	c       533            610         609         1                -           0.0000          -
541.01/542.50	c       543            622         621         1                -           0.0000          -
546.19/547.77	c       548            633         632         1                -           0.0000          -
553.87/555.40	c       555            638         637         1                -           0.0000          -
560.25/561.89	c       562            650         649         1                -           0.0000          -
566.03/567.60	c       568            700         699         1                -           0.0000          -
571.42/573.07	c       573            723         722         1                -           0.0000          -
578.39/580.01	c       580            738         737         1                -           0.0000          -
583.67/585.30	c       585            749         748         1                -           0.0000          -
589.66/591.36	c       591            776         775         1                -           0.0000          -
594.84/596.57	c       597            781         780         1                -           0.0000          -
600.63/602.31	c       602            790         789         1                -           0.0000          -
606.81/608.59	c       609            797         796         1                -           0.0000          -
613.30/615.01	c       615            802         801         1                -           0.0000          -
618.78/620.51	c       621            812         811         1                -           0.0000          -
625.56/627.33	c       627            822         821         1                -           0.0000          -
631.54/633.31	c       633            826         825         1                -           0.0000          -
637.23/639.01	c       639            847         846         1                -           0.0000          -
643.70/645.54	c       646            858         857         1                -           0.0000          -
655.18/657.03	c       657            882         881         1                -           0.0000          -
662.06/663.95	c       664            886         885         1                -           0.0000          -
667.54/669.41	c       669            901         900         1                -           0.0000          -
679.11/681.00	c       681            906         905         1                -           0.0000          -
685.09/687.01	c       687            925         924         1                -           0.0000          -
692.17/694.13	c       694            938         937         1                -           0.0000          -
697.45/699.49	c       699            943         942         1                -           0.0000          -
703.34/705.33	c       705            959         958         1                -           0.0000          -
708.52/710.56	c       711            979         978         1                -           0.0000          -
715.80/717.89	c       718            986         985         1                -           0.0000          -
723.57/725.62	c       726            998         997         1                -           0.0000          -
729.06/731.19	c       731           1033        1032         1                -           0.0000          -
734.44/736.53	c       737           1038        1037         1                -           0.0000          -
740.73/742.83	c       743           1046        1045         1                -           0.0000          -
786.59/788.83	c       789           1051           1         1                -           0.0000          -
1025.38/1028.20	c      1028           1076          24         1                -           0.0000          -
1034.16/1037.10	c      1037           1079          27         1                -           0.0000          -
1043.54/1046.44	c      1046           1085          33         1                -           0.0000          -
1053.51/1056.44	c      1056           1091          39         1                -           0.0000          -
1058.69/1061.65	c      1062           1111          59         1                -           0.0000          -
1064.08/1067.01	c      1067           1119          67         1                -           0.0000          -
1069.76/1072.73	c      1073           1135          83         1                -           0.0000          -
1075.55/1078.54	c      1079           1164         112         1                -           0.0000          -
1081.93/1084.92	c      1085           1173         121         1                -           0.0000          -
1088.02/1091.02	c      1091           1205         153         1                -           0.0000          -
1093.10/1096.18	c      1096           1221         169         1                -           0.0000          -
1101.68/1104.72	c      1105           1235         183         1                -           0.0000          -
1107.56/1110.62	c      1111           1255         203         1                -           0.0000          -
1113.84/1116.91	c      1117           1276         224         1                -           0.0000          -
1123.62/1126.79	c      1127           1286         234         1                -           0.0000          -
1128.81/1131.94	c      1132           1292         240         1                -           0.0000          -
1133.90/1137.06	c      1137           1331         279         1                -           0.0000          -
1140.98/1144.15	c      1144           1386         334         1                -           0.0000          -
1148.86/1152.05	c      1152           1443         391         1                -           0.0000          -
1156.93/1160.17	c      1160           1485         433         1                -           0.0000          -
1162.21/1165.42	c      1165           1566         506         1                -           0.0000          -
1168.19/1171.43	c      1171           1661         601         1                -           0.0000          -
1174.07/1177.38	c      1177           1770         706         1                -           0.0000          -
1179.26/1182.57	c      1183           1861         776         1                -           0.0000          -
1186.74/1190.03	c      1190           1889         804         1                -           0.0000          -
1192.42/1195.76	c      1196           2064         898         1                -           0.0000          -
1200.10/1203.43	c      1203           2163         940         1                -           0.0000          -
1205.49/1208.83	c      1209           2224         974         1                -           0.0000          -
1212.47/1215.87	c      1216           2373         993         1                -           0.0000          -
1218.35/1221.71	c      1222           2566        1026         1                -           0.0000          -
1223.83/1227.26	c      1227           2761        1058         1                -           0.0000          -
1229.11/1232.51	c      1233           3234        1164         1                -           0.0000          -
1234.10/1237.57	c      1238           3721        1174         1                -           0.0000          -
1239.28/1242.73	c      1243           4193        1171         1                -           0.0000          -
1244.36/1247.84	c      1248           4766        1175         1                -           0.0000          -
1249.45/1252.92	c      1253           5171        1181         1                -           0.0000          -
1254.54/1258.02	c      1258           5601        1184         1                -           0.0000          -
1259.63/1263.12	c      1263           6019        1184         1                -           0.0000          -
1264.70/1268.20	c      1268           6403        1183         1                -           0.0000          -
1269.68/1273.29	c      1273           7039        1187         1                -           0.0000          -
1274.87/1278.42	c      1278           7528        1173         1                -           0.0000          -
1279.95/1283.54	c      1284           8145        1177         1                -           0.0000          -
1285.03/1288.66	c      1289           8486        1175         1                -           0.0000          -
1290.22/1293.81	c      1294           8853        1175         1                -           0.0000          -
1295.21/1298.86	c      1299           9304        1175         1                -           0.0000          -
1300.39/1304.01	c      1304           9802        1170         1                -           0.0000          -
1305.48/1309.18	c      1309          10101        1169         1                -           0.0000          -
1310.56/1314.27	c      1314          10564        1215         1                -           0.0000          -
1315.74/1319.40	c      1319          10911        1224         1                -           0.0000          -
1320.72/1324.49	c      1324          11288        1211         1                -           0.0000          -
1325.91/1329.60	c      1330          11657        1218         1                -           0.0000          -
1330.89/1334.65	c      1335          12098        1217         1                -           0.0000          -
1336.08/1339.86	c      1340          12526        1212         1                -           0.0000          -
1341.17/1344.93	c      1345          12953        1202         1                -           0.0000          -
1346.15/1349.98	c      1350          13391        1196         1                -           0.0000          -
1351.34/1355.17	c      1355          13826        1188         1                -           0.0000          -
1356.42/1360.29	c      1360          14256        1203         1                -           0.0000          -
1361.60/1365.41	c      1365          14685        1215         1                -           0.0000          -
1366.68/1370.51	c      1371          15061        1193         1                -           0.0000          -
1371.77/1375.64	c      1376          15510        1207         1                -           0.0000          -
1376.85/1380.70	c      1381          15956        1211         1                -           0.0000          -
1381.84/1385.78	c      1386          16302        1210         1                -           0.0000          -
1386.92/1390.85	c      1391          16758        1203         1                -           0.0000          -
1392.01/1395.93	c      1396          17220        1196         1                -           0.0000          -
1397.10/1401.03	c      1401          17697        1186         1                -           0.0000          -
1402.18/1406.14	c      1406          18112        1172         1                -           0.0000          -
1407.26/1411.29	c      1411          18532        1167         1                -           0.0000          -
1412.44/1416.42	c      1416          18932        1169         1                -           0.0000          -
1417.43/1421.48	c      1421          19586        1169         1                -           0.0000          -
1422.51/1426.55	c      1427          20023        1180         1                -           0.0000          -
1427.60/1431.64	c      1432          20535        1178         1                -           0.0000          -
1432.67/1436.72	c      1437          21123        1172         1                -           0.0000          -
1437.67/1441.79	c      1442          21656        1171         1                -           0.0000          -
1442.85/1446.91	c      1447          22101        1171         1                -           0.0000          -
1447.94/1452.09	c      1452          22606        1175         1                -           0.0000          -
1453.02/1457.15	c      1457          23040        1175         1                -           0.0000          -
1458.10/1462.29	c      1462          23381        1176         1                -           0.0000          -
1463.28/1467.48	c      1467          23818        1177         1                -           0.0000          -
1468.37/1472.52	c      1473          24232        1168         1                -           0.0000          -
1473.45/1477.64	c      1478          24662        1168         1                -           0.0000          -
1478.43/1482.69	c      1483          25078        1178         1                -           0.0000          -
1483.62/1487.81	c      1488          25233        1180         1                -           0.0000          -
1488.61/1492.89	c      1493          25711        1199         1                -           0.0000          -
1493.69/1497.93	c      1498          26185        1193         1                -           0.0000          -
1498.78/1503.02	c      1503          26631        1173         1                -           0.0000          -
1503.86/1508.18	c      1508          26962        1172         1                -           0.0000          -
1509.15/1513.41	c      1513          27268        1170         1                -           0.0000          -
1514.23/1518.54	c      1519          27710        1169         1                -           0.0000          -
1519.41/1523.70	c      1524          28226        1173         1                -           0.0000          -
1524.39/1528.77	c      1529          28641        1184         1                -           0.0000          -
1529.48/1533.82	c      1534          29061        1172         1                -           0.0000          -
1534.47/1538.88	c      1539          29511        1163         1                -           0.0000          -
1539.65/1544.03	c      1544          29958        1193         1                -           0.0000          -
1544.63/1549.10	c      1549          30434        1211         1                -           0.0000          -
1549.81/1554.22	c      1554          30996        1216         1                -           0.0000          -
1554.90/1559.32	c      1559          31447        1216         1                -           0.0000          -
1559.98/1564.41	c      1564          31903        1212         1                -           0.0000          -
1565.06/1569.52	c      1570          32404        1227         1                -           0.0000          -
1570.15/1574.66	c      1575          32907        1227         1                -           0.0000          -
1575.24/1579.78	c      1580          33382        1229         1                -           0.0000          -
1580.32/1584.85	c      1585          33671        1220         1                -           0.0000          -
1585.51/1590.05	c      1590          34004        1221         1                -           0.0000          -
1590.79/1595.35	c      1595          34435        1217         1                -           0.0000          -
1595.87/1600.46	c      1600          34843        1222         1                -           0.0000          -
1600.96/1605.58	c      1606          35267        1225         1                -           0.0000          -
1606.05/1610.68	c      1611          35735        1242         1                -           0.0000          -
1611.13/1615.78	c      1616          36139        1229         1                -           0.0000          -
1616.21/1620.89	c      1621          36610        1238         1                -           0.0000          -
1621.41/1626.03	c      1626          37195        1243         1                -           0.0000          -
1626.39/1631.10	c      1631          37711        1248         1                -           0.0000          -
1631.47/1636.18	c      1636          38159        1250         1                -           0.0000          -
1636.65/1641.36	c      1641          38558        1241         1                -           0.0000          -
1641.83/1646.52	c      1647          38879        1244         1                -           0.0000          -
1646.92/1651.63	c      1652          39334        1246         1                -           0.0000          -
1652.01/1656.72	c      1657          39857        1257         1                -           0.0000          -
1656.99/1661.79	c      1662          40323        1251         1                -           0.0000          -
1662.17/1666.90	c      1667          40718        1260         1                -           0.0000          -
1667.15/1671.97	c      1672          41083        1250         1                -           0.0000          -
1672.34/1677.15	c      1677          41444        1243         1                -           0.0000          -
1677.42/1682.23	c      1682          41903        1241         1                -           0.0000          -
1682.51/1687.31	c      1687          42484        1245         1                -           0.0000          -
1687.49/1692.38	c      1692          42854        1257         1                -           0.0000          -
1692.58/1697.47	c      1697          43190        1258         1                -           0.0000          -
1697.77/1702.62	c      1703          43572        1241         1                -           0.0000          -
1702.84/1707.71	c      1708          43957        1246         1                -           0.0000          -
1707.84/1712.79	c      1713          44345        1242         1                -           0.0000          -
1712.92/1717.89	c      1718          44751        1243         1                -           0.0000          -
1718.11/1723.00	c      1723          45024        1249         1                -           0.0000          -
1723.19/1728.19	c      1728          45438        1254         1                -           0.0000          -
1728.47/1733.40	c      1733          45777        1249         1                -           0.0000          -
1733.55/1738.56	c      1739          46152        1253         1                -           0.0000          -
1738.84/1743.86	c      1744          46493        1265         1                -           0.0000          -
1744.03/1749.04	c      1749          46848        1254         1                -           0.0000          -
1749.12/1754.11	c      1754          47311        1252         1                -           0.0000          -
1754.10/1759.15	c      1759          47813        1251         1                -           0.0000          -
1759.18/1764.22	c      1764          48276        1255         1                -           0.0000          -
1764.26/1769.38	c      1769          48806        1247         1                -           0.0000          -
1769.45/1774.51	c      1775          49204        1240         1                -           0.0000          -
1774.53/1779.64	c      1780          49589        1235         1                -           0.0000          -
1779.51/1784.69	c      1785          50107        1226         1                -           0.0000          -
1784.69/1789.87	c      1790          50505        1232         1                -           0.0000          -
1789.78/1794.94	c      1795          50869        1227         1                -           0.0000          -
1794.86/1800.00	c      1800          51343        1245         1                -           0.0000          -
1799.85/1805.09	c      1805          51817        1257         1                -           0.0000          -
1804.93/1810.15	c      1810          52209        1245         1                -           0.0000          -
1810.12/1815.37	c      1815          52661        1242         1                -           0.0000          -
1816.59/1821.88	c      1822          53093        1256         1                -           0.0000          -
1821.68/1826.95	c      1827          53593        1251         1                -           0.0000          -
1826.77/1832.03	c      1832          54114        1257         1                -           0.0000          -
1831.84/1837.14	c      1837          54487        1259         1                -           0.0000          -
1836.93/1842.20	c      1842          54923        1262         1                -           0.0000          -
1841.91/1847.28	c      1847          55410        1252         1                -           0.0000          -
1847.00/1852.36	c      1852          55898        1249         1                -           0.0000          -
1852.08/1857.46	c      1857          56387        1248         1                -           0.0000          -
1857.16/1862.52	c      1863          56851        1252         1                -           0.0000          -
1862.25/1867.60	c      1868          57389        1261         1                -           0.0000          -
1867.33/1872.72	c      1873          57950        1261         1                -           0.0000          -
1872.42/1877.84	c      1878          58407        1265         1                -           0.0000          -
1877.40/1882.89	c      1883          58995        1258         1                -           0.0000          -
1882.49/1887.95	c      1888          59484        1260         1                -           0.0000          -
1887.57/1893.04	c      1893          60114        1250         1                -           0.0000          -
1892.65/1898.14	c      1898          60568        1248         1                -           0.0000          -
1897.84/1903.30	c      1903          61013        1247         1                -           0.0000          -
1902.82/1908.36	c      1908          61457        1248         1                -           0.0000          -
1907.91/1913.43	c      1913          61951        1255         1                -           0.0000          -
1912.99/1918.51	c      1919          62343        1246         1                -           0.0000          -
1917.98/1923.56	c      1924          62831        1263         1                -           0.0000          -
1923.06/1928.65	c      1929          63201        1258         1                -           0.0000          -
1928.14/1933.74	c      1934          63767        1274         1                -           0.0000          -
1933.23/1938.82	c      1939          64343        1259         1                -           0.0000          -
1938.21/1943.89	c      1944          64788        1286         1                -           0.0000          -
1943.30/1948.97	c      1949          65265        1275         1                -           0.0000          -
1948.48/1954.15	c      1954          65777        1268         1                -           0.0000          -
1953.56/1959.22	c      1959          66286        1252         1                -           0.0000          -
1958.64/1964.33	c      1964          66706        1272         1                -           0.0000          -
1963.63/1969.38	c      1969          67179        1279         1                -           0.0000          -
1968.81/1974.51	c      1975          67643        1275         1                -           0.0000          -
1973.90/1979.61	c      1980          68136        1265         1                -           0.0000          -
1978.88/1984.69	c      1985          68615        1257         1                -           0.0000          -
1983.97/1989.77	c      1990          69048        1256         1                -           0.0000          -
1989.25/1995.00	c      1995          69424        1260         1                -           0.0000          -
1994.24/2000.10	c      2000          69873        1258         1                -           0.0000          -
1999.42/2005.20	c      2005          70340        1256         1                -           0.0000          -
2004.40/2010.30	c      2010          70733        1258         1                -           0.0000          -
2009.49/2015.34	c      2015          71146        1259         1                -           0.0000          -
2014.57/2020.43	c      2020          71497        1264         1                -           0.0000          -
2019.85/2025.73	c      2026          71744        1261         1                -           0.0000          -
2025.04/2030.93	c      2031          72029        1260         1                -           0.0000          -
2030.32/2036.28	c      2036          72315        1265         1                -           0.0000          -
2035.51/2041.45	c      2041          72485        1257         1                -           0.0000          -
2040.59/2046.57	c      2047          72907        1263         1                -           0.0000          -
2045.68/2051.63	c      2052          73219        1263         1                -           0.0000          -
2050.86/2056.82	c      2057          73625        1271         1                -           0.0000          -
2055.94/2061.94	c      2062          74208        1270         1                -           0.0000          -
2061.03/2067.04	c      2067          74719        1270         1                -           0.0000          -
2066.22/2072.20	c      2072          75168        1270         1                -           0.0000          -
2071.30/2077.35	c      2077          75589        1283         1                -           0.0000          -
2076.38/2082.43	c      2082          75960        1290         1                -           0.0000          -
2081.47/2087.50	c      2088          76373        1265         1                -           0.0000          -
2086.65/2092.71	c      2093          76653        1277         1                -           0.0000          -
2091.64/2097.76	c      2098          76916        1259         1                -           0.0000          -
2096.72/2102.83	c      2103          77389        1266         1                -           0.0000          -
2101.70/2107.89	c      2108          78118        1260         1                -           0.0000          -
2106.89/2113.00	c      2113          78543        1257         1                -           0.0000          -
2111.88/2118.08	c      2118          79090        1247         1                -           0.0000          -
2117.06/2123.21	c      2123          79464        1249         1                -           0.0000          -
2122.04/2128.25	c      2128          79935        1254         1                -           0.0000          -
2127.13/2133.32	c      2133          80432        1252         1                -           0.0000          -
2132.20/2138.40	c      2138          80846        1262         1                -           0.0000          -
2137.19/2143.46	c      2143          81421        1263         1                -           0.0000          -
2142.28/2148.59	c      2149          81911        1262         1                -           0.0000          -
2147.36/2153.65	c      2154          82439        1248         1                -           0.0000          -
2152.45/2158.75	c      2159          82946        1252         1                -           0.0000          -
2157.53/2163.80	c      2164          83362        1256         1                -           0.0000          -
2162.61/2168.97	c      2169          83826        1252         1                -           0.0000          -
2167.70/2174.05	c      2174          84310        1255         1                -           0.0000          -
2172.79/2179.14	c      2179          84948        1256         1                -           0.0000          -
2177.87/2184.23	c      2184          85488        1262         1                -           0.0000          -
2182.96/2189.32	c      2189          85975        1260         1                -           0.0000          -
2188.04/2194.41	c      2194          86493        1256         1                -           0.0000          -
2193.02/2199.46	c      2199          86977        1257         1                -           0.0000          -
2198.11/2204.51	c      2205          87532        1261         1                -           0.0000          -
2203.09/2209.59	c      2210          88067        1249         1                -           0.0000          -
2208.18/2214.67	c      2215          88473        1246         1                -           0.0000          -
2213.26/2219.79	c      2220          88927        1240         1                -           0.0000          -
2218.44/2224.90	c      2225          89409        1246         1                -           0.0000          -
2223.43/2229.96	c      2230          89829        1239         1                -           0.0000          -
2228.62/2235.14	c      2235          90352        1236         1                -           0.0000          -
2233.70/2240.25	c      2240          90824        1236         1                -           0.0000          -
2238.79/2245.30	c      2245          91381        1231         1                -           0.0000          -
2243.77/2250.36	c      2250          91942        1235         1                -           0.0000          -
2248.85/2255.43	c      2255          92628        1241         1                -           0.0000          -
2253.84/2260.49	c      2260          93122        1246         1                -           0.0000          -
2259.33/2265.97	c      2266          93455        1237         1                -           0.0000          -
2264.41/2271.01	c      2271          93996        1234         1                -           0.0000          -
2269.40/2276.08	c      2276          94514        1229         1                -           0.0000          -
2274.48/2281.18	c      2281          94993        1253         1                -           0.0000          -
2279.56/2286.24	c      2286          95422        1237         1                -           0.0000          -
2284.65/2291.32	c      2291          95929        1230         1                -           0.0000          -
2289.73/2296.44	c      2296          96369        1239         1                -           0.0000          -
2294.81/2301.51	c      2302          96775        1237         1                -           0.0000          -
2299.90/2306.66	c      2307          97153        1252         1                -           0.0000          -
2304.98/2311.77	c      2312          97581        1251         1                -           0.0000          -
2310.07/2316.86	c      2317          98033        1235         1                -           0.0000          -
2315.16/2321.90	c      2322          98495        1256         1                -           0.0000          -
2320.24/2327.00	c      2327          99109        1249         1                -           0.0000          -
2325.23/2332.05	c      2332          99634        1267         1                -           0.0000          -
2330.21/2337.09	c      2337         100173        1244         1                -           0.0000          -
2335.29/2342.19	c      2342         100642        1226         1                -           0.0000          -
2340.48/2347.35	c      2347         101097        1229         1                -           0.0000          -
2345.65/2352.53	c      2353         101510        1219         1                -           0.0000          -
2350.74/2357.64	c      2358         101984        1221         1                -           0.0000          -
2355.93/2362.84	c      2363         102545        1217         1                -           0.0000          -
2361.01/2367.92	c      2368         102930        1211         1                -           0.0000          -
2366.00/2372.98	c      2373         103511        1221         1                -           0.0000          -
2371.18/2378.11	c      2378         104031        1215         1                -           0.0000          -
2376.27/2383.21	c      2383         104455        1232         1                -           0.0000          -
2381.35/2388.30	c      2388         104778        1229         1                -           0.0000          -
2386.43/2393.42	c      2393         105147        1253         1                -           0.0000          -
2391.52/2398.52	c      2399         105528        1234         1                -           0.0000          -
2396.51/2403.59	c      2404         106012        1250         1                -           0.0000          -
2401.70/2408.70	c      2409         106461        1248         1                -           0.0000          -
2406.68/2413.76	c      2414         106934        1243         1                -           0.0000          -
2411.76/2418.87	c      2419         107397        1248         1                -           0.0000          -
2416.85/2423.93	c      2424         107796        1250         1                -           0.0000          -
2421.83/2428.99	c      2429         108239        1245         1                -           0.0000          -
2427.03/2434.18	c      2434         108661        1230         1                -           0.0000          -
2432.10/2439.27	c      2439         108994        1235         1                -           0.0000          -
2437.29/2444.44	c      2444         109448        1224         1                -           0.0000          -
2442.38/2449.51	c      2450         109908        1241         1                -           0.0000          -
2447.36/2454.57	c      2455         110381        1252         1                -           0.0000          -
2452.44/2459.66	c      2460         110846        1275         1                -           0.0000          -
2457.53/2464.72	c      2465         111341        1281         1                -           0.0000          -
2462.51/2469.77	c      2470         111830        1302         1                -           0.0000          -
2467.60/2474.82	c      2475         112292        1287         1                -           0.0000          -
2472.59/2479.87	c      2480         112742        1289         1                -           0.0000          -
2477.67/2484.97	c      2485         113189        1292         1                -           0.0000          -
2482.76/2490.10	c      2490         113696        1306         1                -           0.0000          -
2487.85/2495.17	c      2495         114058        1331         1                -           0.0000          -
2492.92/2500.25	c      2500         114418        1349         1                -           0.0000          -
2498.02/2505.37	c      2505         114761        1355         1                -           0.0000          -
2503.10/2510.46	c      2510         115167        1374         1                -           0.0000          -
2508.19/2515.59	c      2516         115489        1348         1                -           0.0000          -
2513.27/2520.64	c      2521         115937        1342         1                -           0.0000          -
2518.35/2525.74	c      2526         116373        1346         1                -           0.0000          -
2523.44/2530.83	c      2531         116787        1351         1                -           0.0000          -
2528.43/2535.88	c      2536         117231        1350         1                -           0.0000          -
2533.51/2540.97	c      2541         117735        1361         1                -           0.0000          -
2538.60/2546.03	c      2546         118137        1346         1                -           0.0000          -
2543.59/2551.09	c      2551         118579        1348         1                -           0.0000          -
2548.68/2556.14	c      2556         119040        1346         1                -           0.0000          -
2553.75/2561.24	c      2561         119529        1354         1                -           0.0000          -
2558.84/2566.30	c      2566         119945        1354         1                -           0.0000          -
2563.82/2571.38	c      2571         120370        1339         1                -           0.0000          -
2568.91/2576.45	c      2576         120845        1346         1                -           0.0000          -
2573.99/2581.52	c      2582         121278        1367         1                -           0.0000          -
2578.98/2586.57	c      2587         121763        1382         1                -           0.0000          -
2584.07/2591.64	c      2592         122209        1378         1                -           0.0000          -
2589.25/2596.80	c      2597         122667        1367         1                -           0.0000          -
2594.33/2601.91	c      2602         123107        1329         1                -           0.0000          -
2599.32/2606.97	c      2607         123489        1338         1                -           0.0000          -
2604.41/2612.04	c      2612         124001        1324         1                -           0.0000          -
2609.49/2617.14	c      2617         124530        1319         1                -           0.0000          -
2614.48/2622.19	c      2622         124910        1312         1                -           0.0000          -
2619.56/2627.28	c      2627         125369        1290         1                -           0.0000          -
2624.74/2632.42	c      2632         125858        1291         1                -           0.0000          -
2629.82/2637.51	c      2638         126284        1306         1                -           0.0000          -
2634.91/2642.64	c      2643         126833        1285         1                -           0.0000          -
2640.00/2647.77	c      2648         127176        1288         1                -           0.0000          -
2645.08/2652.88	c      2653         127521        1294         1                -           0.0000          -
2650.27/2658.01	c      2658         127930        1333         1                -           0.0000          -
2655.25/2663.08	c      2663         128310        1338         1                -           0.0000          -
2660.34/2668.16	c      2668         128729        1337         1                -           0.0000          -
2665.42/2673.26	c      2673         129152        1349         1                -           0.0000          -
2670.50/2678.34	c      2678         129571        1315         1                -           0.0000          -
2675.59/2683.40	c      2683         130121        1313         1                -           0.0000          -
2680.57/2688.46	c      2688         130616        1312         1                -           0.0000          -
2685.66/2693.52	c      2694         131093        1325         1                -           0.0000          -
2690.65/2698.57	c      2699         131513        1318         1                -           0.0000          -
2695.73/2703.65	c      2704         131959        1333         1                -           0.0000          -
2700.82/2708.71	c      2709         132525        1331         1                -           0.0000          -
2705.80/2713.78	c      2714         132976        1331         1                -           0.0000          -
2710.88/2718.88	c      2719         133351        1351         1                -           0.0000          -
2715.96/2723.96	c      2724         133883        1338         1                -           0.0000          -
2721.05/2729.04	c      2729         134342        1344         1                -           0.0000          -
2726.14/2734.14	c      2734         134688        1334         1                -           0.0000          -
2731.22/2739.24	c      2739         135077        1337         1                -           0.0000          -
2736.30/2744.37	c      2744         135491        1336         1                -           0.0000          -
2741.38/2749.44	c      2749         135937        1333         1                -           0.0000          -
2746.58/2754.61	c      2755         136380        1326         1                -           0.0000          -
2751.56/2759.69	c      2760         136825        1318         1                -           0.0000          -
2756.64/2764.77	c      2765         137256        1329         1                -           0.0000          -
2761.73/2769.83	c      2770         137784        1353         1                -           0.0000          -
2766.81/2774.94	c      2775         138257        1380         1                -           0.0000          -
2771.89/2780.02	c      2780         138772        1383         1                -           0.0000          -
2776.98/2785.12	c      2785         139305        1400         1                -           0.0000          -
2781.97/2790.18	c      2790         139851        1393         1                -           0.0000          -
2787.04/2795.28	c      2795         140459        1375         1                -           0.0000          -
2792.12/2800.33	c      2800         140915        1364         1                -           0.0000          -
2797.21/2805.44	c      2805         141323        1344         1                -           0.0000          -
2802.30/2810.51	c      2811         141791        1370         1                -           0.0000          -
2807.37/2815.61	c      2816         142339        1350         1                -           0.0000          -
2812.46/2820.70	c      2821         142744        1359         1                -           0.0000          -
2817.54/2825.81	c      2826         143217        1375         1                -           0.0000          -
2822.63/2830.91	c      2831         143732        1378         1                -           0.0000          -
2827.72/2836.04	c      2836         144226        1412         1                -           0.0000          -
2832.81/2841.16	c      2841         144626        1416         1                -           0.0000          -
2837.98/2846.30	c      2846         145139        1420         1                -           0.0000          -
2843.37/2851.73	c      2852         145578        1424         1                -           0.0000          -
2848.35/2856.77	c      2857         146024        1441         1                -           0.0000          -
2853.44/2861.87	c      2862         146484        1433         1                -           0.0000          -
2858.52/2866.97	c      2867         146929        1429         1                -           0.0000          -
2863.61/2872.08	c      2872         147385        1448         1                -           0.0000          -
2868.70/2877.17	c      2877         147810        1441         1                -           0.0000          -
2873.77/2882.22	c      2882         148312        1444         1                -           0.0000          -
2878.86/2887.38	c      2887         148794        1444         1                -           0.0000          -
2883.94/2892.45	c      2892         149335        1432         1                -           0.0000          -
2889.03/2897.55	c      2898         149773        1438         1                -           0.0000          -
2894.11/2902.66	c      2903         150163        1439         1                -           0.0000          -
2899.20/2907.72	c      2908         150654        1432         1                -           0.0000          -
2904.18/2912.79	c      2913         151198        1422         1                -           0.0000          -
2909.36/2917.91	c      2918         151630        1410         1                -           0.0000          -
2914.35/2922.99	c      2923         152050        1404         1                -           0.0000          -
2919.54/2928.14	c      2928         152402        1416         1                -           0.0000          -
2924.61/2933.21	c      2933         152840        1421         1                -           0.0000          -
2929.60/2938.27	c      2938         153258        1402         1                -           0.0000          -
2934.69/2943.33	c      2943         153715        1415         1                -           0.0000          -
2939.77/2948.42	c      2948         154267        1417         1                -           0.0000          -
2944.85/2953.54	c      2954         154633        1430         1                -           0.0000          -
2949.94/2958.62	c      2959         155021        1409         1                -           0.0000          -
2955.03/2963.71	c      2964         155594        1416         1                -           0.0000          -
2960.02/2968.76	c      2969         156076        1419         1                -           0.0000          -
2965.10/2973.81	c      2974         156530        1422         1                -           0.0000          -
2970.29/2979.03	c      2979         156863        1419         1                -           0.0000          -
2975.37/2984.11	c      2984         157337        1429         1                -           0.0000          -
2980.36/2989.16	c      2989         157801        1414         1                -           0.0000          -
2985.44/2994.27	c      2994         158229        1424         1                -           0.0000          -
2990.52/2999.38	c      2999         158581        1429         1                -           0.0000          -
2995.71/3004.50	c      3005         159005        1430         1                -           0.0000          -
3000.79/3009.60	c      3010         159507        1428         1                -           0.0000          -
3005.77/3014.68	c      3015         159978        1412         1                -           0.0000          -
3010.85/3019.73	c      3020         160544        1415         1                -           0.0000          -
3015.93/3024.88	c      3025         160985        1425         1                -           0.0000          -
3021.02/3029.94	c      3030         161472        1440         1                -           0.0000          -
3026.11/3035.08	c      3035         161895        1435         1                -           0.0000          -
3031.19/3040.16	c      3040         162386        1415         1                -           0.0000          -
3036.26/3045.22	c      3045         162827        1426         1                -           0.0000          -
3041.25/3050.28	c      3050         163267        1437         1                -           0.0000          -
3046.33/3055.34	c      3055         163702        1437         1                -           0.0000          -
3051.42/3060.49	c      3060         164219        1445         1                -           0.0000          -
3056.50/3065.55	c      3066         164722        1447         1                -           0.0000          -
3061.58/3070.68	c      3071         165234        1437         1                -           0.0000          -
3066.67/3075.75	c      3076         165753        1424         1                -           0.0000          -
3071.75/3080.83	c      3081         166289        1425         1                -           0.0000          -
3076.74/3085.89	c      3086         166769        1421         1                -           0.0000          -
3081.82/3090.97	c      3091         167230        1411         1                -           0.0000          -
3086.90/3096.07	c      3096         167646        1424         1                -           0.0000          -
3091.99/3101.14	c      3101         168257        1422         1                -           0.0000          -
3097.07/3106.20	c      3106         168886        1426         1                -           0.0000          -
3102.05/3111.25	c      3111         169549        1427         1                -           0.0000          -
3107.14/3116.31	c      3116         170110        1421         1                -           0.0000          -
3112.12/3121.38	c      3121         170574        1419         1                -           0.0000          -
3117.30/3126.50	c      3127         171086        1425         1                -           0.0000          -
3122.28/3131.56	c      3132         171719        1426         1                -           0.0000          -
3127.36/3136.66	c      3137         172247        1438         1                -           0.0000          -
3132.45/3141.74	c      3142         172753        1438         1                -           0.0000          -
3137.54/3146.82	c      3147         173280        1429         1                -           0.0000          -
3142.62/3151.93	c      3152         173866        1427         1                -           0.0000          -
3147.70/3157.02	c      3157         174395        1429         1                -           0.0000          -
3152.68/3162.08	c      3162         174949        1428         1                -           0.0000          -
3157.76/3167.17	c      3167         175559        1425         1                -           0.0000          -
3162.85/3172.24	c      3172         176178        1422         1                -           0.0000          -
3167.93/3177.34	c      3177         176736        1433         1                -           0.0000          -
3172.91/3182.39	c      3182         177392        1431         1                -           0.0000          -
3177.99/3187.45	c      3187         177918        1428         1                -           0.0000          -
3183.08/3192.57	c      3193         178577        1443         1                -           0.0000          -
3188.16/3197.62	c      3198         179259        1429         1                -           0.0000          -
3193.24/3202.70	c      3203         179818        1428         1                -           0.0000          -
3198.23/3207.79	c      3208         180374        1413         1                -           0.0000          -
3203.70/3213.21	c      3213         180775        1414         1                -           0.0000          -
3208.79/3218.36	c      3218         181133        1427         1                -           0.0000          -
3213.87/3223.45	c      3223         181562        1417         1                -           0.0000          -
3218.95/3228.54	c      3229         181963        1412         1                -           0.0000          -
3224.03/3233.65	c      3234         182615        1406         1                -           0.0000          -
3229.02/3238.69	c      3239         183308        1413         1                -           0.0000          -
3234.10/3243.79	c      3244         183980        1406         1                -           0.0000          -
3239.18/3248.87	c      3249         184635        1421         1                -           0.0000          -
3244.36/3254.07	c      3254         185130        1425         1                -           0.0000          -
3249.44/3259.18	c      3259         185595        1434         1                -           0.0000          -
3254.53/3264.25	c      3264         186106        1424         1                -           0.0000          -
3259.61/3269.32	c      3269         186941        1425         1                -           0.0000          -
3264.61/3274.38	c      3274         187553        1469         1                -           0.0000          -
3269.69/3279.43	c      3279         188135        1482         1                -           0.0000          -
3274.77/3284.53	c      3285         188581        1503         1                -           0.0000          -
3279.87/3289.62	c      3290         189073        1483         1                -           0.0000          -
3284.85/3294.67	c      3295         189622        1519         1                -           0.0000          -
3289.94/3299.72	c      3300         190233        1538         1                -           0.0000          -
3295.03/3304.89	c      3305         190683        1551         1                -           0.0000          -
3300.11/3309.97	c      3310         191274        1534         1                -           0.0000          -
3305.20/3315.10	c      3315         191873        1513         1                -           0.0000          -
3310.29/3320.18	c      3320         192448        1495         1                -           0.0000          -
3315.37/3325.27	c      3325         192995        1490         1                -           0.0000          -
3320.46/3330.39	c      3330         193498        1478         1                -           0.0000          -
3325.64/3335.51	c      3336         194056        1476         1                -           0.0000          -
3330.73/3340.64	c      3341         194566        1468         1                -           0.0000          -
3335.82/3345.76	c      3346         195059        1471         1                -           0.0000          -
3340.92/3350.80	c      3351         195571        1459         1                -           0.0000          -
3345.90/3355.86	c      3356         196097        1454         1                -           0.0000          -
3350.99/3360.94	c      3361         196611        1460         1                -           0.0000          -
3356.08/3366.03	c      3366         197145        1454         1                -           0.0000          -
3361.17/3371.13	c      3371         197667        1456         1                -           0.0000          -
3366.25/3376.22	c      3376         198136        1456         1                -           0.0000          -
3371.23/3381.27	c      3381         198683        1458         1                -           0.0000          -
3376.32/3386.33	c      3386         199341        1449         1                -           0.0000          -
3381.52/3391.50	c      3392         199795        1450         1                -           0.0000          -
3386.50/3396.58	c      3397         200216        1447         1                -           0.0000          -
3391.59/3401.69	c      3402         200701        1450         1                -           0.0000          -
3396.67/3406.76	c      3407         201184        1444         1                -           0.0000          -
3401.86/3411.91	c      3412         201730        1438         1                -           0.0000          -
3406.85/3416.96	c      3417         202174        1427         1                -           0.0000          -
3411.94/3422.05	c      3422         202921        1430         1                -           0.0000          -
3417.02/3427.13	c      3427         203602        1432         1                -           0.0000          -
3422.11/3432.25	c      3432         204021        1445         1                -           0.0000          -
3427.19/3437.32	c      3437         204468        1442         1                -           0.0000          -
3432.18/3442.37	c      3442         205092        1430         1                -           0.0000          -
3437.26/3447.44	c      3447         205817        1430         1                -           0.0000          -
3442.35/3452.50	c      3453         206601        1431         1                -           0.0000          -
3447.45/3457.60	c      3458         207367        1435         1                -           0.0000          -
3452.43/3462.69	c      3463         208055        1447         1                -           0.0000          -
3457.52/3467.75	c      3468         208771        1432         1                -           0.0000          -
3462.61/3472.83	c      3473         209370        1449         1                -           0.0000          -
3467.70/3477.93	c      3478         210002        1438         1                -           0.0000          -
3472.79/3483.01	c      3483         210622        1461         1                -           0.0000          -
3477.78/3488.06	c      3488         211165        1459         1                -           0.0000          -
3482.97/3493.21	c      3493         211712        1450         1                -           0.0000          -
3487.96/3498.27	c      3498         212223        1449         1                -           0.0000          -
3493.05/3503.39	c      3503         212776        1447         1                -           0.0000          -
3498.13/3508.45	c      3508         213360        1442         1                -           0.0000          -
3503.22/3513.53	c      3514         213955        1441         1                -           0.0000          -
3508.31/3518.64	c      3519         214410        1438         1                -           0.0000          -
3513.40/3523.71	c      3524         214973        1439         1                -           0.0000          -
3518.39/3528.76	c      3529         215479        1421         1                -           0.0000          -
3523.47/3533.82	c      3534         216085        1408         1                -           0.0000          -
3528.56/3538.90	c      3539         216694        1412         1                -           0.0000          -
3533.55/3543.97	c      3544         217322        1403         1                -           0.0000          -
3538.64/3549.04	c      3549         217924        1428         1                -           0.0000          -
3543.74/3554.13	c      3554         218508        1416         1                -           0.0000          -
3548.82/3559.21	c      3559         219191        1422         1                -           0.0000          -
3553.81/3564.29	c      3564         219807        1411         1                -           0.0000          -
3558.90/3569.36	c      3569         220554        1400         1                -           0.0000          -
3563.99/3574.44	c      3574         221186        1412         1                -           0.0000          -
3569.08/3579.52	c      3580         221699        1429         1                -           0.0000          -
3574.16/3584.63	c      3585         222209        1445         1                -           0.0000          -
3579.25/3589.74	c      3590         222693        1417         1                -           0.0000          -
3584.34/3594.80	c      3595         223278        1420         1                -           0.0000          -
3587.54/3598.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.54/3598.04	c Total Time         : 3598.0500
3587.54/3598.04	c   solving          : 3598.0500
3587.54/3598.04	c   presolving       : 0.2705 (included in solving)
3587.54/3598.04	c B&B Tree           :
3587.54/3598.04	c   nodes (total)    : 1
3587.54/3598.04	c Solution           :
3587.54/3598.04	c   Solutions found  : 0
3587.54/3598.04	c   Primal Bound     :          -
3587.54/3598.04	c   Dual Bound       : +0.00000000000000e+00
3587.54/3598.04	c Gap                :          -
3587.54/3598.06	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: 63931 MiB (55961 MiB free)
  memory of node 1: 64510 MiB (62502 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=35685, runsolver pid=35682

[startup+0.100736 s]*
/proc/loadavg: 4.14 4.14 4.11 5/260 35686
/proc/meminfo: memFree=121273876/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=54688 memory=43744 CPUtime=0.1 cores=4,6
/proc/35685/stat : 35685 (fscip) R 35682 35685 30916 0 -1 4194304 9859 0 0 0 9 1 0 0 20 0 1 0 5225109 56000512 10936 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 13672 10936 2726 3035 0 10068 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54688 KiB
Current children cumulated memory: 43744 KiB

[startup+0.205636 s]*
/proc/loadavg: 4.14 4.14 4.11 5/260 35686
/proc/meminfo: memFree=121269404/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=58936 memory=48348 CPUtime=0.2 cores=4,6
/proc/35685/stat : 35685 (fscip) R 35682 35685 30916 0 -1 4194304 10942 0 0 0 19 1 0 0 20 0 1 0 5225109 60350464 12087 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 14734 12087 2758 3035 0 11130 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58936 KiB
Current children cumulated memory: 48348 KiB

[startup+0.305572 s]*
/proc/loadavg: 4.14 4.14 4.11 5/260 35686
/proc/meminfo: memFree=121264900/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=68256 memory=52972 CPUtime=0.3 cores=4,6
/proc/35685/stat : 35685 (fscip) R 35682 35685 30916 0 -1 4194304 12443 0 0 0 29 1 0 0 20 0 1 0 5225109 69894144 13243 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 17064 13243 2774 3035 0 13460 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68256 KiB
Current children cumulated memory: 52972 KiB

[startup+0.700212 s]
/proc/loadavg: 4.14 4.14 4.11 5/262 35688
/proc/meminfo: memFree=121226632/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=153604 memory=108148 CPUtime=0.67 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 27836 0 0 0 64 3 0 0 20 0 3 0 5225109 157290496 27037 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 38401 27037 2950 3035 0 31620 0
[pid=35685/tid=35687] ppid=35682 vsize=153604 memory=1980 CPUtime=0.34 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 12744 0 0 0 33 1 0 0 20 0 3 0 5225140 157290496 27037 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=153604 memory=2273 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5225143 157290496 27037 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153604 KiB
Current children cumulated memory: 108148 KiB

[startup+1.50026 s]
/proc/loadavg: 4.14 4.14 4.11 5/262 35688
/proc/meminfo: memFree=121179140/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=219140 memory=141400 CPUtime=1.47 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 43913 0 0 0 142 5 0 0 20 0 3 0 5225109 224399360 35350 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 54785 35350 2966 3035 0 41180 0
[pid=35685/tid=35687] ppid=35682 vsize=219140 memory=2273 CPUtime=1.15 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 28814 0 0 0 111 4 0 0 20 0 3 0 5225140 224399360 35350 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=219140 memory=0 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5225143 224399360 35350 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219140 KiB
Current children cumulated memory: 141400 KiB

[startup+3.10557 s]
/proc/loadavg: 4.14 4.14 4.11 5/262 35688
/proc/meminfo: memFree=121169124/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=219140 memory=141424 CPUtime=3.08 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 45993 0 0 0 302 6 0 0 20 0 3 0 5225109 224399360 35356 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 54785 35356 2966 3035 0 41180 0
[pid=35685/tid=35687] ppid=35682 vsize=219140 memory=141420 CPUtime=2.75 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 30894 0 0 0 271 4 0 0 20 0 3 0 5225140 224399360 35356 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=219140 memory=0 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5225143 224399360 35356 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219140 KiB
Current children cumulated memory: 141424 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.14 4.11 5/262 35690
/proc/meminfo: memFree=121163260/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=219140 memory=141588 CPUtime=6.26 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 57479 0 0 0 620 6 0 0 20 0 3 0 5225109 224399360 35397 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 54785 35397 2966 3035 0 41180 0
[pid=35685/tid=35687] ppid=35682 vsize=219140 memory=11584 CPUtime=5.93 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 42377 0 0 0 589 4 0 0 20 0 3 0 5225140 224399360 35397 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=219140 memory=141548 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 5225143 224399360 35397 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 219140 KiB
Current children cumulated memory: 141588 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.11 5/262 35690
/proc/meminfo: memFree=121145984/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=219140 memory=141744 CPUtime=12.64 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 76109 0 0 0 1257 7 0 0 20 0 3 0 5225109 224399360 35436 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 54785 35436 2966 3035 0 41180 0
[pid=35685/tid=35687] ppid=35682 vsize=219140 memory=6944656592387989600 CPUtime=12.31 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 60993 0 0 0 1226 5 0 0 20 0 3 0 5225140 224399360 35436 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=219140 memory=141424 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5225143 224399360 35436 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 219140 KiB
Current children cumulated memory: 141744 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.11 5/262 35693
/proc/meminfo: memFree=121123916/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=221424 memory=143216 CPUtime=25.4 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 101433 0 0 0 2532 8 0 0 20 0 3 0 5225109 226738176 35804 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 55356 35804 2966 3035 0 41751 0
[pid=35685/tid=35687] ppid=35682 vsize=221424 memory=142948 CPUtime=25.08 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 86304 0 0 0 2501 7 0 0 20 0 3 0 5225140 226738176 35804 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=221424 memory=141896 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5225143 226738176 35804 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 221424 KiB
Current children cumulated memory: 143216 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.13 4.11 5/262 35696
/proc/meminfo: memFree=121040112/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=221424 memory=173700 CPUtime=50.93 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 143262 0 0 0 5081 12 0 0 20 0 3 0 5225109 226738176 43425 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 55356 43425 3014 3035 0 48754 0
[pid=35685/tid=35687] ppid=35682 vsize=221424 memory=11584 CPUtime=50.6 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 128047 0 0 0 5050 10 0 0 20 0 3 0 5225140 226738176 43425 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=221424 memory=-7234869542979200120 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5225143 226738176 43425 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 221424 KiB
Current children cumulated memory: 173700 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/262 35706
/proc/meminfo: memFree=120932780/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=221424 memory=174200 CPUtime=102 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 164321 0 0 0 10187 13 0 0 20 0 3 0 5225109 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 55356 43550 3014 3035 0 48754 0
[pid=35685/tid=35687] ppid=35682 vsize=221424 memory=-7234869542979200120 CPUtime=101.67 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 149054 0 0 0 10156 11 0 0 20 0 3 0 5225140 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=221424 memory=11584 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5225143 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 221424 KiB
Current children cumulated memory: 174200 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 35722
/proc/meminfo: memFree=120830292/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=221424 memory=174200 CPUtime=161.84 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 173437 0 0 0 16171 13 0 0 20 0 3 0 5225109 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 55356 43550 3014 3035 0 48754 0
[pid=35685/tid=35687] ppid=35682 vsize=221424 memory=174200 CPUtime=161.52 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 158156 0 0 0 16140 12 0 0 20 0 3 0 5225140 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=221424 memory=174200 CPUtime=0 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 5225143 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 221424 KiB
Current children cumulated memory: 174200 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/265 35733
/proc/meminfo: memFree=120721332/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=221424 memory=174200 CPUtime=221.7 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 178038 0 0 0 22156 14 0 0 20 0 3 0 5225109 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 55356 43550 3014 3035 0 48754 0
[pid=35685/tid=35687] ppid=35682 vsize=221424 memory=174200 CPUtime=221.37 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 162750 0 0 0 22125 12 0 0 20 0 3 0 5225140 226738176 43550 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=221424 memory=174200 CPUtime=0 cores=4,6

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

/proc/35685/statm: 104508 83425 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=332428 CPUtime=3391.78 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1339711 0 0 0 338969 209 0 0 20 0 3 0 5225140 428064768 83425 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=164 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 286 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 83425 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 333700 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 2.30 3.31 2/237 37620
/proc/meminfo: memFree=126433400/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=341524 CPUtime=3452.13 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1362610 0 0 0 344993 220 0 0 20 0 3 0 5225109 428064768 85381 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85381 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=332428 CPUtime=3451.62 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1345689 0 0 0 344951 211 0 0 20 0 3 0 5225140 428064768 85381 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=335976 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 288 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85381 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 341524 KiB

[startup+3522.3 s]
/proc/loadavg: 1.17 2.09 3.18 2/237 37631
/proc/meminfo: memFree=126431844/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3512 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1363222 0 0 0 350979 221 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=335976 CPUtime=3511.48 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1346281 0 0 0 350936 212 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=342448 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.90 3.04 2/237 37643
/proc/meminfo: memFree=126431072/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3571.87 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364142 0 0 0 356965 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=342448 CPUtime=3571.34 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347181 0 0 0 356921 213 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=342448 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

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

# cumulated CPU time of all completed processes:  user=3585.38 s, system=2.23188 s

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

[startup+3584 s]*
/proc/loadavg: 1.12 1.90 3.04 2/237 37644
/proc/meminfo: memFree=126431072/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3573.57 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364143 0 0 0 357135 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=7686721470247706567 CPUtime=3573.05 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347182 0 0 0 357092 213 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=7438895033846111764 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3590.4 s]
/proc/loadavg: 1.11 1.89 3.03 2/237 37644
/proc/meminfo: memFree=126431072/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3579.95 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364167 0 0 0 357773 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=342448 CPUtime=3579.42 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347206 0 0 0 357729 213 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=31960 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3579.95 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3593.6 s]
/proc/loadavg: 1.10 1.87 3.02 2/237 37644
/proc/meminfo: memFree=126431072/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3583.14 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364182 0 0 0 358092 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=342448 CPUtime=3582.63 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347221 0 0 0 358049 214 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=342448 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3595.2 s]
/proc/loadavg: 1.10 1.87 3.02 2/237 37646
/proc/meminfo: memFree=126430932/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3584.74 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364185 0 0 0 358252 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=12936 CPUtime=3584.22 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347224 0 0 0 358208 214 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=12672 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3596.8 s]
/proc/loadavg: 1.10 1.86 3.01 2/237 37646
/proc/meminfo: memFree=126430932/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3586.33 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364185 0 0 0 358411 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=342448 CPUtime=3585.82 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347224 0 0 0 358368 214 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=16112 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3597.6 s]
/proc/loadavg: 1.10 1.86 3.01 2/237 37646
/proc/meminfo: memFree=126430932/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3587.13 cores=4,6
/proc/35685/stat : 35685 (fscip) S 35682 35685 30916 0 -1 1077936128 1364185 0 0 0 358491 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=5608 CPUtime=3586.62 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347224 0 0 0 358448 214 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=16112 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3587.13 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

[startup+3598 s]*
/proc/loadavg: 1.10 1.86 3.01 2/237 37646
/proc/meminfo: memFree=126430932/131524600 swapFree=131071996/131071996
[pid=35685] ppid=35682 vsize=418032 memory=342448 CPUtime=3587.54 cores=4,6
/proc/35685/stat : 35685 (fscip) R 35682 35685 30916 0 -1 1077936128 1364191 0 0 0 358532 222 0 0 20 0 3 0 5225109 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
/proc/35685/statm: 104508 85612 3334 3035 0 87940 0
[pid=35685/tid=35687] ppid=35682 vsize=418032 memory=7686721470247706567 CPUtime=3587.02 cores=4,6
/proc/35685/task/35687/stat : 35687 (fscip) R 35682 35685 30916 0 -1 4194368 1347230 0 0 0 358488 214 0 0 20 0 3 0 5225140 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
[pid=35685/tid=35688] ppid=35682 vsize=418032 memory=7438895033846111764 CPUtime=0.03 cores=4,6
/proc/35685/task/35688/stat : 35688 (fscip) S 35682 35685 30916 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5225143 428064768 85612 134679101440 4194304 16623229 140732669487616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 46268416 140732669490198 140732669490314 140732669490314 140732669497328 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 418032 KiB
Current children cumulated memory: 342448 KiB

Child status: 0

Real time (s): 3598.06
CPU time (s): 3587.61
CPU user time (s): 3585.38
CPU system time (s): 2.23188
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 418032
Max. memory (cumulated for all children) (KiB): 342448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.38
system time used= 2.23188
maximum resident set size= 342448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1364736
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= 8994
involuntary context switches= 1740


# summary of solver processes directly reported to runsolver:
#   pid: 35685
#   total CPU time (s): 3587.61
#   total CPU user time (s): 3585.38
#   total CPU system time (s): 2.23188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58065 second user time and 17.0191 second system time

The end

Launcher Data

Begin job on nodeC014 at 2024-07-31 02:38:15
IDJOB=4464653
IDBENCH=162293
IDSOLVER=3092
FILE ID=nodeC014/4464653-1722386295
RUNJOBID= nodeC014-1722378594-30927
SLURM_JOB_ID= 8249827
Free space on /tmp= 889968 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-0.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-4464653-1722386295/watcher-4464653-1722386295 -o /tmp/evaluation-result-4464653-1722386295/solver-4464653-1722386295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30927 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464653-1722386295.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b3190b6d7590b4907713913d99d6bfc0
RANDOM SEED=1765878430

nodeC014.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		: 3669.129
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	: 7000.06
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		: 3682.113
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	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.221
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	: 7000.06
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		: 3600.066
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	: 7007.10
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		: 3672.783
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	: 7000.06
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		: 3682.138
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	: 7007.10
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		: 3659.982
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	: 7000.06
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		: 3600.386
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	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121307576 kB
MemAvailable:   124521980 kB
Buffers:          105788 kB
Cached:          3905752 kB
SwapCached:            0 kB
Active:           307244 kB
Inactive:        9340772 kB
Active(anon):       1508 kB
Inactive(anon):  5656296 kB
Active(file):     305736 kB
Inactive(file):  3684476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28800 kB
Writeback:            28 kB
AnonPages:       5636408 kB
Mapped:           123820 kB
Shmem:             21336 kB
KReclaimable:     127680 kB
Slab:             217764 kB
SReclaimable:     127680 kB
SUnreclaim:        90084 kB
KernelStack:        4112 kB
PageTables:        20416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5489368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10016 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1122304 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:      189140 kB
DirectMap2M:    10070016 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC014 at 2024-07-31 03:38:13