Trace number 4463966

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-30SAT49171 3589.51 3598.13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUM1adddfdbf1ced655bc7cf87afdf2cbda
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 benchmark40292
Best CPU time to get the best result obtained on this benchmark72000.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.06	c Default LC presolving (default).
0.00/0.06	c ** Before presolving: virtualMemUsedAtLc = 57458688, getVmSize() = 57458688, SCIPgetMemUsed() = 25588517, SCIPgetMemTotal() = 34708477, SCIPgetMemExternEstim() = 18919918
0.00/0.06	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.59/0.61	c ** Estimated virtualMemUsedAtSolver = 96927363, getVmSize() = 151769088, SCIPgetMemUsed() = 82203383, SCIPgetMemTotal() = 126471127, SCIPgetMemExternEstim() = 18919918
0.59/0.61	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.61	c Original Problem   :
0.59/0.61	c   Problem name     : instance-4463966-1722378594
0.59/0.61	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.61	c   Constraints      : 16096
0.59/0.61	c   Objective sense  : minimize
0.59/0.61	c Presolved Problem  :
0.59/0.61	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.61	c   Constraints      : 16096
0.59/0.61	c Constraints        : Number
0.59/0.61	c   knapsack         : 7496 
0.59/0.61	c   setppc           : 2016 
0.59/0.61	c   logicor          : 6584 
0.59/0.61	c ** Instance transfer method used: 0
0.59/0.64	c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.66	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.66	c                                Nodes    Active                                            
0.59/0.66	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
57.35/57.52	c        58              2           1         1                -       31916.0000          -
62.84/63.09	c        63              3           2         1                -       31916.0000          -
69.02/69.26	c        69              4           3         1                -       31916.0000          -
75.81/76.07	c        76              5           4         1                -       31916.0000          -
85.08/85.36	c        85              6           5         1                -       31916.0000          -
90.87/91.11	c        91              7           6         1                -       31916.0000          -
98.64/98.99	c        99              8           7         1                -       31916.0000          -
106.12/106.45	c       106             12          11         1                -       31916.0000          -
115.41/115.78	c       116             26          25         1                -       31916.0000          -
120.49/120.83	c       121             38          37         1                -       31916.0000          -
127.57/127.99	c       128             44          43         1                -       31916.0000          -
133.16/133.55	c       134             50          49         1                -       31916.0000          -
138.85/139.24	c       139             59          58         1                -       31916.0000          -
144.53/144.90	c       145             70          69         1                -       31916.0000          -
149.82/150.20	c       150             81          80         1                -       31916.0000          -
157.50/157.91	c       158             90          89         1                -       31916.0000          -
164.48/164.92	c       165             96          95         1                -       31916.0000          -
171.76/172.27	c       172            107         106         1                -       31916.0000          -
179.14/179.62	c       180            120         119         1                -       31916.0000          -
187.42/187.99	c       188            132         131         1                -       31916.0000          -
194.51/195.01	c       195            146         145         1                -       31916.0000          -
202.29/202.83	c       203            159         158         1                -       31916.0000          -
209.87/210.47	c       210            171         170         1                -       31916.0000          -
214.96/215.50	c       216            184         183         1                -       31916.0000          -
220.55/221.10	c       221            193         192         1                -       31916.0000          -
227.73/228.38	c       228            204         203         1                -       31916.0000          -
233.71/234.33	c       234            212         211         1                -       31916.0000          -
241.20/241.88	c       242            225         224         1                -       31916.0000          -
247.58/248.28	c       248            229         228         1                -       31916.0000          -
252.67/253.37	c       253            245         244         1                -       31916.0000          -
259.35/260.05	c       260            252         251         1                -       31916.0000          -
264.74/265.47	c       265            256         255         1                -       31916.0000          -
270.52/271.24	c       271            266         265         1                -       31916.0000          -
278.11/278.80	c       279            269         268         1                -       31916.0000          -
284.79/285.57	c       286            285         284         1                -       31916.0000          -
294.46/295.26	c       295            297         296         1                -       31916.0000          -
300.75/301.50	c       302            306         305         1                -       31916.0000          -
310.13/310.97	c       311            321         320         1                -       31916.0000          -
317.70/318.59	c       319            329         328         1                -       31916.0000          -
328.08/328.98	c       329            343         342         1                -       31916.0000          -
336.46/337.35	c       337            357         356         1                -       31916.0000          -
342.75/343.63	c       344            373         372         1                -       31916.0000          -
349.14/350.05	c       350            387         386         1                -       31916.0000          -
354.23/355.13	c       355            388         387         1                -       31916.0000          -
360.11/361.01	c       361            400         399         1                -       31916.0000          -
365.59/366.50	c       367            413         412         1                -       31916.0000          -
372.98/373.96	c       374            421         420         1                -       31916.0000          -
381.16/382.17	c       382            427         426         1                -       31916.0000          -
386.75/387.75	c       388            437         436         1                -       31916.0000          -
395.13/396.11	c       396            452         451         1                -       31916.0000          -
400.91/401.98	c       402            468         467         1                -       31916.0000          -
406.30/407.37	c       407            473         472         1                -       31916.0000          -
415.87/416.96	c       417            484         483         1                -       31916.0000          -
420.97/422.09	c       422            491         490         1                -       31916.0000          -
427.15/428.29	c       428            499         498         1                -       31916.0000          -
433.43/434.59	c       435            502         501         1                -       31916.0000          -
438.52/439.64	c       440            511         510         1                -       31916.0000          -
444.90/446.08	c       446            524         523         1                -       31916.0000          -
456.17/457.34	c       457            533         532         1                -       31916.0000          -
463.86/465.06	c       465            545         544         1                -       31916.0000          -
470.84/472.10	c       472            557         556         1                -       31916.0000          -
480.11/481.34	c       481            566         565         1                -       31916.0000          -
485.70/486.95	c       487            582         581         1                -       31916.0000          -
493.98/495.28	c       495            595         594         1                -       31916.0000          -
500.96/502.26	c       502            611         610         1                -       31916.0000          -
507.45/508.77	c       509            619         618         1                -       31916.0000          -
513.03/514.39	c       514            636         635         1                -       31916.0000          -
523.01/524.38	c       524            648         647         1                -       31916.0000          -
528.39/529.72	c       530            661         660         1                -       31916.0000          -
534.97/536.32	c       536            666         665         1                -       31916.0000          -
541.06/542.46	c       542            686         685         1                -       31916.0000          -
546.54/547.91	c       548            691         690         1                -       31916.0000          -
552.23/553.61	c       554            704         703         1                -       31916.0000          -
557.22/558.68	c       559            718         717         1                -       31916.0000          -
564.20/565.64	c       566            729         728         1                -       31916.0000          -
570.38/571.82	c       572            733         732         1                -       31916.0000          -
578.36/579.89	c       580            744         743         1                -       31916.0000          -
583.86/585.37	c       585            755         754         1                -       31916.0000          -
591.23/592.72	c       593            759         758         1                -       31916.0000          -
600.11/601.60	c       602            763         762         1                -       31916.0000          -
605.20/606.79	c       607            771         770         1                -       31916.0000          -
612.08/613.63	c       614            783         782         1                -       31916.0000          -
617.36/618.92	c       619            796         795         1                -       31916.0000          -
626.14/627.75	c       628            805         804         1                -       31916.0000          -
633.53/635.18	c       635            819         816         1                -       31916.0000          -
639.01/640.68	c       641            825         822         1                -       31916.0000          -
641.70/643.33	c *     643            830         827         1       50791.0000       31916.0000     59.14%
644.30/645.93	c       646            838         835         1       50791.0000       31916.0000     59.14%
650.98/652.66	c       653            847         844         1       50791.0000       31916.0000     59.14%
656.67/658.33	c       658            851         848         1       50791.0000       31916.0000     59.14%
663.05/664.70	c       665            852         849         1       50791.0000       31916.0000     59.14%
668.84/670.59	c       671            861         856         1       50791.0000       31916.0000     59.14%
678.62/680.30	c       680            869         864         1       50791.0000       31916.0000     59.14%
684.70/686.46	c       686            874         869         1       50791.0000       31916.0000     59.14%
689.89/691.69	c       692            883         878         1       50791.0000       31916.0000     59.14%
695.07/696.89	c       697            893         888         1       50791.0000       31916.0000     59.14%
700.56/702.30	c       702            899         894         1       50791.0000       31916.0000     59.14%
706.44/708.26	c       708            909         904         1       50791.0000       31916.0000     59.14%
712.43/714.28	c       714            920         915         1       50791.0000       31916.0000     59.14%
721.91/723.77	c       724            926         921         1       50791.0000       31916.0000     59.14%
723.31/725.19	c *     725            926         921         1       50182.0000       31916.0000     57.23%
727.59/729.46	c       729            936         931         1       50182.0000       31916.0000     57.23%
733.77/735.69	c       736            939         934         1       50182.0000       31916.0000     57.23%
740.95/742.84	c       743            951         946         1       50182.0000       31916.0000     57.23%
746.24/748.12	c       748            962         957         1       50182.0000       31916.0000     57.23%
752.13/754.02	c       754            972         967         1       50182.0000       31916.0000     57.23%
757.72/759.64	c       760            976         971         1       50182.0000       31916.0000     57.23%
762.90/764.82	c       765            983         978         1       50182.0000       31916.0000     57.23%
768.69/770.60	c       771            993         988         1       50182.0000       31916.0000     57.23%
774.37/776.32	c       776           1003         998         1       50182.0000       31916.0000     57.23%
779.75/781.71	c       782           1013        1008         1       50182.0000       31916.0000     57.23%
785.14/787.16	c       787           1018        1013         1       50182.0000       31916.0000     57.23%
793.02/795.07	c       795           1023        1018         1       50182.0000       31916.0000     57.23%
802.09/804.16	c       804           1029        1024         1       50182.0000       31916.0000     57.23%
807.77/809.80	c       810           1034        1029         1       50182.0000       31916.0000     57.23%
812.96/815.10	c       815           1043        1038         1       50182.0000       31916.0000     57.23%
818.95/821.00	c       821           1049        1044         1       50182.0000       31916.0000     57.23%
824.82/826.97	c       827           1059        1054         1       50182.0000       31916.0000     57.23%
833.19/835.39	c       835           1064        1059         1       50182.0000       31916.0000     57.23%
838.38/840.58	c       841           1071        1066         1       50182.0000       31916.0000     57.23%
843.86/846.03	c       846           1077        1072         1       50182.0000       31916.0000     57.23%
849.05/851.27	c       851           1084        1079         1       50182.0000       31916.0000     57.23%
854.73/856.99	c       857           1097        1092         1       50182.0000       31916.0000     57.23%
860.92/863.13	c       863           1104        1099         1       50182.0000       31916.0000     57.23%
867.50/869.70	c       870           1113        1108         1       50182.0000       31916.0000     57.23%
873.09/875.39	c       875           1121        1116         1       50182.0000       31916.0000     57.23%
878.17/880.41	c       880           1125        1120         1       50182.0000       31916.0000     57.23%
883.36/885.60	c       886           1128        1123         1       50182.0000       31916.0000     57.23%
889.05/891.30	c       891           1134        1129         1       50182.0000       31916.0000     57.23%
894.13/896.43	c       896           1143        1138         1       50182.0000       31916.0000     57.23%
902.91/905.26	c       905           1157        1152         1       50182.0000       31916.0000     57.23%
910.49/912.89	c       913           1164        1159         1       50182.0000       31916.0000     57.23%
917.27/919.65	c       920           1177        1172         1       50182.0000       31916.0000     57.23%
923.47/925.88	c       926           1185        1180         1       50182.0000       31916.0000     57.23%
928.95/931.36	c       931           1193        1188         1       50182.0000       31916.0000     57.23%
935.23/937.65	c       938           1203        1198         1       50182.0000       31916.0000     57.23%
941.12/943.52	c       944           1209        1204         1       50182.0000       31916.0000     57.23%
946.71/949.16	c       949           1218        1213         1       50182.0000       31916.0000     57.23%
953.98/956.45	c       956           1224        1219         1       50182.0000       31916.0000     57.23%
959.58/962.08	c       962           1226        1221         1       50182.0000       31916.0000     57.23%
964.86/967.32	c       967           1234        1229         1       50182.0000       31916.0000     57.23%
970.05/972.50	c       973           1244        1239         1       50182.0000       31916.0000     57.23%
975.93/978.40	c       978           1250        1245         1       50182.0000       31916.0000     57.23%
980.92/983.48	c       983           1254        1249         1       50182.0000       31916.0000     57.23%
989.11/991.66	c       992           1263        1258         1       50182.0000       31916.0000     57.23%
997.09/999.63	c      1000           1264        1259         1       50182.0000       31916.0000     57.23%
1003.97/1006.58	c      1007           1272        1267         1       50182.0000       31916.0000     57.23%
1009.86/1012.42	c      1012           1278        1273         1       50182.0000       31916.0000     57.23%
1014.95/1017.51	c      1018           1280        1275         1       50182.0000       31916.0000     57.23%
1020.14/1022.77	c      1023           1284        1279         1       50182.0000       31916.0000     57.23%
1026.32/1028.94	c      1029           1285        1280         1       50182.0000       31916.0000     57.23%
1034.30/1036.92	c      1037           1289        1284         1       50182.0000       31916.0000     57.23%
1044.68/1047.35	c      1047           1293        1288         1       50182.0000       31916.0000     57.23%
1052.66/1055.37	c      1055           1300        1295         1       50182.0000       31916.0000     57.23%
1061.14/1063.88	c      1064           1304        1299         1       50182.0000       31916.0000     57.23%
1068.22/1070.97	c      1071           1311        1306         1       50182.0000       31916.0000     57.23%
1074.31/1077.01	c      1077           1320        1315         1       50182.0000       31916.0000     57.23%
1081.30/1084.04	c      1084           1332        1327         1       50182.0000       31916.0000     57.23%
1088.67/1091.48	c      1091           1336        1331         1       50182.0000       31916.0000     57.23%
1095.06/1097.86	c      1098           1343        1338         1       50182.0000       31916.0000     57.23%
1100.25/1103.03	c      1103           1350        1345         1       50182.0000       31916.0000     57.23%
1108.03/1110.86	c      1111           1357        1352         1       50182.0000       31916.0000     57.23%
1116.81/1119.67	c      1120           1363        1358         1       50182.0000       31916.0000     57.23%
1123.59/1126.48	c      1126           1374        1369         1       50182.0000       31916.0000     57.23%
1129.28/1132.15	c      1132           1380        1375         1       50182.0000       31916.0000     57.23%
1134.46/1137.32	c      1137           1384        1379         1       50182.0000       31916.0000     57.23%
1140.75/1143.63	c      1144           1389        1384         1       50182.0000       31916.0000     57.23%
1147.14/1150.09	c      1150           1393        1388         1       50182.0000       31916.0000     57.23%
1152.72/1155.62	c      1156           1400        1395         1       50182.0000       31916.0000     57.23%
1158.21/1161.13	c      1161           1404        1399         1       50182.0000       31916.0000     57.23%
1163.49/1166.40	c      1166           1413        1408         1       50182.0000       31916.0000     57.23%
1171.37/1174.36	c      1174           1421        1416         1       50182.0000       31916.0000     57.23%
1176.67/1179.62	c      1180           1425        1420         1       50182.0000       31916.0000     57.23%
1183.25/1186.29	c      1186           1433        1428         1       50182.0000       31916.0000     57.23%
1192.33/1195.38	c      1195           1439        1434         1       50182.0000       31916.0000     57.23%
1198.41/1201.43	c      1201           1448        1443         1       50182.0000       31916.0000     57.23%
1205.10/1208.16	c      1208           1458        1453         1       50182.0000       31916.0000     57.23%
1213.58/1216.69	c      1217           1466        1461         1       50182.0000       31916.0000     57.23%
1219.86/1222.94	c      1223           1470        1465         1       50182.0000       31916.0000     57.23%
1225.25/1228.39	c      1228           1475        1470         1       50182.0000       31916.0000     57.23%
1230.54/1233.69	c      1234           1482        1477         1       50182.0000       31916.0000     57.23%
1237.22/1240.32	c      1240           1491        1486         1       50182.0000       31916.0000     57.23%
1242.61/1245.75	c      1246           1497        1492         1       50182.0000       31916.0000     57.23%
1247.80/1250.94	c      1251           1503        1498         1       50182.0000       31916.0000     57.23%
1253.18/1256.33	c      1256           1512        1507         1       50182.0000       31916.0000     57.23%
1260.46/1263.64	c      1264           1524        1519         1       50182.0000       31916.0000     57.23%
1267.05/1270.25	c      1270           1536        1531         1       50182.0000       31916.0000     57.23%
1272.34/1275.56	c      1276           1546        1539         1       50182.0000       31916.0000     57.23%
1279.92/1283.11	c      1283           1555        1548         1       50182.0000       31916.0000     57.23%
1289.40/1292.69	c      1293           1564        1557         1       50182.0000       31916.0000     57.23%
1294.99/1298.26	c      1298           1575        1568         1       50182.0000       31916.0000     57.23%
1303.57/1306.84	c      1307           1587        1580         1       50182.0000       31916.0000     57.23%
1308.96/1312.27	c      1312           1597        1590         1       50182.0000       31916.0000     57.23%
1314.14/1317.48	c      1317           1605        1598         1       50182.0000       31916.0000     57.23%
1319.93/1323.26	c      1323           1617        1610         1       50182.0000       31916.0000     57.23%
1325.31/1328.62	c      1329           1624        1617         1       50182.0000       31916.0000     57.23%
1331.30/1334.64	c      1335           1633        1626         1       50182.0000       31916.0000     57.23%
1341.58/1344.90	c      1345           1642        1635         1       50182.0000       31916.0000     57.23%
1347.67/1351.05	c      1351           1654        1647         1       50182.0000       31916.0000     57.23%
1353.35/1356.76	c      1357           1657        1650         1       50182.0000       31916.0000     57.23%
1359.23/1362.65	c      1363           1667        1660         1       50182.0000       31916.0000     57.23%
1365.02/1368.44	c      1368           1678        1671         1       50182.0000       31916.0000     57.23%
1370.21/1373.64	c      1374           1684        1677         1       50182.0000       31916.0000     57.23%
1379.29/1382.72	c      1383           1699        1692         1       50182.0000       31916.0000     57.23%
1384.68/1388.19	c      1388           1702        1695         1       50182.0000       31916.0000     57.23%
1390.06/1393.58	c      1394           1711        1704         1       50182.0000       31916.0000     57.23%
1395.45/1398.96	c      1399           1720        1713         1       50182.0000       31916.0000     57.23%
1401.34/1404.80	c      1405           1732        1725         1       50182.0000       31916.0000     57.23%
1408.32/1411.82	c      1412           1737        1730         1       50182.0000       31916.0000     57.23%
1416.61/1420.19	c      1420           1747        1740         1       50182.0000       31916.0000     57.23%
1421.99/1425.59	c      1426           1756        1749         1       50182.0000       31916.0000     57.23%
1427.38/1430.95	c      1431           1762        1755         1       50182.0000       31916.0000     57.23%
1433.16/1436.77	c      1437           1774        1767         1       50182.0000       31916.0000     57.23%
1439.15/1442.71	c      1443           1786        1779         1       50182.0000       31916.0000     57.23%
1446.53/1450.13	c      1450           1798        1791         1       50182.0000       31916.0000     57.23%
1451.61/1455.25	c      1455           1807        1800         1       50182.0000       31916.0000     57.23%
1457.80/1461.49	c      1462           1810        1803         1       50182.0000       31916.0000     57.23%
1463.99/1467.67	c      1468           1822        1815         1       50182.0000       31916.0000     57.23%
1469.49/1473.12	c      1473           1834        1827         1       50182.0000       31916.0000     57.23%
1475.37/1479.01	c      1479           1848        1841         1       50182.0000       31916.0000     57.23%
1482.65/1486.38	c      1486           1854        1847         1       50182.0000       31916.0000     57.23%
1488.73/1492.46	c      1492           1864        1857         1       50182.0000       31916.0000     57.23%
1493.82/1497.54	c      1498           1870        1863         1       50182.0000       31916.0000     57.23%
1500.90/1504.66	c      1505           1888        1881         1       50182.0000       31916.0000     57.23%
1506.59/1510.38	c      1510           1897        1890         1       50182.0000       31916.0000     57.23%
1512.18/1515.98	c      1516           1906        1899         1       50182.0000       31916.0000     57.23%
1517.46/1521.22	c      1521           1912        1905         1       50182.0000       31916.0000     57.23%
1523.15/1526.91	c      1527           1918        1911         1       50182.0000       31916.0000     57.23%
1528.14/1531.98	c      1532           1924        1917         1       50182.0000       31916.0000     57.23%
1533.92/1537.77	c      1538           1931        1924         1       50182.0000       31916.0000     57.23%
1539.61/1543.42	c      1543           1939        1932         1       50182.0000       31916.0000     57.23%
1545.20/1549.09	c      1549           1945        1938         1       50182.0000       31916.0000     57.23%
1551.08/1554.98	c      1555           1951        1944         1       50182.0000       31916.0000     57.23%
1557.68/1561.51	c      1562           1959        1952         1       50182.0000       31916.0000     57.23%
1564.16/1568.06	c      1568           1971        1964         1       50182.0000       31916.0000     57.23%
1570.04/1573.90	c      1574           1982        1975         1       50182.0000       31916.0000     57.23%
1577.03/1580.99	c      1581           1987        1980         1       50182.0000       31916.0000     57.23%
1583.01/1586.93	c      1587           1995        1988         1       50182.0000       31916.0000     57.23%
1588.30/1592.23	c      1592           2007        2000         1       50182.0000       31916.0000     57.23%
1595.38/1599.38	c      1599           2015        2008         1       50182.0000       31916.0000     57.23%
1600.77/1604.70	c      1605           2022        2015         1       50182.0000       31916.0000     57.23%
1607.35/1611.30	c      1611           2035        2028         1       50182.0000       31916.0000     57.23%
1613.54/1617.55	c      1618           2053        2046         1       50182.0000       31916.0000     57.23%
1618.92/1622.99	c      1623           2061        2054         1       50182.0000       31916.0000     57.23%
1626.11/1630.14	c      1630           2071        2064         1       50182.0000       31916.0000     57.23%
1631.10/1635.17	c      1635           2078        2071         1       50182.0000       31916.0000     57.23%
1637.38/1641.43	c      1641           2087        2080         1       50182.0000       31916.0000     57.23%
1642.87/1646.98	c      1647           2099        2092         1       50182.0000       31916.0000     57.23%
1651.15/1655.21	c      1655           2109        2102         1       50182.0000       31916.0000     57.23%
1656.44/1660.51	c      1661           2115        2108         1       50182.0000       31916.0000     57.23%
1661.63/1665.76	c      1666           2130        2123         1       50182.0000       31916.0000     57.23%
1666.71/1670.87	c      1671           2142        2135         1       50182.0000       31916.0000     57.23%
1677.89/1682.07	c      1682           2147        2140         1       50182.0000       31916.0000     57.23%
1686.97/1691.16	c      1691           2157        2150         1       50182.0000       31916.0000     57.23%
1692.45/1696.68	c      1697           2163        2156         1       50182.0000       31916.0000     57.23%
1697.74/1701.94	c      1702           2168        2161         1       50182.0000       31916.0000     57.23%
1704.23/1708.41	c      1708           2175        2168         1       50182.0000       31916.0000     57.23%
1711.11/1715.39	c      1715           2187        2180         1       50182.0000       31916.0000     57.23%
1716.60/1720.89	c      1721           2191        2184         1       50182.0000       31916.0000     57.23%
1723.58/1727.84	c      1728           2196        2189         1       50182.0000       31916.0000     57.23%
1729.27/1733.58	c      1734           2199        2192         1       50182.0000       31916.0000     57.23%
1735.15/1739.47	c      1739           2214        2207         1       50182.0000       31916.0000     57.23%
1740.43/1744.74	c      1745           2227        2220         1       50182.0000       31916.0000     57.23%
1746.02/1750.34	c      1750           2231        2224         1       50182.0000       31916.0000     57.23%
1752.20/1756.52	c      1757           2242        2235         1       50182.0000       31916.0000     57.23%
1758.39/1762.73	c      1763           2255        2248         1       50182.0000       31916.0000     57.23%
1763.98/1768.33	c      1768           2269        2262         1       50182.0000       31916.0000     57.23%
1769.17/1773.52	c      1774           2276        2269         1       50182.0000       31916.0000     57.23%
1774.36/1778.79	c      1779           2283        2276         1       50182.0000       31916.0000     57.23%
1779.54/1783.90	c      1784           2287        2280         1       50182.0000       31916.0000     57.23%
1787.12/1791.54	c      1792           2302        2295         1       50182.0000       31916.0000     57.23%
1793.41/1797.88	c      1798           2315        2308         1       50182.0000       31916.0000     57.23%
1799.19/1803.64	c      1804           2329        2322         1       50182.0000       31916.0000     57.23%
1805.48/1809.92	c      1810           2339        2332         1       50182.0000       31916.0000     57.23%
1813.26/1817.77	c      1818           2350        2343         1       50182.0000       31916.0000     57.23%
1818.95/1823.46	c      1823           2355        2348         1       50182.0000       31916.0000     57.23%
1825.23/1829.76	c      1830           2367        2360         1       50182.0000       31916.0000     57.23%
1830.62/1835.17	c      1835           2374        2367         1       50182.0000       31916.0000     57.23%
1838.50/1843.07	c      1843           2383        2376         1       50182.0000       31916.0000     57.23%
1845.98/1850.57	c      1851           2395        2388         1       50182.0000       31916.0000     57.23%
1858.05/1862.60	c      1863           2401        2394         1       50182.0000       31916.0000     57.23%
1863.65/1868.22	c      1868           2410        2403         1       50182.0000       31916.0000     57.23%
1868.73/1873.32	c      1873           2416        2409         1       50182.0000       31916.0000     57.23%
1874.62/1879.21	c      1879           2426        2419         1       50182.0000       31916.0000     57.23%
1879.70/1884.35	c      1884           2436        2429         1       50182.0000       31916.0000     57.23%
1885.79/1890.43	c      1890           2440        2433         1       50182.0000       31916.0000     57.23%
1894.48/1899.10	c      1899           2449        2442         1       50182.0000       31916.0000     57.23%
1900.16/1904.80	c      1905           2455        2448         1       50182.0000       31916.0000     57.23%
1908.44/1913.19	c      1913           2464        2457         1       50182.0000       31916.0000     57.23%
1916.12/1920.87	c      1921           2473        2466         1       50182.0000       31916.0000     57.23%
1921.90/1926.65	c      1927           2477        2470         1       50182.0000       31916.0000     57.23%
1927.09/1931.85	c      1932           2481        2474         1       50182.0000       31916.0000     57.23%
1933.38/1938.17	c      1938           2488        2481         1       50182.0000       31916.0000     57.23%
1938.56/1943.36	c      1943           2493        2486         1       50182.0000       31916.0000     57.23%
1944.36/1949.18	c      1949           2499        2492         1       50182.0000       31916.0000     57.23%
1950.64/1955.40	c      1955           2505        2498         1       50182.0000       31916.0000     57.23%
1957.33/1962.14	c      1962           2510        2503         1       50182.0000       31916.0000     57.23%
1962.82/1967.61	c      1968           2517        2510         1       50182.0000       31916.0000     57.23%
1969.00/1973.85	c      1974           2524        2517         1       50182.0000       31916.0000     57.23%
1977.19/1982.06	c      1982           2535        2528         1       50182.0000       31916.0000     57.23%
1983.47/1988.34	c      1988           2548        2541         1       50182.0000       31916.0000     57.23%
1988.65/1993.54	c      1994           2559        2552         1       50182.0000       31916.0000     57.23%
1994.74/1999.68	c      2000           2569        2562         1       50182.0000       31916.0000     57.23%
2000.32/2005.23	c      2005           2575        2568         1       50182.0000       31916.0000     57.23%
2006.31/2011.21	c      2011           2585        2578         1       50182.0000       31916.0000     57.23%
2012.20/2017.11	c      2017           2592        2585         1       50182.0000       31916.0000     57.23%
2017.38/2022.31	c      2022           2597        2590         1       50182.0000       31916.0000     57.23%
2023.57/2028.53	c      2029           2605        2598         1       50182.0000       31916.0000     57.23%
2030.95/2035.92	c      2036           2617        2610         1       50182.0000       31916.0000     57.23%
2036.04/2041.06	c      2041           2629        2622         1       50182.0000       31916.0000     57.23%
2042.72/2047.71	c      2048           2641        2634         1       50182.0000       31916.0000     57.23%
2048.41/2053.45	c      2053           2657        2650         1       50182.0000       31916.0000     57.23%
2055.10/2060.11	c      2060           2667        2660         1       50182.0000       31916.0000     57.23%
2062.87/2067.96	c      2068           2677        2670         1       50182.0000       31916.0000     57.23%
2069.85/2074.97	c      2075           2682        2675         1       50182.0000       31916.0000     57.23%
2075.54/2080.64	c      2081           2697        2690         1       50182.0000       31916.0000     57.23%
2081.23/2086.35	c      2086           2711        2704         1       50182.0000       31916.0000     57.23%
2087.21/2092.33	c      2092           2720        2711         1       50182.0000       31916.0000     57.23%
2094.70/2099.84	c      2100           2733        2724         1       50182.0000       31916.0000     57.23%
2100.58/2105.71	c      2106           2741        2732         1       50182.0000       31916.0000     57.23%
2106.17/2111.34	c      2111           2747        2738         1       50182.0000       31916.0000     57.23%
2112.65/2117.89	c      2118           2755        2746         1       50182.0000       31916.0000     57.23%
2119.14/2124.31	c      2124           2762        2753         1       50182.0000       31916.0000     57.23%
2125.23/2130.41	c      2130           2765        2756         1       50182.0000       31916.0000     57.23%
2132.31/2137.53	c      2138           2776        2767         1       50182.0000       31916.0000     57.23%
2138.30/2143.53	c      2144           2785        2776         1       50182.0000       31916.0000     57.23%
2144.19/2149.41	c      2149           2794        2785         1       50182.0000       31916.0000     57.23%
2150.88/2156.13	c      2156           2804        2795         1       50182.0000       31916.0000     57.23%
2156.36/2161.60	c      2162           2812        2803         1       50182.0000       31916.0000     57.23%
2161.85/2167.10	c      2167           2825        2816         1       50182.0000       31916.0000     57.23%
2171.32/2176.67	c      2177           2841        2832         1       50182.0000       31916.0000     57.23%
2177.40/2182.77	c      2183           2856        2847         1       50182.0000       31916.0000     57.23%
2183.10/2188.41	c      2188           2865        2856         1       50182.0000       31916.0000     57.23%
2189.58/2194.99	c      2195           2877        2868         1       50182.0000       31916.0000     57.23%
2196.77/2202.17	c      2202           2886        2877         1       50182.0000       31916.0000     57.23%
2202.45/2207.86	c      2208           2897        2888         1       50182.0000       31916.0000     57.23%
2208.03/2213.47	c      2213           2901        2892         1       50182.0000       31916.0000     57.23%
2213.63/2219.00	c      2219           2910        2901         1       50182.0000       31916.0000     57.23%
2219.01/2224.49	c      2224           2916        2907         1       50182.0000       31916.0000     57.23%
2224.70/2230.12	c      2230           2929        2920         1       50182.0000       31916.0000     57.23%
2229.69/2235.17	c      2235           2940        2931         1       50182.0000       31916.0000     57.23%
2234.97/2240.44	c      2240           2949        2940         1       50182.0000       31916.0000     57.23%
2240.76/2246.29	c      2246           2954        2945         1       50182.0000       31916.0000     57.23%
2246.55/2252.02	c      2252           2965        2956         1       50182.0000       31916.0000     57.23%
2252.93/2258.40	c      2258           2978        2967         1       50182.0000       31916.0000     57.23%
2258.63/2264.11	c      2264           2993        2982         1       50182.0000       31916.0000     57.23%
2263.81/2269.33	c      2269           2998        2987         1       50182.0000       31916.0000     57.23%
2271.69/2277.20	c      2277           3009        2998         1       50182.0000       31916.0000     57.23%
2276.97/2282.53	c      2283           3023        3012         1       50182.0000       31916.0000     57.23%
2282.26/2287.87	c      2288           3024        3013         1       50182.0000       31916.0000     57.23%
2287.95/2293.57	c      2294           3031        3020         1       50182.0000       31916.0000     57.23%
2294.13/2299.72	c      2300           3045        3034         1       50182.0000       31916.0000     57.23%
2300.82/2306.44	c      2306           3058        3047         1       50182.0000       31916.0000     57.23%
2306.81/2312.48	c      2312           3075        3064         1       50182.0000       31916.0000     57.23%
2313.40/2319.05	c      2319           3088        3077         1       50182.0000       31916.0000     57.23%
2319.39/2325.03	c      2325           3091        3080         1       50182.0000       31916.0000     57.23%
2325.47/2331.13	c      2331           3098        3087         1       50182.0000       31916.0000     57.23%
2331.05/2336.71	c      2337           3108        3097         1       50182.0000       31916.0000     57.23%
2337.14/2342.82	c      2343           3121        3110         1       50182.0000       31916.0000     57.23%
2343.12/2348.85	c      2349           3128        3117         1       50182.0000       31916.0000     57.23%
2348.51/2354.27	c      2354           3143        3132         1       50182.0000       31916.0000     57.23%
2355.10/2360.84	c      2361           3156        3145         1       50182.0000       31916.0000     57.23%
2360.29/2366.05	c      2366           3168        3157         1       50182.0000       31916.0000     57.23%
2365.67/2371.47	c      2371           3178        3167         1       50182.0000       31916.0000     57.23%
2371.65/2377.40	c      2377           3195        3184         1       50182.0000       31916.0000     57.23%
2378.04/2383.80	c      2384           3212        3201         1       50182.0000       31916.0000     57.23%
2386.82/2392.69	c      2393           3224        3213         1       50182.0000       31916.0000     57.23%
2394.10/2399.95	c      2400           3233        3222         1       50182.0000       31916.0000     57.23%
2400.48/2406.34	c      2406           3258        3245         1       50182.0000       31916.0000     57.23%
2405.87/2411.72	c      2412           3266        3253         1       50182.0000       31916.0000     57.23%
2412.26/2418.18	c      2418           3276        3263         1       50182.0000       31916.0000     57.23%
2417.35/2423.29	c      2423           3282        3269         1       50182.0000       31916.0000     57.23%
2422.63/2428.50	c      2428           3289        3276         1       50182.0000       31916.0000     57.23%
2430.12/2436.03	c      2436           3304        3291         1       50182.0000       31916.0000     57.23%
2435.90/2441.88	c      2442           3313        3300         1       50182.0000       31916.0000     57.23%
2441.69/2447.67	c      2448           3328        3315         1       50182.0000       31916.0000     57.23%
2447.87/2453.86	c      2454           3335        3322         1       50182.0000       31916.0000     57.23%
2453.16/2459.16	c      2459           3342        3329         1       50182.0000       31916.0000     57.23%
2459.64/2465.63	c      2466           3349        3336         1       50182.0000       31916.0000     57.23%
2464.73/2470.79	c      2471           3364        3351         1       50182.0000       31916.0000     57.23%
2470.41/2476.41	c      2476           3371        3358         1       50182.0000       31916.0000     57.23%
2475.40/2481.45	c      2481           3380        3367         1       50182.0000       31916.0000     57.23%
2480.50/2486.58	c      2487           3398        3385         1       50182.0000       31916.0000     57.23%
2485.68/2491.79	c      2492           3410        3397         1       50182.0000       31916.0000     57.23%
2491.57/2497.66	c      2498           3423        3410         1       50182.0000       31916.0000     57.23%
2498.45/2504.57	c      2505           3432        3419         1       50182.0000       31916.0000     57.23%
2503.63/2509.78	c      2510           3444        3431         1       50182.0000       31916.0000     57.23%
2509.42/2515.54	c      2516           3453        3440         1       50182.0000       31916.0000     57.23%
2514.91/2521.06	c      2521           3456        3443         1       50182.0000       31916.0000     57.23%
2520.19/2526.38	c      2526           3466        3453         1       50182.0000       31916.0000     57.23%
2525.58/2531.73	c      2532           3477        3464         1       50182.0000       31916.0000     57.23%
2533.97/2540.19	c      2540           3487        3474         1       50182.0000       31916.0000     57.23%
2540.35/2546.53	c      2547           3495        3482         1       50182.0000       31916.0000     57.23%
2546.03/2552.25	c      2552           3502        3489         1       50182.0000       31916.0000     57.23%
2552.03/2558.28	c      2558           3509        3496         1       50182.0000       31916.0000     57.23%
2559.11/2565.35	c      2565           3515        3502         1       50182.0000       31916.0000     57.23%
2564.19/2570.46	c      2570           3521        3508         1       50182.0000       31916.0000     57.23%
2577.46/2583.72	c      2584           3533        3520         1       50182.0000       31916.0000     57.23%
2590.04/2596.36	c      2596           3544        3531         1       50182.0000       31916.0000     57.23%
2595.93/2602.23	c      2602           3548        3535         1       50182.0000       31916.0000     57.23%
2601.61/2607.99	c      2608           3552        3539         1       50182.0000       31916.0000     57.23%
2606.70/2613.00	c      2613           3559        3546         1       50182.0000       31916.0000     57.23%
2612.08/2618.49	c      2618           3563        3550         1       50182.0000       31916.0000     57.23%
2619.57/2625.96	c      2626           3567        3554         1       50182.0000       31916.0000     57.23%
2627.55/2633.98	c      2634           3573        3560         1       50182.0000       31916.0000     57.23%
2632.74/2639.19	c      2639           3577        3564         1       50182.0000       31916.0000     57.23%
2638.62/2645.05	c      2645           3588        3575         1       50182.0000       31916.0000     57.23%
2644.41/2650.81	c      2651           3594        3581         1       50182.0000       31916.0000     57.23%
2649.89/2656.39	c      2656           3599        3586         1       50182.0000       31916.0000     57.23%
2655.18/2661.61	c      2662           3613        3600         1       50182.0000       31916.0000     57.23%
2660.16/2666.68	c      2667           3620        3607         1       50182.0000       31916.0000     57.23%
2666.25/2672.78	c      2673           3638        3625         1       50182.0000       31916.0000     57.23%
2671.84/2678.34	c      2678           3644        3631         1       50182.0000       31916.0000     57.23%
2676.82/2683.35	c      2683           3650        3637         1       50182.0000       31916.0000     57.23%
2682.71/2689.27	c      2689           3656        3643         1       50182.0000       31916.0000     57.23%
2688.69/2695.21	c      2695           3669        3656         1       50182.0000       31916.0000     57.23%
2694.08/2700.61	c      2701           3677        3664         1       50182.0000       31916.0000     57.23%
2699.18/2705.77	c      2706           3686        3673         1       50182.0000       31916.0000     57.23%
2704.66/2711.24	c      2711           3698        3685         1       50182.0000       31916.0000     57.23%
2709.84/2716.41	c      2716           3705        3692         1       50182.0000       31916.0000     57.23%
2715.93/2722.51	c      2723           3714        3701         1       50182.0000       31916.0000     57.23%
2721.61/2728.23	c      2728           3719        3706         1       50182.0000       31916.0000     57.23%
2727.90/2734.56	c      2735           3721        3708         1       50182.0000       31916.0000     57.23%
2734.18/2740.82	c      2741           3726        3713         1       50182.0000       31916.0000     57.23%
2739.77/2746.42	c      2746           3732        3719         1       50182.0000       31916.0000     57.23%
2745.06/2751.76	c      2752           3739        3726         1       50182.0000       31916.0000     57.23%
2750.05/2756.78	c      2757           3744        3731         1       50182.0000       31916.0000     57.23%
2755.83/2762.58	c      2763           3754        3741         1       50182.0000       31916.0000     57.23%
2761.12/2767.80	c      2768           3759        3746         1       50182.0000       31916.0000     57.23%
2768.50/2775.24	c      2775           3768        3755         1       50182.0000       31916.0000     57.23%
2773.69/2780.41	c      2780           3773        3760         1       50182.0000       31916.0000     57.23%
2779.97/2786.75	c      2787           3782        3769         1       50182.0000       31916.0000     57.23%
2785.66/2792.42	c      2792           3797        3784         1       50182.0000       31916.0000     57.23%
2791.84/2798.66	c      2799           3808        3795         1       50182.0000       31916.0000     57.23%
2798.53/2805.36	c      2805           3818        3805         1       50182.0000       31916.0000     57.23%
2804.91/2811.77	c      2812           3824        3811         1       50182.0000       31916.0000     57.23%
2811.40/2818.29	c      2818           3829        3816         1       50182.0000       31916.0000     57.23%
2816.89/2823.75	c      2824           3836        3823         1       50182.0000       31916.0000     57.23%
2825.27/2832.17	c      2832           3847        3834         1       50182.0000       31916.0000     57.23%
2836.44/2843.33	c      2843           3856        3843         1       50182.0000       31916.0000     57.23%
2841.82/2848.77	c      2849           3861        3848         1       50182.0000       31916.0000     57.23%
2848.91/2855.81	c      2856           3874        3861         1       50182.0000       31916.0000     57.23%
2854.10/2861.00	c      2861           3884        3871         1       50182.0000       31916.0000     57.23%
2859.18/2866.18	c      2866           3897        3884         1       50182.0000       31916.0000     57.23%
2868.17/2875.11	c      2875           3915        3900         1       50182.0000       31916.0000     57.23%
2874.35/2881.37	c      2881           3924        3909         1       50182.0000       31916.0000     57.23%
2879.83/2886.86	c      2887           3930        3915         1       50182.0000       31916.0000     57.23%
2884.82/2891.87	c      2892           3939        3924         1       50182.0000       31916.0000     57.23%
2890.51/2897.54	c      2898           3956        3941         1       50182.0000       31916.0000     57.23%
2895.69/2902.71	c      2903           3958        3943         1       50182.0000       31916.0000     57.23%
2904.17/2911.25	c      2911           3962        3947         1       50182.0000       31916.0000     57.23%
2910.26/2917.32	c      2917           3968        3953         1       50182.0000       31916.0000     57.23%
2916.74/2923.86	c      2924           3972        3957         1       50182.0000       31916.0000     57.23%
2923.03/2930.14	c      2930           3979        3964         1       50182.0000       31916.0000     57.23%
2928.31/2935.40	c      2935           3994        3979         1       50182.0000       31916.0000     57.23%
2934.40/2941.52	c      2942           4002        3987         1       50182.0000       31916.0000     57.23%
2940.38/2947.50	c      2948           4019        4004         1       50182.0000       31916.0000     57.23%
2946.47/2953.62	c      2954           4027        4012         1       50182.0000       31916.0000     57.23%
2951.76/2958.95	c      2959           4029        4014         1       50182.0000       31916.0000     57.23%
2957.05/2964.27	c      2964           4044        4029         1       50182.0000       31916.0000     57.23%
2962.24/2969.43	c      2969           4055        4040         1       50182.0000       31916.0000     57.23%
2967.43/2974.61	c      2975           4064        4049         1       50182.0000       31916.0000     57.23%
2973.71/2980.90	c      2981           4077        4062         1       50182.0000       31916.0000     57.23%
2982.69/2989.94	c      2990           4086        4071         1       50182.0000       31916.0000     57.23%
2988.98/2996.22	c      2996           4095        4078         1       50182.0000       31916.0000     57.23%
2994.16/3001.45	c      3001           4109        4092         1       50182.0000       31916.0000     57.23%
2999.25/3006.50	c      3007           4122        4105         1       50182.0000       31916.0000     57.23%
3004.24/3011.58	c      3012           4130        4113         1       50182.0000       31916.0000     57.23%
3009.53/3016.87	c      3017           4138        4121         1       50182.0000       31916.0000     57.23%
3015.51/3022.87	c      3023           4150        4133         1       50182.0000       31916.0000     57.23%
3021.49/3028.84	c      3029           4162        4145         1       50182.0000       31916.0000     57.23%
3027.59/3034.94	c      3035           4177        4160         1       50182.0000       31916.0000     57.23%
3032.78/3040.15	c      3040           4194        4177         1       50182.0000       31916.0000     57.23%
3037.96/3045.32	c      3045           4208        4191         1       50182.0000       31916.0000     57.23%
3046.04/3053.42	c      3053           4221        4204         1       50182.0000       31916.0000     57.23%
3052.52/3059.92	c      3060           4234        4217         1       50182.0000       31916.0000     57.23%
3058.31/3065.78	c      3066           4248        4231         1       50182.0000       31916.0000     57.23%
3064.00/3071.40	c      3071           4266        4249         1       50182.0000       31916.0000     57.23%
3069.38/3076.80	c      3077           4274        4257         1       50182.0000       31916.0000     57.23%
3074.37/3081.81	c      3082           4285        4268         1       50182.0000       31916.0000     57.23%
3079.66/3087.17	c      3087           4295        4278         1       50182.0000       31916.0000     57.23%
3085.34/3092.88	c      3093           4314        4297         1       50182.0000       31916.0000     57.23%
3091.13/3098.62	c      3099           4325        4308         1       50182.0000       31916.0000     57.23%
3097.41/3104.97	c      3105           4340        4323         1       50182.0000       31916.0000     57.23%
3103.60/3111.13	c      3111           4363        4344         1       50182.0000       31916.0000     57.23%
3108.98/3116.51	c      3117           4365        4346         1       50182.0000       31916.0000     57.23%
3114.27/3121.85	c      3122           4381        4362         1       50182.0000       31916.0000     57.23%
3121.56/3129.12	c      3129           4401        4382         1       50182.0000       31916.0000     57.23%
3127.04/3134.68	c      3135           4414        4395         1       50182.0000       31916.0000     57.23%
3134.43/3142.09	c      3142           4428        4409         1       50182.0000       31916.0000     57.23%
3140.12/3147.76	c      3148           4436        4417         1       50182.0000       31916.0000     57.23%
3145.90/3153.59	c      3154           4451        4432         1       50182.0000       31916.0000     57.23%
3150.99/3158.61	c      3159           4462        4443         1       50182.0000       31916.0000     57.23%
3160.66/3168.37	c      3168           4478        4459         1       50182.0000       31916.0000     57.23%
3167.55/3175.28	c      3175           4495        4476         1       50182.0000       31916.0000     57.23%
3173.53/3181.26	c      3181           4516        4497         1       50182.0000       31916.0000     57.23%
3179.32/3187.06	c      3187           4520        4501         1       50182.0000       31916.0000     57.23%
3184.90/3192.66	c      3193           4533        4514         1       50182.0000       31916.0000     57.23%
3190.69/3198.41	c      3198           4543        4524         1       50182.0000       31916.0000     57.23%
3195.78/3203.53	c      3204           4554        4535         1       50182.0000       31916.0000     57.23%
3203.06/3210.82	c      3211           4560        4541         1       50182.0000       31916.0000     57.23%
3210.25/3218.05	c      3218           4570        4551         1       50182.0000       31916.0000     57.23%
3216.73/3224.56	c      3225           4582        4563         1       50182.0000       31916.0000     57.23%
3223.11/3230.98	c      3231           4593        4574         1       50182.0000       31916.0000     57.23%
3228.21/3236.05	c      3236           4606        4587         1       50182.0000       31916.0000     57.23%
3234.59/3242.46	c      3242           4616        4597         1       50182.0000       31916.0000     57.23%
3243.17/3251.09	c      3251           4630        4611         1       50182.0000       31916.0000     57.23%
3250.05/3257.92	c      3258           4647        4628         1       50182.0000       31916.0000     57.23%
3255.04/3262.97	c      3263           4665        4646         1       50182.0000       31916.0000     57.23%
3260.82/3268.76	c      3269           4682        4663         1       50182.0000       31916.0000     57.23%
3266.92/3274.84	c      3275           4702        4683         1       50182.0000       31916.0000     57.23%
3272.60/3280.50	c      3280           4728        4709         1       50182.0000       31916.0000     57.23%
3278.39/3286.34	c      3286           4738        4719         1       50182.0000       31916.0000     57.23%
3283.67/3291.61	c      3292           4749        4730         1       50182.0000       31916.0000     57.23%
3288.66/3296.66	c      3297           4758        4739         1       50182.0000       31916.0000     57.23%
3294.85/3302.88	c      3303           4765        4746         1       50182.0000       31916.0000     57.23%
3301.04/3309.10	c      3309           4781        4762         1       50182.0000       31916.0000     57.23%
3307.22/3315.22	c      3315           4793        4774         1       50182.0000       31916.0000     57.23%
3312.31/3320.39	c      3320           4810        4791         1       50182.0000       31916.0000     57.23%
3318.49/3326.56	c      3327           4824        4805         1       50182.0000       31916.0000     57.23%
3324.28/3332.35	c      3332           4837        4816         1       50182.0000       31916.0000     57.23%
3331.16/3339.20	c      3339           4855        4834         1       50182.0000       31916.0000     57.23%
3337.15/3345.26	c      3345           4875        4854         1       50182.0000       31916.0000     57.23%
3342.54/3350.63	c      3351           4890        4869         1       50182.0000       31916.0000     57.23%
3347.62/3355.75	c      3356           4901        4880         1       50182.0000       31916.0000     57.23%
3353.31/3361.41	c      3361           4912        4891         1       50182.0000       31916.0000     57.23%
3359.20/3367.32	c      3367           4920        4899         1       50182.0000       31916.0000     57.23%
3364.68/3372.83	c      3373           4929        4908         1       50182.0000       31916.0000     57.23%
3370.27/3378.44	c      3378           4938        4917         1       50182.0000       31916.0000     57.23%
3375.66/3383.85	c      3384           4944        4923         1       50182.0000       31916.0000     57.23%
3381.25/3389.44	c      3389           4961        4940         1       50182.0000       31916.0000     57.23%
3389.63/3397.80	c      3398           4972        4951         1       50182.0000       31916.0000     57.23%
3395.82/3404.05	c      3404           4985        4964         1       50182.0000       31916.0000     57.23%
3401.60/3409.83	c      3410           4996        4973         1       50182.0000       31916.0000     57.23%
3408.08/3416.33	c      3416           5001        4978         1       50182.0000       31916.0000     57.23%
3414.07/3422.30	c      3422           5010        4987         1       50182.0000       31916.0000     57.23%
3420.36/3428.66	c      3429           5022        4999         1       50182.0000       31916.0000     57.23%
3426.04/3434.31	c      3434           5030        5007         1       50182.0000       31916.0000     57.23%
3431.53/3439.81	c      3440           5040        5017         1       50182.0000       31916.0000     57.23%
3438.83/3447.15	c      3447           5051        5028         1       50182.0000       31916.0000     57.23%
3444.01/3452.35	c      3452           5060        5037         1       50182.0000       31916.0000     57.23%
3449.40/3457.71	c      3458           5070        5047         1       50182.0000       31916.0000     57.23%
3454.39/3462.73	c      3463           5081        5058         1       50182.0000       31916.0000     57.23%
3460.17/3468.51	c      3469           5090        5067         1       50182.0000       31916.0000     57.23%
3465.36/3473.71	c      3474           5098        5075         1       50182.0000       31916.0000     57.23%
3471.55/3479.97	c      3480           5101        5078         1       50182.0000       31916.0000     57.23%
3476.64/3485.02	c      3485           5109        5086         1       50182.0000       31916.0000     57.23%
3482.82/3491.24	c      3491           5116        5093         1       50182.0000       31916.0000     57.23%
3487.81/3496.26	c      3496           5128        5105         1       50182.0000       31916.0000     57.23%
3493.89/3502.34	c      3502           5136        5113         1       50182.0000       31916.0000     57.23%
3503.57/3512.08	c      3512           5146        5123         1       50182.0000       31916.0000     57.23%
3508.96/3517.46	c      3517           5150        5127         1       50182.0000       31916.0000     57.23%
3514.44/3522.97	c      3523           5156        5133         1       50182.0000       31916.0000     57.23%
3523.42/3531.92	c      3532           5166        5143         1       50182.0000       31916.0000     57.23%
3529.31/3537.82	c      3538           5175        5152         1       50182.0000       31916.0000     57.23%
3535.51/3544.06	c      3544           5180        5157         1       50182.0000       31916.0000     57.23%
3541.79/3550.35	c      3550           5191        5168         1       50182.0000       31916.0000     57.23%
3551.57/3560.11	c *    3560           5194        5171         1       49171.0000       31916.0000     54.06%
3551.57/3560.11	c      3560           5194        5171         1       49171.0000       31916.0000     54.06%
3560.94/3569.59	c      3570           5206        5183         1       49171.0000       31916.0000     54.06%
3568.12/3576.74	c      3577           5217        5192         1       49171.0000       31916.0000     54.06%
3573.61/3582.25	c      3582           5226        5201         1       49171.0000       31916.0000     54.06%
3578.90/3587.51	c      3588           5232        5207         1       49171.0000       31916.0000     54.06%
3584.88/3593.57	c      3594           5236        5211         1       49171.0000       31916.0000     54.06%
3589.38/3598.10	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.38/3598.10	c Total Time         : 3598.10
3589.38/3598.10	c   solving          : 3598.10
3589.38/3598.10	c   presolving       : 0.55 (included in solving)
3589.38/3598.10	c B&B Tree           :
3589.38/3598.10	c   nodes (total)    : 1
3589.38/3598.10	c Solution           :
3589.38/3598.10	c   Solutions found  : 3
3589.38/3598.10	c   Primal Bound     : +4.91710000000000e+04
3589.38/3598.10	c   Dual Bound       : +3.19160000000000e+04
3589.38/3598.10	c Gap                : 54.06379 %
3589.38/3598.10	c * Warning: final gap: 5.40638e-01 is greater than SCIPepsilon: 1.00000e-09
3589.38/3598.10	o 49171
3589.38/3598.10	s SATISFIABLE
3589.38/3598.10	v -x833 x769 x705 x641 -x577 -x513 x449 x385 x321 -x257 -x193 -x129 x65 -x1 x896 -x832 x768 x704 x640 -x576 x512 -x448 -x384 x320 
3589.38/3598.10	v -x256 -x192 -x128 x64 -x887 x823 x759 -x695 -x631 x567 -x503 x439 x375 -x311 x247 x183 -x119 -x55 x878 x814 -x750 -x686 x622 
3589.38/3598.10	v x558 -x494 -x430 -x366 x302 x238 -x174 x110 -x46 x869 x805 x741 -x677 x613 -x549 x485 x421 -x357 -x293 -x229 x165 -x101 -x37 
3589.38/3598.10	v -x860 -x796 -x732 x668 -x604 -x540 -x476 x412 x348 x284 -x220 x156 x92 x28 -x851 -x787 -x723 x659 -x595 x531 x467 -x403 x339 
3589.38/3598.10	v -x275 x211 -x147 x83 x19 x842 -x778 -x714 -x650 x586 x522 -x458 -x394 -x330 x266 x202 x138 -x74 x10 -x895 x831 -x767 -x703 -x639 
3589.38/3598.10	v -x575 -x511 -x447 -x383 -x319 -x255 -x191 -x127 -x63 -x894 -x830 -x766 -x702 -x638 -x574 -x510 -x446 -x382 -x318 -x254 -x190 
3589.38/3598.10	v x126 -x62 -x893 -x829 -x765 -x701 -x637 -x573 -x509 -x445 -x381 -x317 -x253 x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636 
3589.38/3598.10	v -x572 -x508 x444 -x380 -x316 -x252 -x188 -x124 -x60 -x891 -x827 -x763 -x699 -x635 -x571 -x507 -x443 -x379 -x315 x251 -x187 
3589.38/3598.10	v -x123 -x59 -x890 -x826 -x762 -x698 -x634 x570 -x506 -x442 -x378 -x314 -x250 -x186 -x122 -x58 -x889 -x825 -x761 -x697 -x633 -x569 
3589.38/3598.10	v -x505 -x441 x377 -x313 -x249 -x185 -x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 x504 -x440 -x376 -x312 -x248 -x184 -x120 
3589.38/3598.10	v -x56 -x886 -x822 -x758 -x694 -x630 -x566 -x502 -x438 -x374 x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 x629 -x565 -x501 
3589.38/3598.10	v -x437 -x373 -x309 -x245 -x181 -x117 -x53 -x884 -x820 -x756 -x692 -x628 -x564 -x500 -x436 -x372 -x308 -x244 -x180 -x116 x52 
3589.38/3598.10	v -x883 -x819 -x755 -x691 -x627 -x563 -x499 -x435 -x371 -x307 -x243 -x179 x115 -x51 x882 -x818 -x754 -x690 -x626 -x562 -x498 
3589.38/3598.10	v -x434 -x370 -x306 -x242 -x178 -x114 -x50 -x881 -x817 -x753 x689 -x625 -x561 -x497 -x433 -x369 -x305 -x241 -x177 -x113 -x49 -x880 
3589.38/3598.10	v -x816 -x752 x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 -x176 -x112 -x48 -x879 -x815 x751 -x687 -x623 -x559 -x495 -x431 
3589.38/3598.10	v -x367 -x303 -x239 -x175 -x111 -x47 -x877 -x813 -x749 -x685 -x621 -x557 -x493 x429 -x365 -x301 -x237 -x173 -x109 -x45 -x876 
3589.38/3598.10	v -x812 -x748 -x684 -x620 -x556 -x492 -x428 x364 -x300 -x236 -x172 -x108 -x44 -x875 -x811 -x747 -x683 -x619 -x555 -x491 -x427 
3589.38/3598.10	v -x363 -x299 -x235 -x171 -x107 x43 -x874 -x810 -x746 -x682 -x618 -x554 -x490 -x426 -x362 -x298 -x234 x170 -x106 -x42 -x873 -x809 
3589.38/3598.10	v -x745 -x681 -x617 -x553 x489 -x425 -x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 -x744 -x680 -x616 -x552 -x488 -x424 -x360 
3589.38/3598.10	v x296 -x232 -x168 -x104 -x40 -x871 -x807 -x743 -x679 -x615 -x551 -x487 -x423 -x359 -x295 x231 -x167 -x103 -x39 -x870 -x806 -x742 
3589.38/3598.10	v -x678 -x614 x550 -x486 -x422 -x358 -x294 -x230 -x166 -x102 -x38 -x868 -x804 -x740 x676 -x612 -x548 -x484 -x420 -x356 -x292 
3589.38/3598.10	v -x228 -x164 -x100 -x36 -x867 -x803 -x739 -x675 -x611 -x547 -x483 -x419 x355 -x291 -x227 -x163 -x99 -x35 -x866 -x802 -x738 
3589.38/3598.10	v -x674 -x610 -x546 -x482 -x418 -x354 -x290 -x226 -x162 -x98 x34 -x865 -x801 -x737 -x673 -x609 -x545 -x481 -x417 -x353 -x289 -x225 
3589.38/3598.10	v -x161 x97 -x33 -x864 -x800 -x736 -x672 x608 -x544 -x480 -x416 -x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 -x735 -x671 -x607 
3589.38/3598.10	v x543 -x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 -x350 -x286 -x222 -x158 
3589.38/3598.10	v -x94 -x30 -x861 x797 -x733 -x669 -x605 -x541 -x477 -x413 -x349 -x285 -x221 -x157 -x93 -x29 -x859 -x795 -x731 -x667 -x603 -x539 
3589.38/3598.10	v x475 -x411 -x347 -x283 -x219 -x155 -x91 -x27 -x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 -x282 x218 -x154 -x90 
3589.38/3598.10	v -x26 -x857 -x793 x729 -x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 -x89 -x25 x856 -x792 -x728 -x664 -x600 -x536 -x472 
3589.38/3598.10	v -x408 -x344 -x280 -x216 -x152 -x88 -x24 -x855 -x791 -x727 -x663 -x599 -x535 -x471 x407 -x343 -x279 -x215 -x151 -x87 -x23 -x854 
3589.38/3598.10	v -x790 -x726 -x662 x598 -x534 -x470 -x406 -x342 -x278 -x214 -x150 -x86 -x22 -x853 -x789 x725 -x661 -x597 -x533 -x469 -x405 
3589.38/3598.10	v -x341 -x277 -x213 -x149 -x85 -x21 -x852 -x788 -x724 -x660 -x596 -x532 -x468 -x404 -x340 -x276 -x212 x148 -x84 -x20 -x850 -x786 
3589.38/3598.10	v -x722 -x658 -x594 -x530 -x466 -x402 -x338 x274 -x210 -x146 -x82 -x18 -x849 x785 -x721 -x657 -x593 -x529 -x465 -x401 -x337 
3589.38/3598.10	v -x273 -x209 -x145 -x81 -x17 -x848 -x784 x720 -x656 -x592 -x528 -x464 -x400 -x336 -x272 -x208 -x144 -x80 -x16 -x847 -x783 -x719 
3589.38/3598.10	v -x655 -x591 -x527 -x463 -x399 x335 -x271 -x207 -x143 -x79 -x15 -x846 x782 -x718 -x654 -x590 -x526 -x462 -x398 -x334 -x270 -x206 
3589.38/3598.10	v -x142 -x78 -x14 -x845 -x781 -x717 -x653 -x589 -x525 x461 -x397 -x333 -x269 -x205 -x141 -x77 -x13 -x844 -x780 -x716 -x652 
3589.38/3598.10	v -x588 -x524 -x460 -x396 -x332 -x268 -x204 -x140 x76 -x12 -x843 -x779 -x715 x651 -x587 -x523 -x459 -x395 -x331 -x267 -x203 -x139 
3589.38/3598.10	v -x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 x393 -x329 -x265 -x201 -x137 -x73 -x9 -x840 -x776 -x712 -x648 -x584 -x520 
3589.38/3598.10	v -x456 -x392 -x328 -x264 -x200 -x136 -x72 x8 -x839 -x775 -x711 -x647 -x583 -x519 -x455 -x391 -x327 -x263 -x199 x135 -x71 
3589.38/3598.10	v -x7 -x838 -x774 -x710 -x646 -x582 -x518 -x454 -x390 -x326 -x262 x198 -x134 -x70 -x6 x837 -x773 -x709 -x645 -x581 -x517 -x453 
3589.38/3598.10	v -x389 -x325 -x261 -x197 -x133 -x69 -x5 -x836 -x772 -x708 -x644 -x580 -x516 -x452 -x388 -x324 x260 -x196 -x132 -x68 -x4 -x835 
3589.38/3598.10	v -x771 -x707 -x643 -x579 x515 -x451 -x387 -x323 -x259 -x195 -x131 -x67 -x3 -x834 -x770 -x706 -x642 x578 -x514 -x450 -x386 -x322 
3589.38/3598.10	v -x258 -x194 -x130 -x66 -x2 x1344 x1343 -x1342 -x1341 -x1340 x1339 x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 
3589.38/3598.10	v -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312 
3589.38/3598.10	v -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 
3589.38/3598.10	v -x1293 -x1292 x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 x1278 -x1277 x1276 -x1275 
3589.38/3598.10	v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 
3589.38/3598.10	v x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 
3589.38/3598.10	v -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 
3589.38/3598.10	v -x1219 x1218 -x1217 -x1216 x1215 x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 
3589.38/3598.10	v x1201 -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
3589.38/3598.10	v -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 
3589.38/3598.10	v -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 x1153 x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 
3589.38/3598.10	v x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 
3589.38/3598.10	v -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 
3589.38/3598.10	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 
3589.38/3598.10	v -x1091 -x1090 -x1089 x1088 x1087 x1086 -x1085 x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 -x1073 
3589.38/3598.10	v -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
3589.38/3598.10	v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 
3589.38/3598.10	v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 x1028 x1027 x1026 x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 
3589.38/3598.10	v x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
3589.38/3598.10	v -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 
3589.38/3598.10	v -x977 -x976 x975 -x974 x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 x962 x961 -x960 -x959 -x958 -x957 
3589.38/3598.10	v x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 
3589.38/3598.10	v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 
3589.49/3598.12	v -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 x902 -x901 x900 -x899 x898 -x897 

