Trace number 4464468

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.57 3598.05

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K70.opb
MD5SUM50081d64c9df1fe5f37c653f2c9a5c32
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.475633
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3850
Total number of constraints3992
Number of constraints which are clauses3922
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint70
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 71
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 = 39620608, getVmSize() = 39620608, SCIPgetMemUsed() = 14276547, SCIPgetMemTotal() = 17720171, SCIPgetMemExternEstim() = 7505937
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.69/2.74	c ** Estimated virtualMemUsedAtSolver = 48151845, getVmSize() = 88637440, SCIPgetMemUsed() = 44214727, SCIPgetMemTotal() = 64721831, SCIPgetMemExternEstim() = 7505937
2.69/2.74	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.69/2.74	c Original Problem   :
2.69/2.74	c   Problem name     : instance-4464468-1722385794
2.69/2.74	c   Variables        : 3850 (3850 binary, 0 integer, 0 implicit integer, 0 continuous)
2.69/2.74	c   Constraints      : 3992
2.69/2.74	c   Objective sense  : minimize
2.69/2.74	c Presolved Problem  :
2.69/2.74	c   Variables        : 3051 (3051 binary, 0 integer, 0 implicit integer, 0 continuous)
2.69/2.74	c   Constraints      : 3165
2.69/2.74	c Constraints        : Number
2.69/2.74	c   setppc           : 649 
2.69/2.74	c   logicor          : 2516 
2.69/2.74	c ** Instance transfer method used: 0
2.69/2.75	c ** ParaScipInstance copy does not increase the number of variables. **
2.69/2.76	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.69/2.76	c                                Nodes    Active                                            
2.69/2.76	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
30.20/30.32	c        30              2           1         1                -           0.0000          -
35.79/35.99	c        36             11          10         1                -           0.0000          -
46.35/46.57	c        47             43          16         1                -           0.0000          -
81.46/81.78	c        82             52          23         1                -           0.0000          -
87.15/87.40	c        87             57          26         1                -           0.0000          -
93.04/93.32	c        93             84          31         1                -           0.0000          -
98.73/99.02	c        99             88          35         1                -           0.0000          -
105.31/105.62	c       106             99          40         1                -           0.0000          -
110.80/111.18	c       111            107          48         1                -           0.0000          -
116.37/116.73	c       117            117          54         1                -           0.0000          -
122.26/122.60	c       123            131          64         1                -           0.0000          -
127.75/128.18	c       128            132          65         1                -           0.0000          -
133.63/134.09	c       134            149          70         1                -           0.0000          -
140.42/140.88	c       141            188          77         1                -           0.0000          -
146.20/146.62	c       147            251          76         1                -           0.0000          -
153.48/153.98	c       154            314          82         1                -           0.0000          -
159.36/159.82	c       160            379          81         1                -           0.0000          -
164.75/165.21	c       165            424          86         1                -           0.0000          -
170.13/170.67	c       171            475          85         1                -           0.0000          -
175.53/176.03	c       176            531          83         1                -           0.0000          -
181.01/181.53	c       182            585          81         1                -           0.0000          -
186.19/186.73	c       187            607          83         1                -           0.0000          -
191.98/192.59	c       193            652          84         1                -           0.0000          -
197.57/198.15	c       198            697          87         1                -           0.0000          -
202.95/203.51	c       204            775          87         1                -           0.0000          -
208.24/208.83	c       209            852          86         1                -           0.0000          -
213.62/214.23	c       214            932          88         1                -           0.0000          -
218.91/219.53	c       220           1028          92         1                -           0.0000          -
224.50/225.16	c       225           1091          91         1                -           0.0000          -
229.68/230.38	c       230           1170          90         1                -           0.0000          -
235.27/235.92	c       236           1231          87         1                -           0.0000          -
240.56/241.22	c       241           1292          86         1                -           0.0000          -
245.74/246.43	c       246           1355          87         1                -           0.0000          -
250.92/251.67	c       252           1410          88         1                -           0.0000          -
256.41/257.17	c       257           1468          88         1                -           0.0000          -
261.60/262.39	c       262           1532          88         1                -           0.0000          -
267.09/267.86	c       268           1593          85         1                -           0.0000          -
272.38/273.10	c       273           1662          86         1                -           0.0000          -
277.66/278.41	c       278           1708          86         1                -           0.0000          -
282.95/283.79	c       284           1758          86         1                -           0.0000          -
292.53/293.30	c       293           1776          84         1                -           0.0000          -
297.81/298.64	c       299           1833          86         1                -           0.0000          -
303.39/304.27	c       304           1875          86         1                -           0.0000          -
321.85/322.70	c       323           1883           1         1                -           0.0000          -
327.63/328.52	c       329           1922          16         1                -           0.0000          -
332.92/333.84	c       334           1980          16         1                -           0.0000          -
338.21/339.15	c       339           2047          15         1                -           0.0000          -
343.49/344.43	c       344           2111          18         1                -           0.0000          -
348.97/349.93	c       350           2177          17         1                -           0.0000          -
355.45/356.49	c       356           2197          19         1                -           0.0000          -
360.94/361.90	c       362           2260          20         1                -           0.0000          -
366.42/367.41	c       367           2307          18         1                -           0.0000          -
372.51/373.52	c       374           2368          19         1                -           0.0000          -
377.79/378.88	c       379           2399          22         1                -           0.0000          -
383.78/384.88	c       385           2429          22         1                -           0.0000          -
389.56/390.64	c       391           2486          27         1                -           0.0000          -
395.25/396.33	c       396           2532          27         1                -           0.0000          -
400.63/401.77	c       402           2578          29         1                -           0.0000          -
406.02/407.17	c       407           2626          25         1                -           0.0000          -
411.61/412.76	c       413           2682          25         1                -           0.0000          -
417.20/418.35	c       418           2726          23         1                -           0.0000          -
422.58/423.79	c       424           2778          23         1                -           0.0000          -
428.27/429.45	c       429           2832          26         1                -           0.0000          -
434.35/435.50	c       436           2869          21         1                -           0.0000          -
439.64/440.88	c       441           2926          24         1                -           0.0000          -
445.32/446.53	c       447           2975          25         1                -           0.0000          -
450.51/451.72	c       452           3046          23         1                -           0.0000          -
455.90/457.14	c       457           3109          22         1                -           0.0000          -
461.29/462.58	c       463           3158          29         1                -           0.0000          -
466.67/467.92	c       468           3220          25         1                -           0.0000          -
471.95/473.23	c       473           3290          23         1                -           0.0000          -
477.14/478.49	c       478           3347          25         1                -           0.0000          -
482.43/483.77	c       484           3414          26         1                -           0.0000          -
487.82/489.10	c       489           3469          27         1                -           0.0000          -
492.90/494.27	c       494           3528          26         1                -           0.0000          -
498.39/499.74	c       500           3576          24         1                -           0.0000          -
503.58/504.90	c       505           3629          27         1                -           0.0000          -
508.96/510.30	c       510           3693          23         1                -           0.0000          -
514.05/515.42	c       515           3731          27         1                -           0.0000          -
519.34/520.79	c       521           3778          22         1                -           0.0000          -
525.02/526.41	c       526           3838          22         1                -           0.0000          -
530.30/531.74	c       532           3887          21         1                -           0.0000          -
535.80/537.21	c       537           3936          20         1                -           0.0000          -
540.98/542.48	c       542           3993          21         1                -           0.0000          -
546.47/547.96	c       548           4054          20         1                -           0.0000          -
551.85/553.33	c       553           4111          19         1                -           0.0000          -
557.24/558.74	c       559           4169          19         1                -           0.0000          -
562.53/564.09	c       564           4218          24         1                -           0.0000          -
568.31/569.83	c       570           4276          26         1                -           0.0000          -
573.89/575.42	c       575           4328          22         1                -           0.0000          -
579.18/580.76	c       581           4376          22         1                -           0.0000          -
584.57/586.10	c       586           4420          20         1                -           0.0000          -
589.94/591.59	c       592           4457          23         1                -           0.0000          -
595.43/597.03	c       597           4502          22         1                -           0.0000          -
600.72/602.34	c       602           4550          20         1                -           0.0000          -
606.11/607.76	c       608           4595          19         1                -           0.0000          -
611.29/612.93	c       613           4659          22         1                -           0.0000          -
616.68/618.38	c       618           4726          29         1                -           0.0000          -
621.96/623.62	c       624           4801          24         1                -           0.0000          -
627.15/628.90	c       629           4877          22         1                -           0.0000          -
632.53/634.27	c       634           4940          21         1                -           0.0000          -
637.71/639.48	c       639           5041          20         1                -           0.0000          -
643.50/645.21	c       645           5104          23         1                -           0.0000          -
648.69/650.47	c       650           5160          23         1                -           0.0000          -
654.27/656.02	c       656           5211          23         1                -           0.0000          -
659.55/661.32	c       661           5285          26         1                -           0.0000          -
665.34/667.12	c       667           5345          28         1                -           0.0000          -
670.72/672.52	c       673           5412          23         1                -           0.0000          -
675.80/677.67	c       678           5478          22         1                -           0.0000          -
681.09/682.92	c       683           5558          20         1                -           0.0000          -
686.28/688.11	c       688           5624          20         1                -           0.0000          -
691.56/693.45	c       693           5665          19         1                -           0.0000          -
696.94/698.88	c       699           5729          23         1                -           0.0000          -
702.32/704.26	c       704           5792          20         1                -           0.0000          -
707.82/709.74	c       710           5840          18         1                -           0.0000          -
713.10/715.04	c       715           5895          20         1                -           0.0000          -
718.48/720.49	c       720           5948          21         1                -           0.0000          -
724.26/726.22	c       726           6017          25         1                -           0.0000          -
729.55/731.50	c       732           6081          23         1                -           0.0000          -
734.73/736.74	c       737           6145          23         1                -           0.0000          -
740.02/742.01	c       742           6225          23         1                -           0.0000          -
747.30/749.38	c       749           6248          26         1                -           0.0000          -
752.59/754.64	c       755           6306          26         1                -           0.0000          -
757.87/759.92	c       760           6375          27         1                -           0.0000          -
763.16/765.21	c       765           6448          26         1                -           0.0000          -
768.34/770.45	c       770           6527          27         1                -           0.0000          -
773.73/775.81	c       776           6616          27         1                -           0.0000          -
778.92/781.02	c       781           6711          27         1                -           0.0000          -
784.30/786.41	c       786           6773          27         1                -           0.0000          -
789.48/791.64	c       792           6843          27         1                -           0.0000          -
794.87/797.00	c       797           6904          28         1                -           0.0000          -
800.15/802.30	c       802           6966          28         1                -           0.0000          -
805.43/807.65	c       808           7030          24         1                -           0.0000          -
810.72/812.93	c       813           7073          25         1                -           0.0000          -
815.91/818.13	c       818           7133          27         1                -           0.0000          -
821.49/823.78	c       824           7197          27         1                -           0.0000          -
826.97/829.20	c       829           7254          26         1                -           0.0000          -
832.26/834.52	c       835           7306          24         1                -           0.0000          -
838.04/840.31	c       840           7354          24         1                -           0.0000          -
843.42/845.76	c       846           7420          26         1                -           0.0000          -
848.61/850.92	c       851           7494          28         1                -           0.0000          -
853.99/856.34	c       856           7558          28         1                -           0.0000          -
859.18/861.56	c       862           7621          29         1                -           0.0000          -
864.77/867.12	c       867           7683          27         1                -           0.0000          -
870.24/872.62	c       873           7744          26         1                -           0.0000          -
875.43/877.89	c       878           7812          22         1                -           0.0000          -
880.81/883.25	c       883           7871          25         1                -           0.0000          -
886.10/888.53	c       889           7931          25         1                -           0.0000          -
891.49/893.95	c       894           7986          24         1                -           0.0000          -
896.68/899.16	c       899           8034          24         1                -           0.0000          -
902.26/904.74	c       905           8082          24         1                -           0.0000          -
907.55/910.08	c       910           8141          22         1                -           0.0000          -
912.93/915.44	c       915           8189          21         1                -           0.0000          -
918.41/920.91	c       921           8252          22         1                -           0.0000          -
923.60/926.16	c       926           8323          21         1                -           0.0000          -
928.98/931.54	c       932           8395          22         1                -           0.0000          -
934.26/936.81	c       937           8455          20         1                -           0.0000          -
940.04/942.65	c       943           8512          25         1                -           0.0000          -
945.43/948.01	c       948           8568          25         1                -           0.0000          -
950.52/953.19	c       953           8633          22         1                -           0.0000          -
955.80/958.46	c       958           8694          26         1                -           0.0000          -
961.29/963.93	c       964           8739          19         1                -           0.0000          -
966.77/969.45	c       969           8791          19         1                -           0.0000          -
972.26/974.96	c       975           8839          21         1                -           0.0000          -
977.64/980.34	c       980           8897          23         1                -           0.0000          -
983.33/986.00	c       986           8969          21         1                -           0.0000          -
988.51/991.22	c       991           9032          24         1                -           0.0000          -
993.69/996.40	c       996           9104          24         1                -           0.0000          -
998.98/1001.71	c      1002           9167          22         1                -           0.0000          -
1004.27/1007.07	c      1007           9232          24         1                -           0.0000          -
1009.54/1012.32	c      1012           9300          23         1                -           0.0000          -
1014.94/1017.72	c      1018           9355          21         1                -           0.0000          -
1020.32/1023.11	c      1023           9398          21         1                -           0.0000          -
1025.90/1028.73	c      1029           9449          20         1                -           0.0000          -
1030.99/1033.89	c      1034           9499          22         1                -           0.0000          -
1036.18/1039.08	c      1039           9561          26         1                -           0.0000          -
1041.75/1044.63	c      1045           9619          24         1                -           0.0000          -
1047.04/1049.94	c      1050           9671          24         1                -           0.0000          -
1052.42/1055.37	c      1055           9727          28         1                -           0.0000          -
1058.00/1061.00	c      1061           9788          25         1                -           0.0000          -
1063.49/1066.45	c      1066           9849          24         1                -           0.0000          -
1068.78/1071.76	c      1072           9894          25         1                -           0.0000          -
1074.26/1077.26	c      1077           9952          23         1                -           0.0000          -
1079.94/1082.93	c      1083           9998          25         1                -           0.0000          -
1085.42/1088.47	c      1088          10055          22         1                -           0.0000          -
1090.81/1093.80	c      1094          10116          23         1                -           0.0000          -
1096.00/1099.06	c      1099          10173          26         1                -           0.0000          -
1101.48/1104.51	c      1105          10231          25         1                -           0.0000          -
1106.76/1109.89	c      1110          10291          21         1                -           0.0000          -
1112.05/1115.19	c      1115          10339          29         1                -           0.0000          -
1117.64/1120.73	c      1121          10391          23         1                -           0.0000          -
1122.82/1125.96	c      1126          10460          26         1                -           0.0000          -
1128.01/1131.12	c      1131          10540          25         1                -           0.0000          -
1133.09/1136.26	c      1136          10624          29         1                -           0.0000          -
1138.37/1141.50	c      1142          10702          32         1                -           0.0000          -
1143.56/1146.78	c      1147          10774          32         1                -           0.0000          -
1148.94/1152.14	c      1152          10844          30         1                -           0.0000          -
1154.13/1157.35	c      1157          10922          26         1                -           0.0000          -
1159.32/1162.55	c      1163          10998          24         1                -           0.0000          -
1164.81/1168.09	c      1168          11057          23         1                -           0.0000          -
1170.09/1173.33	c      1173          11106          28         1                -           0.0000          -
1175.37/1178.65	c      1179          11168          23         1                -           0.0000          -
1180.76/1184.08	c      1184          11234          27         1                -           0.0000          -
1186.24/1189.58	c      1190          11302          25         1                -           0.0000          -
1191.73/1195.07	c      1195          11362          27         1                -           0.0000          -
1197.01/1200.32	c      1200          11417          26         1                -           0.0000          -
1202.39/1205.72	c      1206          11485          26         1                -           0.0000          -
1207.77/1211.13	c      1211          11557          26         1                -           0.0000          -
1212.96/1216.30	c      1216          11621          26         1                -           0.0000          -
1218.14/1221.52	c      1222          11680          29         1                -           0.0000          -
1223.33/1226.79	c      1227          11753          26         1                -           0.0000          -
1228.72/1232.14	c      1232          11818          25         1                -           0.0000          -
1234.10/1237.51	c      1238          11880          24         1                -           0.0000          -
1239.40/1242.85	c      1243          11928          26         1                -           0.0000          -
1244.69/1248.12	c      1248          11985          27         1                -           0.0000          -
1250.37/1253.85	c      1254          12028          26         1                -           0.0000          -
1255.85/1259.32	c      1259          12086          28         1                -           0.0000          -
1261.04/1264.51	c      1265          12160          28         1                -           0.0000          -
1266.33/1269.88	c      1270          12232          27         1                -           0.0000          -
1271.52/1275.07	c      1275          12288          30         1                -           0.0000          -
1276.81/1280.33	c      1280          12349          31         1                -           0.0000          -
1281.90/1285.49	c      1285          12427          28         1                -           0.0000          -
1287.28/1290.86	c      1291          12485          29         1                -           0.0000          -
1292.97/1296.56	c      1297          12531          28         1                -           0.0000          -
1298.26/1301.80	c      1302          12595          26         1                -           0.0000          -
1303.55/1307.16	c      1307          12666          26         1                -           0.0000          -
1308.83/1312.49	c      1312          12724          28         1                -           0.0000          -
1314.32/1317.94	c      1318          12784          28         1                -           0.0000          -
1319.70/1323.32	c      1323          12836          30         1                -           0.0000          -
1324.89/1328.51	c      1329          12886          28         1                -           0.0000          -
1330.18/1333.80	c      1334          12954          30         1                -           0.0000          -
1335.37/1339.02	c      1339          13012          30         1                -           0.0000          -
1340.85/1344.53	c      1345          13079          27         1                -           0.0000          -
1346.13/1349.81	c      1350          13136          27         1                -           0.0000          -
1351.62/1355.30	c      1355          13176          26         1                -           0.0000          -
1356.81/1360.59	c      1361          13228          26         1                -           0.0000          -
1362.00/1365.70	c      1366          13295          29         1                -           0.0000          -
1368.09/1371.80	c      1372          13352          28         1                -           0.0000          -
1373.87/1377.61	c      1378          13409          25         1                -           0.0000          -
1379.16/1382.95	c      1383          13448          34         1                -           0.0000          -
1384.45/1388.27	c      1388          13513          32         1                -           0.0000          -
1389.73/1393.51	c      1394          13575          30         1                -           0.0000          -
1395.12/1398.97	c      1399          13631          29         1                -           0.0000          -
1400.41/1404.23	c      1404          13690          30         1                -           0.0000          -
1405.79/1409.67	c      1410          13745          33         1                -           0.0000          -
1411.18/1415.00	c      1415          13805          32         1                -           0.0000          -
1416.37/1420.28	c      1420          13867          34         1                -           0.0000          -
1421.65/1425.51	c      1426          13929          40         1                -           0.0000          -
1427.14/1431.00	c      1431          13986          37         1                -           0.0000          -
1432.62/1436.51	c      1437          14037          34         1                -           0.0000          -
1438.01/1441.98	c      1442          14080          33         1                -           0.0000          -
1443.49/1447.43	c      1447          14123          32         1                -           0.0000          -
1448.98/1452.92	c      1453          14171          34         1                -           0.0000          -
1454.17/1458.15	c      1458          14219          33         1                -           0.0000          -
1459.35/1463.38	c      1463          14287          33         1                -           0.0000          -
1464.64/1468.64	c      1469          14362          34         1                -           0.0000          -
1469.83/1473.86	c      1474          14422          35         1                -           0.0000          -
1475.31/1479.37	c      1479          14470          35         1                -           0.0000          -
1480.50/1484.58	c      1485          14536          37         1                -           0.0000          -
1485.69/1489.79	c      1490          14587          37         1                -           0.0000          -
1491.18/1495.22	c      1495          14646          35         1                -           0.0000          -
1496.46/1500.59	c      1501          14703          32         1                -           0.0000          -
1501.65/1505.70	c      1506          14774          35         1                -           0.0000          -
1507.04/1511.13	c      1511          14841          34         1                -           0.0000          -
1512.42/1516.51	c      1517          14901          32         1                -           0.0000          -
1517.91/1522.03	c      1522          14958          32         1                -           0.0000          -
1523.90/1528.05	c      1528          14998          36         1                -           0.0000          -
1529.39/1533.51	c      1534          15047          37         1                -           0.0000          -
1534.77/1538.93	c      1539          15110          38         1                -           0.0000          -
1540.16/1544.37	c      1544          15188          36         1                -           0.0000          -
1545.55/1549.76	c      1550          15267          34         1                -           0.0000          -
1550.84/1555.03	c      1555          15333          34         1                -           0.0000          -
1556.02/1560.27	c      1560          15388          35         1                -           0.0000          -
1561.30/1565.57	c      1566          15458          35         1                -           0.0000          -
1566.49/1570.75	c      1571          15524          35         1                -           0.0000          -
1571.78/1576.01	c      1576          15602          35         1                -           0.0000          -
1576.87/1581.19	c      1581          15678          33         1                -           0.0000          -
1582.05/1586.36	c      1586          15740          37         1                -           0.0000          -
1587.44/1591.70	c      1592          15812          36         1                -           0.0000          -
1592.72/1597.06	c      1597          15873          40         1                -           0.0000          -
1598.21/1602.50	c      1602          15930          35         1                -           0.0000          -
1603.29/1607.68	c      1608          15985          36         1                -           0.0000          -
1608.88/1613.24	c      1613          16050          35         1                -           0.0000          -
1614.17/1618.51	c      1619          16112          35         1                -           0.0000          -
1619.46/1623.89	c      1624          16162          31         1                -           0.0000          -
1624.84/1629.20	c      1629          16207          32         1                -           0.0000          -
1630.23/1634.67	c      1635          16254          33         1                -           0.0000          -
1635.52/1639.91	c      1640          16307          34         1                -           0.0000          -
1640.90/1645.35	c      1645          16364          31         1                -           0.0000          -
1646.19/1650.60	c      1651          16426          31         1                -           0.0000          -
1651.68/1656.13	c      1656          16485          29         1                -           0.0000          -
1657.36/1661.84	c      1662          16534          31         1                -           0.0000          -
1662.65/1667.14	c      1667          16577          31         1                -           0.0000          -
1668.24/1672.77	c      1673          16621          31         1                -           0.0000          -
1673.72/1678.21	c      1678          16669          30         1                -           0.0000          -
1678.81/1683.36	c      1683          16716          32         1                -           0.0000          -
1684.19/1688.71	c      1689          16762          31         1                -           0.0000          -
1689.49/1694.03	c      1694          16810          33         1                -           0.0000          -
1694.87/1699.49	c      1699          16863          32         1                -           0.0000          -
1700.16/1704.76	c      1705          16924          33         1                -           0.0000          -
1705.55/1710.11	c      1710          16987          30         1                -           0.0000          -
1710.93/1715.58	c      1716          17034          30         1                -           0.0000          -
1716.31/1720.97	c      1721          17072          30         1                -           0.0000          -
1722.09/1726.71	c      1727          17107          35         1                -           0.0000          -
1727.67/1732.32	c      1732          17146          38         1                -           0.0000          -
1733.47/1738.15	c      1738          17193          37         1                -           0.0000          -
1738.65/1743.38	c      1743          17236          38         1                -           0.0000          -
1744.13/1748.84	c      1749          17272          36         1                -           0.0000          -
1749.81/1754.56	c      1755          17311          36         1                -           0.0000          -
1755.09/1759.83	c      1760          17357          34         1                -           0.0000          -
1760.67/1765.40	c      1765          17400          34         1                -           0.0000          -
1765.95/1770.73	c      1771          17450          34         1                -           0.0000          -
1771.44/1776.25	c      1776          17510          33         1                -           0.0000          -
1776.72/1781.54	c      1782          17564          33         1                -           0.0000          -
1781.81/1786.69	c      1787          17597          36         1                -           0.0000          -
1787.30/1792.13	c      1792          17648          33         1                -           0.0000          -
1792.58/1797.45	c      1797          17702          32         1                -           0.0000          -
1798.76/1803.63	c      1804          17730          30         1                -           0.0000          -
1804.15/1809.01	c      1809          17779          38         1                -           0.0000          -
1809.92/1814.81	c      1815          17819          36         1                -           0.0000          -
1815.30/1820.27	c      1820          17859          34         1                -           0.0000          -
1820.59/1825.53	c      1826          17901          36         1                -           0.0000          -
1825.97/1830.94	c      1831          17949          34         1                -           0.0000          -
1831.06/1836.08	c      1836          17979          36         1                -           0.0000          -
1836.64/1841.60	c      1842          18024          33         1                -           0.0000          -
1841.82/1846.87	c      1847          18061          34         1                -           0.0000          -
1847.21/1852.28	c      1852          18105          30         1                -           0.0000          -
1853.19/1858.26	c      1858          18155          29         1                -           0.0000          -
1858.77/1863.80	c      1864          18198          28         1                -           0.0000          -
1863.76/1868.81	c      1869          18235          26         1                -           0.0000          -
1869.14/1874.25	c      1874          18287          26         1                -           0.0000          -
1874.63/1879.74	c      1880          18343          26         1                -           0.0000          -
1879.92/1885.00	c      1885          18399          26         1                -           0.0000          -
1885.29/1890.46	c      1890          18479          27         1                -           0.0000          -
1890.68/1895.81	c      1896          18549          27         1                -           0.0000          -
1896.06/1901.24	c      1901          18622          28         1                -           0.0000          -
1901.34/1906.57	c      1907          18683          29         1                -           0.0000          -
1906.62/1911.82	c      1912          18737          29         1                -           0.0000          -
1912.01/1917.21	c      1917          18786          23         1                -           0.0000          -
1917.49/1922.74	c      1923          18818          25         1                -           0.0000          -
1922.78/1928.04	c      1928          18883          30         1                -           0.0000          -
1927.96/1933.23	c      1933          18935          31         1                -           0.0000          -
1933.14/1938.44	c      1938          18995          30         1                -           0.0000          -
1938.62/1943.90	c      1944          19065          26         1                -           0.0000          -
1944.01/1949.36	c      1949          19139          23         1                -           0.0000          -
1949.50/1954.84	c      1955          19181          25         1                -           0.0000          -
1954.79/1960.14	c      1960          19223          23         1                -           0.0000          -
1960.46/1965.82	c      1966          19266          26         1                -           0.0000          -
1965.75/1971.16	c      1971          19314          26         1                -           0.0000          -
1971.13/1976.52	c      1977          19364          27         1                -           0.0000          -
1976.51/1981.90	c      1982          19412          29         1                -           0.0000          -
1981.70/1987.16	c      1987          19470          31         1                -           0.0000          -
1986.88/1992.38	c      1992          19533          26         1                -           0.0000          -
1992.36/1997.88	c      1998          19592          27         1                -           0.0000          -
1997.65/2003.12	c      2003          19653          24         1                -           0.0000          -
2003.13/2008.66	c      2009          19699          24         1                -           0.0000          -
2008.61/2014.15	c      2014          19741          22         1                -           0.0000          -
2013.89/2019.49	c      2019          19794          23         1                -           0.0000          -
2019.17/2024.72	c      2025          19843          24         1                -           0.0000          -
2024.36/2029.97	c      2030          19891          23         1                -           0.0000          -
2029.55/2035.18	c      2035          19946          24         1                -           0.0000          -
2035.13/2040.76	c      2041          19983          23         1                -           0.0000          -
2040.61/2046.24	c      2046          20039          21         1                -           0.0000          -
2045.81/2051.46	c      2051          20080          22         1                -           0.0000          -
2051.50/2057.15	c      2057          20124          22         1                -           0.0000          -
2056.68/2062.38	c      2062          20161          19         1                -           0.0000          -
2062.06/2067.77	c      2068          20180          20         1                -           0.0000          -
2067.75/2073.42	c      2073          20214          20         1                -           0.0000          -
2073.04/2078.75	c      2079          20258          19         1                -           0.0000          -
2078.33/2084.09	c      2084          20316          25         1                -           0.0000          -
2083.71/2089.49	c      2089          20371          30         1                -           0.0000          -
2088.79/2094.57	c      2095          20435          26         1                -           0.0000          -
2094.08/2099.89	c      2100          20523          26         1                -           0.0000          -
2099.37/2105.16	c      2105          20581          26         1                -           0.0000          -
2104.76/2110.51	c      2111          20642          25         1                -           0.0000          -
2110.15/2115.90	c      2116          20698          25         1                -           0.0000          -
2115.73/2121.54	c      2122          20762          25         1                -           0.0000          -
2121.01/2126.87	c      2127          20825          24         1                -           0.0000          -
2126.60/2132.49	c      2132          20863          24         1                -           0.0000          -
2132.38/2138.22	c      2138          20890          23         1                -           0.0000          -
2137.77/2143.68	c      2144          20906          23         1                -           0.0000          -
2143.65/2149.57	c      2150          20939          24         1                -           0.0000          -
2149.44/2155.32	c      2155          20990          25         1                -           0.0000          -
2154.93/2160.87	c      2161          21046          25         1                -           0.0000          -
2160.12/2166.07	c      2166          21097          26         1                -           0.0000          -
2165.90/2171.84	c      2172          21153          26         1                -           0.0000          -
2171.69/2177.68	c      2178          21207          26         1                -           0.0000          -
2177.18/2183.11	c      2183          21260          27         1                -           0.0000          -
2182.56/2188.50	c      2188          21307          26         1                -           0.0000          -
2187.65/2193.69	c      2194          21356          25         1                -           0.0000          -
2193.33/2199.31	c      2199          21414          25         1                -           0.0000          -
2198.72/2204.73	c      2205          21461          24         1                -           0.0000          -
2204.11/2210.16	c      2210          21498          23         1                -           0.0000          -
2209.39/2215.40	c      2215          21527          24         1                -           0.0000          -
2214.78/2220.81	c      2221          21565          24         1                -           0.0000          -
2220.46/2226.54	c      2227          21612          26         1                -           0.0000          -
2226.25/2232.32	c      2232          21658          26         1                -           0.0000          -
2232.05/2238.17	c      2238          21701          27         1                -           0.0000          -
2237.53/2243.65	c      2244          21735          23         1                -           0.0000          -
2243.11/2249.27	c      2249          21769          25         1                -           0.0000          -
2248.90/2255.01	c      2255          21805          25         1                -           0.0000          -
2254.38/2260.52	c      2261          21840          22         1                -           0.0000          -
2259.77/2265.92	c      2266          21883          25         1                -           0.0000          -
2265.06/2271.22	c      2271          21958          28         1                -           0.0000          -
2270.24/2276.46	c      2276          22028          28         1                -           0.0000          -
2275.63/2281.83	c      2282          22099          23         1                -           0.0000          -
2281.21/2287.41	c      2287          22145          25         1                -           0.0000          -
2286.50/2292.77	c      2293          22235          24         1                -           0.0000          -
2291.79/2298.05	c      2298          22299          22         1                -           0.0000          -
2296.97/2303.24	c      2303          22375          26         1                -           0.0000          -
2302.06/2308.38	c      2308          22427          24         1                -           0.0000          -
2307.35/2313.65	c      2314          22473          24         1                -           0.0000          -
2312.94/2319.20	c      2319          22522          23         1                -           0.0000          -
2318.33/2324.61	c      2325          22583          26         1                -           0.0000          -
2323.51/2329.85	c      2330          22643          24         1                -           0.0000          -
2328.80/2335.15	c      2335          22694          23         1                -           0.0000          -
2333.98/2340.36	c      2340          22742          25         1                -           0.0000          -
2339.27/2345.63	c      2346          22792          25         1                -           0.0000          -
2344.85/2351.29	c      2351          22844          23         1                -           0.0000          -
2350.24/2356.63	c      2357          22889          24         1                -           0.0000          -
2355.82/2362.20	c      2362          22944          23         1                -           0.0000          -
2361.12/2367.59	c      2368          23001          22         1                -           0.0000          -
2366.40/2372.89	c      2373          23042          23         1                -           0.0000          -
2372.09/2378.55	c      2379          23093          24         1                -           0.0000          -
2377.47/2383.92	c      2384          23150          26         1                -           0.0000          -
2382.76/2389.24	c      2389          23194          26         1                -           0.0000          -
2388.24/2394.79	c      2395          23244          25         1                -           0.0000          -
2393.52/2400.09	c      2400          23291          24         1                -           0.0000          -
2399.01/2405.50	c      2406          23347          26         1                -           0.0000          -
2404.50/2411.03	c      2411          23398          29         1                -           0.0000          -
2409.78/2416.33	c      2416          23454          27         1                -           0.0000          -
2415.27/2421.85	c      2422          23497          24         1                -           0.0000          -
2420.95/2427.54	c      2428          23536          27         1                -           0.0000          -
2426.44/2433.03	c      2433          23572          25         1                -           0.0000          -
2432.02/2438.63	c      2439          23613          24         1                -           0.0000          -
2437.71/2444.35	c      2444          23663          25         1                -           0.0000          -
2443.29/2449.95	c      2450          23713          24         1                -           0.0000          -
2448.48/2455.10	c      2455          23774          23         1                -           0.0000          -
2454.06/2460.74	c      2461          23826          25         1                -           0.0000          -
2459.35/2466.08	c      2466          23881          24         1                -           0.0000          -
2464.73/2471.41	c      2471          23928          25         1                -           0.0000          -
2470.12/2476.83	c      2477          23980          28         1                -           0.0000          -
2475.61/2482.37	c      2482          24022          25         1                -           0.0000          -
2480.89/2487.69	c      2488          24052          22         1                -           0.0000          -
2486.18/2492.98	c      2493          24104          24         1                -           0.0000          -
2491.57/2498.33	c      2498          24153          29         1                -           0.0000          -
2497.05/2503.81	c      2504          24205          30         1                -           0.0000          -
2502.35/2509.13	c      2509          24263          30         1                -           0.0000          -
2508.03/2514.81	c      2515          24308          29         1                -           0.0000          -
2513.62/2520.41	c      2520          24362          27         1                -           0.0000          -
2518.81/2525.69	c      2526          24418          27         1                -           0.0000          -
2524.20/2531.08	c      2531          24491          32         1                -           0.0000          -
2529.38/2536.29	c      2536          24552          27         1                -           0.0000          -
2534.57/2541.45	c      2541          24617          26         1                -           0.0000          -
2539.95/2546.83	c      2547          24685          28         1                -           0.0000          -
2545.24/2552.18	c      2552          24743          28         1                -           0.0000          -
2550.63/2557.58	c      2558          24807          26         1                -           0.0000          -
2555.91/2562.85	c      2563          24874          29         1                -           0.0000          -
2561.40/2568.31	c      2568          24941          27         1                -           0.0000          -
2566.68/2573.68	c      2574          24994          28         1                -           0.0000          -
2572.37/2579.39	c      2579          25052          27         1                -           0.0000          -
2577.76/2584.71	c      2585          25120          25         1                -           0.0000          -
2583.05/2590.04	c      2590          25169          26         1                -           0.0000          -
2588.33/2595.32	c      2595          25229          28         1                -           0.0000          -
2593.72/2600.79	c      2601          25284          25         1                -           0.0000          -
2599.21/2606.29	c      2606          25352          27         1                -           0.0000          -
2604.40/2611.46	c      2611          25422          27         1                -           0.0000          -
2609.69/2616.79	c      2617          25485          26         1                -           0.0000          -
2614.98/2622.05	c      2622          25537          24         1                -           0.0000          -
2620.46/2627.55	c      2628          25590          27         1                -           0.0000          -
2625.84/2632.97	c      2633          25649          28         1                -           0.0000          -
2631.23/2638.35	c      2638          25716          25         1                -           0.0000          -
2636.71/2643.89	c      2644          25792          25         1                -           0.0000          -
2642.20/2649.30	c      2649          25844          25         1                -           0.0000          -
2647.29/2654.47	c      2654          25898          23         1                -           0.0000          -
2652.67/2659.80	c      2660          25947          24         1                -           0.0000          -
2657.97/2665.11	c      2665          26011          24         1                -           0.0000          -
2663.15/2670.36	c      2670          26068          23         1                -           0.0000          -
2668.54/2675.71	c      2676          26147          24         1                -           0.0000          -
2673.93/2681.16	c      2681          26210          23         1                -           0.0000          -
2679.51/2686.76	c      2687          26266          23         1                -           0.0000          -
2684.99/2692.29	c      2692          26316          26         1                -           0.0000          -
2690.48/2697.77	c      2698          26374          24         1                -           0.0000          -
2696.07/2703.30	c      2703          26421          27         1                -           0.0000          -
2701.65/2708.93	c      2709          26465          25         1                -           0.0000          -
2706.94/2714.24	c      2714          26501          25         1                -           0.0000          -
2712.33/2719.64	c      2720          26532          26         1                -           0.0000          -
2717.82/2725.15	c      2725          26572          26         1                -           0.0000          -
2723.60/2730.92	c      2731          26606          30         1                -           0.0000          -
2729.28/2736.60	c      2737          26647          29         1                -           0.0000          -
2734.97/2742.39	c      2742          26695          30         1                -           0.0000          -
2740.46/2747.88	c      2748          26738          28         1                -           0.0000          -
2745.94/2753.35	c      2753          26764          26         1                -           0.0000          -
2751.73/2759.18	c      2759          26812          26         1                -           0.0000          -
2757.62/2765.03	c      2765          26849          25         1                -           0.0000          -
2763.50/2770.92	c      2771          26879          24         1                -           0.0000          -
2768.89/2776.31	c      2776          26929          21         1                -           0.0000          -
2774.28/2781.74	c      2782          26963          23         1                -           0.0000          -
2780.17/2787.68	c      2788          27008          21         1                -           0.0000          -
2785.45/2792.91	c      2793          27063          22         1                -           0.0000          -
2790.84/2798.35	c      2798          27115          21         1                -           0.0000          -
2796.13/2803.69	c      2804          27167          23         1                -           0.0000          -
2801.71/2809.22	c      2809          27225          21         1                -           0.0000          -
2807.10/2814.65	c      2815          27275          23         1                -           0.0000          -
2812.88/2820.46	c      2820          27314          24         1                -           0.0000          -
2818.37/2825.96	c      2826          27361          23         1                -           0.0000          -
2823.76/2831.37	c      2831          27407          23         1                -           0.0000          -
2829.24/2836.86	c      2837          27457          25         1                -           0.0000          -
2834.93/2842.58	c      2843          27508          24         1                -           0.0000          -
2840.42/2848.07	c      2848          27568          26         1                -           0.0000          -
2846.00/2853.61	c      2854          27624          24         1                -           0.0000          -
2851.59/2859.24	c      2859          27686          28         1                -           0.0000          -
2857.38/2865.04	c      2865          27749          25         1                -           0.0000          -
2862.76/2870.40	c      2870          27792          26         1                -           0.0000          -
2868.04/2875.78	c      2876          27838          26         1                -           0.0000          -
2873.63/2881.33	c      2881          27885          29         1                -           0.0000          -
2878.91/2886.65	c      2887          27955          28         1                -           0.0000          -
2884.30/2892.03	c      2892          28022          29         1                -           0.0000          -
2889.49/2897.26	c      2897          28066          25         1                -           0.0000          -
2894.77/2902.57	c      2903          28134          25         1                -           0.0000          -
2900.26/2908.01	c      2908          28186          25         1                -           0.0000          -
2905.64/2913.45	c      2913          28234          25         1                -           0.0000          -
2911.13/2918.94	c      2919          28293          26         1                -           0.0000          -
2916.52/2924.39	c      2924          28357          26         1                -           0.0000          -
2921.90/2929.72	c      2930          28401          26         1                -           0.0000          -
2927.10/2934.92	c      2935          28441          26         1                -           0.0000          -
2932.58/2940.43	c      2940          28484          25         1                -           0.0000          -
2938.17/2946.06	c      2946          28536          25         1                -           0.0000          -
2943.55/2951.41	c      2951          28581          24         1                -           0.0000          -
2948.74/2956.65	c      2957          28632          25         1                -           0.0000          -
2954.33/2962.22	c      2962          28674          25         1                -           0.0000          -
2959.81/2967.72	c      2968          28734          23         1                -           0.0000          -
2965.20/2973.13	c      2973          28782          23         1                -           0.0000          -
2970.48/2978.47	c      2978          28847          24         1                -           0.0000          -
2975.87/2983.89	c      2984          28900          23         1                -           0.0000          -
2981.26/2989.21	c      2989          28949          24         1                -           0.0000          -
2986.94/2994.95	c      2995          28999          22         1                -           0.0000          -
2992.13/3000.12	c      3000          29052          23         1                -           0.0000          -
2997.41/3005.50	c      3006          29114          23         1                -           0.0000          -
3003.00/3011.07	c      3011          29163          24         1                -           0.0000          -
3008.48/3016.54	c      3017          29208          21         1                -           0.0000          -
3013.77/3021.84	c      3022          29260          21         1                -           0.0000          -
3019.15/3027.21	c      3027          29304          25         1                -           0.0000          -
3024.74/3032.81	c      3033          29369          24         1                -           0.0000          -
3030.43/3038.57	c      3039          29412          27         1                -           0.0000          -
3035.82/3043.94	c      3044          29458          25         1                -           0.0000          -
3041.30/3049.49	c      3049          29518          25         1                -           0.0000          -
3047.19/3055.36	c      3055          29573          26         1                -           0.0000          -
3052.37/3060.51	c      3061          29645          24         1                -           0.0000          -
3057.56/3065.74	c      3066          29696          23         1                -           0.0000          -
3063.05/3071.23	c      3071          29757          22         1                -           0.0000          -
3068.53/3076.77	c      3077          29813          22         1                -           0.0000          -
3073.92/3082.17	c      3082          29870          21         1                -           0.0000          -
3079.10/3087.39	c      3087          29929          24         1                -           0.0000          -
3084.49/3092.73	c      3093          29990          19         1                -           0.0000          -
3089.98/3098.28	c      3098          30057          24         1                -           0.0000          -
3095.16/3103.49	c      3103          30126          25         1                -           0.0000          -
3100.45/3108.77	c      3109          30188          25         1                -           0.0000          -
3106.03/3114.33	c      3114          30255          26         1                -           0.0000          -
3111.72/3120.03	c      3120          30312          25         1                -           0.0000          -
3117.01/3125.39	c      3125          30383          26         1                -           0.0000          -
3122.40/3130.79	c      3131          30443          26         1                -           0.0000          -
3127.58/3135.91	c      3136          30507          27         1                -           0.0000          -
3133.07/3141.48	c      3141          30572          27         1                -           0.0000          -
3138.55/3146.97	c      3147          30634          25         1                -           0.0000          -
3143.74/3152.16	c      3152          30699          26         1                -           0.0000          -
3148.82/3157.28	c      3157          30774          27         1                -           0.0000          -
3154.21/3162.69	c      3163          30852          25         1                -           0.0000          -
3159.70/3168.15	c      3168          30925          24         1                -           0.0000          -
3165.08/3173.57	c      3174          30981          23         1                -           0.0000          -
3170.27/3178.76	c      3179          31044          24         1                -           0.0000          -
3175.66/3184.11	c      3184          31101          23         1                -           0.0000          -
3180.94/3189.43	c      3189          31160          30         1                -           0.0000          -
3186.13/3194.67	c      3195          31232          30         1                -           0.0000          -
3191.52/3200.05	c      3200          31294          28         1                -           0.0000          -
3196.80/3205.33	c      3205          31376          27         1                -           0.0000          -
3202.49/3211.03	c      3211          31446          33         1                -           0.0000          -
3207.97/3216.55	c      3217          31493          30         1                -           0.0000          -
3213.26/3221.88	c      3222          31527          28         1                -           0.0000          -
3219.45/3228.03	c      3228          31560          29         1                -           0.0000          -
3225.03/3233.61	c      3234          31589          28         1                -           0.0000          -
3230.21/3238.81	c      3239          31655          28         1                -           0.0000          -
3235.50/3244.14	c      3244          31727          30         1                -           0.0000          -
3240.78/3249.43	c      3249          31811          29         1                -           0.0000          -
3246.27/3254.93	c      3255          31878          31         1                -           0.0000          -
3251.95/3260.63	c      3261          31931          30         1                -           0.0000          -
3257.44/3266.16	c      3266          31976          27         1                -           0.0000          -
3263.03/3271.79	c      3272          32040          30         1                -           0.0000          -
3268.62/3277.31	c      3277          32096          28         1                -           0.0000          -
3273.90/3282.62	c      3283          32146          29         1                -           0.0000          -
3278.99/3287.79	c      3288          32179          28         1                -           0.0000          -
3284.48/3293.27	c      3293          32238          28         1                -           0.0000          -
3289.76/3298.55	c      3299          32298          29         1                -           0.0000          -
3295.25/3304.02	c      3304          32344          27         1                -           0.0000          -
3300.54/3309.32	c      3309          32375          28         1                -           0.0000          -
3306.23/3315.03	c      3315          32418          25         1                -           0.0000          -
3311.81/3320.63	c      3321          32479          26         1                -           0.0000          -
3317.39/3326.28	c      3326          32544          25         1                -           0.0000          -
3322.88/3331.70	c      3332          32596          25         1                -           0.0000          -
3328.17/3337.02	c      3337          32638          24         1                -           0.0000          -
3334.05/3342.93	c      3343          32679          23         1                -           0.0000          -
3339.33/3348.25	c      3348          32735          23         1                -           0.0000          -
3344.42/3353.38	c      3353          32802          22         1                -           0.0000          -
3349.91/3358.87	c      3359          32864          23         1                -           0.0000          -
3355.10/3364.08	c      3364          32937          22         1                -           0.0000          -
3360.58/3369.53	c      3370          32973          22         1                -           0.0000          -
3365.77/3374.77	c      3375          33029          24         1                -           0.0000          -
3371.06/3380.03	c      3380          33081          24         1                -           0.0000          -
3376.24/3385.25	c      3385          33135          22         1                -           0.0000          -
3381.92/3390.90	c      3391          33200          25         1                -           0.0000          -
3387.21/3396.21	c      3396          33267          26         1                -           0.0000          -
3392.30/3401.39	c      3401          33332          25         1                -           0.0000          -
3397.89/3406.99	c      3407          33374          24         1                -           0.0000          -
3403.08/3412.17	c      3412          33423          23         1                -           0.0000          -
3408.46/3417.55	c      3418          33489          29         1                -           0.0000          -
3413.75/3422.82	c      3423          33554          24         1                -           0.0000          -
3419.04/3428.17	c      3428          33622          26         1                -           0.0000          -
3424.32/3433.49	c      3433          33685          29         1                -           0.0000          -
3429.70/3438.88	c      3439          33753          27         1                -           0.0000          -
3435.29/3444.49	c      3444          33805          27         1                -           0.0000          -
3440.78/3449.90	c      3450          33861          25         1                -           0.0000          -
3445.76/3454.92	c      3455          33888          26         1                -           0.0000          -
3451.05/3460.26	c      3460          33945          25         1                -           0.0000          -
3456.44/3465.62	c      3466          34000          24         1                -           0.0000          -
3461.72/3470.90	c      3471          34043          21         1                -           0.0000          -
3467.21/3476.50	c      3476          34099          19         1                -           0.0000          -
3472.50/3481.73	c      3482          34188          26         1                -           0.0000          -
3477.89/3487.14	c      3487          34273          27         1                -           0.0000          -
3483.07/3492.34	c      3492          34354          26         1                -           0.0000          -
3488.56/3497.88	c      3498          34432          25         1                -           0.0000          -
3493.94/3503.25	c      3503          34514          24         1                -           0.0000          -
3499.13/3508.46	c      3508          34586          21         1                -           0.0000          -
3504.32/3513.68	c      3514          34674          23         1                -           0.0000          -
3509.50/3518.89	c      3519          34761          22         1                -           0.0000          -
3515.19/3524.53	c      3525          34825          28         1                -           0.0000          -
3520.38/3529.75	c      3530          34900          31         1                -           0.0000          -
3525.46/3534.84	c      3535          34974          27         1                -           0.0000          -
3530.75/3540.14	c      3540          35046          27         1                -           0.0000          -
3536.03/3545.45	c      3545          35118          27         1                -           0.0000          -
3541.42/3550.85	c      3551          35182          27         1                -           0.0000          -
3546.61/3556.06	c      3556          35262          25         1                -           0.0000          -
3551.89/3561.30	c      3561          35327          28         1                -           0.0000          -
3557.09/3566.57	c      3567          35385          26         1                -           0.0000          -
3562.58/3572.07	c      3572          35453          26         1                -           0.0000          -
3568.06/3577.58	c      3578          35521          26         1                -           0.0000          -
3573.44/3582.90	c      3583          35585          26         1                -           0.0000          -
3578.54/3588.07	c      3588          35655          28         1                -           0.0000          -
3584.12/3593.67	c      3594          35717          28         1                -           0.0000          -
3588.51/3598.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.51/3598.04	c Total Time         : 3598.0300
3588.51/3598.04	c   solving          : 3598.0300
3588.51/3598.04	c   presolving       : 2.7219 (included in solving)
3588.51/3598.04	c B&B Tree           :
3588.51/3598.04	c   nodes (total)    : 1
3588.51/3598.04	c Solution           :
3588.51/3598.04	c   Solutions found  : 0
3588.51/3598.04	c   Primal Bound     :          -
3588.51/3598.04	c   Dual Bound       : +0.00000000000000e+00
3588.51/3598.04	c Gap                :          -
3588.51/3598.05	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100095 s]*
/proc/loadavg: 4.17 4.13 4.12 5/265 31832
/proc/meminfo: memFree=111821176/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=45612 memory=34712 CPUtime=0.1 cores=5,7
/proc/31831/stat : 31831 (fscip) R 31828 31831 27303 0 -1 4194304 6674 0 0 0 9 1 0 0 20 0 1 0 4967581 46706688 8678 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 11403 8678 2662 3035 0 7799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45612 KiB
Current children cumulated memory: 34712 KiB

