Trace number 2684818

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
PB-wave alpha 2? (TO) 1800.04 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_10-unsat.opb
MD5SUMcde880e36ac940ebc706231d93099786
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark17.4323
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22022
Total number of constraints69222
Number of constraints which are clauses68862
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints360
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 379
Number of bits of the biggest sum of numbers9
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.18	c PB-wave - v2
0.00/0.18	c command line = ./PB-wave
0.00/0.18	c seed = 71860687
0.00/0.18	c cutoff = 1000000
0.00/0.18	c tries = 1000000
0.00/0.18	c heuristic = c best, noise 50 / 100
0.00/0.18	#var 22022 #con 69222
0.00/0.18	mode is SAT
0.00/0.18	c tail starts after flip = 66066
0.00/0.18	c numatom = 22022, numclause = 69222, numliterals = 169004
0.00/0.18	c wff read in
0.00/0.18	c 
0.00/0.18	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.18	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.18	c       this      this      this      this      this      this   success   success       until         std
0.00/0.18	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.18	c
1.99/2.09	c       828       961   1087.76    144.60      7.52   1000000         0
3.99/4.01	c       826      1059   1092.89    133.37      8.19   1000000         0
5.89/5.91	c       831      1033   1079.57    132.44      8.15   1000000         0
7.79/7.84	c       878      1037   1108.64    155.01      7.15   1000000         0
9.69/9.76	c       813      1063   1110.40    141.97      7.82   1000000         0
11.59/11.67	c       814      1020   1091.67    146.16      7.47   1000000         0
13.58/13.60	c       836      1104   1107.02    154.38      7.17   1000000         0
15.48/15.53	c       852      1107   1132.06    148.04      7.65   1000000         0
17.38/17.44	c       759      1182   1089.22    170.21      6.40   1000000         0
19.28/19.36	c       870      1189   1109.68    149.07      7.44   1000000         0
21.18/21.28	c       793      1007   1098.06    145.68      7.54   1000000         0
23.18/23.20	c       810      1004   1124.07    164.80      6.82   1000000         0
25.08/25.11	c       779      1061   1088.86    121.18      8.99   1000000         0
26.98/27.04	c       843      1107   1129.10    128.37      8.80   1000000         0
28.88/28.95	c       826       984   1086.53    126.50      8.59   1000000         0
30.79/30.88	c       825      1186   1123.96    143.89      7.81   1000000         0
32.68/32.79	c       794      1100   1081.45    139.78      7.74   1000000         0
34.68/34.70	c       830      1192   1091.62    130.91      8.34   1000000         0
36.58/36.63	c       874      1102   1114.41    120.43      9.25   1000000         0
38.49/38.55	c       797       997   1107.06    147.53      7.50   1000000         0
40.38/40.49	c       874      1112   1128.46    145.12      7.78   1000000         0
42.38/42.42	c       896      1012   1139.33    137.68      8.28   1000000         0
44.28/44.35	c       781      1025   1115.91    147.52      7.56   1000000         0
46.18/46.27	c       846      1027   1119.60    151.26      7.40   1000000         0
48.18/48.21	c       892      1066   1131.08    135.99      8.32   1000000         0
50.08/50.13	c       825      1172   1110.89    151.66      7.32   1000000         0
51.98/52.05	c       856      1015   1099.83    126.97      8.66   1000000         0
53.88/53.98	c       797      1049   1112.08    136.36      8.16   1000000         0
55.87/55.90	c       853       932   1108.57    133.33      8.31   1000000         0
57.77/57.82	c       881      1173   1128.33    126.43      8.92   1000000         0
59.67/59.74	c       816      1170   1107.74    126.09      8.79   1000000         0
61.58/61.66	c       865      1287   1092.78    120.95      9.03   1000000         0
63.47/63.59	c       838      1078   1121.14    140.60      7.97   1000000         0
65.47/65.52	c       892      1005   1121.54    135.08      8.30   1000000         0
67.37/67.45	c       898      1121   1126.62    121.79      9.25   1000000         0
69.28/69.37	c       836      1114   1112.47    115.27      9.65   1000000         0
71.17/71.28	c       830      1068   1091.53    134.57      8.11   1000000         0
73.07/73.19	c       869      1086   1089.38    122.23      8.91   1000000         0
75.07/75.13	c       889      1113   1115.87    151.68      7.36   1000000         0
76.98/77.05	c       827      1039   1106.07    161.32      6.86   1000000         0
78.87/78.97	c       765      1027   1121.92    125.07      8.97   1000000         0
80.77/80.89	c       850      1137   1108.46    136.74      8.11   1000000         0
82.77/82.81	c       826       923   1115.78    144.04      7.75   1000000         0
84.67/84.73	c       818      1130   1107.70    140.15      7.90   1000000         0
86.57/86.65	c       849       959   1112.32    137.54      8.09   1000000         0
88.47/88.57	c       838       989   1107.22    147.86      7.49   1000000         0
90.37/90.48	c       820      1050   1093.53    117.24      9.33   1000000         0
92.27/92.40	c       868      1097   1119.62    133.14      8.41   1000000         0
94.26/94.32	c       807      1141   1104.78    136.28      8.11   1000000         0
96.16/96.23	c       821      1075   1093.12    132.52      8.25   1000000         0
98.06/98.14	c       826      1062   1069.13    125.21      8.54   1000000         0
99.97/100.07	c       815      1207   1097.57    146.82      7.48   1000000         0
101.86/101.99	c       835      1093   1111.99    117.40      9.47   1000000         0
103.86/103.92	c       853      1114   1138.48    157.12      7.25   1000000         0
105.76/105.85	c       832      1224   1118.25    148.03      7.55   1000000         0
107.67/107.77	c       792      1116   1092.78    134.46      8.13   1000000         0
109.66/109.70	c       858      1049   1124.03    143.93      7.81   1000000         0
111.56/111.62	c       839      1043   1116.11    166.96      6.69   1000000         0
113.46/113.54	c       783      1181   1111.42    140.25      7.92   1000000         0
115.37/115.47	c       874      1044   1128.65    146.69      7.69   1000000         0
117.26/117.39	c       876      1169   1099.97    111.93      9.83   1000000         0
119.26/119.31	c       859      1115   1117.55    136.48      8.19   1000000         0
121.16/121.22	c       808      1174   1102.45    146.26      7.54   1000000         0
123.06/123.14	c       800       909   1102.04    147.08      7.49   1000000         0
124.96/125.05	c       803      1099   1109.57    142.93      7.76   1000000         0
126.86/126.97	c       865       964   1093.54    142.75      7.66   1000000         0
128.76/128.88	c       786      1076   1102.80    143.38      7.69   1000000         0
130.76/130.80	c       845      1137   1100.47    138.10      7.97   1000000         0
132.65/132.72	c       824      1128   1111.74    133.53      8.33   1000000         0
134.55/134.64	c       825       941   1096.13    137.36      7.98   1000000         0
136.45/136.56	c       857      1197   1104.23    170.94      6.46   1000000         0
138.35/138.49	c       872      1137   1114.23    123.05      9.06   1000000         0
140.35/140.41	c       863      1058   1109.11    158.89      6.98   1000000         0
142.25/142.32	c       798      1173   1077.35    105.78     10.18   1000000         0
144.15/144.24	c       821       949   1102.87    153.36      7.19   1000000         0
146.05/146.15	c       874       919   1100.12    136.11      8.08   1000000         0
147.95/148.08	c       847      1269   1132.39    127.68      8.87   1000000         0
149.95/150.02	c       843      1122   1151.22    171.00      6.73   1000000         0
151.85/151.93	c       779      1124   1099.63    132.45      8.30   1000000         0
153.75/153.86	c       813       994   1119.23    148.30      7.55   1000000         0
155.65/155.77	c       867      1120   1083.03    115.97      9.34   1000000         0
157.55/157.67	c       804      1013   1092.03    157.13      6.95   1000000         0
159.55/159.60	c       856      1134   1124.24    155.82      7.22   1000000         0
161.45/161.52	c       848      1082   1114.62    137.09      8.13   1000000         0
163.35/163.44	c       853      1066   1114.48    155.19      7.18   1000000         0
165.24/165.36	c       809      1105   1113.06    144.60      7.70   1000000         0
167.15/167.29	c       850      1018   1118.31    149.10      7.50   1000000         0
169.14/169.22	c       838       946   1127.61    138.73      8.13   1000000         0
171.04/171.13	c       824      1116   1092.20    146.93      7.43   1000000         0
172.94/173.06	c       850      1093   1118.14    141.30      7.91   1000000         0
174.85/174.98	c       852      1059   1091.18    148.73      7.34   1000000         0
176.84/176.90	c       848       992   1108.91    155.23      7.14   1000000         0
178.74/178.82	c       882       997   1111.51    148.19      7.50   1000000         0
180.64/180.75	c       815      1026   1111.26    167.04      6.65   1000000         0
182.55/182.66	c       852      1096   1086.55    133.42      8.14   1000000         0
184.44/184.58	c       895      1160   1129.91    123.09      9.18   1000000         0
186.44/186.51	c       827      1140   1115.06    132.52      8.41   1000000         0
188.34/188.43	c       826      1039   1104.80    146.68      7.53   1000000         0
190.25/190.36	c       896      1084   1132.77    127.68      8.87   1000000         0
192.14/192.29	c       813      1080   1141.75    140.96      8.10   1000000         0
194.14/194.21	c       770      1030   1105.50    131.76      8.39   1000000         0
196.04/196.14	c       828       986   1109.59    141.96      7.82   1000000         0
197.94/198.06	c       862      1107   1110.64    159.30      6.97   1000000         0
199.83/199.98	c       821      1111   1088.31    150.43      7.23   1000000         0
201.83/201.90	c       844      1022   1090.92    155.30      7.02   1000000         0
203.73/203.82	c       844      1157   1115.16    142.27      7.84   1000000         0
205.64/205.74	c       880      1158   1121.63    130.44      8.60   1000000         0
207.53/207.67	c       884      1114   1143.69    125.30      9.13   1000000         0
209.43/209.59	c       848      1175   1104.85    137.11      8.06   1000000         0
211.43/211.51	c       846      1012   1110.85    144.31      7.70   1000000         0
213.34/213.43	c       856      1122   1097.76    135.61      8.09   1000000         0
215.23/215.34	c       808      1032   1086.54    131.62      8.26   1000000         0
217.13/217.25	c       867      1091   1103.44    145.12      7.60   1000000         0
219.03/219.17	c       869      1049   1105.24    156.01      7.08   1000000         0
220.94/221.07	c       851      1137   1091.39    127.61      8.55   1000000         0
222.93/223.00	c       845      1291   1136.26    147.23      7.72   1000000         0
224.83/224.92	c       836       993   1093.45    159.93      6.84   1000000         0
226.73/226.84	c       784       954   1100.70    158.15      6.96   1000000         0
228.64/228.76	c       799      1036   1098.75    130.15      8.44   1000000         0
230.53/230.68	c       851       998   1103.73    134.48      8.21   1000000         0
232.53/232.61	c       860      1103   1122.79    173.85      6.46   1000000         0
234.43/234.53	c       817      1072   1103.59    158.38      6.97   1000000         0
236.33/236.45	c       810      1080   1099.74    139.35      7.89   1000000         0
238.23/238.37	c       839      1037   1102.20    139.53      7.90   1000000         0
240.23/240.30	c       850      1064   1136.75    171.04      6.65   1000000         0
242.12/242.24	c       857      1103   1132.48    161.63      7.01   1000000         0
244.03/244.16	c       862      1124   1106.99    130.29      8.50   1000000         0
245.92/246.08	c       831       996   1103.99    150.73      7.32   1000000         0
247.92/248.01	c       870      1232   1105.49    144.24      7.66   1000000         0
249.82/249.94	c       752      1087   1113.98    163.29      6.82   1000000         0
251.73/251.85	c       829      1163   1089.22    139.94      7.78   1000000         0
253.62/253.79	c       797      1162   1128.09    163.89      6.88   1000000         0
255.62/255.70	c       820       998   1088.04    119.57      9.10   1000000         0
257.52/257.61	c       808      1135   1106.96    113.77      9.73   1000000         0
259.43/259.53	c       835      1032   1114.33    140.07      7.96   1000000         0
261.32/261.46	c       819      1124   1094.12    134.92      8.11   1000000         0
263.22/263.38	c       856      1141   1097.85    129.16      8.50   1000000         0
265.12/265.29	c       801      1180   1102.40    150.40      7.33   1000000         0
267.12/267.21	c       763       958   1106.39    157.20      7.04   1000000         0
269.02/269.13	c       758      1178   1099.15    161.42      6.81   1000000         0
270.92/271.05	c       848      1256   1120.52    158.36      7.08   1000000         0
272.92/273.00	c       889      1030   1150.05    142.68      8.06   1000000         0
274.82/274.91	c       798      1031   1100.05    136.97      8.03   1000000         0
276.71/276.84	c       886      1091   1143.94    134.80      8.49   1000000         0
278.61/278.77	c       833      1050   1110.70    148.44      7.48   1000000         0
280.52/280.69	c       860      1034   1103.90    148.39      7.44   1000000         0
282.52/282.61	c       858      1004   1108.24    129.46      8.56   1000000         0
284.41/284.55	c       841      1143   1107.45    154.45      7.17   1000000         0
286.31/286.47	c       826      1123   1103.58    130.65      8.45   1000000         0
288.21/288.39	c       855      1000   1105.96    157.10      7.04   1000000         0
290.22/290.34	c       922      1231   1141.79    138.37      8.25   1000000         0
292.11/292.26	c       896      1080   1121.56    137.14      8.18   1000000         0
294.01/294.19	c       850       975   1118.11    153.65      7.28   1000000         0
296.01/296.11	c       809       971   1103.75    127.16      8.68   1000000         0
297.92/298.02	c       845      1082   1078.41    108.92      9.90   1000000         0
299.81/299.94	c       827      1138   1116.93    169.40      6.59   1000000         0
301.71/301.87	c       831      1126   1128.85    151.29      7.46   1000000         0
303.61/303.78	c       847      1128   1101.70    141.33      7.80   1000000         0
305.62/305.72	c       761      1076   1132.34    169.50      6.68   1000000         0
307.51/307.63	c       823       982   1093.85    161.06      6.79   1000000         0
309.41/309.55	c       901      1157   1102.97    133.96      8.23   1000000         0
311.31/311.45	c       821      1033   1099.96    151.92      7.24   1000000         0
313.21/313.36	c       825      1178   1095.63    135.89      8.06   1000000         0
315.11/315.28	c       846      1002   1098.28    125.49      8.75   1000000         0
317.00/317.19	c       835      1138   1093.87    127.14      8.60   1000000         0
319.00/319.11	c       825      1020   1113.10    143.21      7.77   1000000         0
320.90/321.03	c       820      1059   1100.83    115.31      9.55   1000000         0
322.80/322.97	c       867       933   1132.74    136.77      8.28   1000000         0
324.70/324.88	c       876      1239   1111.82    127.77      8.70   1000000         0
326.70/326.81	c       849      1012   1123.21    165.94      6.77   1000000         0
328.60/328.74	c       860      1072   1127.03    132.82      8.49   1000000         0
330.50/330.67	c       773      1108   1103.53    122.84      8.98   1000000         0
332.40/332.58	c       826       954   1086.07    145.16      7.48   1000000         0
334.40/334.50	c       842       880   1091.48    151.20      7.22   1000000         0
336.30/336.42	c       868      1072   1129.64    126.12      8.96   1000000         0
338.20/338.34	c       895      1072   1101.08    120.33      9.15   1000000         0
340.10/340.27	c       809      1062   1122.45    149.19      7.52   1000000         0
342.10/342.20	c       852      1182   1137.87    160.93      7.07   1000000         0
344.00/344.12	c       845       994   1110.95    135.23      8.21   1000000         0
345.90/346.04	c       863      1102   1119.45    159.95      7.00   1000000         0
347.80/347.97	c       823      1013   1110.87    123.52      8.99   1000000         0
349.70/349.89	c       854      1005   1103.23    122.24      9.02   1000000         0
351.70/351.80	c       812      1058   1107.96    172.90      6.41   1000000         0
353.60/353.72	c       864       989   1111.73    136.05      8.17   1000000         0
355.49/355.64	c       860      1071   1129.55    145.62      7.76   1000000         0
357.40/357.58	c       891      1008   1130.34    127.50      8.87   1000000         0
359.39/359.50	c       837      1152   1109.15    125.71      8.82   1000000         0
361.29/361.42	c       822      1103   1103.25    136.39      8.09   1000000         0
363.19/363.35	c       879      1090   1116.64    128.98      8.66   1000000         0
365.10/365.26	c       764      1107   1091.96    121.45      8.99   1000000         0
366.99/367.19	c       809      1075   1100.93    133.35      8.26   1000000         0
368.99/369.10	c       804      1076   1101.07    145.69      7.56   1000000         0
370.89/371.02	c       833      1065   1096.74    134.71      8.14   1000000         0
372.80/372.93	c       826      1047   1087.95    133.88      8.13   1000000         0
374.69/374.86	c       892      1116   1117.34    140.58      7.95   1000000         0
376.59/376.79	c       823      1191   1111.96    139.55      7.97   1000000         0
378.59/378.72	c       879      1092   1117.68    149.16      7.49   1000000         0
380.50/380.64	c       773      1185   1101.98    163.01      6.76   1000000         0
382.39/382.57	c       848      1166   1111.97    159.58      6.97   1000000         0
384.29/384.48	c       890      1076   1103.90    109.80     10.05   1000000         0
386.29/386.40	c       794      1116   1105.35    159.20      6.94   1000000         0
388.19/388.31	c       820      1126   1083.39    132.60      8.17   1000000         0
390.08/390.23	c       875      1093   1110.08    152.27      7.29   1000000         0
391.98/392.15	c       813      1183   1114.24    142.47      7.82   1000000         0
393.88/394.08	c       888      1159   1120.78    140.86      7.96   1000000         0
395.79/396.00	c       805      1127   1102.93    143.04      7.71   1000000         0
397.78/397.91	c       835      1042   1095.20    145.82      7.51   1000000         0
399.68/399.84	c       810       947   1117.29    119.21      9.37   1000000         0
401.59/401.77	c       858      1112   1130.11    138.20      8.18   1000000         0
403.50/403.70	c       884      1080   1127.39    164.65      6.85   1000000         0
405.49/405.62	c       858      1152   1113.93    131.49      8.47   1000000         0
407.39/407.55	c       858      1149   1124.43    144.53      7.78   1000000         0
409.29/409.47	c       855       913   1095.99    119.80      9.15   1000000         0
411.20/411.39	c       849      1099   1110.52    125.68      8.84   1000000         0
413.19/413.33	c       897      1143   1145.43    141.59      8.09   1000000         0
415.09/415.26	c       845      1251   1106.18    140.75      7.86   1000000         0
416.99/417.18	c       809       970   1116.50    147.98      7.55   1000000         0
418.99/419.11	c       827      1255   1114.36    125.82      8.86   1000000         0
420.89/421.03	c       871      1193   1096.56    134.55      8.15   1000000         0
422.78/422.94	c       838      1202   1111.55    136.19      8.16   1000000         0
424.68/424.87	c       877      1102   1124.72    165.14      6.81   1000000         0
426.59/426.78	c       860      1096   1101.84    121.44      9.07   1000000         0
428.58/428.70	c       848      1012   1090.38    151.70      7.19   1000000         0
430.48/430.62	c       855      1037   1114.32    160.80      6.93   1000000         0
432.38/432.53	c       814      1028   1082.23    133.54      8.10   1000000         0
434.29/434.45	c       837      1066   1097.74    132.93      8.26   1000000         0
436.18/436.36	c       846      1164   1099.84    133.85      8.22   1000000         0
438.08/438.28	c       804       973   1088.73    163.79      6.65   1000000         0
440.08/440.20	c       766      1156   1103.35    129.87      8.50   1000000         0
441.99/442.12	c       854      1011   1113.71    153.52      7.25   1000000         0
443.88/444.05	c       886      1059   1117.69    124.62      8.97   1000000         0
445.78/445.97	c       859      1032   1106.96    124.73      8.87   1000000         0
447.68/447.89	c       786      1081   1118.30    139.29      8.03   1000000         0
449.68/449.81	c       814      1222   1109.79    133.49      8.31   1000000         0
451.58/451.72	c       795      1159   1102.25    146.55      7.52   1000000         0
453.48/453.65	c       839       987   1128.27    120.98      9.33   1000000         0
455.38/455.58	c       856      1101   1129.75    107.05     10.55   1000000         0
457.38/457.51	c       858       948   1119.92    155.81      7.19   1000000         0
459.28/459.43	c       863      1056   1108.83    123.82      8.96   1000000         0
461.17/461.34	c       836      1073   1099.55    135.18      8.13   1000000         0
463.07/463.27	c       863      1065   1114.16    155.29      7.17   1000000         0
464.97/465.19	c       844      1076   1110.48    103.19     10.76   1000000         0
466.97/467.12	c       782      1109   1122.94    150.06      7.48   1000000         0
468.87/469.05	c       864      1165   1133.41    145.90      7.77   1000000         0
470.77/470.99	c       855      1091   1142.59    145.25      7.87   1000000         0
472.78/472.90	c       849      1019   1107.22    140.31      7.89   1000000         0
474.67/474.81	c       767      1089   1080.29    132.90      8.13   1000000         0
476.57/476.75	c       840      1012   1147.73    153.06      7.50   1000000         0
478.47/478.67	c       877      1024   1124.78    140.85      7.99   1000000         0
480.37/480.59	c       824      1050   1120.46    143.52      7.81   1000000         0
482.37/482.51	c       828      1042   1110.86    160.72      6.91   1000000         0
484.27/484.43	c       756      1170   1102.98    161.16      6.84   1000000         0
486.17/486.33	c       794      1169   1075.21    153.70      7.00   1000000         0
488.07/488.25	c       828      1001   1079.18    140.02      7.71   1000000         0
489.97/490.17	c       826      1070   1117.75    152.12      7.35   1000000         0
491.87/492.10	c       773       992   1101.93    165.14      6.67   1000000         0
493.87/494.02	c       877      1073   1106.81    127.21      8.70   1000000         0
495.77/495.94	c       855      1065   1103.14    120.51      9.15   1000000         0
497.66/497.85	c       823      1098   1078.88    130.04      8.30   1000000         0
499.56/499.76	c       830      1023   1087.06    156.09      6.96   1000000         0
501.47/501.68	c       806      1042   1120.85    166.97      6.71   1000000         0
503.46/503.60	c       827      1222   1115.99    142.51      7.83   1000000         0
505.36/505.53	c       846      1129   1116.45    162.37      6.88   1000000         0
507.26/507.43	c       810      1050   1088.25    128.26      8.48   1000000         0
509.17/509.35	c       873      1140   1109.73    116.05      9.56   1000000         0
511.06/511.27	c       867       971   1116.54    159.82      6.99   1000000         0
512.96/513.19	c       851      1118   1097.47    131.74      8.33   1000000         0
514.96/515.11	c       850      1160   1105.67    144.14      7.67   1000000         0
516.87/517.04	c       890      1004   1125.00    155.28      7.24   1000000         0
518.76/518.97	c       811      1091   1109.87    141.59      7.84   1000000         0
520.66/520.88	c       800      1070   1100.41    142.20      7.74   1000000         0
522.66/522.80	c       839      1173   1092.96    131.51      8.31   1000000         0
524.57/524.71	c       830       930   1092.92    132.57      8.24   1000000         0
526.46/526.63	c       849      1122   1114.17    116.64      9.55   1000000         0
528.36/528.56	c       870      1118   1135.68    145.54      7.80   1000000         0
530.26/530.48	c       789      1078   1094.08    157.91      6.93   1000000         0
532.16/532.39	c       826      1222   1103.12    134.86      8.18   1000000         0
534.15/534.31	c       849      1028   1083.81    150.47      7.20   1000000         0
536.05/536.23	c       829      1084   1091.81    138.27      7.90   1000000         0
537.95/538.14	c       765      1054   1087.87    153.49      7.09   1000000         0
539.86/540.06	c       787      1201   1084.99    149.80      7.24   1000000         0
541.75/541.99	c       843      1083   1120.06    145.47      7.70   1000000         0
543.75/543.90	c       817      1039   1087.09    139.86      7.77   1000000         0
545.65/545.82	c       835      1075   1118.55    144.89      7.72   1000000         0
547.56/547.74	c       865      1196   1110.34    139.62      7.95   1000000         0
549.45/549.66	c       843      1117   1117.46    173.07      6.46   1000000         0
551.35/551.58	c       816      1034   1092.76    151.06      7.23   1000000         0
553.35/553.51	c       881      1014   1119.06    146.54      7.64   1000000         0
555.26/555.43	c       812      1087   1108.89    135.41      8.19   1000000         0
557.15/557.35	c       839      1203   1114.90    147.93      7.54   1000000         0
559.05/559.27	c       868       992   1109.96    133.93      8.29   1000000         0
560.95/561.19	c       859      1040   1113.29    137.27      8.11   1000000         0
562.96/563.10	c       844      1072   1092.69    153.20      7.13   1000000         0
564.85/565.02	c       790      1074   1100.57    131.71      8.36   1000000         0
566.75/566.95	c       860      1081   1128.15    163.93      6.88   1000000         0
568.65/568.87	c       884      1127   1127.42    140.35      8.03   1000000         0
570.55/570.78	c       811       998   1089.94    167.13      6.52   1000000         0
572.55/572.72	c       882      1124   1131.27    156.83      7.21   1000000         0
574.44/574.63	c       858      1099   1090.03    141.49      7.70   1000000         0
576.34/576.56	c       874      1222   1123.87    122.42      9.18   1000000         0
578.24/578.47	c       848      1026   1094.99    137.30      7.98   1000000         0
580.24/580.40	c       884      1051   1125.43    118.94      9.46   1000000         0
582.14/582.32	c       853       887   1109.52    112.99      9.82   1000000         0
584.04/584.24	c       847      1087   1099.34    147.42      7.46   1000000         0
585.94/586.16	c       862       980   1107.80    144.13      7.69   1000000         0
587.84/588.09	c       868       990   1110.17    144.30      7.69   1000000         0
589.74/589.99	c       846      1067   1087.71    148.21      7.34   1000000         0
591.74/591.90	c       800      1199   1076.55    111.44      9.66   1000000         0
593.64/593.82	c       851      1104   1081.52    123.57      8.75   1000000         0
595.54/595.75	c       851      1162   1123.53    164.50      6.83   1000000         0
597.44/597.68	c       872      1111   1110.01    128.65      8.63   1000000         0
599.35/599.60	c       817      1108   1108.23    132.63      8.36   1000000         0
601.34/601.52	c       872       949   1112.22    148.87      7.47   1000000         0
603.24/603.43	c       852      1009   1086.02    126.67      8.57   1000000         0
605.14/605.34	c       801      1151   1102.18    138.91      7.93   1000000         0
607.04/607.25	c       879      1013   1109.80    118.58      9.36   1000000         0
608.94/609.18	c       864      1032   1096.10    127.89      8.57   1000000         0
610.84/611.10	c       828      1034   1108.56    111.15      9.97   1000000         0
612.83/613.01	c       855      1059   1106.43    150.49      7.35   1000000         0
614.74/614.92	c       820      1167   1079.33    132.15      8.17   1000000         0
616.63/616.85	c       854      1081   1109.34    112.30      9.88   1000000         0
618.53/618.77	c       814      1138   1112.78    136.19      8.17   1000000         0
620.43/620.69	c       860      1029   1101.56    118.73      9.28   1000000         0
622.44/622.61	c       844       986   1102.55    129.44      8.52   1000000         0
624.33/624.53	c       882      1035   1117.28    145.98      7.65   1000000         0
626.23/626.45	c       813       986   1096.76    135.99      8.07   1000000         0
628.13/628.36	c       879      1069   1109.87    127.37      8.71   1000000         0
630.04/630.28	c       841       994   1108.02    155.67      7.12   1000000         0
632.03/632.20	c       865       982   1111.10    136.11      8.16   1000000         0
633.93/634.12	c       872      1130   1104.81    161.79      6.83   1000000         0
635.83/636.04	c       873      1098   1114.23    111.31     10.01   1000000         0
637.74/637.96	c       825      1063   1124.39    164.19      6.85   1000000         0
639.63/639.87	c       785      1070   1093.77    151.63      7.21   1000000         0
641.63/641.81	c       837      1052   1118.83    152.20      7.35   1000000         0
643.53/643.73	c       806      1080   1107.90    136.53      8.11   1000000         0
645.43/645.64	c       831      1118   1085.25    148.32      7.32   1000000         0
647.33/647.57	c       853      1045   1129.97    147.98      7.64   1000000         0
649.23/649.48	c       834      1199   1098.66    140.67      7.81   1000000         0
651.22/651.40	c       834       974   1111.36    133.67      8.31   1000000         0
653.13/653.33	c       827      1241   1104.77    137.51      8.03   1000000         0
655.02/655.26	c       889      1071   1132.36    147.10      7.70   1000000         0
656.92/657.17	c       842       997   1087.90    118.36      9.19   1000000         0
658.82/659.09	c       838      1062   1110.09    130.65      8.50   1000000         0
660.83/661.00	c       856      1261   1107.86    135.73      8.16   1000000         0
662.72/662.91	c       790      1044   1081.83    141.96      7.62   1000000         0
664.62/664.83	c       828      1140   1108.04    135.90      8.15   1000000         0
666.52/666.77	c       888      1141   1138.55    140.86      8.08   1000000         0
668.42/668.68	c       850      1180   1099.56    139.73      7.87   1000000         0
670.42/670.60	c       847      1067   1103.70    112.69      9.79   1000000         0
672.32/672.53	c       809      1063   1104.53    150.62      7.33   1000000         0
674.22/674.46	c       859      1136   1131.16    149.34      7.57   1000000         0
676.12/676.38	c       857      1082   1100.78    124.37      8.85   1000000         0
678.12/678.30	c       813      1022   1101.54    160.71      6.85   1000000         0
680.02/680.22	c       876      1158   1121.39    153.28      7.32   1000000         0
681.92/682.15	c       849      1138   1120.00    122.41      9.15   1000000         0
683.82/684.06	c       825      1160   1108.16    163.36      6.78   1000000         0
685.72/685.98	c       803      1136   1086.23    117.28      9.26   1000000         0
687.61/687.89	c       831      1068   1087.02    125.74      8.65   1000000         0
689.61/689.81	c       827      1082   1103.56    147.21      7.50   1000000         0
691.51/691.74	c       843       946   1110.62    142.23      7.81   1000000         0
693.41/693.65	c       807      1153   1105.06    146.54      7.54   1000000         0
695.31/695.58	c       850      1088   1119.39    151.78      7.37   1000000         0
697.22/697.49	c       817      1063   1100.83    124.92      8.81   1000000         0
699.21/699.41	c       849      1150   1098.24    142.89      7.69   1000000         0
701.11/701.33	c       825      1133   1110.91    144.52      7.69   1000000         0
703.01/703.25	c       809      1083   1096.70    150.81      7.27   1000000         0
704.92/705.17	c       854      1018   1110.43    123.85      8.97   1000000         0
706.81/707.09	c       809      1104   1119.63    136.93      8.18   1000000         0
708.81/709.01	c       829       962   1093.80    134.69      8.12   1000000         0
710.71/710.92	c       852      1224   1098.21    133.43      8.23   1000000         0
712.61/712.84	c       839      1168   1102.98    141.17      7.81   1000000         0
714.51/714.77	c       828      1094   1113.42    134.01      8.31   1000000         0
716.41/716.68	c       804      1117   1098.80    135.99      8.08   1000000         0
718.41/718.61	c       867      1089   1116.94    156.79      7.12   1000000         0
720.31/720.54	c       855      1109   1132.30    118.41      9.56   1000000         0
722.20/722.46	c       830      1156   1108.28    140.98      7.86   1000000         0
724.10/724.39	c       852      1057   1107.45    145.06      7.63   1000000         0
726.10/726.32	c       848      1022   1122.84    131.00      8.57   1000000         0
728.01/728.23	c       847       973   1075.08    110.59      9.72   1000000         0
729.90/730.16	c       843       994   1131.69    168.95      6.70   1000000         0
731.80/732.09	c       868      1189   1116.48    133.14      8.39   1000000         0
733.80/734.02	c       836       944   1112.70    144.06      7.72   1000000         0
735.71/735.94	c       878      1143   1104.94    134.22      8.23   1000000         0
737.60/737.87	c       824       929   1133.92    141.96      7.99   1000000         0
739.50/739.79	c       875      1131   1109.52    161.85      6.86   1000000         0
741.50/741.73	c       889      1096   1131.73    171.56      6.60   1000000         0
743.41/743.64	c       782      1205   1072.56    146.31      7.33   1000000         0
745.30/745.56	c       804      1171   1108.54    143.18      7.74   1000000         0
747.30/747.50	c       851       943   1133.33    131.05      8.65   1000000         0
749.20/749.43	c       840      1068   1125.17    156.70      7.18   1000000         0
751.11/751.35	c       829      1083   1101.45    140.94      7.82   1000000         0
753.00/753.26	c       834      1040   1085.07    140.30      7.73   1000000         0
754.90/755.19	c       834      1102   1118.12    128.65      8.69   1000000         0
756.90/757.11	c       830      1019   1109.04    129.61      8.56   1000000         0
758.80/759.03	c       855      1218   1096.04    163.74      6.69   1000000         0
760.70/760.95	c       883       945   1103.22    130.88      8.43   1000000         0
762.59/762.87	c       820      1157   1093.05    133.42      8.19   1000000         0
764.49/764.79	c       831      1025   1104.74    126.67      8.72   1000000         0
766.50/766.71	c       891      1107   1120.46    125.23      8.95   1000000         0
768.39/768.64	c       871      1033   1131.13    159.44      7.09   1000000         0
770.29/770.57	c       846      1024   1122.74    130.98      8.57   1000000         0
772.29/772.50	c       868      1218   1149.27    109.71     10.48   1000000         0
774.20/774.43	c       847      1047   1116.36    173.14      6.45   1000000         0
776.09/776.33	c       775      1038   1085.90    119.29      9.10   1000000         0
777.99/778.26	c       857      1263   1127.13    162.64      6.93   1000000         0
779.89/780.18	c       836      1093   1103.70    137.94      8.00   1000000         0
781.90/782.11	c       864      1154   1129.83    143.14      7.89   1000000         0
783.79/784.02	c       841       984   1090.81    148.93      7.32   1000000         0
785.69/785.93	c       855      1019   1088.70    112.46      9.68   1000000         0
787.59/787.85	c       803      1238   1092.29    140.81      7.76   1000000         0
789.49/789.75	c       835       943   1077.89    147.12      7.33   1000000         0
791.39/791.68	c       817       973   1104.82    163.39      6.76   1000000         0
793.39/793.60	c       866      1049   1115.70    120.72      9.24   1000000         0
795.29/795.53	c       806      1151   1127.24    136.94      8.23   1000000         0
797.19/797.43	c       869      1026   1067.16    110.93      9.62   1000000         0
799.08/799.36	c       818      1094   1123.26    159.82      7.03   1000000         0
800.98/801.29	c       826      1106   1121.16    166.08      6.75   1000000         0
802.98/803.22	c       810      1010   1111.43    149.90      7.41   1000000         0
804.89/805.13	c       848      1052   1093.62    132.71      8.24   1000000         0
806.78/807.04	c       825      1138   1094.01    145.46      7.52   1000000         0
808.68/808.96	c       822      1173   1106.01    149.77      7.38   1000000         0
810.58/810.89	c       861      1168   1122.38    150.61      7.45   1000000         0
812.59/812.81	c       865      1085   1097.73    129.72      8.46   1000000         0
814.48/814.72	c       838       948   1102.39    154.76      7.12   1000000         0
816.38/816.66	c       831      1090   1124.83    147.16      7.64   1000000         0
818.38/818.60	c       872      1299   1144.59    146.70      7.80   1000000         0
820.29/820.52	c       834      1090   1085.07    131.81      8.23   1000000         0
822.18/822.44	c       865      1013   1114.57    136.84      8.14   1000000         0
824.08/824.36	c       838      1066   1118.99    114.69      9.76   1000000         0
825.98/826.28	c       829      1176   1099.07    155.27      7.08   1000000         0
827.99/828.21	c       846      1047   1089.20    145.71      7.47   1000000         0
829.88/830.13	c       849      1157   1103.82    166.22      6.64   1000000         0
831.78/832.06	c       898       995   1119.06    128.60      8.70   1000000         0
833.68/833.98	c       837      1128   1104.76    129.41      8.54   1000000         0
835.58/835.89	c       848       996   1091.53    163.64      6.67   1000000         0
837.58/837.81	c       819      1045   1093.51    133.82      8.17   1000000         0
839.47/839.73	c       892      1109   1114.36    127.38      8.75   1000000         0
841.37/841.64	c       823       942   1095.59    150.13      7.30   1000000         0
843.27/843.58	c       903      1059   1148.19    130.20      8.82   1000000         0
845.27/845.51	c       833       942   1102.18    160.21      6.88   1000000         0
847.17/847.42	c       783      1187   1082.55    130.77      8.28   1000000         0
849.07/849.34	c       830       954   1102.60    134.35      8.21   1000000         0
850.97/851.27	c       900       985   1129.57    133.45      8.46   1000000         0
852.97/853.20	c       851       921   1122.14    123.96      9.05   1000000         0
854.87/855.14	c       885      1144   1127.83    125.65      8.98   1000000         0
856.77/857.06	c       864      1113   1110.15    153.08      7.25   1000000         0
858.67/858.99	c       848      1115   1124.30    140.23      8.02   1000000         0
860.67/860.92	c       807       963   1115.37    141.27      7.90   1000000         0
862.57/862.85	c       825       974   1107.26    162.54      6.81   1000000         0
864.47/864.78	c       835      1190   1139.68    139.85      8.15   1000000         0
866.47/866.70	c       791       927   1105.03    128.79      8.58   1000000         0
868.37/868.63	c       837      1029   1093.24    133.91      8.16   1000000         0
870.27/870.54	c       815      1167   1102.13    148.95      7.40   1000000         0
872.17/872.47	c       837      1080   1129.85    151.83      7.44   1000000         0
874.17/874.40	c       850      1243   1114.07    133.69      8.33   1000000         0
876.07/876.31	c       882      1118   1101.35    115.09      9.57   1000000         0
877.97/878.24	c       810       995   1095.53    147.30      7.44   1000000         0
879.87/880.17	c       871      1134   1145.30    143.62      7.97   1000000         0
881.87/882.11	c       860       973   1107.41    167.75      6.60   1000000         0
883.76/884.02	c       818       918   1121.54    171.10      6.55   1000000         0
885.66/885.94	c       880      1025   1100.63    155.30      7.09   1000000         0
887.56/887.85	c       833       915   1107.98    169.15      6.55   1000000         0
889.46/889.78	c       843      1033   1102.60    144.41      7.64   1000000         0
891.36/891.69	c       847      1008   1108.18    181.95      6.09   1000000         0
893.36/893.62	c       852      1050   1107.74    142.53      7.77   1000000         0
895.26/895.53	c       837      1023   1089.29    133.92      8.13   1000000         0
897.16/897.46	c       887      1080   1113.64    151.86      7.33   1000000         0
899.06/899.38	c       871      1144   1124.45    129.73      8.67   1000000         0
900.96/901.29	c       835      1160   1106.53    140.75      7.86   1000000         0
902.96/903.21	c       814       999   1081.54    135.58      7.98   1000000         0
904.86/905.12	c       777      1049   1080.62    131.15      8.24   1000000         0
906.76/907.04	c       827      1115   1120.32    130.55      8.58   1000000         0
908.66/908.96	c       789      1041   1096.75    121.02      9.06   1000000         0
910.56/910.87	c       821      1147   1096.95    137.18      8.00   1000000         0
912.46/912.79	c       793      1018   1078.28    146.02      7.38   1000000         0
914.46/914.72	c       828      1116   1118.31    151.85      7.36   1000000         0
916.35/916.65	c       875      1050   1132.70    146.50      7.73   1000000         0
918.26/918.56	c       815      1140   1090.03    128.94      8.45   1000000         0
920.15/920.48	c       871      1009   1105.49    137.24      8.06   1000000         0
922.15/922.41	c       833      1079   1114.29    151.34      7.36   1000000         0
924.05/924.34	c       842      1020   1110.18    137.54      8.07   1000000         0
925.96/926.26	c       834      1105   1111.98    129.19      8.61   1000000         0
927.85/928.19	c       792       962   1112.00    140.67      7.90   1000000         0
929.85/930.12	c       837      1025   1127.75    125.14      9.01   1000000         0
931.75/932.03	c       860      1104   1078.86    158.91      6.79   1000000         0
933.66/933.95	c       845      1105   1108.25    145.29      7.63   1000000         0
935.55/935.87	c       826      1079   1101.54    113.16      9.73   1000000         0
937.45/937.77	c       802       990   1084.36    133.76      8.11   1000000         0
939.45/939.70	c       865      1016   1100.94    147.74      7.45   1000000         0
941.36/941.63	c       848      1099   1126.74    136.63      8.25   1000000         0
943.25/943.56	c       905      1143   1118.06    129.05      8.66   1000000         0
945.15/945.48	c       857      1089   1097.93    151.48      7.25   1000000         0
947.15/947.41	c       860      1110   1137.41    130.49      8.72   1000000         0
949.06/949.31	c       873      1068   1082.95    135.96      7.97   1000000         0
950.95/951.23	c       820      1086   1113.71    143.32      7.77   1000000         0
952.85/953.15	c       831      1089   1127.44    160.90      7.01   1000000         0
954.75/955.07	c       752      1005   1100.47    133.72      8.23   1000000         0
956.65/957.00	c       877      1045   1122.97    138.36      8.12   1000000         0
958.65/958.92	c       762       954   1107.67    198.44      5.58   1000000         0
960.54/960.85	c       925      1026   1153.56    119.39      9.66   1000000         0
962.44/962.77	c       860      1080   1105.52    108.15     10.22   1000000         0
964.35/964.70	c       823      1037   1126.57    186.98      6.03   1000000         0
966.34/966.62	c       814      1182   1101.44    146.55      7.52   1000000         0
968.24/968.54	c       879      1016   1114.91    140.11      7.96   1000000         0
970.14/970.46	c       851      1036   1110.48    121.86      9.11   1000000         0
972.05/972.37	c       840      1031   1100.73    146.94      7.49   1000000         0
973.94/974.30	c       860      1097   1094.12    133.23      8.21   1000000         0
975.94/976.22	c       808       987   1116.79    166.13      6.72   1000000         0
977.84/978.13	c       827      1065   1085.32    154.00      7.05   1000000         0
979.75/980.05	c       822      1217   1130.05    142.69      7.92   1000000         0
981.64/981.96	c       817       991   1089.49    129.43      8.42   1000000         0
983.54/983.89	c       832      1071   1099.88    124.43      8.84   1000000         0
985.54/985.81	c       793      1040   1104.31    149.95      7.36   1000000         0
987.44/987.72	c       843      1080   1103.53    161.89      6.82   1000000         0
989.34/989.64	c       859      1043   1113.14    171.46      6.49   1000000         0
991.24/991.57	c       792      1098   1120.47    148.73      7.53   1000000         0
993.24/993.50	c       901      1139   1126.54    122.69      9.18   1000000         0
995.14/995.41	c       851      1121   1109.56    142.97      7.76   1000000         0
997.03/997.33	c       794      1052   1081.59    138.44      7.81   1000000         0
998.93/999.24	c       846      1143   1103.48    112.48      9.81   1000000         0
1000.83/1001.15	c       784       886   1087.31    132.57      8.20   1000000         0
1002.73/1003.08	c       888      1101   1130.14    122.15      9.25   1000000         0
1004.73/1005.01	c       902      1058   1131.11    129.20      8.75   1000000         0
1006.63/1006.95	c       853      1075   1141.80    151.25      7.55   1000000         0
1008.53/1008.87	c       815       966   1111.25    183.94      6.04   1000000         0
1010.43/1010.79	c       854      1048   1103.06    149.21      7.39   1000000         0
1012.43/1012.71	c       842      1003   1094.86    144.44      7.58   1000000         0
1014.33/1014.63	c       841      1022   1107.69    148.46      7.46   1000000         0
1016.23/1016.54	c       811      1244   1084.32    142.03      7.63   1000000         0
1018.13/1018.45	c       745      1063   1093.50    134.97      8.10   1000000         0
1020.03/1020.38	c       809      1116   1109.01    119.47      9.28   1000000         0
1021.93/1022.29	c       794      1130   1111.22    143.66      7.73   1000000         0
1023.93/1024.21	c       759       881   1105.58    148.63      7.44   1000000         0
1025.83/1026.13	c       802      1033   1097.01    128.73      8.52   1000000         0
1027.73/1028.05	c       834      1124   1128.37    150.19      7.51   1000000         0
1029.61/1029.99	c       792      1092   1115.13    154.98      7.20   1000000         0
1031.61/1031.90	c       825       937   1086.04    123.48      8.80   1000000         0
1033.51/1033.81	c       796      1253   1100.46    119.73      9.19   1000000         0
1035.41/1035.72	c       817      1002   1074.73    140.89      7.63   1000000         0
1037.31/1037.64	c       799      1211   1095.42    154.16      7.11   1000000         0
1039.22/1039.56	c       813      1052   1101.55    145.09      7.59   1000000         0
1041.11/1041.48	c       840      1183   1106.31    162.92      6.79   1000000         0
1043.01/1043.40	c       848      1129   1120.35    152.44      7.35   1000000         0
1045.01/1045.32	c       854      1074   1116.19    132.94      8.40   1000000         0
1046.92/1047.24	c       788       959   1094.24    132.39      8.27   1000000         0
1048.81/1049.15	c       817      1223   1077.84    127.06      8.48   1000000         0
1050.71/1051.07	c       875      1106   1115.63    146.72      7.60   1000000         0
1052.71/1053.01	c       865      1000   1122.32    147.42      7.61   1000000         0
1054.61/1054.92	c       808      1103   1097.30    141.87      7.73   1000000         0
1056.51/1056.85	c       884      1269   1133.43    140.35      8.08   1000000         0
1058.41/1058.78	c       840      1097   1135.86    135.33      8.39   1000000         0
1060.41/1060.71	c       856      1145   1120.92    162.94      6.88   1000000         0
1062.31/1062.62	c       888      1065   1102.27    107.89     10.22   1000000         0
1064.20/1064.57	c       846      1147   1134.41    163.93      6.92   1000000         0
1066.20/1066.50	c       855      1035   1140.92    143.09      7.97   1000000         0
1068.10/1068.42	c       825       958   1111.17    143.94      7.72   1000000         0
1070.01/1070.35	c       852      1082   1120.17    127.45      8.79   1000000         0
1071.90/1072.26	c       806       996   1093.52    167.23      6.54   1000000         0
1073.80/1074.17	c       859      1115   1087.50    118.97      9.14   1000000         0
1075.70/1076.09	c       816      1093   1094.79    132.03      8.29   1000000         0
1077.71/1078.01	c       854      1090   1109.54    136.15      8.15   1000000         0
1079.60/1079.93	c       868      1044   1123.97    140.69      7.99   1000000         0
1081.50/1081.87	c       814      1088   1139.02    136.84      8.32   1000000         0
1083.40/1083.79	c       870       930   1125.18    163.59      6.88   1000000         0
1085.41/1085.72	c       889      1178   1117.43    147.92      7.55   1000000         0
1087.30/1087.63	c       877       960   1104.58    135.50      8.15   1000000         0
1089.20/1089.55	c       830      1057   1094.76    135.71      8.07   1000000         0
1091.10/1091.48	c       827       982   1113.99    124.89      8.92   1000000         0
1093.00/1093.38	c       775      1115   1098.56    135.40      8.11   1000000         0
1095.00/1095.31	c       869      1206   1116.57    144.74      7.71   1000000         0
1096.90/1097.23	c       883      1172   1116.73    128.58      8.69   1000000         0
1098.79/1099.16	c       819      1131   1126.04    142.35      7.91   1000000         0
1100.70/1101.08	c       775      1101   1089.73    169.47      6.43   1000000         0
1102.69/1103.01	c       862      1108   1117.45    141.34      7.91   1000000         0
1104.59/1104.93	c       829      1119   1109.41    142.20      7.80   1000000         0
1106.49/1106.86	c       867      1057   1124.54    121.45      9.26   1000000         0
1108.40/1108.78	c       843      1068   1108.67    144.01      7.70   1000000         0
1110.39/1110.71	c       846      1054   1111.56    144.98      7.67   1000000         0
1112.29/1112.64	c       851       985   1123.46    160.61      7.00   1000000         0
1114.19/1114.56	c       879      1022   1103.64    153.20      7.20   1000000         0
1116.10/1116.46	c       830      1139   1089.66    148.69      7.33   1000000         0
1117.99/1118.37	c       827      1051   1084.69    117.41      9.24   1000000         0
1119.99/1120.30	c       779      1088   1114.78    135.34      8.24   1000000         0
1121.89/1122.21	c       831      1075   1086.83    132.82      8.18   1000000         0
1123.80/1124.11	c       801      1076   1088.21    141.63      7.68   1000000         0
1125.69/1126.05	c       865      1003   1123.08    132.23      8.49   1000000         0
1127.59/1127.97	c       850       985   1093.79    149.83      7.30   1000000         0
1129.49/1129.89	c       851      1021   1113.64    161.70      6.89   1000000         0
1131.49/1131.82	c       812      1075   1118.41    155.49      7.19   1000000         0
1133.39/1133.74	c       838       997   1114.93    138.67      8.04   1000000         0
1135.29/1135.67	c       818      1055   1105.24    140.56      7.86   1000000         0
1137.19/1137.60	c       875      1177   1131.16    136.90      8.26   1000000         0
1139.19/1139.51	c       838      1039   1086.47    121.54      8.94   1000000         0
1141.08/1141.43	c       874      1060   1103.14    162.51      6.79   1000000         0
1142.98/1143.37	c       886      1113   1136.95    144.10      7.89   1000000         0
1144.88/1145.28	c       837      1035   1084.92    133.77      8.11   1000000         0
1146.89/1147.21	c       828       941   1128.08    148.28      7.61   1000000         0
1148.78/1149.14	c       835      1066   1131.15    149.24      7.58   1000000         0
1150.68/1151.06	c       814       962   1088.14    149.80      7.26   1000000         0
1152.58/1152.98	c       803      1218   1103.02    134.32      8.21   1000000         0
1154.48/1154.89	c       846      1063   1095.09    100.04     10.95   1000000         0
1156.48/1156.82	c       892      1052   1126.42    150.77      7.47   1000000         0
1158.38/1158.76	c       910      1047   1145.53    163.94      6.99   1000000         0
1160.28/1160.68	c       802      1168   1092.61    140.86      7.76   1000000         0
1162.29/1162.61	c       878      1093   1122.51    124.21      9.04   1000000         0
1164.18/1164.54	c       869      1018   1116.57    147.27      7.58   1000000         0
1166.08/1166.47	c       869      1095   1110.99    137.94      8.05   1000000         0
1167.98/1168.39	c       855      1164   1103.29    155.22      7.11   1000000         0
1169.98/1170.31	c       821      1047   1119.06    137.39      8.15   1000000         0
1171.88/1172.22	c       883       955   1101.85    156.89      7.02   1000000         0
1173.77/1174.14	c       812      1099   1107.77    138.93      7.97   1000000         0
1175.67/1176.05	c       765      1037   1079.62    119.55      9.03   1000000         0
1177.57/1177.98	c       796      1120   1118.67    166.95      6.70   1000000         0
1179.57/1179.91	c       855       962   1105.81    149.88      7.38   1000000         0
1181.47/1181.82	c       832      1047   1097.74    134.65      8.15   1000000         0
1183.37/1183.74	c       876      1002   1114.13    148.18      7.52   1000000         0
1185.27/1185.66	c       861      1141   1119.78    118.17      9.48   1000000         0
1187.17/1187.57	c       843       967   1095.49    125.66      8.72   1000000         0
1189.17/1189.51	c       830      1047   1131.99    158.11      7.16   1000000         0
1191.07/1191.42	c       838      1008   1105.99    147.92      7.48   1000000         0
1192.97/1193.36	c       773      1168   1123.08    126.61      8.87   1000000         0
1194.87/1195.28	c       840       967   1104.98    144.13      7.67   1000000         0
1196.87/1197.20	c       796      1034   1095.39    144.50      7.58   1000000         0
1198.77/1199.13	c       877      1153   1125.96    128.70      8.75   1000000         0
1200.67/1201.07	c       857      1158   1138.73    147.90      7.70   1000000         0
1202.57/1202.98	c       800       939   1094.74    117.26      9.34   1000000         0
1204.57/1204.90	c       832      1054   1104.82    120.98      9.13   1000000         0
1206.47/1206.82	c       851      1134   1112.80    133.78      8.32   1000000         0
1208.37/1208.75	c       807      1138   1110.12    148.31      7.48   1000000         0
1210.27/1210.67	c       867      1000   1094.19    118.14      9.26   1000000         0
1212.17/1212.57	c       789      1015   1086.69    134.96      8.05   1000000         0
1214.17/1214.50	c       891       964   1148.31    148.22      7.75   1000000         0
1216.06/1216.42	c       838      1042   1102.72    146.55      7.52   1000000         0
1217.96/1218.35	c       890      1062   1125.22    150.19      7.49   1000000         0
1219.86/1220.27	c       818      1033   1097.20    141.02      7.78   1000000         0
1221.86/1222.20	c       801       880   1124.72    125.80      8.94   1000000         0
1223.76/1224.12	c       835      1261   1120.48    143.47      7.81   1000000         0
1225.66/1226.05	c       872      1076   1086.47    130.92      8.30   1000000         0
1227.56/1227.98	c       834      1168   1107.13    161.80      6.84   1000000         0
1229.47/1229.89	c       840      1040   1104.85    120.55      9.16   1000000         0
1231.46/1231.82	c       860       947   1122.86    113.47      9.90   1000000         0
1233.36/1233.74	c       874      1107   1119.16    135.55      8.26   1000000         0
1235.26/1235.66	c       858       988   1124.28    149.07      7.54   1000000         0
1237.17/1237.58	c       777      1100   1103.16    152.60      7.23   1000000         0
1239.16/1239.51	c       817      1080   1114.16    157.60      7.07   1000000         0
1241.06/1241.42	c       802      1094   1090.46    144.22      7.56   1000000         0
1242.96/1243.36	c       788      1008   1115.26    131.27      8.50   1000000         0
1244.86/1245.28	c       874      1006   1110.66    134.45      8.26   1000000         0
1246.76/1247.19	c       832      1072   1106.03    129.99      8.51   1000000         0
1248.76/1249.11	c       860      1081   1101.85    146.43      7.52   1000000         0
1250.65/1251.01	c       783       977   1080.63    170.29      6.35   1000000         0
1252.56/1252.93	c       871      1085   1102.04    142.59      7.73   1000000         0
1254.45/1254.84	c       845      1153   1097.70    135.16      8.12   1000000         0
1256.35/1256.77	c       855      1016   1130.78    150.15      7.53   1000000         0
1258.35/1258.70	c       793      1163   1104.15    133.34      8.28   1000000         0
1260.26/1260.62	c       837      1114   1107.74    145.80      7.60   1000000         0
1262.15/1262.53	c       855       938   1099.61    133.05      8.26   1000000         0
1264.05/1264.45	c       836      1109   1105.17    118.45      9.33   1000000         0
1265.95/1266.38	c       800      1074   1094.50    143.09      7.65   1000000         0
1267.96/1268.31	c       817      1202   1120.26    144.50      7.75   1000000         0
1269.85/1270.23	c       868      1003   1103.81    129.70      8.51   1000000         0
1271.75/1272.15	c       805      1024   1105.19    134.31      8.23   1000000         0
1273.65/1274.08	c       851      1046   1134.05    151.08      7.51   1000000         0
1275.56/1275.99	c       843      1047   1114.83    156.91      7.10   1000000         0
1277.55/1277.91	c       806      1214   1111.65    151.87      7.32   1000000         0
1279.45/1279.83	c       834      1068   1115.63    118.52      9.41   1000000         0
1281.35/1281.73	c       817      1339   1088.98    143.49      7.59   1000000         0
1283.25/1283.64	c       869      1098   1118.12    172.01      6.50   1000000         0
1285.14/1285.58	c       879      1194   1136.14    123.58      9.19   1000000         0
1287.14/1287.51	c       806      1061   1125.28    143.70      7.83   1000000         0
1289.04/1289.43	c       821      1017   1118.84    142.87      7.83   1000000         0
1290.95/1291.35	c       841      1012   1100.37    142.86      7.70   1000000         0
1292.84/1293.26	c       828      1065   1095.38    154.53      7.09   1000000         0
1294.74/1295.19	c       822      1041   1138.20    152.27      7.47   1000000         0
1296.74/1297.11	c       838      1124   1106.21    127.37      8.68   1000000         0
1298.65/1299.03	c       836      1142   1112.81    147.79      7.53   1000000         0
1300.54/1300.94	c       813      1040   1085.62    138.63      7.83   1000000         0
1302.44/1302.86	c       825      1134   1117.51    121.81      9.17   1000000         0
1304.34/1304.77	c       831      1189   1085.23    141.61      7.66   1000000         0
1306.24/1306.70	c       855      1160   1097.78    126.98      8.65   1000000         0
1308.24/1308.62	c       802      1053   1117.85    127.39      8.78   1000000         0
1310.14/1310.53	c       842      1116   1100.30    156.87      7.01   1000000         0
1312.04/1312.46	c       855      1043   1125.49    180.78      6.23   1000000         0
1313.94/1314.37	c       812      1170   1088.42    143.71      7.57   1000000         0
1315.84/1316.28	c       790      1081   1082.27    136.81      7.91   1000000         0
1317.84/1318.20	c       840      1131   1117.24    125.89      8.87   1000000         0
1319.74/1320.13	c       846      1193   1122.71    139.30      8.06   1000000         0
1321.64/1322.05	c       844      1014   1112.59    160.91      6.91   1000000         0
1323.53/1323.99	c       873      1105   1127.12    136.63      8.25   1000000         0
1325.53/1325.92	c       839      1040   1124.93    112.39     10.01   1000000         0
1327.43/1327.83	c       823       916   1115.94    155.24      7.19   1000000         0
1329.33/1329.75	c       849      1046   1085.03    126.31      8.59   1000000         0
1331.23/1331.67	c       866      1068   1103.82    117.90      9.36   1000000         0
1333.23/1333.60	c       813      1005   1142.49    133.69      8.55   1000000         0
1335.13/1335.52	c       851      1070   1113.04    150.62      7.39   1000000         0
1337.03/1337.44	c       857      1145   1121.46    143.63      7.81   1000000         0
1338.93/1339.36	c       862      1095   1103.32    153.14      7.20   1000000         0
1340.83/1341.27	c       853       974   1091.02    145.93      7.48   1000000         0
1342.83/1343.22	c       830      1107   1126.29    133.70      8.42   1000000         0
1344.73/1345.12	c       848      1065   1086.32    127.23      8.54   1000000         0
1346.64/1347.05	c       858      1157   1107.50    112.61      9.84   1000000         0
1348.54/1348.96	c       795      1133   1077.24    110.27      9.77   1000000         0
1350.45/1350.88	c       850      1167   1118.55    127.42      8.78   1000000         0
1352.44/1352.80	c       795      1007   1117.49    147.00      7.60   1000000         0
1354.34/1354.73	c       846      1067   1122.24    141.51      7.93   1000000         0
1356.24/1356.66	c       859       875   1113.73    132.19      8.43   1000000         0
1358.14/1358.58	c       802      1109   1099.72    135.00      8.15   1000000         0
1360.14/1360.51	c       851      1065   1110.64    175.28      6.34   1000000         0
1362.03/1362.42	c       865      1095   1106.50    142.15      7.78   1000000         0
1363.93/1364.35	c       808      1062   1119.24    154.10      7.26   1000000         0
1365.84/1366.28	c       875      1175   1116.13    141.81      7.87   1000000         0
1367.83/1368.20	c       782       944   1121.97    133.66      8.39   1000000         0
1369.73/1370.12	c       835      1066   1091.86    122.47      8.92   1000000         0
1371.63/1372.03	c       751      1042   1089.02    139.91      7.78   1000000         0
1373.54/1373.96	c       877      1135   1128.50    144.24      7.82   1000000         0
1375.43/1375.88	c       851      1160   1115.55    160.47      6.95   1000000         0
1377.43/1377.80	c       810      1021   1108.15    127.64      8.68   1000000         0
1379.33/1379.73	c       903      1085   1124.94    122.72      9.17   1000000         0
1381.24/1381.64	c       875      1084   1084.52    103.70     10.46   1000000         0
1383.13/1383.54	c       828      1223   1098.19    147.03      7.47   1000000         0
1385.03/1385.47	c       802      1015   1101.02    148.63      7.41   1000000         0
1386.93/1387.39	c       740      1038   1113.29    125.19      8.89   1000000         0
1388.93/1389.31	c       833      1047   1113.72    158.84      7.01   1000000         0
1390.83/1391.22	c       794       964   1072.21    116.96      9.17   1000000         0
1392.73/1393.14	c       846       996   1103.50    143.29      7.70   1000000         0
1394.63/1395.05	c       768       997   1084.03    137.12      7.91   1000000         0
1396.53/1396.99	c       841       997   1122.91    134.30      8.36   1000000         0
1398.52/1398.91	c       810      1083   1123.80    160.65      7.00   1000000         0
1400.42/1400.85	c       881      1094   1138.48    145.21      7.84   1000000         0
1402.32/1402.76	c       801       973   1102.10    119.60      9.21   1000000         0
1404.23/1404.68	c       832      1095   1091.38    142.18      7.68   1000000         0
1406.12/1406.58	c       852      1037   1093.50    138.04      7.92   1000000         0
1408.12/1408.50	c       829      1011   1114.58    158.78      7.02   1000000         0
1410.02/1410.43	c       835       879   1119.94    143.95      7.78   1000000         0
1411.93/1412.36	c       857      1154   1117.94    134.79      8.29   1000000         0
1413.82/1414.28	c       804      1001   1097.49    154.88      7.09   1000000         0
1415.82/1416.20	c       847      1019   1097.12    131.55      8.34   1000000         0
1417.72/1418.14	c       856       891   1127.34    143.96      7.83   1000000         0
1419.63/1420.06	c       786      1010   1120.54    143.96      7.78   1000000         0
1421.52/1421.97	c       826      1044   1100.24    129.10      8.52   1000000         0
1423.42/1423.90	c       838      1146   1098.58    117.83      9.32   1000000         0
1425.42/1425.83	c       858      1019   1144.55    158.44      7.22   1000000         0
1427.33/1427.74	c       852       988   1096.40    129.09      8.49   1000000         0
1429.22/1429.67	c       825      1101   1090.46    156.62      6.96   1000000         0
1431.12/1431.57	c       828      1231   1084.98    127.39      8.52   1000000         0
1433.02/1433.49	c       849       904   1116.79    135.94      8.22   1000000         0
1435.02/1435.41	c       789      1089   1103.36    127.37      8.66   1000000         0
1436.91/1437.33	c       816      1158   1096.43    140.71      7.79   1000000         0
1438.81/1439.25	c       840      1048   1101.72    136.48      8.07   1000000         0
1440.71/1441.18	c       874      1015   1128.23    134.83      8.37   1000000         0
1442.72/1443.10	c       838      1036   1111.61    151.17      7.35   1000000         0
1444.61/1445.01	c       837       935   1093.31    124.59      8.78   1000000         0
1446.51/1446.94	c       834      1312   1114.21    142.86      7.80   1000000         0
1448.41/1448.85	c       804       929   1087.80    163.07      6.67   1000000         0
1450.31/1450.76	c       820       900   1098.57    134.08      8.19   1000000         0
1452.21/1452.68	c       874      1050   1103.43    122.31      9.02   1000000         0
1454.21/1454.60	c       792      1106   1106.61    105.38     10.50   1000000         0
1456.11/1456.53	c       860      1011   1116.47    140.23      7.96   1000000         0
1458.01/1458.45	c       870       994   1105.60    115.33      9.59   1000000         0
1459.91/1460.37	c       802      1216   1107.90    168.22      6.59   1000000         0
1461.81/1462.29	c       842      1233   1118.53    150.75      7.42   1000000         0
1463.81/1464.21	c       816      1043   1105.02    133.27      8.29   1000000         0
1465.71/1466.13	c       891      1297   1109.08    128.99      8.60   1000000         0
1467.61/1468.05	c       848      1086   1111.68    148.43      7.49   1000000         0
1469.51/1469.96	c       804      1073   1099.00    162.47      6.76   1000000         0
1471.41/1471.88	c       828      1166   1106.02    135.10      8.19   1000000         0
1473.41/1473.80	c       869      1110   1108.26    117.48      9.43   1000000         0
1475.30/1475.72	c       866      1054   1112.04    140.74      7.90   1000000         0
1477.20/1477.64	c       819      1073   1096.18    123.98      8.84   1000000         0
1479.11/1479.55	c       831       942   1080.52    158.46      6.82   1000000         0
1481.00/1481.46	c       839      1098   1101.67    162.90      6.76   1000000         0
1482.90/1483.39	c       871      1097   1112.78    126.48      8.80   1000000         0
1484.90/1485.30	c       825      1280   1087.83    125.30      8.68   1000000         0
1486.81/1487.21	c       857      1090   1090.12    125.51      8.69   1000000         0
1488.70/1489.13	c       781      1013   1103.51    132.29      8.34   1000000         0
1490.60/1491.06	c       879      1079   1125.91    150.44      7.48   1000000         0
1492.50/1492.99	c       852      1157   1121.50    137.74      8.14   1000000         0
1494.51/1494.93	c       818      1157   1140.35    158.92      7.18   1000000         0
1496.40/1496.86	c       877      1123   1139.08    132.78      8.58   1000000         0
1498.30/1498.78	c       835      1164   1108.80    156.36      7.09   1000000         0
1500.30/1500.71	c       844      1049   1114.72    159.81      6.98   1000000         0
1502.20/1502.64	c       866      1101   1127.97    122.07      9.24   1000000         0
1504.10/1504.56	c       889       997   1108.46    160.86      6.89   1000000         0
1506.00/1506.48	c       829      1109   1109.98    144.87      7.66   1000000         0
1507.99/1508.40	c       857      1262   1102.12    142.35      7.74   1000000         0
1509.90/1510.32	c       816       947   1096.37    148.50      7.38   1000000         0
1511.79/1512.25	c       883      1128   1107.53    133.56      8.29   1000000         0
1513.69/1514.16	c       864      1029   1110.39    120.63      9.20   1000000         0
1515.69/1516.10	c       838      1014   1138.33    159.80      7.12   1000000         0
1517.60/1518.03	c       850      1149   1121.59    134.36      8.35   1000000         0
1519.49/1519.95	c       828      1067   1103.10    144.26      7.65   1000000         0
1521.39/1521.87	c       846      1069   1100.07    143.49      7.67   1000000         0
1523.29/1523.78	c       784      1172   1090.18    134.49      8.11   1000000         0
1525.20/1525.70	c       836      1080   1105.34    132.90      8.32   1000000         0
1527.19/1527.63	c       857      1046   1126.37    171.34      6.57   1000000         0
1529.09/1529.55	c       858      1264   1108.58    144.27      7.68   1000000         0
1530.99/1531.47	c       799       993   1118.18    143.53      7.79   1000000         0
1532.90/1533.39	c       825      1196   1103.24    139.00      7.94   1000000         0
1534.89/1535.32	c       767      1152   1114.78    138.45      8.05   1000000         0
1536.79/1537.24	c       807      1138   1109.68    152.66      7.27   1000000         0
1538.69/1539.16	c       843      1113   1102.49    125.58      8.78   1000000         0
1540.59/1541.09	c       848      1092   1132.83    136.25      8.31   1000000         0
1542.59/1543.00	c       847      1058   1107.81    144.00      7.69   1000000         0
1544.49/1544.93	c       840      1199   1122.08    150.31      7.47   1000000         0
1546.39/1546.84	c       809      1023   1088.30    137.86      7.89   1000000         0
1548.29/1548.75	c       826      1068   1095.90    171.97      6.37   1000000         0
1550.18/1550.67	c       866      1077   1107.79    137.35      8.07   1000000         0
1552.08/1552.58	c       795       942   1088.90    180.58      6.03   1000000         0
1553.98/1554.48	c       813       929   1075.94    139.78      7.70   1000000         0
1555.99/1556.41	c       846      1106   1118.78    156.09      7.17   1000000         0
1557.88/1558.33	c       825      1212   1095.81    145.28      7.54   1000000         0
1559.78/1560.24	c       782      1035   1091.57    144.40      7.56   1000000         0
1561.68/1562.16	c       775      1018   1092.16    155.40      7.03   1000000         0
1563.58/1564.07	c       845      1082   1098.31    149.78      7.33   1000000         0
1565.48/1565.99	c       832      1047   1113.53    134.74      8.26   1000000         0
1567.48/1567.91	c       844      1107   1097.87    118.00      9.30   1000000         0
1569.38/1569.83	c       873      1021   1115.09    132.16      8.44   1000000         0
1571.28/1571.76	c       779       899   1104.30    152.62      7.24   1000000         0
1573.18/1573.67	c       809      1065   1079.57    135.06      7.99   1000000         0
1575.18/1575.60	c       779      1122   1122.78    149.09      7.53   1000000         0
1577.08/1577.52	c       856      1146   1108.95    128.35      8.64   1000000         0
1578.98/1579.45	c       801      1210   1109.03    133.34      8.32   1000000         0
1580.88/1581.38	c       824      1007   1117.79    167.47      6.67   1000000         0
1582.88/1583.30	c       840       925   1104.98    133.00      8.31   1000000         0
1584.78/1585.22	c       874      1057   1131.98    125.62      9.01   1000000         0
1586.67/1587.14	c       847      1131   1114.56    119.62      9.32   1000000         0
1588.57/1589.05	c       813      1066   1095.14    143.07      7.65   1000000         0
1590.47/1590.98	c       810      1105   1109.56    133.62      8.30   1000000         0
1592.47/1592.90	c       817      1042   1106.64    142.06      7.79   1000000         0
1594.37/1594.83	c       857      1149   1117.10    156.70      7.13   1000000         0
1596.27/1596.74	c       854      1081   1095.15    118.12      9.27   1000000         0
1598.17/1598.65	c       854      1084   1089.49    144.36      7.55   1000000         0
1600.08/1600.55	c       820      1180   1072.31    132.52      8.09   1000000         0
1601.97/1602.48	c       852      1111   1121.32    173.46      6.46   1000000         0
1603.97/1604.40	c       878      1002   1116.82    132.36      8.44   1000000         0
1605.87/1606.33	c       814      1007   1120.58    154.95      7.23   1000000         0
1607.78/1608.25	c       801      1029   1111.00    135.79      8.18   1000000         0
1609.67/1610.17	c       838      1155   1107.24    167.33      6.62   1000000         0
1611.67/1612.10	c       864       997   1131.50    153.77      7.36   1000000         0
1613.57/1614.03	c       851      1128   1109.26    158.45      7.00   1000000         0
1615.47/1615.96	c       866      1230   1107.90    130.63      8.48   1000000         0
1617.37/1617.88	c       826      1059   1095.91    146.22      7.50   1000000         0
1619.26/1619.80	c       866      1047   1105.75    155.71      7.10   1000000         0
1621.26/1621.72	c       827      1147   1124.76    131.19      8.57   1000000         0
1623.17/1623.65	c       853      1040   1118.17    135.80      8.23   1000000         0
1625.06/1625.56	c       853      1110   1120.88    131.93      8.50   1000000         0
1626.96/1627.49	c       877      1062   1131.33    128.68      8.79   1000000         0
1628.96/1629.42	c       883      1037   1107.04    129.81      8.53   1000000         0
1630.87/1631.32	c       790      1091   1086.90    147.35      7.38   1000000         0
1632.76/1633.24	c       862      1208   1105.37    151.93      7.28   1000000         0
1634.66/1635.15	c       788      1133   1089.85    151.02      7.22   1000000         0
1636.56/1637.07	c       867      1044   1110.37    125.88      8.82   1000000         0
1638.47/1639.00	c       865      1275   1126.64    140.65      8.01   1000000         0
1640.46/1640.92	c       857       978   1128.72    137.55      8.21   1000000         0
1642.36/1642.83	c       847      1118   1109.42    160.84      6.90   1000000         0
1644.26/1644.76	c       765      1103   1098.07    133.04      8.25   1000000         0
1646.16/1646.68	c       877      1038   1118.73    139.71      8.01   1000000         0
1648.06/1648.60	c       837       972   1104.64    126.58      8.73   1000000         0
1650.06/1650.51	c       802      1100   1098.06    141.53      7.76   1000000         0
1651.96/1652.44	c       859      1001   1129.23    143.03      7.90   1000000         0
1653.86/1654.35	c       839      1070   1094.87    143.45      7.63   1000000         0
1655.76/1656.28	c       813       988   1125.27    158.65      7.09   1000000         0
1657.76/1658.20	c       872       902   1118.04    141.92      7.88   1000000         0
1659.66/1660.11	c       843       912   1084.98    140.47      7.72   1000000         0
1661.56/1662.04	c       866      1020   1132.11    123.53      9.17   1000000         0
1663.45/1663.95	c       798      1099   1089.05    148.34      7.34   1000000         0
1665.35/1665.86	c       850       994   1089.99    122.64      8.89   1000000         0
1667.25/1667.78	c       840      1030   1104.56    143.30      7.71   1000000         0
1669.15/1669.69	c       825      1059   1104.87    143.86      7.68   1000000         0
1671.15/1671.62	c       823      1086   1105.03    163.03      6.78   1000000         0
1673.05/1673.54	c       855      1053   1113.86    123.21      9.04   1000000         0
1674.95/1675.47	c       875      1204   1128.42    144.66      7.80   1000000         0
1676.85/1677.38	c       799      1024   1087.04    137.14      7.93   1000000         0
1678.85/1679.31	c       839      1129   1108.78    146.58      7.56   1000000         0
1680.75/1681.24	c       832      1189   1111.42    133.37      8.33   1000000         0
1682.65/1683.15	c       839      1068   1098.46    138.38      7.94   1000000         0
1684.55/1685.06	c       828      1013   1088.41    125.96      8.64   1000000         0
1686.45/1686.98	c       826      1041   1113.84    139.61      7.98   1000000         0
1688.35/1688.89	c       857       999   1097.68    139.05      7.89   1000000         0
1690.35/1690.83	c       844      1145   1119.41    137.45      8.14   1000000         0
1692.25/1692.76	c       844      1059   1117.76    156.93      7.12   1000000         0
1694.15/1694.67	c       788      1062   1095.81    172.72      6.34   1000000         0
1696.15/1696.60	c       855      1044   1132.60    191.29      5.92   1000000         0
1698.04/1698.54	c       846      1067   1125.90    159.74      7.05   1000000         0
1699.94/1700.47	c       877      1029   1127.42    113.32      9.95   1000000         0
1701.84/1702.38	c       841      1082   1095.69    123.87      8.85   1000000         0
1703.84/1704.32	c       878      1133   1120.70    138.44      8.10   1000000         0
1705.74/1706.24	c       881      1178   1135.25    142.40      7.97   1000000         0
1707.64/1708.15	c       789      1043   1084.97    140.13      7.74   1000000         0
1709.54/1710.06	c       806      1093   1089.36    144.83      7.52   1000000         0
1711.44/1711.99	c       772       980   1116.98    203.75      5.48   1000000         0
1713.44/1713.90	c       830      1117   1103.53    141.14      7.82   1000000         0
1715.34/1715.82	c       814      1073   1103.10    132.78      8.31   1000000         0
1717.24/1717.73	c       837      1060   1095.30    116.02      9.44   1000000         0
1719.14/1719.65	c       891      1050   1115.18    124.00      8.99   1000000         0
1721.05/1721.56	c       838      1006   1077.15    113.99      9.45   1000000         0
1722.94/1723.48	c       797      1097   1087.57    150.17      7.24   1000000         0
1724.94/1725.41	c       885      1014   1141.68    142.29      8.02   1000000         0
1726.84/1727.33	c       862      1092   1120.13    142.90      7.84   1000000         0
1728.75/1729.27	c       862      1061   1123.96    166.93      6.73   1000000         0
1730.74/1731.20	c       830      1135   1132.70    161.45      7.02   1000000         0
1732.64/1733.11	c       872      1037   1099.00    127.26      8.64   1000000         0
1734.54/1735.03	c       770      1126   1107.94    163.95      6.76   1000000         0
1736.44/1736.94	c       798       969   1099.10    167.79      6.55   1000000         0
1738.33/1738.87	c       849       985   1130.69    153.49      7.37   1000000         0
1740.23/1740.80	c       874       943   1126.75    138.17      8.15   1000000         0
1742.23/1742.71	c       822      1095   1105.35    146.86      7.53   1000000         0
1744.14/1744.61	c       824      1079   1075.70    122.60      8.77   1000000         0
1746.03/1746.54	c       859       987   1113.53    139.89      7.96   1000000         0
1747.93/1748.45	c       798      1203   1105.03    153.80      7.18   1000000         0
1749.83/1750.37	c       840       990   1113.05    137.25      8.11   1000000         0
1751.74/1752.30	c       814      1140   1119.21    151.79      7.37   1000000         0
1753.73/1754.22	c       818      1020   1106.13    136.26      8.12   1000000         0
1755.63/1756.15	c       831       888   1127.21    142.68      7.90   1000000         0
1757.53/1758.07	c       866      1056   1113.91    157.12      7.09   1000000         0
1759.44/1759.99	c       824       996   1105.03    125.26      8.82   1000000         0
1761.43/1761.91	c       851      1057   1113.05    126.46      8.80   1000000         0
1763.33/1763.82	c       830      1151   1088.45    140.64      7.74   1000000         0
1765.23/1765.75	c       836      1092   1129.68    126.78      8.91   1000000         0
1767.13/1767.68	c       856      1002   1127.08    154.32      7.30   1000000         0
1769.13/1769.60	c       758       983   1106.93    142.36      7.78   1000000         0
1771.03/1771.51	c       762      1123   1085.32    152.06      7.14   1000000         0
1772.92/1773.42	c       822      1116   1100.85    131.43      8.38   1000000         0
1774.83/1775.35	c       849      1074   1130.71    162.90      6.94   1000000         0
1776.72/1777.26	c       759      1026   1063.32    165.10      6.44   1000000         0
1778.62/1779.17	c       818      1097   1103.28    142.40      7.75   1000000         0
1780.62/1781.10	c       852       984   1127.03    131.36      8.58   1000000         0
1782.53/1783.01	c       865      1047   1109.35    131.27      8.45   1000000         0
1784.42/1784.93	c       833      1237   1107.39    143.01      7.74   1000000         0
1786.32/1786.86	c       857      1011   1108.74    155.21      7.14   1000000         0
1788.22/1788.79	c       849      1082   1111.78    124.11      8.96   1000000         0
1790.23/1790.72	c       875      1079   1114.15    127.36      8.75   1000000         0
1792.12/1792.65	c       859      1014   1121.35    145.79      7.69   1000000         0
1794.02/1794.57	c       839      1172   1106.35    113.49      9.75   1000000         0
1795.92/1796.49	c       795      1000   1097.29    130.35      8.42   1000000         0
1797.93/1798.40	c       829      1079   1096.54    154.78      7.08   1000000         0
1799.82/1800.33	c       848      1225   1112.81    153.50      7.25   1000000         0
1800.03/1800.51	HOME/run: line 2: 20363 Terminated              ./PB-wave < $1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684818-1278434631/watcher-2684818-1278434631 -o /tmp/evaluation-result-2684818-1278434631/solver-2684818-1278434631 -C 1800 -W 2000 -M 1800 run HOME/instance-2684818-1278434631.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.97 0.85 3/106 20362
/proc/meminfo: memFree=1400492/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) R 20360 20362 19821 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997681557 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0

