Trace number 4450840

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3590.7 3600.09

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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.11	c Default LC presolving (default).
0.00/0.11	c ** Before presolving: virtualMemUsedAtLc = 47222784, getVmSize() = 47222784, SCIPgetMemUsed() = 21373409, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13408067
0.00/0.11	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.77	c ** Estimated virtualMemUsedAtSolver = 39302046, getVmSize() = 69869568, SCIPgetMemUsed() = 25019530, SCIPgetMemTotal() = 45545002, SCIPgetMemExternEstim() = 13408067
0.68/0.77	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.68/0.77	c Original Problem   :
0.68/0.77	c   Problem name     : instance-4450840-1721421598
0.68/0.77	c   Variables        : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.77	c   Constraints      : 9520
0.68/0.77	c   Objective sense  : minimize
0.68/0.77	c Presolved Problem  :
0.68/0.77	c   Variables        : 3346 (3346 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.77	c   Constraints      : 7761
0.68/0.77	c Constraints        : Number
0.68/0.77	c   and              : 32 
0.68/0.77	c   linear           : 1315 
0.68/0.77	c   logicor          : 6414 
0.68/0.77	c ** Instance transfer method used: 0
0.79/0.81	c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.84	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.84	c                                Nodes    Active                                            
0.79/0.84	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
38.17/38.33	c        38              2           1         1                -           0.0000          -
45.65/45.84	c        46             25          24         1                -           0.0000          -
51.74/51.93	c        52             31          30         1                -           0.0000          -
57.22/57.40	c        57             32          31         1                -           0.0000          -
63.60/63.84	c        64             38          37         1                -           0.0000          -
231.53/232.17	c       232             42          41         1                -           0.0000          -
238.91/239.52	c       240             48          47         1                -           0.0000          -
248.58/249.21	c       249             55          54         1                -           0.0000          -
254.87/255.51	c       256             62          61         1                -           0.0000          -
260.47/261.18	c       261             65          64         1                -           0.0000          -
265.54/266.22	c       266             69          68         1                -           0.0000          -
277.22/278.01	c       278             75          74         1                -           0.0000          -
285.98/286.76	c       287             82          81         1                -           0.0000          -
292.47/293.20	c       293             88          87         1                -           0.0000          -
298.66/299.43	c       299             95          94         1                -           0.0000          -
307.44/308.24	c       308            102         101         1                -           0.0000          -
312.62/313.41	c       313            105         104         1                -           0.0000          -
318.32/319.19	c       319            108         107         1                -           0.0000          -
330.48/331.33	c       331            122         121         1                -           0.0000          -
339.27/340.14	c       340            128         127         1                -           0.0000          -
344.95/345.80	c       346            143         142         1                -           0.0000          -
350.03/350.99	c       351            148         147         1                -           0.0000          -
355.62/356.55	c       357            155         154         1                -           0.0000          -
363.30/364.30	c       364            165         164         1                -           0.0000          -
369.10/370.10	c       370            182         181         1                -           0.0000          -
382.85/383.86	c       384            202         201         1                -           0.0000          -
393.82/394.84	c       395            208         207         1                -           0.0000          -
402.39/403.46	c       403            255         254         1                -           0.0000          -
410.58/411.67	c       412            275         274         1                -           0.0000          -
418.07/419.15	c       419            305         304         1                -           0.0000          -
424.54/425.67	c       426            335         334         1                -           0.0000          -
430.42/431.54	c       432            342         341         1                -           0.0000          -
435.71/436.81	c       437            367         366         1                -           0.0000          -
440.80/441.92	c       442            378         377         1                -           0.0000          -
447.28/448.40	c       448            404         403         1                -           0.0000          -
452.88/454.05	c       454            410         409         1                -           0.0000          -
459.24/460.40	c       460            416         415         1                -           0.0000          -
465.24/466.43	c       466            465         464         1                -           0.0000          -
474.93/476.18	c       476            474         473         1                -           0.0000          -
481.10/482.30	c       482            482         481         1                -           0.0000          -
491.57/492.86	c       493            506         505         1                -           0.0000          -
497.77/499.01	c       499            514         513         1                -           0.0000          -
503.24/504.59	c       505            535         534         1                -           0.0000          -
508.52/509.82	c       510            579         578         1                -           0.0000          -
513.82/515.13	c       515            603         602         1                -           0.0000          -
522.29/523.64	c       524            610         609         1                -           0.0000          -
531.07/532.47	c       532            622         621         1                -           0.0000          -
540.25/541.60	c       542            634         633         1                -           0.0000          -
547.83/549.22	c       549            642         641         1                -           0.0000          -
552.92/554.31	c       554            686         685         1                -           0.0000          -
559.40/560.82	c       561            706         705         1                -           0.0000          -
567.08/568.50	c       568            738         737         1                -           0.0000          -
572.07/573.59	c       574            749         748         1                -           0.0000          -
577.75/579.29	c       579            776         775         1                -           0.0000          -
582.85/584.30	c       584            781         780         1                -           0.0000          -
588.34/589.84	c       590            790         789         1                -           0.0000          -
594.32/595.87	c       596            797         796         1                -           0.0000          -
600.52/602.10	c       602            802         801         1                -           0.0000          -
605.79/607.38	c       607            812         811         1                -           0.0000          -
612.38/613.93	c       614            822         821         1                -           0.0000          -
618.17/619.73	c       620            826         825         1                -           0.0000          -
623.46/625.09	c       625            847         846         1                -           0.0000          -
629.73/631.33	c       631            858         857         1                -           0.0000          -
640.71/642.37	c       642            882         881         1                -           0.0000          -
647.40/649.07	c       649            886         885         1                -           0.0000          -
652.68/654.33	c       654            901         900         1                -           0.0000          -
663.95/665.62	c       666            906         905         1                -           0.0000          -
669.64/671.38	c       671            925         924         1                -           0.0000          -
676.52/678.23	c       678            938         937         1                -           0.0000          -
681.72/683.41	c       683            943         942         1                -           0.0000          -
687.20/688.95	c       689            959         958         1                -           0.0000          -
695.48/697.23	c       697            982         981         1                -           0.0000          -
701.57/703.34	c       703            994         993         1                -           0.0000          -
706.65/708.45	c       708            998         997         1                -           0.0000          -
711.74/713.56	c       714           1031        1030         1                -           0.0000          -
717.03/718.82	c       719           1038        1037         1                -           0.0000          -
723.11/724.90	c       725           1046        1045         1                -           0.0000          -
766.81/768.70	c       769           1051           1         1                -           0.0000          -
1000.17/1002.71	c      1003           1076          24         1                -           0.0000          -
1008.75/1011.37	c      1011           1079          27         1                -           0.0000          -
1017.82/1020.47	c      1020           1085          33         1                -           0.0000          -
1027.50/1030.18	c      1030           1091          39         1                -           0.0000          -
1032.58/1035.23	c      1035           1113          61         1                -           0.0000          -
1037.77/1040.41	c      1040           1119          67         1                -           0.0000          -
1043.26/1045.92	c      1046           1135          83         1                -           0.0000          -
1048.84/1051.51	c      1052           1165         113         1                -           0.0000          -
1054.93/1057.65	c      1058           1173         121         1                -           0.0000          -
1060.71/1063.46	c      1063           1205         153         1                -           0.0000          -
1066.70/1069.44	c      1069           1222         170         1                -           0.0000          -
1073.88/1076.68	c      1077           1235         183         1                -           0.0000          -
1079.57/1082.36	c      1082           1255         203         1                -           0.0000          -
1085.65/1088.44	c      1088           1276         224         1                -           0.0000          -
1095.13/1097.99	c      1098           1286         234         1                -           0.0000          -
1103.11/1105.93	c      1106           1296         244         1                -           0.0000          -
1108.60/1111.42	c      1111           1374         322         1                -           0.0000          -
1114.30/1117.14	c      1117           1413         361         1                -           0.0000          -
1119.47/1122.34	c      1122           1443         391         1                -           0.0000          -
1127.17/1130.09	c      1130           1485         433         1                -           0.0000          -
1132.54/1135.43	c      1135           1582         522         1                -           0.0000          -
1137.93/1140.87	c      1141           1665         605         1                -           0.0000          -
1143.41/1146.38	c      1146           1770         706         1                -           0.0000          -
1150.21/1153.13	c      1153           1870         785         1                -           0.0000          -
1155.49/1158.44	c      1158           1889         804         1                -           0.0000          -
1160.78/1163.78	c      1164           2064         898         1                -           0.0000          -
1168.07/1171.08	c      1171           2163         940         1                -           0.0000          -
1173.24/1176.25	c      1176           2224         974         1                -           0.0000          -
1179.92/1183.01	c      1183           2373         993         1                -           0.0000          -
1185.71/1188.70	c      1189           2584        1028         1                -           0.0000          -
1190.70/1193.75	c      1194           2761        1058         1                -           0.0000          -
1195.89/1198.90	c      1199           3259        1167         1                -           0.0000          -
1200.98/1204.02	c      1204           3806        1171         1                -           0.0000          -
1206.07/1209.12	c      1209           4320        1171         1                -           0.0000          -
1211.14/1214.23	c      1214           4928        1176         1                -           0.0000          -
1216.23/1219.36	c      1219           5330        1181         1                -           0.0000          -
1221.42/1224.50	c      1224           5790        1177         1                -           0.0000          -
1226.51/1229.63	c      1230           6214        1174         1                -           0.0000          -
1231.59/1234.79	c      1235           6811        1191         1                -           0.0000          -
1236.78/1239.95	c      1240           7402        1177         1                -           0.0000          -
1241.88/1245.04	c      1245           8031        1181         1                -           0.0000          -
1246.97/1250.12	c      1250           8460        1174         1                -           0.0000          -
1252.14/1255.30	c      1255           8839        1172         1                -           0.0000          -
1257.33/1260.53	c      1261           9314        1173         1                -           0.0000          -
1262.32/1265.59	c      1266           9842        1174         1                -           0.0000          -
1267.50/1270.70	c      1271          10225        1190         1                -           0.0000          -
1272.59/1275.86	c      1276          10651        1214         1                -           0.0000          -
1277.68/1280.99	c      1281          11031        1217         1                -           0.0000          -
1282.88/1286.15	c      1286          11449        1207         1                -           0.0000          -
1287.95/1291.24	c      1291          11874        1226         1                -           0.0000          -
1293.04/1296.36	c      1296          12354        1212         1                -           0.0000          -
1298.12/1301.44	c      1301          12837        1201         1                -           0.0000          -
1303.11/1306.49	c      1306          13271        1189         1                -           0.0000          -
1308.30/1311.62	c      1312          13766        1185         1                -           0.0000          -
1313.38/1316.75	c      1317          14220        1191         1                -           0.0000          -
1318.48/1321.80	c      1322          14681        1215         1                -           0.0000          -
1323.46/1326.88	c      1327          15075        1197         1                -           0.0000          -
1328.55/1331.98	c      1332          15560        1208         1                -           0.0000          -
1333.74/1337.19	c      1337          16044        1212         1                -           0.0000          -
1338.93/1342.30	c      1342          16388        1205         1                -           0.0000          -
1343.91/1347.37	c      1347          16920        1199         1                -           0.0000          -
1349.00/1352.47	c      1352          17487        1187         1                -           0.0000          -
1354.08/1357.57	c      1358          17918        1186         1                -           0.0000          -
1359.27/1362.78	c      1363          18353        1173         1                -           0.0000          -
1364.46/1367.91	c      1368          18821        1171         1                -           0.0000          -
1369.55/1373.08	c      1373          19428        1164         1                -           0.0000          -
1374.72/1378.22	c      1378          19946        1177         1                -           0.0000          -
1379.82/1383.30	c      1383          20519        1175         1                -           0.0000          -
1384.90/1388.49	c      1388          21153        1172         1                -           0.0000          -
1390.08/1393.66	c      1394          21743        1175         1                -           0.0000          -
1395.27/1398.81	c      1399          22221        1180         1                -           0.0000          -
1400.26/1403.88	c      1404          22735        1170         1                -           0.0000          -
1405.46/1409.02	c      1409          23167        1176         1                -           0.0000          -
1410.54/1414.16	c      1414          23540        1172         1                -           0.0000          -
1415.62/1419.27	c      1419          24012        1179         1                -           0.0000          -
1420.71/1424.36	c      1424          24513        1182         1                -           0.0000          -
1425.80/1429.43	c      1429          24961        1180         1                -           0.0000          -
1431.29/1434.96	c      1435          25193        1184         1                -           0.0000          -
1436.38/1440.01	c      1440          25660        1192         1                -           0.0000          -
1441.47/1445.17	c      1445          26181        1191         1                -           0.0000          -
1446.54/1450.23	c      1450          26670        1170         1                -           0.0000          -
1451.63/1455.39	c      1455          26989        1169         1                -           0.0000          -
1456.72/1460.46	c      1460          27341        1173         1                -           0.0000          -
1461.81/1465.53	c      1466          27834        1165         1                -           0.0000          -
1466.89/1470.64	c      1471          28343        1189         1                -           0.0000          -
1471.98/1475.71	c      1476          28822        1171         1                -           0.0000          -
1477.06/1480.85	c      1481          29308        1165         1                -           0.0000          -
1482.15/1485.97	c      1486          29766        1164         1                -           0.0000          -
1487.26/1491.03	c      1491          30285        1218         1                -           0.0000          -
1492.24/1496.11	c      1496          30805        1217         1                -           0.0000          -
1497.33/1501.16	c      1501          31397        1216         1                -           0.0000          -
1502.50/1506.36	c      1506          31837        1210         1                -           0.0000          -
1507.59/1511.44	c      1511          32391        1227         1                -           0.0000          -
1512.57/1516.49	c      1516          32940        1231         1                -           0.0000          -
1517.66/1521.56	c      1522          33401        1226         1                -           0.0000          -
1522.85/1526.71	c      1527          33746        1220         1                -           0.0000          -
1527.94/1531.81	c      1532          34131        1227         1                -           0.0000          -
1532.92/1536.88	c      1537          34556        1213         1                -           0.0000          -
1538.01/1541.95	c      1542          34992        1219         1                -           0.0000          -
1542.99/1547.01	c      1547          35430        1243         1                -           0.0000          -
1548.10/1552.10	c      1552          35909        1236         1                -           0.0000          -
1553.18/1557.17	c      1557          36356        1240         1                -           0.0000          -
1558.26/1562.23	c      1562          36969        1235         1                -           0.0000          -
1563.34/1567.30	c      1567          37562        1240         1                -           0.0000          -
1568.53/1572.58	c      1573          38067        1236         1                -           0.0000          -
1573.61/1577.66	c      1578          38477        1240         1                -           0.0000          -
1578.71/1582.72	c      1583          38841        1239         1                -           0.0000          -
1583.80/1587.86	c      1588          39322        1244         1                -           0.0000          -
1588.88/1592.94	c      1593          39891        1261         1                -           0.0000          -
1594.08/1598.13	c      1598          40377        1243         1                -           0.0000          -
1599.15/1603.22	c      1603          40793        1259         1                -           0.0000          -
1604.25/1608.38	c      1608          41221        1255         1                -           0.0000          -
1609.43/1613.52	c      1614          41609        1249         1                -           0.0000          -
1614.51/1618.60	c      1619          42184        1242         1                -           0.0000          -
1619.51/1623.69	c      1624          42683        1248         1                -           0.0000          -
1624.59/1628.77	c      1629          43081        1261         1                -           0.0000          -
1629.68/1633.84	c      1634          43468        1241         1                -           0.0000          -
1634.77/1638.93	c      1639          43827        1241         1                -           0.0000          -
1639.96/1644.13	c      1644          44270        1243         1                -           0.0000          -
1645.04/1649.25	c      1649          44717        1244         1                -           0.0000          -
1650.32/1654.50	c      1654          45011        1243         1                -           0.0000          -
1655.31/1659.56	c      1660          45447        1254         1                -           0.0000          -
1660.39/1664.69	c      1665          45790        1248         1                -           0.0000          -
1665.59/1669.85	c      1670          46198        1252         1                -           0.0000          -
1670.78/1675.10	c      1675          46548        1246         1                -           0.0000          -
1676.06/1680.32	c      1680          46957        1257         1                -           0.0000          -
1681.14/1685.42	c      1685          47466        1254         1                -           0.0000          -
1686.14/1690.48	c      1690          48027        1254         1                -           0.0000          -
1691.22/1695.55	c      1696          48576        1254         1                -           0.0000          -
1696.31/1700.63	c      1701          49084        1254         1                -           0.0000          -
1701.40/1705.77	c      1706          49439        1240         1                -           0.0000          -
1706.48/1710.86	c      1711          49976        1236         1                -           0.0000          -
1711.57/1715.97	c      1716          50440        1235         1                -           0.0000          -
1716.86/1721.20	c      1721          50845        1228         1                -           0.0000          -
1721.94/1726.30	c      1726          51346        1248         1                -           0.0000          -
1726.93/1731.36	c      1731          51860        1258         1                -           0.0000          -
1732.02/1736.41	c      1736          52291        1244         1                -           0.0000          -
1737.11/1741.50	c      1742          52746        1257         1                -           0.0000          -
1742.29/1746.71	c      1747          53093        1256         1                -           0.0000          -
1747.28/1751.79	c      1752          53638        1256         1                -           0.0000          -
1752.47/1756.92	c      1757          54185        1255         1                -           0.0000          -
1757.57/1762.02	c      1762          54593        1254         1                -           0.0000          -
1762.56/1767.09	c      1767          55112        1254         1                -           0.0000          -
1767.64/1772.15	c      1772          55573        1251         1                -           0.0000          -
1772.72/1777.21	c      1777          56104        1252         1                -           0.0000          -
1777.71/1782.27	c      1782          56636        1249         1                -           0.0000          -
1782.79/1787.32	c      1787          57250        1252         1                -           0.0000          -
1787.78/1792.38	c      1792          57828        1254         1                -           0.0000          -
1792.87/1797.45	c      1797          58313        1249         1                -           0.0000          -
1797.95/1802.53	c      1803          58944        1255         1                -           0.0000          -
1803.04/1807.61	c      1808          59474        1256         1                -           0.0000          -
1808.02/1812.70	c      1813          60163        1257         1                -           0.0000          -
1813.11/1817.78	c      1818          60635        1260         1                -           0.0000          -
1818.20/1822.84	c      1823          61134        1243         1                -           0.0000          -
1823.29/1827.92	c      1828          61594        1248         1                -           0.0000          -
1828.28/1832.97	c      1833          62098        1247         1                -           0.0000          -
1833.38/1838.11	c      1838          62591        1259         1                -           0.0000          -
1838.55/1843.21	c      1843          63048        1267         1                -           0.0000          -
1843.63/1848.30	c      1848          63508        1279         1                -           0.0000          -
1848.63/1853.35	c      1853          64220        1266         1                -           0.0000          -
1853.71/1858.47	c      1858          64718        1286         1                -           0.0000          -
1858.80/1863.55	c      1864          65227        1275         1                -           0.0000          -
1863.88/1868.62	c      1869          65765        1268         1                -           0.0000          -
1868.97/1873.74	c      1874          66305        1253         1                -           0.0000          -
1874.06/1878.87	c      1879          66757        1266         1                -           0.0000          -
1879.14/1883.95	c      1884          67283        1281         1                -           0.0000          -
1884.24/1889.01	c      1889          67788        1274         1                -           0.0000          -
1889.23/1894.07	c      1894          68311        1259         1                -           0.0000          -
1894.32/1899.17	c      1899          68801        1254         1                -           0.0000          -
1899.39/1904.25	c      1904          69241        1262         1                -           0.0000          -
1904.48/1909.39	c      1909          69713        1262         1                -           0.0000          -
1909.55/1914.45	c      1914          70184        1263         1                -           0.0000          -
1914.64/1919.54	c      1920          70647        1261         1                -           0.0000          -
1919.72/1924.68	c      1925          71075        1258         1                -           0.0000          -
1924.82/1929.78	c      1930          71486        1261         1                -           0.0000          -
1930.12/1935.01	c      1935          71735        1257         1                -           0.0000          -
1935.20/1940.20	c      1940          72047        1261         1                -           0.0000          -
1940.38/1945.31	c      1945          72321        1266         1                -           0.0000          -
1945.46/1950.47	c      1950          72504        1258         1                -           0.0000          -
1950.55/1955.59	c      1956          72958        1262         1                -           0.0000          -
1955.64/1960.64	c      1961          73301        1264         1                -           0.0000          -
1960.72/1965.72	c      1966          73804        1276         1                -           0.0000          -
1965.71/1970.78	c      1971          74429        1271         1                -           0.0000          -
1970.80/1975.88	c      1976          74936        1272         1                -           0.0000          -
1976.00/1981.02	c      1981          75379        1265         1                -           0.0000          -
1980.99/1986.11	c      1986          75786        1299         1                -           0.0000          -
1986.07/1991.18	c      1991          76237        1272         1                -           0.0000          -
1991.24/1996.33	c      1996          76584        1270         1                -           0.0000          -
1996.33/2001.49	c      2001          76855        1262         1                -           0.0000          -
2001.42/2006.55	c      2007          77289        1254         1                -           0.0000          -
2006.51/2011.62	c      2012          78099        1263         1                -           0.0000          -
2011.59/2016.71	c      2017          78571        1255         1                -           0.0000          -
2016.68/2021.84	c      2022          79134        1255         1                -           0.0000          -
2021.76/2026.96	c      2027          79567        1258         1                -           0.0000          -
2026.86/2032.03	c      2032          80094        1258         1                -           0.0000          -
2031.95/2037.16	c      2037          80567        1255         1                -           0.0000          -
2037.02/2042.23	c      2042          81128        1255         1                -           0.0000          -
2042.01/2047.29	c      2047          81719        1279         1                -           0.0000          -
2047.10/2052.37	c      2052          82217        1256         1                -           0.0000          -
2052.18/2057.42	c      2057          82786        1258         1                -           0.0000          -
2057.27/2062.50	c      2062          83268        1256         1                -           0.0000          -
2062.26/2067.56	c      2068          83759        1257         1                -           0.0000          -
2067.35/2072.64	c      2073          84275        1253         1                -           0.0000          -
2072.43/2077.75	c      2078          84984        1255         1                -           0.0000          -
2077.52/2082.82	c      2083          85564        1259         1                -           0.0000          -
2082.60/2087.90	c      2088          86079        1257         1                -           0.0000          -
2087.71/2093.10	c      2093          86634        1253         1                -           0.0000          -
2092.79/2098.18	c      2098          87210        1251         1                -           0.0000          -
2097.86/2103.26	c      2103          87797        1248         1                -           0.0000          -
2102.96/2108.36	c      2108          88335        1249         1                -           0.0000          -
2108.05/2113.47	c      2113          88817        1247         1                -           0.0000          -
2113.13/2118.57	c      2119          89298        1245         1                -           0.0000          -
2118.21/2123.64	c      2124          89749        1241         1                -           0.0000          -
2123.30/2128.72	c      2129          90311        1240         1                -           0.0000          -
2128.49/2133.92	c      2134          90816        1232         1                -           0.0000          -
2133.48/2138.98	c      2139          91427        1239         1                -           0.0000          -
2138.58/2144.08	c      2144          92044        1241         1                -           0.0000          -
2143.67/2149.14	c      2149          92763        1225         1                -           0.0000          -
2148.74/2154.21	c      2154          93323        1238         1                -           0.0000          -
2154.12/2159.64	c      2160          93690        1233         1                -           0.0000          -
2159.22/2164.72	c      2165          94295        1231         1                -           0.0000          -
2164.30/2169.84	c      2170          94839        1250         1                -           0.0000          -
2169.39/2174.90	c      2175          95265        1245         1                -           0.0000          -
2174.37/2179.97	c      2180          95821        1241         1                -           0.0000          -
2179.48/2185.03	c      2185          96290        1239         1                -           0.0000          -
2184.47/2190.09	c      2190          96745        1238         1                -           0.0000          -
2189.64/2195.22	c      2195          97144        1251         1                -           0.0000          -
2194.62/2200.27	c      2200          97603        1250         1                -           0.0000          -
2199.81/2205.42	c      2205          98098        1231         1                -           0.0000          -
2204.80/2210.49	c      2210          98630        1249         1                -           0.0000          -
2209.89/2215.57	c      2216          99309        1244         1                -           0.0000          -
2214.97/2220.65	c      2221          99846        1252         1                -           0.0000          -
2220.06/2225.71	c      2226         100402        1238         1                -           0.0000          -
2225.14/2230.81	c      2231         100910        1229         1                -           0.0000          -
2230.24/2235.90	c      2236         101364        1219         1                -           0.0000          -
2235.22/2241.00	c      2241         101814        1228         1                -           0.0000          -
2240.42/2246.12	c      2246         102414        1222         1                -           0.0000          -
2245.49/2251.29	c      2251         102870        1216         1                -           0.0000          -
2250.68/2256.40	c      2256         103480        1221         1                -           0.0000          -
2255.64/2261.47	c      2261         103981        1220         1                -           0.0000          -
2260.80/2266.62	c      2267         104424        1224         1                -           0.0000          -
2265.85/2271.76	c      2272         104782        1225         1                -           0.0000          -
2270.91/2276.83	c      2277         105173        1251         1                -           0.0000          -
2275.96/2281.92	c      2282         105586        1227         1                -           0.0000          -
2281.01/2287.03	c      2287         106113        1244         1                -           0.0000          -
2286.18/2292.20	c      2292         106496        1248         1                -           0.0000          -
2291.17/2297.26	c      2297         107009        1242         1                -           0.0000          -
2296.25/2302.32	c      2302         107503        1239         1                -           0.0000          -
2301.25/2307.38	c      2307         107930        1249         1                -           0.0000          -
2306.44/2312.52	c      2313         108397        1241         1                -           0.0000          -
2311.52/2317.60	c      2318         108801        1232         1                -           0.0000          -
2316.61/2322.70	c      2323         109234        1227         1                -           0.0000          -
2321.59/2327.77	c      2328         109733        1236         1                -           0.0000          -
2326.79/2332.92	c      2333         110242        1241         1                -           0.0000          -
2331.77/2337.99	c      2338         110720        1270         1                -           0.0000          -
2336.86/2343.04	c      2343         111268        1282         1                -           0.0000          -
2341.95/2348.15	c      2348         111789        1308         1                -           0.0000          -
2347.02/2353.23	c      2353         112309        1287         1                -           0.0000          -
2352.10/2358.33	c      2358         112821        1294         1                -           0.0000          -
2357.19/2363.42	c      2363         113312        1312         1                -           0.0000          -
2362.28/2368.50	c      2368         113819        1302         1                -           0.0000          -
2367.37/2373.66	c      2374         114198        1335         1                -           0.0000          -
2372.46/2378.75	c      2379         114592        1347         1                -           0.0000          -
2377.55/2383.86	c      2384         114987        1371         1                -           0.0000          -
2382.63/2388.99	c      2389         115371        1354         1                -           0.0000          -
2387.83/2394.14	c      2394         115773        1339         1                -           0.0000          -
2392.90/2399.22	c      2399         116282        1344         1                -           0.0000          -
2397.90/2404.29	c      2404         116742        1340         1                -           0.0000          -
2403.08/2409.44	c      2409         117242        1350         1                -           0.0000          -
2408.16/2414.59	c      2415         117788        1357         1                -           0.0000          -
2413.25/2419.67	c      2420         118220        1344         1                -           0.0000          -
2418.44/2424.89	c      2425         118743        1349         1                -           0.0000          -
2423.52/2429.96	c      2430         119222        1347         1                -           0.0000          -
2428.71/2435.12	c      2435         119758        1363         1                -           0.0000          -
2433.70/2440.17	c      2440         120204        1339         1                -           0.0000          -
2438.77/2445.25	c      2445         120733        1342         1                -           0.0000          -
2443.87/2450.32	c      2450         121204        1350         1                -           0.0000          -
2448.95/2455.41	c      2455         121749        1381         1                -           0.0000          -
2454.04/2460.52	c      2461         122227        1373         1                -           0.0000          -
2459.13/2465.61	c      2466         122733        1363         1                -           0.0000          -
2464.12/2470.66	c      2471         123170        1326         1                -           0.0000          -
2469.20/2475.78	c      2476         123619        1331         1                -           0.0000          -
2474.30/2480.88	c      2481         124254        1321         1                -           0.0000          -
2479.38/2485.95	c      2486         124743        1320         1                -           0.0000          -
2484.37/2491.01	c      2491         125206        1284         1                -           0.0000          -
2489.56/2496.17	c      2496         125697        1286         1                -           0.0000          -
2494.73/2501.31	c      2501         126207        1300         1                -           0.0000          -
2499.72/2506.37	c      2506         126789        1286         1                -           0.0000          -
2504.80/2511.47	c      2511         127167        1291         1                -           0.0000          -
2509.89/2516.54	c      2517         127527        1295         1                -           0.0000          -
2514.98/2521.64	c      2522         127971        1329         1                -           0.0000          -
2520.07/2526.74	c      2527         128409        1348         1                -           0.0000          -
2525.16/2531.87	c      2532         128866        1329         1                -           0.0000          -
2530.25/2536.97	c      2537         129316        1335         1                -           0.0000          -
2535.34/2542.04	c      2542         129841        1319         1                -           0.0000          -
2540.42/2547.11	c      2547         130413        1320         1                -           0.0000          -
2545.41/2552.18	c      2552         130967        1321         1                -           0.0000          -
2550.58/2557.35	c      2557         131421        1310         1                -           0.0000          -
2555.67/2562.43	c      2562         131906        1334         1                -           0.0000          -
2560.67/2567.47	c      2567         132524        1330         1                -           0.0000          -
2565.75/2572.58	c      2573         133032        1336         1                -           0.0000          -
2570.84/2577.65	c      2578         133453        1349         1                -           0.0000          -
2575.92/2582.77	c      2583         134023        1339         1                -           0.0000          -
2581.01/2587.87	c      2588         134494        1341         1                -           0.0000          -
2586.10/2592.95	c      2593         134861        1336         1                -           0.0000          -
2591.19/2598.01	c      2598         135269        1338         1                -           0.0000          -
2596.18/2603.10	c      2603         135776        1339         1                -           0.0000          -
2601.27/2608.15	c      2608         136197        1331         1                -           0.0000          -
2606.34/2613.22	c      2613         136701        1321         1                -           0.0000          -
2611.43/2618.30	c      2618         137165        1326         1                -           0.0000          -
2616.41/2623.39	c      2623         137703        1360         1                -           0.0000          -
2621.50/2628.49	c      2628         138239        1375         1                -           0.0000          -
2626.59/2633.57	c      2634         138795        1390         1                -           0.0000          -
2631.67/2638.63	c      2639         139380        1398         1                -           0.0000          -
2636.76/2643.71	c      2644         139982        1388         1                -           0.0000          -
2641.84/2648.82	c      2649         140606        1372         1                -           0.0000          -
2646.84/2653.90	c      2654         141058        1361         1                -           0.0000          -
2651.92/2659.00	c      2659         141533        1353         1                -           0.0000          -
2657.03/2664.05	c      2664         142068        1370         1                -           0.0000          -
2662.11/2669.14	c      2669         142585        1353         1                -           0.0000          -
2667.19/2674.20	c      2674         143047        1380         1                -           0.0000          -
2672.17/2679.26	c      2679         143579        1364         1                -           0.0000          -
2677.26/2684.33	c      2684         144167        1408         1                -           0.0000          -
2682.34/2689.41	c      2689         144582        1420         1                -           0.0000          -
2687.34/2694.50	c      2694         145138        1419         1                -           0.0000          -
2692.72/2699.87	c      2700         145605        1420         1                -           0.0000          -
2697.91/2705.05	c      2705         146104        1431         1                -           0.0000          -
2702.90/2710.11	c      2710         146564        1428         1                -           0.0000          -
2708.00/2715.16	c      2715         147088        1428         1                -           0.0000          -
2713.07/2720.22	c      2720         147567        1448         1                -           0.0000          -
2718.05/2725.27	c      2725         148040        1442         1                -           0.0000          -
2723.15/2730.34	c      2730         148567        1444         1                -           0.0000          -
2728.13/2735.40	c      2735         149118        1442         1                -           0.0000          -
2733.32/2740.50	c      2740         149637        1439         1                -           0.0000          -
2738.30/2745.57	c      2746         150061        1439         1                -           0.0000          -
2743.39/2750.66	c      2751         150582        1428         1                -           0.0000          -
2748.48/2755.77	c      2756         151166        1421         1                -           0.0000          -
2753.57/2760.86	c      2761         151627        1407         1                -           0.0000          -
2758.65/2765.93	c      2766         152086        1405         1                -           0.0000          -
2763.85/2771.19	c      2771         152492        1414         1                -           0.0000          -
2768.92/2776.27	c      2776         152923        1413         1                -           0.0000          -
2774.01/2781.35	c      2781         153375        1412         1                -           0.0000          -
2779.09/2786.42	c      2786         153905        1414         1                -           0.0000          -
2784.18/2791.51	c      2792         154458        1409         1                -           0.0000          -
2789.17/2796.56	c      2797         154865        1415         1                -           0.0000          -
2794.36/2801.72	c      2802         155403        1427         1                -           0.0000          -
2799.44/2806.80	c      2807         155959        1418         1                -           0.0000          -
2804.53/2811.90	c      2812         156445        1416         1                -           0.0000          -
2809.63/2817.03	c      2817         156828        1423         1                -           0.0000          -
2814.72/2822.18	c      2822         157343        1428         1                -           0.0000          -
2819.89/2827.37	c      2827         157875        1433         1                -           0.0000          -
2824.98/2832.48	c      2832         158297        1422         1                -           0.0000          -
2830.07/2837.54	c      2838         158717        1419         1                -           0.0000          -
2835.15/2842.69	c      2843         159193        1425         1                -           0.0000          -
2840.24/2847.74	c      2848         159726        1416         1                -           0.0000          -
2845.32/2852.84	c      2853         160312        1413         1                -           0.0000          -
2850.42/2857.95	c      2858         160893        1424         1                -           0.0000          -
2855.51/2863.06	c      2863         161409        1441         1                -           0.0000          -
2860.59/2868.15	c      2868         161884        1434         1                -           0.0000          -
2865.67/2873.21	c      2873         162421        1427         1                -           0.0000          -
2870.75/2878.38	c      2878         162912        1422         1                -           0.0000          -
2875.84/2883.49	c      2883         163354        1439         1                -           0.0000          -
2880.94/2888.57	c      2889         163901        1432         1                -           0.0000          -
2886.02/2893.66	c      2894         164444        1441         1                -           0.0000          -
2891.11/2898.73	c      2899         165017        1431         1                -           0.0000          -
2896.19/2903.80	c      2904         165611        1429         1                -           0.0000          -
2901.18/2908.88	c      2909         166197        1429         1                -           0.0000          -
2906.26/2913.98	c      2914         166735        1419         1                -           0.0000          -
2911.36/2919.04	c      2919         167239        1410         1                -           0.0000          -
2916.35/2924.10	c      2924         167690        1420         1                -           0.0000          -
2921.52/2929.21	c      2929         168433        1419         1                -           0.0000          -
2926.61/2934.34	c      2934         169105        1419         1                -           0.0000          -
2931.69/2939.43	c      2939         169878        1421         1                -           0.0000          -
2936.79/2944.56	c      2945         170361        1426         1                -           0.0000          -
2941.87/2949.63	c      2950         170904        1415         1                -           0.0000          -
2946.86/2954.69	c      2955         171609        1425         1                -           0.0000          -
2952.04/2959.80	c      2960         172204        1426         1                -           0.0000          -
2957.13/2964.95	c      2965         172763        1435         1                -           0.0000          -
2962.23/2970.08	c      2970         173361        1433         1                -           0.0000          -
2967.32/2975.14	c      2975         174027        1428         1                -           0.0000          -
2972.30/2980.19	c      2980         174559        1425         1                -           0.0000          -
2977.38/2985.26	c      2985         175225        1427         1                -           0.0000          -
2982.47/2990.36	c      2990         175889        1422         1                -           0.0000          -
2987.55/2995.42	c      2995         176552        1418         1                -           0.0000          -
2992.54/3000.48	c      3000         177221        1437         1                -           0.0000          -
2997.63/3005.54	c      3006         177840        1425         1                -           0.0000          -
3002.62/3010.59	c      3011         178527        1447         1                -           0.0000          -
3007.70/3015.69	c      3016         179275        1432         1                -           0.0000          -
3012.78/3020.79	c      3021         179926        1423         1                -           0.0000          -
3017.98/3025.93	c      3026         180532        1416         1                -           0.0000          -
3022.96/3031.01	c      3031         180866        1412         1                -           0.0000          -
3028.15/3036.14	c      3036         181292        1425         1                -           0.0000          -
3033.14/3041.19	c      3041         181712        1421         1                -           0.0000          -
3038.21/3046.26	c      3046         182273        1427         1                -           0.0000          -
3043.31/3051.32	c      3051         183075        1401         1                -           0.0000          -
3048.29/3056.38	c      3056         183821        1409         1                -           0.0000          -
3053.38/3061.44	c      3061         184525        1414         1                -           0.0000          -
3058.47/3066.52	c      3067         185100        1424         1                -           0.0000          -
3063.56/3071.61	c      3072         185597        1432         1                -           0.0000          -
3068.54/3076.69	c      3077         186136        1421         1                -           0.0000          -
3073.63/3081.74	c      3082         186984        1425         1                -           0.0000          -
3078.72/3086.81	c      3087         187602        1468         1                -           0.0000          -
3083.70/3091.88	c      3092         188166        1486         1                -           0.0000          -
3088.79/3096.94	c      3097         188633        1493         1                -           0.0000          -
3093.89/3102.08	c      3102         189108        1479         1                -           0.0000          -
3098.98/3107.16	c      3107         189662        1526         1                -           0.0000          -
3104.05/3112.26	c      3112         190288        1536         1                -           0.0000          -
3109.14/3117.35	c      3117         190696        1552         1                -           0.0000          -
3114.23/3122.42	c      3122         191284        1533         1                -           0.0000          -
3119.31/3127.56	c      3128         191874        1512         1                -           0.0000          -
3124.40/3132.62	c      3133         192447        1494         1                -           0.0000          -
3129.38/3137.67	c      3138         192992        1493         1                -           0.0000          -
3134.48/3142.73	c      3143         193464        1481         1                -           0.0000          -
3139.56/3147.81	c      3148         194002        1481         1                -           0.0000          -
3144.55/3152.87	c      3153         194500        1473         1                -           0.0000          -
3149.63/3157.93	c      3158         194984        1472         1                -           0.0000          -
3154.62/3162.99	c      3163         195507        1462         1                -           0.0000          -
3159.71/3168.04	c      3168         196038        1456         1                -           0.0000          -
3164.81/3173.12	c      3173         196519        1445         1                -           0.0000          -
3169.88/3178.24	c      3178         197032        1446         1                -           0.0000          -
3174.97/3183.34	c      3183         197562        1458         1                -           0.0000          -
3180.05/3188.46	c      3188         198030        1446         1                -           0.0000          -
3185.14/3193.53	c      3194         198554        1456         1                -           0.0000          -
3190.13/3198.58	c      3199         199230        1448         1                -           0.0000          -
3195.22/3203.68	c      3204         199699        1449         1                -           0.0000          -
3200.30/3208.79	c      3209         200104        1442         1                -           0.0000          -
3205.39/3213.86	c      3214         200597        1453         1                -           0.0000          -
3210.48/3218.96	c      3219         201075        1450         1                -           0.0000          -
3215.57/3224.05	c      3224         201635        1438         1                -           0.0000          -
3220.65/3229.13	c      3229         202039        1433         1                -           0.0000          -
3225.65/3234.17	c      3234         202669        1427         1                -           0.0000          -
3230.72/3239.23	c      3239         203403        1429         1                -           0.0000          -
3235.81/3244.30	c      3244         203870        1444         1                -           0.0000          -
3240.79/3249.37	c      3249         204337        1456         1                -           0.0000          -
3245.88/3254.44	c      3254         204855        1435         1                -           0.0000          -
3250.97/3259.50	c      3259         205477        1435         1                -           0.0000          -
3255.95/3264.56	c      3265         206243        1428         1                -           0.0000          -
3261.04/3269.63	c      3270         207020        1440         1                -           0.0000          -
3266.13/3274.70	c      3275         207680        1435         1                -           0.0000          -
3271.12/3279.76	c      3280         208410        1437         1                -           0.0000          -
3276.20/3284.83	c      3285         209040        1444         1                -           0.0000          -
3281.19/3289.89	c      3290         209606        1440         1                -           0.0000          -
3286.28/3294.98	c      3295         210270        1438         1                -           0.0000          -
3291.38/3300.03	c      3300         210808        1467         1                -           0.0000          -
3296.47/3305.13	c      3305         211364        1464         1                -           0.0000          -
3301.54/3310.21	c      3310         211902        1444         1                -           0.0000          -
3306.52/3315.28	c      3315         212403        1441         1                -           0.0000          -
3311.62/3320.39	c      3320         212901        1439         1                -           0.0000          -
3316.70/3325.48	c      3325         213518        1439         1                -           0.0000          -
3321.79/3330.52	c      3331         214083        1434         1                -           0.0000          -
3326.77/3335.60	c      3336         214523        1432         1                -           0.0000          -
3331.87/3340.69	c      3341         215055        1440         1                -           0.0000          -
3336.95/3345.75	c      3346         215571        1425         1                -           0.0000          -
3342.04/3350.80	c      3351         216186        1407         1                -           0.0000          -
3347.02/3355.88	c      3356         216749        1408         1                -           0.0000          -
3352.22/3361.01	c      3361         217405        1399         1                -           0.0000          -
3357.31/3366.13	c      3366         218006        1432         1                -           0.0000          -
3362.39/3371.20	c      3371         218570        1416         1                -           0.0000          -
3367.37/3376.27	c      3376         219229        1425         1                -           0.0000          -
3372.46/3381.35	c      3381         219843        1407         1                -           0.0000          -
3377.54/3386.46	c      3386         220565        1406         1                -           0.0000          -
3382.63/3391.53	c      3392         221195        1415         1                -           0.0000          -
3387.72/3396.60	c      3397         221694        1429         1                -           0.0000          -
3392.71/3401.65	c      3402         222185        1446         1                -           0.0000          -
3397.80/3406.71	c      3407         222666        1419         1                -           0.0000          -
3402.89/3411.84	c      3412         223234        1414         1                -           0.0000          -
3407.98/3416.92	c      3417         223751        1405         1                -           0.0000          -
3412.96/3421.98	c      3422         224286        1404         1                -           0.0000          -
3418.06/3427.07	c      3427         224860        1405         1                -           0.0000          -
3423.14/3432.12	c      3432         225434        1409         1                -           0.0000          -
3428.22/3437.20	c      3437         225976        1414         1                -           0.0000          -
3433.21/3442.26	c      3442         226644        1420         1                -           0.0000          -
3438.30/3447.34	c      3447         227228        1412         1                -           0.0000          -
3443.38/3452.42	c      3452         227734        1399         1                -           0.0000          -
3448.57/3457.64	c      3458         228285        1405         1                -           0.0000          -
3453.65/3462.71	c      3463         228840        1413         1                -           0.0000          -
3458.64/3467.78	c      3468         229430        1396         1                -           0.0000          -
3463.73/3472.88	c      3473         229997        1397         1                -           0.0000          -
3468.82/3477.93	c      3478         230609        1391         1                -           0.0000          -
3473.81/3483.01	c      3483         231185        1383         1                -           0.0000          -
3478.90/3488.08	c      3488         231816        1374         1                -           0.0000          -
3483.99/3493.13	c      3493         232392        1395         1                -           0.0000          -
3488.97/3498.18	c      3498         233062        1396         1                -           0.0000          -
3494.05/3503.25	c      3503         233746        1387         1                -           0.0000          -
3499.13/3508.30	c      3508         234234        1386         1                -           0.0000          -
3504.12/3513.37	c      3513         234733        1376         1                -           0.0000          -
3509.21/3518.48	c      3518         235146        1389         1                -           0.0000          -
3514.40/3523.60	c      3524         235634        1381         1                -           0.0000          -
3519.39/3528.66	c      3529         236183        1419         1                -           0.0000          -
3524.47/3533.73	c      3534         236773        1431         1                -           0.0000          -
3529.56/3538.84	c      3539         237388        1392         1                -           0.0000          -
3534.64/3543.91	c      3544         237911        1399         1                -           0.0000          -
3539.63/3548.95	c      3549         238388        1397         1                -           0.0000          -
3544.73/3554.04	c      3554         238971        1392         1                -           0.0000          -
3549.82/3559.15	c      3559         239501        1398         1                -           0.0000          -
3554.89/3564.26	c      3564         240121        1397         1                -           0.0000          -
3560.08/3569.42	c      3569         240728        1424         1                -           0.0000          -
3565.17/3574.50	c      3574         241345        1384         1                -           0.0000          -
3570.16/3579.59	c      3580         241891        1391         1                -           0.0000          -
3575.34/3584.71	c      3585         242400        1383         1                -           0.0000          -
3580.43/3589.81	c      3590         242894        1387         1                -           0.0000          -
3585.51/3594.94	c      3595         243344        1380         1                -           0.0000          -
3590.50/3600.01	c      3600         243849        1385         1                -           0.0000          -
3590.60/3600.05	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.60/3600.05	c Total Time         : 3600.0500
3590.60/3600.05	c   solving          : 3600.0500
3590.60/3600.05	c   presolving       : 0.6628 (included in solving)
3590.60/3600.05	c B&B Tree           :
3590.60/3600.05	c   nodes (total)    : 1
3590.60/3600.05	c Solution           :
3590.60/3600.05	c   Solutions found  : 0
3590.60/3600.05	c   Primal Bound     :          -
3590.60/3600.05	c   Dual Bound       : +0.00000000000000e+00
3590.60/3600.05	c Gap                :          -
3590.60/3600.08	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: 64096 MiB (59683 MiB free)
  memory of node 1: 64473 MiB (61688 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1033611, runsolver pid=1033604

[startup+0.100495 s]*
/proc/loadavg: 1.41 2.86 3.65 8/245 1033613
/proc/meminfo: memFree=124203972/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=48480 memory=37040 CPUtime=0.1 cores=1,3
/proc/1033611/stat : 1033611 (fscip) R 1033604 1033611 1033539 0 -1 4194304 6958 0 0 0 8 2 0 0 20 0 1 0 194318622 49643520 9260 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 12120 9260 2574 3032 0 8520 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 37040 KiB

[startup+0.21428 s]*
/proc/loadavg: 1.41 2.86 3.65 6/245 1033613
/proc/meminfo: memFree=124173376/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=56588 memory=45560 CPUtime=0.22 cores=1,3
/proc/1033611/stat : 1033611 (fscip) R 1033604 1033611 1033539 0 -1 4194304 9803 0 0 0 19 3 0 0 20 0 1 0 194318622 57946112 11390 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 14147 11390 2654 3032 0 10547 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56588 KiB
Current children cumulated memory: 45560 KiB

[startup+0.314718 s]*
/proc/loadavg: 1.41 2.86 3.65 7/245 1033613
/proc/meminfo: memFree=124173804/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=56192 memory=45244 CPUtime=0.31 cores=1,3
/proc/1033611/stat : 1033611 (fscip) R 1033604 1033611 1033539 0 -1 4194304 10241 0 0 0 28 3 0 0 20 0 1 0 194318622 57540608 11311 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 14048 11311 2702 3032 0 10448 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56192 KiB
Current children cumulated memory: 45244 KiB

[startup+0.700272 s]
/proc/loadavg: 1.41 2.86 3.65 7/246 1033616
/proc/meminfo: memFree=124151896/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=59168 memory=48532 CPUtime=0.68 cores=1,3
/proc/1033611/stat : 1033611 (fscip) R 1033604 1033611 1033539 0 -1 4194304 11004 0 0 0 65 3 0 0 20 0 1 0 194318622 60588032 12133 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 14792 12133 2734 3032 0 11192 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59168 KiB
Current children cumulated memory: 48532 KiB

[startup+1.50044 s]
/proc/loadavg: 1.41 2.86 3.65 7/253 1033623
/proc/meminfo: memFree=123970204/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=153580 memory=110368 CPUtime=1.48 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 27904 0 0 0 140 8 0 0 20 0 3 0 194318622 157265920 27592 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 38395 27592 2926 3032 0 31689 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=153580 memory=48616 CPUtime=0.67 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 12813 0 0 0 65 2 0 0 20 0 3 0 194318699 157265920 27592 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=153580 memory=12740 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194318706 157265920 27592 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153580 KiB
Current children cumulated memory: 110368 KiB

[startup+3.11339 s]
/proc/loadavg: 1.62 2.88 3.65 7/253 1033623
/proc/meminfo: memFree=123794720/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=219116 memory=143688 CPUtime=3.08 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 44638 0 0 0 298 10 0 0 20 0 3 0 194318622 224374784 35922 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 54779 35922 2942 3032 0 41179 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=219116 memory=62176 CPUtime=2.28 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 29544 0 0 0 223 5 0 0 20 0 3 0 194318699 224374784 35922 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=219116 memory=164 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 194318706 224374784 35922 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219116 KiB
Current children cumulated memory: 143688 KiB

[startup+6.3003 s]
/proc/loadavg: 1.62 2.88 3.65 7/253 1033623
/proc/meminfo: memFree=123794532/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=219116 memory=143700 CPUtime=6.26 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 53544 0 0 0 616 10 0 0 20 0 3 0 194318622 224374784 35925 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 54779 35925 2942 3032 0 41179 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=219116 memory=12740 CPUtime=5.46 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 38448 0 0 0 541 5 0 0 20 0 3 0 194318699 224374784 35925 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=219116 memory=143688 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 194318706 224374784 35925 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 219116 KiB
Current children cumulated memory: 143700 KiB

[startup+12.7003 s]
/proc/loadavg: 1.81 2.90 3.65 7/253 1033624
/proc/meminfo: memFree=123793964/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=219116 memory=143788 CPUtime=12.65 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 74540 0 0 0 1253 12 0 0 20 0 3 0 194318622 224374784 35947 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 54779 35947 2942 3032 0 41179 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=219116 memory=-7736474891362984061 CPUtime=11.84 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 59436 0 0 0 1178 6 0 0 20 0 3 0 194318699 224374784 35947 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=219116 memory=143788 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 194318706 224374784 35947 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219116 KiB
Current children cumulated memory: 143788 KiB

[startup+25.5004 s]
/proc/loadavg: 2.30 2.95 3.66 7/253 1033626
/proc/meminfo: memFree=123790712/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=221400 memory=145296 CPUtime=25.4 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 98590 0 0 0 2527 13 0 0 20 0 3 0 194318622 226713600 36324 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 55350 36324 2942 3032 0 41750 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=221400 memory=50128 CPUtime=24.6 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 83474 0 0 0 2452 8 0 0 20 0 3 0 194318699 226713600 36324 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=221400 memory=12740 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 194318706 226713600 36324 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 221400 KiB
Current children cumulated memory: 145296 KiB

[startup+51.1129 s]
/proc/loadavg: 2.95 3.06 3.67 7/253 1033630
/proc/meminfo: memFree=123695396/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=221400 memory=174892 CPUtime=50.95 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 143200 0 0 0 5079 16 0 0 20 0 3 0 194318622 226713600 43723 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 55350 43723 2942 3032 0 48691 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=221400 memory=174892 CPUtime=50.14 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 128017 0 0 0 5004 10 0 0 20 0 3 0 194318699 226713600 43723 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=221400 memory=-6952569112950574953 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 194318706 226713600 43723 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 221400 KiB
Current children cumulated memory: 174892 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.24 3.70 7/253 1033639
/proc/meminfo: memFree=123694496/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=221400 memory=175436 CPUtime=102.02 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 157469 0 0 0 10185 17 0 0 20 0 3 0 194318622 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 55350 43859 2990 3032 0 48691 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=221400 memory=175436 CPUtime=101.21 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 142242 0 0 0 10109 12 0 0 20 0 3 0 194318699 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=221400 memory=50128 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 194318706 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 221400 KiB
Current children cumulated memory: 175436 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.39 3.73 7/252 1033650
/proc/meminfo: memFree=123693096/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=221400 memory=175436 CPUtime=161.88 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 166530 0 0 0 16170 18 0 0 20 0 3 0 194318622 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 55350 43859 2990 3032 0 48691 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=221400 memory=175436 CPUtime=161.07 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 151291 0 0 0 16095 12 0 0 20 0 3 0 194318699 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=221400 memory=12740 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 194318706 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 221400 KiB
Current children cumulated memory: 175436 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.54 3.76 7/252 1033660
/proc/meminfo: memFree=123687248/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=221400 memory=175436 CPUtime=221.74 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 171136 0 0 0 22156 18 0 0 20 0 3 0 194318622 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 55350 43859 2990 3032 0 48691 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=221400 memory=175436 CPUtime=220.93 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 155891 0 0 0 22081 12 0 0 20 0 3 0 194318699 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=221400 memory=175436 CPUtime=0 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 194318706 226713600 43859 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 221400 KiB
Current children cumulated memory: 175436 KiB


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

/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3392.34 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 444257 0 0 0 339129 105 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=345836 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 216 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.56 4.60 4.35 7/249 1035416
/proc/meminfo: memFree=123189980/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3453.25 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 461555 0 0 0 345200 125 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3452.18 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 445181 0 0 0 345111 107 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=345836 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 218 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.50 4.33 7/249 1035426
/proc/meminfo: memFree=123189020/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3513.1 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 462471 0 0 0 351183 127 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3512.01 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 446078 0 0 0 351093 108 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=12740 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 220 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.44 4.32 7/249 1035437
/proc/meminfo: memFree=123187588/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3572.95 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463392 0 0 0 357167 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=12740 CPUtime=3571.86 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 446980 0 0 0 357076 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=5624 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

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

# cumulated CPU time of all completed processes:  user=3589.4 s, system=1.29592 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.43 4.32 8/249 1035437
/proc/meminfo: memFree=123187632/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3574.66 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463392 0 0 0 357338 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=-6952569112950574953 CPUtime=3573.57 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 446980 0 0 0 357247 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=7200 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3574.66 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.42 4.32 7/249 1035437
/proc/meminfo: memFree=123187212/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3581.03 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463398 0 0 0 357975 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3579.94 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 446986 0 0 0 357884 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=50128 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3581.03 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.42 4.31 7/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3587.41 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463795 0 0 0 358613 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3586.32 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 447364 0 0 0 358522 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=345836 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 224 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3598.4 s]
/proc/loadavg: 4.15 4.42 4.31 7/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3589 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463831 0 0 0 358772 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3587.92 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 447400 0 0 0 358682 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=5532 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 224 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3589 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3599.2 s]
/proc/loadavg: 4.13 4.41 4.31 7/249 1035438
/proc/meminfo: memFree=123187244/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3589.8 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463839 0 0 0 358852 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=345836 CPUtime=3588.71 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 447408 0 0 0 358761 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=11936 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 224 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3589.8 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3599.6 s]
/proc/loadavg: 4.13 4.41 4.31 7/249 1035438
/proc/meminfo: memFree=123187244/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3590.2 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463843 0 0 0 358892 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=50128 CPUtime=3589.11 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 447412 0 0 0 358801 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=1828 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 224 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3590.2 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

