Trace number 2684734

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.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1209_4-sat.opb
MD5SUMc17285ecf4c0c17a63d3aa8966d3d2bd
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 benchmark40.9488
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21296
Total number of constraints66999
Number of constraints which are clauses66651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint1
Maximum length of a constraint65
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 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 389
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.17	c PB-wave - v2
0.00/0.17	c command line = ./PB-wave
0.00/0.17	c seed = 2804034
0.00/0.17	c cutoff = 1000000
0.00/0.17	c tries = 1000000
0.00/0.17	c heuristic = c best, noise 50 / 100
0.00/0.17	#var 21296 #con 66999
0.00/0.17	mode is SAT
0.00/0.17	c tail starts after flip = 63888
0.00/0.17	c numatom = 21296, numclause = 66999, numliterals = 163513
0.00/0.17	c wff read in
0.00/0.17	c 
0.00/0.17	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.17	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.17	c       this      this      this      this      this      this   success   success       until         std
0.00/0.17	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.17	c
1.98/2.04	c       840      1066   1073.78    113.09      9.49   1000000         0
3.78/3.90	c       756      1010   1021.64    143.10      7.14   1000000         0
5.68/5.75	c       743       861   1027.53    130.64      7.87   1000000         0
7.59/7.60	c       735      1109   1020.75    106.99      9.54   1000000         0
9.38/9.45	c       801      1039   1028.60    129.04      7.97   1000000         0
11.28/11.32	c       761       941   1045.04    120.20      8.69   1000000         0
13.09/13.16	c       736      1036   1002.51    131.35      7.63   1000000         0
14.98/15.02	c       798      1022   1033.93    138.07      7.49   1000000         0
16.78/16.87	c       766       932   1023.94    133.53      7.67   1000000         0
18.69/18.72	c       770       913   1026.06    115.85      8.86   1000000         0
20.48/20.56	c       721      1029    992.30    126.90      7.82   1000000         0
22.38/22.42	c       818       953   1043.47    118.70      8.79   1000000         0
24.18/24.29	c       794      1146   1037.25    147.79      7.02   1000000         0
26.08/26.14	c       771      1084   1031.12    136.63      7.55   1000000         0
27.97/28.00	c       772       973   1054.39    117.59      8.97   1000000         0
29.77/29.85	c       790      1013   1019.62     91.83     11.10   1000000         0
31.67/31.71	c       771       973   1038.17    111.87      9.28   1000000         0
33.47/33.56	c       779      1054   1021.28    114.05      8.95   1000000         0
35.37/35.42	c       729       978   1045.00    130.39      8.01   1000000         0
37.17/37.28	c       749       956   1052.61    137.17      7.67   1000000         0
39.07/39.14	c       798      1047   1044.66    121.23      8.62   1000000         0
40.97/41.00	c       758      1076   1026.15    145.96      7.03   1000000         0
42.78/42.85	c       764      1143   1025.25    139.28      7.36   1000000         0
44.67/44.71	c       769       974   1032.05    131.45      7.85   1000000         0
46.47/46.57	c       727      1065   1035.46    130.45      7.94   1000000         0
48.38/48.42	c       781       910   1034.07    162.19      6.38   1000000         0
50.17/50.29	c       816      1052   1079.73    137.27      7.87   1000000         0
52.07/52.15	c       760      1021   1030.87    148.17      6.96   1000000         0
53.97/54.01	c       830      1138   1057.24    123.51      8.56   1000000         0
55.77/55.86	c       773      1123   1012.31    126.42      8.01   1000000         0
57.67/57.73	c       822       937   1047.65    113.10      9.26   1000000         0
59.46/59.58	c       745      1028   1021.84    130.47      7.83   1000000         0
61.36/61.45	c       771       945   1044.75    136.43      7.66   1000000         0
63.26/63.31	c       821      1059   1048.17    122.76      8.54   1000000         0
65.06/65.17	c       742      1033   1027.35    129.97      7.90   1000000         0
66.97/67.02	c       757      1141   1033.87    114.78      9.01   1000000         0
68.76/68.87	c       746      1044   1023.85    156.02      6.56   1000000         0
70.66/70.73	c       757       883   1034.26    152.56      6.78   1000000         0
72.47/72.59	c       768       919   1044.77    138.97      7.52   1000000         0
74.36/74.47	c       814       902   1078.77    132.72      8.13   1000000         0
76.26/76.33	c       811      1015   1038.29    140.72      7.38   1000000         0
78.07/78.18	c       778       994   1035.18    129.42      8.00   1000000         0
79.96/80.04	c       768      1043   1042.69    126.91      8.22   1000000         0
81.86/81.90	c       795       924   1051.77    121.93      8.63   1000000         0
83.66/83.76	c       776      1102   1028.62    104.23      9.87   1000000         0
85.56/85.62	c       717       928   1038.15    133.45      7.78   1000000         0
87.36/87.47	c       723       937   1006.79    137.33      7.33   1000000         0
89.26/89.31	c       764      1038   1017.64    107.47      9.47   1000000         0
91.05/91.18	c       775      1004   1039.65    129.77      8.01   1000000         0
92.95/93.03	c       795      1032   1027.10    137.25      7.48   1000000         0
94.85/94.90	c       797       967   1047.84    144.61      7.25   1000000         0
96.66/96.76	c       812      1078   1036.64    120.43      8.61   1000000         0
98.55/98.63	c       809       924   1061.15    111.31      9.53   1000000         0
100.35/100.49	c       837      1095   1058.95    109.56      9.67   1000000         0
102.26/102.34	c       743      1030   1017.55    115.42      8.82   1000000         0
104.15/104.20	c       801       950   1043.73    138.29      7.55   1000000         0
105.95/106.06	c       774      1213   1036.53    126.43      8.20   1000000         0
107.85/107.90	c       711      1062    997.03    130.96      7.61   1000000         0
109.65/109.75	c       789       933   1023.82    117.11      8.74   1000000         0
111.55/111.61	c       787       984   1048.13    130.40      8.04   1000000         0
113.35/113.45	c       756       949    996.88    126.20      7.90   1000000         0
115.25/115.30	c       759      1019   1026.09    149.88      6.85   1000000         0
117.05/117.16	c       762      1008   1037.55    105.01      9.88   1000000         0
118.95/119.02	c       788       995   1038.36    134.51      7.72   1000000         0
120.75/120.88	c       776      1053   1026.14    143.93      7.13   1000000         0
122.64/122.74	c       775       958   1038.26    157.31      6.60   1000000         0
124.44/124.59	c       786      1062   1037.47    141.74      7.32   1000000         0
126.35/126.46	c       767       909   1052.66    136.55      7.71   1000000         0
128.24/128.30	c       780       954   1010.70    132.58      7.62   1000000         0
130.04/130.15	c       788      1062   1018.71    111.86      9.11   1000000         0
131.95/132.00	c       762      1006   1026.10    117.61      8.72   1000000         0
133.74/133.87	c       815       972   1038.84    152.95      6.79   1000000         0
135.64/135.72	c       776      1035   1019.61    143.09      7.13   1000000         0
137.45/137.57	c       796      1085   1015.09    139.45      7.28   1000000         0
139.34/139.43	c       781      1080   1040.04    140.11      7.42   1000000         0
141.14/141.28	c       711      1095   1025.40    131.39      7.80   1000000         0
143.04/143.13	c       807      1018   1031.30    114.47      9.01   1000000         0
144.84/144.99	c       783       949   1029.06    137.48      7.48   1000000         0
146.74/146.86	c       765      1112   1058.97    109.44      9.68   1000000         0
148.63/148.71	c       763       956   1028.03    130.94      7.85   1000000         0
150.43/150.56	c       710       730   1028.49    138.06      7.45   1000000         0
152.33/152.42	c       782      1046   1044.54    115.97      9.01   1000000         0
154.13/154.27	c       713      1038   1005.09    127.80      7.86   1000000         0
156.04/156.12	c       809      1136   1017.53     88.99     11.43   1000000         0
157.83/157.97	c       772       979   1038.72    135.01      7.69   1000000         0
159.73/159.83	c       768      1036   1036.26    148.11      7.00   1000000         0
161.54/161.69	c       796       934   1040.51    122.65      8.48   1000000         0
163.43/163.55	c       758      1019   1036.23    140.08      7.40   1000000         0
165.23/165.39	c       754       907    999.96    121.19      8.25   1000000         0
167.14/167.25	c       731      1095   1046.03    134.77      7.76   1000000         0
169.03/169.10	c       758       963   1031.04    134.24      7.68   1000000         0
170.83/170.96	c       751      1046   1046.39    128.79      8.12   1000000         0
172.73/172.83	c       792      1074   1043.06    105.47      9.89   1000000         0
174.53/174.68	c       750      1060   1022.22    124.77      8.19   1000000         0
176.43/176.54	c       819       968   1032.96    135.61      7.62   1000000         0
178.32/178.40	c       754      1087   1032.37    134.36      7.68   1000000         0
180.12/180.25	c       827      1076   1034.69    123.03      8.41   1000000         0
182.02/182.10	c       802       961   1024.06    119.70      8.56   1000000         0
183.82/183.96	c       778      1012   1036.91    129.72      7.99   1000000         0
185.73/185.81	c       778       921   1018.77    134.68      7.56   1000000         0
187.52/187.67	c       798      1048   1048.46    109.14      9.61   1000000         0
189.42/189.53	c       780       939   1038.89    112.10      9.27   1000000         0
191.23/191.38	c       755       914   1035.10    140.46      7.37   1000000         0
193.12/193.24	c       792      1013   1011.38    141.43      7.15   1000000         0
194.92/195.09	c       751       945   1031.13    137.47      7.50   1000000         0
196.83/196.94	c       764      1160   1034.27    150.68      6.86   1000000         0
198.62/198.80	c       794      1062   1037.98    138.62      7.49   1000000         0
200.52/200.66	c       759       923   1039.84    133.48      7.79   1000000         0
202.42/202.51	c       795       823   1026.99    130.20      7.89   1000000         0
204.22/204.37	c       786      1001   1031.58    125.80      8.20   1000000         0
206.12/206.22	c       774      1077   1030.01    140.15      7.35   1000000         0
207.91/208.08	c       798       950   1063.25    127.14      8.36   1000000         0
209.81/209.95	c       753       983   1044.44    148.97      7.01   1000000         0
211.71/211.82	c       736      1059   1053.35    141.50      7.44   1000000         0
213.51/213.68	c       731       802   1040.35    129.50      8.03   1000000         0
215.42/215.53	c       775      1028   1037.38    132.69      7.82   1000000         0
217.22/217.38	c       750      1038   1023.90    128.06      8.00   1000000         0
219.12/219.24	c       746      1001   1021.64    137.60      7.42   1000000         0
220.93/221.09	c       796      1151   1026.86    123.91      8.29   1000000         0
222.82/222.94	c       722       947   1016.46    134.39      7.56   1000000         0
224.62/224.79	c       779       995   1027.97    137.69      7.47   1000000         0
226.53/226.65	c       767       924   1041.96    129.16      8.07   1000000         0
228.42/228.51	c       765      1029   1044.73    119.21      8.76   1000000         0
230.22/230.36	c       761      1039   1032.94    122.15      8.46   1000000         0
232.12/232.23	c       768      1099   1051.39    150.33      6.99   1000000         0
233.92/234.10	c       792       999   1051.63    118.63      8.86   1000000         0
235.82/235.96	c       788      1053   1052.71    138.45      7.60   1000000         0
237.71/237.81	c       732       881   1020.86    142.93      7.14   1000000         0
239.51/239.67	c       799       919   1030.92    116.96      8.81   1000000         0
241.41/241.53	c       819       932   1046.59    122.91      8.52   1000000         0
243.21/243.38	c       782      1017   1032.88    125.25      8.25   1000000         0
245.12/245.24	c       755      1062   1030.33    145.10      7.10   1000000         0
246.91/247.10	c       801       964   1026.87    113.38      9.06   1000000         0
248.81/248.94	c       789      1018   1021.87    122.57      8.34   1000000         0
250.62/250.79	c       750      1030   1035.78    131.33      7.89   1000000         0
252.51/252.65	c       786      1114   1041.38    117.80      8.84   1000000         0
254.41/254.51	c       789      1191   1027.01    113.20      9.07   1000000         0
256.22/256.37	c       802      1011   1034.36    117.49      8.80   1000000         0
258.11/258.23	c       807      1123   1047.99    131.77      7.95   1000000         0
260.01/260.10	c       762      1041   1068.69    136.15      7.85   1000000         0
261.81/261.96	c       758      1017   1031.05    152.12      6.78   1000000         0
263.70/263.81	c       805       962   1027.41    114.56      8.97   1000000         0
265.50/265.66	c       815       964   1038.92    130.07      7.99   1000000         0
267.40/267.51	c       745       942   1006.84    137.08      7.34   1000000         0
269.20/269.36	c       809      1004   1019.68    105.62      9.65   1000000         0
271.10/271.21	c       758      1026   1022.78    122.47      8.35   1000000         0
272.90/273.07	c       816      1071   1038.43    161.60      6.43   1000000         0
274.81/274.94	c       829      1022   1059.04    122.09      8.67   1000000         0
276.70/276.80	c       807      1123   1042.29    125.32      8.32   1000000         0
278.50/278.66	c       821       993   1048.32    126.45      8.29   1000000         0
280.41/280.52	c       782       941   1034.75    143.33      7.22   1000000         0
282.20/282.38	c       808       888   1036.31    136.83      7.57   1000000         0
284.10/284.23	c       780       991   1027.21    115.97      8.86   1000000         0
285.91/286.09	c       747       888   1034.36    126.60      8.17   1000000         0
287.80/287.94	c       771       909   1016.86    115.78      8.78   1000000         0
289.70/289.81	c       821       952   1041.81    122.56      8.50   1000000         0
291.50/291.66	c       758      1165   1018.89    130.92      7.78   1000000         0
293.40/293.51	c       784       951   1029.67    127.94      8.05   1000000         0
295.19/295.36	c       741       951   1019.83    123.52      8.26   1000000         0
297.09/297.21	c       815       971   1027.05    126.23      8.14   1000000         0
298.89/299.06	c       778       989   1017.36    114.57      8.88   1000000         0
300.79/300.91	c       735      1108   1036.98    131.33      7.90   1000000         0
302.59/302.77	c       800       926   1027.14    134.29      7.65   1000000         0
304.50/304.61	c       760      1099   1003.09    121.58      8.25   1000000         0
306.29/306.47	c       747      1019   1039.50    158.88      6.54   1000000         0
308.19/308.32	c       779       927   1009.41    111.59      9.05   1000000         0
310.00/310.18	c       790      1025   1031.87    123.81      8.33   1000000         0
311.89/312.04	c       745       949   1040.62    127.40      8.17   1000000         0
313.79/313.90	c       763      1013   1050.53    127.65      8.23   1000000         0
315.60/315.76	c       803       975   1042.01    130.08      8.01   1000000         0
317.49/317.61	c       729      1058   1033.66    144.34      7.16   1000000         0
319.29/319.47	c       756       980   1040.88    124.20      8.38   1000000         0
321.19/321.32	c       753       855   1007.09    118.43      8.50   1000000         0
322.99/323.17	c       747      1094   1025.36    131.03      7.83   1000000         0
324.88/325.03	c       784      1101   1030.87    143.07      7.21   1000000         0
326.68/326.89	c       782      1017   1042.78    134.91      7.73   1000000         0
328.58/328.75	c       818       990   1048.97    137.11      7.65   1000000         0
330.48/330.60	c       760      1064   1015.11    119.88      8.47   1000000         0
332.28/332.46	c       792      1027   1032.22    119.91      8.61   1000000         0
334.19/334.33	c       805      1126   1057.28    140.34      7.53   1000000         0
335.98/336.18	c       793      1019   1028.73    131.45      7.83   1000000         0
337.88/338.04	c       736      1105   1034.06    129.80      7.97   1000000         0
339.69/339.90	c       829       927   1053.97    120.88      8.72   1000000         0
341.58/341.75	c       752       980   1024.53    120.21      8.52   1000000         0
343.48/343.61	c       732       975   1044.09    117.05      8.92   1000000         0
345.29/345.46	c       782       977   1021.62    145.85      7.00   1000000         0
347.18/347.32	c       796       961   1048.21    136.14      7.70   1000000         0
348.98/349.18	c       801       975   1046.27    140.15      7.47   1000000         0
350.88/351.03	c       790       989   1021.90    119.17      8.57   1000000         0
352.68/352.88	c       726       914   1027.24    138.11      7.44   1000000         0
354.58/354.74	c       766       914   1031.94    126.06      8.19   1000000         0
356.37/356.58	c       785       938   1008.50    132.68      7.60   1000000         0
358.27/358.43	c       777      1042   1007.70    114.58      8.80   1000000         0
360.17/360.30	c       831       997   1060.19    134.41      7.89   1000000         0
361.97/362.15	c       774      1054   1023.30    135.54      7.55   1000000         0
363.88/364.01	c       779      1084   1029.99    122.37      8.42   1000000         0
365.67/365.87	c       826       991   1048.48    128.38      8.17   1000000         0
367.57/367.73	c       747      1099   1037.24    114.21      9.08   1000000         0
369.38/369.58	c       747      1079   1024.40    112.22      9.13   1000000         0
371.27/371.43	c       755       930   1033.23    127.88      8.08   1000000         0
373.07/373.29	c       772       963   1041.96    124.92      8.34   1000000         0
374.98/375.15	c       771       940   1048.46    146.96      7.13   1000000         0
376.87/377.01	c       769      1128   1025.31    142.45      7.20   1000000         0
378.67/378.87	c       775      1044   1051.38    136.71      7.69   1000000         0
380.57/380.74	c       757      1087   1048.65    133.29      7.87   1000000         0
382.37/382.58	c       764      1071   1026.35    122.07      8.41   1000000         0
384.27/384.44	c       807       938   1039.86     99.75     10.42   1000000         0
386.17/386.30	c       709      1118   1027.36    121.69      8.44   1000000         0
387.97/388.16	c       828      1110   1053.75     95.71     11.01   1000000         0
389.86/390.03	c       800      1139   1057.02    149.97      7.05   1000000         0
391.66/391.88	c       785      1041   1022.01    111.69      9.15   1000000         0
393.57/393.75	c       769      1013   1045.25    148.69      7.03   1000000         0
395.46/395.61	c       763      1002   1056.35    155.53      6.79   1000000         0
397.26/397.48	c       824      1091   1071.06    138.32      7.74   1000000         0
399.17/399.33	c       802      1056   1034.50    113.11      9.15   1000000         0
401.06/401.20	c       787       930   1038.94    142.55      7.29   1000000         0
402.86/403.06	c       787       989   1044.15    137.22      7.61   1000000         0
404.76/404.92	c       766       875   1045.31    122.09      8.56   1000000         0
406.56/406.77	c       809      1031   1042.05    122.25      8.52   1000000         0
408.46/408.64	c       712      1026   1051.48    124.01      8.48   1000000         0
410.36/410.50	c       789       976   1029.30    109.54      9.40   1000000         0
412.16/412.35	c       785       813   1033.93    121.02      8.54   1000000         0
414.06/414.22	c       785       937   1047.73    119.40      8.77   1000000         0
415.86/416.06	c       765      1022   1017.73    147.02      6.92   1000000         0
417.76/417.93	c       792       990   1054.29    126.89      8.31   1000000         0
419.56/419.79	c       788       977   1033.22    100.32     10.30   1000000         0
421.45/421.64	c       762       941   1019.36    143.11      7.12   1000000         0
423.26/423.50	c       747      1055   1030.88    125.05      8.24   1000000         0
425.15/425.35	c       741      1013   1032.50    111.38      9.27   1000000         0
427.05/427.21	c       789       989   1036.56    143.13      7.24   1000000         0
428.86/429.06	c       759      1047   1016.81    121.73      8.35   1000000         0
430.75/430.92	c       783      1005   1043.30    135.57      7.70   1000000         0
432.55/432.77	c       781      1121   1035.22    136.72      7.57   1000000         0
434.45/434.63	c       776      1102   1044.54    122.98      8.49   1000000         0
436.25/436.48	c       780       957   1010.60    105.11      9.61   1000000         0
438.15/438.34	c       785       970   1031.91    144.65      7.13   1000000         0
439.95/440.18	c       798       984   1008.72    119.59      8.44   1000000         0
441.85/442.04	c       751       973   1049.56    126.43      8.30   1000000         0
443.65/443.89	c       719      1025   1026.78    135.44      7.58   1000000         0
445.55/445.75	c       787       990   1021.40    130.59      7.82   1000000         0
447.45/447.61	c       750       875   1039.13    144.43      7.19   1000000         0
449.25/449.46	c       774       898   1015.59    147.39      6.89   1000000         0
451.15/451.32	c       778       903   1047.61    122.14      8.58   1000000         0
452.95/453.18	c       796      1036   1050.84    149.70      7.02   1000000         0
454.84/455.05	c       806      1051   1044.69    136.34      7.66   1000000         0
456.74/456.91	c       776      1023   1049.71    129.25      8.12   1000000         0
458.55/458.77	c       786      1144   1047.13    135.83      7.71   1000000         0
460.44/460.62	c       756       987   1021.02    141.17      7.23   1000000         0
462.24/462.47	c       748      1046   1032.17    122.18      8.45   1000000         0
464.14/464.33	c       763      1147   1035.78    142.24      7.28   1000000         0
465.94/466.17	c       768      1020   1005.46    111.82      8.99   1000000         0
467.84/468.03	c       751      1005   1032.09    131.73      7.83   1000000         0
469.74/469.90	c       823      1069   1057.46    142.73      7.41   1000000         0
471.54/471.76	c       684      1008   1033.92    140.14      7.38   1000000         0
473.44/473.61	c       734       943   1006.88    133.92      7.52   1000000         0
475.24/475.47	c       781      1119   1020.80    118.96      8.58   1000000         0
477.14/477.32	c       760       967   1038.84    118.19      8.79   1000000         0
478.93/479.17	c       778       980   1043.68    126.85      8.23   1000000         0
480.83/481.02	c       793      1031   1022.96    126.35      8.10   1000000         0
482.64/482.87	c       783       936   1018.53    123.27      8.26   1000000         0
484.53/484.73	c       778       995   1036.19    123.42      8.40   1000000         0
486.33/486.59	c       789      1037   1043.91    119.11      8.76   1000000         0
488.24/488.44	c       816       968   1041.74    128.50      8.11   1000000         0
490.03/490.29	c       804      1132   1031.86    134.99      7.64   1000000         0
491.93/492.15	c       787      1009   1027.69    124.32      8.27   1000000         0
493.83/494.01	c       779      1038   1049.12    127.37      8.24   1000000         0
495.63/495.86	c       763      1120   1024.30    132.67      7.72   1000000         0
497.53/497.71	c       773       850   1024.18    131.36      7.80   1000000         0
499.33/499.56	c       797      1039   1021.03    115.21      8.86   1000000         0
501.23/501.44	c       810      1197   1082.59    130.87      8.27   1000000         0
503.03/503.29	c       716      1089   1033.76    139.57      7.41   1000000         0
504.93/505.15	c       792      1044   1035.38    118.57      8.73   1000000         0
506.83/507.01	c       836       958   1037.89    136.15      7.62   1000000         0
508.62/508.86	c       765       930   1035.71    124.02      8.35   1000000         0
510.52/510.72	c       765       992   1030.28    132.85      7.76   1000000         0
512.33/512.57	c       759      1001   1023.44    140.28      7.30   1000000         0
514.22/514.44	c       743       992   1045.98    133.69      7.82   1000000         0
516.02/516.29	c       739       925   1030.34    138.79      7.42   1000000         0
517.93/518.15	c       781       993   1034.59    137.39      7.53   1000000         0
519.82/520.00	c       752       928   1034.20    118.90      8.70   1000000         0
521.62/521.86	c       817      1049   1058.84    108.00      9.80   1000000         0
523.52/523.71	c       734      1120   1014.10    145.21      6.98   1000000         0
525.32/525.58	c       780       913   1049.54    125.56      8.36   1000000         0
527.22/527.44	c       767      1020   1054.24    128.80      8.19   1000000         0
529.02/529.29	c       783      1025   1017.79    123.52      8.24   1000000         0
530.92/531.15	c       768      1005   1046.44    119.94      8.72   1000000         0
532.82/533.01	c       760      1029   1031.19    159.09      6.48   1000000         0
534.62/534.86	c       782       995   1038.15    128.60      8.07   1000000         0
536.52/536.71	c       788       958   1019.45    114.20      8.93   1000000         0
538.31/538.57	c       760       975   1031.94    145.47      7.09   1000000         0
540.21/540.43	c       804       957   1040.55    126.73      8.21   1000000         0
542.02/542.28	c       730       994   1023.00    136.10      7.52   1000000         0
543.91/544.13	c       742      1023   1031.76    138.28      7.46   1000000         0
545.81/546.00	c       790      1062   1047.22    136.82      7.65   1000000         0
547.62/547.86	c       753      1004   1033.04    135.06      7.65   1000000         0
549.51/549.71	c       764       958   1027.28    140.71      7.30   1000000         0
551.31/551.56	c       778       938   1019.45    129.57      7.87   1000000         0
553.21/553.41	c       791      1112   1023.27    115.87      8.83   1000000         0
555.01/555.27	c       748      1009   1036.14    121.01      8.56   1000000         0
556.91/557.13	c       815      1009   1045.61    135.13      7.74   1000000         0
558.71/558.98	c       716      1014   1006.19    119.59      8.41   1000000         0
560.61/560.84	c       834      1032   1046.80    128.82      8.13   1000000         0
562.51/562.70	c       751       845   1037.44    131.59      7.88   1000000         0
564.31/564.55	c       777      1107   1022.69    126.34      8.09   1000000         0
566.21/566.41	c       769      1119   1032.74    146.82      7.03   1000000         0
568.01/568.26	c       763       982   1038.67    136.29      7.62   1000000         0
569.90/570.12	c       774      1017   1032.68    106.20      9.72   1000000         0
571.71/571.98	c       761      1056   1040.71    125.21      8.31   1000000         0
573.60/573.83	c       777       992   1024.57    121.02      8.47   1000000         0
575.40/575.67	c       749       958   1010.61    128.78      7.85   1000000         0
577.31/577.52	c       736      1022   1013.93    115.98      8.74   1000000         0
579.10/579.38	c       773       836   1037.26    126.07      8.23   1000000         0
581.00/581.25	c       793       930   1048.42    148.82      7.05   1000000         0
582.90/583.11	c       787      1144   1045.39    124.87      8.37   1000000         0
584.70/584.97	c       747      1041   1014.37    141.27      7.18   1000000         0
586.60/586.82	c       674       945   1013.73    142.21      7.13   1000000         0
588.40/588.67	c       756       983   1028.63    147.49      6.97   1000000         0
590.30/590.53	c       799      1053   1028.38    130.09      7.91   1000000         0
592.10/592.39	c       784      1050   1052.28    132.08      7.97   1000000         0
593.99/594.24	c       749       917   1003.91    149.06      6.73   1000000         0
595.80/596.10	c       798       852   1040.68    126.72      8.21   1000000         0
597.70/597.95	c       777       906   1013.62    124.51      8.14   1000000         0
599.59/599.80	c       773       981   1013.82    128.60      7.88   1000000         0
601.40/601.65	c       788       954   1036.97    124.09      8.36   1000000         0
603.29/603.51	c       787      1057   1045.20    127.44      8.20   1000000         0
605.09/605.37	c       758       941   1037.06    118.02      8.79   1000000         0
607.00/607.22	c       778       985   1031.71    110.94      9.30   1000000         0
608.79/609.08	c       779      1043   1043.65    121.19      8.61   1000000         0
610.69/610.93	c       777      1108   1023.52    145.08      7.05   1000000         0
612.50/612.79	c       739      1018   1018.54    120.53      8.45   1000000         0
614.39/614.63	c       738      1043   1004.44    123.27      8.15   1000000         0
616.19/616.48	c       770       932   1003.84    135.36      7.42   1000000         0
618.09/618.34	c       792      1036   1037.71    116.46      8.91   1000000         0
619.89/620.19	c       813      1048   1039.74    114.92      9.05   1000000         0
621.79/622.05	c       725      1066   1022.32    133.90      7.64   1000000         0
623.69/623.90	c       778      1170   1042.40    139.67      7.46   1000000         0
625.48/625.76	c       804      1016   1017.09    117.80      8.63   1000000         0
627.38/627.62	c       766       975   1048.19    125.62      8.34   1000000         0
629.18/629.47	c       767       986   1016.57    132.93      7.65   1000000         0
631.09/631.32	c       771       974   1031.75    165.99      6.22   1000000         0
632.88/633.18	c       765      1042   1016.05    126.17      8.05   1000000         0
634.78/635.03	c       708      1024   1023.42    114.47      8.94   1000000         0
636.59/636.88	c       768       964   1018.04    134.68      7.56   1000000         0
638.48/638.72	c       780       888   1030.96    127.76      8.07   1000000         0
640.28/640.59	c       800      1058   1062.49    131.14      8.10   1000000         0
642.19/642.43	c       797       991   1026.10    119.92      8.56   1000000         0
644.08/644.30	c       790      1095   1048.27    159.14      6.59   1000000         0
645.88/646.15	c       773      1008   1022.36    131.31      7.79   1000000         0
647.78/648.01	c       732       915   1034.97    158.11      6.55   1000000         0
649.58/649.87	c       810      1112   1041.27    158.14      6.58   1000000         0
651.48/651.72	c       744       950   1011.83    143.64      7.04   1000000         0
653.28/653.58	c       769       987   1053.17    149.85      7.03   1000000         0
655.17/655.44	c       736      1053   1049.66    129.19      8.13   1000000         0
657.07/657.30	c       764      1019   1031.48    167.61      6.15   1000000         0
658.87/659.16	c       820       892   1044.95    110.75      9.44   1000000         0
660.78/661.00	c       717       929   1018.64    109.11      9.34   1000000         0
662.57/662.86	c       798      1027   1023.27    158.67      6.45   1000000         0
664.47/664.72	c       791       918   1045.07    137.96      7.58   1000000         0
666.28/666.58	c       779       967   1043.05    134.41      7.76   1000000         0
668.17/668.42	c       743       903   1007.56    127.22      7.92   1000000         0
669.97/670.27	c       707       928   1022.61    135.24      7.56   1000000         0
671.88/672.14	c       789       984   1064.12    144.65      7.36   1000000         0
673.77/674.01	c       850      1003   1061.38    109.79      9.67   1000000         0
675.57/675.86	c       752       932   1037.86    138.35      7.50   1000000         0
677.47/677.72	c       773       949   1023.09    126.76      8.07   1000000         0
679.27/679.59	c       823      1172   1062.81    151.87      7.00   1000000         0
681.17/681.45	c       732      1050   1062.84    148.88      7.14   1000000         0
682.97/683.29	c       775       993   1006.09    125.38      8.02   1000000         0
684.87/685.16	c       794       975   1047.82    125.41      8.35   1000000         0
686.76/687.02	c       755       966   1042.13    131.11      7.95   1000000         0
688.56/688.87	c       769       964   1039.86    121.60      8.55   1000000         0
690.47/690.73	c       769       981   1032.26    135.58      7.61   1000000         0
692.36/692.60	c       805      1019   1061.04    115.85      9.16   1000000         0
694.16/694.46	c       729      1034   1026.45    123.53      8.31   1000000         0
696.07/696.31	c       746       906   1023.75    125.56      8.15   1000000         0
697.86/698.17	c       802       993   1040.92    122.03      8.53   1000000         0
699.76/700.03	c       736      1015   1032.20    124.39      8.30   1000000         0
701.57/701.89	c       758      1107   1033.57    135.85      7.61   1000000         0
703.46/703.76	c       808      1029   1048.47    135.31      7.75   1000000         0
705.36/705.61	c       802       931   1035.79    115.34      8.98   1000000         0
707.16/707.46	c       765       930   1024.55    122.35      8.37   1000000         0
709.06/709.32	c       744       982   1029.05    147.91      6.96   1000000         0
710.86/711.16	c       733       971   1018.52    134.45      7.58   1000000         0
712.76/713.02	c       731       960   1036.55    114.75      9.03   1000000         0
714.56/714.89	c       823      1018   1060.49    120.64      8.79   1000000         0
716.46/716.74	c       779       991   1028.48    122.22      8.41   1000000         0
718.25/718.59	c       738       886   1018.05    134.09      7.59   1000000         0
720.16/720.45	c       720      1000   1027.78    131.71      7.80   1000000         0
722.05/722.30	c       792       994   1033.46    127.09      8.13   1000000         0
723.85/724.15	c       693       945   1013.66    119.18      8.51   1000000         0
725.66/726.00	c       775      1082   1022.78    127.59      8.02   1000000         0
727.55/727.86	c       821       955   1048.75    140.56      7.46   1000000         0
729.45/729.71	c       770      1085   1018.86    123.61      8.24   1000000         0
731.26/731.57	c       779       963   1021.90    120.65      8.47   1000000         0
733.15/733.42	c       786      1175   1011.25    131.20      7.71   1000000         0
734.95/735.27	c       735       981   1012.92    120.71      8.39   1000000         0
736.85/737.12	c       771      1003   1008.59    141.10      7.15   1000000         0
738.65/738.98	c       766      1175   1033.35    125.40      8.24   1000000         0
740.55/740.82	c       787      1003   1007.88    132.32      7.62   1000000         0
742.35/742.67	c       774       938   1017.01    145.10      7.01   1000000         0
744.25/744.53	c       783       963   1039.71    125.56      8.28   1000000         0
746.05/746.39	c       805      1001   1028.60    138.02      7.45   1000000         0
747.95/748.23	c       755       992   1002.25    133.43      7.51   1000000         0
749.75/750.09	c       763      1015   1020.30    145.16      7.03   1000000         0
751.64/751.95	c       787       915   1034.60    116.74      8.86   1000000         0
753.54/753.82	c       776      1004   1058.01    136.26      7.76   1000000         0
755.35/755.68	c       680       919   1036.53    151.99      6.82   1000000         0
757.24/757.53	c       762       923   1031.10    124.80      8.26   1000000         0
759.04/759.39	c       795       958   1034.53    118.35      8.74   1000000         0
760.95/761.23	c       766       984   1005.27    116.10      8.66   1000000         0
762.74/763.09	c       813       914   1040.87    125.89      8.27   1000000         0
764.64/764.96	c       757      1179   1043.75    128.62      8.11   1000000         0
766.54/766.81	c       757       974   1025.44    127.17      8.06   1000000         0
768.34/768.66	c       795       936   1023.66    132.06      7.75   1000000         0
770.24/770.51	c       753       990   1016.41    128.37      7.92   1000000         0
772.04/772.37	c       783      1053   1025.12    113.19      9.06   1000000         0
773.94/774.22	c       718      1028   1020.52    140.82      7.25   1000000         0
775.74/776.09	c       796      1098   1070.40    138.86      7.71   1000000         0
777.63/777.93	c       745      1003   1009.81    127.13      7.94   1000000         0
779.43/779.79	c       770      1100   1026.99    117.54      8.74   1000000         0
781.33/781.64	c       751       984   1023.95    128.30      7.98   1000000         0
783.13/783.50	c       769      1102   1018.51    119.66      8.51   1000000         0
785.04/785.35	c       782      1013   1036.05    136.03      7.62   1000000         0
786.93/787.21	c       803      1244   1036.11    123.11      8.42   1000000         0
788.73/789.06	c       740      1011   1019.41    133.97      7.61   1000000         0
790.64/790.92	c       794      1010   1051.73    141.20      7.45   1000000         0
792.43/792.78	c       784       961   1030.27    115.62      8.91   1000000         0
794.33/794.63	c       757      1010   1028.20    124.32      8.27   1000000         0
796.13/796.48	c       812      1009   1030.08    128.64      8.01   1000000         0
798.03/798.34	c       786      1047   1047.70    156.52      6.69   1000000         0
799.83/800.19	c       763       974   1013.00    118.19      8.57   1000000         0
801.73/802.03	c       710       958   1007.68    128.64      7.83   1000000         0
803.52/803.88	c       763       946   1012.33    133.93      7.56   1000000         0
805.42/805.73	c       736      1097   1022.21    130.25      7.85   1000000         0
807.32/807.60	c       772      1029   1048.79    133.67      7.85   1000000         0
809.12/809.45	c       808       896   1026.14    124.43      8.25   1000000         0
811.02/811.30	c       749      1067   1023.23    127.75      8.01   1000000         0
812.82/813.15	c       747       901   1030.81    152.10      6.78   1000000         0
814.73/815.00	c       785       963   1022.02    133.44      7.66   1000000         0
816.52/816.86	c       786      1013   1044.36    127.28      8.21   1000000         0
818.42/818.71	c       774       956   1025.63    125.63      8.16   1000000         0
820.23/820.57	c       742      1137   1047.73    129.24      8.11   1000000         0
822.12/822.41	c       760       974   1007.30    106.34      9.47   1000000         0
823.92/824.27	c       752      1046   1032.09    125.71      8.21   1000000         0
825.82/826.13	c       785      1098   1029.92    127.40      8.08   1000000         0
827.72/828.00	c       850      1035   1054.02    105.46      9.99   1000000         0
829.52/829.85	c       765      1076   1012.52    142.81      7.09   1000000         0
831.32/831.70	c       764      1057   1023.07    115.51      8.86   1000000         0
833.21/833.55	c       767       911   1026.61    123.97      8.28   1000000         0
835.11/835.41	c       822      1043   1039.04    149.00      6.97   1000000         0
836.91/837.27	c       815       980   1040.07    140.22      7.42   1000000         0
838.81/839.12	c       734       975   1027.65    121.91      8.43   1000000         0
840.61/840.98	c       818       960   1044.37    136.98      7.62   1000000         0
842.51/842.84	c       768      1116   1037.69    137.14      7.57   1000000         0
844.42/844.70	c       816      1073   1048.12    167.86      6.24   1000000         0
846.21/846.55	c       768      1058   1002.46    108.57      9.23   1000000         0
848.11/848.41	c       778      1056   1036.81    128.13      8.09   1000000         0
849.92/850.27	c       766      1115   1040.70    110.82      9.39   1000000         0
851.81/852.13	c       747      1016   1031.81    144.73      7.13   1000000         0
853.61/853.98	c       784       937   1034.02    104.81      9.87   1000000         0
855.51/855.85	c       724      1146   1056.14    139.88      7.55   1000000         0
857.31/857.70	c       749       962   1020.66    139.35      7.32   1000000         0
859.21/859.55	c       771       800   1046.18    115.84      9.03   1000000         0
861.11/861.41	c       769      1069   1039.83    136.01      7.65   1000000         0
862.90/863.28	c       726      1040   1027.66    147.91      6.95   1000000         0
864.80/865.13	c       775       963   1029.00    127.65      8.06   1000000         0
866.60/867.00	c       812       970   1054.69    160.82      6.56   1000000         0
868.50/868.85	c       711       971   1014.58    162.38      6.25   1000000         0
870.30/870.69	c       758       993   1023.34    125.23      8.17   1000000         0
872.20/872.55	c       749      1014   1041.93    169.09      6.16   1000000         0
874.00/874.39	c       731      1062   1004.80    103.59      9.70   1000000         0
875.90/876.25	c       770      1123   1027.56    121.13      8.48   1000000         0
877.80/878.10	c       738       947   1010.29    117.07      8.63   1000000         0
879.61/879.94	c       761      1038   1018.42    125.96      8.09   1000000         0
881.50/881.81	c       784       964   1053.33    131.97      7.98   1000000         0
883.30/883.68	c       766      1024   1052.28    138.39      7.60   1000000         0
885.21/885.53	c       801       953   1029.23    129.25      7.96   1000000         0
887.10/887.40	c       786       953   1054.34    138.87      7.59   1000000         0
888.90/889.25	c       725       947   1018.41    112.67      9.04   1000000         0
890.80/891.11	c       772       954   1027.60    144.99      7.09   1000000         0
892.60/892.96	c       764       998   1019.50    132.08      7.72   1000000         0
894.50/894.82	c       753      1017   1045.88    123.88      8.44   1000000         0
896.29/896.68	c       762       876   1036.97    127.39      8.14   1000000         0
898.19/898.53	c       787       980   1030.87    114.77      8.98   1000000         0
899.99/900.39	c       788       975   1051.68    127.92      8.22   1000000         0
901.89/902.24	c       778       880   1007.63    109.30      9.22   1000000         0
903.80/904.10	c       750       960   1033.99    121.83      8.49   1000000         0
905.59/905.95	c       820      1015   1023.10    134.07      7.63   1000000         0
907.39/907.79	c       759      1027   1007.76    101.11      9.97   1000000         0
909.30/909.65	c       785      1048   1030.38    152.92      6.74   1000000         0
911.19/911.50	c       776      1045   1024.40    125.80      8.14   1000000         0
912.99/913.36	c       740      1120   1028.21    128.62      7.99   1000000         0
914.90/915.22	c       799      1089   1045.81    128.86      8.12   1000000         0
916.69/917.09	c       780      1049   1069.19    131.70      8.12   1000000         0
918.59/918.95	c       814       991   1039.78    118.39      8.78   1000000         0
920.49/920.81	c       765       930   1047.71    113.86      9.20   1000000         0
922.29/922.67	c       773       885   1050.33    141.50      7.42   1000000         0
924.18/924.52	c       754      1074   1013.18    139.01      7.29   1000000         0
925.99/926.38	c       832      1061   1054.84    104.99     10.05   1000000         0
927.88/928.24	c       801      1040   1018.79    143.44      7.10   1000000         0
929.78/930.10	c       809      1071   1047.80    118.28      8.86   1000000         0
931.58/931.95	c       744       878   1014.45    131.90      7.69   1000000         0
933.49/933.81	c       779       954   1016.59    137.37      7.40   1000000         0
935.28/935.66	c       784      1023   1043.06    135.45      7.70   1000000         0
937.18/937.51	c       769       998   1010.66    130.30      7.76   1000000         0
938.99/939.37	c       776       994   1031.29    113.35      9.10   1000000         0
940.88/941.23	c       783      1065   1027.17    153.94      6.67   1000000         0
942.68/943.08	c       756      1042   1019.91    136.46      7.47   1000000         0
944.59/944.94	c       807       836   1043.11    122.95      8.48   1000000         0
946.38/946.79	c       730       901   1019.44    121.94      8.36   1000000         0
948.28/948.66	c       809       951   1056.64    129.15      8.18   1000000         0
950.18/950.52	c       740      1044   1039.18    124.09      8.37   1000000         0
951.98/952.38	c       786       998   1048.88    155.01      6.77   1000000         0
953.88/954.24	c       742       981   1035.35    127.09      8.15   1000000         0
955.67/956.09	c       772       867   1019.30    121.94      8.36   1000000         0
957.57/957.95	c       793       885   1036.94    136.16      7.62   1000000         0
959.47/959.81	c       777      1189   1034.63    135.80      7.62   1000000         0
961.27/961.66	c       794       922   1019.04    133.95      7.61   1000000         0
963.18/963.52	c       781      1055   1039.87    135.25      7.69   1000000         0
964.97/965.36	c       758      1031   1004.32    117.49      8.55   1000000         0
966.87/967.22	c       805       998   1047.31    134.12      7.81   1000000         0
968.68/969.08	c       734       974   1053.03    131.80      7.99   1000000         0
970.57/970.94	c       736      1030   1031.74    137.73      7.49   1000000         0
972.37/972.79	c       753       975   1018.60    114.30      8.91   1000000         0
974.28/974.64	c       762      1016   1016.88    135.83      7.49   1000000         0
976.17/976.50	c       797       970   1038.02    127.57      8.14   1000000         0
977.97/978.36	c       771      1090   1036.60    154.05      6.73   1000000         0
979.87/980.22	c       788       918   1054.51    120.80      8.73   1000000         0
981.67/982.07	c       809      1161   1015.61    101.57     10.00   1000000         0
983.57/983.92	c       783       882   1014.06    116.24      8.72   1000000         0
985.37/985.77	c       743       946   1027.57    131.88      7.79   1000000         0
987.26/987.63	c       753       982   1041.44    143.18      7.27   1000000         0
989.06/989.49	c       768       929   1042.32    133.45      7.81   1000000         0
990.96/991.36	c       793      1027   1059.55    144.66      7.32   1000000         0
992.87/993.21	c       787      1001   1027.33    100.92     10.18   1000000         0
994.66/995.07	c       742       945   1033.28    128.37      8.05   1000000         0
996.56/996.92	c       770       973   1033.94    125.69      8.23   1000000         0
998.37/998.77	c       731      1069   1027.37    124.53      8.25   1000000         0
1000.26/1000.61	c       753       956   1007.86    137.85      7.31   1000000         0
1002.06/1002.47	c       762       965   1033.53    136.36      7.58   1000000         0
1003.97/1004.33	c       809       905   1034.84    135.48      7.64   1000000         0
1005.76/1006.19	c       782       920   1040.28    122.35      8.50   1000000         0
1007.66/1008.04	c       825       941   1031.96    124.61      8.28   1000000         0
1009.56/1009.91	c       731      1048   1049.21    147.87      7.10   1000000         0
1011.36/1011.76	c       803      1112   1045.79    122.13      8.56   1000000         0
1013.26/1013.62	c       771      1054   1033.87    139.38      7.42   1000000         0
1015.06/1015.48	c       745       897   1047.28    140.80      7.44   1000000         0
1016.96/1017.33	c       812       995   1023.89    103.70      9.87   1000000         0
1018.76/1019.18	c       788      1049   1037.98    126.78      8.19   1000000         0
1020.65/1021.04	c       802       880   1035.85    130.11      7.96   1000000         0
1022.56/1022.90	c       763      1078   1017.27    139.73      7.28   1000000         0
1024.35/1024.77	c       798       980   1053.10    156.48      6.73   1000000         0
1026.25/1026.63	c       767      1050   1043.79    141.14      7.40   1000000         0
1028.06/1028.48	c       774       935   1013.69    126.36      8.02   1000000         0
1029.95/1030.34	c       807       968   1049.37    145.74      7.20   1000000         0
1031.85/1032.20	c       802      1003   1046.81    139.04      7.53   1000000         0
1033.66/1034.06	c       772       894   1022.42    114.28      8.95   1000000         0
1035.55/1035.92	c       778       924   1023.36    122.37      8.36   1000000         0
1037.35/1037.77	c       709      1190   1036.19    131.62      7.87   1000000         0
1039.25/1039.63	c       771       926   1040.23    116.84      8.90   1000000         0
1041.05/1041.48	c       804      1010   1036.40    108.03      9.59   1000000         0
1042.95/1043.35	c       762       877   1049.04    103.36     10.15   1000000         0
1044.85/1045.20	c       809       966   1042.02    145.35      7.17   1000000         0
1046.64/1047.06	c       799      1060   1047.04    155.80      6.72   1000000         0
1048.54/1048.91	c       780      1032   1019.77    136.02      7.50   1000000         0
1050.34/1050.77	c       755       976   1032.84    138.72      7.45   1000000         0
1052.25/1052.62	c       773      1024   1008.79    121.53      8.30   1000000         0
1054.04/1054.47	c       780      1037   1027.52    112.91      9.10   1000000         0
1055.94/1056.32	c       795       986   1032.64    122.11      8.46   1000000         0
1057.75/1058.18	c       811       955   1043.28    121.57      8.58   1000000         0
1059.64/1060.05	c       778      1069   1056.52    144.47      7.31   1000000         0
1061.54/1061.91	c       764       976   1039.79     95.54     10.88   1000000         0
1063.35/1063.77	c       791      1035   1046.06    118.49      8.83   1000000         0
1065.24/1065.63	c       794      1013   1037.72    131.84      7.87   1000000         0
1067.04/1067.48	c       749       974   1025.21    131.65      7.79   1000000         0
1068.94/1069.34	c       767      1021   1051.24    141.51      7.43   1000000         0
1070.84/1071.20	c       752      1116   1032.15    146.01      7.07   1000000         0
1072.64/1073.05	c       783      1007   1025.21    132.66      7.73   1000000         0
1074.54/1074.91	c       736      1026   1043.07    128.72      8.10   1000000         0
1076.34/1076.78	c       828      1040   1058.65    141.55      7.48   1000000         0
1078.24/1078.63	c       769       987   1032.07    111.95      9.22   1000000         0
1080.03/1080.48	c       765       981   1021.64    122.20      8.36   1000000         0
1081.94/1082.35	c       817      1120   1047.93    118.93      8.81   1000000         0
1083.83/1084.22	c       810      1025   1059.25    131.50      8.05   1000000         0
1085.63/1086.09	c       757       917   1049.17    130.41      8.04   1000000         0
1087.54/1087.94	c       768      1077   1029.75    140.09      7.35   1000000         0
1089.43/1089.81	c       731      1027   1048.73    159.50      6.58   1000000         0
1091.23/1091.66	c       745      1020   1017.95    122.83      8.29   1000000         0
1093.13/1093.53	c       778      1150   1040.81    146.12      7.12   1000000         0
1094.93/1095.37	c       788      1172   1020.41    115.44      8.84   1000000         0
1096.83/1097.24	c       764      1074   1041.48    135.00      7.71   1000000         0
1098.63/1099.09	c       805      1137   1024.25    130.85      7.83   1000000         0
1100.53/1100.94	c       756       928   1019.65    109.35      9.32   1000000         0
1102.33/1102.78	c       701       873   1010.44    156.42      6.46   1000000         0
1104.23/1104.65	c       770       992   1052.52    148.41      7.09   1000000         0
1106.02/1106.50	c       780       907   1026.41    119.05      8.62   1000000         0
1107.92/1108.36	c       836      1016   1038.78    117.12      8.87   1000000         0
1109.82/1110.21	c       790       993   1018.98    110.03      9.26   1000000         0
1111.63/1112.07	c       752      1016   1042.04    132.00      7.89   1000000         0
1113.52/1113.93	c       753       974   1028.96    141.42      7.28   1000000         0
1115.32/1115.78	c       783       954   1016.49    126.45      8.04   1000000         0
1117.23/1117.63	c       808       985   1022.79    118.21      8.65   1000000         0
1119.02/1119.49	c       762       973   1036.27    114.08      9.08   1000000         0
1120.92/1121.34	c       751       946   1020.00    126.71      8.05   1000000         0
1122.73/1123.19	c       784      1022   1037.75    121.69      8.53   1000000         0
1124.62/1125.06	c       782      1075   1051.19    121.15      8.68   1000000         0
1126.52/1126.91	c       804       962   1032.87    118.74      8.70   1000000         0
1128.32/1128.77	c       838      1100   1047.24    115.55      9.06   1000000         0
1130.22/1130.62	c       753      1075   1022.24    115.94      8.82   1000000         0
1132.02/1132.47	c       778      1150   1019.55    100.87     10.11   1000000         0
1133.92/1134.34	c       785       915   1051.73    121.72      8.64   1000000         0
1135.72/1136.19	c       785      1156   1031.18    121.16      8.51   1000000         0
1137.61/1138.05	c       802       990   1036.28    108.69      9.53   1000000         0
1139.51/1139.90	c       823      1035   1041.49    117.17      8.89   1000000         0
1141.32/1141.76	c       793      1075   1030.75    106.26      9.70   1000000         0
1143.21/1143.62	c       714      1035   1036.47    120.89      8.57   1000000         0
1145.01/1145.47	c       819       949   1018.50     92.19     11.05   1000000         0
1146.92/1147.32	c       747       974   1035.78    137.97      7.51   1000000         0
1148.71/1149.18	c       796      1013   1041.94    113.59      9.17   1000000         0
1150.61/1151.05	c       802       979   1046.66    142.96      7.32   1000000         0
1152.51/1152.92	c       797       943   1053.43    120.53      8.74   1000000         0
1154.31/1154.77	c       800      1016   1030.62    106.20      9.70   1000000         0
1156.21/1156.63	c       802       837   1026.59    113.29      9.06   1000000         0
1158.01/1158.49	c       753      1140   1045.77    127.17      8.22   1000000         0
1159.91/1160.35	c       750      1082   1022.51    115.58      8.85   1000000         0
1161.81/1162.21	c       795       955   1050.00    124.91      8.41   1000000         0
1163.60/1164.08	c       811      1080   1070.10    138.33      7.74   1000000         0
1165.51/1165.93	c       759      1083   1023.02    149.62      6.84   1000000         0
1167.30/1167.79	c       792      1031   1032.54    133.21      7.75   1000000         0
1169.20/1169.65	c       790      1098   1052.72    120.89      8.71   1000000         0
1171.11/1171.53	c       823      1060   1069.19    137.80      7.76   1000000         0
1173.00/1173.41	c       794      1089   1083.10    130.34      8.31   1000000         0
1174.80/1175.27	c       779      1000   1042.65    147.56      7.07   1000000         0
1176.70/1177.12	c       781       893   1030.66    114.15      9.03   1000000         0
1178.50/1178.98	c       781       997   1034.45    121.89      8.49   1000000         0
1180.40/1180.83	c       765      1077   1023.95    129.67      7.90   1000000         0
1182.20/1182.67	c       771      1100    996.44    115.08      8.66   1000000         0
1184.10/1184.52	c       686      1030   1016.22    153.09      6.64   1000000         0
1185.90/1186.37	c       759       901   1020.99    126.74      8.06   1000000         0
1187.80/1188.23	c       752      1139   1029.28    123.78      8.32   1000000         0
1189.60/1190.08	c       780       971   1034.46    115.39      8.96   1000000         0
1191.50/1191.94	c       803       975   1051.86    125.23      8.40   1000000         0
1193.39/1193.80	c       753       946   1030.68    149.68      6.89   1000000         0
1195.20/1195.65	c       815      1026   1040.31    112.40      9.26   1000000         0
1197.09/1197.52	c       813      1111   1036.15    144.56      7.17   1000000         0
1198.89/1199.37	c       759      1052   1027.37    137.07      7.50   1000000         0
1200.80/1201.23	c       763      1145   1028.47    120.22      8.56   1000000         0
1202.59/1203.08	c       746       901   1012.10    129.94      7.79   1000000         0
1204.49/1204.94	c       716       937   1041.61    132.77      7.85   1000000         0
1206.39/1206.80	c       796      1136   1054.25    140.09      7.53   1000000         0
1208.19/1208.66	c       759       905   1037.74    149.44      6.94   1000000         0
1210.09/1210.52	c       751      1073   1035.91    140.07      7.40   1000000         0
1211.89/1212.38	c       759      1003   1024.61    139.56      7.34   1000000         0
1213.79/1214.23	c       728       990   1025.41    123.18      8.32   1000000         0
1215.59/1216.08	c       770      1194   1035.55    123.20      8.41   1000000         0
1217.49/1217.94	c       819      1035   1050.57    134.96      7.78   1000000         0
1219.29/1219.79	c       698       965   1019.67    141.05      7.23   1000000         0
1221.19/1221.65	c       803       884   1026.99    121.83      8.43   1000000         0
1223.09/1223.51	c       733      1125   1027.66    116.97      8.79   1000000         0
1224.89/1225.36	c       768       990   1025.58    148.49      6.91   1000000         0
1226.78/1227.23	c       811       869   1050.85    149.55      7.03   1000000         0
1228.58/1229.09	c       810       969   1031.19    123.26      8.37   1000000         0
1230.49/1230.94	c       781       963   1027.14    115.38      8.90   1000000         0
1232.28/1232.78	c       773       906   1018.97    136.96      7.44   1000000         0
1234.18/1234.65	c       800      1220   1029.27    123.35      8.34   1000000         0
1236.08/1236.50	c       791      1014   1027.76    138.92      7.40   1000000         0
1237.88/1238.36	c       804       943   1025.35    129.83      7.90   1000000         0
1239.78/1240.22	c       793       971   1050.45    127.39      8.25   1000000         0
1241.58/1242.07	c       765      1039   1028.03    140.02      7.34   1000000         0
1243.48/1243.93	c       743       880   1040.77    116.11      8.96   1000000         0
1245.28/1245.79	c       725       998   1022.33    134.38      7.61   1000000         0
1247.18/1247.65	c       809      1077   1043.79    118.41      8.82   1000000         0
1248.98/1249.49	c       786      1049   1012.56    138.14      7.33   1000000         0
1250.88/1251.37	c       830      1112   1073.07    142.89      7.51   1000000         0
1252.78/1253.22	c       796      1037   1036.84    109.40      9.48   1000000         0
1254.58/1255.08	c       750      1085   1035.69    131.21      7.89   1000000         0
1256.47/1256.94	c       765      1035   1034.64    124.39      8.32   1000000         0
1258.27/1258.79	c       777      1092   1037.76    141.36      7.34   1000000         0
1260.18/1260.66	c       805       998   1050.11    139.74      7.51   1000000         0
1262.07/1262.51	c       729       950   1028.11    119.43      8.61   1000000         0
1263.87/1264.37	c       801       959   1027.60    105.72      9.72   1000000         0
1265.77/1266.22	c       759      1104   1033.25    134.96      7.66   1000000         0
1267.57/1268.07	c       759       952   1017.99    122.91      8.28   1000000         0
1269.47/1269.92	c       807      1027   1023.91    110.27      9.29   1000000         0
1271.27/1271.77	c       781       812   1025.97    119.63      8.58   1000000         0
1273.17/1273.62	c       814      1043   1027.86    133.90      7.68   1000000         0
1274.97/1275.46	c       749      1060    997.68    137.19      7.27   1000000         0
1276.87/1277.32	c       823      1058   1043.32    125.61      8.31   1000000         0
1278.67/1279.18	c       764       987   1031.89    129.89      7.94   1000000         0
1280.57/1281.04	c       804      1053   1044.81    129.60      8.06   1000000         0
1282.47/1282.90	c       753      1117   1036.33    127.06      8.16   1000000         0
1284.27/1284.75	c       780      1062   1022.34    116.04      8.81   1000000         0
1286.16/1286.61	c       745      1048   1045.60    117.78      8.88   1000000         0
1287.96/1288.46	c       729      1035   1000.96    155.95      6.42   1000000         0
1289.87/1290.31	c       779      1004   1028.02    110.16      9.33   1000000         0
1291.66/1292.17	c       753      1015   1037.58    116.62      8.90   1000000         0
1293.56/1294.03	c       772       978   1036.28    125.03      8.29   1000000         0
1295.37/1295.88	c       783       969   1031.21    129.33      7.97   1000000         0
1297.26/1297.73	c       764       851   1041.30    134.67      7.73   1000000         0
1299.06/1299.58	c       770      1169   1013.28    130.61      7.76   1000000         0
1300.96/1301.44	c       808      1069   1027.80    115.27      8.92   1000000         0
1302.76/1303.29	c       709      1022   1025.79    122.70      8.36   1000000         0
1304.66/1305.16	c       821      1030   1042.73    129.42      8.06   1000000         0
1306.56/1307.02	c       801      1111   1062.30    138.62      7.66   1000000         0
1308.36/1308.88	c       770       993   1035.82    149.61      6.92   1000000         0
1310.26/1310.74	c       742      1041   1038.75    137.44      7.56   1000000         0
1312.06/1312.59	c       752       969   1028.05    121.63      8.45   1000000         0
1313.96/1314.45	c       770      1092   1028.21    150.44      6.83   1000000         0
1315.85/1316.30	c       795      1020   1043.17    129.18      8.08   1000000         0
1317.65/1318.16	c       811       976   1036.60    125.69      8.25   1000000         0
1319.56/1320.01	c       731       965   1022.80    136.41      7.50   1000000         0
1321.35/1321.87	c       784      1091   1044.22    117.96      8.85   1000000         0
1323.25/1323.73	c       747      1083   1035.87    132.26      7.83   1000000         0
1325.06/1325.58	c       770      1039   1025.63    129.47      7.92   1000000         0
1326.95/1327.44	c       770      1134   1033.68    145.71      7.09   1000000         0
1328.85/1329.30	c       810      1026   1046.11    119.03      8.79   1000000         0
1330.66/1331.16	c       773       967   1047.86    130.92      8.00   1000000         0
1332.56/1333.02	c       784      1207   1051.46    122.86      8.56   1000000         0
1334.36/1334.88	c       796      1112   1032.06    135.85      7.60   1000000         0
1336.26/1336.74	c       835      1168   1061.75    106.10     10.01   1000000         0
1338.06/1338.59	c       793       947   1030.62    109.71      9.39   1000000         0
1339.96/1340.45	c       711       904   1018.26    116.63      8.73   1000000         0
1341.86/1342.30	c       786       920   1025.76    122.75      8.36   1000000         0
1343.66/1344.16	c       766       922   1037.78    126.45      8.21   1000000         0
1345.55/1346.02	c       817      1077   1045.32    116.85      8.95   1000000         0
1347.35/1347.88	c       746       959   1039.30    117.61      8.84   1000000         0
1349.26/1349.74	c       745       959   1016.26    127.46      7.97   1000000         0
1351.15/1351.60	c       778      1034   1040.25    137.90      7.54   1000000         0
1352.95/1353.46	c       804       947   1033.02    117.35      8.80   1000000         0
1354.85/1355.32	c       769      1062   1041.00    129.44      8.04   1000000         0
1356.65/1357.18	c       805       957   1044.31    116.60      8.96   1000000         0
1358.55/1359.03	c       795      1032   1037.91    136.62      7.60   1000000         0
1360.35/1360.88	c       773       967   1024.17    139.09      7.36   1000000         0
1362.25/1362.74	c       730       799   1017.55    122.88      8.28   1000000         0
1364.15/1364.60	c       730       999   1028.62    134.59      7.64   1000000         0
1365.95/1366.45	c       803      1039   1029.99    141.84      7.26   1000000         0
1367.85/1368.30	c       772       964   1030.52    130.85      7.88   1000000         0
1369.65/1370.16	c       762      1106   1032.99    160.01      6.46   1000000         0
1371.55/1372.02	c       803       976   1052.01    143.30      7.34   1000000         0
1373.35/1373.87	c       748      1032   1021.21    122.00      8.37   1000000         0
1375.25/1375.73	c       802       906   1049.51    128.38      8.17   1000000         0
1377.04/1377.59	c       726       904   1035.01    154.69      6.69   1000000         0
1378.95/1379.45	c       786      1075   1038.56    126.57      8.21   1000000         0
1380.84/1381.31	c       746       919   1039.08    119.21      8.72   1000000         0
1382.64/1383.17	c       739      1078   1043.47    125.50      8.31   1000000         0
1384.54/1385.02	c       779      1020   1031.47    120.19      8.58   1000000         0
1386.34/1386.87	c       767       875   1026.19    140.19      7.32   1000000         0
1388.24/1388.72	c       770      1007   1022.49     95.26     10.73   1000000         0
1390.04/1390.59	c       805      1071   1061.86    142.16      7.47   1000000         0
1391.94/1392.44	c       752       965   1020.60    115.92      8.80   1000000         0
1393.74/1394.29	c       789      1109   1028.04    136.52      7.53   1000000         0
1395.64/1396.14	c       770      1049   1026.95    141.46      7.26   1000000         0
1397.54/1398.01	c       688      1061   1039.57    159.74      6.51   1000000         0
1399.34/1399.87	c       807      1037   1038.41    183.30      5.66   1000000         0
1401.23/1401.72	c       753       967   1017.67    138.45      7.35   1000000         0
1403.04/1403.59	c       820      1115   1045.56    123.03      8.50   1000000         0
1404.94/1405.44	c       740      1038   1024.99    122.16      8.39   1000000         0
1406.73/1407.29	c       747      1039   1033.00    145.01      7.12   1000000         0
1408.64/1409.15	c       779      1117   1023.35    131.77      7.77   1000000         0
1410.53/1411.00	c       744      1069   1013.11    123.04      8.23   1000000         0
1412.33/1412.85	c       778       987   1023.08    132.22      7.74   1000000         0
1414.23/1414.71	c       744       903   1049.47    144.34      7.27   1000000         0
1416.03/1416.56	c       777       847   1026.52    138.60      7.41   1000000         0
1417.93/1418.42	c       803      1103   1030.14    128.79      8.00   1000000         0
1419.73/1420.28	c       824      1087   1044.02    130.83      7.98   1000000         0
1421.63/1422.13	c       760      1028   1033.27    164.47      6.28   1000000         0
1423.43/1423.99	c       785      1066   1032.21    110.17      9.37   1000000         0
1425.33/1425.84	c       787       962   1033.77    133.66      7.73   1000000         0
1427.23/1427.70	c       771       941   1037.28    147.57      7.03   1000000         0
1429.03/1429.57	c       786      1085   1050.03    142.98      7.34   1000000         0
1430.93/1431.42	c       791       965   1024.09    119.16      8.59   1000000         0
1432.73/1433.27	c       802      1057   1039.03    113.91      9.12   1000000         0
1434.62/1435.12	c       770      1047   1027.68    132.35      7.76   1000000         0
1436.42/1436.98	c       775      1106   1035.03    119.34      8.67   1000000         0
1438.33/1438.84	c       787      1128   1049.45    136.54      7.69   1000000         0
1440.22/1440.70	c       783       994   1035.84    114.54      9.04   1000000         0
1442.02/1442.55	c       738       903   1016.69    122.49      8.30   1000000         0
1443.92/1444.40	c       773       897   1025.00    126.13      8.13   1000000         0
1445.72/1446.25	c       738      1081   1015.91    133.59      7.60   1000000         0
1447.62/1448.11	c       788      1019   1034.62    141.40      7.32   1000000         0
1449.42/1449.97	c       745      1104   1030.22    136.09      7.57   1000000         0
1451.32/1451.83	c       746      1059   1035.18    112.55      9.20   1000000         0
1453.12/1453.67	c       714      1064   1012.19    125.46      8.07   1000000         0
1455.02/1455.53	c       817      1065   1043.75    137.69      7.58   1000000         0
1456.82/1457.39	c       770       980   1035.75    116.31      8.90   1000000         0
1458.72/1459.25	c       796      1097   1041.05    132.05      7.88   1000000         0
1460.62/1461.10	c       739       841   1025.89    154.84      6.63   1000000         0
1462.42/1462.96	c       762       915   1038.14    150.95      6.88   1000000         0
1464.31/1464.82	c       775       888   1032.20    133.52      7.73   1000000         0
1466.11/1466.66	c       780      1038   1015.93    120.73      8.41   1000000         0
1468.02/1468.52	c       761      1145   1031.48    156.25      6.60   1000000         0
1469.81/1470.37	c       783      1028   1025.83    151.86      6.76   1000000         0
1471.71/1472.24	c       784       893   1034.99    155.80      6.64   1000000         0
1473.61/1474.11	c       785       969   1059.79    145.28      7.29   1000000         0
1475.41/1475.96	c       747       866   1035.90    142.04      7.29   1000000         0
1477.31/1477.82	c       793       987   1035.07    129.91      7.97   1000000         0
1479.11/1479.68	c       765       921   1032.69    111.59      9.25   1000000         0
1481.01/1481.53	c       783       995   1046.19    126.50      8.27   1000000         0
1482.91/1483.40	c       745      1034   1047.50    122.19      8.57   1000000         0
1484.71/1485.26	c       775       996   1051.36    118.72      8.86   1000000         0
1486.61/1487.12	c       806       985   1047.73    121.08      8.65   1000000         0
1488.41/1488.98	c       719      1131   1045.84    120.06      8.71   1000000         0
1490.31/1490.83	c       806      1039   1040.59    109.58      9.50   1000000         0
1492.11/1492.70	c       779      1044   1044.29    127.70      8.18   1000000         0
1494.00/1494.55	c       788       944   1026.06    117.66      8.72   1000000         0
1495.90/1496.43	c       789       995   1078.57    128.94      8.36   1000000         0
1497.80/1498.30	c       822      1135   1051.55    128.67      8.17   1000000         0
1499.60/1500.15	c       757      1177   1044.22    119.32      8.75   1000000         0
1501.50/1502.00	c       728      1164   1028.56    128.01      8.04   1000000         0
1503.30/1503.87	c       774      1058   1035.37    117.21      8.83   1000000         0
1505.20/1505.72	c       802      1035   1028.25    129.39      7.95   1000000         0
1507.00/1507.58	c       782      1110   1038.87    115.27      9.01   1000000         0
1508.90/1509.43	c       758      1041   1031.88    130.36      7.92   1000000         0
1510.70/1511.27	c       720       997   1011.68    127.23      7.95   1000000         0
1512.60/1513.13	c       793       959   1025.47    141.04      7.27   1000000         0
1514.40/1514.98	c       752      1036   1026.13    125.52      8.18   1000000         0
1516.30/1516.85	c       761      1011   1061.50    121.25      8.75   1000000         0
1518.20/1518.71	c       714      1124   1028.16    143.61      7.16   1000000         0
1520.00/1520.56	c       787      1038   1024.42    122.47      8.36   1000000         0
1521.90/1522.42	c       739       832   1039.49    135.68      7.66   1000000         0
1523.69/1524.27	c       665      1088   1015.75    136.88      7.42   1000000         0
1525.59/1526.12	c       786      1101   1029.60    124.44      8.27   1000000         0
1527.40/1527.97	c       729      1056   1022.85    134.78      7.59   1000000         0
1529.29/1529.83	c       736       939   1030.67    138.74      7.43   1000000         0
1531.09/1531.68	c       806      1073   1026.09    133.84      7.67   1000000         0
1532.99/1533.53	c       774      1016   1033.15    109.52      9.43   1000000         0
1534.79/1535.39	c       758      1078   1026.64    151.08      6.80   1000000         0
1536.69/1537.24	c       799      1023   1036.21    128.07      8.09   1000000         0
1538.59/1539.10	c       756       951   1037.83    141.23      7.35   1000000         0
1540.39/1540.95	c       752      1010   1012.58    126.35      8.01   1000000         0
1542.29/1542.80	c       804      1111   1034.64     99.79     10.37   1000000         0
1544.09/1544.66	c       807       979   1031.30    123.27      8.37   1000000         0
1545.99/1546.51	c       714      1048   1008.41    123.80      8.15   1000000         0
1547.79/1548.36	c       766      1099   1022.38    105.17      9.72   1000000         0
1549.69/1550.23	c       799       961   1065.32    173.43      6.14   1000000         0
1551.49/1552.08	c       786      1065   1020.45    124.95      8.17   1000000         0
1553.39/1553.94	c       820      1066   1047.32    160.17      6.54   1000000         0
1555.18/1555.79	c       760      1073   1036.22    117.11      8.85   1000000         0
1557.09/1557.65	c       799       881   1022.23    122.47      8.35   1000000         0
1558.98/1559.50	c       759      1022   1047.12    146.06      7.17   1000000         0
1560.78/1561.36	c       755      1107   1037.17    124.63      8.32   1000000         0
1562.68/1563.22	c       766       984   1041.31    135.93      7.66   1000000         0
1564.48/1565.08	c       779      1099   1042.51    147.64      7.06   1000000         0
1566.38/1566.94	c       792       868   1032.23    125.73      8.21   1000000         0
1568.28/1568.80	c       773      1037   1060.89    125.39      8.46   1000000         0
1570.08/1570.64	c       745       966   1006.66    118.98      8.46   1000000         0
1571.98/1572.51	c       804      1097   1064.07    132.44      8.03   1000000         0
1573.78/1574.37	c       795       935   1022.62    103.41      9.89   1000000         0
1575.68/1576.23	c       776       956   1028.14    120.38      8.54   1000000         0
1577.48/1578.08	c       754      1079   1012.67    109.46      9.25   1000000         0
1579.38/1579.93	c       719      1092   1012.98    127.48      7.95   1000000         0
1581.18/1581.78	c       737       923   1037.00    113.92      9.10   1000000         0
1583.08/1583.64	c       787      1137   1020.35    126.96      8.04   1000000         0
1584.97/1585.50	c       804       948   1029.14    122.71      8.39   1000000         0
1586.78/1587.35	c       775       956   1035.25     98.45     10.52   1000000         0
1588.67/1589.20	c       763      1136   1026.77    111.43      9.21   1000000         0
1590.47/1591.07	c       781      1011   1046.48    126.92      8.25   1000000         0
1592.37/1592.93	c       824       985   1054.93    127.10      8.30   1000000         0
1594.17/1594.79	c       774      1013   1033.42    125.74      8.22   1000000         0
1596.07/1596.64	c       766       885   1027.05    130.56      7.87   1000000         0
1597.97/1598.50	c       778       926   1037.78    132.05      7.86   1000000         0
1599.77/1600.37	c       808      1065   1056.96    117.99      8.96   1000000         0
1601.67/1602.23	c       786       975   1032.90    127.45      8.10   1000000         0
1603.47/1604.08	c       812      1054   1037.86    120.85      8.59   1000000         0
1605.37/1605.95	c       797       949   1051.07    149.32      7.04   1000000         0
1607.27/1607.80	c       730      1021   1031.73    141.74      7.28   1000000         0
1609.07/1609.65	c       785      1043   1021.92    129.69      7.88   1000000         0
1610.87/1611.50	c       757      1008   1012.17    105.71      9.57   1000000         0
1612.77/1613.36	c       734      1025   1027.37    130.29      7.89   1000000         0
1614.66/1615.21	c       767      1159   1024.95    134.47      7.62   1000000         0
1616.47/1617.08	c       779      1070   1058.79    134.80      7.85   1000000         0
1618.36/1618.93	c       798       998   1050.27    128.76      8.16   1000000         0
1620.16/1620.78	c       740      1024   1029.71    128.77      8.00   1000000         0
1622.06/1622.63	c       796      1031   1025.54    120.63      8.50   1000000         0
1623.96/1624.50	c       765      1111   1051.63    139.91      7.52   1000000         0
1625.76/1626.35	c       796      1050   1032.41    105.75      9.76   1000000         0
1627.66/1628.20	c       773      1017   1023.46     80.33     12.74   1000000         0
1629.46/1630.06	c       792      1010   1032.70    112.64      9.17   1000000         0
1631.36/1631.91	c       756      1167   1034.02    125.72      8.22   1000000         0
1633.16/1633.77	c       770       998   1031.52    134.74      7.66   1000000         0
1635.06/1635.62	c       778      1045   1010.92    111.96      9.03   1000000         0
1636.86/1637.47	c       785       927   1024.90    135.00      7.59   1000000         0
1638.76/1639.31	c       768       986   1003.52    118.77      8.45   1000000         0
1640.56/1641.16	c       776       894   1026.84    109.21      9.40   1000000         0
1642.46/1643.02	c       777       977   1015.60    132.57      7.66   1000000         0
1644.25/1644.87	c       768      1085   1025.60    101.76     10.08   1000000         0
1646.16/1646.72	c       786       977   1005.29    115.13      8.73   1000000         0
1647.95/1648.59	c       752       976   1061.55    162.19      6.55   1000000         0
1649.85/1650.44	c       745      1064   1031.53    148.35      6.95   1000000         0
1651.75/1652.30	c       764       940   1048.16    117.20      8.94   1000000         0
1653.55/1654.16	c       800       938   1022.87    144.01      7.10   1000000         0
1655.45/1656.03	c       767      1090   1048.46    129.49      8.10   1000000         0
1657.25/1657.88	c       725       964   1011.30    145.23      6.96   1000000         0
1659.15/1659.73	c       760       902   1021.45    134.03      7.62   1000000         0
1660.95/1661.59	c       781      1013   1035.39    110.60      9.36   1000000         0
1662.85/1663.46	c       756      1074   1062.67    133.26      7.97   1000000         0
1664.75/1665.32	c       802       998   1042.96    163.31      6.39   1000000         0
1666.55/1667.17	c       802       923   1022.93    127.16      8.04   1000000         0
1668.45/1669.03	c       798      1018   1034.57    143.66      7.20   1000000         0
1670.25/1670.88	c       720      1065   1021.09    117.81      8.67   1000000         0
1672.14/1672.74	c       795      1034   1042.00    129.78      8.03   1000000         0
1673.94/1674.59	c       746       987   1021.49    122.90      8.31   1000000         0
1675.85/1676.45	c       776       951   1024.33    134.21      7.63   1000000         0
1677.64/1678.30	c       768      1062   1008.17    124.97      8.07   1000000         0
1679.54/1680.15	c       786       837   1030.91    126.65      8.14   1000000         0
1681.44/1682.00	c       729      1077   1030.35    130.37      7.90   1000000         0
1683.24/1683.87	c       779       947   1035.25    117.50      8.81   1000000         0
1685.14/1685.71	c       737      1052   1001.92    121.54      8.24   1000000         0
1686.94/1687.55	c       751      1056   1013.68    144.50      7.02   1000000         0
1688.84/1689.41	c       812      1059   1032.78    120.53      8.57   1000000         0
1690.64/1691.26	c       764       904   1014.28    155.28      6.53   1000000         0
1692.54/1693.11	c       754      1072   1033.68    128.37      8.05   1000000         0
1694.34/1694.98	c       781       993   1051.19    130.83      8.04   1000000         0
1696.23/1696.84	c       810      1092   1044.90    149.00      7.01   1000000         0
1698.03/1698.69	c       752      1033   1024.84    112.45      9.11   1000000         0
1699.94/1700.55	c       749      1035   1028.44    144.10      7.14   1000000         0
1701.83/1702.40	c       780      1049   1028.86    123.56      8.33   1000000         0
1703.63/1704.26	c       797       983   1032.67    142.23      7.26   1000000         0
1705.54/1706.12	c       785      1152   1041.38    117.73      8.85   1000000         0
1707.33/1707.98	c       762      1091   1034.66    140.61      7.36   1000000         0
1709.23/1709.83	c       785       997   1032.11    125.59      8.22   1000000         0
1711.04/1711.68	c       768      1017   1029.30    123.67      8.32   1000000         0
1712.93/1713.56	c       792      1122   1052.34    129.56      8.12   1000000         0
1714.83/1715.40	c       782       948   1026.51    125.15      8.20   1000000         0
1716.63/1717.24	c       711      1064    997.22    110.37      9.04   1000000         0
1718.53/1719.10	c       762      1061   1054.59    132.69      7.95   1000000         0
1720.33/1720.95	c       734      1037   1007.54    116.61      8.64   1000000         0
1722.23/1722.80	c       777      1022   1035.55    123.77      8.37   1000000         0
1724.03/1724.66	c       775      1195   1049.49    111.18      9.44   1000000         0
1725.93/1726.52	c       809      1178   1057.36    106.90      9.89   1000000         0
1727.72/1728.37	c       838      1068   1030.38    109.73      9.39   1000000         0
1729.63/1730.24	c       783      1032   1062.56    116.47      9.12   1000000         0
1731.42/1732.09	c       730       862   1026.99    137.77      7.45   1000000         0
1733.32/1733.93	c       759      1048    995.90    107.96      9.22   1000000         0
1735.13/1735.78	c       746       907   1023.81    131.44      7.79   1000000         0
1737.02/1737.64	c       795       928   1021.45    118.05      8.65   1000000         0
1738.82/1739.49	c       795      1041   1031.54    121.34      8.50   1000000         0
1740.73/1741.34	c       758      1011   1022.50    119.13      8.58   1000000         0
1742.52/1743.19	c       755       975   1017.82    118.44      8.59   1000000         0
1744.42/1745.04	c       806      1108   1025.82    126.44      8.11   1000000         0
1746.32/1746.91	c       798      1004   1046.16    134.36      7.79   1000000         0
1748.12/1748.76	c       682       874   1022.57    134.35      7.61   1000000         0
1750.02/1750.62	c       783       938   1040.73    139.97      7.44   1000000         0
1751.81/1752.48	c       788       993   1035.08    130.77      7.92   1000000         0
1753.71/1754.34	c       802       925   1041.10    125.01      8.33   1000000         0
1755.61/1756.20	c       813      1004   1049.17    114.25      9.18   1000000         0
1757.41/1758.05	c       770      1035   1030.73    119.38      8.63   1000000         0
1759.32/1759.91	c       786       995   1019.93    102.36      9.96   1000000         0
1761.11/1761.77	c       756       972   1038.36    137.60      7.55   1000000         0
1763.01/1763.63	c       778      1123   1046.47    154.81      6.76   1000000         0
1764.82/1765.49	c       811       995   1038.24    120.50      8.62   1000000         0
1766.71/1767.34	c       733      1028   1019.55    121.76      8.37   1000000         0
1768.61/1769.20	c       792      1037   1049.31    126.35      8.30   1000000         0
1770.42/1771.05	c       779      1025   1045.90    127.26      8.22   1000000         0
1772.31/1772.90	c       776      1076   1038.60    131.29      7.91   1000000         0
1774.11/1774.76	c       774      1019   1025.13    112.14      9.14   1000000         0
1776.01/1776.61	c       828       983   1038.14    143.53      7.23   1000000         0
1777.81/1778.47	c       737       994   1038.70    141.16      7.36   1000000         0
1779.71/1780.32	c       789      1054   1016.95    136.16      7.47   1000000         0
1781.51/1782.18	c       804      1071   1038.63    138.56      7.50   1000000         0
1783.40/1784.04	c       816      1020   1037.77    141.16      7.35   1000000         0
1785.30/1785.90	c       832       969   1065.54    116.01      9.18   1000000         0
1787.10/1787.76	c       798       944   1031.55    129.12      7.99   1000000         0
1789.01/1789.61	c       753       975   1023.15    152.36      6.72   1000000         0
1790.80/1791.46	c       730       874   1003.75    143.36      7.00   1000000         0
1792.70/1793.32	c       804      1029   1041.56    140.59      7.41   1000000         0
1794.51/1795.17	c       809       955   1032.85    143.10      7.22   1000000         0
1796.40/1797.02	c       830      1108   1034.19    110.83      9.33   1000000         0
1798.20/1798.88	c       827       958   1048.58    137.33      7.64   1000000         0
1800.01/1800.61	HOME/run: line 2: 20050 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-2684734-1278433154/watcher-2684734-1278433154 -o /tmp/evaluation-result-2684734-1278433154/solver-2684734-1278433154 -C 1800 -W 2000 -M 1800 run HOME/instance-2684734-1278433154.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.06 0.88 0.47 3/106 20049
/proc/meminfo: memFree=1412804/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0