[startup+0.205545 s]*
/proc/loadavg: 4.17 4.13 4.12 5/265 31832
/proc/meminfo: memFree=111821032/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=45612 memory=34712 CPUtime=0.2 cores=5,7
/proc/31831/stat : 31831 (fscip) R 31828 31831 27303 0 -1 4194304 6674 0 0 0 19 1 0 0 20 0 1 0 4967581 46706688 8678 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 11403 8678 2662 3035 0 7799 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45612 KiB
Current children cumulated memory: 34712 KiB

[startup+0.305521 s]*
/proc/loadavg: 4.17 4.13 4.12 5/265 31832
/proc/meminfo: memFree=111818204/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=48184 memory=37412 CPUtime=0.3 cores=5,7
/proc/31831/stat : 31831 (fscip) R 31828 31831 27303 0 -1 4194304 7531 0 0 0 29 1 0 0 20 0 1 0 4967581 49340416 9353 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 12046 9353 2742 3035 0 8442 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 37412 KiB

[startup+0.700223 s]
/proc/loadavg: 4.17 4.13 4.12 5/265 31832
/proc/meminfo: memFree=111808992/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=58976 memory=46784 CPUtime=0.69 cores=5,7
/proc/31831/stat : 31831 (fscip) R 31828 31831 27303 0 -1 4194304 9845 0 0 0 67 2 0 0 20 0 1 0 4967581 60391424 11696 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 14744 11696 2758 3035 0 11140 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58976 KiB
Current children cumulated memory: 46784 KiB

