Trace number 4464010

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-30? 3587.66 3598.2

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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.19	c Default LC presolving (default).
0.09/0.19	c ** Before presolving: virtualMemUsedAtLc = 156337388, getVmSize() = 147410944, SCIPgetMemUsed() = 69083810, SCIPgetMemTotal() = 120989682, SCIPgetMemExternEstim() = 35347706
0.09/0.19	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.09/1.17	c ** Estimated virtualMemUsedAtSolver = 219324374, getVmSize() = 318074880, SCIPgetMemUsed() = 177940096, SCIPgetMemTotal() = 293638856, SCIPgetMemExternEstim() = 35347706
1.09/1.17	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.09/1.17	c Original Problem   :
1.09/1.17	c   Problem name     : instance-4464010-1722378597
1.09/1.17	c   Variables        : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.17	c   Constraints      : 13888
1.09/1.17	c   Objective sense  : minimize
1.09/1.17	c Presolved Problem  :
1.09/1.17	c   Variables        : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.17	c   Constraints      : 8452
1.09/1.17	c Constraints        : Number
1.09/1.17	c   knapsack         : 16 
1.09/1.17	c   setppc           : 1500 
1.09/1.17	c   linear           : 6936 
1.09/1.17	c ** Instance transfer method used: 0
1.19/1.20	c ** ParaScipInstance copy does not increase the number of variables. **
1.19/1.23	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.19/1.23	c                                Nodes    Active                                            
1.19/1.23	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
10.16/10.28	c        10              2           1         1                -          17.0000          -
15.34/15.46	c        15             24          23         1                -          17.0000          -
24.12/24.22	c        24             31          30         1                -          17.0000          -
29.30/29.43	c        29             45          44         1                -          17.0000          -
34.79/34.90	c        35             73          72         1                -          18.0000          -
45.37/45.50	c        46             99          98         1                -          18.0000          -
58.13/58.33	c        58            115         112         1                -          18.0000          -
63.61/63.85	c        64            154         145         1                -          18.0000          -
75.28/75.53	c        76            184         173         1                -          18.0000          -
80.95/81.20	c        81            231         216         1                -          18.0000          -
95.01/95.38	c        95            258         241         1                -          18.0000          -
103.98/104.32	c       104            282         265         1                -          18.0000          -
110.56/110.93	c       111            283         266         1                -          18.0000          -
116.13/116.59	c       117            309         290         1                -          18.0000          -
125.01/125.45	c       125            338         319         1                -          18.0000          -
136.99/137.47	c       137            358         335         1                -          18.0000          -
142.47/142.97	c       143            377         350         1                -          18.0000          -
153.05/153.50	c       154            405         378         1                -          18.0000          -
158.03/158.56	c       159            436         407         1                -          18.0000          -
163.72/164.29	c       164            502         461         1                -          18.0000          -
177.79/178.31	c       178            529         484         1                -          18.0000          -
185.57/186.14	c       186            561         512         1                -          18.0000          -
191.85/192.47	c       192            572         519         1                -          18.0000          -
211.70/212.37	c       212            592         539         1                -          18.0000          -
217.79/218.46	c       218            594         541         1                -          18.0000          -
226.37/227.00	c       227            606         553         1                -          18.0000          -
235.74/236.43	c       236            607         554         1                -          18.0000          -
241.43/242.15	c       242            629         576         1                -          18.0000          -
248.71/249.42	c       249            662         607         1                -          18.0000          -
256.40/257.11	c       257            683         625         1                -          18.0000          -
266.06/266.84	c       267            692         634         1                -          18.0000          -
278.14/278.95	c       279            693         635         1                -          18.0000          -
284.03/284.89	c       285            710         652         1                -          18.0000          -
291.01/291.84	c       292            713         655         1                -          18.0000          -
305.18/306.01	c       306            723         661         1                -          18.0000          -
310.36/311.22	c       311            735         673         1                -          18.0000          -
317.95/318.89	c       319            755         693         1                -          18.0000          -
333.71/334.69	c       335            757         695         1                -          18.0000          -
343.78/344.75	c       345            802         734         1                -          18.0000          -
353.76/354.73	c       355            809         741         1                -          18.0000          -
363.43/364.43	c       364            843         769         1                -          18.0000          -
368.62/369.62	c       370            864         788         1                -          18.0000          -
373.91/374.99	c       375            904         825         1                -          18.0000          -
379.59/380.67	c       381            943         852         1                -          18.0000          -
385.58/386.60	c       387            999         904         1                -          18.0000          -
398.45/399.55	c       400           1031         932         1                -          18.0000          -
412.21/413.31	c       413           1082         968         1                -          18.0000          -
420.30/421.41	c       421           1082         968         1                -          18.0000          -
425.78/426.92	c       427           1104         986         1                -          18.0000          -
431.37/432.53	c       433           1131        1007         1                -          18.0000          -
437.35/438.54	c       439           1171        1041         1                -          18.0000          -
443.43/444.62	c       445           1233        1093         1                -          18.0000          -
449.02/450.26	c       450           1306        1156         1                -          18.0000          -
454.70/455.90	c       456           1364        1207         1                -          18.0000          -
460.59/461.80	c       462           1414        1254         1                -          18.0000          -
466.47/467.74	c       468           1447        1285         1                -          18.0000          -
471.86/473.16	c       473           1499        1329         1                -          18.0000          -
477.54/478.87	c       479           1574        1389         1                -          18.0000          -
489.11/490.46	c       490           1617           1         1                -          18.0000          -
494.49/495.82	c       496           1690          52         1                -          18.0000          -
500.97/502.33	c       502           1728          88         1                -          18.0000          -
506.86/508.27	c       508           1750         100         1                -          18.0000          -
513.15/514.51	c       515           1847         146         1                -          18.0000          -
518.83/520.26	c       520           1956         221         1                -          20.0000          -
524.51/525.94	c       526           2085         257         1                -          21.0000          -
530.50/531.97	c       532           2199         290         1                -          22.0000          -
536.29/537.74	c       538           2370         361         1                -          24.0000          -
541.37/542.83	c       543           2540         390         1                -          24.0000          -
546.66/548.16	c       548           2731         421         1                -          24.0588          -
551.64/553.18	c       553           2907         440         1                -          25.0000          -
557.22/558.72	c       559           3041         491         1                -          25.0000          -
562.62/564.12	c       564           3259         517         1                -          25.0000          -
567.70/569.28	c       569           3432         537         1                -          25.0000          -
573.07/574.60	c       575           3669         533         1                -          25.0000          -
578.27/579.84	c       580           3887         558         1                -          25.0000          -
584.05/585.61	c       586           4087         557         1                -          26.0000          -
589.13/590.74	c       591           4287         593         1                -          26.0000          -
594.32/595.90	c       596           4427         637         1                -          27.0000          -
599.61/601.21	c       601           4639         652         1                -          27.0000          -
604.59/606.29	c       606           4810         657         1                -          27.0000          -
609.87/611.59	c       612           5053         651         1                -          27.0000          -
615.56/617.21	c       617           5328         662         1                -          27.0000          -
620.74/622.41	c       622           5518         676         1                -          28.0000          -
625.73/627.46	c       627           5717         702         1                -          28.0000          -
631.81/633.50	c       634           5766         730         1                -          28.0000          -
636.91/638.65	c       639           5791         755         1                -          28.0000          -
647.48/649.22	c       649           5825         785         1                -          28.0000          -
653.66/655.44	c       655           5859         819         1                -          28.0000          -
659.35/661.12	c       661           5893         853         1                -          28.0000          -
664.93/666.77	c       667           5970         891         1                -          28.0000          -
670.32/672.19	c       672           6125         903         1                -          28.0000          -
675.90/677.75	c       678           6334         897         1                -          28.0000          -
681.38/683.26	c       683           6560         921         1                -          28.0000          -
686.77/688.63	c       689           6767         909         1                -          28.0000          -
692.05/693.91	c       694           7050         923         1                -          28.0000          -
697.43/699.38	c       699           7219         927         1                -          28.0000          -
707.41/709.32	c       709           7297         932         1                -          28.0000          -
713.00/714.90	c       715           7329         950         1                -          28.0000          -
718.88/720.89	c       721           7411         973         1                -          28.0000          -
725.36/727.33	c       727           7463         971         1                -          28.0000          -
730.65/732.63	c       733           7579         973         1                -          28.0000          -
735.93/737.90	c       738           7671         958         1                -          28.0000          -
742.51/744.58	c       745           7767         956         1                -          28.0000          -
748.39/750.42	c       750           7870         975         1                -          28.0000          -
753.58/755.64	c       756           7992         997         1                -          28.0000          -
759.36/761.45	c       761           8092        1001         1                -          28.0000          -
765.06/767.11	c       767           8211         996         1                -          28.0000          -
770.94/773.05	c       773           8345         995         1                -          28.0000          -
776.52/778.66	c       779           8409         981         1                -          28.0000          -
783.41/785.53	c       786           8448         988         1                -          28.0000          -
790.29/792.41	c       792           8503        1008         1                -          28.0000          -
796.07/798.20	c       798           8604        1018         1                -          28.0000          -
802.06/804.29	c       804           8642        1025         1                -          28.0000          -
807.65/809.85	c       810           8645        1024         1                -          28.0000          -
813.13/815.30	c       815           8835        1055         1                -          28.0000          -
819.02/821.21	c       821           8980        1070         1                -          28.0000          -
825.50/827.79	c       828           9052        1082         1                -          28.0000          -
830.89/833.13	c       833           9172        1097         1                -          28.0000          -
835.97/838.24	c       838           9327        1087         1                -          28.0000          -
841.86/844.15	c       844           9525        1076         1                -          29.0000          -
847.64/849.92	c       850           9578        1102         1                -          29.0000          -
852.93/855.24	c       855           9630        1105         1                -          29.0000          -
858.91/861.23	c       861           9680        1108         1                -          29.0000          -
865.00/867.33	c       867           9752        1112         1                -          29.0000          -
872.98/875.37	c       875           9821        1112         1                -          29.0000          -
878.16/880.57	c       881           9963        1110         1                -          29.0000          -
883.45/885.83	c       886          10041        1134         1                -          29.0000          -
889.04/891.46	c       891          10166        1149         1                -          29.0000          -
894.22/896.63	c       897          10282        1170         1                -          29.0000          -
899.61/902.02	c       902          10438        1127         1                -          29.0000          -
905.89/908.30	c       908          10557        1115         1                -          29.0000          -
915.07/917.52	c       918          10570        1111         1                -          29.0000          -
920.85/923.35	c       923          10579        1103         1                -          29.0000          -
926.14/928.69	c       929          10661        1103         1                -          29.0000          -
931.43/933.94	c       934          10723        1098         1                -          29.0000          -
937.11/939.63	c       940          10798        1111         1                -          29.0000          -
953.26/955.81	c       956          10908        1118         1                -          30.0000          -
958.64/961.25	c       961          10928        1130         1                -          30.0000          -
969.51/972.14	c       972          11019        1150         1                -          30.0000          -
975.49/978.18	c       978          11025        1156         1                -          30.0000          -
981.37/984.00	c       984          11053        1160         1                -          30.0000          -
986.85/989.59	c       990          11085        1165         1                -          30.0000          -
993.34/996.05	c       996          11088        1164         1                -          30.0000          -
998.81/1001.58	c      1002          11147        1163         1                -          30.0000          -
1004.30/1007.06	c      1007          11222        1170         1                -          30.0000          -
1010.28/1013.00	c      1013          11316        1196         1                -          30.0000          -
1016.65/1019.44	c      1019          11346        1198         1                -          30.0000          -
1023.53/1026.36	c      1026          11447        1211         1                -          30.0000          -
1029.23/1032.10	c      1032          11488        1238         1                -          30.0000          -
1037.60/1040.46	c      1040          11548        1238         1                -          30.0000          -
1045.78/1048.68	c      1049          11586        1234         1                -          30.0000          -
1051.67/1054.57	c      1055          11624        1239         1                -          30.0000          -
1057.35/1060.20	c      1060          11718        1240         1                -          30.0000          -
1066.82/1069.78	c      1070          11751        1242         1                -          30.0000          -
1072.41/1075.37	c      1075          11775        1258         1                -          30.0000          -
1078.30/1081.29	c      1081          11847        1267         1                -          30.0000          -
1083.97/1086.96	c      1087          11847        1267         1                -          30.0000          -
1089.37/1092.34	c      1092          11889        1276         1                -          30.0000          -
1095.15/1098.12	c      1098          11896        1283         1                -          30.0000          -
1115.50/1118.58	c      1119          11906        1289         1                -          30.0000          -
1120.58/1123.66	c      1124          11915        1298         1                -          30.0000          -
1126.47/1129.50	c      1130          11920        1303         1                -          30.0000          -
1132.35/1135.42	c      1135          11920        1303         1                -          30.0000          -
1152.20/1155.39	c      1155          11924        1307         1                -          30.0000          -
1160.08/1163.24	c      1163          11946        1313         1                -          30.0000          -
1166.07/1169.21	c      1169          11957        1315         1                -          30.0000          -
1171.36/1174.56	c      1175          11987        1314         1                -          30.0000          -
1180.33/1183.51	c      1184          12005        1307         1                -          30.0000          -
1185.92/1189.15	c      1189          12034        1313         1                -          30.0000          -
1191.81/1195.00	c      1195          12093        1312         1                -          30.0000          -
1197.99/1201.23	c      1201          12141        1319         1                -          30.0000          -
1203.97/1207.29	c      1207          12180        1328         1                -          30.0000          -
1210.06/1213.35	c      1213          12218        1350         1                -          30.0000          -
1215.34/1218.64	c      1219          12300        1364         1                -          30.0000          -
1221.03/1224.36	c      1224          12332        1376         1                -          30.0000          -
1226.31/1229.61	c      1230          12470        1377         1                -          30.0000          -
1231.50/1234.81	c      1235          12618        1368         1                -          30.0000          -
1236.59/1239.99	c      1240          12663        1368         1                -          30.0000          -
1242.27/1245.69	c      1246          12774        1371         1                -          30.0000          -
1247.56/1250.96	c      1251          12855        1372         1                -          30.0000          -
1253.54/1256.98	c      1257          12897        1383         1                -          30.0000          -
1258.94/1262.35	c      1262          12917        1403         1                -          30.0000          -
1264.62/1268.00	c      1268          13009        1431         1                -          30.0000          -
1269.71/1273.12	c      1273          13047        1445         1                -          30.0000          -
1277.09/1280.55	c      1281          13128        1445         1                -          30.0000          -
1282.27/1285.77	c      1286          13253        1451         1                -          30.0000          -
1287.86/1291.32	c      1291          13348        1457         1                -          30.0000          -
1293.65/1297.13	c      1297          13452        1466         1                -          30.0000          -
1299.63/1303.16	c      1303          13487        1495         1                -          30.0000          -
1305.41/1308.93	c      1309          13528        1527         1                -          30.0000          -
1311.50/1315.08	c      1315          13578        1549         1                -          30.0000          -
1318.17/1321.77	c      1322          13603        1556         1                -          30.0000          -
1323.76/1327.39	c      1327          13626        1577         1                -          30.0000          -
1329.45/1333.03	c      1333          13706        1618         1                -          30.0000          -
1335.03/1338.64	c      1339          13748        1650         1                -          30.0000          -
1340.61/1344.21	c      1344          13859        1680         1                -          30.0000          -
1345.90/1349.50	c      1350          14019        1683         1                -          30.0000          -
1350.88/1354.57	c      1355          14121        1689         1                -          30.0000          -
1362.06/1365.71	c      1366          14236        1680         1                -          30.0000          -
1367.65/1371.34	c      1371          14298        1695         1                -          30.0000          -
1373.43/1377.17	c      1377          14401        1709         1                -          30.0000          -
1380.11/1383.84	c      1384          14477        1725         1                -          30.0000          -
1386.30/1390.08	c      1390          14498        1740         1                -          30.0000          -
1391.39/1395.11	c      1395          14534        1767         1                -          30.0000          -
1397.37/1401.15	c      1401          14581        1792         1                -          30.0000          -
1403.55/1407.30	c      1407          14638        1801         1                -          30.0000          -
1409.03/1412.82	c      1413          14719        1831         1                -          30.0000          -
1414.32/1418.14	c      1418          14772        1840         1                -          30.0000          -
1420.00/1423.81	c      1424          14878        1863         1                -          30.0000          -
1425.18/1429.10	c      1429          14981        1873         1                -          30.0000          -
1430.86/1434.76	c      1435          15103        1883         1                -          30.0000          -
1436.35/1440.24	c      1440          15199        1888         1                -          30.0000          -
1441.43/1445.38	c      1445          15281        1904         1                -          30.0000          -
1446.52/1450.47	c      1450          15327        1920         1                -          30.0000          -
1452.30/1456.23	c      1456          15382        1933         1                -          30.0000          -
1457.58/1461.50	c      1462          15402        1945         1                -          30.0000          -
1463.16/1467.16	c      1467          15451        1952         1                -          30.0000          -
1469.04/1473.09	c      1473          15528        1964         1                -          30.0000          -
1475.52/1479.53	c      1480          15573        1967         1                -          30.0000          -
1481.70/1485.76	c      1486          15619        1979         1                -          30.0000          -
1486.98/1491.03	c      1491          15666        1997         1                -          30.0000          -
1492.46/1496.58	c      1497          15724        2010         1                -          30.0000          -
1498.14/1502.28	c      1502          15743        2022         1                -          30.0000          -
1503.93/1508.09	c      1508          15790        2045         1                -          30.0000          -
1509.91/1514.09	c      1514          15827        2057         1                -          30.0000          -
1515.68/1519.84	c      1520          15859        2072         1                -          30.0000          -
1521.07/1525.25	c      1525          15873        2084         1                -          30.0000          -
1526.86/1531.02	c      1531          15913        2107         1                -          30.0000          -
1532.53/1536.70	c      1537          15925        2113         1                -          30.0000          -
1538.02/1542.26	c      1542          16011        2138         1                -          30.0000          -
1543.30/1547.56	c      1548          16047        2140         1                -          30.0000          -
1548.79/1553.02	c      1553          16057        2150         1                -          30.0000          -
1553.77/1558.05	c      1558          16072        2164         1                -          30.0000          -
1560.04/1564.36	c      1564          16117        2181         1                -          30.0000          -
1566.42/1570.75	c      1571          16132        2196         1                -          30.0000          -
1572.10/1576.48	c      1576          16158        2214         1                -          30.0000          -
1577.69/1582.08	c      1582          16183        2239         1                -          30.0000          -
1582.96/1587.32	c      1587          16221        2251         1                -          30.0000          -
1588.75/1593.16	c      1593          16257        2271         1                -          30.0000          -
1593.94/1598.36	c      1598          16314        2266         1                -          30.0000          -
1599.22/1603.61	c      1604          16354        2272         1                -          30.0000          -
1605.11/1609.56	c      1610          16402        2286         1                -          30.0000          -
1610.79/1615.25	c      1615          16427        2307         1                -          30.0000          -
1616.08/1620.50	c      1620          16472        2320         1                -          30.0000          -
1621.36/1625.88	c      1626          16558        2361         1                -          30.0000          -
1626.95/1631.44	c      1631          16637        2396         1                -          30.0000          -
1632.13/1636.63	c      1637          16763        2401         1                -          30.0000          -
1637.72/1642.21	c      1642          16887        2413         1                -          30.0000          -
1643.30/1647.80	c      1648          17002        2415         1                -          30.0000          -
1649.99/1654.50	c      1654          17038        2424         1                -          30.0000          -
1655.97/1660.56	c      1661          17087        2429         1                -          30.0000          -
1661.86/1666.42	c      1666          17129        2455         1                -          30.0000          -
1668.24/1672.80	c      1673          17166        2466         1                -          30.0000          -
1673.83/1678.47	c      1678          17205        2481         1                -          30.0000          -
1679.81/1684.49	c      1684          17245        2489         1                -          30.0000          -
1685.50/1690.14	c      1690          17310        2495         1                -          30.0000          -
1691.39/1696.06	c      1696          17340        2505         1                -          30.0000          -
1696.48/1701.14	c      1701          17345        2510         1                -          30.0000          -
1701.95/1706.62	c      1707          17449        2498         1                -          30.0000          -
1707.14/1711.83	c      1712          17455        2502         1                -          30.0000          -
1712.72/1717.44	c      1717          17472        2507         1                -          30.0000          -
1717.92/1722.69	c      1723          17498        2525         1                -          30.0000          -
1723.70/1728.49	c      1728          17592        2526         1                -          30.0000          -
1728.89/1733.64	c      1734          17663        2540         1                -          30.0000          -
1737.56/1742.38	c      1742          17705        2545         1                -          30.0000          -
1743.35/1748.17	c      1748          17774        2580         1                -          30.0000          -
1749.73/1754.53	c      1755          17855        2586         1                -          30.0000          -
1755.52/1760.34	c      1760          17899        2610         1                -          30.0000          -
1761.50/1766.35	c      1766          17949        2638         1                -          30.0000          -
1766.78/1771.67	c      1772          17964        2653         1                -          30.0000          -
1772.06/1776.99	c      1777          18040        2664         1                -          30.0000          -
1778.16/1783.03	c      1783          18123        2674         1                -          30.0000          -
1783.15/1788.08	c      1788          18150        2693         1                -          30.0000          -
1789.92/1794.80	c      1795          18188        2708         1                -          30.0000          -
1796.51/1801.49	c      1801          18211        2731         1                -          30.0000          -
1802.79/1807.75	c      1808          18239        2757         1                -          30.0000          -
1809.07/1814.05	c      1814          18268        2784         1                -          30.0000          -
1815.45/1820.44	c      1820          18285        2801         1                -          30.0000          -
1821.53/1826.51	c      1827          18309        2823         1                -          30.0000          -
1826.93/1831.90	c      1832          18331        2845         1                -          30.0000          -
1832.61/1837.67	c      1838          18361        2870         1                -          30.0000          -
1838.70/1843.71	c      1844          18396        2903         1                -          30.0000          -
1844.28/1849.34	c      1849          18435        2932         1                -          30.0000          -
1849.67/1854.77	c      1855          18498        2944         1                -          30.0000          -
1854.75/1859.85	c      1860          18516        2960         1                -          30.0000          -
1860.64/1865.77	c      1866          18548        2986         1                -          30.0000          -
1865.82/1870.97	c      1871          18564        3000         1                -          30.0000          -
1871.21/1876.36	c      1876          18600        3020         1                -          30.0000          -
1877.09/1882.28	c      1882          18633        3045         1                -          30.0000          -
1882.77/1887.92	c      1888          18690        3062         1                -          30.0000          -
1888.05/1893.20	c      1893          18706        3074         1                -          30.0000          -
1893.94/1899.11	c      1899          18773        3093         1                -          30.0000          -
1899.82/1905.07	c      1905          18876        3093         1                -          30.0000          -
1905.40/1910.60	c      1911          18902        3118         1                -          30.0000          -
1910.39/1915.66	c      1916          18920        3135         1                -          30.0000          -
1917.06/1922.31	c      1922          18959        3154         1                -          30.0000          -
1922.14/1927.47	c      1927          18995        3172         1                -          30.0000          -
1928.52/1933.82	c      1934          19046        3191         1                -          30.5000          -
1934.30/1939.68	c      1940          19067        3209         1                -          30.5000          -
1939.79/1945.12	c      1945          19079        3220         1                -          30.5000          -
1945.97/1951.39	c      1951          19099        3236         1                -          30.5000          -
1951.15/1956.51	c      1957          19147        3262         1                -          30.5000          -
1958.82/1964.22	c      1964          19179        3268         1                -          31.0000          -
1965.50/1970.93	c      1971          19204        3293         1                -          31.0000          -
1970.98/1976.41	c      1976          19287        3307         1                -          31.0000          -
1976.07/1981.50	c      1982          19320        3323         1                -          31.0000          -
1982.35/1987.83	c      1988          19341        3336         1                -          31.0000          -
1987.64/1993.15	c      1993          19352        3343         1                -          31.0000          -
1992.81/1998.37	c      1998          19380        3369         1                -          31.0000          -
1999.79/2005.36	c      2005          19422        3391         1                -          31.0000          -
2005.77/2011.36	c      2011          19466        3405         1                -          31.0000          -
2011.75/2017.35	c      2017          19557        3424         1                -          31.0000          -
2017.33/2022.92	c      2023          19647        3429         1                -          31.0000          -
2024.31/2029.90	c      2030          19690        3439         1                -          31.0000          -
2029.89/2035.52	c      2036          19713        3456         1                -          31.0000          -
2034.97/2040.65	c      2041          19730        3472         1                -          31.0000          -
2040.55/2046.28	c      2046          19835        3482         1                -          31.0000          -
2047.83/2053.55	c      2054          19876        3499         1                -          31.0000          -
2053.01/2058.78	c      2059          19925        3514         1                -          31.0000          -
2058.50/2064.29	c      2064          20001        3551         1                -          31.0000          -
2064.18/2069.94	c      2070          20070        3587         1                -          31.0000          -
2069.46/2075.20	c      2075          20126        3611         1                -          31.0000          -
2074.74/2080.55	c      2081          20213        3617         1                -          31.0000          -
2080.82/2086.60	c      2087          20272        3628         1                -          31.0000          -
2086.31/2092.12	c      2092          20293        3649         1                -          31.0000          -
2091.88/2097.72	c      2098          20333        3673         1                -          31.0000          -
2096.87/2102.78	c      2103          20360        3689         1                -          31.0000          -
2103.74/2109.62	c      2110          20418        3742         1                -          31.0000          -
2109.03/2114.92	c      2115          20451        3771         1                -          31.0000          -
2115.11/2121.02	c      2121          20508        3810         1                -          31.0000          -
2120.60/2126.55	c      2127          20562        3836         1                -          31.0000          -
2126.48/2132.47	c      2132          20644        3846         1                -          31.0000          -
2131.95/2137.94	c      2138          20689        3869         1                -          31.0000          -
2137.93/2143.93	c      2144          20728        3890         1                -          31.0000          -
2143.02/2149.05	c      2149          20767        3901         1                -          31.0000          -
2148.80/2154.82	c      2155          20808        3926         1                -          31.0000          -
2153.99/2160.07	c      2160          20851        3946         1                -          31.0000          -
2159.66/2165.72	c      2166          20891        3976         1                -          31.0000          -
2166.24/2172.39	c      2172          20943        3997         1                -          31.0000          -
2172.52/2178.66	c      2179          20964        4018         1                -          31.0000          -
2179.50/2185.61	c      2186          20983        4030         1                -          31.0000          -
2185.68/2191.85	c      2192          21010        4039         1                -          31.0000          -
2190.97/2197.12	c      2197          21045        4061         1                -          31.0000          -
2200.43/2206.69	c      2207          21063        4069         1                -          31.0000          -
2205.72/2211.99	c      2212          21096        4085         1                -          31.0000          -
2211.20/2217.41	c      2217          21169        4115         1                -          31.0000          -
2216.48/2222.72	c      2223          21238        4149         1                -          31.0000          -
2222.46/2228.73	c      2229          21336        4162         1                -          31.0000          -
2227.54/2233.84	c      2234          21375        4197         1                -          31.0000          -
2233.62/2239.95	c      2240          21413        4219         1                -          31.0000          -
2239.10/2245.42	c      2245          21414        4220         1                -          31.0000          -
2246.08/2252.49	c      2252          21422        4228         1                -          31.0000          -
2251.97/2258.32	c      2258          21454        4250         1                -          31.0000          -
2257.65/2264.09	c      2264          21545        4265         1                -          31.0000          -
2263.03/2269.40	c      2269          21587        4275         1                -          31.0000          -
2268.72/2275.14	c      2275          21697        4282         1                -          31.0000          -
2274.79/2281.24	c      2281          21762        4282         1                -          32.0000          -
2281.07/2287.56	c      2288          21772        4292         1                -          32.0000          -
2286.15/2292.66	c      2293          21801        4313         1                -          32.0000          -
2292.13/2298.69	c      2299          21827        4333         1                -          32.0000          -
2297.91/2304.44	c      2304          21852        4358         1                -          32.0000          -
2303.30/2309.83	c      2310          21890        4390         1                -          32.0000          -
2308.88/2315.48	c      2315          21910        4410         1                -          32.0000          -
2314.47/2321.04	c      2321          21943        4443         1                -          32.0000          -
2320.04/2326.65	c      2327          21971        4461         1                -          32.0000          -
2325.53/2332.15	c      2332          22015        4488         1                -          32.0000          -
2331.41/2338.03	c      2338          22044        4507         1                -          32.0000          -
2336.69/2343.36	c      2343          22089        4539         1                -          32.0000          -
2345.26/2351.92	c      2352          22131        4544         1                -          32.0000          -
2351.13/2357.87	c      2358          22174        4561         1                -          32.0000          -
2357.61/2364.39	c      2364          22210        4575         1                -          32.0000          -
2363.09/2369.88	c      2370          22225        4590         1                -          32.0000          -
2369.17/2375.91	c      2376          22312        4618         1                -          32.0000          -
2375.05/2381.80	c      2382          22445        4624         1                -          32.0000          -
2380.54/2387.31	c      2387          22528        4632         1                -          32.0000          -
2386.61/2393.49	c      2393          22582        4656         1                -          32.0000          -
2391.91/2398.70	c      2399          22659        4671         1                -          32.0000          -
2397.19/2404.09	c      2404          22743        4677         1                -          32.0000          -
2402.28/2409.12	c      2409          22777        4698         1                -          32.0000          -
2407.95/2414.81	c      2415          22813        4713         1                -          32.0000          -
2413.83/2420.77	c      2421          22866        4729         1                -          32.0000          -
2419.41/2426.32	c      2426          22880        4743         1                -          32.0000          -
2425.59/2432.53	c      2433          22916        4770         1                -          32.0000          -
2431.97/2438.99	c      2439          22959        4800         1                -          32.0000          -
2437.35/2444.33	c      2444          22977        4809         1                -          32.0000          -
2443.44/2450.43	c      2450          23027        4840         1                -          32.0000          -
2448.52/2455.57	c      2456          23095        4854         1                -          32.0000          -
2454.70/2461.72	c      2462          23139        4868         1                -          32.0000          -
2460.29/2467.37	c      2467          23160        4887         1                -          32.0000          -
2466.08/2473.18	c      2473          23186        4913         1                -          32.0000          -
2471.86/2478.95	c      2479          23223        4944         1                -          32.0000          -
2477.24/2484.32	c      2484          23271        4961         1                -          32.0000          -
2483.33/2490.44	c      2490          23312        4994         1                -          32.0000          -
2488.82/2495.91	c      2496          23338        5006         1                -          32.0000          -
2494.11/2501.26	c      2501          23433        5024         1                -          32.0000          -
2499.99/2507.16	c      2507          23539        5028         1                -          32.0000          -
2505.18/2512.36	c      2512          23590        5033         1                -          32.0000          -
2510.56/2517.78	c      2518          23609        5052         1                -          32.0000          -
2515.85/2523.03	c      2523          23627        5070         1                -          32.0000          -
2521.43/2528.63	c      2529          23643        5084         1                -          32.0000          -
2526.83/2534.02	c      2534          23657        5096         1                -          32.0000          -
2532.11/2539.39	c      2539          23684        5121         1                -          32.0000          -
2537.99/2545.26	c      2545          23708        5144         1                -          32.0000          -
2543.68/2550.99	c      2551          23737        5163         1                -          32.0000          -
2549.26/2556.51	c      2557          23759        5183         1                -          32.0000          -
2556.54/2563.88	c      2564          23818        5213         1                -          32.0000          -
2563.61/2570.96	c      2571          23865        5255         1                -          32.0000          -
2569.29/2576.68	c      2577          23903        5282         1                -          32.0000          -
2574.58/2581.98	c      2582          23939        5301         1                -          32.0000          -
2580.06/2587.46	c      2587          24006        5313         1                -          32.0000          -
2586.04/2593.45	c      2593          24048        5333         1                -          32.0000          -
2591.42/2598.81	c      2599          24078        5360         1                -          32.0000          -
2596.90/2604.36	c      2604          24173        5394         1                -          32.0000          -
2602.78/2610.26	c      2610          24263        5413         1                -          32.0000          -
2607.96/2615.49	c      2615          24344        5426         1                -          32.0000          -
2613.35/2620.87	c      2621          24432        5444         1                -          32.0000          -
2618.93/2626.44	c      2626          24466        5466         1                -          32.0000          -
2624.12/2631.60	c      2632          24512        5471         1                -          32.0000          -
2630.00/2637.59	c      2638          24554        5507         1                -          32.0000          -
2638.49/2646.05	c      2646          24602        5504         1                -          32.0000          -
2644.37/2651.92	c      2652          24638        5534         1                -          32.0000          -
2649.35/2656.97	c      2657          24690        5562         1                -          32.0000          -
2655.04/2662.65	c      2663          24772        5570         1                -          32.0000          -
2660.53/2668.19	c      2668          24806        5598         1                -          32.0000          -
2665.71/2673.32	c      2673          24837        5604         1                -          32.0000          -
2670.69/2678.38	c      2678          24875        5620         1                -          32.0000          -
2677.08/2684.71	c      2685          24910        5637         1                -          32.0000          -
2683.06/2690.71	c      2691          24949        5648         1                -          32.0000          -
2688.26/2695.99	c      2696          24966        5654         1                -          32.0000          -
2695.14/2702.85	c      2703          25040        5661         1                -          32.0000          -
2700.43/2708.12	c      2708          25062        5678         1                -          32.0000          -
2705.51/2713.28	c      2713          25081        5697         1                -          32.0000          -
2711.60/2719.32	c      2719          25106        5720         1                -          32.0000          -
2717.29/2725.03	c      2725          25149        5748         1                -          32.0000          -
2722.37/2730.13	c      2730          25202        5775         1                -          32.0000          -
2727.75/2735.57	c      2736          25286        5813         1                -          32.0000          -
2733.73/2741.53	c      2742          25412        5824         1                -          32.0000          -
2740.91/2748.77	c      2749          25424        5835         1                -          32.0000          -
2746.90/2754.75	c      2755          25476        5858         1                -          32.0000          -
2752.58/2760.49	c      2760          25525        5878         1                -          32.0000          -
2759.06/2766.95	c      2767          25577        5898         1                -          32.0000          -
2764.84/2772.75	c      2773          25628        5910         1                -          32.0000          -
2770.02/2777.90	c      2778          25653        5920         1                -          32.0000          -
2775.80/2783.78	c      2784          25685        5943         1                -          32.0000          -
2781.09/2789.02	c      2789          25727        5960         1                -          32.0000          -
2786.07/2794.05	c      2794          25749        5977         1                -          32.0000          -
2791.75/2799.72	c      2800          25781        5991         1                -          32.0000          -
2797.14/2805.12	c      2805          25819        6021         1                -          32.0000          -
2802.31/2810.37	c      2810          25847        6049         1                -          32.0000          -
2807.89/2815.93	c      2816          25897        6081         1                -          32.0000          -
2813.58/2821.67	c      2822          25927        6111         1                -          32.0000          -
2819.46/2827.54	c      2828          25977        6151         1                -          32.0000          -
2825.14/2833.28	c      2833          26016        6181         1                -          32.0000          -
2831.52/2839.69	c      2840          26069        6220         1                -          32.0000          -
2837.40/2845.55	c      2846          26130        6265         1                -          32.0000          -
2842.58/2850.70	c      2851          26181        6299         1                -          33.0000          -
2848.36/2856.56	c      2857          26241        6324         1                -          33.0000          -
2853.64/2861.88	c      2862          26288        6361         1                -          33.0000          -
2859.13/2867.35	c      2867          26312        6385         1                -          33.0000          -
2864.32/2872.54	c      2873          26336        6403         1                -          33.0000          -
2870.10/2878.32	c      2878          26362        6429         1                -          33.0000          -
2875.08/2883.36	c      2883          26400        6444         1                -          33.0000          -
2880.96/2889.29	c      2889          26475        6462         1                -          33.0000          -
2886.24/2894.57	c      2895          26498        6485         1                -          33.0000          -
2891.43/2899.79	c      2900          26533        6497         1                -          33.0000          -
2897.51/2905.83	c      2906          26559        6504         1                -          33.0000          -
2903.29/2911.69	c      2912          26590        6535         1                -          33.0000          -
2909.16/2917.59	c      2918          26739        6540         1                -          33.0000          -
2914.66/2923.02	c      2923          26787        6556         1                -          33.0000          -
2920.64/2929.06	c      2929          26813        6578         1                -          33.0000          -
2926.72/2935.17	c      2935          26842        6607         1                -          33.0000          -
2933.09/2941.51	c      2942          26868        6633         1                -          33.0000          -
2938.47/2946.95	c      2947          26898        6663         1                -          33.0000          -
2944.65/2953.10	c      2953          26921        6686         1                -          33.0000          -
2949.93/2958.40	c      2958          26959        6708         1                -          33.0000          -
2955.71/2964.21	c      2964          26998        6738         1                -          33.0000          -
2962.09/2970.62	c      2971          27037        6768         1                -          33.0000          -
2967.17/2975.76	c      2976          27103        6777         1                -          33.0000          -
2972.75/2981.35	c      2981          27146        6798         1                -          33.0000          -
2978.55/2987.13	c      2987          27186        6825         1                -          33.0000          -
2984.52/2993.16	c      2993          27205        6842         1                -          33.0000          -
2990.30/2998.96	c      2999          27226        6863         1                -          33.0000          -
2995.78/3004.46	c      3004          27263        6892         1                -          33.0000          -
3001.26/3009.93	c      3010          27294        6911         1                -          33.0000          -
3007.34/3016.04	c      3016          27339        6950         1                -          33.0000          -
3013.13/3021.82	c      3022          27395        6973         1                -          33.0000          -
3018.81/3027.52	c      3028          27455        6993         1                -          33.0000          -
3024.89/3033.65	c      3034          27490        7013         1                -          33.0000          -
3030.66/3039.49	c      3039          27551        7037         1                -          33.0000          -
3036.25/3045.09	c      3045          27575        7059         1                -          33.0000          -
3041.93/3050.73	c      3051          27640        7103         1                -          33.0000          -
3047.61/3056.43	c      3056          27715        7160         1                -          33.0000          -
3053.60/3062.43	c      3062          27776        7197         1                -          33.0000          -
3058.88/3067.78	c      3068          27799        7219         1                -          33.0000          -
3063.96/3072.86	c      3073          27830        7237         1                -          33.0000          -
3069.74/3078.65	c      3079          27859        7257         1                -          33.0000          -
3075.32/3084.29	c      3084          27869        7266         1                -          33.0000          -
3082.21/3091.13	c      3091          27900        7297         1                -          33.0000          -
3088.58/3097.52	c      3098          27939        7331         1                -          33.0000          -
3094.16/3103.16	c      3103          27978        7366         1                -          33.0000          -
3100.44/3109.43	c      3109          28010        7393         1                -          33.0000          -
3105.63/3114.61	c      3115          28037        7414         1                -          33.0000          -
3111.11/3120.13	c      3120          28103        7430         1                -          33.0000          -
3116.69/3125.73	c      3126          28125        7448         1                -          33.0000          -
3122.47/3131.58	c      3132          28149        7466         1                -          33.0000          -
3127.55/3136.69	c      3137          28165        7479         1                -          33.0000          -
3132.94/3142.07	c      3142          28196        7493         1                -          33.0000          -
3138.51/3147.60	c      3148          28254        7518         1                -          33.0000          -
3143.79/3152.96	c      3153          28329        7534         1                -          33.0000          -
3149.18/3158.32	c      3158          28398        7545         1                -          33.0000          -
3155.06/3164.24	c      3164          28439        7570         1                -          33.0000          -
3160.74/3169.94	c      3170          28493        7602         1                -          33.0000          -
3166.32/3175.60	c      3176          28552        7635         1                -          33.0000          -
3171.61/3180.84	c      3181          28603        7667         1                -          33.0000          -
3176.69/3185.92	c      3186          28677        7679         1                -          33.0000          -
3182.77/3192.01	c      3192          28765        7712         1                -          33.0000          -
3188.15/3197.47	c      3197          28840        7738         1                -          33.0000          -
3193.33/3202.70	c      3203          28913        7756         1                -          33.0000          -
3198.41/3207.75	c      3208          28982        7760         1                -          33.0000          -
3203.71/3213.03	c      3213          29060        7765         1                -          33.0000          -
3209.08/3218.48	c      3218          29129        7778         1                -          33.0000          -
3215.16/3224.51	c      3225          29234        7794         1                -          33.0000          -
3220.75/3230.13	c      3230          29299        7802         1                -          33.0000          -
3225.92/3235.34	c      3235          29329        7828         1                -          33.0000          -
3231.90/3241.33	c      3241          29377        7851         1                -          33.0000          -
3239.29/3248.74	c      3249          29399        7866         1                -          33.0000          -
3244.68/3254.19	c      3254          29472        7872         1                -          33.0000          -
3250.45/3259.90	c      3260          29507        7902         1                -          33.0000          -
3256.23/3265.75	c      3266          29562        7921         1                -          33.0000          -
3261.21/3270.79	c      3271          29633        7931         1                -          33.0000          -
3267.89/3277.42	c      3277          29664        7962         1                -          33.0000          -
3273.57/3283.11	c      3283          29695        7983         1                -          33.0000          -
3280.06/3289.68	c      3290          29723        7999         1                -          33.0000          -
3286.04/3295.66	c      3296          29768        8041         1                -          33.0000          -
3291.52/3301.10	c      3301          29801        8070         1                -          33.0000          -
3297.00/3306.67	c      3307          29838        8093         1                -          33.0000          -
3303.08/3312.71	c      3313          29896        8101         1                -          34.0000          -
3308.26/3317.93	c      3318          29943        8117         1                -          34.0000          -
3314.04/3323.75	c      3324          30013        8137         1                -          34.0000          -
3319.22/3328.96	c      3329          30039        8157         1                -          34.0000          -
3324.51/3334.26	c      3334          30077        8178         1                -          34.0000          -
3330.09/3339.88	c      3340          30130        8206         1                -          34.0000          -
3335.17/3344.97	c      3345          30169        8230         1                -          34.0000          -
3340.65/3350.49	c      3350          30209        8264         1                -          34.0000          -
3347.03/3356.81	c      3357          30278        8299         1                -          34.0000          -
3352.22/3362.02	c      3362          30303        8303         1                -          34.0000          -
3360.49/3370.33	c      3370          30341        8328         1                -          34.0000          -
3365.98/3375.87	c      3376          30403        8347         1                -          34.0000          -
3371.56/3381.49	c      3381          30472        8363         1                -          34.0000          -
3377.64/3387.56	c      3388          30507        8391         1                -          34.0000          -
3383.61/3393.52	c      3394          30535        8409         1                -          34.0000          -
3389.79/3399.73	c      3400          30592        8429         1                -          34.0000          -
3396.37/3406.32	c      3406          30646        8458         1                -          34.0000          -
3401.75/3411.77	c      3412          30722        8474         1                -          34.0000          -
3407.23/3417.27	c      3417          30840        8503         1                -          34.0000          -
3412.72/3422.70	c      3423          30960        8507         1                -          34.0000          -
3418.01/3428.06	c      3428          31098        8499         1                -          34.0000          -
3423.39/3433.43	c      3433          31161        8514         1                -          34.0000          -
3428.57/3438.65	c      3439          31179        8528         1                -          34.0000          -
3433.85/3443.91	c      3444          31224        8547         1                -          34.0000          -
3439.23/3449.34	c      3449          31292        8556         1                -          34.0000          -
3446.02/3456.15	c      3456          31376        8568         1                -          34.0000          -
3451.59/3461.79	c      3462          31417        8589         1                -          34.0000          -
3457.18/3467.32	c      3467          31457        8611         1                -          34.0000          -
3462.86/3473.04	c      3473          31472        8626         1                -          34.0000          -
3468.84/3479.01	c      3479          31582        8637         1                -          34.0000          -
3473.93/3484.13	c      3484          31621        8648         1                -          34.0000          -
3479.70/3489.91	c      3490          31697        8656         1                -          34.0000          -
3485.38/3495.65	c      3496          31787        8655         1                -          34.0000          -
3490.96/3501.20	c      3501          31855        8677         1                -          34.0000          -
3496.64/3506.98	c      3507          31966        8689         1                -          34.0000          -
3502.74/3513.05	c      3513          31989        8707         1                -          34.0000          -
3508.71/3519.05	c      3519          32026        8740         1                -          34.0000          -
3514.69/3525.09	c      3525          32074        8761         1                -          34.0000          -
3520.17/3530.57	c      3531          32099        8786         1                -          34.0000          -
3525.55/3535.92	c      3536          32129        8801         1                -          34.0000          -
3530.84/3541.24	c      3541          32167        8814         1                -          34.0000          -
3536.22/3546.60	c      3547          32222        8835         1                -          34.0000          -
3542.40/3552.84	c      3553          32237        8850         1                -          34.0000          -
3548.58/3559.04	c      3559          32265        8876         1                -          34.0000          -
3554.16/3564.69	c      3565          32294        8895         1                -          34.0000          -
3560.14/3570.66	c      3571          32339        8916         1                -          34.0000          -
3565.52/3576.06	c      3576          32376        8933         1                -          34.0000          -
3572.70/3583.26	c      3583          32434        8954         1                -          34.0000          -
3578.58/3589.11	c      3589          32460        8978         1                -          34.0000          -
3584.26/3594.84	c      3595          32500        9003         1                -          34.0000          -
3587.56/3598.14	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.56/3598.14	c Total Time         : 3598.1400
3587.56/3598.14	c   solving          : 3598.1400
3587.56/3598.14	c   presolving       : 0.9771 (included in solving)
3587.56/3598.14	c B&B Tree           :
3587.56/3598.14	c   nodes (total)    : 1
3587.56/3598.14	c Solution           :
3587.56/3598.14	c   Solutions found  : 0
3587.56/3598.14	c   Primal Bound     :          -
3587.56/3598.14	c   Dual Bound       : +3.40000000000000e+01
3587.56/3598.14	c Gap                :          -
3587.56/3598.19	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=31919, runsolver pid=31912

