Trace number 4447310

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3587.94 3600.05

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
MD5SUMe64e621864ff5f0b0d30a15b78ec6db8
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 benchmark1.64559
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3960
Total number of constraints4106
Number of constraints which are clauses4034
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
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 73
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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 39596032, getVmSize() = 39596032, SCIPgetMemUsed() = 14659409, SCIPgetMemTotal() = 17735513, SCIPgetMemExternEstim() = 7720528
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.18/3.23	c ** Estimated virtualMemUsedAtSolver = 49363401, getVmSize() = 90284032, SCIPgetMemUsed() = 45557862, SCIPgetMemTotal() = 66324574, SCIPgetMemExternEstim() = 7720528
3.18/3.23	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
3.18/3.23	c Original Problem   :
3.18/3.23	c   Problem name     : instance-4447310-1721349379
3.18/3.23	c   Variables        : 3960 (3960 binary, 0 integer, 0 implicit integer, 0 continuous)
3.18/3.23	c   Constraints      : 4106
3.18/3.23	c   Objective sense  : minimize
3.18/3.23	c Presolved Problem  :
3.18/3.23	c   Variables        : 3156 (3156 binary, 0 integer, 0 implicit integer, 0 continuous)
3.18/3.23	c   Constraints      : 3275
3.18/3.23	c Constraints        : Number
3.18/3.23	c   setppc           : 668 
3.18/3.23	c   logicor          : 2607 
3.18/3.23	c ** Instance transfer method used: 0
3.18/3.24	c ** ParaScipInstance copy does not increase the number of variables. **
3.18/3.25	c LC is working with racing ramp-up and with rebuilding tree after racing.
3.18/3.25	c                                Nodes    Active                                            
3.18/3.25	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
33.04/33.34	c        33              2           1         1                -           0.0000          -
38.10/38.47	c        38             20          15         1                -           0.0000          -
43.25/43.62	c        44             34          19         1                -           0.0000          -
49.20/49.60	c        50             55          22         1                -           0.0000          -
55.05/55.57	c        56             85          21         1                -           0.0000          -
60.42/60.93	c        61            109          25         1                -           0.0000          -
65.80/66.33	c        66            171          25         1                -           0.0000          -
71.18/71.76	c        72            213          27         1                -           0.0000          -
76.46/77.02	c        77            271          29         1                -           0.0000          -
81.94/82.58	c        83            323          29         1                -           0.0000          -
87.23/87.85	c        88            364          28         1                -           0.0000          -
92.61/93.26	c        93            405          27         1                -           0.0000          -
98.30/98.94	c        99            474          32         1                -           0.0000          -
103.48/104.11	c       104            552          34         1                -           0.0000          -
108.86/109.50	c       110            613          31         1                -           0.0000          -
114.24/114.95	c       115            660          32         1                -           0.0000          -
119.43/120.17	c       120            713          31         1                -           0.0000          -
124.90/125.65	c       126            786          33         1                -           0.0000          -
130.09/130.89	c       131            858          29         1                -           0.0000          -
135.67/136.47	c       136            918          31         1                -           0.0000          -
141.05/141.80	c       142            979          34         1                -           0.0000          -
146.53/147.33	c       147           1057          30         1                -           0.0000          -
162.89/163.70	c       164           1060           1         1                -           0.0000          -
167.87/168.77	c       169           1084          17         1                -           0.0000          -
173.16/174.09	c       174           1123          20         1                -           0.0000          -
178.74/179.69	c       180           1177          26         1                -           0.0000          -
189.80/190.78	c       191           1182          27         1                -           0.0000          -
194.88/195.84	c       196           1215          26         1                -           0.0000          -
200.56/201.59	c       202           1256          27         1                -           0.0000          -
206.35/207.36	c       207           1278          31         1                -           0.0000          -
213.62/214.65	c       215           1303          32         1                -           0.0000          -
220.80/221.88	c       222           1313          38         1                -           0.0000          -
226.38/227.42	c       227           1352          43         1                -           0.0000          -
231.77/232.84	c       233           1399          44         1                -           0.0000          -
237.25/238.34	c       238           1450          46         1                -           0.0000          -
242.33/243.48	c       243           1460          50         1                -           0.0000          -
247.61/248.71	c       249           1493          57         1                -           0.0000          -
253.00/254.14	c       254           1550          54         1                -           0.0000          -
261.88/263.09	c       263           1570          56         1                -           0.0000          -
267.35/268.52	c       269           1627          57         1                -           0.0000          -
272.63/273.87	c       274           1662          66         1                -           0.0000          -
278.21/279.49	c       280           1708          64         1                -           0.0000          -
283.69/284.93	c       285           1751          69         1                -           0.0000          -
288.97/290.24	c       290           1802          68         1                -           0.0000          -
294.25/295.56	c       296           1849          65         1                -           0.0000          -
299.54/300.86	c       301           1903          65         1                -           0.0000          -
305.12/306.43	c       306           1948          64         1                -           0.0000          -
310.60/311.97	c       312           1991          63         1                -           0.0000          -
315.88/317.22	c       317           2035          69         1                -           0.0000          -
320.86/322.27	c       322           2065          71         1                -           0.0000          -
326.05/327.48	c       327           2137          77         1                -           0.0000          -
331.32/332.72	c       333           2217          74         1                -           0.0000          -
336.51/337.95	c       338           2286          79         1                -           0.0000          -
342.39/343.88	c       344           2344          83         1                -           0.0000          -
347.87/349.36	c       349           2402          84         1                -           0.0000          -
353.05/354.59	c       355           2463          83         1                -           0.0000          -
358.24/359.75	c       360           2525          86         1                -           0.0000          -
363.32/364.89	c       365           2578          87         1                -           0.0000          -
368.70/370.25	c       370           2630          87         1                -           0.0000          -
374.08/375.60	c       376           2690          85         1                -           0.0000          -
379.97/381.56	c       382           2738          88         1                -           0.0000          -
385.55/387.17	c       387           2793          89         1                -           0.0000          -
391.03/392.67	c       393           2853          93         1                -           0.0000          -
396.91/398.54	c       399           2867          99         1                -           0.0000          -
402.59/404.29	c       404           2911         103         1                -           0.0000          -
408.17/409.83	c       410           2964         106         1                -           0.0000          -
413.56/415.27	c       415           3017         103         1                -           0.0000          -
418.94/420.64	c       421           3065         103         1                -           0.0000          -
424.22/425.94	c       426           3120         104         1                -           0.0000          -
429.51/431.25	c       431           3172         102         1                -           0.0000          -
434.79/436.57	c       437           3216         102         1                -           0.0000          -
440.28/442.08	c       442           3265         101         1                -           0.0000          -
446.15/447.98	c       448           3315         101         1                -           0.0000          -
451.83/453.68	c       454           3366         104         1                -           0.0000          -
457.23/459.07	c       459           3421         103         1                -           0.0000          -
462.81/464.65	c       465           3455         105         1                -           0.0000          -
468.59/470.42	c       470           3499         105         1                -           0.0000          -
473.77/475.66	c       476           3552         104         1                -           0.0000          -
479.16/481.02	c       481           3590         102         1                -           0.0000          -
485.24/487.13	c       487           3611         107         1                -           0.0000          -
490.22/492.14	c       492           3647         107         1                -           0.0000          -
495.80/497.77	c       498           3684         112         1                -           0.0000          -
501.98/503.90	c       504           3726         114         1                -           0.0000          -
507.07/509.01	c       509           3750         120         1                -           0.0000          -
512.85/514.85	c       515           3795         129         1                -           0.0000          -
517.83/519.88	c       520           3831         135         1                -           0.0000          -
522.92/524.90	c       525           3837         141         1                -           0.0000          -
528.30/530.33	c       530           3889         144         1                -           0.0000          -
534.18/536.28	c       536           3935         144         1                -           0.0000          -
539.66/541.77	c       542           4005         142         1                -           0.0000          -
545.14/547.23	c       547           4072         145         1                -           0.0000          -
550.82/552.91	c       553           4121         144         1                -           0.0000          -
556.10/558.25	c       558           4175         142         1                -           0.0000          -
561.49/563.66	c       564           4240         141         1                -           0.0000          -
566.47/568.67	c       569           4253         144         1                -           0.0000          -
571.86/574.04	c       574           4263         150         1                -           0.0000          -
577.14/579.35	c       579           4264         151         1                -           0.0000          -
582.32/584.52	c       585           4289         160         1                -           0.0000          -
588.10/590.34	c       590           4325         162         1                -           0.0000          -
594.18/596.44	c       596           4349         166         1                -           0.0000          -
599.56/601.89	c       602           4372         175         1                -           0.0000          -
604.75/607.06	c       607           4391         182         1                -           0.0000          -
610.13/612.41	c       612           4426         183         1                -           0.0000          -
615.72/618.07	c       618           4474         183         1                -           0.0000          -
621.00/623.35	c       623           4536         187         1                -           0.0000          -
626.18/628.54	c       629           4549         196         1                -           0.0000          -
632.46/634.86	c       635           4603         204         1                -           0.0000          -
638.24/640.63	c       641           4667         208         1                -           0.0000          -
643.82/646.25	c       646           4704         215         1                -           0.0000          -
649.01/651.49	c       651           4718         223         1                -           0.0000          -
654.49/656.93	c       657           4759         228         1                -           0.0000          -
660.57/663.02	c       663           4792         231         1                -           0.0000          -
680.41/682.94	c       683           4795         233         1                -           0.0000          -
686.09/688.69	c       689           4831         235         1                -           0.0000          -
692.38/694.95	c       695           4865         242         1                -           0.0000          -
698.06/700.61	c       701           4918         245         1                -           0.0000          -
703.64/706.24	c       706           4949         252         1                -           0.0000          -
709.13/711.77	c       712           4990         255         1                -           0.0000          -
715.00/717.64	c       718           5034         264         1                -           0.0000          -
720.99/723.65	c       724           5074         266         1                -           0.0000          -
726.37/729.09	c       729           5114         272         1                -           0.0000          -
731.65/734.36	c       734           5154         280         1                -           0.0000          -
737.63/740.39	c       740           5223         285         1                -           0.0000          -
742.91/745.66	c       746           5261         293         1                -           0.0000          -
748.29/751.06	c       751           5326         292         1                -           0.0000          -
754.37/757.16	c       757           5348         298         1                -           0.0000          -
760.44/763.24	c       763           5372         298         1                -           0.0000          -
765.72/768.56	c       769           5410         300         1                -           0.0000          -
771.91/774.75	c       775           5438         306         1                -           0.0000          -
777.19/780.07	c       780           5496         310         1                -           0.0000          -
782.47/785.38	c       785           5586         307         1                -           0.0000          -
788.25/791.19	c       791           5607         310         1                -           0.0000          -
794.22/797.10	c       797           5653         312         1                -           0.0000          -
799.70/802.62	c       803           5696         315         1                -           0.0000          -
805.08/808.04	c       808           5738         318         1                -           0.0000          -
810.36/813.34	c       813           5785         323         1                -           0.0000          -
815.64/818.63	c       819           5822         325         1                -           0.0000          -
822.62/825.61	c       826           5892         329         1                -           0.0000          -
828.00/831.06	c       831           5950         331         1                -           0.0000          -
833.37/836.42	c       836           6005         332         1                -           0.0000          -
838.75/841.86	c       842           6048         337         1                -           0.0000          -
843.93/847.02	c       847           6097         334         1                -           0.0000          -
849.31/852.46	c       852           6144         333         1                -           0.0000          -
854.90/858.07	c       858           6177         346         1                -           0.0000          -
860.37/863.50	c       864           6234         349         1                -           0.0000          -
866.15/869.31	c       869           6257         350         1                -           0.0000          -
871.75/874.99	c       875           6303         352         1                -           0.0000          -
877.43/880.68	c       881           6354         352         1                -           0.0000          -
886.30/889.58	c       890           6388         356         1                -           0.0000          -
891.38/894.61	c       895           6425         361         1                -           0.0000          -
896.57/899.87	c       900           6476         362         1                -           0.0000          -
902.35/905.65	c       906           6504         362         1                -           0.0000          -
907.93/911.27	c       911           6559         363         1                -           0.0000          -
914.01/917.37	c       917           6608         368         1                -           0.0000          -
919.69/923.02	c       923           6645         367         1                -           0.0000          -
925.37/928.73	c       929           6703         364         1                -           0.0000          -
930.75/934.16	c       934           6758         361         1                -           0.0000          -
936.13/939.53	c       940           6795         362         1                -           0.0000          -
941.92/945.32	c       945           6824         375         1                -           0.0000          -
947.40/950.86	c       951           6876         375         1                -           0.0000          -
952.78/956.26	c       956           6935         372         1                -           0.0000          -
958.27/961.76	c       962           7005         376         1                -           0.0000          -
963.65/967.17	c       967           7064         373         1                -           0.0000          -
968.73/972.27	c       972           7094         377         1                -           0.0000          -
974.21/977.70	c       978           7130         377         1                -           0.0000          -
981.29/984.83	c       985           7165         382         1                -           0.0000          -
986.37/989.94	c       990           7194         385         1                -           0.0000          -
992.25/995.88	c       996           7249         384         1                -           0.0000          -
997.63/1001.28	c      1001           7294         384         1                -           0.0000          -
1003.22/1006.84	c      1007           7339         385         1                -           0.0000          -
1008.80/1012.46	c      1012           7370         388         1                -           0.0000          -
1013.98/1017.61	c      1018           7419         385         1                -           0.0000          -
1019.47/1023.15	c      1023           7464         384         1                -           0.0000          -
1025.05/1028.77	c      1029           7508         386         1                -           0.0000          -
1030.33/1034.05	c      1034           7569         388         1                -           0.0000          -
1035.42/1039.17	c      1039           7638         390         1                -           0.0000          -
1040.90/1044.65	c      1045           7686         389         1                -           0.0000          -
1048.97/1052.77	c      1053           7726         393         1                -           0.0000          -
1054.45/1058.25	c      1058           7771         398         1                -           0.0000          -
1060.03/1063.86	c      1064           7819         397         1                -           0.0000          -
1065.63/1069.46	c      1069           7859         395         1                -           0.0000          -
1072.80/1076.64	c      1077           7862         398         1                -           0.0000          -
1078.09/1081.98	c      1082           7921         397         1                -           0.0000          -
1083.27/1087.14	c      1087           8006         400         1                -           0.0000          -
1088.45/1092.34	c      1092           8070         398         1                -           0.0000          -
1093.63/1097.58	c      1098           8121         397         1                -           0.0000          -
1099.42/1103.34	c      1103           8158         398         1                -           0.0000          -
1104.90/1108.82	c      1109           8173         403         1                -           0.0000          -
1110.27/1114.28	c      1114           8215         403         1                -           0.0000          -
1115.55/1119.55	c      1120           8271         401         1                -           0.0000          -
1120.83/1124.83	c      1125           8303         403         1                -           0.0000          -
1126.51/1130.57	c      1131           8345         404         1                -           0.0000          -
1132.59/1136.64	c      1137           8386         404         1                -           0.0000          -
1138.57/1142.60	c      1143           8438         408         1                -           0.0000          -
1143.95/1148.10	c      1148           8493         405         1                -           0.0000          -
1149.33/1153.47	c      1153           8549         405         1                -           0.0000          -
1155.10/1159.27	c      1159           8598         404         1                -           0.0000          -
1160.78/1164.91	c      1165           8644         406         1                -           0.0000          -
1165.97/1170.16	c      1170           8689         405         1                -           0.0000          -
1171.24/1175.43	c      1175           8737         407         1                -           0.0000          -
1176.92/1181.14	c      1181           8788         403         1                -           0.0000          -
1182.50/1186.78	c      1187           8841         399         1                -           0.0000          -
1187.68/1191.94	c      1192           8881         403         1                -           0.0000          -
1193.45/1197.73	c      1198           8953         403         1                -           0.0000          -
1198.93/1203.27	c      1203           9026         399         1                -           0.0000          -
1204.31/1208.62	c      1209           9089         400         1                -           0.0000          -
1209.69/1214.04	c      1214           9125         400         1                -           0.0000          -
1215.17/1219.58	c      1220           9181         402         1                -           0.0000          -
1220.85/1225.23	c      1225           9243         402         1                -           0.0000          -
1226.33/1230.74	c      1231           9297         402         1                -           0.0000          -
1231.81/1236.29	c      1236           9366         401         1                -           0.0000          -
1237.29/1241.76	c      1242           9421         402         1                -           0.0000          -
1242.97/1247.44	c      1247           9459         404         1                -           0.0000          -
1248.25/1252.73	c      1253           9528         405         1                -           0.0000          -
1254.22/1258.73	c      1259           9575         409         1                -           0.0000          -
1259.61/1264.12	c      1264           9614         406         1                -           0.0000          -
1264.98/1269.56	c      1270           9650         410         1                -           0.0000          -
1270.56/1275.14	c      1275           9706         411         1                -           0.0000          -
1276.14/1280.74	c      1281           9749         410         1                -           0.0000          -
1281.72/1286.31	c      1286           9787         414         1                -           0.0000          -
1287.60/1292.24	c      1292           9820         417         1                -           0.0000          -
1292.99/1297.67	c      1298           9874         419         1                -           0.0000          -
1298.97/1303.65	c      1304           9925         420         1                -           0.0000          -
1304.25/1308.92	c      1309           9970         425         1                -           0.0000          -
1309.53/1314.21	c      1314          10041         426         1                -           0.0000          -
1314.81/1319.55	c      1320          10088         431         1                -           0.0000          -
1320.60/1325.36	c      1325          10138         431         1                -           0.0000          -
1326.28/1331.07	c      1331          10201         436         1                -           0.0000          -
1331.76/1336.58	c      1337          10279         434         1                -           0.0000          -
1337.14/1341.90	c      1342          10359         435         1                -           0.0000          -
1342.62/1347.40	c      1347          10442         434         1                -           0.0000          -
1347.91/1352.77	c      1353          10504         431         1                -           0.0000          -
1353.30/1358.20	c      1358          10567         431         1                -           0.0000          -
1358.67/1363.51	c      1364          10643         429         1                -           0.0000          -
1364.35/1369.28	c      1369          10687         429         1                -           0.0000          -
1370.15/1375.03	c      1375          10723         429         1                -           0.0000          -
1375.73/1380.62	c      1381          10778         429         1                -           0.0000          -
1381.01/1385.94	c      1386          10863         430         1                -           0.0000          -
1386.49/1391.49	c      1392          10953         428         1                -           0.0000          -
1391.87/1396.84	c      1397          11010         427         1                -           0.0000          -
1397.46/1402.40	c      1402          11055         429         1                -           0.0000          -
1402.64/1407.66	c      1408          11113         425         1                -           0.0000          -
1407.92/1412.96	c      1413          11157         429         1                -           0.0000          -
1413.30/1418.38	c      1418          11205         424         1                -           0.0000          -
1418.68/1423.70	c      1424          11252         425         1                -           0.0000          -
1424.57/1429.63	c      1430          11295         426         1                -           0.0000          -
1429.95/1435.05	c      1435          11345         433         1                -           0.0000          -
1435.53/1440.69	c      1441          11404         430         1                -           0.0000          -
1441.31/1446.47	c      1446          11469         431         1                -           0.0000          -
1446.79/1451.98	c      1452          11519         435         1                -           0.0000          -
1452.07/1457.24	c      1457          11574         431         1                -           0.0000          -
1457.56/1462.76	c      1463          11628         431         1                -           0.0000          -
1462.84/1468.06	c      1468          11669         430         1                -           0.0000          -
1468.22/1473.42	c      1473          11731         432         1                -           0.0000          -
1473.60/1478.84	c      1479          11776         429         1                -           0.0000          -
1479.19/1484.41	c      1484          11833         428         1                -           0.0000          -
1484.57/1489.81	c      1490          11891         428         1                -           0.0000          -
1489.86/1495.14	c      1495          11967         432         1                -           0.0000          -
1495.13/1500.49	c      1500          12027         430         1                -           0.0000          -
1500.52/1505.84	c      1506          12103         431         1                -           0.0000          -
1505.71/1511.07	c      1511          12165         426         1                -           0.0000          -
1510.99/1516.39	c      1516          12209         426         1                -           0.0000          -
1516.47/1521.87	c      1522          12280         425         1                -           0.0000          -
1523.15/1528.54	c      1529          12329         425         1                -           0.0000          -
1528.53/1533.94	c      1534          12368         424         1                -           0.0000          -
1534.02/1539.43	c      1539          12410         428         1                -           0.0000          -
1539.40/1544.86	c      1545          12448         430         1                -           0.0000          -
1544.68/1550.14	c      1550          12487         431         1                -           0.0000          -
1549.96/1555.43	c      1555          12553         430         1                -           0.0000          -
1555.45/1560.93	c      1561          12615         427         1                -           0.0000          -
1561.13/1566.68	c      1567          12674         434         1                -           0.0000          -
1566.61/1572.11	c      1572          12721         433         1                -           0.0000          -
1571.79/1577.37	c      1577          12780         432         1                -           0.0000          -
1577.27/1582.83	c      1583          12820         434         1                -           0.0000          -
1582.56/1588.15	c      1588          12876         432         1                -           0.0000          -
1588.24/1593.85	c      1594          12934         430         1                -           0.0000          -
1593.43/1599.08	c      1599          13006         431         1                -           0.0000          -
1598.60/1604.21	c      1604          13112         431         1                -           0.0000          -
1603.79/1609.47	c      1609          13196         432         1                -           0.0000          -
1609.07/1614.76	c      1615          13278         430         1                -           0.0000          -
1614.55/1620.21	c      1620          13343         431         1                -           0.0000          -
1619.74/1625.45	c      1625          13418         428         1                -           0.0000          -
1625.32/1631.06	c      1631          13475         427         1                -           0.0000          -
1630.80/1636.57	c      1637          13520         426         1                -           0.0000          -
1636.40/1642.14	c      1642          13569         428         1                -           0.0000          -
1641.67/1647.41	c      1647          13629         428         1                -           0.0000          -
1646.86/1652.61	c      1653          13681         426         1                -           0.0000          -
1652.14/1657.99	c      1658          13735         429         1                -           0.0000          -
1657.62/1663.47	c      1663          13781         429         1                -           0.0000          -
1663.31/1669.11	c      1669          13830         426         1                -           0.0000          -
1668.78/1674.63	c      1675          13886         428         1                -           0.0000          -
1674.27/1680.19	c      1680          13939         426         1                -           0.0000          -
1679.65/1685.52	c      1686          14006         423         1                -           0.0000          -
1685.13/1691.03	c      1691          14053         424         1                -           0.0000          -
1690.12/1696.04	c      1696          14064         427         1                -           0.0000          -
1695.40/1701.33	c      1701          14115         428         1                -           0.0000          -
1703.37/1709.30	c      1709          14150         433         1                -           0.0000          -
1708.65/1714.67	c      1715          14211         432         1                -           0.0000          -
1714.54/1720.51	c      1721          14260         431         1                -           0.0000          -
1719.82/1725.89	c      1726          14303         430         1                -           0.0000          -
1725.10/1731.15	c      1731          14349         428         1                -           0.0000          -
1730.48/1736.58	c      1737          14411         426         1                -           0.0000          -
1735.96/1742.01	c      1742          14470         425         1                -           0.0000          -
1741.74/1747.88	c      1748          14488         426         1                -           0.0000          -
1747.32/1753.45	c      1753          14534         428         1                -           0.0000          -
1753.01/1759.13	c      1759          14592         430         1                -           0.0000          -
1759.38/1765.52	c      1766          14630         427         1                -           0.0000          -
1764.67/1770.85	c      1771          14673         430         1                -           0.0000          -
1769.96/1776.15	c      1776          14718         425         1                -           0.0000          -
1775.24/1781.48	c      1781          14765         428         1                -           0.0000          -
1781.12/1787.32	c      1787          14807         428         1                -           0.0000          -
1786.81/1793.05	c      1793          14851         432         1                -           0.0000          -
1792.38/1798.63	c      1799          14892         427         1                -           0.0000          -
1797.87/1804.10	c      1804          14932         427         1                -           0.0000          -
1803.45/1809.70	c      1810          14972         427         1                -           0.0000          -
1808.83/1815.13	c      1815          15022         427         1                -           0.0000          -
1814.21/1820.58	c      1821          15076         427         1                -           0.0000          -
1819.89/1826.24	c      1826          15130         425         1                -           0.0000          -
1825.58/1831.91	c      1832          15164         427         1                -           0.0000          -
1830.96/1837.33	c      1837          15221         428         1                -           0.0000          -
1836.65/1843.08	c      1843          15291         425         1                -           0.0000          -
1842.62/1849.03	c      1849          15318         428         1                -           0.0000          -
1848.30/1854.70	c      1855          15383         431         1                -           0.0000          -
1853.69/1860.13	c      1860          15423         433         1                -           0.0000          -
1859.17/1865.64	c      1866          15465         431         1                -           0.0000          -
1865.15/1871.63	c      1872          15507         431         1                -           0.0000          -
1870.93/1877.45	c      1877          15540         430         1                -           0.0000          -
1876.52/1883.06	c      1883          15591         433         1                -           0.0000          -
1882.19/1888.74	c      1889          15626         432         1                -           0.0000          -
1887.88/1894.43	c      1894          15664         436         1                -           0.0000          -
1893.76/1900.31	c      1900          15698         431         1                -           0.0000          -
1898.94/1905.51	c      1906          15739         431         1                -           0.0000          -
1904.43/1911.05	c      1911          15787         433         1                -           0.0000          -
1909.60/1916.22	c      1916          15830         433         1                -           0.0000          -
1915.29/1921.99	c      1922          15864         429         1                -           0.0000          -
1920.88/1927.56	c      1928          15898         431         1                -           0.0000          -
1926.76/1933.40	c      1933          15931         428         1                -           0.0000          -
1932.34/1939.05	c      1939          15971         429         1                -           0.0000          -
1937.72/1944.48	c      1944          16029         429         1                -           0.0000          -
1943.20/1949.95	c      1950          16062         432         1                -           0.0000          -
1948.58/1955.30	c      1955          16105         438         1                -           0.0000          -
1954.06/1960.85	c      1961          16170         436         1                -           0.0000          -
1959.44/1966.29	c      1966          16214         436         1                -           0.0000          -
1964.93/1971.79	c      1972          16255         437         1                -           0.0000          -
1970.62/1977.43	c      1977          16297         437         1                -           0.0000          -
1975.80/1982.64	c      1983          16335         437         1                -           0.0000          -
1981.38/1988.20	c      1988          16383         440         1                -           0.0000          -
1986.86/1993.77	c      1994          16422         437         1                -           0.0000          -
1992.44/1999.32	c      1999          16462         438         1                -           0.0000          -
1998.13/2005.01	c      2005          16500         435         1                -           0.0000          -
2003.71/2010.67	c      2011          16532         437         1                -           0.0000          -
2009.49/2016.43	c      2016          16562         437         1                -           0.0000          -
2014.87/2021.83	c      2022          16592         439         1                -           0.0000          -
2020.35/2027.36	c      2027          16625         434         1                -           0.0000          -
2026.53/2033.54	c      2034          16662         433         1                -           0.0000          -
2032.02/2039.08	c      2039          16697         432         1                -           0.0000          -
2037.70/2044.72	c      2045          16729         438         1                -           0.0000          -
2043.18/2050.28	c      2050          16772         435         1                -           0.0000          -
2048.66/2055.72	c      2056          16819         433         1                -           0.0000          -
2054.34/2061.45	c      2061          16860         435         1                -           0.0000          -
2059.82/2066.90	c      2067          16894         435         1                -           0.0000          -
2065.30/2072.45	c      2072          16930         438         1                -           0.0000          -
2070.69/2077.80	c      2078          16968         437         1                -           0.0000          -
2076.17/2083.39	c      2083          16999         438         1                -           0.0000          -
2081.96/2089.14	c      2089          17037         440         1                -           0.0000          -
2087.64/2094.86	c      2095          17069         436         1                -           0.0000          -
2093.62/2100.81	c      2101          17111         436         1                -           0.0000          -
2099.30/2106.51	c      2107          17140         438         1                -           0.0000          -
2104.78/2112.06	c      2112          17173         437         1                -           0.0000          -
2110.26/2117.57	c      2118          17212         436         1                -           0.0000          -
2115.94/2123.27	c      2123          17243         435         1                -           0.0000          -
2121.72/2129.03	c      2129          17279         439         1                -           0.0000          -
2127.29/2134.65	c      2135          17318         434         1                -           0.0000          -
2132.78/2140.17	c      2140          17358         440         1                -           0.0000          -
2138.25/2145.60	c      2146          17406         440         1                -           0.0000          -
2143.33/2150.73	c      2151          17461         444         1                -           0.0000          -
2148.51/2155.92	c      2156          17531         443         1                -           0.0000          -
2153.69/2161.18	c      2161          17590         447         1                -           0.0000          -
2159.07/2166.52	c      2167          17663         448         1                -           0.0000          -
2164.15/2171.65	c      2172          17727         448         1                -           0.0000          -
2169.53/2177.08	c      2177          17782         444         1                -           0.0000          -
2175.02/2182.59	c      2183          17842         442         1                -           0.0000          -
2180.50/2188.05	c      2188          17904         441         1                -           0.0000          -
2185.97/2193.54	c      2194          17969         445         1                -           0.0000          -
2191.05/2198.63	c      2199          18029         449         1                -           0.0000          -
2196.23/2203.87	c      2204          18083         440         1                -           0.0000          -
2201.52/2209.18	c      2209          18137         443         1                -           0.0000          -
2206.69/2214.38	c      2214          18194         442         1                -           0.0000          -
2212.07/2219.70	c      2220          18253         445         1                -           0.0000          -
2217.44/2225.11	c      2225          18323         441         1                -           0.0000          -
2222.70/2230.49	c      2230          18381         443         1                -           0.0000          -
2228.28/2236.05	c      2236          18444         444         1                -           0.0000          -
2233.66/2241.49	c      2241          18503         443         1                -           0.0000          -
2238.94/2246.74	c      2247          18561         445         1                -           0.0000          -
2244.33/2252.14	c      2252          18635         447         1                -           0.0000          -
2249.71/2257.52	c      2258          18706         452         1                -           0.0000          -
2255.09/2262.97	c      2263          18775         448         1                -           0.0000          -
2260.27/2268.13	c      2268          18845         446         1                -           0.0000          -
2265.45/2273.35	c      2273          18907         446         1                -           0.0000          -
2270.83/2278.74	c      2279          18971         449         1                -           0.0000          -
2276.11/2284.10	c      2284          19037         445         1                -           0.0000          -
2281.59/2289.56	c      2290          19096         448         1                -           0.0000          -
2286.77/2294.79	c      2295          19152         448         1                -           0.0000          -
2292.64/2300.60	c      2301          19216         445         1                -           0.0000          -
2297.82/2305.85	c      2306          19281         449         1                -           0.0000          -
2303.30/2311.37	c      2311          19333         445         1                -           0.0000          -
2308.68/2316.72	c      2317          19375         447         1                -           0.0000          -
2314.16/2322.20	c      2322          19431         447         1                -           0.0000          -
2319.94/2328.03	c      2328          19500         450         1                -           0.0000          -
2325.72/2333.89	c      2334          19558         452         1                -           0.0000          -
2331.10/2339.26	c      2339          19598         451         1                -           0.0000          -
2336.68/2344.85	c      2345          19652         455         1                -           0.0000          -
2342.16/2350.33	c      2350          19696         455         1                -           0.0000          -
2347.54/2355.72	c      2356          19741         452         1                -           0.0000          -
2353.12/2361.30	c      2361          19779         450         1                -           0.0000          -
2359.10/2367.35	c      2367          19829         452         1                -           0.0000          -
2364.37/2372.61	c      2373          19870         455         1                -           0.0000          -
2369.56/2377.81	c      2378          19923         458         1                -           0.0000          -
2375.03/2383.37	c      2383          19986         459         1                -           0.0000          -
2380.72/2389.00	c      2389          20029         462         1                -           0.0000          -
2386.19/2394.52	c      2395          20109         466         1                -           0.0000          -
2391.27/2399.64	c      2400          20225         465         1                -           0.0000          -
2396.55/2404.95	c      2405          20357         465         1                -           0.0000          -
2401.74/2410.13	c      2410          20460         468         1                -           0.0000          -
2406.82/2415.21	c      2415          20573         467         1                -           0.0000          -
2411.91/2420.37	c      2420          20719         467         1                -           0.0000          -
2417.19/2425.63	c      2426          20863         469         1                -           0.0000          -
2422.48/2430.92	c      2431          20981         467         1                -           0.0000          -
2427.86/2436.30	c      2436          21071         465         1                -           0.0000          -
2433.34/2441.81	c      2442          21138         464         1                -           0.0000          -
2438.63/2447.18	c      2447          21194         464         1                -           0.0000          -
2444.00/2452.55	c      2453          21230         464         1                -           0.0000          -
2449.29/2457.82	c      2458          21293         465         1                -           0.0000          -
2454.87/2463.46	c      2463          21353         464         1                -           0.0000          -
2460.25/2468.81	c      2469          21421         466         1                -           0.0000          -
2465.73/2474.31	c      2474          21483         466         1                -           0.0000          -
2471.11/2479.74	c      2480          21531         464         1                -           0.0000          -
2476.30/2484.90	c      2485          21598         467         1                -           0.0000          -
2481.68/2490.36	c      2490          21643         466         1                -           0.0000          -
2487.27/2495.96	c      2496          21697         462         1                -           0.0000          -
2492.55/2501.27	c      2501          21751         462         1                -           0.0000          -
2497.83/2506.54	c      2507          21806         465         1                -           0.0000          -
2503.21/2511.94	c      2512          21863         464         1                -           0.0000          -
2508.59/2517.36	c      2517          21946         461         1                -           0.0000          -
2513.98/2522.70	c      2523          21990         461         1                -           0.0000          -
2519.56/2528.30	c      2528          22042         459         1                -           0.0000          -
2524.94/2533.73	c      2534          22090         457         1                -           0.0000          -
2530.52/2539.34	c      2539          22138         457         1                -           0.0000          -
2536.10/2544.90	c      2545          22177         458         1                -           0.0000          -
2541.29/2550.11	c      2550          22233         454         1                -           0.0000          -
2546.67/2555.52	c      2556          22282         455         1                -           0.0000          -
2552.35/2561.27	c      2561          22330         455         1                -           0.0000          -
2558.03/2566.92	c      2567          22394         453         1                -           0.0000          -
2563.52/2572.45	c      2572          22447         456         1                -           0.0000          -
2568.70/2577.61	c      2578          22515         456         1                -           0.0000          -
2573.98/2582.94	c      2583          22573         451         1                -           0.0000          -
2579.27/2588.29	c      2588          22666         456         1                -           0.0000          -
2584.55/2593.52	c      2594          22768         453         1                -           0.0000          -
2590.23/2599.29	c      2599          22813         458         1                -           0.0000          -
2595.41/2604.45	c      2604          22876         455         1                -           0.0000          -
2600.70/2609.75	c      2610          22930         450         1                -           0.0000          -
2605.98/2615.04	c      2615          23009         457         1                -           0.0000          -
2611.16/2620.22	c      2620          23103         457         1                -           0.0000          -
2616.35/2625.47	c      2625          23183         457         1                -           0.0000          -
2621.64/2630.77	c      2631          23291         456         1                -           0.0000          -
2626.82/2635.95	c      2636          23385         456         1                -           0.0000          -
2632.10/2641.28	c      2641          23466         457         1                -           0.0000          -
2637.49/2646.62	c      2647          23529         456         1                -           0.0000          -
2642.77/2651.95	c      2652          23598         455         1                -           0.0000          -
2648.35/2657.50	c      2658          23657         454         1                -           0.0000          -
2654.13/2663.36	c      2663          23733         456         1                -           0.0000          -
2659.32/2668.54	c      2669          23800         455         1                -           0.0000          -
2664.60/2673.80	c      2674          23853         452         1                -           0.0000          -
2670.08/2679.32	c      2679          23922         453         1                -           0.0000          -
2675.46/2684.72	c      2685          23998         453         1                -           0.0000          -
2680.75/2690.00	c      2690          24051         456         1                -           0.0000          -
2686.13/2695.48	c      2695          24116         455         1                -           0.0000          -
2691.71/2701.01	c      2701          24163         456         1                -           0.0000          -
2697.39/2706.76	c      2707          24245         456         1                -           0.0000          -
2702.57/2711.97	c      2712          24305         456         1                -           0.0000          -
2707.85/2717.27	c      2717          24360         457         1                -           0.0000          -
2713.14/2722.53	c      2723          24430         457         1                -           0.0000          -
2718.92/2728.33	c      2728          24474         459         1                -           0.0000          -
2724.21/2733.64	c      2734          24519         456         1                -           0.0000          -
2729.59/2739.04	c      2739          24557         460         1                -           0.0000          -
2735.07/2744.52	c      2745          24594         456         1                -           0.0000          -
2740.45/2749.97	c      2750          24643         463         1                -           0.0000          -
2745.94/2755.49	c      2756          24692         461         1                -           0.0000          -
2751.42/2760.95	c      2761          24739         458         1                -           0.0000          -
2756.70/2766.28	c      2766          24791         458         1                -           0.0000          -
2762.38/2771.96	c      2772          24831         458         1                -           0.0000          -
2768.16/2777.76	c      2778          24874         457         1                -           0.0000          -
2773.45/2783.07	c      2783          24926         459         1                -           0.0000          -
2778.93/2788.53	c      2789          24975         456         1                -           0.0000          -
2784.41/2794.00	c      2794          25022         459         1                -           0.0000          -
2789.99/2799.67	c      2800          25064         459         1                -           0.0000          -
2795.48/2805.13	c      2805          25121         460         1                -           0.0000          -
2800.96/2810.63	c      2811          25178         457         1                -           0.0000          -
2812.23/2821.92	c      2822          25209         454         1                -           0.0000          -
2817.42/2827.18	c      2827          25264         453         1                -           0.0000          -
2822.79/2832.54	c      2833          25314         452         1                -           0.0000          -
2828.18/2837.92	c      2838          25361         458         1                -           0.0000          -
2833.46/2843.25	c      2843          25414         461         1                -           0.0000          -
2838.74/2848.57	c      2849          25468         461         1                -           0.0000          -
2844.13/2853.94	c      2854          25533         462         1                -           0.0000          -
2849.31/2859.17	c      2859          25582         462         1                -           0.0000          -
2854.59/2864.43	c      2864          25644         463         1                -           0.0000          -
2859.97/2869.82	c      2870          25704         467         1                -           0.0000          -
2865.16/2875.03	c      2875          25775         466         1                -           0.0000          -
2870.44/2880.34	c      2880          25838         465         1                -           0.0000          -
2875.62/2885.55	c      2886          25895         466         1                -           0.0000          -
2881.11/2891.00	c      2891          25945         464         1                -           0.0000          -
2886.29/2896.26	c      2896          26001         460         1                -           0.0000          -
2891.67/2901.64	c      2902          26060         459         1                -           0.0000          -
2897.16/2907.14	c      2907          26116         461         1                -           0.0000          -
2902.54/2912.55	c      2913          26163         458         1                -           0.0000          -
2908.02/2918.03	c      2918          26216         459         1                -           0.0000          -
2913.30/2923.32	c      2923          26272         459         1                -           0.0000          -
2918.79/2928.82	c      2929          26318         465         1                -           0.0000          -
2924.27/2934.30	c      2934          26369         462         1                -           0.0000          -
2929.45/2939.52	c      2940          26421         456         1                -           0.0000          -
2934.64/2944.77	c      2945          26509         463         1                -           0.0000          -
2940.02/2950.15	c      2950          26583         465         1                -           0.0000          -
2945.10/2955.24	c      2955          26646         460         1                -           0.0000          -
2950.49/2960.61	c      2961          26699         463         1                -           0.0000          -
2956.08/2966.22	c      2966          26752         464         1                -           0.0000          -
2961.46/2971.62	c      2972          26809         462         1                -           0.0000          -
2966.95/2977.19	c      2977          26858         463         1                -           0.0000          -
2972.62/2982.89	c      2983          26906         467         1                -           0.0000          -
2977.91/2988.17	c      2988          26952         465         1                -           0.0000          -
2983.38/2993.63	c      2994          27019         464         1                -           0.0000          -
2988.97/2999.26	c      2999          27072         463         1                -           0.0000          -
2994.35/3004.65	c      3005          27117         464         1                -           0.0000          -
2999.93/3010.21	c      3010          27174         465         1                -           0.0000          -
3005.11/3015.41	c      3015          27231         462         1                -           0.0000          -
3010.70/3021.09	c      3021          27300         458         1                -           0.0000          -
3016.18/3026.50	c      3026          27362         456         1                -           0.0000          -
3021.67/3032.09	c      3032          27414         454         1                -           0.0000          -
3027.04/3037.46	c      3037          27450         456         1                -           0.0000          -
3032.43/3042.80	c      3043          27500         456         1                -           0.0000          -
3037.71/3048.12	c      3048          27554         458         1                -           0.0000          -
3042.99/3053.46	c      3053          27615         458         1                -           0.0000          -
3048.58/3059.04	c      3059          27668         457         1                -           0.0000          -
3054.36/3064.85	c      3065          27730         457         1                -           0.0000          -
3059.75/3070.26	c      3070          27796         457         1                -           0.0000          -
3065.43/3075.95	c      3076          27848         455         1                -           0.0000          -
3070.81/3081.33	c      3081          27920         454         1                -           0.0000          -
3076.29/3086.83	c      3087          27963         453         1                -           0.0000          -
3081.48/3092.10	c      3092          28016         454         1                -           0.0000          -
3086.86/3097.43	c      3097          28049         456         1                -           0.0000          -
3092.64/3103.20	c      3103          28111         460         1                -           0.0000          -
3098.62/3109.27	c      3109          28144         461         1                -           0.0000          -
3104.30/3114.93	c      3115          28192         463         1                -           0.0000          -
3109.68/3120.35	c      3120          28233         466         1                -           0.0000          -
3115.47/3126.17	c      3126          28293         472         1                -           0.0000          -
3120.85/3131.57	c      3132          28331         476         1                -           0.0000          -
3126.23/3136.93	c      3137          28397         470         1                -           0.0000          -
3131.71/3142.42	c      3142          28449         472         1                -           0.0000          -
3136.99/3147.75	c      3148          28508         473         1                -           0.0000          -
3142.18/3152.97	c      3153          28575         475         1                -           0.0000          -
3147.76/3158.50	c      3159          28649         473         1                -           0.0000          -
3153.35/3164.15	c      3164          28698         468         1                -           0.0000          -
3158.62/3169.45	c      3169          28752         468         1                -           0.0000          -
3164.21/3175.03	c      3175          28782         470         1                -           0.0000          -
3169.59/3180.43	c      3180          28836         469         1                -           0.0000          -
3175.07/3185.90	c      3186          28890         467         1                -           0.0000          -
3180.95/3191.84	c      3192          28942         469         1                -           0.0000          -
3186.43/3197.37	c      3197          28995         468         1                -           0.0000          -
3191.62/3202.59	c      3203          29044         469         1                -           0.0000          -
3197.00/3207.96	c      3208          29109         468         1                -           0.0000          -
3202.58/3213.57	c      3214          29145         466         1                -           0.0000          -
3208.17/3219.19	c      3219          29204         467         1                -           0.0000          -
3213.45/3224.44	c      3224          29282         467         1                -           0.0000          -
3218.74/3229.79	c      3230          29361         468         1                -           0.0000          -
3224.13/3235.12	c      3235          29433         470         1                -           0.0000          -
3229.41/3240.40	c      3240          29509         468         1                -           0.0000          -
3234.59/3245.68	c      3246          29602         467         1                -           0.0000          -
3239.88/3250.94	c      3251          29669         466         1                -           0.0000          -
3245.26/3256.36	c      3256          29722         468         1                -           0.0000          -
3250.84/3261.91	c      3262          29779         465         1                -           0.0000          -
3256.22/3267.34	c      3267          29840         469         1                -           0.0000          -
3261.80/3272.96	c      3273          29888         467         1                -           0.0000          -
3267.38/3278.50	c      3278          29946         465         1                -           0.0000          -
3272.77/3283.93	c      3284          29995         462         1                -           0.0000          -
3278.25/3289.49	c      3289          30039         466         1                -           0.0000          -
3284.03/3295.22	c      3295          30082         463         1                -           0.0000          -
3289.51/3300.76	c      3301          30124         463         1                -           0.0000          -
3294.91/3306.11	c      3306          30183         464         1                -           0.0000          -
3300.18/3311.46	c      3311          30230         461         1                -           0.0000          -
3305.77/3317.05	c      3317          30286         463         1                -           0.0000          -
3311.05/3322.34	c      3322          30334         463         1                -           0.0000          -
3316.53/3327.82	c      3328          30390         461         1                -           0.0000          -
3321.82/3333.19	c      3333          30437         460         1                -           0.0000          -
3327.40/3338.70	c      3339          30478         457         1                -           0.0000          -
3333.18/3344.57	c      3345          30580         461         1                -           0.0000          -
3338.77/3350.11	c      3350          30628         460         1                -           0.0000          -
3344.34/3355.72	c      3356          30682         458         1                -           0.0000          -
3349.43/3360.85	c      3361          30746         460         1                -           0.0000          -
3354.62/3366.09	c      3366          30816         463         1                -           0.0000          -
3359.70/3371.12	c      3371          30850         463         1                -           0.0000          -
3365.58/3377.09	c      3377          30884         469         1                -           0.0000          -
3370.76/3382.28	c      3382          30949         466         1                -           0.0000          -
3376.04/3387.50	c      3388          31016         467         1                -           0.0000          -
3381.53/3393.01	c      3393          31074         467         1                -           0.0000          -
3387.11/3398.69	c      3399          31127         472         1                -           0.0000          -
3392.49/3404.02	c      3404          31186         471         1                -           0.0000          -
3397.67/3409.22	c      3409          31260         471         1                -           0.0000          -
3402.85/3414.42	c      3414          31336         473         1                -           0.0000          -
3408.44/3420.03	c      3420          31412         469         1                -           0.0000          -
3413.62/3425.24	c      3425          31468         470         1                -           0.0000          -
3418.80/3430.46	c      3430          31543         471         1                -           0.0000          -
3424.08/3435.74	c      3436          31632         470         1                -           0.0000          -
3429.17/3440.87	c      3441          31722         468         1                -           0.0000          -
3434.46/3446.14	c      3446          31800         470         1                -           0.0000          -
3439.93/3451.63	c      3452          31859         467         1                -           0.0000          -
3445.22/3456.98	c      3457          31938         466         1                -           0.0000          -
3450.91/3462.66	c      3463          32008         465         1                -           0.0000          -
3456.19/3467.98	c      3468          32089         469         1                -           0.0000          -
3461.67/3473.43	c      3473          32159         470         1                -           0.0000          -
3467.15/3478.94	c      3479          32215         468         1                -           0.0000          -
3472.44/3484.21	c      3484          32278         466         1                -           0.0000          -
3477.72/3489.52	c      3490          32337         472         1                -           0.0000          -
3483.00/3494.88	c      3495          32401         469         1                -           0.0000          -
3488.39/3500.28	c      3500          32465         471         1                -           0.0000          -
3493.87/3505.70	c      3506          32512         472         1                -           0.0000          -
3499.15/3511.08	c      3511          32571         475         1                -           0.0000          -
3504.63/3516.51	c      3517          32622         470         1                -           0.0000          -
3509.91/3521.84	c      3522          32681         471         1                -           0.0000          -
3515.70/3527.62	c      3528          32731         469         1                -           0.0000          -
3521.08/3533.08	c      3533          32795         475         1                -           0.0000          -
3526.66/3538.61	c      3539          32855         471         1                -           0.0000          -
3531.94/3543.98	c      3544          32900         471         1                -           0.0000          -
3537.34/3549.30	c      3549          32969         470         1                -           0.0000          -
3542.82/3554.82	c      3555          33041         472         1                -           0.0000          -
3547.90/3559.94	c      3560          33162         473         1                -           0.0000          -
3552.99/3565.09	c      3565          33262         473         1                -           0.0000          -
3558.27/3570.33	c      3570          33343         472         1                -           0.0000          -
3563.65/3575.70	c      3576          33410         473         1                -           0.0000          -
3568.83/3580.94	c      3581          33471         476         1                -           0.0000          -
3574.32/3586.42	c      3586          33540         475         1                -           0.0000          -
3579.60/3591.76	c      3592          33629         474         1                -           0.0000          -
3584.99/3597.11	c      3597          33714         473         1                -           0.0000          -
3587.88/3600.03	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.88/3600.03	c Total Time         : 3600.0400
3587.88/3600.03	c   solving          : 3600.0400
3587.88/3600.03	c   presolving       : 3.2097 (included in solving)
3587.88/3600.03	c B&B Tree           :
3587.88/3600.03	c   nodes (total)    : 1
3587.88/3600.03	c Solution           :
3587.88/3600.03	c   Solutions found  : 0
3587.88/3600.03	c   Primal Bound     :          -
3587.88/3600.03	c   Dual Bound       : +0.00000000000000e+00
3587.88/3600.03	c Gap                :          -
3587.88/3600.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: 63931 MiB (61645 MiB free)
  memory of node 1: 64510 MiB (61022 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125575220/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=45740 memory=34732 CPUtime=0.09 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 4194304 6726 0 0 0 8 1 0 0 20 0 1 0 187105309 46837760 8683 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 11435 8683 2638 3032 0 7835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45740 KiB
Current children cumulated memory: 34732 KiB

[startup+0.204678 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125555552/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=49564 memory=38764 CPUtime=0.2 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 4194304 7857 0 0 0 19 1 0 0 20 0 1 0 187105309 50753536 9691 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 12391 9691 2718 3032 0 8791 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49564 KiB
Current children cumulated memory: 38764 KiB

[startup+0.305493 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125524616/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=60312 memory=47868 CPUtime=0.3 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 4194304 10227 0 0 0 28 2 0 0 20 0 1 0 187105309 61759488 11967 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 15078 11967 2734 3032 0 11478 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60312 KiB
Current children cumulated memory: 47868 KiB

[startup+0.700228 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125522532/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=60312 memory=48132 CPUtime=0.69 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 4194304 10232 0 0 0 67 2 0 0 20 0 1 0 187105309 61759488 12033 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 15078 12033 2734 3032 0 11478 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60312 KiB
Current children cumulated memory: 48132 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125515004/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=61896 memory=49452 CPUtime=1.49 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 4194304 10611 0 0 0 147 2 0 0 20 0 1 0 187105309 63381504 12363 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 15474 12363 2734 3032 0 11874 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 49452 KiB

[startup+3.10551 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1004874
/proc/meminfo: memFree=125402168/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=61896 memory=49452 CPUtime=3.09 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 4194304 10620 0 0 0 307 2 0 0 20 0 1 0 187105309 63381504 12363 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 15474 12363 2734 3032 0 11874 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 49452 KiB

[startup+6.30096 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1004878
/proc/meminfo: memFree=125230052/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=188072 memory=118648 CPUtime=6.25 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 32861 0 0 0 621 4 0 0 20 0 3 0 187105309 192585728 29662 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 47018 29662 2910 3032 0 36589 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=188072 memory=14833 CPUtime=3.02 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 16232 0 0 0 301 1 0 0 20 0 3 0 187105633 192585728 29662 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=188072 memory=11588 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187105635 192585728 29662 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 188072 KiB
Current children cumulated memory: 118648 KiB

[startup+12.701 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1004879
/proc/meminfo: memFree=125153292/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=188072 memory=119196 CPUtime=12.6 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 37807 0 0 0 1256 4 0 0 20 0 3 0 187105309 192585728 29799 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 47018 29799 2926 3032 0 36642 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=188072 memory=119016 CPUtime=9.37 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 21166 0 0 0 936 1 0 0 20 0 3 0 187105633 192585728 29799 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=188072 memory=119016 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 187105635 192585728 29799 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 188072 KiB
Current children cumulated memory: 119196 KiB

[startup+25.501 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 1004881
/proc/meminfo: memFree=125067972/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=255204 memory=161184 CPUtime=25.3 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 78669 0 0 0 2522 8 0 0 20 0 3 0 187105309 261328896 40296 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 63801 40296 2942 3032 0 47483 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=255204 memory=161184 CPUtime=22.06 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 62017 0 0 0 2201 5 0 0 20 0 3 0 187105633 261328896 40296 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=255204 memory=161184 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 187105635 261328896 40296 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 255204 KiB
Current children cumulated memory: 161184 KiB

[startup+51.106 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1004884
/proc/meminfo: memFree=125053640/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=255204 memory=162736 CPUtime=50.69 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 116782 0 0 0 5057 12 0 0 20 0 3 0 187105309 261328896 40684 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 63801 40684 2990 3032 0 50050 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=255204 memory=11588 CPUtime=47.46 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 100051 0 0 0 4737 9 0 0 20 0 3 0 187105633 261328896 40684 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=255204 memory=163572 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 187105635 261328896 40684 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 255204 KiB
Current children cumulated memory: 162736 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1004897
/proc/meminfo: memFree=125028316/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=255204 memory=172364 CPUtime=101.68 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 163530 0 0 0 10152 16 0 0 20 0 3 0 187105309 261328896 43091 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 63801 43091 2990 3032 0 50050 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=255204 memory=11588 CPUtime=98.45 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 146687 0 0 0 9832 13 0 0 20 0 3 0 187105633 261328896 43091 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=255204 memory=168448 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 187105635 261328896 43091 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 255204 KiB
Current children cumulated memory: 172364 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 1004907
/proc/meminfo: memFree=124980636/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=253608 memory=188504 CPUtime=161.49 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 218618 0 0 0 16127 22 0 0 20 0 3 0 187105309 259694592 47126 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 63402 47126 2990 3032 0 55440 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=253608 memory=177044 CPUtime=158.26 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 201694 0 0 0 15807 19 0 0 20 0 3 0 187105633 259694592 47126 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=253608 memory=193396 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 187105635 259694592 47126 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 253608 KiB
Current children cumulated memory: 188504 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 1004921
/proc/meminfo: memFree=124962852/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=253608 memory=192132 CPUtime=221.3 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 235173 0 0 0 22107 23 0 0 20 0 3 0 187105309 259694592 48033 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 63402 48033 2990 3032 0 55878 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=253608 memory=44076 CPUtime=218.06 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 218189 0 0 0 21786 20 0 0 20 0 3 0 187105633 259694592 48033 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=253608 memory=44076 CPUtime=0 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 187105635 259694592 48033 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 253608 KiB
Current children cumulated memory: 192132 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1004980
/proc/meminfo: memFree=124955856/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=253608 memory=193912 CPUtime=281.1 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 252029 0 0 0 28085 25 0 0 20 0 3 0 187105309 259694592 48478 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 63402 48478 2990 3032 0 55878 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=253608 memory=192960 CPUtime=277.86 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 235014 0 0 0 27764 22 0 0 20 0 3 0 187105633 259694592 48478 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0

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

/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=269596 CPUtime=3387.38 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 350466 0 0 0 338689 49 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=44076 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 183 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 1006743
/proc/meminfo: memFree=124665120/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3450.61 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 370115 0 0 0 345003 58 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=44076 CPUtime=3447.19 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 351834 0 0 0 344669 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=269596 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 187 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1006753
/proc/meminfo: memFree=124665200/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3510.41 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 371485 0 0 0 350983 58 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=44192 CPUtime=3506.99 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 353167 0 0 0 350649 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=5536 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 191 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664884/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3570.23 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 372914 0 0 0 356964 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=269596 CPUtime=3566.8 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 354556 0 0 0 356630 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=269596 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 195 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

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

# cumulated CPU time of all completed processes:  user=3587.34 s, system=0.597476 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664916/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3571.93 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 372914 0 0 0 357134 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=-6736118154344238184 CPUtime=3568.5 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 354556 0 0 0 356800 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=1469371330315518081 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 195 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664944/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3578.3 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 372932 0 0 0 357771 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=44192 CPUtime=3574.87 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 354574 0 0 0 357437 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=269596 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 195 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3578.3 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1006764
/proc/meminfo: memFree=124664872/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3584.68 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 373598 0 0 0 358409 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=269596 CPUtime=3581.25 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 355228 0 0 0 358075 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=269596 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 197 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3598.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664848/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3586.28 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 373610 0 0 0 358569 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=269596 CPUtime=3582.85 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 355232 0 0 0 358235 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=12508 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 197 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3599.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664892/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3587.07 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 373611 0 0 0 358648 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=16112 CPUtime=3583.64 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 355233 0 0 0 358314 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=2340 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 197 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3599.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664892/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3587.47 cores=0,2
/proc/1004867/stat : 1004867 (fscip) S 1004864 1004867 1000725 0 -1 1077936128 373611 0 0 0 358688 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=-6808175748331900264 CPUtime=3584.04 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 355233 0 0 0 358354 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=8064 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 197 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

[startup+3600 s]*
/proc/loadavg: 4.07 4.10 4.09 6/261 1006764
/proc/meminfo: memFree=124687980/131524600 swapFree=131071996/131071996
[pid=1004867] ppid=1004864 vsize=319144 memory=269596 CPUtime=3587.88 cores=0,2
/proc/1004867/stat : 1004867 (fscip) R 1004864 1004867 1000725 0 -1 1077936128 373614 0 0 0 358729 59 0 0 20 0 3 0 187105309 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
/proc/1004867/statm: 79786 67399 2990 3032 0 70103 0
[pid=1004867/tid=1004875] ppid=1004864 vsize=319144 memory=-6736118154344238184 CPUtime=3584.45 cores=0,2
/proc/1004867/task/1004875/stat : 1004875 (fscip) R 1004864 1004867 1000725 0 -1 4194368 355237 0 0 0 358395 50 0 0 20 0 3 0 187105633 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
[pid=1004867/tid=1004876] ppid=1004864 vsize=319144 memory=1469371330315518081 CPUtime=0.02 cores=0,2
/proc/1004867/task/1004876/stat : 1004876 (fscip) S 1004864 1004867 1000725 0 -1 1077936192 197 0 0 0 1 1 0 0 20 0 3 0 187105635 326803456 67399 134679101440 4194304 16613245 140727588664832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31764480 140727588672531 140727588672647 140727588672647 140727588679664 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 319144 KiB
Current children cumulated memory: 269596 KiB

Child status: 0

Real time (s): 3600.05
CPU time (s): 3587.94
CPU user time (s): 3587.34
CPU system time (s): 0.597476
CPU usage (%): 99.6634
Max. virtual memory (cumulated for all children) (KiB): 319144
Max. memory (cumulated for all children) (KiB): 269596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.34
system time used= 0.597476
maximum resident set size= 269596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374744
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= 10029
involuntary context switches= 25466


# summary of solver processes directly reported to runsolver:
#   pid: 1004867
#   total CPU time (s): 3587.94
#   total CPU user time (s): 3587.34
#   total CPU system time (s): 0.597476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04486 second user time and 14.4155 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-19 02:36:32
IDJOB=4447310
IDBENCH=158382
IDSOLVER=3064
FILE ID=nodeC029/4447310-1721349379
RUNJOBID= nodeC029-1721342191-1000735
SLURM_JOB_ID= 7542739
Free space on /tmp= 889988 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.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-4447310-1721349379/watcher-4447310-1721349379 -o /tmp/evaluation-result-4447310-1721349379/solver-4447310-1721349379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000735 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4447310-1721349379.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e64e621864ff5f0b0d30a15b78ec6db8
RANDOM SEED=2111051887

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125633896 kB
MemAvailable:   129636616 kB
Buffers:          501200 kB
Cached:          4292848 kB
SwapCached:            0 kB
Active:           961400 kB
Inactive:        4215568 kB
Active(anon):       1392 kB
Inactive(anon):   419240 kB
Active(file):     960008 kB
Inactive(file):  3796328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113408 kB
Writeback:            24 kB
AnonPages:        383296 kB
Mapped:           131688 kB
Shmem:             37720 kB
KReclaimable:     172060 kB
Slab:             293412 kB
SReclaimable:     172060 kB
SUnreclaim:       121352 kB
KernelStack:        4024 kB
PageTables:         9660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     807164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 03:36:32