Trace number 2684846

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.03 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12045_10-sat.opb
MD5SUMd94209abbd71e157997bae8d0198c2d1
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.354945
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24200
Total number of constraints83750
Number of constraints which are clauses83354
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint33
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 206
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 = 24638261
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 24200 #con 83750
0.00/0.21	mode is SAT
0.00/0.21	c tail starts after flip = 72600
0.00/0.21	c numatom = 24200, numclause = 83750, numliterals = 189201
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.98/2.06	c       468       664    739.80    142.99      5.17   1000000         0
3.78/3.89	c       492       716    731.45    139.74      5.23   1000000         0
5.68/5.73	c       484       853    734.68    127.93      5.74   1000000         0
7.48/7.58	c       440       711    741.79    154.74      4.79   1000000         0
9.38/9.42	c       478       639    731.59    125.80      5.82   1000000         0
11.18/11.26	c       498       713    732.82    156.13      4.69   1000000         0
13.08/13.10	c       468       748    721.18    159.29      4.53   1000000         0
14.88/14.96	c       483       711    748.66    178.05      4.20   1000000         0
16.78/16.82	c       479       654    747.05    138.29      5.40   1000000         0
18.58/18.66	c       464       775    732.12    153.05      4.78   1000000         0
20.47/20.51	c       467       696    759.24    161.34      4.71   1000000         0
22.27/22.37	c       507       821    754.92    153.49      4.92   1000000         0
24.08/24.20	c       497       698    733.30    155.40      4.72   1000000         0
25.97/26.05	c       472       794    736.80    150.28      4.90   1000000         0
27.77/27.89	c       507       605    735.76    124.93      5.89   1000000         0
29.68/29.75	c       489       924    748.76    122.24      6.13   1000000         0
31.48/31.58	c       434       632    721.07    164.91      4.37   1000000         0
33.38/33.42	c       491       709    731.17    147.40      4.96   1000000         0
35.19/35.26	c       474       749    735.14    154.18      4.77   1000000         0
37.08/37.10	c       465       743    714.42    145.01      4.93   1000000         0
38.88/38.94	c       486       624    728.77    152.28      4.79   1000000         0
40.69/40.79	c       521       800    736.14    170.69      4.31   1000000         0
42.58/42.64	c       508       597    744.52    131.10      5.68   1000000         0
44.38/44.47	c       506       785    734.66    148.68      4.94   1000000         0
46.28/46.32	c       473       692    735.28    137.58      5.34   1000000         0
48.08/48.16	c       481       855    717.59    148.86      4.82   1000000         0
49.98/50.01	c       506       661    743.08    163.46      4.55   1000000         0
51.78/51.86	c       434       856    739.04    155.99      4.74   1000000         0
53.67/53.70	c       429       756    739.38    132.52      5.58   1000000         0
55.47/55.56	c       501       666    753.53    144.69      5.21   1000000         0
57.37/57.41	c       489       737    731.50    150.62      4.86   1000000         0
59.17/59.26	c       514       721    750.15    143.08      5.24   1000000         0
61.07/61.11	c       466       733    755.74    167.22      4.52   1000000         0
62.87/62.96	c       538       655    747.70    130.83      5.72   1000000         0
64.67/64.80	c       484       667    713.26    134.54      5.30   1000000         0
66.57/66.65	c       505       760    740.02    153.93      4.81   1000000         0
68.47/68.51	c       448       687    748.29    191.32      3.91   1000000         0
70.28/70.36	c       460       829    746.07    188.50      3.96   1000000         0
72.07/72.20	c       422       725    727.15    126.49      5.75   1000000         0
73.97/74.04	c       507       832    752.51    143.17      5.26   1000000         0
75.78/75.89	c       491       702    751.97    151.91      4.95   1000000         0
77.67/77.73	c       496       873    718.54    150.71      4.77   1000000         0
79.47/79.58	c       490       589    742.29    142.61      5.20   1000000         0
81.38/81.43	c       520       725    753.47    123.02      6.12   1000000         0
83.17/83.27	c       521       667    736.11    142.97      5.15   1000000         0
85.07/85.11	c       470       726    736.61    163.46      4.51   1000000         0
86.87/86.96	c       453       608    750.80    134.75      5.57   1000000         0
88.77/88.80	c       431       695    736.72    135.70      5.43   1000000         0
90.57/90.66	c       539       672    760.67    175.50      4.33   1000000         0
92.46/92.51	c       497       634    729.31    151.55      4.81   1000000         0
94.26/94.36	c       464       747    736.39    164.85      4.47   1000000         0
96.16/96.20	c       424       783    734.88    143.65      5.12   1000000         0
97.96/98.06	c       528       765    765.01    164.09      4.66   1000000         0
99.86/99.92	c       428       821    744.63    176.16      4.23   1000000         0
101.66/101.77	c       442       622    741.90    145.21      5.11   1000000         0
103.56/103.60	c       468       612    704.66    144.79      4.87   1000000         0
105.36/105.45	c       426       645    752.37    162.48      4.63   1000000         0
107.16/107.28	c       475       864    715.61    133.45      5.36   1000000         0
109.06/109.13	c       491       672    751.89    155.13      4.85   1000000         0
110.86/110.98	c       495       625    752.74    142.08      5.30   1000000         0
112.76/112.82	c       385       709    727.22    144.47      5.03   1000000         0
114.56/114.67	c       526       787    754.10    135.73      5.56   1000000         0
116.36/116.50	c       441       675    721.46    134.75      5.35   1000000         0
118.26/118.34	c       474       732    715.40    148.18      4.83   1000000         0
120.06/120.18	c       405       687    730.15    145.71      5.01   1000000         0
121.96/122.03	c       499       731    734.77    178.42      4.12   1000000         0
123.76/123.88	c       524       792    753.44    122.63      6.14   1000000         0
125.66/125.73	c       492       657    739.17    163.04      4.53   1000000         0
127.46/127.58	c       474       649    740.27    160.61      4.61   1000000         0
129.36/129.42	c       483       625    738.53    156.74      4.71   1000000         0
131.16/131.26	c       515       807    727.90    114.46      6.36   1000000         0
133.06/133.12	c       550       750    774.21    139.80      5.54   1000000         0
134.85/134.96	c       441       704    726.59    136.88      5.31   1000000         0
136.75/136.81	c       514       546    730.89    144.53      5.06   1000000         0
138.56/138.65	c       500       730    723.60    163.25      4.43   1000000         0
140.45/140.50	c       475       865    737.90    173.49      4.25   1000000         0
142.25/142.36	c       496       789    753.34    134.33      5.61   1000000         0
144.15/144.21	c       433       772    749.69    154.36      4.86   1000000         0
145.95/146.05	c       518       632    733.60    153.10      4.79   1000000         0
147.85/147.91	c       469       670    747.49    144.20      5.18   1000000         0
149.65/149.76	c       508       690    745.18    158.18      4.71   1000000         0
151.55/151.60	c       430       734    730.88    151.70      4.82   1000000         0
153.35/153.46	c       512       647    747.52    157.39      4.75   1000000         0
155.15/155.30	c       520       780    731.92    136.93      5.35   1000000         0
157.05/157.17	c       519       724    763.91    159.78      4.78   1000000         0
158.95/159.01	c       458       664    738.21    140.29      5.26   1000000         0
160.75/160.84	c       464       637    712.76    151.51      4.70   1000000         0
162.55/162.67	c       494       632    713.70    155.14      4.60   1000000         0
164.45/164.53	c       470       602    748.78    188.60      3.97   1000000         0
166.25/166.39	c       487       616    763.38    153.57      4.97   1000000         0
168.15/168.22	c       466       701    727.46    153.46      4.74   1000000         0
169.95/170.07	c       496       707    738.36    137.68      5.36   1000000         0
171.84/171.90	c       475       752    727.72    122.98      5.92   1000000         0
173.65/173.73	c       440       651    719.80    134.69      5.34   1000000         0
175.44/175.57	c       497       893    737.06    150.31      4.90   1000000         0
177.34/177.41	c       465       697    727.13    129.54      5.61   1000000         0
179.15/179.26	c       479       626    745.41    136.74      5.45   1000000         0
181.04/181.10	c       480       726    731.78    139.40      5.25   1000000         0
182.84/182.94	c       447       725    724.03    146.36      4.95   1000000         0
184.65/184.80	c       488       746    767.60    124.88      6.15   1000000         0
186.54/186.65	c       525       700    738.22    130.60      5.65   1000000         0
188.34/188.49	c       520       736    734.46    145.12      5.06   1000000         0
190.25/190.33	c       467       617    724.04    158.07      4.58   1000000         0
192.04/192.17	c       480       609    739.63    177.12      4.18   1000000         0
193.94/194.01	c       483       597    731.28    148.80      4.91   1000000         0
195.74/195.86	c       488       648    744.16    145.65      5.11   1000000         0
197.63/197.71	c       466       615    735.28    156.34      4.70   1000000         0
199.43/199.57	c       491       751    731.96    151.90      4.82   1000000         0
201.34/201.41	c       473       726    729.62    145.63      5.01   1000000         0
203.13/203.24	c       454       718    715.15    150.25      4.76   1000000         0
204.93/205.09	c       489       698    749.26    141.35      5.30   1000000         0
206.83/206.94	c       457       701    743.32    151.04      4.92   1000000         0
208.63/208.79	c       431       595    735.21    191.09      3.85   1000000         0
210.53/210.65	c       481       647    751.23    165.03      4.55   1000000         0
212.33/212.48	c       429       671    723.38    155.00      4.67   1000000         0
214.23/214.34	c       480       759    741.37    170.76      4.34   1000000         0
216.03/216.19	c       467       613    748.08    164.54      4.55   1000000         0
217.93/218.03	c       473       652    730.55    159.84      4.57   1000000         0
219.73/219.86	c       465       683    735.52    143.32      5.13   1000000         0
221.63/221.71	c       477       836    740.04    143.81      5.15   1000000         0
223.43/223.55	c       446       711    729.50    145.36      5.02   1000000         0
225.23/225.39	c       480       787    729.11    120.93      6.03   1000000         0
227.13/227.23	c       452       829    730.23    164.28      4.45   1000000         0
228.93/229.08	c       438       472    744.97    151.65      4.91   1000000         0
230.83/230.94	c       515       903    766.10    171.52      4.47   1000000         0
232.63/232.79	c       482       758    759.99    139.97      5.43   1000000         0
234.53/234.64	c       491       747    734.34    138.70      5.29   1000000         0
236.33/236.48	c       506       703    735.55    147.43      4.99   1000000         0
238.22/238.33	c       481       811    741.73    128.18      5.79   1000000         0
240.02/240.16	c       409       658    725.40    167.19      4.34   1000000         0
241.93/242.01	c       437       708    729.46    122.53      5.95   1000000         0
243.72/243.85	c       526       720    729.65    132.10      5.52   1000000         0
245.62/245.71	c       519       763    762.97    162.84      4.69   1000000         0
247.43/247.57	c       523       700    747.07    147.36      5.07   1000000         0
249.32/249.42	c       527       870    750.87    158.57      4.74   1000000         0
251.12/251.29	c       485       826    752.86    150.98      4.99   1000000         0
253.02/253.14	c       483       819    738.56    176.36      4.19   1000000         0
254.82/254.99	c       503       619    742.63    129.66      5.73   1000000         0
256.72/256.82	c       475       631    711.07    127.34      5.58   1000000         0
258.52/258.67	c       521       771    736.20    138.45      5.32   1000000         0
260.42/260.53	c       499       671    742.46    148.98      4.98   1000000         0
262.22/262.37	c       496       813    739.75    135.39      5.46   1000000         0
264.12/264.21	c       465       609    732.10    164.77      4.44   1000000         0
265.92/266.05	c       510       639    731.77    148.92      4.91   1000000         0
267.72/267.89	c       451       753    719.78    123.52      5.83   1000000         0
269.62/269.72	c       450       767    730.90    171.66      4.26   1000000         0
271.42/271.56	c       461       618    721.04    149.36      4.83   1000000         0
273.22/273.38	c       491       831    725.79    128.38      5.65   1000000         0
275.12/275.22	c       460       725    738.69    142.02      5.20   1000000         0
276.91/277.07	c       479       784    738.87    143.71      5.14   1000000         0
278.81/278.93	c       434       791    743.22    165.63      4.49   1000000         0
280.61/280.78	c       507       828    746.55    132.95      5.62   1000000         0
282.52/282.63	c       440       709    736.24    145.82      5.05   1000000         0
284.31/284.47	c       442       710    740.92    169.91      4.36   1000000         0
286.21/286.34	c       478       706    766.73    192.89      3.97   1000000         0
288.02/288.19	c       453       689    736.38    176.82      4.16   1000000         0
289.91/290.03	c       515       820    737.24    159.92      4.61   1000000         0
291.71/291.87	c       448       669    738.50    171.67      4.30   1000000         0
293.62/293.74	c       454       733    755.91    153.75      4.92   1000000         0
295.41/295.59	c       447       615    746.95    159.17      4.69   1000000         0
297.31/297.43	c       522       689    733.10    137.27      5.34   1000000         0
299.12/299.27	c       472       755    726.26    141.99      5.11   1000000         0
301.01/301.12	c       491       755    747.93    168.51      4.44   1000000         0
302.81/302.97	c       477       598    740.49    139.40      5.31   1000000         0
304.71/304.82	c       496       751    741.43    153.67      4.82   1000000         0
306.51/306.66	c       466       649    732.10    139.54      5.25   1000000         0
308.31/308.50	c       478       735    730.65    138.90      5.26   1000000         0
310.21/310.35	c       471       770    748.37    151.88      4.93   1000000         0
312.01/312.19	c       509       751    733.89    146.10      5.02   1000000         0
313.91/314.04	c       490       633    738.39    159.51      4.63   1000000         0
315.80/315.90	c       478       636    759.75    196.05      3.88   1000000         0
317.60/317.73	c       455       706    717.05    156.95      4.57   1000000         0
319.40/319.57	c       463       726    739.29    180.88      4.09   1000000         0
321.30/321.42	c       491       689    753.29    156.02      4.83   1000000         0
323.10/323.27	c       524       736    741.74    150.45      4.93   1000000         0
325.00/325.12	c       460       736    736.03    139.71      5.27   1000000         0
326.80/326.97	c       448       611    737.56    155.19      4.75   1000000         0
328.71/328.81	c       507       714    720.59    159.70      4.51   1000000         0
330.50/330.65	c       485       772    740.17    146.91      5.04   1000000         0
332.30/332.49	c       504       687    732.10    139.46      5.25   1000000         0
334.21/334.33	c       461       668    733.70    138.52      5.30   1000000         0
336.00/336.18	c       550       792    754.73    141.08      5.35   1000000         0
337.90/338.03	c       482       789    749.71    183.56      4.08   1000000         0
339.71/339.88	c       495       675    727.21    124.33      5.85   1000000         0
341.60/341.71	c       456       583    729.76    140.59      5.19   1000000         0
343.40/343.56	c       481       627    747.22    177.20      4.22   1000000         0
345.31/345.42	c       520       728    754.34    155.16      4.86   1000000         0
347.10/347.27	c       477       679    740.21    158.07      4.68   1000000         0
349.00/349.12	c       453       758    732.33    159.66      4.59   1000000         0
350.80/350.96	c       497       786    729.51    127.28      5.73   1000000         0
352.60/352.79	c       484       658    725.87    179.59      4.04   1000000         0
354.50/354.64	c       503       812    740.95    159.58      4.64   1000000         0
356.39/356.50	c       489       784    754.84    154.76      4.88   1000000         0
358.19/358.34	c       487       639    739.09    136.61      5.41   1000000         0
359.99/360.19	c       485       691    736.35    156.46      4.71   1000000         0
361.89/362.04	c       442       763    737.30    132.91      5.55   1000000         0
363.69/363.88	c       501       729    746.56    128.43      5.81   1000000         0
365.59/365.73	c       463       839    725.04    129.86      5.58   1000000         0
367.39/367.58	c       502       779    747.37    171.23      4.36   1000000         0
369.29/369.43	c       491       679    749.10    154.25      4.86   1000000         0
371.09/371.29	c       519       854    766.05    147.18      5.20   1000000         0
372.99/373.15	c       521       756    759.49    152.48      4.98   1000000         0
374.90/375.00	c       491       754    741.99    152.11      4.88   1000000         0
376.69/376.85	c       461       696    737.18    143.48      5.14   1000000         0
378.49/378.68	c       488       663    733.06    144.22      5.08   1000000         0
380.40/380.53	c       496       797    752.56    169.42      4.44   1000000         0
382.19/382.37	c       489       651    730.02    159.97      4.56   1000000         0
384.09/384.20	c       496       733    715.54    120.10      5.96   1000000         0
385.89/386.04	c       494       776    731.82    142.98      5.12   1000000         0
387.69/387.87	c       502       770    722.60    126.74      5.70   1000000         0
389.59/389.73	c       479       563    752.03    159.77      4.71   1000000         0
391.39/391.58	c       494       708    735.83    163.01      4.51   1000000         0
393.28/393.41	c       485       737    724.93    137.12      5.29   1000000         0
395.08/395.26	c       452       845    746.27    158.44      4.71   1000000         0
396.99/397.13	c       498       782    771.26    148.84      5.18   1000000         0
398.78/398.94	c       403       684    696.73    148.91      4.68   1000000         0
400.58/400.78	c       495       640    728.39    137.68      5.29   1000000         0
402.49/402.62	c       482       765    732.47    141.23      5.19   1000000         0
404.28/404.46	c       496       810    735.63    158.37      4.64   1000000         0
406.18/406.31	c       520       749    737.12    175.20      4.21   1000000         0
407.99/408.15	c       489       800    740.91    125.11      5.92   1000000         0
409.78/409.99	c       477       698    726.93    135.14      5.38   1000000         0
411.68/411.83	c       430       792    736.38    163.94      4.49   1000000         0
413.49/413.68	c       425       705    738.37    158.07      4.67   1000000         0
415.38/415.52	c       470       754    740.45    119.83      6.18   1000000         0
417.18/417.35	c       427       648    706.96    139.95      5.05   1000000         0
419.08/419.21	c       512       880    758.61    125.78      6.03   1000000         0
420.88/421.05	c       435       613    732.82    131.60      5.57   1000000         0
422.68/422.89	c       440       727    728.44    153.74      4.74   1000000         0
424.58/424.73	c       494       674    729.23    136.62      5.34   1000000         0
426.38/426.57	c       444       786    724.04    147.59      4.91   1000000         0
428.28/428.42	c       490       717    739.49    128.48      5.76   1000000         0
430.08/430.25	c       468       705    721.86    130.60      5.53   1000000         0
431.98/432.11	c       462       768    765.57    153.44      4.99   1000000         0
433.77/433.94	c       483       671    708.06    115.76      6.12   1000000         0
435.57/435.78	c       453       700    732.89    159.02      4.61   1000000         0
437.46/437.65	c       475       845    732.11    161.80      4.52   1000000         0
439.36/439.50	c       525       637    746.13    125.36      5.95   1000000         0
441.16/441.34	c       462       678    717.58    145.71      4.92   1000000         0
442.95/443.18	c       468       762    733.56    172.67      4.25   1000000         0
444.85/445.03	c       442       787    741.63    156.83      4.73   1000000         0
446.65/446.88	c       457       668    736.33    174.14      4.23   1000000         0
448.56/448.73	c       438       664    730.32    155.22      4.71   1000000         0
450.35/450.58	c       488       751    725.83    137.60      5.27   1000000         0
452.25/452.41	c       485       768    722.88    137.97      5.24   1000000         0
454.06/454.25	c       456       733    726.71    151.84      4.79   1000000         0
455.85/456.10	c       482       713    741.41    142.29      5.21   1000000         0
457.75/457.92	c       409       701    723.04    146.08      4.95   1000000         0
459.56/459.77	c       412       764    742.10    148.85      4.99   1000000         0
461.45/461.62	c       503       601    736.80    172.13      4.28   1000000         0
463.25/463.45	c       485       735    724.58    144.12      5.03   1000000         0
465.06/465.30	c       500       729    750.17    143.43      5.23   1000000         0
466.95/467.16	c       452       709    768.12    164.54      4.67   1000000         0
468.85/469.02	c       507       754    757.42    151.27      5.01   1000000         0
470.66/470.86	c       479       763    736.41    149.30      4.93   1000000         0
472.55/472.71	c       467       652    758.14    197.44      3.84   1000000         0
474.35/474.56	c       451       720    724.66    137.30      5.28   1000000         0
476.25/476.41	c       492       721    754.64    160.45      4.70   1000000         0
478.05/478.27	c       513       805    767.75    148.27      5.18   1000000         0
479.95/480.12	c       527       729    740.54    132.19      5.60   1000000         0
481.75/481.96	c       503       647    739.32    168.46      4.39   1000000         0
483.65/483.81	c       471       599    739.27    143.29      5.16   1000000         0
485.44/485.65	c       495       651    742.35    166.34      4.46   1000000         0
487.24/487.48	c       480       815    723.29    152.44      4.74   1000000         0
489.14/489.32	c       503       811    729.21    149.38      4.88   1000000         0
490.94/491.16	c       484       741    734.83    177.64      4.14   1000000         0
492.84/493.01	c       494       753    749.52    159.31      4.70   1000000         0
494.64/494.86	c       504       811    745.83    141.26      5.28   1000000         0
496.54/496.70	c       509       688    739.65    126.55      5.84   1000000         0
498.34/498.54	c       453       753    734.77    174.17      4.22   1000000         0
500.14/500.38	c       486       658    732.89    146.48      5.00   1000000         0
502.04/502.23	c       497       624    736.75    146.18      5.04   1000000         0
503.84/504.06	c       469       683    720.16    131.59      5.47   1000000         0
505.74/505.91	c       468       629    732.98    129.84      5.65   1000000         0
507.54/507.77	c       474       727    755.85    189.19      4.00   1000000         0
509.44/509.63	c       471       745    751.88    173.79      4.33   1000000         0
511.24/511.49	c       512       914    758.00    136.37      5.56   1000000         0
513.14/513.34	c       477       615    742.80    172.79      4.30   1000000         0
514.94/515.19	c       378       869    751.09    133.77      5.61   1000000         0
516.84/517.04	c       468       628    735.64    141.92      5.18   1000000         0
518.63/518.88	c       461       711    713.53    150.07      4.75   1000000         0
520.53/520.73	c       499       677    755.54    162.91      4.64   1000000         0
522.34/522.58	c       508       774    742.65    134.61      5.52   1000000         0
524.23/524.42	c       504       661    724.84    165.69      4.37   1000000         0
526.03/526.26	c       483       546    730.87    134.36      5.44   1000000         0
527.93/528.10	c       490       658    721.78    148.15      4.87   1000000         0
529.73/529.95	c       463       712    736.53    149.81      4.92   1000000         0
531.53/531.78	c       481       689    727.46    147.95      4.92   1000000         0
533.43/533.62	c       429       745    728.61    156.19      4.66   1000000         0
535.23/535.47	c       486       684    759.96    142.02      5.35   1000000         0
537.13/537.33	c       491       867    750.47    135.03      5.56   1000000         0
538.93/539.17	c       458       751    729.22    150.30      4.85   1000000         0
540.83/541.04	c       505       656    768.01    195.66      3.93   1000000         0
542.63/542.87	c       435       687    706.62    138.57      5.10   1000000         0
544.43/544.69	c       452       720    708.03    127.54      5.55   1000000         0
546.33/546.54	c       486       575    741.91    153.60      4.83   1000000         0
548.13/548.39	c       425       772    741.74    136.49      5.43   1000000         0
550.03/550.23	c       525       760    743.06    135.51      5.48   1000000         0
551.83/552.08	c       429       706    749.49    150.89      4.97   1000000         0
553.72/553.93	c       433       595    731.88    144.44      5.07   1000000         0
555.52/555.79	c       491       755    769.41    161.30      4.77   1000000         0
557.43/557.62	c       464       626    710.49    162.06      4.38   1000000         0
559.22/559.46	c       379       780    732.41    123.83      5.91   1000000         0
561.12/561.30	c       454       664    735.74    140.52      5.24   1000000         0
562.93/563.15	c       470       735    733.59    162.03      4.53   1000000         0
564.72/564.99	c       451       672    725.10    169.40      4.28   1000000         0
566.62/566.85	c       433       797    749.40    168.08      4.46   1000000         0
568.53/568.70	c       525       767    752.43    143.99      5.23   1000000         0
570.32/570.56	c       531       780    751.02    108.23      6.94   1000000         0
572.12/572.40	c       430       716    717.71    153.04      4.69   1000000         0
574.03/574.25	c       489       646    739.47    154.09      4.80   1000000         0
575.82/576.09	c       444       687    734.36    161.69      4.54   1000000         0
577.72/577.93	c       488       715    736.51    150.03      4.91   1000000         0
579.53/579.78	c       496       763    744.06    134.38      5.54   1000000         0
581.42/581.65	c       482       529    766.66    154.91      4.95   1000000         0
583.32/583.50	c       480       685    736.86    161.64      4.56   1000000         0
585.12/585.35	c       417       716    735.89    167.18      4.40   1000000         0
586.92/587.19	c       484       659    724.41    190.45      3.80   1000000         0
588.82/589.03	c       490       777    735.60    149.89      4.91   1000000         0
590.62/590.88	c       461       799    750.89    166.86      4.50   1000000         0
592.51/592.74	c       510       707    749.72    155.53      4.82   1000000         0
594.31/594.58	c       507       756    739.26    101.99      7.25   1000000         0
596.21/596.43	c       506       682    751.61    140.78      5.34   1000000         0
598.01/598.27	c       485       753    721.38    157.41      4.58   1000000         0
599.91/600.11	c       496       607    725.05    142.02      5.11   1000000         0
601.71/601.95	c       465       685    740.67    143.66      5.16   1000000         0
603.51/603.80	c       462       779    737.01    168.66      4.37   1000000         0
605.41/605.63	c       458       715    711.99    160.33      4.44   1000000         0
607.21/607.46	c       515       805    718.84    125.76      5.72   1000000         0
609.01/609.30	c       477       575    740.10    147.71      5.01   1000000         0
610.91/611.14	c       467       617    717.53    155.30      4.62   1000000         0
612.81/613.00	c       465       689    775.18    154.70      5.01   1000000         0
614.62/614.85	c       502       633    742.22    158.99      4.67   1000000         0
616.51/616.70	c       479       757    739.31    140.42      5.27   1000000         0
618.31/618.53	c       472       679    718.46    147.11      4.88   1000000         0
620.12/620.39	c       521       755    757.49    150.50      5.03   1000000         0
622.01/622.24	c       522       672    734.75    146.34      5.02   1000000         0
623.81/624.08	c       478       542    735.89    146.79      5.01   1000000         0
625.71/625.92	c       464       786    740.73    155.77      4.76   1000000         0
627.51/627.76	c       479       671    734.80    158.50      4.64   1000000         0
629.41/629.62	c       470       561    748.21    180.38      4.15   1000000         0
631.21/631.45	c       442       582    718.17    159.99      4.49   1000000         0
633.00/633.29	c       450       718    725.69    131.89      5.50   1000000         0
634.90/635.16	c       452       628    752.31    169.14      4.45   1000000         0
636.80/637.01	c       509       632    752.06    134.80      5.58   1000000         0
638.60/638.85	c       457       795    735.11    153.55      4.79   1000000         0
640.40/640.69	c       537       875    750.02    143.47      5.23   1000000         0
642.30/642.53	c       485       612    725.17    136.86      5.30   1000000         0
644.10/644.37	c       428       710    713.47    153.89      4.64   1000000         0
646.00/646.21	c       509       653    731.85    142.81      5.12   1000000         0
647.80/648.06	c       495       632    738.83    157.10      4.70   1000000         0
649.70/649.90	c       465       701    729.60    183.66      3.97   1000000         0
651.50/651.75	c       474       887    752.04    148.46      5.07   1000000         0
653.40/653.60	c       496       720    755.11    150.69      5.01   1000000         0
655.20/655.46	c       459       855    756.83    142.17      5.32   1000000         0
657.10/657.32	c       524       605    753.10    155.15      4.85   1000000         0
658.90/659.17	c       488       680    741.97    160.04      4.64   1000000         0
660.80/661.01	c       484       642    748.28    131.69      5.68   1000000         0
662.60/662.86	c       474       633    726.73    159.92      4.54   1000000         0
664.50/664.71	c       494       665    741.70    138.25      5.37   1000000         0
666.30/666.56	c       463       841    736.66    163.99      4.49   1000000         0
668.20/668.42	c       474       666    757.51    144.75      5.23   1000000         0
670.00/670.27	c       451       503    744.86    147.23      5.06   1000000         0
671.80/672.10	c       458       888    723.42    142.49      5.08   1000000         0
673.69/673.95	c       496       572    742.94    156.12      4.76   1000000         0
675.49/675.78	c       444       598    717.53    137.47      5.22   1000000         0
677.40/677.64	c       496       853    753.29    182.52      4.13   1000000         0
679.19/679.47	c       506       800    733.76    123.20      5.96   1000000         0
681.09/681.32	c       493       889    732.24    154.62      4.74   1000000         0
682.90/683.15	c       502       572    721.10    150.68      4.79   1000000         0
684.69/684.99	c       486       663    745.10    130.04      5.73   1000000         0
686.59/686.84	c       458       646    736.51    140.08      5.26   1000000         0
688.40/688.69	c       457       724    741.20    168.91      4.39   1000000         0
690.29/690.54	c       488       736    754.33    145.01      5.20   1000000         0
692.19/692.41	c       530       696    768.97    164.18      4.68   1000000         0
693.99/694.25	c       480       724    742.05    153.04      4.85   1000000         0
695.79/696.09	c       467       591    729.00    151.41      4.81   1000000         0
697.69/697.94	c       401       756    748.28    200.49      3.73   1000000         0
699.49/699.79	c       500       574    741.45    150.67      4.92   1000000         0
701.39/701.63	c       486       745    720.54    141.65      5.09   1000000         0
703.19/703.45	c       428       745    705.46    131.99      5.34   1000000         0
705.08/705.31	c       529       758    748.47    148.64      5.04   1000000         0
706.88/707.15	c       487       652    716.80    149.29      4.80   1000000         0
708.78/709.01	c       515       610    746.68    167.25      4.46   1000000         0
710.58/710.85	c       425       728    728.78    156.37      4.66   1000000         0
712.49/712.70	c       452       777    750.91    153.57      4.89   1000000         0
714.28/714.53	c       452       810    723.29    155.45      4.65   1000000         0
716.08/716.38	c       480       794    747.83    157.53      4.75   1000000         0
717.99/718.24	c       531       830    764.72    168.73      4.53   1000000         0
719.78/720.09	c       432       752    737.74    153.19      4.82   1000000         0
721.68/721.93	c       458       762    726.86    136.51      5.32   1000000         0
723.49/723.77	c       490       699    744.95    148.14      5.03   1000000         0
725.38/725.61	c       466       675    726.54    146.27      4.97   1000000         0
727.18/727.45	c       456       609    723.15    118.83      6.09   1000000         0
728.99/729.29	c       461       846    740.86    124.81      5.94   1000000         0
730.88/731.14	c       524       630    752.28    125.63      5.99   1000000         0
732.68/732.99	c       475       642    731.18    200.76      3.64   1000000         0
734.58/734.82	c       505       681    719.92    128.85      5.59   1000000         0
736.38/736.66	c       442       727    737.42    157.26      4.69   1000000         0
738.28/738.51	c       466       632    723.54    145.46      4.97   1000000         0
740.08/740.34	c       461       833    729.13    155.27      4.70   1000000         0
741.88/742.19	c       487       652    739.31    143.95      5.14   1000000         0
743.77/744.04	c       480       702    742.37    162.35      4.57   1000000         0
745.58/745.87	c       509       688    719.84    108.71      6.62   1000000         0
747.47/747.71	c       501       724    735.77    129.50      5.68   1000000         0
749.27/749.54	c       515       597    717.09    128.22      5.59   1000000         0
751.08/751.38	c       501       657    735.31    145.59      5.05   1000000         0
752.97/753.22	c       477       650    730.43    163.77      4.46   1000000         0
754.77/755.06	c       521       722    745.64    167.08      4.46   1000000         0
756.67/756.90	c       443       684    731.35    143.01      5.11   1000000         0
758.47/758.74	c       473       771    745.82    180.95      4.12   1000000         0
760.37/760.60	c       494       792    739.02    149.84      4.93   1000000         0
762.17/762.45	c       499       716    741.73    154.72      4.79   1000000         0
763.97/764.29	c       495       624    740.64    164.85      4.49   1000000         0
765.87/766.13	c       469       736    729.23    162.00      4.50   1000000         0
767.67/767.97	c       484       677    729.80    134.01      5.45   1000000         0
769.57/769.81	c       472       802    735.54    165.48      4.44   1000000         0
771.37/771.67	c       468       633    751.91    154.78      4.86   1000000         0
773.27/773.51	c       502       775    735.27    107.13      6.86   1000000         0
775.07/775.36	c       531       715    742.78    132.88      5.59   1000000         0
776.97/777.21	c       503       831    743.31    144.92      5.13   1000000         0
778.77/779.05	c       473       731    738.05    148.42      4.97   1000000         0
780.57/780.88	c       446       897    719.03    148.01      4.86   1000000         0
782.47/782.73	c       491       666    736.98    154.18      4.78   1000000         0
784.26/784.57	c       470       697    735.44    142.72      5.15   1000000         0
786.17/786.42	c       490       634    735.63    130.49      5.64   1000000         0
787.96/788.26	c       444       684    737.43    129.92      5.68   1000000         0
789.76/790.08	c       500       677    718.85    119.76      6.00   1000000         0
791.67/791.93	c       409       645    743.77    139.36      5.34   1000000         0
793.46/793.77	c       487       787    720.56    147.18      4.90   1000000         0
795.36/795.61	c       461       642    745.93    158.77      4.70   1000000         0
797.17/797.47	c       525       753    754.39    156.92      4.81   1000000         0
799.06/799.30	c       404       561    721.05    141.55      5.09   1000000         0
800.86/801.16	c       526       794    756.66    149.24      5.07   1000000         0
802.77/803.01	c       531       655    756.12    151.06      5.01   1000000         0
804.56/804.86	c       469       599    734.59    153.26      4.79   1000000         0
806.46/806.70	c       477       710    738.70    125.79      5.87   1000000         0
808.27/808.54	c       435       706    732.49    170.89      4.29   1000000         0
810.16/810.40	c       450       670    750.22    164.28      4.57   1000000         0
811.96/812.25	c       443       748    724.56    174.93      4.14   1000000         0
813.77/814.09	c       431       626    742.90    158.62      4.68   1000000         0
815.66/815.93	c       467       539    715.85    168.10      4.26   1000000         0
817.46/817.79	c       515       748    765.11    146.55      5.22   1000000         0
819.36/819.63	c       486       706    731.97    150.83      4.85   1000000         0
821.16/821.46	c       488       686    728.03    148.47      4.90   1000000         0
823.06/823.30	c       504       736    735.85    127.98      5.75   1000000         0
824.86/825.14	c       489       565    738.57    136.54      5.41   1000000         0
826.65/826.99	c       459       610    752.43    155.34      4.84   1000000         0
828.55/828.83	c       501       662    722.29    119.54      6.04   1000000         0
830.35/830.66	c       504       633    729.32    141.25      5.16   1000000         0
832.25/832.50	c       489       746    729.88    125.83      5.80   1000000         0
834.05/834.35	c       493       650    738.47    125.45      5.89   1000000         0
835.95/836.20	c       505       650    751.32    178.50      4.21   1000000         0
837.75/838.03	c       478       604    725.83    147.59      4.92   1000000         0
839.55/839.88	c       501       593    750.82    140.63      5.34   1000000         0
841.45/841.73	c       472       659    742.08    159.25      4.66   1000000         0
843.25/843.59	c       474       785    755.41    180.40      4.19   1000000         0
845.15/845.44	c       511       737    743.10    166.28      4.47   1000000         0
847.05/847.30	c       511       763    748.64    152.96      4.89   1000000         0
848.86/849.13	c       478       669    723.90    137.91      5.25   1000000         0
850.65/850.98	c       475       848    750.21    133.86      5.60   1000000         0
852.55/852.82	c       471       636    724.20    148.10      4.89   1000000         0
854.35/854.65	c       485       834    728.20    137.70      5.29   1000000         0
856.25/856.50	c       493       796    734.19    163.01      4.50   1000000         0
858.05/858.34	c       502       603    740.93    142.29      5.21   1000000         0
859.85/860.19	c       472       630    753.10    152.03      4.95   1000000         0
861.74/862.03	c       448       746    723.24    165.27      4.38   1000000         0
863.54/863.89	c       491       654    750.45    144.99      5.18   1000000         0
865.45/865.75	c       414       635    749.84    155.01      4.84   1000000         0
867.24/867.59	c       487       668    727.16    138.56      5.25   1000000         0
869.14/869.44	c       514       909    736.29    138.72      5.31   1000000         0
870.95/871.29	c       469       816    746.10    170.09      4.39   1000000         0
872.84/873.13	c       516       567    736.72    165.34      4.46   1000000         0
874.64/874.99	c       544       779    765.62    177.78      4.31   1000000         0
876.54/876.85	c       501       760    747.20    131.76      5.67   1000000         0
878.44/878.70	c       451       779    738.02    118.12      6.25   1000000         0
880.24/880.55	c       498       795    752.99    155.50      4.84   1000000         0
882.14/882.42	c       473       588    759.49    195.18      3.89   1000000         0
883.94/884.28	c       531       633    759.20    152.65      4.97   1000000         0
885.84/886.13	c       519       626    743.72    153.28      4.85   1000000         0
887.64/887.97	c       433       685    742.24    161.62      4.59   1000000         0
889.55/889.81	c       464       698    720.19    126.53      5.69   1000000         0
891.34/891.65	c       496       839    739.29    142.91      5.17   1000000         0
893.14/893.49	c       482       656    723.70    145.52      4.97   1000000         0
895.04/895.33	c       526       697    745.87    127.19      5.86   1000000         0
896.84/897.19	c       517       817    746.95    148.46      5.03   1000000         0
898.74/899.02	c       473       716    722.94    140.09      5.16   1000000         0
900.54/900.87	c       458       690    740.33    136.44      5.43   1000000         0
902.44/902.72	c       478       704    751.94    176.72      4.25   1000000         0
904.23/904.55	c       511       707    726.42    132.33      5.49   1000000         0
906.04/906.40	c       523       610    748.31    148.16      5.05   1000000         0
907.93/908.26	c       446       670    745.75    137.96      5.41   1000000         0
909.83/910.12	c       511       846    752.23    131.92      5.70   1000000         0
911.64/911.95	c       474       644    706.27    147.45      4.79   1000000         0
913.53/913.80	c       490       669    747.92    142.61      5.24   1000000         0
915.33/915.66	c       487       779    759.30    150.02      5.06   1000000         0
917.23/917.50	c       439       745    722.17    158.30      4.56   1000000         0
919.03/919.34	c       479       752    725.84    148.53      4.89   1000000         0
920.83/921.19	c       433       709    738.17    187.94      3.93   1000000         0
922.73/923.02	c       456       758    719.90    143.44      5.02   1000000         0
924.53/924.86	c       522       708    740.87    151.20      4.90   1000000         0
926.43/926.72	c       521       739    747.42    137.47      5.44   1000000         0
928.23/928.56	c       489       641    734.98    163.79      4.49   1000000         0
930.13/930.40	c       490       661    733.95    123.99      5.92   1000000         0
931.93/932.24	c       473       804    725.61    125.18      5.80   1000000         0
933.73/934.07	c       489       699    717.31    145.67      4.92   1000000         0
935.63/935.92	c       499       769    736.29    156.09      4.72   1000000         0
937.43/937.78	c       499       733    755.33    154.76      4.88   1000000         0
939.33/939.64	c       492       802    751.93    162.48      4.63   1000000         0
941.13/941.49	c       468       736    746.29    165.21      4.52   1000000         0
943.03/943.35	c       484       711    757.78    155.45      4.87   1000000         0
944.93/945.21	c       478       844    752.87    167.69      4.49   1000000         0
946.73/947.06	c       481       709    744.25    130.70      5.69   1000000         0
948.62/948.90	c       496       609    746.76    157.13      4.75   1000000         0
950.42/950.74	c       433       823    717.63    135.46      5.30   1000000         0
952.23/952.57	c       468       807    722.01    109.18      6.61   1000000         0
954.12/954.40	c       486       687    739.52    140.97      5.25   1000000         0
955.92/956.25	c       494       591    750.29    155.55      4.82   1000000         0
957.73/958.10	c       500       630    751.99    117.10      6.42   1000000         0
959.62/959.96	c       505       598    761.41    171.47      4.44   1000000         0
961.52/961.81	c       512       576    739.95    145.20      5.10   1000000         0
963.33/963.65	c       473       699    731.77    144.84      5.05   1000000         0
965.12/965.49	c       480       668    725.85    118.28      6.14   1000000         0
967.02/967.33	c       489       701    733.31    134.03      5.47   1000000         0
968.83/969.15	c       464       658    707.59    131.32      5.39   1000000         0
970.62/970.99	c       523       725    737.20    139.10      5.30   1000000         0
972.52/972.83	c       481       746    735.82    142.39      5.17   1000000         0
974.32/974.69	c       481       762    743.28    134.75      5.52   1000000         0
976.22/976.53	c       481       787    727.30    144.75      5.02   1000000         0
978.02/978.35	c       450       882    708.68    123.53      5.74   1000000         0
979.82/980.18	c       413       665    721.68    120.15      6.01   1000000         0
981.72/982.02	c       434       754    728.60    139.74      5.21   1000000         0
983.52/983.87	c       456       661    739.63    157.15      4.71   1000000         0
985.42/985.71	c       470       765    726.03    139.52      5.20   1000000         0
987.21/987.56	c       443       594    750.53    148.51      5.05   1000000         0
989.11/989.40	c       440       573    731.48    156.73      4.67   1000000         0
990.91/991.25	c       472       823    736.14    131.27      5.61   1000000         0
992.71/993.08	c       473       725    746.51    130.50      5.72   1000000         0
994.61/994.93	c       504       728    747.49    128.72      5.81   1000000         0
996.41/996.79	c       477       832    753.32    160.30      4.70   1000000         0
998.31/998.64	c       500       613    745.68    145.98      5.11   1000000         0
1000.11/1000.49	c       522       753    743.75    155.73      4.78   1000000         0
1002.01/1002.33	c       504       686    743.42    146.68      5.07   1000000         0
1003.81/1004.18	c       476       652    756.15    153.52      4.93   1000000         0
1005.71/1006.02	c       418       535    734.54    137.07      5.36   1000000         0
1007.51/1007.86	c       440       638    731.65    122.11      5.99   1000000         0
1009.41/1009.71	c       495       696    740.30    168.94      4.38   1000000         0
1011.21/1011.57	c       551       624    762.27    153.37      4.97   1000000         0
1013.11/1013.42	c       506       752    746.47    152.05      4.91   1000000         0
1014.91/1015.26	c       447       654    720.19    166.96      4.31   1000000         0
1016.81/1017.10	c       510       754    740.85    135.47      5.47   1000000         0
1018.61/1018.96	c       538       856    767.00    167.67      4.57   1000000         0
1020.51/1020.82	c       429       655    754.30    161.27      4.68   1000000         0
1022.31/1022.66	c       461       766    733.27    149.52      4.90   1000000         0
1024.21/1024.50	c       499       708    736.76    157.65      4.67   1000000         0
1026.02/1026.36	c       471       625    758.45    171.25      4.43   1000000         0
1027.91/1028.20	c       471       679    744.21    115.61      6.44   1000000         0
1029.71/1030.06	c       490       727    756.42    133.84      5.65   1000000         0
1031.52/1031.89	c       446       810    711.38    153.04      4.65   1000000         0
1033.41/1033.74	c       473       810    742.83    184.54      4.03   1000000         0
1035.21/1035.58	c       454       761    737.32    158.05      4.67   1000000         0
1037.11/1037.44	c       507       772    741.33    140.61      5.27   1000000         0
1038.91/1039.26	c       400       668    719.53    121.19      5.94   1000000         0
1040.81/1041.11	c       468       667    740.92    188.56      3.93   1000000         0
1042.61/1042.96	c       486       596    743.06    134.67      5.52   1000000         0
1044.51/1044.81	c       528       654    752.35    139.93      5.38   1000000         0
1046.31/1046.65	c       482       615    742.69    146.56      5.07   1000000         0
1048.21/1048.50	c       435       755    744.32    143.74      5.18   1000000         0
1050.01/1050.34	c       496       712    746.31    132.16      5.65   1000000         0
1051.81/1052.19	c       459       711    733.52    150.68      4.87   1000000         0
1053.71/1054.03	c       462       749    745.79    129.99      5.74   1000000         0
1055.51/1055.89	c       491       837    729.80    173.76      4.20   1000000         0
1057.41/1057.72	c       393       617    723.01    132.30      5.46   1000000         0
1059.20/1059.56	c       528       715    732.85    123.60      5.93   1000000         0
1061.11/1061.40	c       482       629    732.44    165.35      4.43   1000000         0
1062.90/1063.25	c       482       672    739.28    154.04      4.80   1000000         0
1064.70/1065.08	c       439       601    719.59    134.63      5.34   1000000         0
1066.61/1066.94	c       496       713    753.58    172.66      4.36   1000000         0
1068.40/1068.78	c       478       591    727.94    165.51      4.40   1000000         0
1070.30/1070.63	c       499       673    752.71    139.00      5.41   1000000         0
1072.11/1072.48	c       506       566    749.29    153.85      4.87   1000000         0
1074.00/1074.35	c       517       766    766.07    159.34      4.81   1000000         0
1075.80/1076.18	c       483       704    723.84    159.15      4.55   1000000         0
1077.71/1078.01	c       429       761    720.29    162.70      4.43   1000000         0
1079.50/1079.86	c       499       679    741.76    177.10      4.19   1000000         0
1081.40/1081.72	c       461       730    746.30    136.82      5.45   1000000         0
1083.21/1083.56	c       486       786    737.56    155.25      4.75   1000000         0
1085.10/1085.41	c       439       639    744.22    218.24      3.41   1000000         0
1086.90/1087.24	c       494       801    717.37    144.25      4.97   1000000         0
1088.70/1089.08	c       441       714    732.17    148.47      4.93   1000000         0
1090.60/1090.92	c       485       825    730.31    141.25      5.17   1000000         0
1092.40/1092.76	c       428       692    731.59    169.78      4.31   1000000         0
1094.30/1094.60	c       495       753    740.44    129.75      5.71   1000000         0
1096.10/1096.44	c       467       658    713.59    133.27      5.35   1000000         0
1098.00/1098.30	c       505       731    748.18    154.63      4.84   1000000         0
1099.79/1100.14	c       405       611    722.01    160.78      4.49   1000000         0
1101.59/1101.98	c       477       550    748.74    152.38      4.91   1000000         0
1103.49/1103.83	c       482       644    752.96    147.99      5.09   1000000         0
1105.29/1105.68	c       512       613    731.80    114.27      6.40   1000000         0
1107.19/1107.53	c       462       694    755.82    160.37      4.71   1000000         0
1108.99/1109.39	c       502       668    745.42    167.48      4.45   1000000         0
1110.89/1111.24	c       502       636    755.15    147.57      5.12   1000000         0
1112.69/1113.08	c       492       634    737.36    145.63      5.06   1000000         0
1114.59/1114.93	c       445       726    736.86    147.41      5.00   1000000         0
1116.39/1116.76	c       474       690    720.67    144.87      4.97   1000000         0
1118.30/1118.63	c       498       712    760.44    172.49      4.41   1000000         0
1120.09/1120.47	c       463       653    749.87    153.35      4.89   1000000         0
1121.99/1122.32	c       505       842    750.46    149.35      5.02   1000000         0
1123.80/1124.16	c       482       683    727.23    160.58      4.53   1000000         0
1125.59/1125.99	c       450       692    727.00    141.51      5.14   1000000         0
1127.49/1127.83	c       469       819    724.74    148.29      4.89   1000000         0
1129.29/1129.66	c       489       727    723.65    148.46      4.87   1000000         0
1131.19/1131.50	c       474       860    732.10    126.49      5.79   1000000         0
1132.99/1133.35	c       490       685    735.45    151.81      4.84   1000000         0
1134.79/1135.20	c       511       610    749.80    163.68      4.58   1000000         0
1136.69/1137.05	c       500       663    738.24    148.38      4.98   1000000         0
1138.58/1138.90	c       496       761    740.02    162.26      4.56   1000000         0
1140.39/1140.73	c       495       723    727.01    151.60      4.80   1000000         0
1142.18/1142.57	c       444       639    732.98    159.76      4.59   1000000         0
1144.08/1144.41	c       439       651    721.53    151.71      4.76   1000000         0
1145.89/1146.26	c       498       640    741.84    131.46      5.64   1000000         0
1147.78/1148.11	c       443       837    749.66    151.59      4.95   1000000         0
1149.58/1149.95	c       441       647    717.75    130.18      5.51   1000000         0
1151.48/1151.80	c       530       766    747.89    148.81      5.03   1000000         0
1153.28/1153.65	c       474       842    748.51    118.22      6.33   1000000         0
1155.18/1155.50	c       517       653    750.99    141.94      5.29   1000000         0
1156.98/1157.35	c       467       768    741.32    158.39      4.68   1000000         0
1158.78/1159.20	c       482       648    740.98    155.73      4.76   1000000         0
1160.68/1161.05	c       505       698    750.44    148.86      5.04   1000000         0
1162.58/1162.90	c       492       768    750.16    138.29      5.42   1000000         0
1164.38/1164.74	c       466       571    729.55    119.02      6.13   1000000         0
1166.18/1166.58	c       460       706    732.14    138.41      5.29   1000000         0
1168.08/1168.42	c       500       700    742.15    124.20      5.98   1000000         0
1169.88/1170.28	c       494       649    750.52    186.19      4.03   1000000         0
1171.77/1172.11	c       351       626    717.82    142.08      5.05   1000000         0
1173.57/1173.95	c       455       631    740.26    138.21      5.36   1000000         0
1175.48/1175.81	c       499       783    752.65    170.31      4.42   1000000         0
1177.27/1177.64	c       471       763    733.60    141.70      5.18   1000000         0
1179.07/1179.48	c       475       663    728.96    143.31      5.09   1000000         0
1180.98/1181.32	c       474       661    740.48    133.84      5.53   1000000         0
1182.77/1183.16	c       434       668    727.26    141.68      5.13   1000000         0
1184.67/1185.00	c       461       601    731.46    153.44      4.77   1000000         0
1186.48/1186.85	c       458       768    734.40    156.10      4.70   1000000         0
1188.37/1188.70	c       482       571    750.02    153.69      4.88   1000000         0
1190.17/1190.55	c       469       802    741.10    173.02      4.28   1000000         0
1191.98/1192.39	c       501       798    737.63    156.27      4.72   1000000         0
1193.87/1194.22	c       484       612    720.86    120.63      5.98   1000000         0
1195.67/1196.07	c       473       635    738.88    149.51      4.94   1000000         0
1197.58/1197.92	c       500       750    742.85    137.80      5.39   1000000         0
1199.37/1199.76	c       466       870    736.41    146.62      5.02   1000000         0
1201.27/1201.60	c       503       697    738.93    146.33      5.05   1000000         0
1203.08/1203.48	c       526       734    784.99    176.55      4.45   1000000         0
1204.97/1205.33	c       524       739    753.33    167.80      4.49   1000000         0
1206.77/1207.17	c       465       779    722.97    127.78      5.66   1000000         0
1208.67/1209.01	c       459       620    740.39    163.66      4.52   1000000         0
1210.47/1210.85	c       483       850    732.27    128.91      5.68   1000000         0
1212.26/1212.69	c       450       669    731.83    154.52      4.74   1000000         0
1214.16/1214.53	c       481       806    733.67    129.19      5.68   1000000         0
1215.96/1216.38	c       452       771    739.15    149.93      4.93   1000000         0
1217.86/1218.22	c       470       682    731.77    174.39      4.20   1000000         0
1219.66/1220.06	c       472       705    739.62    135.81      5.45   1000000         0
1221.56/1221.91	c       500       580    739.44    151.49      4.88   1000000         0
1223.36/1223.75	c       462       657    736.32    134.71      5.47   1000000         0
1225.26/1225.60	c       453       878    753.16    163.41      4.61   1000000         0
1227.06/1227.43	c       404       762    711.88    142.27      5.00   1000000         0
1228.86/1229.28	c       487       684    752.63    141.14      5.33   1000000         0
1230.76/1231.13	c       478       710    736.88    144.93      5.08   1000000         0
1232.56/1232.99	c       494       720    751.22    176.96      4.25   1000000         0
1234.46/1234.82	c       483       720    729.46    133.47      5.47   1000000         0
1236.26/1236.67	c       516       630    737.13    120.94      6.10   1000000         0
1238.17/1238.53	c       424       661    754.32    174.66      4.32   1000000         0
1239.96/1240.38	c       435       758    742.04    161.82      4.59   1000000         0
1241.86/1242.21	c       488       609    741.42    137.32      5.40   1000000         0
1243.66/1244.05	c       472       706    728.73    149.18      4.88   1000000         0
1245.46/1245.89	c       450       690    727.40    150.31      4.84   1000000         0
1247.36/1247.75	c       444       692    770.24    175.92      4.38   1000000         0
1249.26/1249.61	c       510       647    752.45    172.79      4.35   1000000         0
1251.06/1251.46	c       486       677    752.48    137.61      5.47   1000000         0
1252.96/1253.32	c       463       659    751.74    146.10      5.15   1000000         0
1254.76/1255.17	c       453       507    752.82    141.53      5.32   1000000         0
1256.65/1257.00	c       428       664    728.92    175.30      4.16   1000000         0
1258.45/1258.84	c       471       732    725.27    133.78      5.42   1000000         0
1260.26/1260.68	c       480       801    725.92    135.55      5.36   1000000         0
1262.15/1262.52	c       445       635    713.15    152.57      4.67   1000000         0
1263.95/1264.37	c       441       841    763.47    151.27      5.05   1000000         0
1265.85/1266.21	c       519       643    747.67    115.16      6.49   1000000         0
1267.65/1268.06	c       473       761    736.54    194.54      3.79   1000000         0
1269.55/1269.92	c       507       759    761.02    126.80      6.00   1000000         0
1271.35/1271.76	c       463       739    738.75    151.86      4.86   1000000         0
1273.25/1273.61	c       455       701    743.46    151.06      4.92   1000000         0
1275.05/1275.46	c       471       755    731.80    154.11      4.75   1000000         0
1276.95/1277.31	c       485       737    740.30    157.69      4.69   1000000         0
1278.75/1279.13	c       447       629    719.77    153.06      4.70   1000000         0
1280.55/1280.99	c       500       721    751.45    164.81      4.56   1000000         0
1282.45/1282.83	c       466       683    725.49    140.54      5.16   1000000         0
1284.25/1284.67	c       465       624    720.54    144.30      4.99   1000000         0
1286.15/1286.50	c       479       764    724.68    132.49      5.47   1000000         0
1287.95/1288.35	c       510       595    746.71    165.94      4.50   1000000         0
1289.85/1290.20	c       445       774    748.14    163.90      4.56   1000000         0
1291.65/1292.05	c       503       755    740.29    138.89      5.33   1000000         0
1293.45/1293.89	c       518       707    735.42    138.51      5.31   1000000         0
1295.35/1295.74	c       449       732    746.21    161.32      4.63   1000000         0
1297.14/1297.59	c       479       724    729.54    150.35      4.85   1000000         0
1299.04/1299.43	c       468       719    734.42    159.05      4.62   1000000         0
1300.85/1301.28	c       494       693    743.48    163.15      4.56   1000000         0
1302.74/1303.13	c       482       776    740.50    155.20      4.77   1000000         0
1304.54/1304.97	c       485       701    726.39    138.97      5.23   1000000         0
1306.45/1306.82	c       496       838    740.27    134.29      5.51   1000000         0
1308.24/1308.65	c       454       572    725.00    141.16      5.14   1000000         0
1310.04/1310.50	c       460       743    725.21    192.91      3.76   1000000         0
1311.95/1312.35	c       469       745    750.30    137.58      5.45   1000000         0
1313.74/1314.19	c       460       711    732.99    156.73      4.68   1000000         0
1315.64/1316.05	c       462       594    750.73    151.38      4.96   1000000         0
1317.45/1317.88	c       470       565    719.22    138.24      5.20   1000000         0
1319.34/1319.74	c       512       731    757.05    167.42      4.52   1000000         0
1321.14/1321.59	c       527       790    745.49    146.36      5.09   1000000         0
1323.04/1323.44	c       466       688    744.08    131.72      5.65   1000000         0
1324.84/1325.28	c       472       766    719.64    123.07      5.85   1000000         0
1326.74/1327.14	c       432       621    763.36    152.27      5.01   1000000         0
1328.54/1328.98	c       496       695    728.40    151.47      4.81   1000000         0
1330.44/1330.84	c       464       742    750.52    140.30      5.35   1000000         0
1332.23/1332.68	c       470       715    734.86    148.69      4.94   1000000         0
1334.13/1334.55	c       530       760    768.86    171.77      4.48   1000000         0
1336.04/1336.40	c       516       663    743.23    137.01      5.42   1000000         0
1337.83/1338.24	c       503       676    735.00    161.41      4.55   1000000         0
1339.63/1340.08	c       469       823    727.87    150.62      4.83   1000000         0
1341.54/1341.91	c       474       757    726.68    152.45      4.77   1000000         0
1343.33/1343.76	c       511       662    742.33    139.15      5.33   1000000         0
1345.23/1345.61	c       489       865    740.28    157.37      4.70   1000000         0
1347.04/1347.45	c       450       687    737.37    154.26      4.78   1000000         0
1348.83/1349.29	c       461       888    727.57    164.72      4.42   1000000         0
1350.73/1351.13	c       508       670    733.80    126.50      5.80   1000000         0
1352.54/1352.98	c       472       798    741.80    152.87      4.85   1000000         0
1354.43/1354.83	c       487       681    740.19    153.80      4.81   1000000         0
1356.23/1356.68	c       499       695    745.76    165.39      4.51   1000000         0
1358.13/1358.52	c       484       640    747.16    129.17      5.78   1000000         0
1359.93/1360.36	c       463       829    728.27    145.88      4.99   1000000         0
1361.83/1362.20	c       497       736    734.83    113.61      6.47   1000000         0
1363.63/1364.06	c       462       849    754.49    141.75      5.32   1000000         0
1365.53/1365.91	c       428       807    749.89    137.72      5.45   1000000         0
1367.33/1367.75	c       520       660    744.18    125.50      5.93   1000000         0
1369.22/1369.60	c       488       752    743.26    157.27      4.73   1000000         0
1371.02/1371.45	c       456       830    747.56    135.49      5.52   1000000         0
1372.92/1373.30	c       455       732    737.82    148.12      4.98   1000000         0
1374.72/1375.15	c       475       692    744.89    149.79      4.97   1000000         0
1376.52/1376.99	c       504       690    722.33    134.06      5.39   1000000         0
1378.42/1378.84	c       446       724    744.49    137.80      5.40   1000000         0
1380.22/1380.69	c       507       679    748.97    167.91      4.46   1000000         0
1382.12/1382.55	c       508       760    757.33    163.29      4.64   1000000         0
1383.92/1384.39	c       460       701    741.18    188.43      3.93   1000000         0
1385.82/1386.23	c       473       637    731.23    125.14      5.84   1000000         0
1387.62/1388.09	c       517       842    755.34    149.81      5.04   1000000         0
1389.52/1389.93	c       452       696    734.29    168.00      4.37   1000000         0
1391.32/1391.79	c       539       644    765.11    180.04      4.25   1000000         0
1393.23/1393.64	c       490       738    725.77    142.01      5.11   1000000         0
1395.02/1395.48	c       490       729    728.61    141.53      5.15   1000000         0
1396.92/1397.32	c       494       732    730.49    139.65      5.23   1000000         0
1398.73/1399.17	c       481       617    746.76    143.74      5.20   1000000         0
1400.62/1401.01	c       479       761    731.44    158.42      4.62   1000000         0
1402.42/1402.85	c       490       782    733.51    137.31      5.34   1000000         0
1404.22/1404.70	c       450       682    741.40    153.68      4.82   1000000         0
1406.12/1406.55	c       449       647    733.31    153.20      4.79   1000000         0
1407.91/1408.39	c       485       771    734.77    133.40      5.51   1000000         0
1409.82/1410.25	c       450       697    753.09    199.38      3.78   1000000         0
1411.71/1412.10	c       452       717    725.20    141.20      5.14   1000000         0
1413.51/1413.94	c       432       666    723.38    158.23      4.57   1000000         0
1415.32/1415.77	c       488       713    727.64    164.58      4.42   1000000         0
1417.21/1417.63	c       503       592    750.17    189.22      3.96   1000000         0
1419.01/1419.49	c       410       689    749.44    167.85      4.46   1000000         0
1420.91/1421.33	c       485       745    735.12    124.59      5.90   1000000         0
1422.81/1423.20	c       506       652    761.43    151.65      5.02   1000000         0
1424.61/1425.07	c       527       708    767.22    168.15      4.56   1000000         0
1426.51/1426.91	c       495       534    747.91    171.83      4.35   1000000         0
1428.31/1428.75	c       465       682    718.01    127.87      5.62   1000000         0
1430.21/1430.60	c       518       811    750.89    140.60      5.34   1000000         0
1432.01/1432.44	c       445       596    727.54    131.92      5.52   1000000         0
1433.81/1434.27	c       448       708    721.85    137.93      5.23   1000000         0
1435.71/1436.12	c       480       715    742.78    133.15      5.58   1000000         0
1437.51/1437.96	c       493       649    731.76    173.03      4.23   1000000         0
1439.41/1439.80	c       454       641    718.57    151.97      4.73   1000000         0
1441.21/1441.65	c       532       857    738.00    133.62      5.52   1000000         0
1443.01/1443.48	c       462       679    718.76    131.17      5.48   1000000         0
1444.91/1445.31	c       463       883    709.75    160.48      4.42   1000000         0
1446.71/1447.14	c       444       667    736.62    133.91      5.50   1000000         0
1448.50/1448.98	c       484       723    730.76    152.27      4.80   1000000         0
1450.41/1450.84	c       423       739    758.38    154.06      4.92   1000000         0
1452.20/1452.68	c       482       735    723.05    135.16      5.35   1000000         0
1454.10/1454.54	c       481       571    754.17    165.61      4.55   1000000         0
1455.91/1456.36	c       482       734    705.21    135.30      5.21   1000000         0
1457.80/1458.21	c       498       654    744.95    142.08      5.24   1000000         0
1459.60/1460.05	c       511       691    741.97    148.92      4.98   1000000         0
1461.51/1461.91	c       531       767    755.30    145.62      5.19   1000000         0
1463.30/1463.76	c       435       596    728.46    141.17      5.16   1000000         0
1465.20/1465.60	c       492       669    741.47    168.00      4.41   1000000         0
1467.01/1467.44	c       429       734    741.52    152.55      4.86   1000000         0
1468.80/1469.29	c       463       761    741.09    157.84      4.70   1000000         0
1470.70/1471.13	c       469       626    728.55    134.41      5.42   1000000         0
1472.51/1472.97	c       472       717    736.08    131.59      5.59   1000000         0
1474.40/1474.81	c       478       651    730.98    154.87      4.72   1000000         0
1476.20/1476.68	c       463       612    753.80    159.29      4.73   1000000         0
1478.10/1478.53	c       516       769    741.46    123.34      6.01   1000000         0
1479.90/1480.38	c       438       710    741.52    151.69      4.89   1000000         0
1481.80/1482.22	c       461       604    740.69    141.15      5.25   1000000         0
1483.60/1484.07	c       508       774    752.39    130.06      5.78   1000000         0
1485.50/1485.91	c       474       651    729.94    157.89      4.62   1000000         0
1487.29/1487.75	c       456       761    721.37    169.86      4.25   1000000         0
1489.09/1489.60	c       475       728    730.06    162.14      4.50   1000000         0
1490.99/1491.45	c       496       772    743.87    152.17      4.89   1000000         0
1492.79/1493.29	c       503       754    736.30    148.89      4.95   1000000         0
1494.69/1495.15	c       501       703    753.64    167.81      4.49   1000000         0
1496.49/1497.00	c       469       713    732.36    148.73      4.92   1000000         0
1498.39/1498.84	c       490       721    730.98    132.49      5.52   1000000         0
1500.19/1500.68	c       493       518    732.06    136.39      5.37   1000000         0
1502.10/1502.52	c       507       697    731.46    149.98      4.88   1000000         0
1503.89/1504.35	c       523       844    734.24    127.52      5.76   1000000         0
1505.79/1506.21	c       524       793    758.86    150.76      5.03   1000000         0
1507.60/1508.05	c       488       690    738.28    149.95      4.92   1000000         0
1509.39/1509.89	c       448       750    736.24    166.81      4.41   1000000         0
1511.29/1511.73	c       469       743    732.39    136.97      5.35   1000000         0
1513.09/1513.58	c       474       727    736.79    163.89      4.50   1000000         0
1514.99/1515.43	c       456       757    742.62    166.85      4.45   1000000         0
1516.79/1517.28	c       481       581    734.60    150.68      4.88   1000000         0
1518.70/1519.12	c       438       501    744.64    171.27      4.35   1000000         0
1520.49/1520.97	c       489       720    737.51    149.21      4.94   1000000         0
1522.39/1522.81	c       492       763    740.84    179.40      4.13   1000000         0
1524.19/1524.66	c       491       730    737.71    152.01      4.85   1000000         0
1526.09/1526.51	c       436       796    752.14    166.41      4.52   1000000         0
1527.88/1528.36	c       470       682    742.89    170.27      4.36   1000000         0
1529.69/1530.19	c       467       667    717.44    119.81      5.99   1000000         0
1531.58/1532.05	c       523       595    765.44    154.29      4.96   1000000         0
1533.48/1533.91	c       470       863    757.57    192.30      3.94   1000000         0
1535.28/1535.76	c       524       826    739.93    140.60      5.26   1000000         0
1537.18/1537.62	c       457       629    741.87    156.46      4.74   1000000         0
1538.98/1539.47	c       464       713    754.01    176.79      4.27   1000000         0
1540.88/1541.33	c       543       680    766.91    142.43      5.38   1000000         0
1542.68/1543.18	c       495       599    740.16    148.86      4.97   1000000         0
1544.58/1545.03	c       466       657    745.14    151.20      4.93   1000000         0
1546.38/1546.88	c       520       657    750.15    142.52      5.26   1000000         0
1548.29/1548.70	c       469       592    719.84    127.89      5.63   1000000         0
1550.08/1550.55	c       465       693    732.60    146.38      5.00   1000000         0
1551.98/1552.40	c       497       818    749.80    155.18      4.83   1000000         0
1553.78/1554.24	c       502       716    745.06    126.87      5.87   1000000         0
1555.68/1556.11	c       483       754    772.32    174.30      4.43   1000000         0
1557.48/1557.98	c       486       593    759.03    184.46      4.11   1000000         0
1559.38/1559.81	c       500       747    719.70    150.23      4.79   1000000         0
1561.18/1561.66	c       504       663    739.21    164.15      4.50   1000000         0
1563.07/1563.50	c       493       743    735.25    162.06      4.54   1000000         0
1564.88/1565.35	c       507       624    744.74    127.12      5.86   1000000         0
1566.77/1567.21	c       494       724    751.41    129.92      5.78   1000000         0
1568.57/1569.05	c       482       699    734.57    142.16      5.17   1000000         0
1570.38/1570.89	c       477       655    722.92    135.36      5.34   1000000         0
1572.27/1572.76	c       497       763    746.78    132.95      5.62   1000000         0
1574.17/1574.64	c       523       807    762.63    159.78      4.77   1000000         0
1575.97/1576.47	c       452       662    721.55    160.81      4.49   1000000         0
1577.87/1578.32	c       515       647    744.05    145.14      5.13   1000000         0
1579.67/1580.16	c       494       740    738.82    160.84      4.59   1000000         0
1581.57/1582.01	c       483       533    733.78    155.84      4.71   1000000         0
1583.37/1583.86	c       509       664    742.63    160.18      4.64   1000000         0
1585.27/1585.71	c       477       794    734.31    176.95      4.15   1000000         0
1587.07/1587.57	c       513       743    769.70    163.31      4.71   1000000         0
1588.97/1589.41	c       476       726    736.48    145.81      5.05   1000000         0
1590.77/1591.25	c       490       821    735.59    121.27      6.07   1000000         0
1592.67/1593.11	c       533       637    756.02    137.29      5.51   1000000         0
1594.47/1594.95	c       469       667    727.70    137.01      5.31   1000000         0
1596.37/1596.80	c       507       630    750.28    148.18      5.06   1000000         0
1598.16/1598.66	c       488       895    755.48    159.64      4.73   1000000         0
1599.97/1600.49	c       480       776    725.53    133.31      5.44   1000000         0
1601.86/1602.34	c       472       653    749.63    146.21      5.13   1000000         0
1603.66/1604.19	c       474       780    735.49    170.98      4.30   1000000         0
1605.57/1606.05	c       463       712    762.42    153.36      4.97   1000000         0
1607.46/1607.91	c       524       706    758.15    149.67      5.07   1000000         0
1609.26/1609.78	c       473       752    770.30    186.59      4.13   1000000         0
1611.16/1611.61	c       474       676    716.33    129.81      5.52   1000000         0
1612.96/1613.45	c       463       640    735.89    149.99      4.91   1000000         0
1614.76/1615.29	c       473       629    723.23    157.98      4.58   1000000         0
1616.66/1617.13	c       490       603    736.22    150.22      4.90   1000000         0
1618.46/1618.97	c       515       723    731.64    122.69      5.96   1000000         0
1620.36/1620.80	c       468       617    719.85    148.83      4.84   1000000         0
1622.16/1622.63	c       454       586    721.03    140.65      5.13   1000000         0
1623.96/1624.47	c       459       723    733.46    148.37      4.94   1000000         0
1625.86/1626.32	c       466       889    737.26    137.28      5.37   1000000         0
1627.66/1628.18	c       480       728    764.00    168.68      4.53   1000000         0
1629.56/1630.02	c       463       792    732.57    174.43      4.20   1000000         0
1631.35/1631.86	c       511       738    744.40    118.88      6.26   1000000         0
1633.16/1633.70	c       502       732    728.26    127.02      5.73   1000000         0
1635.06/1635.55	c       453       726    744.78    153.08      4.87   1000000         0
1636.96/1637.40	c       449       755    745.95    179.23      4.16   1000000         0
1638.75/1639.23	c       469       761    730.41    130.02      5.62   1000000         0
1640.55/1641.08	c       476       773    727.70    148.03      4.92   1000000         0
1642.45/1642.92	c       475       649    727.07    149.99      4.85   1000000         0
1644.25/1644.76	c       424       809    725.65    157.11      4.62   1000000         0
1646.16/1646.62	c       454       803    755.69    148.08      5.10   1000000         0
1647.95/1648.45	c       479       797    726.02    140.02      5.19   1000000         0
1649.85/1650.30	c       476       578    747.09    154.73      4.83   1000000         0
1651.66/1652.14	c       464       671    730.77    136.02      5.37   1000000         0
1653.45/1653.98	c       479       848    726.11    142.89      5.08   1000000         0
1655.35/1655.82	c       484       759    742.10    143.80      5.16   1000000         0
1657.16/1657.68	c       485       651    745.39    139.47      5.34   1000000         0
1659.05/1659.51	c       504       724    716.46    139.93      5.12   1000000         0
1660.85/1661.37	c       496       627    736.86    152.65      4.83   1000000         0
1662.76/1663.22	c       510       622    752.64    152.44      4.94   1000000         0
1664.55/1665.07	c       477       664    750.58    128.95      5.82   1000000         0
1666.45/1666.90	c       429       652    704.39    133.45      5.28   1000000         0
1668.25/1668.74	c       467       741    740.28    126.85      5.84   1000000         0
1670.05/1670.57	c       408       680    709.10    116.84      6.07   1000000         0
1671.94/1672.40	c       486       855    735.08    130.78      5.62   1000000         0
1673.75/1674.24	c       423       716    727.91    137.44      5.30   1000000         0
1675.54/1676.08	c       499       647    732.12    142.39      5.14   1000000         0
1677.44/1677.93	c       475       604    734.10    159.51      4.60   1000000         0
1679.25/1679.78	c       478       643    742.29    153.41      4.84   1000000         0
1681.14/1681.63	c       479       832    747.82    155.75      4.80   1000000         0
1682.94/1683.48	c       488       763    730.18    136.06      5.37   1000000         0
1684.84/1685.32	c       486       644    731.29    159.96      4.57   1000000         0
1686.64/1687.18	c       477       675    760.68    151.10      5.03   1000000         0
1688.54/1689.02	c       497       742    747.03    133.40      5.60   1000000         0
1690.34/1690.88	c       510       598    756.28    188.11      4.02   1000000         0
1692.24/1692.73	c       441       616    733.87    162.20      4.52   1000000         0
1694.04/1694.57	c       435       675    730.15    145.38      5.02   1000000         0
1695.94/1696.42	c       507       762    737.21    145.96      5.05   1000000         0
1697.74/1698.27	c       521       749    740.55    122.46      6.05   1000000         0
1699.64/1700.11	c       485       781    728.19    161.13      4.52   1000000         0
1701.44/1701.96	c       524       785    741.73    142.08      5.22   1000000         0
1703.34/1703.80	c       493       636    743.25    155.55      4.78   1000000         0
1705.14/1705.64	c       456       698    727.09    170.49      4.26   1000000         0
1706.94/1707.48	c       459       655    724.91    139.47      5.20   1000000         0
1708.84/1709.33	c       500       788    750.41    153.71      4.88   1000000         0
1710.63/1711.18	c       487       690    741.46    156.61      4.73   1000000         0
1712.53/1713.03	c       416       676    746.47    162.51      4.59   1000000         0
1714.34/1714.88	c       490       752    749.67    145.85      5.14   1000000         0
1716.23/1716.74	c       505       719    755.05    170.79      4.42   1000000         0
1718.03/1718.59	c       479       848    743.71    155.48      4.78   1000000         0
1719.94/1720.44	c       453       854    750.54    159.99      4.69   1000000         0
1721.73/1722.29	c       500       685    761.04    200.21      3.80   1000000         0
1723.63/1724.15	c       520       821    753.82    129.03      5.84   1000000         0
1725.53/1726.01	c       511       812    762.80    158.13      4.82   1000000         0
1727.33/1727.86	c       498       724    750.74    170.21      4.41   1000000         0
1729.23/1729.71	c       487       626    740.55    161.74      4.58   1000000         0
1731.03/1731.55	c       499       824    747.79    148.50      5.04   1000000         0
1732.93/1733.41	c       501       658    765.00    182.59      4.19   1000000         0
1734.73/1735.24	c       427       731    708.11    133.28      5.31   1000000         0
1736.53/1737.09	c       485       685    735.34    152.02      4.84   1000000         0
1738.43/1738.94	c       471       691    756.30    138.99      5.44   1000000         0
1740.23/1740.78	c       457       759    740.58    163.19      4.54   1000000         0
1742.13/1742.63	c       491       704    758.31    129.42      5.86   1000000         0
1743.93/1744.48	c       486       583    734.73    139.56      5.26   1000000         0
1745.83/1746.32	c       476       714    736.20    145.11      5.07   1000000         0
1747.63/1748.16	c       469       691    732.20    121.38      6.03   1000000         0
1749.53/1750.02	c       449       592    745.38    162.55      4.59   1000000         0
1751.32/1751.87	c       483       756    741.81    170.82      4.34   1000000         0
1753.22/1753.72	c       508       695    737.73    168.74      4.37   1000000         0
1755.03/1755.57	c       470       696    736.35    163.27      4.51   1000000         0
1756.92/1757.40	c       479       644    721.16    163.86      4.40   1000000         0
1758.72/1759.26	c       487       722    762.98    161.85      4.71   1000000         0
1760.63/1761.13	c       501       714    762.61    181.54      4.20   1000000         0
1762.42/1762.99	c       436       654    754.12    183.81      4.10   1000000         0
1764.32/1764.84	c       487       724    743.06    165.46      4.49   1000000         0
1766.13/1766.69	c       507       723    748.25    136.22      5.49   1000000         0
1768.02/1768.53	c       493       677    748.98    113.67      6.59   1000000         0
1769.92/1770.40	c       501       619    759.93    180.77      4.20   1000000         0
1771.72/1772.24	c       514       639    733.55    149.28      4.91   1000000         0
1773.52/1774.07	c       456       591    719.75    163.38      4.41   1000000         0
1775.42/1775.92	c       488       658    733.46    151.91      4.83   1000000         0
1777.22/1777.77	c       465       859    723.42    139.24      5.20   1000000         0
1779.12/1779.62	c       448       755    750.72    139.78      5.37   1000000         0
1780.92/1781.47	c       495       703    746.30    149.96      4.98   1000000         0
1782.82/1783.33	c       459       684    757.52    181.65      4.17   1000000         0
1784.62/1785.17	c       415       753    725.76    114.98      6.31   1000000         0
1786.52/1787.02	c       499       629    735.25    159.84      4.60   1000000         0
1788.32/1788.89	c       488       682    766.31    155.98      4.91   1000000         0
1790.22/1790.73	c       412       756    745.13    149.16      5.00   1000000         0
1792.02/1792.58	c       483       694    741.25    164.21      4.51   1000000         0
1793.91/1794.42	c       487       846    735.83    147.73      4.98   1000000         0
1795.72/1796.26	c       479       775    736.59    118.37      6.22   1000000         0
1797.61/1798.10	c       490       566    725.96    142.01      5.11   1000000         0
1799.41/1799.95	c       537       581    743.89    135.94      5.47   1000000         0
1800.02/1800.51	HOME/run: line 2: 20167 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-2684846-1278435224/watcher-2684846-1278435224 -o /tmp/evaluation-result-2684846-1278435224/solver-2684846-1278435224 -C 1800 -W 2000 -M 1800 run HOME/instance-2684846-1278435224.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.09 1.24 3/106 20166
/proc/meminfo: memFree=1422268/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) R 20164 20166 19897 0 -1 4202496 344 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256800149 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0