[startup+3600 s]*
/proc/loadavg: 4.13 4.41 4.31 8/245 1035438
/proc/meminfo: memFree=123452804/131655788 swapFree=131071996/131071996
[pid=1033611] ppid=1033604 vsize=418008 memory=345836 CPUtime=3590.6 cores=1,3
/proc/1033611/stat : 1033611 (fscip) S 1033604 1033611 1033539 0 -1 1077936128 463872 0 0 0 358932 128 0 0 20 0 3 0 194318622 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
/proc/1033611/statm: 104502 86459 3310 3032 0 87954 0
[pid=1033611/tid=1033621] ppid=1033604 vsize=418008 memory=-6952569112950574953 CPUtime=3589.52 cores=1,3
/proc/1033611/task/1033621/stat : 1033621 (fscip) R 1033604 1033611 1033539 0 -1 4194368 447450 0 0 0 358842 110 0 0 20 0 3 0 194318699 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
[pid=1033611/tid=1033623] ppid=1033604 vsize=418008 memory=1471054669716160641 CPUtime=0.04 cores=1,3
/proc/1033611/task/1033623/stat : 1033623 (fscip) S 1033604 1033611 1033539 0 -1 1077936192 224 0 0 0 1 3 0 0 20 0 3 0 194318706 428040192 86459 134679101440 4194304 16613245 140725692862784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42708992 140725692867603 140725692867719 140725692867719 140725692874736 0
Current children cumulated CPU time: 3590.6 s
Current children cumulated vsize: 418008 KiB
Current children cumulated memory: 345836 KiB