[startup+1.50022 s]
/proc/loadavg: 4.17 4.13 4.12 6/265 31832
/proc/meminfo: memFree=111808376/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=60680 memory=48104 CPUtime=1.49 cores=5,7
/proc/31831/stat : 31831 (fscip) R 31828 31831 27303 0 -1 4194304 10235 0 0 0 147 2 0 0 20 0 1 0 4967581 62136320 12026 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 15170 12026 2758 3035 0 11566 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60680 KiB
Current children cumulated memory: 48104 KiB

[startup+3.10573 s]
/proc/loadavg: 4.17 4.13 4.12 6/266 31880
/proc/meminfo: memFree=111628796/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=182812 memory=103812 CPUtime=3.08 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 24308 0 0 0 304 4 0 0 20 0 3 0 4967581 187199488 25953 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 45703 25953 2790 3035 0 32167 0
[pid=31831/tid=31879] ppid=31828 vsize=182812 memory=48104 CPUtime=0.33 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 8099 0 0 0 32 1 0 0 20 0 3 0 4967856 187199488 25953 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=182812 memory=0 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4967858 187199488 25953 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 182812 KiB
Current children cumulated memory: 103812 KiB

[startup+6.30023 s]
/proc/loadavg: 4.23 4.15 4.13 6/266 31880
/proc/meminfo: memFree=111108404/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=184852 memory=118908 CPUtime=6.26 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 32383 0 0 0 621 5 0 0 20 0 3 0 4967581 189288448 29727 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 46213 29727 2950 3035 0 36130 0
[pid=31831/tid=31879] ppid=31828 vsize=184852 memory=0 CPUtime=3.51 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 16173 0 0 0 349 2 0 0 20 0 3 0 4967856 189288448 29727 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=184852 memory=48104 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4967858 189288448 29727 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 184852 KiB
Current children cumulated memory: 118908 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.13 6/266 31881
/proc/meminfo: memFree=110961852/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=258024 memory=159284 CPUtime=12.65 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 49416 0 0 0 1258 7 0 0 20 0 3 0 4967581 264216576 39821 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 64506 39821 2982 3035 0 46703 0
[pid=31831/tid=31879] ppid=31828 vsize=258024 memory=0 CPUtime=9.9 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 33195 0 0 0 986 4 0 0 20 0 3 0 4967856 264216576 39821 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=258024 memory=119080 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4967858 264216576 39821 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 258024 KiB
Current children cumulated memory: 159284 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.16 4.13 6/266 31883
/proc/meminfo: memFree=110953516/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=252896 memory=155232 CPUtime=25.42 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 72936 0 0 0 2533 9 0 0 20 0 3 0 4967581 258965504 38808 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 63224 38808 2982 3035 0 45487 0
[pid=31831/tid=31879] ppid=31828 vsize=252896 memory=155232 CPUtime=22.66 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 56702 0 0 0 2260 6 0 0 20 0 3 0 4967856 258965504 38808 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=252896 memory=11536 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4967858 258965504 38808 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 252896 KiB
Current children cumulated memory: 155232 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.14 4.12 6/268 31889
/proc/meminfo: memFree=110500064/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=252896 memory=157416 CPUtime=50.95 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 99929 0 0 0 5083 12 0 0 20 0 3 0 4967581 258965504 39354 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 63224 39354 3030 3035 0 49098 0
[pid=31831/tid=31879] ppid=31828 vsize=252896 memory=157212 CPUtime=48.2 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 83601 0 0 0 4811 9 0 0 20 0 3 0 4967856 258965504 39354 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=252896 memory=157188 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4967858 258965504 39354 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 252896 KiB
Current children cumulated memory: 157416 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.12 6/271 31960
/proc/meminfo: memFree=109985804/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=252896 memory=162972 CPUtime=102.01 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 124092 0 0 0 10187 14 0 0 20 0 3 0 4967581 258965504 40743 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 63224 40743 3030 3035 0 49098 0
[pid=31831/tid=31879] ppid=31828 vsize=252896 memory=161092 CPUtime=99.26 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 107693 0 0 0 9915 11 0 0 20 0 3 0 4967856 258965504 40743 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=252896 memory=161092 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4967858 258965504 40743 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 252896 KiB
Current children cumulated memory: 162972 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.11 6/270 31971
/proc/meminfo: memFree=109964424/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=252896 memory=168696 CPUtime=161.86 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 164941 0 0 0 16168 18 0 0 20 0 3 0 4967581 258965504 42174 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 63224 42174 3030 3035 0 49098 0
[pid=31831/tid=31879] ppid=31828 vsize=252896 memory=168596 CPUtime=159.11 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 148437 0 0 0 15896 15 0 0 20 0 3 0 4967856 258965504 42174 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=252896 memory=0 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4967858 258965504 42174 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 252896 KiB
Current children cumulated memory: 168696 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.11 6/270 31982
/proc/meminfo: memFree=109954424/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=252896 memory=171736 CPUtime=221.7 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 190935 0 0 0 22149 21 0 0 20 0 3 0 4967581 258965504 42934 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 63224 42934 3030 3035 0 49594 0
[pid=31831/tid=31879] ppid=31828 vsize=252896 memory=11536 CPUtime=218.95 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 174360 0 0 0 21877 18 0 0 20 0 3 0 4967856 258965504 42934 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=252896 memory=11536 CPUtime=0 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4967858 258965504 42934 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 252896 KiB
Current children cumulated memory: 171736 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.10 6/268 31994
/proc/meminfo: memFree=109946576/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=252896 memory=171748 CPUtime=281.55 cores=5,7

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