[startup+0.068366 s]
/proc/loadavg: 1.00 0.97 0.85 3/106 20362
/proc/meminfo: memFree=1400492/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101368 s]
/proc/loadavg: 1.00 0.97 0.85 3/106 20362
/proc/meminfo: memFree=1400492/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301388 s]
/proc/loadavg: 1.00 0.97 0.85 3/106 20362
/proc/meminfo: memFree=1400492/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701428 s]
/proc/loadavg: 1.00 0.97 0.85 3/106 20362
/proc/meminfo: memFree=1400492/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50051 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 20364
/proc/meminfo: memFree=1393408/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1.49
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1814 0 0 0 149 0 0 0 25 0 1 0 11674594 41422848 1744 1992294400 134512640 135071400 4293659040 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1744 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10067 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 20364
/proc/meminfo: memFree=1393160/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=3.09
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 309 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.301 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 20364
/proc/meminfo: memFree=1393036/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=6.29
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 629 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7006 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 20364
/proc/meminfo: memFree=1392788/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=12.69
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 1269 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134547297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5019 s]
/proc/loadavg: 1.00 0.97 0.86 2/108 20365
/proc/meminfo: memFree=1392788/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=25.48
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 2548 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134572059 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1015 s]
/proc/loadavg: 1.00 0.97 0.86 2/108 20365
/proc/meminfo: memFree=1392788/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=51.08
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 5108 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134547341 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.31 s]
/proc/loadavg: 1.00 0.97 0.86 2/108 20367
/proc/meminfo: memFree=1392540/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=102.27
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 10227 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.87 2/108 20368
/proc/meminfo: memFree=1392416/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=162.25
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 16225 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 0.97 0.88 2/108 20370
/proc/meminfo: memFree=1392292/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=222.23
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 22223 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 0.97 0.88 2/108 20371
/proc/meminfo: memFree=1392292/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=282.22
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 28222 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.89 2/108 20373
/proc/meminfo: memFree=1392168/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=342.2
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 34220 0 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.89 2/108 20375
/proc/meminfo: memFree=1392168/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=402.19
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 40218 1 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1121.99
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 112198 1 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20404
/proc/meminfo: memFree=1390556/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1181.97
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 118196 1 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20406
/proc/meminfo: memFree=1390556/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1241.96
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 124195 1 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20408
/proc/meminfo: memFree=1390432/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1301.95
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 130194 1 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526235 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20409
/proc/meminfo: memFree=1390308/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1361.93
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 136191 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20411
/proc/meminfo: memFree=1390308/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1421.93
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 142191 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20412
/proc/meminfo: memFree=1390184/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1481.9
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 148188 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20414
/proc/meminfo: memFree=1390060/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1541.89
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 154187 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20416
/proc/meminfo: memFree=1389936/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1601.87
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 160185 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20417
/proc/meminfo: memFree=1389812/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1661.85
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 166183 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20419
/proc/meminfo: memFree=1389688/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1721.84
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 172182 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20420
/proc/meminfo: memFree=1389564/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1781.82
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 178180 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20421
/proc/meminfo: memFree=1389564/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1800.03
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 180001 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 20421
/proc/meminfo: memFree=1389564/2059040 swapFree=4192956/4192956
[pid=20362] ppid=20360 vsize=8700 CPUtime=0
/proc/20362/stat : 20362 (run) S 20360 20362 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 11674593 8908800 244 1992294400 4194304 4922060 140736340619840 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20362/statm: 2175 244 204 178 0 68 0
[pid=20363] ppid=20362 vsize=40452 CPUtime=1800.03
/proc/20363/stat : 20363 (PB-wave) R 20362 20362 19821 0 -1 4202496 1823 0 0 0 180001 2 0 0 25 0 1 0 11674594 41422848 1753 1992294400 134512640 135071400 4293659040 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20363/statm: 10113 1753 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1800.01
CPU system time (s): 0.028995
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2196
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= 3
involuntary context switches= 3746

runsolver used 3.66844 second user time and 9.51855 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-06 18:43:51
IDJOB=2684818
IDBENCH=73597
IDSOLVER=1171
FILE ID=node027/2684818-1278434631
PBS_JOBID= 11233450
Free space on /tmp= 62344 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_10-unsat.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684818-1278434631/watcher-2684818-1278434631 -o /tmp/evaluation-result-2684818-1278434631/solver-2684818-1278434631 -C 1800 -W 2000 -M 1800  run HOME/instance-2684818-1278434631.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= cde880e36ac940ebc706231d93099786
RANDOM SEED=891980783

node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.222
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5600.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.222
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1400888 kB
Buffers:        100964 kB
Cached:         418376 kB
SwapCached:          0 kB
Active:         183912 kB
Inactive:       395908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1400888 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2804 kB
Writeback:           0 kB
AnonPages:       60384 kB
Mapped:          14544 kB
Slab:            56132 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62344 MiB
End job on node027 at 2010-07-06 19:13:52