Trace number 4464471

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30? 3588.98 3598.07

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K77.opb
MD5SUM1befa42a441a3881696e6fa0e11864f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.60089
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4235
Total number of constraints4391
Number of constraints which are clauses4314
Number of constraints which are cardinality constraints (but not clauses)77
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint77
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 78
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 41193472, getVmSize() = 41193472, SCIPgetMemUsed() = 15601129, SCIPgetMemTotal() = 19069121, SCIPgetMemExternEstim() = 8257006
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
4.17/4.28	c ** Estimated virtualMemUsedAtSolver = 53661859, getVmSize() = 96366592, SCIPgetMemUsed() = 48859991, SCIPgetMemTotal() = 72235783, SCIPgetMemExternEstim() = 8257006
4.17/4.28	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
4.17/4.28	c Original Problem   :
4.17/4.28	c   Problem name     : instance-4464471-1722385794
4.17/4.28	c   Variables        : 4235 (4235 binary, 0 integer, 0 implicit integer, 0 continuous)
4.17/4.28	c   Constraints      : 4391
4.17/4.28	c   Objective sense  : minimize
4.17/4.28	c Presolved Problem  :
4.17/4.28	c   Variables        : 3425 (3425 binary, 0 integer, 0 implicit integer, 0 continuous)
4.17/4.28	c   Constraints      : 3546
4.17/4.28	c Constraints        : Number
4.17/4.28	c   setppc           : 715 
4.17/4.28	c   logicor          : 2831 
4.17/4.28	c ** Instance transfer method used: 0
4.27/4.30	c ** ParaScipInstance copy does not increase the number of variables. **
4.27/4.32	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.27/4.32	c                                Nodes    Active                                            
4.27/4.32	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
34.27/34.55	c        35              2           1         1                -           0.0000          -
39.45/39.77	c        40             14          13         1                -           0.0000          -
44.95/45.27	c        45             37          18         1                -           0.0000          -
50.74/51.07	c        51             90          20         1                -           0.0000          -
56.72/57.04	c        57            154          24         1                -           0.0000          -
61.81/62.14	c        62            192          28         1                -           0.0000          -
67.38/67.70	c        68            266          31         1                -           0.0000          -
72.57/72.95	c        73            367          36         1                -           0.0000          -
78.06/78.49	c        78            440          37         1                -           0.0000          -
83.24/83.64	c        84            544          38         1                -           0.0000          -
88.53/88.90	c        89            641          39         1                -           0.0000          -
93.64/94.02	c        94            690          37         1                -           0.0000          -
98.80/99.26	c        99            798          41         1                -           0.0000          -
104.00/104.47	c       104            967          36         1                -           0.0000          -
109.59/110.06	c       110            994          45         1                -           0.0000          -
115.07/115.52	c       116           1050          45         1                -           0.0000          -
121.15/121.63	c       122           1105          48         1                -           0.0000          -
126.44/126.91	c       127           1183          52         1                -           0.0000          -
131.72/132.21	c       132           1264          50         1                -           0.0000          -
137.21/137.71	c       138           1334          49         1                -           0.0000          -
142.40/142.97	c       143           1413          52         1                -           0.0000          -
147.60/148.16	c       148           1497          48         1                -           0.0000          -
152.87/153.43	c       153           1579          52         1                -           0.0000          -
158.36/158.91	c       159           1656          49         1                -           0.0000          -
163.46/164.10	c       164           1716          49         1                -           0.0000          -
168.84/169.42	c       169           1781          50         1                -           0.0000          -
174.22/174.83	c       175           1832          51         1                -           0.0000          -
179.52/180.18	c       180           1906          49         1                -           0.0000          -
185.10/185.71	c       186           1979          52         1                -           0.0000          -
190.28/191.01	c       191           2065          48         1                -           0.0000          -
195.86/196.52	c       197           2133          48         1                -           0.0000          -
201.14/201.88	c       202           2222          49         1                -           0.0000          -
206.54/207.20	c       207           2312          51         1                -           0.0000          -
212.52/213.24	c       213           2364          51         1                -           0.0000          -
217.91/218.64	c       219           2398          61         1                -           0.0000          -
223.31/224.08	c       224           2457          64         1                -           0.0000          -
243.84/244.67	c       245           2511           1         1                -           0.0000          -
249.82/250.65	c       251           2523          13         1                -           0.0000          -
255.33/256.19	c       256           2575          21         1                -           0.0000          -
260.90/261.71	c       262           2637          19         1                -           0.0000          -
266.69/267.51	c       268           2691          16         1                -           0.0000          -
272.58/273.49	c       273           2723          18         1                -           0.0000          -
280.05/280.94	c       281           2771          20         1                -           0.0000          -
285.94/286.87	c       287           2814          25         1                -           0.0000          -
291.52/292.43	c       292           2872          27         1                -           0.0000          -
296.72/297.66	c       298           2941          28         1                -           0.0000          -
302.12/303.04	c       303           2984          29         1                -           0.0000          -
307.39/308.30	c       308           3048          29         1                -           0.0000          -
312.77/313.72	c       314           3106          27         1                -           0.0000          -
318.18/319.18	c       319           3157          23         1                -           0.0000          -
323.55/324.56	c       325           3217          26         1                -           0.0000          -
329.05/330.06	c       330           3280          33         1                -           0.0000          -
334.52/335.50	c       336           3355          33         1                -           0.0000          -
340.31/341.32	c       341           3412          34         1                -           0.0000          -
345.60/346.64	c       347           3474          36         1                -           0.0000          -
350.88/351.95	c       352           3551          35         1                -           0.0000          -
356.27/357.33	c       357           3627          31         1                -           0.0000          -
361.45/362.57	c       363           3699          27         1                -           0.0000          -
366.84/367.91	c       368           3735          28         1                -           0.0000          -
372.43/373.50	c       374           3797          30         1                -           0.0000          -
377.82/378.90	c       379           3851          28         1                -           0.0000          -
383.30/384.40	c       384           3923          34         1                -           0.0000          -
388.59/389.71	c       390           3983          27         1                -           0.0000          -
394.07/395.20	c       395           4043          29         1                -           0.0000          -
399.26/400.49	c       400           4096          30         1                -           0.0000          -
404.95/406.18	c       406           4154          28         1                -           0.0000          -
410.62/411.81	c       412           4214          28         1                -           0.0000          -
415.92/417.17	c       417           4276          26         1                -           0.0000          -
421.19/422.49	c       422           4340          30         1                -           0.0000          -
426.58/427.85	c       428           4398          28         1                -           0.0000          -
431.88/433.14	c       433           4454          26         1                -           0.0000          -
437.15/438.41	c       438           4511          27         1                -           0.0000          -
442.64/443.97	c       444           4559          27         1                -           0.0000          -
447.93/449.25	c       449           4617          27         1                -           0.0000          -
453.62/454.94	c       455           4659          27         1                -           0.0000          -
458.81/460.15	c       460           4711          27         1                -           0.0000          -
464.49/465.80	c       466           4767          29         1                -           0.0000          -
469.79/471.12	c       471           4817          29         1                -           0.0000          -
475.46/476.84	c       477           4884          28         1                -           0.0000          -
480.76/482.14	c       482           4927          27         1                -           0.0000          -
486.43/487.80	c       488           4989          27         1                -           0.0000          -
491.63/493.02	c       493           5038          28         1                -           0.0000          -
496.90/498.30	c       498           5100          28         1                -           0.0000          -
502.29/503.70	c       504           5158          28         1                -           0.0000          -
507.47/508.95	c       509           5202          28         1                -           0.0000          -
512.87/514.33	c       514           5255          27         1                -           0.0000          -
518.25/519.73	c       520           5313          29         1                -           0.0000          -
523.55/525.08	c       525           5368          28         1                -           0.0000          -
528.82/530.34	c       530           5419          27         1                -           0.0000          -
534.71/536.29	c       536           5481          31         1                -           0.0000          -
540.29/541.81	c       542           5546          30         1                -           0.0000          -
546.08/547.67	c       548           5597          29         1                -           0.0000          -
551.87/553.43	c       553           5647          31         1                -           0.0000          -
557.16/558.71	c       559           5691          29         1                -           0.0000          -
562.64/564.26	c       564           5751          29         1                -           0.0000          -
568.54/570.17	c       570           5794          28         1                -           0.0000          -
574.31/575.95	c       576           5832          30         1                -           0.0000          -
580.01/581.61	c       582           5882          32         1                -           0.0000          -
585.41/587.05	c       587           5942          28         1                -           0.0000          -
590.78/592.44	c       592           5987          29         1                -           0.0000          -
596.17/597.82	c       598           6033          29         1                -           0.0000          -
601.46/603.13	c       603           6083          27         1                -           0.0000          -
606.93/608.66	c       609           6114          28         1                -           0.0000          -
612.52/614.26	c       614           6168          28         1                -           0.0000          -
618.01/619.78	c       620           6217          29         1                -           0.0000          -
623.69/625.49	c       626           6253          25         1                -           0.0000          -
629.18/630.95	c       631           6310          26         1                -           0.0000          -
634.38/636.14	c       636           6374          24         1                -           0.0000          -
639.75/641.59	c       642           6422          28         1                -           0.0000          -
645.25/647.01	c       647           6460          26         1                -           0.0000          -
650.63/652.41	c       652           6505          25         1                -           0.0000          -
656.23/658.06	c       658           6566          26         1                -           0.0000          -
661.71/663.57	c       664           6632          27         1                -           0.0000          -
667.09/668.91	c       669           6673          24         1                -           0.0000          -
673.19/675.05	c       675           6715          28         1                -           0.0000          -
679.06/680.95	c       681           6761          28         1                -           0.0000          -
685.05/686.96	c       687           6803          24         1                -           0.0000          -
690.53/692.44	c       692           6858          29         1                -           0.0000          -
696.02/697.90	c       698           6920          29         1                -           0.0000          -
701.31/703.25	c       703           6973          28         1                -           0.0000          -
707.39/709.34	c       709           7036          30         1                -           0.0000          -
712.79/714.73	c       715           7095          33         1                -           0.0000          -
718.37/720.31	c       720           7152          32         1                -           0.0000          -
723.86/725.81	c       726           7200          30         1                -           0.0000          -
729.45/731.48	c       731           7245          29         1                -           0.0000          -
735.04/737.07	c       737           7280          30         1                -           0.0000          -
740.51/742.60	c       743           7353          30         1                -           0.0000          -
746.11/748.19	c       748           7430          33         1                -           0.0000          -
751.59/753.69	c       754           7512          28         1                -           0.0000          -
757.09/759.16	c       759           7572          30         1                -           0.0000          -
762.56/764.65	c       765           7621          29         1                -           0.0000          -
767.96/770.09	c       770           7669          31         1                -           0.0000          -
773.33/775.41	c       775           7716          34         1                -           0.0000          -
778.63/780.77	c       781           7767          29         1                -           0.0000          -
784.11/786.29	c       786           7804          28         1                -           0.0000          -
789.70/791.88	c       792           7854          28         1                -           0.0000          -
795.08/797.20	c       797           7898          26         1                -           0.0000          -
800.88/803.02	c       803           7924          28         1                -           0.0000          -
806.35/808.54	c       809           7968          31         1                -           0.0000          -
812.14/814.34	c       814           8001          28         1                -           0.0000          -
817.52/819.75	c       820           8054          27         1                -           0.0000          -
822.83/825.07	c       825           8120          29         1                -           0.0000          -
828.41/830.67	c       831           8191          30         1                -           0.0000          -
833.99/836.22	c       836           8245          28         1                -           0.0000          -
839.48/841.79	c       842           8296          29         1                -           0.0000          -
844.78/847.04	c       847           8357          27         1                -           0.0000          -
849.95/852.26	c       852           8414          26         1                -           0.0000          -
855.43/857.72	c       858           8492          28         1                -           0.0000          -
861.02/863.33	c       863           8564          28         1                -           0.0000          -
866.51/868.81	c       869           8617          27         1                -           0.0000          -
871.80/874.14	c       874           8655          25         1                -           0.0000          -
877.48/879.87	c       880           8691          31         1                -           0.0000          -
882.86/885.22	c       885           8754          32         1                -           0.0000          -
888.15/890.50	c       890           8834          28         1                -           0.0000          -
893.64/896.06	c       896           8911          28         1                -           0.0000          -
899.52/901.90	c       902           8966          31         1                -           0.0000          -
905.40/907.80	c       908           9024          31         1                -           0.0000          -
910.88/913.37	c       913           9100          33         1                -           0.0000          -
916.27/918.74	c       919           9162          31         1                -           0.0000          -
921.75/924.25	c       924           9221          32         1                -           0.0000          -
927.04/929.55	c       930           9279          32         1                -           0.0000          -
932.82/935.34	c       935           9343          30         1                -           0.0000          -
938.01/940.56	c       941           9398          29         1                -           0.0000          -
943.29/945.87	c       946           9445          28         1                -           0.0000          -
948.88/951.43	c       951           9490          27         1                -           0.0000          -
954.47/957.06	c       957           9554          27         1                -           0.0000          -
959.85/962.40	c       962           9607          26         1                -           0.0000          -
965.45/968.02	c       968           9683          26         1                -           0.0000          -
971.32/973.93	c       974           9722          29         1                -           0.0000          -
977.11/979.72	c       980           9773          32         1                -           0.0000          -
982.51/985.12	c       985           9827          32         1                -           0.0000          -
987.89/990.53	c       991           9880          33         1                -           0.0000          -
993.28/995.98	c       996           9952          35         1                -           0.0000          -
998.86/1001.50	c      1002          10012          37         1                -           0.0000          -
1004.05/1006.77	c      1007          10073          34         1                -           0.0000          -
1009.83/1012.53	c      1013          10132          33         1                -           0.0000          -
1015.12/1017.82	c      1018          10190          33         1                -           0.0000          -
1020.71/1023.49	c      1024          10236          31         1                -           0.0000          -
1026.41/1029.14	c      1029          10302          31         1                -           0.0000          -
1032.39/1035.17	c      1035          10345          32         1                -           0.0000          -
1038.46/1041.29	c      1041          10410          31         1                -           0.0000          -
1043.95/1046.79	c      1047          10460          35         1                -           0.0000          -
1049.53/1052.30	c      1052          10510          32         1                -           0.0000          -
1054.92/1057.75	c      1058          10555          33         1                -           0.0000          -
1060.61/1063.41	c      1063          10621          31         1                -           0.0000          -
1066.21/1069.06	c      1069          10675          32         1                -           0.0000          -
1071.58/1074.49	c      1074          10734          32         1                -           0.0000          -
1077.07/1079.92	c      1080          10785          31         1                -           0.0000          -
1083.16/1086.04	c      1086          10833          31         1                -           0.0000          -
1088.25/1091.13	c      1091          10858          34         1                -           0.0000          -
1093.73/1096.64	c      1097          10906          39         1                -           0.0000          -
1099.72/1102.63	c      1103          10950          35         1                -           0.0000          -
1105.22/1108.19	c      1108          11006          35         1                -           0.0000          -
1110.89/1113.89	c      1114          11056          35         1                -           0.0000          -
1116.58/1119.59	c      1120          11093          34         1                -           0.0000          -
1122.08/1125.09	c      1125          11129          32         1                -           0.0000          -
1128.16/1131.15	c      1131          11162          33         1                -           0.0000          -
1134.04/1137.02	c      1137          11201          36         1                -           0.0000          -
1139.91/1143.01	c      1143          11253          34         1                -           0.0000          -
1145.80/1148.84	c      1149          11302          37         1                -           0.0000          -
1151.58/1154.68	c      1155          11373          34         1                -           0.0000          -
1157.08/1160.17	c      1160          11424          35         1                -           0.0000          -
1162.75/1165.83	c      1166          11482          34         1                -           0.0000          -
1168.54/1171.67	c      1172          11534          34         1                -           0.0000          -
1174.13/1177.23	c      1177          11581          32         1                -           0.0000          -
1179.72/1182.88	c      1183          11626          37         1                -           0.0000          -
1185.21/1188.37	c      1188          11680          38         1                -           0.0000          -
1190.49/1193.68	c      1194          11731          40         1                -           0.0000          -
1196.08/1199.24	c      1199          11802          38         1                -           0.0000          -
1201.37/1204.59	c      1205          11859          37         1                -           0.0000          -
1207.35/1210.52	c      1211          11911          35         1                -           0.0000          -
1213.03/1216.22	c      1216          11965          37         1                -           0.0000          -
1218.93/1222.12	c      1222          12006          40         1                -           0.0000          -
1224.51/1227.75	c      1228          12048          37         1                -           0.0000          -
1230.19/1233.48	c      1233          12087          37         1                -           0.0000          -
1236.18/1239.45	c      1239          12127          40         1                -           0.0000          -
1241.78/1245.08	c      1245          12169          40         1                -           0.0000          -
1247.35/1250.64	c      1251          12226          38         1                -           0.0000          -
1253.35/1256.69	c      1257          12274          41         1                -           0.0000          -
1259.33/1262.60	c      1263          12301          41         1                -           0.0000          -
1264.92/1268.21	c      1268          12341          40         1                -           0.0000          -
1270.50/1273.86	c      1274          12393          39         1                -           0.0000          -
1275.89/1279.29	c      1279          12438          42         1                -           0.0000          -
1281.58/1284.95	c      1285          12500          40         1                -           0.0000          -
1286.77/1290.17	c      1290          12545          41         1                -           0.0000          -
1292.25/1295.61	c      1296          12597          41         1                -           0.0000          -
1297.83/1301.28	c      1301          12643          43         1                -           0.0000          -
1303.63/1307.03	c      1307          12705          43         1                -           0.0000          -
1309.62/1313.01	c      1313          12765          41         1                -           0.0000          -
1315.19/1318.68	c      1319          12813          40         1                -           0.0000          -
1320.78/1324.20	c      1324          12865          40         1                -           0.0000          -
1326.58/1330.04	c      1330          12906          41         1                -           0.0000          -
1331.95/1335.45	c      1335          12976          41         1                -           0.0000          -
1337.34/1340.80	c      1341          13024          42         1                -           0.0000          -
1342.92/1346.41	c      1346          13084          42         1                -           0.0000          -
1348.62/1352.18	c      1352          13116          40         1                -           0.0000          -
1354.62/1358.16	c      1358          13185          44         1                -           0.0000          -
1360.09/1363.65	c      1364          13248          47         1                -           0.0000          -
1365.59/1369.17	c      1369          13292          43         1                -           0.0000          -
1370.96/1374.52	c      1375          13337          40         1                -           0.0000          -
1376.65/1380.26	c      1380          13389          40         1                -           0.0000          -
1382.45/1386.05	c      1386          13441          40         1                -           0.0000          -
1387.92/1391.53	c      1392          13507          42         1                -           0.0000          -
1393.42/1397.10	c      1397          13551          42         1                -           0.0000          -
1399.09/1402.75	c      1403          13604          40         1                -           0.0000          -
1404.68/1408.35	c      1408          13675          40         1                -           0.0000          -
1410.07/1413.71	c      1414          13725          41         1                -           0.0000          -
1415.37/1419.08	c      1419          13776          40         1                -           0.0000          -
1420.74/1424.49	c      1424          13827          41         1                -           0.0000          -
1426.13/1429.84	c      1430          13871          41         1                -           0.0000          -
1431.92/1435.65	c      1436          13919          43         1                -           0.0000          -
1437.60/1441.32	c      1441          13969          40         1                -           0.0000          -
1443.30/1447.06	c      1447          14023          40         1                -           0.0000          -
1448.87/1452.62	c      1453          14068          40         1                -           0.0000          -
1454.37/1458.18	c      1458          14149          41         1                -           0.0000          -
1459.96/1463.72	c      1464          14212          39         1                -           0.0000          -
1465.35/1469.18	c      1469          14279          40         1                -           0.0000          -
1470.42/1474.20	c      1474          14312          40         1                -           0.0000          -
1475.81/1479.70	c      1480          14372          41         1                -           0.0000          -
1481.21/1485.05	c      1485          14423          40         1                -           0.0000          -
1486.58/1490.44	c      1490          14492          41         1                -           0.0000          -
1492.37/1496.26	c      1496          14551          40         1                -           0.0000          -
1498.55/1502.48	c      1502          14600          41         1                -           0.0000          -
1504.15/1508.01	c      1508          14678          39         1                -           0.0000          -
1509.83/1513.71	c      1514          14721          40         1                -           0.0000          -
1515.71/1519.61	c      1520          14780          41         1                -           0.0000          -
1521.11/1525.04	c      1525          14820          41         1                -           0.0000          -
1526.98/1530.96	c      1531          14882          41         1                -           0.0000          -
1532.97/1536.92	c      1537          14932          38         1                -           0.0000          -
1538.17/1542.14	c      1542          14969          37         1                -           0.0000          -
1543.64/1547.62	c      1548          15001          41         1                -           0.0000          -
1549.12/1553.13	c      1553          15075          41         1                -           0.0000          -
1554.89/1558.94	c      1559          15124          38         1                -           0.0000          -
1560.58/1564.69	c      1565          15173          41         1                -           0.0000          -
1566.37/1570.42	c      1570          15220          37         1                -           0.0000          -
1572.15/1576.23	c      1576          15285          39         1                -           0.0000          -
1577.64/1581.70	c      1582          15339          38         1                -           0.0000          -
1582.94/1587.04	c      1587          15384          37         1                -           0.0000          -
1588.81/1592.91	c      1593          15432          37         1                -           0.0000          -
1594.00/1598.11	c      1598          15498          37         1                -           0.0000          -
1599.99/1604.16	c      1604          15556          38         1                -           0.0000          -
1606.05/1610.22	c      1610          15608          39         1                -           0.0000          -
1611.45/1615.68	c      1616          15659          36         1                -           0.0000          -
1617.33/1621.51	c      1622          15703          37         1                -           0.0000          -
1622.32/1626.53	c      1627          15745          36         1                -           0.0000          -
1628.00/1632.29	c      1632          15808          35         1                -           0.0000          -
1633.39/1637.66	c      1638          15846          36         1                -           0.0000          -
1638.88/1643.12	c      1643          15901          34         1                -           0.0000          -
1644.35/1648.66	c      1649          15939          36         1                -           0.0000          -
1650.14/1654.46	c      1654          15990          36         1                -           0.0000          -
1655.84/1660.12	c      1660          16029          36         1                -           0.0000          -
1661.83/1666.18	c      1666          16078          37         1                -           0.0000          -
1667.60/1672.01	c      1672          16124          37         1                -           0.0000          -
1673.48/1677.85	c      1678          16185          37         1                -           0.0000          -
1679.27/1683.62	c      1684          16233          36         1                -           0.0000          -
1684.67/1689.08	c      1689          16280          39         1                -           0.0000          -
1690.54/1694.97	c      1695          16351          37         1                -           0.0000          -
1695.93/1700.31	c      1700          16393          37         1                -           0.0000          -
1701.52/1705.94	c      1706          16424          37         1                -           0.0000          -
1707.50/1711.96	c      1712          16468          37         1                -           0.0000          -
1713.60/1718.09	c      1718          16509          39         1                -           0.0000          -
1719.07/1723.53	c      1724          16578          40         1                -           0.0000          -
1724.06/1728.56	c      1729          16620          38         1                -           0.0000          -
1729.35/1733.88	c      1734          16679          36         1                -           0.0000          -
1734.94/1739.41	c      1739          16759          33         1                -           0.0000          -
1740.54/1745.10	c      1745          16805          33         1                -           0.0000          -
1746.71/1751.25	c      1751          16861          37         1                -           0.0000          -
1752.20/1756.79	c      1757          16915          35         1                -           0.0000          -
1758.08/1762.66	c      1763          16963          34         1                -           0.0000          -
1763.28/1767.88	c      1768          17017          36         1                -           0.0000          -
1768.58/1773.17	c      1773          17074          35         1                -           0.0000          -
1774.15/1778.74	c      1779          17130          35         1                -           0.0000          -
1779.55/1784.12	c      1784          17189          35         1                -           0.0000          -
1784.93/1789.59	c      1790          17255          35         1                -           0.0000          -
1790.31/1794.99	c      1795          17303          36         1                -           0.0000          -
1796.00/1800.67	c      1801          17363          36         1                -           0.0000          -
1801.79/1806.47	c      1806          17415          36         1                -           0.0000          -
1807.38/1812.02	c      1812          17467          32         1                -           0.0000          -
1812.76/1817.44	c      1817          17523          32         1                -           0.0000          -
1817.95/1822.69	c      1823          17549          34         1                -           0.0000          -
1823.23/1827.96	c      1828          17618          37         1                -           0.0000          -
1828.51/1833.29	c      1833          17669          34         1                -           0.0000          -
1834.20/1838.94	c      1839          17708          38         1                -           0.0000          -
1839.69/1844.48	c      1844          17760          38         1                -           0.0000          -
1844.98/1849.76	c      1850          17811          38         1                -           0.0000          -
1850.47/1855.27	c      1855          17849          45         1                -           0.0000          -
1856.56/1861.33	c      1861          17907          44         1                -           0.0000          -
1862.14/1866.91	c      1867          17960          43         1                -           0.0000          -
1867.63/1872.42	c      1872          18008          45         1                -           0.0000          -
1873.41/1878.21	c      1878          18058          44         1                -           0.0000          -
1878.79/1883.68	c      1884          18127          45         1                -           0.0000          -
1884.98/1889.85	c      1890          18165          46         1                -           0.0000          -
1890.66/1895.53	c      1896          18223          45         1                -           0.0000          -
1895.85/1900.79	c      1901          18274          43         1                -           0.0000          -
1901.54/1906.49	c      1906          18334          48         1                -           0.0000          -
1906.92/1911.84	c      1912          18413          47         1                -           0.0000          -
1913.12/1918.02	c      1918          18472          49         1                -           0.0000          -
1918.30/1923.27	c      1923          18529          50         1                -           0.0000          -
1923.88/1928.84	c      1929          18581          50         1                -           0.0000          -
1929.47/1934.46	c      1934          18632          49         1                -           0.0000          -
1935.07/1940.03	c      1940          18679          48         1                -           0.0000          -
1940.45/1945.40	c      1945          18734          47         1                -           0.0000          -
1946.05/1951.10	c      1951          18783          46         1                -           0.0000          -
1951.82/1956.89	c      1957          18832          46         1                -           0.0000          -
1957.81/1962.89	c      1963          18867          42         1                -           0.0000          -
1963.69/1968.75	c      1969          18943          44         1                -           0.0000          -
1969.48/1974.50	c      1974          19007          46         1                -           0.0000          -
1974.97/1980.08	c      1980          19054          44         1                -           0.0000          -
1980.84/1985.95	c      1986          19104          44         1                -           0.0000          -
1986.73/1991.81	c      1992          19151          42         1                -           0.0000          -
1991.92/1997.01	c      1997          19193          44         1                -           0.0000          -
1997.21/2002.36	c      2002          19234          45         1                -           0.0000          -
2002.79/2007.94	c      2008          19284          45         1                -           0.0000          -
2007.89/2013.11	c      2013          19315          42         1                -           0.0000          -
2013.47/2018.67	c      2019          19353          44         1                -           0.0000          -
2019.06/2024.25	c      2024          19410          43         1                -           0.0000          -
2024.14/2029.38	c      2029          19445          44         1                -           0.0000          -
2030.23/2035.44	c      2035          19493          44         1                -           0.0000          -
2035.32/2040.56	c      2041          19515          44         1                -           0.0000          -
2040.82/2046.01	c      2046          19567          42         1                -           0.0000          -
2046.39/2051.66	c      2052          19623          41         1                -           0.0000          -
2052.07/2057.34	c      2057          19678          43         1                -           0.0000          -
2057.78/2063.06	c      2063          19739          42         1                -           0.0000          -
2063.25/2068.57	c      2069          19817          42         1                -           0.0000          -
2069.04/2074.33	c      2074          19858          43         1                -           0.0000          -
2074.63/2079.98	c      2080          19896          43         1                -           0.0000          -
2080.21/2085.50	c      2086          19939          40         1                -           0.0000          -
2085.81/2091.12	c      2091          20005          40         1                -           0.0000          -
2090.80/2096.18	c      2096          20041          39         1                -           0.0000          -
2096.77/2102.19	c      2102          20079          40         1                -           0.0000          -
2102.55/2107.99	c      2108          20134          41         1                -           0.0000          -
2108.23/2113.65	c      2114          20170          41         1                -           0.0000          -
2113.52/2118.90	c      2119          20230          41         1                -           0.0000          -
2118.81/2124.29	c      2124          20310          47         1                -           0.0000          -
2124.09/2129.50	c      2130          20380          45         1                -           0.0000          -
2129.59/2135.10	c      2135          20452          45         1                -           0.0000          -
2134.87/2140.37	c      2140          20528          49         1                -           0.0000          -
2140.35/2145.84	c      2146          20601          46         1                -           0.0000          -
2145.55/2151.09	c      2151          20671          47         1                -           0.0000          -
2150.84/2156.30	c      2156          20756          52         1                -           0.0000          -
2156.12/2161.69	c      2162          20811          55         1                -           0.0000          -
2161.41/2166.91	c      2167          20882          52         1                -           0.0000          -
2167.00/2172.51	c      2173          20940          52         1                -           0.0000          -
2172.38/2177.91	c      2178          20978          46         1                -           0.0000          -
2177.87/2183.44	c      2183          21023          47         1                -           0.0000          -
2183.26/2188.85	c      2189          21084          46         1                -           0.0000          -
2188.74/2194.37	c      2194          21131          45         1                -           0.0000          -
2194.32/2199.96	c      2200          21172          45         1                -           0.0000          -
2200.01/2205.63	c      2206          21223          46         1                -           0.0000          -
2205.20/2210.89	c      2211          21298          44         1                -           0.0000          -
2210.50/2216.11	c      2216          21339          45         1                -           0.0000          -
2215.67/2221.38	c      2221          21386          45         1                -           0.0000          -
2221.16/2226.83	c      2227          21440          43         1                -           0.0000          -
2227.35/2233.02	c      2233          21490          45         1                -           0.0000          -
2233.44/2239.16	c      2239          21531          44         1                -           0.0000          -
2238.81/2244.57	c      2245          21582          43         1                -           0.0000          -
2244.41/2250.11	c      2250          21617          42         1                -           0.0000          -
2250.09/2255.88	c      2256          21660          43         1                -           0.0000          -
2255.48/2261.23	c      2261          21711          42         1                -           0.0000          -
2261.28/2267.03	c      2267          21755          42         1                -           0.0000          -
2267.36/2273.14	c      2273          21798          41         1                -           0.0000          -
2272.94/2278.71	c      2279          21838          44         1                -           0.0000          -
2278.62/2284.48	c      2284          21880          42         1                -           0.0000          -
2284.91/2290.75	c      2291          21926          44         1                -           0.0000          -
2290.79/2296.69	c      2297          21964          47         1                -           0.0000          -
2296.19/2302.07	c      2302          22000          47         1                -           0.0000          -
2301.87/2307.73	c      2308          22038          49         1                -           0.0000          -
2307.35/2313.25	c      2313          22075          48         1                -           0.0000          -
2313.04/2318.93	c      2319          22124          48         1                -           0.0000          -
2318.33/2324.29	c      2324          22163          50         1                -           0.0000          -
2323.91/2329.81	c      2330          22197          48         1                -           0.0000          -
2329.90/2335.83	c      2336          22232          46         1                -           0.0000          -
2335.49/2341.41	c      2341          22269          47         1                -           0.0000          -
2341.57/2347.51	c      2348          22294          48         1                -           0.0000          -
2347.07/2353.10	c      2353          22325          48         1                -           0.0000          -
2353.05/2359.08	c      2359          22349          48         1                -           0.0000          -
2358.14/2364.17	c      2364          22381          47         1                -           0.0000          -
2363.42/2369.48	c      2369          22430          45         1                -           0.0000          -
2369.11/2375.15	c      2375          22470          45         1                -           0.0000          -
2374.48/2380.50	c      2381          22494          45         1                -           0.0000          -
2380.56/2386.67	c      2387          22532          43         1                -           0.0000          -
2386.64/2392.70	c      2393          22574          41         1                -           0.0000          -
2392.23/2398.31	c      2398          22604          39         1                -           0.0000          -
2397.81/2403.92	c      2404          22652          43         1                -           0.0000          -
2403.48/2409.61	c      2410          22701          42         1                -           0.0000          -
2408.77/2415.01	c      2415          22775          42         1                -           0.0000          -
2414.26/2420.40	c      2420          22834          42         1                -           0.0000          -
2420.14/2426.35	c      2426          22899          43         1                -           0.0000          -
2425.53/2431.75	c      2432          22963          40         1                -           0.0000          -
2431.52/2437.72	c      2438          22998          43         1                -           0.0000          -
2437.11/2443.34	c      2443          23053          43         1                -           0.0000          -
2442.81/2449.09	c      2449          23096          42         1                -           0.0000          -
2448.38/2454.62	c      2455          23125          49         1                -           0.0000          -
2453.88/2460.13	c      2460          23183          51         1                -           0.0000          -
2459.15/2465.47	c      2465          23239          48         1                -           0.0000          -
2464.53/2470.88	c      2471          23309          49         1                -           0.0000          -
2469.92/2476.29	c      2476          23362          46         1                -           0.0000          -
2475.30/2481.61	c      2482          23418          48         1                -           0.0000          -
2480.80/2487.12	c      2487          23493          49         1                -           0.0000          -
2486.18/2492.57	c      2493          23544          49         1                -           0.0000          -
2491.57/2497.90	c      2498          23602          51         1                -           0.0000          -
2496.95/2503.39	c      2503          23672          48         1                -           0.0000          -
2502.24/2508.61	c      2509          23730          50         1                -           0.0000          -
2507.53/2513.95	c      2514          23773          47         1                -           0.0000          -
2512.73/2519.13	c      2519          23816          50         1                -           0.0000          -
2518.01/2524.45	c      2524          23875          46         1                -           0.0000          -
2523.71/2530.12	c      2530          23939          52         1                -           0.0000          -
2529.08/2535.50	c      2536          24016          52         1                -           0.0000          -
2534.77/2541.27	c      2541          24094          51         1                -           0.0000          -
2540.45/2546.90	c      2547          24155          47         1                -           0.0000          -
2545.94/2552.45	c      2552          24206          47         1                -           0.0000          -
2551.33/2557.82	c      2558          24243          45         1                -           0.0000          -
2556.31/2562.85	c      2563          24308          44         1                -           0.0000          -
2561.70/2568.22	c      2568          24340          46         1                -           0.0000          -
2566.99/2573.56	c      2574          24384          44         1                -           0.0000          -
2572.49/2579.06	c      2579          24436          46         1                -           0.0000          -
2577.66/2584.21	c      2584          24514          46         1                -           0.0000          -
2583.05/2589.61	c      2590          24569          45         1                -           0.0000          -
2588.55/2595.15	c      2595          24615          45         1                -           0.0000          -
2594.12/2600.72	c      2601          24680          46         1                -           0.0000          -
2599.71/2606.31	c      2606          24749          48         1                -           0.0000          -
2605.10/2611.70	c      2612          24784          49         1                -           0.0000          -
2610.58/2617.29	c      2617          24833          46         1                -           0.0000          -
2615.87/2622.54	c      2623          24903          44         1                -           0.0000          -
2621.16/2627.83	c      2628          24953          44         1                -           0.0000          -
2627.04/2633.74	c      2634          24979          52         1                -           0.0000          -
2632.53/2639.20	c      2639          25031          48         1                -           0.0000          -
2638.12/2644.85	c      2645          25076          53         1                -           0.0000          -
2643.42/2650.18	c      2650          25140          54         1                -           0.0000          -
2648.89/2655.68	c      2656          25195          52         1                -           0.0000          -
2654.18/2660.90	c      2661          25288          55         1                -           0.0000          -
2659.37/2666.14	c      2666          25403          57         1                -           0.0000          -
2664.45/2671.28	c      2671          25476          54         1                -           0.0000          -
2670.03/2676.83	c      2677          25528          54         1                -           0.0000          -
2675.23/2682.06	c      2682          25573          53         1                -           0.0000          -
2680.81/2687.63	c      2688          25636          54         1                -           0.0000          -
2686.10/2692.95	c      2693          25680          54         1                -           0.0000          -
2691.39/2698.24	c      2698          25730          54         1                -           0.0000          -
2696.78/2703.62	c      2704          25834          56         1                -           0.0000          -
2701.96/2708.82	c      2709          25926          54         1                -           0.0000          -
2707.65/2714.52	c      2715          25985          55         1                -           0.0000          -
2712.94/2719.82	c      2720          26052          54         1                -           0.0000          -
2718.23/2725.18	c      2725          26107          53         1                -           0.0000          -
2723.50/2730.43	c      2730          26147          53         1                -           0.0000          -
2728.79/2735.79	c      2736          26223          55         1                -           0.0000          -
2734.09/2741.02	c      2741          26299          53         1                -           0.0000          -
2739.46/2746.43	c      2746          26357          54         1                -           0.0000          -
2745.17/2752.15	c      2752          26410          57         1                -           0.0000          -
2750.64/2757.61	c      2758          26472          55         1                -           0.0000          -
2756.52/2763.50	c      2764          26521          54         1                -           0.0000          -
2761.81/2768.88	c      2769          26558          53         1                -           0.0000          -
2767.49/2774.57	c      2775          26605          50         1                -           0.0000          -
2772.99/2780.07	c      2780          26642          53         1                -           0.0000          -
2778.76/2785.80	c      2786          26689          52         1                -           0.0000          -
2784.15/2791.28	c      2791          26749          52         1                -           0.0000          -
2789.84/2796.90	c      2797          26789          50         1                -           0.0000          -
2795.52/2802.65	c      2803          26833          53         1                -           0.0000          -
2800.92/2808.09	c      2808          26884          54         1                -           0.0000          -
2806.20/2813.39	c      2813          26936          54         1                -           0.0000          -
2811.78/2818.94	c      2819          26987          53         1                -           0.0000          -
2816.98/2824.17	c      2824          27040          52         1                -           0.0000          -
2822.47/2829.68	c      2830          27087          55         1                -           0.0000          -
2827.75/2834.97	c      2835          27128          52         1                -           0.0000          -
2833.24/2840.43	c      2840          27184          50         1                -           0.0000          -
2839.13/2846.30	c      2846          27222          50         1                -           0.0000          -
2844.51/2851.74	c      2852          27268          50         1                -           0.0000          -
2850.00/2857.28	c      2857          27312          50         1                -           0.0000          -
2855.49/2862.72	c      2863          27357          54         1                -           0.0000          -
2860.67/2868.00	c      2868          27418          52         1                -           0.0000          -
2866.26/2873.60	c      2874          27474          53         1                -           0.0000          -
2871.86/2879.15	c      2879          27512          52         1                -           0.0000          -
2877.53/2884.84	c      2885          27546          50         1                -           0.0000          -
2882.83/2890.14	c      2890          27588          49         1                -           0.0000          -
2888.31/2895.68	c      2896          27621          48         1                -           0.0000          -
2893.90/2901.23	c      2901          27661          54         1                -           0.0000          -
2899.28/2906.62	c      2907          27709          52         1                -           0.0000          -
2904.46/2911.87	c      2912          27770          51         1                -           0.0000          -
2909.94/2917.34	c      2917          27820          49         1                -           0.0000          -
2915.43/2922.80	c      2923          27865          50         1                -           0.0000          -
2920.73/2928.19	c      2928          27919          52         1                -           0.0000          -
2926.40/2933.82	c      2934          27953          50         1                -           0.0000          -
2931.99/2939.47	c      2939          27998          51         1                -           0.0000          -
2937.48/2944.98	c      2945          28046          51         1                -           0.0000          -
2942.87/2950.36	c      2950          28093          52         1                -           0.0000          -
2948.35/2955.80	c      2956          28137          50         1                -           0.0000          -
2953.55/2961.10	c      2961          28181          52         1                -           0.0000          -
2959.12/2966.63	c      2967          28223          51         1                -           0.0000          -
2964.70/2972.25	c      2972          28258          52         1                -           0.0000          -
2970.09/2977.69	c      2978          28302          52         1                -           0.0000          -
2975.98/2983.51	c      2984          28340          52         1                -           0.0000          -
2981.36/2988.90	c      2989          28380          52         1                -           0.0000          -
2986.56/2994.15	c      2994          28422          50         1                -           0.0000          -
2991.73/2999.32	c      2999          28473          50         1                -           0.0000          -
2997.01/3004.62	c      3005          28516          51         1                -           0.0000          -
3002.42/3010.01	c      3010          28552          49         1                -           0.0000          -
3007.90/3015.50	c      3016          28585          48         1                -           0.0000          -
3013.50/3021.19	c      3021          28624          49         1                -           0.0000          -
3019.27/3026.95	c      3027          28664          46         1                -           0.0000          -
3024.75/3032.44	c      3032          28732          48         1                -           0.0000          -
3030.54/3038.26	c      3038          28779          53         1                -           0.0000          -
3036.02/3043.76	c      3044          28839          54         1                -           0.0000          -
3041.51/3049.24	c      3049          28889          52         1                -           0.0000          -
3046.99/3054.78	c      3055          28947          50         1                -           0.0000          -
3052.18/3059.95	c      3060          29006          57         1                -           0.0000          -
3057.28/3065.11	c      3065          29091          58         1                -           0.0000          -
3062.66/3070.46	c      3070          29166          58         1                -           0.0000          -
3067.95/3075.74	c      3076          29243          56         1                -           0.0000          -
3073.35/3081.15	c      3081          29299          57         1                -           0.0000          -
3078.82/3086.64	c      3087          29349          56         1                -           0.0000          -
3084.31/3092.18	c      3092          29423          59         1                -           0.0000          -
3089.49/3097.39	c      3097          29498          57         1                -           0.0000          -
3094.77/3102.64	c      3103          29589          55         1                -           0.0000          -
3100.06/3107.97	c      3108          29682          58         1                -           0.0000          -
3105.35/3113.26	c      3113          29766          57         1                -           0.0000          -
3110.74/3118.64	c      3119          29834          56         1                -           0.0000          -
3115.92/3123.85	c      3124          29908          57         1                -           0.0000          -
3121.12/3129.11	c      3129          29969          57         1                -           0.0000          -
3126.50/3134.44	c      3134          30032          54         1                -           0.0000          -
3131.68/3139.69	c      3140          30112          55         1                -           0.0000          -
3136.97/3144.93	c      3145          30184          55         1                -           0.0000          -
3142.25/3150.22	c      3150          30250          51         1                -           0.0000          -
3147.43/3155.43	c      3155          30315          54         1                -           0.0000          -
3152.62/3160.65	c      3161          30395          53         1                -           0.0000          -
3157.81/3165.80	c      3166          30475          57         1                -           0.0000          -
3163.00/3171.06	c      3171          30574          60         1                -           0.0000          -
3168.38/3176.48	c      3176          30649          56         1                -           0.0000          -
3173.77/3181.82	c      3182          30716          55         1                -           0.0000          -
3179.15/3187.23	c      3187          30774          55         1                -           0.0000          -
3184.55/3192.64	c      3193          30842          57         1                -           0.0000          -
3189.95/3198.06	c      3198          30905          58         1                -           0.0000          -
3195.32/3203.42	c      3203          30980          57         1                -           0.0000          -
3200.51/3208.62	c      3209          31043          54         1                -           0.0000          -
3205.80/3213.99	c      3214          31093          54         1                -           0.0000          -
3211.38/3219.51	c      3220          31143          54         1                -           0.0000          -
3217.06/3225.20	c      3225          31201          49         1                -           0.0000          -
3222.25/3230.43	c      3230          31271          53         1                -           0.0000          -
3227.44/3235.66	c      3236          31330          52         1                -           0.0000          -
3232.72/3240.98	c      3241          31389          53         1                -           0.0000          -
3238.11/3246.33	c      3246          31448          52         1                -           0.0000          -
3243.60/3251.83	c      3252          31515          51         1                -           0.0000          -
3248.79/3257.06	c      3257          31591          60         1                -           0.0000          -
3254.17/3262.40	c      3262          31658          59         1                -           0.0000          -
3259.45/3267.73	c      3268          31722          61         1                -           0.0000          -
3264.64/3273.01	c      3273          31808          57         1                -           0.0000          -
3270.02/3278.35	c      3278          31874          55         1                -           0.0000          -
3275.21/3283.54	c      3284          31920          57         1                -           0.0000          -
3280.51/3288.83	c      3289          31973          60         1                -           0.0000          -
3285.99/3294.30	c      3294          32025          54         1                -           0.0000          -
3291.08/3299.49	c      3300          32083          52         1                -           0.0000          -
3296.37/3304.75	c      3305          32154          57         1                -           0.0000          -
3301.55/3309.92	c      3310          32242          57         1                -           0.0000          -
3306.75/3315.16	c      3315          32326          55         1                -           0.0000          -
3312.03/3320.40	c      3320          32390          58         1                -           0.0000          -
3317.31/3325.70	c      3326          32476          56         1                -           0.0000          -
3322.61/3331.02	c      3331          32553          59         1                -           0.0000          -
3327.99/3336.45	c      3336          32617          59         1                -           0.0000          -
3333.58/3342.02	c      3342          32669          61         1                -           0.0000          -
3339.36/3347.83	c      3348          32711          59         1                -           0.0000          -
3344.83/3353.32	c      3353          32769          63         1                -           0.0000          -
3350.53/3359.03	c      3359          32818          60         1                -           0.0000          -
3355.91/3364.47	c      3364          32885          59         1                -           0.0000          -
3361.19/3369.76	c      3370          32947          58         1                -           0.0000          -
3366.49/3375.11	c      3375          32991          60         1                -           0.0000          -
3371.88/3380.44	c      3380          33037          60         1                -           0.0000          -
3377.06/3385.61	c      3386          33089          59         1                -           0.0000          -
3382.35/3390.91	c      3391          33120          58         1                -           0.0000          -
3387.84/3396.42	c      3396          33183          59         1                -           0.0000          -
3392.92/3401.57	c      3402          33234          60         1                -           0.0000          -
3398.31/3406.94	c      3407          33301          55         1                -           0.0000          -
3403.60/3412.25	c      3412          33381          57         1                -           0.0000          -
3409.08/3417.78	c      3418          33444          58         1                -           0.0000          -
3414.67/3423.33	c      3423          33496          58         1                -           0.0000          -
3419.96/3428.67	c      3429          33545          55         1                -           0.0000          -
3425.54/3434.20	c      3434          33598          54         1                -           0.0000          -
3430.93/3439.60	c      3440          33635          51         1                -           0.0000          -
3436.91/3445.66	c      3446          33679          55         1                -           0.0000          -
3442.89/3451.63	c      3452          33711          55         1                -           0.0000          -
3448.79/3457.52	c      3458          33780          55         1                -           0.0000          -
3454.47/3463.27	c      3463          33856          59         1                -           0.0000          -
3459.66/3468.49	c      3468          33936          57         1                -           0.0000          -
3465.04/3473.84	c      3474          34012          59         1                -           0.0000          -
3470.34/3479.15	c      3479          34076          56         1                -           0.0000          -
3476.11/3484.95	c      3485          34107          55         1                -           0.0000          -
3481.49/3490.39	c      3490          34160          54         1                -           0.0000          -
3487.29/3496.17	c      3496          34203          53         1                -           0.0000          -
3492.36/3501.25	c      3501          34224          60         1                -           0.0000          -
3497.55/3506.47	c      3506          34292          67         1                -           0.0000          -
3502.93/3511.82	c      3512          34359          68         1                -           0.0000          -
3508.42/3517.39	c      3517          34441          65         1                -           0.0000          -
3513.80/3522.78	c      3523          34509          65         1                -           0.0000          -
3519.10/3528.04	c      3528          34587          67         1                -           0.0000          -
3524.37/3533.38	c      3533          34657          66         1                -           0.0000          -
3529.66/3538.68	c      3539          34725          64         1                -           0.0000          -
3535.06/3544.09	c      3544          34803          62         1                -           0.0000          -
3540.33/3549.38	c      3549          34889          62         1                -           0.0000          -
3545.52/3554.51	c      3555          34952          67         1                -           0.0000          -
3550.60/3559.67	c      3560          35024          67         1                -           0.0000          -
3555.89/3564.93	c      3565          35106          65         1                -           0.0000          -
3561.47/3570.57	c      3571          35174          65         1                -           0.0000          -
3566.65/3575.74	c      3576          35234          65         1                -           0.0000          -
3572.14/3581.24	c      3581          35274          64         1                -           0.0000          -
3577.52/3586.65	c      3587          35339          65         1                -           0.0000          -
3582.92/3592.08	c      3592          35414          68         1                -           0.0000          -
3588.20/3597.34	c      3597          35479          67         1                -           0.0000          -
3588.91/3598.03	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.91/3598.03	c Total Time         : 3598.0400
3588.91/3598.03	c   solving          : 3598.0400
3588.91/3598.03	c   presolving       : 4.2599 (included in solving)
3588.91/3598.03	c B&B Tree           :
3588.91/3598.03	c   nodes (total)    : 1
3588.91/3598.03	c Solution           :
3588.91/3598.03	c   Solutions found  : 0
3588.91/3598.03	c   Primal Bound     :          -
3588.91/3598.03	c   Dual Bound       : +0.00000000000000e+00
3588.91/3598.03	c Gap                :          -
3588.91/3598.06	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: 64059 MiB (59918 MiB free)
  memory of node 1: 64510 MiB (58737 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=33352, runsolver pid=33349

[startup+0.100104 s]*
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121477164/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=47616 memory=36544 CPUtime=0.1 cores=4,6
/proc/33352/stat : 33352 (fscip) R 33349 33352 29084 0 -1 4194304 7212 0 0 0 9 1 0 0 20 0 1 0 5175028 48758784 9136 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 11904 9136 2662 3035 0 8300 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47616 KiB
Current children cumulated memory: 36544 KiB

[startup+0.213595 s]*
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121472936/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=51580 memory=40880 CPUtime=0.22 cores=4,6
/proc/33352/stat : 33352 (fscip) R 33349 33352 29084 0 -1 4194304 8435 0 0 0 21 1 0 0 20 0 1 0 5175028 52817920 10220 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 12895 10220 2742 3035 0 9291 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 51580 KiB
Current children cumulated memory: 40880 KiB

[startup+0.313551 s]*
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121463724/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=62180 memory=50100 CPUtime=0.31 cores=4,6
/proc/33352/stat : 33352 (fscip) R 33349 33352 29084 0 -1 4194304 10751 0 0 0 30 1 0 0 20 0 1 0 5175028 63672320 12525 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 15545 12525 2758 3035 0 11941 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 62180 KiB
Current children cumulated memory: 50100 KiB

[startup+0.700352 s]
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121462100/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=63452 memory=51420 CPUtime=0.68 cores=4,6
/proc/33352/stat : 33352 (fscip) R 33349 33352 29084 0 -1 4194304 11104 0 0 0 67 1 0 0 20 0 1 0 5175028 64974848 12855 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 15863 12855 2758 3035 0 12259 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63452 KiB
Current children cumulated memory: 51420 KiB

[startup+1.50036 s]
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121460756/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=65104 memory=53000 CPUtime=1.48 cores=4,6
/proc/33352/stat : 33352 (fscip) R 33349 33352 29084 0 -1 4194304 11487 0 0 0 147 1 0 0 20 0 1 0 5175028 66666496 13250 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 16276 13250 2758 3035 0 12672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65104 KiB
Current children cumulated memory: 53000 KiB

[startup+3.11329 s]
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121460532/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=65104 memory=53000 CPUtime=3.09 cores=4,6
/proc/33352/stat : 33352 (fscip) R 33349 33352 29084 0 -1 4194304 11487 0 0 0 308 1 0 0 20 0 1 0 5175028 66666496 13250 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 16276 13250 2758 3035 0 12672 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65104 KiB
Current children cumulated memory: 53000 KiB

[startup+6.3004 s]
/proc/loadavg: 4.09 4.16 4.26 5/253 33355
/proc/meminfo: memFree=121391520/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=195028 memory=123900 CPUtime=6.25 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 34664 0 0 0 619 6 0 0 20 0 3 0 5175028 199708672 30975 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 48757 30975 2950 3035 0 38201 0
[pid=33352/tid=33354] ppid=33349 vsize=195028 memory=-5155625799791504261 CPUtime=1.96 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 16738 0 0 0 193 3 0 0 20 0 3 0 5175457 199708672 30975 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=195028 memory=110148 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5175461 199708672 30975 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 195028 KiB
Current children cumulated memory: 123900 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.16 4.26 5/253 33356
/proc/meminfo: memFree=121385444/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=195028 memory=126508 CPUtime=12.59 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 39275 0 0 0 1253 6 0 0 20 0 3 0 5175028 199708672 31627 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 48757 31627 2966 3035 0 38802 0
[pid=33352/tid=33354] ppid=33349 vsize=195028 memory=11352 CPUtime=8.3 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 21335 0 0 0 827 3 0 0 20 0 3 0 5175457 199708672 31627 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=195028 memory=126504 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5175461 199708672 31627 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 195028 KiB
Current children cumulated memory: 126508 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.15 4.26 5/253 33406
/proc/meminfo: memFree=123783644/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=262444 memory=166880 CPUtime=25.29 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 76482 0 0 0 2519 10 0 0 20 0 3 0 5175028 268742656 41720 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 65611 41720 2982 3035 0 49303 0
[pid=33352/tid=33354] ppid=33349 vsize=262444 memory=166876 CPUtime=21 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 58521 0 0 0 2093 7 0 0 20 0 3 0 5175457 268742656 41720 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=262444 memory=166868 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5175461 268742656 41720 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 166880 KiB

[startup+51.1133 s]
/proc/loadavg: 4.09 4.15 4.25 5/255 33468
/proc/meminfo: memFree=123744580/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=262444 memory=169988 CPUtime=50.84 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 115497 0 0 0 5070 14 0 0 20 0 3 0 5175028 268742656 42497 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 65611 42497 3030 3035 0 51764 0
[pid=33352/tid=33354] ppid=33349 vsize=262444 memory=169980 CPUtime=46.55 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 97437 0 0 0 4644 11 0 0 20 0 3 0 5175457 268742656 42497 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=262444 memory=168248 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5175461 268742656 42497 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 169988 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.24 5/254 33478
/proc/meminfo: memFree=123652412/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=262444 memory=198108 CPUtime=101.9 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 174490 0 0 0 10170 20 0 0 20 0 3 0 5175028 268742656 49527 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 65611 49527 3030 3035 0 56647 0
[pid=33352/tid=33354] ppid=33349 vsize=262444 memory=11352 CPUtime=97.6 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 156315 0 0 0 9744 16 0 0 20 0 3 0 5175457 268742656 49527 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=262444 memory=11352 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 5175461 268742656 49527 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 198108 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.24 5/253 33489
/proc/meminfo: memFree=123478636/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=262444 memory=207388 CPUtime=161.76 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 214139 0 0 0 16153 23 0 0 20 0 3 0 5175028 268742656 51847 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 65611 51847 3030 3035 0 59186 0
[pid=33352/tid=33354] ppid=33349 vsize=262444 memory=201608 CPUtime=157.45 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 195895 0 0 0 15726 19 0 0 20 0 3 0 5175457 268742656 51847 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=262444 memory=11352 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 5175461 268742656 51847 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 207388 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.23 5/254 33501
/proc/meminfo: memFree=123400228/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=262444 memory=219496 CPUtime=221.6 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 253473 0 0 0 22133 27 0 0 20 0 3 0 5175028 268742656 54874 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 65611 54874 3030 3035 0 61986 0
[pid=33352/tid=33354] ppid=33349 vsize=262444 memory=207392 CPUtime=217.29 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 235149 0 0 0 21707 22 0 0 20 0 3 0 5175457 268742656 54874 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=262444 memory=219496 CPUtime=0 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 5175461 268742656 54874 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 262444 KiB
Current children cumulated memory: 219496 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.22 5/253 33511
/proc/meminfo: memFree=123335260/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=326100 memory=225084 CPUtime=281.45 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 279260 0 0 0 28116 29 0 0 20 0 3 0 5175028 333926400 56271 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 81525 56271 3030 3035 0 64419 0
[pid=33352/tid=33354] ppid=33349 vsize=326100 memory=225084 CPUtime=277.14 cores=4,6

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

/proc/33352/statm: 97909 75756 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=303012 CPUtime=3389.13 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 462196 0 0 0 338856 57 0 0 20 0 3 0 5175457 401035264 75756 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=11352 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 197 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75756 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303024 KiB

[startup+3462.3 s]
/proc/loadavg: 2.87 3.28 3.70 3/235 35148
/proc/meminfo: memFree=123447304/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303024 CPUtime=3453.57 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 482811 0 0 0 345282 75 0 0 20 0 3 0 5175028 401035264 75756 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75756 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=303012 CPUtime=3448.97 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 463234 0 0 0 344840 57 0 0 20 0 3 0 5175457 401035264 75756 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=303024 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 199 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75756 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303024 KiB

[startup+3522.3 s]
/proc/loadavg: 2.51 3.11 3.62 3/233 35159
/proc/meminfo: memFree=123432568/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3513.4 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 483938 0 0 0 351265 75 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=303024 CPUtime=3508.8 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 464345 0 0 0 350822 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=303248 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 201 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3582.3 s]
/proc/loadavg: 2.24 2.92 3.52 3/235 35340
/proc/meminfo: memFree=123408608/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3573.24 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484964 0 0 0 357248 76 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=303248 CPUtime=3568.63 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465353 0 0 0 356805 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=303248 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

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