Verifier Data

OK	49171

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (57684 MiB free)
  memory of node 1: 64510 MiB (61560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463966-1722378594/watcher-4463966-1722378594 -o /tmp/evaluation-result-4463966-1722378594/solver-4463966-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27906 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463966-1722378594.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=27962, runsolver pid=27958

[startup+0.100632 s]*
/proc/loadavg: 0.11 0.09 0.09 5/257 27967
/proc/meminfo: memFree=121958588/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=65156 memory=53468 CPUtime=0.1 cores=5,7
/proc/27962/stat : 27962 (fscip) R 27958 27962 27893 0 -1 4194304 11039 0 0 0 9 1 0 0 20 0 1 0 4457316 66719744 13301 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 16289 13367 2646 3035 0 12685 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65156 KiB
Current children cumulated memory: 53468 KiB

[startup+0.205392 s]*
/proc/loadavg: 0.11 0.09 0.09 5/257 27967
/proc/meminfo: memFree=121822052/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=74676 memory=63996 CPUtime=0.2 cores=5,7
/proc/27962/stat : 27962 (fscip) R 27958 27962 27893 0 -1 4194304 17769 0 0 0 18 2 0 0 20 0 1 0 4457316 76468224 15999 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 18669 15999 2726 3035 0 15065 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74676 KiB
Current children cumulated memory: 63996 KiB

[startup+0.30491 s]*
/proc/loadavg: 0.11 0.09 0.09 5/257 27967
/proc/meminfo: memFree=121718368/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=77388 memory=66812 CPUtime=0.3 cores=5,7
/proc/27962/stat : 27962 (fscip) R 27958 27962 27893 0 -1 4194304 18461 0 0 0 28 2 0 0 20 0 1 0 4457316 79245312 16703 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 19347 16703 2774 3035 0 15743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77388 KiB
Current children cumulated memory: 66812 KiB

[startup+0.700633 s]
/proc/loadavg: 0.11 0.09 0.09 5/258 27968
/proc/meminfo: memFree=121491008/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=232916 memory=167104 CPUtime=0.69 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 39601 0 0 0 64 5 0 0 20 0 3 0 4457316 238505984 41776 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 58229 41776 2806 3035 0 47689 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 232916 KiB
Current children cumulated memory: 167104 KiB

[startup+1.50025 s]
/proc/loadavg: 0.42 0.16 0.11 5/261 27971
/proc/meminfo: memFree=121158400/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=347664 memory=266460 CPUtime=1.48 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 61673 0 0 0 139 9 0 0 20 0 3 0 4457316 356007936 66615 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 86916 66615 2854 3035 0 75339 0
[pid=27962/tid=27970] ppid=27958 vsize=347664 memory=110688 CPUtime=0.84 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 31068 0 0 0 80 4 0 0 20 0 3 0 4457378 356007936 66615 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=347664 memory=2160 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457383 356007936 66615 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347664 KiB
Current children cumulated memory: 266460 KiB

[startup+3.10583 s]
/proc/loadavg: 0.42 0.16 0.11 5/263 27973
/proc/meminfo: memFree=120601972/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=347664 memory=266988 CPUtime=3.08 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 70365 0 0 0 298 10 0 0 20 0 3 0 4457316 356007936 66747 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 86916 66747 2934 3035 0 75339 0
[pid=27962/tid=27970] ppid=27958 vsize=347664 memory=2160 CPUtime=2.44 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 39754 0 0 0 239 5 0 0 20 0 3 0 4457378 356007936 66747 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=347664 memory=266988 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4457383 356007936 66747 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 347664 KiB
Current children cumulated memory: 266988 KiB

[startup+6.30019 s]
/proc/loadavg: 0.71 0.22 0.13 5/263 27973
/proc/meminfo: memFree=120495612/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=347664 memory=267052 CPUtime=6.26 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 78862 0 0 0 616 10 0 0 20 0 3 0 4457316 356007936 66763 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 86916 66763 2950 3035 0 75339 0
[pid=27962/tid=27970] ppid=27958 vsize=347664 memory=267052 CPUtime=5.63 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 48245 0 0 0 557 6 0 0 20 0 3 0 4457378 356007936 66763 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=347664 memory=11712 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4457383 356007936 66763 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 347664 KiB
Current children cumulated memory: 267052 KiB

[startup+12.7002 s]
/proc/loadavg: 1.05 0.30 0.16 5/263 27975
/proc/meminfo: memFree=120417524/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=347664 memory=274856 CPUtime=12.65 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 105056 0 0 0 1253 12 0 0 20 0 3 0 4457316 356007936 68714 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 86916 68714 2966 3035 0 78081 0
[pid=27962/tid=27970] ppid=27958 vsize=347664 memory=266988 CPUtime=12.02 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 74432 0 0 0 1194 8 0 0 20 0 3 0 4457378 356007936 68714 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=347664 memory=274624 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4457383 356007936 68714 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 347664 KiB
Current children cumulated memory: 274856 KiB

[startup+25.5002 s]
/proc/loadavg: 1.50 0.42 0.20 5/263 27976
/proc/meminfo: memFree=120311404/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=347664 memory=277248 CPUtime=25.42 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 138132 0 0 0 2528 14 0 0 20 0 3 0 4457316 356007936 69312 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 86916 69312 2966 3035 0 81818 0
[pid=27962/tid=27970] ppid=27958 vsize=347664 memory=275968 CPUtime=24.79 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 107501 0 0 0 2469 10 0 0 20 0 3 0 4457378 356007936 69312 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=347664 memory=270968 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4457383 356007936 69312 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 347664 KiB
Current children cumulated memory: 277248 KiB

[startup+51.1053 s]
/proc/loadavg: 2.55 0.78 0.33 5/267 28042
/proc/meminfo: memFree=120292884/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=347664 memory=277248 CPUtime=50.96 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 154284 0 0 0 5081 15 0 0 20 0 3 0 4457316 356007936 69312 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 86916 69312 2966 3035 0 81818 0
[pid=27962/tid=27970] ppid=27958 vsize=347664 memory=2160 CPUtime=50.33 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 123642 0 0 0 5022 11 0 0 20 0 3 0 4457378 356007936 69312 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=347664 memory=277248 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4457383 356007936 69312 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 347664 KiB
Current children cumulated memory: 277248 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.29 0.53 5/268 28054
/proc/meminfo: memFree=119685884/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=413200 memory=308892 CPUtime=102.03 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 192265 0 0 0 10185 18 0 0 20 0 3 0 4457316 423116800 77223 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 103300 77223 3014 3035 0 89966 0
[pid=27962/tid=27970] ppid=27958 vsize=413200 memory=11712 CPUtime=101.39 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 161509 0 0 0 10126 13 0 0 20 0 3 0 4457378 423116800 77223 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=413200 memory=308892 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4457383 423116800 77223 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 413200 KiB
Current children cumulated memory: 308892 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.80 0.75 5/268 28065
/proc/meminfo: memFree=119625800/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=478736 memory=348348 CPUtime=161.89 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 236469 0 0 0 16168 21 0 0 20 0 3 0 4457316 490225664 87087 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 119684 87087 3030 3035 0 103302 0
[pid=27962/tid=27970] ppid=27958 vsize=478736 memory=11712 CPUtime=161.24 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 205637 0 0 0 16108 16 0 0 20 0 3 0 4457378 490225664 87087 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=478736 memory=348152 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 4457383 490225664 87087 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 478736 KiB
Current children cumulated memory: 348348 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 2.31 1.00 5/268 28124
/proc/meminfo: memFree=120722900/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=478736 memory=366116 CPUtime=221.74 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 259505 0 0 0 22151 23 0 0 20 0 3 0 4457316 490225664 91529 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 119684 91529 3030 3035 0 108142 0
[pid=27962/tid=27970] ppid=27958 vsize=478736 memory=361164 CPUtime=221.09 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 228632 0 0 0 22091 18 0 0 20 0 3 0 4457378 490225664 91529 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=478736 memory=366104 CPUtime=0 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4457383 490225664 91529 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 478736 KiB
Current children cumulated memory: 366116 KiB


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

[pid=27962] ppid=27958 vsize=872460 memory=756220 CPUtime=3453.99 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 781534 0 0 0 345323 76 0 0 20 0 3 0 4457316 893399040 189055 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 218115 189055 3030 3035 0 199819 0
[pid=27962/tid=27970] ppid=27958 vsize=872460 memory=756172 CPUtime=3453.19 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 748958 0 0 0 345254 65 0 0 20 0 3 0 4457378 893399040 189055 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=872460 memory=11712 CPUtime=0.02 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 174 0 0 0 0 2 0 0 20 0 3 0 4457383 893399040 189055 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3453.99 s
Current children cumulated vsize: 872460 KiB
Current children cumulated memory: 756220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 29785
/proc/meminfo: memFree=116419860/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=872460 memory=757892 CPUtime=3513.85 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 783539 0 0 0 351309 76 0 0 20 0 3 0 4457316 893399040 189473 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 218115 189473 3030 3035 0 200860 0
[pid=27962/tid=27970] ppid=27958 vsize=872460 memory=757892 CPUtime=3513.04 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 750941 0 0 0 351239 65 0 0 20 0 3 0 4457378 893399040 189473 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=872460 memory=757824 CPUtime=0.02 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 178 0 0 0 0 2 0 0 20 0 3 0 4457383 893399040 189473 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3513.85 s
Current children cumulated vsize: 872460 KiB
Current children cumulated memory: 757892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.12 4.03 5/264 29964
/proc/meminfo: memFree=116329244/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3573.71 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788008 0 0 0 357294 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=766556 CPUtime=3572.9 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755222 0 0 0 357224 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=12552 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 179 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

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

# cumulated CPU time of all completed processes:  user=3588.73 s, system=0.784996 s

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

[startup+3584 s]*
/proc/loadavg: 4.21 4.12 4.03 5/264 29965
/proc/meminfo: memFree=116328088/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3575.41 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788011 0 0 0 357464 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=-7522256593712406652 CPUtime=3574.6 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755225 0 0 0 357394 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=-4050210904893604237 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 179 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3575.41 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3590.4 s]
/proc/loadavg: 4.19 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116311632/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3581.79 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788061 0 0 0 358102 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=0 CPUtime=3580.98 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755275 0 0 0 358032 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=12552 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 179 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3581.79 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116310500/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3584.98 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788076 0 0 0 358421 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=766720 CPUtime=3584.18 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755290 0 0 0 358352 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=12552 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 179 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116309284/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3586.58 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788287 0 0 0 358581 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=12552 CPUtime=3585.77 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755498 0 0 0 358511 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=-7522256593712406652 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116309344/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3588.18 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788374 0 0 0 358741 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=11712 CPUtime=3587.37 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755585 0 0 0 358671 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=11712 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3597.6 s]
/proc/loadavg: 4.16 4.12 4.03 5/264 29968
/proc/meminfo: memFree=116308256/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3588.97 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788374 0 0 0 358820 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=11712 CPUtime=3588.17 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755585 0 0 0 358751 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=5492 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3588.97 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3598 s]*
/proc/loadavg: 4.16 4.12 4.03 5/264 29968
/proc/meminfo: memFree=116308008/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=882580 memory=766720 CPUtime=3589.38 cores=5,7
/proc/27962/stat : 27962 (fscip) S 27958 27962 27893 0 -1 1077936128 788375 0 0 0 358861 77 0 0 20 0 3 0 4457316 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 220645 191680 3030 3035 0 203556 0
[pid=27962/tid=27970] ppid=27958 vsize=882580 memory=-7522256593712406652 CPUtime=3588.57 cores=5,7
/proc/27962/task/27970/stat : 27970 (fscip) R 27958 27962 27893 0 -1 4194368 755586 0 0 0 358791 66 0 0 20 0 3 0 4457378 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
[pid=27962/tid=27971] ppid=27958 vsize=882580 memory=-4050210904893604237 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 3 0 4457383 903761920 191680 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3589.38 s
Current children cumulated vsize: 882580 KiB
Current children cumulated memory: 766720 KiB

