Trace number 4447340

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? 3590.48 3600.04

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K68.opb
MD5SUM903b294a72b72fbd6778e100307d5973
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 benchmark11.813
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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 = 39706624, getVmSize() = 39706624, SCIPgetMemUsed() = 13899811, SCIPgetMemTotal() = 17711115, SCIPgetMemExternEstim() = 7291346
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.78/2.83	c ** Estimated virtualMemUsedAtSolver = 46411735, getVmSize() = 86384640, SCIPgetMemUsed() = 42349961, SCIPgetMemTotal() = 62326257, SCIPgetMemExternEstim() = 7291346
2.78/2.83	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.78/2.83	c Original Problem   :
2.78/2.83	c   Problem name     : instance-4447340-1721349650
2.78/2.83	c   Variables        : 3740 (3740 binary, 0 integer, 0 implicit integer, 0 continuous)
2.78/2.83	c   Constraints      : 3878
2.78/2.83	c   Objective sense  : minimize
2.78/2.83	c Presolved Problem  :
2.78/2.83	c   Variables        : 2940 (2940 binary, 0 integer, 0 implicit integer, 0 continuous)
2.78/2.83	c   Constraints      : 3055
2.78/2.83	c Constraints        : Number
2.78/2.83	c   setppc           : 628 
2.78/2.83	c   logicor          : 2427 
2.78/2.83	c ** Instance transfer method used: 0
2.78/2.84	c ** ParaScipInstance copy does not increase the number of variables. **
2.78/2.85	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.78/2.85	c                                Nodes    Active                                            
2.78/2.85	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
28.61/28.73	c        29              2           1         1                -           0.0000          -
33.90/34.04	c        34             18          17         1                -           0.0000          -
39.49/39.66	c        40             47          24         1                -           0.0000          -
44.77/44.98	c        45             88          31         1                -           0.0000          -
50.56/50.70	c        51            146          27         1                -           0.0000          -
55.95/56.18	c        56            156          29         1                -           0.0000          -
61.22/61.48	c        61            222          31         1                -           0.0000          -
66.91/67.17	c        67            254          37         1                -           0.0000          -
72.20/72.45	c        72            313          36         1                -           0.0000          -
77.59/77.87	c        78            373          36         1                -           0.0000          -
82.87/83.19	c        83            444          35         1                -           0.0000          -
88.45/88.75	c        89            509          34         1                -           0.0000          -
94.24/94.57	c        95            538          39         1                -           0.0000          -
99.73/100.08	c       100            586          45         1                -           0.0000          -
105.61/105.91	c       106            632          37         1                -           0.0000          -
110.99/111.33	c       111            695          34         1                -           0.0000          -
117.08/117.44	c       117            745          40         1                -           0.0000          -
122.17/122.58	c       123            813          40         1                -           0.0000          -
128.05/128.43	c       128            873          40         1                -           0.0000          -
133.74/134.17	c       134            935          42         1                -           0.0000          -
139.32/139.75	c       140            986          39         1                -           0.0000          -
144.50/144.99	c       145           1032          39         1                -           0.0000          -
161.56/162.05	c       162           1051           1         1                -           0.0000          -
167.34/167.84	c       168           1075          17         1                -           0.0000          -
172.83/173.39	c       173           1118          16         1                -           0.0000          -
178.62/179.15	c       179           1158          18         1                -           0.0000          -
184.50/185.10	c       185           1193          31         1                -           0.0000          -
190.68/191.26	c       191           1221          35         1                -           0.0000          -
195.87/196.46	c       196           1245          43         1                -           0.0000          -
200.85/201.49	c       201           1290          48         1                -           0.0000          -
206.44/207.09	c       207           1311          51         1                -           0.0000          -
212.22/212.87	c       213           1324          54         1                -           0.0000          -
217.51/218.16	c       218           1357          57         1                -           0.0000          -
223.19/223.84	c       224           1412          52         1                -           0.0000          -
228.68/229.33	c       229           1449          47         1                -           0.0000          -
234.47/235.14	c       235           1488          44         1                -           0.0000          -
239.47/240.16	c       240           1507          43         1                -           0.0000          -
245.05/245.78	c       246           1528          42         1                -           0.0000          -
251.34/252.05	c       252           1561          41         1                -           0.0000          -
257.01/257.79	c       258           1590          42         1                -           0.0000          -
263.10/263.82	c       264           1623          41         1                -           0.0000          -
268.68/269.47	c       269           1658          42         1                -           0.0000          -
274.27/275.08	c       275           1697          41         1                -           0.0000          -
279.85/280.62	c       281           1733          41         1                -           0.0000          -
285.34/286.14	c       286           1759          41         1                -           0.0000          -
291.13/291.90	c       292           1798          42         1                -           0.0000          -
296.91/297.79	c       298           1828          44         1                -           0.0000          -
302.90/303.79	c       304           1871          49         1                -           0.0000          -
308.48/309.31	c       309           1911          49         1                -           0.0000          -
314.07/314.97	c       315           1949          49         1                -           0.0000          -
319.45/320.31	c       320           2004          54         1                -           0.0000          -
324.64/325.51	c       326           2066          54         1                -           0.0000          -
329.93/330.82	c       331           2132          60         1                -           0.0000          -
335.31/336.22	c       336           2201          57         1                -           0.0000          -
340.50/341.48	c       341           2264          55         1                -           0.0000          -
346.09/347.06	c       347           2314          57         1                -           0.0000          -
351.57/352.52	c       353           2376          55         1                -           0.0000          -
356.86/357.83	c       358           2432          53         1                -           0.0000          -
362.15/363.14	c       363           2485          56         1                -           0.0000          -
367.53/368.50	c       368           2541          58         1                -           0.0000          -
372.82/373.87	c       374           2593          58         1                -           0.0000          -
378.01/379.08	c       379           2646          59         1                -           0.0000          -
383.30/384.34	c       384           2711          54         1                -           0.0000          -
389.18/390.29	c       390           2748          51         1                -           0.0000          -
395.17/396.28	c       396           2777          54         1                -           0.0000          -
400.75/401.82	c       402           2829          56         1                -           0.0000          -
406.84/407.90	c       408           2881          64         1                -           0.0000          -
412.12/413.25	c       413           2933          64         1                -           0.0000          -
417.71/418.87	c       419           2987          60         1                -           0.0000          -
422.90/424.01	c       424           3037          58         1                -           0.0000          -
428.78/429.94	c       430           3072          59         1                -           0.0000          -
434.26/435.47	c       435           3117          60         1                -           0.0000          -
439.65/440.87	c       441           3166          59         1                -           0.0000          -
445.64/446.84	c       447           3207          58         1                -           0.0000          -
451.22/452.44	c       452           3252          57         1                -           0.0000          -
457.11/458.36	c       458           3298          59         1                -           0.0000          -
463.09/464.38	c       464           3329          58         1                -           0.0000          -
469.07/470.34	c       470           3362          54         1                -           0.0000          -
474.96/476.24	c       476           3403          54         1                -           0.0000          -
480.64/481.91	c       482           3449          55         1                -           0.0000          -
486.23/487.56	c       488           3495          53         1                -           0.0000          -
491.52/492.80	c       493           3531          51         1                -           0.0000          -
498.00/499.39	c       499           3573          57         1                -           0.0000          -
503.58/504.98	c       505           3611          57         1                -           0.0000          -
508.97/510.36	c       510           3664          58         1                -           0.0000          -
514.56/515.95	c       516           3709          57         1                -           0.0000          -
519.84/521.23	c       521           3752          56         1                -           0.0000          -
525.54/526.90	c       527           3790          56         1                -           0.0000          -
530.82/532.22	c       532           3846          60         1                -           0.0000          -
536.21/537.64	c       538           3905          65         1                -           0.0000          -
541.40/542.88	c       543           3949          63         1                -           0.0000          -
546.88/548.38	c       548           4014          62         1                -           0.0000          -
552.37/553.86	c       554           4069          61         1                -           0.0000          -
557.95/559.43	c       559           4130          66         1                -           0.0000          -
563.14/564.64	c       565           4197          63         1                -           0.0000          -
568.72/570.21	c       570           4252          64         1                -           0.0000          -
574.31/575.85	c       576           4312          61         1                -           0.0000          -
579.60/581.16	c       581           4373          60         1                -           0.0000          -
584.98/586.53	c       587           4420          59         1                -           0.0000          -
590.36/591.93	c       592           4472          61         1                -           0.0000          -
595.75/597.36	c       597           4527          60         1                -           0.0000          -
601.43/603.07	c       603           4570          61         1                -           0.0000          -
607.31/608.99	c       609           4616          67         1                -           0.0000          -
612.79/614.44	c       614           4662          62         1                -           0.0000          -
618.08/619.75	c       620           4705          63         1                -           0.0000          -
623.66/625.35	c       625           4745          61         1                -           0.0000          -
629.45/631.17	c       631           4784          60         1                -           0.0000          -
634.93/636.62	c       637           4822          60         1                -           0.0000          -
640.71/642.49	c       642           4874          58         1                -           0.0000          -
646.19/647.97	c       648           4917          61         1                -           0.0000          -
651.77/653.54	c       654           4966          62         1                -           0.0000          -
657.15/658.97	c       659           5026          66         1                -           0.0000          -
662.54/664.31	c       664           5086          64         1                -           0.0000          -
667.92/669.70	c       670           5135          65         1                -           0.0000          -
673.31/675.14	c       675           5183          63         1                -           0.0000          -
678.80/680.66	c       681           5217          61         1                -           0.0000          -
684.48/686.38	c       686           5264          60         1                -           0.0000          -
689.87/691.78	c       692           5310          62         1                -           0.0000          -
696.05/697.92	c       698           5358          64         1                -           0.0000          -
701.44/703.35	c       703           5417          64         1                -           0.0000          -
707.82/709.73	c       710           5447          64         1                -           0.0000          -
713.01/714.99	c       715           5473          64         1                -           0.0000          -
718.69/720.60	c       721           5517          70         1                -           0.0000          -
724.18/726.14	c       726           5560          73         1                -           0.0000          -
729.56/731.59	c       732           5603          68         1                -           0.0000          -
735.06/737.01	c       737           5661          69         1                -           0.0000          -
740.14/742.15	c       742           5713          67         1                -           0.0000          -
745.72/747.75	c       748           5772          66         1                -           0.0000          -
751.11/753.13	c       753           5823          67         1                -           0.0000          -
756.48/758.51	c       759           5876          64         1                -           0.0000          -
761.97/764.00	c       764           5927          61         1                -           0.0000          -
767.65/769.80	c       770           5981          63         1                -           0.0000          -
773.23/775.30	c       775           6018          66         1                -           0.0000          -
778.52/780.67	c       781           6059          67         1                -           0.0000          -
783.90/786.01	c       786           6102          66         1                -           0.0000          -
788.99/791.18	c       791           6157          67         1                -           0.0000          -
794.46/796.63	c       797           6206          68         1                -           0.0000          -
799.85/802.06	c       802           6254          66         1                -           0.0000          -
805.53/807.71	c       808           6304          68         1                -           0.0000          -
810.82/813.03	c       813           6357          67         1                -           0.0000          -
816.19/818.48	c       818           6409          67         1                -           0.0000          -
821.97/824.21	c       824           6450          66         1                -           0.0000          -
827.36/829.60	c       830           6490          66         1                -           0.0000          -
832.64/834.95	c       835           6531          65         1                -           0.0000          -
838.12/840.41	c       840           6557          69         1                -           0.0000          -
843.81/846.17	c       846           6611          73         1                -           0.0000          -
849.09/851.47	c       851           6631          75         1                -           0.0000          -
854.58/856.91	c       857           6672          74         1                -           0.0000          -
859.77/862.17	c       862           6721          73         1                -           0.0000          -
865.66/868.01	c       868           6758          72         1                -           0.0000          -
871.14/873.58	c       874           6809          73         1                -           0.0000          -
876.53/878.96	c       879           6873          75         1                -           0.0000          -
882.41/884.82	c       885           6921          73         1                -           0.0000          -
888.30/890.70	c       891           6955          75         1                -           0.0000          -
894.08/896.52	c       897           7004          74         1                -           0.0000          -
899.27/901.78	c       902           7063          77         1                -           0.0000          -
904.75/907.24	c       907           7123          75         1                -           0.0000          -
910.24/912.71	c       913           7170          74         1                -           0.0000          -
915.43/917.96	c       918           7213          77         1                -           0.0000          -
920.71/923.28	c       923           7257          77         1                -           0.0000          -
926.30/928.84	c       929           7309          78         1                -           0.0000          -
931.59/934.14	c       934           7357          76         1                -           0.0000          -
937.07/939.64	c       940           7392          73         1                -           0.0000          -
942.86/945.48	c       945           7438          75         1                -           0.0000          -
948.55/951.10	c       951           7476          75         1                -           0.0000          -
954.13/956.78	c       957           7516          75         1                -           0.0000          -
959.42/962.05	c       962           7566          75         1                -           0.0000          -
965.00/967.66	c       968           7600          75         1                -           0.0000          -
970.39/973.06	c       973           7635          76         1                -           0.0000          -
976.27/978.95	c       979           7683          76         1                -           0.0000          -
981.56/984.26	c       984           7726          77         1                -           0.0000          -
987.24/989.93	c       990           7773          78         1                -           0.0000          -
992.73/995.42	c       995           7827          80         1                -           0.0000          -
998.21/1000.96	c      1001           7876          83         1                -           0.0000          -
1003.50/1006.22	c      1006           7933          82         1                -           0.0000          -
1008.99/1011.71	c      1012           7981          82         1                -           0.0000          -
1014.47/1017.23	c      1017           8050          81         1                -           0.0000          -
1019.86/1022.67	c      1023           8104          83         1                -           0.0000          -
1025.44/1028.20	c      1028           8163          78         1                -           0.0000          -
1030.93/1033.74	c      1034           8215          80         1                -           0.0000          -
1036.41/1039.24	c      1039           8273          80         1                -           0.0000          -
1041.90/1044.71	c      1045           8330          77         1                -           0.0000          -
1047.39/1050.20	c      1050           8398          77         1                -           0.0000          -
1052.37/1055.21	c      1055           8428          79         1                -           0.0000          -
1058.06/1060.94	c      1061           8466          79         1                -           0.0000          -
1063.84/1066.76	c      1067           8495          76         1                -           0.0000          -
1069.23/1072.13	c      1072           8517          78         1                -           0.0000          -
1075.02/1077.90	c      1078           8549          78         1                -           0.0000          -
1080.81/1083.78	c      1084           8585          78         1                -           0.0000          -
1086.49/1089.46	c      1089           8618          77         1                -           0.0000          -
1091.88/1094.86	c      1095           8640          77         1                -           0.0000          -
1097.66/1100.61	c      1101           8687          80         1                -           0.0000          -
1102.95/1105.99	c      1106           8737          78         1                -           0.0000          -
1109.04/1112.02	c      1112           8775          78         1                -           0.0000          -
1114.32/1117.36	c      1117           8817          80         1                -           0.0000          -
1119.91/1122.95	c      1123           8863          80         1                -           0.0000          -
1125.99/1129.09	c      1129           8914          81         1                -           0.0000          -
1131.68/1134.72	c      1135           8975          82         1                -           0.0000          -
1137.07/1140.15	c      1140           9056          83         1                -           0.0000          -
1143.05/1146.19	c      1146           9104          81         1                -           0.0000          -
1148.53/1151.69	c      1152           9158          85         1                -           0.0000          -
1154.12/1157.22	c      1157           9220          81         1                -           0.0000          -
1159.70/1162.87	c      1163           9278          81         1                -           0.0000          -
1165.38/1168.56	c      1169           9337          80         1                -           0.0000          -
1170.87/1174.02	c      1174           9367          80         1                -           0.0000          -
1176.36/1179.57	c      1180           9421          78         1                -           0.0000          -
1182.24/1185.43	c      1185           9450          81         1                -           0.0000          -
1188.42/1191.62	c      1192           9500          81         1                -           0.0000          -
1193.92/1197.17	c      1197           9544          81         1                -           0.0000          -
1199.39/1202.67	c      1203           9585          78         1                -           0.0000          -
1204.68/1207.94	c      1208           9614          79         1                -           0.0000          -
1210.37/1213.69	c      1214           9645          80         1                -           0.0000          -
1215.65/1218.97	c      1219           9683          82         1                -           0.0000          -
1221.74/1225.08	c      1225           9729          80         1                -           0.0000          -
1227.52/1230.85	c      1231           9768          79         1                -           0.0000          -
1233.01/1236.34	c      1236           9820          81         1                -           0.0000          -
1239.09/1242.41	c      1242           9861          76         1                -           0.0000          -
1244.58/1247.93	c      1248           9907          80         1                -           0.0000          -
1249.97/1253.39	c      1253           9951          78         1                -           0.0000          -
1255.65/1259.06	c      1259           9995          78         1                -           0.0000          -
1261.23/1264.60	c      1265          10026          77         1                -           0.0000          -
1267.11/1270.58	c      1271          10066          77         1                -           0.0000          -
1272.60/1276.02	c      1276          10091          76         1                -           0.0000          -
1278.37/1281.87	c      1282          10122          80         1                -           0.0000          -
1283.76/1287.26	c      1287          10170          84         1                -           0.0000          -
1289.04/1292.57	c      1293          10225          77         1                -           0.0000          -
1294.92/1298.47	c      1298          10258          76         1                -           0.0000          -
1300.90/1304.44	c      1304          10308          76         1                -           0.0000          -
1306.38/1309.98	c      1310          10349          77         1                -           0.0000          -
1311.77/1315.30	c      1315          10401          78         1                -           0.0000          -
1317.25/1320.83	c      1321          10465          74         1                -           0.0000          -
1322.73/1326.37	c      1326          10509          78         1                -           0.0000          -
1328.11/1331.71	c      1332          10573          80         1                -           0.0000          -
1333.60/1337.21	c      1337          10624          87         1                -           0.0000          -
1338.78/1342.49	c      1342          10678          87         1                -           0.0000          -
1344.56/1348.20	c      1348          10706          92         1                -           0.0000          -
1350.04/1353.73	c      1354          10739         101         1                -           0.0000          -
1355.23/1358.96	c      1359          10790         104         1                -           0.0000          -
1360.32/1364.05	c      1364          10808         112         1                -           0.0000          -
1365.90/1369.60	c      1370          10837         115         1                -           0.0000          -
1371.58/1375.36	c      1375          10883         115         1                -           0.0000          -
1377.27/1381.05	c      1381          10927         115         1                -           0.0000          -
1382.85/1386.67	c      1387          10971         119         1                -           0.0000          -
1388.44/1392.28	c      1392          11026         118         1                -           0.0000          -
1394.33/1398.17	c      1398          11091         121         1                -           0.0000          -
1399.81/1403.62	c      1404          11141         121         1                -           0.0000          -
1405.20/1409.07	c      1409          11177         119         1                -           0.0000          -
1410.68/1414.54	c      1415          11217         117         1                -           0.0000          -
1416.06/1419.90	c      1420          11265         117         1                -           0.0000          -
1421.55/1425.45	c      1425          11314         120         1                -           0.0000          -
1427.14/1431.01	c      1431          11374         122         1                -           0.0000          -
1432.72/1436.68	c      1437          11417         121         1                -           0.0000          -
1438.41/1442.34	c      1442          11462         122         1                -           0.0000          -
1443.89/1447.82	c      1448          11514         121         1                -           0.0000          -
1449.37/1453.32	c      1453          11560         117         1                -           0.0000          -
1454.95/1458.96	c      1459          11601         116         1                -           0.0000          -
1460.64/1464.65	c      1465          11639         118         1                -           0.0000          -
1466.12/1470.15	c      1470          11681         122         1                -           0.0000          -
1471.60/1475.60	c      1476          11727         124         1                -           0.0000          -
1476.99/1481.04	c      1481          11781         126         1                -           0.0000          -
1482.37/1486.40	c      1486          11826         125         1                -           0.0000          -
1487.55/1491.65	c      1492          11875         120         1                -           0.0000          -
1492.94/1497.01	c      1497          11920         119         1                -           0.0000          -
1498.41/1502.59	c      1503          11975         116         1                -           0.0000          -
1503.80/1507.95	c      1508          12012         117         1                -           0.0000          -
1509.18/1513.35	c      1513          12059         116         1                -           0.0000          -
1514.77/1518.90	c      1519          12118         120         1                -           0.0000          -
1519.96/1524.14	c      1524          12185         121         1                -           0.0000          -
1525.34/1529.53	c      1530          12257         118         1                -           0.0000          -
1530.72/1534.90	c      1535          12304         121         1                -           0.0000          -
1535.91/1540.12	c      1540          12364         123         1                -           0.0000          -
1541.19/1545.42	c      1545          12419         122         1                -           0.0000          -
1546.57/1550.84	c      1551          12470         121         1                -           0.0000          -
1551.95/1556.20	c      1556          12525         120         1                -           0.0000          -
1557.33/1561.64	c      1562          12559         122         1                -           0.0000          -
1562.72/1567.08	c      1567          12608         121         1                -           0.0000          -
1568.10/1572.45	c      1572          12651         122         1                -           0.0000          -
1573.58/1577.91	c      1578          12697         120         1                -           0.0000          -
1579.06/1583.47	c      1583          12757         120         1                -           0.0000          -
1584.55/1588.91	c      1589          12816         121         1                -           0.0000          -
1589.93/1594.34	c      1594          12863         122         1                -           0.0000          -
1595.11/1599.58	c      1600          12918         123         1                -           0.0000          -
1600.60/1605.09	c      1605          12965         124         1                -           0.0000          -
1605.88/1610.34	c      1610          13008         123         1                -           0.0000          -
1611.36/1615.89	c      1616          13053         124         1                -           0.0000          -
1617.14/1621.64	c      1622          13092         123         1                -           0.0000          -
1622.52/1627.06	c      1627          13133         122         1                -           0.0000          -
1628.10/1632.63	c      1633          13182         121         1                -           0.0000          -
1633.39/1637.99	c      1638          13217         124         1                -           0.0000          -
1639.17/1643.77	c      1644          13260         123         1                -           0.0000          -
1644.65/1649.29	c      1649          13296         123         1                -           0.0000          -
1650.13/1654.74	c      1655          13336         121         1                -           0.0000          -
1655.21/1659.89	c      1660          13370         121         1                -           0.0000          -
1660.59/1665.28	c      1665          13411         120         1                -           0.0000          -
1665.89/1670.52	c      1671          13458         119         1                -           0.0000          -
1671.27/1675.95	c      1676          13515         117         1                -           0.0000          -
1676.65/1681.31	c      1681          13561         119         1                -           0.0000          -
1682.83/1687.59	c      1688          13591         119         1                -           0.0000          -
1688.42/1693.19	c      1693          13624         120         1                -           0.0000          -
1694.09/1698.88	c      1699          13662         118         1                -           0.0000          -
1699.18/1703.94	c      1704          13694         118         1                -           0.0000          -
1704.86/1709.63	c      1710          13737         119         1                -           0.0000          -
1710.35/1715.16	c      1715          13775         119         1                -           0.0000          -
1715.72/1720.56	c      1721          13810         118         1                -           0.0000          -
1721.10/1725.99	c      1726          13859         121         1                -           0.0000          -
1726.69/1731.56	c      1732          13897         119         1                -           0.0000          -
1731.97/1736.82	c      1737          13933         119         1                -           0.0000          -
1737.55/1742.44	c      1742          13972         118         1                -           0.0000          -
1742.93/1747.80	c      1748          14046         118         1                -           0.0000          -
1748.51/1753.46	c      1753          14081         117         1                -           0.0000          -
1754.00/1758.97	c      1759          14125         117         1                -           0.0000          -
1759.38/1764.36	c      1764          14170         118         1                -           0.0000          -
1764.66/1769.66	c      1770          14193         125         1                -           0.0000          -
1770.34/1775.30	c      1775          14234         124         1                -           0.0000          -
1775.62/1780.66	c      1781          14296         126         1                -           0.0000          -
1780.91/1785.99	c      1786          14350         128         1                -           0.0000          -
1786.10/1791.16	c      1791          14404         130         1                -           0.0000          -
1792.08/1797.14	c      1797          14456         132         1                -           0.0000          -
1797.65/1802.79	c      1803          14509         129         1                -           0.0000          -
1803.44/1808.55	c      1809          14578         129         1                -           0.0000          -
1809.02/1814.16	c      1814          14632         129         1                -           0.0000          -
1814.50/1819.61	c      1820          14697         128         1                -           0.0000          -
1819.79/1824.94	c      1825          14754         130         1                -           0.0000          -
1825.27/1830.48	c      1830          14795         133         1                -           0.0000          -
1831.65/1836.88	c      1837          14838         134         1                -           0.0000          -
1836.94/1842.16	c      1842          14883         133         1                -           0.0000          -
1842.42/1847.64	c      1848          14929         133         1                -           0.0000          -
1847.41/1852.68	c      1853          14969         133         1                -           0.0000          -
1853.10/1858.30	c      1858          15012         132         1                -           0.0000          -
1858.68/1863.98	c      1864          15049         133         1                -           0.0000          -
1864.07/1869.32	c      1869          15103         133         1                -           0.0000          -
1869.45/1874.74	c      1875          15150         136         1                -           0.0000          -
1874.94/1880.21	c      1880          15202         136         1                -           0.0000          -
1880.52/1885.83	c      1886          15255         137         1                -           0.0000          -
1885.82/1891.15	c      1891          15304         138         1                -           0.0000          -
1891.20/1896.52	c      1897          15348         138         1                -           0.0000          -
1897.08/1902.41	c      1902          15395         139         1                -           0.0000          -
1902.57/1907.97	c      1908          15460         134         1                -           0.0000          -
1908.35/1913.77	c      1914          15511         133         1                -           0.0000          -
1913.94/1919.39	c      1919          15563         135         1                -           0.0000          -
1919.32/1924.78	c      1925          15605         133         1                -           0.0000          -
1924.71/1930.14	c      1930          15669         135         1                -           0.0000          -
1930.30/1935.70	c      1936          15739         134         1                -           0.0000          -
1935.78/1941.24	c      1941          15801         136         1                -           0.0000          -
1941.17/1946.68	c      1947          15845         140         1                -           0.0000          -
1947.15/1952.63	c      1953          15894         141         1                -           0.0000          -
1952.84/1958.33	c      1958          15950         139         1                -           0.0000          -
1958.72/1964.26	c      1964          15993         140         1                -           0.0000          -
1964.61/1970.17	c      1970          16037         138         1                -           0.0000          -
1970.29/1975.89	c      1976          16079         138         1                -           0.0000          -
1975.58/1981.15	c      1981          16123         136         1                -           0.0000          -
1981.87/1987.48	c      1987          16144         139         1                -           0.0000          -
1987.35/1992.98	c      1993          16191         140         1                -           0.0000          -
1993.24/1998.85	c      1999          16223         144         1                -           0.0000          -
1998.92/2004.55	c      2005          16262         139         1                -           0.0000          -
2004.41/2010.06	c      2010          16292         139         1                -           0.0000          -
2009.79/2015.47	c      2015          16345         140         1                -           0.0000          -
2015.38/2021.04	c      2021          16406         141         1                -           0.0000          -
2020.76/2026.46	c      2026          16446         141         1                -           0.0000          -
2026.25/2031.90	c      2032          16474         141         1                -           0.0000          -
2031.83/2037.57	c      2038          16521         140         1                -           0.0000          -
2037.12/2042.85	c      2043          16566         143         1                -           0.0000          -
2042.61/2048.33	c      2048          16596         143         1                -           0.0000          -
2048.40/2054.18	c      2054          16637         142         1                -           0.0000          -
2053.88/2059.65	c      2060          16697         144         1                -           0.0000          -
2059.28/2065.08	c      2065          16754         141         1                -           0.0000          -
2065.06/2070.84	c      2071          16818         140         1                -           0.0000          -
2070.84/2076.60	c      2077          16891         138         1                -           0.0000          -
2076.13/2081.90	c      2082          16939         135         1                -           0.0000          -
2081.91/2087.79	c      2088          16985         138         1                -           0.0000          -
2087.40/2093.28	c      2093          17036         135         1                -           0.0000          -
2093.08/2098.96	c      2099          17093         137         1                -           0.0000          -
2098.47/2104.31	c      2104          17145         136         1                -           0.0000          -
2104.26/2110.13	c      2110          17194         133         1                -           0.0000          -
2110.04/2115.93	c      2116          17234         134         1                -           0.0000          -
2115.32/2121.22	c      2121          17290         132         1                -           0.0000          -
2120.71/2126.64	c      2127          17331         133         1                -           0.0000          -
2126.10/2132.09	c      2132          17362         132         1                -           0.0000          -
2131.88/2137.86	c      2138          17415         134         1                -           0.0000          -
2137.67/2143.62	c      2144          17460         133         1                -           0.0000          -
2142.85/2148.85	c      2149          17512         141         1                -           0.0000          -
2148.23/2154.22	c      2154          17560         137         1                -           0.0000          -
2154.22/2160.22	c      2160          17604         135         1                -           0.0000          -
2160.21/2166.25	c      2166          17640         133         1                -           0.0000          -
2166.00/2172.09	c      2172          17688         135         1                -           0.0000          -
2171.48/2177.59	c      2178          17731         131         1                -           0.0000          -
2177.27/2183.37	c      2183          17776         136         1                -           0.0000          -
2182.86/2188.93	c      2189          17821         137         1                -           0.0000          -
2188.34/2194.43	c      2194          17869         135         1                -           0.0000          -
2193.73/2199.81	c      2200          17932         134         1                -           0.0000          -
2199.02/2205.14	c      2205          17970         138         1                -           0.0000          -
2204.50/2210.66	c      2211          17998         140         1                -           0.0000          -
2210.08/2216.26	c      2216          18037         141         1                -           0.0000          -
2215.47/2221.61	c      2222          18087         143         1                -           0.0000          -
2220.56/2226.74	c      2227          18148         145         1                -           0.0000          -
2226.14/2232.32	c      2232          18195         144         1                -           0.0000          -
2231.33/2237.53	c      2238          18238         139         1                -           0.0000          -
2236.72/2242.93	c      2243          18267         139         1                -           0.0000          -
2242.10/2248.31	c      2248          18312         137         1                -           0.0000          -
2247.79/2254.06	c      2254          18356         135         1                -           0.0000          -
2253.97/2260.21	c      2260          18386         135         1                -           0.0000          -
2259.76/2266.01	c      2266          18429         142         1                -           0.0000          -
2265.44/2271.72	c      2272          18475         142         1                -           0.0000          -
2271.03/2277.32	c      2277          18512         139         1                -           0.0000          -
2276.82/2283.14	c      2283          18555         142         1                -           0.0000          -
2282.20/2288.52	c      2289          18601         143         1                -           0.0000          -
2287.58/2293.93	c      2294          18645         141         1                -           0.0000          -
2293.47/2299.84	c      2300          18684         145         1                -           0.0000          -
2299.05/2305.42	c      2305          18728         144         1                -           0.0000          -
2305.14/2311.50	c      2312          18771         142         1                -           0.0000          -
2310.73/2317.12	c      2317          18836         146         1                -           0.0000          -
2316.21/2322.65	c      2323          18878         146         1                -           0.0000          -
2321.79/2328.25	c      2328          18917         145         1                -           0.0000          -
2327.28/2333.71	c      2334          18981         144         1                -           0.0000          -
2332.57/2339.08	c      2339          19035         148         1                -           0.0000          -
2338.05/2344.54	c      2345          19092         143         1                -           0.0000          -
2343.74/2350.27	c      2350          19144         144         1                -           0.0000          -
2349.43/2355.94	c      2356          19185         143         1                -           0.0000          -
2355.12/2361.61	c      2362          19228         142         1                -           0.0000          -
2360.70/2367.28	c      2367          19271         141         1                -           0.0000          -
2366.28/2372.85	c      2373          19304         141         1                -           0.0000          -
2371.87/2378.45	c      2378          19334         139         1                -           0.0000          -
2377.75/2384.39	c      2384          19374         140         1                -           0.0000          -
2383.24/2389.85	c      2390          19408         139         1                -           0.0000          -
2389.03/2395.68	c      2396          19441         140         1                -           0.0000          -
2394.91/2401.54	c      2402          19484         142         1                -           0.0000          -
2400.50/2407.12	c      2407          19532         138         1                -           0.0000          -
2406.18/2412.85	c      2413          19568         136         1                -           0.0000          -
2412.07/2418.70	c      2419          19608         137         1                -           0.0000          -
2417.05/2423.71	c      2424          19634         137         1                -           0.0000          -
2422.54/2429.23	c      2429          19693         140         1                -           0.0000          -
2428.33/2435.09	c      2435          19735         135         1                -           0.0000          -
2433.91/2440.62	c      2441          19785         139         1                -           0.0000          -
2439.60/2446.37	c      2446          19827         135         1                -           0.0000          -
2445.08/2451.85	c      2452          19864         136         1                -           0.0000          -
2450.87/2457.66	c      2458          19924         137         1                -           0.0000          -
2456.26/2463.06	c      2463          19969         136         1                -           0.0000          -
2461.54/2468.32	c      2468          20020         135         1                -           0.0000          -
2467.23/2474.02	c      2474          20061         134         1                -           0.0000          -
2472.91/2479.72	c      2480          20094         132         1                -           0.0000          -
2478.39/2485.27	c      2485          20136         134         1                -           0.0000          -
2483.98/2490.85	c      2491          20202         131         1                -           0.0000          -
2489.46/2496.36	c      2496          20262         133         1                -           0.0000          -
2494.75/2501.67	c      2502          20303         134         1                -           0.0000          -
2500.64/2507.57	c      2508          20339         132         1                -           0.0000          -
2506.13/2513.00	c      2513          20383         132         1                -           0.0000          -
2511.71/2518.62	c      2519          20436         129         1                -           0.0000          -
2517.70/2524.67	c      2525          20474         134         1                -           0.0000          -
2523.28/2530.27	c      2530          20520         134         1                -           0.0000          -
2529.36/2536.36	c      2536          20564         135         1                -           0.0000          -
2535.15/2542.15	c      2542          20610         135         1                -           0.0000          -
2540.64/2547.65	c      2548          20636         136         1                -           0.0000          -
2546.22/2553.25	c      2553          20677         139         1                -           0.0000          -
2552.11/2559.11	c      2559          20708         140         1                -           0.0000          -
2557.59/2564.66	c      2565          20747         139         1                -           0.0000          -
2563.18/2570.21	c      2570          20774         140         1                -           0.0000          -
2568.66/2575.72	c      2576          20810         140         1                -           0.0000          -
2574.35/2581.44	c      2581          20826         141         1                -           0.0000          -
2580.13/2587.24	c      2587          20856         141         1                -           0.0000          -
2585.42/2592.56	c      2593          20890         138         1                -           0.0000          -
2591.60/2598.75	c      2599          20919         137         1                -           0.0000          -
2597.19/2604.39	c      2604          20958         135         1                -           0.0000          -
2602.88/2610.01	c      2610          20999         137         1                -           0.0000          -
2608.26/2615.40	c      2615          21048         136         1                -           0.0000          -
2613.25/2620.49	c      2620          21072         137         1                -           0.0000          -
2618.63/2625.86	c      2626          21115         134         1                -           0.0000          -
2624.22/2631.40	c      2631          21158         132         1                -           0.0000          -
2630.21/2637.47	c      2637          21192         132         1                -           0.0000          -
2635.70/2642.92	c      2643          21225         133         1                -           0.0000          -
2641.58/2648.89	c      2649          21267         131         1                -           0.0000          -
2647.27/2654.57	c      2655          21294         132         1                -           0.0000          -
2652.95/2660.28	c      2660          21341         132         1                -           0.0000          -
2658.54/2665.82	c      2666          21383         130         1                -           0.0000          -
2663.93/2671.26	c      2671          21421         134         1                -           0.0000          -
2669.41/2676.75	c      2677          21462         133         1                -           0.0000          -
2674.80/2682.17	c      2682          21514         133         1                -           0.0000          -
2680.18/2687.53	c      2688          21560         133         1                -           0.0000          -
2685.67/2693.00	c      2693          21604         133         1                -           0.0000          -
2691.15/2698.57	c      2699          21646         133         1                -           0.0000          -
2696.54/2703.97	c      2704          21707         134         1                -           0.0000          -
2701.83/2709.27	c      2709          21755         132         1                -           0.0000          -
2707.21/2714.62	c      2715          21797         134         1                -           0.0000          -
2712.70/2720.17	c      2720          21840         132         1                -           0.0000          -
2717.98/2725.49	c      2725          21882         132         1                -           0.0000          -
2723.87/2731.32	c      2731          21923         133         1                -           0.0000          -
2729.05/2736.59	c      2737          21951         131         1                -           0.0000          -
2734.84/2742.38	c      2742          21992         132         1                -           0.0000          -
2740.82/2748.35	c      2748          22025         133         1                -           0.0000          -
2747.01/2754.55	c      2755          22063         137         1                -           0.0000          -
2752.89/2760.48	c      2760          22093         133         1                -           0.0000          -
2758.89/2766.42	c      2766          22117         135         1                -           0.0000          -
2764.77/2772.39	c      2772          22141         131         1                -           0.0000          -
2770.46/2778.01	c      2778          22173         135         1                -           0.0000          -
2775.94/2783.56	c      2784          22209         135         1                -           0.0000          -
2781.73/2789.30	c      2789          22242         132         1                -           0.0000          -
2787.11/2794.77	c      2795          22264         132         1                -           0.0000          -
2792.90/2800.51	c      2801          22287         133         1                -           0.0000          -
2798.58/2806.25	c      2806          22316         132         1                -           0.0000          -
2804.27/2811.98	c      2812          22351         133         1                -           0.0000          -
2810.06/2817.79	c      2818          22381         131         1                -           0.0000          -
2815.94/2823.67	c      2824          22411         133         1                -           0.0000          -
2821.23/2828.98	c      2829          22453         131         1                -           0.0000          -
2826.91/2834.62	c      2835          22493         133         1                -           0.0000          -
2832.00/2839.77	c      2840          22529         131         1                -           0.0000          -
2837.58/2845.31	c      2845          22576         132         1                -           0.0000          -
2843.27/2851.04	c      2851          22624         132         1                -           0.0000          -
2848.95/2856.74	c      2857          22660         130         1                -           0.0000          -
2854.14/2861.97	c      2862          22701         129         1                -           0.0000          -
2860.72/2868.53	c      2869          22752         129         1                -           0.0000          -
2866.21/2874.07	c      2874          22789         132         1                -           0.0000          -
2871.60/2879.47	c      2879          22846         135         1                -           0.0000          -
2876.98/2884.87	c      2885          22886         131         1                -           0.0000          -
2882.47/2890.31	c      2890          22926         131         1                -           0.0000          -
2888.55/2896.48	c      2896          22961         132         1                -           0.0000          -
2894.24/2902.10	c      2902          23013         130         1                -           0.0000          -
2899.83/2907.76	c      2908          23047         130         1                -           0.0000          -
2905.52/2913.43	c      2913          23090         131         1                -           0.0000          -
2911.00/2918.93	c      2919          23149         134         1                -           0.0000          -
2916.69/2924.65	c      2925          23197         132         1                -           0.0000          -
2922.08/2930.08	c      2930          23246         131         1                -           0.0000          -
2927.76/2935.71	c      2936          23284         131         1                -           0.0000          -
2933.25/2941.28	c      2941          23327         130         1                -           0.0000          -
2938.93/2946.99	c      2947          23374         131         1                -           0.0000          -
2944.42/2952.47	c      2952          23416         131         1                -           0.0000          -
2950.01/2958.06	c      2958          23451         132         1                -           0.0000          -
2955.29/2963.34	c      2963          23487         130         1                -           0.0000          -
2961.27/2969.30	c      2969          23529         130         1                -           0.0000          -
2966.86/2974.98	c      2975          23569         130         1                -           0.0000          -
2972.54/2980.63	c      2981          23608         131         1                -           0.0000          -
2978.23/2986.32	c      2986          23649         130         1                -           0.0000          -
2984.32/2992.47	c      2992          23689         130         1                -           0.0000          -
2989.50/2997.61	c      2998          23732         131         1                -           0.0000          -
2994.69/3002.84	c      3003          23766         131         1                -           0.0000          -
3000.77/3008.93	c      3009          23805         130         1                -           0.0000          -
3006.56/3014.70	c      3015          23840         131         1                -           0.0000          -
3012.24/3020.48	c      3020          23882         131         1                -           0.0000          -
3017.93/3026.13	c      3026          23927         132         1                -           0.0000          -
3023.31/3031.58	c      3032          23976         131         1                -           0.0000          -
3028.80/3037.06	c      3037          24016         131         1                -           0.0000          -
3034.08/3042.39	c      3042          24048         131         1                -           0.0000          -
3039.77/3048.08	c      3048          24077         132         1                -           0.0000          -
3045.06/3053.30	c      3053          24101         132         1                -           0.0000          -
3050.85/3059.18	c      3059          24135         132         1                -           0.0000          -
3056.63/3064.91	c      3065          24172         131         1                -           0.0000          -
3062.01/3070.30	c      3070          24218         129         1                -           0.0000          -
3067.70/3076.08	c      3076          24264         133         1                -           0.0000          -
3073.18/3081.54	c      3082          24304         131         1                -           0.0000          -
3079.27/3087.63	c      3088          24341         130         1                -           0.0000          -
3085.26/3093.60	c      3094          24386         131         1                -           0.0000          -
3091.25/3099.61	c      3100          24427         132         1                -           0.0000          -
3097.23/3105.65	c      3106          24465         132         1                -           0.0000          -
3103.12/3111.53	c      3112          24512         131         1                -           0.0000          -
3108.61/3117.02	c      3117          24543         130         1                -           0.0000          -
3113.89/3122.36	c      3122          24579         130         1                -           0.0000          -
3119.18/3127.61	c      3128          24623         134         1                -           0.0000          -
3124.36/3132.88	c      3133          24673         132         1                -           0.0000          -
3130.15/3138.64	c      3139          24715         132         1                -           0.0000          -
3135.54/3144.06	c      3144          24756         130         1                -           0.0000          -
3141.12/3149.67	c      3150          24799         130         1                -           0.0000          -
3146.71/3155.25	c      3155          24843         130         1                -           0.0000          -
3151.99/3160.58	c      3161          24876         131         1                -           0.0000          -
3157.78/3166.35	c      3166          24937         129         1                -           0.0000          -
3163.36/3171.95	c      3172          24975         127         1                -           0.0000          -
3168.75/3177.34	c      3177          25025         127         1                -           0.0000          -
3174.04/3182.62	c      3183          25078         125         1                -           0.0000          -
3180.12/3188.71	c      3189          25126         124         1                -           0.0000          -
3185.51/3194.12	c      3194          25169         123         1                -           0.0000          -
3190.99/3199.63	c      3200          25213         123         1                -           0.0000          -
3196.68/3205.37	c      3205          25250         124         1                -           0.0000          -
3201.96/3210.65	c      3211          25307         123         1                -           0.0000          -
3207.55/3216.26	c      3216          25360         124         1                -           0.0000          -
3213.74/3222.42	c      3222          25392         130         1                -           0.0000          -
3219.22/3227.93	c      3228          25434         134         1                -           0.0000          -
3224.81/3233.57	c      3234          25495         133         1                -           0.0000          -
3230.69/3239.46	c      3239          25546         132         1                -           0.0000          -
3236.18/3244.91	c      3245          25582         130         1                -           0.0000          -
3241.66/3250.46	c      3250          25613         129         1                -           0.0000          -
3247.05/3255.84	c      3256          25655         127         1                -           0.0000          -
3252.53/3261.34	c      3261          25707         127         1                -           0.0000          -
3257.82/3266.60	c      3267          25754         130         1                -           0.0000          -
3263.11/3271.90	c      3272          25809         131         1                -           0.0000          -
3268.39/3277.27	c      3277          25848         126         1                -           0.0000          -
3273.68/3282.57	c      3283          25898         123         1                -           0.0000          -
3279.17/3288.02	c      3288          25932         125         1                -           0.0000          -
3284.16/3293.08	c      3293          25958         125         1                -           0.0000          -
3289.94/3298.88	c      3299          25993         126         1                -           0.0000          -
3295.33/3304.28	c      3304          26050         125         1                -           0.0000          -
3300.61/3309.58	c      3310          26103         124         1                -           0.0000          -
3305.90/3314.89	c      3315          26141         123         1                -           0.0000          -
3311.38/3320.35	c      3320          26213         123         1                -           0.0000          -
3316.98/3325.91	c      3326          26262         122         1                -           0.0000          -
3322.36/3331.32	c      3331          26312         128         1                -           0.0000          -
3327.55/3336.58	c      3337          26376         123         1                -           0.0000          -
3336.63/3345.60	c      3346          26432         124         1                -           0.0000          -
3342.12/3351.18	c      3351          26484         122         1                -           0.0000          -
3347.50/3356.51	c      3357          26530         124         1                -           0.0000          -
3352.99/3362.01	c      3362          26563         121         1                -           0.0000          -
3358.67/3367.78	c      3368          26610         123         1                -           0.0000          -
3364.26/3373.35	c      3373          26646         126         1                -           0.0000          -
3370.15/3379.24	c      3379          26674         122         1                -           0.0000          -
3375.83/3384.98	c      3385          26717         121         1                -           0.0000          -
3381.32/3390.48	c      3390          26768         123         1                -           0.0000          -
3386.71/3395.88	c      3396          26795         126         1                -           0.0000          -
3392.59/3401.71	c      3402          26837         127         1                -           0.0000          -
3398.18/3407.38	c      3407          26881         126         1                -           0.0000          -
3403.78/3412.98	c      3413          26924         125         1                -           0.0000          -
3409.56/3418.70	c      3419          26968         128         1                -           0.0000          -
3414.95/3424.18	c      3424          27022         129         1                -           0.0000          -
3420.73/3429.92	c      3430          27070         126         1                -           0.0000          -
3426.32/3435.51	c      3436          27118         126         1                -           0.0000          -
3432.31/3441.50	c      3442          27154         124         1                -           0.0000          -
3438.09/3447.36	c      3447          27186         126         1                -           0.0000          -
3443.48/3452.75	c      3453          27238         126         1                -           0.0000          -
3449.27/3458.57	c      3459          27271         125         1                -           0.0000          -
3455.05/3464.35	c      3464          27310         128         1                -           0.0000          -
3460.94/3470.23	c      3470          27352         128         1                -           0.0000          -
3466.83/3476.15	c      3476          27378         130         1                -           0.0000          -
3472.21/3481.59	c      3482          27416         128         1                -           0.0000          -
3478.20/3487.59	c      3488          27450         128         1                -           0.0000          -
3483.98/3493.31	c      3493          27481         131         1                -           0.0000          -
3489.97/3499.35	c      3499          27522         128         1                -           0.0000          -
3495.35/3504.75	c      3505          27569         127         1                -           0.0000          -
3501.14/3510.57	c      3511          27632         126         1                -           0.0000          -
3506.53/3515.93	c      3516          27672         130         1                -           0.0000          -
3512.21/3521.62	c      3522          27718         134         1                -           0.0000          -
3517.60/3527.03	c      3527          27768         132         1                -           0.0000          -
3522.99/3532.43	c      3532          27824         130         1                -           0.0000          -
3528.47/3537.97	c      3538          27869         131         1                -           0.0000          -
3533.97/3543.44	c      3543          27904         128         1                -           0.0000          -
3539.26/3548.70	c      3549          27952         128         1                -           0.0000          -
3544.34/3553.82	c      3554          27995         128         1                -           0.0000          -
3550.13/3559.68	c      3560          28032         131         1                -           0.0000          -
3556.12/3565.64	c      3566          28073         132         1                -           0.0000          -
3561.70/3571.22	c      3571          28121         130         1                -           0.0000          -
3567.09/3576.60	c      3577          28163         132         1                -           0.0000          -
3572.38/3581.96	c      3582          28197         132         1                -           0.0000          -
3578.06/3587.63	c      3588          28222         131         1                -           0.0000          -
3583.45/3593.06	c      3593          28264         131         1                -           0.0000          -
3589.14/3598.75	c      3599          28321         130         1                -           0.0000          -
3590.44/3600.02	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.44/3600.02	c Total Time         : 3600.0200
3590.44/3600.02	c   solving          : 3600.0200
3590.44/3600.02	c   presolving       : 2.8121 (included in solving)
3590.44/3600.02	c B&B Tree           :
3590.44/3600.02	c   nodes (total)    : 1
3590.44/3600.02	c Solution           :
3590.44/3600.02	c   Solutions found  : 0
3590.44/3600.02	c   Primal Bound     :          -
3590.44/3600.02	c   Dual Bound       : +0.00000000000000e+00
3590.44/3600.02	c Gap                :          -
3590.44/3600.03	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 (61295 MiB free)
  memory of node 1: 64510 MiB (60876 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100056 s]*