# cumulated CPU time of all completed processes:  user=3588.19 s, system=0.782864 s

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

[startup+3584 s]*
/proc/loadavg: 2.24 2.92 3.52 3/235 35340
/proc/meminfo: memFree=123408020/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3574.94 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484983 0 0 0 357418 76 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=-7451605275046403703 CPUtime=3570.33 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465372 0 0 0 356975 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=-4421386483363112548 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3574.94 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3590.4 s]
/proc/loadavg: 2.22 2.90 3.51 3/235 35342
/proc/meminfo: memFree=123407792/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3581.31 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484996 0 0 0 358055 76 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=303248 CPUtime=3576.7 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465385 0 0 0 357612 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=303248 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3581.31 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3593.6 s]
/proc/loadavg: 2.20 2.89 3.50 3/235 35342
/proc/meminfo: memFree=123407484/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3584.5 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484998 0 0 0 358374 76 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=303248 CPUtime=3579.89 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465385 0 0 0 357931 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=303248 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3595.2 s]
/proc/loadavg: 2.20 2.89 3.50 3/235 35342
/proc/meminfo: memFree=123407092/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3586.1 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484998 0 0 0 358534 76 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=16744 CPUtime=3581.49 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465385 0 0 0 358091 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=303248 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3596.8 s]
/proc/loadavg: 2.18 2.87 3.49 3/235 35342
/proc/meminfo: memFree=123406532/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3587.7 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484999 0 0 0 358693 77 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=12220 CPUtime=3583.08 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465386 0 0 0 358250 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=5540 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3597.6 s]
/proc/loadavg: 2.18 2.87 3.49 3/235 35342
/proc/meminfo: memFree=123406168/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3588.5 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 484999 0 0 0 358773 77 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=11352 CPUtime=3583.88 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465386 0 0 0 358330 58 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=-7451605275046403703 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