[startup+0.100377 s]*
/proc/loadavg: 0.14 0.11 0.09 5/261 31925
/proc/meminfo: memFree=129987100/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=44784 memory=33300 CPUtime=0.09 cores=5,7
/proc/31919/stat : 31919 (fscip) R 31912 31919 31845 0 -1 4194304 6207 0 0 0 9 0 0 0 20 0 1 0 4462007 45858816 8325 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 11196 8325 2347 3035 0 7592 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44784 KiB
Current children cumulated memory: 33300 KiB

[startup+0.205509 s]*
/proc/loadavg: 0.14 0.11 0.09 4/258 31933
/proc/meminfo: memFree=129880116/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=143956 memory=130372 CPUtime=0.2 cores=5,7
/proc/31919/stat : 31919 (fscip) R 31912 31919 31845 0 -1 4194304 32540 0 0 0 16 4 0 0 20 0 1 0 4462007 147410944 32593 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 35989 32593 2555 3035 0 32385 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143956 KiB
Current children cumulated memory: 130372 KiB

[startup+0.305377 s]*
/proc/loadavg: 0.14 0.11 0.09 4/258 31933
/proc/meminfo: memFree=129860532/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=172416 memory=147536 CPUtime=0.3 cores=5,7
/proc/31919/stat : 31919 (fscip) R 31912 31919 31845 0 -1 4194304 34670 0 0 0 26 4 0 0 20 0 1 0 4462007 176553984 36884 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 43104 36884 2646 3035 0 39500 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 172416 KiB
Current children cumulated memory: 147536 KiB

