Trace number 2684748

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-j1201_5-sat.opb
MD5SUMe5096dc6d98a70ac54385441089dc44c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.547915
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables27346
Total number of constraints86712
Number of constraints which are clauses86264
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint1
Maximum length of a constraint35
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 14
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 210
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.21	c PB-wave - v2
0.00/0.21	c command line = ./PB-wave
0.00/0.21	c seed = 96788972
0.00/0.21	c cutoff = 1000000
0.00/0.21	c tries = 1000000
0.00/0.21	c heuristic = c best, noise 50 / 100
0.00/0.21	#var 27346 #con 86712
0.00/0.21	mode is SAT
0.00/0.21	c tail starts after flip = 82038
0.00/0.21	c numatom = 27346, numclause = 86712, numliterals = 198272
0.00/0.21	c wff read in
0.00/0.21	c 
0.00/0.21	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.21	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.21	c       this      this      this      this      this      this   success   success       until         std
0.00/0.21	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.21	c
1.99/2.08	c       803       982   1112.48    233.64      4.76   1000000         0
3.89/3.92	c       816       903   1071.72    205.04      5.23   1000000         0
5.69/5.76	c       776      1256   1073.51    178.15      6.03   1000000         0
7.60/7.62	c       782       958   1096.65    207.73      5.28   1000000         0
9.39/9.49	c       799       872   1123.06    211.95      5.30   1000000         0
11.29/11.34	c       795      1134   1102.95    218.02      5.06   1000000         0
13.09/13.20	c       783       974   1098.19    206.85      5.31   1000000         0
14.99/15.05	c       834       977   1097.23    210.02      5.22   1000000         0
16.78/16.89	c       779      1007   1072.42    202.55      5.29   1000000         0
18.69/18.74	c       832       961   1074.54    190.38      5.64   1000000         0
20.58/20.61	c       846       920   1131.90    205.76      5.50   1000000         0
22.38/22.46	c       672      1004   1086.45    190.41      5.71   1000000         0
24.28/24.31	c       814       983   1094.86    229.93      4.76   1000000         0
26.08/26.17	c       771      1087   1114.06    226.69      4.91   1000000         0
27.98/28.03	c       748      1025   1087.14    205.34      5.29   1000000         0
29.88/29.90	c       848      1103   1111.02    197.22      5.63   1000000         0
31.68/31.74	c       769       984   1063.78    207.39      5.13   1000000         0
33.48/33.58	c       782       863   1075.06    230.37      4.67   1000000         0
35.38/35.44	c       816      1035   1090.97    215.13      5.07   1000000         0
37.28/37.30	c       736      1041   1108.14    219.08      5.06   1000000         0
39.08/39.15	c       803       999   1089.64    218.66      4.98   1000000         0
40.98/41.01	c       814      1136   1092.15    182.38      5.99   1000000         0
42.78/42.86	c       794       974   1096.89    207.14      5.30   1000000         0
44.67/44.73	c       816      1076   1124.39    247.19      4.55   1000000         0
46.47/46.58	c       785      1046   1094.42    232.14      4.71   1000000         0
48.38/48.43	c       838      1030   1086.70    188.58      5.76   1000000         0
50.17/50.28	c       797       933   1071.52    214.28      5.00   1000000         0
52.07/52.13	c       799      1060   1111.60    213.43      5.21   1000000         0
53.88/53.98	c       807      1108   1075.22    227.62      4.72   1000000         0
55.77/55.81	c       768       919   1058.48    223.31      4.74   1000000         0
57.57/57.66	c       791      1026   1092.15    196.72      5.55   1000000         0
59.47/59.51	c       750      1038   1074.34    186.49      5.76   1000000         0
61.27/61.35	c       783      1060   1077.87    205.15      5.25   1000000         0
63.17/63.21	c       757       923   1086.90    208.30      5.22   1000000         0
64.97/65.07	c       836      1052   1098.86    228.33      4.81   1000000         0
66.87/66.93	c       811      1110   1104.10    199.56      5.53   1000000         0
68.67/68.78	c       793      1096   1093.11    230.24      4.75   1000000         0
70.57/70.63	c       830      1113   1089.48    215.32      5.06   1000000         0
72.37/72.49	c       845       978   1104.07    217.54      5.08   1000000         0
74.26/74.35	c       825       962   1101.22    203.49      5.41   1000000         0
76.16/76.21	c       808      1013   1113.66    245.41      4.54   1000000         0
77.97/78.06	c       808      1116   1087.23    207.77      5.23   1000000         0
79.86/79.91	c       789       980   1089.08    201.22      5.41   1000000         0
81.66/81.77	c       761      1023   1104.00    227.65      4.85   1000000         0
83.57/83.63	c       738      1104   1100.64    224.01      4.91   1000000         0
85.36/85.46	c       751       930   1046.62    178.53      5.86   1000000         0
87.26/87.31	c       825       928   1086.21    231.03      4.70   1000000         0
89.07/89.17	c       731      1086   1082.62    226.21      4.79   1000000         0
90.96/91.01	c       757      1164   1067.20    177.31      6.02   1000000         0
92.76/92.88	c       766      1116   1109.16    200.53      5.53   1000000         0
94.66/94.72	c       801      1075   1071.62    193.23      5.55   1000000         0
96.46/96.58	c       792      1061   1099.08    234.54      4.69   1000000         0
98.36/98.44	c       718      1151   1105.05    229.05      4.82   1000000         0
100.16/100.29	c       829       927   1095.06    218.80      5.00   1000000         0
102.06/102.14	c       837       990   1070.20    171.85      6.23   1000000         0
103.86/103.98	c       789      1129   1072.21    202.53      5.29   1000000         0
105.75/105.82	c       801       987   1068.25    195.43      5.47   1000000         0
107.55/107.68	c       863      1102   1118.39    184.11      6.07   1000000         0
109.45/109.53	c       814      1057   1086.73    203.44      5.34   1000000         0
111.25/111.38	c       744      1013   1095.81    238.64      4.59   1000000         0
113.16/113.22	c       766      1048   1071.00    231.60      4.62   1000000         0
114.95/115.06	c       793       983   1068.48    228.62      4.67   1000000         0
116.85/116.92	c       782      1078   1097.27    218.16      5.03   1000000         0
118.66/118.75	c       763      1080   1067.77    204.33      5.23   1000000         0
120.55/120.60	c       815      1054   1082.92    242.44      4.47   1000000         0
122.35/122.45	c       821      1188   1084.27    208.67      5.20   1000000         0
124.16/124.30	c       811      1110   1073.29    197.82      5.43   1000000         0
126.05/126.15	c       734      1094   1076.59    209.10      5.15   1000000         0
127.95/128.01	c       782      1254   1107.07    244.32      4.53   1000000         0
129.75/129.87	c       790       985   1091.83    216.96      5.03   1000000         0
131.65/131.71	c       811      1038   1064.12    189.57      5.61   1000000         0
133.45/133.55	c       760      1026   1067.86    184.06      5.80   1000000         0
135.25/135.39	c       803      1003   1068.93    249.18      4.29   1000000         0
137.15/137.27	c       857      1098   1133.61    216.34      5.24   1000000         0
139.04/139.13	c       793       982   1104.78    218.37      5.06   1000000         0
140.84/140.99	c       768       959   1100.11    224.67      4.90   1000000         0
142.74/142.84	c       750       985   1080.53    205.21      5.27   1000000         0
144.54/144.69	c       773      1193   1085.29    227.15      4.78   1000000         0
146.44/146.55	c       811      1162   1098.92    228.83      4.80   1000000         0
148.35/148.41	c       826      1005   1111.14    236.15      4.71   1000000         0
150.14/150.27	c       782      1037   1093.49    165.95      6.59   1000000         0
152.04/152.13	c       775       987   1093.68    219.20      4.99   1000000         0
153.85/153.98	c       801      1015   1088.31    238.02      4.57   1000000         0
155.74/155.83	c       743      1219   1088.46    205.73      5.29   1000000         0
157.54/157.68	c       802       955   1088.33    220.83      4.93   1000000         0
159.45/159.54	c       823      1280   1099.77    216.73      5.07   1000000         0
161.34/161.40	c       735       961   1106.59    201.49      5.49   1000000         0
163.14/163.24	c       687       966   1068.47    234.27      4.56   1000000         0
165.04/165.10	c       784       919   1084.73    236.85      4.58   1000000         0
166.83/166.94	c       780      1010   1082.20    225.90      4.79   1000000         0
168.63/168.79	c       697      1112   1083.23    221.76      4.88   1000000         0
170.53/170.65	c       822      1003   1091.63    219.57      4.97   1000000         0
172.33/172.49	c       831       883   1076.82    212.91      5.06   1000000         0
174.23/174.36	c       832      1116   1119.48    204.54      5.47   1000000         0
176.13/176.22	c       813      1060   1090.60    225.46      4.84   1000000         0
177.93/178.05	c       795       950   1062.40    191.95      5.53   1000000         0
179.83/179.90	c       744      1034   1075.42    226.88      4.74   1000000         0
181.63/181.74	c       838       893   1086.74    196.97      5.52   1000000         0
183.43/183.59	c       731      1008   1071.76    213.52      5.02   1000000         0
185.33/185.44	c       786      1119   1084.71    204.00      5.32   1000000         0
187.13/187.29	c       805      1041   1080.88    211.16      5.12   1000000         0
189.04/189.14	c       781      1023   1099.95    206.42      5.33   1000000         0
190.83/190.99	c       774      1154   1081.94    243.03      4.45   1000000         0
192.73/192.84	c       762      1105   1082.66    240.57      4.50   1000000         0
194.53/194.69	c       802       952   1095.40    252.07      4.35   1000000         0
196.43/196.55	c       762       822   1094.49    185.17      5.91   1000000         0
198.32/198.41	c       760      1075   1089.70    274.45      3.97   1000000         0
200.13/200.27	c       840       986   1094.65    175.06      6.25   1000000         0
202.02/202.12	c       752       962   1088.24    235.57      4.62   1000000         0
203.82/203.97	c       862      1154   1093.39    166.18      6.58   1000000         0
205.72/205.83	c       837       929   1104.12    200.98      5.49   1000000         0
207.52/207.68	c       819      1030   1083.25    180.02      6.02   1000000         0
209.42/209.53	c       792       979   1079.64    228.21      4.73   1000000         0
211.22/211.38	c       804      1078   1072.45    204.60      5.24   1000000         0
213.12/213.21	c       785      1013   1054.37    198.21      5.32   1000000         0
214.92/215.06	c       775      1078   1093.00    229.29      4.77   1000000         0
216.82/216.92	c       823      1193   1089.66    194.49      5.60   1000000         0
218.62/218.77	c       839       917   1098.10    218.97      5.01   1000000         0
220.52/220.63	c       840      1010   1105.96    183.87      6.01   1000000         0
222.32/222.48	c       842       976   1087.77    182.74      5.95   1000000         0
224.22/224.33	c       810       913   1108.00    210.34      5.27   1000000         0
226.02/226.17	c       822      1040   1070.41    207.69      5.15   1000000         0
227.92/228.02	c       823      1023   1083.04    205.53      5.27   1000000         0
229.72/229.87	c       767      1061   1063.91    231.94      4.59   1000000         0
231.61/231.74	c       876      1069   1112.40    225.83      4.93   1000000         0
233.41/233.59	c       772       920   1101.13    238.42      4.62   1000000         0
235.32/235.44	c       800      1114   1101.42    200.49      5.49   1000000         0
237.21/237.30	c       801      1010   1100.28    232.38      4.73   1000000         0
239.01/239.14	c       739       946   1058.08    258.07      4.10   1000000         0
240.82/240.99	c       715      1031   1091.06    203.88      5.35   1000000         0
242.71/242.85	c       813       934   1098.43    210.77      5.21   1000000         0
244.51/244.70	c       805      1050   1079.96    175.99      6.14   1000000         0
246.41/246.55	c       816      1157   1099.40    241.16      4.56   1000000         0
248.31/248.40	c       792       981   1090.92    228.06      4.78   1000000         0
250.11/250.26	c       785      1012   1100.21    233.77      4.71   1000000         0
252.01/252.11	c       794      1239   1082.24    243.95      4.44   1000000         0
253.81/253.95	c       812       993   1089.79    225.42      4.83   1000000         0
255.71/255.81	c       799      1073   1098.99    206.59      5.32   1000000         0
257.50/257.68	c       820      1006   1132.33    249.78      4.53   1000000         0
259.41/259.54	c       811      1044   1103.45    233.72      4.72   1000000         0
261.21/261.39	c       782       986   1070.19    205.38      5.21   1000000         0
263.10/263.23	c       784       920   1056.08    207.83      5.08   1000000         0
264.91/265.07	c       740      1004   1082.98    191.69      5.65   1000000         0
266.80/266.94	c       770      1101   1102.51    212.10      5.20   1000000         0
268.70/268.80	c       799       937   1109.15    199.81      5.55   1000000         0
270.51/270.67	c       775      1032   1103.68    238.72      4.62   1000000         0
272.40/272.52	c       825      1071   1075.09    226.07      4.76   1000000         0
274.20/274.37	c       783       913   1090.28    225.24      4.84   1000000         0
276.10/276.22	c       772      1095   1080.34    235.46      4.59   1000000         0
277.90/278.07	c       804      1197   1092.96    198.61      5.50   1000000         0
279.80/279.93	c       806      1055   1096.75    238.48      4.60   1000000         0
281.60/281.79	c       802      1003   1091.60    232.63      4.69   1000000         0
283.50/283.64	c       783      1055   1083.97    227.38      4.77   1000000         0
285.40/285.50	c       816       971   1091.62    261.83      4.17   1000000         0
287.20/287.34	c       794      1142   1070.61    195.35      5.48   1000000         0
289.00/289.19	c       799       867   1087.82    231.64      4.70   1000000         0
290.89/291.03	c       809       995   1068.32    188.27      5.67   1000000         0
292.69/292.87	c       752      1008   1081.20    209.04      5.17   1000000         0
294.60/294.73	c       787      1021   1102.73    243.45      4.53   1000000         0
296.39/296.59	c       811      1040   1079.31    208.45      5.18   1000000         0
298.29/298.42	c       697       954   1050.66    162.78      6.45   1000000         0
300.10/300.27	c       807       982   1089.92    210.17      5.19   1000000         0
301.99/302.13	c       867      1076   1113.69    204.89      5.44   1000000         0
303.79/303.97	c       801       980   1083.09    203.97      5.31   1000000         0
305.70/305.82	c       782       918   1087.99    228.88      4.75   1000000         0
307.49/307.68	c       737      1083   1098.92    202.13      5.44   1000000         0
309.39/309.53	c       800      1102   1090.49    225.81      4.83   1000000         0
311.20/311.38	c       805       987   1069.27    207.68      5.15   1000000         0
313.09/313.24	c       804       979   1104.40    223.84      4.93   1000000         0
314.89/315.09	c       822      1127   1107.12    227.97      4.86   1000000         0
316.79/316.95	c       757      1059   1085.30    229.68      4.73   1000000         0
318.69/318.80	c       785      1051   1097.04    208.87      5.25   1000000         0
320.49/320.63	c       791       992   1047.37    167.09      6.27   1000000         0
322.29/322.48	c       796      1061   1075.71    192.94      5.58   1000000         0
324.18/324.32	c       779       963   1061.78    223.33      4.75   1000000         0
325.98/326.17	c       756       995   1068.30    186.75      5.72   1000000         0
327.88/328.04	c       791      1068   1125.96    240.17      4.69   1000000         0
329.79/329.91	c       799       993   1125.87    222.76      5.05   1000000         0
331.58/331.75	c       800      1154   1079.34    179.27      6.02   1000000         0
333.38/333.59	c       773      1005   1082.63    238.72      4.54   1000000         0
335.29/335.45	c       782      1115   1095.53    212.15      5.16   1000000         0
337.08/337.29	c       792      1138   1073.41    235.38      4.56   1000000         0
338.98/339.13	c       786      1062   1078.81    199.76      5.40   1000000         0
340.79/340.98	c       759      1033   1065.65    201.47      5.29   1000000         0
342.68/342.84	c       790       965   1105.36    256.17      4.31   1000000         0
344.48/344.69	c       791      1130   1079.75    205.36      5.26   1000000         0
346.38/346.55	c       763      1169   1091.07    217.70      5.01   1000000         0
348.18/348.39	c       771      1004   1064.89    179.31      5.94   1000000         0
350.08/350.25	c       809      1024   1097.92    228.38      4.81   1000000         0
351.98/352.10	c       748       911   1085.39    223.86      4.85   1000000         0
353.77/353.94	c       770       868   1069.65    211.33      5.06   1000000         0
355.57/355.80	c       752       794   1094.49    198.25      5.52   1000000         0
357.47/357.65	c       771      1164   1093.44    231.93      4.71   1000000         0
359.37/359.50	c       769       987   1077.78    198.97      5.42   1000000         0
361.17/361.36	c       780      1097   1097.79    210.50      5.22   1000000         0
363.07/363.21	c       790       970   1107.39    199.65      5.55   1000000         0
364.87/365.07	c       807      1011   1095.75    234.77      4.67   1000000         0
366.77/366.92	c       803      1032   1075.38    183.84      5.85   1000000         0
368.57/368.78	c       733       923   1086.03    201.42      5.39   1000000         0
370.48/370.63	c       765       945   1092.24    206.68      5.28   1000000         0
372.27/372.48	c       787      1128   1088.11    203.91      5.34   1000000         0
374.17/374.32	c       770      1015   1086.59    201.69      5.39   1000000         0
375.97/376.18	c       813       988   1095.65    192.82      5.68   1000000         0
377.87/378.03	c       769      1061   1069.40    164.95      6.48   1000000         0
379.67/379.87	c       760      1150   1082.47    192.91      5.61   1000000         0
381.57/381.73	c       842       955   1091.81    196.81      5.55   1000000         0
383.36/383.56	c       815      1011   1061.73    197.84      5.37   1000000         0
385.26/385.42	c       820       919   1085.02    198.78      5.46   1000000         0
387.07/387.27	c       784       944   1082.00    222.38      4.87   1000000         0
388.96/389.11	c       766       816   1073.82    199.97      5.37   1000000         0
390.76/390.95	c       798      1044   1065.94    182.35      5.85   1000000         0
392.66/392.81	c       796      1145   1086.06    183.09      5.93   1000000         0
394.46/394.66	c       779      1089   1095.65    203.68      5.38   1000000         0
396.36/396.52	c       768      1062   1075.68    217.71      4.94   1000000         0
398.16/398.36	c       781      1093   1078.55    208.96      5.16   1000000         0
400.06/400.20	c       758       960   1068.39    208.68      5.12   1000000         0
401.86/402.06	c       824      1015   1105.40    218.21      5.07   1000000         0
403.76/403.90	c       761      1110   1073.80    212.43      5.05   1000000         0
405.56/405.76	c       768      1030   1088.70    214.41      5.08   1000000         0
407.46/407.62	c       768      1060   1102.55    214.50      5.14   1000000         0
409.25/409.47	c       825      1140   1084.08    241.66      4.49   1000000         0
411.16/411.33	c       778       958   1105.74    248.30      4.45   1000000         0
412.95/413.18	c       772      1064   1087.77    205.53      5.29   1000000         0
414.85/415.04	c       820      1070   1087.61    237.69      4.58   1000000         0
416.66/416.88	c       789      1032   1082.08    183.67      5.89   1000000         0
418.55/418.73	c       785      1017   1086.56    201.43      5.39   1000000         0
420.35/420.58	c       723      1025   1098.52    221.49      4.96   1000000         0
422.26/422.45	c       757      1058   1086.09    246.32      4.41   1000000         0
424.05/424.28	c       807      1071   1061.95    171.27      6.20   1000000         0
425.95/426.14	c       773       986   1083.70    183.64      5.90   1000000         0
427.85/428.00	c       792       945   1101.25    185.73      5.93   1000000         0
429.65/429.83	c       797      1164   1054.42    193.92      5.44   1000000         0
431.45/431.68	c       807      1157   1101.56    206.39      5.34   1000000         0
433.35/433.54	c       774      1091   1090.01    235.13      4.64   1000000         0
435.15/435.39	c       787       982   1079.94    214.60      5.03   1000000         0
437.05/437.24	c       786      1205   1076.63    181.28      5.94   1000000         0
438.85/439.09	c       802      1112   1090.27    217.75      5.01   1000000         0
440.74/440.94	c       805      1113   1084.11    181.99      5.96   1000000         0
442.54/442.79	c       760       928   1077.27    185.79      5.80   1000000         0
444.44/444.63	c       772      1189   1070.42    229.96      4.65   1000000         0
446.24/446.48	c       858      1060   1094.98    163.99      6.68   1000000         0
448.14/448.35	c       787      1083   1090.27    220.29      4.95   1000000         0
450.04/450.20	c       730      1039   1107.62    231.72      4.78   1000000         0
451.85/452.06	c       818      1042   1105.05    232.97      4.74   1000000         0
453.74/453.91	c       822      1107   1091.07    203.44      5.36   1000000         0
455.54/455.76	c       760      1066   1077.88    273.99      3.93   1000000         0
457.45/457.61	c       807      1015   1101.44    203.57      5.41   1000000         0
459.24/459.47	c       831      1041   1102.59    253.88      4.34   1000000         0
461.14/461.33	c       819       913   1118.47    217.98      5.13   1000000         0
462.95/463.19	c       766       955   1100.63    263.46      4.18   1000000         0
464.84/465.07	c       814      1066   1128.40    244.28      4.62   1000000         0
466.74/466.91	c       721      1073   1071.55    192.21      5.57   1000000         0
468.54/468.76	c       754      1067   1094.19    205.60      5.32   1000000         0
470.43/470.62	c       794       936   1090.24    229.02      4.76   1000000         0
472.23/472.47	c       801      1053   1094.46    239.28      4.57   1000000         0
474.13/474.31	c       729      1017   1056.58    184.51      5.73   1000000         0
475.93/476.16	c       808       971   1077.18    170.61      6.31   1000000         0
477.83/478.02	c       829       977   1101.30    226.76      4.86   1000000         0
479.63/479.87	c       832      1041   1089.38    208.60      5.22   1000000         0
481.54/481.73	c       834       929   1100.40    225.53      4.88   1000000         0
483.33/483.59	c       784       882   1107.82    226.74      4.89   1000000         0
485.23/485.45	c       787      1012   1102.33    212.51      5.19   1000000         0
487.14/487.31	c       799      1046   1108.23    209.73      5.28   1000000         0
488.93/489.15	c       811      1079   1063.80    188.57      5.64   1000000         0
490.83/491.00	c       805      1166   1093.36    221.83      4.93   1000000         0
492.64/492.86	c       840       893   1109.25    210.90      5.26   1000000         0
494.53/494.71	c       781      1095   1063.49    232.03      4.58   1000000         0
496.33/496.57	c       821      1060   1100.77    224.98      4.89   1000000         0
498.23/498.42	c       782      1047   1082.01    228.56      4.73   1000000         0
500.03/500.26	c       774       888   1065.23    192.63      5.53   1000000         0
501.92/502.11	c       788      1023   1082.96    213.05      5.08   1000000         0
503.72/503.96	c       813       944   1078.88    200.24      5.39   1000000         0
505.62/505.81	c       828       964   1099.10    196.42      5.60   1000000         0
507.42/507.67	c       814      1029   1082.75    224.45      4.82   1000000         0
509.32/509.52	c       785      1020   1080.84    217.25      4.98   1000000         0
511.12/511.37	c       783      1051   1083.37    208.64      5.19   1000000         0
513.02/513.21	c       760      1078   1072.49    230.20      4.66   1000000         0
514.82/515.06	c       795      1037   1067.62    180.88      5.90   1000000         0
516.73/516.90	c       810       984   1086.81    212.94      5.10   1000000         0
518.52/518.76	c       802      1036   1085.53    206.25      5.26   1000000         0
520.42/520.61	c       822       986   1067.81    188.07      5.68   1000000         0
522.23/522.47	c       816      1069   1115.90    220.37      5.06   1000000         0
524.12/524.31	c       780       965   1064.02    223.57      4.76   1000000         0
525.92/526.17	c       771      1037   1104.65    251.06      4.40   1000000         0
527.82/528.02	c       780       993   1088.37    234.70      4.64   1000000         0
529.62/529.87	c       800      1093   1075.45    250.25      4.30   1000000         0
531.52/531.71	c       782      1041   1064.95    172.47      6.17   1000000         0
533.32/533.56	c       787       897   1070.37    231.61      4.62   1000000         0
535.11/535.39	c       800      1093   1072.28    162.40      6.60   1000000         0
537.01/537.26	c       799      1080   1118.76    216.88      5.16   1000000         0
538.91/539.11	c       814      1105   1084.83    204.98      5.29   1000000         0
540.71/540.96	c       807       912   1056.40    192.32      5.49   1000000         0
542.61/542.82	c       838      1161   1103.37    195.86      5.63   1000000         0
544.41/544.67	c       764      1042   1086.47    221.02      4.92   1000000         0
546.31/546.52	c       777      1036   1075.68    205.70      5.23   1000000         0
548.11/548.37	c       839       903   1087.28    201.87      5.39   1000000         0
550.01/550.23	c       778      1076   1095.09    213.19      5.14   1000000         0
551.81/552.08	c       783       816   1087.01    186.47      5.83   1000000         0
553.71/553.96	c       839      1005   1131.36    215.96      5.24   1000000         0
555.61/555.80	c       798      1025   1073.82    227.94      4.71   1000000         0
557.41/557.65	c       796      1119   1084.58    178.31      6.08   1000000         0
559.21/559.50	c       793      1164   1080.47    199.57      5.41   1000000         0
561.11/561.36	c       841      1042   1102.61    222.44      4.96   1000000         0
563.01/563.21	c       815      1022   1076.79    199.67      5.39   1000000         0
564.81/565.08	c       779      1117   1111.83    259.25      4.29   1000000         0
566.70/566.93	c       779      1139   1083.94    188.71      5.74   1000000         0
568.51/568.78	c       769      1072   1085.16    176.78      6.14   1000000         0
570.40/570.63	c       782       941   1073.93    195.39      5.50   1000000         0
572.20/572.48	c       757      1185   1088.35    234.72      4.64   1000000         0
574.10/574.36	c       802      1105   1130.15    253.95      4.45   1000000         0
576.00/576.20	c       766      1039   1058.79    201.54      5.25   1000000         0
577.80/578.05	c       770       957   1079.56    206.32      5.23   1000000         0
579.70/579.92	c       761       990   1138.45    233.47      4.88   1000000         0
581.50/581.76	c       731      1213   1065.34    171.06      6.23   1000000         0
583.40/583.62	c       839       908   1102.70    229.15      4.81   1000000         0
585.20/585.48	c       713      1038   1109.96    211.31      5.25   1000000         0
587.10/587.34	c       782      1041   1096.76    255.25      4.30   1000000         0
588.90/589.20	c       766       890   1091.75    222.18      4.91   1000000         0
590.80/591.06	c       832      1019   1106.28    231.32      4.78   1000000         0
592.70/592.91	c       782      1028   1084.68    231.03      4.69   1000000         0
594.49/594.75	c       793      1019   1052.97    214.54      4.91   1000000         0
596.39/596.60	c       784       956   1095.35    220.08      4.98   1000000         0
598.20/598.46	c       807      1048   1104.34    200.85      5.50   1000000         0
600.09/600.32	c       788       944   1095.03    214.43      5.11   1000000         0
601.89/602.17	c       781      1094   1068.13    215.55      4.96   1000000         0
603.79/604.03	c       833       962   1097.68    200.64      5.47   1000000         0
605.59/605.86	c       739      1053   1051.03    189.08      5.56   1000000         0
607.49/607.70	c       700       931   1062.79    177.00      6.00   1000000         0
609.29/609.54	c       799      1027   1061.17    224.34      4.73   1000000         0
611.19/611.40	c       775      1005   1102.44    236.17      4.67   1000000         0
612.99/613.25	c       780       997   1079.44    204.23      5.29   1000000         0
614.89/615.11	c       809      1137   1102.00    219.27      5.03   1000000         0
616.69/616.98	c       845       960   1135.36    253.53      4.48   1000000         0
618.59/618.83	c       811      1117   1078.15    204.03      5.28   1000000         0
620.39/620.69	c       805      1113   1093.16    205.06      5.33   1000000         0
622.29/622.54	c       830       994   1079.24    188.40      5.73   1000000         0
624.18/624.40	c       839      1016   1114.15    190.97      5.83   1000000         0
625.98/626.24	c       784      1079   1080.15    195.66      5.52   1000000         0
627.79/628.10	c       821      1125   1089.10    230.43      4.73   1000000         0
629.68/629.96	c       849      1001   1110.08    224.39      4.95   1000000         0
631.58/631.80	c       739       978   1065.40    205.20      5.19   1000000         0
633.39/633.65	c       765      1023   1088.21    202.55      5.37   1000000         0
635.28/635.51	c       777      1094   1093.40    235.04      4.65   1000000         0
637.08/637.37	c       820      1125   1096.78    201.39      5.45   1000000         0
638.98/639.22	c       820       931   1097.53    201.28      5.45   1000000         0
640.78/641.08	c       807       980   1110.99    249.72      4.45   1000000         0
642.68/642.94	c       823      1112   1093.38    187.94      5.82   1000000         0
644.58/644.81	c       751       990   1097.64    196.48      5.59   1000000         0
646.38/646.66	c       805      1142   1080.22    216.65      4.99   1000000         0
648.18/648.50	c       745       943   1076.69    189.46      5.68   1000000         0
650.08/650.35	c       784      1200   1095.63    206.03      5.32   1000000         0
651.88/652.20	c       756      1128   1085.84    215.62      5.04   1000000         0
653.77/654.06	c       848      1094   1097.85    185.45      5.92   1000000         0
655.67/655.93	c       829      1020   1121.50    232.18      4.83   1000000         0
657.48/657.78	c       791       988   1098.42    244.24      4.50   1000000         0
659.37/659.65	c       796      1107   1122.48    210.28      5.34   1000000         0
661.27/661.51	c       800      1108   1096.73    216.62      5.06   1000000         0
663.08/663.36	c       782       992   1087.39    196.58      5.53   1000000         0
664.97/665.22	c       815      1030   1084.16    211.19      5.13   1000000         0
666.77/667.07	c       818      1162   1079.33    205.54      5.25   1000000         0
668.67/668.92	c       771      1144   1081.02    213.35      5.07   1000000         0
670.47/670.79	c       846      1136   1109.60    210.61      5.27   1000000         0
672.37/672.63	c       789      1068   1067.39    187.30      5.70   1000000         0
674.17/674.48	c       840       994   1089.48    195.03      5.59   1000000         0
676.07/676.35	c       794      1035   1103.94    226.14      4.88   1000000         0
677.87/678.19	c       799      1001   1063.45    212.28      5.01   1000000         0
679.77/680.03	c       849      1044   1081.17    186.33      5.80   1000000         0
681.57/681.88	c       756      1001   1086.65    212.50      5.11   1000000         0
683.46/683.74	c       784      1166   1092.70    203.55      5.37   1000000         0
685.26/685.59	c       845      1065   1084.21    218.06      4.97   1000000         0
687.17/687.45	c       836      1095   1086.20    181.03      6.00   1000000         0
689.06/689.30	c       789      1044   1106.71    211.86      5.22   1000000         0
690.86/691.14	c       809       853   1077.64    168.64      6.39   1000000         0
692.67/692.99	c       787      1040   1079.86    183.84      5.87   1000000         0
694.56/694.83	c       794      1116   1058.42    207.58      5.10   1000000         0
696.36/696.69	c       817      1126   1104.58    216.46      5.10   1000000         0
698.27/698.55	c       760       961   1091.29    201.40      5.42   1000000         0
700.16/700.40	c       808      1045   1073.75    206.69      5.20   1000000         0
701.96/702.25	c       803      1147   1085.30    230.91      4.70   1000000         0
703.86/704.10	c       752      1083   1085.94    242.96      4.47   1000000         0
705.66/705.96	c       811       992   1095.13    250.41      4.37   1000000         0
707.56/707.81	c       782       903   1085.69    218.74      4.96   1000000         0
709.36/709.67	c       835      1161   1089.32    194.27      5.61   1000000         0
711.26/711.52	c       761      1018   1096.92    207.95      5.28   1000000         0
713.06/713.38	c       850      1005   1104.68    178.92      6.17   1000000         0
714.95/715.23	c       809      1016   1082.55    163.99      6.60   1000000         0
716.75/717.09	c       787      1051   1090.76    197.47      5.52   1000000         0
718.65/718.95	c       758       944   1102.60    221.98      4.97   1000000         0
720.45/720.79	c       730       861   1068.27    242.60      4.40   1000000         0
722.36/722.65	c       813      1137   1092.66    213.73      5.11   1000000         0
724.15/724.49	c       792      1007   1071.48    230.26      4.65   1000000         0
726.05/726.34	c       799       994   1069.82    191.28      5.59   1000000         0
727.86/728.17	c       770       856   1071.77    197.73      5.42   1000000         0
729.75/730.02	c       761      1102   1076.86    185.10      5.82   1000000         0
731.55/731.87	c       809      1044   1093.77    186.19      5.87   1000000         0
733.46/733.74	c       827      1076   1107.09    199.86      5.54   1000000         0
735.25/735.58	c       750       930   1064.81    230.83      4.61   1000000         0
737.15/737.43	c       777      1079   1078.38    203.49      5.30   1000000         0
738.95/739.29	c       794      1021   1099.22    210.53      5.22   1000000         0
740.85/741.13	c       769      1194   1074.43    207.29      5.18   1000000         0
742.75/743.00	c       868      1056   1117.49    236.96      4.72   1000000         0
744.54/744.86	c       818       949   1090.14    224.22      4.86   1000000         0
746.44/746.73	c       854      1018   1116.25    226.51      4.93   1000000         0
748.24/748.58	c       787      1040   1090.42    233.98      4.66   1000000         0
750.14/750.44	c       836       882   1098.75    228.86      4.80   1000000         0
751.94/752.30	c       776       888   1094.70    229.64      4.77   1000000         0
753.84/754.16	c       811      1086   1102.80    193.04      5.71   1000000         0
755.74/756.01	c       784      1042   1082.75    224.68      4.82   1000000         0
757.55/757.87	c       823      1034   1096.89    220.26      4.98   1000000         0
759.44/759.71	c       749       924   1069.17    199.07      5.37   1000000         0
761.24/761.57	c       780       971   1087.83    199.23      5.46   1000000         0
763.15/763.41	c       738      1049   1067.73    171.08      6.24   1000000         0
764.94/765.26	c       762       991   1084.97    230.64      4.70   1000000         0
766.84/767.10	c       795       994   1066.80    196.98      5.42   1000000         0
768.65/768.96	c       796       986   1090.19    203.04      5.37   1000000         0
770.54/770.85	c       852      1019   1146.38    202.57      5.66   1000000         0
772.44/772.70	c       764       997   1090.99    209.74      5.20   1000000         0
774.24/774.56	c       824      1055   1096.94    229.90      4.77   1000000         0
776.14/776.41	c       843      1028   1086.94    194.82      5.58   1000000         0
777.93/778.24	c       790       891   1060.50    213.10      4.98   1000000         0
779.73/780.08	c       789      1062   1077.57    181.89      5.92   1000000         0
781.63/781.93	c       779       999   1070.52    212.89      5.03   1000000         0
783.43/783.78	c       834      1056   1088.94    238.71      4.56   1000000         0
785.33/785.63	c       740       969   1079.77    229.81      4.70   1000000         0
787.13/787.48	c       779      1060   1086.88    250.42      4.34   1000000         0
789.03/789.34	c       780       968   1104.78    257.68      4.29   1000000         0
790.83/791.19	c       829      1121   1104.15    203.76      5.42   1000000         0
792.74/793.05	c       772       985   1094.59    213.93      5.12   1000000         0
794.63/794.91	c       830      1082   1102.23    195.28      5.64   1000000         0
796.43/796.76	c       783      1053   1075.20    148.17      7.26   1000000         0
798.23/798.60	c       766       839   1073.86    216.17      4.97   1000000         0
800.13/800.45	c       840      1096   1093.77    167.53      6.53   1000000         0
802.03/802.31	c       836      1076   1083.09    204.99      5.28   1000000         0
803.83/804.16	c       817      1001   1088.86    224.55      4.85   1000000         0
805.72/806.00	c       806       902   1075.79    210.94      5.10   1000000         0
807.52/807.85	c       827      1030   1079.33    218.89      4.93   1000000         0
809.33/809.69	c       819       843   1070.41    213.37      5.02   1000000         0
811.22/811.54	c       771      1091   1085.54    178.71      6.07   1000000         0
813.02/813.39	c       813      1030   1090.38    187.60      5.81   1000000         0
814.92/815.26	c       832      1092   1111.60    225.08      4.94   1000000         0
816.82/817.11	c       771      1117   1081.02    222.72      4.85   1000000         0
818.62/818.95	c       788       979   1066.89    215.59      4.95   1000000         0
820.52/820.80	c       737      1219   1080.00    194.40      5.56   1000000         0
822.32/822.64	c       799       936   1064.70    184.93      5.76   1000000         0
824.12/824.49	c       768      1021   1089.18    207.44      5.25   1000000         0
826.02/826.35	c       819       943   1087.61    206.58      5.26   1000000         0
827.93/828.20	c       805      1025   1088.62    208.14      5.23   1000000         0
829.72/830.06	c       776       981   1108.11    193.85      5.72   1000000         0
831.62/831.93	c       857      1075   1122.76    227.96      4.93   1000000         0
833.42/833.79	c       777      1066   1096.78    229.48      4.78   1000000         0
835.32/835.63	c       792      1151   1075.78    223.33      4.82   1000000         0
837.11/837.47	c       733       902   1077.08    191.16      5.63   1000000         0
839.02/839.33	c       822       886   1088.00    188.48      5.77   1000000         0
840.81/841.17	c       803      1075   1061.46    204.73      5.18   1000000         0
842.71/843.00	c       737      1058   1036.89    194.79      5.32   1000000         0
844.52/844.86	c       823      1075   1105.63    197.15      5.61   1000000         0
846.41/846.70	c       834      1025   1068.92    193.96      5.51   1000000         0
848.21/848.55	c       786      1157   1094.89    204.40      5.36   1000000         0
850.11/850.40	c       779      1075   1075.21    206.03      5.22   1000000         0
851.91/852.24	c       804      1021   1067.97    203.35      5.25   1000000         0
853.71/854.09	c       807       952   1082.97    216.62      5.00   1000000         0
855.61/855.95	c       811      1100   1106.16    210.83      5.25   1000000         0
857.51/857.80	c       840       981   1083.95    209.30      5.18   1000000         0
859.31/859.66	c       773      1018   1093.51    200.21      5.46   1000000         0
861.21/861.52	c       828       925   1094.74    206.90      5.29   1000000         0
863.01/863.36	c       765       896   1063.64    192.44      5.53   1000000         0
864.91/865.21	c       800      1094   1095.80    161.84      6.77   1000000         0
866.71/867.06	c       770      1014   1088.12    260.81      4.17   1000000         0
868.61/868.91	c       794      1098   1080.88    208.48      5.18   1000000         0
870.40/870.76	c       780      1028   1082.77    181.06      5.98   1000000         0
872.30/872.62	c       823      1007   1082.73    211.65      5.12   1000000         0
874.11/874.48	c       832      1182   1103.97    215.59      5.12   1000000         0
876.00/876.33	c       810      1144   1088.80    214.67      5.07   1000000         0
877.80/878.18	c       787      1024   1076.80    234.09      4.60   1000000         0
879.71/880.03	c       794      1063   1098.44    198.14      5.54   1000000         0
881.50/881.88	c       748      1053   1080.46    246.92      4.38   1000000         0
883.40/883.75	c       845      1025   1110.05    205.31      5.41   1000000         0
885.21/885.59	c       823       990   1077.33    184.85      5.83   1000000         0
887.10/887.46	c       836      1023   1130.81    240.23      4.71   1000000         0
889.00/889.33	c       804      1105   1123.00    217.75      5.16   1000000         0
890.80/891.18	c       783      1099   1101.25    196.11      5.62   1000000         0
892.70/893.02	c       817      1111   1091.01    191.12      5.71   1000000         0
894.50/894.89	c       818      1091   1117.24    240.44      4.65   1000000         0
896.40/896.74	c       793      1050   1084.35    200.08      5.42   1000000         0
898.30/898.61	c       828      1096   1111.82    221.41      5.02   1000000         0
900.10/900.45	c       795       979   1075.83    191.03      5.63   1000000         0
901.99/902.31	c       752       961   1088.55    249.35      4.37   1000000         0
903.80/904.17	c       798      1011   1115.15    254.98      4.37   1000000         0
905.69/906.03	c       834       954   1097.16    179.63      6.11   1000000         0
907.49/907.88	c       782       977   1078.60    217.89      4.95   1000000         0
909.40/909.75	c       810      1079   1115.61    201.98      5.52   1000000         0
911.29/911.60	c       772      1154   1097.62    225.21      4.87   1000000         0
913.09/913.44	c       737       993   1084.87    195.09      5.56   1000000         0
914.90/915.27	c       769      1066   1041.26    199.25      5.23   1000000         0
916.79/917.12	c       811      1130   1086.84    219.29      4.96   1000000         0
918.59/918.99	c       806      1014   1110.21    260.65      4.26   1000000         0
920.49/920.85	c       790      1085   1101.32    260.60      4.23   1000000         0
922.29/922.69	c       783       931   1071.19    272.81      3.93   1000000         0
924.19/924.55	c       805       974   1088.36    213.25      5.10   1000000         0
925.99/926.39	c       710       994   1068.66    209.07      5.11   1000000         0
927.88/928.23	c       793      1067   1080.14    195.79      5.52   1000000         0
929.68/930.09	c       810      1112   1094.24    223.73      4.89   1000000         0
931.58/931.94	c       815      1048   1081.53    174.01      6.22   1000000         0
933.38/933.79	c       812       933   1096.99    233.37      4.70   1000000         0
935.28/935.65	c       821       964   1106.27    239.48      4.62   1000000         0
937.18/937.50	c       753      1024   1074.40    188.16      5.71   1000000         0
938.99/939.35	c       821       984   1085.04    186.55      5.82   1000000         0
940.88/941.21	c       825       992   1101.91    219.74      5.01   1000000         0
942.68/943.07	c       759      1034   1095.91    201.86      5.43   1000000         0
944.59/944.92	c       804      1048   1093.48    220.67      4.96   1000000         0
946.38/946.77	c       794      1015   1077.48    228.57      4.71   1000000         0
948.28/948.63	c       832      1089   1096.13    187.69      5.84   1000000         0
950.09/950.47	c       793      1066   1065.43    196.07      5.43   1000000         0
951.98/952.31	c       785      1152   1057.72    179.41      5.90   1000000         0
953.78/954.16	c       822      1000   1099.48    207.86      5.29   1000000         0
955.68/956.02	c       791      1007   1096.85    188.58      5.82   1000000         0
957.48/957.88	c       755      1027   1081.06    250.29      4.32   1000000         0
959.38/959.73	c       810      1026   1079.17    238.50      4.52   1000000         0
961.17/961.59	c       800      1022   1110.66    191.02      5.81   1000000         0
963.07/963.44	c       772       976   1088.49    225.21      4.83   1000000         0
964.97/965.31	c       868      1068   1116.00    187.71      5.95   1000000         0
966.77/967.17	c       788       942   1086.89    234.40      4.64   1000000         0
968.68/969.02	c       744       985   1075.29    231.80      4.64   1000000         0
970.47/970.87	c       776      1067   1069.53    186.26      5.74   1000000         0
972.37/972.72	c       820      1006   1103.20    196.32      5.62   1000000         0
974.18/974.57	c       814      1109   1096.15    196.20      5.59   1000000         0
976.07/976.43	c       842      1006   1097.15    185.16      5.93   1000000         0
977.87/978.27	c       787      1143   1077.56    195.48      5.51   1000000         0
979.78/980.11	c       794      1008   1051.39    189.80      5.54   1000000         0
981.57/981.97	c       843      1026   1107.26    205.30      5.39   1000000         0
983.47/983.82	c       773      1041   1080.39    230.15      4.69   1000000         0
985.27/985.68	c       804      1301   1093.20    219.59      4.98   1000000         0
987.17/987.54	c       860      1016   1116.56    185.14      6.03   1000000         0
988.97/989.40	c       782      1098   1099.24    228.58      4.81   1000000         0
990.87/991.24	c       802       951   1080.30    222.65      4.85   1000000         0
992.77/993.10	c       774      1066   1102.19    208.28      5.29   1000000         0
994.56/994.94	c       806       892   1077.72    192.08      5.61   1000000         0
996.46/996.80	c       826      1166   1102.31    226.92      4.86   1000000         0
998.26/998.64	c       762      1005   1063.12    197.05      5.40   1000000         0
1000.06/1000.47	c       823       955   1052.23    179.20      5.87   1000000         0
1001.96/1002.32	c       737       964   1077.30    205.63      5.24   1000000         0
1003.76/1004.18	c       790       949   1118.88    248.55      4.50   1000000         0
1005.66/1006.03	c       718      1125   1061.67    204.32      5.20   1000000         0
1007.46/1007.86	c       825      1108   1077.51    179.89      5.99   1000000         0
1009.37/1009.71	c       812      1086   1069.19    190.96      5.60   1000000         0
1011.16/1011.56	c       743      1150   1087.60    248.03      4.38   1000000         0
1013.06/1013.41	c       779       848   1082.99    212.76      5.09   1000000         0
1014.86/1015.28	c       790      1025   1123.17    230.57      4.87   1000000         0
1016.76/1017.12	c       805      1029   1068.03    205.67      5.19   1000000         0
1018.56/1018.97	c       741       943   1083.41    222.30      4.87   1000000         0
1020.46/1020.81	c       822      1101   1069.78    212.89      5.02   1000000         0
1022.25/1022.67	c       761      1094   1093.84    197.17      5.55   1000000         0
1024.15/1024.52	c       784      1103   1065.80    175.19      6.08   1000000         0
1025.96/1026.36	c       831       980   1076.72    209.23      5.15   1000000         0
1027.85/1028.22	c       789      1009   1105.98    205.96      5.37   1000000         0
1029.65/1030.06	c       733       905   1080.43    242.73      4.45   1000000         0
1031.55/1031.92	c       795       972   1105.50    219.96      5.03   1000000         0
1033.35/1033.77	c       715       993   1077.23    241.25      4.47   1000000         0
1035.25/1035.62	c       821      1047   1082.33    226.61      4.78   1000000         0
1037.05/1037.46	c       745       927   1049.86    201.22      5.22   1000000         0
1038.95/1039.30	c       796      1094   1072.10    199.05      5.39   1000000         0
1040.75/1041.16	c       790      1082   1093.36    234.95      4.65   1000000         0
1042.65/1043.02	c       773       948   1112.07    199.39      5.58   1000000         0
1044.45/1044.86	c       779       933   1065.45    201.10      5.30   1000000         0
1046.35/1046.71	c       778      1017   1090.90    190.13      5.74   1000000         0
1048.15/1048.55	c       791       919   1070.41    208.18      5.14   1000000         0
1050.05/1050.41	c       857      1040   1112.46    174.20      6.39   1000000         0
1051.85/1052.25	c       744       917   1062.26    210.52      5.05   1000000         0
1053.74/1054.11	c       761       897   1101.07    243.64      4.52   1000000         0
1055.55/1055.96	c       794       988   1080.15    180.83      5.97   1000000         0
1057.44/1057.82	c       857      1088   1095.67    192.17      5.70   1000000         0
1059.24/1059.67	c       735       901   1083.98    199.98      5.42   1000000         0
1061.15/1061.53	c       753      1021   1085.37    223.24      4.86   1000000         0
1062.94/1063.37	c       777      1012   1054.55    192.15      5.49   1000000         0
1064.84/1065.22	c       852      1085   1085.40    181.12      5.99   1000000         0
1066.65/1067.06	c       767      1110   1082.95    195.07      5.55   1000000         0
1068.54/1068.91	c       823      1016   1091.55    203.98      5.35   1000000         0
1070.34/1070.77	c       838      1018   1091.16    222.11      4.91   1000000         0
1072.24/1072.63	c       784      1024   1082.71    225.32      4.81   1000000         0
1074.04/1074.48	c       784      1011   1100.65    210.38      5.23   1000000         0
1075.94/1076.34	c       838      1028   1109.32    163.50      6.78   1000000         0
1077.84/1078.20	c       796      1158   1098.38    232.12      4.73   1000000         0
1079.64/1080.06	c       829      1079   1103.14    239.08      4.61   1000000         0
1081.54/1081.92	c       809      1022   1088.84    220.62      4.94   1000000         0
1083.34/1083.76	c       792       946   1078.06    176.43      6.11   1000000         0
1085.24/1085.62	c       839      1158   1101.88    196.45      5.61   1000000         0
1087.03/1087.49	c       851      1061   1129.29    235.61      4.79   1000000         0
1088.93/1089.34	c       800      1052   1074.93    196.41      5.47   1000000         0
1090.74/1091.18	c       817      1024   1079.05    226.60      4.76   1000000         0
1092.63/1093.02	c       783      1009   1058.18    187.99      5.63   1000000         0
1094.43/1094.87	c       811       932   1083.33    200.65      5.40   1000000         0
1096.34/1096.72	c       815      1006   1097.71    206.25      5.32   1000000         0
1098.13/1098.57	c       807      1009   1098.12    199.91      5.49   1000000         0
1100.03/1100.43	c       739       900   1074.44    230.25      4.67   1000000         0
1101.84/1102.28	c       773       917   1094.42    254.76      4.30   1000000         0
1103.73/1104.14	c       750      1116   1100.31    213.56      5.15   1000000         0
1105.63/1106.00	c       815       953   1099.25    259.98      4.23   1000000         0
1107.43/1107.85	c       781       921   1081.23    230.18      4.70   1000000         0
1109.33/1109.70	c       775       949   1094.50    244.25      4.48   1000000         0
1111.13/1111.55	c       796       912   1084.29    187.52      5.78   1000000         0
1112.93/1113.38	c       742      1029   1042.79    187.45      5.56   1000000         0
1114.82/1115.22	c       792       936   1060.72    188.48      5.63   1000000         0
1116.62/1117.08	c       711      1177   1109.16    196.87      5.63   1000000         0
1118.52/1118.94	c       819      1084   1101.53    234.64      4.69   1000000         0
1120.32/1120.79	c       843      1185   1094.08    162.10      6.75   1000000         0
1122.22/1122.65	c       751       914   1110.72    236.51      4.70   1000000         0
1124.12/1124.50	c       812      1016   1085.99    195.63      5.55   1000000         0
1125.93/1126.36	c       787      1025   1079.79    230.96      4.68   1000000         0
1127.72/1128.19	c       753      1163   1047.69    199.11      5.26   1000000         0
1129.62/1130.05	c       824      1091   1090.53    207.76      5.25   1000000         0
1131.42/1131.89	c       773       993   1086.60    189.85      5.72   1000000         0
1133.32/1133.75	c       860       900   1091.36    208.11      5.24   1000000         0
1135.22/1135.61	c       807       969   1096.46    235.08      4.66   1000000         0
1137.02/1137.46	c       773       999   1078.04    213.72      5.04   1000000         0
1138.92/1139.30	c       775      1027   1070.37    223.82      4.78   1000000         0
1140.71/1141.15	c       803      1036   1080.01    216.36      4.99   1000000         0
1142.52/1142.99	c       830      1196   1073.41    217.56      4.93   1000000         0
1144.41/1144.83	c       734       991   1058.00    200.28      5.28   1000000         0
1146.21/1146.67	c       759      1042   1068.15    163.48      6.53   1000000         0
1148.11/1148.52	c       773      1026   1099.97    211.17      5.21   1000000         0
1149.91/1150.37	c       788      1068   1082.35    218.80      4.95   1000000         0
1151.81/1152.22	c       737      1138   1074.77    185.11      5.81   1000000         0
1153.61/1154.07	c       833      1007   1091.00    200.26      5.45   1000000         0
1155.51/1155.93	c       732      1025   1089.94    219.35      4.97   1000000         0
1157.31/1157.77	c       785       996   1060.57    184.88      5.74   1000000         0
1159.21/1159.64	c       834      1001   1124.28    233.31      4.82   1000000         0
1161.01/1161.50	c       851      1103   1097.28    218.27      5.03   1000000         0
1162.91/1163.34	c       749       939   1062.42    200.81      5.29   1000000         0
1164.71/1165.19	c       791      1055   1085.93    230.46      4.71   1000000         0
1166.61/1167.03	c       767       990   1063.39    207.22      5.13   1000000         0
1168.41/1168.88	c       791       967   1073.39    224.18      4.79   1000000         0
1170.31/1170.73	c       766      1100   1085.78    192.90      5.63   1000000         0
1172.11/1172.58	c       788      1112   1080.92    185.58      5.82   1000000         0
1174.00/1174.43	c       770       901   1077.39    210.45      5.12   1000000         0
1175.90/1176.30	c       837      1099   1123.44    226.93      4.95   1000000         0
1177.71/1178.14	c       842      1011   1089.35    150.14      7.26   1000000         0
1179.50/1179.99	c       777      1060   1084.32    172.88      6.27   1000000         0
1181.40/1181.83	c       782      1099   1078.94    190.38      5.67   1000000         0
1183.21/1183.70	c       809      1148   1112.55    226.21      4.92   1000000         0
1185.10/1185.53	c       813       975   1065.81    194.85      5.47   1000000         0
1186.90/1187.38	c       749      1116   1082.82    214.86      5.04   1000000         0
1188.80/1189.22	c       776      1047   1075.51    187.70      5.73   1000000         0
1190.60/1191.06	c       795      1032   1050.02    200.22      5.24   1000000         0
1192.50/1192.93	c       809       953   1131.27    205.19      5.51   1000000         0
1194.30/1194.77	c       787      1046   1076.80    158.03      6.81   1000000         0
1196.20/1196.61	c       834       969   1072.91    163.18      6.57   1000000         0
1198.00/1198.47	c       736       988   1109.99    210.77      5.27   1000000         0
1199.90/1200.33	c       817      1008   1106.40    227.63      4.86   1000000         0
1201.70/1202.18	c       752      1109   1083.79    221.02      4.90   1000000         0
1203.60/1204.03	c       819      1047   1097.44    208.39      5.27   1000000         0
1205.39/1205.88	c       741      1110   1108.49    203.27      5.45   1000000         0
1207.30/1207.73	c       840       964   1094.69    175.36      6.24   1000000         0
1209.09/1209.58	c       791       996   1080.59    242.88      4.45   1000000         0
1210.99/1211.43	c       802      1058   1100.76    230.63      4.77   1000000         0
1212.80/1213.29	c       791      1161   1087.36    220.06      4.94   1000000         0
1214.69/1215.12	c       718      1004   1051.95    222.04      4.74   1000000         0
1216.49/1216.98	c       772       928   1098.62    230.42      4.77   1000000         0
1218.40/1218.82	c       706       962   1052.85    181.69      5.79   1000000         0
1220.19/1220.66	c       784       857   1067.16    211.87      5.04   1000000         0
1222.09/1222.50	c       804      1029   1082.03    222.27      4.87   1000000         0
1223.90/1224.35	c       758      1101   1087.02    257.53      4.22   1000000         0
1225.79/1226.20	c       747       812   1079.84    209.71      5.15   1000000         0
1227.59/1228.07	c       814      1019   1107.28    234.78      4.72   1000000         0
1229.49/1229.92	c       823       941   1079.97    214.27      5.04   1000000         0
1231.29/1231.78	c       813      1127   1119.32    203.73      5.49   1000000         0
1233.18/1233.63	c       782      1064   1083.48    207.78      5.21   1000000         0
1234.99/1235.50	c       798       927   1098.94    232.09      4.73   1000000         0
1236.88/1237.37	c       798      1076   1122.90    244.47      4.59   1000000         0
1238.78/1239.22	c       772       962   1064.76    215.30      4.95   1000000         0
1240.58/1241.06	c       793      1324   1070.85    181.56      5.90   1000000         0
1242.49/1242.92	c       788       924   1096.23    228.64      4.79   1000000         0
1244.28/1244.77	c       841       981   1102.11    223.77      4.93   1000000         0
1246.18/1246.64	c       791       940   1097.11    191.56      5.73   1000000         0
1247.99/1248.50	c       856       936   1108.54    211.54      5.24   1000000         0
1249.88/1250.35	c       770      1030   1084.37    221.14      4.90   1000000         0
1251.78/1252.21	c       733       950   1085.90    230.29      4.72   1000000         0
1253.59/1254.06	c       806      1084   1086.18    201.88      5.38   1000000         0
1255.48/1255.92	c       814      1064   1084.47    227.49      4.77   1000000         0
1257.28/1257.76	c       821      1059   1074.58    220.30      4.88   1000000         0
1259.18/1259.60	c       801      1058   1062.80    207.47      5.12   1000000         0
1260.98/1261.45	c       784       935   1078.21    209.79      5.14   1000000         0
1262.88/1263.31	c       827      1042   1104.60    226.86      4.87   1000000         0
1264.67/1265.16	c       808      1062   1071.23    182.55      5.87   1000000         0
1266.57/1267.02	c       793       991   1087.82    262.97      4.14   1000000         0
1268.37/1268.88	c       835      1111   1116.61    227.13      4.92   1000000         0
1270.27/1270.74	c       776      1069   1107.72    220.55      5.02   1000000         0
1272.18/1272.60	c       849       991   1102.25    225.37      4.89   1000000         0
1273.97/1274.45	c       845      1001   1088.44    178.85      6.09   1000000         0
1275.87/1276.30	c       765      1067   1091.21    214.66      5.08   1000000         0
1277.68/1278.16	c       787      1085   1090.80    237.57      4.59   1000000         0
1279.57/1280.01	c       759      1196   1078.39    187.12      5.76   1000000         0
1281.37/1281.86	c       770      1252   1094.42    223.43      4.90   1000000         0
1283.28/1283.70	c       765       946   1063.14    214.94      4.95   1000000         0
1285.07/1285.57	c       836      1019   1119.33    220.38      5.08   1000000         0
1286.97/1287.43	c       780      1037   1103.60    241.78      4.56   1000000         0
1288.87/1289.30	c       826       977   1120.25    212.91      5.26   1000000         0
1290.67/1291.15	c       751      1039   1071.02    219.16      4.89   1000000         0
1292.56/1293.01	c       837       933   1096.89    212.71      5.16   1000000         0
1294.36/1294.86	c       828      1007   1086.12    199.97      5.43   1000000         0
1296.26/1296.71	c       708       956   1073.81    196.95      5.45   1000000         0
1298.06/1298.57	c       723       972   1098.68    278.88      3.94   1000000         0
1299.96/1300.42	c       696      1103   1083.98    217.49      4.98   1000000         0
1301.76/1302.28	c       759       967   1104.02    185.21      5.96   1000000         0
1303.66/1304.11	c       803       971   1061.47    192.19      5.52   1000000         0
1305.46/1305.98	c       888      1076   1131.47    221.67      5.10   1000000         0
1307.37/1307.83	c       791       911   1084.88    234.56      4.63   1000000         0
1309.26/1309.70	c       806      1064   1103.76    194.67      5.67   1000000         0
1311.06/1311.54	c       751       978   1081.81    179.21      6.04   1000000         0
1312.86/1313.39	c       730      1115   1084.73    225.61      4.81   1000000         0
1314.76/1315.23	c       745      1071   1083.10    191.50      5.66   1000000         0
1316.56/1317.09	c       820      1121   1102.91    200.46      5.50   1000000         0
1318.46/1318.96	c       832       985   1119.41    247.37      4.53   1000000         0
1320.36/1320.81	c       784      1078   1085.40    219.55      4.94   1000000         0
1322.16/1322.65	c       768       868   1068.47    206.93      5.16   1000000         0
1324.05/1324.50	c       803      1037   1092.66    218.55      5.00   1000000         0
1325.85/1326.36	c       824       935   1102.77    212.80      5.18   1000000         0
1327.75/1328.23	c       862      1024   1118.40    232.42      4.81   1000000         0
1329.55/1330.08	c       814       958   1077.34    226.76      4.75   1000000         0
1331.45/1331.92	c       810       993   1057.91    224.52      4.71   1000000         0
1333.25/1333.78	c       780      1002   1101.92    258.84      4.26   1000000         0
1335.15/1335.63	c       775      1144   1063.85    206.46      5.15   1000000         0
1336.95/1337.48	c       778      1051   1105.00    230.33      4.80   1000000         0
1338.85/1339.32	c       752      1076   1061.72    208.14      5.10   1000000         0
1340.65/1341.18	c       786       998   1113.94    244.00      4.57   1000000         0
1342.56/1343.04	c       827      1159   1091.12    190.73      5.72   1000000         0
1344.45/1344.90	c       833       976   1127.24    228.43      4.93   1000000         0
1346.25/1346.77	c       849      1019   1099.87    218.39      5.04   1000000         0
1348.16/1348.61	c       776       943   1071.97    208.77      5.13   1000000         0
1349.95/1350.47	c       741      1119   1097.66    258.95      4.24   1000000         0
1351.85/1352.32	c       789      1081   1084.29    226.15      4.79   1000000         0
1353.65/1354.17	c       831      1101   1083.13    208.52      5.19   1000000         0
1355.54/1356.03	c       815      1235   1104.80    225.83      4.89   1000000         0
1357.34/1357.88	c       750       938   1091.76    200.96      5.43   1000000         0
1359.24/1359.72	c       735      1074   1080.97    216.45      4.99   1000000         0
1361.04/1361.58	c       853      1093   1095.13    197.61      5.54   1000000         0
1362.94/1363.43	c       830      1059   1102.18    216.72      5.09   1000000         0
1364.74/1365.27	c       736      1054   1071.22    210.27      5.09   1000000         0
1366.64/1367.13	c       776      1045   1088.28    248.52      4.38   1000000         0
1368.44/1368.98	c       827       986   1077.74    209.11      5.15   1000000         0
1370.34/1370.82	c       753      1005   1080.08    255.01      4.24   1000000         0
1372.14/1372.67	c       839      1000   1080.10    207.15      5.21   1000000         0
1374.04/1374.52	c       801       934   1066.95    200.99      5.31   1000000         0
1375.84/1376.38	c       812      1030   1106.26    228.31      4.85   1000000         0
1377.74/1378.25	c       816       949   1103.93    228.81      4.82   1000000         0
1379.64/1380.11	c       790      1006   1109.06    246.48      4.50   1000000         0
1381.44/1381.94	c       738       923   1057.51    213.80      4.95   1000000         0
1383.24/1383.79	c       773      1010   1084.32    214.73      5.05   1000000         0
1385.13/1385.63	c       755      1036   1063.56    214.78      4.95   1000000         0
1386.93/1387.47	c       812       906   1069.59    196.57      5.44   1000000         0
1388.84/1389.33	c       815      1130   1108.29    225.19      4.92   1000000         0
1390.63/1391.17	c       817       971   1073.99    224.92      4.78   1000000         0
1392.53/1393.03	c       785       984   1079.91    184.37      5.86   1000000         0
1394.34/1394.88	c       796      1235   1098.15    201.78      5.44   1000000         0
1396.23/1396.73	c       737      1065   1079.67    237.45      4.55   1000000         0
1398.03/1398.57	c       802       880   1082.63    198.48      5.45   1000000         0
1399.93/1400.44	c       844      1055   1135.81    232.94      4.88   1000000         0
1401.73/1402.29	c       831      1026   1087.07    203.88      5.33   1000000         0
1403.63/1404.15	c       841      1187   1107.80    236.83      4.68   1000000         0
1405.53/1406.00	c       790      1084   1073.14    203.52      5.27   1000000         0
1407.33/1407.84	c       803      1005   1070.02    194.54      5.50   1000000         0
1409.23/1409.70	c       833       966   1110.56    247.90      4.48   1000000         0
1411.03/1411.55	c       802       947   1084.90    203.96      5.32   1000000         0
1412.83/1413.39	c       807      1104   1073.70    160.98      6.67   1000000         0
1414.72/1415.25	c       802      1300   1099.20    241.63      4.55   1000000         0
1416.62/1417.12	c       767      1000   1113.44    197.20      5.65   1000000         0
1418.43/1418.97	c       764      1099   1095.26    233.10      4.70   1000000         0
1420.32/1420.82	c       795      1075   1105.54    219.28      5.04   1000000         0
1422.12/1422.68	c       811       913   1085.11    234.00      4.64   1000000         0
1424.03/1424.54	c       783       987   1127.31    206.73      5.45   1000000         0
1425.82/1426.39	c       763      1040   1087.17    211.64      5.14   1000000         0
1427.72/1428.25	c       794      1092   1099.40    227.46      4.83   1000000         0
1429.62/1430.11	c       813      1014   1098.61    224.18      4.90   1000000         0
1431.42/1431.96	c       822      1036   1082.43    184.89      5.85   1000000         0
1433.32/1433.83	c       791       955   1103.51    281.48      3.92   1000000         0
1435.12/1435.69	c       794       992   1094.73    235.67      4.65   1000000         0
1437.02/1437.55	c       763       942   1091.83    213.59      5.11   1000000         0
1438.82/1439.39	c       785      1162   1068.74    216.10      4.95   1000000         0
1440.71/1441.24	c       801      1133   1069.95    193.64      5.53   1000000         0
1442.51/1443.08	c       775       989   1072.08    205.00      5.23   1000000         0
1444.41/1444.95	c       857       917   1101.15    220.80      4.99   1000000         0
1446.31/1446.81	c       743      1089   1118.87    232.19      4.82   1000000         0
1448.12/1448.65	c       787       956   1060.21    173.98      6.09   1000000         0
1450.01/1450.50	c       822      1039   1089.24    212.14      5.13   1000000         0
1451.81/1452.34	c       709      1072   1083.52    220.48      4.91   1000000         0
1453.72/1454.21	c       841      1041   1129.29    222.15      5.08   1000000         0
1455.51/1456.06	c       798      1041   1083.67    214.13      5.06   1000000         0
1457.41/1457.90	c       757      1144   1061.81    219.45      4.84   1000000         0
1459.22/1459.74	c       775      1025   1076.35    188.75      5.70   1000000         0
1461.01/1461.59	c       799       990   1082.28    214.88      5.04   1000000         0
1462.91/1463.44	c       787       994   1105.45    186.53      5.93   1000000         0
1464.81/1465.30	c       780       974   1096.68    235.99      4.65   1000000         0
1466.61/1467.16	c       784       969   1083.82    208.20      5.21   1000000         0
1468.51/1469.02	c       811      1050   1124.47    205.23      5.48   1000000         0
1470.31/1470.88	c       761      1059   1098.20    238.12      4.61   1000000         0
1472.21/1472.72	c       824      1006   1085.00    175.07      6.20   1000000         0
1474.00/1474.58	c       844       957   1096.28    227.64      4.82   1000000         0
1475.90/1476.43	c       765      1038   1075.06    214.75      5.01   1000000         0
1477.70/1478.27	c       772      1069   1079.09    211.50      5.10   1000000         0
1479.60/1480.13	c       797       919   1093.94    207.90      5.26   1000000         0
1481.40/1481.99	c       762      1081   1104.15    260.94      4.23   1000000         0
1483.31/1483.83	c       823      1063   1062.90    208.15      5.11   1000000         0
1485.10/1485.68	c       734       951   1082.03    228.16      4.74   1000000         0
1487.00/1487.55	c       814      1015   1117.40    245.93      4.54   1000000         0
1488.81/1489.39	c       781       975   1080.70    194.59      5.55   1000000         0
1490.70/1491.24	c       804      1000   1059.43    184.77      5.73   1000000         0
1492.60/1493.10	c       814      1124   1117.96    218.72      5.11   1000000         0
1494.41/1494.96	c       821      1017   1094.84    228.02      4.80   1000000         0
1496.30/1496.82	c       801       970   1098.91    251.47      4.37   1000000         0
1498.10/1498.68	c       815      1126   1106.04    224.21      4.93   1000000         0
1500.00/1500.53	c       780      1013   1076.84    243.74      4.42   1000000         0
1501.80/1502.39	c       799      1026   1088.23    219.62      4.96   1000000         0
1503.70/1504.23	c       766      1037   1068.61    185.14      5.77   1000000         0
1505.50/1506.09	c       820       965   1105.73    242.78      4.55   1000000         0
1507.39/1507.95	c       874      1099   1127.72    174.84      6.45   1000000         0
1509.19/1509.79	c       723      1042   1070.66    200.63      5.34   1000000         0
1511.09/1511.65	c       788       962   1102.77    256.39      4.30   1000000         0
1512.89/1513.49	c       782       885   1078.02    209.89      5.14   1000000         0
1514.79/1515.34	c       792      1034   1066.93    201.57      5.29   1000000         0
1516.69/1517.20	c       821      1083   1099.38    198.00      5.55   1000000         0
1518.50/1519.07	c       818      1123   1119.41    226.92      4.93   1000000         0
1520.39/1520.92	c       817       947   1092.15    218.41      5.00   1000000         0
1522.19/1522.77	c       843       919   1090.35    189.42      5.76   1000000         0
1524.10/1524.62	c       806       957   1093.89    250.16      4.37   1000000         0
1525.89/1526.49	c       821       942   1098.85    235.37      4.67   1000000         0
1527.79/1528.32	c       784       933   1066.06    202.98      5.25   1000000         0
1529.59/1530.17	c       802      1135   1081.90    220.47      4.91   1000000         0
1531.49/1532.02	c       860      1047   1094.97    230.80      4.74   1000000         0
1533.29/1533.86	c       787      1110   1077.16    224.71      4.79   1000000         0
1535.19/1535.71	c       820      1090   1089.30    210.08      5.19   1000000         0
1536.98/1537.56	c       797      1024   1077.96    225.63      4.78   1000000         0
1538.88/1539.41	c       765       971   1067.95    213.11      5.01   1000000         0
1540.68/1541.27	c       811      1117   1117.98    228.38      4.90   1000000         0
1542.58/1543.13	c       823      1066   1107.60    227.71      4.86   1000000         0
1544.38/1544.97	c       815       908   1074.95    165.33      6.50   1000000         0
1546.28/1546.83	c       844       946   1104.06    202.67      5.45   1000000         0
1548.08/1548.69	c       770       913   1111.70    213.51      5.21   1000000         0
1549.98/1550.55	c       775      1018   1077.49    240.89      4.47   1000000         0
1551.78/1552.39	c       719       978   1090.29    228.17      4.78   1000000         0
1553.69/1554.25	c       860       931   1084.36    171.68      6.32   1000000         0
1555.48/1556.09	c       840      1012   1092.08    194.19      5.62   1000000         0
1557.38/1557.94	c       788      1078   1092.64    214.42      5.10   1000000         0
1559.18/1559.79	c       795      1052   1090.77    173.35      6.29   1000000         0
1561.08/1561.64	c       798       990   1085.54    180.66      6.01   1000000         0
1562.88/1563.49	c       782      1097   1095.97    204.42      5.36   1000000         0
1564.78/1565.35	c       812      1089   1104.25    208.71      5.29   1000000         0
1566.67/1567.21	c       785      1090   1089.11    192.19      5.67   1000000         0
1568.47/1569.06	c       757      1046   1088.42    189.82      5.73   1000000         0
1570.37/1570.91	c       763       890   1087.44    188.50      5.77   1000000         0
1572.17/1572.77	c       829       886   1100.65    223.41      4.93   1000000         0
1574.07/1574.62	c       826       965   1096.59    221.53      4.95   1000000         0
1575.87/1576.45	c       735       909   1059.80    189.14      5.60   1000000         0
1577.77/1578.31	c       755      1103   1088.93    253.13      4.30   1000000         0
1579.57/1580.16	c       784      1123   1082.78    233.19      4.64   1000000         0
1581.47/1582.01	c       773      1106   1068.65    194.25      5.50   1000000         0
1583.27/1583.86	c       803      1151   1083.98    198.13      5.47   1000000         0
1585.17/1585.72	c       850      1027   1103.10    202.93      5.44   1000000         0
1586.97/1587.58	c       772      1026   1099.50    187.36      5.87   1000000         0
1588.87/1589.43	c       706       895   1094.77    188.94      5.79   1000000         0
1590.67/1591.28	c       784      1076   1077.93    201.73      5.34   1000000         0
1592.57/1593.13	c       798       947   1085.61    190.56      5.70   1000000         0
1594.37/1594.98	c       777       911   1079.81    221.64      4.87   1000000         0
1596.27/1596.83	c       811      1060   1104.12    207.03      5.33   1000000         0
1598.06/1598.69	c       826      1019   1098.48    187.67      5.85   1000000         0
1599.97/1600.53	c       725      1076   1074.67    202.57      5.31   1000000         0
1601.76/1602.38	c       797       960   1078.55    240.84      4.48   1000000         0
1603.66/1604.21	c       762       974   1065.66    173.83      6.13   1000000         0
1605.47/1606.07	c       809      1103   1101.37    227.04      4.85   1000000         0
1607.36/1607.93	c       796      1066   1107.31    252.10      4.39   1000000         0
1609.16/1609.78	c       831      1072   1092.01    179.45      6.09   1000000         0
1611.06/1611.62	c       794      1058   1077.47    190.46      5.66   1000000         0
1612.86/1613.48	c       672      1053   1085.49    270.64      4.01   1000000         0
1614.76/1615.35	c       864       979   1119.81    242.00      4.63   1000000         0
1616.66/1617.20	c       781      1055   1082.68    219.23      4.94   1000000         0
1618.46/1619.05	c       789      1021   1076.67    235.08      4.58   1000000         0
1620.36/1620.92	c       810       872   1126.25    251.19      4.48   1000000         0
1622.16/1622.77	c       771       991   1088.69    213.00      5.11   1000000         0
1624.06/1624.63	c       793      1021   1099.99    200.94      5.47   1000000         0
1625.86/1626.48	c       848       940   1085.68    210.08      5.17   1000000         0
1627.75/1628.33	c       838       930   1091.92    178.22      6.13   1000000         0
1629.56/1630.20	c       814      1252   1114.89    207.84      5.36   1000000         0
1631.45/1632.06	c       832       955   1095.73    211.43      5.18   1000000         0
1633.35/1633.90	c       782      1026   1075.07    203.03      5.30   1000000         0
1635.16/1635.74	c       786       985   1076.74    213.36      5.05   1000000         0
1637.05/1637.60	c       802      1008   1105.89    216.47      5.11   1000000         0
1638.85/1639.45	c       764       889   1078.32    201.37      5.35   1000000         0
1640.75/1641.30	c       777      1134   1085.59    228.33      4.75   1000000         0
1642.55/1643.18	c       843      1063   1120.11    223.93      5.00   1000000         0
1644.45/1645.02	c       808      1014   1078.53    184.44      5.85   1000000         0
1646.25/1646.86	c       768      1000   1079.10    174.75      6.18   1000000         0
1648.15/1648.70	c       771       864   1062.90    219.79      4.84   1000000         0
1649.95/1650.56	c       790      1090   1100.52    196.37      5.60   1000000         0
1651.85/1652.41	c       755      1020   1078.59    233.58      4.62   1000000         0
1653.65/1654.27	c       776      1099   1100.20    230.03      4.78   1000000         0
1655.55/1656.13	c       806       933   1097.76    217.57      5.05   1000000         0
1657.35/1657.99	c       834       993   1112.06    213.48      5.21   1000000         0
1659.25/1659.84	c       834      1013   1081.56    186.88      5.79   1000000         0
1661.04/1661.68	c       787      1129   1067.17    178.37      5.98   1000000         0
1662.94/1663.53	c       762       948   1070.01    235.44      4.54   1000000         0
1664.75/1665.36	c       761      1033   1038.75    192.61      5.39   1000000         0
1666.64/1667.24	c       775       826   1130.92    237.04      4.77   1000000         0
1668.54/1669.10	c       817      1027   1105.79    250.34      4.42   1000000         0
1670.35/1670.96	c       790       957   1096.27    221.34      4.95   1000000         0
1672.24/1672.81	c       817      1172   1083.62    189.03      5.73   1000000         0
1674.04/1674.65	c       800      1088   1086.75    208.56      5.21   1000000         0
1675.94/1676.52	c       803      1105   1115.88    214.80      5.19   1000000         0
1677.74/1678.37	c       805      1006   1092.27    202.93      5.38   1000000         0
1679.64/1680.22	c       780       976   1065.07    253.55      4.20   1000000         0
1681.44/1682.07	c       787       950   1074.62    252.54      4.26   1000000         0
1683.34/1683.93	c       816      1061   1105.02    226.40      4.88   1000000         0
1685.13/1685.79	c       830      1164   1097.61    213.04      5.15   1000000         0
1687.03/1687.63	c       780       911   1061.07    216.88      4.89   1000000         0
1688.83/1689.49	c       831      1021   1098.03    197.78      5.55   1000000         0
1690.73/1691.33	c       779       963   1069.10    184.28      5.80   1000000         0
1692.53/1693.18	c       813      1019   1090.35    195.23      5.58   1000000         0
1694.44/1695.03	c       804      1124   1106.62    236.67      4.68   1000000         0
1696.23/1696.87	c       782      1077   1072.30    214.04      5.01   1000000         0
1698.13/1698.75	c       842      1041   1134.79    232.83      4.87   1000000         0
1700.04/1700.61	c       803      1078   1105.05    224.42      4.92   1000000         0
1701.83/1702.46	c       828       897   1076.12    228.64      4.71   1000000         0
1703.73/1704.31	c       795      1174   1091.46    193.32      5.65   1000000         0
1705.54/1706.17	c       795       850   1099.05    198.21      5.54   1000000         0
1707.43/1708.02	c       802       964   1096.94    217.95      5.03   1000000         0
1709.23/1709.87	c       809       962   1074.09    162.77      6.60   1000000         0
1711.13/1711.70	c       824      1057   1065.34    192.17      5.54   1000000         0
1712.93/1713.58	c       819      1048   1119.25    242.66      4.61   1000000         0
1714.83/1715.43	c       811      1127   1078.27    203.00      5.31   1000000         0
1716.63/1717.27	c       735       989   1073.08    219.67      4.88   1000000         0
1718.52/1719.13	c       770      1169   1099.08    208.20      5.28   1000000         0
1720.32/1720.99	c       830       885   1107.08    257.18      4.30   1000000         0
1722.22/1722.85	c       819       950   1115.06    204.32      5.46   1000000         0
1724.13/1724.70	c       752      1023   1100.20    218.69      5.03   1000000         0
1725.92/1726.55	c       783      1144   1091.17    197.26      5.53   1000000         0
1727.82/1728.41	c       762      1162   1098.63    243.23      4.52   1000000         0
1729.63/1730.27	c       801      1100   1109.67    190.04      5.84   1000000         0
1731.52/1732.13	c       831      1051   1109.96    211.72      5.24   1000000         0
1733.32/1733.98	c       788      1039   1081.76    236.77      4.57   1000000         0
1735.23/1735.84	c       816       986   1098.13    205.22      5.35   1000000         0
1737.02/1737.68	c       828      1126   1087.94    196.31      5.54   1000000         0
1738.92/1739.54	c       792      1029   1088.49    242.77      4.48   1000000         0
1740.72/1741.38	c       776       997   1072.20    230.09      4.66   1000000         0
1742.63/1743.25	c       861      1238   1106.53    180.68      6.12   1000000         0
1744.52/1745.11	c       814      1125   1110.69    239.94      4.63   1000000         0
1746.32/1746.95	c       830      1080   1079.66    218.07      4.95   1000000         0
1748.22/1748.81	c       795      1086   1081.49    183.08      5.91   1000000         0
1750.02/1750.67	c       833       966   1113.37    204.42      5.45   1000000         0
1751.92/1752.51	c       797       936   1073.79    197.49      5.44   1000000         0
1753.72/1754.36	c       785      1151   1073.55    229.03      4.69   1000000         0
1755.52/1756.19	c       767      1026   1048.51    170.12      6.16   1000000         0
1757.42/1758.03	c       772      1038   1068.97    224.40      4.76   1000000         0
1759.22/1759.88	c       806      1091   1060.81    181.58      5.84   1000000         0
1761.12/1761.74	c       814       958   1106.14    192.09      5.76   1000000         0
1762.92/1763.59	c       813       980   1103.86    214.60      5.14   1000000         0
1764.82/1765.44	c       819      1107   1083.38    212.66      5.09   1000000         0
1766.62/1767.29	c       780      1027   1077.26    214.03      5.03   1000000         0
1768.52/1769.14	c       730       962   1085.02    220.75      4.92   1000000         0
1770.32/1770.98	c       788       930   1073.82    244.97      4.38   1000000         0
1772.22/1772.84	c       783      1219   1105.59    175.35      6.31   1000000         0
1774.02/1774.69	c       772       880   1090.67    247.01      4.42   1000000         0
1775.92/1776.55	c       789      1300   1095.20    228.05      4.80   1000000         0
1777.81/1778.42	c       786      1087   1130.67    235.91      4.79   1000000         0
1779.61/1780.27	c       759       987   1090.73    235.41      4.63   1000000         0
1781.51/1782.12	c       745       925   1081.40    209.19      5.17   1000000         0
1783.31/1783.98	c       820       847   1100.90    215.94      5.10   1000000         0
1785.21/1785.83	c       791       986   1077.91    235.61      4.58   1000000         0
1787.01/1787.68	c       778      1083   1086.00    239.25      4.54   1000000         0
1788.91/1789.53	c       766      1065   1078.02    230.93      4.67   1000000         0
1790.71/1791.39	c       790      1059   1086.01    223.85      4.85   1000000         0
1792.61/1793.23	c       769       994   1073.76    210.25      5.11   1000000         0
1794.41/1795.08	c       848      1095   1091.84    163.12      6.69   1000000         0
1796.31/1796.94	c       791       908   1110.22    216.57      5.13   1000000         0
1798.11/1798.79	c       790      1000   1105.31    234.53      4.71   1000000         0
1800.02/1800.61	HOME/run: line 2: 19128 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-2684748-1278433504/watcher-2684748-1278433504 -o /tmp/evaluation-result-2684748-1278433504/solver-2684748-1278433504 -C 1800 -W 2000 -M 1800 run HOME/instance-2684748-1278433504.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.84 2.02 2.01 3/106 19127
/proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) R 19125 19127 19102 0 -1 4202496 342 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058989461 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0