[startup+0.040479 s]
/proc/loadavg: 1.00 1.09 1.24 3/106 20166
/proc/meminfo: memFree=1422268/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101466 s]
/proc/loadavg: 1.00 1.09 1.24 3/106 20166
/proc/meminfo: memFree=1422268/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301486 s]
/proc/loadavg: 1.00 1.09 1.24 3/106 20166
/proc/meminfo: memFree=1422268/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701525 s]
/proc/loadavg: 1.00 1.09 1.24 3/106 20166
/proc/meminfo: memFree=1422268/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5016 s]
/proc/loadavg: 1.00 1.09 1.24 2/108 20168
/proc/meminfo: memFree=1414440/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1.48
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1985 0 0 0 148 0 0 0 25 0 1 0 11728851 41422848 1914 1992294400 134512640 135071400 4294748416 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1914 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10176 s]
/proc/loadavg: 1.00 1.09 1.24 2/108 20168
/proc/meminfo: memFree=1414192/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=3.08
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 308 0 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134526638 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30107 s]
/proc/loadavg: 1.00 1.09 1.24 2/108 20168
/proc/meminfo: memFree=1414192/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=6.28
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 628 0 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7017 s]
/proc/loadavg: 1.00 1.09 1.24 2/108 20168
/proc/meminfo: memFree=1414068/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=12.68
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 1268 0 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5009 s]
/proc/loadavg: 1.00 1.08 1.24 2/108 20168
/proc/meminfo: memFree=1414068/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=25.47
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 2547 0 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134526593 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49152