[startup+0.700221 s]
/proc/loadavg: 0.14 0.11 0.09 5/261 31939
/proc/meminfo: memFree=129804408/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=186148 memory=172184 CPUtime=0.68 cores=5,7
/proc/31919/stat : 31919 (fscip) R 31912 31919 31845 0 -1 4194304 42204 0 0 0 62 6 0 0 20 0 1 0 4462007 190615552 43046 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 46537 43046 2726 3035 0 42933 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 186148 KiB
Current children cumulated memory: 172184 KiB

[startup+1.50036 s]
/proc/loadavg: 0.14 0.11 0.09 5/263 31971
/proc/meminfo: memFree=129655440/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=476408 memory=414132 CPUtime=1.48 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 97622 0 0 0 135 13 0 0 20 0 3 0 4462007 487841792 103533 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 119102 103533 2806 3035 0 114779 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 476408 KiB
Current children cumulated memory: 414132 KiB

[startup+3.10471 s]
/proc/loadavg: 0.14 0.11 0.09 5/265 31973
/proc/meminfo: memFree=129080488/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=607480 memory=482848 CPUtime=3.08 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 117828 0 0 0 292 16 0 0 20 0 3 0 4462007 622059520 120712 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 151870 120712 2902 3035 0 135259 0
[pid=31919/tid=31972] ppid=31912 vsize=607480 memory=198340509722 CPUtime=1.88 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 46980 0 0 0 183 5 0 0 20 0 3 0 4462124 622059520 120712 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=607480 memory=0 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4462131 622059520 120712 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 607480 KiB
Current children cumulated memory: 482848 KiB