[startup+3598.12 s]
/proc/loadavg: 4.16 4.12 4.03 5/264 29968
/proc/meminfo: memFree=116308008/131524600 swapFree=131071996/131071996
[pid=27962] ppid=27958 vsize=756812 memory=698448 CPUtime=3589.49 cores=5,7
/proc/27962/stat : 27962 (fscip) R 27958 27962 27893 0 -1 4194304 791027 0 0 0 358872 77 0 0 20 0 2 0 4457316 774975488 174612 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
/proc/27962/statm: 189203 174612 3030 3035 0 184087 0
[pid=27962/tid=27971] ppid=27958 vsize=756812 memory=766720 CPUtime=0.03 cores=5,7
/proc/27962/task/27971/stat : 27971 (fscip) S 27958 27962 27893 0 -1 1077936192 180 0 0 0 0 3 0 0 20 0 2 0 4457383 774975488 174612 134679101440 4194304 16623229 140737285654160 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28868608 140737285657622 140737285657738 140737285657738 140737285664752 0
Current children cumulated CPU time: 3589.49 s
Current children cumulated vsize: 756812 KiB
Current children cumulated memory: 698448 KiB

Child status: 0

Real time (s): 3598.13
CPU time (s): 3589.51
CPU user time (s): 3588.73
CPU system time (s): 0.784996
CPU usage (%): 99.7605
Max. virtual memory (cumulated for all children) (KiB): 882580
Max. memory (cumulated for all children) (KiB): 766720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.73
system time used= 0.784996
maximum resident set size= 766720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791166
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= 7460
involuntary context switches= 1955