/proc/31831/statm: 62853 55945 3030 3035 0 58166 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=223656 CPUtime=3390.35 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 679757 0 0 0 338966 69 0 0 20 0 3 0 4967856 257445888 55945 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=223656 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 120 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 55945 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 223780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.19 4.14 5/266 33641
/proc/meminfo: memFree=126860628/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=223872 CPUtime=3453.14 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 699953 0 0 0 345235 79 0 0 20 0 3 0 4967581 257445888 55968 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 55968 3030 3035 0 58210 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=223864 CPUtime=3450.18 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 681500 0 0 0 344949 69 0 0 20 0 3 0 4967856 257445888 55968 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=11536 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 121 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 55968 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 223872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/265 33652
/proc/meminfo: memFree=126859512/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224108 CPUtime=3512.99 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 701615 0 0 0 351219 80 0 0 20 0 3 0 4967581 257445888 56027 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56027 3030 3035 0 58253 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=223872 CPUtime=3510.03 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 683143 0 0 0 350933 70 0 0 20 0 3 0 4967856 257445888 56027 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=5552 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 122 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56027 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/266 33832
/proc/meminfo: memFree=126858460/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3572.85 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 703311 0 0 0 357204 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=14836 CPUtime=3569.88 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 684818 0 0 0 356917 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=224120 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 123 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

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