[startup+6.30021 s]
/proc/loadavg: 0.45 0.18 0.11 5/267 32031
/proc/meminfo: memFree=128956360/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=673016 memory=592212 CPUtime=6.27 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 163256 0 0 0 605 22 0 0 20 0 3 0 4462007 689168384 148053 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 168254 148053 2950 3035 0 163798 0
[pid=31919/tid=31972] ppid=31912 vsize=673016 memory=0 CPUtime=5.07 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 92405 0 0 0 496 11 0 0 20 0 3 0 4462124 689168384 148053 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=673016 memory=193 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4462131 689168384 148053 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 673016 KiB
Current children cumulated memory: 592212 KiB

[startup+12.7002 s]
/proc/loadavg: 0.73 0.24 0.13 5/267 32032
/proc/meminfo: memFree=128852180/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=806492 memory=671772 CPUtime=12.64 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 221955 0 0 0 1237 27 0 0 20 0 3 0 4462007 825847808 167943 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 201623 167943 2998 3035 0 182517 0
[pid=31919/tid=31972] ppid=31912 vsize=806492 memory=595916 CPUtime=11.44 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 151061 0 0 0 1128 16 0 0 20 0 3 0 4462124 825847808 167943 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=806492 memory=595480 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4462131 825847808 167943 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 806492 KiB
Current children cumulated memory: 671772 KiB

