Trace number 2685112

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.03 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12022_9-sat.opb
MD5SUM0a851c8da3e98872eaeb0a89c94e4840
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.436933
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26620
Total number of constraints88108
Number of constraints which are clauses87672
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints436
Minimum length of a constraint1
Maximum length of a constraint32
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 217
Number of bits of the biggest sum of numbers8
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.20	c PB-wave - v2
0.00/0.20	c command line = ./PB-wave
0.00/0.20	c seed = 11995243
0.00/0.20	c cutoff = 1000000
0.00/0.20	c tries = 1000000
0.00/0.20	c heuristic = c best, noise 50 / 100
0.00/0.20	#var 26620 #con 88108
0.00/0.20	mode is SAT
0.00/0.20	c tail starts after flip = 79860
0.00/0.20	c numatom = 26620, numclause = 88108, numliterals = 200247
0.00/0.20	c wff read in
0.00/0.20	c 
0.00/0.20	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.20	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.20	c       this      this      this      this      this      this   success   success       until         std
0.00/0.20	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.20	c
2.08/2.10	c       705      1034   1042.73    203.79      5.12   1000000         0
3.88/3.99	c       772       974   1025.75    166.88      6.15   1000000         0
5.88/5.90	c       748      1054   1056.57    218.89      4.83   1000000         0
7.79/7.81	c       794      1058   1055.18    177.12      5.96   1000000         0
9.68/9.70	c       760      1081   1038.03    193.24      5.37   1000000         0
11.48/11.59	c       756       940   1023.29    195.52      5.23   1000000         0
13.38/13.49	c       781       898   1038.18    183.27      5.66   1000000         0
15.28/15.39	c       717      1164   1046.33    185.34      5.65   1000000         0
17.18/17.28	c       702      1059   1032.22    182.93      5.64   1000000         0
19.08/19.17	c       768       975   1028.96    175.23      5.87   1000000         0
20.99/21.06	c       680       888   1047.98    202.64      5.17   1000000         0
22.88/22.95	c       760      1045   1020.35    202.54      5.04   1000000         0
24.78/24.84	c       788      1086   1033.18    146.95      7.03   1000000         0
26.68/26.75	c       759       950   1082.57    195.20      5.55   1000000         0
28.58/28.65	c       762       966   1049.84    185.39      5.66   1000000         0
30.48/30.55	c       794       980   1048.51    215.46      4.87   1000000         0
32.38/32.47	c       732       984   1070.35    221.56      4.83   1000000         0
34.28/34.38	c       802      1106   1071.49    189.81      5.65   1000000         0
36.18/36.29	c       742       920   1044.22    239.52      4.36   1000000         0
38.07/38.17	c       787       927   1026.44    197.51      5.20   1000000         0
39.97/40.08	c       797      1147   1059.86    201.74      5.25   1000000         0
41.88/41.97	c       694       947   1033.88    197.21      5.24   1000000         0
43.77/43.86	c       729      1063   1035.95    197.26      5.25   1000000         0
45.67/45.77	c       769       975   1053.63    226.18      4.66   1000000         0
47.57/47.64	c       744       887   1021.41    198.14      5.16   1000000         0
49.48/49.53	c       774      1055   1015.49    176.78      5.74   1000000         0
51.37/51.42	c       743       981   1017.44    179.06      5.68   1000000         0
53.27/53.31	c       750      1002   1032.65    178.45      5.79   1000000         0
55.08/55.19	c       718       859   1024.89    191.40      5.35   1000000         0
57.07/57.10	c       811      1011   1057.30    179.18      5.90   1000000         0
58.97/59.00	c       712       947   1035.22    231.40      4.47   1000000         0
60.77/60.89	c       729      1081   1021.51    174.64      5.85   1000000         0
62.68/62.79	c       748      1073   1044.17    157.01      6.65   1000000         0
64.57/64.69	c       788      1162   1039.25    180.91      5.74   1000000         0
66.47/66.59	c       766      1109   1043.90    180.31      5.79   1000000         0
68.47/68.50	c       762      1017   1061.83    175.66      6.04   1000000         0
70.27/70.40	c       783      1045   1039.97    208.76      4.98   1000000         0
72.17/72.28	c       767      1013   1029.37    181.73      5.66   1000000         0
74.06/74.18	c       729      1024   1038.41    210.71      4.93   1000000         0
75.97/76.07	c       739       904   1048.15    190.66      5.50   1000000         0
77.86/77.98	c       788       998   1053.75    177.27      5.94   1000000         0
79.76/79.86	c       741       930   1019.35    165.51      6.16   1000000         0
81.66/81.76	c       749       951   1030.08    163.67      6.29   1000000         0
83.57/83.66	c       795       955   1038.34    171.76      6.05   1000000         0
85.46/85.55	c       777      1017   1044.50    159.15      6.56   1000000         0
87.36/87.45	c       758      1013   1037.60    194.75      5.33   1000000         0
89.26/89.34	c       684      1136   1027.73    175.36      5.86   1000000         0
91.16/91.25	c       795       991   1064.87    218.45      4.87   1000000         0
93.06/93.15	c       729       911   1028.43    184.39      5.58   1000000         0
94.96/95.03	c       699       937   1023.23    162.98      6.28   1000000         0
96.87/96.91	c       759       910   1011.56    183.34      5.52   1000000         0
98.76/98.81	c       745      1054   1047.21    161.48      6.49   1000000         0
100.66/100.71	c       771       961   1049.65    196.15      5.35   1000000         0
102.56/102.61	c       778      1037   1036.12    193.68      5.35   1000000         0
104.46/104.51	c       723      1033   1050.32    223.98      4.69   1000000         0
106.36/106.41	c       733       945   1035.60    190.66      5.43   1000000         0
108.26/108.31	c       809      1001   1045.94    181.25      5.77   1000000         0
110.16/110.21	c       735      1069   1031.92    179.93      5.74   1000000         0
111.95/112.10	c       758      1066   1037.57    182.83      5.67   1000000         0
113.95/114.01	c       767      1165   1070.27    177.19      6.04   1000000         0
115.85/115.91	c       714       865   1025.82    169.39      6.06   1000000         0
117.66/117.80	c       742       980   1033.34    189.23      5.46   1000000         0
119.65/119.70	c       776      1085   1047.87    169.63      6.18   1000000         0
121.55/121.60	c       712      1034   1047.17    182.47      5.74   1000000         0
123.35/123.48	c       710      1063    997.49    179.04      5.57   1000000         0
125.25/125.37	c       746       993   1043.19    201.89      5.17   1000000         0
127.15/127.28	c       743       949   1048.34    183.22      5.72   1000000         0
129.05/129.16	c       763      1039   1021.08    150.02      6.81   1000000         0
130.96/131.06	c       675       956   1039.44    195.97      5.30   1000000         0
132.85/132.93	c       743       855   1004.34    186.90      5.37   1000000         0
134.75/134.84	c       825      1062   1074.73    210.41      5.11   1000000         0
136.65/136.72	c       720      1071   1022.19    174.98      5.84   1000000         0
138.55/138.62	c       752       937   1046.84    177.75      5.89   1000000         0
140.45/140.52	c       746      1097   1050.27    174.78      6.01   1000000         0
142.35/142.42	c       771       968   1048.80    199.89      5.25   1000000         0
144.25/144.30	c       729       968   1020.86    211.35      4.83   1000000         0
146.15/146.20	c       784       844   1049.48    163.04      6.44   1000000         0
147.95/148.09	c       745      1128   1010.94    177.43      5.70   1000000         0
149.84/149.98	c       781       941   1033.89    187.70      5.51   1000000         0
151.75/151.88	c       803       926   1061.22    180.35      5.88   1000000         0
153.64/153.77	c       711       957   1018.53    221.97      4.59   1000000         0
155.54/155.67	c       771      1171   1038.27    195.45      5.31   1000000         0
157.44/157.57	c       806       925   1059.89    199.13      5.32   1000000         0
159.34/159.46	c       738       883   1034.23    192.84      5.36   1000000         0
161.24/161.37	c       715       982   1042.24    189.83      5.49   1000000         0
163.14/163.27	c       780      1033   1046.53    169.44      6.18   1000000         0
165.05/165.16	c       799       916   1031.08    192.83      5.35   1000000         0
166.94/167.07	c       721       923   1053.36    267.28      3.94   1000000         0
168.84/168.96	c       789      1023   1041.37    168.78      6.17   1000000         0
170.74/170.87	c       782       878   1057.40    199.32      5.31   1000000         0
172.65/172.76	c       779      1016   1008.25    181.00      5.57   1000000         0
174.54/174.66	c       774      1137   1027.75    193.97      5.30   1000000         0
176.44/176.56	c       783      1042   1041.34    182.55      5.70   1000000         0
178.34/178.46	c       763      1073   1046.80    182.09      5.75   1000000         0
180.24/180.35	c       779       909   1033.12    154.89      6.67   1000000         0
182.14/182.25	c       735       835   1051.46    188.84      5.57   1000000         0
184.04/184.14	c       741       934   1038.35    192.45      5.40   1000000         0
185.94/186.04	c       795      1078   1043.43    195.96      5.32   1000000         0
187.83/187.93	c       731       889   1022.81    158.00      6.47   1000000         0
189.73/189.82	c       732      1003   1021.80    168.89      6.05   1000000         0
191.63/191.71	c       760       925   1046.18    195.47      5.35   1000000         0
193.54/193.61	c       715       959   1043.43    184.11      5.67   1000000         0
195.43/195.53	c       784       905   1067.86    216.15      4.94   1000000         0
197.33/197.44	c       780      1013   1056.90    194.90      5.42   1000000         0
199.23/199.34	c       770      1073   1051.39    176.05      5.97   1000000         0
201.14/201.23	c       749       938   1043.99    183.98      5.67   1000000         0
203.04/203.12	c       769      1059   1033.87    196.51      5.26   1000000         0
204.94/205.03	c       770       897   1068.32    200.77      5.32   1000000         0
206.85/206.94	c       817       880   1060.59    199.96      5.30   1000000         0
208.74/208.84	c       782       981   1050.18    187.12      5.61   1000000         0
210.64/210.73	c       773      1035   1038.80    165.06      6.29   1000000         0
212.54/212.64	c       764      1006   1052.98    218.33      4.82   1000000         0
214.44/214.52	c       716       985   1010.12    181.27      5.57   1000000         0
216.34/216.41	c       774       979   1039.40    156.17      6.66   1000000         0
218.23/218.32	c       719      1056   1042.16    183.30      5.69   1000000         0
220.13/220.20	c       714       929   1024.03    201.06      5.09   1000000         0
221.93/222.09	c       778      1045   1037.05    188.75      5.49   1000000         0
223.93/224.00	c       726       960   1043.45    186.25      5.60   1000000         0
225.83/225.91	c       767       913   1051.04    178.51      5.89   1000000         0
227.74/227.81	c       716      1053   1039.14    231.49      4.49   1000000         0
229.53/229.70	c       760      1035   1030.14    157.84      6.53   1000000         0
231.53/231.61	c       788      1026   1072.57    178.57      6.01   1000000         0
233.43/233.52	c       775       916   1063.91    195.18      5.45   1000000         0
235.23/235.39	c       745       880   1006.07    185.20      5.43   1000000         0
237.13/237.29	c       766       886   1049.93    200.57      5.23   1000000         0
239.03/239.18	c       699       971   1037.47    188.80      5.50   1000000         0
240.94/241.09	c       764      1089   1055.02    177.83      5.93   1000000         0
242.83/242.98	c       761      1019   1032.85    175.11      5.90   1000000         0
244.73/244.87	c       750      1085   1017.34    190.12      5.35   1000000         0
246.63/246.76	c       681       878   1038.43    223.96      4.64   1000000         0
248.53/248.65	c       759      1016   1042.57    173.31      6.02   1000000         0
250.42/250.56	c       799      1068   1059.55    183.13      5.79   1000000         0
252.32/252.45	c       689      1082   1023.74    180.25      5.68   1000000         0
254.22/254.35	c       763       923   1038.69    173.29      5.99   1000000         0
256.12/256.23	c       737       923   1024.10    207.86      4.93   1000000         0
258.02/258.14	c       801      1085   1049.87    186.03      5.64   1000000         0
259.92/260.02	c       770       928   1016.43    176.25      5.77   1000000         0
261.83/261.91	c       761      1117   1030.58    153.12      6.73   1000000         0
263.72/263.82	c       736       808   1045.50    180.81      5.78   1000000         0
265.62/265.73	c       777       892   1056.91    210.86      5.01   1000000         0
267.52/267.63	c       712       957   1028.82    162.98      6.31   1000000         0
269.43/269.53	c       688      1043   1041.02    197.02      5.28   1000000         0
271.32/271.44	c       760       989   1064.96    222.00      4.80   1000000         0
273.22/273.34	c       782      1030   1027.18    185.80      5.53   1000000         0
275.12/275.24	c       721       976   1045.54    220.96      4.73   1000000         0
277.02/277.14	c       674      1096   1038.39    212.89      4.88   1000000         0
278.92/279.01	c       715       953    997.13    237.90      4.19   1000000         0
280.82/280.91	c       721       997   1045.80    193.04      5.42   1000000         0
282.72/282.82	c       777       983   1060.83    180.80      5.87   1000000         0
284.62/284.71	c       780      1071   1035.46    184.97      5.60   1000000         0
286.51/286.61	c       724       945   1038.44    230.76      4.50   1000000         0
288.31/288.49	c       667      1061   1007.51    210.34      4.79   1000000         0
290.21/290.38	c       743       994   1029.17    180.25      5.71   1000000         0
292.11/292.28	c       777       969   1030.38    190.56      5.41   1000000         0
294.01/294.19	c       801      1056   1078.64    211.51      5.10   1000000         0
295.92/296.08	c       680       865   1030.18    169.59      6.07   1000000         0
297.81/297.97	c       705       908   1035.37    176.23      5.88   1000000         0
299.71/299.86	c       726      1054   1023.39    181.10      5.65   1000000         0
301.61/301.74	c       787      1137   1021.27    161.14      6.34   1000000         0
303.52/303.63	c       727       943   1025.43    181.10      5.66   1000000         0
305.41/305.52	c       787      1107   1033.35    175.43      5.89   1000000         0
307.31/307.44	c       765       948   1068.80    194.20      5.50   1000000         0
309.21/309.35	c       753       915   1058.31    209.07      5.06   1000000         0
311.11/311.26	c       706       913   1063.84    194.08      5.48   1000000         0
313.01/313.15	c       751      1093   1033.26    181.60      5.69   1000000         0
314.91/315.05	c       704       838   1028.56    188.13      5.47   1000000         0
316.81/316.93	c       718      1044   1032.50    174.77      5.91   1000000         0
318.71/318.83	c       778       943   1039.54    156.32      6.65   1000000         0
320.61/320.72	c       744       965   1021.46    189.79      5.38   1000000         0
322.50/322.62	c       700       917   1053.35    198.78      5.30   1000000         0
324.41/324.51	c       684       833   1008.60    159.54      6.32   1000000         0
326.30/326.41	c       762       941   1049.05    197.06      5.32   1000000         0
328.20/328.30	c       763      1054   1038.71    166.04      6.26   1000000         0
330.10/330.21	c       753      1086   1062.13    185.67      5.72   1000000         0
332.00/332.10	c       762       822   1016.90    170.27      5.97   1000000         0
333.90/334.01	c       752       927   1048.80    194.32      5.40   1000000         0
335.80/335.90	c       738      1116   1031.34    159.55      6.46   1000000         0
337.61/337.80	c       735      1098   1039.42    199.53      5.21   1000000         0
339.60/339.71	c       729      1025   1039.57    179.59      5.79   1000000         0
341.50/341.61	c       799       982   1061.48    142.82      7.43   1000000         0
343.40/343.51	c       741      1004   1040.26    174.85      5.95   1000000         0
345.31/345.40	c       707      1168   1033.38    195.18      5.29   1000000         0
347.10/347.28	c       743       947   1008.74    199.57      5.05   1000000         0
349.00/349.17	c       759       939   1014.85    153.80      6.60   1000000         0
350.90/351.08	c       778       954   1048.97    194.22      5.40   1000000         0
352.80/352.97	c       784      1042   1038.60    166.70      6.23   1000000         0
354.70/354.88	c       743      1060   1033.69    183.65      5.63   1000000         0
356.60/356.78	c       670       856   1049.94    212.79      4.93   1000000         0
358.50/358.68	c       808       987   1052.98    177.77      5.92   1000000         0
360.40/360.58	c       760      1028   1038.09    148.63      6.98   1000000         0
362.29/362.47	c       732      1006   1055.50    189.74      5.56   1000000         0
364.19/364.36	c       777       947   1031.47    168.73      6.11   1000000         0
366.09/366.25	c       771       925   1028.12    189.30      5.43   1000000         0
367.99/368.16	c       761       970   1073.70    175.65      6.11   1000000         0
369.89/370.05	c       741       934   1030.53    161.20      6.39   1000000         0
371.80/371.96	c       759       891   1065.26    217.02      4.91   1000000         0
373.69/373.86	c       758      1033   1073.28    202.21      5.31   1000000         0
375.59/375.76	c       730      1014   1047.61    230.27      4.55   1000000         0
377.49/377.66	c       771       889   1044.62    173.73      6.01   1000000         0
379.40/379.56	c       756      1119   1066.82    221.29      4.82   1000000         0
381.29/381.46	c       716       982   1047.10    174.99      5.98   1000000         0
383.19/383.35	c       745       991   1019.32    185.80      5.49   1000000         0
385.09/385.24	c       718      1099   1021.53    162.78      6.28   1000000         0
386.99/387.13	c       763      1016   1032.99    175.20      5.90   1000000         0
388.89/389.02	c       746       988   1022.75    194.30      5.26   1000000         0
390.79/390.92	c       763       939   1051.13    191.79      5.48   1000000         0
392.69/392.81	c       753      1080   1036.87    164.80      6.29   1000000         0
394.59/394.72	c       803      1039   1059.91    167.22      6.34   1000000         0
396.49/396.61	c       687       929   1016.83    203.04      5.01   1000000         0
398.38/398.51	c       740      1005   1044.58    170.39      6.13   1000000         0
400.29/400.42	c       794       901   1057.53    176.19      6.00   1000000         0
402.18/402.31	c       802       885   1046.37    176.68      5.92   1000000         0
404.08/404.21	c       737       953   1056.39    211.58      4.99   1000000         0
405.98/406.12	c       780      1079   1055.92    199.67      5.29   1000000         0
407.88/408.01	c       765       855   1040.32    168.17      6.19   1000000         0
409.78/409.91	c       700       906   1051.66    204.42      5.14   1000000         0
411.68/411.82	c       731       993   1075.68    196.12      5.48   1000000         0
413.59/413.71	c       736      1054   1035.48    198.71      5.21   1000000         0
415.38/415.59	c       711      1092   1019.22    147.72      6.90   1000000         0
417.28/417.47	c       743      1061   1024.98    176.83      5.80   1000000         0
419.18/419.38	c       735      1036   1071.79    180.62      5.93   1000000         0
421.08/421.28	c       715      1104   1051.22    176.88      5.94   1000000         0
422.98/423.17	c       744       987   1027.09    160.98      6.38   1000000         0
424.88/425.07	c       742       988   1032.08    180.65      5.71   1000000         0
426.78/426.96	c       776      1080   1029.64    180.00      5.72   1000000         0
428.68/428.84	c       763      1179   1035.74    174.61      5.93   1000000         0
430.58/430.73	c       671       866   1026.92    180.35      5.69   1000000         0
432.48/432.63	c       723       980   1064.64    203.54      5.23   1000000         0
434.38/434.53	c       765       846   1050.62    154.81      6.79   1000000         0
436.27/436.43	c       728       960   1035.02    236.23      4.38   1000000         0
438.17/438.32	c       726      1010   1027.58    181.57      5.66   1000000         0
440.07/440.21	c       705       941   1055.82    208.16      5.07   1000000         0
441.87/442.09	c       745       946   1028.26    159.11      6.46   1000000         0
443.77/443.98	c       737      1185   1034.83    168.51      6.14   1000000         0
445.67/445.88	c       668       910   1039.54    206.15      5.04   1000000         0
447.58/447.78	c       783       939   1070.48    210.15      5.09   1000000         0
449.47/449.67	c       714      1054   1033.12    199.58      5.18   1000000         0
451.37/451.56	c       776      1114   1041.92    196.05      5.31   1000000         0
453.27/453.45	c       752       888   1029.98    190.25      5.41   1000000         0
455.17/455.36	c       804      1118   1058.77    181.41      5.84   1000000         0
457.07/457.27	c       761      1034   1075.07    201.50      5.34   1000000         0
458.97/459.16	c       795       913   1048.36    176.44      5.94   1000000         0
460.88/461.07	c       751       934   1043.66    197.35      5.29   1000000         0
462.77/462.97	c       733      1129   1048.16    195.20      5.37   1000000         0
464.67/464.87	c       786       930   1045.34    179.63      5.82   1000000         0
466.57/466.77	c       743       944   1044.59    174.06      6.00   1000000         0
468.47/468.66	c       778      1022   1046.17    185.93      5.63   1000000         0
470.37/470.56	c       754      1022   1048.29    184.14      5.69   1000000         0
472.27/472.45	c       713      1064   1026.24    200.63      5.12   1000000         0
474.16/474.35	c       781      1010   1048.69    171.85      6.10   1000000         0
476.06/476.24	c       767      1027   1022.55    164.74      6.21   1000000         0
477.96/478.14	c       791       910   1048.44    182.95      5.73   1000000         0
479.86/480.03	c       747       861   1026.75    193.24      5.31   1000000         0
481.77/481.92	c       798       971   1036.09    183.18      5.66   1000000         0
483.66/483.81	c       767      1157   1034.15    176.78      5.85   1000000         0
485.56/485.71	c       773      1060   1054.40    189.04      5.58   1000000         0
487.46/487.62	c       767      1008   1072.61    207.16      5.18   1000000         0
489.37/489.51	c       768       999   1029.31    198.29      5.19   1000000         0
491.26/491.41	c       712      1003   1041.52    175.20      5.94   1000000         0
493.16/493.31	c       728       952   1049.69    162.17      6.47   1000000         0
494.97/495.20	c       749       927   1030.94    190.09      5.42   1000000         0
496.86/497.08	c       746       877   1043.07    186.28      5.60   1000000         0
498.76/498.98	c       775       990   1055.53    172.32      6.13   1000000         0
500.66/500.87	c       751       907   1028.38    194.54      5.29   1000000         0
502.56/502.75	c       724       960   1029.17    218.59      4.71   1000000         0
504.46/504.64	c       751      1109   1050.95    189.26      5.55   1000000         0
506.36/506.54	c       766       849   1034.18    177.77      5.82   1000000         0
508.25/508.44	c       787       907   1032.95    174.25      5.93   1000000         0
510.15/510.32	c       765      1002   1027.69    162.13      6.34   1000000         0
512.05/512.23	c       803      1071   1075.75    216.26      4.97   1000000         0
513.95/514.12	c       743       983   1053.73    183.05      5.76   1000000         0
515.76/516.00	c       774      1046   1011.75    158.87      6.37   1000000         0
517.65/517.89	c       768       990   1045.81    198.84      5.26   1000000         0
519.55/519.78	c       765       963   1032.67    186.67      5.53   1000000         0
521.45/521.68	c       715       926   1049.05    216.26      4.85   1000000         0
523.35/523.58	c       777       875   1050.02    160.24      6.55   1000000         0
525.25/525.49	c       741       993   1064.56    188.73      5.64   1000000         0
527.15/527.39	c       725       829   1039.78    179.41      5.80   1000000         0
529.06/529.26	c       740       966    996.15    166.28      5.99   1000000         0
530.95/531.14	c       735       881   1035.05    213.12      4.86   1000000         0
532.85/533.06	c       810      1062   1071.83    194.44      5.51   1000000         0
534.75/534.96	c       760       939   1062.63    245.67      4.33   1000000         0
536.65/536.86	c       753       942   1036.24    184.34      5.62   1000000         0
538.55/538.77	c       731       919   1070.45    159.31      6.72   1000000         0
540.45/540.68	c       765      1164   1060.03    209.82      5.05   1000000         0
542.35/542.56	c       737       899   1031.07    156.81      6.58   1000000         0
544.25/544.45	c       726      1012   1030.88    202.52      5.09   1000000         0
546.14/546.36	c       729       893   1041.02    220.77      4.72   1000000         0
548.04/548.27	c       698      1100   1018.60    198.28      5.14   1000000         0
549.95/550.17	c       699       790   1022.56    168.25      6.08   1000000         0
551.84/552.06	c       766       891   1017.17    170.02      5.98   1000000         0
553.74/553.96	c       805       903   1057.38    181.00      5.84   1000000         0
555.64/555.86	c       773       874   1046.47    158.03      6.62   1000000         0
557.55/557.75	c       715      1078   1020.73    193.84      5.27   1000000         0
559.44/559.62	c       717      1079   1012.24    182.74      5.54   1000000         0
561.34/561.51	c       717       996   1024.89    190.47      5.38   1000000         0
563.15/563.39	c       755      1138   1016.49    198.29      5.13   1000000         0
565.04/565.28	c       715       835   1011.24    185.48      5.45   1000000         0
566.94/567.17	c       749       886   1027.09    168.49      6.10   1000000         0
568.84/569.08	c       747       967   1057.85    175.30      6.03   1000000         0
570.74/570.96	c       719       927   1010.63    171.82      5.88   1000000         0
572.64/572.85	c       755       921   1034.17    184.53      5.60   1000000         0
574.54/574.74	c       762      1112   1032.45    179.81      5.74   1000000         0
576.44/576.63	c       746      1046   1032.14    171.62      6.01   1000000         0
578.33/578.52	c       710       988   1041.82    171.54      6.07   1000000         0
580.23/580.42	c       730      1002   1050.37    175.29      5.99   1000000         0
582.13/582.32	c       756       995   1057.77    187.06      5.65   1000000         0
584.04/584.21	c       726       870   1024.76    186.60      5.49   1000000         0
585.93/586.11	c       744       997   1048.85    178.09      5.89   1000000         0
587.83/588.01	c       736      1023   1041.73    149.53      6.97   1000000         0
589.73/589.92	c       785      1074   1064.84    167.94      6.34   1000000         0
591.64/591.82	c       809      1020   1046.73    166.79      6.28   1000000         0
593.53/593.72	c       682       862   1023.00    191.49      5.34   1000000         0
595.43/595.61	c       753       835   1022.81    209.04      4.89   1000000         0
597.33/597.51	c       750       951   1058.53    167.07      6.34   1000000         0
599.23/599.40	c       681      1035   1031.51    181.02      5.70   1000000         0
601.13/601.30	c       727       836   1051.44    194.34      5.41   1000000         0
603.03/603.20	c       744      1141   1030.66    177.65      5.80   1000000         0
604.93/605.11	c       715       868   1072.11    189.70      5.65   1000000         0
606.83/607.00	c       726       936   1025.30    160.27      6.40   1000000         0
608.63/608.89	c       762      1039   1018.33    160.63      6.34   1000000         0
610.53/610.79	c       739       960   1045.70    174.97      5.98   1000000         0
612.42/612.67	c       769       838   1017.33    196.41      5.18   1000000         0
614.32/614.55	c       763      1031   1032.24    157.06      6.57   1000000         0
616.22/616.46	c       823      1006   1061.26    177.61      5.98   1000000         0
618.13/618.34	c       741      1057   1010.49    166.22      6.08   1000000         0
620.02/620.24	c       715      1094   1039.54    185.24      5.61   1000000         0
621.92/622.12	c       749      1074   1043.71    181.39      5.75   1000000         0
623.82/624.00	c       752       898   1020.22    144.83      7.04   1000000         0
625.73/625.91	c       767       931   1057.69    190.98      5.54   1000000         0
627.62/627.83	c       798      1008   1063.41    210.79      5.04   1000000         0
629.52/629.73	c       743      1000   1056.94    191.34      5.52   1000000         0
631.42/631.62	c       703      1107   1034.25    235.66      4.39   1000000         0
633.32/633.53	c       760       996   1052.21    211.64      4.97   1000000         0
635.22/635.43	c       757       994   1052.92    196.31      5.36   1000000         0
637.12/637.31	c       734      1021   1017.43    190.64      5.34   1000000         0
639.02/639.21	c       763       983   1045.48    185.62      5.63   1000000         0
640.92/641.11	c       786      1117   1043.72    179.11      5.83   1000000         0
642.82/643.00	c       758       921   1041.66    211.19      4.93   1000000         0
644.62/644.89	c       703      1140   1030.21    185.80      5.54   1000000         0
646.51/646.78	c       672      1119   1010.53    182.61      5.53   1000000         0
648.41/648.68	c       740      1156   1050.87    187.04      5.62   1000000         0
650.31/650.58	c       680      1056   1060.26    251.05      4.22   1000000         0
652.22/652.47	c       774       901   1029.59    188.29      5.47   1000000         0
654.11/654.34	c       678      1047   1002.22    169.00      5.93   1000000         0
656.01/656.24	c       704      1022   1048.43    195.66      5.36   1000000         0
657.91/658.12	c       722       891   1026.42    172.37      5.95   1000000         0
659.82/660.02	c       751      1010   1046.68    200.37      5.22   1000000         0
661.71/661.92	c       775       813   1051.79    203.04      5.18   1000000         0
663.61/663.83	c       730      1074   1075.82    188.81      5.70   1000000         0
665.51/665.74	c       808       912   1064.21    171.59      6.20   1000000         0
667.41/667.65	c       805      1007   1056.50    156.65      6.74   1000000         0
669.31/669.54	c       777      1008   1021.34    210.45      4.85   1000000         0
671.21/671.42	c       715       992   1027.14    186.88      5.50   1000000         0
673.11/673.33	c       739      1072   1052.98    184.41      5.71   1000000         0
675.01/675.23	c       758       998   1055.51    195.74      5.39   1000000         0
676.91/677.12	c       695       882   1037.71    209.08      4.96   1000000         0
678.81/679.02	c       699       980   1050.76    182.20      5.77   1000000         0
680.71/680.90	c       722       906   1030.98    191.67      5.38   1000000         0
682.60/682.80	c       760      1018   1034.44    178.88      5.78   1000000         0
684.50/684.71	c       787      1085   1070.43    187.52      5.71   1000000         0
686.40/686.62	c       733       947   1051.87    181.92      5.78   1000000         0
688.30/688.51	c       769      1005   1032.50    195.00      5.29   1000000         0
690.20/690.40	c       752      1063   1041.23    187.63      5.55   1000000         0
692.00/692.29	c       726      1031   1018.93    174.28      5.85   1000000         0
693.91/694.20	c       783      1101   1057.50    178.81      5.91   1000000         0
695.90/696.10	c       763      1130   1043.39    161.83      6.45   1000000         0
697.80/698.00	c       753       983   1030.72    198.40      5.20   1000000         0
699.70/699.91	c       784      1098   1049.62    197.50      5.31   1000000         0
701.61/701.80	c       725      1032   1039.22    187.05      5.56   1000000         0
703.50/703.70	c       763      1081   1054.03    213.45      4.94   1000000         0
705.30/705.58	c       733      1005   1020.11    139.55      7.31   1000000         0
707.20/707.47	c       644      1018   1025.41    166.60      6.15   1000000         0
709.10/709.37	c       726      1074   1043.64    173.91      6.00   1000000         0
711.00/711.27	c       752       970   1043.67    194.38      5.37   1000000         0
712.90/713.17	c       738       807   1039.33    172.05      6.04   1000000         0
714.80/715.07	c       752       959   1052.12    168.17      6.26   1000000         0
716.70/716.97	c       749       877   1041.30    215.22      4.84   1000000         0
718.59/718.85	c       734       957   1023.57    177.31      5.77   1000000         0
720.49/720.74	c       739      1052   1012.22    178.21      5.68   1000000         0
722.39/722.64	c       749       950   1048.03    184.26      5.69   1000000         0
724.29/724.55	c       803      1035   1059.22    172.93      6.13   1000000         0
726.19/726.44	c       678       922   1022.37    216.60      4.72   1000000         0
728.10/728.33	c       714      1071   1020.75    206.78      4.94   1000000         0
729.99/730.23	c       763      1059   1054.31    184.82      5.70   1000000         0
731.89/732.13	c       751      1002   1026.55    172.06      5.97   1000000         0
733.79/734.01	c       721       934   1013.34    196.15      5.17   1000000         0
735.70/735.91	c       811       979   1067.12    190.92      5.59   1000000         0
737.59/737.83	c       747      1009   1053.00    177.91      5.92   1000000         0
739.49/739.73	c       794       963   1050.69    162.44      6.47   1000000         0
741.39/741.63	c       730      1006   1037.06    170.22      6.09   1000000         0
743.29/743.52	c       666       940   1049.26    197.24      5.32   1000000         0
745.19/745.42	c       766       938   1051.87    166.25      6.33   1000000         0
747.09/747.32	c       757       983   1047.50    164.06      6.38   1000000         0
748.99/749.22	c       754       911   1056.86    203.41      5.20   1000000         0
750.89/751.13	c       724       970   1066.96    219.53      4.86   1000000         0
752.79/753.04	c       806      1139   1046.75    173.01      6.05   1000000         0
754.69/754.93	c       747      1057   1029.57    167.65      6.14   1000000         0
756.59/756.83	c       819       911   1039.76    174.63      5.95   1000000         0
758.48/758.73	c       785      1009   1040.27    168.71      6.17   1000000         0
760.38/760.62	c       760       997   1035.17    177.44      5.83   1000000         0
762.28/762.52	c       700       833   1027.91    170.15      6.04   1000000         0
764.18/764.41	c       728       905   1041.44    229.41      4.54   1000000         0
766.08/766.30	c       723       930   1025.64    186.19      5.51   1000000         0
767.98/768.21	c       766      1034   1064.66    192.63      5.53   1000000         0
769.79/770.09	c       736      1064   1018.45    193.64      5.26   1000000         0
771.68/771.99	c       802      1079   1049.84    216.71      4.84   1000000         0
773.58/773.89	c       722      1033   1057.15    221.85      4.77   1000000         0
775.48/775.79	c       674      1024   1034.10    219.74      4.71   1000000         0
777.38/777.67	c       704       945   1035.59    189.35      5.47   1000000         0
779.28/779.57	c       717      1094   1039.45    189.62      5.48   1000000         0
781.18/781.48	c       778       956   1049.80    187.72      5.59   1000000         0
783.08/783.37	c       734       990   1025.29    194.06      5.28   1000000         0
784.98/785.25	c       726       871   1022.24    180.41      5.67   1000000         0
786.88/787.16	c       790       959   1044.33    148.30      7.04   1000000         0
788.78/789.05	c       746       985   1026.96    204.63      5.02   1000000         0
790.68/790.94	c       674       895   1033.37    207.79      4.97   1000000         0
792.57/792.84	c       711       995   1033.94    187.45      5.52   1000000         0
794.47/794.74	c       758      1179   1052.28    203.92      5.16   1000000         0
796.37/796.66	c       815      1010   1065.92    208.46      5.11   1000000         0
798.27/798.54	c       734       898   1021.12    199.00      5.13   1000000         0
800.17/800.41	c       691       901    997.69    169.11      5.90   1000000         0
802.07/802.30	c       756      1055   1033.61    184.25      5.61   1000000         0
803.88/804.20	c       769       928   1038.33    206.28      5.03   1000000         0
805.87/806.11	c       790       943   1060.30    190.49      5.57   1000000         0
807.77/808.00	c       777      1021   1031.37    188.12      5.48   1000000         0
809.67/809.90	c       782       935   1051.30    172.98      6.08   1000000         0
811.47/811.78	c       733      1050   1025.25    231.48      4.43   1000000         0
813.37/813.68	c       784      1062   1062.75    180.07      5.90   1000000         0
815.27/815.56	c       709       994    999.16    140.35      7.12   1000000         0
817.17/817.44	c       751      1065   1033.24    184.54      5.60   1000000         0
819.07/819.35	c       776       995   1060.64    172.30      6.16   1000000         0
820.97/821.26	c       821       900   1067.86    191.39      5.58   1000000         0
822.87/823.18	c       811       991   1085.32    213.45      5.08   1000000         0
824.77/825.08	c       775       960   1037.33    166.07      6.25   1000000         0
826.66/826.99	c       735      1047   1048.84    216.90      4.84   1000000         0
828.56/828.88	c       747       891   1027.18    176.46      5.82   1000000         0
830.46/830.78	c       741       910   1047.79    205.13      5.11   1000000         0
832.36/832.68	c       765      1013   1030.65    173.32      5.95   1000000         0
834.26/834.57	c       763       917   1043.00    218.31      4.78   1000000         0
836.16/836.47	c       749      1104   1055.05    195.86      5.39   1000000         0
838.07/838.39	c       782      1225   1085.86    191.54      5.67   1000000         0
839.96/840.28	c       786      1017   1033.72    183.01      5.65   1000000         0
841.86/842.18	c       722       964   1038.48    195.95      5.30   1000000         0
843.76/844.07	c       725      1048   1046.65    207.04      5.06   1000000         0
845.67/845.96	c       759      1083   1015.96    204.26      4.97   1000000         0
847.56/847.84	c       681       877   1015.71    193.57      5.25   1000000         0
849.46/849.74	c       738       942   1050.82    198.50      5.29   1000000         0
851.36/851.63	c       745       983   1028.94    152.05      6.77   1000000         0
853.26/853.50	c       765       910    998.65    175.59      5.69   1000000         0
855.06/855.38	c       766      1043   1015.28    162.81      6.24   1000000         0
856.96/857.29	c       702      1014   1053.92    225.78      4.67   1000000         0
858.96/859.21	c       790       952   1071.26    196.16      5.46   1000000         0
860.86/861.11	c       809      1047   1051.21    158.91      6.61   1000000         0
862.75/863.00	c       729       996   1027.03    221.85      4.63   1000000         0
864.55/864.89	c       705       976   1041.19    192.47      5.41   1000000         0
866.45/866.78	c       716       937   1019.91    140.64      7.25   1000000         0
868.35/868.68	c       679       971   1045.71    198.15      5.28   1000000         0
870.25/870.59	c       756      1068   1055.31    191.70      5.50   1000000         0
872.16/872.49	c       747      1143   1045.55    202.32      5.17   1000000         0
874.05/874.38	c       760      1037   1042.03    211.04      4.94   1000000         0
875.95/876.27	c       744       991   1031.94    193.87      5.32   1000000         0
877.85/878.16	c       689      1014   1015.45    189.94      5.35   1000000         0
879.76/880.06	c       770      1051   1026.43    164.11      6.25   1000000         0
881.65/881.95	c       783       908   1049.14    151.93      6.91   1000000         0
883.55/883.85	c       706       991   1039.83    181.56      5.73   1000000         0
885.45/885.75	c       757      1027   1059.22    210.41      5.03   1000000         0
887.35/887.63	c       795       948   1014.14    161.03      6.30   1000000         0
889.25/889.54	c       766      1047   1049.69    189.93      5.53   1000000         0
891.15/891.43	c       744       925   1040.27    208.51      4.99   1000000         0
893.05/893.33	c       783      1012   1050.16    181.66      5.78   1000000         0
894.95/895.22	c       777       986   1037.03    170.10      6.10   1000000         0
896.85/897.11	c       747       925   1022.67    183.97      5.56   1000000         0
898.65/898.99	c       691       922   1021.73    185.02      5.52   1000000         0
900.55/900.89	c       736      1009   1040.84    170.58      6.10   1000000         0
902.44/902.79	c       773      1151   1056.05    212.38      4.97   1000000         0
904.34/904.68	c       694       920   1040.59    169.78      6.13   1000000         0
906.25/906.57	c       637       967   1034.48    201.06      5.15   1000000         0
908.14/908.47	c       771      1008   1043.15    162.61      6.42   1000000         0
910.04/910.36	c       680       949   1025.86    164.68      6.23   1000000         0
911.94/912.26	c       798       911   1041.54    144.04      7.23   1000000         0
913.85/914.15	c       759       994   1041.73    204.53      5.09   1000000         0
915.74/916.06	c       765       952   1034.47    239.35      4.32   1000000         0
917.64/917.97	c       765       984   1056.52    199.21      5.30   1000000         0
919.54/919.84	c       725       992   1003.86    195.34      5.14   1000000         0
921.44/921.76	c       815      1038   1066.17    178.97      5.96   1000000         0
923.34/923.66	c       774       959   1042.61    155.06      6.72   1000000         0
925.24/925.56	c       688      1151   1046.67    196.25      5.33   1000000         0
927.15/927.45	c       719       932   1037.35    194.78      5.33   1000000         0
929.04/929.35	c       706       865   1033.55    180.35      5.73   1000000         0
930.94/931.25	c       753       990   1038.85    160.84      6.46   1000000         0
932.84/933.15	c       752       956   1026.48    196.80      5.22   1000000         0
934.74/935.05	c       810      1090   1064.81    206.29      5.16   1000000         0
936.63/936.94	c       618      1041   1032.90    215.10      4.80   1000000         0
938.53/938.85	c       790       939   1053.86    173.76      6.07   1000000         0
940.43/940.75	c       714       980   1047.92    197.33      5.31   1000000         0
942.33/942.65	c       741      1079   1055.10    179.60      5.87   1000000         0
944.23/944.56	c       705      1035   1058.48    192.67      5.49   1000000         0
946.13/946.45	c       791      1043   1029.50    189.37      5.44   1000000         0
948.04/948.35	c       755       925   1037.35    197.61      5.25   1000000         0
949.93/950.25	c       780       986   1061.36    185.73      5.71   1000000         0
951.83/952.13	c       753      1125   1011.98    174.74      5.79   1000000         0
953.73/954.04	c       709      1033   1065.68    254.53      4.19   1000000         0
955.64/955.94	c       780      1064   1044.74    209.50      4.99   1000000         0
957.53/957.84	c       789       867   1028.48    159.30      6.46   1000000         0
959.43/959.74	c       736       971   1046.32    193.03      5.42   1000000         0
961.33/961.62	c       753       900   1010.13    183.31      5.51   1000000         0
963.23/963.52	c       718       963   1046.69    224.18      4.67   1000000         0
965.13/965.42	c       689      1102   1028.15    206.99      4.97   1000000         0
967.03/967.31	c       720       897   1044.93    165.08      6.33   1000000         0
968.83/969.20	c       768       937   1015.50    143.20      7.09   1000000         0
970.72/971.09	c       731       838   1037.59    173.67      5.97   1000000         0
972.62/972.99	c       762      1045   1047.87    186.00      5.63   1000000         0
974.52/974.89	c       720       898   1055.00    190.92      5.53   1000000         0
976.42/976.79	c       735      1003   1027.26    182.66      5.62   1000000         0
978.32/978.68	c       729       992   1029.57    168.59      6.11   1000000         0
980.22/980.57	c       757       971   1033.73    144.03      7.18   1000000         0
982.13/982.46	c       663       884   1049.22    213.50      4.91   1000000         0
984.02/984.36	c       702       906   1044.81    222.81      4.69   1000000         0
985.92/986.26	c       742      1016   1044.64    199.56      5.23   1000000         0
987.82/988.16	c       780      1131   1045.32    179.12      5.84   1000000         0
989.73/990.05	c       713      1012   1022.57    190.88      5.36   1000000         0
991.62/991.92	c       721       979   1009.00    137.67      7.33   1000000         0
993.52/993.82	c       784       985   1046.43    157.23      6.66   1000000         0
995.42/995.74	c       734       922   1061.26    197.22      5.38   1000000         0
997.32/997.63	c       715       982   1026.20    184.04      5.58   1000000         0
999.22/999.53	c       738       859   1030.32    206.19      5.00   1000000         0
1001.12/1001.42	c       799      1040   1033.10    156.20      6.61   1000000         0
1003.02/1003.34	c       801       958   1068.73    194.04      5.51   1000000         0
1004.92/1005.25	c       823       995   1065.87    173.49      6.14   1000000         0
1006.81/1007.14	c       735      1068   1030.59    202.17      5.10   1000000         0
1008.71/1009.03	c       746       928   1022.33    189.17      5.40   1000000         0
1010.62/1010.92	c       792      1000   1033.69    158.19      6.53   1000000         0
1012.51/1012.82	c       758      1045   1044.76    159.25      6.56   1000000         0
1014.41/1014.72	c       725       845   1038.16    188.40      5.51   1000000         0
1016.31/1016.60	c       752      1133   1014.85    178.44      5.69   1000000         0
1018.21/1018.51	c       765      1058   1063.34    185.29      5.74   1000000         0
1020.01/1020.39	c       696       990   1017.07    192.20      5.29   1000000         0
1022.01/1022.30	c       781      1074   1060.28    244.24      4.34   1000000         0
1023.82/1024.19	c       667      1038   1037.22    200.94      5.16   1000000         0
1025.81/1026.10	c       725       797   1048.10    198.22      5.29   1000000         0
1027.61/1028.00	c       730      1071   1039.34    228.47      4.55   1000000         0
1029.61/1029.90	c       708      1049   1049.30    225.42      4.65   1000000         0
1031.41/1031.79	c       748      1063   1020.03    188.90      5.40   1000000         0
1033.31/1033.68	c       746      1026   1014.28    174.21      5.82   1000000         0
1035.21/1035.57	c       784       852   1043.68    185.81      5.62   1000000         0
1037.11/1037.47	c       741       850   1029.52    173.85      5.92   1000000         0
1039.01/1039.38	c       736      1030   1071.40    215.08      4.98   1000000         0
1040.91/1041.27	c       704       885   1012.26    193.46      5.23   1000000         0
1042.81/1043.19	c       782      1097   1091.36    199.18      5.48   1000000         0
1044.71/1045.08	c       771       923   1026.02    200.26      5.12   1000000         0
1046.60/1046.98	c       744      1020   1029.78    178.41      5.77   1000000         0
1048.50/1048.88	c       718      1032   1075.03    211.67      5.08   1000000         0
1050.40/1050.78	c       720       910   1047.94    202.85      5.17   1000000         0
1052.30/1052.66	c       702      1006   1013.27    172.36      5.88   1000000         0
1054.20/1054.56	c       746       896   1052.72    206.47      5.10   1000000         0
1056.10/1056.46	c       775      1083   1042.77    184.68      5.65   1000000         0
1058.01/1058.36	c       696      1066   1037.50    193.99      5.35   1000000         0
1059.90/1060.27	c       732       980   1071.57    202.70      5.29   1000000         0
1061.80/1062.17	c       799       953   1057.42    157.89      6.70   1000000         0
1063.70/1064.07	c       708       950   1033.43    202.80      5.10   1000000         0
1065.61/1065.95	c       750      1048   1030.43    206.87      4.98   1000000         0
1067.50/1067.86	c       770      1030   1056.79    196.73      5.37   1000000         0
1069.40/1069.74	c       693       920   1010.51    207.97      4.86   1000000         0
1071.30/1071.65	c       762       894   1038.94    203.85      5.10   1000000         0
1073.20/1073.55	c       741       831   1040.20    189.65      5.48   1000000         0
1075.10/1075.44	c       774      1043   1028.64    174.95      5.88   1000000         0
1077.00/1077.33	c       732       988   1020.94    164.06      6.22   1000000         0
1078.90/1079.22	c       786       971   1033.31    200.14      5.16   1000000         0
1080.80/1081.12	c       670       980   1039.25    242.38      4.29   1000000         0
1082.69/1083.03	c       698      1046   1044.05    159.90      6.53   1000000         0
1084.59/1084.92	c       684      1028   1020.21    146.38      6.97   1000000         0
1086.50/1086.83	c       818       973   1067.17    179.76      5.94   1000000         0
1088.39/1088.71	c       656       865   1013.28    167.15      6.06   1000000         0
1090.19/1090.57	c       716       960    989.58    155.35      6.37   1000000         0
1092.10/1092.45	c       745       996   1034.41    173.62      5.96   1000000         0
1093.99/1094.35	c       746       992   1053.61    187.31      5.62   1000000         0
1095.89/1096.25	c       743       915   1047.78    200.92      5.21   1000000         0
1097.79/1098.14	c       744       938   1030.22    193.68      5.32   1000000         0
1099.70/1100.03	c       725      1107   1023.95    181.17      5.65   1000000         0
1101.59/1101.91	c       743      1009   1022.74    172.50      5.93   1000000         0
1103.49/1103.81	c       781       957   1030.16    179.39      5.74   1000000         0
1105.39/1105.71	c       698      1015   1047.76    211.43      4.96   1000000         0
1107.29/1107.61	c       762       994   1042.28    208.39      5.00   1000000         0
1109.19/1109.53	c       729       924   1051.73    196.32      5.36   1000000         0
1111.09/1111.41	c       705       965   1019.78    186.70      5.46   1000000         0
1112.89/1113.30	c       723       971   1028.10    203.06      5.06   1000000         0
1114.89/1115.20	c       739       955   1043.17    210.77      4.95   1000000         0
1116.69/1117.08	c       766       834   1009.32    175.69      5.74   1000000         0
1118.58/1118.98	c       777       839   1048.79    191.98      5.46   1000000         0
1120.48/1120.89	c       768      1017   1059.23    210.88      5.02   1000000         0
1122.38/1122.78	c       770       962   1031.64    195.98      5.26   1000000         0
1124.28/1124.68	c       689       968   1032.57    189.53      5.45   1000000         0
1126.19/1126.57	c       760      1080   1034.08    186.15      5.56   1000000         0
1128.08/1128.46	c       679      1036   1020.53    191.38      5.33   1000000         0
1129.98/1130.37	c       806       992   1057.01    180.07      5.87   1000000         0
1131.88/1132.25	c       706       975   1013.69    160.89      6.30   1000000         0
1133.79/1134.13	c       727      1006   1020.72    194.55      5.25   1000000         0
1135.68/1136.03	c       735       878   1040.15    211.32      4.92   1000000         0
1137.58/1137.93	c       740       953   1046.19    170.23      6.15   1000000         0
1139.48/1139.84	c       793      1048   1066.29    189.11      5.64   1000000         0
1141.38/1141.74	c       755       964   1065.79    184.95      5.76   1000000         0
1143.28/1143.63	c       751       811   1028.13    189.29      5.43   1000000         0
1145.18/1145.51	c       661       774   1017.14    177.89      5.72   1000000         0
1147.09/1147.41	c       723      1006   1044.42    211.35      4.94   1000000         0
1148.98/1149.33	c       743      1095   1075.89    198.61      5.42   1000000         0
1150.88/1151.21	c       769      1067   1018.29    165.48      6.15   1000000         0
1152.78/1153.10	c       774      1020   1031.48    163.10      6.32   1000000         0
1154.58/1154.99	c       769      1099   1040.73    183.16      5.68   1000000         0
1156.48/1156.88	c       747      1171   1031.40    159.71      6.46   1000000         0
1158.37/1158.77	c       705      1053   1011.19    175.12      5.77   1000000         0
1160.28/1160.67	c       765      1033   1055.99    225.49      4.68   1000000         0
1162.17/1162.55	c       762       994   1016.42    148.98      6.82   1000000         0
1164.07/1164.45	c       698       715   1058.71    149.99      7.06   1000000         0
1165.97/1166.35	c       768       950   1027.51    193.96      5.30   1000000         0
1167.88/1168.24	c       784      1011   1039.78    177.35      5.86   1000000         0
1169.77/1170.14	c       719       940   1034.99    197.83      5.23   1000000         0
1171.67/1172.03	c       743       897   1030.06    200.58      5.14   1000000         0
1173.57/1173.94	c       767       892   1051.90    186.99      5.63   1000000         0
1175.47/1175.83	c       752       839   1038.14    171.73      6.05   1000000         0
1177.37/1177.71	c       687      1007   1008.52    206.31      4.89   1000000         0
1179.27/1179.61	c       720       973   1055.84    224.24      4.71   1000000         0
1181.18/1181.51	c       758       956   1048.98    177.82      5.90   1000000         0
1182.97/1183.38	c       741       925   1022.30    166.04      6.16   1000000         0
1184.87/1185.27	c       718       953    999.67    167.92      5.95   1000000         0
1186.77/1187.15	c       709       946   1019.50    182.52      5.59   1000000         0
1188.67/1189.05	c       763      1092   1053.50    190.80      5.52   1000000         0
1190.57/1190.96	c       743      1032   1061.23    219.12      4.84   1000000         0
1192.46/1192.85	c       761      1007   1042.73    207.30      5.03   1000000         0
1194.37/1194.75	c       750       902   1051.78    163.16      6.45   1000000         0
1196.26/1196.65	c       696       981   1042.68    189.66      5.50   1000000         0
1198.16/1198.54	c       737       945   1040.96    218.71      4.76   1000000         0
1200.06/1200.44	c       775      1038   1032.74    192.21      5.37   1000000         0
1201.97/1202.34	c       738      1037   1036.83    225.21      4.60   1000000         0
1203.86/1204.24	c       762       991   1061.07    197.33      5.38   1000000         0
1205.76/1206.12	c       746       920   1009.17    186.70      5.41   1000000         0
1207.66/1208.01	c       745      1129   1026.70    166.56      6.16   1000000         0
1209.56/1209.91	c       699      1055   1023.55    180.55      5.67   1000000         0
1211.46/1211.81	c       748      1050   1042.51    186.40      5.59   1000000         0
1213.36/1213.71	c       782      1097   1055.15    171.68      6.15   1000000         0
1215.17/1215.59	c       759      1001   1033.65    155.16      6.66   1000000         0
1217.06/1217.49	c       743       961   1042.84    227.27      4.59   1000000         0
1218.96/1219.38	c       722      1038   1040.86    182.66      5.70   1000000         0
1220.86/1221.29	c       701      1015   1049.86    228.51      4.59   1000000         0
1222.76/1223.18	c       719      1021   1037.62    210.69      4.92   1000000         0
1224.66/1225.06	c       735      1181   1018.53    164.86      6.18   1000000         0
1226.56/1226.98	c       784       986   1058.02    168.29      6.29   1000000         0
1228.46/1228.87	c       741      1129   1037.83    154.52      6.72   1000000         0
1230.35/1230.78	c       733      1110   1069.42    243.77      4.39   1000000         0
1232.25/1232.67	c       731       980   1041.43    179.47      5.80   1000000         0
1234.15/1234.58	c       757      1026   1051.87    180.01      5.84   1000000         0
1236.06/1236.47	c       728      1058   1007.92    179.86      5.60   1000000         0
1237.95/1238.36	c       739      1118   1034.13    193.62      5.34   1000000         0
1239.85/1240.25	c       709       922   1034.18    158.69      6.52   1000000         0
1241.75/1242.15	c       801      1001   1046.58    161.78      6.47   1000000         0
1243.65/1244.05	c       736      1041   1045.59    158.71      6.59   1000000         0
1245.55/1245.96	c       746      1019   1040.93    191.99      5.42   1000000         0
1247.45/1247.86	c       766       856   1054.99    209.45      5.04   1000000         0
1249.36/1249.75	c       718      1060   1035.20    189.25      5.47   1000000         0
1251.25/1251.65	c       744       979   1045.83    239.37      4.37   1000000         0
1253.15/1253.55	c       786      1043   1039.75    151.66      6.86   1000000         0
1255.05/1255.44	c       755      1091   1021.45    184.23      5.54   1000000         0
1256.95/1257.34	c       755      1002   1042.90    144.16      7.23   1000000         0
1258.85/1259.24	c       754       996   1062.48    181.97      5.84   1000000         0
1260.75/1261.13	c       760       855   1029.61    189.07      5.45   1000000         0
1262.65/1263.03	c       774       954   1059.85    180.70      5.87   1000000         0
1264.55/1264.93	c       740       922   1036.61    170.51      6.08   1000000         0
1266.45/1266.84	c       753       948   1066.13    183.86      5.80   1000000         0
1268.35/1268.74	c       801      1061   1065.50    154.53      6.90   1000000         0
1270.25/1270.62	c       705       888    996.07    177.75      5.60   1000000         0
1272.14/1272.50	c       741       823   1021.01    165.72      6.16   1000000         0
1273.94/1274.39	c       781      1083   1023.13    160.82      6.36   1000000         0
1275.84/1276.28	c       697       986   1022.93    161.94      6.32   1000000         0
1277.74/1278.18	c       718       941   1044.65    180.17      5.80   1000000         0
1279.64/1280.07	c       698       970   1035.53    218.48      4.74   1000000         0
1281.54/1281.97	c       703      1076   1039.02    187.80      5.53   1000000         0
1283.45/1283.88	c       774      1021   1056.34    181.65      5.82   1000000         0
1285.34/1285.77	c       723      1149   1042.63    173.64      6.00   1000000         0
1287.24/1287.67	c       790      1067   1055.83    185.11      5.70   1000000         0
1289.14/1289.57	c       724      1082   1043.39    186.07      5.61   1000000         0
1291.05/1291.48	c       737      1044   1059.70    215.14      4.93   1000000         0
1292.94/1293.39	c       730       952   1056.74    236.38      4.47   1000000         0
1294.84/1295.30	c       743       784   1045.02    213.52      4.89   1000000         0
1296.74/1297.18	c       709      1038   1025.35    173.17      5.92   1000000         0
1298.64/1299.07	c       713       874   1016.55    212.18      4.79   1000000         0
1300.54/1300.97	c       770       999   1045.41    176.97      5.91   1000000         0
1302.44/1302.86	c       779       915   1033.29    186.20      5.55   1000000         0
1304.34/1304.76	c       771       881   1059.96    244.88      4.33   1000000         0
1306.23/1306.66	c       745       970   1047.25    218.92      4.78   1000000         0
1308.13/1308.56	c       795       982   1042.83    189.11      5.51   1000000         0
1310.03/1310.44	c       761      1013   1022.80    152.41      6.71   1000000         0
1311.94/1312.33	c       749       841   1022.53    176.72      5.79   1000000         0
1313.83/1314.24	c       697      1002   1068.49    215.73      4.95   1000000         0
1315.73/1316.15	c       788      1017   1068.88    173.24      6.17   1000000         0
1317.63/1318.05	c       732      1090   1046.75    182.94      5.72   1000000         0
1319.53/1319.94	c       770      1104   1032.75    188.15      5.49   1000000         0
1321.43/1321.84	c       714      1111   1041.11    188.64      5.52   1000000         0
1323.33/1323.74	c       723       971   1035.75    189.01      5.48   1000000         0
1325.24/1325.63	c       784      1028   1033.11    189.09      5.46   1000000         0
1327.13/1327.54	c       725      1082   1045.38    162.74      6.42   1000000         0
1329.03/1329.44	c       803      1034   1047.35    175.30      5.97   1000000         0
1330.93/1331.33	c       750      1070   1034.70    196.25      5.27   1000000         0
1332.83/1333.23	c       796      1026   1045.87    177.38      5.90   1000000         0
1334.73/1335.14	c       771      1101   1054.94    208.32      5.06   1000000         0
1336.63/1337.03	c       782       928   1034.06    177.68      5.82   1000000         0
1338.52/1338.92	c       766      1040   1010.89    173.14      5.84   1000000         0
1340.42/1340.82	c       779      1002   1057.04    208.18      5.08   1000000         0
1342.32/1342.70	c       753       935   1014.06    170.72      5.94   1000000         0
1344.12/1344.59	c       725      1033   1029.05    168.72      6.10   1000000         0
1346.03/1346.49	c       752      1102   1055.78    165.36      6.38   1000000         0
1347.92/1348.39	c       787       897   1053.59    160.41      6.57   1000000         0
1349.82/1350.30	c       771      1006   1044.36    218.28      4.78   1000000         0
1351.72/1352.17	c       736       922   1010.85    179.62      5.63   1000000         0
1353.62/1354.07	c       706      1020   1045.79    171.07      6.11   1000000         0
1355.52/1355.99	c       805      1101   1073.24    219.80      4.88   1000000         0
1357.52/1357.91	c       825       994   1078.58    175.53      6.14   1000000         0
1359.33/1359.79	c       696       982   1018.56    181.44      5.61   1000000         0
1361.22/1361.68	c       756       968   1042.22    154.27      6.76   1000000         0
1363.12/1363.59	c       762      1073   1050.69    200.58      5.24   1000000         0
1365.12/1365.51	c       758       913   1072.43    221.67      4.84   1000000         0
1367.02/1367.41	c       836       911   1045.02    178.55      5.85   1000000         0
1368.92/1369.30	c       750      1132   1030.72    183.48      5.62   1000000         0
1370.82/1371.20	c       788       944   1045.18    137.29      7.61   1000000         0
1372.62/1373.09	c       759       959   1033.55    162.81      6.35   1000000         0
1374.52/1374.99	c       765      1106   1047.69    203.17      5.16   1000000         0
1376.41/1376.88	c       702       989   1014.81    174.98      5.80   1000000         0
1378.31/1378.77	c       657       930   1022.02    192.15      5.32   1000000         0
1380.22/1380.66	c       736      1015   1039.01    186.82      5.56   1000000         0
1382.11/1382.56	c       718      1080   1029.57    231.70      4.44   1000000         0
1384.01/1384.45	c       733      1071   1035.90    162.04      6.39   1000000         0
1385.91/1386.35	c       702      1071   1037.31    218.96      4.74   1000000         0
1387.82/1388.24	c       782       871   1044.36    172.31      6.06   1000000         0
1389.71/1390.15	c       778       873   1044.65    187.05      5.59   1000000         0
1391.61/1392.03	c       732       928   1006.74    175.64      5.73   1000000         0
1393.52/1393.94	c       798      1000   1055.16    178.73      5.90   1000000         0
1395.42/1395.83	c       758      1061   1025.95    180.89      5.67   1000000         0
1397.32/1397.72	c       715       936   1034.21    192.71      5.37   1000000         0
1399.22/1399.61	c       682       889   1029.49    169.36      6.08   1000000         0
1401.12/1401.52	c       765       996   1053.85    218.84      4.82   1000000         0
1403.02/1403.43	c       772       845   1076.63    179.72      5.99   1000000         0
1404.92/1405.31	c       757       997   1014.95    160.47      6.32   1000000         0
1406.81/1407.20	c       736      1020   1042.88    163.23      6.39   1000000         0
1408.72/1409.11	c       777      1037   1049.97    181.29      5.79   1000000         0
1410.61/1411.01	c       751       992   1061.03    211.95      5.01   1000000         0
1412.51/1412.91	c       750       973   1041.27    162.71      6.40   1000000         0
1414.41/1414.81	c       765       784   1038.11    150.59      6.89   1000000         0
1416.31/1416.72	c       840       865   1068.19    165.51      6.45   1000000         0
1418.21/1418.63	c       821      1076   1065.55    175.95      6.06   1000000         0
1420.11/1420.51	c       704       991   1004.00    194.42      5.16   1000000         0
1422.02/1422.42	c       761       944   1056.66    229.07      4.61   1000000         0
1423.91/1424.32	c       684      1021   1036.79    192.28      5.39   1000000         0
1425.81/1426.21	c       690       906   1034.75    186.08      5.56   1000000         0
1427.71/1428.10	c       800       887   1036.61    145.36      7.13   1000000         0
1429.62/1430.00	c       771       928   1032.46    181.97      5.67   1000000         0
1431.41/1431.90	c       708       944   1039.14    194.76      5.34   1000000         0
1433.41/1433.80	c       753       965   1053.01    171.01      6.16   1000000         0
1435.21/1435.68	c       736       949   1021.34    155.81      6.55   1000000         0
1437.11/1437.58	c       759      1095   1052.33    194.37      5.41   1000000         0
1439.01/1439.47	c       786       820   1043.17    200.34      5.21   1000000         0
1440.90/1441.36	c       708      1064   1032.86    200.36      5.15   1000000         0
1442.81/1443.26	c       701       871   1046.00    192.74      5.43   1000000         0
1444.70/1445.15	c       687       910   1019.70    187.21      5.45   1000000         0
1446.60/1447.04	c       764       904   1036.23    170.35      6.08   1000000         0
1448.50/1448.93	c       744      1069   1038.82    206.23      5.04   1000000         0
1450.40/1450.84	c       767       994   1056.21    185.64      5.69   1000000         0
1452.30/1452.74	c       747      1051   1035.94    218.38      4.74   1000000         0
1454.20/1454.62	c       733      1141   1034.86    164.48      6.29   1000000         0
1456.11/1456.52	c       763      1007   1050.20    172.77      6.08   1000000         0
1458.00/1458.42	c       710      1023   1047.68    185.59      5.65   1000000         0
1459.90/1460.34	c       748      1150   1072.38    200.63      5.35   1000000         0
1461.80/1462.25	c       767       932   1054.41    185.19      5.69   1000000         0
1463.71/1464.14	c       747       986   1045.26    190.31      5.49   1000000         0
1465.60/1466.04	c       775       992   1034.81    195.53      5.29   1000000         0
1467.50/1467.92	c       713       907   1023.20    191.04      5.36   1000000         0
1469.40/1469.82	c       698      1081   1035.65    203.74      5.08   1000000         0
1471.30/1471.71	c       760      1029   1024.96    195.81      5.23   1000000         0
1473.20/1473.62	c       799       950   1063.94    196.48      5.42   1000000         0
1475.10/1475.51	c       752      1052   1048.66    207.50      5.05   1000000         0
1477.00/1477.44	c       768       874   1081.05    220.71      4.90   1000000         0
1478.90/1479.33	c       751       975   1032.05    162.88      6.34   1000000         0
1480.79/1481.22	c       745      1082   1032.37    169.48      6.09   1000000         0
1482.69/1483.13	c       763       983   1063.60    215.57      4.93   1000000         0
1484.60/1485.03	c       760      1106   1059.40    191.62      5.53   1000000         0
1486.49/1486.92	c       770       954   1038.74    167.94      6.19   1000000         0
1488.39/1488.81	c       772      1026   1038.14    149.19      6.96   1000000         0
1490.29/1490.71	c       784      1072   1051.07    161.50      6.51   1000000         0
1492.19/1492.61	c       786      1047   1047.20    196.98      5.32   1000000         0
1494.09/1494.51	c       762      1160   1024.49    184.97      5.54   1000000         0
1495.99/1496.42	c       730      1048   1043.13    222.57      4.69   1000000         0
1497.90/1498.33	c       748      1105   1062.15    178.01      5.97   1000000         0
1499.79/1500.24	c       791       904   1061.13    161.73      6.56   1000000         0
1501.69/1502.14	c       784      1041   1042.65    189.99      5.49   1000000         0
1503.59/1504.04	c       725       878   1051.85    185.76      5.66   1000000         0
1505.49/1505.93	c       660       999   1016.79    235.54      4.32   1000000         0
1507.39/1507.83	c       720       970   1047.95    220.66      4.75   1000000         0
1509.29/1509.74	c       807       930   1051.12    188.70      5.57   1000000         0
1511.19/1511.64	c       765      1099   1049.76    186.10      5.64   1000000         0
1513.08/1513.53	c       773       958   1038.52    197.89      5.25   1000000         0
1514.98/1515.42	c       714       888   1026.88    187.63      5.47   1000000         0
1516.88/1517.31	c       726      1065   1031.56    171.41      6.02   1000000         0
1518.79/1519.21	c       703       924   1029.07    171.80      5.99   1000000         0
1520.68/1521.11	c       764      1098   1051.69    224.60      4.68   1000000         0
1522.58/1523.01	c       720       998   1043.59    183.76      5.68   1000000         0
1524.38/1524.89	c       727      1039   1023.21    199.45      5.13   1000000         0
1526.28/1526.79	c       812       948   1064.57    187.15      5.69   1000000         0
1528.28/1528.71	c       785      1108   1085.26    179.29      6.05   1000000         0
1530.18/1530.63	c       803      1000   1065.22    188.71      5.64   1000000         0
1532.08/1532.52	c       718      1099   1035.26    208.50      4.97   1000000         0
1533.98/1534.41	c       749       936   1032.99    200.89      5.14   1000000         0
1535.88/1536.30	c       742      1038   1018.03    208.63      4.88   1000000         0
1537.78/1538.20	c       740      1133   1046.48    213.63      4.90   1000000         0
1539.59/1540.09	c       735       928   1030.65    192.44      5.36   1000000         0
1541.48/1541.99	c       739      1031   1038.82    180.11      5.77   1000000         0
1543.38/1543.89	c       714       968   1038.59    192.25      5.40   1000000         0
1545.28/1545.78	c       726       891   1021.24    173.78      5.88   1000000         0
1547.18/1547.67	c       758       956   1032.55    170.70      6.05   1000000         0
1549.08/1549.56	c       743       968   1048.71    184.60      5.68   1000000         0
1550.98/1551.45	c       703       933   1024.91    200.44      5.11   1000000         0
1552.88/1553.33	c       785      1012   1045.05    183.09      5.71   1000000         0
1554.77/1555.22	c       756       885   1023.52    190.05      5.39   1000000         0
1556.67/1557.12	c       729      1091   1043.06    205.88      5.07   1000000         0
1558.57/1559.02	c       806      1016   1056.15    195.84      5.39   1000000         0
1560.48/1560.92	c       746       966   1049.13    192.35      5.45   1000000         0
1562.37/1562.82	c       711       974   1050.79    177.96      5.90   1000000         0
1564.27/1564.72	c       655      1048   1025.45    216.08      4.75   1000000         0
1566.17/1566.64	c       796      1010   1080.86    246.00      4.39   1000000         0
1568.07/1568.54	c       781      1014   1046.76    185.90      5.63   1000000         0
1569.97/1570.42	c       786      1003   1024.46    175.19      5.85   1000000         0
1571.87/1572.32	c       766      1134   1048.56    190.31      5.51   1000000         0
1573.78/1574.21	c       766      1036   1036.08    186.17      5.57   1000000         0
1575.67/1576.11	c       761       888   1037.06    194.67      5.33   1000000         0
1577.57/1578.01	c       779       986   1060.65    225.13      4.71   1000000         0
1579.47/1579.90	c       688      1024   1041.77    197.63      5.27   1000000         0
1581.27/1581.79	c       716      1023   1022.56    206.84      4.94   1000000         0
1583.27/1583.71	c       783       876   1060.10    211.63      5.01   1000000         0
1585.17/1585.60	c       677       904   1025.44    198.00      5.18   1000000         0
1586.97/1587.47	c       710      1022   1012.81    177.64      5.70   1000000         0
1588.87/1589.38	c       737      1027   1044.42    186.22      5.61   1000000         0
1590.77/1591.28	c       651       999   1055.88    201.32      5.24   1000000         0
1592.66/1593.17	c       739       773   1017.47    191.43      5.32   1000000         0
1594.57/1595.08	c       716      1050   1068.01    176.73      6.04   1000000         0
1596.46/1596.99	c       743       942   1059.41    203.31      5.21   1000000         0
1598.36/1598.88	c       639      1081   1020.41    186.82      5.46   1000000         0
1600.26/1600.77	c       779       996   1050.03    208.32      5.04   1000000         0
1602.16/1602.66	c       712      1032   1022.97    174.57      5.86   1000000         0
1604.06/1604.56	c       755      1116   1038.46    163.57      6.35   1000000         0
1605.96/1606.46	c       760      1038   1045.93    219.69      4.76   1000000         0
1607.87/1608.36	c       772      1015   1056.85    196.31      5.38   1000000         0
1609.76/1610.26	c       799       944   1056.09    194.22      5.44   1000000         0
1611.66/1612.15	c       760      1082   1040.67    198.48      5.24   1000000         0
1613.56/1614.04	c       720      1063   1012.58    192.48      5.26   1000000         0
1615.47/1615.94	c       754       972   1049.86    164.88      6.37   1000000         0
1617.36/1617.84	c       789       873   1051.13    151.04      6.96   1000000         0
1619.26/1619.74	c       758      1010   1056.33    179.96      5.87   1000000         0
1621.16/1621.65	c       759      1101   1059.70    194.11      5.46   1000000         0
1623.06/1623.55	c       726      1085   1046.54    191.94      5.45   1000000         0
1624.96/1625.46	c       766       955   1055.25    216.02      4.88   1000000         0
1626.86/1627.37	c       780      1020   1043.54    175.47      5.95   1000000         0
1628.76/1629.26	c       782      1110   1056.53    179.93      5.87   1000000         0
1630.65/1631.14	c       714      1040   1006.71    206.12      4.88   1000000         0
1632.55/1633.05	c       771       967   1056.72    189.51      5.58   1000000         0
1634.45/1634.92	c       714      1091   1022.10    193.23      5.29   1000000         0
1636.36/1636.83	c       748      1190   1056.92    174.36      6.06   1000000         0
1638.15/1638.70	c       717       906    987.52    166.16      5.94   1000000         0
1640.05/1640.60	c       761      1049   1032.42    186.76      5.53   1000000         0
1641.96/1642.49	c       738       943   1057.96    186.05      5.69   1000000         0
1643.85/1644.39	c       827      1058   1042.68    157.40      6.62   1000000         0
1645.75/1646.29	c       718       982   1041.77    184.56      5.64   1000000         0
1647.65/1648.17	c       764       842   1021.58    141.27      7.23   1000000         0
1649.56/1650.07	c       783       967   1053.11    185.16      5.69   1000000         0
1651.45/1651.97	c       697       912   1020.64    201.56      5.06   1000000         0
1653.35/1653.86	c       770      1154   1034.95    170.48      6.07   1000000         0
1655.25/1655.76	c       726       946   1049.41    197.98      5.30   1000000         0
1657.15/1657.66	c       752      1146   1050.02    182.17      5.76   1000000         0
1659.05/1659.57	c       748      1140   1066.06    211.58      5.04   1000000         0
1660.95/1661.46	c       755       983   1039.01    176.41      5.89   1000000         0
1662.85/1663.37	c       784       941   1070.20    176.14      6.08   1000000         0
1664.74/1665.27	c       768      1176   1042.24    165.65      6.29   1000000         0
1666.64/1667.17	c       739      1172   1040.95    165.52      6.29   1000000         0
1668.54/1669.06	c       746       856   1024.56    235.89      4.34   1000000         0
1670.45/1670.96	c       759       951   1056.39    227.83      4.64   1000000         0
1672.34/1672.85	c       702      1026   1038.57    185.74      5.59   1000000         0
1674.24/1674.75	c       791       999   1048.10    165.80      6.32   1000000         0
1676.14/1676.64	c       703      1200   1027.74    244.78      4.20   1000000         0
1678.04/1678.56	c       697       941   1065.58    195.64      5.45   1000000         0
1679.94/1680.44	c       732       951   1010.18    167.27      6.04   1000000         0
1681.84/1682.33	c       665      1062   1024.30    196.17      5.22   1000000         0
1683.75/1684.23	c       754      1103   1050.19    174.12      6.03   1000000         0
1685.64/1686.13	c       761      1006   1042.06    178.20      5.85   1000000         0
1687.54/1688.03	c       772      1064   1051.03    197.33      5.33   1000000         0
1689.44/1689.94	c       742       948   1058.40    186.20      5.68   1000000         0
1691.34/1691.83	c       767      1010   1033.68    187.59      5.51   1000000         0
1693.24/1693.70	c       696      1047   1015.53    158.39      6.41   1000000         0
1695.14/1695.60	c       714       827   1035.87    190.01      5.45   1000000         0
1697.04/1697.50	c       780       962   1052.92    155.47      6.77   1000000         0
1698.94/1699.41	c       805       918   1066.22    191.26      5.57   1000000         0
1700.84/1701.31	c       767       957   1049.67    202.95      5.17   1000000         0
1702.74/1703.21	c       768       972   1046.12    181.99      5.75   1000000         0
1704.64/1705.11	c       740      1053   1042.96    215.66      4.84   1000000         0
1706.53/1707.02	c       793       880   1051.90    194.59      5.41   1000000         0
1708.43/1708.92	c       778      1056   1063.04    220.78      4.81   1000000         0
1710.33/1710.81	c       701      1044   1028.04    190.44      5.40   1000000         0
1712.24/1712.71	c       778      1016   1042.23    174.13      5.99   1000000         0
1714.13/1714.60	c       711       904   1022.95    185.58      5.51   1000000         0
1716.03/1716.50	c       819       985   1058.65    172.66      6.13   1000000         0
1717.84/1718.39	c       766       951   1030.25    182.24      5.65   1000000         0
1719.73/1720.29	c       766       905   1044.06    172.02      6.07   1000000         0
1721.63/1722.19	c       792       910   1027.90    164.42      6.25   1000000         0
1723.53/1724.09	c       706      1045   1048.10    174.16      6.02   1000000         0
1725.44/1725.97	c       702       847   1019.34    192.65      5.29   1000000         0
1727.33/1727.87	c       739      1086   1039.09    184.54      5.63   1000000         0
1729.23/1729.76	c       666      1014   1031.18    198.18      5.20   1000000         0
1731.13/1731.65	c       707       998   1007.46    195.82      5.14   1000000         0
1733.03/1733.53	c       689       826   1035.76    171.79      6.03   1000000         0
1734.93/1735.43	c       769       994   1043.91    192.23      5.43   1000000         0
1736.83/1737.33	c       740       941   1040.77    207.62      5.01   1000000         0
1738.73/1739.22	c       779      1133   1044.50    194.91      5.36   1000000         0
1740.62/1741.12	c       734      1181   1032.19    170.95      6.04   1000000         0
1742.52/1743.02	c       767      1100   1048.95    222.28      4.72   1000000         0
1744.42/1744.92	c       751      1044   1044.29    165.91      6.29   1000000         0
1746.33/1746.81	c       746      1028   1030.99    172.92      5.96   1000000         0
1748.22/1748.70	c       752       885   1024.54    158.55      6.46   1000000         0
1750.02/1750.59	c       743       893   1035.54    203.96      5.08   1000000         0
1751.93/1752.49	c       773       887   1044.78    186.66      5.60   1000000         0
1753.82/1754.39	c       741      1100   1049.94    182.31      5.76   1000000         0
1755.72/1756.29	c       696       855   1057.86    178.97      5.91   1000000         0
1757.62/1758.20	c       783       979   1062.81    168.83      6.30   1000000         0
1759.53/1760.10	c       783      1014   1080.37    215.30      5.02   1000000         0
1761.42/1761.98	c       701       944   1004.71    150.85      6.66   1000000         0
1763.32/1763.86	c       711       902   1020.76    188.58      5.41   1000000         0
1765.22/1765.76	c       763       962   1060.99    233.26      4.55   1000000         0
1767.12/1767.66	c       774       881   1054.34    201.32      5.24   1000000         0
1769.02/1769.56	c       736       942   1038.27    198.57      5.23   1000000         0
1770.92/1771.46	c       762      1000   1043.90    179.34      5.82   1000000         0
1772.82/1773.37	c       790      1021   1056.20    209.97      5.03   1000000         0
1774.72/1775.25	c       677       799    996.10    177.88      5.60   1000000         0
1776.61/1777.14	c       782       814   1037.92    164.69      6.30   1000000         0
1778.51/1779.05	c       756       964   1056.54    172.18      6.14   1000000         0
1780.42/1780.96	c       816       876   1065.98    162.59      6.56   1000000         0
1782.31/1782.85	c       762       966   1027.81    199.57      5.15   1000000         0
1784.21/1784.73	c       730      1018   1010.38    172.51      5.86   1000000         0
1786.11/1786.64	c       758       910   1053.51    222.27      4.74   1000000         0
1788.01/1788.53	c       732       994   1022.15    169.45      6.03   1000000         0
1789.91/1790.42	c       754      1044   1034.46    185.90      5.56   1000000         0
1791.81/1792.31	c       696      1003   1031.34    189.41      5.45   1000000         0
1793.72/1794.21	c       745       960   1044.61    179.46      5.82   1000000         0
1795.61/1796.13	c       792       920   1070.78    224.60      4.77   1000000         0
1797.51/1798.03	c       741      1023   1050.22    188.78      5.56   1000000         0
1799.41/1799.92	c       765      1070   1036.01    212.06      4.89   1000000         0
1800.02/1800.50	HOME/run: line 2: 20201 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-2685112-1278439819/watcher-2685112-1278439819 -o /tmp/evaluation-result-2685112-1278439819/solver-2685112-1278439819 -C 1800 -W 2000 -M 1800 run HOME/instance-2685112-1278439819.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.02 1.01 1.00 3/105 20200
/proc/meminfo: memFree=1743832/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0