# cumulated CPU time of all completed processes:  user=3587.75 s, system=0.818837 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.13 5/266 33832
/proc/meminfo: memFree=126857028/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3574.55 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 703314 0 0 0 357374 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=7317634893576766890 CPUtime=3571.58 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 684821 0 0 0 357087 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=-7465405268641471099 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 123 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.15 4.12 5/266 33833
/proc/meminfo: memFree=126856972/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3580.92 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 703326 0 0 0 358011 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=14836 CPUtime=3577.96 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 684833 0 0 0 357725 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=12076 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 123 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.15 4.12 5/266 33833
/proc/meminfo: memFree=126856960/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3584.12 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 703331 0 0 0 358331 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=11536 CPUtime=3581.15 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 684838 0 0 0 358044 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=0 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 123 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.14 4.12 5/266 33833
/proc/meminfo: memFree=126855576/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3585.71 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 703331 0 0 0 358490 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=14836 CPUtime=3582.75 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 684838 0 0 0 358204 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=224296 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 123 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/266 33833
/proc/meminfo: memFree=126855676/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3587.31 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 704687 0 0 0 358650 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=224296 CPUtime=3584.34 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 686193 0 0 0 358363 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=224296 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 124 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3587.31 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

[startup+3597.6 s]
/proc/loadavg: 4.08 4.14 4.12 5/266 33833
/proc/meminfo: memFree=126855668/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3588.11 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 704712 0 0 0 358730 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=11536 CPUtime=3585.14 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 686213 0 0 0 358443 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=280135485004544 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 124 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3588.11 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