# summary of solver processes directly reported to runsolver:
#   pid: 27962
#   total CPU time (s): 3589.51
#   total CPU user time (s): 3588.73
#   total CPU system time (s): 0.784996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93889 second user time and 14.6602 second system time

The end

Launcher Data

Begin job on nodeC020 at 2024-07-31 00:29:54
IDJOB=4463966
IDBENCH=147018
IDSOLVER=3092
FILE ID=nodeC020/4463966-1722378594
RUNJOBID= nodeC020-1722378594-27906
SLURM_JOB_ID= 8249843
Free space on /tmp= 890036 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.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-4463966-1722378594/watcher-4463966-1722378594 -o /tmp/evaluation-result-4463966-1722378594/solver-4463966-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27906 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463966-1722378594.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=1497379858

nodeC020.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		: 3655.803
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3629.865
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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		: 3625.885
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3630.005
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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		: 3642.040
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3649.996
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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		: 3645.734
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3594.525
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122123596 kB
MemAvailable:   129744304 kB
Buffers:           90104 kB
Cached:          8346700 kB
SwapCached:            0 kB
Active:           251820 kB
Inactive:        8637364 kB
Active(anon):       1528 kB
Inactive(anon):   472232 kB
Active(file):     250292 kB
Inactive(file):  8165132 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            123660 kB
Writeback:             0 kB
AnonPages:        450532 kB
Mapped:            97700 kB
Shmem:             21336 kB
KReclaimable:      89864 kB
Slab:             171228 kB
SReclaimable:      89864 kB
SUnreclaim:        81364 kB
KernelStack:        3968 kB
PageTables:         9708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     887216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      193236 kB
DirectMap2M:    10065920 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC020 at 2024-07-31 01:29:52