[startup+0.101736 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 20200
/proc/meminfo: memFree=1743832/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201746 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 20200
/proc/meminfo: memFree=1743832/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301758 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 20200
/proc/meminfo: memFree=1743832/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700803 s]
/proc/loadavg: 1.02 1.01 1.00 3/105 20200
/proc/meminfo: memFree=1743832/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50189 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20202
/proc/meminfo: memFree=1735756/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1.48
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2057 0 0 0 148 0 0 0 25 0 1 0 12190398 41422848 1987 1992294400 134512640 135071400 4294723696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1987 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10207 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20202
/proc/meminfo: memFree=1735508/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=3.08
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 308 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30144 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20202
/proc/meminfo: memFree=1735508/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=6.28
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 628 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7012 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20202
/proc/meminfo: memFree=1735384/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=12.68
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 1268 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5016 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20202
/proc/meminfo: memFree=1735384/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=25.48
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 2548 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 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.01 1.00 1.00 2/107 20202
/proc/meminfo: memFree=1735384/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=51.07
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 5107 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20204
/proc/meminfo: memFree=1735136/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=102.26
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 10226 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20206
/proc/meminfo: memFree=1735012/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=162.24
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2065 0 0 0 16224 0 0 0 25 0 1 0 12190398 41422848 1995 1992294400 134512640 135071400 4294723696 18446744073709551615 134526967 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1995 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20208
/proc/meminfo: memFree=1734888/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=222.24
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 22223 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20210
/proc/meminfo: memFree=1734888/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=282.22
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 28221 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 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 1.00 1.00 2/107 20210
/proc/meminfo: memFree=1734764/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=342.2
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 34219 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 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 1.00 1.00 2/107 20212
/proc/meminfo: memFree=1734640/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=402.18
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 40217 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134525568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=20201] ppid=20200 vsize=40452 CPUtime=1062
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 106199 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20235
/proc/meminfo: memFree=1733152/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1121.98
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 112197 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20237
/proc/meminfo: memFree=1732904/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1181.97
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 118196 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134519718 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 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 1.00 1.00 2/107 20237
/proc/meminfo: memFree=1732656/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1241.95
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 124194 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20239
/proc/meminfo: memFree=1732532/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1301.94
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 130193 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 20241
/proc/meminfo: memFree=1732532/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1361.92
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 136191 1 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20243
/proc/meminfo: memFree=1732532/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1421.92
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 142190 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20245
/proc/meminfo: memFree=1732408/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1481.89
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 148187 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526633 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20245
/proc/meminfo: memFree=1732284/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1541.89
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 154187 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 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 1.00 1.00 2/107 20247
/proc/meminfo: memFree=1732160/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1601.86
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 160184 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20249
/proc/meminfo: memFree=1732036/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1661.85
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 166183 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 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 1.00 1.00 2/107 20251
/proc/meminfo: memFree=1732036/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1721.83
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 172181 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20253
/proc/meminfo: memFree=1731664/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1781.81
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 178179 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20253
/proc/meminfo: memFree=1731664/2059040 swapFree=4192956/4192956
[pid=20200] ppid=20198 vsize=8700 CPUtime=0
/proc/20200/stat : 20200 (run) S 20198 20200 19648 0 -1 4202496 358 0 0 0 0 0 0 0 23 0 1 0 12190398 8908800 243 1992294400 4194304 4922060 140734048333280 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20200/statm: 2175 243 204 178 0 68 0
[pid=20201] ppid=20200 vsize=40452 CPUtime=1800.02
/proc/20201/stat : 20201 (PB-wave) R 20200 20200 19648 0 -1 4202496 2066 0 0 0 180000 2 0 0 25 0 1 0 12190398 41422848 1996 1992294400 134512640 135071400 4294723696 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20201/statm: 10113 1996 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.023996
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2437
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= 4308

runsolver used 2.72259 second user time and 8.82466 second system time

The end

Launcher Data 

Begin job on node085 at 2010-07-06 20:10:19
IDJOB=2685112
IDBENCH=74583
IDSOLVER=1171
FILE ID=node085/2685112-1278439819
PBS_JOBID= 11233440
Free space on /tmp= 121788 MiB

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

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

MD5SUM BENCH= 0a851c8da3e98872eaeb0a89c94e4840
RANDOM SEED=653273845

node085.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		: 3000.215
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	: 6000.43
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		: 3000.215
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	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1744352 kB
Buffers:         19364 kB
Cached:         160936 kB
SwapCached:          0 kB
Active:          91964 kB
Inactive:       148488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1744352 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3304 kB
Writeback:           0 kB
AnonPages:       60048 kB
Mapped:          14384 kB
Slab:            52436 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180208 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121788 MiB
End job on node085 at 2010-07-06 20:40:20