[startup+3598 s]*
/proc/loadavg: 4.08 4.14 4.12 5/266 33835
/proc/meminfo: memFree=126855492/131524600 swapFree=131071996/131071996
[pid=31831] ppid=31828 vsize=251412 memory=224296 CPUtime=3588.51 cores=5,7
/proc/31831/stat : 31831 (fscip) S 31828 31831 27303 0 -1 1077936128 704733 0 0 0 358770 81 0 0 20 0 3 0 4967581 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
/proc/31831/statm: 62853 56074 3030 3035 0 58285 0
[pid=31831/tid=31879] ppid=31828 vsize=251412 memory=32580 CPUtime=3585.54 cores=5,7
/proc/31831/task/31879/stat : 31879 (fscip) R 31828 31831 27303 0 -1 4194368 686235 0 0 0 358483 71 0 0 20 0 3 0 4967856 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
[pid=31831/tid=31880] ppid=31828 vsize=251412 memory=4283652893355699868 CPUtime=0.03 cores=5,7
/proc/31831/task/31880/stat : 31880 (fscip) S 31828 31831 27303 0 -1 1077936192 124 0 0 0 1 2 0 0 20 0 3 0 4967858 257445888 56074 134679101440 4194304 16623229 140720353952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57032704 140720353956886 140720353957002 140720353957002 140720353964016 0
Current children cumulated CPU time: 3588.51 s
Current children cumulated vsize: 251412 KiB
Current children cumulated memory: 224296 KiB