[startup+51.1014 s]
/proc/loadavg: 1.00 1.07 1.23 2/108 20168
/proc/meminfo: memFree=1413944/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=51.08
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 5107 1 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.00 1.06 1.22 2/108 20170
/proc/meminfo: memFree=1413696/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=102.27
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 10226 1 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.05 1.20 2/108 20172
/proc/meminfo: memFree=1413572/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=162.25
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 16224 1 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.18 2/108 20174
/proc/meminfo: memFree=1413572/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=222.23
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 22222 1 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.17 2/108 20174
/proc/meminfo: memFree=1413448/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=282.21
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1993 0 0 0 28220 1 0 0 25 0 1 0 11728851 41422848 1922 1992294400 134512640 135071400 4294748416 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1922 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.16 2/108 20176
/proc/meminfo: memFree=1413456/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=342.2
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 34219 1 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.15 2/108 20178
/proc/meminfo: memFree=1413332/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=402.18
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 40217 1 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1121.99
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 112197 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 20207
/proc/meminfo: memFree=1411720/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1181.97
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 118195 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526928 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 20209
/proc/meminfo: memFree=1411472/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1241.96
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 124194 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 20211
/proc/meminfo: memFree=1411348/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1301.95
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 130193 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 20213
/proc/meminfo: memFree=1411224/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1361.93
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 136191 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 20215
/proc/meminfo: memFree=1411224/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1421.92
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 142190 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 20215
/proc/meminfo: memFree=1411100/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1481.9
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 148188 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 20217
/proc/meminfo: memFree=1410976/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1541.88
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 154186 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20222
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1601.86
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 160184 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20224
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1661.85
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 166183 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20226
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1721.83
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 172181 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526538 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20226
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1781.82
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 178180 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526033 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 20228
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1800.02
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 180000 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 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 2Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 20228
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=20166] ppid=20164 vsize=8700 CPUtime=0
/proc/20166/stat : 20166 (run) S 20164 20166 19897 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 11728851 8908800 244 1992294400 4194304 4922060 140735284164096 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20166/statm: 2175 244 204 178 0 68 0
[pid=20167] ppid=20166 vsize=40452 CPUtime=1800.02
/proc/20167/stat : 20167 (PB-wave) R 20166 20166 19897 0 -1 4202496 1994 0 0 0 180000 2 0 0 25 0 1 0 11728851 41422848 1923 1992294400 134512640 135071400 4294748416 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20167/statm: 10113 1923 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 3.00054 second user time and 8.5407 second system time

The end

Launcher Data 

Begin job on node056 at 2010-07-06 18:53:44
IDJOB=2684846
IDBENCH=73692
IDSOLVER=1171
FILE ID=node056/2684846-1278435224
PBS_JOBID= 11233489
Free space on /tmp= 98464 MiB

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

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

MD5SUM BENCH= d94209abbd71e157997bae8d0198c2d1
RANDOM SEED=1202986752

node056.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.197
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.39
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.197
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1422664 kB
Buffers:        103128 kB
Cached:         395440 kB
SwapCached:          0 kB
Active:         187384 kB
Inactive:       371144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1422664 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3216 kB
Writeback:           0 kB
AnonPages:       59888 kB
Mapped:          14400 kB
Slab:            55876 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180948 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= 98464 MiB
End job on node056 at 2010-07-06 19:23:45