Trace number 4434678

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 NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02? 3587.8 3600.24

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUMb48e8711e48bf421c56e401ff58b5422
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark248
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7089
Total number of constraints13888
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13888
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2621
Number of bits of the biggest sum of numbers12
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.10/0.20	c Default LC presolving (default).
0.10/0.20	c ** Before presolving: virtualMemUsedAtLc = 156337388, getVmSize() = 147394560, SCIPgetMemUsed() = 69083730, SCIPgetMemTotal() = 120989682, SCIPgetMemExternEstim() = 35347706
0.10/0.20	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.19/1.25	c ** Estimated virtualMemUsedAtSolver = 219324374, getVmSize() = 318042112, SCIPgetMemUsed() = 177940016, SCIPgetMemTotal() = 293638856, SCIPgetMemExternEstim() = 35347706
1.19/1.25	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.19/1.25	c Original Problem   :
1.19/1.25	c   Problem name     : instance-4434678-1721099139
1.19/1.25	c   Variables        : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.25	c   Constraints      : 13888
1.19/1.25	c   Objective sense  : minimize
1.19/1.25	c Presolved Problem  :
1.19/1.25	c   Variables        : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.25	c   Constraints      : 8452
1.19/1.25	c Constraints        : Number
1.19/1.25	c   knapsack         : 16 
1.19/1.25	c   setppc           : 1500 
1.19/1.25	c   linear           : 6936 
1.19/1.25	c ** Instance transfer method used: 0
1.19/1.28	c ** ParaScipInstance copy does not increase the number of variables. **
1.29/1.35	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.29/1.35	c                                Nodes    Active                                            
1.29/1.35	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
11.06/11.18	c        11              2           1         1                -          17.0000          -
16.33/16.40	c        16             24          23         1                -          17.0000          -
25.10/25.27	c        25             31          30         1                -          17.0000          -
30.38/30.52	c        31             45          44         1                -          17.0000          -
35.77/36.01	c        36             72          71         1                -          18.0000          -
46.73/46.96	c        47             99          98         1                -          18.0000          -
59.90/60.15	c        60            115         112         1                -          18.0000          -
65.37/65.67	c        66            152         143         1                -          18.0000          -
77.63/77.92	c        78            184         173         1                -          18.0000          -
83.41/83.74	c        84            231         216         1                -          18.0000          -
97.87/98.23	c        98            258         241         1                -          18.0000          -
106.94/107.36	c       107            282         265         1                -          18.0000          -
113.73/114.11	c       114            283         266         1                -          18.0000          -
119.61/120.05	c       120            309         290         1                -          18.0000          -
128.68/129.11	c       129            338         319         1                -          18.0000          -
141.04/141.51	c       142            358         335         1                -          18.0000          -
146.63/147.14	c       147            377         350         1                -          18.0000          -
157.38/157.95	c       158            405         378         1                -          18.0000          -
162.48/163.09	c       163            435         406         1                -          18.0000          -
167.75/168.39	c       168            497         458         1                -          18.0000          -
182.71/183.36	c       183            529         484         1                -          18.0000          -
190.68/191.35	c       191            561         512         1                -          18.0000          -
197.16/197.84	c       198            572         519         1                -          18.0000          -
217.60/218.33	c       218            592         539         1                -          18.0000          -
223.88/224.66	c       225            594         541         1                -          18.0000          -
232.65/233.46	c       233            606         553         1                -          18.0000          -
242.42/243.25	c       243            607         554         1                -          18.0000          -
247.71/248.54	c       249            626         573         1                -          18.0000          -
255.88/256.75	c       257            662         607         1                -          18.0000          -
263.76/264.66	c       265            683         625         1                -          18.0000          -
273.72/274.67	c       275            692         634         1                -          18.0000          -
286.20/287.13	c       287            693         635         1                -          18.0000          -
292.27/293.21	c       293            710         652         1                -          18.0000          -
299.45/300.42	c       300            713         655         1                -          18.0000          -
313.90/314.95	c       315            723         661         1                -          18.0000          -
319.27/320.39	c       320            735         673         1                -          18.0000          -
327.24/328.31	c       328            755         693         1                -          18.0000          -
343.48/344.63	c       345            757         695         1                -          18.0000          -
353.75/354.95	c       355            802         734         1                -          18.0000          -
363.92/365.16	c       365            809         741         1                -          18.0000          -
373.88/375.13	c       375            843         769         1                -          18.0000          -
379.25/380.52	c       381            864         788         1                -          18.0000          -
384.73/386.08	c       386            904         825         1                -          18.0000          -
390.71/392.10	c       392            943         852         1                -          18.0000          -
396.08/397.41	c       397            985         890         1                -          18.0000          -
410.42/411.88	c       412           1031         932         1                -          18.0000          -
424.59/426.02	c       426           1082         968         1                -          18.0000          -
432.75/434.27	c       434           1082         968         1                -          18.0000          -
438.53/440.02	c       440           1104         986         1                -          18.0000          -
444.30/445.81	c       446           1131        1007         1                -          18.0000          -
449.88/451.47	c       451           1168        1038         1                -          18.0000          -
455.35/456.92	c       457           1222        1082         1                -          18.0000          -
460.44/462.04	c       462           1285        1137         1                -          18.0000          -
466.21/467.87	c       468           1333        1178         1                -          18.0000          -
471.79/473.40	c       473           1396        1236         1                -          18.0000          -
477.26/478.96	c       479           1431        1269         1                -          18.0000          -
482.94/484.62	c       485           1463        1301         1                -          18.0000          -
488.33/490.02	c       490           1515        1345         1                -          18.0000          -
493.99/495.78	c       496           1601        1410         1                -          18.0000          -
504.15/505.94	c       506           1617           1         1                -          18.0000          -
509.52/511.32	c       511           1681          61         1                -          18.0000          -
514.70/516.52	c       517           1726          86         1                -          18.0000          -
522.47/524.33	c       524           1750         100         1                -          18.0000          -
527.45/529.35	c       529           1814         141         1                -          18.0000          -
533.15/535.06	c       535           1928         202         1                -          18.0000          -
538.51/540.47	c       540           2047         250         1                -          21.0000          -
543.59/545.58	c       546           2171         277         1                -          22.0000          -
548.96/550.96	c       551           2250         312         1                -          22.0000          -
554.93/556.96	c       557           2419         375         1                -          24.0000          -
560.02/562.05	c       562           2611         412         1                -          24.0000          -
565.39/567.47	c       567           2779         427         1                -          25.0000          -
570.87/572.99	c       573           2945         457         1                -          25.0000          -
576.95/579.09	c       579           3095         501         1                -          25.0000          -
582.22/584.37	c       584           3294         527         1                -          25.0000          -
587.30/589.46	c       589           3532         538         1                -          25.0000          -
592.77/594.91	c       595           3757         542         1                -          25.0000          -
598.06/600.26	c       600           3978         552         1                -          25.0000          -
603.43/605.60	c       606           4124         565         1                -          26.0000          -
608.71/610.98	c       611           4309         606         1                -          26.0000          -
614.09/616.38	c       616           4465         643         1                -          27.0000          -
619.47/621.77	c       622           4659         661         1                -          27.0000          -
625.23/627.50	c       628           4861         665         1                -          27.0000          -
630.42/632.73	c       633           5098         653         1                -          27.0000          -
636.09/638.43	c       638           5354         658         1                -          27.0000          -
641.78/644.16	c       644           5583         681         1                -          28.0000          -
647.04/649.46	c       649           5741         705         1                -          28.0000          -
652.42/654.88	c       655           5766         730         1                -          28.0000          -
657.61/660.07	c       660           5790         754         1                -          28.0000          -
662.78/665.27	c       665           5822         782         1                -          28.0000          -
668.85/671.35	c       671           5825         785         1                -          28.0000          -
674.93/677.40	c       677           5855         815         1                -          28.0000          -
680.70/683.20	c       683           5890         850         1                -          28.0000          -
686.19/688.74	c       689           5940         879         1                -          28.0000          -
691.76/694.39	c       694           6075         905         1                -          28.0000          -
697.14/699.71	c       700           6306         900         1                -          28.0000          -
702.12/704.79	c       705           6493         917         1                -          28.0000          -
708.10/710.70	c       711           6678         915         1                -          28.0000          -
713.68/716.33	c       716           6967         930         1                -          28.0000          -
719.06/721.78	c       722           7217         925         1                -          28.0000          -
730.81/733.53	c       734           7297         932         1                -          28.0000          -
736.50/739.27	c       739           7329         950         1                -          28.0000          -
741.59/744.36	c       744           7388         965         1                -          28.0000          -
747.56/750.39	c       750           7460         971         1                -          28.0000          -
753.54/756.39	c       756           7561         972         1                -          28.0000          -
759.02/761.84	c       762           7632         972         1                -          28.0000          -
764.32/767.17	c       767           7743         953         1                -          28.0000          -
769.58/772.40	c       772           7796         960         1                -          28.0000          -
774.66/777.57	c       778           7917         981         1                -          28.0000          -
779.94/782.83	c       783           8020        1003         1                -          28.0000          -
785.62/788.55	c       789           8111        1001         1                -          28.0000          -
791.11/794.04	c       794           8243         994         1                -          28.0000          -
796.19/799.18	c       799           8345         995         1                -          28.0000          -
801.96/804.95	c       805           8409         981         1                -          28.0000          -
808.94/811.96	c       812           8448         988         1                -          28.0000          -
816.03/819.03	c       819           8503        1008         1                -          28.0000          -
822.00/825.02	c       825           8603        1017         1                -          28.0000          -
828.27/831.31	c       831           8642        1025         1                -          28.0000          -
833.85/836.97	c       837           8645        1024         1                -          28.0000          -
839.32/842.48	c       842           8831        1053         1                -          28.0000          -
844.51/847.64	c       848           8953        1067         1                -          28.0000          -
849.49/852.69	c       853           9021        1068         1                -          28.0000          -
855.48/858.64	c       859           9114        1091         1                -          28.0000          -
860.87/864.09	c       864           9268        1091         1                -          28.0000          -
866.04/869.26	c       869           9406        1098         1                -          28.0000          -
871.62/874.80	c       875           9542        1086         1                -          29.0000          -
877.50/880.71	c       881           9624        1103         1                -          29.0000          -
882.58/885.82	c       886           9677        1107         1                -          29.0000          -
887.96/891.30	c       891           9682        1110         1                -          29.0000          -
894.14/897.45	c       897           9778        1109         1                -          29.0000          -
901.01/904.33	c       904           9821        1112         1                -          29.0000          -
906.20/909.58	c       910           9960        1109         1                -          29.0000          -
911.69/915.05	c       915          10041        1134         1                -          29.0000          -
916.86/920.23	c       920          10155        1147         1                -          29.0000          -
922.75/926.13	c       926          10282        1170         1                -          29.0000          -
928.32/931.70	c       932          10438        1127         1                -          29.0000          -
934.71/938.13	c       938          10557        1115         1                -          29.0000          -
944.07/947.51	c       948          10570        1111         1                -          29.0000          -
949.95/953.46	c       953          10579        1103         1                -          29.0000          -
955.44/958.91	c       959          10659        1104         1                -          29.0000          -
960.82/964.31	c       964          10723        1098         1                -          29.0000          -
966.61/970.16	c       970          10798        1111         1                -          29.0000          -
983.05/986.65	c       987          10908        1118         1                -          30.0000          -
988.63/992.28	c       992          10928        1130         1                -          30.0000          -
994.11/997.73	c       998          11005        1145         1                -          30.0000          -
999.69/1003.33	c      1003          11019        1150         1                -          30.0000          -
1005.87/1009.50	c      1010          11025        1156         1                -          30.0000          -
1011.75/1015.46	c      1015          11053        1160         1                -          30.0000          -
1017.34/1021.08	c      1021          11084        1164         1                -          30.0000          -
1024.01/1027.70	c      1028          11088        1164         1                -          30.0000          -
1029.59/1033.31	c      1033          11147        1163         1                -          30.0000          -
1035.17/1038.94	c      1039          11222        1170         1                -          30.0000          -
1041.27/1045.05	c      1045          11316        1196         1                -          30.0000          -
1047.83/1051.60	c      1052          11346        1198         1                -          30.0000          -
1054.91/1058.70	c      1059          11447        1211         1                -          30.0000          -
1060.70/1064.56	c      1065          11488        1238         1                -          30.0000          -
1069.18/1073.04	c      1073          11548        1238         1                -          30.0000          -
1077.54/1081.41	c      1081          11586        1234         1                -          30.0000          -
1083.62/1087.57	c      1088          11624        1239         1                -          30.0000          -
1089.12/1093.06	c      1093          11717        1239         1                -          30.0000          -
1099.19/1103.11	c      1103          11751        1242         1                -          30.0000          -
1104.85/1108.82	c      1109          11774        1257         1                -          30.0000          -
1110.93/1114.95	c      1115          11847        1267         1                -          30.0000          -
1116.62/1120.69	c      1121          11847        1267         1                -          30.0000          -
1122.21/1126.27	c      1126          11889        1276         1                -          30.0000          -
1128.10/1132.19	c      1132          11896        1283         1                -          30.0000          -
1148.82/1153.01	c      1153          11906        1289         1                -          30.0000          -
1154.01/1158.18	c      1158          11915        1298         1                -          30.0000          -
1159.99/1164.17	c      1164          11920        1303         1                -          30.0000          -
1165.97/1170.17	c      1170          11920        1303         1                -          30.0000          -
1186.31/1190.54	c      1191          11924        1307         1                -          30.0000          -
1194.29/1198.56	c      1199          11946        1313         1                -          30.0000          -
1200.37/1204.65	c      1205          11957        1315         1                -          30.0000          -
1205.86/1210.15	c      1210          11986        1313         1                -          30.0000          -
1214.92/1219.24	c      1219          12005        1307         1                -          30.0000          -
1220.71/1225.08	c      1225          12031        1314         1                -          30.0000          -
1226.79/1231.13	c      1231          12093        1312         1                -          30.0000          -
1233.07/1237.47	c      1237          12141        1319         1                -          30.0000          -
1238.15/1242.52	c      1243          12164        1330         1                -          30.0000          -
1244.03/1248.41	c      1248          12201        1339         1                -          30.0000          -
1250.91/1255.35	c      1255          12300        1364         1                -          30.0000          -
1256.79/1261.21	c      1261          12330        1378         1                -          30.0000          -
1262.07/1266.51	c      1267          12469        1376         1                -          30.0000          -
1267.45/1271.98	c      1272          12618        1368         1                -          30.0000          -
1272.73/1277.29	c      1277          12663        1368         1                -          30.0000          -
1278.42/1282.99	c      1283          12772        1371         1                -          30.0000          -
1283.91/1288.47	c      1288          12854        1371         1                -          30.0000          -
1288.99/1293.51	c      1294          12883        1384         1                -          30.0000          -
1294.59/1299.14	c      1299          12911        1397         1                -          30.0000          -
1299.76/1304.37	c      1304          12995        1430         1                -          30.0000          -
1305.64/1310.20	c      1310          13038        1440         1                -          30.0000          -
1311.11/1315.74	c      1316          13124        1442         1                -          30.0000          -
1316.30/1320.99	c      1321          13194        1450         1                -          30.0000          -
1321.68/1326.32	c      1326          13292        1454         1                -          30.0000          -
1327.27/1331.91	c      1332          13379        1458         1                -          30.0000          -
1332.55/1337.22	c      1337          13462        1476         1                -          30.0000          -
1338.53/1343.26	c      1343          13495        1499         1                -          30.0000          -
1344.33/1349.08	c      1349          13533        1532         1                -          30.0000          -
1349.50/1354.29	c      1354          13578        1549         1                -          30.0000          -
1356.39/1361.14	c      1361          13603        1556         1                -          30.0000          -
1362.16/1366.94	c      1367          13626        1577         1                -          30.0000          -
1367.74/1372.57	c      1373          13700        1616         1                -          30.0000          -
1373.72/1378.50	c      1379          13745        1647         1                -          30.0000          -
1379.31/1384.18	c      1384          13850        1679         1                -          30.0000          -
1384.68/1389.54	c      1390          14009        1681         1                -          30.0000          -
1390.28/1395.13	c      1395          14121        1689         1                -          30.0000          -
1401.63/1406.56	c      1407          14236        1680         1                -          30.0000          -
1407.31/1412.27	c      1412          14296        1695         1                -          30.0000          -
1413.29/1418.28	c      1418          14401        1709         1                -          30.0000          -
1420.08/1425.07	c      1425          14477        1725         1                -          30.0000          -
1425.06/1430.08	c      1430          14491        1733         1                -          30.0000          -
1430.33/1435.34	c      1435          14523        1756         1                -          30.0000          -
1436.71/1441.73	c      1442          14564        1787         1                -          30.0000          -
1442.70/1447.75	c      1448          14630        1798         1                -          30.0000          -
1448.58/1453.67	c      1454          14686        1827         1                -          30.0000          -
1454.46/1459.56	c      1460          14771        1839         1                -          30.0000          -
1460.14/1465.27	c      1465          14851        1865         1                -          30.0000          -
1465.62/1470.72	c      1471          14972        1872         1                -          30.0000          -
1471.02/1476.16	c      1476          15072        1884         1                -          30.0000          -
1476.59/1481.76	c      1482          15188        1887         1                -          30.0000          -
1482.17/1487.36	c      1487          15267        1898         1                -          30.0000          -
1487.15/1492.37	c      1492          15305        1916         1                -          30.0000          -
1492.34/1497.57	c      1498          15363        1929         1                -          30.0000          -
1498.72/1503.95	c      1504          15393        1936         1                -          30.0000          -
1504.20/1509.43	c      1509          15435        1951         1                -          30.0000          -
1509.58/1514.86	c      1515          15508        1956         1                -          30.0000          -
1515.77/1521.05	c      1521          15543        1965         1                -          30.0000          -
1521.54/1526.81	c      1527          15599        1973         1                -          30.0000          -
1526.92/1532.27	c      1532          15648        1987         1                -          30.0000          -
1532.81/1538.12	c      1538          15682        1999         1                -          30.0000          -
1540.79/1546.17	c      1546          15732        2018         1                -          30.0000          -
1545.96/1551.31	c      1551          15760        2037         1                -          30.0000          -
1550.95/1556.36	c      1556          15808        2051         1                -          30.0000          -
1556.44/1561.88	c      1562          15854        2067         1                -          30.0000          -
1564.21/1569.63	c      1570          15869        2082         1                -          30.0000          -
1569.89/1575.35	c      1575          15900        2104         1                -          30.0000          -
1576.97/1582.41	c      1582          15925        2113         1                -          30.0000          -
1582.65/1588.12	c      1588          16007        2138         1                -          30.0000          -
1588.12/1593.64	c      1594          16047        2140         1                -          30.0000          -
1593.72/1599.24	c      1599          16057        2150         1                -          30.0000          -
1598.90/1604.44	c      1604          16072        2164         1                -          30.0000          -
1605.38/1610.95	c      1611          16117        2181         1                -          30.0000          -
1611.95/1617.55	c      1618          16132        2196         1                -          30.0000          -
1617.83/1623.48	c      1623          16158        2214         1                -          30.0000          -
1623.62/1629.20	c      1629          16183        2239         1                -          30.0000          -
1628.90/1634.58	c      1635          16221        2251         1                -          30.0000          -
1634.88/1640.59	c      1641          16257        2271         1                -          30.0000          -
1640.26/1645.95	c      1646          16314        2266         1                -          30.0000          -
1645.64/1651.31	c      1651          16354        2272         1                -          30.0000          -
1650.64/1656.35	c      1656          16385        2283         1                -          30.0000          -
1656.33/1662.11	c      1662          16422        2303         1                -          30.0000          -
1661.89/1667.69	c      1668          16459        2317         1                -          30.0000          -
1667.28/1673.04	c      1673          16547        2354         1                -          30.0000          -
1673.05/1678.86	c      1679          16614        2389         1                -          30.0000          -
1678.34/1684.11	c      1684          16726        2400         1                -          30.0000          -
1683.62/1689.41	c      1689          16853        2410         1                -          30.0000          -
1689.00/1694.84	c      1695          16946        2418         1                -          30.0000          -
1695.68/1701.52	c      1702          17033        2419         1                -          30.0000          -
1700.66/1706.54	c      1707          17070        2427         1                -          30.0000          -
1706.44/1712.38	c      1712          17117        2445         1                -          30.0000          -
1712.13/1718.06	c      1718          17143        2461         1                -          30.0000          -
1718.90/1724.89	c      1725          17178        2467         1                -          30.0000          -
1725.48/1731.45	c      1731          17226        2486         1                -          30.0000          -
1731.97/1737.90	c      1738          17294        2492         1                -          30.0000          -
1738.25/1744.29	c      1744          17335        2503         1                -          30.0000          -
1745.04/1751.06	c      1751          17345        2510         1                -          30.0000          -
1750.51/1756.50	c      1757          17446        2495         1                -          30.0000          -
1756.00/1762.08	c      1762          17455        2502         1                -          30.0000          -
1761.67/1767.73	c      1768          17472        2507         1                -          30.0000          -
1766.96/1773.07	c      1773          17498        2525         1                -          30.0000          -
1772.63/1778.71	c      1779          17591        2525         1                -          30.0000          -
1778.03/1784.14	c      1784          17658        2537         1                -          30.0000          -
1783.01/1789.15	c      1789          17701        2541         1                -          30.0000          -
1788.28/1794.47	c      1794          17710        2550         1                -          30.0000          -
1793.98/1800.13	c      1800          17808        2575         1                -          30.0000          -
1799.45/1805.62	c      1806          17855        2586         1                -          30.0000          -
1805.44/1811.62	c      1812          17899        2610         1                -          30.0000          -
1810.83/1817.02	c      1817          17948        2637         1                -          30.0000          -
1816.99/1823.24	c      1823          17964        2653         1                -          30.0000          -
1822.38/1828.68	c      1829          18040        2664         1                -          30.0000          -
1828.56/1834.82	c      1835          18123        2674         1                -          30.0000          -
1833.64/1839.96	c      1840          18150        2693         1                -          30.0000          -
1840.52/1846.87	c      1847          18188        2708         1                -          30.0000          -
1847.30/1853.68	c      1854          18211        2731         1                -          30.0000          -
1853.80/1860.14	c      1860          18239        2757         1                -          30.0000          -
1859.86/1866.22	c      1866          18267        2783         1                -          30.0000          -
1865.35/1871.74	c      1872          18280        2796         1                -          30.0000          -
1871.82/1878.29	c      1878          18303        2819         1                -          30.0000          -
1877.62/1884.02	c      1884          18327        2841         1                -          30.0000          -
1883.08/1889.53	c      1890          18353        2867         1                -          30.0000          -
1888.57/1895.10	c      1895          18384        2891         1                -          30.0000          -
1894.24/1900.74	c      1901          18412        2919         1                -          30.0000          -
1899.92/1906.44	c      1906          18480        2936         1                -          30.0000          -
1905.79/1912.39	c      1912          18515        2959         1                -          30.0000          -
1910.97/1917.55	c      1918          18537        2975         1                -          30.0000          -
1916.46/1923.04	c      1923          18558        2994         1                -          30.0000          -
1922.92/1929.52	c      1930          18593        3013         1                -          30.0000          -
1928.70/1935.32	c      1935          18627        3039         1                -          30.0000          -
1933.79/1940.42	c      1940          18666        3053         1                -          30.0000          -
1940.26/1946.91	c      1947          18702        3070         1                -          30.0000          -
1945.55/1952.25	c      1952          18726        3081         1                -          30.0000          -
1951.33/1958.02	c      1958          18867        3084         1                -          30.0000          -
1956.80/1963.58	c      1964          18890        3106         1                -          30.0000          -
1962.29/1969.09	c      1969          18910        3126         1                -          30.0000          -
1968.05/1974.81	c      1975          18934        3149         1                -          30.0000          -
1973.73/1980.52	c      1981          18983        3164         1                -          30.0000          -
1979.32/1986.16	c      1986          19006        3181         1                -          30.0000          -
1984.59/1991.45	c      1991          19048        3192         1                -          30.5000          -
1991.37/1998.25	c      1998          19074        3215         1                -          30.5000          -
1998.94/2005.82	c      2006          19089        3228         1                -          30.5000          -
2004.92/2011.82	c      2012          19119        3254         1                -          30.5000          -
2011.10/2018.03	c      2018          19175        3264         1                -          31.0000          -
2018.08/2025.05	c      2025          19189        3278         1                -          31.0000          -
2023.25/2030.25	c      2030          19244        3301         1                -          31.0000          -
2028.43/2035.46	c      2035          19297        3308         1                -          31.0000          -
2035.40/2042.44	c      2042          19325        3328         1                -          31.0000          -
2041.38/2048.44	c      2048          19345        3340         1                -          31.0000          -
2047.36/2054.47	c      2054          19370        3361         1                -          31.0000          -
2053.33/2060.45	c      2060          19394        3382         1                -          31.0000          -
2059.02/2066.18	c      2066          19447        3393         1                -          31.0000          -
2064.29/2071.45	c      2071          19474        3403         1                -          31.0000          -
2069.88/2077.08	c      2077          19573        3430         1                -          31.0000          -
2075.65/2082.88	c      2083          19670        3423         1                -          31.0000          -
2081.63/2088.89	c      2089          19690        3439         1                -          31.0000          -
2087.21/2094.40	c      2094          19712        3455         1                -          31.0000          -
2092.80/2100.03	c      2100          19730        3472         1                -          31.0000          -
2098.56/2105.85	c      2106          19834        3481         1                -          31.0000          -
2103.64/2110.97	c      2111          19868        3494         1                -          31.0000          -
2108.83/2116.14	c      2116          19917        3506         1                -          31.0000          -
2114.59/2121.97	c      2122          19954        3530         1                -          31.0000          -
2120.07/2127.40	c      2127          20036        3571         1                -          31.0000          -
2125.36/2132.74	c      2133          20096        3603         1                -          31.0000          -
2130.75/2138.18	c      2138          20155        3618         1                -          31.0000          -
2135.92/2143.39	c      2143          20235        3618         1                -          31.0000          -
2142.19/2149.65	c      2150          20277        3633         1                -          31.0000          -
2147.47/2154.97	c      2155          20298        3654         1                -          31.0000          -
2152.85/2160.35	c      2160          20334        3674         1                -          31.0000          -
2158.23/2165.78	c      2166          20374        3698         1                -          31.0000          -
2163.71/2171.28	c      2171          20418        3742         1                -          31.0000          -
2169.08/2176.68	c      2177          20451        3771         1                -          31.0000          -
2174.16/2181.76	c      2182          20496        3802         1                -          31.0000          -
2179.84/2187.48	c      2187          20557        3831         1                -          31.0000          -
2184.83/2192.49	c      2192          20602        3847         1                -          31.0000          -
2190.21/2197.89	c      2198          20678        3858         1                -          31.0000          -
2196.18/2203.83	c      2204          20718        3884         1                -          31.0000          -
2201.56/2209.22	c      2209          20740        3898         1                -          31.0000          -
2207.04/2214.77	c      2215          20795        3913         1                -          31.0000          -
2212.43/2220.19	c      2220          20826        3935         1                -          31.0000          -
2217.50/2225.21	c      2225          20866        3953         1                -          31.0000          -
2222.87/2230.67	c      2231          20901        3984         1                -          31.0000          -
2230.14/2237.99	c      2238          20948        4002         1                -          31.0000          -
2236.43/2244.29	c      2244          20972        4022         1                -          31.0000          -
2244.21/2252.01	c      2252          20996        4035         1                -          31.0000          -
2250.07/2257.97	c      2258          21025        4052         1                -          31.0000          -
2262.72/2270.63	c      2271          21063        4069         1                -          31.0000          -
2268.11/2276.05	c      2276          21096        4085         1                -          31.0000          -
2273.58/2281.52	c      2282          21168        4114         1                -          31.0000          -
2279.07/2287.03	c      2287          21238        4149         1                -          31.0000          -
2284.06/2292.05	c      2292          21324        4154         1                -          31.0000          -
2289.42/2297.44	c      2297          21367        4191         1                -          31.0000          -
2294.50/2302.58	c      2303          21395        4213         1                -          31.0000          -
2302.37/2310.47	c      2310          21414        4220         1                -          31.0000          -
2309.64/2317.76	c      2318          21422        4228         1                -          31.0000          -
2315.62/2323.79	c      2324          21454        4250         1                -          31.0000          -
2321.30/2329.48	c      2329          21544        4264         1                -          31.0000          -
2327.07/2335.22	c      2335          21587        4275         1                -          31.0000          -
2332.96/2341.12	c      2341          21697        4282         1                -          31.0000          -
2337.94/2346.14	c      2346          21759        4279         1                -          32.0000          -
2345.61/2353.89	c      2354          21772        4292         1                -          32.0000          -
2352.28/2360.55	c      2361          21802        4314         1                -          32.0000          -
2358.55/2366.87	c      2367          21835        4341         1                -          32.0000          -
2364.13/2372.40	c      2372          21859        4365         1                -          32.0000          -
2369.51/2377.88	c      2378          21897        4397         1                -          32.0000          -
2375.39/2383.70	c      2384          21919        4419         1                -          32.0000          -
2381.16/2389.52	c      2390          21946        4446         1                -          32.0000          -
2386.85/2395.28	c      2395          21978        4468         1                -          32.0000          -
2392.74/2401.12	c      2401          22030        4494         1                -          32.0000          -
2398.80/2407.21	c      2407          22049        4512         1                -          32.0000          -
2403.98/2412.44	c      2412          22094        4542         1                -          32.0000          -
2411.66/2420.17	c      2420          22131        4544         1                -          32.0000          -
2416.73/2425.22	c      2425          22161        4552         1                -          32.0000          -
2424.40/2432.95	c      2433          22210        4575         1                -          32.0000          -
2429.98/2438.58	c      2439          22225        4590         1                -          32.0000          -
2435.06/2443.64	c      2444          22290        4610         1                -          32.0000          -
2440.05/2448.65	c      2449          22381        4629         1                -          32.0000          -
2445.44/2454.08	c      2454          22485        4627         1                -          32.0000          -
2450.91/2459.56	c      2460          22537        4639         1                -          32.0000          -
2456.09/2464.74	c      2465          22609        4655         1                -          32.0000          -
2461.86/2470.54	c      2471          22714        4664         1                -          32.0000          -
2467.54/2476.26	c      2476          22757        4684         1                -          32.0000          -
2472.72/2481.43	c      2481          22796        4705         1                -          32.0000          -
2478.59/2487.32	c      2487          22824        4715         1                -          32.0000          -
2484.57/2493.30	c      2493          22874        4737         1                -          32.0000          -
2490.45/2499.22	c      2499          22890        4753         1                -          32.0000          -
2495.83/2504.69	c      2505          22931        4780         1                -          32.0000          -
2501.11/2509.99	c      2510          22963        4801         1                -          32.0000          -
2506.30/2515.18	c      2515          22977        4809         1                -          32.0000          -
2511.47/2520.32	c      2520          23020        4833         1                -          32.0000          -
2516.95/2525.80	c      2526          23088        4847         1                -          32.0000          -
2522.43/2531.37	c      2531          23136        4865         1                -          32.0000          -
2527.51/2536.47	c      2536          23150        4877         1                -          32.0000          -
2533.48/2542.46	c      2542          23176        4903         1                -          32.0000          -
2539.56/2548.58	c      2549          23208        4931         1                -          32.0000          -
2545.05/2554.06	c      2554          23243        4958         1                -          32.0000          -
2550.03/2559.06	c      2559          23281        4971         1                -          32.0000          -
2556.69/2565.74	c      2566          23315        4997         1                -          32.0000          -
2562.27/2571.37	c      2571          23377        5016         1                -          32.0000          -
2568.35/2577.41	c      2577          23494        5025         1                -          32.0000          -
2573.73/2582.81	c      2583          23579        5022         1                -          32.0000          -
2578.92/2588.04	c      2588          23600        5043         1                -          32.0000          -
2584.29/2593.47	c      2593          23617        5060         1                -          32.0000          -
2589.98/2599.18	c      2599          23635        5076         1                -          32.0000          -
2596.04/2605.28	c      2605          23656        5095         1                -          32.0000          -
2601.12/2610.31	c      2610          23673        5110         1                -          32.0000          -
2606.51/2615.78	c      2616          23697        5133         1                -          32.0000          -
2612.08/2621.39	c      2621          23721        5155         1                -          32.0000          -
2617.88/2627.15	c      2627          23747        5173         1                -          32.0000          -
2623.04/2632.37	c      2632          23790        5198         1                -          32.0000          -
2628.42/2637.76	c      2638          23818        5213         1                -          32.0000          -
2635.71/2645.03	c      2645          23865        5255         1                -          32.0000          -
2641.57/2650.91	c      2651          23903        5282         1                -          32.0000          -
2646.85/2656.29	c      2656          23938        5300         1                -          32.0000          -
2652.52/2661.91	c      2662          24006        5313         1                -          32.0000          -
2657.50/2666.98	c      2667          24043        5328         1                -          32.0000          -
2662.98/2672.43	c      2672          24070        5352         1                -          32.0000          -
2668.36/2677.86	c      2678          24153        5384         1                -          32.0000          -
2673.55/2683.08	c      2683          24234        5402         1                -          32.0000          -
2678.72/2688.29	c      2688          24306        5428         1                -          32.0000          -
2684.20/2693.79	c      2694          24396        5441         1                -          32.0000          -
2689.79/2699.37	c      2699          24448        5456         1                -          32.0000          -
2695.17/2704.78	c      2705          24502        5469         1                -          32.0000          -
2701.15/2710.71	c      2711          24529        5488         1                -          32.0000          -
2711.92/2721.53	c      2722          24602        5504         1                -          32.0000          -
2717.90/2727.54	c      2728          24638        5534         1                -          32.0000          -
2723.49/2733.14	c      2733          24693        5565         1                -          32.0000          -
2728.96/2738.60	c      2739          24772        5570         1                -          32.0000          -
2734.54/2744.29	c      2744          24806        5598         1                -          32.0000          -
2739.83/2749.51	c      2750          24837        5604         1                -          32.0000          -
2744.91/2754.68	c      2755          24875        5620         1                -          32.0000          -
2751.50/2761.24	c      2761          24910        5637         1                -          32.0000          -
2757.57/2767.33	c      2767          24949        5648         1                -          32.0000          -
2762.86/2772.63	c      2773          24966        5654         1                -          32.0000          -
2769.83/2779.66	c      2780          25040        5661         1                -          32.0000          -
2775.23/2785.07	c      2785          25062        5678         1                -          32.0000          -
2780.50/2790.31	c      2790          25081        5697         1                -          32.0000          -
2785.48/2795.35	c      2795          25103        5717         1                -          32.0000          -
2790.86/2800.78	c      2801          25144        5743         1                -          32.0000          -
2796.54/2806.43	c      2806          25188        5777         1                -          32.0000          -
2802.02/2811.93	c      2812          25255        5800         1                -          32.0000          -
2807.80/2817.75	c      2818          25393        5821         1                -          32.0000          -
2813.58/2823.50	c      2824          25419        5831         1                -          32.0000          -
2819.09/2829.03	c      2829          25435        5842         1                -          32.0000          -
2824.85/2834.83	c      2835          25490        5860         1                -          32.0000          -
2830.83/2840.80	c      2841          25542        5884         1                -          32.0000          -
2835.91/2846.01	c      2846          25584        5900         1                -          32.0000          -
2844.28/2854.37	c      2854          25636        5915         1                -          32.0000          -
2849.36/2859.45	c      2859          25673        5938         1                -          32.0000          -
2854.65/2864.74	c      2865          25702        5950         1                -          32.0000          -
2859.95/2870.10	c      2870          25739        5967         1                -          32.0000          -
2865.82/2875.90	c      2876          25762        5979         1                -          32.0000          -
2872.09/2882.26	c      2882          25811        6013         1                -          32.0000          -
2878.07/2888.28	c      2888          25841        6043         1                -          32.0000          -
2883.75/2893.97	c      2894          25888        6074         1                -          32.0000          -
2889.43/2899.63	c      2900          25918        6102         1                -          32.0000          -
2895.41/2905.62	c      2906          25966        6142         1                -          32.0000          -
2901.39/2911.60	c      2912          26009        6174         1                -          32.0000          -
2906.47/2916.70	c      2917          26050        6205         1                -          32.0000          -
2912.46/2922.73	c      2923          26099        6246         1                -          32.0000          -
2918.04/2928.37	c      2928          26160        6283         1                -          33.0000          -
2923.92/2934.28	c      2934          26208        6310         1                -          33.0000          -
2929.40/2939.73	c      2940          26269        6346         1                -          33.0000          -
2935.98/2946.35	c      2946          26305        6378         1                -          33.0000          -
2942.45/2952.85	c      2953          26336        6403         1                -          33.0000          -
2948.43/2958.80	c      2959          26362        6429         1                -          33.0000          -
2953.63/2964.09	c      2964          26401        6445         1                -          33.0000          -
2959.50/2969.95	c      2970          26475        6462         1                -          33.0000          -
2964.88/2975.37	c      2975          26498        6485         1                -          33.0000          -
2970.26/2980.71	c      2981          26533        6497         1                -          33.0000          -
2976.34/2986.89	c      2987          26559        6504         1                -          33.0000          -
2982.32/2992.89	c      2993          26590        6535         1                -          33.0000          -
2988.30/2998.86	c      2999          26735        6542         1                -          33.0000          -
2993.78/3004.37	c      3004          26787        6556         1                -          33.0000          -
2998.86/3009.45	c      3009          26810        6575         1                -          33.0000          -
3004.95/3015.57	c      3016          26834        6599         1                -          33.0000          -
3010.83/3021.48	c      3021          26861        6626         1                -          33.0000          -
3017.11/3027.72	c      3028          26894        6659         1                -          33.0000          -
3023.19/3033.88	c      3034          26916        6681         1                -          33.0000          -
3028.78/3039.43	c      3039          26951        6702         1                -          33.0000          -
3034.66/3045.35	c      3045          26991        6734         1                -          33.0000          -
3039.84/3050.50	c      3051          27022        6757         1                -          33.0000          -
3044.82/3055.58	c      3056          27089        6767         1                -          33.0000          -
3050.70/3061.46	c      3061          27132        6784         1                -          33.0000          -
3056.68/3067.47	c      3067          27170        6815         1                -          33.0000          -
3062.16/3072.93	c      3073          27195        6832         1                -          33.0000          -
3068.54/3079.31	c      3079          27212        6849         1                -          33.0000          -
3074.02/3084.88	c      3085          27241        6878         1                -          33.0000          -
3079.90/3090.73	c      3091          27284        6901         1                -          33.0000          -
3085.78/3096.61	c      3097          27312        6925         1                -          33.0000          -
3091.07/3102.01	c      3102          27354        6958         1                -          33.0000          -
3096.17/3107.03	c      3107          27400        6978         1                -          33.0000          -
3103.73/3114.64	c      3115          27460        6997         1                -          33.0000          -
3109.31/3120.23	c      3120          27517        7021         1                -          33.0000          -
3114.50/3125.45	c      3125          27553        7039         1                -          33.0000          -
3119.98/3130.91	c      3131          27583        7067         1                -          33.0000          -
3125.66/3136.64	c      3137          27660        7114         1                -          33.0000          -
3131.44/3142.43	c      3142          27724        7169         1                -          33.0000          -
3137.32/3148.37	c      3148          27784        7204         1                -          33.0000          -
3143.01/3154.09	c      3154          27808        7226         1                -          33.0000          -
3148.58/3159.62	c      3160          27848        7246         1                -          33.0000          -
3153.67/3164.71	c      3165          27860        7258         1                -          33.0000          -
3158.96/3170.02	c      3170          27869        7266         1                -          33.0000          -
3165.94/3177.04	c      3177          27900        7297         1                -          33.0000          -
3170.92/3182.07	c      3182          27925        7317         1                -          33.0000          -
3176.01/3187.18	c      3187          27965        7357         1                -          33.0000          -
3182.17/3193.30	c      3193          28000        7386         1                -          33.0000          -
3187.66/3198.81	c      3199          28023        7402         1                -          33.0000          -
3193.04/3204.25	c      3204          28076        7426         1                -          33.0000          -
3200.02/3211.29	c      3211          28120        7443         1                -          33.0000          -
3205.10/3216.32	c      3216          28139        7456         1                -          33.0000          -
3210.79/3222.02	c      3222          28160        7474         1                -          33.0000          -
3216.66/3227.93	c      3228          28195        7495         1                -          33.0000          -
3221.94/3233.27	c      3233          28231        7511         1                -          33.0000          -
3227.52/3238.81	c      3239          28310        7522         1                -          33.0000          -
3233.40/3244.70	c      3245          28388        7535         1                -          33.0000          -
3239.39/3250.71	c      3251          28428        7567         1                -          33.0000          -
3245.17/3256.52	c      3257          28483        7600         1                -          33.0000          -
3250.85/3262.22	c      3262          28543        7626         1                -          33.0000          -
3256.23/3267.63	c      3268          28596        7660         1                -          33.0000          -
3261.31/3272.74	c      3273          28660        7669         1                -          33.0000          -
3266.61/3278.09	c      3278          28732        7702         1                -          33.0000          -
3272.18/3283.63	c      3284          28807        7719         1                -          33.0000          -
3277.26/3288.76	c      3289          28884        7742         1                -          33.0000          -
3282.74/3294.21	c      3294          28961        7763         1                -          33.0000          -
3288.22/3299.79	c      3300          29033        7764         1                -          33.0000          -
3294.01/3305.54	c      3306          29125        7774         1                -          33.0000          -
3299.88/3311.40	c      3311          29204        7788         1                -          33.0000          -
3306.57/3318.13	c      3318          29289        7797         1                -          33.0000          -
3311.84/3323.46	c      3323          29322        7821         1                -          33.0000          -
3319.12/3330.75	c      3331          29377        7851         1                -          33.0000          -
3326.70/3338.36	c      3338          29399        7866         1                -          33.0000          -
3332.29/3343.94	c      3344          29471        7871         1                -          33.0000          -
3338.27/3349.98	c      3350          29507        7902         1                -          33.0000          -
3344.15/3355.88	c      3356          29559        7922         1                -          33.0000          -
3349.44/3361.13	c      3361          29628        7928         1                -          33.0000          -
3356.32/3368.09	c      3368          29664        7962         1                -          33.0000          -
3362.29/3374.04	c      3374          29695        7983         1                -          33.0000          -
3369.05/3380.85	c      3381          29723        7999         1                -          33.0000          -
3375.24/3387.02	c      3387          29768        8041         1                -          33.0000          -
3380.71/3392.56	c      3393          29801        8070         1                -          33.0000          -
3386.39/3398.29	c      3398          29838        8093         1                -          33.0000          -
3391.47/3403.32	c      3403          29883        8103         1                -          33.0000          -
3397.17/3409.10	c      3409          29942        8116         1                -          34.0000          -
3402.93/3414.88	c      3415          29999        8131         1                -          34.0000          -
3408.32/3420.24	c      3420          30032        8154         1                -          34.0000          -
3413.71/3425.60	c      3426          30067        8174         1                -          34.0000          -
3418.99/3430.94	c      3431          30116        8196         1                -          34.0000          -
3424.77/3436.74	c      3437          30164        8225         1                -          34.0000          -
3430.45/3442.41	c      3442          30197        8258         1                -          34.0000          -
3435.93/3447.91	c      3448          30259        8290         1                -          34.0000          -
3442.03/3454.02	c      3454          30281        8301         1                -          34.0000          -
3447.50/3459.53	c      3460          30331        8319         1                -          34.0000          -
3452.78/3464.89	c      3465          30349        8336         1                -          34.0000          -
3458.36/3470.43	c      3470          30418        8352         1                -          34.0000          -
3464.24/3476.30	c      3476          30478        8369         1                -          34.0000          -
3469.82/3481.96	c      3482          30509        8393         1                -          34.0000          -
3475.50/3487.67	c      3488          30535        8409         1                -          34.0000          -
3480.49/3492.68	c      3493          30580        8425         1                -          34.0000          -
3485.57/3497.75	c      3498          30623        8444         1                -          34.0000          -
3490.88/3503.08	c      3503          30674        8464         1                -          34.0000          -
3496.15/3508.35	c      3508          30749        8479         1                -          34.0000          -
3501.94/3514.18	c      3514          30881        8510         1                -          34.0000          -
3507.41/3519.60	c      3520          31006        8513         1                -          34.0000          -
3513.19/3525.43	c      3525          31150        8503         1                -          34.0000          -
3519.27/3531.56	c      3532          31174        8523         1                -          34.0000          -
3524.35/3536.63	c      3537          31195        8535         1                -          34.0000          -
3530.13/3542.44	c      3542          31271        8551         1                -          34.0000          -
3535.12/3547.47	c      3547          31349        8554         1                -          34.0000          -
3541.00/3553.32	c      3553          31381        8573         1                -          34.0000          -
3546.98/3559.33	c      3559          31427        8598         1                -          34.0000          -
3553.06/3565.49	c      3566          31467        8621         1                -          34.0000          -
3559.14/3571.53	c      3572          31501        8633         1                -          34.0000          -
3565.91/3578.34	c      3578          31602        8639         1                -          34.0000          -
3571.90/3584.34	c      3584          31651        8655         1                -          34.0000          -
3577.29/3589.71	c      3590          31767        8645         1                -          34.0000          -
3582.97/3595.49	c      3596          31829        8669         1                -          34.0000          -
3587.66/3600.15	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.66/3600.15	c Total Time         : 3600.1500
3587.66/3600.15	c   solving          : 3600.1500
3587.66/3600.15	c   presolving       : 1.0446 (included in solving)
3587.66/3600.15	c B&B Tree           :
3587.66/3600.15	c   nodes (total)    : 1
3587.66/3600.15	c Solution           :
3587.66/3600.15	c   Solutions found  : 0
3587.66/3600.15	c   Primal Bound     :          -
3587.66/3600.15	c   Dual Bound       : +3.40000000000000e+01
3587.66/3600.15	c Gap                :          -
3587.75/3600.23	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: 64059 MiB (60859 MiB free)
  memory of node 1: 64510 MiB (60830 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=832827, runsolver pid=832824

[startup+0.100102 s]*
/proc/loadavg: 4.10 4.12 4.16 5/248 832828
/proc/meminfo: memFree=124587692/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=45792 memory=34252 CPUtime=0.1 cores=0,2
/proc/832827/stat : 832827 (fscip) R 832824 832827 830624 0 -1 4194304 6456 0 0 0 10 0 0 0 20 0 1 0 162072622 46891008 8563 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 11448 8563 2318 3032 0 7848 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45792 KiB
Current children cumulated memory: 34252 KiB

[startup+0.213152 s]*
/proc/loadavg: 4.10 4.12 4.16 5/248 832828
/proc/meminfo: memFree=124489104/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=143940 memory=130384 CPUtime=0.21 cores=0,2
/proc/832827/stat : 832827 (fscip) R 832824 832827 830624 0 -1 4194304 32534 0 0 0 18 3 0 0 20 0 1 0 162072622 147394560 32596 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 35985 32596 2558 3032 0 32385 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 143940 KiB
Current children cumulated memory: 130384 KiB

[startup+0.313042 s]*
/proc/loadavg: 4.10 4.12 4.16 5/248 832828
/proc/meminfo: memFree=124484396/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=172400 memory=142356 CPUtime=0.31 cores=0,2
/proc/832827/stat : 832827 (fscip) R 832824 832827 830624 0 -1 4194304 34434 0 0 0 28 3 0 0 20 0 1 0 162072622 176537600 35589 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 43100 35589 2638 3032 0 39500 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 172400 KiB
Current children cumulated memory: 142356 KiB

[startup+0.700334 s]
/proc/loadavg: 4.10 4.12 4.16 7/248 832828
/proc/meminfo: memFree=124424744/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=186132 memory=172020 CPUtime=0.69 cores=0,2
/proc/832827/stat : 832827 (fscip) R 832824 832827 830624 0 -1 4194304 41669 0 0 0 63 6 0 0 20 0 1 0 162072622 190599168 43005 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 46533 43005 2702 3032 0 42933 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 186132 KiB
Current children cumulated memory: 172020 KiB

[startup+1.5021 s]
/proc/loadavg: 4.10 4.12 4.16 5/248 832828
/proc/meminfo: memFree=124408488/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=476392 memory=373320 CPUtime=1.49 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 90405 0 0 0 133 16 0 0 20 0 3 0 162072622 487825408 93330 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 119098 93330 2798 3032 0 103242 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 476392 KiB
Current children cumulated memory: 373320 KiB

[startup+3.11312 s]
/proc/loadavg: 4.09 4.12 4.16 5/250 832830
/proc/meminfo: memFree=124125932/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=541928 memory=467764 CPUtime=3.09 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 113614 0 0 0 289 20 0 0 20 0 3 0 162072622 554934272 116941 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 135482 116941 2830 3032 0 131452 0
[pid=832827/tid=832829] ppid=832824 vsize=541928 memory=198340509722 CPUtime=1.8 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 43294 0 0 0 170 10 0 0 20 0 3 0 162072747 554934272 116941 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=541928 memory=0 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162072757 554934272 116941 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 541928 KiB
Current children cumulated memory: 467764 KiB

[startup+6.30038 s]
/proc/loadavg: 4.09 4.12 4.16 5/250 832830
/proc/meminfo: memFree=123933588/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=738536 memory=614192 CPUtime=6.26 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 159187 0 0 0 601 25 0 0 20 0 3 0 162072622 756260864 153548 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 184634 153548 2910 3032 0 169878 0
[pid=832827/tid=832829] ppid=832824 vsize=738536 memory=0 CPUtime=4.98 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 88864 0 0 0 482 16 0 0 20 0 3 0 162072747 756260864 153548 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=738536 memory=0 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 162072757 756260864 153548 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 738536 KiB
Current children cumulated memory: 614192 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.15 5/250 832831
/proc/meminfo: memFree=123835968/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=739020 memory=663588 CPUtime=12.64 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 221243 0 0 0 1233 31 0 0 20 0 3 0 162072622 756756480 165897 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 184755 165897 2910 3032 0 180560 0
[pid=832827/tid=832829] ppid=832824 vsize=739020 memory=0 CPUtime=11.36 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 150881 0 0 0 1115 21 0 0 20 0 3 0 162072747 756756480 165897 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=739020 memory=628120 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 162072757 756756480 165897 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 739020 KiB
Current children cumulated memory: 663588 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.11 4.15 5/250 832833
/proc/meminfo: memFree=123821228/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=743180 memory=668324 CPUtime=25.4 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 280611 0 0 0 2505 35 0 0 20 0 3 0 162072622 761016320 167081 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 185795 167081 2958 3032 0 181600 0
[pid=832827/tid=832829] ppid=832824 vsize=743180 memory=11516 CPUtime=24.12 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 210201 0 0 0 2387 25 0 0 20 0 3 0 162072747 761016320 167081 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=743180 memory=668132 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 162072757 761016320 167081 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 743180 KiB
Current children cumulated memory: 668324 KiB

[startup+51.1132 s]
/proc/loadavg: 4.10 4.12 4.15 5/250 832837
/proc/meminfo: memFree=123745924/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=808716 memory=695704 CPUtime=50.93 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 423214 0 0 0 5047 46 0 0 20 0 3 0 162072622 828125184 173926 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 202179 173926 2974 3032 0 188424 0
[pid=832827/tid=832829] ppid=832824 vsize=808716 memory=695704 CPUtime=49.64 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 352735 0 0 0 4928 36 0 0 20 0 3 0 162072747 828125184 173926 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=808716 memory=687416 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 162072757 828125184 173926 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 808716 KiB
Current children cumulated memory: 695704 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/249 832846
/proc/meminfo: memFree=123655528/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=808716 memory=676296 CPUtime=101.96 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 583556 0 0 0 10140 56 0 0 20 0 3 0 162072622 828125184 169074 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 202179 169074 2974 3032 0 190731 0
[pid=832827/tid=832829] ppid=832824 vsize=808716 memory=140446772912753 CPUtime=100.67 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 512960 0 0 0 10021 46 0 0 20 0 3 0 162072747 828125184 169074 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=808716 memory=703120 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 162072757 828125184 169074 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 808716 KiB
Current children cumulated memory: 676296 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/249 832856
/proc/meminfo: memFree=123537100/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=808716 memory=685288 CPUtime=161.77 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 683831 0 0 0 16114 63 0 0 20 0 3 0 162072622 828125184 171322 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 202179 171322 2974 3032 0 192957 0
[pid=832827/tid=832829] ppid=832824 vsize=808716 memory=693736 CPUtime=160.48 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 613155 0 0 0 15995 53 0 0 20 0 3 0 162072747 828125184 171322 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=808716 memory=693736 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 162072757 828125184 171322 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 808716 KiB
Current children cumulated memory: 685288 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/250 832869
/proc/meminfo: memFree=123485232/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=808716 memory=712880 CPUtime=221.59 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 767699 0 0 0 22090 69 0 0 20 0 3 0 162072622 828125184 178220 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 202179 178220 2974 3032 0 192957 0
[pid=832827/tid=832829] ppid=832824 vsize=808716 memory=6720664337721212271 CPUtime=220.29 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 696959 0 0 0 21971 58 0 0 20 0 3 0 162072747 828125184 178220 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=808716 memory=11516 CPUtime=0 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 162072757 828125184 178220 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 808716 KiB
Current children cumulated memory: 712880 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/250 832879
/proc/meminfo: memFree=123433688/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=808716 memory=714932 CPUtime=281.4 cores=0,2

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

[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3390.48 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1716419 0 0 0 338873 175 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=916628 CPUtime=3388.94 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1644417 0 0 0 338741 153 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=916628 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3390.48 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.28 4.18 5/255 835973
/proc/meminfo: memFree=122433464/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3450.29 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1718460 0 0 0 344853 176 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=916628 CPUtime=3448.74 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1646433 0 0 0 344721 153 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=12020 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 247 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3450.29 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.26 4.18 5/253 835984
/proc/meminfo: memFree=122426340/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3510.1 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1719875 0 0 0 350833 177 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=916628 CPUtime=3508.55 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1647829 0 0 0 350701 154 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=916628 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 249 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3510.1 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/253 835994
/proc/meminfo: memFree=122397860/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3569.91 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721030 0 0 0 356813 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=916628 CPUtime=3568.35 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1648960 0 0 0 356681 154 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=6720664337721212271 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 253 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

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

# cumulated CPU time of all completed processes:  user=3586 s, system=1.80023 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.22 4.17 5/253 835994
/proc/meminfo: memFree=122397872/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3571.62 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721030 0 0 0 356984 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=6720669843886259562 CPUtime=3570.06 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1648960 0 0 0 356852 154 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=-7377872172555591543 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 253 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.22 4.17 5/252 835996
/proc/meminfo: memFree=122391632/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3577.98 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721200 0 0 0 357620 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=6720669843886259562 CPUtime=3576.43 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1649126 0 0 0 357488 155 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=-7377872172555591543 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 255 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3577.98 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.21 4.17 5/252 836093
/proc/meminfo: memFree=123999928/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3584.36 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721230 0 0 0 358258 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=916628 CPUtime=3582.81 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1649156 0 0 0 358126 155 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=3592548211755498 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 255 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3598.4 s]
/proc/loadavg: 4.10 4.21 4.17 5/252 836093
/proc/meminfo: memFree=123862156/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3585.96 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721238 0 0 0 358418 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=3592561096657130 CPUtime=3584.4 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1649164 0 0 0 358285 155 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=1824 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 255 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3599.2 s]
/proc/loadavg: 4.09 4.21 4.17 5/252 836094
/proc/meminfo: memFree=123705844/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3586.75 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721239 0 0 0 358497 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=11516 CPUtime=3585.2 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1649165 0 0 0 358365 155 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=41416 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 255 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3600 s]*
/proc/loadavg: 4.09 4.21 4.17 5/252 836094
/proc/meminfo: memFree=123704700/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=944080 memory=916628 CPUtime=3587.56 cores=0,2
/proc/832827/stat : 832827 (fscip) S 832824 832827 830624 0 -1 1077936128 1721244 0 0 0 358578 178 0 0 20 0 3 0 162072622 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 236020 229157 2990 3032 0 231842 0
[pid=832827/tid=832829] ppid=832824 vsize=944080 memory=13884 CPUtime=3586.01 cores=0,2
/proc/832827/task/832829/stat : 832829 (fscip) R 832824 832827 830624 0 -1 4194368 1649169 0 0 0 358446 155 0 0 20 0 3 0 162072747 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
[pid=832827/tid=832830] ppid=832824 vsize=944080 memory=11568 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 255 0 0 0 1 4 0 0 20 0 3 0 162072757 966737920 229157 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 944080 KiB
Current children cumulated memory: 916628 KiB