Child status: 0

Real time (s): 3598.05
CPU time (s): 3588.57
CPU user time (s): 3587.75
CPU system time (s): 0.818837
CPU usage (%): 99.7364
Max. virtual memory (cumulated for all children) (KiB): 258024
Max. memory (cumulated for all children) (KiB): 224296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.75
system time used= 0.818837
maximum resident set size= 224296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706412
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= 10186
involuntary context switches= 2402


# summary of solver processes directly reported to runsolver:
#   pid: 31831
#   total CPU time (s): 3588.57
#   total CPU user time (s): 3587.75
#   total CPU system time (s): 0.818837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83272 second user time and 16.2255 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-31 02:29:54
IDJOB=4464468
IDBENCH=158370
IDSOLVER=3092
FILE ID=nodeC015/4464468-1722385794
RUNJOBID= nodeC015-1722378594-27316
SLURM_JOB_ID= 8249828
Free space on /tmp= 889836 MiB

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

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

MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=99795441

nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111845896 kB
MemAvailable:   111969728 kB
Buffers:          104080 kB
Cached:           854848 kB
SwapCached:            0 kB
Active:           430128 kB
Inactive:       18733032 kB
Active(anon):       1544 kB
Inactive(anon): 18226068 kB
Active(file):     428584 kB
Inactive(file):   506964 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28760 kB
Writeback:             0 kB
AnonPages:      18204232 kB
Mapped:           121652 kB
Shmem:             23384 kB
KReclaimable:      56216 kB
Slab:             137684 kB
SReclaimable:      56216 kB
SUnreclaim:        81468 kB
KernelStack:        4256 kB
PageTables:        45176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13003908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7675904 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:      158420 kB
DirectMap2M:    12197888 kB
DirectMap1G:    123731968 kB

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