[startup+25.5002 s]
/proc/loadavg: 1.46 0.43 0.20 5/266 32034
/proc/meminfo: memFree=128805168/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=745056 memory=670496 CPUtime=25.41 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 300147 0 0 0 2509 32 0 0 20 0 3 0 4462007 762937344 167624 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 186264 167624 2998 3035 0 182189 0
[pid=31919/tid=31972] ppid=31912 vsize=745056 memory=668636 CPUtime=24.21 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 229195 0 0 0 2400 21 0 0 20 0 3 0 4462124 762937344 167624 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=745056 memory=11728 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4462131 762937344 167624 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 745056 KiB
Current children cumulated memory: 670496 KiB

[startup+51.1052 s]
/proc/loadavg: 2.39 0.73 0.31 5/268 32040
/proc/meminfo: memFree=128291412/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=752224 memory=677832 CPUtime=50.95 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 454388 0 0 0 5050 45 0 0 20 0 3 0 4462007 770277376 169458 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 188056 169458 3014 3035 0 184002 0
[pid=31919/tid=31972] ppid=31912 vsize=752224 memory=690892 CPUtime=49.75 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 383369 0 0 0 4941 34 0 0 20 0 3 0 4462124 770277376 169458 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=752224 memory=690892 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4462131 770277376 169458 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 752224 KiB
Current children cumulated memory: 677832 KiB