[startup+3600.2 s]
/proc/loadavg: 4.09 4.21 4.17 5/252 836094
/proc/meminfo: memFree=123704700/131655788 swapFree=131071996/131071996
[pid=832827] ppid=832824 vsize=873424 memory=802624 CPUtime=3587.75 cores=0,2
/proc/832827/stat : 832827 (fscip) R 832824 832827 830624 0 -1 4194304 1723247 0 0 0 358597 178 0 0 20 0 2 0 162072622 894386176 200656 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
/proc/832827/statm: 218356 200656 2990 3032 0 214256 0
[pid=832827/tid=832830] ppid=832824 vsize=873424 memory=25126 CPUtime=0.05 cores=0,2
/proc/832827/task/832830/stat : 832830 (fscip) S 832824 832827 830624 0 -1 1077936192 255 0 0 0 1 4 0 0 20 0 2 0 162072757 894386176 200656 134679101440 4194304 16613245 140734855931600 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 57094144 140734855934997 140734855935113 140734855935113 140734855942128 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 873424 KiB
Current children cumulated memory: 802624 KiB

Child status: 0

Real time (s): 3600.24
CPU time (s): 3587.8
CPU user time (s): 3586
CPU system time (s): 1.80023
CPU usage (%): 99.6544
Max. virtual memory (cumulated for all children) (KiB): 1009616
Max. memory (cumulated for all children) (KiB): 966532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586
system time used= 1.80023
maximum resident set size= 966532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1723909
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= 8731
involuntary context switches= 24566