[startup+0.0114191 s]
/proc/loadavg: 1.06 0.88 0.47 3/106 20049
/proc/meminfo: memFree=1412804/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100433 s]
/proc/loadavg: 1.06 0.88 0.47 3/106 20049
/proc/meminfo: memFree=1412804/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300466 s]
/proc/loadavg: 1.06 0.88 0.47 3/106 20049
/proc/meminfo: memFree=1412804/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700534 s]
/proc/loadavg: 1.06 0.88 0.47 3/106 20049
/proc/meminfo: memFree=1412804/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50067 s]
/proc/loadavg: 1.06 0.88 0.47 2/108 20051
/proc/meminfo: memFree=1405844/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1.48
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1778 0 0 0 148 0 0 0 21 0 1 0 11527257 41422848 1708 1992294400 134512640 135071400 4286839840 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1708 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10094 s]
/proc/loadavg: 1.06 0.88 0.47 2/108 20051
/proc/meminfo: memFree=1405596/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=3.08
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 308 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30148 s]
/proc/loadavg: 1.06 0.88 0.47 2/108 20051
/proc/meminfo: memFree=1405348/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=6.28
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 628 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7016 s]
/proc/loadavg: 1.05 0.88 0.47 2/108 20052
/proc/meminfo: memFree=1405224/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=12.68
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 1268 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.04 0.88 0.48 2/108 20052
/proc/meminfo: memFree=1405100/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=25.48
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 2548 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1011 s]
/proc/loadavg: 1.03 0.89 0.49 2/108 20053
/proc/meminfo: memFree=1405100/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=51.07
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 5107 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.01 0.91 0.52 2/108 20054
/proc/meminfo: memFree=1404976/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=102.26
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 10226 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 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 0.92 0.55 2/108 20056
/proc/meminfo: memFree=1404976/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=162.23
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 16223 0 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 0.93 0.57 2/108 20057
/proc/meminfo: memFree=1404852/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=222.22
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 22221 1 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 0.94 0.59 2/108 20059
/proc/meminfo: memFree=1404852/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=282.2
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 28219 1 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 0.95 0.62 2/108 20061
/proc/meminfo: memFree=1404852/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=342.18
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 34217 1 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 0.95 0.64 2/108 20062
/proc/meminfo: memFree=1404728/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=402.16
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1786 0 0 0 40215 1 0 0 25 0 1 0 11527257 41422848 1716 1992294400 134512640 135071400 4286839840 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1716 69 137 0 9974 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1061.94
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 106193 1 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.81 2/108 20081
/proc/meminfo: memFree=1403736/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1121.92
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 112191 1 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.82 2/108 20083
/proc/meminfo: memFree=1403488/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1181.9
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 118189 1 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.83 2/108 20085
/proc/meminfo: memFree=1403240/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1241.88
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 124187 1 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134527039 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.83 2/108 20086
/proc/meminfo: memFree=1403116/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1301.87
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 130186 1 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/108 20088
/proc/meminfo: memFree=1403116/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1361.85
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 136183 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.07 1.00 0.85 2/108 20089
/proc/meminfo: memFree=1402992/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1421.84
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 142182 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.02 1.00 0.86 2/108 20091
/proc/meminfo: memFree=1402992/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1481.81
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 148179 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 0.86 2/108 20093
/proc/meminfo: memFree=1402868/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1541.79
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 154177 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/108 20094
/proc/meminfo: memFree=1402620/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1601.77
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 160175 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/108 20096
/proc/meminfo: memFree=1402496/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1661.75
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 166173 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/108 20097
/proc/meminfo: memFree=1402496/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1721.73
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 172171 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/108 20099
/proc/meminfo: memFree=1402248/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1781.71
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 178169 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.89 2/108 20099
/proc/meminfo: memFree=1402248/2059040 swapFree=4192956/4192956
[pid=20049] ppid=20047 vsize=8700 CPUtime=0
/proc/20049/stat : 20049 (run) S 20047 20049 19666 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 11527257 8908800 243 1992294400 4194304 4922060 140735016431184 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20049/statm: 2175 243 204 178 0 68 0
[pid=20050] ppid=20049 vsize=40452 CPUtime=1800.01
/proc/20050/stat : 20050 (PB-wave) R 20049 20049 19666 0 -1 4202496 1787 0 0 0 179999 2 0 0 25 0 1 0 11527257 41422848 1717 1992294400 134512640 135071400 4286839840 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20050/statm: 10113 1717 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

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

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

runsolver used 3.13352 second user time and 8.40672 second system time

The end

Launcher Data 

Begin job on node025 at 2010-07-06 18:19:14
IDJOB=2684734
IDBENCH=73476
IDSOLVER=1171
FILE ID=node025/2684734-1278433154
PBS_JOBID= 11233452
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= c17285ecf4c0c17a63d3aa8966d3d2bd
RANDOM SEED=1687796995

node025.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.264
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.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1413200 kB
Buffers:        100176 kB
Cached:         407640 kB
SwapCached:          0 kB
Active:         212004 kB
Inactive:       356044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1413200 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4408 kB
Writeback:           0 kB
AnonPages:       60108 kB
Mapped:          14416 kB
Slab:            55816 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179272 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= 62508 MiB
End job on node025 at 2010-07-06 18:49:15