[startup+102.3 s]
/proc/loadavg: 3.30 1.24 0.50 5/268 32051
/proc/meminfo: memFree=128151644/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=730776 memory=656544 CPUtime=101.98 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 617289 0 0 0 10141 57 0 0 20 0 3 0 4462007 748314624 164136 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 182694 164136 3014 3035 0 178680 0
[pid=31919/tid=31972] ppid=31912 vsize=730776 memory=693232 CPUtime=100.78 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 546163 0 0 0 10032 46 0 0 20 0 3 0 4462124 748314624 164136 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=730776 memory=11728 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4462131 748314624 164136 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 730776 KiB
Current children cumulated memory: 656544 KiB

[startup+162.3 s]
/proc/loadavg: 3.79 1.76 0.73 5/268 32061
/proc/meminfo: memFree=127636188/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=747324 memory=673140 CPUtime=161.82 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 722817 0 0 0 16117 65 0 0 20 0 3 0 4462007 765259776 168285 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 186831 168285 3014 3035 0 182822 0
[pid=31919/tid=31972] ppid=31912 vsize=747324 memory=658616 CPUtime=160.61 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 651610 0 0 0 16007 54 0 0 20 0 3 0 4462124 765259776 168285 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=747324 memory=673120 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 4462131 765259776 168285 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 747324 KiB
Current children cumulated memory: 673140 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.20 0.95 5/266 32071
/proc/meminfo: memFree=127481160/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=812860 memory=716788 CPUtime=221.68 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 817913 0 0 0 22095 73 0 0 20 0 3 0 4462007 832368640 179197 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 203215 179197 3014 3035 0 193707 0
[pid=31919/tid=31972] ppid=31912 vsize=812860 memory=658616 CPUtime=220.47 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 746661 0 0 0 21985 62 0 0 20 0 3 0 4462124 832368640 179197 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=812860 memory=11728 CPUtime=0 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 4462131 832368640 179197 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 812860 KiB
Current children cumulated memory: 716788 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.55 1.14 5/266 32082
/proc/meminfo: memFree=127392332/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=812860 memory=722260 CPUtime=281.53 cores=5,7

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

