Trace number 4464472

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30? 3589.48 3598.06

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K80.opb
MD5SUMbc14cc3bb42aaf8e1259e2bb8ce475fb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.35795
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4400
Total number of constraints4562
Number of constraints which are clauses4482
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
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.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 42201088, getVmSize() = 42201088, SCIPgetMemUsed() = 16166113, SCIPgetMemTotal() = 20131137, SCIPgetMemExternEstim() = 8578893
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.78/3.87	c ** Estimated virtualMemUsedAtSolver = 55303709, getVmSize() = 98512896, SCIPgetMemUsed() = 51432831, SCIPgetMemTotal() = 74376671, SCIPgetMemExternEstim() = 8578893
3.78/3.87	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.78/3.87	c Original Problem   :
3.78/3.87	c   Problem name     : instance-4464472-1722385794
3.78/3.87	c   Variables        : 4400 (4400 binary, 0 integer, 0 implicit integer, 0 continuous)
3.78/3.87	c   Constraints      : 4562
3.78/3.87	c   Objective sense  : minimize
3.78/3.87	c Presolved Problem  :
3.78/3.87	c   Variables        : 3587 (3587 binary, 0 integer, 0 implicit integer, 0 continuous)
3.78/3.87	c   Constraints      : 3711
3.78/3.87	c Constraints        : Number
3.78/3.87	c   setppc           : 745 
3.78/3.87	c   logicor          : 2966 
3.78/3.87	c ** Instance transfer method used: 0
3.78/3.88	c ** ParaScipInstance copy does not increase the number of variables. **
3.78/3.89	c LC is working with racing ramp-up and with rebuilding tree after racing.
3.78/3.89	c                                Nodes    Active                                            
3.78/3.89	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
30.99/31.16	c        31              2           1         1                -           0.0000          -
36.18/36.36	c        36              9           8         1                -           0.0000          -
42.27/42.47	c        42             32          23         1                -           0.0000          -
48.05/48.28	c        48             80          29         1                -           0.0000          -
53.54/53.74	c        54            126          29         1                -           0.0000          -
59.12/59.35	c        59            180          37         1                -           0.0000          -
65.91/66.17	c        66            187          42         1                -           0.0000          -
71.69/71.96	c        72            244          45         1                -           0.0000          -
77.28/77.53	c        78            278          47         1                -           0.0000          -
82.27/82.53	c        83            319          52         1                -           0.0000          -
87.66/87.99	c        88            368          51         1                -           0.0000          -
92.75/93.04	c        93            400          53         1                -           0.0000          -
98.33/98.65	c        99            431          54         1                -           0.0000          -
104.01/104.38	c       104            465          56         1                -           0.0000          -
109.40/109.74	c       110            514          53         1                -           0.0000          -
114.69/115.02	c       115            560          51         1                -           0.0000          -
120.37/120.70	c       121            605          48         1                -           0.0000          -
125.86/126.27	c       126            635          48         1                -           0.0000          -
131.25/131.64	c       132            691          60         1                -           0.0000          -
136.84/137.29	c       137            741          50         1                -           0.0000          -
142.12/142.54	c       143            768          47         1                -           0.0000          -
147.72/148.11	c       148            821          50         1                -           0.0000          -
153.30/153.79	c       154            872          51         1                -           0.0000          -
159.18/159.64	c       160            921          50         1                -           0.0000          -
164.58/165.08	c       165            971          46         1                -           0.0000          -
169.86/170.36	c       170           1014          47         1                -           0.0000          -
175.34/175.80	c       176           1096          57         1                -           0.0000          -
180.63/181.12	c       181           1197          56         1                -           0.0000          -
185.82/186.39	c       186           1295          52         1                -           0.0000          -
191.10/191.66	c       192           1370          53         1                -           0.0000          -
196.59/197.15	c       197           1432          53         1                -           0.0000          -
202.48/203.05	c       203           1465          56         1                -           0.0000          -
208.26/208.89	c       209           1524          55         1                -           0.0000          -
213.55/214.15	c       214           1572          57         1                -           0.0000          -
218.82/219.49	c       220           1624          59         1                -           0.0000          -
224.21/224.80	c       225           1710          61         1                -           0.0000          -
229.30/229.96	c       230           1819          58         1                -           0.0000          -
234.59/235.29	c       235           1896          61         1                -           0.0000          -
239.98/240.60	c       241           1968          57         1                -           0.0000          -
245.26/245.90	c       246           2040          59         1                -           0.0000          -
250.35/251.10	c       251           2104          61         1                -           0.0000          -
256.03/256.77	c       257           2156          69         1                -           0.0000          -
261.32/262.03	c       262           2229          66         1                -           0.0000          -
266.60/267.30	c       267           2291          68         1                -           0.0000          -
271.78/272.55	c       273           2353          68         1                -           0.0000          -
276.97/277.76	c       278           2430          73         1                -           0.0000          -
282.26/283.03	c       283           2521          72         1                -           0.0000          -
287.55/288.30	c       288           2605          70         1                -           0.0000          -
292.74/293.57	c       294           2691          72         1                -           0.0000          -
298.12/298.98	c       299           2764          67         1                -           0.0000          -
303.41/304.24	c       304           2833          62         1                -           0.0000          -
308.80/309.62	c       310           2883          62         1                -           0.0000          -
314.47/315.38	c       315           2948          61         1                -           0.0000          -
319.86/320.77	c       321           3004          63         1                -           0.0000          -
344.21/345.15	c       345           3018           1         1                -           0.0000          -
350.49/351.48	c       351           3031          14         1                -           0.0000          -
356.18/357.19	c       357           3069          18         1                -           0.0000          -
365.26/366.23	c       366           3081          18         1                -           0.0000          -
370.94/371.95	c       372           3116          19         1                -           0.0000          -
376.33/377.33	c       377           3135          20         1                -           0.0000          -
382.21/383.21	c       383           3167          22         1                -           0.0000          -
387.40/388.41	c       388           3214          27         1                -           0.0000          -
392.69/393.78	c       394           3275          32         1                -           0.0000          -
398.17/399.23	c       399           3326          31         1                -           0.0000          -
403.56/404.61	c       405           3392          35         1                -           0.0000          -
408.65/409.73	c       410           3450          37         1                -           0.0000          -
414.23/415.31	c       415           3505          40         1                -           0.0000          -
419.52/420.69	c       421           3554          42         1                -           0.0000          -
425.01/426.14	c       426           3606          38         1                -           0.0000          -
430.39/431.53	c       432           3659          37         1                -           0.0000          -
435.78/436.95	c       437           3714          38         1                -           0.0000          -
441.17/442.39	c       442           3775          43         1                -           0.0000          -
446.75/447.95	c       448           3830          40         1                -           0.0000          -
452.53/453.73	c       454           3882          41         1                -           0.0000          -
457.83/459.02	c       459           3929          38         1                -           0.0000          -
462.91/464.10	c       464           3984          38         1                -           0.0000          -
468.30/469.58	c       470           4027          36         1                -           0.0000          -
473.80/475.05	c       475           4073          38         1                -           0.0000          -
479.08/480.33	c       480           4122          37         1                -           0.0000          -
484.37/485.64	c       486           4165          40         1                -           0.0000          -
489.76/491.06	c       491           4218          36         1                -           0.0000          -
495.04/496.38	c       496           4271          39         1                -           0.0000          -
500.73/502.00	c       502           4307          41         1                -           0.0000          -
506.61/507.96	c       508           4353          41         1                -           0.0000          -
511.90/513.20	c       513           4402          44         1                -           0.0000          -
517.58/518.96	c       519           4443          47         1                -           0.0000          -
522.87/524.27	c       524           4489          47         1                -           0.0000          -
528.46/529.89	c       530           4541          47         1                -           0.0000          -
533.95/535.35	c       535           4583          47         1                -           0.0000          -
539.44/540.82	c       541           4629          45         1                -           0.0000          -
544.73/546.14	c       546           4678          44         1                -           0.0000          -
550.41/551.85	c       552           4726          44         1                -           0.0000          -
555.90/557.35	c       557           4768          46         1                -           0.0000          -
561.79/563.26	c       563           4807          45         1                -           0.0000          -
567.07/568.59	c       569           4846          36         1                -           0.0000          -
572.57/574.10	c       574           4880          34         1                -           0.0000          -
578.05/579.53	c       580           4928          36         1                -           0.0000          -
583.74/585.28	c       585           4960          32         1                -           0.0000          -
589.22/590.74	c       591           5008          32         1                -           0.0000          -
594.61/596.12	c       596           5058          31         1                -           0.0000          -
599.90/601.43	c       601           5113          29         1                -           0.0000          -
605.38/606.98	c       607           5145          29         1                -           0.0000          -
610.97/612.51	c       613           5182          26         1                -           0.0000          -
616.15/617.76	c       618           5318          36         1                -           0.0000          -
621.45/623.08	c       623           5440          28         1                -           0.0000          -
627.23/628.87	c       629           5475          25         1                -           0.0000          -
632.82/634.44	c       634           5520          29         1                -           0.0000          -
638.21/639.88	c       640           5569          30         1                -           0.0000          -
643.60/645.26	c       645           5639          29         1                -           0.0000          -
648.78/650.49	c       650           5675          32         1                -           0.0000          -
654.27/655.94	c       656           5749          29         1                -           0.0000          -
659.96/661.63	c       662           5787          30         1                -           0.0000          -
665.45/667.15	c       667           5821          30         1                -           0.0000          -
671.44/673.14	c       673           5854          31         1                -           0.0000          -
676.62/678.39	c       678           5891          30         1                -           0.0000          -
682.00/683.76	c       684           5918          29         1                -           0.0000          -
687.79/689.52	c       690           5955          32         1                -           0.0000          -
693.38/695.19	c       695           5991          28         1                -           0.0000          -
698.87/700.69	c       701           6026          31         1                -           0.0000          -
704.15/705.94	c       706           6061          33         1                -           0.0000          -
709.63/711.43	c       711           6104          34         1                -           0.0000          -
714.92/716.73	c       717           6147          31         1                -           0.0000          -
720.71/722.50	c       723           6180          30         1                -           0.0000          -
726.09/727.95	c       728           6214          28         1                -           0.0000          -
731.29/733.12	c       733           6329          29         1                -           0.0000          -
736.47/738.33	c       738           6393          30         1                -           0.0000          -
742.06/743.98	c       744           6466          29         1                -           0.0000          -
747.64/749.50	c       750           6505          32         1                -           0.0000          -
752.93/754.87	c       755           6538          29         1                -           0.0000          -
758.43/760.38	c       760           6578          33         1                -           0.0000          -
763.81/765.76	c       766           6617          30         1                -           0.0000          -
768.90/770.87	c       771           6721          32         1                -           0.0000          -
774.09/776.09	c       776           6799          34         1                -           0.0000          -
779.77/781.73	c       782           6842          33         1                -           0.0000          -
785.06/787.04	c       787           6882          32         1                -           0.0000          -
790.24/792.28	c       792           6932          32         1                -           0.0000          -
796.05/798.02	c       798           6973          31         1                -           0.0000          -
801.83/803.80	c       804           7013          31         1                -           0.0000          -
807.31/809.33	c       809           7066          31         1                -           0.0000          -
813.11/815.15	c       815           7107          34         1                -           0.0000          -
819.09/821.15	c       821           7140          33         1                -           0.0000          -
824.77/826.82	c       827           7170          35         1                -           0.0000          -
830.26/832.39	c       832           7204          35         1                -           0.0000          -
836.24/838.38	c       838           7242          35         1                -           0.0000          -
842.04/844.16	c       844           7277          34         1                -           0.0000          -
848.02/850.11	c       850           7304          35         1                -           0.0000          -
853.80/855.95	c       856           7337          32         1                -           0.0000          -
859.69/861.89	c       862           7369          32         1                -           0.0000          -
865.38/867.51	c       868           7410          29         1                -           0.0000          -
870.66/872.88	c       873           7448          31         1                -           0.0000          -
876.96/879.17	c       879           7482          33         1                -           0.0000          -
882.64/884.88	c       885           7521          32         1                -           0.0000          -
887.93/890.19	c       890           7592          35         1                -           0.0000          -
893.51/895.79	c       896           7631          34         1                -           0.0000          -
898.90/901.15	c       901           7677          34         1                -           0.0000          -
904.39/906.64	c       907           7721          32         1                -           0.0000          -
909.88/912.11	c       912           7773          32         1                -           0.0000          -
915.06/917.35	c       917           7817          32         1                -           0.0000          -
920.55/922.88	c       923           7867          35         1                -           0.0000          -
925.84/928.18	c       928           7909          37         1                -           0.0000          -
931.33/933.66	c       934           7955          38         1                -           0.0000          -
937.12/939.45	c       939           7999          36         1                -           0.0000          -
943.10/945.47	c       945           8041          40         1                -           0.0000          -
948.80/951.14	c       951           8075          38         1                -           0.0000          -
954.18/956.54	c       957           8115          40         1                -           0.0000          -
959.86/962.28	c       962           8158          39         1                -           0.0000          -
965.25/967.63	c       968           8193          38         1                -           0.0000          -
970.94/973.35	c       973           8230          37         1                -           0.0000          -
976.23/978.69	c       979           8272          37         1                -           0.0000          -
981.72/984.16	c       984           8314          37         1                -           0.0000          -
987.20/989.65	c       990           8348          37         1                -           0.0000          -
992.79/995.29	c       995           8389          36         1                -           0.0000          -
998.28/1000.78	c      1001           8421          36         1                -           0.0000          -
1004.16/1006.63	c      1007           8457          36         1                -           0.0000          -
1009.85/1012.38	c      1012           8496          37         1                -           0.0000          -
1015.44/1017.90	c      1018           8538          39         1                -           0.0000          -
1020.82/1023.36	c      1023           8574          37         1                -           0.0000          -
1026.61/1029.17	c      1029           8610          37         1                -           0.0000          -
1032.29/1034.81	c      1035           8653          36         1                -           0.0000          -
1037.88/1040.41	c      1040           8689          36         1                -           0.0000          -
1043.47/1046.01	c      1046           8727          36         1                -           0.0000          -
1049.56/1052.12	c      1052           8759          34         1                -           0.0000          -
1054.94/1057.50	c      1058           8797          34         1                -           0.0000          -
1060.33/1062.97	c      1063           8828          33         1                -           0.0000          -
1065.82/1068.49	c      1068           8870          33         1                -           0.0000          -
1071.42/1074.04	c      1074           8914          33         1                -           0.0000          -
1077.30/1079.98	c      1080           8946          35         1                -           0.0000          -
1083.09/1085.78	c      1086           8989          34         1                -           0.0000          -
1090.47/1093.18	c      1093           9019          36         1                -           0.0000          -
1095.55/1098.27	c      1098           9043          50         1                -           0.0000          -
1101.14/1103.87	c      1104           9079          52         1                -           0.0000          -
1106.53/1109.20	c      1109           9103          56         1                -           0.0000          -
1111.82/1114.51	c      1115           9173          60         1                -           0.0000          -
1117.20/1119.91	c      1120           9246          62         1                -           0.0000          -
1122.49/1125.22	c      1125           9327          60         1                -           0.0000          -
1127.78/1130.50	c      1131           9414          59         1                -           0.0000          -
1132.97/1135.79	c      1136           9486          61         1                -           0.0000          -
1138.55/1141.31	c      1141           9549          58         1                -           0.0000          -
1143.84/1146.61	c      1147           9590          61         1                -           0.0000          -
1150.03/1152.80	c      1153           9628          77         1                -           0.0000          -
1155.51/1158.39	c      1158           9661          88         1                -           0.0000          -
1160.60/1163.43	c      1163           9691          94         1                -           0.0000          -
1166.20/1169.09	c      1169           9725         108         1                -           0.0000          -
1171.88/1174.71	c      1175           9774         115         1                -           0.0000          -
1177.28/1180.14	c      1180           9820         113         1                -           0.0000          -
1183.26/1186.13	c      1186           9854         115         1                -           0.0000          -
1188.44/1191.36	c      1191           9907         112         1                -           0.0000          -
1193.93/1196.81	c      1197           9957         112         1                -           0.0000          -
1199.22/1202.12	c      1202           9999         112         1                -           0.0000          -
1204.80/1207.79	c      1208          10042         113         1                -           0.0000          -
1210.49/1213.42	c      1213          10090         115         1                -           0.0000          -
1215.77/1218.72	c      1219          10133         114         1                -           0.0000          -
1221.18/1224.15	c      1224          10180         113         1                -           0.0000          -
1226.56/1229.54	c      1230          10221         112         1                -           0.0000          -
1232.64/1235.60	c      1236          10267         116         1                -           0.0000          -
1237.93/1240.95	c      1241          10316         117         1                -           0.0000          -
1243.32/1246.35	c      1246          10356         115         1                -           0.0000          -
1249.41/1252.42	c      1252          10393         116         1                -           0.0000          -
1255.29/1258.36	c      1258          10429         115         1                -           0.0000          -
1260.88/1263.92	c      1264          10471         115         1                -           0.0000          -
1266.36/1269.40	c      1269          10530         117         1                -           0.0000          -
1271.65/1274.74	c      1275          10576         119         1                -           0.0000          -
1277.44/1280.50	c      1280          10626         123         1                -           0.0000          -
1282.72/1285.82	c      1286          10678         121         1                -           0.0000          -
1288.61/1291.71	c      1292          10721         122         1                -           0.0000          -
1294.10/1297.28	c      1297          10762         125         1                -           0.0000          -
1299.48/1302.69	c      1303          10813         123         1                -           0.0000          -
1305.07/1308.23	c      1308          10859         129         1                -           0.0000          -
1310.56/1313.74	c      1314          10911         125         1                -           0.0000          -
1316.05/1319.20	c      1319          10953         125         1                -           0.0000          -
1321.84/1325.00	c      1325          11006         124         1                -           0.0000          -
1327.13/1330.34	c      1330          11054         126         1                -           0.0000          -
1332.82/1336.09	c      1336          11089         123         1                -           0.0000          -
1338.30/1341.53	c      1342          11124         126         1                -           0.0000          -
1343.59/1346.82	c      1347          11178         128         1                -           0.0000          -
1348.88/1352.17	c      1352          11217         131         1                -           0.0000          -
1354.76/1358.09	c      1358          11254         130         1                -           0.0000          -
1360.45/1363.78	c      1364          11292         130         1                -           0.0000          -
1366.23/1369.56	c      1370          11334         134         1                -           0.0000          -
1371.62/1374.96	c      1375          11387         139         1                -           0.0000          -
1377.21/1380.54	c      1381          11441         137         1                -           0.0000          -
1382.99/1386.32	c      1386          11475         129         1                -           0.0000          -
1388.28/1391.69	c      1392          11515         127         1                -           0.0000          -
1393.67/1397.05	c      1397          11556         128         1                -           0.0000          -
1399.16/1402.59	c      1403          11600         128         1                -           0.0000          -
1404.84/1408.26	c      1408          11652         130         1                -           0.0000          -
1410.43/1413.83	c      1414          11697         129         1                -           0.0000          -
1415.62/1419.03	c      1419          11739         127         1                -           0.0000          -
1420.91/1424.38	c      1424          11792         124         1                -           0.0000          -
1426.49/1429.93	c      1430          11837         125         1                -           0.0000          -
1432.28/1435.74	c      1436          11868         122         1                -           0.0000          -
1438.17/1441.63	c      1442          11906         124         1                -           0.0000          -
1443.95/1447.41	c      1447          11946         126         1                -           0.0000          -
1449.84/1453.33	c      1453          11989         129         1                -           0.0000          -
1455.22/1458.75	c      1459          12073         135         1                -           0.0000          -
1460.91/1464.40	c      1464          12118         127         1                -           0.0000          -
1466.10/1469.64	c      1470          12159         122         1                -           0.0000          -
1471.68/1475.26	c      1475          12204         127         1                -           0.0000          -
1477.17/1480.79	c      1481          12240         129         1                -           0.0000          -
1482.57/1486.19	c      1486          12299         132         1                -           0.0000          -
1487.85/1491.48	c      1491          12350         131         1                -           0.0000          -
1493.14/1496.72	c      1497          12421         130         1                -           0.0000          -
1498.82/1502.46	c      1502          12460         131         1                -           0.0000          -
1504.41/1508.08	c      1508          12510         129         1                -           0.0000          -
1510.00/1513.64	c      1514          12557         128         1                -           0.0000          -
1515.18/1518.88	c      1519          12603         132         1                -           0.0000          -
1521.07/1524.70	c      1525          12638         133         1                -           0.0000          -
1526.66/1530.37	c      1530          12678         135         1                -           0.0000          -
1532.24/1535.99	c      1536          12731         131         1                -           0.0000          -
1537.74/1541.46	c      1541          12767         133         1                -           0.0000          -
1543.43/1547.15	c      1547          12805         135         1                -           0.0000          -
1549.21/1552.93	c      1553          12857         133         1                -           0.0000          -
1554.70/1558.46	c      1558          12903         132         1                -           0.0000          -
1560.19/1563.95	c      1564          12950         133         1                -           0.0000          -
1565.58/1569.39	c      1569          12995         134         1                -           0.0000          -
1571.46/1575.25	c      1575          13035         135         1                -           0.0000          -
1577.26/1581.09	c      1581          13086         139         1                -           0.0000          -
1582.84/1586.64	c      1587          13123         142         1                -           0.0000          -
1588.52/1592.35	c      1592          13158         141         1                -           0.0000          -
1594.32/1598.18	c      1598          13190         141         1                -           0.0000          -
1599.80/1603.64	c      1604          13230         143         1                -           0.0000          -
1605.19/1609.04	c      1609          13269         147         1                -           0.0000          -
1611.07/1614.96	c      1615          13309         151         1                -           0.0000          -
1616.46/1620.33	c      1620          13349         147         1                -           0.0000          -
1622.35/1626.25	c      1626          13396         146         1                -           0.0000          -
1627.84/1631.76	c      1632          13439         149         1                -           0.0000          -
1633.32/1637.24	c      1637          13479         149         1                -           0.0000          -
1638.81/1642.76	c      1643          13524         148         1                -           0.0000          -
1644.70/1648.63	c      1649          13568         148         1                -           0.0000          -
1649.88/1653.82	c      1654          13615         151         1                -           0.0000          -
1655.18/1659.12	c      1659          13660         154         1                -           0.0000          -
1660.86/1664.86	c      1665          13714         152         1                -           0.0000          -
1666.05/1670.00	c      1670          13749         155         1                -           0.0000          -
1671.43/1675.47	c      1675          13794         154         1                -           0.0000          -
1676.92/1680.95	c      1681          13829         154         1                -           0.0000          -
1682.81/1686.82	c      1687          13875         154         1                -           0.0000          -
1688.50/1692.51	c      1693          13924         153         1                -           0.0000          -
1693.59/1697.60	c      1698          13962         153         1                -           0.0000          -
1699.28/1703.39	c      1703          14007         152         1                -           0.0000          -
1704.86/1708.96	c      1709          14048         151         1                -           0.0000          -
1710.55/1714.69	c      1715          14095         154         1                -           0.0000          -
1716.44/1720.53	c      1721          14137         155         1                -           0.0000          -
1721.82/1725.92	c      1726          14189         155         1                -           0.0000          -
1727.41/1731.55	c      1732          14221         159         1                -           0.0000          -
1733.20/1737.31	c      1737          14262         160         1                -           0.0000          -
1738.58/1742.72	c      1743          14305         159         1                -           0.0000          -
1744.57/1748.72	c      1749          14343         157         1                -           0.0000          -
1750.05/1754.28	c      1754          14391         159         1                -           0.0000          -
1755.54/1759.79	c      1760          14427         159         1                -           0.0000          -
1760.93/1765.14	c      1765          14489         159         1                -           0.0000          -
1766.61/1770.89	c      1771          14540         160         1                -           0.0000          -
1772.00/1776.22	c      1776          14592         158         1                -           0.0000          -
1778.29/1782.53	c      1783          14635         160         1                -           0.0000          -
1783.88/1788.16	c      1788          14680         163         1                -           0.0000          -
1789.27/1793.54	c      1794          14718         163         1                -           0.0000          -
1795.05/1799.35	c      1799          14766         161         1                -           0.0000          -
1800.64/1804.94	c      1805          14812         161         1                -           0.0000          -
1805.93/1810.24	c      1810          14861         160         1                -           0.0000          -
1811.32/1815.63	c      1816          14904         161         1                -           0.0000          -
1816.81/1821.20	c      1821          14953         158         1                -           0.0000          -
1822.59/1826.94	c      1827          14993         162         1                -           0.0000          -
1828.48/1832.88	c      1833          15050         159         1                -           0.0000          -
1833.96/1838.32	c      1838          15086         159         1                -           0.0000          -
1839.65/1844.02	c      1844          15134         157         1                -           0.0000          -
1845.24/1849.63	c      1850          15168         163         1                -           0.0000          -
1850.82/1855.26	c      1855          15200         163         1                -           0.0000          -
1856.21/1860.64	c      1861          15252         167         1                -           0.0000          -
1861.70/1866.11	c      1866          15287         166         1                -           0.0000          -
1867.28/1871.73	c      1872          15333         165         1                -           0.0000          -
1872.77/1877.24	c      1877          15380         164         1                -           0.0000          -
1878.36/1882.85	c      1883          15419         165         1                -           0.0000          -
1883.75/1888.29	c      1888          15457         162         1                -           0.0000          -
1889.34/1893.89	c      1894          15485         161         1                -           0.0000          -
1894.82/1899.39	c      1899          15533         163         1                -           0.0000          -
1900.71/1905.25	c      1905          15573         161         1                -           0.0000          -
1906.30/1910.80	c      1911          15619         163         1                -           0.0000          -
1911.88/1916.44	c      1916          15653         165         1                -           0.0000          -
1917.37/1921.98	c      1922          15689         163         1                -           0.0000          -
1923.06/1927.64	c      1928          15726         166         1                -           0.0000          -
1928.84/1933.43	c      1933          15771         165         1                -           0.0000          -
1934.23/1938.83	c      1939          15813         165         1                -           0.0000          -
1939.53/1944.11	c      1944          15841         165         1                -           0.0000          -
1945.21/1949.82	c      1950          15887         165         1                -           0.0000          -
1950.41/1955.01	c      1955          15939         169         1                -           0.0000          -
1955.79/1960.47	c      1960          15997         169         1                -           0.0000          -
1961.48/1966.19	c      1966          16036         172         1                -           0.0000          -
1966.86/1971.57	c      1972          16079         171         1                -           0.0000          -
1972.35/1977.04	c      1977          16120         170         1                -           0.0000          -
1978.13/1982.86	c      1983          16157         169         1                -           0.0000          -
1983.72/1988.41	c      1988          16202         172         1                -           0.0000          -
1988.91/1993.68	c      1994          16240         171         1                -           0.0000          -
1995.09/1999.84	c      2000          16282         167         1                -           0.0000          -
2000.88/2005.66	c      2006          16346         171         1                -           0.0000          -
2006.07/2010.81	c      2011          16389         167         1                -           0.0000          -
2011.75/2016.59	c      2017          16444         171         1                -           0.0000          -
2017.54/2022.38	c      2022          16486         171         1                -           0.0000          -
2022.93/2027.70	c      2028          16520         171         1                -           0.0000          -
2028.71/2033.55	c      2034          16568         165         1                -           0.0000          -
2034.10/2038.95	c      2039          16612         169         1                -           0.0000          -
2039.79/2044.60	c      2045          16649         170         1                -           0.0000          -
2045.19/2050.06	c      2050          16699         168         1                -           0.0000          -
2051.07/2055.93	c      2056          16752         169         1                -           0.0000          -
2056.95/2061.88	c      2062          16784         169         1                -           0.0000          -
2062.83/2067.76	c      2068          16823         166         1                -           0.0000          -
2068.02/2072.93	c      2073          16859         164         1                -           0.0000          -
2073.30/2078.26	c      2078          16896         169         1                -           0.0000          -
2078.89/2083.81	c      2084          16922         169         1                -           0.0000          -
2084.67/2089.61	c      2090          16964         168         1                -           0.0000          -
2090.26/2095.23	c      2095          16996         166         1                -           0.0000          -
2096.05/2101.03	c      2101          17028         164         1                -           0.0000          -
2101.72/2106.78	c      2107          17099         164         1                -           0.0000          -
2107.31/2112.35	c      2112          17138         165         1                -           0.0000          -
2112.79/2117.87	c      2118          17191         164         1                -           0.0000          -
2118.28/2123.33	c      2123          17223         170         1                -           0.0000          -
2123.56/2128.62	c      2129          17275         168         1                -           0.0000          -
2129.24/2134.33	c      2134          17328         164         1                -           0.0000          -
2134.73/2139.85	c      2140          17378         161         1                -           0.0000          -
2140.21/2145.33	c      2145          17412         161         1                -           0.0000          -
2145.40/2150.55	c      2151          17491         168         1                -           0.0000          -
2150.78/2155.99	c      2156          17533         164         1                -           0.0000          -
2155.97/2161.14	c      2161          17566         165         1                -           0.0000          -
2161.25/2166.49	c      2166          17606         167         1                -           0.0000          -
2167.03/2172.25	c      2172          17640         167         1                -           0.0000          -
2172.62/2177.88	c      2178          17685         171         1                -           0.0000          -
2178.20/2183.49	c      2184          17724         172         1                -           0.0000          -
2183.60/2188.84	c      2189          17756         176         1                -           0.0000          -
2189.38/2194.62	c      2195          17805         174         1                -           0.0000          -
2194.56/2199.87	c      2200          17853         174         1                -           0.0000          -
2200.55/2205.87	c      2206          17906         173         1                -           0.0000          -
2206.43/2211.74	c      2212          17953         176         1                -           0.0000          -
2212.51/2217.83	c      2218          17989         169         1                -           0.0000          -
2218.09/2223.46	c      2223          18029         173         1                -           0.0000          -
2223.78/2229.14	c      2229          18075         171         1                -           0.0000          -
2229.06/2234.45	c      2234          18123         170         1                -           0.0000          -
2234.54/2239.99	c      2240          18165         172         1                -           0.0000          -
2239.93/2245.37	c      2245          18202         171         1                -           0.0000          -
2245.32/2250.72	c      2251          18244         171         1                -           0.0000          -
2251.10/2256.52	c      2257          18284         173         1                -           0.0000          -
2256.69/2262.16	c      2262          18316         171         1                -           0.0000          -
2262.47/2267.97	c      2268          18351         174         1                -           0.0000          -
2268.05/2273.58	c      2274          18387         174         1                -           0.0000          -
2273.84/2279.32	c      2279          18418         173         1                -           0.0000          -
2279.53/2285.06	c      2285          18453         172         1                -           0.0000          -
2285.11/2290.63	c      2291          18485         172         1                -           0.0000          -
2290.29/2295.85	c      2296          18528         171         1                -           0.0000          -
2295.77/2301.38	c      2301          18570         171         1                -           0.0000          -
2301.36/2306.92	c      2307          18619         164         1                -           0.0000          -
2306.75/2312.38	c      2312          18665         162         1                -           0.0000          -
2312.44/2318.07	c      2318          18696         159         1                -           0.0000          -
2318.12/2323.75	c      2324          18730         161         1                -           0.0000          -
2323.80/2329.47	c      2329          18767         160         1                -           0.0000          -
2329.69/2335.39	c      2335          18809         162         1                -           0.0000          -
2335.37/2341.02	c      2341          18858         163         1                -           0.0000          -
2340.75/2346.44	c      2346          18912         162         1                -           0.0000          -
2346.14/2351.81	c      2352          18982         162         1                -           0.0000          -
2351.52/2357.21	c      2357          19052         162         1                -           0.0000          -
2357.10/2362.84	c      2363          19130         163         1                -           0.0000          -
2362.49/2368.29	c      2368          19198         161         1                -           0.0000          -
2367.77/2373.56	c      2374          19256         161         1                -           0.0000          -
2373.16/2378.99	c      2379          19293         162         1                -           0.0000          -
2378.64/2384.41	c      2384          19327         160         1                -           0.0000          -
2384.43/2390.25	c      2390          19373         158         1                -           0.0000          -
2390.02/2395.85	c      2396          19412         162         1                -           0.0000          -
2395.50/2401.35	c      2401          19456         163         1                -           0.0000          -
2401.19/2407.09	c      2407          19492         160         1                -           0.0000          -
2407.07/2412.97	c      2413          19530         164         1                -           0.0000          -
2412.86/2418.71	c      2419          19563         166         1                -           0.0000          -
2418.44/2424.34	c      2424          19603         164         1                -           0.0000          -
2424.03/2429.90	c      2430          19647         166         1                -           0.0000          -
2429.91/2435.82	c      2436          19691         160         1                -           0.0000          -
2435.60/2441.55	c      2442          19727         164         1                -           0.0000          -
2440.89/2446.82	c      2447          19771         162         1                -           0.0000          -
2446.27/2452.24	c      2452          19799         166         1                -           0.0000          -
2452.07/2458.04	c      2458          19836         159         1                -           0.0000          -
2457.86/2463.81	c      2464          19875         158         1                -           0.0000          -
2463.64/2469.69	c      2470          19912         154         1                -           0.0000          -
2469.63/2475.66	c      2476          19962         170         1                -           0.0000          -
2475.02/2481.00	c      2481          20026         168         1                -           0.0000          -
2480.30/2486.35	c      2486          20076         166         1                -           0.0000          -
2485.58/2491.61	c      2492          20143         165         1                -           0.0000          -
2490.87/2496.95	c      2497          20214         170         1                -           0.0000          -
2496.36/2502.44	c      2502          20275         160         1                -           0.0000          -
2501.75/2507.88	c      2508          20333         158         1                -           0.0000          -
2507.23/2513.31	c      2513          20372         163         1                -           0.0000          -
2512.62/2518.73	c      2519          20509         166         1                -           0.0000          -
2517.91/2524.09	c      2524          20637         179         1                -           0.0000          -
2523.30/2529.41	c      2529          20754         172         1                -           0.0000          -
2528.48/2534.64	c      2535          20858         172         1                -           0.0000          -
2533.68/2539.88	c      2540          20984         174         1                -           0.0000          -
2538.87/2545.09	c      2545          21058         175         1                -           0.0000          -
2544.05/2550.29	c      2550          21159         175         1                -           0.0000          -
2549.14/2555.38	c      2555          21243         178         1                -           0.0000          -
2554.43/2560.67	c      2561          21315         182         1                -           0.0000          -
2559.72/2565.98	c      2566          21388         182         1                -           0.0000          -
2564.91/2571.13	c      2571          21452         184         1                -           0.0000          -
2570.29/2576.50	c      2577          21520         185         1                -           0.0000          -
2575.58/2581.82	c      2582          21607         182         1                -           0.0000          -
2580.87/2587.16	c      2587          21698         179         1                -           0.0000          -
2586.35/2592.62	c      2593          21790         175         1                -           0.0000          -
2591.64/2597.93	c      2598          21873         170         1                -           0.0000          -
2597.03/2603.31	c      2603          21936         171         1                -           0.0000          -
2602.41/2608.78	c      2609          22007         176         1                -           0.0000          -
2607.70/2614.10	c      2614          22070         174         1                -           0.0000          -
2612.98/2619.33	c      2619          22126         172         1                -           0.0000          -
2618.28/2624.65	c      2625          22190         170         1                -           0.0000          -
2623.87/2630.21	c      2630          22252         168         1                -           0.0000          -
2629.25/2635.63	c      2636          22307         171         1                -           0.0000          -
2634.54/2640.98	c      2641          22358         168         1                -           0.0000          -
2639.93/2646.37	c      2646          22412         165         1                -           0.0000          -
2645.32/2651.74	c      2652          22467         166         1                -           0.0000          -
2650.80/2657.28	c      2657          22536         163         1                -           0.0000          -
2656.29/2662.75	c      2663          22593         161         1                -           0.0000          -
2661.68/2668.12	c      2668          22649         161         1                -           0.0000          -
2666.97/2673.43	c      2673          22714         161         1                -           0.0000          -
2672.35/2678.86	c      2679          22774         161         1                -           0.0000          -
2677.65/2684.13	c      2684          22840         160         1                -           0.0000          -
2682.93/2689.41	c      2689          22877         159         1                -           0.0000          -
2689.31/2695.85	c      2696          22919         165         1                -           0.0000          -
2694.80/2701.36	c      2701          22986         170         1                -           0.0000          -
2699.99/2706.54	c      2707          23090         166         1                -           0.0000          -
2705.27/2711.88	c      2712          23137         162         1                -           0.0000          -
2711.16/2717.78	c      2718          23174         165         1                -           0.0000          -
2716.55/2723.15	c      2723          23225         166         1                -           0.0000          -
2722.13/2728.79	c      2729          23260         167         1                -           0.0000          -
2727.83/2734.44	c      2734          23297         166         1                -           0.0000          -
2733.21/2739.88	c      2740          23342         165         1                -           0.0000          -
2739.00/2745.65	c      2746          23385         170         1                -           0.0000          -
2744.69/2751.38	c      2751          23451         172         1                -           0.0000          -
2750.18/2756.82	c      2757          23501         171         1                -           0.0000          -
2755.96/2762.64	c      2763          23550         170         1                -           0.0000          -
2762.15/2768.82	c      2769          23582         172         1                -           0.0000          -
2767.83/2774.51	c      2775          23627         175         1                -           0.0000          -
2773.62/2780.39	c      2780          23666         174         1                -           0.0000          -
2779.00/2785.76	c      2786          23708         171         1                -           0.0000          -
2784.69/2791.48	c      2791          23762         173         1                -           0.0000          -
2790.28/2797.06	c      2797          23801         178         1                -           0.0000          -
2795.76/2802.56	c      2803          23841         176         1                -           0.0000          -
2801.36/2808.14	c      2808          23882         175         1                -           0.0000          -
2806.94/2813.74	c      2814          23919         174         1                -           0.0000          -
2812.73/2819.53	c      2820          23955         172         1                -           0.0000          -
2818.01/2824.85	c      2825          23997         174         1                -           0.0000          -
2823.60/2830.46	c      2830          24034         175         1                -           0.0000          -
2829.09/2835.95	c      2836          24081         182         1                -           0.0000          -
2834.37/2841.26	c      2841          24191         180         1                -           0.0000          -
2840.16/2847.03	c      2847          24256         179         1                -           0.0000          -
2845.34/2852.23	c      2852          24290         179         1                -           0.0000          -
2850.53/2857.47	c      2857          24325         177         1                -           0.0000          -
2856.12/2863.09	c      2863          24338         182         1                -           0.0000          -
2861.41/2868.30	c      2868          24420         187         1                -           0.0000          -
2866.79/2873.79	c      2874          24484         183         1                -           0.0000          -
2872.48/2879.47	c      2879          24554         189         1                -           0.0000          -
2877.87/2884.88	c      2885          24623         188         1                -           0.0000          -
2883.85/2890.88	c      2891          24653         184         1                -           0.0000          -
2889.84/2896.80	c      2897          24687         186         1                -           0.0000          -
2895.23/2902.27	c      2902          24741         190         1                -           0.0000          -
2900.81/2907.87	c      2908          24796         186         1                -           0.0000          -
2906.90/2913.90	c      2914          24835         187         1                -           0.0000          -
2912.78/2919.85	c      2920          24852         193         1                -           0.0000          -
2918.18/2925.29	c      2925          24879         192         1                -           0.0000          -
2923.67/2930.74	c      2931          24914         191         1                -           0.0000          -
2928.96/2936.04	c      2936          24954         190         1                -           0.0000          -
2934.24/2941.34	c      2941          25019         191         1                -           0.0000          -
2939.83/2946.91	c      2947          25058         188         1                -           0.0000          -
2945.22/2952.32	c      2952          25113         195         1                -           0.0000          -
2950.80/2957.99	c      2958          25200         201         1                -           0.0000          -
2955.99/2963.15	c      2963          25285         202         1                -           0.0000          -
2961.18/2968.36	c      2968          25368         199         1                -           0.0000          -
2966.46/2973.60	c      2974          25450         197         1                -           0.0000          -
2971.55/2978.74	c      2979          25528         199         1                -           0.0000          -
2976.74/2983.91	c      2984          25608         195         1                -           0.0000          -
2982.03/2989.26	c      2989          25680         199         1                -           0.0000          -
2987.31/2994.57	c      2995          25768         197         1                -           0.0000          -
2992.61/2999.86	c      3000          25839         198         1                -           0.0000          -
2997.90/3005.15	c      3005          25908         197         1                -           0.0000          -
3003.38/3010.70	c      3011          25992         199         1                -           0.0000          -
3008.77/3016.06	c      3016          26060         199         1                -           0.0000          -
3014.16/3021.44	c      3021          26164         199         1                -           0.0000          -
3019.34/3026.68	c      3027          26297         200         1                -           0.0000          -
3024.63/3031.94	c      3032          26412         197         1                -           0.0000          -
3029.72/3037.06	c      3037          26496         200         1                -           0.0000          -
3035.30/3042.61	c      3043          26571         199         1                -           0.0000          -
3040.49/3047.84	c      3048          26658         197         1                -           0.0000          -
3045.68/3053.07	c      3053          26732         197         1                -           0.0000          -
3051.07/3058.40	c      3058          26801         198         1                -           0.0000          -
3056.26/3063.67	c      3064          26869         200         1                -           0.0000          -
3061.44/3068.81	c      3069          26949         194         1                -           0.0000          -
3066.64/3074.09	c      3074          27018         195         1                -           0.0000          -
3071.82/3079.24	c      3079          27078         199         1                -           0.0000          -
3077.21/3084.69	c      3085          27119         195         1                -           0.0000          -
3083.49/3090.90	c      3091          27161         193         1                -           0.0000          -
3088.88/3096.30	c      3096          27255         195         1                -           0.0000          -
3094.06/3101.54	c      3102          27341         195         1                -           0.0000          -
3099.35/3106.82	c      3107          27421         194         1                -           0.0000          -
3104.64/3112.19	c      3112          27492         196         1                -           0.0000          -
3110.03/3117.59	c      3118          27566         196         1                -           0.0000          -
3115.42/3122.90	c      3123          27631         197         1                -           0.0000          -
3120.81/3128.30	c      3128          27688         194         1                -           0.0000          -
3125.99/3133.56	c      3134          27746         192         1                -           0.0000          -
3131.49/3139.01	c      3139          27818         198         1                -           0.0000          -
3136.87/3144.43	c      3144          27880         194         1                -           0.0000          -
3142.65/3150.28	c      3150          27938         196         1                -           0.0000          -
3148.04/3155.63	c      3156          28000         198         1                -           0.0000          -
3153.32/3160.91	c      3161          28087         197         1                -           0.0000          -
3158.61/3166.24	c      3166          28167         202         1                -           0.0000          -
3163.90/3171.54	c      3172          28229         197         1                -           0.0000          -
3169.19/3176.88	c      3177          28293         201         1                -           0.0000          -
3174.39/3182.08	c      3182          28378         200         1                -           0.0000          -
3179.48/3187.19	c      3187          28437         197         1                -           0.0000          -
3184.76/3192.43	c      3192          28535         197         1                -           0.0000          -
3189.95/3197.69	c      3198          28611         201         1                -           0.0000          -
3195.23/3202.96	c      3203          28683         201         1                -           0.0000          -
3200.43/3208.19	c      3208          28763         201         1                -           0.0000          -
3205.61/3213.32	c      3213          28825         200         1                -           0.0000          -
3210.90/3218.61	c      3219          28899         204         1                -           0.0000          -
3215.99/3223.79	c      3224          28973         200         1                -           0.0000          -
3221.47/3229.22	c      3229          29044         199         1                -           0.0000          -
3226.66/3234.43	c      3234          29105         201         1                -           0.0000          -
3232.25/3240.08	c      3240          29176         199         1                -           0.0000          -
3237.43/3245.28	c      3245          29239         197         1                -           0.0000          -
3242.92/3250.72	c      3251          29309         196         1                -           0.0000          -
3248.11/3255.99	c      3256          29383         196         1                -           0.0000          -
3253.70/3261.53	c      3262          29453         197         1                -           0.0000          -
3258.98/3266.81	c      3267          29509         199         1                -           0.0000          -
3264.18/3272.10	c      3272          29582         198         1                -           0.0000          -
3269.66/3277.59	c      3278          29642         198         1                -           0.0000          -
3275.15/3283.10	c      3283          29716         196         1                -           0.0000          -
3280.63/3288.55	c      3289          29764         198         1                -           0.0000          -
3285.82/3293.78	c      3294          29800         202         1                -           0.0000          -
3291.11/3299.06	c      3299          29836         200         1                -           0.0000          -
3296.89/3304.82	c      3305          29893         201         1                -           0.0000          -
3302.19/3310.12	c      3310          29964         204         1                -           0.0000          -
3307.47/3315.49	c      3316          30039         206         1                -           0.0000          -
3312.75/3320.70	c      3321          30104         201         1                -           0.0000          -
3318.15/3326.15	c      3326          30167         200         1                -           0.0000          -
3323.44/3331.44	c      3331          30214         202         1                -           0.0000          -
3328.72/3336.76	c      3337          30305         203         1                -           0.0000          -
3334.41/3342.41	c      3342          30381         203         1                -           0.0000          -
3339.59/3347.66	c      3348          30475         203         1                -           0.0000          -
3344.78/3352.83	c      3353          30567         208         1                -           0.0000          -
3350.07/3358.19	c      3358          30681         204         1                -           0.0000          -
3355.26/3363.32	c      3363          30773         206         1                -           0.0000          -
3360.44/3368.53	c      3369          30879         206         1                -           0.0000          -
3365.63/3373.76	c      3374          30984         205         1                -           0.0000          -
3371.03/3379.15	c      3379          31093         209         1                -           0.0000          -
3376.11/3384.28	c      3384          31182         209         1                -           0.0000          -
3381.40/3389.53	c      3390          31279         207         1                -           0.0000          -
3387.08/3395.22	c      3395          31327         206         1                -           0.0000          -
3392.87/3401.07	c      3401          31360         211         1                -           0.0000          -
3398.15/3406.31	c      3406          31434         215         1                -           0.0000          -
3403.34/3411.50	c      3412          31484         215         1                -           0.0000          -
3408.63/3416.85	c      3417          31567         220         1                -           0.0000          -
3413.92/3422.11	c      3422          31647         213         1                -           0.0000          -
3419.11/3427.35	c      3427          31741         210         1                -           0.0000          -
3424.30/3432.54	c      3433          31814         209         1                -           0.0000          -
3429.59/3437.80	c      3438          31873         209         1                -           0.0000          -
3434.97/3443.26	c      3443          31946         208         1                -           0.0000          -
3440.76/3449.10	c      3449          31980         208         1                -           0.0000          -
3446.35/3454.69	c      3455          32027         208         1                -           0.0000          -
3451.84/3460.12	c      3460          32078         209         1                -           0.0000          -
3457.22/3465.59	c      3466          32138         209         1                -           0.0000          -
3462.81/3471.17	c      3471          32221         209         1                -           0.0000          -
3468.09/3476.46	c      3476          32295         214         1                -           0.0000          -
3473.58/3481.97	c      3482          32370         211         1                -           0.0000          -
3478.87/3487.20	c      3487          32438         211         1                -           0.0000          -
3484.16/3492.52	c      3493          32515         210         1                -           0.0000          -
3489.65/3498.01	c      3498          32571         206         1                -           0.0000          -
3495.64/3504.05	c      3504          32609         210         1                -           0.0000          -
3501.02/3509.44	c      3509          32664         213         1                -           0.0000          -
3506.41/3514.88	c      3515          32708         211         1                -           0.0000          -
3511.80/3520.23	c      3520          32745         219         1                -           0.0000          -
3517.08/3525.52	c      3526          32770         220         1                -           0.0000          -
3522.27/3530.79	c      3531          32821         219         1                -           0.0000          -
3527.86/3536.32	c      3536          32868         220         1                -           0.0000          -
3533.25/3541.71	c      3542          32913         220         1                -           0.0000          -
3538.73/3547.28	c      3547          32958         220         1                -           0.0000          -
3544.62/3553.17	c      3553          32997         219         1                -           0.0000          -
3550.00/3558.57	c      3559          33074         224         1                -           0.0000          -
3555.19/3563.71	c      3564          33158         224         1                -           0.0000          -
3560.67/3569.20	c      3569          33203         223         1                -           0.0000          -
3566.46/3575.02	c      3575          33266         224         1                -           0.0000          -
3572.65/3581.26	c      3581          33308         230         1                -           0.0000          -
3578.73/3587.31	c      3587          33343         221         1                -           0.0000          -
3584.22/3592.88	c      3593          33394         220         1                -           0.0000          -
3589.31/3597.99	c      3598          33423         223         0                -           0.0000          -
3589.41/3598.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.41/3598.04	c Total Time         : 3598.0400
3589.41/3598.04	c   solving          : 3598.0400
3589.41/3598.04	c   presolving       : 3.8473 (included in solving)
3589.41/3598.04	c B&B Tree           :
3589.41/3598.04	c   nodes (total)    : 1
3589.41/3598.04	c Solution           :
3589.41/3598.04	c   Solutions found  : 0
3589.41/3598.04	c   Primal Bound     :          -
3589.41/3598.04	c   Dual Bound       : +0.00000000000000e+00
3589.41/3598.04	c Gap                :          -
3589.41/3598.05	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100093 s]*
/proc/loadavg: 4.12 4.11 4.09 5/262 33260
/proc/meminfo: memFree=121906836/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=49232 memory=38288 CPUtime=0.1 cores=4,6
/proc/33259/stat : 33259 (fscip) R 33256 33259 28847 0 -1 4194304 7616 0 0 0 9 1 0 0 20 0 1 0 5176392 50413568 9572 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 12308 9572 2662 3035 0 8704 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 38288 KiB

