Trace number 4464663

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.19 3598.11

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_11.opb
MD5SUM66b8e371687d4e403b47b4700770389d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark105.174
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1892
Total number of constraints9034
Number of constraints which are clauses9030
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 54
Number of bits of the biggest sum of numbers6
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.10/0.12	c Default LC presolving (default).
0.10/0.12	c ** Before presolving: virtualMemUsedAtLc = 51863552, getVmSize() = 51863552, SCIPgetMemUsed() = 19159459, SCIPgetMemTotal() = 29498699, SCIPgetMemExternEstim() = 12345147
0.10/0.12	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.78/0.83	c ** Estimated virtualMemUsedAtSolver = 56208355, getVmSize() = 98701312, SCIPgetMemUsed() = 39659242, SCIPgetMemTotal() = 71967386, SCIPgetMemExternEstim() = 12345147
0.78/0.83	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.78/0.83	c Original Problem   :
0.78/0.83	c   Problem name     : instance-4464663-1722386781
0.78/0.83	c   Variables        : 1892 (1892 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.83	c   Constraints      : 9034
0.78/0.83	c   Objective sense  : minimize
0.78/0.83	c Presolved Problem  :
0.78/0.83	c   Variables        : 1886 (1886 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.83	c   Constraints      : 8631
0.78/0.83	c Constraints        : Number
0.78/0.83	c   setppc           : 3608 
0.78/0.83	c   linear           : 1 
0.78/0.83	c   logicor          : 5022 
0.78/0.83	c ** Instance transfer method used: 0
0.78/0.87	c ** ParaScipInstance copy does not increase the number of variables. **
0.89/0.90	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.89/0.90	c                                Nodes    Active                                            
0.89/0.90	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
24.03/24.19	c        24              2           1         1                -           0.0000          -
29.51/29.64	c        30             20          19         1                -           0.0000          -
34.69/34.87	c        35             33          30         1                -           0.0000          -
41.77/41.96	c        42             42          35         1                -           0.0000          -
47.75/47.93	c        48             52          45         1                -           0.0000          -
53.95/54.19	c        54             65          58         1                -           0.0000          -
61.03/61.28	c        61             75          68         1                -           0.0000          -
66.51/66.73	c        67             82          75         1                -           0.0000          -
73.80/74.08	c        74             88          81         1                -           0.0000          -
80.67/80.92	c        81             95          88         1                -           0.0000          -
86.65/86.96	c        87            117         100         1                -           0.0000          -
92.24/92.59	c        93            134         113         1                -           0.0000          -
107.21/107.50	c       108            145         122         1                -           0.0000          -
113.08/113.41	c       113            165         138         1                -           0.0000          -
143.51/144.01	c       144            185         152         1                -           0.0000          -
148.80/149.22	c       149            202         167         1                -           0.0000          -
155.37/155.85	c       156            222         187         1                -           0.0000          -
160.47/160.90	c       161            235         200         1                -           0.0000          -
165.85/166.38	c       166            253         218         1                -           0.0000          -
171.23/171.70	c       172            260         225         1                -           0.0000          -
177.22/177.75	c       178            267         232         1                -           0.0000          -
182.79/183.30	c       183            278         243         1                -           0.0000          -
189.17/189.80	c       190            288         253         1                -           0.0000          -
195.26/195.86	c       196            295         260         1                -           0.0000          -
201.84/202.46	c       202            305         270         1                -           0.0000          -
207.43/208.10	c       208            312         277         1                -           0.0000          -
212.91/213.50	c       214            321         286         1                -           0.0000          -
218.41/219.08	c       219            325         290         1                -           0.0000          -
223.88/224.55	c       225            332         297         1                -           0.0000          -
229.77/230.43	c       230            342         307         1                -           0.0000          -
235.55/236.22	c       236            359         324         1                -           0.0000          -
242.83/243.52	c       244            372         337         1                -           0.0000          -
248.02/248.72	c       249            378         343         1                -           0.0000          -
254.50/255.24	c       255            388         351         1                -           0.0000          -
262.18/262.98	c       263            414         357         1                -           0.0000          -
267.96/268.79	c       269            442         361         1                -           0.0000          -
273.05/273.80	c       274            473         360         1                -           0.0000          -
278.63/279.47	c       279            502         359         1                -           0.0000          -
284.23/285.09	c       285            538         357         1                -           0.0000          -
290.09/291.01	c       291            586         359         1                -           0.0000          -
295.98/296.86	c       297            603         368         1                -           0.0000          -
301.86/302.72	c       303            617         374         1                -           0.0000          -
307.44/308.32	c       308            639         382         1                -           0.0000          -
312.63/313.58	c       314            667         386         1                -           0.0000          -
318.13/319.07	c       319            698         391         1                -           0.0000          -
323.90/324.82	c       325            720         399         1                -           0.0000          -
329.38/330.30	c       330            742         411         1                -           0.0000          -
347.62/348.60	c       349            767         420         1                -           0.0000          -
353.61/354.61	c       355            797         426         1                -           0.0000          -
359.49/360.53	c       361            830         435         1                -           0.0000          -
364.98/366.05	c       366            858         443         1                -           0.0000          -
370.45/371.51	c       372            892         455         1                -           0.0000          -
376.82/378.01	c       378            917         472         1                -           0.0000          -
382.80/383.96	c       384            962         475         1                -           0.0000          -
388.58/389.70	c       390            984         491         1                -           0.0000          -
393.99/395.18	c       395            994         501         1                -           0.0000          -
400.16/401.36	c       401           1004         511         1                -           0.0000          -
405.44/406.65	c       407           1098         517         1                -           0.0000          -
411.22/412.41	c       412           1122         524         1                -           0.0000          -
417.71/418.92	c       419           1136         532         1                -           0.0000          -
423.81/425.01	c       425           1149         545         1                -           0.0000          -
430.07/431.39	c       431           1167         553         1                -           0.0000          -
435.87/437.16	c       437           1211         565         1                -           0.0000          -
440.95/442.22	c       442           1227         581         1                -           0.0000          -
446.13/447.43	c       447           1241         589         1                -           0.0000          -
471.86/473.21	c       473           1255           1         1                -           0.0000          -
476.85/478.29	c       478           1261           7         1                -           0.0000          -
482.83/484.20	c       484           1269          15         1                -           0.0000          -
488.02/489.46	c       489           1278          22         1                -           0.0000          -
493.40/494.86	c       495           1296          34         1                -           0.0000          -
499.09/500.54	c       501           1318          38         1                -           0.0000          -
505.87/507.39	c       507           1348          42         1                -           0.0000          -
511.46/512.98	c       513           1373          43         1                -           0.0000          -
517.04/518.50	c       518           1398          44         1                -           0.0000          -
522.03/523.57	c       524           1405          49         1                -           0.0000          -
527.41/528.98	c       529           1434          62         1                -           0.0000          -
532.80/534.36	c       534           1495          63         1                -           0.0000          -
538.08/539.61	c       540           1557          63         1                -           0.0000          -
543.27/544.81	c       545           1631          71         1                -           0.0000          -
548.46/550.07	c       550           1752          64         1                -           0.0000          -
553.84/555.47	c       555           1808          66         1                -           0.0000          -
559.23/560.86	c       561           1874          64         1                -           0.0000          -
564.81/566.47	c       566           1926          52         1                -           0.0000          -
572.50/574.17	c       574           1933          57         1                -           0.0000          -
578.57/580.26	c       580           1982          59         1                -           0.0000          -
585.25/587.01	c       587           1999          68         1                -           0.0000          -
591.63/593.32	c       593           2027          80         1                -           0.0000          -
597.34/599.06	c       599           2077          82         1                -           0.0000          -
602.51/604.27	c       604           2132          81         1                -           0.0000          -
609.49/611.24	c       611           2147          88         1                -           0.0000          -
614.78/616.58	c       617           2291         110         1                -           0.0000          -
619.96/621.72	c       622           2421          91         1                -           0.0000          -
625.26/627.10	c       627           2442         108         1                -           0.0000          -
630.35/632.18	c       632           2624         145         1                -           0.0000          -
635.52/637.30	c       637           3015         143         1                -           0.0000          -
640.61/642.42	c       642           3262         125         1                -           0.0000          -
645.69/647.59	c       648           3455         138         1                -           0.0000          -
650.78/652.68	c       653           3736         137         1                -           0.0000          -
655.96/657.83	c       658           4011         134         1                -           0.0000          -
661.05/663.01	c       663           4225         135         1                -           0.0000          -
666.14/668.09	c       668           4433         138         1                -           0.0000          -
671.23/673.18	c       673           4581         142         1                -           0.0000          -
676.31/678.28	c       678           4824         145         1                -           0.0000          -
681.60/683.55	c       684           4922         135         1                -           0.0000          -
686.78/688.74	c       689           5041         123         1                -           0.0000          -
692.08/694.06	c       694           5131         123         1                -           0.0000          -
697.25/699.28	c       699           5220         124         1                -           0.0000          -
702.84/704.85	c       705           5306         118         1                -           0.0000          -
708.82/710.89	c       711           5323         125         1                -           0.0000          -
714.20/716.25	c       716           5367         131         1                -           0.0000          -
719.50/721.56	c       722           5436         131         1                -           0.0000          -
724.78/726.88	c       727           5489         127         1                -           0.0000          -
730.27/732.32	c       732           5562         113         1                -           0.0000          -
737.15/739.20	c       739           5581         122         1                -           0.0000          -
742.34/744.42	c       744           5664         141         1                -           0.0000          -
747.52/749.65	c       750           5810         132         1                -           0.0000          -
752.80/754.93	c       755           5883         131         1                -           0.0000          -
758.48/760.68	c       761           5949         137         1                -           0.0000          -
763.77/765.99	c       766           6016         136         1                -           0.0000          -
769.15/771.35	c       771           6103         135         1                -           0.0000          -
774.23/776.49	c       776           6174         144         1                -           0.0000          -
779.41/781.68	c       782           6275         142         1                -           0.0000          -
784.59/786.84	c       787           6344         141         1                -           0.0000          -
790.37/792.68	c       793           6382         143         1                -           0.0000          -
795.77/798.10	c       798           6455         156         1                -           0.0000          -
801.24/803.52	c       804           6563         154         1                -           0.0000          -
806.52/808.89	c       809           6613         154         1                -           0.0000          -
812.10/814.45	c       814           6665         152         1                -           0.0000          -
817.98/820.36	c       820           6677         158         1                -           0.0000          -
823.26/825.66	c       826           6785         159         1                -           0.0000          -
828.35/830.78	c       831           6948         162         1                -           0.0000          -
833.53/835.94	c       836           7079         155         1                -           0.0000          -
838.81/841.26	c       841           7187         153         1                -           0.0000          -
844.19/846.63	c       847           7269         161         1                -           0.0000          -
849.69/852.12	c       852           7350         156         1                -           0.0000          -
855.57/858.11	c       858           7391         173         1                -           0.0000          -
861.44/863.90	c       864           7437         167         1                -           0.0000          -
866.63/869.12	c       869           7500         170         1                -           0.0000          -
871.90/874.46	c       874           7589         167         1                -           0.0000          -
877.28/879.83	c       880           7651         167         1                -           0.0000          -
882.96/885.50	c       886           7700         168         1                -           0.0000          -
888.14/890.78	c       891           7755         167         1                -           0.0000          -
894.12/896.73	c       897           7802         162         1                -           0.0000          -
899.51/902.13	c       902           7855         165         1                -           0.0000          -
905.18/907.83	c       908           7897         159         1                -           0.0000          -
910.96/913.66	c       914           7922         172         1                -           0.0000          -
916.45/919.13	c       919           7966         178         1                -           0.0000          -
921.72/924.46	c       924           8008         170         1                -           0.0000          -
928.20/930.92	c       931           8017         171         1                -           0.0000          -
934.58/937.36	c       937           8033         183         1                -           0.0000          -
939.96/942.77	c       943           8057         189         1                -           0.0000          -
945.26/948.04	c       948           8130         206         1                -           0.0000          -
950.72/953.54	c       954           8204         202         1                -           0.0000          -
955.91/958.71	c       959           8251         217         1                -           0.0000          -
961.20/964.05	c       964           8329         215         1                -           0.0000          -
966.37/969.26	c       969           8395         219         1                -           0.0000          -
971.56/974.44	c       974           8500         218         1                -           0.0000          -
976.74/979.61	c       980           8597         219         1                -           0.0000          -
981.92/984.87	c       985           8717         213         1                -           0.0000          -
987.21/990.13	c       990           8798         210         1                -           0.0000          -
993.09/996.10	c       996           8835         219         1                -           0.0000          -
998.65/1001.60	c      1002           8917         215         1                -           0.0000          -
1003.94/1006.91	c      1007           8961         211         1                -           0.0000          -
1009.03/1012.09	c      1012           9012         210         1                -           0.0000          -
1014.71/1017.77	c      1018           9042         220         1                -           0.0000          -
1020.49/1023.51	c      1024           9081         227         1                -           0.0000          -
1026.09/1029.12	c      1029           9135         226         1                -           0.0000          -
1031.46/1034.54	c      1035           9179         222         1                -           0.0000          -
1037.15/1040.27	c      1040           9210         221         1                -           0.0000          -
1042.63/1045.76	c      1046           9251         236         1                -           0.0000          -
1047.81/1051.01	c      1051           9309         228         1                -           0.0000          -
1053.40/1056.54	c      1057           9349         236         1                -           0.0000          -
1058.68/1061.85	c      1062           9412         243         1                -           0.0000          -
1064.07/1067.21	c      1067           9482         235         1                -           0.0000          -
1069.15/1072.35	c      1072           9501         240         1                -           0.0000          -
1074.85/1078.02	c      1078           9531         242         1                -           0.0000          -
1080.12/1083.36	c      1083           9601         244         1                -           0.0000          -
1086.20/1089.45	c      1089           9653         252         1                -           0.0000          -
1091.59/1094.84	c      1095           9712         255         1                -           0.0000          -
1096.98/1100.24	c      1100           9766         251         1                -           0.0000          -
1102.17/1105.47	c      1105           9815         256         1                -           0.0000          -
1108.35/1111.60	c      1112           9875         249         1                -           0.0000          -
1114.04/1117.30	c      1117           9932         252         1                -           0.0000          -
1119.32/1122.66	c      1123          10005         249         1                -           0.0000          -
1125.01/1128.35	c      1128          10038         252         1                -           0.0000          -
1130.80/1134.17	c      1134          10072         254         1                -           0.0000          -
1136.68/1140.05	c      1140          10102         252         1                -           0.0000          -
1142.56/1145.92	c      1146          10129         247         1                -           0.0000          -
1148.25/1151.67	c      1152          10163         249         1                -           0.0000          -
1153.64/1157.04	c      1157          10213         251         1                -           0.0000          -
1159.01/1162.46	c      1162          10256         256         1                -           0.0000          -
1164.40/1167.89	c      1168          10318         252         1                -           0.0000          -
1169.69/1173.16	c      1173          10381         260         1                -           0.0000          -
1174.86/1178.34	c      1178          10466         261         1                -           0.0000          -
1180.34/1183.87	c      1184          10533         256         1                -           0.0000          -
1185.73/1189.22	c      1189          10589         260         1                -           0.0000          -
1191.01/1194.52	c      1195          10643         266         1                -           0.0000          -
1196.39/1199.92	c      1200          10718         281         1                -           0.0000          -
1201.58/1205.11	c      1205          10856         277         1                -           0.0000          -
1206.75/1210.38	c      1210          10959         276         1                -           0.0000          -
1212.13/1215.77	c      1216          11030         277         1                -           0.0000          -
1217.32/1220.97	c      1221          11131         272         1                -           0.0000          -
1222.60/1226.29	c      1226          11177         277         1                -           0.0000          -
1227.98/1231.63	c      1232          11241         277         1                -           0.0000          -
1233.26/1236.97	c      1237          11310         272         1                -           0.0000          -
1238.55/1242.28	c      1242          11369         277         1                -           0.0000          -
1243.83/1247.58	c      1248          11434         274         1                -           0.0000          -
1249.21/1252.96	c      1253          11502         282         1                -           0.0000          -
1254.41/1258.19	c      1258          11587         273         1                -           0.0000          -
1259.77/1263.58	c      1264          11649         267         1                -           0.0000          -
1265.75/1269.56	c      1270          11671         283         1                -           0.0000          -
1271.34/1275.17	c      1275          11715         279         1                -           0.0000          -
1277.12/1280.92	c      1281          11749         285         1                -           0.0000          -
1282.60/1286.47	c      1286          11807         289         1                -           0.0000          -
1288.08/1291.93	c      1292          11852         288         1                -           0.0000          -
1293.56/1297.43	c      1297          11892         290         1                -           0.0000          -
1298.94/1302.87	c      1303          11922         310         1                -           0.0000          -
1304.24/1308.15	c      1308          11990         310         1                -           0.0000          -
1309.60/1313.58	c      1314          12039         311         1                -           0.0000          -
1314.88/1318.80	c      1319          12086         314         1                -           0.0000          -
1320.97/1324.91	c      1325          12125         323         1                -           0.0000          -
1326.85/1330.84	c      1331          12155         315         1                -           0.0000          -
1332.43/1336.45	c      1336          12199         311         1                -           0.0000          -
1337.61/1341.69	c      1342          12233         301         1                -           0.0000          -
1342.90/1346.97	c      1347          12281         303         1                -           0.0000          -
1348.19/1352.27	c      1352          12355         306         1                -           0.0000          -
1355.08/1359.11	c      1359          12401         310         1                -           0.0000          -
1360.75/1364.81	c      1365          12411         312         1                -           0.0000          -
1366.74/1370.89	c      1371          12445         326         1                -           0.0000          -
1372.04/1376.17	c      1376          12497         322         1                -           0.0000          -
1377.51/1381.63	c      1382          12522         325         1                -           0.0000          -
1383.10/1387.27	c      1387          12544         335         1                -           0.0000          -
1389.08/1393.20	c      1393          12593         336         1                -           0.0000          -
1394.88/1399.06	c      1399          12600         339         1                -           0.0000          -
1400.75/1404.95	c      1405          12619         344         1                -           0.0000          -
1406.14/1410.39	c      1410          12666         351         1                -           0.0000          -
1411.52/1415.70	c      1416          12711         366         1                -           0.0000          -
1417.01/1421.25	c      1421          12768         367         1                -           0.0000          -
1422.81/1427.05	c      1427          12795         366         1                -           0.0000          -
1427.98/1432.28	c      1432          12853         378         1                -           0.0000          -
1433.17/1437.46	c      1437          13086         373         1                -           0.0000          -
1438.45/1442.76	c      1443          13189         363         1                -           0.0000          -
1443.85/1448.18	c      1448          13294         364         1                -           0.0000          -
1449.22/1453.53	c      1454          13346         362         1                -           0.0000          -
1454.61/1458.97	c      1459          13398         362         1                -           0.0000          -
1459.89/1464.25	c      1464          13465         371         1                -           0.0000          -
1464.98/1469.39	c      1469          13585         374         1                -           0.0000          -
1470.27/1474.62	c      1475          13669         364         1                -           0.0000          -
1475.66/1480.03	c      1480          13686         375         1                -           0.0000          -
1480.75/1485.18	c      1485          13759         372         1                -           0.0000          -
1485.92/1490.35	c      1490          13815         378         1                -           0.0000          -
1491.11/1495.53	c      1496          13891         379         1                -           0.0000          -
1496.50/1500.92	c      1501          13966         376         1                -           0.0000          -
1501.70/1506.12	c      1506          14017         381         1                -           0.0000          -
1507.07/1511.56	c      1512          14065         391         1                -           0.0000          -
1512.35/1516.86	c      1517          14138         392         1                -           0.0000          -
1517.66/1522.19	c      1522          14196         390         1                -           0.0000          -
1522.93/1527.43	c      1527          14274         396         1                -           0.0000          -
1528.71/1533.24	c      1533          14332         410         1                -           0.0000          -
1534.10/1538.61	c      1539          14393         401         1                -           0.0000          -
1539.39/1543.92	c      1544          14444         400         1                -           0.0000          -
1544.67/1549.21	c      1549          14503         407         1                -           0.0000          -
1549.76/1554.35	c      1554          14582         406         1                -           0.0000          -
1555.04/1559.63	c      1560          14646         412         1                -           0.0000          -
1560.33/1564.93	c      1565          14708         406         1                -           0.0000          -
1565.53/1570.12	c      1570          14755         401         1                -           0.0000          -
1570.90/1575.54	c      1576          14804         398         1                -           0.0000          -
1575.98/1580.67	c      1581          14841         405         1                -           0.0000          -
1581.27/1585.97	c      1586          14925         417         1                -           0.0000          -
1586.66/1591.31	c      1591          15000         417         1                -           0.0000          -
1591.95/1596.60	c      1597          15057         416         1                -           0.0000          -
1597.23/1601.97	c      1602          15129         426         1                -           0.0000          -
1602.62/1607.34	c      1607          15188         423         1                -           0.0000          -
1607.90/1612.61	c      1613          15250         421         1                -           0.0000          -
1613.19/1617.96	c      1618          15295         422         1                -           0.0000          -
1618.17/1623.01	c      1623          15308         423         1                -           0.0000          -
1623.56/1628.34	c      1628          15365         438         1                -           0.0000          -
1628.74/1633.59	c      1634          15519         441         1                -           0.0000          -
1633.82/1638.69	c      1639          15661         433         1                -           0.0000          -
1639.31/1644.18	c      1644          15738         438         1                -           0.0000          -
1644.48/1649.31	c      1649          15823         437         1                -           0.0000          -
1649.76/1654.61	c      1655          15911         445         1                -           0.0000          -
1655.05/1659.96	c      1660          15976         450         1                -           0.0000          -
1660.53/1665.48	c      1665          16033         447         1                -           0.0000          -
1666.41/1671.37	c      1671          16088         466         1                -           0.0000          -
1671.70/1676.61	c      1677          16170         474         1                -           0.0000          -
1676.88/1681.85	c      1682          16236         482         1                -           0.0000          -
1682.36/1687.33	c      1687          16283         465         1                -           0.0000          -
1687.54/1692.60	c      1693          16355         463         1                -           0.0000          -
1693.32/1698.31	c      1698          16416         450         1                -           0.0000          -
1699.01/1704.09	c      1704          16459         455         1                -           0.0000          -
1704.68/1709.71	c      1710          16498         452         1                -           0.0000          -
1709.98/1715.11	c      1715          16550         467         1                -           0.0000          -
1715.45/1720.54	c      1721          16577         462         1                -           0.0000          -
1721.23/1726.32	c      1726          16616         465         1                -           0.0000          -
1726.70/1731.85	c      1732          16700         480         1                -           0.0000          -
1732.08/1737.25	c      1737          16789         477         1                -           0.0000          -
1737.37/1742.52	c      1743          16859         485         1                -           0.0000          -
1743.05/1748.23	c      1748          16910         482         1                -           0.0000          -
1748.24/1753.49	c      1753          16967         485         1                -           0.0000          -
1753.52/1758.71	c      1759          17015         476         1                -           0.0000          -
1758.60/1763.82	c      1764          17046         479         1                -           0.0000          -
1764.18/1769.40	c      1769          17086         495         1                -           0.0000          -
1769.67/1774.93	c      1775          17146         499         1                -           0.0000          -
1775.05/1780.30	c      1780          17214         501         1                -           0.0000          -
1780.03/1785.38	c      1785          17249         502         1                -           0.0000          -
1785.72/1791.03	c      1791          17299         508         1                -           0.0000          -
1791.09/1796.46	c      1796          17342         525         1                -           0.0000          -
1796.37/1801.75	c      1802          17388         521         1                -           0.0000          -
1801.56/1806.94	c      1807          17429         510         1                -           0.0000          -
1807.04/1812.44	c      1812          17474         521         1                -           0.0000          -
1812.42/1817.89	c      1818          17520         514         1                -           0.0000          -
1817.80/1823.23	c      1823          17634         514         1                -           0.0000          -
1823.19/1828.60	c      1829          17680         512         1                -           0.0000          -
1828.87/1834.32	c      1834          17712         506         1                -           0.0000          -
1834.25/1839.76	c      1840          17749         503         1                -           0.0000          -
1839.73/1845.20	c      1845          17809         499         1                -           0.0000          -
1845.62/1851.15	c      1851          17868         516         1                -           0.0000          -
1850.79/1856.35	c      1856          17957         523         1                -           0.0000          -
1856.17/1861.72	c      1862          18034         528         1                -           0.0000          -
1861.56/1867.18	c      1867          18103         525         1                -           0.0000          -
1869.32/1874.99	c      1875          18153         528         1                -           0.0000          -
1875.11/1880.78	c      1881          18199         520         1                -           0.0000          -
1880.50/1886.19	c      1886          18257         526         1                -           0.0000          -
1886.27/1891.92	c      1892          18299         536         1                -           0.0000          -
1891.75/1897.49	c      1897          18353         528         1                -           0.0000          -
1897.44/1903.15	c      1903          18372         543         1                -           0.0000          -
1903.02/1908.72	c      1909          18387         544         1                -           0.0000          -
1908.70/1914.40	c      1914          18396         553         1                -           0.0000          -
1913.68/1919.45	c      1919          18412         567         1                -           0.0000          -
1918.76/1924.57	c      1925          18555         580         1                -           0.0000          -
1923.84/1929.67	c      1930          18765         582         1                -           0.0000          -
1928.93/1934.78	c      1935          18911         578         1                -           0.0000          -
1935.71/1941.58	c      1942          18969         586         1                -           0.0000          -
1941.20/1947.03	c      1947          19061         591         1                -           0.0000          -
1946.87/1952.72	c      1953          19125         597         1                -           0.0000          -
1953.84/1959.71	c      1960          19155         606         1                -           0.0000          -
1959.43/1965.31	c      1965          19181         611         1                -           0.0000          -
1966.31/1972.22	c      1972          19250         618         1                -           0.0000          -
1971.58/1977.54	c      1978          19269         619         1                -           0.0000          -
1976.77/1982.78	c      1983          19295         636         1                -           0.0000          -
1982.94/1988.96	c      1989          19345         639         1                -           0.0000          -
1988.14/1994.19	c      1994          19411         649         1                -           0.0000          -
1993.41/1999.41	c      1999          19534         660         1                -           0.0000          -
1998.70/2004.71	c      2005          19604         664         1                -           0.0000          -
2003.88/2009.97	c      2010          19681         663         1                -           0.0000          -
2009.66/2015.73	c      2016          19726         676         1                -           0.0000          -
2014.95/2021.07	c      2021          19813         661         1                -           0.0000          -
2020.82/2026.99	c      2027          19844         672         1                -           0.0000          -
2026.20/2032.38	c      2032          19893         669         1                -           0.0000          -
2031.58/2037.77	c      2038          19942         679         1                -           0.0000          -
2037.07/2043.25	c      2043          19972         689         1                -           0.0000          -
2042.35/2048.51	c      2049          20023         687         1                -           0.0000          -
2048.23/2054.40	c      2054          20064         688         1                -           0.0000          -
2053.82/2060.10	c      2060          20098         682         1                -           0.0000          -
2059.99/2066.26	c      2066          20117         701         1                -           0.0000          -
2065.07/2071.37	c      2071          20146         716         1                -           0.0000          -
2071.35/2077.69	c      2078          20175         719         1                -           0.0000          -
2076.63/2082.92	c      2083          20199         715         1                -           0.0000          -
2083.11/2089.49	c      2089          20319         737         1                -           0.0000          -
2088.29/2094.69	c      2095          20360         731         1                -           0.0000          -
2093.98/2100.37	c      2100          20374         725         1                -           0.0000          -
2099.56/2106.01	c      2106          20451         733         1                -           0.0000          -
2105.55/2111.97	c      2112          20493         718         1                -           0.0000          -
2111.03/2117.45	c      2117          20558         726         1                -           0.0000          -
2117.02/2123.49	c      2123          20602         706         1                -           0.0000          -
2122.71/2129.13	c      2129          20648         700         1                -           0.0000          -
2128.48/2134.99	c      2135          20683         697         1                -           0.0000          -
2134.37/2140.83	c      2141          20715         697         1                -           0.0000          -
2139.67/2146.11	c      2146          20752         692         1                -           0.0000          -
2145.85/2152.33	c      2152          20805         693         1                -           0.0000          -
2150.93/2157.47	c      2157          20869         704         1                -           0.0000          -
2157.31/2163.86	c      2164          20898         723         1                -           0.0000          -
2162.79/2169.32	c      2169          20923         712         1                -           0.0000          -
2168.88/2175.48	c      2175          20950         703         1                -           0.0000          -
2174.27/2180.80	c      2181          21044         711         1                -           0.0000          -
2179.46/2186.02	c      2186          21119         712         1                -           0.0000          -
2184.74/2191.32	c      2191          21185         716         1                -           0.0000          -
2190.02/2196.67	c      2197          21237         723         1                -           0.0000          -
2195.42/2202.09	c      2202          21307         732         1                -           0.0000          -
2200.70/2207.31	c      2207          21349         742         1                -           0.0000          -
2205.89/2212.59	c      2213          21414         743         1                -           0.0000          -
2211.48/2218.19	c      2218          21472         747         1                -           0.0000          -
2217.16/2223.87	c      2224          21517         748         1                -           0.0000          -
2224.54/2231.21	c      2231          21521         752         1                -           0.0000          -
2229.73/2236.47	c      2236          21544         757         1                -           0.0000          -
2235.81/2242.50	c      2242          21572         777         1                -           0.0000          -
2240.89/2247.62	c      2248          21646         787         1                -           0.0000          -
2246.48/2253.25	c      2253          21685         778         1                -           0.0000          -
2252.28/2259.04	c      2259          21701         792         1                -           0.0000          -
2257.76/2264.57	c      2265          21755         794         1                -           0.0000          -
2263.35/2270.18	c      2270          21794         791         1                -           0.0000          -
2268.92/2275.74	c      2276          21827         790         1                -           0.0000          -
2274.23/2281.02	c      2281          21853         794         1                -           0.0000          -
2279.21/2286.10	c      2286          22007         802         1                -           0.0000          -
2284.88/2291.76	c      2292          22103         797         1                -           0.0000          -
2290.18/2297.02	c      2297          22177         803         1                -           0.0000          -
2295.36/2302.23	c      2302          22232         800         1                -           0.0000          -
2300.64/2307.52	c      2308          22297         800         1                -           0.0000          -
2306.03/2312.90	c      2313          22344         807         1                -           0.0000          -
2311.11/2318.04	c      2318          22397         796         1                -           0.0000          -
2316.39/2323.32	c      2323          22463         802         1                -           0.0000          -
2321.57/2328.52	c      2329          22543         804         1                -           0.0000          -
2327.07/2334.09	c      2334          22585         802         1                -           0.0000          -
2332.54/2339.57	c      2340          22641         800         1                -           0.0000          -
2337.94/2344.95	c      2345          22674         795         1                -           0.0000          -
2343.82/2350.82	c      2351          22693         814         1                -           0.0000          -
2349.02/2356.05	c      2356          22819         828         1                -           0.0000          -
2354.39/2361.44	c      2361          22909         828         1                -           0.0000          -
2359.98/2367.02	c      2367          22958         833         1                -           0.0000          -
2365.17/2372.26	c      2372          23036         842         1                -           0.0000          -
2370.75/2377.84	c      2378          23122         837         1                -           0.0000          -
2376.14/2383.22	c      2383          23182         825         1                -           0.0000          -
2382.32/2389.45	c      2389          23223         828         1                -           0.0000          -
2387.81/2394.95	c      2395          23264         847         1                -           0.0000          -
2393.09/2400.23	c      2400          23319         841         1                -           0.0000          -
2398.89/2406.09	c      2406          23349         853         1                -           0.0000          -
2404.36/2411.56	c      2412          23381         841         1                -           0.0000          -
2410.95/2418.11	c      2418          23389         845         1                -           0.0000          -
2416.82/2424.08	c      2424          23421         857         1                -           0.0000          -
2422.29/2429.55	c      2430          23511         858         1                -           0.0000          -
2427.57/2434.83	c      2435          23646         871         1                -           0.0000          -
2432.77/2440.09	c      2440          23798         873         1                -           0.0000          -
2438.04/2445.37	c      2445          23891         869         1                -           0.0000          -
2443.73/2451.07	c      2451          23948         874         1                -           0.0000          -
2448.90/2456.21	c      2456          24107         877         1                -           0.0000          -
2453.99/2461.34	c      2461          24269         881         1                -           0.0000          -
2459.27/2466.65	c      2467          24397         879         1                -           0.0000          -
2464.45/2471.88	c      2472          24525         882         1                -           0.0000          -
2469.65/2477.02	c      2477          24618         877         1                -           0.0000          -
2474.82/2482.24	c      2482          24720         883         1                -           0.0000          -
2480.40/2487.82	c      2488          24794         877         1                -           0.0000          -
2485.89/2493.34	c      2493          24860         887         1                -           0.0000          -
2491.18/2498.67	c      2499          24964         890         1                -           0.0000          -
2496.86/2504.30	c      2504          25071         893         1                -           0.0000          -
2501.95/2509.42	c      2509          25171         895         1                -           0.0000          -
2507.23/2514.73	c      2515          25253         901         1                -           0.0000          -
2512.53/2520.05	c      2520          25314         903         1                -           0.0000          -
2518.40/2526.01	c      2526          25375         890         1                -           0.0000          -
2523.78/2531.30	c      2531          25432         891         1                -           0.0000          -
2528.86/2536.46	c      2536          25471         890         1                -           0.0000          -
2534.15/2541.71	c      2542          25514         893         1                -           0.0000          -
2539.34/2546.94	c      2547          25610         904         1                -           0.0000          -
2544.72/2552.36	c      2552          25704         897         1                -           0.0000          -
2550.52/2558.15	c      2558          25757         898         1                -           0.0000          -
2555.99/2563.63	c      2564          25806         887         1                -           0.0000          -
2561.96/2569.68	c      2570          25843         886         1                -           0.0000          -
2567.96/2575.61	c      2576          25891         893         1                -           0.0000          -
2573.24/2580.96	c      2581          25947         886         1                -           0.0000          -
2582.22/2589.97	c      2590          25973         890         1                -           0.0000          -
2587.80/2595.57	c      2596          26002         881         1                -           0.0000          -
2593.19/2601.01	c      2601          26059         882         1                -           0.0000          -
2598.46/2606.22	c      2606          26103         874         1                -           0.0000          -
2604.73/2612.58	c      2613          26116         879         1                -           0.0000          -
2610.23/2618.01	c      2618          26140         885         1                -           0.0000          -
2616.20/2624.03	c      2624          26235         902         1                -           0.0000          -
2621.20/2629.10	c      2629          26443         904         1                -           0.0000          -
2626.37/2634.27	c      2634          26596         897         1                -           0.0000          -
2631.66/2639.56	c      2640          26728         896         1                -           0.0000          -
2636.85/2644.74	c      2645          26831         901         1                -           0.0000          -
2642.03/2650.01	c      2650          26929         897         1                -           0.0000          -
2647.32/2655.27	c      2655          27018         906         1                -           0.0000          -
2652.41/2660.32	c      2660          27155         905         1                -           0.0000          -
2657.60/2665.59	c      2666          27244         902         1                -           0.0000          -
2662.98/2670.90	c      2671          27322         920         1                -           0.0000          -
2668.19/2676.11	c      2676          27424         920         1                -           0.0000          -
2673.36/2681.33	c      2681          27497         920         1                -           0.0000          -
2678.55/2686.56	c      2687          27558         925         1                -           0.0000          -
2683.64/2691.67	c      2692          27682         935         1                -           0.0000          -
2688.83/2696.86	c      2697          27778         930         1                -           0.0000          -
2694.13/2702.11	c      2702          27857         941         1                -           0.0000          -
2700.01/2708.03	c      2708          27914         952         1                -           0.0000          -
2705.29/2713.36	c      2713          27989         961         1                -           0.0000          -
2710.88/2718.96	c      2719          28054         960         1                -           0.0000          -
2716.08/2724.16	c      2724          28125         959         1                -           0.0000          -
2721.36/2729.48	c      2729          28202         964         1                -           0.0000          -
2726.84/2734.97	c      2735          28260         976         1                -           0.0000          -
2732.33/2740.44	c      2740          28351         983         1                -           0.0000          -
2737.62/2745.70	c      2746          28455         983         1                -           0.0000          -
2742.71/2750.89	c      2751          28539         987         1                -           0.0000          -
2748.01/2756.11	c      2756          28614         988         1                -           0.0000          -
2753.19/2761.35	c      2761          28708         998         1                -           0.0000          -
2758.37/2766.53	c      2767          28806         992         1                -           0.0000          -
2763.76/2771.99	c      2772          28879         998         1                -           0.0000          -
2769.55/2777.74	c      2778          28915         992         1                -           0.0000          -
2775.03/2783.28	c      2783          28991         993         1                -           0.0000          -
2780.72/2788.91	c      2789          29035         991         1                -           0.0000          -
2786.21/2794.47	c      2794          29095        1009         1                -           0.0000          -
2791.31/2799.57	c      2800          29361        1017         1                -           0.0000          -
2796.40/2804.66	c      2805          29617        1012         1                -           0.0000          -
2801.68/2809.96	c      2810          29753        1010         1                -           0.0000          -
2806.97/2815.24	c      2815          29833        1010         1                -           0.0000          -
2812.16/2820.45	c      2820          29921        1013         1                -           0.0000          -
2819.85/2828.13	c      2828          29950        1010         1                -           0.0000          -
2825.63/2833.95	c      2834          30006        1016         1                -           0.0000          -
2831.02/2839.36	c      2839          30087        1024         1                -           0.0000          -
2836.82/2845.14	c      2845          30126        1029         1                -           0.0000          -
2842.39/2850.71	c      2851          30165        1022         1                -           0.0000          -
2848.18/2856.51	c      2857          30197        1020         1                -           0.0000          -
2853.97/2862.36	c      2862          30224        1025         1                -           0.0000          -
2859.45/2867.86	c      2868          30271        1030         1                -           0.0000          -
2865.45/2873.84	c      2874          30319        1038         1                -           0.0000          -
2871.13/2879.59	c      2880          30342        1035         1                -           0.0000          -
2876.63/2885.04	c      2885          30370        1041         1                -           0.0000          -
2882.62/2891.05	c      2891          30409        1044         1                -           0.0000          -
2888.09/2896.50	c      2896          30459        1048         1                -           0.0000          -
2893.28/2901.70	c      2902          30521        1053         1                -           0.0000          -
2898.47/2906.95	c      2907          30566        1054         1                -           0.0000          -
2904.96/2913.40	c      2913          30596        1056         1                -           0.0000          -
2910.94/2919.45	c      2919          30632        1042         1                -           0.0000          -
2916.13/2924.69	c      2925          30690        1054         1                -           0.0000          -
2922.02/2930.51	c      2931          30730        1066         1                -           0.0000          -
2927.41/2935.98	c      2936          30765        1057         1                -           0.0000          -
2932.90/2941.45	c      2941          30810        1052         1                -           0.0000          -
2938.09/2946.69	c      2947          30879        1057         1                -           0.0000          -
2943.67/2952.26	c      2952          30940        1056         1                -           0.0000          -
2948.86/2957.42	c      2957          30974        1054         1                -           0.0000          -
2955.05/2963.60	c      2964          30992        1064         1                -           0.0000          -
2960.14/2968.73	c      2969          31026        1070         1                -           0.0000          -
2965.23/2973.85	c      2974          31051        1081         1                -           0.0000          -
2970.72/2979.35	c      2979          31107        1085         1                -           0.0000          -
2976.20/2984.85	c      2985          31162        1084         1                -           0.0000          -
2982.09/2990.79	c      2991          31189        1087         1                -           0.0000          -
2987.78/2996.48	c      2996          31239        1099         1                -           0.0000          -
2993.77/3002.47	c      3002          31283        1101         1                -           0.0000          -
2998.95/3007.61	c      3008          31320        1096         1                -           0.0000          -
3005.74/3014.44	c      3014          31366        1094         1                -           0.0000          -
3011.63/3020.33	c      3020          31387        1097         1                -           0.0000          -
3017.01/3025.76	c      3026          31438        1104         1                -           0.0000          -
3023.31/3032.05	c      3032          31449        1109         1                -           0.0000          -
3028.40/3037.18	c      3037          31467        1123         1                -           0.0000          -
3034.48/3043.27	c      3043          31518        1126         1                -           0.0000          -
3040.28/3049.02	c      3049          31554        1132         1                -           0.0000          -
3045.65/3054.44	c      3054          31595        1129         1                -           0.0000          -
3050.94/3059.77	c      3060          31636        1142         1                -           0.0000          -
3059.02/3067.86	c      3068          31692        1160         1                -           0.0000          -
3064.41/3073.28	c      3073          31794        1169         1                -           0.0000          -
3069.80/3078.64	c      3079          31864        1169         1                -           0.0000          -
3075.39/3084.24	c      3084          31941        1172         1                -           0.0000          -
3080.97/3089.85	c      3090          31997        1184         1                -           0.0000          -
3086.67/3095.56	c      3096          32033        1182         1                -           0.0000          -
3091.86/3100.77	c      3101          32055        1182         1                -           0.0000          -
3097.35/3106.22	c      3106          32091        1184         1                -           0.0000          -
3103.25/3112.14	c      3112          32141        1194         1                -           0.0000          -
3108.52/3117.47	c      3117          32211        1212         1                -           0.0000          -
3113.71/3122.61	c      3123          32339        1212         1                -           0.0000          -
3119.00/3127.96	c      3128          32449        1220         1                -           0.0000          -
3124.39/3133.36	c      3133          32541        1214         1                -           0.0000          -
3129.67/3138.63	c      3139          32642        1211         1                -           0.0000          -
3134.96/3143.99	c      3144          32719        1216         1                -           0.0000          -
3140.25/3149.21	c      3149          32807        1224         1                -           0.0000          -
3145.44/3154.46	c      3154          32871        1224         1                -           0.0000          -
3150.62/3159.61	c      3160          32945        1224         1                -           0.0000          -
3155.91/3164.90	c      3165          33031        1236         1                -           0.0000          -
3161.11/3170.18	c      3170          33126        1237         1                -           0.0000          -
3166.39/3175.49	c      3175          33209        1232         1                -           0.0000          -
3171.88/3180.98	c      3181          33273        1230         1                -           0.0000          -
3177.17/3186.27	c      3186          33330        1233         1                -           0.0000          -
3182.26/3191.38	c      3191          33427        1243         1                -           0.0000          -
3187.96/3197.04	c      3197          33522        1246         1                -           0.0000          -
3193.23/3202.33	c      3202          33620        1248         1                -           0.0000          -
3198.52/3207.61	c      3208          33709        1257         1                -           0.0000          -
3203.71/3212.88	c      3213          33782        1264         1                -           0.0000          -
3209.01/3218.18	c      3218          33854        1275         1                -           0.0000          -
3214.29/3223.44	c      3223          33943        1270         1                -           0.0000          -
3219.58/3228.75	c      3229          34002        1277         1                -           0.0000          -
3224.87/3234.09	c      3234          34075        1280         1                -           0.0000          -
3230.05/3239.24	c      3239          34156        1291         1                -           0.0000          -
3235.44/3244.69	c      3245          34249        1294         1                -           0.0000          -
3240.63/3249.84	c      3250          34314        1301         1                -           0.0000          -
3245.93/3255.12	c      3255          34392        1305         1                -           0.0000          -
3251.41/3260.61	c      3261          34412        1307         1                -           0.0000          -
3256.81/3266.09	c      3266          34431        1310         1                -           0.0000          -
3263.08/3272.39	c      3272          34449        1322         1                -           0.0000          -
3268.67/3277.92	c      3278          34485        1320         1                -           0.0000          -
3273.96/3283.25	c      3283          34548        1330         1                -           0.0000          -
3278.95/3288.28	c      3288          34599        1337         1                -           0.0000          -
3284.14/3293.47	c      3293          34665        1337         1                -           0.0000          -
3289.84/3299.11	c      3299          34719        1335         1                -           0.0000          -
3295.21/3304.53	c      3305          34779        1337         1                -           0.0000          -
3300.40/3309.71	c      3310          34832        1342         1                -           0.0000          -
3305.89/3315.28	c      3315          34866        1358         1                -           0.0000          -
3311.08/3320.43	c      3320          34964        1356         1                -           0.0000          -
3316.47/3325.81	c      3326          35055        1355         1                -           0.0000          -
3322.05/3331.49	c      3331          35117        1356         1                -           0.0000          -
3327.54/3336.93	c      3337          35175        1374         1                -           0.0000          -
3332.93/3342.37	c      3342          35234        1371         1                -           0.0000          -
3338.63/3348.03	c      3348          35286        1369         1                -           0.0000          -
3343.91/3353.35	c      3353          35354        1389         1                -           0.0000          -
3349.09/3358.53	c      3359          35420        1391         1                -           0.0000          -
3354.39/3363.87	c      3364          35496        1389         1                -           0.0000          -
3359.78/3369.30	c      3369          35562        1409         1                -           0.0000          -
3365.06/3374.52	c      3375          35643        1410         1                -           0.0000          -
3370.15/3379.67	c      3380          35712        1411         1                -           0.0000          -
3375.34/3384.83	c      3385          35768        1413         1                -           0.0000          -
3380.73/3390.23	c      3390          35823        1414         1                -           0.0000          -
3386.12/3395.66	c      3396          35891        1420         1                -           0.0000          -
3391.70/3401.29	c      3401          35927        1429         1                -           0.0000          -
3396.89/3406.43	c      3406          35957        1441         1                -           0.0000          -
3402.08/3411.67	c      3412          36043        1457         1                -           0.0000          -
3407.37/3416.95	c      3417          36126        1452         1                -           0.0000          -
3412.86/3422.42	c      3422          36185        1445         1                -           0.0000          -
3419.34/3428.97	c      3429          36218        1442         1                -           0.0000          -
3424.73/3434.35	c      3434          36280        1446         1                -           0.0000          -
3429.92/3439.59	c      3440          36321        1433         1                -           0.0000          -
3435.21/3444.89	c      3445          36346        1432         1                -           0.0000          -
3441.00/3450.69	c      3451          36424        1444         1                -           0.0000          -
3446.39/3456.04	c      3456          36482        1454         1                -           0.0000          -
3451.48/3461.16	c      3461          36562        1460         1                -           0.0000          -
3456.66/3466.34	c      3466          36638        1466         1                -           0.0000          -
3461.95/3471.68	c      3472          36709        1473         1                -           0.0000          -
3467.54/3477.20	c      3477          36775        1477         1                -           0.0000          -
3472.82/3482.55	c      3483          36825        1471         1                -           0.0000          -
3478.22/3487.92	c      3488          36881        1475         1                -           0.0000          -
3483.71/3493.43	c      3493          36930        1468         1                -           0.0000          -
3489.59/3499.34	c      3499          37004        1489         1                -           0.0000          -
3494.78/3504.54	c      3505          37160        1488         1                -           0.0000          -
3500.87/3510.60	c      3511          37254        1488         1                -           0.0000          -
3506.06/3515.82	c      3516          37368        1490         1                -           0.0000          -
3511.36/3521.15	c      3521          37446        1482         1                -           0.0000          -
3516.63/3526.45	c      3526          37569        1493         1                -           0.0000          -
3521.82/3531.61	c      3532          37670        1499         1                -           0.0000          -
3527.01/3536.88	c      3537          37772        1505         1                -           0.0000          -
3533.40/3543.22	c      3543          37818        1509         1                -           0.0000          -
3538.68/3548.55	c      3549          37897        1514         1                -           0.0000          -
3544.18/3554.05	c      3554          37972        1511         1                -           0.0000          -
3549.46/3559.33	c      3559          38039        1522         1                -           0.0000          -
3554.65/3564.55	c      3565          38124        1521         1                -           0.0000          -
3560.14/3570.03	c      3570          38184        1515         1                -           0.0000          -
3565.43/3575.32	c      3575          38276        1521         1                -           0.0000          -
3570.72/3580.62	c      3581          38324        1529         1                -           0.0000          -
3575.91/3585.87	c      3586          38377        1518         1                -           0.0000          -
3581.21/3591.12	c      3591          38481        1526         1                -           0.0000          -
3586.38/3596.32	c      3596          38549        1514         1                -           0.0000          -
3588.09/3598.07	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.09/3598.07	c Total Time         : 3598.0600
3588.09/3598.07	c   solving          : 3598.0600
3588.09/3598.07	c   presolving       : 0.7129 (included in solving)
3588.09/3598.07	c B&B Tree           :
3588.09/3598.07	c   nodes (total)    : 1
3588.09/3598.07	c Solution           :
3588.09/3598.07	c   Solutions found  : 0
3588.09/3598.07	c   Primal Bound     :          -
3588.09/3598.07	c   Dual Bound       : +0.00000000000000e+00
3588.09/3598.07	c Gap                :          -
3588.09/3598.09	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: 64096 MiB (59054 MiB free)
  memory of node 1: 64473 MiB (62294 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464663-1722386781/watcher-4464663-1722386781 -o /tmp/evaluation-result-4464663-1722386781/solver-4464663-1722386781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464663-1722386781.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
Current StackSize limit: 8192 KiB

solver pid=33604, runsolver pid=33601

[startup+0.100577 s]*
/proc/loadavg: 4.20 4.14 4.15 5/247 33605
/proc/meminfo: memFree=124241020/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=45024 memory=34072 CPUtime=0.1 cores=5,7
/proc/33604/stat : 33604 (fscip) R 33601 33604 28487 0 -1 4194304 6245 0 0 0 8 2 0 0 20 0 1 0 5275102 46104576 8518 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 11256 8518 2539 3035 0 7652 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45024 KiB
Current children cumulated memory: 34072 KiB

[startup+0.212824 s]*
/proc/loadavg: 4.20 4.14 4.15 5/247 33605
/proc/meminfo: memFree=124225364/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=59588 memory=47012 CPUtime=0.21 cores=5,7
/proc/33604/stat : 33604 (fscip) R 33601 33604 28487 0 -1 4194304 9404 0 0 0 19 2 0 0 20 0 1 0 5275102 61018112 11753 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 14897 11753 2630 3035 0 11293 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59588 KiB
Current children cumulated memory: 47012 KiB

[startup+0.31265 s]*
/proc/loadavg: 4.20 4.14 4.15 5/247 33605
/proc/meminfo: memFree=124217664/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=60952 memory=49904 CPUtime=0.31 cores=5,7
/proc/33604/stat : 33604 (fscip) R 33601 33604 28487 0 -1 4194304 12681 0 0 0 27 4 0 0 20 0 1 0 5275102 62414848 12476 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 15238 12476 2694 3035 0 11634 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60952 KiB
Current children cumulated memory: 49904 KiB

[startup+0.700329 s]
/proc/loadavg: 4.20 4.14 4.15 5/247 33605
/proc/meminfo: memFree=124216600/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=72976 memory=60596 CPUtime=0.68 cores=5,7
/proc/33604/stat : 33604 (fscip) R 33601 33604 28487 0 -1 4194304 16131 0 0 0 63 5 0 0 20 0 1 0 5275102 74727424 15149 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 18244 15149 2742 3035 0 14640 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72976 KiB
Current children cumulated memory: 60596 KiB

[startup+1.5004 s]
/proc/loadavg: 4.20 4.14 4.15 5/249 33607
/proc/meminfo: memFree=124154520/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=249144 memory=150412 CPUtime=1.48 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 41563 0 0 0 137 11 0 0 20 0 3 0 5275102 255123456 37603 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 62286 37603 2854 3035 0 43274 0
[pid=33604/tid=33606] ppid=33601 vsize=249144 memory=4304 CPUtime=0.62 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 19037 0 0 0 58 4 0 0 20 0 3 0 5275186 255123456 37603 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=249144 memory=11440 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5275193 255123456 37603 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249144 KiB
Current children cumulated memory: 150412 KiB

[startup+3.11319 s]
/proc/loadavg: 4.20 4.14 4.15 5/249 33608
/proc/meminfo: memFree=124115460/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=249144 memory=157400 CPUtime=3.09 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 45256 0 0 0 298 11 0 0 20 0 3 0 5275102 255123456 39350 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 62286 39350 2934 3035 0 45016 0
[pid=33604/tid=33606] ppid=33601 vsize=249144 memory=16104 CPUtime=2.22 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 22704 0 0 0 218 4 0 0 20 0 3 0 5275186 255123456 39350 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=249144 memory=69072 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5275193 255123456 39350 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 249144 KiB
Current children cumulated memory: 157400 KiB

[startup+6.30035 s]
/proc/loadavg: 4.18 4.14 4.15 5/249 33608
/proc/meminfo: memFree=124111160/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=249144 memory=160844 CPUtime=6.26 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 49255 0 0 0 615 11 0 0 20 0 3 0 5275102 255123456 40211 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 62286 40211 2934 3035 0 45785 0
[pid=33604/tid=33606] ppid=33601 vsize=249144 memory=160460 CPUtime=5.41 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 26697 0 0 0 536 5 0 0 20 0 3 0 5275186 255123456 40211 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=249144 memory=0 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5275193 255123456 40211 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 249144 KiB
Current children cumulated memory: 160844 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.13 4.15 5/249 33608
/proc/meminfo: memFree=124047592/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=314680 memory=223924 CPUtime=12.65 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 96434 0 0 0 1249 16 0 0 20 0 3 0 5275102 322232320 55981 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 78670 55981 2966 3035 0 62009 0
[pid=33604/tid=33606] ppid=33601 vsize=314680 memory=223924 CPUtime=11.79 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 73868 0 0 0 1170 9 0 0 20 0 3 0 5275186 322232320 55981 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=314680 memory=241357294852 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5275193 322232320 55981 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 223924 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 4.14 5/249 33611
/proc/meminfo: memFree=123977740/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=380216 memory=289680 CPUtime=25.41 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 148246 0 0 0 2521 20 0 0 20 0 3 0 5275102 389341184 72420 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 95054 72420 2966 3035 0 81717 0
[pid=33604/tid=33606] ppid=33601 vsize=380216 memory=11440 CPUtime=24.55 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 125644 0 0 0 2442 13 0 0 20 0 3 0 5275186 389341184 72420 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=380216 memory=0 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5275193 389341184 72420 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 380216 KiB
Current children cumulated memory: 289680 KiB

[startup+51.1128 s]
/proc/loadavg: 4.15 4.13 4.14 5/249 33614
/proc/meminfo: memFree=123945480/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=380216 memory=316200 CPUtime=50.96 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 199683 0 0 0 5072 24 0 0 20 0 3 0 5275102 389341184 79050 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 95054 79050 3014 3035 0 87770 0
[pid=33604/tid=33606] ppid=33601 vsize=380216 memory=316112 CPUtime=50.09 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 177021 0 0 0 4992 17 0 0 20 0 3 0 5275186 389341184 79050 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=380216 memory=316112 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5275193 389341184 79050 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 380216 KiB
Current children cumulated memory: 316200 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/249 33624
/proc/meminfo: memFree=123932144/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=445752 memory=336056 CPUtime=102.02 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 306913 0 0 0 10171 31 0 0 20 0 3 0 5275102 456450048 84014 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 111438 84014 3014 3035 0 93634 0
[pid=33604/tid=33606] ppid=33601 vsize=445752 memory=336052 CPUtime=101.15 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 284157 0 0 0 10091 24 0 0 20 0 3 0 5275186 456450048 84014 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=445752 memory=40044 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5275193 456450048 84014 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 445752 KiB
Current children cumulated memory: 336056 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/249 33635
/proc/meminfo: memFree=123880368/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=445752 memory=337932 CPUtime=161.86 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 380258 0 0 0 16150 36 0 0 20 0 3 0 5275102 456450048 84483 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 111438 84483 3014 3035 0 93634 0
[pid=33604/tid=33606] ppid=33601 vsize=445752 memory=11440 CPUtime=160.99 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 357407 0 0 0 16070 29 0 0 20 0 3 0 5275186 456450048 84483 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=445752 memory=6944652177228980320 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5275193 456450048 84483 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 445752 KiB
Current children cumulated memory: 337932 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 33646
/proc/meminfo: memFree=123836096/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=445752 memory=371580 CPUtime=221.69 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 440672 0 0 0 22126 43 0 0 20 0 3 0 5275102 456450048 92895 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 111438 92895 3014 3035 0 101820 0
[pid=33604/tid=33606] ppid=33601 vsize=445752 memory=337932 CPUtime=220.8 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 417760 0 0 0 22045 35 0 0 20 0 3 0 5275186 456450048 92895 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=445752 memory=336528 CPUtime=0 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 5275193 456450048 92895 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 445752 KiB
Current children cumulated memory: 371580 KiB


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

/proc/33604/statm: 127822 107752 3030 3035 0 110849 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=431008 CPUtime=3391.64 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1384827 0 0 0 339044 120 0 0 20 0 3 0 5275186 523558912 107752 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=431008 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 192 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 107752 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 431008 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.29 2.33 2/225 35526
/proc/meminfo: memFree=127614676/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=431008 CPUtime=3452.67 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1410679 0 0 0 345128 139 0 0 20 0 3 0 5275102 523558912 107752 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 107752 3030 3035 0 110849 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=431008 CPUtime=3451.51 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1385747 0 0 0 345031 120 0 0 20 0 3 0 5275186 523558912 107752 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=431008 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 194 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 107752 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 431008 KiB

[startup+3522.3 s]
/proc/loadavg: 1.22 1.28 2.26 2/224 35557
/proc/meminfo: memFree=127594476/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449400 CPUtime=3512.54 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1417376 0 0 0 351113 141 0 0 20 0 3 0 5275102 523558912 112350 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112350 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=16104 CPUtime=3511.38 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1392420 0 0 0 351016 122 0 0 20 0 3 0 5275186 523558912 112350 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=449400 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 196 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112350 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449400 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.25 2.18 2/224 35568
/proc/meminfo: memFree=127594376/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3572.41 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418386 0 0 0 357099 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=12968 CPUtime=3571.23 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393410 0 0 0 357001 122 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=449504 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

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

# cumulated CPU time of all completed processes:  user=3586.76 s, system=1.43588 s

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

[startup+3584 s]*
/proc/loadavg: 1.14 1.25 2.18 2/222 35570
/proc/meminfo: memFree=127594236/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3574.12 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418386 0 0 0 357270 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=2276 CPUtime=3572.94 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393410 0 0 0 357172 122 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=25076 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

[startup+3590.4 s]
/proc/loadavg: 1.13 1.24 2.18 2/222 35571
/proc/meminfo: memFree=127594232/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3580.5 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418422 0 0 0 357908 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=449504 CPUtime=3579.32 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393446 0 0 0 357810 122 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=449504 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

[startup+3593.6 s]
/proc/loadavg: 1.12 1.24 2.17 2/222 35572
/proc/meminfo: memFree=127594196/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3583.69 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418426 0 0 0 358227 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=11440 CPUtime=3582.52 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393450 0 0 0 358129 123 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=449504 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

[startup+3595.2 s]
/proc/loadavg: 1.12 1.24 2.17 2/222 35572
/proc/meminfo: memFree=127594212/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3585.28 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418432 0 0 0 358386 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=-7235432492932621696 CPUtime=3584.11 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393456 0 0 0 358288 123 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=5528 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

[startup+3596.8 s]
/proc/loadavg: 1.11 1.23 2.16 2/222 35572
/proc/meminfo: memFree=127594204/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3586.88 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418839 0 0 0 358546 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=449504 CPUtime=3585.71 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393847 0 0 0 358448 123 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=12968 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

[startup+3597.6 s]
/proc/loadavg: 1.11 1.23 2.16 2/222 35572
/proc/meminfo: memFree=127594212/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3587.68 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418911 0 0 0 358626 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=12968 CPUtime=3586.51 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1393918 0 0 0 358528 123 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=12672 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

[startup+3598 s]*
/proc/loadavg: 1.11 1.23 2.16 2/222 35572
/proc/meminfo: memFree=127594204/131655788 swapFree=131071996/131071996
[pid=33604] ppid=33601 vsize=511288 memory=449504 CPUtime=3588.09 cores=5,7
/proc/33604/stat : 33604 (fscip) S 33601 33604 28487 0 -1 1077936128 1418943 0 0 0 358667 142 0 0 20 0 3 0 5275102 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
/proc/33604/statm: 127822 112376 3030 3035 0 115779 0
[pid=33604/tid=33606] ppid=33601 vsize=511288 memory=-7235432492932621696 CPUtime=3586.92 cores=5,7
/proc/33604/task/33606/stat : 33606 (fscip) R 33601 33604 28487 0 -1 4194368 1394002 0 0 0 358569 123 0 0 20 0 3 0 5275186 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
[pid=33604/tid=33607] ppid=33601 vsize=511288 memory=-4050210904893799826 CPUtime=0.05 cores=5,7
/proc/33604/task/33607/stat : 33607 (fscip) S 33601 33604 28487 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 5275193 523558912 112376 134679101440 4194304 16623229 140736831475824 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57638912 140736831480854 140736831480970 140736831480970 140736831487984 0
Current children cumulated CPU time: 3588.09 s
Current children cumulated vsize: 511288 KiB
Current children cumulated memory: 449504 KiB

Child status: 0

Real time (s): 3598.11
CPU time (s): 3588.19
CPU user time (s): 3586.76
CPU system time (s): 1.43588
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 511288
Max. memory (cumulated for all children) (KiB): 449504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.76
system time used= 1.43588
maximum resident set size= 449504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1420507
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= 9980
involuntary context switches= 1249


# summary of solver processes directly reported to runsolver:
#   pid: 33604
#   total CPU time (s): 3588.19
#   total CPU user time (s): 3586.76
#   total CPU system time (s): 1.43588

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7253 second user time and 33.6908 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-31 02:46:21
IDJOB=4464663
IDBENCH=162627
IDSOLVER=3092
FILE ID=nodeC005/4464663-1722386781
RUNJOBID= nodeC005-1722378594-28501
SLURM_JOB_ID= 8249835
Free space on /tmp= 723692 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.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-4464663-1722386781/watcher-4464663-1722386781 -o /tmp/evaluation-result-4464663-1722386781/solver-4464663-1722386781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28501 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464663-1722386781.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 66b8e371687d4e403b47b4700770389d
RANDOM SEED=1103185298

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124261860 kB
MemAvailable:   126382224 kB
Buffers:          104148 kB
Cached:          2822136 kB
SwapCached:            0 kB
Active:           269676 kB
Inactive:        6621176 kB
Active(anon):       1476 kB
Inactive(anon):  3984400 kB
Active(file):     268200 kB
Inactive(file):  2636776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29084 kB
Writeback:             4 kB
AnonPages:       3964600 kB
Mapped:           124264 kB
Shmem:             21320 kB
KReclaimable:     111176 kB
Slab:             193760 kB
SReclaimable:     111176 kB
SUnreclaim:        82584 kB
KernelStack:        3952 kB
PageTables:        16876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2494324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    598016 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:      187208 kB
DirectMap2M:    14397440 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC005 at 2024-07-31 03:46:19