/proc/loadavg: 4.15 4.12 4.09 5/262 1004975
/proc/meminfo: memFree=125079940/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=45464 memory=34516 CPUtime=0.1 cores=5,7
/proc/1004974/stat : 1004974 (fscip) R 1004971 1004974 1000725 0 -1 4194304 6625 0 0 0 9 1 0 0 20 0 1 0 187132429 46555136 8629 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 11366 8629 2638 3032 0 7766 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45464 KiB
Current children cumulated memory: 34516 KiB

[startup+0.205867 s]*
/proc/loadavg: 4.15 4.12 4.09 5/262 1004975
/proc/meminfo: memFree=125079940/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=45464 memory=34516 CPUtime=0.2 cores=5,7
/proc/1004974/stat : 1004974 (fscip) R 1004971 1004974 1000725 0 -1 4194304 6625 0 0 0 19 1 0 0 20 0 1 0 187132429 46555136 8629 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 11366 8629 2638 3032 0 7766 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45464 KiB
Current children cumulated memory: 34516 KiB

[startup+0.305505 s]*
/proc/loadavg: 4.15 4.12 4.09 5/262 1004975
/proc/meminfo: memFree=125077924/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=47812 memory=36932 CPUtime=0.3 cores=5,7
/proc/1004974/stat : 1004974 (fscip) R 1004971 1004974 1000725 0 -1 4194304 7378 0 0 0 29 1 0 0 20 0 1 0 187132429 48959488 9233 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 11953 9233 2718 3032 0 8353 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 36932 KiB