[startup+0.205597 s]*
/proc/loadavg: 4.12 4.11 4.09 5/262 33260
/proc/meminfo: memFree=121906640/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=49232 memory=38288 CPUtime=0.2 cores=4,6
/proc/33259/stat : 33259 (fscip) R 33256 33259 28847 0 -1 4194304 7616 0 0 0 19 1 0 0 20 0 1 0 5176392 50413568 9572 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 12308 9572 2662 3035 0 8704 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 38288 KiB

[startup+0.305516 s]*
/proc/loadavg: 4.12 4.11 4.09 5/262 33260
/proc/meminfo: memFree=121906384/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=49232 memory=38288 CPUtime=0.3 cores=4,6
/proc/33259/stat : 33259 (fscip) R 33256 33259 28847 0 -1 4194304 7616 0 0 0 29 1 0 0 20 0 1 0 5176392 50413568 9572 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 12308 9572 2662 3035 0 8704 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 38288 KiB

[startup+0.700198 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 33260
/proc/meminfo: memFree=121893628/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=64232 memory=51340 CPUtime=0.69 cores=4,6
/proc/33259/stat : 33259 (fscip) R 33256 33259 28847 0 -1 4194304 11139 0 0 0 68 1 0 0 20 0 1 0 5176392 65773568 12835 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 16058 12835 2758 3035 0 12454 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64232 KiB
Current children cumulated memory: 51340 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 33261
/proc/meminfo: memFree=121892124/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=65460 memory=52656 CPUtime=1.48 cores=4,6
/proc/33259/stat : 33259 (fscip) R 33256 33259 28847 0 -1 4194304 11465 0 0 0 147 1 0 0 20 0 1 0 5176392 67031040 13164 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 16365 13164 2758 3035 0 12761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65460 KiB
Current children cumulated memory: 52656 KiB

[startup+3.10553 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 33357
/proc/meminfo: memFree=121930492/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=66080 memory=53184 CPUtime=3.08 cores=4,6
/proc/33259/stat : 33259 (fscip) R 33256 33259 28847 0 -1 4194304 11563 0 0 0 307 1 0 0 20 0 1 0 5176392 67665920 13296 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 16520 13296 2758 3035 0 12916 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66080 KiB
Current children cumulated memory: 53184 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 33361
/proc/meminfo: memFree=121745564/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=197328 memory=128388 CPUtime=6.26 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 35526 0 0 0 622 4 0 0 20 0 3 0 5176392 202063872 32097 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 49332 32097 2950 3035 0 39440 0
[pid=33259/tid=33360] ppid=33256 vsize=197328 memory=115120 CPUtime=2.38 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 17266 0 0 0 237 1 0 0 20 0 3 0 5176779 202063872 32097 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=197328 memory=11400 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5176781 202063872 32097 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197328 KiB
Current children cumulated memory: 128388 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 33363
/proc/meminfo: memFree=121644084/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=273240 memory=171088 CPUtime=12.65 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 54653 0 0 0 1258 7 0 0 20 0 3 0 5176392 279797760 42772 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 68310 42772 2982 3035 0 50812 0
[pid=33259/tid=33360] ppid=33256 vsize=273240 memory=129584 CPUtime=8.77 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 36384 0 0 0 873 4 0 0 20 0 3 0 5176779 279797760 42772 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=273240 memory=129584 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 5176781 279797760 42772 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 273240 KiB
Current children cumulated memory: 171088 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 33413
/proc/meminfo: memFree=127772356/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=266060 memory=166696 CPUtime=25.41 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 90060 0 0 0 2532 9 0 0 20 0 3 0 5176392 272445440 41674 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 66515 41674 2982 3035 0 49547 0
[pid=33259/tid=33360] ppid=33256 vsize=266060 memory=11400 CPUtime=21.54 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 71781 0 0 0 2148 6 0 0 20 0 3 0 5176779 272445440 41674 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=266060 memory=166696 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5176781 272445440 41674 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 266060 KiB
Current children cumulated memory: 166696 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 33524
/proc/meminfo: memFree=127613628/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=266060 memory=169016 CPUtime=50.95 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 143298 0 0 0 5083 12 0 0 20 0 3 0 5176392 272445440 42254 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 66515 42254 3030 3035 0 52970 0
[pid=33259/tid=33360] ppid=33256 vsize=266060 memory=1896 CPUtime=47.07 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 124909 0 0 0 4698 9 0 0 20 0 3 0 5176779 272445440 42254 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=266060 memory=169008 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5176781 272445440 42254 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 266060 KiB
Current children cumulated memory: 169016 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 33533
/proc/meminfo: memFree=127487556/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=266060 memory=188956 CPUtime=102.02 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 190497 0 0 0 10185 17 0 0 20 0 3 0 5176392 272445440 47239 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 66515 47239 3030 3035 0 54599 0
[pid=33259/tid=33360] ppid=33256 vsize=266060 memory=188704 CPUtime=98.14 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 171974 0 0 0 9800 14 0 0 20 0 3 0 5176779 272445440 47239 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=266060 memory=188348 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5176781 272445440 47239 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 266060 KiB
Current children cumulated memory: 188956 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 33544
/proc/meminfo: memFree=127398628/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=266060 memory=202280 CPUtime=161.88 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 229464 0 0 0 16167 21 0 0 20 0 3 0 5176392 272445440 50570 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 66515 50570 3030 3035 0 57898 0
[pid=33259/tid=33360] ppid=33256 vsize=266060 memory=191960 CPUtime=157.99 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 210857 0 0 0 15781 18 0 0 20 0 3 0 5176779 272445440 50570 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=266060 memory=200816 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5176781 272445440 50570 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 266060 KiB
Current children cumulated memory: 202280 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/268 33554
/proc/meminfo: memFree=127313388/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=266060 memory=207752 CPUtime=221.72 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 264774 0 0 0 22149 23 0 0 20 0 3 0 5176392 272445440 51938 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 66515 51938 3030 3035 0 58710 0
[pid=33259/tid=33360] ppid=33256 vsize=266060 memory=203576 CPUtime=217.83 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 246105 0 0 0 21763 20 0 0 20 0 3 0 5176779 272445440 51938 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=266060 memory=12696 CPUtime=0 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5176781 272445440 51938 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 266060 KiB
Current children cumulated memory: 207752 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 33565
/proc/meminfo: memFree=127279204/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=266060 memory=212784 CPUtime=281.56 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 273690 0 0 0 28132 24 0 0 20 0 3 0 5176392 272445440 53196 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 66515 53196 3030 3035 0 59336 0
[pid=33259/tid=33360] ppid=33256 vsize=266060 memory=210892 CPUtime=277.67 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 255008 0 0 0 27746 21 0 0 20 0 3 0 5176779 272445440 53196 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=266060 memory=12696 CPUtime=0 cores=4,6

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

/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=11400 CPUtime=3390.09 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 398578 0 0 0 338959 50 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=11400 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3394.16 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 35218
/proc/meminfo: memFree=126623808/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3454.03 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 419735 0 0 0 345342 61 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=11400 CPUtime=3449.94 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 400388 0 0 0 344944 50 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=11400 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3454.03 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/267 35400
/proc/meminfo: memFree=126622368/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3513.89 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 421440 0 0 0 351327 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=11400 CPUtime=3509.8 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 402081 0 0 0 350929 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=310440 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/269 35415
/proc/meminfo: memFree=126622116/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3573.74 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423145 0 0 0 357312 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=310440 CPUtime=3569.65 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403771 0 0 0 356914 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=310440 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

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

# cumulated CPU time of all completed processes:  user=3588.84 s, system=0.631479 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.11 5/269 35415
/proc/meminfo: memFree=126622124/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3575.44 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423147 0 0 0 357482 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=280759999586048 CPUtime=3571.36 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403773 0 0 0 357085 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=140380126681156 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3575.44 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 35415
/proc/meminfo: memFree=126622168/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3581.82 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423197 0 0 0 358120 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=310440 CPUtime=3577.74 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403823 0 0 0 357723 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=310440 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3581.82 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622028/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3585.02 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423216 0 0 0 358440 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=310440 CPUtime=3580.93 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403842 0 0 0 358042 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=-7523662869084332155 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622028/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3586.61 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423220 0 0 0 358599 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=12696 CPUtime=3582.52 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403846 0 0 0 358201 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=13176 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622028/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3588.21 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423222 0 0 0 358759 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=12696 CPUtime=3584.12 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403848 0 0 0 358361 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=11400 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3588.21 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3597.6 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126620928/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3589.01 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423227 0 0 0 358839 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=1940 CPUtime=3584.92 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403853 0 0 0 358441 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=2336 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3589.01 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

[startup+3598 s]*
/proc/loadavg: 4.08 4.14 4.10 6/265 35430
/proc/meminfo: memFree=126924596/131524600 swapFree=131071216/131071996
[pid=33259] ppid=33256 vsize=395084 memory=310440 CPUtime=3589.41 cores=4,6
/proc/33259/stat : 33259 (fscip) S 33256 33259 28847 0 -1 1077936128 423239 0 0 0 358879 62 0 0 20 0 3 0 5176392 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
/proc/33259/statm: 98771 77610 3030 3035 0 80503 0
[pid=33259/tid=33360] ppid=33256 vsize=395084 memory=-7378984731055054974 CPUtime=3585.32 cores=4,6
/proc/33259/task/33360/stat : 33360 (fscip) R 33256 33259 28847 0 -1 4194368 403864 0 0 0 358481 51 0 0 20 0 3 0 5176779 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
[pid=33259/tid=33361] ppid=33256 vsize=395084 memory=-7158006971129659360 CPUtime=0.03 cores=4,6
/proc/33259/task/33361/stat : 33361 (fscip) S 33256 33259 28847 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 5176781 404566016 77610 134679101440 4194304 16623229 140729830506048 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41627648 140729830511638 140729830511754 140729830511754 140729830518768 0
Current children cumulated CPU time: 3589.41 s
Current children cumulated vsize: 395084 KiB
Current children cumulated memory: 310440 KiB

Child status: 0

Real time (s): 3598.06
CPU time (s): 3589.48
CPU user time (s): 3588.84
CPU system time (s): 0.631479
CPU usage (%): 99.7615
Max. virtual memory (cumulated for all children) (KiB): 395084
Max. memory (cumulated for all children) (KiB): 310440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.84
system time used= 0.631479
maximum resident set size= 310440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424242
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= 10078
involuntary context switches= 1758


# summary of solver processes directly reported to runsolver:
#   pid: 33259
#   total CPU time (s): 3589.48
#   total CPU user time (s): 3588.84
#   total CPU system time (s): 0.631479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28542 second user time and 16.1062 second system time

The end

Launcher Data

Begin job on nodeC017 at 2024-07-31 02:29:54
IDJOB=4464472
IDBENCH=158372
IDSOLVER=3092
FILE ID=nodeC017/4464472-1722385794
RUNJOBID= nodeC017-1722378594-28858
SLURM_JOB_ID= 8249830
Free space on /tmp= 889956 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K80.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-4464472-1722385794/watcher-4464472-1722385794 -o /tmp/evaluation-result-4464472-1722385794/solver-4464472-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28858 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464472-1722385794.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= bc14cc3bb42aaf8e1259e2bb8ce475fb
RANDOM SEED=1765878430

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121936188 kB
MemAvailable:   123335128 kB
Buffers:          101188 kB
Cached:          2129592 kB
SwapCached:           52 kB
Active:           310604 kB
Inactive:        8787176 kB
Active(anon):       1464 kB
Inactive(anon):  6886680 kB
Active(file):     309140 kB
Inactive(file):  1900496 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             57152 kB
Writeback:            12 kB
AnonPages:       6865020 kB
Mapped:           120128 kB
Shmem:             21136 kB
KReclaimable:      58256 kB
Slab:             139264 kB
SReclaimable:      58256 kB
SUnreclaim:        81008 kB
KernelStack:        4176 kB
PageTables:        22792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5090952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5138432 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:      185044 kB
DirectMap2M:     5879808 kB
DirectMap1G:    130023424 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC017 at 2024-07-31 03:29:52