# summary of solver processes directly reported to runsolver:
#   pid: 832827
#   total CPU time (s): 3587.8
#   total CPU user time (s): 3586
#   total CPU system time (s): 1.80023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9839 second user time and 36.572 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-16 05:05:51
IDJOB=4434678
IDBENCH=147626
IDSOLVER=3064
FILE ID=nodeC006/4434678-1721099139
RUNJOBID= nodeC006-1721095536-830634
SLURM_JOB_ID= 7505606
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.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-4434678-1721099139/watcher-4434678-1721099139 -o /tmp/evaluation-result-4434678-1721099139/solver-4434678-1721099139 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830634 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434678-1721099139.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=334102000

nodeC006.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		: 3514.005
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.94
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		: 3556.182
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.26
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.248
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.94
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.392
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.26
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		: 3669.869
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.94
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		: 3453.674
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.26
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.433
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.94
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.396
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124610320 kB
MemAvailable:   128330096 kB
Buffers:          396868 kB
Cached:          4119788 kB
SwapCached:            0 kB
Active:           700644 kB
Inactive:        5718924 kB
Active(anon):       1468 kB
Inactive(anon):  1938856 kB
Active(file):     699176 kB
Inactive(file):  3780068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             94440 kB
Writeback:             0 kB
AnonPages:       1902744 kB
Mapped:           139012 kB
Shmem:             37704 kB
KReclaimable:     161128 kB
Slab:             265460 kB
SReclaimable:     161128 kB
SUnreclaim:       104332 kB
KernelStack:        4000 kB
PageTables:        12960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1760388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 06:05:52