[startup+0.700157 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 1004975
/proc/meminfo: memFree=125068668/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=57996 memory=45988 CPUtime=0.68 cores=5,7
/proc/1004974/stat : 1004974 (fscip) R 1004971 1004974 1000725 0 -1 4194304 9665 0 0 0 67 1 0 0 20 0 1 0 187132429 59387904 11497 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 14499 11497 2734 3032 0 10899 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57996 KiB
Current children cumulated memory: 45988 KiB

[startup+1.50021 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 1004976
/proc/meminfo: memFree=125064252/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=59536 memory=47308 CPUtime=1.48 cores=5,7
/proc/1004974/stat : 1004974 (fscip) R 1004971 1004974 1000725 0 -1 4194304 10019 0 0 0 147 1 0 0 20 0 1 0 187132429 60964864 11827 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 14884 11827 2734 3032 0 11284 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59536 KiB
Current children cumulated memory: 47308 KiB

[startup+3.10604 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 1004978
/proc/meminfo: memFree=125014004/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=179436 memory=96908 CPUtime=3.08 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 22900 0 0 0 305 3 0 0 20 0 3 0 187132429 183742464 24227 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 44859 24227 2782 3032 0 30817 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=179436 memory=47308 CPUtime=0.24 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 7302 0 0 0 24 0 0 0 20 0 3 0 187132713 183742464 24227 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=179436 memory=0 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187132715 183742464 24227 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 179436 KiB
Current children cumulated memory: 96908 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 1004978
/proc/meminfo: memFree=125001840/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=180464 memory=110004 CPUtime=6.27 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 30320 0 0 0 623 4 0 0 20 0 3 0 187132429 184795136 27501 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 45116 27501 2910 3032 0 34178 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=180464 memory=0 CPUtime=3.43 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 14720 0 0 0 342 1 0 0 20 0 3 0 187132713 184795136 27501 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=180464 memory=47308 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187132715 184795136 27501 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 180464 KiB
Current children cumulated memory: 110004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1004980
/proc/meminfo: memFree=124958512/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=249448 memory=153216 CPUtime=12.65 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 59986 0 0 0 1258 7 0 0 20 0 3 0 187132429 255434752 38304 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 62362 38304 2942 3032 0 45416 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=249448 memory=0 CPUtime=9.81 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 44376 0 0 0 977 4 0 0 20 0 3 0 187132713 255434752 38304 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=249448 memory=153492 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 187132715 255434752 38304 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 249448 KiB
Current children cumulated memory: 153216 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 1004981
/proc/meminfo: memFree=124956248/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=249448 memory=153612 CPUtime=25.41 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 79160 0 0 0 2533 8 0 0 20 0 3 0 187132429 255434752 38403 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 62362 38403 2942 3032 0 45416 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=249448 memory=153612 CPUtime=22.58 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 63536 0 0 0 2252 6 0 0 20 0 3 0 187132713 255434752 38403 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=249448 memory=153612 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 187132715 255434752 38403 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 249448 KiB
Current children cumulated memory: 153612 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 1004986
/proc/meminfo: memFree=124948232/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=249448 memory=158840 CPUtime=50.96 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 114729 0 0 0 5084 12 0 0 20 0 3 0 187132429 255434752 39710 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 62362 39710 2990 3032 0 47470 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=249448 memory=155440 CPUtime=48.12 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 99018 0 0 0 4803 9 0 0 20 0 3 0 187132713 255434752 39710 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=249448 memory=11588 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 187132715 255434752 39710 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 249448 KiB
Current children cumulated memory: 158840 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 1004995
/proc/meminfo: memFree=124932744/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=249448 memory=162216 CPUtime=102.02 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 169151 0 0 0 10186 16 0 0 20 0 3 0 187132429 255434752 40554 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 62362 40554 2990 3032 0 47617 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=249448 memory=162284 CPUtime=99.18 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 153305 0 0 0 9904 14 0 0 20 0 3 0 187132713 255434752 40554 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=249448 memory=161292 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 187132715 255434752 40554 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 249448 KiB
Current children cumulated memory: 162216 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 1005006
/proc/meminfo: memFree=124896044/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=248052 memory=177724 CPUtime=161.85 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 198553 0 0 0 16166 19 0 0 20 0 3 0 187132429 254005248 44431 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 62013 44431 2990 3032 0 51422 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=248052 memory=170764 CPUtime=159.02 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 182668 0 0 0 15885 17 0 0 20 0 3 0 187132713 254005248 44431 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=248052 memory=11588 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 187132715 254005248 44431 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 248052 KiB
Current children cumulated memory: 177724 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 1005017
/proc/meminfo: memFree=124882532/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=248052 memory=190640 CPUtime=221.7 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 207065 0 0 0 22150 20 0 0 20 0 3 0 187132429 254005248 47660 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 62013 47660 2990 3032 0 51422 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=248052 memory=12508 CPUtime=218.86 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 191144 0 0 0 21868 18 0 0 20 0 3 0 187132713 254005248 47660 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=248052 memory=11588 CPUtime=0 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 187132715 254005248 47660 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 248052 KiB
Current children cumulated memory: 190640 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1005027
/proc/meminfo: memFree=124877496/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=248052 memory=195316 CPUtime=281.55 cores=5,7

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

/proc/1004974/statm: 78397 61082 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=244324 CPUtime=3390.16 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 260029 0 0 0 338982 34 0 0 20 0 3 0 187132713 321114112 61082 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244324 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 186 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61082 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244328 KiB

[startup+3462.3 s]
/proc/loadavg: 1.47 3.02 3.68 2/236 1006882
/proc/meminfo: memFree=125510136/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244348 CPUtime=3453.06 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 278153 0 0 0 345262 44 0 0 20 0 3 0 187132429 321114112 61087 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61087 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=244336 CPUtime=3450.01 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 261123 0 0 0 344967 34 0 0 20 0 3 0 187132713 321114112 61087 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244336 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 188 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61087 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244348 KiB

[startup+3522.3 s]
/proc/loadavg: 1.29 2.68 3.52 2/236 1006892
/proc/meminfo: memFree=125509820/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244348 CPUtime=3512.91 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 279180 0 0 0 351247 44 0 0 20 0 3 0 187132429 321114112 61087 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61087 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=244348 CPUtime=3509.87 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 262131 0 0 0 350953 34 0 0 20 0 3 0 187132713 321114112 61087 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244348 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 190 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61087 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244348 KiB

[startup+3582.3 s]
/proc/loadavg: 1.19 2.39 3.37 2/238 1006906
/proc/meminfo: memFree=125509208/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3572.78 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 279749 0 0 0 357233 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=244552 CPUtime=3569.73 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 262679 0 0 0 356938 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=12508 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 192 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

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

# cumulated CPU time of all completed processes:  user=3590.02 s, system=0.458893 s

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

[startup+3584 s]*
/proc/loadavg: 1.19 2.39 3.37 2/238 1006906
/proc/meminfo: memFree=125509244/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3574.48 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 279749 0 0 0 357403 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=-6736118154344238184 CPUtime=3571.43 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 262679 0 0 0 357108 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=1471342763254055041 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 192 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3574.48 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

[startup+3590.4 s]
/proc/loadavg: 1.17 2.37 3.35 2/238 1006907
/proc/meminfo: memFree=125509236/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3580.86 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 279751 0 0 0 358041 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=244552 CPUtime=3577.81 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 262681 0 0 0 357746 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244552 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 192 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3580.86 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

[startup+3596.8 s]
/proc/loadavg: 1.14 2.32 3.33 2/238 1006909
/proc/meminfo: memFree=125509184/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3587.24 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 280153 0 0 0 358679 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=12508 CPUtime=3584.2 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 263066 0 0 0 358385 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244552 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 198 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

[startup+3598.4 s]
/proc/loadavg: 1.14 2.32 3.33 2/238 1006909
/proc/meminfo: memFree=125509184/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3588.84 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 280182 0 0 0 358839 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=19664 CPUtime=3585.8 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 263095 0 0 0 358545 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244552 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 198 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

[startup+3599.2 s]
/proc/loadavg: 1.14 2.32 3.33 2/238 1006909
/proc/meminfo: memFree=125509184/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3589.64 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 280233 0 0 0 358919 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=11588 CPUtime=3586.59 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 263137 0 0 0 358624 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=244552 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 198 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3589.64 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

[startup+3599.6 s]
/proc/loadavg: 1.14 2.32 3.33 2/238 1006909
/proc/meminfo: memFree=125509184/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3590.04 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 280235 0 0 0 358959 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=244552 CPUtime=3586.99 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 263139 0 0 0 358664 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=32496 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 198 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3590.04 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

[startup+3600 s]*
/proc/loadavg: 1.14 2.32 3.33 2/238 1006909
/proc/meminfo: memFree=125509184/131524600 swapFree=131071996/131071996
[pid=1004974] ppid=1004971 vsize=313588 memory=244552 CPUtime=3590.44 cores=5,7
/proc/1004974/stat : 1004974 (fscip) S 1004971 1004974 1000725 0 -1 1077936128 280274 0 0 0 358999 45 0 0 20 0 3 0 187132429 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
/proc/1004974/statm: 78397 61138 2990 3032 0 63477 0
[pid=1004974/tid=1004977] ppid=1004971 vsize=313588 memory=-6736118154344238184 CPUtime=3587.4 cores=5,7
/proc/1004974/task/1004977/stat : 1004977 (fscip) R 1004971 1004974 1000725 0 -1 4194368 263176 0 0 0 358705 35 0 0 20 0 3 0 187132713 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
[pid=1004974/tid=1004978] ppid=1004971 vsize=313588 memory=1471342763254055041 CPUtime=0.02 cores=5,7
/proc/1004974/task/1004978/stat : 1004978 (fscip) S 1004971 1004974 1000725 0 -1 1077936192 198 0 0 0 1 1 0 0 20 0 3 0 187132715 321114112 61138 134679101440 4194304 16613245 140732563799904 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 31920128 140732563809299 140732563809415 140732563809415 140732563816432 0
Current children cumulated CPU time: 3590.44 s
Current children cumulated vsize: 313588 KiB
Current children cumulated memory: 244552 KiB

Child status: 0

Real time (s): 3600.04
CPU time (s): 3590.48
CPU user time (s): 3590.02
CPU system time (s): 0.458893
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 313588
Max. memory (cumulated for all children) (KiB): 244552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.02
system time used= 0.458893
maximum resident set size= 244552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281480
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= 10049
involuntary context switches= 3300


# summary of solver processes directly reported to runsolver:
#   pid: 1004974
#   total CPU time (s): 3590.48
#   total CPU user time (s): 3590.02
#   total CPU system time (s): 0.458893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02615 second user time and 16.1826 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-19 02:41:03
IDJOB=4447340
IDBENCH=158383
IDSOLVER=3064
FILE ID=nodeC029/4447340-1721349650
RUNJOBID= nodeC029-1721342191-1000738
SLURM_JOB_ID= 7542739
Free space on /tmp= 889984 MiB

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

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

MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=1824029244

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		: 3666.168
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		: 3674.699
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		: 3600.311
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		: 3600.176
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		: 3666.207
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		: 3666.434
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		: 3600.384
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		: 3679.277
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:        125104620 kB
MemAvailable:   129109024 kB
Buffers:          501524 kB
Cached:          4294212 kB
SwapCached:            0 kB
Active:           962384 kB
Inactive:        4742804 kB
Active(anon):       1488 kB
Inactive(anon):   945684 kB
Active(file):     960896 kB
Inactive(file):  3797120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28344 kB
Writeback:             0 kB
AnonPages:        908776 kB
Mapped:           142564 kB
Shmem:             37720 kB
KReclaimable:     172072 kB
Slab:             293368 kB
SReclaimable:     172072 kB
SUnreclaim:       121296 kB
KernelStack:        4252 kB
PageTables:        11152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     939160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    608256 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= 890040 MiB
End job on nodeC029 at 2024-07-19 03:41:03