[startup+3598 s]*
/proc/loadavg: 2.18 2.87 3.49 3/235 35342
/proc/meminfo: memFree=123405860/131655788 swapFree=131071996/131071996
[pid=33352] ppid=33349 vsize=391636 memory=303248 CPUtime=3588.91 cores=4,6
/proc/33352/stat : 33352 (fscip) S 33349 33352 29084 0 -1 1077936128 485015 0 0 0 358814 77 0 0 20 0 3 0 5175028 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
/proc/33352/statm: 97909 75812 3030 3035 0 78618 0
[pid=33352/tid=33354] ppid=33349 vsize=391636 memory=-7451605275046403703 CPUtime=3584.3 cores=4,6
/proc/33352/task/33354/stat : 33354 (fscip) R 33349 33352 29084 0 -1 4194368 465401 0 0 0 358371 59 0 0 20 0 3 0 5175457 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
[pid=33352/tid=33355] ppid=33349 vsize=391636 memory=7727171567181466222 CPUtime=0.05 cores=4,6
/proc/33352/task/33355/stat : 33355 (fscip) S 33349 33352 29084 0 -1 1077936192 203 0 0 0 2 3 0 0 20 0 3 0 5175461 401035264 75812 134679101440 4194304 16623229 140733974671520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 43102208 140733974676502 140733974676618 140733974676618 140733974683632 0
Current children cumulated CPU time: 3588.91 s
Current children cumulated vsize: 391636 KiB
Current children cumulated memory: 303248 KiB