/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=925604 CPUtime=3450.81 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1747509 0 0 0 344928 153 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=925612 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.06 5/266 33809
/proc/meminfo: memFree=123728272/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3512 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1831052 0 0 0 351026 174 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=926120 CPUtime=3510.6 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1758573 0 0 0 350906 154 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=11728 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 252 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.06 5/266 33819
/proc/meminfo: memFree=123666612/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3571.8 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1843789 0 0 0 357004 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=926120 CPUtime=3570.41 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1771293 0 0 0 356885 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=11728 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

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

# cumulated CPU time of all completed processes:  user=3585.87 s, system=1.78473 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.12 4.06 5/266 33819
/proc/meminfo: memFree=123666020/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3573.5 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844235 0 0 0 357174 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=-7019822660772257658 CPUtime=3572.11 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1771739 0 0 0 357055 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=-4050210904893736590 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3590.4 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123662704/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3579.88 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844570 0 0 0 357812 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=926120 CPUtime=3578.48 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1772074 0 0 0 357692 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=926120 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3579.88 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3593.6 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123659424/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3583.06 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844670 0 0 0 358130 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=926120 CPUtime=3581.67 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1772174 0 0 0 358011 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=926120 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3595.2 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123658648/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3584.66 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844697 0 0 0 358290 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=11728 CPUtime=3583.26 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1772201 0 0 0 358170 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=11728 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123658540/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3586.25 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844757 0 0 0 358449 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=5504 CPUtime=3584.86 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1772261 0 0 0 358330 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=12796 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3597.6 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33822
/proc/meminfo: memFree=123658368/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3587.05 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844757 0 0 0 358529 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=12788 CPUtime=3585.66 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1772261 0 0 0 358410 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=12796 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3598 s]*
/proc/loadavg: 4.05 4.12 4.05 5/266 33822
/proc/meminfo: memFree=123658120/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3587.46 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1844766 0 0 0 358570 176 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=-7019822660772257658 CPUtime=3586.06 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1772270 0 0 0 358450 156 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=-4050210904893736590 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