Child status: 0

Real time (s): 3600.09
CPU time (s): 3590.7
CPU user time (s): 3589.4
CPU system time (s): 1.29592
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 418008
Max. memory (cumulated for all children) (KiB): 345836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.4
system time used= 1.29592
maximum resident set size= 345836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464390
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= 9002
involuntary context switches= 1821


# summary of solver processes directly reported to runsolver:
#   pid: 1033611
#   total CPU time (s): 3590.7
#   total CPU user time (s): 3589.4
#   total CPU system time (s): 1.29592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.433 second user time and 33.5643 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-19 22:40:10
IDJOB=4450840
IDBENCH=162293
IDSOLVER=3064
FILE ID=nodeC005/4450840-1721421598
RUNJOBID= nodeC005-1721421610-1033551
SLURM_JOB_ID= 7545501
Free space on /tmp= 723780 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4450840-1721421598/watcher-4450840-1721421598 -o /tmp/evaluation-result-4450840-1721421598/solver-4450840-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033551 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4450840-1721421598.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b3190b6d7590b4907713913d99d6bfc0
RANDOM SEED=540776806

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124299500 kB
MemAvailable:   129837116 kB
Buffers:          533984 kB
Cached:          5785244 kB
SwapCached:            0 kB
Active:          1137188 kB
Inactive:        5520736 kB
Active(anon):       3328 kB
Inactive(anon):   381260 kB
Active(file):    1133860 kB
Inactive(file):  5139476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114308 kB
Writeback:             0 kB
AnonPages:        337936 kB
Mapped:           117928 kB
Shmem:             45896 kB
KReclaimable:     208956 kB
Slab:             328380 kB
SReclaimable:     208956 kB
SUnreclaim:       119424 kB
KernelStack:        3744 kB
PageTables:         9996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     863640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC005 at 2024-07-19 23:40:10