Child status: 0

Real time (s): 3598.07
CPU time (s): 3588.98
CPU user time (s): 3588.19
CPU system time (s): 0.782864
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 391636
Max. memory (cumulated for all children) (KiB): 303248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.19
system time used= 0.782864
maximum resident set size= 303248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485506
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= 10224
involuntary context switches= 1832


# summary of solver processes directly reported to runsolver:
#   pid: 33352
#   total CPU time (s): 3588.98
#   total CPU user time (s): 3588.19
#   total CPU system time (s): 0.782864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4659 second user time and 35.2846 second system time

The end

Launcher Data

Begin job on nodeC002 at 2024-07-31 02:29:54
IDJOB=4464471
IDBENCH=158374
IDSOLVER=3092
FILE ID=nodeC002/4464471-1722385794
RUNJOBID= nodeC002-1722378594-29095
SLURM_JOB_ID= 8249832
Free space on /tmp= 723692 MiB

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

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

MD5SUM BENCH= 1befa42a441a3881696e6fa0e11864f5
RANDOM SEED=99795441

nodeC002.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	: 0xb00001f
cpu MHz		: 3602.525
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 3661.141
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
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	: 0xb00001f
cpu MHz		: 1197.273
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
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	: 0xb00001f
cpu MHz		: 3491.861
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 3633.122
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
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	: 0xb00001f
cpu MHz		: 1197.198
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 1197.222
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121503892 kB
MemAvailable:   126422164 kB
Buffers:          106660 kB
Cached:          5600644 kB
SwapCached:            0 kB
Active:           277780 kB
Inactive:        9315960 kB
Active(anon):       1908 kB
Inactive(anon):  3914060 kB
Active(file):     275872 kB
Inactive(file):  5401900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28516 kB
Writeback:             0 kB
AnonPages:       3886432 kB
Mapped:           128356 kB
Shmem:             29512 kB
KReclaimable:     161064 kB
Slab:             245636 kB
SReclaimable:     161064 kB
SUnreclaim:        84572 kB
KernelStack:        4064 kB
PageTables:        17308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2994196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7104 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1345536 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:      224072 kB
DirectMap2M:    19603456 kB
DirectMap1G:    116391936 kB

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