[startup+0.095778 s]
/proc/loadavg: 1.84 2.02 2.01 3/106 19127
/proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100778 s]
/proc/loadavg: 1.84 2.02 2.01 3/106 19127
/proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300814 s]
/proc/loadavg: 1.84 2.02 2.01 3/106 19127
/proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700882 s]
/proc/loadavg: 1.84 2.02 2.01 3/106 19127
/proc/meminfo: memFree=1496668/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50102 s]
/proc/loadavg: 1.84 2.02 2.01 2/108 19129
/proc/meminfo: memFree=1488592/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1.49
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2042 0 0 0 148 1 0 0 23 0 1 0 11557458 41422848 1972 1992294400 134512640 135071400 4292873392 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1972 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.1003 s]
/proc/loadavg: 1.84 2.02 2.01 2/108 19129
/proc/meminfo: memFree=1488344/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=3.09
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2050 0 0 0 308 1 0 0 25 0 1 0 11557458 41422848 1980 1992294400 134512640 135071400 4292873392 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1980 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30185 s]
/proc/loadavg: 1.77 2.00 2.01 2/108 19130
/proc/meminfo: memFree=1488220/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=6.29
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2050 0 0 0 628 1 0 0 25 0 1 0 11557458 41422848 1980 1992294400 134512640 135071400 4292873392 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1980 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.702 s]
/proc/loadavg: 1.71 1.99 2.00 2/108 19130
/proc/meminfo: memFree=1488096/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=12.69
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2050 0 0 0 1268 1 0 0 25 0 1 0 11557458 41422848 1980 1992294400 134512640 135071400 4292873392 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1980 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5012 s]
/proc/loadavg: 1.55 1.94 1.98 2/108 19130
/proc/meminfo: memFree=1488096/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=25.48
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 2547 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1016 s]
/proc/loadavg: 1.36 1.86 1.96 2/108 19131
/proc/meminfo: memFree=1488096/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=51.07
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 5106 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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.16 1.73 1.90 2/108 19132
/proc/meminfo: memFree=1487972/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=102.26
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 10225 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526766 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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.06 1.59 1.84 2/108 19134
/proc/meminfo: memFree=1487848/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=162.24
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 16223 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.02 1.48 1.79 2/108 19135
/proc/meminfo: memFree=1487724/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=222.22
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 22221 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.39 1.74 2/108 19137
/proc/meminfo: memFree=1487724/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=282.2
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 28219 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.32 1.69 2/108 19139
/proc/meminfo: memFree=1487600/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=342.18
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 34217 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.26 1.64 2/108 19140
/proc/meminfo: memFree=1487476/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=402.16
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 40215 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1061.94
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 106193 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.01 1.27 2/108 19159
/proc/meminfo: memFree=1486360/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1121.92
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 112191 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526625 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.01 1.25 2/108 19161
/proc/meminfo: memFree=1486112/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1181.9
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 118189 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.00 1.23 2/108 19163
/proc/meminfo: memFree=1485864/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1241.88
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 124187 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.00 1.22 2/108 19164
/proc/meminfo: memFree=1485740/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1301.87
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 130186 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.00 1.20 2/108 19166
/proc/meminfo: memFree=1485616/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1361.84
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 136183 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.18 2/108 19167
/proc/meminfo: memFree=1485492/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1421.83
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 142182 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/108 19169
/proc/meminfo: memFree=1485368/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1481.8
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 148179 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/108 19171
/proc/meminfo: memFree=1485244/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1541.78
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 154177 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/108 19172
/proc/meminfo: memFree=1485120/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1601.76
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 160175 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/108 19174
/proc/meminfo: memFree=1484996/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1661.74
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 166173 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 19175
/proc/meminfo: memFree=1484872/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1721.72
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 172171 1 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134519815 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 19177
/proc/meminfo: memFree=1484748/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1781.71
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 178169 2 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 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 1.11 2/108 19177
/proc/meminfo: memFree=1484748/2059040 swapFree=4192956/4192956
[pid=19127] ppid=19125 vsize=8700 CPUtime=0
/proc/19127/stat : 19127 (run) S 19125 19127 19102 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11557458 8908800 243 1992294400 4194304 4922060 140735664655104 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19127/statm: 2175 243 204 178 0 68 0
[pid=19128] ppid=19127 vsize=40452 CPUtime=1800.02
/proc/19128/stat : 19128 (PB-wave) R 19127 19127 19102 0 -1 4202496 2051 0 0 0 180000 2 0 0 25 0 1 0 11557458 41422848 1981 1992294400 134512640 135071400 4292873392 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19128/statm: 10113 1981 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

Sleeping 2 secondsSolver 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.01
CPU system time (s): 0.022996
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.04354 second user time and 8.49971 second system time

The end

Launcher Data 

Begin job on node048 at 2010-07-06 18:25:04
IDJOB=2684748
IDBENCH=73510
IDSOLVER=1171
FILE ID=node048/2684748-1278433504
PBS_JOBID= 11233477
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= e5096dc6d98a70ac54385441089dc44c
RANDOM SEED=394858240

node048.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.262
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.262
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1497668 kB
Buffers:        102804 kB
Cached:         327600 kB
SwapCached:          0 kB
Active:         167052 kB
Inactive:       323124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1497668 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3168 kB
Writeback:           0 kB
AnonPages:       59792 kB
Mapped:          14364 kB
Slab:            49260 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179752 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= 62564 MiB
End job on node048 at 2010-07-06 18:55:05