[startup+3598.11 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33822
/proc/meminfo: memFree=123658120/131524600 swapFree=131071996/131071996
[pid=31919] ppid=31912 vsize=1009636 memory=926120 CPUtime=3587.56 cores=5,7
/proc/31919/stat : 31919 (fscip) S 31912 31919 31845 0 -1 1077936128 1857007 0 0 0 358579 177 0 0 20 0 3 0 4462007 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
/proc/31919/statm: 252409 231530 3030 3035 0 245793 0
[pid=31919/tid=31972] ppid=31912 vsize=1009636 memory=926120 CPUtime=3586.16 cores=5,7
/proc/31919/task/31972/stat : 31972 (fscip) R 31912 31919 31845 0 -1 4194368 1784510 0 0 0 358459 157 0 0 20 0 3 0 4462124 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
[pid=31919/tid=31973] ppid=31912 vsize=1009636 memory=11728 CPUtime=0.03 cores=5,7
/proc/31919/task/31973/stat : 31973 (fscip) S 31912 31919 31845 0 -1 1077936192 254 0 0 0 1 2 0 0 20 0 3 0 4462131 1033867264 231530 134679101440 4194304 16623229 140723762712048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 41312256 140723762713622 140723762713738 140723762713738 140723762720752 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 1009636 KiB
Current children cumulated memory: 926120 KiB

Child status: 0

Real time (s): 3598.2
CPU time (s): 3587.66
CPU user time (s): 3585.87
CPU system time (s): 1.78473
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 1009636
Max. memory (cumulated for all children) (KiB): 967424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.87
system time used= 1.78473
maximum resident set size= 967644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1858460
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= 8671
involuntary context switches= 3199


# summary of solver processes directly reported to runsolver:
#   pid: 31919
#   total CPU time (s): 3587.66
#   total CPU user time (s): 3585.87
#   total CPU system time (s): 1.78473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.25508 second user time and 15.3392 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-31 00:29:57
IDJOB=4464010
IDBENCH=147626
IDSOLVER=3092
FILE ID=nodeC033/4464010-1722378597
RUNJOBID= nodeC033-1722378597-31858
SLURM_JOB_ID= 8249856
Free space on /tmp= 890004 MiB

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

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=576650998

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130028380 kB
MemAvailable:   129830796 kB
Buffers:           85764 kB
Cached:           553548 kB
SwapCached:            0 kB
Active:           258968 kB
Inactive:         766908 kB
Active(anon):       1436 kB
Inactive(anon):   406500 kB
Active(file):     257532 kB
Inactive(file):   360408 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            117088 kB
Writeback:             0 kB
AnonPages:        387024 kB
Mapped:            88196 kB
Shmem:             21336 kB
KReclaimable:      48596 kB
Slab:             129440 kB
SReclaimable:      48596 kB
SUnreclaim:        80844 kB
KernelStack:        3968 kB
PageTables:         9560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     688808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-31 01:29:55